 + 2*k - 9. Let d(p) = p**2 - 14*p - 12. Let r be d(15). Suppose 0 = -f + 3*o + 4, 3*o + 16 = r*f + f. Solve k*c - 8 = f for c.
4
Suppose 6 = -2*n, 5*w + 2*n + 2*n - 68 = 0. Solve 2*l = -w + 24 for l.
4
Let d(a) = a**3 - 11*a**2 + 27*a + 6. Let o be d(4). Solve -8 = -2*t + o for t.
5
Let a(s) = -s**2 + 5*s + 52. Let z be a(10). Solve z*k = 19*k + 68 for k.
-4
Let q be (1*(-6)/(-6))/(2/4). Suppose -c = -2*m + 9, c - 3*m - q*m + 24 = 0. Solve -4*x + c = 9 for x.
-2
Let y be (4 - 5) + (-4)/1. Let c be 8/5 + (-2)/y. Suppose -3*b = -c*b - 3. Solve -b = 4*z - 7*z for z.
1
Suppose 63 = 14*m + 21. Solve -4*i = -8*i - m*i for i.
0
Let d = 2813 - 2817. Let n(v) = -3*v**2 + 3*v + 1. Let k(h) = 4*h**2 - 5*h - 2. Let r(q) = -5*k(q) - 7*n(q). Let l be r(d). Solve c = -6 + l for c.
-3
Let d = -20 - -20. Suppose -3*t - 5*g + 31 = 0, 2*g = -5*t - d*g + 20. Solve -2*z + z + t = 0 for z.
2
Suppose -5*m + 3 = z, 2*m - 5*z = -2*m + 14. Let u be m/5 + -3 + (-28)/(-10). Solve -i + u + 2 = 0 for i.
2
Suppose -14 = -5*q + 2*u, 2 = -3*q - 5*u - 2. Solve 0 = q*r + r + 12 for r.
-4
Suppose -4*g - 6 + 8 = -2*m, -m = g - 8. Solve -16 = m*h - 11 for h.
-1
Let h be -34*(-4 + 14/4)*5. Let p = h - 70. Solve -2*n - n = p for n.
-5
Suppose 10*h - 44 = 6*h. Suppose -h*d - 215 = -16*d. Suppose -d*o + 2 = -41*o. Solve -3 = w + o for w.
-4
Let g(c) = 5*c**2 - 19*c + 20. Let j be g(1). Let s = 3 + 0. Solve j*d = s*d for d.
0
Let m(f) = -9*f + 281. Let q be m(31). Suppose -2*x = k, 0 = 4*k - 0*x + 2*x. Suppose k = -o - o + 12. Solve -o*l = -q*l - 8 for l.
2
Suppose 2*g + 7*y = 4*y - 10, -2*g - 10 = -4*y. Let z = 10 + g. Solve t - z*t = -12 for t.
3
Suppose -15 = -27*f + 39. Solve -6*m + 16 = -f*m for m.
4
Suppose -209 = -49*b + 183. Solve -q + b*q + 21 = 0 for q.
-3
Let u be 1 - 0 - (-11)/(77/35). Suppose -4 = u*c - 22. Solve c*d + 5 + 7 = 0 for d.
-4
Let o(h) = 2*h**3 - 3*h**2 + h - 2. Suppose 4*p = 5 - 1. Let r be p - (0 + 0 + -1). Let a be o(r). Solve 5*z - a*z = 0 for z.
0
Let l = -4 - -46. Suppose -5*d - l = 28. Let u be (4/d)/((-4)/56). Solve 0 = -4*h - 0*h - u for h.
-1
Suppose 4 = 2*w, -4*w = 4*s - 3*s - 44. Let d be (s/8*-2)/(-1). Solve 0 = 3*p + d + 3 for p.
-4
Let j(l) = 7*l + 89. Let h be j(-12). Solve -h*k + 12 = -3 for k.
3
Let l be ((-14)/(-56))/((-2)/(-136)). Suppose -3*g - 5 = -l. Solve 0*n = -g*n for n.
0
Let u be 0 + ((-105)/(-7) - -5). Suppose -2*h = -3*b - h, b = 5*h. Suppose b = q - 3. Solve q*f = -2*f - u for f.
-4
Let a(k) be the first derivative of -k**4/2 - k**3/3 - 3*k**2/2 - 2*k + 3. Let s be a(-1). Solve 2*m - 6 = s for m.
4
Let q(h) = -h**3 + 3*h**2 - h - 2. Let f be q(2). Let a(k) = k**3 - k + 5. Let s be a(f). Solve 4*z - s = 3 for z.
2
Let r(s) = -s**3 - 13*s**2 - 11*s + 13. Let x be r(-12). Let o(u) = u**3 - 5*u**2 + 3*u - 11. Let z be o(5). Solve -z*c = x + 15 for c.
-4
Let b(i) = i**3 + i**2 - i + 1. Let k(v) = -2*v**3 - 12*v**2 + 12*v - 15. Let m(o) = -3*b(o) - k(o). Let w be m(8). Solve 0 = -2*r - 0 - w for r.
-2
Suppose 6*x - 41 + 5 = 0. Let j = x + -8. Let y be ((-1)/j - 2)*-2. Solve 3 - 15 = y*q for q.
-4
Let a = 15 - 11. Suppose 2*z + 4*n + a - 26 = 0, z - 5*n - 11 = 0. Let f = z - 10. Solve b + 0*b = -f for b.
-1
Let s(j) = j**2 - 14*j + 24. Let r be s(2). Solve 0 = -r*t - t - 2 for t.
-2
Let d(o) = 5*o**3 - 9*o**2 + 3*o - 4. Let x(f) = -4*f**3 + 8*f**2 - 4*f + 4. Let w(j) = 3*d(j) + 4*x(j). Let a be w(2). Solve a*k = 6*k - 16 for k.
4
Let p be -1*2*(9 + -4). Let x = p - -14. Let c(j) = 2*j - 1. Let u be c(1). Solve 13 = x*v + u for v.
3
Suppose 0*a + 10 = 2*a. Suppose 0 = a*k - 12 - 8. Let n = k - 4. Solve 3*u + 0*u + 12 = n for u.
-4
Let k(v) = -v**2 - 8*v - 7. Let p be k(-7). Solve 3*h - 9 - 6 = p for h.
5
Let r(o) = 2*o**2 + o - 20. Let v be r(0). Let i be (v/8 + 3)*14. Solve -5*j - 2 = -i for j.
1
Let s be 756/(-168)*(-4)/3. Solve 2 - 8 = -s*u for u.
1
Let c = 274 + -271. Solve 0 = -c*b - 7 + 13 for b.
2
Let b = -1 - 3. Let l(a) = a**3 + 4*a**2 + 2. Let u be l(b). Suppose -3*c = 4*d - 8, u*c = -2*c + d - 2. Solve g - 4 + 5 = c for g.
-1
Suppose 409*c - 385*c - 240 = 0. Solve -c*b = -25*b - 60 for b.
-4
Let v(c) = c**2 - 7*c + 8. Let a = -105 - -111. Let m be v(a). Suppose 2*h + 0 - 3 = -r, 2*r = -5*h + 9. Solve 20 = h*g + m*g for g.
4
Let q(n) = -n**2 - 13*n - 33. Let x be q(-8). Let y be 29/7 + 5 + (-36)/x. Solve -11 = y*j + 5 for j.
-4
Suppose -10 = -2*d + 14. Suppose 0 = -r + 5*j + d, -3*j = -4*r + 5*r + 4. Solve 5*v - 7 = -r for v.
1
Suppose 0 = -c + 8. Let j be (-6)/(-12) + 18/4. Suppose c = j*z - z. Solve -o - o = -z for o.
1
Let l(k) = k**3 + 4*k**2 + 0 - 36*k + 32*k + 8. Let p = -1 - 4. Let t be l(p). Solve -f = t*f for f.
0
Suppose 89 - 83 = 3*x. Let u(o) = o**2 - 28*o + 132. Let z be u(6). Solve z*f - x*f = 2 for f.
-1
Let n be (-20 + 5)*(2 + 3). Let m be (n/20 - -3) + (-31)/(-4). Solve -20 = -2*b + m*b for b.
-4
Suppose -3*z = 4*b - 31, 3*b - 3 - 9 = 0. Suppose z*g - 37 = -4*d, 7*g - 8*g + 2 = -d. Solve -4*a - d = -7 for a.
1
Suppose -g - 53 = -0*c - 5*c, 5*g = 2*c - 35. Suppose 4*q - 6 = c. Solve p - 12 = q*p for p.
-4
Let g be 1 + 1/1 + 0. Let t be 2 + (0 - 3) + 3. Suppose 32 - t = 5*p. Solve g*z - 14 = -p for z.
4
Let j = 232 - 210. Solve -12*v - j = -v for v.
-2
Let n(r) be the first derivative of 9*r**2/2 + 45*r - 41. Let p be n(-4). Solve 3*a - 6 = p for a.
5
Suppose -2*l = -3*n, 6*l - 23 = l - 4*n. Suppose m + 0*m = 0. Solve 15 = -l*f - m*f for f.
-5
Let z be 4/12 - (-5)/(-15). Suppose -2*f + 10 = -z*f. Let b(n) = -n**3 - 5*n**2 - n - 5. Let g be b(-5). Solve h + g = f for h.
5
Let m be (-792)/(-45) - (-3)/((-15)/(-2)). Suppose 6 = -6*h + m. Solve 2*p = -h*p for p.
0
Let p = -433 - -448. Solve q + p = 13 for q.
-2
Suppose 2*m - 4*j = 36, 3*m - 2*j - 49 = 3*j. Suppose -2*y + y - 4*n = 15, -y + 10 = -n. Suppose -y*x = -x - m. Solve x*r + 2 = 3*r for r.
2
Let k = 158 + -157. Solve 4*d + k = -19 for d.
-5
Suppose d + 201 - 204 = 0. Suppose 5*k + 10 = 2*l - 6, 3*l = d*k + 15. Suppose -2*u + 3 + 7 = q, -3*u + 16 = 2*q. Solve -q*c + l = 1 for c.
1
Let i be 0/(-1)*4/(-4). Solve i = 3*a - 6 - 0 for a.
2
Let o(c) = 8*c**2 + 4*c - 6. Let i be o(-3). Suppose -i*g = -49*g - 10. Solve -g*z = z for z.
0
Let x = -36 - -41. Suppose x*r - 4*f = -7, -4 = 2*r - f - 3. Solve -r - 1 = 2*u for u.
-1
Suppose 0 = -4*v + 4*o + 20, v + 3*o = -3*v + 41. Let k be (-11)/(-3) - 26/(-78). Suppose 2*g + 11 = 3*j - v, g = k*j - 17. Solve 9 + 0 = -j*h for h.
-3
Let v = 332 - 332. Solve 0*g + 4*g + 8 = v for g.
-2
Let b = 5 - 5. Suppose b = 9*p - 10*p. Let q(d) = -d**2 + d + 10. Let o be q(p). Solve 6*t = t - o for t.
-2
Suppose 1 - 71 = -7*p. Solve 0 = -19*k + p*k - 45 for k.
-5
Let w(s) = -s**3 - 2*s**2 + 2*s. Let y be w(-3). Let h be 6/(-9)*9/6. Let u be 0/((h + -1)*1). Solve y*f + 6 = -u for f.
-2
Let f = 4 - 4. Suppose -55 = -5*q + 2*g - 3*g, -2*q + g = -29. Solve -q = 3*r - f*r for r.
-4
Let l(d) = d**2 - 6*d + 9. Let h = -87 - -92. Let p be l(h). Solve f - 3 = p*f for f.
-1
Suppose -259 + 291 = 4*a. Solve 0 = a*d - 11 - 13 for d.
3
Suppose 2*y - 6*y = 8. Suppose r - 5 = 3. Let k be (-1)/(y/r*2). Solve -k*u = -4*u + 2 for u.
1
Suppose 0 = 47*k - 53 - 1028. Solve 0*g + k*g + 92 = 0 for g.
-4
Suppose -4*i + 2*w = -16 - 6, -2*i - w + 21 = 0. Suppose 0 = i*z - 3*z - 25, u + 3*z = 19. Solve u*n - 9 = -29 for n.
-5
Let i = 267 + -249. Solve 0 = 9*j + i for j.
-2
Let q be (-7)/28*(3 - (-21)/(-3)). Suppose 0 = u - 3. Solve -5 = u*m + q for m.
-2
Suppose 62*b - 42 = 56*b. Solve -6*t = -b*t for t.
0
Suppose 3*q - 5*l - 34 = 0, 5*l + 13 + 12 = 0. Let c = 385 + -365. Solve q*z - c = -z for z.
5
Suppose -9 = -3*a - 2*k - 4, 0 = 4*a + 4*k. Solve a*v + 34 = 49 for v.
3
Let m(y) = y + 9. Let p be m(-5). Suppose -8*s = -12*s - 56. Let g = -10 - s. Solve -p*a = 8 + g for a.
-3
Suppose -3 + 15 = 4*r. Suppose 0 = 3*d - 6*d + r*a, 0 = 2*a - 6. Solve 0 = -5*m + d*m - 10 for m.
-5
Let h be 18/(-27)*12*(2 + -3). Solve -3*p + 5*p - h = 0 for p.
4
Let n(d) = -d**2 + 7*d - 8. Let j be n(6). Let s be (8/(-4))/(1/j). Solve s = 7*l - 9*l for l.
-2
Suppose 2*z + 9 = 25. Let t be (z/(-3))/(8/(-72)). Suppose 10*g - t = 6*g. Solve -g + 4 = -m for m.
2
Suppose 7*r = 3*r + 40. Suppose -20 = b + 2*t + 2*t, -b = 2*t + r. Suppose 5*o - 14 - 1 = b. Solve -2*y = o*y + 5 for y.
-1
Let 