-1
Suppose 4*f - 333 = 31. Let u = f + -82. Solve -4*b = -3*v - u, -2*b + 8*v = 4*v - 12 for b.
0
Let x(v) = 4*v + 29. Let b be x(-6). Suppose 12 = 2*j - t, t + 27 = -0*j + b*j. Solve 3*p + 2*p + 5*f - j = 0, -2*f = 5*p + 7 for p.
-3
Let f = 67 - 59. Suppose -5*u = -7*u + f. Solve -r = -u*p + 4*r - 8, -4*r + 19 = p for p.
3
Let a(w) = w**3 - 6*w**2 + 2*w - 6. Let q be a(6). Let s be 4/(8/q)*1. Solve 0 = 4*d - 8, -5*v - s*d + 7 = -7*d for v.
3
Let t be 8 - 8 - (2 - 2). Suppose 3*l + 2*l - 115 = t. Let j = 27 - l. Solve 5*z = -j*x - 40, 5*z + 4*x - 3*x = -25 for z.
-4
Let u(g) = g**3 + 2*g**2 - 3*g - 4. Let t be u(-1). Suppose -4*p - 5 + 13 = 0. Suppose t = 5*z - p - 8. Solve 4*i + 3*l = i + 15, 4 = z*l for i.
3
Suppose -5*p - 2*c + 18 = 0, -c - 4*c + 10 = -5*p. Solve 3*m + 5*i + 28 = 0, 7*m - 9 = 6*m + p*i for m.
-1
Let h = 3 + 0. Let l = -166 + 191. Solve -2*b - 8 = 2*b + a, -h*b + 4*a - l = 0 for b.
-3
Let a(m) = -m + 14. Let v be a(7). Solve 28 = 4*f - 3*i + v, -f - 3 = 2*i for f.
3
Suppose 2*t = t + 5. Let x(r) = -6 + r**3 + 11*r - 5*r - 11*r**2 + 5*r. Let d be x(10). Solve -4 = t*j + d*s + 4, s = -3*j - 2 for j.
0
Let c(i) = i + 7. Let x be c(-3). Suppose 6*m + 4*t + 7 = 3*m, -3*t = 4*m. Let d be (35/70)/((-2)/(-44)). Solve 5*v + d + x = -2*y, 12 = m*y - 4*v for y.
0
Let u(r) = -8*r - 75. Let t be u(-10). Solve -3*m + m - 5*n - 25 = 0, -3*n + 16 = -t*m for m.
-5
Let m(y) = -6*y + 38. Let g be m(6). Let s(b) = b + 8. Let k be s(-10). Let w = k + 5. Solve -w*n = g*p, 0 = n + 4*n - 2*p for n.
0
Let s be ((-1)/2 - 95/(-10)) + -2. Suppose 5*w - 21 + s = 3*y, -5*y + w + 6 = 0. Suppose 4*p - 2*p = 0. Solve p = 3*x + y*d + 16, -2*d - 11 = -1 for x.
-2
Suppose -5*q + 167 = -158. Suppose 5*h - 4*o = -66, 0*h - 5*o = -5*h - q. Let m(k) = k + 14. Let n be m(h). Solve 3*w = 4*r - 4, 4*w + 0*r - r + 1 = n for w.
0
Let b(j) = 2*j - 30. Let n be b(-13). Let p = 58 + n. Solve -3*u + 12 = -p*a - 9, -5*u + 40 = -5*a for a.
-3
Suppose -u + 2 = 3*v, 3*u - 2*v = -12 - 4. Let c be ((3 - 11)/(-2))/((-4)/u). Solve -3*w = -2*t - 9, 4*w - c - 8 = -2*t for w.
3
Let w = -64 - -64. Suppose 6*s + 2*s - 16 = w. Solve -3 = -3*g - s*y, 4*g + 4*y - 3 = y for g.
3
Let z(g) = 5*g - 2. Let u be z(5). Let d = 27 - u. Let i be (d + -3 + 0)*0. Solve i = 2*b - 4*v + 20, -2*b + v - 8 = -0*v for b.
-2
Let f = 1 + 2. Let q(b) = -b**3 + 3*b**2 + 2*b - 3. Let d be q(f). Solve 2*m - 4*j = 6, 0*m - d*m - 5*j = 2 for m.
1
Suppose -14 = -v + 2*g - 7*g, 3*v - 2 = 5*g. Solve -v*m + 9 = -5*j, m + 4*m + 4*j = -40 for m.
-4
Suppose 7*r + 26 = -9. Let q(j) = -3*j**2 - 18*j - 11. Let l be q(r). Solve 0 = -5*h + l*p - 31, -h + p - 2 = 5 for h.
-3
Suppose -255*g - 14 = -256*g. Solve 20 = -0*t + 5*t - 3*c, -t - g = 3*c for t.
1
Suppose -6*a + 61 = -a - 7*w, -2*a - 2*w + 34 = 0. Let l(h) = -h**3 - 6*h**2 + 5*h + 9. Let n be l(-7). Solve -4*r + d = -a, -3*d = 3*r + 2*r - n for r.
4
Suppose 0 = 6*b + 15 - 33. Let q(a) = a**3 - 3*a**2 + 2*a - 4. Let s be q(b). Solve 2*m - 5*x - s + 22 = 0, -m = -2*x + 8 for m.
0
Suppose 0 = 4*u + 9 - 49. Let x = 13 - u. Let v = 5 - x. Solve -3*f = -5*s - v, f - 5*s = -0 - 6 for f.
4
Let n = -70 - -72. Let c = 8 - -16. Suppose -n*l + c = 4*t, -2*l - 2 = -t - 1. Solve 3*h + 4 = 6*h + 4*s, s = t*h - 22 for h.
4
Suppose -71 = -19*k + 157. Solve 3*h + 0*b = 2*b + k, 0 = 2*h - 3*b - 8 for h.
4
Suppose -2*o = 5*j - 24, -2*o = -5*o - 4*j + 22. Suppose 0 = -2*c + 3*c - g + 2, 3*c - o*g + 1 = 0. Solve a = -x + c, -x + 2*a = x + 10 for x.
-1
Let r be 2/(-21 + 11 - -11). Solve r*x + 5*b = 5, -5 - 7 = -2*x + 2*b for x.
5
Suppose 1 = 4*n - 7. Let j = 9 - n. Let r = j - 3. Solve -b + 4*f - 1 = r, 6 = -5*b + f for b.
-1
Suppose -20 = 2*j - 28. Solve 0 = s + 1, -3*w - s - j*s = -4 for w.
3
Let q(g) = -3*g**3 + 16*g**2 - g + 5. Let i(z) = z**3 + 1. Let f(k) = -2*i(k) - q(k). Let t be f(16). Solve 16 = -4*j, t*a - 3*j = 4*a - 3 for a.
-3
Suppose z = -z. Suppose -3*d + 33 + 3 = z. Let s be 39/d - (-6)/8. Solve -2*r + 0*f + 2*f = 4, 0 = -s*r + 2*f - 10 for r.
-3
Suppose 0 = 3*k - 8*k. Suppose k = -3*j - 3*j + 30. Suppose -u = j*u - 30. Solve i = -u*t + t - 7, 2*i - 13 = t for i.
5
Let z(y) = -y**3 - 29*y**2 - y - 25. Let v be z(-29). Solve v*f + 2*g = 3*g - 9, -4*f - 3*g = -11 for f.
-1
Suppose -4 = -4*v + 8*v, 2*b = -2*v + 6. Solve 2*m - m = -2*k - b, 8 = 3*k - 2*m for k.
0
Let s(o) = -o**2 - 16*o + 17. Let t be s(-18). Let z = t - -40. Suppose 0 = d + 4*d. Solve i + 3*i - b - z = d, -2*b - 22 = -3*i for i.
4
Suppose 8 = -4*y, -5*y - 193 = -4*s + s. Let x = s + -56. Solve -4*h + 2*p - 4 = 6, 3*p - 11 = x*h for h.
-4
Suppose 4*k + 20 = 8*k. Suppose -2*o + 5 = 2*r - 5, k*r - o - 7 = 0. Solve x = -4*m - 6 - 10, 0 = -r*m + 4*x + 10 for m.
-3
Let l = 67 + -123. Let m be 16/l - (-74)/14. Solve -2*x - m*r - 5 = 0, -5*x = -2*r + 4 + 23 for x.
-5
Let h be 1/(-2)*(-92 + 92). Solve 0 = -n - h*n + w - 1, 0 = 3*n - 5*w - 3 for n.
-4
Let l(f) = f - 8. Let w be l(8). Suppose 5*i - 4*o + 10 = w, 3*o = 2*i + 1 + 10. Suppose 5*k - 3 = i*k. Solve 5 - 18 = 2*n - 5*u, 2*n + k = u for n.
1
Let w = 32 - 0. Let s = w - 29. Solve 4*v + 13 = q - 2, -s = -3*q - 2*v for q.
3
Suppose -3*q - 150 = 5*o, 4*o + 2*q = -0*o - 120. Let z = o + 30. Let d(b) = 2*b - 10. Let l be d(7). Solve -2*p - 4*j - l = -z*j, -4*p - 5*j = -1 for p.
4
Let p(n) = -6*n**2 - 3 + 1 + 2*n**2 + 4 - 4*n**3 - 2*n. Let o be p(-2). Solve 5*r - 53 + o = 4*u, 0 = 4*r + u - 8 for r.
3
Let g(c) = -c**3 + 6*c**2 + 5*c - 6. Let r be g(6). Suppose -10*a + 4*a = -r. Solve 0 = -5*m - 3*n + 5, 2*m - a*n - 28 = -0*n for m.
4
Let v = 254 + -254. Solve 0 = -0*l - 5*l - 20, 3*t - 2*l - 2 = v for t.
-2
Let i(s) = -17 - 2*s + 16 + 3*s**2 - 5*s**3 - 4*s**2. Let z be i(-1). Suppose 0*m = z*m. Solve 3*g - 3*f + f - 5 = m, -4*g + f = -5 for g.
1
Let s(x) = x**2 + 7*x + 9. Let m be s(-6). Let p be m + -4 - (-5 - 2). Let g be ((-8)/p)/(6/(-18)). Solve g*f + w - 7 = 0, 4*f = -w - 2*w + 13 for f.
1
Let b = -4 - -16. Let g = 14 - b. Suppose i + 3*x + 3 = 5, 2 = -g*x. Solve -r - 2*c = -6 - 3, -18 = -r - i*c for r.
3
Let v(l) = 2*l**2 - 22*l + 56. Let y be v(4). Solve -5*r + 3*r = y, r - 1 = q for q.
-1
Let o be (16 + -1)*(3 + -1). Let q = -1253 + 1257. Solve 3*g = -j - q, -o = 3*g + 5*j - 10 for g.
0
Let f(z) = 3*z**3 - 2*z**2 + 2*z - 1. Let s be f(1). Suppose s = 2*x - 0*x. Suppose x - 9 = -2*b. Solve 0*a = b*w + 4*a - 12, -3*w = a - 13 for w.
5
Suppose 0 = -2*g - 26*k + 25*k + 11, -k = 3*g - 19. Solve 3*b = -3*z + 4 + g, z - b = 0 for z.
2
Let b be (1/(-2))/((-1)/2). Let o(i) = -i**3 + 7*i**2 - 5*i - 1. Suppose -v + 24 = 3*v. Let n be o(v). Solve 3*w = -n*f + 3, -4*w + 5 = b for f.
0
Let n(m) = m - 2. Let i be n(3). Suppose 5*k = 7*k - 7*k. Suppose k = -2*u + 2, 2*s - 5 = 2*u - 1. Solve s*v = -3, -v = -2*z + z + i for z.
0
Suppose 4 + 23 = 9*a. Solve 2*r + r - a = 0, -r = -t for t.
1
Let d(b) = b**2 + 10*b + 10. Let q be d(-8). Let v(x) = -x**2 - 13*x - 14. Let u be v(q). Let r = -15 + u. Solve -r = -4*o + 3*i, -4*o + 15 = -3*i + 2*i for o.
4
Let c(t) = -t. Let g = 1 - 8. Let d be c(g). Let u(j) = j**2 - 6*j + 10. Let p be u(d). Solve -2*z = -3*v - z - p, 21 = -3*v + 3*z for v.
-5
Suppose -71 = -2*w - 15. Solve 5*h - 4*l = -w, 2*h + 5 = l - 5 for h.
-4
Let y(l) = -73*l - 73. Let w be y(-1). Solve -4*d = -5*m - 0 - 11, -3*d + m = w for d.
-1
Suppose 1 - 26 = -5*l. Suppose -31350*s = -31333*s. Solve 2*j - 2*k = s, k + 4 = -2*j + l*k for j.
2
Let p be ((-1)/3)/(4/(-48)). Suppose 0 = -5*o + 3*o. Let l = o + p. Solve -3 = 4*r - 5*z, 4*z - 6 = -l*r + 6*r for r.
3
Let y(c) = 7*c**2 + 1 + c**3 - 5 - 10*c**2 - 2*c. Let j be y(4). Let p = 4 + 1. Solve 2*u = j*o + 4, 7 = -p*o - 3*u + 5*u for o.
-3
Suppose -4*m - 6 = -9*m - 2*x, 3*m + x - 3 = 0. Suppose j + 0 - 3 = m. Solve 0 = 4*h - j*n + 15, 9 = 4*h + 4*n - 11 for h.
0
Let t(j) = -j - 10. Let f(b) = b + 11. Let u(v) = 3*f(v) + 4*t(v). Let w be u(-10). Solve -2*i + 16 = -2*s, 0 = w*i - 8*i + 25 for s.
-3
Let q(j) = -j**3 + 3*j**2 - j + 6. Let s be q(0). Let o(k) = k**3 - 5*k**2 - 4*k - 6. Let a be o(s). Solve -3*p - a - 1 = f, -5*f = -p + 3 for p.
-2
Suppose -p + 55 = 4*p. Let n = p + -6. Suppose -2*q - 12 = -5*x, 0 = -x - 4*x - 5*q + n. Solve -4*r + 3*c - 2*c = -1, -x*c = -4*r + 6 for r.
-1
Suppose b - 2*p - 23 = -p, 3*p = 4*b -