0. Let u(x) = 2 + 5 - 4 + x + r. Let a be u(-3). Solve -5*i + 5 + 0 = a for i.
1
Let k(s) be the second derivative of -s**5/20 + s**4/3 + s**3/3 - 3*s**2 - 3*s. Let w be k(4). Suppose w*b = b + 11. Solve -5 + b = -3*m for m.
-2
Let t(o) = 2*o - 3. Let m be t(4). Solve 0 = 3*l + 2*l + m for l.
-1
Let y be (-27)/(-21) - 2/7. Let j be -2 + 1 + y + 2. Solve j*t + 3*t - 5 = 0 for t.
1
Suppose 0 = -2*c - 2*c + 16. Solve -c*k + 2*k = 0 for k.
0
Let a = 0 - 0. Let p(i) = i - 5. Let j be p(5). Let b = j + a. Solve -15 = 5*y - b for y.
-3
Let f(w) = w + 6. Let t be f(-3). Let m = -41 - -57. Suppose -t*y + y = -m. Solve 3 - y = -d for d.
5
Let p be ((-5)/2)/((-5)/10). Solve 3 = -p*s - 12 for s.
-3
Let l(v) = v**2 - 7*v. Let s be l(7). Let y = 2 + s. Solve 0 = -y*c - 6 for c.
-3
Let k be (0 - 6)*(-1)/2. Let j(t) = t**2 + 3. Let o be j(0). Let p be (2 - 3/o) + 5. Solve k = -m + p for m.
3
Let w = 14 + -3. Let p = -3 + w. Solve -4*m = -p*m - 16 for m.
-4
Let r(j) = 2*j**3 - 29*j**2 + 14*j + 4. Let a be r(14). Solve a + 1 = 5*l for l.
1
Let k be (-60)/(-14) + 1/((-14)/4). Solve k*d - 2*d = 0 for d.
0
Suppose 0 = d + 2, -5*t = 2*d + 2*d - 2. Suppose 4*q = t*q. Suppose -4*x + 40 = 4*l, 3*x - 5 = -0*l + 2*l. Solve -3*g + l*g + 8 = q for g.
-4
Suppose -18*u = 5*s - 17*u - 3, 0 = 4*s + 5*u + 6. Solve -t = -s - 3 for t.
4
Let j(o) = -o**2 + 11*o - 5. Let t be j(6). Solve 9*d - t = 4*d for d.
5
Let l(w) = w**2 + 10*w + 7. Let p be l(-10). Let g = p + -5. Solve 3*t - 10 = -g*t for t.
2
Let k be (-4)/(-12) + (-224)/6. Let l = -20 - k. Solve -l = 5*r + 3 for r.
-4
Let z = -41 + 47. Solve -j = -z*j - 20 for j.
-4
Suppose 2*m = -0 - 0. Solve 5*f + 10 - 25 = m for f.
3
Suppose -h + 3*p - p = 0, -3*p = 3*h + 27. Let g be 0*(3/h - -1). Let c = 7 + -2. Solve g = c*v - 3 - 2 for v.
1
Suppose -2*k + 8 = -5*c - 0*c, -5*c - 17 = -3*k. Suppose 4*z - z = k. Solve z = v + 4 for v.
-1
Let j(b) = b**2 + 18*b - 63. Let z be j(-21). Let o(y) = -y + 15. Let q be o(0). Solve z = -2*l - l + q for l.
5
Let o = 30 - 25. Solve 0 = 2*x - x - o for x.
5
Suppose 5*c = 2*r - 9, 0*c - 5*c = 4*r - 3. Let a be (6/(-8))/(r/(-24)). Solve 3*u - 3 - a = 0 for u.
4
Suppose 3*a - 29 = -k - 2*a, 5*k = -3*a + 35. Solve 0 = -f + 5*f + k for f.
-1
Let d = -4 - -6. Let l = -37 + 39. Solve l*f = -4 - d for f.
-3
Let s(y) = y**2 - 2*y + 2. Let m(x) = 2*x**2 - 5*x + 4. Let d(f) = -2*m(f) + 5*s(f). Let i be d(0). Solve -i*g = -1 - 7 for g.
4
Let l be 9*((-13)/(-3) + -4). Solve 5 + 1 = l*z for z.
2
Let x(i) = -i**3 - 4*i**2 - i + 6. Let c be x(-3). Solve 2*y + y - 3 = c for y.
1
Suppose -4*l = -3*l - 2. Solve -8 - 2 = l*b for b.
-5
Let x(w) = -w**3 + 2*w**2 + 5*w - 4. Let h be x(3). Solve -3*t = 1 + h for t.
-1
Suppose -6*h + 66 = 5*h. Solve -h = 5*x - 21 for x.
3
Let v = 9 - 7. Suppose v*u = -0*u + 24. Suppose z = 5*z - u. Solve -2*n - 15 = z*n for n.
-3
Let x be (-20)/8*(-16)/10. Suppose u + 21 = x*w, -2*w + 2*u = -0*u - 18. Let o be (-46)/(-10) + w/10. Solve 10*q + 5 = o*q for q.
-1
Let o(c) = -8*c**3 - c - 2. Let u be o(-1). Solve 0 = -n - u + 5 for n.
-2
Suppose 0 = 2*y - y. Suppose n = -y*n. Let p = -4 - -6. Solve p*q = -n*q for q.
0
Let h(s) = s + 1. Let i be h(-1). Suppose -2*t + 0 = -8. Let j = 12 + -8. Solve -j + i = t*l for l.
-1
Let z(y) = -2*y + 6. Let h be z(5). Let t = 6 + h. Let a(f) = f**2 + 4*f + 1. Let x be a(-5). Solve -x*n + t*n = 0 for n.
0
Let c(z) = 5*z - 1. Let q be (1/(-3))/(1/(-3)). Let x be c(q). Solve l + x = -0*l for l.
-4
Suppose 0 = -3*z - 10 + 28. Solve -4*q + 6 = -z for q.
3
Let x(o) = 3*o + 53. Let i be x(-15). Solve 5*b + i = -12 for b.
-4
Suppose 0 = 2*d + 10 - 46. Solve -4*a + 2 = d for a.
-4
Suppose -3*h + 0*h = 5*q + 9, 0 = 4*q - 3*h - 9. Solve q = 4*b - 6 - 2 for b.
2
Let m(h) be the first derivative of h**2/2 + 6*h + 2. Let n be m(-3). Let p be (-1 + n)/(2/4). Solve x - p*x - 12 = 0 for x.
-4
Suppose 3*c - 24 = -9. Suppose -c*l + 23 = 3*m, 5*l - 10 = 3*m + 7. Let a = -1 + l. Solve -a*w = -w for w.
0
Let d be (-7)/(-14)*0/1. Solve d = z - 2 - 2 for z.
4
Suppose 0 = -9*o + 14*o - 370. Let f be o/14 - (-4)/(-14). Solve -2*i + f = -3*i for i.
-5
Suppose 0*q = -3*q + 15. Let v = 7 - q. Let z(w) = w**2 - 2. Let o be z(v). Solve -2*c - o = -c for c.
-2
Suppose 0 = -5*g - x + 9, -5*g + 5*x + 4 = -11. Let s(c) = c**2 - g*c**2 + 3*c**2 + c - 2 + 1. Let t be s(2). Solve 4*k = -t + 1 for k.
-2
Let d(g) = g + 2. Let c be (-22)/(-8) + 3/12. Let l be d(c). Solve -4*s = 7 + l for s.
-3
Let c be (-2)/(1/((-6)/4)). Let x(k) = -15*k + 1. Let d be x(-1). Suppose d = -c*g + 5*o, 3*g - 2*o + 1 = -0*o. Solve -i - g*i = 0 for i.
0
Suppose r + 0 = -5*k + 8, 4*k = 8. Let m(d) = d**2 + 2*d + 3. Let o be m(r). Solve -2 = o*g + 4 for g.
-2
Let l(t) = -7*t - 10. Let j be l(-3). Solve -j = -2*v - 1 for v.
5
Suppose 0 = -11*d + 8*d + 6. Solve -d = 2*g + 8 for g.
-5
Suppose 5*r - 8*r = -3. Suppose 5*y - 3*k - 51 = 0, -r = y + 5*k - 0. Solve y = -2*w + 3 for w.
-3
Let n be (-1)/(-5) - 62/10. Let g = -3 - n. Let t be 3*g*4/18. Solve 2 = -t*z - 0 for z.
-1
Let b = -47 + 49. Solve -4 = b*u - 0*u for u.
-2
Let u be 1*-1 + (-14 - -15). Let c be -2 - -4 - 0 - 4. Let j be (6 - 0) + c/1. Solve -16 = -u*g + j*g for g.
-4
Let g(i) = 3*i**2 - 2*i - 1. Let p(h) = 2*h**2 - h - 1. Let l be p(-1). Let u = -3 + l. Let v be g(u). Solve 3*z - v*z = 0 for z.
0
Suppose -4*i = i - 15. Suppose r + i = 6. Solve 3 = -0*n + r*n for n.
1
Let z(k) be the first derivative of -k**3/3 + 2*k**2 + 4*k - 5. Let s = -1 + 5. Let a be z(s). Solve -5*p + a - 24 = 0 for p.
-4
Let k(l) = 6*l. Let h be k(3). Solve 2 + h = -5*g for g.
-4
Suppose -2*x - 44 = -4*j - 16, -2*x - 8 = 0. Let b(o) = -2*o**2 + 5*o - 3. Let z be b(1). Solve z = -j*g + 5 + 5 for g.
2
Let z = 110 - 106. Solve -15 = -z*w + 7*w for w.
-5
Let j(a) = -a**2 - a + 10. Let x be j(-3). Solve -5*l = -x*l + 1 for l.
-1
Suppose -5*m - 4 = -9*m. Solve 0 = -t - m - 1 for t.
-2
Let j(v) = -2*v**3 - 2*v - 1. Let s be j(-1). Suppose -s*a + 6 + 0 = 0. Solve a*m + 8 = -0*m for m.
-4
Suppose 9*h = 3*h + 48. Solve -4*k - h - 4 = 0 for k.
-3
Let v = -53 + 58. Solve a = v*a for a.
0
Let r(x) = x**2 - 3*x + 1. Let f be r(4). Suppose -5*l - 4*z + f = -2*z, -2*l + 1 = z. Solve -g + 2 = -l for g.
5
Suppose -5*o = 46 - 21. Let w = o + 13. Suppose 4*g - w = 0, 5*y + 9*g - 4*g - 25 = 0. Solve 0 = y*n - 12 for n.
4
Let a = -23 + 25. Solve a = b - 1 for b.
3
Suppose -24 + 104 = 4*r - 5*g, 2*r - 40 = 2*g. Suppose -3*y - r = -8*y. Solve -i = y*i + 15 for i.
-3
Let j(p) = -p**2 + 11*p - 5. Let y be j(10). Solve -y*c + 24 + 1 = 0 for c.
5
Let t be (-12*(-8)/(-12))/(-2). Solve 2*q = t*q + 4 for q.
-2
Suppose -q - 25 = -6*q, 0 = l + 5*q - 30. Solve -3*o + 7 = -l for o.
4
Let z be (-1 - -21)*(-6)/(-8). Let j(i) = -i + 19. Let w be j(z). Solve -10 - 6 = -w*h for h.
4
Let c be (-5)/7 + (-2)/7. Let h = 4 + -2. Let b = c + h. Solve 2*t - b = t for t.
1
Let k = 17 - -3. Suppose 0 = 2*t + 1 + 1. Let r(w) = -4*w + 1. Let n be r(t). Solve k = n*v - v for v.
5
Suppose -5*z + 25 = -20. Suppose 2*m = 3*t - 4, 4*t - z + 3 = 3*m. Solve -2*u + 5*u + 12 = t for u.
-4
Let k(i) = i**2 + 6*i + 1. Let z be k(-7). Suppose r - 4 + 1 = 0. Solve 0 = r*n + 17 - z for n.
-3
Suppose 5*d + 10 = 60. Solve 5*u + d = -0 for u.
-2
Let h = -61 + 67. Solve h = -2*t - t for t.
-2
Suppose 121 - 1 = 5*v. Suppose 3*y - 3*z = 22 + 5, -3*y + 2*z + v = 0. Solve -y*g = -3*g - 3 for g.
1
Let r = -13 - -18. Solve 2*w = -r - 1 for w.
-3
Suppose 36 = -0*w + 4*w. Let d = w - 4. Solve -2*i = 3*i + d for i.
-1
Let o be 45/27 + (-1)/(-3). Solve 7*d = o*d + 20 for d.
4
Let m(j) = -j + 8. Let w be m(5). Solve w*d + 9 = 24 for d.
5
Let u(v) = -v + 16. Let f be u(-7). Let g = -23 + f. Solve g = -b - b for b.
0
Suppose -20 = -3*d + 2*d - 4*w, 4*d = -2*w + 10. Let h(v) = v**3 - 7*v**2 + 5. Let m be h(7). Let q = -2 + m. Solve d = q*l - 0*l + 6 for l.
-2
Let o = -14 + 19. Solve -5*y + 0*y = -o for y.
1
Suppose d = 5*q - 3 - 5, 3*d - 2*q - 2 = 0. Suppose 0*s + 8 = 4*s + 4*c, 5*c - 4 = -d*s. Solve 17 - s = -3*h for h.
-5
Let k(n) = n**3 + 4*n**2 - 7*n - 6. Let i be k(-4). Let h be (-16)/88 + 70/i. Solve h*o - 2 = 2*o for o.
2
Suppose 4 = -3*v + 4*a, 2 = a + a. Let d = 1 + 5. Suppose q = 2*q - d. Solve -2*j = -v*j + q for j.
-3
Let i(p) = -p**3 + 6*p**2 + p - 1. 