 -3*y, 4*y = -4*t - 4 for t.
-2
Let q(t) = -2*t**2 + 42*t - 120. Let i be q(17). Solve -13*s + i*s - 2*w = -4, 2*w + 2 = 0 for s.
-2
Let v(h) = -h**2 - 13*h + 22. Let k be v(-14). Suppose 0 = 25*w - 18*w - 28. Suppose -w = -5*s + 11. Solve -2*t + 3*c - k = s*t, 2*t - 5*c - 12 = 0 for t.
-4
Let m = -2998 - -3009. Solve -9*l + 8*l + m = 4*s, 0 = -5*l + 4*s + 7 for l.
3
Let u = -318 + 315. Let j be (u/(-2))/(1 + 5/(-8)). Solve -3*v - 5*x = -25, 2*x = j*v - 2*x + 20 for v.
0
Suppose 0 = -255*i + 253*i + 70. Solve -10*g = 4*s - 7*g + i, 30 = -4*s - 2*g for s.
-5
Let y be 540/8*6/9. Let b = -21 + y. Let m be ((-15)/(-20))/(2*3/b). Solve 2*c - 4*n = -2, -4 = -4*c + m*n + 2 for c.
3
Let j be 134/10 - (-1716)/660. Solve 3*a = g - 8, 12*g - 15*g + j = -5*a for a.
-2
Let h = -116 - -116. Let u be ((-4)/10)/(h + (-8)/240). Suppose u = 2*k + 3*o, -2*o + 6 = o. Solve -t - 1 = -k*l, 0*l = -l + 4*t + 4 for l.
0
Suppose -4*g + 365 + 7 = 0. Suppose 3*s - g = -78. Solve s*y = o + 4, 3*o + 2*o = 2*y - 20 for y.
0
Suppose -3*r = -5*f + 28, -4 = r - 5*f + 6*f. Let n be (-1)/(0 + 2/r). Solve k = 3*l - 2*k, 2*k + 1 = n*l for l.
1
Let u = 2 + -2. Let h(t) = -t**3 + 9*t**2 + 23*t - 11. Let d be h(11). Let a be d + 3/(-3) + 5. Solve -4*q - 16 = u, a*k - q = 2*k + 10 for k.
3
Suppose -43*n = -184 - 289. Solve -u + 17*i - 49 = 0, -8*i - 17 = -4*u - n*i for u.
2
Suppose -290 - 55 = -3*r. Let j be (6 + r/(-20))*0. Solve j = -4*l + 3*s + s + 12, -2*s - 8 = 0 for l.
-1
Let w(d) = -2*d**2 + 21*d - 9. Let f = -1 - -10. Let g be w(f). Suppose 0*x - 9*x = -g. Solve -6 = 2*s + 4*t - x, 4*s + 2*t = 4 for s.
2
Let r = -179 - -182. Solve 5*v - t + 35 = t, r*v = -5*t + 10 for v.
-5
Suppose 2*n + 530 = 12*n. Let r = n + -47. Suppose -4*j + r*m = 2*m - 12, 15 = -3*j - 5*m. Solve j = -5*s - a + 15, 0 = -s + 5*a - 24 + 1 for s.
2
Let q(k) = -3*k**2 + 59*k + 134. Let s be q(-2). Solve -4*m + 5*n - s - 7 = 0, -3*m = -2*n + 10 for m.
-4
Let k = -2 + 496. Suppose 492*u = k*u - 14. Solve 2*m + 17 = 5*r, -r + 3*m - u = -0 for r.
5
Let a be ((-540)/216)/(2/(-4)). Solve 0 = 4*q + a*r - 2*r - 35, 0 = -q + r for q.
5
Let m be (4/(-10))/(10/(-1000)). Suppose -7*w + 3*w = 4*n - m, 0 = 4*w + 3*n - 38. Suppose w*t = 56 + 8. Solve -21 = 5*u - 4*s, u + s + t = 2 for u.
-5
Let w = -961 - -969. Let f be (w/10)/(44/110). Solve 2*c - 5*j = 11, c + 4*j = f*j + 1 for c.
3
Let a(t) = t**2 - 49*t + 189. Let y be a(4). Solve 13 = 4*p - r, 13*r = -3*p + 10*r - y for p.
2
Suppose -132*y - 81*y = -75*y - 690. Solve 3*w = -5*i, y*w + 3*i - 13 = -i for w.
5
Let f be -1*6/10 - (-4920)/200. Let a = f - 8. Solve 4*m + a = 4*c, -4 = -c + 4*m - 0*m for c.
4
Let z be 1*(-4)/6 + 1386/54. Solve 24 = 3*q + 3*p - 0*p, -5*p + z = 0 for q.
3
Let z be (-74)/111 - (2/(-3) - 1). Let f be 12/10*((-7)/(-2) - z). Solve 2*d = -u - 3*d + 26, f*d = -u + 16 for u.
1
Let y be ((-4)/(-14))/((-4)/(-28)). Let b(n) = 3*n**2 + 2*n**2 + 2*n**y - 6*n**2. Let k be b(2). Solve 16 = k*a - q, 4*a - 3*q = 2*q for a.
5
Let g(q) = -49*q - 1413. Let a be g(-29). Solve f - a = y, -5*f = 4*y + 13 + 1 for f.
2
Let b(n) = n**3 + 8*n**2 + 9*n + 2. Let i be b(-6). Let u = -22374 + 22374. Solve u = -5*d + 2*w - 23, 2*w + 3*w = i for d.
-3
Let d = -26412 - -26428. Solve s - 13 = y - d, y - 5*s - 11 = 0 for y.
1
Suppose -5*g - 49 = 40*u - 44*u, -4*u - 1 = 5*g. Solve -7*n + 3*n + 24 = -4*z, -3*z = n + u for z.
-3
Let j = -43 - -88. Let v = -1313 - -1316. Solve -20 + v = -3*z - d, 0 = -5*z - 5*d + j for z.
4
Let o(h) = 5*h**3 - 8*h**2 - 4*h + 3. Let i be o(2). Solve -5*p + i*b + 14 = 20, -2*b - 12 = 2*p for p.
-3
Let j = 2181 + -2171. Solve a = -4, 13*a - 8*a + j = -2*i for i.
5
Let d = 26423 + -26410. Solve -414*k + 5*i - d = -416*k, -2*k + 1 = i for k.
-1
Let j(m) = m**3 + 13*m**2 + 13*m + 380. Let i be j(-14). Solve -i*f - 56 = 5*u - 51, 2*f = 5*u - 15 for f.
-5
Let j be (3204/21)/3 + (-360)/420. Solve 5*m = 4*l - j, 5*l = -4*m - 20 + 21 for l.
5
Let t = 200 - 211. Let y be 240/330*t/(-2). Solve 0 = -m - y*l, 0*l = 5*l - 5 for m.
-4
Suppose 0 = -r - 2*p + 12, 4*p = 6*r - 3*r + 4. Solve 2*k + 20 = 5*g, 0 = 4*k - r*g + 16 + 12 for k.
-5
Let d = -683 - -688. Suppose 4*l - 15 = d*t, -l + 3*t + 10 = 8. Let x be -1 + 2 + (-1 - -30). Solve 4*k - x = -l*i, -5*k + 6 = -19 for i.
2
Let u be (-11 + (5 - 2))*(-5)/4. Suppose -u*b = -9*b. Let x = 17 + -1. Solve a + 3*r + x = b, -4 - 17 = -4*a + 5*r for a.
-1
Let a = -2997 - -3003. Solve 2*k + a = 4*w, 2*w - 16*k - 1 = -17*k for w.
1
Let m(o) = o**3 + 4*o**2 - 4*o + 5. Let h = -11 - -6. Let u be m(h). Let v = -359 - -361. Solve 0 = -2*g + 3*j + 13, u = -j + v*j + 5 for g.
-1
Suppose -9*s + 42 = 15 - 18. Solve -w + 24 = -s*n, -2*w + 4*n + 28 = -n for w.
4
Let q = -96 - -99. Suppose -9 = -0*d - q*d. Suppose d*a - 6*a = -5*r - 40, 0 = 5*r + 25. Solve a*m - 2*i - 17 = -3*i, 0 = m + 2*i - 7 for m.
3
Let l(o) = 2*o - 33. Let j(x) = -3*x + 31. Let r(c) = -6*j(c) - 5*l(c). Let a be r(3). Solve a*f = 0, -4*k + 5 = k + 2*f for k.
1
Let o be 360/54*(-69)/(-92). Solve 22 = 2*g + o*a, -a + 13 = -g + 10 for g.
1
Let v = 12662 + -12660. Solve 0*d + v*d + 13 = -a, 4*d + 20 = 0 for a.
-3
Let v(g) = 17*g - 370. Let j be v(22). Suppose 0*f = f - 3*a + 17, -4*a + 51 = -3*f. Let u = 20 + f. Solve -u*r - 23 = -4*r + j*l, 3*r - 2*l = 19 for r.
3
Let w = -117 - -114. Let r = w + 14. Solve 4*o - 8 = -2*n, -3*n = -5*o - 1 - r for o.
0
Let m(y) = 1264*y - 1256*y + 51 + 16. Let h be m(-8). Solve 0 = 3*j + 3*z, 23 + 9 = -5*j + h*z for j.
-4
Let z = 397 + -118. Let c = -276 + z. Solve 5*r = 3*h, -2*h + 0*r - 19 = c*r for h.
-5
Suppose f = 5*o + 106, 5*o + 87 = 127. Solve 142*x + y - 16 = f*x, -20 = 5*y for x.
-5
Let y = 318 + -607. Let k = -289 - y. Let i = 3 - 0. Solve g + 0*t - t = i, k = -5*g + 2*t + 12 for g.
2
Let v = -183 - -489. Suppose 0 = -4*j - 190 - v. Let z = j - -129. Solve -z*b - r + 20 = r, r = -4*b + 13 for b.
2
Let d be (-24)/16 + (-7)/(-2). Suppose -d*k - 138 = 8. Let j = -71 - k. Solve s = 6*s + 4*q + 3, j*s + 4*q = -6 for s.
1
Let r(g) = 4 - 3*g**3 + g**2 - 1 + 1 + 2*g**3. Let m be r(0). Suppose 64*t - 224*t + 1220 = 145*t. Solve -m*p = n + t*n + 25, 4 = n - p for n.
-1
Let p(o) = -8*o**3 - 45*o**2 + 14*o - 19. Let r be p(-6). Solve r*g - 2 + 27 = 2*n, 0 = 5*n - 25 for g.
-3
Suppose 0 = -2*n + 3*s - 6, -19 = -3*s - 7. Suppose 3*w = -i + 15, n*w = -2*i + 4 + 14. Solve j + 0*j + w*m - 12 = 0, -12 = j - 4*m for j.
0
Suppose -6*w - 784 = 2678. Let s = w + 579. Solve 4*l + 6 = 2*z, 4 = -s*l - 4 for z.
-5
Suppose -2*q + 1346 = -3*a, 2*a = 7*q - 2*q - 890. Let n = a + 453. Solve 0 = -4*m - 3*z - 6, -3*z = -m + n*m + 6 for m.
0
Suppose -7 = -r, 24*g - 27*g + 5*r - 29 = 0. Solve -g*z + 6 = -3*h, -4*h + 19 = -3*z + 27 for z.
0
Let c(b) = 175*b + 4552. Let g be c(-26). Solve -8 = -2*s - n, -n = -2*s - g*s + 4 for s.
2
Suppose 0 = 5*x - 3*a - 8 + 49, -2*x = a + 23. Let l = 13 + x. Suppose 0*i = -2*i + d + 7, 4*i = -l*d - 1. Solve 3*o + 4 = -i, 0 = 2*y - 5*o - 8 for y.
-1
Suppose -176*l + 327 = 51 - 1308. Solve 0 = -4*w + 4*m - 32, 3*w - 7 - l = -5*m for w.
-3
Let l be 27/15 + 1/(-20)*-24. Solve -2*a = -l*b - 3 - 3, -2 = b for a.
0
Let j be 6/(-12)*-317 - 15/(-10). Suppose -11*o = 21*o - j. Solve -4*v + 12 = 3*p - v, -o*p - v = -20 for p.
4
Let j = -250 + 250. Suppose j*i = -5*i + 5. Solve -n + i - 3 = -w, 4*n - 2*w + 14 = 0 for n.
-5
Let d = 2597 + -2594. Solve -6*b + 7*b = -5*i + d, 5*i - 11 = 3*b for b.
-2
Let w = -261 + 261. Suppose -28*f + 28 + 28 = w. Solve -s = v - f, 0*v = v + 4*s + 4 for v.
4
Let w = 3455 + -3453. Solve -w = 5*d + 2*k, 0 = -d - k + 4*k + 3 for d.
0
Let r(a) = -a**2 - 130*a - 739. Let l be r(-6). Solve z = l*i - 10, -7*i = -6*i - 3 for z.
5
Suppose -5*l + 4 + 2 = -2*v, 0 = -5*l - 3*v + 16. Suppose -21 + 15 = -l*z. Solve 4*y + 2 = c, 0*y + c - 1 = z*y for y.
-1
Let y be -8 + (-31)/(186/(-72)). Solve 4*q = y*r - 20, 5*r + 4*q + 13 = -7 for r.
0
Suppose 5*l + 239 = 4*h, 4*h - 6*h = -3*l - 121. Suppose -4*i + h = 3*m, -3*m = -0*m + 2*i - 58. Solve -5*o + 3*f - m = 0, 6*f - 5*f - 1 = -4*o for o.
-1
Let j(b) = -2*b**3 - 69*b**2 + 28*b + 13. Let o be j(-35). Let p be (o/(-24) - -7)*-4. Solve -r + 3*t + 15 = -2*t, -r - 5*t = p for r.
0
Let m be ((-162)/15 + 8)/(2/(-5)). Solve 0 = -3*g - m + 1, 0 = -3*c - 4*g + 1 for c.
3
Suppose