 + l*s + 0 = 12 for v.
3
Let m(j) = 39*j - 182. Let z be m(5). Solve 4*i - 4*n = -0*n - 16, -2*n = -3*i - z for i.
-5
Let k = -199 + 210. Solve 1 - k = -2*o - 3*x, 3*o + 3*x - 9 = 0 for o.
-1
Let h(u) be the first derivative of -u**4/4 - u**3 + u**2/2 + u - 1. Let s be h(-3). Let w = 6 + s. Solve -w = 4*q + 2*j, 0 = -2*q + j - 4*j + 6 for q.
-3
Let r be 14 + (3 - 7 - -9). Suppose 0 = -4*p - 19 + r. Solve -4*q - 2*k + 4 = p, 5*q - 5*k = -k + 5 for q.
1
Suppose -10*p + 81 = 51. Solve -g + 1 = 3*v, 2*v - v + 13 = -p*g for v.
2
Suppose 0 = -2*k - k. Suppose 2*a = 3*r + 3 + 1, -26 = -3*r - 4*a. Let n be r + -4 - (-10 - 2). Solve k = -5*c - 3*g - 8, -5*g + 10 = -n for c.
-4
Suppose 4*k + t = 9, -3*t + t = -2. Suppose -i - k = 0, 2*n + 7*i - 2*i = -30. Let h be (n/20)/(1/(-4)). Solve -5*o - 9 = -5*z + 26, 2 = -z - h*o for z.
4
Suppose 52 = 1051*j - 1038*j. Solve 2*x + j*a = 18, x - 4*a = 2*x - 17 for x.
1
Let p = -72 + 70. Let o be (6 - (p - -4))*(-10)/(-20). Solve -t - 8 = -2*j, -o*j = 3*j + 3*t - 9 for j.
3
Let t = -2 - -16. Suppose u = -0*u + 84. Let c = -50 + u. Solve 5*n + t = -z + c, 4*z - 35 = -5*n for n.
3
Let t = 30 - 28. Suppose 5*n - 15 = -4*d + 3*d, -t*n + 5*d + 33 = 0. Solve -c - n*r - 3 = 0, 3*r - 2 = c + 1 for c.
-3
Let m(p) = p**3 + 12*p**2 - 1. Let u be 1*(6/(-2) - 9). Let w be m(u). Let a be 2/(4*w)*-4. Solve 0 = 5*f - a*i - 15, -i + 3*i = 3*f - 9 for f.
3
Let k(y) = -1 - 1 - 3*y - 1 - y**2 + 1. Let i be k(-4). Let o = i - -8. Solve -2*q + 0*d - 4*d = 10, -2*q - o*d = 4 for q.
1
Let d(n) = n**2 - 12*n + 14. Let c be d(11). Suppose -c = -4*a + 3*a. Solve 0*r + 3*r - a*b = 9, 0 = r + 4*b - 13 for r.
5
Suppose 0 = 22*x + 19 - 63. Solve -3*p + 6 + 11 = -4*o, -x*p - 2*o = -2 for p.
3
Suppose 0 - 3 = -g. Suppose -9*o + 1 = -17. Suppose b + 3*r = 5 - o, 6 = 2*b - 4*r. Solve g = 2*p - b*p - 2*k, 12 = 2*p - 2*k for p.
3
Suppose -6*g = -18*g - 10*g. Solve g = -f + r + 4, 5*r + 23 = f + 3 for f.
0
Suppose 3*y = -0*y + 72. Suppose -5*k = -7*k + 3*n + 4, 3*n = 0. Solve -5*p = -2*i + y, 6 = -k*i - 2*p + 2 for i.
2
Let s(t) = -20*t + 694. Let q be s(34). Solve v = d + 7, 10*d - q*d - 2*v = 16 for d.
-5
Let c = 867 - 850. Solve 2*i + 3*s + 10 = 0, c = 5*i - 0*s - 3*s for i.
1
Let o = 1185 - 1168. Solve -u = 3*l + o, 13 = -l - 6*u + 2*u for l.
-5
Let p = 111 + -38. Suppose 3*m - p + 13 = 0. Solve -b = 3*a + a + 20, -m = 4*a - 5*b for a.
-5
Let m = 176 + -172. Solve -m = 3*t + y + 3, 4*t + 3 = 5*y for t.
-2
Let g(f) = f**2 - 16*f - 15. Let n be g(17). Suppose 4*c - n*v - 2*v = 20, -5*c = 5*v + 5. Solve 2*k + c*x = 0, x + 2 = -2*k + 3*k for k.
1
Let p(q) = -q**3 - 3*q**2 + 3. Let t = 37 + -40. Let l be p(t). Solve 0 = -l*z - 5*y + 15, -4*z - y - 6 = -3*y for z.
0
Suppose -85*m = -15*m - 420. Solve 10*t + 4 = m*t + b, 8 = -2*t + 2*b for t.
0
Let h = -76 - -146. Let f = h + -67. Solve b + 2*b = 5*x + 5, 13 = f*x - 5*b for x.
-4
Suppose 0 = -22*n + 11*n + 22. Let s(y) = -9*y - 1. Let m be s(-2). Solve g + n*h = 5 - 11, -m = -3*g + h for g.
4
Suppose -2 = -2*j - 6, -5*v - j = -8. Suppose -y - v = -2*y. Suppose 2*f - 12 = -5*a + y*a, 4*f = 2*a - 8. Solve -3*h - 5*o = -6, a*o = o + 9 for h.
-3
Let k be (2 - (2 + -2)) + 27. Let w be 1/((-6)/9 - -1). Suppose 0 = 5*q - w*q - 5*u - 28, 3*u = -3*q. Solve -5*r + k = -0*g + 4*g, 2*g - q*r + 18 = 0 for g.
1
Let k = -22 - -39. Let x = k + -17. Suppose -4*w + x*g = -5*g + 7, -4*g = -w - 10. Solve w*m + 1 = -h - m, 0 = h + 5*m + 1 for h.
-1
Let w(q) = q**2 - 9*q - 10. Let z be (-184)/(-18) - 6/27. Let t be w(z). Suppose p + t = 3. Solve 0 = -b - c - c + 1, -3*c + p = 3*b for b.
1
Suppose 0 = 4*j + 4*t + 16, j + 4*t + 12 = -1. Let r be -4*(-9)/12 + j. Suppose -2*z + r + 0 = 0. Solve -z = -k + w, -w - 5 = -7 for k.
3
Let f(q) = -q**2 - 3*q + 14. Let p be f(-5). Let w = -22 + 26. Solve w*v + p*y - 28 = 0, v + v + 1 = y for v.
2
Let f(n) = -n**3 + 6*n**2 + 7*n + 7. Let b be f(7). Suppose 0 = -5*o + 20, o = -b*y + 4*y + 10. Solve 2*x + y = -j, 2*j - 3 = -x + 2 for x.
-3
Suppose 2*c = 5*v + 26, 5*c + 3*v - 31 = 3. Let f(t) = t**3 - 7*t**2 - 9*t + 11. Let r be f(c). Solve -12 = -5*n + n, 4*n - 24 = r*b for b.
-4
Let l be (3/1)/(-12) + 44/(-16). Let h be 6*(24/(-9) - l)*2. Solve 0*z = 3*z - 4*j - 11, 24 = h*z + 4*j for z.
5
Let z = -3 + 8. Let q(t) = -t**3 + 6*t**2 - 5*t + 2. Let g be q(z). Suppose 2*o = -g*n, 25 = o - 6*o. Solve 0*f = -r - 4*f - 5, -n*f = -3*r + 2 for r.
-1
Suppose -173 = -7*m - 12. Suppose 0*n + 2*n - 10 = 0. Solve 0*v + n*c - m = v, 4*v - 28 = -4*c for v.
2
Let r = 527 - 515. Solve 2 = -2*u - 2*l - r, 0 = -u - 5*l - 23 for u.
-3
Let j be -4*16/(-320) + (-48)/(-10). Solve -4*b + 1 = -j*r - 0, r + 3*b - 15 = 0 for r.
3
Suppose -4*a - 2 = -5*a. Suppose -z - a*v = 34 - 2, -z + 3*v - 42 = 0. Let r be 58/18 + 8/z. Solve r*i + 3*j - 10 = 2*i, -5*j + 20 = 0 for i.
-2
Let a(g) = -g**3 + g + 6. Let l be a(2). Solve -3 = -s, -s + 3 + l = -4*p for p.
0
Suppose 5*r - 31 = -4*k, 3*k + 4 = 3*r + 7. Let w(f) = -4*f - 75. Let m be w(-19). Solve r = -5*a + 4*p + m, a = 5*p + 8 for a.
-2
Suppose -19*r + 16*r = 5*t - 21, 3*r - 21 = 3*t. Let x = -6 - -9. Suppose r*p - x = 6*p. Solve d + 1 = -2*i - 3, 0 = 3*i + p*d + 12 for i.
0
Let b(c) be the first derivative of 12 + 1/3*c**3 - 9*c - 2*c**2. Let t be b(6). Solve -v + 2 - t = n, -n = -2*v + 1 for n.
-1
Let t = 10 + -10. Let c be t/(-4)*(-2 + 1). Suppose 6 = n - c. Solve 2*f = -h - 3, -3*f = -n*f for h.
-3
Let z(q) = q**2 + q + 4. Let s be z(-4). Suppose 2*t = 38 + s. Solve -3*r - t = r - 3*i, r + 3*i - 12 = 0 for r.
-3
Let x(h) = -h**2 - 11*h + 13. Let i = 0 + -12. Let b be x(i). Let y be (-7 - -6) + 19*b. Solve 0 = -t + 3, -3*z - 2*z + t - y = 0 for z.
-3
Let c be -2 + 1 + 7*1. Let q be 15/9 - (-4)/12. Solve -3 = -5*m - d, 0*m + m - c = -q*d for m.
0
Let r be 113/7 - 48/(-56). Solve 5*a - r = 3*s, 18 = 2*a - 3*s + 4 for a.
1
Suppose -4*w = -2*p - 2, -3*p - 2*w + 2 = -11. Solve -9 = d + p*v, -3*v + 6 = 4*d - 5*v for d.
0
Suppose a + 3*a = 40. Suppose k = 4*f - 11, 8*f + a = -2*k + 12*f. Solve -6 = -n - q + k, 13 = 4*n + q for n.
2
Let r be (-14)/(-4) - 1/2. Let a be 10/2 + (-7 + 0 - -6). Let f(q) = 9*q**2 + q - 1. Let c be f(1). Solve -c = -i - 3*z, z - 7 - a = -r*i for i.
3
Suppose 5*w - 84 + 4 = 0. Let n be 2/5 + w/10. Solve -4*c = k + 3, -n*k + 6 + 2 = c for c.
-2
Suppose 8 = k - 5*y, 2*k - 4*y + 1 - 11 = 0. Let q(x) = x**3 - 2*x**2 - x - 2. Let p be q(k). Solve -l + 3*b = -10, 5*l + p*b + 22 = b for l.
-2
Let j = -70 + 70. Suppose -2*z + 4*z - 2*g = 12, -2*z - 4*g = j. Solve -z*s + 16 = 0, -4*a + 2*s + 2*s - 20 = 0 for a.
-1
Let i = 4 - 2. Suppose 8 = -i*z + 6*z. Solve 14 = -5*s + 2*s + m, -5*s = z*m + 16 for s.
-4
Let s(q) = -3*q + 43. Let d be s(11). Solve -3*g + 5 - d = 2*c, -3*g + 2*c = -11 for g.
1
Suppose 2*u = 1 - 7. Let c be (1 + -2)/u*-6. Let b be (c/3)/(8/(-48)). Solve -5*h - 5 = -2*x, 2*x = b*x + h + 1 for x.
0
Suppose -2*f + 4 = -3*z, -4*z + z = f - 2. Let y(c) = c**3 + 4. Let p be y(z). Let w be 134/10 - p/10. Solve -5*m - 10 = 0, -b - w = -4*b - m for b.
5
Let y be (-1)/3 - (-104)/24. Suppose -180 = -y*u - 6*u. Solve 2*i + u = 3*v, -2*v + 0*v + 5 = i for v.
4
Suppose 2*w = -4*m - 105 + 111, m - 4*w - 24 = 0. Solve 2*t = 5*y + 35, 0*t - 3*y - 35 = -m*t for t.
5
Let m(w) = -4*w - 8. Let p be m(-4). Suppose 8*f - p = 24. Solve -f*q - y = -5, -5*y + 0*y = -4*q - 1 for q.
1
Let j be 1 - (56/504)/((-2)/(-18)). Solve j = 2*t - x - 7, -x - 9 = 2*x for t.
2
Let j be 0/(2 - 3) - (-5 + 5). Suppose j = -u - 8*u + 4*u. Let q = 8 + -6. Solve 0*s = 2*s - 5*l - 12, u = -5*s + q*l - 12 for s.
-4
Suppose -2*n - 149 = -5*p, 2*p - p + 287 = -4*n. Let u = n - -87. Solve c = -5*l + u, -l - 11 = -4*c + 7 for l.
2
Let o = -1125 - -1127. Solve 5*x - 10 = 10*x - 5*u, o*x - 4*u = -8 for x.
0
Let c = 242 + -222. Solve -3*t = -4*k - c, 5*t - 3*t - 25 = 5*k for t.
0
Suppose 3*s - 1 = -0*g - 2*g, 0 = -2*s - g. Let y be (2/s)/(1*(0 - 1)). Solve j + 1 = 3*z + 3, -y*j - 5*z = 7 for j.
-1
Suppose 3*q - 2*q - 3 = 0, 4*q = -2*w + 20. Let v be -20 + (-4 - (0 + 0)). Let s = v - -27. Solve -w*t + 1 = -2*y + s, -5*t = y + 6 for t.
-1
Suppose 5*h + 3 = 18. Solve h*i - 8*i = -4*z + 5, -z = 2*i - 11 for i.
3
Suppose 0 = 3*n - 10 + 37. Let h be (-80)/(-6)*n/2. Let c be ((-2)/(-6))/((-10)/h). Solve 