12)*(-2)/(-4)). Let s = 2 - 0. Solve f = c + s*c for c.
0
Let h = -393 - -397. Suppose 0 = -j - 2*j + 3*i + 15, -5*j - i + 43 = 0. Let v = -5 + j. Solve -v*n = -h*n for n.
0
Let p(l) be the first derivative of -l**4/4 + 2*l**3 + l**2/2 - 12. Let s be p(6). Suppose s*d = 4*d. Solve 0 = -d*y - 2*y + 4 for y.
2
Let d = 22 - 16. Let j be (-16)/(-3) - (-4)/d. Solve j*s - 2*s = 0 for s.
0
Suppose 10 = -5*n, -i + 6*n - 5*n + 10 = 0. Solve i*l = 3*l + 5 for l.
1
Let b(g) = 8*g**2 + 14*g - 2. Let x be b(-2). Let y = 9 - 5. Solve y*o = x*o for o.
0
Let l = 55 + -31. Suppose 0 = -4*n - d + 5*d + l, 22 = 3*n - 4*d. Let g be (8/(-4))/n*-3. Solve -2*h + g*h = -4 for h.
-4
Suppose -3*p + 4 = -8. Suppose 2*r = 3*y - y - 4, -2*y + 18 = 5*r. Suppose -4*d + 2*s = -18, 0 = -4*d + 3*s - r*s + 13. Solve d*w = -0 + p for w.
2
Suppose -7*m - 5 = -19. Suppose m*b + 10 = 0, 5*w - b - 4*b - 40 = 0. Solve -6 = -w*j + 9 for j.
5
Let p = 7 + 2. Let o = 11 - p. Suppose -20 = -o*b - 2*b. Solve 0 = 6*i - b*i + 4 for i.
-4
Suppose 4*h - 4 - 16 = 0. Suppose 2*y + h - 15 = 0. Let t be y + 2 + -2 + -3. Solve 0 = -0*v + v - t for v.
2
Let f = -330 - -337. Solve 3 = f*d - 32 for d.
5
Let p be (3*-1)/(210/(-490)). Solve p*x = -28 - 7 for x.
-5
Let p be (-2 - 1 - 3)*(-6)/9. Solve -q - 2 = -p for q.
2
Suppose -16*z - 580 = -45*z. Solve 25*o - 20 = z*o for o.
4
Suppose 0 = -24*t + 18*t + 156. Solve 9*l = -10 - t for l.
-4
Suppose 0 = 5*q - c + 43, -5*c - 1 = -0*q + 2*q. Let f be 9 + (-4)/(q/(-6)). Let w be 8/f + 20/30. Solve -4 = w*g - 0 for g.
-2
Let k be (2/1)/((-4)/(-46)). Suppose 0 = 4*r + i - 21 + 3, r + 5*i + 5 = 0. Suppose -24 = -r*q - z, -4*z = -4*q - 5*z + 20. Solve -3 = -q*o - k for o.
-5
Suppose 350 = 60*o - 55*o. Suppose 5*r = -50 + o. Let x(p) = p. Let b be x(2). Solve r*c - 3*c - b = 0 for c.
2
Suppose 12*t = 10*t + 4. Suppose -6 + 20 = t*j. Solve j*y = 3*y for y.
0
Suppose -a = -4*a + 6. Let v(y) = -3*y**3 + 4*y**2 + 3*y + 1. Let u be v(-1). Let r = 31 + -28. Solve a*l - u = r*l for l.
-5
Let g = 56 - 32. Let p be (-2)/(g/15 + -2). Solve p*h = -0*h for h.
0
Let b = -39 - -13. Let r = -20 - b. Solve g - 15 = r*g for g.
-3
Suppose 18*f - 626 + 536 = 0. Solve 0 = -f*n + 3 + 12 for n.
3
Let v(u) = u**2 - 5*u - 12. Suppose -3*g + c = -2*c - 30, 2*g + c = 23. Let w be v(g). Suppose 0 = 5*k - w - 26. Solve 5*o = o - k for o.
-4
Let h(s) = -4 - s**2 - 8*s - s - s + 3*s. Let v be h(-6). Solve -3 - 1 = v*j for j.
-2
Let x be 1/(2/10)*20/25. Suppose -17 = -2*z - 4*q - 1, -5*q = -x*z + 45. Solve 5*o = z + 10 for o.
4
Suppose -2*j = -2*n + 102, j - 5*n + 1 = -54. Let b = j - -52. Solve -5*s + b = 27 for s.
-5
Suppose 27*x - 26*x = -5*u + 93, -2*x + 121 = -3*u. Solve -w - x = -66 for w.
-2
Suppose w + 2*s = -3*w - 8, -5*s - 20 = 5*w. Suppose -2*u + 4*h + 34 = 3*u, 5*u - 2*h - 32 = w. Solve -4*y - u - 2 = 0 for y.
-2
Suppose 5*r + 2*s - 4 = 0, 4 = 8*r - 9*r + 2*s. Suppose 5*q + 2*x - 28 = r, 0 = -0*q + q + x - 5. Solve -11*m + q = -9*m for m.
3
Let u = 54 + -42. Suppose u = -8*g + 14*g. Solve g = -b - 0 for b.
-2
Let v be (30/24)/(1/4). Suppose 4*l = 7*l + 5*k - 33, v*l + 4*k = 42. Solve -x + l*x + 20 = 0 for x.
-4
Suppose -2*d + 3*k = 36, -3*d - 4*k + 3*k = 32. Let n be d/(-4 + 0) - 1*3. Solve -6*u + u - 5 = n for u.
-1
Let o be 2/((-3)/((-9)/2)). Suppose -3*u + 15 = o*v, 5*u = u - 5*v + 24. Solve -f = -0 - u for f.
1
Let r = -210 + 124. Let j = r + 94. Solve 0 = 5*v + 17 + j for v.
-5
Suppose 0 = 3*v + 2 - 8. Let u = 16 - 13. Suppose -3*i + u = -v*i. Solve 2*y + i*y = 20 for y.
4
Suppose 0 = -0*a - 3*a - 30. Let g be 2 + (-4 - a - 2). Solve 2*f = g*f - 16 for f.
4
Let a be 1/(((-14)/(-6))/7). Suppose 35*t - 8*t = 0. Solve t = a*y - 6*y for y.
0
Let g be 170/(-6)*(-75)/125. Solve -g*j - 60 = -5*j for j.
-5
Let w(x) = -x**3 + 4*x**2 + 4*x - 7. Let u be w(2). Suppose 150 = u*v - 3*v. Solve 0 = 3*s + 2*s - v for s.
5
Suppose -2*s = 10*j - 9*j, 3*s = -5*j + 21. Let t(d) = d**2 - 7*d + 6. Let r be t(6). Suppose r*n + n = 5. Solve -n*y - j = -1 for y.
-1
Let v(z) = z**3 + 7*z**2 - 5*z + 24. Let u be v(-8). Suppose -5*a + 1 = -2*y + 40, -2*y + 30 = -2*a. Solve u = -d - 3*d - y for d.
-3
Let s be ((-34)/(-51))/((-4)/(-18)). Suppose 17 + s = 5*w. Solve 0 = 5*y - w - 1 for y.
1
Let v be ((-672)/784)/(((-6)/(-28))/(-1)). Solve -v*b = 12*b + 16 for b.
-1
Let v = -16 - -21. Solve -2*m + v - 13 = 0 for m.
-4
Let k(x) = -x**3 - 10*x**2 + 12*x + 16. Let g be k(-11). Let i(q) = -q**3 + 4*q**2 + 5*q + 3. Let u be i(g). Solve 0 = u*l + 5 + 4 for l.
-3
Suppose 5*n = 39 - 4. Suppose n = 5*q - 3. Solve -2*u + 0*u + q = 0 for u.
1
Let o(w) be the third derivative of w**5/60 + 5*w**4/24 - 2*w**3/3 - 2*w**2. Suppose -18*k + 17*k + 3 = 0. Let v be o(k). Solve -2*c - 3*c + v = 0 for c.
4
Let w = 305 + -293. Solve 0*c - w = -4*c for c.
3
Let s be -18*(472/48 - 10). Solve s*t = -3*t - 6 for t.
-1
Let g be 2*(2/(-4))/((-1)/2). Solve r + r = g for r.
1
Let z(d) = 2*d**3 + 51*d**2 - 25*d + 52. Let r be z(-26). Solve 3*t - 35 = -r for t.
3
Suppose 0 = 3*j - 4*y - 22, 4*y - 12 = -4*j + 5*y. Suppose j*n - 5*x - 10 = 0, -2*x = -0*x. Suppose 16 = 3*s + 5*q, 2 = n*q - 8. Solve -20 = s*h + 3*h for h.
-4
Let h(u) = 2*u**2 - 5*u - 1. Let b be h(3). Solve 4*o - 4 = b*o for o.
2
Let d be (385/(-45))/(-11) - 4/(-18). Solve 4*f - 7 = d for f.
2
Let t(u) = -6*u + 11. Let y(a) = -7*a + 13. Let i(w) = -6*t(w) + 5*y(w). Let c(n) = -n + 10. Let d be c(6). Let x be i(d). Solve 2*p - 1 - x = 0 for p.
2
Let q be 2/(-1 - (0 + -2)). Suppose x - q*x - 1 = 0. Let d = 1 + x. Solve d = -4*h - 10 + 30 for h.
5
Let z(w) = -w**2 + 24*w - 106. Let x be z(6). Solve 17*d = -x*d + 5*d for d.
0
Suppose -k = 5*x + 4, 0*x + 10 = k - 2*x. Solve -k - 3 = 3*b for b.
-3
Suppose 0 = 8*l - 6*l - 12. Let q be ((-4)/l)/((-16)/168). Solve 3*i - 1 = -q for i.
-2
Suppose 3*n - 29 = -4*x - 2*n, 2*n = -x + 11. Suppose -2*f - x = 5. Let k(l) = -l**2 - 3*l. Let q be k(f). Solve q*z + 2*z = -8 for z.
-4
Let w be (21 - (-14 - -14)) + (4 - 1). Solve -12*s = -w*s + 36 for s.
3
Let o = 886 + -872. Solve -4*m - o = -10 for m.
-1
Let j(y) be the first derivative of -y**2 + 8*y - 6. Let g be j(5). Let f = g - -2. Solve -4*i = -f*i + 8 for i.
-2
Let u be ((-6)/4)/(18/(-12)). Let s(c) = u - 2*c**3 - 3*c**2 + 0 - 2 + 3. Let p be s(-2). Solve 14 = 2*d + p for d.
4
Suppose 2*n + d - 46 = 0, 5*d - 11 = 4*n - 75. Solve -m = -8*m + n for m.
3
Suppose -4*d + 8*d = -20, -4*x = 2*d + 2. Suppose 4 = -x*b + 10. Suppose -5*u - 3*h = b, 3*u - 1 = u + h. Solve u*m = 3*m for m.
0
Let n(c) = c**3 + 4 - 3 - 2*c**3 + 2 - 6*c**2. Let l be n(-6). Suppose h = l*r - 1 - 14, -3*h = -2*r + 10. Solve h*b = b - 4 for b.
4
Let u = -33 + 50. Suppose 0 = -2*t - 15 + u. Solve -2*g - t - 5 = 0 for g.
-3
Suppose m - 33 = -29. Suppose m*i = -3*r + 29, 5*i - r = -2*r + 28. Solve -1 = 4*z - i for z.
1
Suppose 4*f = 11 + 1, 5*g - 4*f = -67. Let j = -6 - g. Solve -4*k = -7 - j for k.
3
Let g = 40 + -40. Solve -3*v + 6 - 15 = g for v.
-3
Suppose -4*f - 3*q + 54 = -52, -4 = -2*q. Let x = 27 - f. Solve 4*k + x = 5*k for k.
2
Let r(z) = z**2 + 38*z + 197. Let c be r(-6). Solve 17 = -c*g - 3 for g.
-4
Suppose 12*s = 221 + 19. Solve 5*o + s = -0*o for o.
-4
Suppose 2*k - 61 = -4*n - 5, 5*k = -n + 5. Solve 3*o = 15 - n for o.
0
Let a(v) be the second derivative of -v**3 - 3*v**2 + 14*v. Let f be a(-1). Solve 5*j = -f*j for j.
0
Let y be (0 + -2 - -1) + 2. Let z(r) = 5*r + 1. Let b be z(y). Let v be 0*(-3)/b*1. Solve 4*j - 2*j + 10 = v for j.
-5
Let b be (-38)/171 + 160/(-9). Let p be (b/4)/9*-4. Let n = -1 - -1. Solve d - 4 + p = n for d.
2
Let q be (-8)/60*-5*-6. Let d be (3/(-9))/(q/(-108)). Let v be 18/15*(-30)/d. Solve -x - v = -2*x for x.
4
Suppose -3*f + 8*f = -50. Let s be (4 - 36/8)*f. Solve -4*t - t = -s for t.
1
Let f = 46 + -44. Let t be -1 + f - (-3 + 3 + 1). Solve -4*n + 0*n + 20 = t for n.
5
Let o be 6/(-8)*(-3 - 33). Suppose z - 2 = 4*k + 20, -o = -z + 5*k. Solve 2*b = 3*b + z for b.
-2
Suppose -6*a + 68 = 28*a. Suppose 6 = 3*c - 3. Suppose -c*t - 3 = 0, -5*d = -4*t - 41 + a. Solve 12 = d*z - 3*z for z.
3
Let j(w) = 4*w**3 + w**2 + 2*w - 2. Let t be j(1). Solve f + 4 = t for f.
1
Let l be 1 + 2 + -4 + 5. Suppose l*h = -3*v + 24, -4*v + 11 = -2*h + 1. Let u(d) = -d**3 - 4*d**2 + 14*d + 15. Let q be u(