e -h = -3*j - 4 for j.
3
Suppose -195*c = -191*c - 24. Solve 2*r + c + 0 = 0 for r.
-3
Suppose 0 = 4*j - 0*j + c + 2, -5*c - 10 = -2*j. Let d(s) = -2*s**3 - s - 1. Let z be d(-1). Solve -3*y - z*y + 15 = j for y.
3
Let w be (5/(8 - -2))/((-2)/(-204)). Solve 8*z = 19 - w for z.
-4
Let b be (5 - -3 - 8) + 6. Solve -27 = b*d - 15 for d.
-2
Let b be (-10)/30 + (-129)/(-9) + -1. Solve -68 = -b*i - 4*i for i.
4
Let l be (-9)/12*(-16)/6. Let a be (16/2*1)/l. Solve a*u = u + 9 for u.
3
Let x(u) be the second derivative of -u**5/20 + 3*u**4/4 - 4*u**3/3 + 3*u**2/2 + 2*u. Let w be x(8). Suppose -5 = -2*z - w*z. Solve -z = -5*s - 26 for s.
-5
Let z be 2*(1 - (-6)/4). Let s(y) be the first derivative of y**3 + 3*y**2/2 - 2*y + 10. Let h be s(-2). Solve -h = -z*d + 1 for d.
1
Let x(a) = a**2 - 5*a. Let u be x(4). Let k(l) = l**3 + 4*l**2 + 6. Let r be k(u). Suppose r*q - 3*q = 24. Solve n - q = 3*n for n.
-4
Let y(o) = 2*o**2 + 18*o + 5. Let j be y(-9). Solve 0*b = b - j for b.
5
Let n be (-1)/(1/3 + 2/(-4)). Solve -11*b + 5*b = n for b.
-1
Let l = -13 + 16. Suppose l*x - 7 = -1. Suppose d + 0 = -2*h - 4, 5*d - 16 = x*h. Solve 6 = -k - d*k for k.
-2
Let o(c) = -c - 13. Let w be o(-15). Suppose w*z + 36 = 6*z. Solve -4*s + 7*s + z = 0 for s.
-3
Suppose 19*z - 27*z = -16. Solve -z*m - 15 = -7 for m.
-4
Let w = 27 + -20. Suppose -w*r + 102 = -r. Suppose 5*n + 2 - r = 0. Solve 0 = -n*s - 2*s + 10 for s.
2
Let u = -34 + 36. Let j be (-13)/26 + 31/u. Let x = 18 - j. Solve -2*z + x = -3 for z.
3
Let r be (-2)/17 + 1794/221. Suppose 4*j - 16 = -0. Solve 4*s + j = r for s.
1
Suppose f + 6 = 2*o - 1, 5*f - 25 = -2*o. Let y be f*3/9 - -3. Solve -y*v + 3*v = 5 for v.
-5
Let o(c) = c**2 - 218. Let a be o(-15). Solve 5*s = a*s + 4 for s.
-2
Let u be 0/(-2)*(-5)/10. Solve u = -x + 7*x - 6 for x.
1
Suppose 2*l = 6*l - 16, -4*l = 4*o - 4. Let i be o/(158/(-38) - -4). Let v = i - 18. Solve w + 1 = -v for w.
-2
Suppose 0 = -k + 33 - 21. Solve -k*o = 17 - 5 for o.
-1
Let c(m) = m**3 - 8*m**2 - 10*m + 13. Let b be c(9). Let x(q) = 2 + 5*q + b - 3*q**2 + 4*q**2. Let d be x(-3). Solve 2*u = -d*u + 2 for u.
1
Suppose -4*m = -q - 4, -4*q + 12 = -2*m - 7*q. Solve 2*b - 3*b - 1 = m for b.
-1
Suppose -11 - 1 = -4*v. Let f be v*(4/(-12) + 1). Let z be (2/4)/(f/80). Solve -5*u + 5 + z = 0 for u.
5
Let w(s) = -s**2 - 12*s - 11. Let m be w(-9). Let b be (m/28)/(4/14). Suppose 4*j = -3*k - 4, -3*k - 2*j - 12 = -4*k. Solve k*y = b*y - 6 for y.
-3
Let m be -1*4/(-22) - 1856/44. Let b = m - -46. Solve -b*n - 2 - 10 = 0 for n.
-3
Suppose -9*z + 11*z - 2 = 0. Suppose 0 = 3*l + p - 18 - z, -4*p - 20 = 0. Suppose 4*w = 4 + 4. Solve 0 = 2*f - w - l for f.
5
Let n be (7 - -1)*(-5)/(-10). Suppose 0*j - 4*f + 15 = j, 2*f - 15 = -3*j. Suppose j*h - 4 = 5. Solve h*d - n*d = -1 for d.
1
Let g(w) be the first derivative of 2*w**3/3 - 9*w**2/2 + 20*w - 19. Let z be g(5). Solve z = -m + 6*m for m.
5
Let v(q) = -q**2 + 41*q - 110. Let g be v(37). Solve 0 = g*w - 42*w - 16 for w.
-4
Let d = 8 + -5. Solve -15*p - d*p = 36 for p.
-2
Suppose -c - 2*s = -18, -14 + 36 = 3*c - 2*s. Suppose c*t + 28 = 17*t. Solve -10 = -t*b - b for b.
2
Let j(m) = -8*m**3 - m + 1. Let h be j(-1). Let u = 12 - h. Solve -u*i = 5 + 5 for i.
-5
Let v be (6/(-4))/(6/(-4)). Let d(p) = p**2 - 6*p - 1. Let a(o) = -3*o**2 + 18*o + 4. Let w(q) = 4*a(q) + 11*d(q). Let b be w(6). Solve -b*i - v = -6 for i.
1
Let t = -28 + 47. Solve -6*c + 5 + t = 0 for c.
4
Suppose -16*i + 5 = -15*i. Suppose 0 = 2*c + a + 5, i = -0*c + 5*c - a. Solve c = 4*d - 3 + 23 for d.
-5
Suppose y + 2*y + 11 = -2*m, 5*m = -5*y - 15. Solve -m*b + b = 3 for b.
-3
Let g(w) = 6*w + 162. Let v be g(-25). Solve 0 = -v*o + 18*o for o.
0
Let a be (-8)/(-1)*4*6/64. Suppose -f + 3 = 0, 0*f + 6 = a*d + f. Solve 4*m + d = 5*m for m.
1
Let h be 1/(0 - (-4)/(-4))*-46. Solve -h*f + 42*f = 16 for f.
-4
Suppose 2*u + 94 = 6*u + d, 52 = 2*u - 2*d. Let f be (-2)/((u/9)/(-4)). Let y be (-10)/5*f/(-6). Solve -4 = -k + y for k.
5
Suppose -p + 16 = 4*y, 0 = -0*y + 2*y - 3*p + 6. Solve -2*t = -1 - y for t.
2
Let c = 614 - 612. Solve 3 = u - c*u for u.
-3
Suppose m + 3*m - 20 = 0. Let p = m - 6. Let y be p*(-4 + -3) - 1. Solve y = o + 3 for o.
3
Suppose 2*j + 40 = -0*j. Suppose 3*t - 39 = 3*k + 2*t, 0 = -k + 5*t + 1. Let p = k - j. Solve 2*z + z = -p for z.
-2
Let v be ((-80)/(-28))/(10/35) - -4. Solve -5*n = v + 6 for n.
-4
Let n be ((-3)/3)/((-34)/16 + 2). Suppose 2*w = n*w - 24. Solve w - 24 = -4*g for g.
5
Suppose 3*v - 16 = -v. Suppose -2 - v = z. Let q be (-1)/(4 + -2)*z. Solve x + 2 = q for x.
1
Let c(p) be the first derivative of -p**4/4 + p**2/2 + 1. Suppose 0 = 14*w - 73*w - 59. Let l be c(w). Solve 5 = -l*h + h for h.
5
Let t(i) = i**3 - 45*i**2 + 5*i - 225. Let j be t(45). Solve -7*b + 17*b = j for b.
0
Let f be -6 + 4 - (2 - (4 - -3)). Suppose 0 = 4*j + 4, -3*j = -f*s - 2*j + 13. Solve -s*g = 10 + 10 for g.
-5
Suppose 0 = b - 282 + 231. Solve -26 = -5*m - b for m.
-5
Let f(z) = z**3 + 4*z**2 - 3*z - 6. Let q be f(-4). Suppose 0*a + 3*a - 6 = 3*w, 4*a - 8 = -2*w. Let u = 2 + a. Solve q - 2 = u*s for s.
1
Suppose 3*j = n + 166, 5*j + 14*n - 10*n = 305. Solve -56*x = -j*x + 5 for x.
5
Let d(s) = 4*s**2 + s - 1. Let p be d(1). Suppose 8 = 3*t - p*l, -3*l - 18 = -4*t + 2. Let n = 9 - t. Solve -3*q = -2*q + n for q.
-1
Let r = -56 - -61. Let j = 11 + -6. Let w be 1/2 - (-5)/(-10). Solve -j = -w*f - r*f for f.
1
Let f(j) = j**2 + 7*j + 9. Let w be f(-6). Let q(k) = 2*k**2 - 6. Let a be q(2). Solve -c + w = a*c for c.
1
Suppose 2*s + 2*o + 12 = -2*o, 5*s + 30 = -4*o. Let f be 162/(-24)*16/s. Let k = 20 - f. Solve 3 = -5*w - k for w.
-1
Let l = 11 + -8. Let b(q) = -q**2 - 9*q + 22. Let g be b(-11). Suppose g*n + 5*n + 4*y - 20 = 0, 4*y = -4*n + 12. Solve 5*c + l - n = 0 for c.
1
Let p be (8/(-2))/((0 - -3)/39). Let b = -50 - p. Solve b = 3*m - 1 for m.
1
Let x = -255 + 259. Solve 0 = 4*p - 0*p + x for p.
-1
Let v(l) = l**2 + 13*l - 3. Let h(a) = a**2 + 12*a - 3. Let n = 7 + -4. Let i(y) = n*v(y) - 4*h(y). Let o be i(-9). Solve -2*q - o = 7 for q.
-5
Let n(v) = -3*v**2 + 22*v + 2. Let p be n(7). Solve p = -157*l + 160*l for l.
3
Let r = -23 + 42. Let m = r + -16. Solve d - m = -2 for d.
1
Suppose 0 = -2*c + 3*c. Suppose 0*r + 2*q + 12 = 2*r, 5*r + q - 18 = 0. Suppose -r*z + 8*z = c. Solve z*x = 4*x for x.
0
Suppose -5*t + 5 + 5 = -3*x, 2*x = -t + 15. Suppose -2*w + 0*w + 15 = 3*l, -24 = -3*l - x*w. Solve l*v = -0*v for v.
0
Suppose 0 = -0*l - 4*l + 8. Solve -6*m = -l*m - 12 for m.
3
Let s be (3/7 - 0)*(11 - 4). Suppose f - 18 + 8 = 5*n, s*f - 30 = -5*n. Solve 3*u + f = 1 for u.
-3
Let o(h) = h**2 - 10*h - 6. Let j be o(11). Suppose j*w = 19 + 6. Solve w*t - 27 = -2 for t.
5
Let w = 2086 - 2078. Solve 2*g - w = -16 for g.
-4
Let y(t) = -t**3 - 6*t**2 - 12*t - 7. Let b be y(-3). Suppose b*d - 5*v = -2, -2*d - 4*v = 3*d - 28. Solve -d*l = -6*l for l.
0
Let g = -1580 + 1580. Solve 7*p - 3*p + 20 = g for p.
-5
Suppose 0 = -j + j + 5*j. Suppose -12*i + 13*i - 3 = j. Solve 2*z = 3*z + i for z.
-3
Suppose r + 15 = -5*i + 34, 0 = 2*i - 2*r - 10. Let t(y) = 2*y**2 - 2*y - 7. Let v be t(3). Suppose -v + 21 = 2*m. Solve -i*j - m = 8 for j.
-4
Suppose 3*k + 2*k + 59 = -4*j, 0 = 4*k - 5*j + 39. Let y(h) = -h**2 - 6*h - 6*h - 8 + 0*h**2. Let n be y(k). Solve g = n*g - 4 for g.
2
Let d be (4/(-10))/(1/(-3)*141/235). Suppose 2*t - 6 = -w - w, 4*t + 5*w = 13. Solve 0*i - t = -d*i for i.
1
Suppose -4*w + 25 = a, 0 = 5*a - 0*w + 5*w - 50. Let d be (0 + -3 + 4)*a. Let j(c) = -c**3 + 3*c**2 + c. Let x be j(3). Solve 1 = -x*q - d for q.
-2
Suppose -4*l = -3*g - 98, -2*g - 3*l = -0*g + 54. Let d be 2/6 + 0 - 80/g. Solve -d*w + 4 = w for w.
1
Let r = 2 + 0. Let o = -33 - -31. Let z be ((-5)/o + -1)/((-30)/(-40)). Solve -z*u = -0 - r for u.
1
Let g = -252 + 285. Solve 9*u + g = -2*u for u.
-3
Let n(k) = k**2 - 3*k - 1. Let a be n(-2). Let r = a + -8. Let q be r/4 + 175/20. Solve -3*h = -0 + q for h.
-3
Let y be 5/1 + (1 - 2). Suppose -3*x + y*l = 5*l - 42, -l = -2*x + 28. Let s = 19 - x. Solve o + s - 1 = 0 for o.
-4
Let j(f) = -f**3 - 4*f**2 + 10. Let x be j(0). Solve -9*z = -14*z + x for z.
2
Suppose 3*a = 2*g + 28, -31 = 5*g - 4*a + 25. Let r = -14 + 30. Let u = g + r. Solve 2*v + 0 = -u for v.
-4
Let g(p) = 