) = -m**3 + 5*m**2 - m - 8. Let s be i(2). Let y be 0 - (2 + -2*1). Solve y = -4*x + 6 - s for x.
1
Let n = 2 - 12. Let x be n/12*(-2 + -4). Solve -x*v = -7*v for v.
0
Let p = 134 - 71. Suppose -2*u + p = 13. Let l(c) = -c**2 + 13*c - 6. Let j be l(12). Solve -j*q = -q - u for q.
5
Let t = -13 - -18. Solve t*q = -14 - 1 for q.
-3
Let w(n) = 6*n + 228. Let t be w(-38). Solve 3*s + 2*s + 25 = t for s.
-5
Let o = 452 + -447. Let i = 1 - -1. Suppose 3*k + w = 17 + 32, 5*k - 78 = i*w. Solve j - k = o*j for j.
-4
Suppose 7*l = -132 + 489. Solve l*p - 45*p = 12 for p.
2
Suppose 17 = 5*t - 3. Suppose -5*y - 4*p + 55 = 0, 3*y = t*p - 2 + 3. Solve -y*u + 2*u - 20 = 0 for u.
-4
Let m be (2 + 0)/(3 + 28/(-12)). Let f(j) = 2*j - 4. Let d be f(m). Solve d*c = c + 4 for c.
4
Suppose w + 4 = 3*w - 4*i, 17 = 4*w - 5*i. Let j be 2 - ((-15)/(-10))/(6/w). Solve n - 2 = -j for n.
2
Let y(a) = -a + 8. Let n be ((-5)/(-10))/(2/4). Let j be (3 + n)/4 - 1. Let g be y(j). Solve g*m = 3*m for m.
0
Let m = -2 + 2. Let d(p) = 25 - 3*p + 4*p - 12. Let i be d(-10). Solve m*v = i*v - 9 for v.
3
Suppose 7*k - 85 + 29 = 0. Solve -m - k = 3*m for m.
-2
Let j(v) = -v**2 + 8*v + 10. Let w be j(10). Let m be (12/w)/((-10)/25). Let g(c) = 3*c**2 + 16*c - 12. Let u be g(-6). Solve -m*s + 0*s = u for s.
0
Suppose 3*k + 79 = -2*v, -v - 5*k - 16 - 27 = 0. Let p be v/(-14) + (-16)/(-56). Let n(g) = g**2 + 2*g + 3. Let d be n(-5). Solve p*x = -3 + d for x.
5
Let m = 519 - 491. Solve 12*c = 5*c - m for c.
-4
Let j = 1 - -3. Suppose -2*s - c + 10 = -6*c, -j*c - 25 = -5*s. Suppose 11 = s*m + 1. Solve 0 = -3*b - 10 - m for b.
-4
Suppose -5*p = 2*n - 41, 0 = n - 3*n + p + 11. Suppose 2*q = 2*z - 14, z = -3*q + q - n. Suppose -z*o - 3*o + 2*u = -6, 3*o = -u + 8. Solve -3 = o*t + t for t.
-1
Let s be 164/32 + (-1)/8. Suppose 0 = -2*z - s*m - 2, 5*m + 23 = z - 6. Let q = z - 7. Solve 2 + 2 = q*c for c.
2
Let t = -9 + 12. Suppose 7*i + 3*j + 3 = t*i, -5*i = -j - 1. Suppose i = -4*c + 6 + 10. Solve -o + c*o = 9 for o.
3
Let i(b) = b**3 - 3*b**2 - 3*b - 4. Let j be i(4). Let g = 1 - j. Suppose z + g = 5. Solve 3*t - z = t for t.
2
Suppose 0*s - 4*s - 12 = 0, -23 = -b + 5*s. Solve 0 = 6*l - b*l for l.
0
Suppose -25*z = -23*z. Solve z = -3*w - 10 - 5 for w.
-5
Suppose -5 = 5*w, -2*j - j + 252 = 3*w. Suppose 5*m + l - j = 0, 0 = 3*m + l + l - 44. Let g = -6 + m. Solve -3*k - g = k for k.
-3
Let a(l) = -l + 3. Let z be a(1). Suppose m + z*f + 44 = 3*m, -m - 3*f = -22. Suppose 40 = -s + 5*s. Solve s - m = 3*y for y.
-4
Let y(m) = -m. Let v be y(-5). Suppose -10*j = -v*j. Solve -5*w + w = j for w.
0
Suppose 0 = -12*w + 8*w + 8. Suppose w*z - 4*z = 0. Solve 4*d - 3 - 17 = z for d.
5
Suppose 174 = 2*o - 5*m, 3*o - 260 = -4*m + 47. Let h = 100 - o. Solve u + 10 = h*u for u.
5
Suppose 9 = 3*p - j - 0, -5*p = -j - 13. Let r(c) = c**3 + 6*c**2 - 4*c + 5. Let a be r(-7). Let i = -12 - a. Solve p*n = i*n for n.
0
Suppose 0 = 1237*k - 1231*k - 78. Solve -9 = -4*p + k*p for p.
-1
Suppose -6*z = -6 - 6. Suppose -q - z*q + 3 = 0. Solve 24 + q = -5*f for f.
-5
Let k(q) = 16*q + 9*q - 24*q + 16. Let s be k(-13). Solve -x + 12 = s*x for x.
3
Let x(y) = y**2 - 7*y + 2. Let a be x(7). Let i be (a/6)/(1/12). Let l = -48 - -69. Solve 5*o - l = i for o.
5
Suppose 4*i - 2*i = 4. Suppose 0 = -i*s - 2, 0*w - 2*s = w - 1. Solve -w = -0*d + 3*d for d.
-1
Let h be ((-8)/(-3))/(-6 + 64/12). Let c(v) = v**3 + 4*v**2 - 2*v - 5. Let g be c(h). Solve -20 = -r - g*r for r.
5
Suppose 4*v = 10 + 30. Solve p - 6 = -v for p.
-4
Let r(c) = -3*c**3 - 2*c**2 - 2*c. Let a be r(-1). Solve -a = 3*y + 9 for y.
-4
Suppose -4 = -2*k - 3*n, 3*k + 4 = -n + 10. Solve -k*c = -13 + 11 for c.
1
Let m = -43 + 63. Let x(h) be the second derivative of h**3/3 + 6*h**2 + h. Let o be x(-3). Solve o*s + m = s for s.
-4
Let h(a) = 9*a - 27. Let b be h(13). Let s be ((-1)/3)/((-6)/b). Solve 0 = 2*f - 1 - s for f.
3
Let a = -10 - -10. Suppose -4*t - t = a. Suppose 3*w - w - 12 = t. Solve 4*c + w = 2*c for c.
-3
Let k(q) = 3*q**2 - 18*q + 4. Suppose -4*z + 5*z = 6. Let h be k(z). Solve 7 = h*a - 1 for a.
2
Suppose -27*m = -1071 + 72. Solve -45*p - 16 = -m*p for p.
-2
Let n = -361 + 361. Solve n = 9*w - 5*w - 20 for w.
5
Let t be 4/14 - 24/(-14). Solve -t*b = 3*b - 25 for b.
5
Let f = 63 + -61. Suppose -5*b = -0*b - 30. Let v = -6 + b. Solve g = -v - f for g.
-2
Suppose 4*j - 65 + 21 = 0. Suppose 4 + j = 5*n. Suppose 9*o = 4*o + 35. Solve o*s + 16 = n*s for s.
-4
Let s = 5 + 1. Let y be -5 + s + -1 + 0. Solve -4*d - d - 25 = y for d.
-5
Let q(r) = -r**3 - 11*r**2 + 13*r + 3. Let i be q(-12). Let n be ((-4)/(-2) - 6)*(-13 - i). Solve 2*x = -2*x - n for x.
-4
Suppose 0 = -2*q - 2*g + 14, 17 = 3*q - 3*g - 4. Suppose -2*u + m + q = -0, 0 = 2*u - 3*m - 9. Solve 0 = n - u*n + 2 for n.
1
Let r(y) = y**2 + 7*y + 8. Let m be r(-6). Suppose -2*q + m*l = -16, 0 = 2*q + 6*l - 2*l + 8. Suppose -q*i = -i - 9. Solve 0 = -a - i*a - 4 for a.
-1
Let u = 11 + -8. Suppose -3 = p + 3*g - 2*g, 5*p + 9 = -u*g. Solve p*o = 3*o for o.
0
Let v = -193 + 116. Let i = 78 + v. Solve h - 3 = -i for h.
2
Suppose 4*u + 43 = -4*v - 25, -v = -u - 23. Let z = u + 28. Let q be 9 - 2 - z/2. Solve -4*m = 5 + q for m.
-2
Let t = -15 - 5. Suppose -4*p = -5*x + 81, -p - 2*x + 3*x = 19. Let c = p - t. Solve 0 = 5*b - 19 - c for b.
5
Let j(n) = n**2 - 9*n + 10. Let o = 5 + -3. Suppose t + o*i = 16, 4*t + 0*t = -3*i + 44. Let y be j(t). Solve a = -y*a - 9 for a.
-3
Let p = 17 - 25. Let j be (27/18)/(2*(-2)/p). Solve 0 = r + j for r.
-3
Let b(c) = c**2 + 5*c + 4. Suppose -5*n = -4*k + 17, n - 2*k = 2*k + 3. Let i be b(n). Solve i = 4*o - 3*o for o.
4
Let u be (3 - 7 - 4)/(-2). Solve j = -0*j - u for j.
-4
Suppose 2*l - 453 = -445. Solve 8*i = 4*i + l for i.
1
Let i be (-28)/24*(-5 + -1). Let q be ((-4)/2)/(-5 + i). Let m be ((-1)/(3/3))/q. Solve -3*j - m = -2*j for j.
-1
Suppose 4*s + 190 = -s. Let y = -34 - s. Solve q + q = -y for q.
-2
Let r(h) = -h**3 - 12*h**2 + 2*h + 14. Let s(j) = -j**2 + j + 1. Let q(k) = r(k) - s(k). Let u = -1313 - -1302. Let g be q(u). Solve -2*w + 0 + g = 0 for w.
1
Let f be (-24)/(-20)*(-15)/(-2). Suppose -f*v + 4*v + 80 = 0. Let m be (-3)/(-1 - -4)*-5. Solve 0 = m*z + 1 - v for z.
3
Suppose 3*g - 273 = -3*n, 0 = 8*g - 12*g + 2*n + 358. Solve -g*b - 6 = -88*b for b.
-3
Let r(z) = -z**3 - 9*z**2 + 26*z + 11. Let o be r(-11). Let n = o - -36. Solve n*c + 7 = -5 for c.
-4
Suppose 9*q = -17*q + 416. Solve 6*s + q = 2*s for s.
-4
Let f be (39*6/18)/(1 - 0). Suppose -p - 3 = -o + 6, -p - f = -2*o. Solve -o*s = -2*s - 2 for s.
1
Let q = -58 - -57. Let z = 3 + q. Solve -5*c + 18 + z = 0 for c.
4
Let x(y) = 51*y - 212. Let d be x(5). Solve -44*w + 3 = -d*w for w.
3
Let j = 227 + -121. Let r be j/10 - (14/5)/(-7). Let c(y) = y**2 - 3*y - 7. Let o be c(5). Solve -o*h + 1 = -r for h.
4
Let l = 4 + 1. Suppose l*q = 203 - 43. Let k be (-32)/(-6)*72/q. Solve -3 = 3*m + k for m.
-5
Suppose 3*v + 236 + 18 = 5*b, 0 = 3*v + 9. Solve -1 = b*o - 48*o for o.
-1
Suppose 3*n = -2*a + 32, -n + 4*n - 16 = 2*a. Let v(o) be the first derivative of o**3/3 + 2*o**2 + o - 10. Let y be v(4). Solve 0 = -5*w + n - y for w.
-5
Let s be 1/2 + 66/12. Suppose 30 = s*i - i. Let v(x) = x**2 - x + 4. Let w be v(3). Solve -i*g = -g + w for g.
-2
Let v = 115 + -111. Suppose -n = 5*m - 129, -67 = -3*m + 2*n - 0*n. Suppose 3*f - 15 = 4*z - z, -m = 3*z - 5*f. Solve z*k + k = v for k.
4
Suppose 7*n = n + 78. Solve -n*r + 10 = -11*r for r.
5
Suppose -44 = 6*o - 14. Let l be (o + 1)/((-1)/2). Solve 0*j + 4*j + l = 0 for j.
-2
Let j(i) = i**2 + 10*i - 6. Let b be j(-11). Suppose 0 - b = -r. Suppose -37 = -3*o - 5*f, -r*f = -35 + 10. Solve o*w + 3 = 19 for w.
4
Let r = -342 - -480. Let q = r + -138. Solve n - 4 = -q*n for n.
4
Suppose z - 4*y = -16, -y - 11 = z - 4*y. Solve 0 = z*v + 32 - 40 for v.
2
Suppose -30*l = -36*l + 42. Solve l*w = 2*w - 25 for w.
-5
Suppose 2*f = -4*p + 40, 79*f + 100 = 84*f - 3*p. Solve f*d - 3*d = 0 for d.
0
Suppose 281 = -11*a + 303. Suppose 0 = -3*i + 3 + 18. Solve -x - a = -i for x.
5
Let v(f) = 0*f - 2 - 5*f**2 + 3*f**2 - 4*f + f**2. Let o be v(-3). Solve 4 + o = -x for x.
-5
Let i(z) = 3*z**2 - 3*z - 57. Let q be i(5). Let a = -2 + 2. Solve q*h = -a*h for h.
0
Let g = -21 - -41. Suppose 4*v = l 