olve k + 0*k = 5*x - u, 2*x - 2 = -5*k for k.
0
Let t = 4 + 24. Let d(y) = -322*y + 1288. Let b be d(4). Solve 4 = -g, -5*s + 2*g + t = -b*g for s.
4
Let w be (8 + -3)*(-16 + 17). Suppose 5*d - 195 = s, 2*s + 110 = d + 2*d. Let k = d + -38. Solve 0*b + 6 = 3*b - k*f, 0 = -b + w*f + 2 for b.
2
Let j = -886 - -856. Let v = 25 - 54. Let p = v - j. Solve c = 4*t - 1, p = -c + 2*t - t for c.
-1
Let m be 296/(-10064) - 69/(-34). Solve 3 = -m*q - 3*g, -5*q - 2*g = -23 + 25 for q.
0
Let r(n) = 5*n - 166. Let h be r(33). Let u be (-108)/(-12) + h + -5. Solve 13 = -2*c - 0*c + u*x, 2*x - 12 = 3*c for c.
-2
Let f(r) = -135*r + 808. Let l be f(6). Let o be 2 - (-30 - 2/(-1)). Let q be (12/(-36))/(l/o). Solve 3*i = 4*v - q, 2*i + 3 + 6 = -3*v for i.
-3
Suppose 145*t + 94 = 674. Suppose 6*s = -4*s + 180. Solve 3*g = 4*c - 4, 0 = g - t*c + s - 6 for g.
4
Suppose 16*y - 196 = 2*y. Suppose -y = -3*s - 4*s. Suppose 0 = 2*t - 5*w - 27 - 4, s*w + 7 = -t. Solve t*f - 2*o = -o - 7, 3*f = 3*o - 9 for f.
-2
Let g = 803 + -693. Suppose -299 = -9*k - g. Solve 0 = -5*c - 0*o - 2*o + 5, 2*c = 3*o + k for c.
3
Let d(p) = -15*p**2 + 4842*p - p**3 - 17*p**2 - 4809*p. Let c be d(-33). Solve c = -0*o - 2*o + 6, 2*x = 5*o - 23 for x.
-4
Let n(r) = 2*r + 7. Let h be n(0). Let s = 9 - h. Let t(m) = 5*m - 1. Let k be t(1). Solve -5*p = 15, s*g - p = k*p + 7 for g.
-4
Let q be ((-60)/(-16))/5*4. Suppose -3*t = -f - q - 17, t - 16 = -2*f. Solve -2 = 2*g - 6, g + t = 5*c for c.
2
Suppose 0 = -u + 3*n - 17, -26*u + 21*u - 2*n = 0. Let f be (-7)/(u + 8/8). Solve 2*q - f*q = -3*m + 18, 5*q + 20 = 5*m for q.
-3
Let o(c) = -c**2 - 17*c - 46. Let h be o(-13). Suppose -2*n + 41 = 3*y, -2*y - 62 = -h*y + n. Suppose 0 = -7*p + 3*p. Solve -a = -p*a, 3*u - y = 4*a for u.
5
Let f = 6667 - 6663. Solve 0 = -k + 2*x - 7 + f, 5*k = 4*x - 15 for k.
-3
Let w = -463 + 497. Suppose -148 = -71*p + w*p. Solve -7*t - 23 = 2*q - 2*t, 0 = 3*q + p*t + 24 for q.
-4
Suppose 2272 + 1004 = -27*p + 209*p. Solve -3*f - u - p = 0, -10*u = 4*f - 7*u + 29 for f.
-5
Let a be 514/8 - (372/48)/31. Solve -24 = -3*f + 4*z - a, -f + 31 = 5*z for f.
-4
Suppose -11 = -25*x + 39. Solve 31*l - 36*l = -4*k - x, 16 = -5*l - 2*k for l.
-2
Let d(q) = -2*q**2 + 32*q + 18. Let b be d(16). Let j(g) = g**2 - 22*g. Let h be j(b). Let t = h + 84. Solve -4*r = 3*s - 3, -s = r + 2*s - t for r.
-3
Suppose -649*l = -651*l + 26. Suppose 46*q = l + 79. Solve i + p = -q, i = -2*i - p - 12 for i.
-5
Let d(g) = -80*g - 7345. Let c be d(-92). Solve 0 = 3*s + 5*n - c, -14*s + 10 = -12*s + 3*n for s.
5
Suppose 3 = -2*l - 5*w - 7, -8 = 4*w. Suppose 9*u + 15 - 60 = l. Solve 0 = -j + u*f - 6 - 3, 5*j - 7 = -f for j.
1
Let y be ((-88)/6)/((-124)/(-93) + -1 + -1). Solve q = -3, -q = g + y - 18 for g.
-1
Let n be (-141)/27 + 5 + ((-627)/(-27) - 3). Solve -j = -5*m + 16, -j - m + n = 3*j for j.
4
Suppose 59 = 5*r + 309. Let i = -48 - r. Suppose 4*v = -4*u + 20, i*v - 6*v - 2*u = -14. Solve z = -5*b, -3*z - v*z - 29 = -4*b for z.
-5
Let i = -742 - -1040. Let j = i + -293. Solve d + 3*o - 5*o = 5, -2*o - 35 = j*d for d.
-5
Let n(w) = -6*w - 10. Let o be n(-6). Suppose 4*g - o = -10. Suppose 4*q + 40 = 5*r, -q + 7 = g*r - 4. Solve -r = -c + 3*j, 2 - 14 = 3*c + 3*j for c.
-2
Suppose 0 = -20*a + 20 + 4 + 56. Solve -2*l = -29 + 19, a*f + 33 = 5*l for f.
-2
Let u be -2 - -1 - (-6 - 0). Suppose -5*f + 9*f = 65*f - 244. Solve 8 = -2*l, d + 2*l = -f - u for d.
-1
Let j = 61 + -63. Let h be (-4)/(-8) + (-31)/j. Let b = -12 + h. Solve v + b*l = 3*v, 2*v = -l for v.
0
Let c(x) = -x - 27. Let d be c(22). Let w = -48 - d. Let a be (-7 + 8 + 1)*4/w. Solve 2*i = 0, 0*i = 4*q + i + a for q.
-2
Let f = -3909 - -3917. Solve -10*m = -f*m + 4, 4*t + 3*m = 2 for t.
2
Let v = -3724 - -3724. Solve -4*a + 19*k - 20*k = -2, v = 2*a + 4*k + 6 for a.
1
Suppose -p - 7 = -d, 80*d + p = 85*d - 19. Solve -12 = -4*g + d*s, -7*s + 5*s - 8 = -5*g for g.
0
Suppose -3*s - 30378 = -30390. Solve 4*t - 5*b + 13 = -13, s*t - b + 18 = 0 for t.
-4
Let c(y) = -485*y - 965. Let i be c(-2). Solve -5*d - 22 = -a, -22 = -i*a - d - 42 for a.
-3
Let d(h) = h**3 - 23*h**2 + 3*h - 69. Let z be d(23). Let j be 1/(-6 + 7) - (z - 3). Solve l - 6 = 2*p + 2*l, 3*p = j*l + 2 for p.
-2
Suppose -16*v - 5*v + 220 = -326. Solve 0 = 3*b + 12, -42*m + 37*m = -4*b - v for m.
2
Suppose -109*d + 95*d + 210 = 0. Solve -d*o + 20 = -5*a - 20*o, 3*a = 3*o - 12 for a.
-4
Let j = -2500 - -2503. Solve -2*a - 7 = 5*g - 26, j*a + 2*g - 12 = 0 for a.
2
Let n(s) = -s - 4. Let v be n(-8). Let a be 6 + -4 + -2 - -3. Let l = a + 1. Solve l*k + k - 27 = v*w, 5*w + 30 = 5*k for k.
3
Suppose -3*w + 34 - 9 = -5*y, w + 4*y + 20 = 0. Suppose 24*u - 23*u = -s + 16, -s = w. Solve q = 5*q - 4*x - 28, 0 = 4*q + 2*x - u for q.
5
Let k(d) = -13*d**3 + 297*d**2 + 46*d + 2. Let c be k(23). Solve -2*s + 4 = -c*h, 3*h + 281*s + 7 = 283*s for h.
-3
Let t = -2473 - 2657. Let r be 2/(-11) + t/(-627). Solve -2*d + r = 3*q, -q = 4*q - 5*d + 20 for q.
0
Let b be (-5)/25 + -11 + 1064/70. Solve 8 = -4*s - b*p, -s + 4*p + 42 - 44 = 0 for s.
-2
Let o = -1307 - -1323. Solve -8*g = -10*g - 2*z - o, 5*z = 5*g for g.
-4
Let a(w) = -w**3 - 4*w**2 - 2*w - 5. Let l be a(-4). Suppose -r = -2*r - 2*y - 1, -5*y - 30 = -l*r. Solve -r*v - 4*m - 2 = -1, -2*m = -4*v + 20 for v.
3
Let v be (21 + 3)/4 - (-6)/(-3). Solve -4*g = -5*b - 33, 2*g = v*g + 4*b + 16 for g.
2
Suppose -2*b = -5*o + 13 - 0, -2*b - 8 = 0. Let q be o*(8/12 + (-2)/3). Let u be (-3)/1 - (-6 - q). Solve 4*f - 5 = 4*h + 23, -f - 4*h = u for f.
5
Let t be (-3 + 7)/2 + 9. Let d = -9 + t. Suppose -4*z = -3*w - 2*w + 2, -d*z = -2*w. Solve j + 4*l = 2*l + 9, 4*j - w*l = 6 for j.
3
Suppose -62*i = -63*i + 12. Suppose -14*b + i = -16. Let a be ((-1)/(-1))/((-2)/(-22)). Solve b*m + 3*w = -a, -3*w - 23 = -6*m + 2*m for m.
2
Let u be 49/7*(-45)/(-21). Solve -4*t = -4*f - 3*t + 20, 0 = -3*f - 2*t + u for f.
5
Let y(l) = -1173*l + 2349. Let u be y(2). Solve u*s + 23 = -5*x, -3*s = -47*x + 44*x - 9 for x.
-4
Let s(z) = z**3 - 13*z**2 + 7*z - 12. Let u be s(12). Let n = -95 + 93. Let j be n/(-7) + u/(-42). Solve -1 = t - y + j*y, t + 4*y = 8 for t.
-4
Suppose 14*b = 26 - 19 + 35. Suppose -2*n + 3*h + 18 = 0, n + 0 = -4*h - 13. Suppose 19 = n*o - 5. Solve -3*x = -4*j - 14, -x - b*x = o for j.
-5
Let m(s) = 22 + 4*s - 48 - s. Let r be m(10). Suppose 0 = -3*f - r*f + f. Solve f = -4*x + 4*d - 24, x + 22 = 3*d + 2*d for x.
-2
Suppose -8 = 2*f + 6*o - 4*o, 0 = -4*f + 3*o + 12. Suppose 2*x = 5*v + 23, -v - 11 = -2*x - f*v. Solve -5*n - x*p - 9 = 0, 0 = -3*n + 4*p - 32 + 1 for n.
-5
Suppose -19 - 83 = -2*x. Let d = 62 - x. Suppose -9*s - d = -47. Solve -2 = 3*r - 4*k, -5*k + s + 6 = 0 for r.
2
Let i(d) = 11*d + 61. Let n be i(-5). Suppose 0 = -3*c + 12, n*x + c - 13 = 3*x. Solve -2*o - 3*u = x*o + 40, 5 = -4*o + 3*u for o.
-5
Suppose 43 - 179 = -34*u. Suppose 4*t - 6 = -y, 6 = -y + u. Solve 9 = -0*c - 3*c - 3*r, c = t*r - 9 for c.
-5
Let c(n) be the first derivative of n**3/3 - n**2 - 3*n - 65. Let b be c(4). Solve -4*y + 3*p - 35 = -7, -5*p = b*y for y.
-4
Let q(p) = p**3 - 2*p + 44. Let i be q(0). Suppose 95*y = 84*y + i. Solve 0 = -y*l + 3*x - 21, -5*l = -0*x - 3*x + 24 for l.
-3
Suppose -1120*w + 980*w = -840. Solve 3*v - 8 = -4*j, -5*v + 14 = -w for j.
-1
Suppose -30 = 26*p - 36*p. Solve -35 + 59 = -p*g, 0 = -s + 2*g + 13 for s.
-3
Suppose -h - 2 + 4 = s, 5*h - s - 28 = 0. Solve a = -5*t + 5, h*a - 2*t = -3 + 1 for a.
0
Let a(q) = 33*q - 660. Let h be a(20). Solve -5*o + m = 22, -4*m + 12 = -h*o - o for o.
-4
Let v(h) = 3*h - 141. Let q be v(51). Let i = 52 + -47. Solve c = -d - d + q, -c + 24 = i*d for d.
4
Let u = -11 - -15. Solve 0 = -h + 4, -5*v - 23 = -u*h - 7 for v.
0
Let c(v) = -v**3 + 23*v**2 - 99*v - 49. Let y be c(17). Solve 26 = -4*f + 5*h, y*f + 10 = 3*h - 4 for f.
-4
Suppose -8*i - 73 = -385. Let n be (i/5)/(11/165). Let v = 117 - n. Solve 2*x - r + 11 = -v*r, -4*x = -5*r + 31 for x.
-4
Suppose -4*r + 2*t - t = -36, 3*t = 2*r - 18. Let u = -7 + r. Let l be u*(2 - (5 - 4)). Solve -4*v + 2*v = -4*s + 12, -s + l*v + 6 = 0 for s.
2
Let j = 166 - 158. Suppose -5*d + 12 = -j. Solve 4*k + 8 = 3*k - d*b, 4*k - 25 = 3*b for k.
4
Let i be (-10)/75 - ((-154)/30 + 1). Solve -i*j + 4 + 0 = -z, 2*z = -4*j - 8 for j.
0
Let