ppose 0 = -3*w - r + 112, -4*r + 124 = -w + 4*w. Let j(l) = 4 - w*l + 8 + 37*l. Let h be j(-10). Solve -5 = -h*g + 1 for g.
3
Suppose -5*u = -2*j + 25, -3*j - 2*u + 9 = -0*j. Let n(h) = h**3 - 5*h**2 + 2*h - 5. Let c be n(j). Solve d = c*d for d.
0
Let f = -16 + 19. Let u = f + 0. Solve 4 + 5 = u*c for c.
3
Let y = 0 + 0. Suppose y = -5*t + k + 20, t + 17 = -4*k - 0*k. Suppose -5*s + 6 = -t*s. Solve s*p + 2 + 1 = 0 for p.
-1
Let n be 0*(-1 + -2 + 2). Solve f + f + 8 = n for f.
-4
Let r(q) = q**3 + 10*q**2 + 10*q - 4. Let t be r(-9). Let n(s) = -s**2 - 13*s + 2. Let i be n(t). Solve i*f = 3*f - 3 for f.
3
Let q = 0 - -7. Let h be 12/(2 - -1) - 0. Solve -15 = -h*t + q*t for t.
-5
Let b = 3 - 15. Let o = b - -14. Solve -o*u + 3 = -u for u.
3
Suppose 10 - 2 = 2*b. Solve -b*a = -a for a.
0
Let a be (1*6 - (-8)/(-2))*5. Solve 0 = -4*h + a - 2 for h.
2
Suppose 2*u + 2*w + w = 13, u + 10 = 4*w. Solve -u = x - 4 for x.
2
Suppose -4*g = -2*s - 14, 2*g - 3*s - 16 = -5*s. Solve g*x + 0*x + 20 = 0 for x.
-4
Suppose 0 = -5*q + 6 + 9. Solve -2*a - q = -7 for a.
2
Suppose 0 = r - 4*r. Let b be 2 + 2/(4 + -2). Solve b*c = -r*c - 3 for c.
-1
Let p be (2/(-3))/((-3)/18). Suppose 0 = -p*q - q + 10. Suppose -s = 5*z - z - 15, -2*z - 6 = -4*s. Solve -z = -q*o - 13 for o.
-5
Let a be 1 + 9/3 + 4. Suppose 0 = -5*d + 4*m + 27, 20 - 5 = -5*m. Solve d*o - 5*o = a for o.
-4
Suppose 0 = s - 26 + 23. Solve s*o = o + 10 for o.
5
Let q(n) = n**3 - 4*n**2 - 3*n - 7. Let z be q(5). Solve 0 = c - 5 + z for c.
2
Suppose -3*m + 2*m + 7 = 0. Suppose 13 = 5*b - m. Let p = 1 + 19. Solve -b*y - y + p = 0 for y.
4
Let w = -42 + 46. Solve w*c = -c + 20 for c.
4
Let t = 16 + -14. Solve t*v = 1 - 5 for v.
-2
Suppose 0 = 3*o - 15 - 0. Suppose o*u + q - 16 = u, -3*q = -4*u + 16. Solve -u*g - 1 = -5*g for g.
1
Suppose 4 + 0 = 2*n. Suppose -n + 11 = 3*a. Solve x = a*x for x.
0
Suppose 0 = 4*r - r + 4*u - 33, 4*r = -u + 44. Solve m - r = -8 for m.
3
Let l = -38 + 73. Let x be l/3 + (-2)/(-6). Solve -4*b + 4 = -x for b.
4
Let h(p) = -p**2 + p - 1. Let f(a) = 2*a**2 - a + 9. Let c(d) = f(d) + h(d). Let x be c(0). Suppose x = -4*w + 88. Solve w = -7*u + 2*u for u.
-4
Let n = 7 + -4. Solve 0 = n*g + g for g.
0
Let l(a) = -3*a**2 + a + 1. Let k be l(-1). Let b = 1 - k. Solve b*p - 5*p = 0 for p.
0
Let d(b) = b - 2. Let l be d(6). Solve -3*j - l = -j for j.
-2
Suppose -5 = -5*w - 0*w + 5*h, 4*h = 3*w. Suppose -4*g - 2 = -6*g. Let k be 0/(1/g - 0). Solve -3*n + w - 19 = k for n.
-5
Suppose -6*l = -3*l - 6. Suppose -7*c - 15 = -l*c. Let j be 3/(-3)*1*c. Solve 0*w = -j*w for w.
0
Let d(u) = 5*u - 18. Let n be d(4). Solve -5*b - 9 = -n*b for b.
-3
Let p be (-2 + 3)*2 - 2. Suppose -4*a - 4*i + 28 = 0, 2*a + 3*i - 4*i - 2 = p. Solve a*s - s = 4 for s.
2
Suppose -16*a + 13*a = -6. Solve -a*g + 0 = -6 for g.
3
Let m = 4 - 1. Suppose 5*t + 19 = 49. Solve m*z + 15 = t*z for z.
5
Suppose 0 = -0*o + o - 9. Solve 0 = -3*j - o for j.
-3
Suppose 2*y = 5*o - 3*o - 8, 4*y + 4 = 0. Suppose -4*d + 2*v = 4 - 6, -5*d + 30 = 3*v. Suppose 2*g - 3 = d. Solve 0 = o*x - g - 6 for x.
3
Suppose -87*w + 92*w - 20 = 0. Solve 0*g = -g - w for g.
-4
Suppose 4*v = b + 19, -3*v + 16 = -2*v - 4*b. Suppose l + l + 5*z - 1 = 0, -2*z + v = 2*l. Suppose -2*x = -7*x. Solve l*j = -x - 12 for j.
-4
Let p(m) = -m**3 - 2*m**2 - 2*m. Let r be p(-2). Suppose -61 = -r*l + 23. Let q = l - 13. Solve w + 3*w = q for w.
2
Suppose 3*k = 5*k. Solve -2*v + 4 = -k*v for v.
2
Let n = -19 - -19. Solve 16 = -n*b + 4*b for b.
4
Let b = -2 + 23. Let n = 24 - b. Solve -2 = -4*l + n*l for l.
2
Let n(u) = -u**3 - 7*u**2 - u - 7. Let v be n(-7). Suppose 0 = -v*k + k. Suppose k = 4*l - 26 - 6. Solve s - l = 5*s for s.
-2
Let i be (-3)/15*0 + 9. Solve -2*l = 1 + i for l.
-5
Let n be (-6)/(-4)*(-40)/(-15). Solve n = -3*h + 1 for h.
-1
Suppose 5*m - 2 = 18. Suppose -8*f + m*f = 0. Suppose -5*r = -9 - 11. Solve f = r*b - b for b.
0
Suppose 0 = -g + z - 4 - 0, -11 = 5*g - 2*z. Let p be -2 - (-2)/(-2)*g. Let i be (p/1)/((-2)/24). Solve 0 = -3*v + 6*v - i for v.
4
Suppose 2*n + b + 10 = -0*b, -5*b - 26 = 4*n. Let j be 2/(-4)*n - -10. Suppose -6*i + 2*i = -j. Solve 3 = -0*v - i*v for v.
-1
Suppose -3 + 0 = -p. Let t = p + 1. Let g(o) = o**3 + o**2. Let q be g(0). Solve -t*u = -q*u for u.
0
Let f be (-32)/(-14) + (-14)/49. Suppose -6*i + 4*u - 14 = -3*i, i - 12 = -f*u. Solve -i*w + 0*w = -2 for w.
1
Suppose r - 1 = a, -r - a - 11 = -4*r. Let t be 8*(3 + r/(-2)). Solve t*u = -u for u.
0
Let p = -19 + 23. Let z = -2 + 2. Solve 4 = -p*b - z*b for b.
-1
Suppose -2*x = v + 3*v - 16, 12 = 2*v - x. Solve -28 = -v*h - 3 for h.
5
Suppose -5*q + 4 = -3*q. Solve -4*g - 6 = q for g.
-2
Let h = 25 + -20. Solve 0 = -2*f - h - 1 for f.
-3
Let l(s) = 4*s - 20. Let u be l(8). Solve -n - 2*n = -u for n.
4
Suppose 2*u + 3*u - 15 = 0. Let h be 6/4 + -1 + (-12)/24. Let n = 2 - -2. Solve h = d + u*d - n for d.
1
Let t be 0/(-5) - (1 + -1). Let o(w) = -w**3 - w + 4. Let f be o(t). Let x = 9 - f. Solve 5*z - 10 - x = 0 for z.
3
Let x = -2 - -8. Suppose -26 = -2*d + x*m - 2*m, 3*m + 9 = 0. Solve 0 = 2*n + 1 - d for n.
3
Suppose h - 10 = -h. Suppose -o + 4*o + 15 = -4*f, 25 = -h*o. Suppose y = 7 - 3. Solve y*t + t = f for t.
0
Let i be (27/18)/((-3)/(-2)). Solve i = c - 0 for c.
1
Let q(z) = -z**2 - 8*z + 2. Let o be q(-8). Suppose 2*f + o*u = -12, 5*f - 3*u = -0 + 2. Let i = 4 + f. Solve -i*w = -2 + 4 for w.
-1
Suppose -2*x + 3*p + 25 = -2*p, 5*x - 20 = 4*p. Suppose -4*h + 2*y = -0*y - 114, -5*y - 25 = x. Solve -5*g = 11 - h for g.
3
Let u = 8 + -12. Let c be ((-10)/(-8))/(u/(-16)). Solve 6 = c*k - 4 for k.
2
Let p(f) = -5*f + 23. Let r be p(4). Solve -r*d + 4 = -d for d.
2
Let t = 19 - 19. Solve t*g = -g + 3 for g.
3
Suppose 4*k = -k. Solve -3*m + 6 - 21 = k for m.
-5
Let w = -1 - -3. Suppose j - w = -0. Suppose -j*q + 6*q = -2*h + 20, -2*q = 3*h - 2. Solve -3*k - 8 = -q*k for k.
2
Suppose u + 13 = -4*d - 3, -4 = u + d. Solve 0 = -2*x - u - 4 for x.
-2
Let d(a) = 4. Let q(g) = 1. Let i(u) = 2*d(u) - 9*q(u). Let f(m) = -12*m + 4. Let v(z) = f(z) + 6*i(z). Let h be v(-2). Solve 3 = 5*s - h for s.
5
Suppose 0 = 3*a - 4*w + 8, -6*w + 9 = -4*a - w. Solve 0 = 3*j - 1 + a for j.
-1
Let i(r) be the second derivative of -r**5/20 + r**4/12 - r**3/6 + 3*r**2/2 + r. Let y be i(0). Let o = 5 - y. Solve -o*x = -3*x for x.
0
Let n(o) = 2*o + 10. Let t be n(-7). Let v = 10 + t. Solve -4*z + z + v = 0 for z.
2
Suppose -4*b = h + 16, -h - 5*b + 0 = 20. Solve 5*j - 6*j = h for j.
0
Let g(a) = a**2 + 3*a - 7. Let r(v) = -v + 1. Let t be r(6). Let o be g(t). Solve o*x + 8 = x for x.
-4
Suppose -3*d + 0*d = -3. Let j be d/(3/(-30)*-2). Solve 0*l + 20 = -j*l for l.
-4
Let r = 7 - 2. Let g(t) = 3*t - 3. Let d be g(r). Suppose -5*s = -0*s. Solve -2*a + 2 - d = s for a.
-5
Let s(m) = -13*m**3 + 33*m**2 - 7*m - 5. Let p(n) = 7*n**3 - 17*n**2 + 3*n + 2. Let w(b) = 11*p(b) + 6*s(b). Let x be w(10). Solve -x*z = 1 + 9 for z.
-5
Let q(d) = 2*d**2 + 2*d - 1. Let o be q(-2). Suppose 3*y + y - 16 = -2*u, 0 = -3*y + o. Solve u = -0*s - 2*s for s.
-3
Suppose 2*x - 1 = 3. Suppose 1 = -b + x. Solve q + 1 = -b for q.
-2
Suppose 3*o - 5*y - 35 = 0, 0 = 4*o + 4*y + y. Suppose 6*h - r = h + 2, 4 = -o*h - 2*r. Solve -2*q + q - 3 = h for q.
-3
Suppose -13*f = -17*f + 12. Solve -3*w - f = -9 for w.
2
Let t(c) = c - 2. Let u be t(0). Let b = 1 - u. Solve 1 = -b*x + 4 for x.
1
Let d(h) = h**3 - 3*h**2 + h. Let a be d(3). Let k be a - (0 + 2)/(-2). Solve k*q + 9 = -11 for q.
-5
Let t be 6/(-1)*60/18. Let x be -3*(t/6)/5. Solve 0 = 2*b - 0 + x for b.
-1
Let d = 7 + -2. Let n be ((-16)/20)/((-2)/15). Suppose d*r = -4*y + n, 5*r + 5*y - 2 = 3. Solve r*q = -q + 12 for q.
4
Suppose 0 = -0*s - 4*s + 20. Suppose s*k - 5 = -0*k. Let o be -1*1/(-2)*4. Solve -l + o = k for l.
1
Suppose d + 3*g - 20 = 0, -3*g + 0*g = 5*d - 40. Suppose 0 = -4*c + 5*c. Suppose -4*u + c*u = 0. Solve u = -d*t - 12 - 3 for t.
-3
Suppose 0 = -4*d - 5*g - 13, 5*d - g - 17 = d. Suppose 2*x - d*x = -5. Suppose x*k = 25, 5*o + k - 30 = -2*k. Solve 0 = o*a + 2 + 1 for a.
-1
Let p = 57 - 53. Solve -2*z - p = -3*z for z.
4
Let v(k) = -2*k**2 + 11*k + 21. Let j be v(7). Solve j = -2*w - 3 - 1 for w.
-2
Let i be 6/(-10)*10/(-2). Solve i = n + 7 for n.
-4
Let m be -3 - (-9)/(3 + 