77/(1 - -6). Solve -12 = -o*c - 6 for c.
1
Suppose 0 = -c + 16 - 8. Suppose -f + 4 = l, 5*l - c - 2 = 0. Solve f = 5*h - 6*h for h.
-2
Let m = 74 + -72. Suppose 10 = 5*d - 5. Solve d = -v - m*v for v.
-1
Let h(b) = -8*b**2 + 4*b + 3*b - 4 + 0*b**2 + b**3 - 5*b. Let v be h(8). Suppose 3*c - 16 = -5*x, x + c = -0*c + 4. Solve 2 = x*z + v for z.
-5
Let u(m) = m + 6. Let v be u(-3). Let c be (v/(-2))/((-69)/92). Solve 5*x = -3 - c for x.
-1
Suppose x = 5*a - 9, 4*a - 1 = 4*x + 3. Suppose 22 = a*b + 14. Solve -9 + 1 = b*z for z.
-2
Suppose -5*x + 51 + 14 = 0. Suppose 4*l = 5*t - 0*t + 37, -l = -2*t - x. Solve -l - 12 = -5*p for p.
3
Let h(k) = -k**3 + 16*k**2 - 4*k + 17. Let q be h(16). Let d = 51 + q. Solve -d = -4*s + 8 for s.
3
Suppose f + 30 = 6*f. Suppose h = 4*h. Solve b - f*b + 25 = h for b.
5
Let w = 67 + -34. Let t be 1/((-50)/(-154) - 6/w). Solve -2*l + t = 1 for l.
3
Suppose -3*r + 12 = 3*l, 4*r = -0*l + 4*l. Suppose h - r - 23 = 0. Suppose 0 = 2*d - 6, -2*f + 2*d = -0*f - 6. Solve f*s = s + h for s.
5
Suppose -27 = -4*u - 3*t, 5 = u + t - 2. Solve -u*o - o = -o for o.
0
Suppose -k = 3*i + i - 11, -5*i = -3*k + 50. Suppose 8*a = 11*a - k. Suppose -18 = -o - a*o. Solve 3*t - o = -9 for t.
-2
Let p be (-1380)/(-100) - 12/(-10). Solve -9*k - 24 = -p*k for k.
4
Let v be 121 - -2*(-1)/2. Let f be v/(-16)*4/(-5). Let k(s) = 2*s - 5. Let o be k(4). Solve 0*r + f = o*r for r.
2
Suppose 5*n - 11 = -1. Let q = 47 + -31. Solve -q = -n*m + 6*m for m.
-4
Let v = -61 - -66. Suppose -v*t + 16 = 3*h - 14, -5*h + 4*t + 50 = 0. Solve 0 = 3*c + 25 - h for c.
-5
Let y = 400 - 403. Suppose -5*f - 33 = -8. Let j = y - f. Solve -j*m = m + 3 for m.
-1
Let m = 58 - 33. Suppose -4*u + 24 = b - m, 3*u + 2*b = 43. Suppose -8*p + u*p = 18. Solve 4*z + 14 = -p for z.
-5
Let a be 129/9 + -4*(-8)/48. Solve -4*w - a = 11*w for w.
-1
Let l be 2 - (1/(-1) + 0). Suppose -z - l*z + 20 = 0. Suppose 32 = z*g + 12. Solve -3*a + g = a for a.
1
Let b = -1204 + 1208. Solve -2*q - 3*q = -b*q for q.
0
Suppose 3*j + 3 - 9 = 0. Solve -p - 5 + j = 0 for p.
-3
Let o = 19 - 16. Let v be o/(-5) - 112/(-20). Solve 0*r + v*r + 15 = 0 for r.
-3
Let y(x) = -19*x + 3*x - 3 + 8*x + 10*x. Let k be y(3). Solve h - 1 = -k for h.
-2
Let s be 5 + (-9*(-3)/(-9) - -6). Solve 0 = -8*t - 0*t - s for t.
-1
Let m = -69 + 69. Let w be 30/6 + (0 - -1). Suppose w = y + y. Solve h = -y - m for h.
-3
Let t(h) = h**3 + h**2 + h - 67. Let g be t(0). Let a be (-12)/(-30) + g/5. Let f = 13 + a. Solve 6*j - 2*j - 8 = f for j.
2
Suppose -2*f + 5 = -5. Suppose 3*t = -f*t + 24. Solve 1 + 5 = t*u for u.
2
Let w be 4*-1 - (13 - 21). Let z = -6 + 10. Suppose z*x - w = 2*x. Solve 0 = x*k - 5*k - 3 for k.
-1
Let t be (5 - 4) + 1 + -3. Let d be (-6 - -6)/(t/1). Suppose d = -2*c + 2 + 6. Solve c*u = u for u.
0
Suppose -20*j + 117 - 199 + 122 = 0. Let f be 2/(-4)*(-1 - 3). Solve -j = -f*u + u for u.
2
Suppose 2*o - 76 = -4*q + 6*o, 3*o = -q + 31. Solve -4*g - q = 7*g for g.
-2
Let s(h) = 2*h**2 - 6*h + 5. Let r be s(3). Let l(x) = -x**3 + 5*x**2 - x + 7. Let o be l(5). Suppose -f = -o*f + 14. Solve -r*q + f = -6 for q.
4
Let s(h) = 3*h + 34. Let a(l) = 2*l**2 + 23*l + 20. Let v be a(-10). Let c be s(v). Solve -z = c*z + 5 for z.
-1
Let x(y) = y**3 - y**2 - y + 1. Let r be x(1). Let o = 5 - r. Solve o*c + 7 = -13 for c.
-4
Suppose -2 = -2*z, -l - l - 5*z = -5. Solve -8*p + 3*p + 25 = l for p.
5
Let g be 0/(10/(-5) - -4). Suppose g*y = y + d - 3, 0 = 2*y + 3*d - 8. Solve x = y - 3 for x.
-2
Let u be 22/(-28)*-2 + (-4)/7. Solve 2 = a - u for a.
3
Let m = 8 - 5. Let v = -20 - -76. Suppose -2*f = -16*f + v. Solve -f*b = -m*b - 3 for b.
3
Let b(c) = -c**3 - 7*c**2 - 6*c. Let k be b(-6). Suppose -5*u + z - 34 = -k*z, 20 = -4*u - z. Let m be (-2)/3 + (-16)/u. Solve m*v = -v for v.
0
Suppose 0 = -4*p - 20, -4*p = -2*o + 5*o + 14. Suppose 0 = -7*r + 8*r - 6. Suppose 4*u = -2*u + r. Solve -3*d + u + o = 0 for d.
1
Let s be (45 + 1)*-5*(-5)/50. Let t = -17 + s. Solve 2*h = t - 2 for h.
2
Let n(v) = -10*v + 13. Let h be n(1). Solve -h*o = -o + 6 for o.
-3
Suppose j - 11 = -13. Let m be 4 + -2 - 1*j. Suppose -2*g + 4*g = m*x - 4, 0 = -5*g - 5*x + 5. Solve 0 = -5*k - 15 - g for k.
-3
Suppose -3*q - 13 = l + 1, -5*q = 4*l + 35. Let o(d) = -2*d**2 - 10*d + 2. Let i be o(l). Solve 0 = i*v + 2 for v.
-1
Let x(w) = 2*w**3 + 2*w**2 - 2*w + 1. Let u be x(1). Let v be (-6)/(-9) - (-70)/u. Suppose -k = k, -4*i - 2*k + v = 0. Solve i*h + 10 = h for h.
-2
Let f(x) = x - 13. Suppose 0 = 3*z + 6 - 54. Let y be f(z). Solve 2*a = y - 13 for a.
-5
Suppose -72 = -5*x - 2. Solve -x = 4*k - 6 for k.
-2
Let p = 80 + -78. Let z be p*(6 + -5 - -3). Solve 3*k = 7*k - z for k.
2
Let a be (1 - 0) + 21/7. Suppose -6*o + 5*u = -9*o, -a*u = -o. Solve 1 + o = -r for r.
-1
Suppose 4*l = l + 6. Let c be (l/4)/((-8)/(-320)). Let h be ((-1)/(-2))/(3/18). Solve c = 2*f + h*f for f.
4
Suppose -l + 4*l = 6. Let i(x) = -4*x + 3*x + 1 + 0 + l. Let a be i(3). Solve 4*d + a = -4 for d.
-1
Suppose -5*r + 140 = 10. Solve r - 6 = 5*c for c.
4
Suppose -20 = c - 6*c. Suppose 4*o - 3*o - c*m - 20 = 0, 3*o - 3*m = 24. Solve o*g = 3 + 5 for g.
2
Let a = -101 + 112. Solve 0 = a*d - 22 for d.
2
Suppose 4*t = -3*c + t + 6, -3*t = 5*c - 16. Suppose 7*w - c = 37. Solve 3*q + 21 - w = 0 for q.
-5
Let i = 65 - 64. Suppose 3*r - 2*r - i = -q, -4*r + 13 = q. Solve -3*a + r = a for a.
1
Suppose -z = -2*z. Let v(p) = 44*p - 83. Let k be v(2). Solve -3*m + k*m + 10 = z for m.
-5
Let u = -18 + 20. Suppose 5*h = -15, 3*j - 7 + 1 = -u*h. Let g be 4*j/(-8) - -9. Solve -10 = 2*n - g*n for n.
2
Let q = 902 - 900. Solve q*w + 7*w - 45 = 0 for w.
5
Let y = -663 - -666. Solve y - 2 = m for m.
1
Let x(m) = m**3 + 23*m**2 + 14*m - 1. Let b(a) = a**2 - a + 1. Let r(c) = 4*b(c) - x(c). Let k be r(-18). Let j be ((-4)/6)/(2/(-6)). Solve k*l = j*l for l.
0
Suppose 7 = z + c, -6 = 2*z - 5*c + 15. Solve -z - 12 = -14*y for y.
1
Let d be (1780/70)/1 - 3/7. Solve -d + 5 = 4*n for n.
-5
Suppose 7*x = 3*x. Let m(v) = -7*v + 27. Let w(b) = -8*b + 28. Let o(y) = 7*m(y) - 6*w(y). Let c be o(13). Solve -2*q + c = -x*q for q.
4
Let b be (-46)/(-10) + 3/(-5). Solve 6*s = b*s - 4 for s.
-2
Let b(a) = -a**2 + 9*a - 14. Let t be b(7). Solve t = -8*h + 3*h + 25 for h.
5
Suppose -5*y = -3*y. Suppose -7*a + 4*a + 9 = y. Solve -w + 4 = -a*w for w.
-2
Let z = 18 - 3. Suppose 113*l + 308*l - 12*l = -66*l. Solve l*a - 3*a = -z for a.
5
Suppose -3*n - 3*n + 78 = 0. Suppose -8*u + n*u - 35 = 0. Solve 2*p + 3 = -u for p.
-5
Let r(n) = n**3 + 12*n**2 - n - 10. Let g be r(-12). Let h be 0*(g - 15/6). Solve -q + 0 + 4 = h for q.
4
Let x(y) be the third derivative of -y**5/60 + 11*y**4/24 - 8*y**3/3 - 12*y**2. Let h be x(8). Solve -25 = 3*q - h*q for q.
5
Let d(j) = j**2 + 11*j - 14. Let t be d(-14). Let y be (54/21)/(6/t). Solve -2*u = u - y for u.
4
Suppose 2*a - 5*k = -5 - 0, 0 = 4*a - 2*k + 2. Solve 0*i = -i - a*i for i.
0
Suppose -2*m + j = -13, 0 = -m + 2*m + 3*j + 11. Suppose -2*i + m*b = -0*b - 44, 0 = 3*b. Let c = i + -19. Solve 4*o = c*o - 5 for o.
-5
Suppose -y + 0*y = -5. Let m(o) = o**2 - 2*o - 7. Let h be m(y). Suppose 15 = -3*t, 0 = c + 2*c + t - 13. Solve -c*z + 2*z = h for z.
-2
Let k(d) = -4*d - 28 + 17 + 7*d. Let h be k(4). Solve -x + 2*x = h for x.
1
Let s = -15 + 11. Let q be (-2 + (-4)/s)*-12. Suppose -q = -3*g - 3. Solve -g*n = n for n.
0
Let t be ((-2)/(-1))/(4/10). Suppose -4*o - l = l + 4, 0 = -t*o + 2*l + 4. Suppose o = 4*b - 9*b + 25. Solve -b*n + 3 = -7 for n.
2
Let w be (-775)/(-50) + (-3)/(-6). Let s = -7 + 48. Solve 5*h + w = s for h.
5
Let u(g) be the second derivative of g**5/20 + g**4/2 + 7*g**3/6 + 5*g**2/2 - 6*g. Let p be u(-4). Let q = -5 + p. Solve -8 = -4*t + q for t.
3
Let y = -4194 + 4197. Suppose -3*a + 22 = -f, 2*a - 2*f = 5 + 15. Solve -a = v - y*v for v.
3
Suppose -54 = -5*x + 61. Let t = x - 20. Let y be 165/44 + t/(-4). Solve 4*u = y*u - 3 for u.
-3
Suppose -6*s - 11 = -3*d - 7*s, 4*d = -5*s + 33. Let g be (564/(-16))/(-3) - d/(-8). Solve -4*o - g = -0*o for o.
-3
Let c = 59 - 51. Suppose i + 3*i - 3*t = 14, -5*i = t - c. Solve -8 = -2*u - i*u for u.
2
Let a(r) = -5*r - 17. Let g(m) = -4*m - 16. Let y(i) = 3*a(i) - 4*g(i). Let q(w) = -4*w - 2. Let v be q(2). Let x be y(v). Solve 2*f - 3 = 