s*c - 4 for c.
2
Let o be ((-2)/(-4) + 1)/(1/(-34)). Let f = o - -52. Solve 0 = -2*k + k + f for k.
1
Let l = 38 + -35. Suppose 5*m - l*h = 14, 4*m + 5*h - 26 = -0*m. Let q(o) = 25*o**2 - o - 1. Let z be q(-1). Solve p + m*p = z for p.
5
Let z(n) = -3*n + 15. Let r be z(5). Suppose -c + 4*c = r. Solve c = -l - 2 - 2 for l.
-4
Let j = 94 + -91. Suppose -68 = -4*w - 4*f, w - j*f - 27 = -2*w. Solve -w = -3*r + 2 for r.
5
Suppose 2*p + 5*p = 98. Suppose x - p = -10. Solve x*a = a for a.
0
Suppose 0*a + 2*a = 0. Let b(v) = -v**2 + 10*v - 5. Let p be b(7). Let g = p - 11. Solve -g*j + 0*j = a for j.
0
Let s be (-1)/((-1)/(22 + (-9 - -4))). Solve 68 = -17*k - s for k.
-5
Let q be -7 - (5 + -5 + -9). Let t be 4/3*6/4. Solve -2*n + t = -q for n.
2
Let c = -10 + 8. Let r(q) = q**2 + 9*q + 12. Let w(x) = -6*x**2 - 44*x - 61. Let b(u) = c*w(u) - 11*r(u). Let n be b(12). Solve -n*o = o for o.
0
Suppose -3*z + 31 - 23 = s, 0 = -4*z - 5*s + 18. Solve 0 = -z*d + 12 - 18 for d.
-3
Suppose t - 22 = -4*j - 14, -10 = -2*t - 5*j. Solve t = -3*a + 4 - 7 for a.
-1
Let a = -44 - -44. Solve -2*y + y - 2 = a for y.
-2
Suppose 0 = 9*s + s - 30. Solve 5 + 4 = s*c for c.
3
Let w = 9 + -40. Let n = 31 + w. Solve n = -4*y - 0*y + 16 for y.
4
Let w(f) = f + 9. Let t be w(8). Solve -3*x = -t + 8 for x.
3
Let j(a) = -a**2 - 3*a. Let d be j(-3). Let p(t) = -t**3 + 17*t**2 - 29*t - 15. Let q be p(15). Solve 5*y + d*y - 20 = q for y.
4
Let o(l) = l + 1. Suppose -x + c = -4*x + 20, -5*x - 5*c + 20 = 0. Let b(d) = d - 8. Let j be b(x). Let z be o(j). Solve 3 = -q - z for q.
-4
Let f be (-12)/(-10)*(-60)/18. Let z be (-13 - -14)*3/((-3)/f). Solve -2*b - z + 2 = 0 for b.
-1
Suppose 9*j = 4*j - 40. Let x be 4/j*12/3. Let g be (x/4 - 1)*-2. Solve -5*w + g + 2 = 0 for w.
1
Let b be ((-4400)/(-308))/(4/28). Solve 0 = 3*m + 17*m + b for m.
-5
Let j(q) = -q**3 + 3*q**2 - q - 1. Suppose -7 = -5*l - 2. Suppose z + l = 3. Let w be j(z). Solve -w = -2*u + u for u.
1
Let v = 804 - 788. Solve 14*h + v = 6*h for h.
-2
Let a = 624 + -609. Solve -i = 2*i + a for i.
-5
Let u(s) = s**3 + 32*s**2 + 86*s - 9. Let b be u(-29). Solve 99 + 1 = -b*y for y.
-5
Let k = 590 + -554. Solve -3*h = 6*h + k for h.
-4
Let w(g) = g**3 + 2*g**2 - 8*g - 11. Let o be w(-3). Solve 2*u = 2 - o for u.
-1
Let l(p) = -p**3 - 16*p**2 - 16*p - 9. Let i be l(-15). Let d be (-1 + -1)*(i + -9). Solve 0 = -d*j + j + 20 for j.
4
Let h = -31 - -36. Let l be ((-3)/h)/((-1)/10). Solve -l = -u - 2 for u.
4
Let q be (-2)/7 - (-5133)/203. Solve 0*n - 5*n + q = 0 for n.
5
Let j(x) = -x**2 + 6*x + 4. Let c be j(6). Let q(p) = p**3 + 8*p**2 - 66*p - 4. Let v be q(-13). Solve -c*f = -v*f - 15 for f.
-3
Let r = 15 + -11. Let j be 31/r + (-21)/28. Let g = 9 - j. Solve -g*y = -6*y - 20 for y.
-5
Let l = -15 - -15. Suppose 2*y + 12 - 38 = l. Let w be (y/(-26))/((-1)/4). Solve -3*g + 3 = -w*g for g.
3
Let y(u) be the second derivative of u**3/6 + 13*u**2 - 6*u. Let v be y(-20). Solve 2 + v = 4*x for x.
2
Suppose 306 = 4*x + 106. Suppose -3*n = 4*d - 16, -2*n - 3*n - 2*d = -x. Solve 4*j - n = 4 for j.
4
Suppose 0 = 3*d + 3*d - 6. Let u(t) = 2*t**3 - t**2 + 3*t - 2. Let a be u(d). Solve a*j - 1 = 9 for j.
5
Suppose -2*b - 20 = -7*b + 4*p, b - 5*p = 4. Suppose b*c - 10 = 2. Let y be (33/(-2))/(-11) - (252/(-8))/3. Solve -c*x = x - y for x.
3
Let b(y) = -18*y - 8. Let r be b(-6). Suppose -39 = 2*n + 3*a, -4*n - 2*a + 34 = r. Let j = n - -18. Solve j*h = 4*h for h.
0
Suppose -3*z - k = -29, -3*k + 35 = 5*z + 2*k. Suppose 8*l + 9 = z*l. Let f be 3/(3 - (5 - l)). Solve -9 = 4*n + f for n.
-3
Suppose 3 = -3*z, 9*y - 2*z + 34 = 10*y. Solve 19*h = 28*h - y for h.
4
Let i be 0/((-3)/((-9)/6)) + 1. Let g be (-1)/i*-2*18/12. Solve h = g*h + 4 for h.
-2
Let p(b) = 4*b**3 - 23*b**2 + 11*b + 20. Let x be p(5). Let v = 3 + 0. Solve -d + 5 - v = x for d.
2
Let m(f) = -f**2 - 8*f - 8. Let c be m(-5). Suppose -c*v + 16 = v. Solve -6 = -v*z + 4 for z.
5
Let d be (16/(-20))/(1/(-5)). Let o(q) = 10*q**2 + 2*q - 1. Let p be o(1). Let c = -23 + 28. Solve -c*b + p = -d for b.
3
Let a = -9 + 9. Solve a = 58*i - 59*i + 5 for i.
5
Let i = 6 - -21. Suppose -i*d = -23*d. Solve 0*r + 2*r = d for r.
0
Let d(x) = -x**2 - 2*x - 9. Let f be d(-4). Let k = f - -22. Suppose -k*s = 0, 0 = 2*a + a + 5*s - 9. Solve -n - a*n + 20 = 0 for n.
5
Let q = -166 + 174. Solve 5*p - 3 = q*p for p.
-1
Let u = 19 - 7. Let t = u + -7. Solve 1 + 14 = t*g for g.
3
Suppose -5*m = -25, 5*f = 2*f - 5*m + 34. Let w be 1 - (-2 - (f - 4)). Let d be (-3)/(-6)*w + 2. Solve -6*j = -3*j - d for j.
1
Let p be (-1)/2 - 55/(-10). Solve -76 = p*i - 66 for i.
-2
Let u = -1 - -1. Suppose -2*n - 1 + 33 = u. Suppose -6 = -5*m - 2*l, -5*m + 18 = 12*l - 16*l. Solve -m*x - n = 2*x for x.
-4
Let y be 3/6 - 4/8. Let n be 0 + y + -3 + 3. Let t be (n + 3 + -14)/(-1). Solve 4*a = 5 + t for a.
4
Let k(t) = -4*t**3 + 3*t**2 + 2*t - 3. Let f(c) = 4*c**3 - 4*c**2 - 3*c + 4. Let p(v) = 2*f(v) + 3*k(v). Let s = 2 - 3. Let y be p(s). Solve -3*m + y = 1 for m.
1
Let y(k) = 10*k - 2. Let b(f) = f - 1. Let w(m) = 3*b(m) - y(m). Let n be w(-2). Let l = n - 5. Solve -6*z = -2*z - l for z.
2
Let t(h) = -h**3 + 12*h**2 - 11*h - 18. Let i be t(11). Let y be i/(-10) - (-3)/15. Solve y*f = -f for f.
0
Let g be 1*(2 + 1) + 0. Suppose -23 = -5*m - 13. Suppose m*d - 12 = -2. Solve d*a = g*a - 8 for a.
-4
Let y(j) = j**2 - 6*j + 4. Let x be y(6). Suppose -3*o - x*a = -25, -2*o - 4*a = 3*o - 55. Solve d + o = 4*d for d.
5
Let c be 28/(-10)*20/4. Let d be 4/c + 16/56. Solve n + 4*n - 10 = d for n.
2
Let t be 16/3*(-1200)/(-320). Solve 7*k + 27 = t for k.
-1
Let x(m) = -m**3 + 7*m**2 - 4*m + 3. Suppose 9*z - 74 + 20 = 0. Let f be x(z). Solve 3*h - 8*h = f for h.
-3
Suppose -123*s = -124*s - 4*z + 38, s = z + 48. Solve -49*w + s*w + 3 = 0 for w.
1
Suppose 0 = -4*i + 20*i - 160. Solve -7*j + 2*j = -i for j.
2
Let f = -74 + 153. Let o = -77 + f. Solve -11 + 3 = o*j for j.
-4
Let x = 224 + -155. Let p = -63 + x. Solve 2*m = 4 + p for m.
5
Let b be 2*(-1)/1 + (7 - -1). Suppose 5*q = -v - 2, -4*q + b*v + 10 = v. Solve 4 = -q*c + c for c.
4
Let w be 7*1*(1 + 0). Let n be ((-90)/21)/(w/49). Let t be (n/(-12))/((-1)/(-2)). Solve -2*j = 1 + t for j.
-3
Let z(v) = v**2 + 6*v + 2. Let f be z(-6). Let t be (-2)/(8/6 - f). Suppose 12 = t*g + g. Solve -2*n = g*n - 15 for n.
3
Let n(v) = -4*v - 15. Let f be n(6). Let p = 40 + f. Solve -2 = -j - p for j.
1
Let f be 8 + (-13 - -5) + (-3 - -3). Solve f = -481*d + 485*d for d.
0
Suppose -5*v - 133 + 493 = 0. Let g be (-56)/(-9) - 16/v. Suppose -s = -2*s + g. Solve 2*x - 8 = s*x for x.
-2
Let x = 450 + -413. Solve x*p + 78 = 11*p for p.
-3
Let f = 5 - -2. Suppose f*n = 6*n - 12. Let z = 14 + n. Solve -b - z = -2*b for b.
2
Let p = 9 + 1. Let d = -10 + p. Let a = 2 + d. Solve 0 = a*t - 4*t - 4 for t.
-2
Let p = 19 + -89. Let n = -66 - p. Solve n*a - 10 = 2*a for a.
5
Suppose -15 = -x - 4*x. Let n = 4 + x. Let w = -34 - -39. Solve 4*l + w = -n for l.
-3
Suppose 35 = 7*n - 7. Solve n*i = 5*i - 5 for i.
-5
Suppose 0 = 11*o - 19*o + 40. Let t = 10 + -9. Solve -t - o = -3*n for n.
2
Let i(b) = b**3 + b - 4. Let w be i(0). Let t be -8 - w - (-4 + 0). Solve t = -2*h + 9 - 3 for h.
3
Suppose 3*o - 104 = 7*o. Let l = 32 + o. Solve -2*d - l = -2 for d.
-2
Suppose -3*o + 75 - 21 = 0. Suppose 8*v = 17*v - o. Solve 4 = v*a + 6 for a.
-1
Suppose 77*i = 74*i + 621. Solve -i*n - 4 = -205*n for n.
-2
Let t be -30*((-21)/18 + 1) - -3. Solve 14 - 54 = -t*a for a.
5
Suppose 23*h + 15 = 38*h. Solve 0 = n + h for n.
-1
Suppose 5*z - 9*z = -16. Solve 7*b = z*b + 9 for b.
3
Suppose -5*y + 6 = -114. Let h be y/(-14)*(-14)/4. Suppose -j + h = n + j, 3*j = n - 16. Solve 6*l - n = l for l.
2
Suppose -3*q - 20 = 2*q. Let m = q + 4. Suppose 0 = -3*p + 12 - m. Solve -p = n - 5 for n.
1
Suppose -4*p + 39 = 5*n - 6, 0 = -4*n + 5*p - 5. Solve 0*m + 5*m - n = 0 for m.
1
Suppose 4*o - 80 = 4*n, -2*o + 4*n + 39 = -3. Solve 16*l = o*l - 9 for l.
3
Suppose 0*g - g = 2*g. Let i = -25 + 46. Suppose -f = 5*y - 7 - 5, 0 = -2*y + 5*f + i. Solve g = -2*o + y*o for o.
0
Let m(a) = -4 + a**2 + 18 - 9 - 10. Let k be m(-3). Solve -k*f - 6 = 10 for f.
-4
Let p(f) = -f**3 - 18*f**2 + 2*f + 49. Let n be p(-18). Solve 0 = 6*j - n + 1 for j.
2
Let v be 56/6 - (-4)/24*-