
-4
Let z = 863 - 858. Solve 3*g - s = -10, z*g + s + 1 = -21 for g.
-4
Let z(g) = -g**2 - g + 3. Let w be z(-4). Let f(m) = -m**2 - 7*m + 20. Let j be f(w). Solve -2 - 22 = -j*h - 4*r, 0 = -5*h - r + 24 for h.
4
Suppose -8 = -8*u + 4*u. Suppose -2*h + 5*g = 15, u*g + 0*g - 5 = h. Let k be h/2*(-60)/(-5). Solve j + 5*m - k = 0, 5*m - 6 = 3*j + 4 for j.
5
Let g(c) = -4*c**2 - 2*c + 2. Let v be g(-3). Let a = -22 - v. Solve -a = 4*u + 2*b, 5*b = -3 + 8 for u.
-2
Suppose -2*a + a - 18 = 3*g, -5*a = 15. Let m(c) = -c - 3. Let b be m(g). Suppose -b*r + 12 = 2*r. Solve 2*u + 0*s - s = 2, -r*s = -2*u - 2 for u.
2
Let w(p) = p**3 + 6*p**2 + 9*p + 5. Let j be w(-2). Solve -3*c + 3*z = 9, -j*c - 5 = -5*z + 2 for c.
-4
Let o be (21 - 14) + (1 - -9)/(-2). Solve -3*h - 1 = -o*v + 24, -4*v + 35 = -3*h for v.
5
Let b = 79 - 79. Suppose -n + 19 = 4*o, -4*n = 5*o - 32 - b. Solve t - s + 2 = -t, o*t = 4*s + 4 for t.
-3
Let s(w) = -w + 7. Let t be s(6). Suppose -3*u = -7 + t. Let b = 3014 - 3000. Solve -3*k = -2*x + k - b, 2*x + u*k = -2 for x.
-3
Suppose -20*z + 59 = 19. Solve 0 = -2*r - z*g - 2, -3*r + 8*r + 3*g + 11 = 0 for r.
-4
Let p(b) = -2*b**3 + 14*b**2 - 5*b - 17. Let f be p(6). Suppose f*r = 23*r + 6. Let u = 68 - 41. Solve 4*w + u = 5*o, -5*w - 24 = -0*o - r*o for w.
-3
Let q = -253 - -262. Solve -f = -q*x + 4*x + 9, -5*f + 7 = x for x.
2
Let i(p) = -2*p. Let s be i(-1). Let q(f) = -45 - 4*f + 56 - 46. Let o be q(-10). Solve -o*y = x - 9, x = s*y + 2 - 0 for y.
1
Let i(m) = 3*m - 3*m - 9 - 1 - m. Let s be i(-10). Suppose 3*z - 15 = -s*z. Solve -z*r - g + 25 = 0, 5*g - 49 + 8 = -4*r for r.
4
Suppose o + 0*v - 164 = -4*v, 5*v + 173 = o. Let i be 2/11 - o/(-44). Suppose -13 = -5*f + 27. Solve a - 3*x = -12 + 1, 3*x - f = i*a for a.
1
Let v be (-20)/15*-9*1/4. Solve t = -0 + 1, 0 = -3*l - v*t for l.
-1
Suppose -3*v = 5*p - 26, 2*v + 3*v - 22 = -3*p. Suppose -h - 44 = -3*h - p*l, -3*l = -4*h + 77. Solve 4*k = -k - h, -i - 8 = 2*k for i.
0
Let t = -9 - -9. Suppose -5*f + 15 = -t*f. Solve 1 = f*h + 2*i + 2*i, 2*h - 6 = -4*i for h.
-5
Let d(l) = l - 1. Let u = -26 - -29. Let s be d(u). Suppose -6*x + 21 = -s*x + 3*o, 2*o - 15 = -3*x. Solve 3*z - 2*g = 1, 6*z - z - x*g = 1 for z.
-1
Let c be 1 + 1 + -3 + 3. Let f = 11 - 7. Suppose -7*q + 5*q = -f. Solve -g + 23 = -5*x, -3*x - q*g - 23 = c*g for x.
-5
Suppose -51 + 37 = -7*y. Solve y*x = 2*u + u + 7, 4*u + 40 = -5*x for x.
-4
Let s = 54 - 79. Let f be 1/5 - (95/s + -2). Solve 2*d = -5*c + 27, 0 = -c + f - 1 for d.
1
Let p = -1 - -4. Suppose 0*z - 2*z - 3*h + 3 = 0, -3*h = p. Suppose -3*u + 13 = 4*j - 6*j, j - 16 = -z*u. Solve 6 = 2*q + 2*o, 2*q - u*q - 5*o = -11 for q.
2
Let n(z) = z**3 - 24*z**2 + 2*z - 54. Let s be n(24). Let y be (-3)/s*(-8)/(-1). Solve u + y*u = -d - 13, -u + 4 = -2*d for u.
-2
Suppose r - 3 - 1 = 0. Suppose -f = 4*m + 77, 2*m + 0*m + r*f = -42. Let y = m + 21. Solve -3*o - 2 = 4*d, -3*d - y*d + 9 = -2*o for o.
-2
Let f be (-2)/(-6) - (0 - (-33)/(-9)). Solve f*d + 2*k + 40 = -3*k, -d = 5*k + 25 for d.
-5
Let l be -1*3/3*-1. Suppose 4*a + l - 9 = 0. Let n be (3 - -11) + a - 2. Solve -s = -2*q + 13, -2*s - s + q = n for s.
-3
Suppose -k + 4*k - 46 = -r, -5*k + 86 = 4*r. Let f = -10 + k. Solve -4*s + s = -f*v + 5, -v - 20 = -5*s for s.
5
Suppose -3*b + 30 = -15. Suppose -3*r + b = -0*r. Solve -3*t - r*d - 18 = 0, -8 + 23 = -3*t - 4*d for t.
-1
Let f be (-6 - 1) + 14/2. Solve t - 2*j - 3*j - 6 = f, -j + 18 = -5*t for t.
-4
Let p(o) = -3*o + 4. Let m be p(2). Let g be 4/(0/4 - m). Let k be (-12)/(-3) - (g - 2). Solve -7*t = 5*x - k*t + 2, 4*x - 20 = 3*t for x.
2
Suppose 80*o = 4*o + 76. Solve 30 = -4*s - 5*r, 0*s = s - 2*r + o for s.
-5
Let t(r) = -r + 7. Let b be t(7). Suppose d - 6 + 4 = b. Solve o - 3 = -a, -3*o + 4 = -2*o + d*a for o.
2
Let n be (-3)/5 + 0 + (-36)/(-10). Let u(w) = 2*w**2 + w + 1. Let r be u(-1). Solve -n*l + 0*j - 15 = -r*j, -l = 3*j - 6 for l.
-3
Let b be -3 - 20/8*-2. Let o = b + -2. Solve 5*w = -2*n + 4 + 11, 4*n + 4*w - 24 = o for n.
5
Let n be (-6)/4 - (252/(-8) + -5). Let z = 36 - n. Solve 4 = -2*b - t - z, b - 4*t + 25 = 0 for b.
-5
Let r be 20*(3 + (-68)/(-20)) - 0. Let h be (-4)/14 + r/56. Solve -3*p - 2*u + u = 10, -3*p - 7 = -h*u for p.
-3
Suppose -2 = 4*b - 14. Suppose -b = l - 5. Solve -5 = w - l*w, -3*v = -2*w - 5 for v.
5
Let k be 4/((-36)/(-105)) + (-2)/(-6). Let y = -7 + k. Solve 0 = 2*a - y*o - 18, 12 = 3*a - 2*a - 4*o for a.
4
Let a be (2/(-4))/((-3)/(-54)). Let r be 258/a - 2/(-3). Let s be (-132)/r + (-2)/(-7). Solve -2*i - 4*h - 38 = -10, 0 = s*i + 5*h + 45 for i.
-4
Let h = -3 - -11. Suppose 3*g = -3*l, 4*g + 18 = -l + 3*l. Solve 3*y = -l*q - 12, -6*y + q - h = -y for y.
-2
Let p be (-4 - -4) + 3 - 0. Suppose p*j = 2 + 4. Solve 3*w - 17 = h - 2*w, 0 = j*h - w - 2 for h.
3
Suppose s = 9 + 11. Let h(u) = 3*u**2 + u - 3. Let o be h(2). Suppose -o*v + 5 = -10*v. Solve -5*p + s = n, -4*p = -v*p - 4*n + 23 for p.
3
Let i be 270/40 + (-6)/8. Suppose -l - i*g + 6 = -4*g, -g + 5 = l. Solve -3*r + 15 = 2*r - 5*p, -3*r = l*p + 26 for r.
-2
Let i be 8*8/16 + 2/(-2). Solve 4*m - 3*m = -5*x - 4, -2*x - 12 = i*m for m.
-4
Suppose 9*g - 1 + 1 = 0. Suppose 3*z = -5*a - 13, -10 = -3*z + 2. Let i = 9 + a. Solve g*c = -c - i*o, 2*c - 2*o = -10 for c.
-4
Let o = -605 + 607. Solve -7*d - 1 = -4*d - 5*u, -4 = o*d - 5*u for d.
3
Let r = 6 - 8. Let z be 1 + 0*3/6. Let q be z - (1 + -4 - r). Solve 0*l = 2*s + l + 2, 8 = -q*s - 4*l for s.
0
Let b(s) = -6*s + 28. Let v be b(4). Solve -v*i - 12 = -5*u, -9*u = -4*u - i - 18 for u.
4
Suppose 0 = a + b - 4, -3*a + 0*b + 16 = b. Let i be (-230)/15*a/(-4). Solve 2*k = 3*j - 13, -3*j + k + 3*k = -i for j.
1
Let c = -206 - -211. Solve 0*z - 13 = -4*z + n, 4*z - 7 = -c*n for z.
3
Suppose 4*f + 3*o + 67 = 0, 0*f + 77 = -4*f - 5*o. Let s = f - -2. Let i = s + 14. Solve i*m + 2*y - 13 = 4*m, -5*m = -y + 20 for m.
-3
Let c(l) = -9*l - 6. Let x = 39 - 40. Let w be c(x). Solve -t = 2*g - 13, -2*g - 1 = -w*t - 2 for t.
3
Let v = -27 - -27. Suppose -2*d + 2*y + 0*y = v, 8 = 2*y. Solve -4*a = d, -h = a + 3 - 1 for h.
-1
Suppose -d - k = -100, 0 = -3*d + 5*k + 382 - 66. Suppose d = 8*j - 74. Solve 2*n = 2*q - 6, 0*n - n - 4*q + j = 0 for n.
2
Suppose 6 = 2*g - 4. Suppose 0*q = 3*q - 15. Suppose 0 = -q*z - g*t + 40, 3*z - 3 = -t + 5*t. Solve -17 = -f + z*d, 2*f - 3*f - 4*d = 10 for f.
2
Let n = 12 - 8. Let y be (0/(-2*n/8))/(-1). Solve -t - 10 + y = 3*i, 0 = 4*i + t + 14 for i.
-4
Let x be 1 - (-1)/(3/9). Suppose -2*u + v + 3*v = -30, -x*u + 5*v + 54 = 0. Let c = u + -11. Solve -5*l + c*p - 2*p = 16, 3*l - p = -3 for l.
-2
Let s = -25 - -26. Let w be 0/((s*-8)/(-4)). Solve -5*p + q + q - 4 = w, p = q + 1 for p.
-2
Let v = -22 - -24. Let q be ((-15)/v)/((-8)/16). Solve 3*s = -3*x + 15, x - 2*x - q = -4*s for x.
1
Let a be (5 + 14/(-6))*3. Suppose -3*p - a = -5*p. Solve 10 = -2*r + 3*g, 3*r + r - 2*g + p = 0 for r.
1
Suppose 0 = j + 5*d + 8 - 5, -33 = -3*j - d. Solve -j = -5*y + 4*v, -2*y = -v - 0*v - 3 for y.
0
Let f be ((-2)/8*0)/2. Suppose 32 = 31*w - 30. Solve f = w*p - 5*g - 9 - 6, 0 = -5*p + 4*g + 12 for p.
0
Let j(b) = -b**3 + 3*b**2 + b + 2. Let u be j(3). Suppose -6*z + 2 = 56. Let l be 1 - (z/(-15))/((-5)/25). Solve 1 = -2*n - u*m, 2*n + l*m = -3*n + 6 for n.
2
Let a(p) = -32*p + 356. Let i be a(11). Solve f = -f + 5*n + 28, -i*f = -3*n - 28 for f.
4
Let b(q) = -3*q + 9. Let m be b(17). Let i = -21 - m. Let r = i + -3. Solve -5*z + 2 = -5*t - r, -4*t = 5*z - 11 for z.
3
Suppose 25 + 5 = 5*i. Suppose -i + 1 = -q. Suppose 5*u = -0*c - c - 6, q*c - 3*u = 26. Solve c*r + 8 + 5 = b, -5*r + 3*b = 25 for r.
-2
Let s(p) = p**2 - 2*p - 1. Let w be s(3). Let m = 51 - 17. Suppose 5*u = m + 6. Solve -5*l + 3*o - o + 12 = 0, -5*l - w*o + u = 0 for l.
2
Suppose -3*s + 15 = -3*k, -5*k - 9 = -2*s + s. Suppose -5*f - 5 = s*p - 5*p, -2*f + 25 = 5*p. Solve -3*z + 3*h = f, -2*h + 4 = z - 2 for z.
2
Let d = -3 - -3. Let q be 12/(-4)*(-10)/12*16/20. Solve d = -4*t + q*o - 8, -3*t - 21 + 5 = o for t.
-4
Let v(p) = p**3 - 7*p**2 - 7*p - 5. Let g be v(8). Suppose -n + g*n = 0. Suppose n = -4*j + 30 - 10. Solve -28 = j*x - f + 3*f, 0 = 2*x + f + 12 for x.
-4
Suppose 2*a - 9 = 3*h, 0 = -4*a + 3*h - 0*h + 15. Suppose 3*x - a*l = -6*l + 6, -20 = -2*x + 2*l. Solve 