2
Let o be 1*(0 - (-3)/3) - 0. Solve -u + o = 4*x, 2*x + 5*u + 13 = -0 for x.
1
Let n(b) = b**2 + 2*b + 3. Let x(h) = h. Let p be x(-3). Let u be n(p). Suppose 2*g - u = -0*g. Solve 2*o + g*o + 25 = 5*w, 0 = 5*w - 2*o - 25 for w.
5
Let u be ((-4)/(-6))/((-2)/(-15)). Suppose 0 = 2*s + 4*a - 26, -38 = -u*s - 0*a - a. Let j = 26 - 26. Solve 2*p = 2*z, 0 = -j*z - 4*z - 3*p + s for z.
1
Suppose 15*o - 18*o = 0. Solve -b = o, -3 = t + b + 2*b for t.
-3
Let k(d) = 3*d - 5. Let y be k(5). Suppose 5*z - 13 = -4*v, 4*v - y = 3*z - 5. Solve v*w - 8 = 0, w + 25 = -3*s + 5*w for s.
-3
Suppose -4*o = n + 1, 3*n + o = -4*o + 11. Solve -c + m = c - 7, 4*m = c + n for c.
5
Let z(i) = -i**3 + 4*i**2 + i. Let g be z(4). Suppose -4 = 5*f - 4*w + 2*w, 0 = g*w - 8. Solve -3*u + 3*r + 3 = f, 4*u - u + r - 3 = 0 for u.
1
Suppose -80 = -2*i - 2*i. Solve 3*g - 3*n = n + i, 2*g + 4*n = 0 for g.
4
Suppose 0*l = -4*l - 4*y + 4, l + 5*y = -7. Solve -o - 6 = 4*a, -o + 3 = -2*a - l for a.
-2
Let u be 4*1*(-5)/(-10). Let l = u - 2. Solve -3 = -h - 3*i, l = -2*h + 4*i - 9*i + 5 for h.
0
Suppose 6*f = 4*f + 2*u + 30, -2*u = 0. Let v be (18/f)/(1/5). Let t be v/(-4)*(-280)/21. Solve -4*o - 3*z = -20, 0 = -4*o - z - z + t for o.
5
Let b = 17 + -17. Solve b = -c - 5, 3*h + 0*c = 3*c for h.
-5
Suppose 0 = 5*z + 5*a - 5, 3*z - 2*z + 14 = -4*a. Suppose y = z*y. Let w = y + 0. Solve -4*n + k = -w + 9, 4*n - 5*k + 29 = 0 for n.
-1
Suppose 4*h = 3*t - t - 2, 0 = 5*t - h - 14. Solve -2*f = -3*n - 5, 0*n - 1 = -2*n - t*f for n.
-1
Suppose 3*l - 2 = 5*a, -2*a + 3*l - 1 = 7. Let r be (a/(-6))/((-6)/90). Suppose -r + 0 = -v. Solve -3*m = -v*n - 7*m + 21, 2*m = -5*n + 23 for n.
5
Suppose -q = -7 - 3. Suppose -5*k + 0 = -2*j + 4, k + 5*j - q = 0. Suppose k = 4*p - 35 - 17. Solve l - 4*l = -2*c - 11, -3*l = 4*c + p for c.
-4
Suppose u = 7 + 8. Suppose -5*m - t + u = 0, -12 = -4*m + 5*t - t. Solve m*a + w + 11 = 3, 3*w - 12 = 0 for a.
-4
Suppose 2*u = 5*u - 12. Solve 4*y - 1 = 4*s - 25, u*s = -3*y + 10 for y.
-2
Suppose -2*c = -7*c + 50. Solve 3*y - c = -2*y - 2*a, 3*a = -2*y + 4 for y.
2
Let z be (-14)/(2/(0 - 1)). Suppose 0 = -n + 3 - z. Let i be (3 - (-10)/n)*6. Solve 3*c - i*r - 26 = -c, -c - r = -3 for c.
5
Suppose -4*u + 7*u = 4*w - 21, -3*w = 3*u. Let f(i) = 2*i - 2. Let b be f(w). Suppose -b*d = -2 - 54. Solve 2*v + c = -3*c - d, 4*v = -4*c - 20 for v.
-3
Let c be (1 - (2 - 0))/(-1). Suppose 2*d - 44 = -2*d. Let l = -8 + d. Solve -4*k - 12 = -2*q, 5*q = l*k - c - 4 for q.
-4
Let s(a) = 2*a**3 - a**2 + 1. Let j be s(1). Solve -5*d + 3*o = -25, 2*d + j*o = -0*o + 10 for d.
5
Let f(t) = -t**3 + 13*t**2 + 14*t + 9. Let d be f(14). Suppose -4*a + d*a = 0. Solve 5*v = 4*x - 15, v + 3*v + 4*x - 24 = a for v.
1
Let l(u) = -u - 11. Let q be l(-14). Solve -2*o - q*o = 2*r - 28, -2*o = 3*r - 20 for r.
4
Let d(j) = -j**3 + 10*j**2 - 15*j - 5. Let w be d(8). Solve -f - f + 4*x = -2, -w*x - 6 = 0 for f.
-3
Let l = 1 - -2. Suppose -3*u + 18 = 3*a, 3*u = 5*u - 5*a + 9. Let b be (-1)/(-2) + 5/10. Solve 0*z - 2*t + b = z, -l*t - u = -3*z for z.
1
Suppose 0 = c + 2*c - 6. Let x = 4 - 1. Suppose 0 = x*k - 2*m - 14 + 1, 2 = -m. Solve -2*j - 14 = k*d, c*j - d = -2*j for j.
-1
Let u(z) = 5*z**3 - 3*z**2 + 2*z - 3. Let o be u(2). Solve s = -3*l - 2*l - o, l + 2*s + 13 = 0 for l.
-5
Let t(o) = o - 2. Suppose 22 = 2*b - 2*k, 4*k + 16 - 5 = b. Suppose s + 0*s = b. Let h be t(s). Solve 3*j = 5*x - h, 4*j - 5*x + 10 = 3 for j.
2
Let h = -163 - -178. Solve 0 = 5*a - 3*t - 24, 3*a - 5*a + 3*t = -h for a.
3
Suppose 11*p = -p + 60. Solve 5*g = n - p, g - 2*n = -n - 1 for g.
-1
Let j = -13 + 27. Let f(y) be the first derivative of -y**3/3 + y**2/2 + 6*y - 1. Let t be f(0). Solve j = 2*i - 4*k, t + 2 = -i - k for i.
-3
Let x = 85 + 91. Let f = 6 - 10. Let d be x/40 - f/(-10). Solve 2*p - 8 = 2*v, v + 0 + d = -5*p for p.
0
Let o = 90 + -53. Suppose 36 = 4*q - 4*g, 3*g + o = 7*q - 2*q. Suppose 3*t = 4*t - 3. Solve q*m - 5*p + 3*p - 31 = 0, t*m = p + 18 for m.
5
Let g(a) = -a**3 + 6*a**2 - 2*a. Let i be g(3). Solve -2*c - 14 = 2*t, -3*t + i = 4*c + 47 for t.
-2
Suppose 2*g + 4*q = -2, -5*g + q = 2*q - 13. Let u = 30 - 22. Solve 3*p = 7*p + g*f + 14, 0 = -4*f + u for p.
-5
Let u(h) = 4*h - 4. Let i be u(5). Solve 6 = p - 2*p + k, -p + 3*k = i for p.
-1
Suppose 6*b + 15 = b, 5*i + 2*b = 19. Solve 3*j = 9, -i*j + 0*j = 5*p - 5 for p.
-2
Let p(u) = u**3 - u**2 + 2*u - 3. Suppose 3*z - 1 = 5. Let c be p(z). Solve -10 = 5*g - 5*j, -2*g + c*j + 0 = 1 for g.
-3
Suppose -12 = 3*q + q + 5*d, 4*q + d - 4 = 0. Solve -q*v - 2*p + 4 = 0, 3*v - 2*p = -p + 2 for v.
1
Let c be 0 + -1 + (1 - 0). Let j(x) = 2*x**2 - 2*x - 2. Let i be j(2). Let u = 5 - i. Solve -a = 3*w - 15, c = u*w + w - 16 for a.
3
Let t = -65 + 71. Solve 3*m = -3*k + t, -3*m + 2*k - 10 = k for m.
-2
Let q = -13 - -17. Let k be (3/(-6))/(1/(-2)). Let g = k + q. Solve l + l = g*c - 19, -3*c - 4*l = -27 for c.
5
Let n be (-304)/95*10/(-4). Suppose -3*s - s = -8. Solve -6 = -5*t - d, n = 2*t + 4*d + s for t.
1
Let j be ((-1)/(-1) - 5) + -1. Let v(c) = -c**2 - 7*c + 2. Let f be v(j). Solve -23 = -2*k - k - 4*x, 0 = -2*k - 2*x + f for k.
1
Let v(r) = r**3 + 5*r**2 + 9*r + 9. Let f be v(-2). Solve -n = -5, -4*g + 9 = -f*g + 2*n for g.
-1
Let t be (3 - (4 + -2))*-19. Let k = t + 19. Solve 5 = r + z, k*z = -3*r + z + 15 for r.
5
Suppose 8 = -2*d, -5*d - 16 = -g + 4. Suppose g*z = -3*z + 12. Solve -z*w = -w, 0 = 4*y + 2*w + 8 for y.
-2
Let l = 7 + 5. Solve 4*y - 8 = -4*u, -5*u = -13 - l for y.
-3
Suppose 0 = -3*h - 3*h. Solve h = j + 1 - 0, -5*k - 2 = -3*j for k.
-1
Let c = -10 + 15. Suppose 0 = 3*a + a - 16. Solve c*x + a*f + 12 = -0*x, 3*f = -x + 2 for x.
-4
Suppose -4*k - 36 = 4*o, k + 2*o + 12 = -0*o. Let f = k - -6. Suppose f = -3*l + 6, -r + 2*r = -l + 7. Solve -4 = 5*b + 2*v + 21, b = -3*v - r for b.
-5
Let b = -2 + 3. Let s be 1/(-4) - (-58)/8. Let g be (b - 2) + (s - 2). Solve 4*i = g, -3*h + 4*i = -h - 4 for h.
4
Let n = -56 - -59. Solve -5*m = n*z - 27, 2*z - 5*z + 21 = 3*m for z.
4
Let g(t) = t - 5. Let k(v) = v**3 - 7*v**2 - v + 7. Let q be k(7). Let h be g(q). Let p = h + 8. Solve 5*b = -2*j + 5, 3*j + 2*b + 18 = p*b for j.
-5
Suppose 2*k + 6 = 12. Solve -k*w = -6, -2*j - 2*w + 3 + 11 = 0 for j.
5
Suppose 2*f + 64 = 6*f. Solve 0 = -2*j, -c = 3*c + 5*j - f for c.
4
Let k(s) be the third derivative of s**5/60 + s**4/24 + s**2. Let q be k(-1). Let x be 6/9 + (-10)/(-3). Solve 2*r + 3*m = -7, 2*m + x + q = -2*r for r.
1
Let n = 25 + -23. Solve -3*a + n*b - 7 = 0, -4*b = -4*a - 0*b - 16 for a.
1
Suppose 2*c = -q + 8, 4*c = -3*q + 10 + 8. Suppose 3*y + g - 7 = 13, 5*g - 15 = q*y. Solve -p + 2*o - 1 = 4, -o = -3*p + y for p.
3
Suppose u + 15 = -3*x - 0*x, -u = -2*x - 5. Let c(i) = i**3 + 4*i**2 - i - 2. Let g be c(x). Let n = 39 - 21. Solve 3*b + g*b + n = -4*p, 5*p = -b - 12 for b.
-2
Let g = -3 - -5. Let i be (8/(-28))/(g/(-14)). Solve -9 = -3*k, -3*k = -4*w - 11 - i for w.
-1
Let a(f) = f**3 - 5*f**2 - 4*f + 6. Let o be a(6). Solve -2*k = 3*g - 7 - o, 15 = 3*g for k.
5
Suppose -2*l + 3*j + 64 = 0, -2*j - j - 160 = -5*l. Suppose 4*t - 3*b = l, -4*b - 39 = 5*t - 10*t. Solve 2*h + t = -2*p - p, -10 = 3*p + h for p.
-3
Suppose 0 = 3*m - 79 + 10. Solve -2*l + w + w = 2, 5*l - m = -2*w for l.
3
Suppose -3*u + 5*u - 8 = 0. Let v be 1/(u - 3)*4. Suppose -2*g - 22 = -7*g - v*i, -i + 13 = 5*g. Solve 5*q - 30 = 4*n, 16 = -5*q + 8*q - g*n for q.
2
Let o(j) = -j**2 - 3*j - 3. Let i be o(-3). Let x = i + 3. Let r = 2 + x. Solve z + r*n + 13 = -2*n, 5*z + 33 = -4*n for z.
-5
Let f be (-2)/(-4)*-2 + 2. Let w(o) = 5*o**3 - o**2 + 2*o - 1. Let a be w(f). Suppose 20 = 4*i - 0. Solve 2 = -a*g - 3*d - 2, 0 = 4*g - i*d + 18 for g.
-2
Let c(h) = h**2 - 2*h - 1. Let d be c(4). Let f = 16 - d. Solve -4*k = -0*k - 3*i - 8, k + i - f = 0 for k.
5
Let n(y) = 2*y - 16. Let c be n(8). Solve 5*q + 0*i = i - 5, 3*q - 5*i - 19 = c for q.
-2
Suppose 5 - 15 = -5*y. Let a = 4 - y. Solve 0 = 4*u - 12, -i + a*u - 1 - 6 = 0 for i.
-1
Suppose -2*i = -d - i + 16, 0 = -5*d - 2*i + 73. Let p(s) = 7*s - 33. Let r be p(5). Solve -4*u = 5*a - r*u - d, -5*u = 4*a - 29 for a.
1
Suppose 0 = 4*l - 37 - 15. Suppose -3*a + l = 1. Solve 0 = -2*i + a, 4*m - 2*m + i = -6 for m.
-4
Suppose 2*v + v - 3*j - 21 = 0, -4*v - 4 =