). Let j = a + -4. Solve x + j = 3 for x.
3
Let n be (-4)/(-1)*(-1 - -2). Solve -i - 3*i = n for i.
-1
Let m(l) = l**3 + 6*l**2 - 3*l + 4. Let w be m(-6). Suppose 4*y = 18 + w. Suppose 2*r = -5*c - 4 + 26, -2*c + y = r. Solve d - r = -d for d.
3
Suppose -5*o = 2*j - 18, -12*j + 13*j = -4*o + 15. Solve 6 = 2*q - o*q for q.
-3
Suppose -2*h = k + 2, 2*k + 7 = 2*h - 21. Let u(p) = p + 10. Let s be u(k). Solve -g + 0*g = s for g.
0
Suppose 2*h - 20 = -2*h. Suppose 3*v + 0*v = 0. Solve -5*f = -v*f + h for f.
-1
Suppose -37 = -3*f - 4*j, 0 = -0*f - 4*f + 4*j + 68. Solve 7*s = 4*s - f for s.
-5
Let a(u) = -u**2 - 9*u - 18. Let t be a(-6). Suppose -9 = 3*g + 5*y, 0*y + 4*y = -12. Let r be (2/4)/(g/20). Solve 5*n = -t*n - r for n.
-1
Suppose v + 4*i = 22, -3*v - 5*i - 12 + 50 = 0. Solve -z = -v*z - 5 for z.
-1
Let t be (-8)/(-4) + 0/1. Suppose 4*d = -2*q - 16, -5*q - 14 = -0*q - 3*d. Let p be q/6 + 6/9. Solve p = w + w + t for w.
-1
Let m be (0 - 2) + 3 + -1 + 4. Suppose -1 = 4*j - 29. Solve p - m + j = 0 for p.
-3
Let k(x) = -3*x - 1. Let c be k(-3). Suppose -3*q - 11 = -14. Solve c = -3*u - q for u.
-3
Let h = -11 + 12. Solve t = -0*t + h for t.
1
Let f(p) = -2*p - 16. Let o be f(-7). Let u be o*(-1)/(-2) + 1. Solve u*q + 15 = -5*q for q.
-3
Suppose 4*a - h = -0*a + 21, -5*a + 5*h + 30 = 0. Let l = 12 - 2. Solve -a*m + 30 = l for m.
4
Let s = -89 - -64. Let d = 18 + s. Let k(q) = -q - 5. Let c be k(d). Solve z + c = 4 for z.
2
Let u = 58 - 38. Suppose -3*s = -4*h - 2*s + 4, -3*h + u = -5*s. Solve h = -2*v - 8 for v.
-4
Let o = 4 - 1. Suppose 0 = 5*y + 5*q - 33 + 13, 0 = 3*q + o. Suppose -x = -y + 1. Solve x*t = -t - 20 for t.
-4
Let d(w) = -6*w - 34. Let o be d(-6). Let p be 8*1*1/2. Suppose -32 = -p*q + 16. Solve o*j - 5*j + q = 0 for j.
4
Let n(b) = -b**2 + 7*b + 3. Let o be n(7). Suppose 0 = -r - o*r + 4*d - 64, -3*d = -r - 6. Let k be (-27)/r - 2/7. Solve -k = -3*l - 4 for l.
-1
Let x = 333 + -329. Suppose 17 = -4*f + 53. Let q = f + -5. Solve q + x = 4*m for m.
2
Let m(w) = -3*w - 6. Let k be m(-3). Solve 2*v + k*v = 25 for v.
5
Let l = -4 + 4. Solve l = 4*n - 21 + 1 for n.
5
Let b(o) = o**3 - 6*o**2 + 5*o + 2. Suppose 10 = j + u, -5*j + 3*u + 12 = 2. Let s be b(j). Solve 0 = s*c - 4 + 2 for c.
1
Let o be (-6)/(-1) + -1 + -1. Suppose -5*z - 19 = o*y, -4*y = -7*y + z - 19. Let g be ((-12)/10)/(y/15). Solve -t = g*t + 20 for t.
-5
Suppose -j + 0*j = -0*j. Solve 4 = -c - j*c for c.
-4
Suppose -2*o - h = -7*o + 10, 18 = 3*o - 3*h. Let w = -22 - -22. Solve w = 3*j - 2*j + o for j.
-1
Suppose -4*u + 0*u + 12 = -4*f, -3 = -2*u - f. Let i(m) be the first derivative of 3*m**2/2 - 1. Let w be i(u). Solve -w*y + y = 20 for y.
-4
Let p(r) = r**3 - r**2 + r. Let a be p(0). Solve u + 0*u = a for u.
0
Suppose -j = 2*p - 23, -4*j = -0*j + p - 106. Suppose -5*t + 60 = 5*c, -j = -4*c - 3*t + 21. Let w = c + -8. Solve 0 = -2*x - 0*x - w for x.
-2
Suppose -29 + 4 = -5*u. Suppose -u*c + 30 = k, -4*k = 3*c - c - 30. Suppose -25 = -5*n + a + 4, -2*n + 17 = c*a. Solve -n + 2 = -2*z for z.
2
Let w = -14 - -14. Solve w = t - 2*t + 2 for t.
2
Let r(f) = -f**3 - 7*f**2 - 3*f - 17. Let m be r(-7). Solve m + 4 = -4*d for d.
-2
Suppose -5 - 1 = -k. Let w = -51 - -76. Solve k*v - w = v for v.
5
Let z = -8 + 14. Solve z*i + 3 = 3*i for i.
-1
Let y(a) = a**2 + a + 4. Suppose -3*b + 15 = 4*o, 4*b - b = 15. Let q be y(o). Let w be 2/(-6) - 14/(-6). Solve -w*n - q + 14 = 0 for n.
5
Let f be 2 - -1 - 60/(-6). Let a = -10 + f. Solve i - a + 8 = 0 for i.
-5
Suppose 34 = 3*b + 4*f, -2*b = 3*b - f - 26. Let z(m) = m**3 - 6*m**2 + m + 4. Let j be z(b). Solve 4*r - 2 = j for r.
3
Let o = -8 - -10. Suppose -5*w - 5 = -4*y, y + 0*y + 2 = -2*w. Solve y = -o*r - r for r.
0
Let f = 4 - 1. Let y(t) = -t + 10. Let q be y(5). Suppose -i + 2*l = 3, -2*i + 5*l - 4 = q. Solve -f = 2*z + i for z.
-3
Suppose 8*r - 4*r - 5 = m, 5*m - 17 = -r. Solve -r = d + 1 for d.
-3
Let x = 0 + -4. Let c = x - -5. Suppose -5*o - c = -26. Solve -o*a = 1 - 11 for a.
2
Let k = 0 - -6. Suppose -k*h = -4*h. Suppose -s - 2*n = -7*n - 23, 3*n = -12. Solve -s = -r - h for r.
3
Let z(f) = 2*f**2 - 9*f + 13. Let u be z(4). Solve 0 = 4*j - u*j for j.
0
Let b(x) = -2*x + 5*x**2 - x**3 - 2 - 3*x + 0*x + x. Let z be b(4). Let u be ((-10)/(-6))/(z/(-12)). Solve -3*s = 2*s + u for s.
-2
Let p = -3 - -5. Suppose -y - 3*q = -13, -15 = 4*y - p*q - 81. Suppose -2*s = 2*s - y. Solve -s*o - 2 = -10 for o.
2
Suppose 11 - 29 = -18*f. Solve 0 = -3*o - f - 2 for o.
-1
Let x be (-1 - -1) + (-1 - -3) + 5. Suppose -o + 0*o - 13 = -5*w, 5 = -2*w - 3*o. Suppose 2*j + 8 = -4*t, w*j = -2*j - 4*t. Solve j*l = -1 - x for l.
-2
Let s be ((-4)/12)/((-5)/30). Solve -c = s*c + 12 for c.
-4
Let m = 1 + -1. Let g = 9 - 5. Suppose 24 = g*c - 16. Solve 5*v = -m*v - c for v.
-2
Let z = -22 - -32. Let c = -6 + z. Suppose -c*t = -3*t - 3. Solve 12 = -0*n - t*n for n.
-4
Let s(k) = 2*k**3 + 2*k**2 - 2*k. Let n be s(-2). Let v be 5*n/(-30)*-3. Let x be 1*1*(3 + v). Solve -x + 2 = r for r.
1
Let p be (0 - 3/(-6))*58. Suppose -5*f = 4*k - p, -3 + 37 = 2*f - 4*k. Solve f = 5*b - 2*b for b.
3
Suppose -5*p = 2*b - 25, 4 = -5*p - 1. Solve -m - 4*m - b = 0 for m.
-3
Suppose 21 = 4*a + 5*y - 4*y, 2*a - 3*y = 7. Solve 7 - a = -q for q.
-2
Let s = 17 + -1. Solve -l + 5*l = s for l.
4
Let w be (-16)/(-5) + (-3)/15. Let u = w + -1. Solve -u*l = l for l.
0
Let a be (4/(-4))/(0 - 1). Let s = 3 - a. Solve -s*j - j = -15 for j.
5
Let b be 2*(21/(-6) + 1). Let p be (-2)/10 + (-1)/b. Solve p*z - 3*z - 15 = 0 for z.
-5
Let c(i) = i + 9. Let j be c(-4). Solve 3*h + 6 = j*h for h.
3
Let a be 1 + (1/1 - -1). Suppose -3*b - 5 - 1 = 0. Let n be 6 - 6*b/(-6). Solve n = a*t - 8 for t.
4
Let a(z) be the second derivative of z**3/6 - 3*z**2/2 + 2*z. Let b(v) = -v**3 + 3*v**2 + 2*v - 1. Let m be b(3). Let d be a(m). Solve 0 = -6*q + d*q for q.
0
Let s(c) be the second derivative of -c**4/12 - c**3 + 4*c**2 + c. Let z be s(-6). Suppose 4*o - z = 12. Solve 0 = v - o for v.
5
Let w(l) = -l**2 + 5*l + 7. Let j be w(5). Let i(v) = -v**3 + 6*v**2 + 8*v - 4. Let d be i(j). Let p be (2 + -5)/(d/(-2)). Solve 0 = -3*h - p*h + 10 for h.
2
Let w = 78 - 3. Suppose 5*r = -39 + 14, 5*c - 5*r = w. Solve 0 = 3*u - u + c for u.
-5
Let w(v) be the third derivative of -v**4/12 - v**3/6 + v**2. Let s be w(-4). Let a = 7 - s. Solve a = -b - 2*b - 15 for b.
-5
Suppose -3*m + 5*w - 15 = m, -4*m - 5*w + 15 = 0. Solve 0 = -4*c + 8 - m for c.
2
Suppose 0 = -3*z + 10*z - 42. Solve -8*p = -z*p for p.
0
Let g be (-1)/(-2) - (-3)/2. Solve 7 + 1 = -g*d for d.
-4
Suppose 0*l = 3*l - 18. Solve l + 3 = -3*s for s.
-3
Let u = 32 + -20. Suppose -2*v + 4*v - 4*h = 6, 0 = -4*v + 5*h + 15. Let y(z) = z + 10. Let p be y(-8). Solve -u = -p*j + v*j for j.
-4
Let s = 5 + -2. Let b(c) = 3*c - 2. Let z be b(4). Solve s*u = u + z for u.
5
Suppose 3*v - 5*v + 12 = 0. Let i(u) = u - 4. Let f be i(v). Solve -f*d = -d - 4 for d.
4
Let y(f) be the second derivative of -f**5/20 - f**3/3 - f**2/2 + 2*f. Suppose 5*m = -2*l + 13, -10 = l - 4*m + m. Let g be y(l). Solve 0*q + g*q + 2 = 0 for q.
-1
Let y(v) be the first derivative of -v**4/4 + 5*v**3/3 - 3*v**2/2 + 3*v + 3. Let x be y(3). Solve l - x = 5*l for l.
-3
Let a be 6/(-39) + 56/26. Solve 15 = a*n + 5 for n.
5
Suppose -a + 3*a + 2 = 0. Let r be ((-12)/20)/(a/5). Solve -r*v = -v for v.
0
Let z be 12/3 + (-6)/(-2). Let w = 10 - z. Suppose -2*g + 125 = w*g. Solve 4*c = -c - g for c.
-5
Suppose 5*t - 4*p - 44 = 0, 5*t + p = 2*p + 41. Solve y + t = 3*y for y.
4
Let k = -8 - -11. Let y(m) = -4*m - 7*m + k*m - m**2 + 4. Let t be y(-6). Solve 6 = 5*z + t for z.
-2
Suppose 5*p + 2*o = 7, 4*o + 1 = -0*p + 5*p. Suppose -r + 9 = p. Solve -3*w = w + r for w.
-2
Let c(k) = k + 11. Let j be c(-8). Let f(s) = -s**2 + 6*s - 4. Let y(m) = 3*m - 3. Let o be y(2). Let r be f(o). Solve j*u = r*u + 4 for u.
-2
Let d(o) = 3*o + 6. Let u be d(-1). Solve 0*w = -u*w - 3 for w.
-1
Suppose 0 = -w + 5*c + 2, 3*c + c = -w + 2. Let n = -5 + 7. Suppose z + 3*z - 80 = -r, w*r - 40 = -n*z. Solve 3*a = z - 5 for a.
5
Let o = 13 - 11. Let k = o + -2. Solve 2*q = -k*q for q.
0
Suppose -3*f + 15 = 0, -2*x + 2*f - 8 = -3*x. Let u(d) = -d. Let a be u(x). Let n be (-6 - -1)*a/(-2). Solve 3*l = 2*l - n for l.
-5
Let l = -14 + 