 -0*n - 2*n for n.
-5
Let q(d) be the second derivative of d**4/4 - d**3/2 + 3*d**2/2 - 5*d. Let y be q(3). Solve y = -4*k + 1 for k.
-5
Let q(c) = -c**2 - 7*c - 3. Let p = -13 + 7. Let f be q(p). Suppose -f*i + 1 = 2*t, -4*i + 14 + 10 = -3*t. Solve 0 = -l + i - 2 for l.
1
Suppose 3*s + 0*s = 15, -3*s = a - 20. Suppose z = -u + 7, a*u + z - 8 = 7. Solve -u*w - w - 15 = 0 for w.
-5
Let i = -3 - -6. Suppose 3*q = -0*q - 2*m + 1, -m = -i*q + 4. Solve 0 = -v - 0 - q for v.
-1
Let q(z) = -z**3 - 3*z**2 + 3*z + 6. Let p be q(-4). Solve 0 = -2*n - 3*n - p for n.
-2
Suppose m = -3*m + 8. Solve d - 3*d = -m for d.
1
Suppose -3*i = 2*x + 4, 0 = 5*i - 2*x - 23 + 3. Suppose 0*v = -i*v. Let f = -1 + 1. Solve v = -2*a - f*a for a.
0
Suppose 47 = -5*b - 48. Let g(f) = -f - 18. Let z be g(-8). Let m = z - b. Solve -m = 2*c - 3 for c.
-3
Let d = 4 + -22. Let z = d - -28. Solve -i + z = -3*i for i.
-5
Suppose 4*y - 14 - 22 = z, -4*y = 2*z - 48. Solve 0 = -5*o + y for o.
2
Suppose -3 = 2*d - 13. Suppose h - d*i = 8, -4*i = h + 4*h - 11. Solve w + 12 = -h*w for w.
-3
Let l(u) = u + 12. Let y be l(-10). Suppose y*b = -3*b + 20. Solve 1 + 15 = b*d for d.
4
Suppose 0 = -v - 2 - 1, 0 = -b + 5*v + 31. Suppose q + 3*q = b. Solve q*m = -m - 10 for m.
-2
Let d = -2 + 2. Let g = -13 + 21. Suppose -1 + 3 = 3*l - 2*o, -l - 4*o = 4. Solve d = -4*w - l*w - g for w.
-2
Let v(u) = -2*u**3 - 3*u**2 + u + 2. Let m be v(-2). Solve 3*i - 4*i + m = 0 for i.
4
Let q = 8 - 3. Suppose -5*v = 3*l + 8, -5*l + 3 = 3*v - q. Solve 19 = 3*u + l for u.
5
Let z be (-1)/3 + (-138)/(-9). Let b(y) = -y**2 - 4*y - 3. Let k be b(-3). Suppose 3*j + 3*o - z = k, -2 = 2*j + 3*o - 13. Solve -18 = -j*c + 2 for c.
5
Suppose -t - 2*f - 21 = -4*f, 3*f - 15 = 0. Let r be (-544)/(-88) + 2/t. Solve -20 = 2*h - r*h for h.
5
Suppose 0*z = z - 5*x + 22, -4*x + 20 = 0. Suppose 0 = -0*s + s + 2*n, n = 2*s - 10. Suppose -4*b + 9 = s*w - 19, 4*w - 18 = b. Solve -8 + z = -w*p for p.
1
Suppose 0 = 5*q + 2*y - 5, -2*y - 17 = -3*q + 2. Solve q*n + 2*n - 5 = 0 for n.
1
Let a be (2/3)/(2/3). Let l be (-3 + 5)*2 + a. Solve -13 + l = 4*w for w.
-2
Let h = 4 + -4. Suppose h = -0*d + 5*d. Solve d = 4*z + 1 - 9 for z.
2
Let i be (-75)/(-10)*8/10. Suppose i*d - 2 = 5*d. Solve -2*h - 4 = -d for h.
-1
Suppose -2*k + 59 = 51. Solve 1 - k = f for f.
-3
Let c = -1 - 2. Let g be (-26)/(-4) + c/(-2). Solve 0 = -0*d - 2*d + g for d.
4
Let z be (0 - (14 + -2))*-1. Suppose 7*f = h + 2*f + z, 0 = -2*h - 3*f + 41. Suppose -2*x - 3*x - 4*g = -19, -2*g - h = -5*x. Solve 0*s = s - x for s.
3
Suppose 7 = 4*j - 1. Solve 0*l - l = j for l.
-2
Let r = 17 - 8. Suppose -2*s + r = s. Solve s = -2*b - 5 for b.
-4
Let z = 9 + -6. Let k be (1 - (0 + 0))/1. Suppose 0 = h + k - 5. Solve z*f - h = -f for f.
1
Suppose 27 = 2*k + k. Suppose 0*r - r = -5*y + k, -r = y - 9. Solve r = -3*p - 0*p for p.
-2
Let w be (-4)/(-18) + 2/(-9). Solve 3*k - 4*k + 4 = w for k.
4
Let t = -6 + 8. Suppose 4*q - t*q = 6. Let s = -1 - -6. Solve -s*g - q = -2*g for g.
-1
Let q = 4 + 1. Solve -q*f = -2*f for f.
0
Let k(y) = 3*y**2 + 17*y + 14. Let b be k(-6). Solve 7*v = 2*v - b for v.
-4
Let c(m) = 6*m + 1. Let l be c(1). Solve l = -3*x - 2 for x.
-3
Suppose -2*n - 4*f - 20 = 0, -3*n = f + 3 + 2. Suppose n = 3*v - 8*v. Solve 3*k + 3 = -v*k for k.
-1
Let m(h) = 2*h - 6. Let c be m(4). Solve c*n + 2 = -2 for n.
-2
Let b(z) = -z + 13. Let k be b(10). Suppose k*p = -0*p. Solve -3*o - 5 + 2 = p for o.
-1
Suppose 3*b - 4 = 2*b. Let k be ((-12)/15)/(4/(-10)). Suppose 0 = -k*m + 4 + 2. Solve m*a - a - b = 0 for a.
2
Let d = 2 - 0. Let n be (-2 - -5)*-1 + 14/2. Suppose a = -h - 2, -2*h - 10 = 4*a - 5*a. Solve a*v + d*v + n = 0 for v.
-1
Let r(n) = n**2 + 6*n + 1. Let d(o) = 4*o**2 + 17*o + 3. Let a(s) = -4*d(s) + 11*r(s). Let c be a(-1). Let q = c - -6. Solve -2*k - q*k = 20 for k.
-5
Let v be 3/4 - 3/4. Let g be 1 + v + -5 + 8. Solve 2*x - 4*x + g = 0 for x.
2
Suppose -5*n = 3*k - 7*k - 12, 0 = -k + 5*n - 18. Let g = 4 - k. Solve 2*a + 8 = g for a.
-3
Let f be (1 - 76/12)*-3. Solve f - 4 = -4*m for m.
-3
Let q(k) = -k**2 + 6*k. Let o = 11 + -5. Let v be q(o). Solve 0 = -v*r - 4*r - 4 for r.
-1
Let u(r) be the second derivative of r**5/20 + 5*r**4/12 + r**3/2 - r**2 - r. Let s be u(-4). Let x = -125 - -127. Solve -x*c = s - 0 for c.
-1
Suppose -31 = -4*c + 17. Suppose -4*w + c = 2*y, 5*w = y - 5 + 20. Solve y = -f - f + 6 for f.
3
Suppose 0 = 5*z - 2 - 8. Solve -z*x = x - 3 for x.
1
Suppose -3*n + 11 = 5*a + 2, 4*a - 5*n = -15. Solve -2 = -2*f - a for f.
1
Let l = 107 + -97. Solve 0 = 10*r - 15*r + l for r.
2
Let x(i) = i. Let h be x(3). Suppose h*f + 2 = n, -4*f - 3*n + 4 = -15. Solve 2*j - f = 5 for j.
3
Let d be 0 - (5 - 1 - 4). Solve -2*g + 7 - 17 = d for g.
-5
Let q be (-3)/2*(-8)/3. Suppose -3*k - 3 = -5*w - 1, 2*w + q = 2*k. Solve -k = 3*f - 0 for f.
-2
Suppose -3 = -4*r + 1, 0 = -5*p - r + 16. Solve -p*m - 2 = 4 for m.
-2
Suppose u = 5, 2*p + u + 9 = 4*u. Let o(d) = d**2 - 2*d + 1. Let s be o(3). Suppose 0*t - 48 = -s*t. Solve m = -p*m - t for m.
-3
Suppose -2 = -w - 4*x, -4*x = -4*w + w + 6. Suppose 2*p = 2*i - w, 0*i + 13 = -p + 5*i. Solve 0 = p*d - 5*d for d.
0
Suppose 1 = y - 3*s, 0*s + 6 = y + 2*s. Solve 3*m - y*m = -1 for m.
1
Let y(o) = -o + 2. Let w be 25/(-5) - -1*3. Let t be y(w). Solve 0 = l + t for l.
-4
Let x = 0 + 12. Solve 0*a = 4*a - x for a.
3
Let l be ((-6)/(-10))/(1/5). Suppose 11 - 2 = l*z. Suppose -z*h = h. Solve h = -3*g - g for g.
0
Let u = -104 - -109. Solve 31 - 6 = u*x for x.
5
Suppose -3*r = -5*r + 10. Let w = 0 + r. Solve -w = -5*l - 25 for l.
-4
Let c be -1*76/(-4) + -3*1. Solve -w = -5*w + c for w.
4
Let u = 137 - 133. Solve -5 = -u*c - 25 for c.
-5
Let z be 4/3*(-3)/(-2). Solve -z*q + 1 + 1 = 0 for q.
1
Suppose 0*z = -s + z - 1, 0 = -2*s - z - 2. Let m = s - -4. Solve m*r = r for r.
0
Let o(y) = 9*y. Let k be o(3). Suppose 0 = 2*w - 4. Suppose -w*l + 13 = -k. Solve p = -4*p - l for p.
-4
Let z(i) = -i + 5. Let m be z(0). Solve m*o + 12 = 2*o for o.
-4
Let f = -7 + 11. Suppose -6 = 5*t + 4. Let m be 24/6 + (0 - t). Solve m*p - f = 5*p for p.
4
Let q be ((-3)/12)/((-3)/12). Solve q = -2*n + 7 for n.
3
Let z = 79 - 72. Solve 0 = z*i - 8*i + 3 for i.
3
Let m = 7 + 7. Suppose -5*f = w + 13, -w + 2*w = 4*f + m. Solve 0 = w*r + 2*r - 4 for r.
1
Suppose 3*w = -4*m - 14, -w + 5 = -5*m + 16. Let v = -6 - w. Solve 4*x + 8 = -v*x for x.
-2
Suppose -3*m + 35 = 29. Solve m*z - 5 = 1 for z.
3
Suppose -3*q + 12 - 3 = 0. Let v(s) = -2*s - 9. Let f(t) = t + 1. Let x(g) = 6*f(g) + v(g). Let w be x(q). Solve -w = -3*h + 3 for h.
4
Suppose -4*p + 2 - 22 = -4*i, -5*p = i - 5. Solve -15 + i = -2*b for b.
5
Let p be 1/(-1) + 11 + 4/2. Solve 3*y + p = -0*y for y.
-4
Suppose -k + 0 = -5. Let v = -8 - -13. Suppose -l = -v*l. Solve 25 = k*m - l*m for m.
5
Suppose -3*a = 1 - 13. Let c = -5 - 0. Let f = c - -5. Solve a*v + 0*v - 20 = f for v.
5
Let i = 16 - 11. Suppose f - 10 = -i*u - f, 0 = -5*u + 5*f - 25. Solve -2*b + u*b + 4 = 0 for b.
2
Let x = 10 + 19. Suppose 3*k = 3*v - 21, 0*k = 5*v + k - x. Solve -3*l = -5*l + v for l.
3
Let b be 20/3*9/6. Solve -2*u = 3*u + b for u.
-2
Suppose -8*z + 18 + 6 = 0. Solve -i = -z*i - 4 for i.
-2
Let i be 0/(-1)*(-2)/(-4). Suppose -54 = -16*w - 6. Solve i = -o - w*o + 8 for o.
2
Let s = 28 + -23. Solve 0 = w - s + 3 for w.
2
Suppose -4*n + 21 = 5*c, 4*n - 2*c + c - 15 = 0. Solve 13*d - 11*d = n for d.
2
Let n(h) be the first derivative of h**3/3 - 9*h**2/2 + 10*h + 5. Let d be n(8). Solve f + d*f + 6 = 0 for f.
-2
Let p be (-40)/(-6)*(-6)/(-4). Let d(b) = -b**2 + 6*b + 4. Let g be d(6). Solve -10 - p = -g*v for v.
5
Suppose -30 - 10 = -4*o. Let s = 30 - o. Suppose 6*i - 2*i = 16. Solve 0*b = -i*b - s for b.
-5
Let x = 39 - 35. Solve -13 + 1 = x*i for i.
-3
Suppose 3*j + 10 = -2*j. Let q be j/(-1) - (3 + -1). Let v(g) = g**3 + 11*g**2 - 11*g + 15. Let y be v(-12). Solve y*o - o + 4 = q for o.
-2
Let n = -5 + 51. Suppose 19 = -5*d - n. Let a = d + 18. Solve 1 = -a*r + 11 for r.
2
Let d(j) = -j - 4. Suppose k + f = 3*k + 14, 3*k + 5*f = -47. Let w be d(k). Solve 3*o = 2*o - w for o.
-5
Let g be 1*3 + 4 + -5. Suppose -4*r - 19 = -5*f, 6*f = g*f + 3*r + 15. Solve -f*s = -4*s - 3 for s.
-3
Let h be 6/(-8) + (-99)/(-36). Solve t + 0*t = -h 