5*c - x. Solve -w = -2*a + 15, 3*w - 10 = -c*a + 2*a for w.
-5
Suppose -382 = 7*b - 445. Solve 0 = -4*x - 3*w - b, -3*x + 2*w - 8 - 3 = 0 for x.
-3
Let k = -58 - -63. Solve -k*a + 3*n + 17 = 0, -3*n = 2*a + 2*a + 8 for a.
1
Let g = 19 - 15. Suppose -5*d = -3*d - g. Let t(m) = -m + 2. Let k be t(0). Solve -4*q = q - 2*x - k, q + d*x - 10 = 0 for q.
2
Suppose -4*a - 56 = -4*g, 5*g + a = 3*a + 55. Suppose g = 2*x + 1. Suppose -11 = -x*i + 9. Solve -i*y - w + 8 = 0, -3 = 3*y - 0*w - 2*w for y.
1
Suppose -26 = -3*q - 4*m, 2 + 27 = 3*q + m. Suppose 0 = a - 5*w - q, -w = 5*a - 6*w - 30. Solve -g = 2*b - 8, 20 = -2*b + 4*b - a*g for b.
5
Let i = -592 + 597. Solve -4*x + i*c - c = 4, 3*c = -6 for x.
-3
Suppose 2717*t = 2740*t. Solve 5*i = -t*b + b - 12, -9 = 3*b for i.
-3
Let f be (73/(-1))/(4 + (2 - 7)). Let v = f - 69. Solve 4*c = -0*c - v*u - 32, -4*c = 3*u + 29 for c.
-5
Let b be -2 + 24/14 - (-144)/63. Solve -t - 5 = a - 3, 0 = b*t - 5*a + 25 for t.
-5
Suppose 17*r - 45 = 40. Solve 0*m - 19 = -r*m + 3*o, 4*o = -2*m - 8 for m.
2
Suppose 4*x - 16 = k - 5*k, 0 = 3*k + 4*x - 16. Solve -2*s + 3*w + 7 = 0, k = -s + 4*w - 3*w + 3 for s.
2
Suppose -18 = j - 5*x, 0 = -j + 8*x - 5*x - 8. Solve 7*b - j = 2*w + 6*b, 3*b - 19 = 4*w for w.
-1
Let k be 1/(15/6 + -2). Suppose k*o + 4 = 0, 3*q + q = 4*o + 8. Solve 2*u + 3*r + 13 + 3 = q, 0 = u + 3*r + 14 for u.
-2
Let a = 112 - 110. Let s be (-30)/(-8) - (-2)/8. Suppose s*o - 15 = -o. Solve u + 6 = 3*f - a*f, -4*f + 10 = o*u for u.
-2
Let d be (0 - 1)*11*1. Let t = d - -15. Let a(i) = -26*i - 3353. Let q be a(-129). Solve 3*w + 2 = k + q, -2*k = t*w - 2 for k.
1
Let u be (1 + 2)/((-6)/(-8)). Let n be -4*19/u*-1. Suppose -3*w + 2*w + 4*q + n = 0, -q - 16 = -4*w. Solve 2*h = h + 4, 5*y - 27 = -w*h for y.
3
Let h be 20/(-9) + (-8)/(-36). Let p(b) = -14*b - 2. Let w be p(h). Solve i + 3*g = 3 - 2, -4*i + 3*g - w = 0 for i.
-5
Let z(t) = -t**3 + 6*t**2 + t - 26. Let u be z(5). Solve -2*p = -3*q + 15, 3*p = u*q + 1 - 22 for q.
3
Let r(j) = 4*j**2 + 3*j - 10. Let z be r(-5). Let l = -75 + z. Solve 0 = -c - c + u + 10, 3*c + 4*u - 4 = l for c.
4
Let f = 5 + -3. Let k = -23 - -27. Suppose -12 = -k*w + w. Solve -z + 2*q + 7 = -4*z, 0 = -2*z - w*q - f for z.
-3
Let h(d) = d**2 - 11*d + 14. Let n be h(10). Suppose 0 = x + n*x - 15. Solve -5*f = r, -2*r - x*r = f for f.
0
Suppose 10*u = 2*u + 112. Suppose u = 6*p - 4. Solve -3*c + 15 = p*g, 8*g + 3*c = 3*g + 15 for g.
0
Suppose 54 = 7*x - 10*x. Suppose 3*w - w - 3*r - 88 = 0, -w + 3*r + 50 = 0. Let y = w - x. Solve 2*s = -3*f - 19, 21 = 4*s + 5*f + y for s.
-5
Suppose 2*g + 0*g - 16 = 0. Let s = g - 1. Solve -4*t - s = -4*d - 23, 3*t = 5*d + 14 for t.
3
Let f = -1291 - -1295. Solve f*q - 2*d = 2*d - 20, 2*d = -2*q + 2 for q.
-2
Suppose 2*q + 1 = -s - q, 5*q + 5 = 0. Suppose o + s = -o - m, m = o - 2. Solve 3*b = -2*v + 10 - o, 6 = 2*v + 2*b for v.
-1
Let s = -193 - -219. Solve -4*x + s = -3*v, x = 4*x + 5*v - 5 for x.
5
Suppose 60*n - 61*n + 3 = 0. Solve -8*p = 5*u - n*p + 25, 13 = -3*u - 2*p for u.
-3
Suppose 22 + 106 = 32*b. Solve b*y = 5*l - 6, -2*l - 3*y - 11 - 5 = 0 for l.
-2
Let r = 9 - -18. Let i = 57 - r. Suppose 2*q = q - 4*b + 23, 4*b - i = -2*q. Solve 2*a + a = 2*c - 1, -3*a = 4*c + q for c.
-1
Let q(x) = -x**3 + 6*x**2 - x + 11. Let t be q(6). Let s = t + -6. Let o be (3 + 0)/((-1)/s). Solve -4*m + 9 = 3*p + m, p = -3*m + o for p.
3
Let o(w) = -3*w**3 + 21*w**2 + 2*w - 9. Let c(x) = -x + 15. Let t be c(8). Let s be o(t). Solve -p - 2*k - s = -0*k, -4*p + 5*k = -19 for p.
1
Let t = 19 + -14. Suppose 9*s - t*s = 4. Let w be s/(-6) + 215/30. Solve -2*u = -w*u, -4*u = -5*f + 5 for f.
1
Let s(u) = u**3 + 11*u**2 - 21*u + 9. Let c(z) = -z**2 + 1. Let l(q) = 2*c(q) + s(q). Let p be l(-11). Solve p = 2*t - 5*a - 28, 0 = 3*t + 5*a + 3 + 5 for t.
4
Suppose -4*v = -5*x + 4*x - 33, 2*x + 17 = v. Solve 0 = -j - 2*r + r - v, -4*j - 24 = 3*r for j.
-3
Let m = 19 - 39. Let l = m - -12. Let k be l/10 + (-98)/(-35). Solve 4*h - 8 = 0, -k*h = -3*j - 4 - 15 for j.
-5
Let x(p) = -2*p**2 - 8*p - 36. Let n be x(-9). Let z = n - -128. Solve z*q = -4*f + 30, -f + 10 = q - 0*q for q.
5
Suppose v - 5 = -1. Suppose 5*p + 10 = 0, -4*p + 64 = 5*r - 2*r. Suppose 6*c - r = 4*c. Solve -3*i + c = 5*y, -i + 0*y + 2*y + v = 0 for i.
4
Let u be (8*(-4)/(-20))/((-6)/(-15)). Suppose -u*m - 8 = -16. Suppose 0 = -5*j + 2*j + 12. Solve m*q + 21 = q - j*v, 5*v = 2*q - 10 for q.
-5
Suppose -3 = b + 6. Let t be (-2)/(((-18)/(-4))/b). Solve 5 = 5*m + 2*p - 0, 0 = 5*m - t*p + 25 for m.
-1
Suppose -r = -5*s + 3*r + 45, -27 = -3*s + 3*r. Solve c + 2*y + 0*y + 13 = 0, c = -y - s for c.
-5
Let x(v) = v**2 - 7. Let b be x(-3). Solve 5*o - 4 = b*c - 39, -15 = -4*c - o for c.
5
Let i be -14 - -10*((-28)/(-20) - 1). Let b = 13 + i. Let c(z) = z**3 - 9*z**2 + 9*z + 10. Let w be c(8). Solve 7*m + 17 = -4*t + 4*m, 3*t + w = b*m for t.
-5
Suppose 0 = -2*z + 6 + 8. Let s = -11 - -20. Let i = 0 + s. Solve 2*k = l - k + i, 5*k = -l + z for l.
-3
Let s = -3 + 7. Let g be (6/33 - 424/(-88)) + -1. Solve 2*b + 4*c = -12, -b - g*c = -s*b + 2 for b.
-2
Suppose 5*s + 15 = 4*y, -s = 2*s + y - 8. Let p be 5 + (4 + s)/(-5). Solve 5*a - 3*a + 15 = 3*i, -20 = -p*i + 3*a for i.
5
Suppose 5*b = 5*g - 20, 4 = 3*g - g - 3*b. Suppose -g - 2 = -5*y. Solve -f = x, -y = -4*x + 4*f + 6 for x.
1
Suppose -2*w + j - 16 = -6*w, 0 = -2*w + 2*j + 8. Suppose w*m - 5*m - b = 0, -4*b = 0. Solve 4*u + x + 10 = m, -u - 1 = -2*u - 2*x for u.
-3
Let g(t) = t**3 + t**2 - 4*t + 10. Let o be g(-3). Solve -5*i + 5 = -2*p, -i - o*p + 5 = 4 for i.
1
Let c = -769 + 772. Solve 3*i + 5 = -y, i = c*y + 4*i + 3 for y.
1
Let n = -8 + 23. Suppose n = -2*k + 3*x, -16 = -5*k - 3*x - 1. Solve l - 3*u = -10, -5*l + k*u + 10 = 5*u for l.
-1
Let v = 25 + -25. Let y(z) = -z**3 + z**2 + 3. Let p be y(v). Suppose -5*s = 5*j - 5, -7 = -5*s - p*j + 2. Solve -s*q - 5*l = -0*q - 12, -4*q = -4*l - 16 for q.
4
Let r(o) = -3*o + 3*o + o**2 + 6*o + 3 + 9. Let c be r(-3). Let m be ((-4)/(-10))/(4/40). Solve -2*v = c*n - 3*v + m, 0 = -2*n + 5*v - 7 for n.
-1
Suppose -6*x + 40 = -x. Let n(d) = d**3 - 8*d**2 + 6. Let m be n(x). Suppose -2*a + 12 = m. Solve -4*q = 2*j + 6, -a*j + 3 = 3*q + 6 for q.
-2
Let t = 7 + -5. Let c(x) = 4*x + 46. Let h be c(-11). Let f be (9/6)/(6/20). Solve 4*l + t*n = 5*l, h*l + n = -f for l.
-2
Let a be 7/490*14 + (-48)/(-10). Solve -11 = 3*z + 4*v, -a*v - 10 + 3 = -3*z for z.
-1
Let t be 0/(-2) + 5 + 0. Suppose -13*u + t*u + 32 = 0. Solve k + 2*d = -4, u = -k - 5*d - 0 for k.
-4
Let i(x) = -x**2 - 4*x - 1. Let r be i(-3). Let m be 3*(-4 + 8)*2/6. Suppose 0 = m*u - 7 - 13. Solve -u*s + 2 = 8*y - 4*y, 0 = -2*y + r*s - 8 for y.
-2
Suppose 2*h + 3*h + 110 = 0. Let j be h/(-8)*(-12)/(-5 + 2). Solve 2*v - y = -0*y + j, 3*v + 4*y = 11 for v.
5
Let v be (-1)/((36/138)/(-6)). Solve 3*j + 9 = 0, 4*j + 4 + v = -3*f for f.
-5
Suppose -19*i - 15 = -72. Solve 0*m + 4*m = 2*s - 6, -i*s = 3*m + 18 for m.
-3
Let k = -138 + 140. Let i = -2 - -4. Solve -i*w - k = -3*f + f, w + 9 = 3*f for f.
4
Let v be (7 + -6)/(4/(-108)). Let h = v - -30. Solve -g = 5*b + 21, -h*g - 1 = -4*b - 14 for g.
-1
Let c(y) = -y**3 - 15*y**2 + 16*y + 9. Let i be c(-16). Let a be (i + -6)*(-16)/(-6). Suppose -a = -6*m + 4*m. Solve 0 = 4*l - 12, 2*k = 3*k - 2*l + m for k.
2
Let r(h) = 3*h - 6. Let z be r(3). Suppose -2*q = -1 - z. Solve -4*y + 2*n = 0, -3*y = q*n + 11 + 3 for y.
-2
Suppose -187*a + 8 = -183*a. Solve 3*q + 6 = -4*i, -i + a - 6 = 2*q for i.
0
Let c be (-1687)/(-21) - 2/6. Suppose -2 = a + 3, 4*a = 5*j - c. Solve 5*t - 30 = -0*h - 5*h, 0 = 4*t - j for h.
3
Let b be 1*(8/4 + -2). Suppose 3*x = 5*v + 27, 0 = -2*v + 4*v + 2*x + 14. Let z = -4 - v. Solve -z*w - 2 = m - b*w, -m - w + 1 = 0 for m.
4
Let d(o) = o**3 + 8*o**2 - 35*o - 19. Let z be d(-11). Let j = -2 - -2. Let m be (-3)/(9/(-12)) + j. Solve 6 = m*l + z*a, 1 + 3 = -2*a for l.
3
Suppose 0 = f - 4, -g - 3*f = -5*f + 18. Let m be (-4 - (-66)/15)/((-2)/g). Solve 4*n - 3*d + 16 = 0, -4*n + 0 + 4 = m*d for n.
-1
Suppose 5*k + 249 = 2*v, -v = 2*v - 6. Let s be 14/k - (-30)/7. Let z be 0 + (4 - 2 - -1). Solve z*q + s*n = 2, 4*q = -n - 4*n + 2 for q.
-2
Let n = 7 + -5. Let i(s) = -6*s**3 - s**2 - 2*s - 1. Let c be i(-1). Suppose -2*h + h = -c.