
3
Let g be 1*-4 - 60/(-10). Solve 0 = -3*l - 14 + g for l.
-4
Let r be 28/6 + (-6)/9. Suppose 0 = -r*v + 3*v + 3. Solve -7 = -4*u - v for u.
1
Suppose -4*m - 9 = -25. Let v = -4 + m. Solve v = 5*r - 6 - 9 for r.
3
Let p = 4 + -2. Let k be (-1 + 3 + -1)*p. Let h be 0 - (0/(-3) - k). Solve 4 = -2*d + h for d.
-1
Let x be 1*(1 + -2 + 16). Solve 2*r + r = x for r.
5
Suppose 4*v + 17 - 37 = 0. Solve 9*s - v = 8*s for s.
5
Let h(v) be the third derivative of v**4/24 + v**3/2 - 3*v**2. Let x be h(3). Suppose -1 = 2*w - 9. Solve -2*z + x*z = -w for z.
-1
Let x(i) = -i - 1. Let j be x(-5). Let c = -8 + 8. Solve -j*z = -c*z for z.
0
Let d = -2 + 1. Let b = 3 + d. Suppose -4*i = -4*w - b*i + 18, 0 = 5*w + 2*i. Solve -m - w*m = 6 for m.
-2
Let v(i) = i + 7. Let z be v(-4). Solve 0 = 2*x - 1 + z for x.
-1
Let w(z) = z + 4. Let m be w(-4). Suppose m = 2*h - 3 - 3. Solve -8*j - 15 = -h*j for j.
-3
Suppose 0 = -4*h - 19 + 3, -5*m + 5*h + 120 = 0. Solve -6*t + m = -t for t.
4
Let z(b) = b**2 - 7*b + 2. Let o be z(7). Let k be 1 + -1 + -3 + 3. Suppose 5*x + 29 = 4*n, k = -n - 2*n + x + 8. Solve -o*v + 3 = n for v.
1
Let h(c) = c**3 - 5*c**2 - 7*c + 8. Let o be h(6). Let f be o + -1 + 2 + 0. Suppose 3*m - 5 = -2*v, -v + f*m + 7 = -0*v. Solve v*i - i = 3 for i.
1
Let v = -10 + 10. Suppose 3*o = -v + 12. Solve o = -f - f for f.
-2
Let v = 7 + -10. Let l = v - -7. Let d be (0/(-1) - -2) + -1. Solve 3*j - l*j = -d for j.
1
Let r = -18 - -31. Solve 5*p + 12 = -r for p.
-5
Let o(u) = -u**2 - 8*u + 14. Let d be o(-8). Let h = d - 12. Solve -8 = -h*t - 0*t for t.
4
Suppose -4 = -4*o + 8. Solve -c + o = 2 for c.
1
Let g(z) = z**3 + 6*z**2 + 4. Let s be g(-6). Suppose s*h + 3*w = 7, 2*h + 3 - 4 = w. Solve -7 - h = 2*o for o.
-4
Let c = -7 - -13. Suppose -3*q - 5 = 1. Let h = c + q. Solve -3*u + 7*u + h = 0 for u.
-1
Let m = -2 + 2. Solve -5*b - 5 = -m*b for b.
-1
Suppose 0*d = -3*d - 99. Let z be d/2*(-6)/9. Solve -5*a - z - 14 = 0 for a.
-5
Let x(q) = 3*q - 1. Let l be x(1). Solve p - l = 2 for p.
4
Suppose 3*m - 5*v = -62, -4*m - 42 = -2*m - 4*v. Let f = 31 + m. Solve 4*o + 0 = -f for o.
-3
Suppose 0*a - 4*a + 16 = 0. Solve -a*z + 5 - 13 = 0 for z.
-2
Suppose -q = 3*q - 8. Suppose -m - 2 = 5*g - 14, -3*g + 2 = -q*m. Let p(r) = 3*r**3 - 3*r**2 + 2*r. Let z be p(m). Solve -n = 3*n + z for n.
-4
Suppose -4*p + 5*x - 3 = 9, 3*x = -4*p + 20. Let l = p + 0. Solve 0 = j + l*j - 12 for j.
4
Suppose -3*q + 1 = -5*x + x, 3*q = 9. Solve x*y - 15 = -y for y.
5
Let g(x) = -x**2 + 15. Let w be g(0). Let t be -1 + (1 - 0)/1. Suppose 0*r - r = t. Solve 4*v + v + w = r for v.
-3
Suppose -22 = -3*j + 5*x + 10, 2*j = -5*x + 13. Let s = -6 + j. Solve -a - 8 = s*a for a.
-2
Let i be -3 + (-4 + 1)*-1. Solve i = -2*s + s for s.
0
Suppose j + 28 = 3*u, -j = -u - 0*u + 22. Let i = j + 25. Solve 3*w + 9 = -i for w.
-5
Suppose 5*o - 6*o = 0. Solve 0 = 2*c - o*c for c.
0
Suppose -36 = -5*s - z, 2*s + z - 5*z - 10 = 0. Suppose s*c - 2*c - 10 = 0. Solve 2*t = -c - 8 for t.
-5
Suppose 3*t + 0*u - 28 = 4*u, u = 2. Suppose -3*h = -4*p - 34, h + 2*p = 11 - 13. Solve -t = -2*w + h*w for w.
-3
Let j = 13 + -10. Solve j*b = -2 + 11 for b.
3
Let i = -3 + 5. Suppose 2*m - i*o = 0, 5*o + 5 = -0. Let f = m + 3. Solve f*z + 6 = -2 for z.
-4
Let y = -5 - -5. Solve y*j - 5 = -5*j for j.
1
Let r be (2/(-5))/(3/(-90)). Suppose 4*f - 7*f = -r. Solve f*m + 15 = -1 for m.
-4
Suppose -m + 3*y = 7*y + 11, -2*m - 3*y - 2 = 0. Let i = -9 + 11. Solve i - m = h for h.
-3
Let u be (0 - (1 + 11))*(-2)/4. Solve 3*g + u = 6*g for g.
2
Let m(i) = -i + 17. Let x be m(14). Solve -x*q - 8 = -5*q for q.
4
Let h = 15 - 12. Solve -h*w + w = -2 for w.
1
Let w = -119 - -119. Solve -f = -w*f + 1 for f.
-1
Let a be (-6 + 4)*(-6)/4. Let p be -1*-1*a/1. Suppose -p*z = -6*z + 48. Solve 0 = 5*t - t - z for t.
4
Suppose 2*l = 2*r + 16, 2*l - 5*r - 12 = -r. Solve 0 = 3*k + l - 1 for k.
-3
Suppose -3*w + 4*r - 4 = 2*w, 4*r - 4 = 0. Suppose 3*k = -3 + 75. Suppose -t + k = t. Solve -t = -w*x + 3*x for x.
-4
Let t be 1*(3 + 4*-1). Let j = t + 1. Let c be 43/9 + 6/27. Solve -c*s = -j*s for s.
0
Let u = 9 - -26. Let t be u/11 - 20/110. Solve -t*v + 2*v = 4 for v.
-4
Suppose 0 = -3*h - a - 5, h = 3*h + 5*a + 25. Solve -q - q - 2 = h for q.
-1
Let n(t) = -5*t + 1. Let j be n(-1). Suppose -j*b + w + 33 = -2*b, -b + 6 = -w. Solve -2*p - b = -5*p for p.
3
Suppose -5*d + 28 = -12. Solve -d = -0*u + 2*u for u.
-4
Let a(y) = -y + 8. Let k be a(6). Let c be (-7)/k*(-16)/28. Solve -3*v - 8 = -c for v.
-2
Let f = -3 + 5. Suppose -2*m + 3*x + 11 = 3*m, -4*m = -2*x - 10. Solve f - 14 = -m*q for q.
3
Let r = 7 - -4. Let l = -8 + r. Solve n = -l + 4 for n.
1
Suppose -3*k + 3 = -6. Suppose -14 = -k*j + 1. Solve j = 4*a + 17 for a.
-3
Let q(r) be the second derivative of -1/3*r**4 - r**2 + 2/3*r**3 + 3*r + 0 + 1/20*r**5. Let o be q(3). Solve c = -0*c + o for c.
1
Let r(h) = -h - 2. Let y be r(-6). Let i = -2 + y. Solve -9 = -k - i*k for k.
3
Let m = 2 - 4. Let v = 8 + m. Suppose -c = -v*c. Solve c*l - l = 0 for l.
0
Let d be 24/15*10/4. Suppose 2*j = w + d*j - 5, 0 = -w + j - 4. Let m be (w/3)/(3/(-27)). Solve 3 + 6 = m*o for o.
3
Suppose 18 = -11*w + 238. Solve 3*s - w = -s for s.
5
Let o be ((-2)/1 + 2)/((-2)/2). Solve 4*h + h = o for h.
0
Let f be (-6)/8 - 75/12. Let z = f + 7. Solve -4*u - 1 - 11 = z for u.
-3
Let o = 24 - 24. Solve 0*c - 5*c + 15 = o for c.
3
Suppose 5*s = -3*j + 8, 4*j - 56 = -s - 17. Suppose 0 = 2*g + 7 - 25. Solve 0 = 5*x - g - j for x.
4
Let f(l) = -l**3 + l**2 - l + 1. Let j be 0/(-1*(-2)/2). Suppose j = -3*a - a + 4. Let h be f(a). Solve 2 = -h*b - b for b.
-2
Suppose -5*j + 2 = -4*j. Let v = 32 + -25. Solve j*o = -v - 1 for o.
-4
Suppose 6 = -16*s + 38. Solve -s = 2*b - 0 for b.
-1
Suppose -22 = -4*p - 2. Suppose p = 2*t - 1. Solve -u = t*u for u.
0
Let o(b) = -12*b - 16. Let y be o(-2). Solve y - 2 = -3*q for q.
-2
Let p be 2 + 0 - (-2)/1. Let k be 42/p*(-4)/(-6). Solve 9 = -4*x - k for x.
-4
Suppose -16 + 5 = z. Let f = 11 + z. Solve 2*n - 4 = -f for n.
2
Suppose 5*c + 3*r + 10 = 0, 5*c - 2*r = 3*r + 30. Solve -3 - c = -2*b for b.
2
Let o = 2 - 5. Let y be (-1)/3 + 2/(-3). Let m be (3/y)/(-4 - o). Solve 0 + m = -q for q.
-3
Let f be (-1)/(1 + 0 + -2). Suppose 0*i = i - f. Solve 2*l = 3 + i for l.
2
Let y(h) be the third derivative of -h**4/24 + h**3/3 - 2*h**2. Let r be y(3). Let z be 1 + 1 + r - -14. Solve z = -4*f + 3 for f.
-3
Suppose 0 = -2*g - 2*g + 28. Suppose 45 = g*n - 2*n. Let w = 10 - 6. Solve -b = -w*b + n for b.
3
Let s(h) = 2*h**3 + 12*h**2 - 2*h - 10. Let c be s(-6). Solve -b - c*b = 0 for b.
0
Suppose 0 = 3*u + a - 2*a - 23, 0 = -5*u + a + 35. Solve 2*m - u*m = -4 for m.
1
Let f(i) = -i - 4 - i**2 - 4*i + 3. Suppose -26 = 5*o - 2*k, -4 = 2*o + 2*o + 4*k. Let r be f(o). Solve -2*q - 15 = r*q for q.
-3
Let a = 7 + -2. Let m(w) = w**2 - 9*w + 7. Let o be m(9). Let z = o - a. Solve -z*r = 2*r - 8 for r.
2
Let s(n) = -n**3 - 4*n**2 - 2*n + 1. Let r be s(-2). Let h(u) = -u**2 - 5*u + 1. Let j be h(r). Solve j + 8 = 3*p for p.
5
Let g be -3 + (-15)/10*-2. Solve g*p + 2*p = 10 for p.
5
Suppose -8 = -4*v - 3*r, 0 = -2*v - v + 2*r + 6. Solve v*d = -d + 6 for d.
2
Let m = 186 + -184. Solve -m*c = 3 - 9 for c.
3
Let o(y) = 2*y - 1. Let w be o(2). Suppose 0 = 4*k + 20, 6 = -4*n + k - w*k. Solve 0 = -5*r + 9 + n for r.
2
Let h(x) = -x**3 - 7*x**2 - 10*x - 9. Let a be h(-6). Suppose 0 = 3*w - 4*o + 2, 5*w + o - 6 = 3*o. Suppose w*s = -s + a. Solve 2*b - 5 = s for b.
5
Let z = 9 - -1. Suppose -n + z = n. Solve -n*o - 7 = 18 for o.
-5
Suppose 2*x - 2 - 3 = -b, 4*x - 20 = -4*b. Solve 4*i = -x*i + 8 for i.
2
Suppose 11*k - 9*k + 31 = 5*g, 5*k = 4*g - 18. Solve 4*t - 6 = g*t for t.
-2
Suppose -5*u = 2*o + 36, 5*u + 16 = o - 11. Let g(q) be the second derivative of -q**5/20 - 7*q**4/12 - q**3 - 2*q. Let v be g(u). Solve v = b + 2*b - 12 for b.
4
Let p = 65 + -59. Solve 0 = -2*z - 4 - p for z.
-5
Suppose 0 = -25*l + 22*l + 21. Solve l = g + 2 for g.
5
Let n(p) = -p**3 + 9*p**2 + 11*p - 10. Suppose 3*h - 2 = 2*h + 2*u, 0 = -5*h + 4*u + 34. Let r be n(h). Solve -m + 5*m - 4 = r for m.
1
Let v(f) = f**3 - 4*f**2 - 3*f - 5. Let p = -14 + 19. Let a be v(p). Solve 1 = a*x - 14 for x.
3
Let j(y) = y**3 + 2*y**2 - y + 2. Let h be j(2). Let x = 1