= 5*f, 32 = -4*a + 4*f for a.
-3
Let g(b) = -b**2 + 9*b - 6. Let u be g(7). Let r = -28 + 24. Let n = r + u. Solve 4 = n*z + 3*c, 0 = 3*z + z - c + 12 for z.
-2
Suppose 18 = -7*s + 67. Solve 1 = p - c, -3*p + s = -c - 0*c for p.
3
Let b(i) = 1 - 2*i - 1 + 3*i + 3. Let x be b(0). Solve x*y + 3 = -3*d + 2*y, 0 = 5*y + 15 for d.
0
Let s = 1025 + -1021. Solve -18 = -0*i + s*i - 2*y, 5*y = 3*i + 31 for i.
-2
Let n(p) = -6*p + 1. Let z be n(-1). Suppose -3*q = 2*d + 4, -2*q + 6*q = -2*d - 8. Let k be ((-1)/(0 + q))/(1/8). Solve k*x = y + 6, -5*x = 4*y + 4 + z for x.
1
Let q be (-1 - 1) + (3 - -4). Let g = 10 - 9. Suppose 4*a - 5 = -g. Solve q*u - k - a = 0, -k - 3*k = 4*u + 4 for u.
0
Let o(i) = i**2 - 18*i + 73. Let f be o(12). Solve -3*q - 2*a + 5 = f, -4*q + a + 20 = 0 for q.
4
Let a be 2*6/48 + 45/12. Solve 2*o + 6 = -2*x - a, 4*o = x + 5 for x.
-5
Let k = -10 + 14. Let h = 1 - k. Let i be 0 + (h - -3) + 2. Solve 2*j - 6 = 5*j + 3*x, 0 = -j - 3*x + i for j.
-4
Suppose -z - 3*s = 3, 4*s = -4*z + 8*s - 28. Let o be ((-10)/z)/(30/36). Solve 13 = 5*n - k - 7, o = -n - k for n.
3
Let l(d) = -d**2 + 9*d - 12. Let g be l(7). Solve 5*z - 5 = 2*y + 3, -g*z + 6 = 2*y for z.
2
Let z(a) = a + 36. Let h be z(-15). Let l be ((-18)/h)/(4 + (-236)/56). Solve 3*g + 10 = l*o + 5*g, 0 = -3*o - 4*g for o.
4
Let f = 29 - 20. Let b be -1*(-15)/(-6)*-2. Suppose l - 2*a - 9 = 0, b*l + 3*a + 1 = -6. Solve 5*u - 10 = 0, 3*u + f = 4*p - l for p.
4
Suppose -2*g + 32 = 6*g. Suppose 3*i - 6 = g*r - 0, 5*r = 0. Solve 22 = -4*l - 4*a + i*a, -4*l + 5*a = 15 for l.
-5
Let q = -39 + 50. Let x = -1 + q. Solve 0*m + m + 3*t = -x, -2*m - t - 5 = 0 for m.
-1
Let h be ((-12)/(-60) + 12/(-10))*-1. Let s(m) = -m**2 - 4*m + 3. Let t be s(-5). Let f be (2 - 1 - 1)/t. Solve v = 3*v + x - h, -5*v + 2*x + 25 = f for v.
3
Suppose -3*m - 11 = -5*a - 1, 0 = -a + 2*m + 2. Suppose -a + 27 = -5*h. Let f be (2/4)/(h/(-50)). Solve f*z + g = 0, -g + 3*g = 0 for z.
0
Let j = -32 + 17. Let k = 21 + j. Suppose 3 = u + l, 5*u - 3*l - k = l. Solve 0 = 2*s - 3*q - 9 - 16, -2*q = u*s for s.
5
Suppose -11*g + 6*g + 22 = -w, 4*w - 12 = 0. Solve 0 = 5*i - g*p, 0 = i + 3*p - 3 - 5 for i.
2
Let a(m) = -m**2 - 10*m + 15. Let n be a(-12). Let h = -5 - n. Solve -8 = 4*v - g - g, 3*g + 18 = -h*v for v.
-3
Suppose -6 = -i + 3*j, -5*i + 0*j - 5*j = 10. Suppose 2*o = -8, 3*a - 3*o + i - 18 = 0. Solve -3*m - a*v + 13 = -7*v, 5*m + 2*v - 1 = 0 for m.
1
Let y(j) be the first derivative of -j**4/4 + 10*j**3/3 + 9*j**2/2 + 22*j + 1. Let q be y(11). Solve -s - 7*v + 2*v + 1 = q, -3*v - 3 = -3*s for s.
1
Let t be (1 - 0) + 3 + 3 + -5. Solve -3*j - 2 = 2*a, -a - 4 = j + t*j for a.
2
Suppose n + 12*n - 182 = 0. Suppose 0 = p - k, 3*p + n = 6*p + 4*k. Solve 0 = 3*j + p*g + 12, 2 = -4*j + 5*g - 14 for j.
-4
Let g be 0 - 0 - -2 - 12. Let i(x) = 15 - 5 + x + 3. Let w be i(g). Solve -3*h + 12 = -3*o, o + w*o - 5 = -3*h for h.
3
Let s(n) = -n**3 + n + 3. Let a be 0/((-3)/(-1)) - 0. Let p be s(a). Suppose 6*l + 286 = 28*l. Solve -5*o + l = -z, -o = 3*z - 2*o - p for z.
2
Let k be (-2)/3 + (-16)/(-24). Suppose k = 4*x - o - 19 + 3, 0 = -2*x + 4*o + 22. Solve 2*r - x*t - 5 = 1, r + 5*t = 3 for r.
3
Let x(d) = -2*d - 2. Let b(t) = 4*t + 8. Let q be b(-6). Let k be x(q). Let r = -30 + k. Solve 2*i = -2*p - 2, -2*p - 2 = -2*i - r*i for p.
-1
Suppose 95 = 2*f + 3*f. Let n = 34 - f. Suppose 2*c - 5*c = -n. Solve 0*q - 3*g - 12 = -3*q, -3*g = c*q - 12 for q.
3
Let i(f) = f**3 - 4*f**2 + 2*f + 7. Let x be i(3). Suppose v + 1 = 0, -t - 6 = -3*t - x*v. Solve 4*p + 27 = -p - y, -5 = -p + t*y for p.
-5
Let g(i) = -2*i + 26. Let x = -41 - -52. Let n be g(x). Solve -n*q - 5 = -3*b + 7, 2*q - 16 = -4*b for q.
0
Suppose 405*u + 4 = 406*u. Solve 3*k = u*l - 5, 3*k + 6 = -3 for l.
-1
Let m be 2464/392 - (-2)/(-7). Solve 4 = 2*b + 2*p, -p - m = -3*b + 8 for b.
4
Suppose 539*p - 560*p = -42. Solve 0 = -2*l + 2*a - 2, -p*a = -5*l - 6 + 7 for l.
1
Suppose u - 12 + 7 = 0. Let x = u - 0. Suppose x*v - v = 12. Solve -3*d + 0*n + 18 = 3*n, 0 = 3*d - v*n for d.
3
Let k = 28 + -80. Let x = k + 54. Solve -27 = -3*u + 4*s, x*u - s + 22 = 7*u for u.
5
Let v(j) = j**2 - 7*j + 9. Let c be v(4). Let w(n) = n**2 - n - 2. Let k be w(c). Let i be (10/(-4))/((-2)/4). Solve 3*f = i*x + 13, 2*f - k = -0*x + 4*x for f.
1
Let j be 4 - (-2 + 1 + -73). Let g = -77 + j. Solve -2*n - 2*n - g = -3*z, -2*z - 1 = -n for n.
-1
Suppose 4*j + 4 = 6*j. Suppose q + 8 = n + 16, -4*n = 2*q - 4. Solve -4*x = -j*p - 2*p + 8, 3*p + q = -x for x.
-3
Let n = 1 - -1. Suppose 6 = -n*t + 5*m, -2*m - 3 = t - 9. Suppose 0 = h - 2, t*h + h - 14 = -2*k. Solve -3*p + 4*p = 3*w - k, 0 = 2*p - 10 for w.
3
Let u = 2 + 3. Let p(b) = b**2 - 9*b + 12. Let d be p(8). Suppose d*k + 0*j = -3*j + 18, -4*k - 5*j = -22. Solve 25 = -u*l + 5*c, -k*l + 9 = -8*l - 3*c for l.
-3
Let x = 1162 - 1160. Solve 0 = t - 3, 4*d - x*t = 3*t - 15 for d.
0
Let k = 129 + -126. Solve -2*u - 8 = 0, -i + k*u = -2*u - 20 for i.
0
Suppose 5*s - 20 = s. Suppose 0 = 2*c + 4*k - 4, k = s*c + 4*k - 24. Let l be 5 - (-1 - 0)*-1. Solve -2*q = -l*x, c = -2*x - 4*q + 26 for x.
2
Let a = -1 + 6. Suppose -36 - 41 = -4*u - j, a*j + 15 = 0. Suppose 7*k - u = 3*k. Solve -2*d = h - 4*h - 9, 2*d = k*h + 19 for d.
-3
Let o = -5 - -13. Suppose 2*i = r + 1, 2*i - o = -5*r - 1. Solve 3*s = -0*s + h + i, s - 3 = -h for s.
1
Let x be (1*5 + 1)/(7/(-14)). Let q = 16 + x. Solve 3*i - q*h + 2 = 0, -5*h + h = -4*i for i.
2
Let t = -404 - -406. Solve t*h - 5*h - 2*q + 7 = 0, 0 = 4*h - q - 13 for h.
3
Suppose 2*i + 3*m = 8 + 4, 2*i - m + 4 = 0. Suppose -5*l + 3*l + 12 = i. Let o(a) = a - 3. Let f be o(l). Solve 5*y - 21 = -3*h, -2*y + 2*h + 8 = f*h for y.
3
Let i = -74 + 90. Solve -l = -5*a - 4, 4*a - 3*a = -4*l + i for l.
4
Suppose 12 = 2*n - 5*z, -7*z = 3*n + 2*z + 15. Solve n = s + u, s - 10 = 3*u - u for s.
4
Suppose 2*l = -m + 4, l + 3 = -10*m + 7*m. Solve 2*w = 5*w + l, -4*t - 2*w + 14 = 0 for t.
4
Suppose -126 - 90 = -4*k. Suppose -13*z = -16*z - k. Let i = z - -32. Solve 3*t + m + i = 0, m + 2*m + 18 = -3*t for t.
-4
Let p(a) = a**3 - 11*a**2 + a + 4. Suppose -m - 4*b + 11 = 0, -4*m + 2*b + 43 + 1 = 0. Let g be p(m). Solve 0 = -3*c - 5*u + 6 + 4, -2*u - g = 5*c for c.
-5
Suppose -3*o = h - 18, -3*o - 8 = -3*h - 2. Suppose 0 = -4*k - 4*m + 8, 4*k - 4*m - 2 = h. Solve -2*d - k*j = 8, 0 = -j + 1 - 2 for d.
-3
Let q = 4 - 38. Let v = q + 38. Solve 2*y = -3*s + y, 12 = -v*y for s.
1
Let t be (324/(-40) - -8) + 1/10. Solve -5*b - 2*j + 6 = t, -3*j - 3 = b + 1 for b.
2
Let q be 504/294 - (-88)/14. Solve -6*r + q*r - 5*g - 20 = 0, 4*r + 8 = -2*g for r.
0
Let x(h) = -41*h + 48. Let t be x(1). Solve 3*c + b = 20, -c - 3*b + 27 - t = 0 for c.
5
Suppose 0 = 74*v - 91*v + 221. Solve 4*k - 5*s - v = 0, -k - 4*k = -4*s - 5 for k.
-3
Let o(d) = 10 - 11*d - 8*d**2 + d**3 + 2*d**2 + 15*d**2. Let v be o(-10). Solve -3*j + 3*x = 5*x + v, 5*j + 4 = 4*x for j.
-4
Let r be 0/(18/(-14) - (-6)/21). Suppose r = -3*j - j. Solve 3*y - 16 + 1 = j, 4*a - 2*y = -14 for a.
-1
Let q(c) = -c**2 + 13*c - 35. Let y be q(5). Solve -25 = -t + y*u, -2*t + 22 + 3 = -5*u for t.
0
Let k be (-5)/15 - (-1)/3. Suppose -a + 0 - 4 = k. Let f = 8 + a. Solve 3*g = 5*x + 34, 0*x + 4*g = -f*x - 8 for x.
-5
Suppose 0*g + g = 2. Let z(u) = -u**2 + 4*u. Let n be z(3). Suppose -3*y - 9 - 51 = -3*t, 2*y = -3*t + 70. Solve 0*o + n*d = g*o, 4*o + 5*d = t for o.
3
Let r(d) = -d**2 - 5*d + 3. Let g be (-30)/4*(-2)/(-3). Let f be r(g). Suppose 0 = 5*t - f*t. Solve -m + 6*m = 3*i - 19, 5*m + 10 = t for i.
3
Let i(c) = c**3 - 2*c**2 - 17*c + 12. Let q be i(5). Solve -2*n = -3*k + 1 - 4, k = q*n - 1 for n.
0
Suppose 2*o = 4*r + 24, 4*o - 4*r - 22 = 6. Solve 7*w - 3*w = o*l + 14, -3*w = -5*l - 28 for w.
1
Let s = 16 + -13. Suppose 0 = s*u - 2*i + 6, 2*u + i = -2*i + 9. Solve 2*p + 3*q - 9 = u, p - 5*q = -2 - 26 for p.
-3
Let i = 6 - 10. Let c be 0 - (1*-6 - i). Solve 2*x - 5*f - 26 = 0, 0 = 3*x - c*f - 9 - 8 for x.
3
Let u = 78 - 75. Solve 0 = -u*v + 3*a - 12, 0*v - a - 2 = 5*v for v.
-1
Let p = 7 - 14. Let q = 8 + p. Let u(a) = a**3 + 44*a**2 + 83*a - 35. Let t be u(-42). Solve -5*s + 3*l + t = -7, -5*s - 2*l - q = 0 for s.
1
Let f(s) = -s**3 + 22*s**2 - 3*s + 91. Let q be f(22). Solve 0*r + r + 4*g + q = 0, g + 