 0 = -4*t. Let h = 33 - g. Solve 4*c + z = 3*c + 1, 2 = 5*c + h*z for c.
0
Let f = -1 + 8. Let l = 247 - 107. Suppose l*y = 147*y - 28. Solve 5*o - 2*s - 6 = f, -y*o + s + 11 = 0 for o.
3
Suppose 85*w - 84*w = 12. Let v be w/(2*1) + 0/(-19). Let y be 50/15*3/2. Solve k = -y*p - 6, -k + 3*k + 4*p = -v for k.
-1
Let b = 6562 - 6562. Solve -q = -b*q + 3*s + 5, -4*s = -3*q + 24 for q.
4
Suppose 0 = 3*q + 2*t + 2275, 2*q + 49 = t - 1477. Let b = -738 - q. Solve -3*d = 5*p + b, 3*d - 1 = p - 0*d for p.
-4
Let o(u) = -u**2 + 13*u - 39. Let f be o(6). Solve -5*y - 30 = 5*t, f*t + 10 = -5*y - 14 for t.
-3
Let v be (-1)/((-19)/(-9) + -2) - -15. Let g = 14 + -10. Solve 3*m = -v, 4*r + g*m = -0*m - 24 for r.
-4
Let a = -14978 - -15010. Solve 5*y = 5*n - 5, -a = 9*n - 5*n + 5*y for n.
-3
Suppose -4*y + 24 = -k, 2*k + 3982 - 4038 = -5*y. Solve -4*b = 0, -9*b = -u - y*b - 3 for u.
-3
Let x(p) = p**3 - 16*p**2 + 2*p - 28. Let t be x(16). Solve -t*g - 5*u = -10, 3*g - 1 = 2*u - 5 for g.
0
Suppose -15 + 459 = -37*p. Let h be 16/(-32)*p/3. Solve 5*z - 24 = -k, -3*z - h*k + 28 = 2*z for z.
4
Suppose 10*h - 48 = 6*h. Let k = -16 + 16. Let a be 8 - (k + 0 + 4). Solve 5*u = 3*c - 24, -4*u + a*c - h = 12 for u.
-3
Let o(x) = x**3 + 34*x**2 + 38*x + 183. Let b be o(-33). Solve -4*f - 2*z + b = 0, -20*z = -17*z - 15 for f.
2
Suppose 4*m - 2*r = 12, -4*r = m - 6*r. Let o be 3/(27/39) - m/(-6). Solve 0*v = 5*c - 2*v, o*c - 4*v = 10 for c.
-2
Let q(y) = 27*y**3 + 2*y**2 - 6*y + 1. Let h be q(2). Let g = h + -194. Solve 5*p = 2*i + 5, -4*i + 0*p - g = -p for i.
-5
Suppose -4*z = 6*z - 340. Let d = z + -31. Suppose 2*x = -d*x + 70. Solve -2*w - x = 4*k, -2*w + 4*k = 2*w - 8 for w.
-1
Suppose -d + 337 = 184. Let w = 157 - d. Solve 2*h - 6*h + 4 = 0, -w*c = -h + 17 for c.
-4
Let w be (3 + (-5 - 3))/(-1). Suppose 2*q = 0, -4*k - 4*q + w = -3. Solve -5*p + 2*r + 13 = 0, 3*p + k*r + 9 = -r for p.
1
Let t be (3/(-7))/((-348)/1624). Solve -2*i + 19 = 3*r, 3*i + 0*r + 4 = t*r for i.
2
Suppose i - 3*i = 0. Suppose 25*f - 20*f = i. Solve 3 = -p - 2*n, 2*p + 5 = -3*n - f*n for p.
-1
Let x be ((-20)/(-12) + -2)/(2/(-6)). Let z = -55 + 58. Suppose -45*y + z = -44*y. Solve -x = -h + w, -11 = h - y*h - w for h.
4
Let h = -399 - -393. Let n be 34 + -30 + (-2 - h). Solve 5 = -4*l + o, 3*o = 3*l + n + 7 for l.
0
Suppose i - 14 = -3 - 7. Solve 0*d - d - 7 = -i*s, 8*s = -3*d - 1 for d.
-3
Let u(x) = 2*x**2 + 7*x - 12. Let t = -31 - -26. Let o be u(t). Suppose 0 = -0*g - 4*g. Solve 5*f + 2*s - 10 = g, 5*s - 25 = -o*f - f for f.
0
Suppose -114*n - 55*n = -169. Solve 0 = h + 2*j + n, j = 4*h - 3*j - 20 for h.
3
Suppose -4*p + 11*k + 530 = 6*k, 2*k + 671 = 5*p. Let u be (p/36)/(2/16). Solve -2*t = -4*z + 6 - u, 0 = -z - 4*t + 3 for z.
-5
Suppose 2 - 4 = -l. Suppose -5*b + 2 = -o + 9, -o + 6 = -4*b. Let f be ((-171)/81 - -7) + (-2)/(-18). Solve q = -o*k - q - l, 5*q = f*k + 45 for k.
-5
Suppose 62*t = 61*t + n - 2, 18 = t + 4*n. Solve -2*l - t*i - 9 = 3, 0 = 4*l + i + 15 for l.
-3
Suppose -k = 4*q - 19 - 25, 134 = 4*k + 2*q. Suppose 2*w - k = 2*s + 2*s, 0 = -3*w + 2*s + 28. Solve -m - w = -i, i + 4*i = -2*m + 9 for m.
-3
Let x be (2 + 40/25)*(-10)/(-6). Suppose -9 + 17 = 4*g. Solve 2*y + g = -m, -2*y = y + x for m.
2
Let z(l) = -l**2 - 1944*l + 9751. Let r be z(5). Solve 8*i = 4*i - 16, 5*c - i = -r for c.
-2
Let t(k) = 7*k - 31. Let y be t(5). Suppose 5*n = -3*s - 0 + 40, 4*s - y*n = 0. Solve -s*x - 4*a + 4 = 30, 5*x + 3*a = -22 for x.
-2
Suppose 165*w + 43 = 166*w. Suppose -16 + w = u. Solve 4*k + 5*z = z - 28, 5*k = -z - u for k.
-5
Let w = 7691 - 7686. Solve y = w*h + 7, h + 11*y - 7*y - 7 = 0 for h.
-1
Let h = -8042 - -8046. Solve -h*n - 6 = -2*y, -y + 7 = 12 for n.
-4
Suppose 97 = -2*w + 81, w + 23 = 5*r. Solve -2*s + 4 = -5*i - 15, -r*s - 4*i = 29 for s.
-3
Suppose 0 = 2*z - 4*q - 24, 3*z - 7*z - 2*q + 8 = 0. Solve -3*c = -t + 1 + 7, 20 = -z*c - t for c.
-4
Suppose 211 + 25 = -4*s. Let z = s - -81. Suppose 3*p + 7 = -w + 5, -5*w = -p - z. Solve -j + 0*h = -4*h + 16, w*h = -2*j + 28 for j.
4
Let f = -49 + 43. Let m(l) be the second derivative of -l**4/12 - l**3 + l**2 - 4*l. Let s be m(f). Solve v - s*v - 4 = p, 5*p - 5 = 0 for v.
-5
Suppose 5*i - 2*d - 245 = d, -25 = -5*d. Suppose f - 14 = -w, 0 = 3*f + 2*w + 3*w - i. Solve 4*x + 2*z + f = 3*x, -10 = 2*z for x.
1
Let l be 119/6 + 1 - (-4)/(30 + -6). Suppose -4*y - 20 = -8*y. Solve c = 4*o + 7 - l, y*o + 5*c - 5 = 0 for o.
3
Let o be 25*(10 + -5 - 4). Let m be ((-30)/o)/(((-32)/20)/4). Solve 0*f + 3*f - 20 = 4*x, 2*x = m*f - 16 for f.
4
Let d = 1 - -4. Let q be (-30)/(-6) - -12*8/(-32). Solve -3*w + 0*u = q*u - 17, d*w - 3*u = 22 for w.
5
Suppose -2*i = 5*k + 180, 4*i + 2*k = -152 - 176. Let v = i - -82. Solve 3*s + 4*u = -u + 2, -v*u + 7 = -5*s for s.
-1
Let o(j) = -j**3 + 13*j**2 + 27. Let d be o(7). Let q = d + -310. Solve f = -1, 3*m - 30 = 4*f - q for m.
5
Let n(u) = u**3 + 34*u**2 - 78*u - 216. Let y be n(-36). Solve 4*s = 6*s - 5*p - 3, y = 2*s + 5*p - 13 for s.
4
Suppose 27*a - 10499 = -3857. Let g = 251 - a. Solve 4*r + 3*m = 19, r + g*m + 0 = 9 for r.
4
Suppose -5*h - 3*x + 15 = -13, 22 = 4*h + 2*x. Suppose -3*p = h*p - 16. Suppose 32*t = 8*t + 48. Solve -4 = -t*o - p*o, 16 = 3*y + o for y.
5
Let f(a) = -a**3 - 15*a**2 - 4*a + 34. Let q be f(-15). Suppose 8 = 98*b - q*b. Solve -9 = 5*t + i, b*t + 18 = -3*i - i for t.
-1
Let f(w) = -8*w + 17*w - 3 + 4. Let q be f(4). Let n = -33 + q. Solve -g + 3*b - 2 = 0, -2 - n = -3*b for g.
4
Let h be (9330/135 - 1/9)/1. Let x = h - 65. Solve -i - a + 15 = 2*a, -a = x*i - 16 for i.
3
Suppose 31 = -13*j + 83. Solve 36*t - 37*t - 4*i = -19, 0 = 4*t + j*i - 16 for t.
-1
Let k be ((-30)/25 - (-37)/10) + (-3)/(-2). Solve -4*y + 2*d - 20 = 0, -2*d = -k*d + 4 for y.
-4
Suppose -5*p + 146 = -j, 8*j = 10*j + 2*p + 316. Let y be 24/j - (-3 - 275/13). Let f be (-22)/(-5) + (-6)/15. Solve -y = 4*n - f*t - 8, -3*n + 3 = 2*t for n.
-1
Let i(y) = -y**2 + 288*y - 1687. Let s be i(6). Solve -s = 5*u + o - 2, -3*u = -2*o - 6 for u.
0
Suppose 0 = -2*y + 5*n - 25, 4*n - 34 + 14 = -5*y. Solve -2*z - 12 = -7*x - z, 5*x - z - 10 = y for x.
1
Let o = -88 + 18. Let i = 136 + o. Let b = i - 55. Solve 0 = -c + 3*n - 17, -4*n + b = -3*c - 15 for c.
-2
Suppose -170 = -5*k - m, -2*k + 80 = -0*k - 2*m. Suppose 8*b - k = b. Suppose -b*q + 14 = -3*q. Solve -4*v - q = -s - v, -3*v = 2*s + 4 for s.
1
Suppose -244*d - 22 = -255*d. Solve -37 = -4*b - 5*j, -j - 4*j + 19 = -d*b for b.
3
Let c = 11539 - 11537. Solve 5*m - 3*o = 9, c*m - 2*o + 6 = -4*o for m.
0
Suppose -3*z = 5*a - 13, 5*a = -3*z - 2*z + 15. Suppose -a*n - 21*n + 23 = 0. Solve 5*i = 2*x - 0*x - n, 5*x - 12 = 3*i for x.
3
Let z = -6995 - -7006. Solve 4*f = -5*b + z, -5*f + 10 = -4*b + 9*b for f.
-1
Suppose 0 = -3*z - 2*k + 2, -3*k - 581 = -2*z - 558. Solve z*u - 13*x + 14*x = 10, -x - 5 = -u for u.
3
Let b(c) = 55*c - 1815. Let o be b(33). Solve 4*f + 11 = -9*l + 8*l, -f - 4*l + 16 = o for f.
-4
Let j be 2/1 + 28 + -36. Let b be (-228)/(-9)*j/(-8). Solve -3*h + 1 = -2*t - 8*h, -4*h = -5*t - b for t.
-3
Let b(d) = 20*d**2 + 78*d. Let h be b(-4). Solve h = -j + 2*n, -9 = -j - 3*n - 7 for j.
-4
Suppose 3318*f - 4*x + 18 = 3323*f, 0 = -3*x - 9. Solve -3*h + 9*w - 12 = f*w, 0 = 2*h + 4*w - 4 for h.
-2
Let v be (-14)/(-3 + (-2)/(-2)). Let a be (1287/18)/13*(-20)/(-22). Solve a*d = -4*n - 36, 5*n - v = -4*d - 43 for n.
-4
Let j = 2373 + -2371. Let g(t) = -2 + 1 + 2 - 2*t - 8. Let b be g(-6). Solve j*y = -4*u + 3*u + 9, -b*y + 4*u = -16 for y.
4
Suppose u + 8 = -u, -5*p + 12 = 2*u. Suppose 6 = -p*n + v + 4*v, -14 = 3*n + v. Let q = n - -26. Solve -c = -o + 5*o - 9, -3*o = -5*c + q for c.
5
Suppose v + 2*b = -96 + 87, 0 = 5*b + 35. Suppose -9 = g + 5*z + 6, 4*z = -g - 12. Solve -3*n - 2*h - 1 = 0, g = -0*n + n - v*h + 23 for n.
-3
Let t(u) = -u**2 - 217*u + 4. Let j be t(0). Solve 0 = 2*k + y, k = -2*k - j*y for k.
0
Let k be (-2 - 39/3)/(-121 - -118). Solve 6*r - 14 = k*m, -2 = -3*r + 7*m - 2*m for r.
4
Suppose -3*b = 4*r - 203, -22*r + 1160 = -b + 3*b. Solve 2*k = -4*j + 4, 4*k = -2*j - r + 67 for k.
4
Let r = 59 - 24. Suppose -8*b = 3*u - 13*b - 60, 2*u - 5*b = r. Solve 3*c - u = 2*v - 2*c, 0 = -4*c + 20 for v.
0
Let m(v) = -v**2 + 7*v + 17. Let n be m(7). Let r = 20 - n.