. Let l = b + 12. Solve -v = -l + 9 for v.
-5
Let g = -32 + 47. Let o = g + -9. Let q(a) = -4*a**3 - a**2 - a. Let d be q(-1). Solve -o*y + d = -2*y for y.
1
Suppose -3*c = -9, -n + 15 = 2*c - c. Let d = 15 - n. Suppose 3*j = -2*j. Solve j = -4*y + d - 11 for y.
-2
Suppose -154*s + 171*s - 4624 = 0. Solve s = -3*i + 257 for i.
-5
Suppose -5*f - 15 = -40. Suppose -72 = -f*w + 2*w. Let y = w - 7. Solve 0 = 3*a - y + 2 for a.
5
Let w(k) = -k**3 - 13*k**2 - 40*k + 2. Let b be w(-5). Solve 0 = -x - 0*x - b for x.
-2
Let m(i) = -i**3 + 3*i**2 + 5*i - 2. Let h be m(4). Let a = -274 + 277. Solve h = k - a for k.
5
Let w = 7 + -4. Let c(p) = -p - 4. Let j be c(-7). Suppose 5*x + w*f - 3 = 0, j*x - 32 = -x + 5*f. Solve q = -x*q for q.
0
Let s be (2/6 - (-1)/(-3))*1. Solve y - 4 = -s*y for y.
4
Suppose -25*x + 8*x = -187. Solve -x*o = -o for o.
0
Suppose -5*l - 19 = 3*m - 3, -5*m - 2*l + 5 = 0. Suppose -2*k - 15 = -4*c + m*k, 2*c - 4*k = 0. Solve 4*t + 2 = c for t.
2
Let q(m) = -m**3 - 7*m**2 - 14*m - 6. Let w be q(-3). Solve 2*c - 15*c - 52 = w for c.
-4
Suppose 0*z = 3*z - 9. Let a be (1 - 0)/(80/88 - 1). Let b(d) = -d**2 - 14*d - 23. Let u be b(a). Solve u = -8*k + z*k for k.
-2
Let y = 8 - -2. Let q be ((-15)/y)/((-2)/4). Suppose -q*o = -2*o. Solve o = -3*p + 5 - 20 for p.
-5
Let p(i) = i**3 - 10*i**2 + 21*i + 7. Let j be p(7). Solve -20 = j*s - 6 for s.
-2
Let y(b) = -b**2 - b + 13. Let z be y(-4). Let h(m) = 6*m**2 + m + 1. Let f be h(z). Solve -q - q = -f for q.
4
Let s(u) = 2*u - 33. Let y be s(19). Solve 0 = 3*a - y*a for a.
0
Let g = 1979 - 1966. Solve i - g*i = 0 for i.
0
Let y be 1*-1*(-1 + -15). Let p be 2 - (-7)/(35/(-800)). Let b = 158 + p. Solve 4*j + b*j = -y for j.
-4
Let x be 2*((-4)/(-4) - (3 - 4)). Solve -x*q - 30 = 2*q for q.
-5
Suppose 217 = 10*c + 147. Solve 2*b = -c + 1 for b.
-3
Let m(g) = -2*g**2 + 14*g - 16. Let a be m(5). Solve 3*w + a = 1 for w.
-1
Let u(w) = w**2 + 5*w - 7. Let y be u(-6). Suppose -3*o = 2*o. Let z be o/(-2 - (-2 - y)). Solve z*g + g + 2 = 0 for g.
-2
Let z be 1 + (-2)/(4/(-6)). Suppose -m = -z, -4*q - m = -0*q - 24. Suppose 0*h - 4 = -h, -16 = -q*b + h. Solve b*j - j = -6 for j.
-2
Let o(f) = -24*f - 89. Let m be o(-4). Solve 2 = m*c - 26 for c.
4
Let b be (-14)/70 + (-1)/((-10)/(-18)). Let h = 1 - b. Solve 9 = 6*v - h*v for v.
3
Let l be 10 + 4 + -3 + -2. Let j = l - 8. Suppose -14 - j = -3*v. Solve 4*h = -h - v for h.
-1
Suppose 5*n - 4 = -9. Let b be 4 - (n/(-1) - 1). Solve 0*c = -b*c + 12 for c.
3
Let t be 1*544/40 + 4/10. Let k be (-4)/t + 69/21. Solve k*h = -h for h.
0
Suppose -l - 46 = -48. Suppose 0*j - 4*x - 20 = -l*j, -j - 5*x = 11. Solve -j = r - 0*r for r.
-4
Let h = -7 + 10. Suppose 4*g = -j + 5 + 18, 0 = -2*g + 2*j + 14. Let f be (-6)/(-9)*9/g. Solve h*s = 2*s + f for s.
1
Let f(h) = -19*h + 57. Let k be f(3). Solve k = 23*w - 20*w + 12 for w.
-4
Suppose 0 = 2*h + 4*o - 4, 0 = 4*h - 6*o + 4*o + 2. Suppose 3*x - 4*x + 8 = h. Let t = -7 + x. Solve -9 = 2*r - t for r.
-4
Let c = -364 - -366. Solve j = -c*j - 6 for j.
-2
Let h = -57 + 69. Let l be h/9*27/12. Solve -l*s = s for s.
0
Let z(n) = n**3 - 13*n**2 + 11*n + 12. Let p = -1 - -13. Let r be z(p). Suppose -4*d + r = -8. Solve d*v + 25 = -3*v for v.
-5
Let i = 63 - 112. Let y = i - -58. Solve -y = 2*u - 3 for u.
-3
Suppose -1 = -2*b - 3. Let w be (4/b)/(-1) + 3 + 0. Solve -2*r = 1 + w for r.
-4
Suppose 2*a + 5*f = -2*a - 7, 3*a + 2*f = 0. Let l be 0*a/(-8) + 2. Suppose 0 = -l*i + 8. Solve -k - i = -1 for k.
-3
Let p be 5/4*(-5 - -9). Suppose 10 = p*v - 10. Suppose -5*k - 2*g - 6 = -1, k + v = -g. Solve j + k = -4 for j.
-5
Let f(g) be the first derivative of g**4/4 + 5*g**3/3 - g**2/2 - 3*g - 7. Let q be f(-5). Solve q*a = 6*a - 16 for a.
4
Let c be ((-5)/3)/(20/(-120)). Solve -3*q + q + c = 0 for q.
5
Suppose -3*t = -6*w - 6, -2*w + 0 = -10. Solve 0 = 8*z - 5*z - t for z.
4
Let x(k) = 5*k**3 + 66*k**2 + 15*k + 30. Let s be x(-13). Solve -5*v - 27 = s*v for v.
-3
Suppose -2*z + 2 = 5*w, -2*z + 2 = 8*w - 4*w. Solve 8*y + 10 - 34 = w for y.
3
Let r be 22/(49/21 + (-1)/3). Solve 0 = r*s - 3*s + 8 for s.
-1
Let v = 83 + -81. Let a = 4 - -3. Suppose -a*h = -3*h - 20. Solve -h*x = -6*x + v for x.
2
Suppose -24 = -4*x + 5*q, -4*x + 3*q + 35 - 3 = 0. Let n = 152 + -143. Solve -4*p - n - x = 0 for p.
-5
Suppose -34 = 2*f - 4*w, -6*f - 4*w = -f + 99. Let r = f + 22. Suppose 7*v = r*v + 12. Solve -2 = -v*s + 4 for s.
2
Let q be (3/9)/(5*(-8)/(-240)). Solve 0 = -q*x + 3*x + 4 for x.
-4
Let a be (-114)/(-9) - 1 - (-2)/(-3). Suppose -m = -a - 2. Solve 0 = -2*h + m - 5 for h.
4
Let i(n) = -n**3 - 8*n**2 - 11*n - 23. Let d be i(-7). Solve -d = -3*o + 7 for o.
4
Let l(x) = -x**2 - 8*x + 3. Let h be l(-6). Solve z - 20 = -h for z.
5
Let g = -85 - -87. Suppose 3*c - g*w + 0*w + 2 = 0, -3*w + 12 = 0. Solve c*d + 2 = -0 for d.
-1
Let y = 3 - 4. Let m be (y/2)/((-7)/28). Let v be (-5)/m*(-9 + 7). Solve -v*p = -2*p for p.
0
Let m be (-14*3/3)/((-18)/(-81)). Let u = -57 - m. Solve s - u*s = 0 for s.
0
Suppose -2*x + 0*u = 5*u + 15, -2*x + 3*u = 55. Let f = x + 23. Solve -f*a = -a - 6 for a.
3
Let v be 15/3*(-1 + 3). Solve -4 = -2*u - v for u.
-3
Suppose -6*p = -5*p. Suppose -3*t + 0*t + 3 = p, 4*w = -t + 21. Suppose w*b - 6 + 1 = 0. Solve g + b = -0 for g.
-1
Let m = 19 - 24. Let w(s) = -s**2 - 2*s + 15. Let f be w(m). Solve f = -0*c + c + 2 for c.
-2
Let m = -307 - -313. Solve -m*g - 10 - 8 = 0 for g.
-3
Let a = 39 - 35. Suppose -3*c = 2*t - 33, c = a*t + 8 + 3. Solve -4*q + c = 3 for q.
2
Suppose 0 = -2*b + 15 - 1. Suppose 5*a - 2*t = 11, b*a - 7 = 4*a + t. Suppose -a*j - 3 = -9. Solve -2*y + j = -6 for y.
4
Let c(g) = g**3 + 8*g**2 - 19*g + 10. Let b(i) = -i - 25. Let m be b(-15). Let q be c(m). Suppose f = 4*w - w - 11, -4*w - 5*f = -2. Solve q = -k - 0 + w for k.
3
Suppose -37*v + 35*v + 6 = 0. Solve -5*t = -v*t + 2 for t.
-1
Let k be 12*(-5 - 160/(-30)). Let i = -10 + 20. Solve -k*o - i = -2 for o.
-2
Let u(d) = d**3 - d**2 + 4*d - 4. Let o be u(1). Let z be (o + 3)/(5 - (-36)/(-9)). Solve -z = -2*k - 7 for k.
-2
Let z be ((-52)/(-6))/(2/21). Suppose -2*o + 8 = -x - 35, 0 = 5*o + 3*x - z. Let j = -13 + o. Solve 0 = -2*a + j*a - 10 for a.
2
Suppose -2*d - 33 = -0*d + 3*m, -5*d + 3*m = 114. Let l(y) = -y**2 - 22*y - 17. Let o be l(d). Solve 0*c - o*c = -16 for c.
4
Let d(n) = -n + 17. Let b(h) = -18*h - 4. Let s be b(-1). Let m be d(s). Solve 0*g = 3*g - m for g.
1
Let c(f) = -3*f**3 + 6*f**2 - f + 7. Let d be c(3). Let s = d + 41. Solve 5*r - s = 2 for r.
4
Suppose -865*q - 2 = -866*q. Solve 3*c + q*c = 15 for c.
3
Suppose -5*t + 5 = -4*s - 12, -12 = 4*s - 4*t. Suppose 0 = -4*q + 2 + 2. Solve -r - q = s for r.
-3
Let v be (6 - 5)*0/(-1). Suppose v = -3*y - 2*w + 18, 2 + 13 = 5*w. Solve y*u + 3 = -1 for u.
-1
Let f = 102 + -98. Solve -f*k - 32 = 4*k for k.
-4
Let a(j) = j**3 + 7*j**2 - 10*j - 8. Let f be a(-8). Suppose -5*h = -h - f. Solve -g = -3 + h for g.
1
Let n(s) = -3*s**3 - 3*s**2 + 14*s + 36. Let i be n(-3). Solve -8*j - 16 = -i for j.
4
Let f(u) = -19*u + 31. Let j be f(5). Let c = 68 + j. Solve 0*w = 2*w + c for w.
-2
Suppose 0 = -4*q - 10 + 26. Suppose q = 3*x - 2*x. Suppose x*d = -d. Solve -2*y - 2 = -d for y.
-1
Let t(a) = 6 + 3*a + 6 - 7*a + 3*a. Let n be t(12). Suppose 3*u - 2*b = n, 4*b = -u - 0*b. Solve 3*l = -u + 6 for l.
2
Let z = 1420 + -1420. Solve z = a - 7*a for a.
0
Suppose 0 = q - 6*q + 40. Let a = q + -6. Let b(c) = -c**3 + 10*c**2 - 10*c + 10. Let r be b(9). Solve 3*x + a = -r for x.
-1
Suppose -13*c = -4*c - 4*c. Solve c*s - 3*s = 5*s for s.
0
Let c be ((-36)/30)/((-3)/10). Suppose -5*o = 3*n - 0*o + 9, -4*n - 4*o - c = 0. Solve -n = -5*y + 3 for y.
1
Suppose 3*t = 17 - 2. Suppose 0 = 2*n + 9*n + 4*n. Solve n = t*y - 15 + 5 for y.
2
Suppose 37*a + 145 = 66*a. Solve -2*q + 7*q - a = 0 for q.
1
Let n be -3 - (0/(-2))/4. Let z(k) = k**3 + 4*k**2 + k - 3. Let f be z(n). Solve f*g = 3 + 9 for g.
4
Let p(a) = 8 - a**3 + 0*a**2 + 3*a - 5*a + 3*a - 6*a**2. Let s be p(-6). Suppose 0 = 5*y + v - 53, -4*y - s*v = -2*y - 26. Solve 0 = -0*t + 2*t - y for t.
5
Suppose 0*k + 2*k - 14 = 0. Let r(d) = -d**3 + 6*d**2 + 8*d - 4. Let a be r(k). Suppose 0 = h - a - 0. Solve h*i + 2*i + 20 = 0 for i.
-4
Let r(f) = f - 9. Let u be r(11). Suppose 4*o - 