or t.
-5
Let k(s) = -s**2 + 19*s - 32. Let b be 325/20 - (-15)/20. Let v be k(b). Solve -v*z - 7 = 5*q + 2, z = 3 for q.
-3
Let d(x) = -x**2 - 20*x + 46. Let g be d(-20). Suppose 45*s - g*s + 5 = 0. Suppose -1 - s = -l. Solve -5*c - y = -l*y + 50, -25 = 2*c - 3*y for c.
-5
Let i(h) = -16*h + 12 + 7*h + 10*h. Let k be i(4). Suppose 0 = -q + 1, 4*s + 6*q - k = 10*q. Solve 0 = s*v - 5, 4*m - 5*v + 17 = -8 for m.
-5
Let w = -12793 + 13188. Solve -w*k + 399*k - 16 = 0, 3*g + 7 = -2*k for g.
-5
Let c(x) = -44*x**3 + 440*x**2 + 3*x - 18. Let f be c(10). Solve -4*o + 5*i + f = 3*i, 4*o - 8 = 4*i for o.
4
Let q be (-3)/2*(-152)/12. Suppose -21 + q = -c. Solve 3*g - 10 - 3 = c*o, 3*o - g = -16 for o.
-5
Let l(r) = 3*r**2 + 135*r + 134. Let o be l(-44). Let v = 3 - 1. Solve -5*j - o*f - 14 = 0, j + 0 - v = -2*f for j.
-4
Suppose -5*p = 3*y - 2*y - 20, -3*y + p = -12. Let f(k) = 33*k + 594. Let v be f(-18). Solve y*w = 20, -w + 5 = -v*g + g for g.
1
Suppose -12*s + 39 = 4 - 1. Solve -4*o = -4*y + 21 - 29, -s*o = 3 for y.
-3
Let k(i) = i**2 - i + 1. Let w be k(0). Let o = 753 + -750. Solve -d + o - 2 = c, -c = -w for d.
0
Let i = 2119 - 2074. Solve 4*o + i = -5*a, 10 = 2*a - 6*a + 2*o for a.
-5
Let o(d) = -d**3 - 6*d**2 - 3*d - 15. Let j(w) = 4*w - 62. Let p be j(14). Let r be o(p). Solve 3*t - 2*f - 6 = 7*t, -f = 5*t + r for t.
0
Let t(o) = 65*o - 15. Let i be t(1). Suppose 0 = -2*z + 52*v - i*v + 22, 0 = -2*z - 3*v + 17. Solve 8*b - z = 3*b, -p + 4*b = 9 for p.
-1
Let r(b) = b**2 + 128*b - 1222. Let y be r(-137). Let l be 4 + (-2)/(-1)*-1. Solve 4*k - g = -y, l*k - 9 = 5*g + 8 for k.
-4
Let j be 0/((-4)/(-8)*-6). Let w = 4 + -1. Let p be 1/w*1*(-12)/(-2). Solve j*u = m - 4*u + 14, 2*u + p = 5*m for m.
2
Let p(o) = -o**3 + 34*o**2 - 15*o - 592. Let v be p(33). Solve 18 = -4*b - 4*f + 2, v*b = 5*f + 20 for b.
0
Suppose w + j = 48, -60 + 309 = 5*w + 2*j. Suppose -3*m + 6 + w = 0. Solve -3*v + 3*h - 10 = 11, 2*h - m = 3*v for v.
-5
Let c(h) = 31*h - 91. Let q(u) = -u**3 - 34*u**2 - 32*u + 36. Let d be q(-33). Let v be c(d). Solve -2*b + 14 = -v*g, -3*b = -b + 4*g + 10 for b.
3
Let w be -6 - ((-15)/1 - (-29)/(58/12)). Solve q = t + 3 - 4, 0 = 2*t - w*q + 2 for t.
5
Let z(l) = -l**3 - l**2 - 6*l + 10. Let r be z(-5). Let k = 141 - r. Let y = 17 + -12. Solve y*x - k = -v, -3*v + 0*v - 15 = -3*x for x.
1
Let t(z) = z**2 - 30*z + 33. Let i be t(29). Solve i = 4*h - 4*r, 0*r + 5 = 4*h - 3*r for h.
2
Suppose 553*t - 565*t = -72. Suppose 2*c + 2*c + 16 = 0. Let m be (1 - 1)/(t + c + 0). Solve m = 4*q - r - 0*r + 19, -3*q + 5*r - 27 = 0 for q.
-4
Let z(f) = -2*f**3 + 66*f**2 - 66*f + 69. Let g be z(32). Solve g*r = -2*q - 14, -14 = 3*r - 4*q + 8*q for r.
-2
Let k(q) = q**2 - 259*q + 2252. Let x be k(9). Solve 23*r + x*o + 15 = 20*r, 0 = 4*r + 4*o + 20 for r.
-5
Let s = -6 + 8. Let j = -20808 - -20810. Solve -x - j*c + 3*c = -3, -5*x + s*c = -15 for x.
3
Let o(s) = -257*s - 769. Let y be o(-3). Let q(t) = -t**3 + 7*t**2 - 4*t + 7. Let k be q(6). Solve 3*b + k = 2*i - y, b = -4*i + 7 for i.
3
Let x = 6913 - 6907. Solve 166*l - 164*l + 10 = -2*y, -4*l + 3*y - x = 0 for l.
-3
Suppose 42*r - 28 = 38*r + 5*g, 2*r - 4*g - 2 = 0. Solve -4*f - 29*j - r = -28*j, -5*f - 28 = -j for f.
-5
Let z(w) = -w + w**2 - 10 - 3*w + 9 - 26. Let g be z(8). Solve 0 = -4*n + 2*o - 6 - 14, -7 = g*n + 2*o for n.
-3
Let m = -149 - 43. Let q = m - -197. Solve 0 = q*d + 5*s + 25, d = -0*s + 2*s + 1 for d.
-3
Let v be (42/7 - -3) + (-1 - (-8)/2). Solve 3*l = -a + 18, -3*l + v*a - 16*a + 27 = 0 for l.
5
Suppose 0 = 15*f - 3*f + 12. Let v be 405/30 + 2/(5 + f). Solve -2*x + 14 + v = -4*a, -3*a - 15 = 0 for x.
4
Suppose -v - 2*k = -2, 2*v - 52 = k - 48. Solve 36 = v*i - 5*h + 30, -2*h - 2 = -i for i.
-2
Let k = -94 + 109. Suppose 0*y + 4*y - 44 = -4*r, -2*r + 28 = 4*y. Let c = r - 5. Solve -m = -0*d + c*d + k, m + 11 = -2*d for d.
-4
Suppose -82*a + 85*a = -12, -5*g = 5*a - 5. Solve 11 = -f - 40*i + 38*i, -g*i = -3*f for f.
-5
Suppose 444 = 2*v - 3*d, -2*v + 5*d + 95 = -341. Suppose -5*t + v = -2. Let w = -31 + t. Solve 2*z + u + w = -3*z, 23 = z - 5*u for z.
-2
Suppose 148 = 6*m - 188. Suppose -5*o - r = 4*r - 130, 2*o + r = m. Suppose -25 = -5*q, -q + 6*q - o = -p. Solve 4*v + 15 = -p*z - 16, 11 = v - 5*z for v.
-4
Suppose 7*g - 10*g + 8 = 2*l, -l = 2. Solve -10 = g*j - 2*y, -4*j + 1 - 26 = y for j.
-5
Let l be (-230)/7 - 1/7. Let o = l - 34. Let c = -65 - o. Solve 0 = 5*z + c*b + 4, b - 2 - 11 = 5*z for z.
-2
Suppose -238*m + 242*m - 196 = 0. Solve 0 = -m*a + 46*a + 3*o - 9, -4*a - 5 = 3*o for a.
-2
Suppose -8*h + 4*h + 12 = 0. Suppose -h*y = -5*t + 32, 3*t = 4*y + 3 + 14. Solve 2 = w - 0*w - g, -t = -3*w + 2*g for w.
3
Let n = 6 - -2. Suppose 4*b + 2 + 6 = 0, -4*b - 8 = r. Suppose 30*f + 5*f = r. Solve -j = a - 1 + 3, -2*a + 2*j + n = f for a.
1
Suppose -85*n - 57 = -89*n - 3*x, 2*n - 2*x - 46 = 0. Solve -s = 4*m - 3, -25*s - 4*m = -27*s - n for s.
-5
Let t(g) = 48*g**3 - 2*g**2 + 3*g + 1. Let y be t(1). Let v = y - 47. Solve k = -v*l + l + 3, l + k + 1 = 0 for l.
4
Suppose -14*z + 1294 - 792 + 2186 = 0. Solve -z*l - 18 = -2*a - 187*l, -24 = 4*a + 5*l for a.
-1
Let r be ((-351)/(-27) + -13)/(2/2). Solve 5*w + 3*c + 18 = r, -6*w + 1 = -7*w + 2*c for w.
-3
Let c be 63/84 + (-59)/4. Let r be 24/14*c/(-4). Solve -r - 7 = -2*y + 3*w, -w = 3 for y.
2
Let a(c) = -2*c**2 + 28*c + 3. Let p be (-7*1)/(9 + 19/(-2)). Let u be a(p). Solve 4*l + u*h - 18 = h, 4*h = -l + 1 for l.
5
Let b(c) = -c**3 + c**2 + c + 13. Let x be b(0). Let d = -24 + 25. Let k = 28 - 26. Solve -1 = k*l + d, -5*z = 3*l + x for z.
-2
Let b = 247 + -243. Suppose 0 = -3*z - b*m + 18, 4*z - m = -6*m + 23. Solve -z*c + 0*y = 4*y - 12, 5*c = -3*y + 23 for c.
4
Suppose -35*b + 1155 = -2*b. Solve 0 = -4*s - 8*u + 11*u - b, u = 5*s + 30 for s.
-5
Let k(n) = 3*n**2 + 4*n + 4. Let x be k(-3). Suppose -21*r = -x*r + 76. Let j = r + 46. Solve 2*q - t + 2 = t, 4*q - 2*t = -j for q.
-3
Suppose 5*s = -5*f - 10, -s = -4*f - 3*s. Suppose -18*b - 664 + 3436 = 0. Let y = 157 - b. Solve 4*u - 5 = y*w, u - 2*w + w = f for u.
-1
Let i be 25/15 + 437/627 + (-4)/11. Let w(y) = 2*y - 8. Let v be w(6). Solve 5*q + 2*l + v = 0, -q + i = 3*l - 5 for q.
-2
Suppose -2 = -3*i + 2*j, 4*i + 9 = 3*j + 12. Solve 0 = -3*m - 4*r - 22, -5*r = -2*m - i*r + 16 for m.
-2
Let p be (57 - -6)/(-7)*(-6)/(-18). Let l be 5/4*(p + 9 + -2). Suppose 0 = 5*f - 0 - 15. Solve f*w - 8 = 2*z + 1, -4*w - l*z + 12 = 0 for w.
3
Let s be ((-4)/(-6))/((-2)/(-33)). Suppose 141*n - 4*g + 27 = 142*n, -30 = -5*g. Solve s = -q + 3*x - 6, -q + 7 = n*x for q.
-5
Suppose -210 = 5*b - 0*b. Let t = -39 - b. Let s be 41/(-123) - 1*1/(-3). Solve s = -2*g + g + 4*x + 8, -4*g - t*x - 6 = 0 for g.
0
Let b(c) = c**3 - 3*c**2 - 11*c + 10. Let i be b(5). Let x be 1 - (-10 - 2 - -4). Suppose -1 - x = -5*v. Solve -k - 2 = 2*g + k, v*k - 5 = i*g for g.
-1
Suppose 4*x - 419 = -5*l, 3*x + 5*l - 289 = 24. Suppose x + 200 = 17*i. Solve -4*z - 5*m + 7*m - i = 0, -z + 3*m = 12 for z.
-3
Suppose 4*v - 2*d = -0*v + 8, -3*d = -3*v + 12. Suppose 26*x + 22 - 152 = v. Solve 5*z - 5*c = 45 - x, -z = c for z.
4
Suppose -38*o + 18 = -32*o. Suppose 0 = -4*z + 5*h + 27, -z + o*h - 43 = -6*z. Solve -13 = -3*x - 3*u - 1, -5*x - u = -z for x.
1
Suppose -4*k + 49*k = 585. Solve 3*h + 3*s = 4*s + 1, -3*h + k = -4*s for h.
-1
Suppose 0 = 4*m - 0*m, -a + 5*m = a - 30. Solve k = -c - k + 10, -a = -5*k for c.
4
Let q = -497 + 542. Suppose w - 49 = -5*c, -43*w - 48 = -5*c - q*w. Solve -17 = -3*i + 4*l - 0*l, c = -2*l for i.
-1
Let u(d) = 107*d + 432. Let a be u(-4). Solve -4*r = 4, r = -a*x - 2*r + 17 for x.
5
Let u(y) = -3*y**3 + 116*y**2 - 79*y + 130. Let h be u(38). Solve 4*t = 4*p + h, 5*p = p - 4 for t.
3
Suppose 2*u = 9*k - 8*k + 5, -4*u - 11 = 5*k. Suppose g - 7 = -x, -u + 0 = -x + g. Solve 4*y = -4*v, x*v = -5*y - 0*y for v.
0
Suppose -142*i + 141*i - 17 = -3*y, 0 = -4*y + i + 21. Solve -20 = -5*q - y*k, -4*q = 3*k - 16 + 1 for q.
0
Let c be 534/356 + 1/2. Solve 0 = -c*b - f - 6, 2*b = b + 4*f + 15 for b.
-1
Let o(w) = w**2 - 208*w + 6. Let t be o(0). Solve 3*n - 5*s + t = 0, -2*s + 10 = 5*n - 11 for n.
3
Suppose 4*r + 2*r - 12 = 0. Let j be r - 4/(-8)*0. Let o = -4 - -7. Solve 0 = -3*x - o, 2*u + 10 = -j*x for u.
-4
Suppose -5*t 