. Let o = -15 + f. Let i be (12/o)/(-2 - -1). Solve 3 - i = c for c.
-3
Let b be (0 + 0)*(-2 - (-28)/12). Solve 5*o + b*o = 25 for o.
5
Let n(y) = 4*y**2 - 44*y + 4. Let u be n(11). Solve u = j + j for j.
2
Let n(d) = -d**3 - 11*d**2 + 12*d + 7. Let a be n(-12). Let w = a - 3. Suppose 0 = -3*r + w - 1. Solve 3*o - 11 = r for o.
4
Let x(c) = c**3 - 12*c**2 + 17*c - 57. Let d be x(11). Solve d*s - 11*s + 2 = 0 for s.
1
Let x be (-11 + (-588)/(-60))/((-3)/40). Solve 3*u + x = 10 for u.
-2
Let w be (1 - 3)/2 + 3. Suppose 7*n - w*n = -0*n. Solve 0*p - 3*p - 12 = n for p.
-4
Let d(r) = 5*r + 53. Let b be d(-9). Solve -12 = 4*h + b for h.
-5
Let k = 1 + -3. Let t be -1 + k - (2 + -6). Solve -2*w - 1 - t = 0 for w.
-1
Let z(o) = 2*o - 5. Let k be z(5). Let m be (4/(-12))/(k/(-45)). Solve 4 = -y - m*y for y.
-1
Let y be 1188/52 - 2/(-13). Suppose -5*z + y = -4*w, -3*z + w = -3*w - 9. Let a = -4 + z. Solve 3*j = -a - 12 for j.
-5
Suppose -8*k + 1098 = 10*k. Let m = 81 - k. Solve 0 = 6*a - 11*a + m for a.
4
Let k(n) = -4*n - 3. Let c be k(-2). Let r be 0/(-3 + -1 + c). Solve -w + r*w = -1 for w.
1
Suppose -2*k = 2, -5*j + 22 = k - 3*k. Solve z + 0 = -j for z.
-4
Suppose r + 24 = 7*r. Suppose -r*w - 4 = -5*w. Solve 3*j + w = -8 for j.
-4
Suppose -6*g + 10 + 2 = 0. Let a be (g/(-4))/((-10)/120). Solve b - 2 = -a for b.
-4
Suppose -d - 5*i - 13 = 0, 10*i - 8*i + 16 = 5*d. Solve -d*r = 33 - 31 for r.
-1
Let u(j) = -j + 14. Let m be (2 - 4/14)/((-1)/(-7)). Let s be u(m). Solve 2*w - 8 = -s for w.
3
Let k(g) = 3*g**2 - 3*g + 2. Let z(t) = 4*t - 23. Let j be z(6). Let y be k(j). Solve 0 = -0*p - y*p - 8 for p.
-4
Let b be (0/(-8))/(2/(-2)). Solve b = -l - 23 + 27 for l.
4
Let m(r) = -r**3 + 17*r**2 + 17*r + 18. Let q be m(18). Suppose -18*c + 15*c + 6 = q. Solve -i = -c*i + 2 for i.
2
Let r(h) = h**2 - 18*h - 38. Let n be r(23). Let c = -74 + n. Solve -c*x = -x - 8 for x.
4
Let r = 18 + -6. Suppose -r*s = -9*s - 27. Solve -2*p - s = p for p.
-3
Suppose -15*w + 460 = 8*w. Solve -w*n + 89 = 9 for n.
4
Let w be 5/(15/2)*(-297)/(-66). Solve -3 - 6 = w*q for q.
-3
Let q = -21 + 36. Suppose 3*x - 3 = -d, q = -d + 6*d + x. Let a be (d/(-4)*-4)/3. Solve -v - a = -4 for v.
3
Suppose 8*v + 17*v - 150 = 0. Solve -v = 17*u - 14*u for u.
-2
Let t(r) = r**2 - 2*r - 9. Let b be t(5). Solve -2*l + 4 = b for l.
-1
Let v(g) = -4*g**2 - 30*g - 12. Let s be v(-7). Solve s*x - 29 + 19 = 0 for x.
5
Let c(t) be the first derivative of -t**4/4 + t**3 - t**2/2 - 5. Let r be c(2). Suppose r*p = 3*l - 70, -17 + 67 = 2*l - 2*p. Solve k = -4*k - l for k.
-4
Suppose -5*j = i + 4, 3*i - 2*j = 3*j - 12. Let d be 2 - (2 + i - -2). Suppose x + d*x - 9 = 0. Solve -3*z - x = -2*z for z.
-3
Let s(g) = -g**2 + 2*g + 2. Let j be s(1). Solve -5 = q - j for q.
-2
Suppose 2*m = -k - 4, -2*m - m + 8 = -2*k. Let u = -2 - -5. Solve m = u*o - 2*o for o.
0
Let u = 2 + -6. Let a(j) = 42 - 43 + 2*j - 3*j. Let i be a(u). Solve 0*m + 15 = i*m for m.
5
Let c = 30 + 6. Let j = -54 + c. Let k = 18 + j. Solve k - 8 = -4*x for x.
2
Let b(k) = -k**3 + 15 + 8 - 4*k**2 - 21 - 18*k**2. Let a be b(-22). Solve -2*g = -a - 0 for g.
1
Let c(z) = -z + 37. Let d be c(34). Suppose -3*v = -v - 16. Suppose -v*k - 5*x = -d*k - 40, 3*k + 11 = 4*x. Solve 0 = -p - k*p + 12 for p.
3
Let i(s) be the first derivative of -19*s**2/2 + 2*s - 3. Let k be i(-1). Let l(u) = u**3 + 7*u**2 + 6*u + 4. Let t be l(-6). Solve 5*z + k = -t for z.
-5
Suppose -12 = 18*z - 13*z - 3*l, 4*l = -3*z + 16. Solve z = 3*v - v - 6 for v.
3
Suppose j = -10 + 22. Suppose -5*k + j = k. Solve k*n + n = 15 for n.
5
Let p be (432/(-81))/(2/(-3)). Solve -q + p = 3 for q.
5
Let l = -3 + 5. Let p(s) be the second derivative of -s**5/20 - s**4/12 - s**3/6 + 2*s. Let t be p(0). Solve t = j + l*j - 6 for j.
2
Let c be (-3)/(-5) + -22*14/(-20). Solve 0 = 2*d - c + 6 for d.
5
Let z(k) = k + 12. Let w be z(-10). Suppose -5*y + n = 1930, y - 1145 = 4*y + w*n. Let f be 2/(-15) + y/(-75). Solve 0 = -f*b + 3*b - 10 for b.
-5
Suppose 17 = 3*q + l, 16 = -0*q + 4*q + 3*l. Solve 0 = -11*u + q*u - 8 for u.
-2
Let v(y) = -2*y**2 + 17*y + 107. Let n be v(12). Solve 0 = b - 19 + n for b.
-4
Let z be (4 + -4)/(4 - 3). Let v(n) = n**2 + 3. Let r be v(z). Solve 2*w + w + r = 0 for w.
-1
Let s(z) = z**3 - 12*z**2 - 49*z + 80. Let i be s(15). Solve 399*c - i = 404*c for c.
-4
Suppose -4*s - 170 + 38 = 0. Let j = s + 36. Solve a - 4*a = -j for a.
1
Let j(i) = -i**3 - 12*i**2 + 11*i - 22. Let f be j(-13). Solve 0*q - f*q + 8 = 0 for q.
2
Suppose -37 = -4*v - 5. Suppose 95 = 2*y - 7*y. Let d = -16 - y. Solve v = -a - d*a for a.
-2
Suppose 3*w - 3 - 6 = 0. Suppose -3*m = -2*m - w. Suppose m*c + 2 = 5*q - 4, -24 = -5*c - 3*q. Solve -d + 0 = -c for d.
3
Suppose -6 - 24 = -4*r - 5*y, 3*r = -5*y + 20. Suppose 2*d = 4*d + r. Let p be (d - -2)*2/(-3). Solve p*c - 6 = -0*c for c.
3
Let b = 4 + 23. Suppose b = d - z, 0 = -0*d - d + 2*z + 27. Solve 5*j + 2 = d for j.
5
Let u = -45 - -14. Let n = u + 31. Solve 4*d + 4 + n = 0 for d.
-1
Suppose 5*r - 272 + 221 = -4*z, 0 = 2*r - 2*z - 24. Solve -17 = 7*l + r for l.
-4
Let r(j) = -15*j**2 - 2 + 5 + 7 + 7*j + 20*j**2. Let u be r(-2). Solve 0 = 3*d + d + u for d.
-4
Suppose 18*s + 20 = 22*s. Let z = -88 - -63. Let x be (-18)/(-10) - s/z. Solve -r = x*r + 15 for r.
-5
Suppose -29 = 12*i - 113. Suppose 5*v = 4*f + 7, -v + 4*f - i + 2 = 0. Solve -5*b + v = -6*b for b.
-3
Let c be 2/(-8)*-2*-1*-6. Let a = -9 - -6. Let i = a - -5. Solve i = -n - c for n.
-5
Let c = 45 - 33. Solve -c - 2 = 14*r for r.
-1
Let f(k) = k**3 + 5*k**2 + 2. Let r be f(-5). Suppose -2*x - 8 = 3*l - 4*l, r*x + 44 = 4*l. Let b be (-50)/(-30) - 2/(-6). Solve 2*p = -b*p - l for p.
-3
Let d(o) = -o + 4. Suppose 3*j = -0*j + 6. Let n be d(j). Suppose -3*b = -10 + 1. Solve 20 = b*m + n*m for m.
4
Let c = -11 + 7. Let o be 5/((-60)/(-9))*(13 - 5). Let q = o + c. Solve 14 = q*h + 6 for h.
4
Let j(b) = b**2 + b - 10. Let z be j(-5). Let n be (0/3)/((-2)/2). Suppose z*a - 3*a = n. Solve v = -a*v for v.
0
Suppose -5*z = -4*z - 3. Let r be 2/(-9) - 2914/(-558). Solve z*s - r*s + 10 = 0 for s.
5
Suppose -5*y = 0, -9*u + 13*u - y = 12. Solve -u*x + 13 = 7 for x.
2
Suppose -467 + 413 = -6*k. Solve 47 = -k*b + 2 for b.
-5
Let j be 8/14 - 2976/(-672). Solve -7 = 2*g + j*g for g.
-1
Let y = 1899 - 1819. Solve -4*d - 12*d - y = 0 for d.
-5
Let x = -113 + 116. Suppose x*q + 60 = 8*q. Solve -4*k - 8 - q = 0 for k.
-5
Let m = 827 - 821. Solve 6*l = -18 + m for l.
-2
Let k(t) = -t**3 - 18*t**2 - 3*t - 54. Let c be k(-18). Solve -a + c = 3 for a.
-3
Suppose 0 = -4*s + 2*q - 30, 4*s + s = -3*q - 65. Let y = -7 - s. Let f be (2 + y/(-2))*0. Solve 4*h + 0 + 4 = f for h.
-1
Let t(y) = -y + 1. Let h = 2 - -22. Let a be h/(-8) - 2/2. Let x be t(a). Solve -3*p + x = 2*p for p.
1
Suppose 0 = -55*r + 51*r. Solve r = 2*x + 3*x - 5 for x.
1
Let o = -10 + 27. Let l = o - 7. Solve 3*b = b + l for b.
5
Let g(f) = 2*f**2 - 4*f + 3. Let k be g(2). Suppose k = 2*l - a, -4*l + 7*a + 3 = 2*a. Solve -8 = -3*j - l for j.
2
Let b = 1335 + -1319. Solve b*i + 0*i = -80 for i.
-5
Let q(d) = d**2 - 13*d + 6. Suppose -5*a + 2 = -4*a. Suppose -5*w + 62 = -j, a*w - 4*w = -j - 23. Let h be q(w). Solve 3*c = c + h for c.
3
Let w = 37 + -33. Suppose w*z - 28 = -3*z. Solve 2*g - 3*g = -z for g.
4
Let a be (30/(-25))/(8/20) - -23. Solve 6*w + a = -4*w for w.
-2
Let v(c) = c**3 - 17*c**2 - c + 18. Let k be v(17). Let f be k/2*-2 - -3. Solve -f*i + 0*i = 4 for i.
-2
Let a be (6 - 5)/(2/8). Suppose 5*r + 3*n = 4*n + 25, 5*r = -4*n + 50. Let v be (r/(-4))/(-3)*0. Solve 4*w - 6*w - a = v for w.
-2
Let r = -56 - -56. Let o(q) = 4*q + 2. Let u be o(r). Solve 0 = -u*y - 10 + 2 for y.
-4
Suppose 15 = 8*g - 3*g. Let f be 1*(-2 - 1)*-1. Suppose 0 = -5*i + 3*j - f, g*j - 3 = -5*i - 0*j. Solve -h + 2 + 1 = i for h.
3
Suppose -3*u = -5*z + 13, 2*u = -z - 2*u - 2. Suppose 5*w = 3*b + 5, z*b = 4*w - 6*w + 2. Solve b = 2*k + k for k.
0
Let f = -7 - -12. Suppose 2*t + 10 = 4*x - 6, -3*x - 14 = f*t. Solve 0*b = -x*b - 2 for b.
-1
Let w(h) = h**3 + 19*h**2 + 61*h + 23. Let l be w(-15). Solve -3*q + l + 7 = 0 for q.
5
Suppose -u = -g - 3*u - 2, -4*g = -5*u - 44. Suppose 3*m = g*m - 36. Solve -2*y - m = 2*y for y.
-3
Suppose 0 = 4*r + 44 - 60. Let q(c) = -c**2 + c