t = -39*t - 18 for t.
-3
Suppose 0 = 5*m - 21 - 14. Let l = 11 - m. Solve r + 0 = l for r.
4
Let b(q) = -q**2 - 9*q + 3. Let p(u) = u**3 - u**2 - 2*u - 1. Let r be p(-2). Let y be b(r). Let a be y/21 + 124/14. Solve 4*f - 7 = a for f.
4
Let w be -8 - (-1)/(-1) - -4. Let k be -1 - -4 - (-3 - w). Let z be (6/4)/(6/16). Solve -k = -5*f + z for f.
1
Let w(a) = a**3 - 7*a**2 - 9*a + 16. Let s(i) = -6*i + 2. Let r be s(-1). Let c be w(r). Suppose -4*z = c - 28. Solve 10 = -z*h + 30 for h.
4
Let x = -2615 - -2623. Solve x*j = -8 + 24 for j.
2
Let u = 1680 - 1676. Solve u*w - 6 = 6 for w.
3
Let z = -10 - -11. Suppose 3*h = 5 + z. Solve -w = -0 - h for w.
2
Suppose 2*x = 3*f - 12, f - 18 = 4*x - 2*f. Let c(y) = -2*y - 4. Let d be c(x). Let q(s) = -s**2 + 2*s. Let n be q(d). Solve w - 3*w = n for w.
0
Let k be 10 - (-63)/42*4/3. Solve 0 = 12*c - 15*c - k for c.
-4
Let z(l) = l**3 + 6*l**2 + 4. Let f be z(-6). Solve -s - f = -6 for s.
2
Let i be 5/(1/((-3)/(-3))). Let q = 10 - i. Suppose 4*p - q = -r, 0*p = p - 2*r + 10. Solve k = -p*k + 3 for k.
3
Let p be 5 + (5 - (-12)/(-2)). Suppose 16 = -y + 4*f, 3*y = f - 4*f + 12. Solve y*z = -p*z for z.
0
Let d be 10/5 - -3 - 1. Suppose 38 = 2*t + d*l, 4*l = 6*t - 3*t - 7. Solve j = -2*j - t for j.
-3
Let o(u) = -u**2 + 9*u + 4. Let m be o(8). Suppose m = x + 2. Suppose -2*k - 5*i = -14 - 21, -3*i + x = -k. Solve -k*c + 6 = -4 for c.
2
Let g = 4 - 4. Suppose 15*d = -g*d + 225. Solve 0*x - 3*x = d for x.
-5
Let m = -21 - -23. Let g(l) be the first derivative of -9*l**4/4 - l**3/3 - l**2 - l + 1. Let y be g(-1). Solve -1 = m*w + y for w.
-5
Let o be 7/(-2) + (-6)/(-4). Let m = o - -5. Suppose -130*p - 8 = -134*p. Solve -l = p*l - m for l.
1
Suppose -2*f - 3*a = -3*f + 10, -2*a = -5*f + 50. Suppose -5*u + f = 5*p, -8*p = -3*p + u - 2. Let h be 4 + 2 + -3 + 1. Solve p = h*y - 8 for y.
2
Let n be (66 - 66)/((-4 + 5)*-3). Suppose -5*a + 16 = r, 4*r - 10 = -2*a - 0*r. Solve 4*q - q - a = n for q.
1
Suppose 3*m - 8*p + 7*p = 8, -3*p + 9 = 2*m. Suppose -5*n = -5*g - 20, -n - 5 = -3*n + g. Let t = 4 - n. Solve -t*b = m - 12 for b.
3
Suppose 0 = -7*m + 3*m - 2*f + 22, -3*m = 4*f - 29. Solve -m*r + 0*r = -15 for r.
5
Let s(a) = -5*a**2 + 14*a + 26. Let w be s(4). Solve -4 = -4*o + w*o for o.
2
Let w(t) be the first derivative of t**4/4 + 5*t**3/3 - 5*t**2/2 + 8*t - 4. Let y be w(-6). Solve -4*f + y*f = 0 for f.
0
Let u(b) = b**2 + b. Let z(x) = -3*x**2 + 10*x + 35. Let s(w) = -4*u(w) - z(w). Let m be s(-10). Solve 8 = -m*d + 3 for d.
-1
Let v = 293 - 291. Let j(i) = i**3 - 3*i**2 + i. Let y be j(2). Let b be 2*(-1 - y) - 0. Solve -v*u = -u + b for u.
-2
Let q be (-61 - -50)*8/(-22). Let l(a) = -a**2 + 4*a - 3. Let j be l(2). Suppose -j = 3*k - 4*t, k + 5*t - 10 = -q*k. Solve -4*d - k = 15 for d.
-4
Let s be 35/(1 - (2 + -2)). Let v be (-1)/(-3) + s/21. Solve 0 = -v*j + j - 2 for j.
-2
Let q(s) = -s**3 + 13*s**2 + 32*s - 3. Let h be q(15). Suppose -r = 3*a - 20, 3*a - 2*a = -5*r + 30. Solve 0 = r*j - 2 + h for j.
-5
Suppose 17*p - 66 = 36. Solve -8*d = -p*d + 10 for d.
-5
Let t = -1743 - -1750. Solve -t = 22*i + 37 for i.
-2
Suppose 9*g - 15 = 4*g. Suppose -g*x + 8 = -7. Let f be 8/(-3)*(-3)/4. Solve f*j = x*j - 6 for j.
2
Suppose -4*o + 0 = -20. Suppose 2*c = -4*x + 36, 0 = o*c - c - 16. Solve -3*q = -x*q for q.
0
Suppose 0 = 10*s + 4 - 74. Solve 2*t + s*t + 18 = 0 for t.
-2
Let q be 66/9 + 14/21. Suppose 4*v - 3*c + 2*c = 156, -c + 204 = 5*v. Suppose -q - v = -4*y. Solve -n + 4*n + y = 0 for n.
-4
Let c(w) = -w**3 + 6*w**2 + 9*w - 9. Let y be c(7). Let z(o) = -o**3 - 3*o**2 + 44*o - 20. Let v be z(5). Solve -y*m = -v*m + 5 for m.
-1
Let x(h) = 3*h - 2. Let n be x(2). Let a(w) = -12 + 3 + n - w. Let s be a(-8). Solve s = -2*m + 3*m for m.
3
Let t(p) = -6*p + 37. Let m be t(3). Let o(k) = -k**2 - 3*k - 5. Let y be o(-5). Let h = y + m. Solve -w - h = -5*w for w.
1
Let a = 107 - 102. Suppose 2*i - 22 = 5*r, i = -2*r - 0*r - 7. Solve 3*v + i = -a for v.
-2
Let c = 1580 + -1525. Solve c*y = 61*y + 24 for y.
-4
Suppose 28*y - 22*y + 12 = 0. Let f be 0 - (y - (6 + -4)). Solve 8 = -f*z + 8*z for z.
2
Let g be (1 + 0 - -17)*(-330)/(-1485). Solve 0 = -g*j - 28 + 16 for j.
-3
Let y = -26 + 29. Suppose -2*r = -5*r. Solve r = -2*k + k + y for k.
3
Let g(k) = 8*k + 5. Let h(n) = -9*n - 4. Let a(y) = -7*g(y) - 6*h(y). Let z be a(-12). Let i = z + -5. Solve i*p = 5*p for p.
0
Suppose 61*q - 57*q = 24. Solve q*x - 3*x = 12 for x.
4
Let t(s) = -s + 2. Let d be t(-2). Let q be 8/3*(22/d + -4). Solve c + 1 = -q for c.
-5
Suppose -8*i + 769 = 753. Solve 0*w - i*w = -2 for w.
1
Suppose 7*m + 5 - 54 = 0. Solve -3*b + 0*b = -m*b for b.
0
Let h(n) = -2*n + 14. Let p be h(0). Let s = p - 9. Solve -3*i = -s - 1 for i.
2
Let l = 1 - -1. Suppose -3*p = -2*m - 3, p + m + 1 = l*p. Solve 0 = -2*k + p + 5 for k.
3
Let c = -45 + 11. Let q = 46 + c. Solve -4*i = -i - q for i.
4
Let d be (8 - 10) + 14 + -7. Solve -15*s - d = -5 for s.
0
Let i = 10 + -6. Let w(l) = l**2 - 2*l - 7. Let k be w(6). Let h = 31 - k. Solve i*p + h - 2 = 0 for p.
-3
Suppose -s + 45 = 4*s. Let i be 1*s/12*4. Solve 0 = i*r + 5 - 2 for r.
-1
Let a be (1/(-1))/(6/24). Let q be a - (-1 + (-7 - -2)). Solve q = -b + 2*b for b.
2
Let n = -38 + 46. Solve 6*c = n*c + 4 for c.
-2
Suppose 2*h = -2*h + 60. Let f = h + -16. Let b be f/(-2) + 1/(-2). Solve b = -3*o - 1 - 2 for o.
-1
Suppose -328 + 240 = -11*x. Solve -134*d + 136*d + x = 0 for d.
-4
Suppose q - 1 = 22. Suppose -5*s + q = 3*o - s, 5*o - 5*s + 20 = 0. Solve -2*v - 5 - o = 0 for v.
-3
Let s(n) = -n**2 - 7*n + 21. Let i be s(-9). Solve i*j - 16 = 7*j for j.
-4
Let j(n) = -n**2 - 20*n. Let s be j(-20). Suppose s*x - x = -0*x. Solve x*i = 3*i + 6 for i.
-2
Suppose 29 = 9*k - 7. Solve -4*i + k = -5*i for i.
-4
Let f(c) = c**2 - 11*c + 15. Let s = 24 + -14. Let h be f(s). Suppose 38 = -19*x + 21*x. Solve x = -h*d + 4 for d.
-3
Let b = -27 + 0. Let g = -24 - b. Solve n = 5 - g for n.
2
Let l = -93 + 53. Let s be (-3 - l/12)*0. Let g be (2 - s)/((-18)/(-9)). Solve h - g = -6 for h.
-5
Let z(o) = o**3 - 5*o**2. Suppose -3*i = -2*s + 4, -3*s + 2*i - 3 + 14 = 0. Let c be z(s). Suppose 33*n - 29*n = 16. Solve c*u - n = u for u.
-4
Let n(r) = -r + 8. Let v be n(6). Let x be (1/v)/(15/210). Suppose i = 5, q + x*i - 2*i - 28 = 0. Solve 1 = q*l - 14 for l.
5
Suppose 20 = 4*a + 3*t, 0 = -4*a - 5*t + 13 + 7. Solve -19 + 4 = -a*w for w.
3
Suppose 0 = 20*h - 27*h. Suppose -2*p + 2*g = -7*p + 20, -2*p - 2*g + 14 = 0. Suppose -p*f + 8 = -4*z - h*z, 2*z + f - 4 = 0. Solve 0 = -z*t - t - 2 for t.
-2
Let k(i) = -4*i**2 - 7*i - 11. Let j be k(-4). Let y = j + 54. Solve -4*g + y*g = 9 for g.
3
Let o(x) = -x**3 - 2*x**2 + 7*x - 1. Let t be o(-4). Suppose 2*n + 5*z = 4*n - 37, 2*n = -3*z - t. Solve 0 = n*g - 5*g + 5 for g.
-5
Suppose -2*i - 2*i = -16. Suppose 39*p + 24 = 43*p. Solve i*o = 22 - p for o.
4
Let r(p) = p**3 + 15*p**2 - 6. Let o be r(-15). Let g = 0 - o. Solve 0 = -5*f - 1 + g for f.
1
Suppose 0 = t + 2*v - 11, 4*t = v - 3*v + 26. Suppose 0 = 3*i - 2*i - 4. Let x = 4 - i. Solve x*f = -t*f - 20 for f.
-4
Let p(k) = k**2 + 0 + 4 - 11 - 3*k - 6. Let v be p(6). Solve -v + 3 = -2*s for s.
1
Suppose 0 = -82*f + 119*f. Solve 0 = 5*q - f - 5 for q.
1
Let d(p) = p**3 + 5*p**2 + 3*p - 4. Suppose -4*k = 10*k + 42. Let o be d(k). Let l be 0 - (1 + -9)/2. Solve l*u + u = -o for u.
-1
Suppose g - 7 + 4 = 0. Suppose g*x - 7 = -2*f - 0*f, -4*x = -4. Solve f*d - 6*d = 4 for d.
-1
Suppose 68 = 6*y + 32. Solve -y*v - 1 = 5 for v.
-1
Let o be (-2)/(-4) + 7/2. Let n be (-4)/4 - -12 - 4. Suppose 5*u - 13 = -s, -5*s = 3*u - 14 - n. Solve u*j = o*j + 8 for j.
-4
Let m = 55 + -51. Let v be -4 - 8*m/(-8). Solve v = -0*i + 2*i + 10 for i.
-5
Let v be 1*(3 + -2) - -22. Solve 19*y = v*y - 8 for y.
2
Let s(w) = -w - 1. Let g(q) = -3*q**2 + 4*q + 5. Let b(k) = -g(k) - 6*s(k). Let n be b(-3). Let m = 26 - n. Solve -r + 1 = -m for r.
5
Suppose -4 + 10 = 3*y. Let r(l) = l**2 + 6*l + 19. Let c be r(-3). Let q = -16 + 16. Solve y*a = -c - q for a.
-5
Let y(m) = 7*m**3 - 3*m + 2. Let o be y(1). Suppose -5*l + 5 + o = 4*x, -3*l = 2*x - 7. Let r be (x + 3)*9/6. Solve 5*z + r + 2 = 0 for z.
-1
Let j(z) be the third derivative of z**5/60 + 3*z**4/8 + 10*z**3/3 + 11*z**2. Let c be j(-7).