Let v be b(-4). Solve l*h = 3*m + 2*h + 5, -v = 5*h for m.
1
Let h = -19 - -21. Solve m - h = 5*f, -5*m = -f - 8*m - 10 for f.
-1
Let p(b) = b**3 - b**2 - 3*b - 4. Let f be p(3). Let t = f - 2. Solve 2*v = 3*m - 6, 5*m = -t*v - 2 - 7 for v.
-3
Let m be 2 + -4 + 12/6. Solve m*t - 20 = 4*t + 5*h, 10 = -2*t + 5*h for t.
-5
Suppose -5*z + 8 = 53. Let d = z - -11. Solve 5*c = -d*b, 3*c + 13 = 3*b + 4*c for b.
5
Suppose 1 = 4*a + 2*h - 5, a - 5 = 3*h. Solve 0 = -5*z + 5*j + 2 + 23, 4*z + a*j - 8 = 0 for z.
3
Let z = 14 + -14. Suppose -2*o + 10 = -z. Solve 2*h = -10, 3*f + 4 + 6 = -o*h for f.
5
Suppose -3*g + 20 = -4. Suppose 2*b - 3*l = 6, -3*b - g*l = -4*l + 8. Solve -2*k = 4*d - 12, -k + 4*d - 24 = -b*k for k.
-4
Let w be 1*-1 + 4 + -1. Let s(m) = m**3 - m**2 + m. Let i be s(0). Let t be 4 + i + -4 + 3. Solve -3*k - w*x + t = 5, 2 = 3*k + x for k.
2
Let s be (12/(-10))/((-4)/(-10)). Let l be 0 - 36/s - 2. Let j(x) = x**2 - 5*x - 1. Let d be j(6). Solve d*r + 7 - 18 = -2*k, 0 = 5*k + l for r.
3
Suppose 2*k - 5 = -1. Solve -21 = 3*l - k*q, -5*l - 3*q + 14 = -6*l for l.
-5
Let l(m) = -2*m + 8. Let x(u) = 3*u - 8. Let i = 5 + -1. Let p(c) = i*l(c) + 3*x(c). Let g be p(-6). Solve v + v = -g*a - 2, 5 = -3*a - v for a.
-2
Suppose 4*i - 13 = -1. Suppose -2*v + 2*w + 19 = i, -v + 6 = -2*w. Solve -3*q + 5*x = v, q = x + 4*x for q.
-5
Suppose 3*i + 2*b + 0*b = 13, 0 = -i - 3*b - 5. Suppose 2*p - i + 1 = 0. Solve 4 = -p*y + g, -4*g = -2*g + 4 for y.
-2
Let x be (-18)/4*(-12)/(-6). Let n = x + 15. Suppose n = -h + 4*h. Solve 0 = -3*g - 5*v, -5*g + 4*v + h + 35 = 0 for g.
5
Let l = -2 - -4. Suppose -l*i - 3*i + 20 = 0. Let s = 4 - i. Solve 5*d - 3*f - 15 - 10 = s, 0 = 5*d - 5*f - 25 for d.
5
Let p be ((-6)/4)/3 + (-210)/(-20). Suppose -5*a = -12 - 3. Suppose 0 = -g + a + 2. Solve 0*y - g*y = 5*x - 15, 0 = -2*y - 4*x + p for y.
1
Let p(b) = b**3 - 12*b**2 - 4*b + 2. Let j be p(11). Let a = j + 37. Let s be (-2)/8 - a/24. Solve -x + 12 = 3*w, 6*w - s*x - 40 = w for w.
5
Suppose 0 = -7*p + 11*p - 8. Solve p*v + 22 = 7*v - l, -5*v + 4*l + 28 = 0 for v.
4
Suppose -w = 2*w - 3*n + 9, 0 = -5*w - 2*n + 20. Solve w*p = 3*s + 17, 2*p + 0*s = -s + 5 for p.
4
Let s be 9/5*(13 + -8). Suppose 36 = 11*u - s*u. Suppose -3*o + u = 3*m, -4*o + 2*m = -3*m - 15. Solve 2*i = z + 4, -3*i - o*z + 11 = -4*z for i.
3
Let n(i) = -i**2 - 9*i + 8. Let o be n(-9). Solve 0 = -t + 5, 0 = 3*a - t - 3 + o for a.
0
Suppose 0 = 5*k - 2*s - 5, k - 16 = 4*k - 5*s. Solve k*u - 4 - 1 = m, -4*m - 13 = -5*u for u.
1
Let l = -21 + 31. Let i = l - 0. Suppose 2*k = 4*g - i, 4*k - 7 = -4*g + 3*g. Solve d - 2*u + 16 = -g*d, 31 = -5*d - 3*u for d.
-5
Let p be (14/28)/((-1)/(-6)). Solve -3*f + n = -6, -p*n + 6 = 3*f - 0 for f.
2
Let c = -26 - -43. Solve -5*k + c = -3*i - 3, k - 5*i = 4 for k.
4
Let g = -20 + 29. Let f be 2 - 5/((-15)/g). Solve -f*n + 3*x = -0 + 7, -4 = -x for n.
1
Let n = 1 + 2. Suppose -2*k + 20 = n*k. Suppose 0 = -3*p - k*f + f + 21, 0 = -p - 5*f + 7. Solve -2*b + 10 = -3*s, -3*s - 17 = p*b - 2*b for b.
-1
Let m = -40 + 48. Solve -4*c = d - m, -2*d - 5 = -0*c + c for d.
-4
Let y be -3*(20/6)/(-5). Let r = 2 + y. Solve -3*i - 9 = -r*f + 6, 5*i = -4*f + 7 for i.
-1
Suppose -5*f + 4 = -16. Solve 6 + f = -5*k - 4*x, 2*x = -5*k for k.
2
Let o(w) = 2*w - 2. Let v = -4 - -6. Let c be o(v). Solve 19 = -c*u + 5*b, -5*u + b - 4 - 9 = 0 for u.
-2
Let k(n) = -n**2 + 5*n + 4. Let c be k(5). Suppose -a + c*m + 25 = 0, 139 = 4*a - m + 24. Solve -5*i + l = 9 - a, 4*l + 8 = 2*i for i.
4
Let s = 3 - 4. Let i(u) = 68 - 68 - 5*u. Let h be i(s). Solve -9 = -3*n + 8*k - h*k, -3*n + 11 = -2*k for n.
5
Suppose 2*o + o = 0. Solve 3*h - 2*i + 15 = -o*h, 2*i + 9 = -5*h for h.
-3
Let f(q) = 2*q - 5. Let x be f(-8). Let o = 29 + x. Let z = o + -5. Solve 0 = -2*m + 2*g - 1 - 13, 2*m + z*g = 11 for m.
-2
Suppose -2*d + 10 = 0, 3*m + 7 = 2*m + 2*d. Suppose 2*z + 3*z + 100 = 0. Let q = -12 - z. Solve r - m*f + q = -7*f, f = -1 for r.
-4
Let d(g) = -7 - g + 2*g - 3*g. Let n = -5 - 1. Let w be d(n). Solve -21 = -w*f + s - 0, 5*s = -5*f + 15 for f.
4
Suppose -5*i + 5*r - 14 = 41, 3*i - 2*r = -31. Let b = i + 9. Solve -5*z - 2*s + 9 = b, 0*z - 5 = 3*z - 4*s for z.
1
Suppose -3*h - i + 11 = -0, -4*i + 8 = 0. Suppose u - 5*x = 31, -3*x - 39 = -u - h*u. Solve -3*c - 5*j = 6, -u*c + c = -2*j + 10 for c.
-2
Let f(j) = -4*j**3 - 3*j**2 - 6*j - 4. Let h(p) = -p**3 - p - 1. Let u(o) = -f(o) + 5*h(o). Let z be u(3). Solve -g = -z*k - 3*g - 8, -2*g - 8 = -3*k for k.
0
Suppose 0*h = 2*h - 4. Let y be (5 - h - 5) + 18. Solve 0 = -o + 6*o - 3*s - 4, -5*o = 3*s - y for o.
2
Let i = 11 + -19. Let s = i + 12. Solve 2*c = -n - c + s, 5*c = 10 for n.
-2
Suppose i - 2*i + 6 = 0. Let s = -3 + i. Solve -5*a = -4*l - 6, -a = 2*a + s*l + 18 for a.
-2
Let x be ((-2)/5)/(4/(-20)). Let p(s) = s**2 - 3*s + 2. Let i be p(x). Solve -v + 0 - 5 = 0, i = 3*o + v + 20 for o.
-5
Let j = -105 + 108. Suppose -37 = 2*b + 3*c, 6*b + 5*c + 85 = b. Let q = b - -21. Solve -a + q = v + 3, 8 = 2*v - j*a for v.
4
Let v(p) = -p**2 - 6*p + 57. Let d be v(5). Solve d*q - 3 = -5, -4*m = 3*q - 1 for m.
1
Let d(p) = p**2 - 3*p - 22. Let k be d(7). Solve w - 3*r = -5, -w + 4*w = 2*r + k for w.
4
Let h be 0/(-3) - (-1 + 1). Let j = 0 - h. Let s(d) = -d**2 + 2*d + 5. Let q be s(3). Solve i - q = -0*v - v, -i - 2*v + 2 = j for i.
2
Suppose v + 24 = 5*v. Let u = v + -2. Solve -i = -7*f + u*f - 17, -2*f + 4*i = 28 for f.
-4
Let x = -32 - -34. Solve -5*n = 2*h - 3 + 13, -x*n = -5*h + 33 for n.
-4
Suppose 3*r - 9*r = -12. Solve r*n + 3*j = -2*j + 33, 5*j = -n + 29 for n.
4
Let k be (-20)/6*(-30)/25. Suppose k*w - 1 = 5*c + 7, c + 8 = 4*w. Suppose p = -c*p. Solve 2*d - 6 = 0, -2*s + 3*d = -p*d + 11 for s.
-1
Suppose 51 = 4*l + 7. Suppose -l*v = -10*v. Solve -12 + v = 3*s, 2*j - 5*s - 24 = 0 for j.
2
Suppose -c + 10*c = 36. Solve -2*t = -2, j = c*t - 3 - 1 for j.
0
Let s(n) = -n - 5. Let i be (2 + -2)/(-2) + -7. Let y be s(i). Suppose 0*q + y*q - 14 = 0. Solve 4*d - 12 = 4*w, -w + 2*d + 15 = q*d for w.
0
Suppose 4*y - 10 = 2*y. Let p(t) be the first derivative of -t**2/2 + 7*t + 10. Let h be p(y). Solve o = 5*d - h*d + 10, 2*o - 5 = d for d.
-3
Suppose l - 17 = 3*n, -4*l + 2*n = 6*n + 12. Suppose 2*j + l - 10 = 0. Solve -2 - 8 = -5*b, -j*r + 18 = -b for r.
5
Let n(i) be the second derivative of -i**3/2 - i**2/2 - 4*i. Let d be n(-1). Let m be d + (0 - -4) - 2. Solve 2*v - 11 = -v + 4*u, m*u = -20 for v.
-3
Suppose 6*c - 5*c = -11. Let n = c + 15. Solve -3*h = -w + 4, 6*w = 3*w + n*h + 7 for w.
1
Let w = 29 + -3. Solve 5*y - 3*t + 3 + w = 0, 2*t = 3*y + 18 for y.
-4
Suppose d + 57 = 8*u - 4*u, -4*d = 3*u - 19. Suppose -o - o = -3*q + 3, -q - u = -3*o. Solve 3*i + 0*i - 3*h + 18 = 0, 0 = -2*h + o for i.
-3
Let a = 56 - 30. Suppose -4*w = -a - 6. Solve w = 4*y - g, -y + 5*g - 3*g = 5 for y.
3
Let g be ((-1)/3)/(2/(-30)). Suppose -g*i + 12 = -i. Let f(z) = -2*z - 3. Let c be f(-3). Solve i + 14 = 3*s + 4*b, -5*s + 21 = c*b for s.
3
Let w = 5 + -2. Suppose 6 = k + 2*s, -w*s - s = -4*k - 12. Solve 3*f - 4*f + 2*m + 6 = 0, k = -5*f - m + 19 for f.
4
Let b = 4 - 7. Let o(g) = g**3 + 5*g**2 + 3. Let t be o(b). Solve 5*c + t = -s, -c - 1 = s - 0*s for s.
4
Let d(q) be the third derivative of q**4/12 - 5*q**3/3 - q**2. Let c be d(7). Suppose -c - 11 = -5*r. Solve z - r = 2*o, -3*z = 3*o - 8 - 1 for o.
0
Suppose -2*i + 4 = -0. Solve -4*z = 20, 3*z - 1 = -2*c - i*c for c.
4
Let f be (-3)/(-6) - (-22)/4. Suppose 0 = 4*p + f - 98. Let o(q) = q**3 - 13*q**2 + 3*q - 11. Let a be o(13). Solve 5*z + p = -0*b - b, a = 4*b - 4*z for b.
2
Suppose 5*j = 3*j + 4. Suppose 3*x - j*x - 5 = 0. Solve w = -5*c + 13, -2*w = -x*w - c - 3 for w.
-2
Let q(w) = -w**2 - 14*w - 36. Let o be q(-9). Solve -n = 5*p, 3*p = n - 1 + o for p.
1
Suppose -3*z + 0*z = 0. Suppose z = -5*d - 4*n + 9, -2*d = -3*d + n. Solve 4*v = -4*m + 32, -3*m - 5 = -3*v + d for v.
5
Let a = 27 - 3. Let x be -2*((-3)/(-3))/(-2). Let q be 3 + -1 + -1 + x. Solve 2*m - 4*c = -2*m - a, 3*c = q*m + 13 for m.
-5
Suppose -5*g = -3*z + 6, z + 10 = 3*g + 6*z. Solve g*m - 2*y - 6 = 3*m, -2*m - 4*y = -4 for m.
-4
Let l = -6 - -8. Suppose -3*j + 18 = l*p - 7*j, -5*p - 2*j = -9. Let z be ((-2)/p)/(2/(-18)). Solve -3*y - 3*h = -z*y - 15, -3*y - 13 = -h for 