+ 3 = 0. Suppose 5*x - 5*u + 20 = -5, -x + 3*u = 15. Solve -5*z = -x + g for z.
-2
Let b be (0*((-12)/3 + 3))/(-1). Solve 15*z - 10*z + 5 = b for z.
-1
Let t = 22 + -21. Let l be ((-315)/10)/(-9) + t/(-2). Solve -l = j - 1 for j.
-2
Let k = 36 - 65. Let y = 33 + k. Solve -y*x - 4 + 12 = 0 for x.
2
Let a = 1039 - 1027. Solve 16*f = -a - 20 for f.
-2
Let j(o) = o**2 + 6*o - 22. Let v be j(-9). Suppose -v*t = -12 + 2. Suppose -2*n = t*n - 12. Solve 12 = -z - n*z for z.
-3
Let f(o) be the second derivative of 4*o**3/3 - o**2 + 6*o. Let v be f(1). Suppose 2*z - v = 10. Solve -h - 4 = -z for h.
4
Let l be 0/1*(1 - 2). Let x be (-1)/(-3) + (-46)/(-6). Solve 4*d = -l*d + x for d.
2
Let p(a) = -a**3 + 14*a**2 - 16*a + 41. Suppose -26 = -153*s + 151*s. Let o be p(s). Solve -b - o = -3*b for b.
1
Suppose -30 = -2*r + 4. Suppose -v + r = 5. Let p = -10 + v. Solve 0 = -p*k - 0 - 2 for k.
-1
Suppose -5*x - 21 = 14. Let w be 4 + (4/(-4) - -5). Let a = w + x. Solve -u + 2*u - a = 0 for u.
1
Let d be (-12)/(-4 - -7) - -16. Suppose -18 - d = 5*b. Let f(t) = -t**3 - 5*t**2 + 4*t - 8. Let j be f(b). Solve -v = -j*v + 15 for v.
5
Let b = -157 + 158. Solve -x - b = -3 for x.
2
Let s(q) = -4*q**3 + 5*q**2 + 6*q. Let o(d) = -d**3. Let x(n) = 3*o(n) - s(n). Let w be x(6). Solve w*m = -m for m.
0
Let o = 1766 - 1738. Solve -7*p = -0*p + o for p.
-4
Let i = 55 - 58. Let j(g) = g**2 + 5*g + 13. Let k be j(i). Solve -15 + k = 2*y for y.
-4
Let l be (-4 - -1)/1 + (-85)/(-5). Solve -10*b = -l*b + 20 for b.
5
Let g be 24/(-9)*(-6)/(-4) + 4. Suppose -2*t + g = -6. Solve -6 + 0 = -t*q for q.
2
Let p(q) = 5*q**2 + 0*q - 1 - q**3 + 3*q + 2*q**3. Let g be p(-4). Solve -25 = -2*m - g*m for m.
5
Let l = 4 - 4. Suppose -4*f + l*f + 4 = 4*c, 3*c - 1 = -f. Suppose -b + 14 + 2 = c. Solve -v - 3*v + b = 0 for v.
4
Suppose -2*v + 4*l + 102 = 0, 5*l - 2 + 7 = 0. Let z = 73 - v. Let c be (z/(-9))/((-2)/3). Solve c*i - i = 0 for i.
0
Let y(j) = j + 2. Let m be y(-3). Suppose 3*c - 30 = 5*w, 0 = 3*w - 0 + 9. Let b = c + m. Solve -4*s = -b - 12 for s.
4
Let x(k) = k**2 + 16*k - 35. Let i be x(-18). Let u be (4/(-1))/i + 16. Solve -3*d + 0*d + u = 0 for d.
4
Let l(x) = -x**2 - x + 1. Let p(m) = 7*m**2 + 3*m - 9. Let v(t) = -6*l(t) - p(t). Let i be v(3). Solve 0 = -i*a - a + 4 for a.
1
Suppose 2*x + 7*o - 5*o = 8, o = 2. Solve -3*q = -x*q + 4 for q.
-4
Suppose -2*b - k = -0*k, 0 = -4*k. Let c be (-48)/10*30/(-4). Suppose -c = -0*w - 3*w. Solve 2*u - 2 + w = b for u.
-5
Let t(g) = -g**2 + 6*g + 29. Suppose -1 = -m + 3, -5*m + 56 = 4*w. Let a be t(w). Solve 0*y = -a*y for y.
0
Let f(y) = -11*y + 34*y - 10*y + 6 - 15*y. Let z be f(1). Solve -z*l = 3 + 1 for l.
-1
Let a(q) = q**3 - 11*q**2 + 14*q - 28. Let g be a(10). Suppose 9 = -3*v, -z + 6*v + g = 2*v. Solve z*i + 1 = i for i.
1
Suppose -4*q + 3*v + 12 = 0, 0 = 6*v - v - 20. Solve 0 = 5*w - q + 31 for w.
-5
Let s(r) = -4*r - 2. Let y be s(-3). Solve 0 = 7*q - 25 - y for q.
5
Suppose -225 = -0*u - 4*u + p, 0 = 5*u + 2*p - 291. Let m be 1/((-21)/(-6)) + u/21. Solve m*i - 3 = -15 for i.
-4
Suppose 15 = 5*q - 2*q. Let n = -57 - -53. Let c be (60/(-9) + 4)*6/n. Solve -v = c*v - q for v.
1
Let z(c) = c**2 + 16*c - 54. Let q be z(4). Solve -6 + q = -10*k for k.
-2
Let p be (22 + -18)*10/8. Suppose 27*i = 28*i - 19. Solve -6 = -p*n + i for n.
5
Let g = 40 + -38. Suppose a - 8 = -r, a - 4*a + 4 = -r. Solve g*o - 1 = -r for o.
-2
Let z(i) = -2*i**3 - 3*i**2 - 3*i - 1. Let u = 16 - 18. Let q = 0 + u. Let f be z(q). Solve 16 = 5*l - f for l.
5
Suppose 4*m - 11 - 1 = -2*u, 0 = -2*m + 6. Let v = 106 - 103. Solve u = 2*s - v - 1 for s.
2
Suppose -h = 3*b - 9, 0 = -h + 2*b - 6*b + 12. Let n be (-3 - (-1 - -1)) + 6. Suppose -n*f + h = -9. Solve -5*r = -13 + f for r.
2
Let u be (-1 - 7) + 10/(-5). Let b = -6 - u. Let l = b + 1. Solve -l + 0 = a for a.
-5
Suppose b - 4*b = -36. Let x be (b/9)/(8/12). Solve -r = -x*r - 3 for r.
-3
Suppose -27*w + 12 = -4*y - 24*w, 5*w - 20 = -y. Solve -5*z - 14 + 9 = y for z.
-1
Let v = 317 - 314. Let g be 44/6 + 1/(-3). Solve -v*z + g = -2 for z.
3
Suppose 13 = -12*x + 85. Let n(u) = u + 2. Suppose 3*h + 6 = -3*j, -h - 3*j + 2 = 8. Let b be n(h). Solve b*f = x*f - 8 for f.
2
Let o = 3 + 0. Suppose 1 = -o*n - 5*y, n = -n - 3*y. Solve -n = -2*r - r for r.
1
Let h(p) = -p**3 + 25*p**2 - 26*p + 81. Let l be h(24). Solve l*k - 12 = 37*k for k.
-3
Suppose -3*i - 34 - 14 = 0. Let p(g) = -11 - 6*g + 6*g + 4*g - 5*g. Let q be p(i). Solve q*d + 16 = 1 for d.
-3
Let n(p) be the first derivative of 2*p**2 + 11*p - 28. Let v be n(-2). Solve 6 + 6 = v*k for k.
4
Let b = -100 - -104. Suppose 6*v = b*v + 6. Solve -v*n = -2 + 14 for n.
-4
Let h(j) = 2*j**2 - 5*j - 21. Let w be h(5). Solve -4*z + 4 = -w for z.
2
Let g(t) = 7*t + 14. Let u be g(-1). Solve 0 = j - u*j for j.
0
Let s(f) = f - 1. Let i(y) = -y**3 + 8*y**2 + 1. Let j be i(8). Let b(c) = 3*c - 8. Let z(p) = j*b(p) - s(p). Let l be z(11). Solve -l = -4*k - 3 for k.
3
Suppose -4*s = -p - 5, -2*s - p + 5 + 2 = 0. Let g be s/(-2) - -1 - -16. Solve 3*l - g = -l for l.
4
Let t(v) = v**3 - 36*v**2 - 33*v - 136. Let x be t(37). Solve 11*m + 1 - x = 0 for m.
1
Suppose h + 17 = -n - 3*n, -7 = h + 2*n. Suppose 0 = -w + 4*d + 23, -w - h*d - 6 = 2*w. Suppose 2*m = -w*v, 3*v - v + m = 0. Solve v = -3*x + 2*x - 5 for x.
-5
Let u(d) = -d**3 + 42*d**2 - d + 42. Let h be u(42). Solve 5*b + 74 - 54 = h for b.
-4
Let k = -1 + 7. Suppose 2*v - 155 = -3*v. Suppose -2*x + 28 = 4*h, 3*h + v = 4*x + k*h. Solve y = -x*y + 5 for y.
1
Let j be -1*(-4)/(4 - 2). Let k = 5 - j. Let f be 92/(-368)*3*-4. Solve 0 = k*c - f for c.
1
Suppose 0 = 4*r - 4*i - 45 - 95, 0 = r + 2*i - 29. Solve r*x - 4 = 37*x for x.
-1
Let m(i) = -i**2 + 13*i - 18. Let h be m(11). Suppose -h*r + 3*r + 2 = 0. Suppose 4*b + 8 = -2*v - 4, r*v - b = 3. Solve 2*c - 6 = -v*c for c.
3
Let z(u) be the third derivative of -u**4/4 - u**3/6 + 9*u**2. Let c be z(-1). Solve c = -3*x - 2*x for x.
-1
Suppose i - 3*c = -0*i + 20, -4 = -2*i - 3*c. Suppose -3*t - 12 = -i*t + 3*p, -t + 5*p = -20. Solve 0 = 2*l - t*l - 4 for l.
2
Let b(p) = p**3 - 16*p**2 + 13*p + 12. Let d be b(15). Let v = d + 18. Solve 0*k + 2*k + 8 = v for k.
-4
Let r = -7 + 8. Let a(y) = 8*y + 1. Let k be a(r). Let q = 12 - 11. Solve q = 2*h + k for h.
-4
Let m(b) = b**3 - 9*b**2 + 15*b - 5. Let d = 109 - 102. Let i be m(d). Solve i*x + 12 = -2*x for x.
-3
Suppose 3*a - a = -14. Let o be (-8)/(-3)*(-12)/8. Let v = o - a. Solve k = 2 - v for k.
-1
Let i(t) = t - 1. Let k(m) = m. Let d(n) = 3*i(n) - k(n). Let j be d(3). Suppose -5*s + 4*l = -40, j*s + 8 = 4*l - 8*l. Solve 0 = -s*z + 7 + 5 for z.
3
Let l(f) = 20*f + 143. Let g be l(-7). Let i = -2 + 2. Let v(j) = j**2 + j + 1. Let x be v(-1). Solve -g*a - x + 4 = i for a.
1
Let r = -12 - -14. Suppose -90 + 402 = -2*m - 4*n, -r*n = -6. Let w be m/(-21) - (-14)/49. Solve 0 - w = -4*g for g.
2
Let a be 240/336 - 228/(-14). Solve 0 = 3*p - a*p for p.
0
Let r = 12 + -16. Let k = r - 5. Let c = k + 13. Solve -c = -y - 2 for y.
2
Let i = 452 + -448. Solve -w = i*w for w.
0
Suppose -31*u = -28*u - 72. Let g(s) = -8*s - 1. Let q be g(-3). Let n = u - q. Solve -b - 3 = n for b.
-4
Suppose -4*k - 2 = -5*k. Suppose -3*z = 2*z + k*s - 142, 18 = z + 3*s. Suppose t - 1 - 8 = 2*o, -5*t + 5*o = -z. Solve 4 + 2 = -t*b for b.
-2
Suppose -88 = -5*w - 10*j + 8*j, -4*j = -16. Let o be -1*2/(-2 - w/(-12)). Solve 0 = o*r + 4 + 5 for r.
-3
Let v(h) = -h**2 - 19*h - 79. Let w be v(-7). Solve 0 = w*x + 7 - 2 for x.
-1
Let t be (-1 - -8) + (-949)/(-13). Solve 12 = t*l - 84*l for l.
-3
Suppose -3*z = 2*g + 2, -z + 2*z = -3*g + 4. Suppose 0 = -22*k + 23*k - g. Solve -k*p + 0 = -10 for p.
5
Let f(x) = x**3 + x**2 - x + 1. Let g(r) = r**3 - 11*r**2 - 2*r - 3. Let a(s) = 2*f(s) - g(s). Let h be a(-13). Let z = h - 1. Solve 4*l + 4 = -z for l.
-2
Suppose 0 = -3*m + m + 8. Let d(a) = a + 9. Let w = 20 + -26. Let q be d(w). Solve q*g + m = 5*g for g.
2
Let y be 8*14/(-24)*-3. Solve 0 = 11*h - y*h - 15 for h.
-5
Let c(v) = 10*v - 3. Let u(g) = -119*g + 35. Let l(m) = 35*c(m) + 3*u(m). Let i be l(-2). Suppose -4*q + 2 = -i. Solve q*h = -0*h for h.
0
Let o(v) = v**3 - v**2 + v - 2. Let t be o(2). Let g be 1 + 4 + (-16)/t. Solve 3*d = 4*d - g for d.
1
Suppose 282*d - 283*d - 2*k 