 for j.
-3
Let b(c) = -2*c - 15. Let l be b(-10). Suppose -102 = -5*s + 43. Let q = -18 + s. Solve l*y + 14 = -q for y.
-5
Let y be 0*(-2)/((-16)/4). Let x = y + 0. Suppose 3*z - 15 = x, 9*a - 40 = 4*a - 4*z. Solve 15 = a*m + m for m.
3
Let r(s) = -3*s**2 + s**2 + s**3 + 6 + s**2 - 9*s**2. Suppose n - l = 12, -3*l - 6 = 2*n - 20. Let u be r(n). Solve 0 = 3*k + u for k.
-2
Let y = -13816 - -13818. Let z(n) = n**3 + 4*n**2 + 4*n + 3. Let x be z(-3). Solve x*v = y*v for v.
0
Suppose 0 = -4*q + 3*f - 2*f + 18, 4*q + f = 22. Solve q = -j - 0 for j.
-5
Let h be (0 - 0)/(-5 + 3). Suppose h = -5*t - c + 10, 0 = 2*t + 5*c + 19 - 0. Solve -6 = -6*z + t*z for z.
2
Let k = 175 - 260. Let s = k + 48. Let d = s + 57. Solve -5*j + j + d = 0 for j.
5
Suppose 332*p - 3*o = 328*p + 31, 4*p - 4*o - 36 = 0. Let s(g) = -2*g - 7. Let f be s(-5). Let t(x) = x**2 + x - 3. Let y be t(f). Solve y*c = p*c - 10 for c.
-2
Let p(s) = -2*s + 2. Let k be p(-1). Let n = k - 1. Let w be (16/12)/(2/3). Solve 1 = -w*x + n for x.
1
Suppose -2*i = 4, -5*n + i = -496 + 184. Solve -71*k = -n*k + 36 for k.
-4
Suppose 5*r = 3*g + 645, -2*r + 239 = -g - 4*g. Let w(b) = -b**3 - 4*b**2 + 3*b - 6. Let q be w(-5). Suppose q*h + 28 = r. Solve -5*l - h = -1 for l.
-5
Let y(u) = u**2 + 1 + 5*u + 0 - 10. Let w be y(-7). Suppose -3*l + 4 = 5*f, 5*f - 5*l - 23 = -3. Solve f - w = -b for b.
3
Let n(m) = -6*m**2 + 2*m - 1. Let j be n(1). Let i(a) = a**3 + 3*a**2 - 11*a + 4. Let f be i(j). Solve 0 = -5*p + f - 4 for p.
1
Let l(d) = 2*d**2 - 13*d - 1. Let c be l(9). Let n = c - 44. Solve n*z = z + 3 for z.
-3
Suppose -5*l - 4*y - 2 = 0, 3*y = l - 5*l - 1. Suppose l*p - 5*o + 10 = 0, -5*o + 2 = -2*p - 2*o. Solve -p*r + 10*r + 10 = 0 for r.
-2
Let m be (0 - (-42)/8)*-4. Let j = m + 21. Solve -h - 1 - 1 = j for h.
-2
Let k(x) = -3*x**2 + 25*x - 18. Let c be k(7). Solve -21*b = -26*b + c for b.
2
Suppose 3*b + 0*p = 4*p + 41, -34 = -4*b - 5*p. Let k(d) = -d**3 + 11*d**2 + d - 11. Let u be k(b). Solve u = -3*c + 3 for c.
1
Let c be (1 + 9)*(-1)/(-2). Solve -25 = -0*g - c*g for g.
5
Suppose -3*m - 62 = -2*a, 14*a - 4*m = 15*a - 9. Solve 4*n = a - 17 for n.
2
Let v = 4 - 2. Suppose 5*k - 4*y = -103, 3*k - v*k + y + 17 = 0. Let i = 29 + k. Solve 0 = 4*a + a - i for a.
2
Suppose 3*h + 0*h - 12 = 0. Suppose h*o = -61 + 69. Solve 3*x + 11 = o for x.
-3
Suppose 3*d = -38 - 25. Let r = d + 28. Solve 3*w - r*w + 16 = 0 for w.
4
Let l = -6 - -1. Let k be 1*l + -3 + 12. Solve -8 = k*p + 4 for p.
-3
Suppose 5*u = 5*d, 0 = -2*d - d + u + 4. Suppose 3*q - f + 1 - d = 0, -q = -2*f + 8. Let b(s) = -2*s**2 - 10*s - 12. Let x be b(-3). Solve x = q*i - 6*i for i.
0
Suppose -4*k - 5*g = -17, 2*g = -2*k + g + 7. Let u = 1 + k. Solve -9 = -u*t + t for t.
3
Let v(m) = -4*m**3 + m**2 + 2*m + 1. Let l be v(-1). Solve -2 = c - l for c.
2
Let y = -8 + 16. Let d = 3 - 17. Let u = -14 - d. Solve u = 5*v - y - 7 for v.
3
Suppose 0 = 7*g + 421 - 435. Solve g*x - 16 = 6*x for x.
-4
Let b = -280 - -284. Let a be (3/6)/(1/14). Solve o - a = -b for o.
3
Suppose 0 = 8*v + 50 - 122. Solve -v*o = -6*o + 12 for o.
-4
Let h(g) = g**2 + 7*g + 10. Let w(r) = r + 7. Let p be 26/1*1/(-2). Let t be w(p). Let v be h(t). Solve 0 = v*f + f for f.
0
Suppose -3*n + 8*n - 40 = 0. Solve -n*k = -k - 14 for k.
2
Let g(o) = o + 19. Let w be g(-16). Suppose -2*a - d = -1, -w = a - 5*d + 2. Suppose a = 3*s + 3*s - 36. Solve -y - y - s = 0 for y.
-3
Let i = -445 + 473. Solve -7*r = -0*r - i for r.
4
Let b be 24/11 + 3 - 4/22. Suppose 7*u = b*u + 4. Solve u*r - 3*r = 0 for r.
0
Suppose 0 = 55*z - 58*z. Suppose 0 = -z*b + b - 4. Solve -b*f = -0 + 16 for f.
-4
Let l(a) = -a**3 + 4*a**2. Let o be l(4). Suppose o*c + 4*c = p + 19, 0 = 3*p + 3*c - 18. Suppose 29 = 4*x + p. Solve 4*w + x = -5 for w.
-3
Let w(r) = 2*r**3 - 8*r**2 - 22*r + 19. Let y be w(6). Solve -17*z + y = -20 for z.
3
Let i(a) = -a**2 + 15*a - 36. Let f be i(8). Solve -3*y = 2*y + f for y.
-4
Let x be (-12)/10*5/(-2). Let g(t) = 2*t - 4. Let h(n) = -n + 10. Let b be h(6). Let u be g(b). Solve w - u = -x*w for w.
1
Let o(y) = 20*y - 189. Let u be o(10). Solve -2*s = -u + 9 for s.
1
Let c = 27 - 39. Let z = -7 - c. Suppose -92*a + 24 = -86*a. Solve k + a*k = z for k.
1
Let o(h) be the first derivative of 13*h**3/3 + h**2/2 + 6. Suppose 2*b - 5*b = 5*y + 23, 0 = -2*b - 4*y - 18. Let z be o(b). Solve 2*q = -q - z for q.
-4
Let g = -308 + 322. Solve g*n + 2 - 30 = 0 for n.
2
Let x = -555 + 573. Solve x = -8*v - 14 for v.
-4
Let t be (-4)/(-2*(-3 - -4)). Solve 0*j = -6*j + t*j for j.
0
Suppose 4*u - 2*q - 8 = -2, -5*q = -5*u + 5. Let m be 7 - (4 - u)*1. Solve 0 = -m*d + d for d.
0
Let l = -1636 + 1638. Solve -o = -l - 2 for o.
4
Let m be 5/(-12*3/(-72)). Solve 9*o = m + 35 for o.
5
Let k = -3 - -12. Let q = 130 + -138. Let n(g) = -2*g**2 - 13*g + 24. Let o be n(q). Solve o = -3*h + k for h.
3
Let s be (23/(-69))/(1/(-819)). Solve 0 = 275*h - s*h - 2 for h.
1
Let a = 12 - 24. Suppose 0*r = 2*r - 2. Let q be r*-1 - (a + 6). Solve q*j = -0*j - 25 for j.
-5
Let r be 9/(-3)*1 + 6. Suppose -2 = -r*w + 2*w. Solve 0 = -2*y - 0*y + w for y.
1
Suppose 5*q - 11*q = 0. Suppose q = 11*w - 8*w - 18. Solve -9 = 3*x + w for x.
-5
Suppose k + 11 = 6, -2*k - 8 = 2*j. Let w be 6*(114/72 + j/(-4)). Solve 2*n - w = -0*n for n.
4
Suppose -3*o - 54 = -3*i, -58*o = i - 63*o - 14. Solve -6*s = -i + 1 for s.
3
Suppose 101 = 12*z - 43. Solve 4*j + 0*j = -z for j.
-3
Let i = 0 - -4. Let b be (-141)/(-5) - 11/55. Let c = b - 13. Solve n - c = -i*n for n.
3
Suppose 263 - 16 = 19*m. Solve 2*g - m = -23 for g.
-5
Let j = 612 + -602. Solve -3*c + j = -5 for c.
5
Suppose 5*o = 25, 5*b = 3*b - 2*o + 50. Solve 7*v - 2*v + b = 0 for v.
-4
Suppose -3*d = 2*d. Suppose o = -o + 30. Suppose 4*x - 23 = -3*n, -5*x + n + 22 = -2*n. Solve -x*y = -d + o for y.
-3
Suppose 13 = -b + 3*r, 5*b - 5*r = -0*b - 95. Let s = b + 38. Suppose 11*l = 7*l + s. Solve l*c - c = -3 for c.
-1
Let n = 35 + -20. Let m(q) = q**3 - q - 2. Let l be m(2). Suppose j + n = 3*b + 3, -l*j = -5*b + 13. Solve 1 + j = -4*c for c.
-1
Suppose 9*x + 12 = 10*x. Suppose 0 = -5*z - 2*t + x, -z + 5*t = 2*z - 1. Solve -z*n = -n for n.
0
Let p(r) = -r**2 + 3*r + 4. Let i be p(3). Let c(b) = -5*b + 5. Let a be c(i). Let g(s) = -s**3 - 15*s**2 - 2*s - 20. Let h be g(a). Solve 4*l + h = 30 for l.
5
Let i(y) = -15*y - 57. Let z be i(-4). Solve 21 = -18*a + z for a.
-1
Let o be -3 + 14/2 - 0. Suppose o*u - 19 - 1 = 0. Suppose 0 = x + u - 10. Solve x*t + 0*t - 10 = 0 for t.
2
Suppose 3*j = -o + 17, -5*o + 103 = -0*o - 3*j. Suppose t + 2*a + 2 = 10, -t + o = 5*a. Solve 0 = -3*m + 6 - t for m.
2
Let j(c) be the second derivative of c**4/6 - c**3/2 + c**2/2 - 14*c. Let w be j(2). Suppose 0 = b + 3*b. Solve b = -0*k + w*k - 3 for k.
1
Let z(r) = 2*r + 4. Let i be z(-2). Suppose i = 4*a - 8 - 0. Suppose -13 = -k - 0*k - 4*p, -a*k + 5*p = 0. Solve -3*u = -k*u - 8 for u.
-4
Let b = -1082 - -1090. Solve b*j = 14*j + 24 for j.
-4
Let d = -2 - -2. Let v = 0 - d. Let n be (-19 - -22)*4/(-18)*-3. Solve -n*t - t = v for t.
0
Let v(x) = x**3 - 16*x**2 - 19*x + 39. Let o be v(17). Let b(g) = -3 - 3*g**2 + 6*g + 2*g**2 + 2. Let c be b(o). Solve 4*s - c = -24 for s.
-5
Let k(g) = -g**3 - 2*g**2 - 3*g - 1. Let h be (-2 + (-21)/(-9))*-6. Let q be k(h). Suppose 5*d - q + 0 = 0. Solve -4 = a + d for a.
-5
Let l(d) = -d**3 + 7*d**2 + 2*d - 11. Let x be l(6). Let w = 44 - x. Solve 10 = 2*s - w*s for s.
-2
Suppose 0 = 2*j + 28 + 14. Let k = 27 + j. Solve 2 - k = -4*y for y.
1
Suppose 4*y - 8 = -2*a, a + 5*y = 3*a - 17. Solve d = a - 9 for d.
-3
Let b(z) = -z**2 + 7*z + 44. Suppose 2*s + 3 = 25. Let n be b(s). Solve -2*g + 8 + n = 0 for g.
4
Let o = 291 - 275. Solve -o = 5*y - 1 for y.
-3
Suppose -2*j = -5*d - 46 - 9, -4*j - 5*d + 125 = 0. Solve j + 14 = 11*l for l.
4
Let h = -6 - -9. Suppose 2*y - h = -y. Let a(c) = -2*c - 14. Let g be a(-8). Solve -g*s + y = -s for s.
1
Suppose -w + 3*w - 36 = 4*b, 5*w = -5*b + 150. Solve -10*h + 6 = w for h.
-2
Suppose -x - 7 = -l, -3*x = 5*l + 2 - 5. Suppose 4*n - 13 - l = 0. Solve f = -n*f for f.
0
Let d(s) = s**2 - 2*s. Let v be d(-2). Suppose 18 - 28 = -5*p. Suppose -p*j - 2 = -3*j. Solve -j*y + v = -4*y for y.
-4
Let q = 32 + -28. Suppose h - 4 = -n, -3*n = -n - h + q. Sol