j - 45 = -4*c, -2*j + 40 = 5*c + 5. Solve 0 = -c*m + 4*w + 25, 0 = -3*m + 3*w - 4*w - o for m.
1
Suppose 17*d - 14*d = 4*k - 24, 0 = d + 4. Solve 2*c - 33 = -5*a, -5*c + k = -17 for a.
5
Let p be (-786)/(-21) + (-18)/42. Suppose 154 - p = -3*z. Let q be (-1)/3 + (-169)/z. Solve -q*j - v + 4 - 1 = 0, 4*j = -5*v - 1 for j.
1
Suppose 0 = v + 2, 4*v + 18 = 4*i - v. Suppose -4*q = 5*j + 99 + 19, -4*j = i*q + 98. Let y be 4/j - (-2)/13. Solve y = -2*b - 4*f - 2, b + 2 = -b + 3*f for b.
-1
Let g(v) = 60*v - 60. Let j be g(1). Solve j = -s + 5, 4*u - s + 2*s + 3 = 0 for u.
-2
Let q be 0*(-8)/(-104) - (-5)/1. Solve -2*p + 2*x = -4, -3*p + 6*x - q*x = -4 for p.
1
Suppose -3*b - 7 = -4*b. Suppose -2*d = -b*d + 35. Let v(a) = -4*a - 3. Let l be v(-2). Solve -l*z = 4*k - d, -2*z - 2*z = 2*k - 2 for z.
-1
Let f(t) = t**2 - 25*t + 19. Let o be f(23). Let q be (8/6)/(42/o - -2). Solve -2*p + 7 = -5*p + 4*k, -q*p + 2*k + 1 = 0 for p.
3
Suppose 74 - 92 = -9*j. Suppose -10 = -2*w + w. Solve i + d + 2 = 0, -j*i = 2*d + 3*d + w for i.
0
Let v be 5 + (-1)/3 + (-14)/(-42). Solve -2*m = -5*m + f - v, 3*f = m + 15 for m.
0
Suppose 6 = -0*k + 5*k + 4*f, 4*k + 5*f - 3 = 0. Suppose -k*i + 2 = -4*b - 0*b, -17 = -4*i - 5*b. Solve 2*u = -4*t + 14, -4*u = 3*t - i - 5 for u.
-1
Suppose 0 = -2*j + 13 - 5. Suppose 8 = -j*g, -3*d + d = 5*g. Let i = -128 - -130. Solve -6 = i*f + b - 5*b, d*f = 5*b - 20 for f.
-5
Suppose -3*p = 3*l + 9, -1 - 2 = 4*l + p. Solve b + 3*x + 11 = 0, -2*b + l*b - 20 = 5*x for b.
-5
Suppose -5*f + 19 = 4*v, 3*v = -3*f + 11 + 1. Solve -5*c + 2*t + 2 = -0, 2 = f*c - 2*t for c.
0
Suppose 20 = 6*m + 2. Solve -22 + 2 = -2*g - 5*d, -g - 12 = -m*d for g.
0
Let z = 4994 - 4992. Let g = -32 + 21. Let c = g + 15. Solve -c = 2*y + k, 5*y - z*k + 9 = -19 for y.
-4
Let z be 1*-3 - (-6 + -15). Let m(g) = -8*g + 4. Let b be m(-4). Let c be 80/b + (-4)/z. Solve -c*v + 3*v = -5*i + 4, -5*v - i = -20 for v.
4
Let r(l) = 43 + l**2 + 13*l - 20 + 0*l + 0*l**2. Let c be r(-11). Solve 0 = i - 2*d - 0*d + c, -5*i + 7 = -4*d for i.
3
Let q = 46 + -46. Let l = 4 - 1. Suppose -2*s = l*s - 20. Solve q = 3*k + a + 6, k = 5*a + s + 10 for k.
-1
Suppose d + 24 = 3*d. Suppose 5*s + 2 = d. Solve 0 = 5*z - 5*q - 15, -16 = s*q + 2*q for z.
-1
Suppose -3 = l + 4*c - 5*c, 2*l + 10 = 3*c. Suppose 0 = 2*x + 10, -41 = -2*j - 2*j + 5*x. Suppose -j = -3*m + 2. Solve -2*b = 4*g + 3*b - l, 3*g + b = -m for g.
-1
Let v(u) = -u**3 - 2*u + 1. Let q be v(0). Let o be (-8 - (2 - 7))*-1*q. Solve 0 = -n + r + 6, -4*r - 22 = -o*n + n for n.
1
Suppose b + 10 = -b, -4*r = 2*b + 18. Let j = -4 - 8. Let g be (j - -10)/(1/r). Solve 4*m = 5*n + 25, 0*n + 2*n - g*m = -22 for n.
-1
Let y = -10 + 25. Let b be ((-1)/(-2))/(y/60). Solve -6*w + 2*g = -4*w + 6, -5*g = -b*w for w.
-5
Suppose 3*v + j - 11 = 0, 0 = -v + 3*v + 2*j - 14. Solve 11 = -3*c - m, 4*c = v*m - 12 - 16 for c.
-5
Let s be (3/(-1) - 1)*(-873)/388. Solve -2*v = 3*k - s + 3, k + 3*v = 9 for k.
0
Let o be 36/(-24)*(-3)/(18/16). Solve -4*r + 3*r - o*m = 23, -r + 12 = -3*m for r.
-3
Let f be (-2)/11 - (-92)/22. Suppose f*g + 2*p + 8 = 0, -4*g - 5*p = -3 + 17. Let c be (-3 + 2)*(1 + g). Solve c = 4*n - 5*z + 3*z - 12, -z - 3 = -n for n.
3
Let i(w) = 3*w + 27. Let n be i(-11). Let h(z) = z**3 + 7*z**2 + 2*z - 9. Let m be h(n). Solve -5*y + y - 16 = 3*o, -4*o = -y + m for y.
-1
Let l(i) = i**2 + i - 1. Suppose -f - 6 = -3*y - 3*f, -y + 2 = 5*f. Let d be l(y). Solve -5*w + 5 = d*a, 5*w - 3 = -2*a + 2 for w.
1
Let a be 264/48 + 2/4. Solve -2*r + 22 = a*p - 2*p, -4*r + p - 1 = 0 for r.
1
Let f(w) = 3*w**2 - 29*w - 5. Let z be f(10). Solve -3 - 4 = g - 3*b, -4*g - z*b = -40 for g.
5
Suppose -5*a - 13 = 5*m - 4*m, 0 = 4*m - 2*a - 14. Solve n = 1, -j + 8*n - m = 3*n for j.
3
Let j(t) = 1 - 12 + 6*t - 4*t - 6. Let u be j(10). Solve c + u*p = 6*c, 2*c - 3*p = 0 for c.
0
Let d be 0 - (1 - -3) - 5. Let m(n) = -2*n - 14. Let c be m(d). Solve 4*y + c*p = 16, -5*y + 5*p + 20 = -0*y for y.
4
Suppose 56 = t + 50. Solve -3*o - 2*x + t = o, 11 = 4*o + 3*x for o.
-1
Suppose -5*u + 1 = -3*g, -9 = -3*g - 3*u + 6. Let y = -986 + 998. Solve -c + 5*c - y = 0, -g*a - 4*c - 3 = 0 for a.
-5
Suppose 4 = -6*n - 2. Let b be 24/4 - (-3)/n. Suppose -b*u = 2*w - 9, -9 = 5*w + 6. Solve u*i + 0 = 5*c - 5, 7 = c - 4*i for c.
-1
Suppose -4*u = w - 2*u + 2, -5*w - 4*u = -8. Suppose s + 5 + 12 = -4*y, -16 = 5*y + 3*s. Let b be 2*(y/2 + 4). Solve 3 = -6*m + 5*m + w*h, b*h - 9 = 3*m for m.
-3
Let z(b) = 3*b**3 - 6*b**2 - 3*b + 8. Let i be z(2). Solve 3*u + 3 = -5*f, -3 = u - 3*f - i for u.
-1
Suppose -5*b + 35 = m, 0*m + 2*b - 68 = -4*m. Let x be (-82)/(-8) - (-2)/(-8). Suppose x*y = 15*y - m. Solve -3*i + 2*r - 5 = 0, -4*i - 16 = y*r + 19 for i.
-5
Let v(m) = -m**3 + m + 3. Suppose 25*x - 21*x = 0. Suppose -w + 2*w = x. Let t be v(w). Solve 5*b + g = 4*g + t, g + 1 = 3*b for b.
0
Let o(b) = 11*b - 27. Let y be o(4). Solve -x - 2*q = -2*x - 5, y = -4*x + 5*q for x.
-3
Let d(r) = -r**3 - 16*r**2 - 4*r - 64. Let u be d(-16). Let k = 6 + -2. Solve -x + 4*l + 13 = u, k*x + x + l + 19 = 0 for x.
-3
Suppose -2*f + n = 3, 0 = 3*f - 5*n + 23 - 8. Solve -1 = -2*d - 5*v, -d + 2*v + 3 + 2 = f for d.
3
Let j = 15 - 15. Suppose -2*y + 5*u + 6 = 0, -4*y + 12 = u - j. Solve -y*t + 4*t = -2*m, -3*m + 5 = -t for m.
1
Suppose 0 = 14*a - 273 + 245. Solve 3*y - 5*d + 26 = 0, a = -0*y - 5*y - 2*d for y.
-2
Let r(a) = -a**3 - 2*a**2 + 9*a + 5. Let j be r(-4). Suppose -2*y + 6*y - 40 = -4*w, -2*y + 5*w = j. Solve -g - y*o + 29 = -2*o, 0 = -2*g - 4*o + 28 for g.
4
Suppose 2*v - 8 = -2*v. Let k = 67 - 95. Let q be k/(-8) - (-3)/v. Solve -a - q = 3*c + 7, 0 = -c + a - 4 for c.
-4
Let i = 386 - 386. Suppose -4*c - m + 4 = -3, 7 = 3*c - m. Suppose j - 9 = c*g - 22, 4*g = -3*j + 1. Solve v = g*x - 11, 0 = -i*v + v - 5*x + 13 for v.
-3
Let f = -7 + -17. Let h = f + 28. Suppose 5*r - 4 = h*u - 1, 5*u - 30 = -5*r. Solve -5 = g, -2*g - r*g = -2*v + 19 for v.
-3
Let x = -3 - -8. Suppose 2*o - 2*k - x = 1, 4*o + k - 17 = 0. Solve -2*g + o = 2*z, 4*z - 19 = 2*z - 5*g for z.
-3
Let b(p) = 2*p**3 + 31*p**2 + 11*p - 57. Let l be b(-15). Solve 4 = -2*x - h + l, 10 = -5*x + 5*h for x.
-1
Suppose -71 = h + 2*a, 4*h + 0*a + 2*a + 260 = 0. Let s be h/(-27) + 2/3. Solve -n = -3*i + 2 - s, -4*i + 4*n = 4 for i.
0
Let h = 35 + -26. Suppose 3*l = 7*c - 4*c + h, 3*c = -l - 1. Solve 2*f - 1 = -g, -3*f - 2*f - g - l = 0 for f.
-1
Let b = 89 - 42. Let r = -20 + b. Let k be (45/r)/((-1)/(-3)). Solve 5*d + y - k = 0, y + 0*y + 15 = 5*d for d.
2
Let n = 3 - 2. Suppose -12*p = -3*p. Suppose 0 = z - p*z - 3. Solve 0 = 4*x - 4*u, z*x - 13 = -4*u + n for x.
2
Let s be (0 - -2)/(3/12). Let y(v) = -9*v + 108. Let r be y(12). Solve 3*g + s = 4*g - 5*q, r = -3*g - 4*q - 14 for g.
-2
Suppose 4*r - 7*u + 3*u = 24, -2*r = -3*u - 16. Solve -r*b - 4*n = 12, 5*b - 2 = -n + 4 for b.
2
Suppose -3*u = -7 - 5. Suppose -u*k - 7 + 27 = 0. Suppose -7 - 3 = -k*a. Solve 0 = 5*s + c + 1 + a, 5*s = 2*c - 9 for s.
-1
Let u = 1329 + -1321. Solve 0 = -4*x - 0*t - t + 8, 0 = 4*x - 3*t - u for x.
2
Let q(m) = m**3 - m**2 + 6*m - 34. Let y be q(3). Let v(g) = g**2 - 3*g - 2. Let u be v(4). Solve 3*o - 6 = 0, -u*l - o + 2 = y*o for l.
-2
Let s(k) = -k**3 + 12*k**2 + 251*k - 20. Let b be s(-11). Solve -b*u + 5*l + 15 = -0*u, 8 = 2*u + 2*l for u.
5
Let p = 332 - 332. Solve -4*n + 2*c - 14 = p, n - c = -0 - 3 for n.
-4
Suppose -g = -77 + 74. Solve -q - 4*x = 0, -q + g = -2*x - 3 for q.
4
Let q(t) = -t**3 - 19*t**2 + 21*t + 26. Let c be q(-20). Let h be -5 + 81/15 - c/(-10). Solve 2*r + 3*y - h = 18, 0 = -2*r + y - 1 for r.
2
Suppose -z + 4*z = 9. Suppose 5*c + 5*b = 77 - 82, -4*c = -2*b - 20. Solve 3*g + z = c*s, -s = -4*g - 3*s - 16 for g.
-3
Let l be 3/6*0 + -17. Suppose -w + 5*k + 9 = 49, 4*k - 20 = 0. Let q = w - l. Solve -13 = q*o - g, -5*o = 4*g - 3*g + 22 for o.
-5
Let r be 59 + 0 + 3 + (-4 - -4). Suppose -z - n + 0*n + 22 = 0, 3*z - r = -n. Solve 2*h + a - 2*a + 8 = 0, 5*h - 2*a + z = 0 for h.
-4
Let s = -140 + 280. Suppose 16*v = 11*v + s. Solve -3*r - v = 5*y, 2*r + 9 = -2*r - y for r.
-1
Let c be 1/((-4)/(-2))*34. Let h be (-6)/15 + c/5. Let x(r) = 2*r**3 + 5*r**2 - 79*r + 31. Let u be x(5). Solve -1 - u = -h*t, 5*z = -4*t + 6 for z.
-2
Suppose 0 = 20*n - 39*n + 57. So