
-1
Suppose -2*b + 0*o = 3*o - 42, 58 = 3*b + 2*o. Let p be b/5 - 12/(-30). Solve 4*a - 4*h - 16 = a, -4 = p*h for a.
4
Let j = 20 - 20. Suppose j = 2*f + 3*f - 10. Solve 5*u - f*q + 12 = -8, 2*q = 0 for u.
-4
Let c = 38 - 31. Solve 2*o + 3*y - 8*y - c = 0, -5 = 5*o - 5*y for o.
-4
Suppose -3*g = -5*w - 15, -3*g + 4 = w - 11. Solve 5*c + 3*d = -6, -1 + 11 = c - g*d for c.
0
Let o(i) = -3*i + 8 + 4*i + 0*i. Let g be o(-5). Suppose 163 = 4*q - 5*d, -d = -q + g*d + 49. Solve -w - 6*r - 8 = -5*r, 0 = -4*w - 5*r - q for w.
-3
Let t be (-2)/(-2 - (-6)/4). Suppose 5*p - 2*d + 8 = 2*d, 3*p - 8 = -t*d. Let y = 0 + p. Solve 0 = -u - y*b + 3*b - 11, -5*u = 2*b - 13 for u.
1
Suppose -3*c = -0*c - 21. Suppose 0 = -2*s + 41 - c. Solve x - 3*a = a + 8, 0 = 3*x - 5*a - s for x.
4
Let o be ((-16)/(-4))/4 - 2. Let w = o - -5. Solve -d - 2*a = -5, w*d + 0*d = a - 25 for d.
-5
Suppose -5*q - 187 = r, 3*r = -q + 5 - 48. Let t = -17 - q. Solve 0 = 3*l - x + 2*x + 2, 0 = 4*x + t for l.
1
Let v = 21 + -8. Suppose 4*a - 33 = -v. Let n(s) = 5*s - 4. Let c be n(3). Solve -z + f = 5*f + 13, 4*z - a*f = c for z.
-1
Suppose 0 = -0*a - 3*a - 12. Let c be 1 - 2 - (0 + a). Suppose 0 = 5*y + h - c, y + 2*y + 4*h = 12. Solve -6*q + 20 = -2*q, y = -2*b - 2*q + 6 for b.
-2
Let a = -5 - -5. Let h = 0 - -7. Solve -5*t + 2*r - 10 = a, 5*t + r + 2 = h for t.
0
Suppose c = 3*j - 3*c - 17, -1 = -c. Let a be ((-2)/4)/(j/(-98)). Solve -4*u = -3*i - 12, 12 = -5*i + a*u - 3*u for i.
0
Let q = -49 + 56. Let k(r) = -r**3 + 6*r**2 - 2*r + 7. Suppose 7*g - 15 = 4*g. Let j be k(g). Solve n - 3 = 0, 3*n = -2*m + j - q for m.
3
Let z(l) = 2*l + 8. Let j be z(-6). Let s be (3 + j)/(1/(-5)). Let p = -2 + s. Solve -n = 4*u - 18, -5*u - n + 28 = p*n for u.
4
Let p(w) = w**2 + w + 4. Let j be p(0). Let l = -4 + j. Let x be 16/9 + (-20)/(-90). Solve 4*z + 8 = l, -5*r + 4*z + x = 3*z for r.
0
Let y be (-1 + 2)/((-2)/6). Let g = y + 3. Suppose g = d - 1. Solve -d = -4*a + 3*w, w = a - 0 - 1 for a.
-2
Suppose 8*k = 3*k + 5. Solve 8 = -4*z - y + 25, -2*z - 3*y = -k for z.
5
Let g(m) = m**3 - 9*m**2 + 7*m + 10. Let p be g(8). Suppose -4*d + 5*c = -61, -2*d + p*c = -2*c - 38. Solve 4*x + 14 = -2*h, 0 = -h - 6*x + 2*x - d for h.
-5
Let v = 17 - 13. Solve -2*w - o = 2*o - 4, 0 = -v*w + 2*o - 24 for w.
-4
Suppose -4*y = -j + 19, 0 = -3*j + 2*y + 2*y + 25. Solve -5*p - 2*a = -j, 2*a = 3*p + 2 + 9 for p.
-1
Suppose -4 = x - 9. Let o = x + -3. Solve h = 2*h + o, -18 = 2*l + 5*h for l.
-4
Suppose 4*y - 18 = 18. Let n = -4 - -6. Let t be (-1)/n + y/2. Solve 0*f - 28 = -3*v - t*f, 5*v = 5*f for v.
4
Suppose 0 = -3*a + 2*i + 18 + 1, -i = a + 2. Let g = -9 + 12. Solve 4*x + 4*t + 1 = -g, -t = a*x - 7 for x.
4
Let k = 67 + -46. Solve 0 = -0*d - 2*d + 5*x - k, 2*x = 3*d + 4 for d.
2
Suppose u - x - 6 = 0, -3*u + 7*u = -5*x - 3. Solve k + 3 = 2*y + 2*y, -u*y + 2*k = -1 for y.
1
Let m(d) = d + 9. Let h be m(-5). Solve h*k - 14 = 6, -z = -2*k + 14 for z.
-4
Suppose -3*c + 30 = 3*c. Solve y - c*u - 15 = -5, 0 = -5*u - 10 for y.
0
Let v be (-2 + (-18)/(-12))*-24. Solve 2*n + v = 2*l - 8, 0 = 2*l + 2*n for l.
5
Let v = 19 + -15. Solve q = -2, -2*q - 28 = -v*k - 12 for k.
3
Suppose 3*j - 15 = 3*s, 2*j = 3*s - 0*s + 10. Solve 2*t = -u + 4, -4*u + s*u - 2 = -t for u.
0
Let r = 9 - 7. Let c = 6 + -4. Suppose 3*m + 0*b + c*b = 47, 3*m - r*b - 55 = 0. Solve -5*g - 3 = 3*z, m = 5*z - 3*g - 12 for z.
4
Suppose -7*g + 2*g = 0. Suppose u + 3*c - 4 = 0, -4*c - 1 = -g*u - 5*u. Let l be (2 - u)/(2/4). Solve 2*i - 4 = l*p, 8*i - 4*i = 3*p + 4 for p.
-4
Let x(d) = -d**2 + 4*d - 1. Let l be x(3). Let k(w) = 2*w**3 - 24*w**2 - 24*w - 10. Let f be k(13). Solve 0*s + f = 2*s + l*h, 4*h = 4*s + 8 for s.
3
Suppose 2*l = c - 3, 0*l = 3*l - 5*c - 13. Let w = 7 + 1. Let a = l + w. Solve 0*z - 5*z + y = 21, 0 = y + a for z.
-5
Let c(u) = -u**3 - 8*u**2 - 7*u + 6. Let k be c(-7). Let y = k + -4. Solve y*g + 19 = 3*b, -6 = -2*b - 4*g + 2*g for b.
5
Let g = -17 - -36. Solve c + 3*c + 4 = 2*x, x + g = -5*c for x.
-4
Let y be 3/9 + (-11)/(-3). Suppose -2*a + y = -6. Solve m + 8 = a*t, 7*m - 4*m + 6 = -3*t for t.
1
Let c be 4 + (-3)/(-6)*0. Solve 0 = k + 1 + 2, 4*s = c*k + 4 for s.
-2
Let f(v) = v + 5. Let y be f(-4). Solve -4*h - 3*q + 12 = 0, 11 = 5*h + 3*q - y for h.
0
Let t be ((-75)/6)/(3/(-6)). Let k = t + -20. Solve -4*n - q - 3*q = -12, 0 = 5*q + k for n.
4
Suppose 7*x - 24 = 3*x. Suppose 4 = -2*m + 4*p - x, 27 = 5*m + 3*p. Solve m*k + t + 3*t = 7, -4*k - 1 = -5*t for k.
1
Let x = -1 - -9. Let i = -3 + x. Solve i*d + 6*y - 5 = y, 9 = d - y for d.
5
Suppose 4*d - 14 = 2. Let t(z) = -z**2 - 11*z + 1. Let w be t(-9). Solve 3*m + 5 + 8 = 2*b, d*m = b - w for m.
-5
Let x = 49 - 26. Let a = x + -19. Solve 22 = 5*y - 3*v, -2*y - 2*y - a*v = 8 for y.
2
Suppose -5*r = 2*r - 42. Solve 2*d = -5*o + r*o - 1, d = o for o.
-1
Suppose 3*h + 2*i + 8 = -0*i, -2*i - 8 = h. Solve 5*k + 4*v = 0, h = -k - v - 1 for k.
4
Let z(f) = f - 2. Suppose -3*o + 8*o = 0. Suppose o = 2*r - 8 - 0. Let h be z(r). Solve -3*y = 2*u + 13, 0 = -y - u + h - 6 for y.
-5
Let n be 6/(-5)*(-20)/(-6). Let d(w) = -w - 1. Let u be d(n). Suppose m - 4*m + u = 0. Solve 4*r - 3*f - 5 = 5*r, -2*r = -3*f + m for r.
-2
Suppose -2 = -3*z + 4*z. Let t be ((-1)/(-2) - 0)*z. Let x(d) = 6*d**2 + d + 1. Let q be x(t). Solve 0 = -v + 2*v + 4*b - 6, 0 = 5*v - 4*b - q for v.
2
Let z(k) = k**2 - 12*k - 2. Let l be z(10). Let j = l - -37. Solve 4*u - v = 2*v + j, -15 = 3*v for u.
0
Suppose -3*j = -7 + 10. Let k be j/(-6)*3*16. Solve 2*h = 5*f - 5 - 5, -k = -4*f + 4*h for f.
2
Suppose 6*s - 8 = 2*s. Let p be s/(-8) - 102/(-24). Let m(n) = n**2 - 3*n + 4. Let r be m(3). Solve -r*y - 6 = -3*i - y, p*y + 5 = 5*i for i.
-3
Suppose -2*p - 2 - 10 = 0. Let f(t) = t**3 + 6*t**2 + 2. Let y be f(p). Solve 3*x = 2*z - 2, 3*z - 16 = -y*z + 2*x for z.
4
Let q(n) = 7*n - 75. Let t be q(11). Solve -3*i + 3*d = 2*d - 11, -5*d = -t*i + 16 for i.
3
Let b = -13 - -13. Solve b*u = -2*u + 2*p + 6, 0 = -3*p for u.
3
Suppose -4*f - 8 = -4*i, 0*i = -i - 5*f + 14. Solve 0 = 4*y - y - i*q + 3, -5*y = q + 5 for y.
-1
Suppose 122 = 3*y + 5*t, 67 = 2*y + 3*t - 14. Let d = y + -24. Solve -s = s - f + 7, -5*s = -2*f + d for s.
-1
Let y be (-33)/(-6) - 1/(-2). Suppose -y*j = -4*p - 2*j, -5*p + j = -16. Solve 3*g - 27 = 5*o, o + p*o + 7 = -2*g for g.
4
Let b(p) = -p**3 + 8*p**2 - 2*p + 5. Let s be b(7). Suppose 3*t - 2 = 1. Let z be t/3 - s/(-15). Solve 3*n = z*i + 2*i - 9, 2*n + 6 = 4*i for n.
-3
Suppose 4*u = 3*u. Let k(c) = -c**2 + 11*c + 2. Let d be k(11). Let p be 10 + -9 - (-8)/d. Solve -2*g + p*o - 10 = u, -2*g - o - 8 = -5*o for g.
0
Let h(b) = -b**2 + 8*b - 4. Let j be h(7). Suppose 0 = -2*k + k + j. Suppose 2*d - k*d + 1 = 0. Solve 5*g + 14 = 3*v, -g + d = -3*v - 1 for g.
-4
Suppose 0*t + 25 = 5*t. Suppose l + 4*g - 34 = 0, g + 50 = 5*l - 3*g. Suppose 0 = -5*b + 6 + l. Solve -t*m - 7 = -b*u, -8*m + 4*m + 4*u - 8 = 0 for m.
1
Let a = -9 - -20. Let h = -15 - -22. Suppose 0 = -4*t + h*m - 4*m + 20, 0 = -2*t + 3*m + 10. Solve -27 + 7 = t*o, -a = -d + 4*o for d.
-5
Let i(f) = f**3 + 8*f**2 - 10*f - 2. Let h be i(-9). Let v = h - 3. Let g = v - 4. Solve -2*b = -4*q - 14, g*q - 3*q + 3*b = 6 for q.
-5
Let t be 4/(2 + 0) - 0. Let b = 2 + 2. Suppose b = 2*l - 5*c, -6 = -c - t*c. Solve 4*s - 5*n - 11 = 0, -s = -n + 4*n - l for s.
4
Let k(y) = y**2 - 4. Let u be k(-3). Let s = 2 + -1. Let i be (2/1 - s)*0. Solve i = q - u*j - 5, -q - 13 = -0*q + 4*j for q.
-5
Suppose 4*i = -4*h - 12, -2*h + 3*i - i + 2 = 0. Let q = h - -3. Suppose -4*w = a + 3, -a - w = q*w. Solve -2*x + 3*y - 7 = 0, -2*x - a = -0*x - y for x.
-5
Suppose -88*b = -87*b - 3. Solve -4*h + 5*m = -36, -b*m + 4 = 3*h - m for h.
4
Let x be (2 - (1 - -2))/(2/(-8)). Solve -3*k = 3*p + 6, 2*p + 4 = -0*k - x*k for p.
-2
Let h(i) be the first derivative of -i**2/2 + 6*i + 4. Let f be h(4). Let j(b) = b**2 + 6*b + 5. Let y be j(-6). Solve -y*k + 3 = -2*p, 2 = p + 3*p - f*k for p.
1
Let c = -2 + 5. Suppose c*i - 18 = -3*x, -3*x + 0*i = -4*i + 10. Suppose -5 = -n - s - x*s, 3*n + s = 15. Solve 2 = -2*y - n*m - 4, 3*m = 0 for y.
-3
Let t(q) = -q**3 + 32*q**2 - q + 44. Let s be t(32). Solve 3*j - s = o, 3 = -4*j + o - 6*o for j.
3
Let d = -19 - -32. Solve -4*p = 4*c + 32, -c - 2*p - d = -0*