Let r(s) = -s3 + 22*s2 + 49*s - 20. Let u be r(24). Let x = 62 + -58. Let b = 15 + -7. Solve -f - 2*c = -6, b = x*f - 0*c + u*c for f.
-2
Let p = 93 + -85. Suppose 2*x - p = -3*o, -4*o + 7*o = 0. Solve -4*w + x*g = g, 4*g = -2*w + 22 for w.
3
Let q = -1716 - -1718. Solve -4*i = 13*a - 17*a + 16, -q*a = 5*i - 1 for a.
3
Suppose -8*i + 183 = 7. Suppose -3*m = 8*m - i. Solve -d - 23 = -6*d - m*l, -4*d + 5*l - 8 = 0 for d.
3
Suppose -4*f = -141 + 41. Let z = 27 - f. Suppose 0 = 3*d + 15, 2 = z*i + 2*i + 2*d. Solve i*v - 5*y = -2*v + 20, 4*v + 5*y - 7 = 0 for v.
3
Let y = 2821 - 2817. Solve -5*t = -10, y*t - 6 = -2*p + 2*t for p.
1
Let j = 1582 + -1569. Solve 2*m - 25 + j = 2*g, -3*g = 3 for m.
5
Let g(m) = m - 16. Let f be g(19). Solve -z - 6 = -f*n - 0*n, -5*z - 5*n = -30 for z.
3
Let n(u) = -u**2 + 5*u - 6. Let x be n(2). Solve 0 = -11*k + 14*k - 5*d + 7, 3*k + d - 5 = x for k.
1
Let j be (-2)/5 - 12⁄20. Let x = -770 + 771. Let q = x - j. Solve -4 = q*n, 3*n + 13 + 5 = -4*w for w.
-3