v - v = -l for v.
-5
Let m be ((-12)/9)/((-3)/27). Let s = -9 + m. Suppose 0 = h - s*h + 12. Solve -2*r + h*r = 20 for r.
5
Let t = -910 - -916. Let x = -3 - -5. Solve -x - t = 4*u for u.
-2
Let w = -46 + 71. Suppose 0 = 5*h - 90 + w. Let o = -10 + h. Solve 0*g = o*g for g.
0
Suppose 0 = 11*z - 7 - 37. Solve -z*r = -0*r + 12 for r.
-3
Let h = -19 + -63. Let c = 86 + h. Solve 6 = -c*l - 10 for l.
-4
Let z(w) = w**3 - 4*w**2 + w. Let f be z(4). Let h be 2/4 + (-427)/14. Let s = -28 - h. Solve -s = -3*n + f*n for n.
-2
Let b(p) = 6*p - 3. Let o be b(3). Let r = o - 15. Let t = -11 - -13. Solve -t = i - r for i.
-2
Let q = -11 + 11. Let c be 5 + -2 + 0 + -3. Let m = 3 + c. Solve q = -2*b - m + 11 for b.
4
Let s be (-4)/(((-12)/10)/3). Let z = 10 - s. Suppose 3*h + 3 = z, 13 + 0 = 3*b - 4*h. Solve -b*x + 3 = 12 for x.
-3
Let n = -15 + 19. Suppose -n*j = 8 - 28. Solve -s + 1 - j = 0 for s.
-4
Let c(x) = x + 13. Let f be c(-9). Suppose v + v = f*z - 20, 3*v - 3 = -5*z. Solve 1 = -z*k - 5 for k.
-2
Let v(a) = a**2 + 18*a + 9. Let l be v(-17). Let s be (-22)/88 - (-86)/l. Let i = s - -20. Solve i = 4*z + 1 for z.
2
Let u = 24 - 9. Let a(g) be the first derivative of -g**4/4 + 16*g**3/3 - 7*g**2 - 7*g - 5. Let m be a(u). Solve -2*f + 2 = m for f.
-3
Suppose 6*p - p + q - 161 = 0, -5*p = 2*q - 162. Let h be (6/(-2))/((-2)/12). Let a be (27/h)/(6/p). Solve 3*t = a - 2 for t.
2
Suppose 0*z - 5*f = 3*z + 197, -3*z - f - 193 = 0. Let b = z - -64. Solve b*u + 2*u = -8 for u.
-4
Let s be (-10)/25 - (-7)/(35/22). Solve -8 - 8 = s*u for u.
-4
Suppose -51 = 2*i + 3. Let j = -14 - i. Solve 3*c - j = -4 for c.
3
Suppose 5*i + k + 8 = 0, 0 = 2*i + 3*k - 4*k + 6. Let b be (60/(-50))/(i/20). Let y = 0 + 0. Solve y = -3*j - 0*j + b for j.
4
Let n(g) = 3*g - 1. Let v be n(-2). Let o = -5 - v. Let m = -2041 + 2047. Solve -m*x = -o*x for x.
0
Let t = 131 - 14. Let y = t + -114. Suppose 2 = 2*v - 2. Solve 15 = v*n + y*n for n.
3
Suppose 10*f - 179 = -59. Solve -6*c = -6 + f for c.
-1
Let u(x) = 9*x - x**2 - 5 + 2*x**2 - 8*x. Let n be u(4). Suppose -n = -4*z - 5*p + 2*p, -p + 5 = 2*z. Solve z = 6*w - w + 10 for w.
-2
Suppose 0 = 5*s + 3*m - 4 - 2, -5*s = 2*m - 4. Suppose s*y - 3*y + 6 = 0. Suppose -1 = 4*u + 5*w - 3, -y*u = w - 4. Solve 0 = -p + u + 2 for p.
5
Suppose -1450*j + 1461*j = 242. Solve j = 5*a + 47 for a.
-5
Suppose 0 = 3*i - 6 - 3. Suppose 3*u = l - 3 + 1, u - 4*l = 14. Let p be (1 - u) + i/3. Solve 14 = -p*h - 2 for h.
-4
Let m(b) = b + 14. Let o be m(-11). Suppose 0 = -2*v - o*v. Suppose 0*w + 4*w = 16. Solve v = -4*r + w - 12 for r.
-2
Suppose -b + 23 = p, 2*p + 2*b + 34 = 4*p. Solve -2*f = 10 - p for f.
5
Let f be (2 + 3)*(-6)/5. Let y(o) = -o**3 - 7*o**2 - 8*o - 4. Let w be y(f). Suppose w = 3*b - b. Solve b*m + 1 = 9 for m.
2
Suppose h + 47 = -8. Let a = -55 - h. Solve a = 4*z - 5*z for z.
0
Let x(y) = -y**3 + 15*y**2 - 13*y - 12. Suppose -56 = -6*g + 28. Let v be x(g). Suppose -2*n + 6 = 0, 0 = -5*u - n + v*n + 17. Solve -m = u*m for m.
0
Suppose -5*j + 78 = -130*g + 127*g, -3*j = 4*g - 70. Solve -60 = -6*s + j*s for s.
-5
Let u(h) = -h + 40. Let d be u(40). Solve 0 = 5*a - 5 - d for a.
1
Suppose 3*w - 5 = 4. Suppose -2*n + n + 1 = q, 0 = 4*q + w*n - 6. Suppose 4*u - q*u + 3 = 5*r, 3*r = -3*u + 27. Solve -12 = u*p - 3*p for p.
-3
Suppose 97*d - 93*d = 296. Let k = d + -74. Solve k = -2*r + 4*r + 8 for r.
-4
Suppose -4*x = -b + 5*b + 4, 4*x + 13 = -b. Solve b*c + 4*c + 14 = 0 for c.
-2
Suppose -5*v - 15 = 5*f, -2*v + 24 = -f - 3*f. Suppose n - v + 1 = -4*b, 5 = 3*b + 5*n. Solve 5*g + 3 + 2 = b for g.
-1
Let y(k) be the second derivative of k**3 - 16*k**2 - 44*k. Let g be y(6). Solve 2 + 10 = -g*p for p.
-3
Let c(v) = -v**3 - 14*v**2 + 54*v + 57. Let m be c(-17). Solve -m*a = -1 + 7 for a.
-1
Suppose 0*h = -3*h + 2*l + 77, -5*l + 141 = 4*h. Solve -h + 13 = -4*m for m.
4
Suppose -4*b + 3*c - 6*c + 20 = 0, -2*c + 6 = -b. Suppose -2*h - 4*l = h - 15, 2*l = 0. Solve 0 = h*d - b*d + 3 for d.
-1
Suppose 0 = -378*b + 382*b. Solve b = -6*a - a - 14 for a.
-2
Suppose -161*l - 18 = -167*l. Solve -36 = 6*n + l*n for n.
-4
Suppose -4*h = -5*p + 6, -4*p = 5*h + 34 - 6. Let j be (50/(-15))/(p/12). Suppose 0 = -2*q - 0*q + j. Solve -o = o - q for o.
5
Let c(v) = -3*v - 59. Let a be (0 + 7)*(1 + -8 + 4). Let h be c(a). Solve 0*n + h = -4*n for n.
-1
Let s be (-17)/((20/4)/(-5)). Solve 3*p - s = -2 for p.
5
Let g be -2 + 16 + (-2)/2. Suppose 42 = -10*f + g*f. Let u = f + -14. Solve -1 = s - u for s.
-1
Let f be (224/(-49) + 4)*-7. Solve f*u + 6 = -6 for u.
-3
Suppose 0 = 5*x + 4*s - 30, 3*x - 3*s + 6 = 4*x. Let m be 196/(-12) + (-4)/x. Let w = m + 21. Solve w*l + 8 = -0 for l.
-2
Suppose 0 = 8*d - 36 - 12. Suppose -4*i - 3*a = 3, 0*a = 4*i - 2*a - 2. Solve 4*k - 7*k - d = i for k.
-2
Let u(x) = 2*x + 1. Let g be u(-1). Suppose 5*z = 34 + 11. Let y be g + -2*z/(-6). Solve 4 = -y*s - 2 for s.
-3
Let a = 374 - 370. Solve -a*s + 7 = 19 for s.
-3
Let t = 51 - 46. Solve -t*a = -3*a + 2 for a.
-1
Let x = -490 + 495. Solve -x*w - 2 = -6*w for w.
2
Suppose -2*x - 265 + 37 = 0. Let h = -98 - x. Solve -9*u = -5*u + h for u.
-4
Let z(t) = -t**3 - 5*t**2 - 5*t + 4. Suppose -9 - 51 = -3*u. Suppose 4*g + u = -g. Let n be z(g). Solve -n = 7*x - 3*x for x.
-2
Let x(r) = -7*r**2 - 3*r - 2. Let z = 11 + -12. Let q be x(z). Let y = q + 11. Solve v + 0 = y for v.
5
Let s = -37 + 38. Let v be s*2*(-3)/(-3). Suppose -5*u - 35 = -v*i, -u - 4*u = 5*i. Solve 0 = -5*l + 5 + i for l.
2
Let d be (-7)/35*(-510)/6. Solve d*t - 25 = 12*t for t.
5
Let l be (12 - 384/28)/(2/(-7)). Solve 0 = -6*f - 10*f + l*f for f.
0
Let g be 1 + (5 - -3) + -4. Let j(c) = -c + 13. Let y be j(13). Solve -w = -y*w - g for w.
5
Suppose -3*h - 3*s = -123, 3*h - 12*s - 102 = -8*s. Solve 9*y = -h - 7 for y.
-5
Let z(c) = 6*c**3 + c**2 - c. Let u be z(1). Let x be ((-9)/u + 3)*2. Let h be x/1 + (2 - 2). Solve -h*f - f = 8 for f.
-2
Suppose 0 = 5*g + 5*h + 15, 9 = -g - 5*h - 14. Solve g*f = 3*f for f.
0
Let v = 26 + -24. Let o be (0 + 1)*(-4 + 10). Suppose o = i + v*i. Solve 6 = -i*h - 0*h for h.
-3
Let r = 37 + -36. Solve 5*g - 4 = r for g.
1
Let g be (-7)/((-49)/(-2)) + (-16)/(-56). Solve g = -4*w - 278 + 270 for w.
-2
Let r(x) = -2*x**2 + 8*x - 13. Let v(m) = -3*m**2 + 8*m - 12. Let p(c) = 4*r(c) - 3*v(c). Let i be p(-10). Solve 0*d + 8 = i*d for d.
2
Suppose -3*z = z - 16. Let d be ((-78)/(-9))/(z/6). Solve -4*m = -d + 5 for m.
2
Let m(r) = -r - 8. Let c be m(-24). Solve -4*y + c = 4 for y.
3
Suppose j + j - 10 = 0. Let d(i) = 2*i**2 + i - 1. Let x be d(-2). Suppose 0 = -u - 1, -x*s + 5*u = -8 - 22. Solve 0*a = -s*a - j for a.
-1
Suppose 0 = -3*r + r + 4*v + 24, 5*r = 3*v + 25. Let f be r/(-4) - 22/(-4). Suppose -f*n = -6*n. Solve 5*h + 4 - 9 = n for h.
1
Let u(b) = -b**2 - 2*b + 8. Let t be u(-4). Solve t*g = -3*g + 12 for g.
4
Suppose 11*u + 25 = 16*u. Suppose o = k + 7, 0 = -u*o - 2*k - 0*k. Solve 4*n + o = 6 for n.
1
Suppose -4*z + z + 9 = 0. Suppose z*p - q = 33, q - 9 = 4*q. Solve 0*j - p = 5*j for j.
-2
Let n = 7 - 8. Let v(d) = 12*d**2 - 3*d - 3. Let j be v(n). Solve 5*o - j - 8 = 0 for o.
4
Suppose 0 = x - 2*b, 4*b - 27 = 4*x - 31. Let q be (-1)/4 + (-9)/(-4). Let m = q - x. Solve m*t = t for t.
0
Let r(f) = -f**3 + 12*f**2 + 2*f - 21. Let h be r(12). Let v(d) = -d**2 + 5*d - 3. Let g be v(h). Let p be (1 + -21)*(-12)/30. Solve -g*b = -b + p for b.
-4
Let l = -97 - -100. Let m be 2 + (-4)/(4/3). Let d = l + m. Solve d = -2*n - 6 for n.
-4
Let r(m) = -2*m**3 - m. Let t be r(-1). Let w be t + 3 + (-12)/3. Suppose p - 4*y + 14 = 0, 3*p + w*y - 16 + 2 = 0. Solve 9 = -p*g - g for g.
-3
Let r = -5 + 3. Let v be r/7 - (-2)/7. Suppose 16 = -65*c + 66*c. Solve v*h = 4*h + c for h.
-4
Let u be (-5)/(10/3)*16/(-24). Solve -2*n + u = -3 for n.
2
Let c be (-96)/(-20) + 2 - 44/55. Solve -42*h + c = -45*h for h.
-2
Let k = -30 + 28. Let o(z) = -4*z + 4. Let c be o(k). Solve -y - c = 3*y for y.
-3
Let w(m) be the third derivative of m**6/120 + m**5/20 + 5*m**3/6 - 2*m**2 + 12. Let d be w(-3). Solve 0 = -d*i - 2 - 13 for i.
-3
Suppose -4*a = -2*n - 22, 2*a - 10 = -n + 3. Suppose -2*y = -a*y + 4. Solve -m - y + 0 = 0 for m.
-1
Let r = -423 + 440. Solve 8*u - r = -57 for u.
-5
Suppose 2*o - o = -o. Let k be 30 - 1 - (3 + -2). Suppo