
-2
Let k be 27/(-12) + 5/20. Let a(q) = -q**3 + q**2 + 3*q + 5. Let t be a(k). Suppose 0 = -6*d - t + 41. Solve -32 = -d*v - 7 for v.
5
Let p = 55 - 52. Suppose -2*a + 14 - 2 = 0. Let i be (-5)/(-10) - (-3)/a. Solve w + i = p for w.
2
Let u = 1896 - 1893. Solve 1657*j - 1656*j - u = 0 for j.
3
Suppose 4*z - 64*y = -60*y + 516, -3*z + 5*y + 379 = 0. Solve 24 = -z*j + 137*j for j.
6
Let x be (-4)/(-18)*3 + (-5406)/(-153). Suppose 10*p - x = 24. Suppose -4*r = -6*r + p. Solve -d = r*d for d.
0
Let l(y) = 238*y - 2127. Let d be l(9). Solve -d*x = 17*x - 32 for x.
1
Suppose -22*n + 429 = -231. Solve n = -26*s + 134 for s.
4
Let o be (-107)/(-1) - (-4 - -1). Let g be (-6)/(-15) - (-4 + o/25). Solve g = 3*m - 3 - 3 for m.
2
Suppose -p - 109 = -v - 40, -2*v + 4*p + 144 = 0. Suppose -v = -643*m + 637*m. Solve 10*s = m*s - 3 for s.
3
Let w = -21 + 42. Let p be (0 - (-9)/4)/(w/56). Suppose 5*i - p = 3*i. Solve 0 = s - i - 2 for s.
5
Let t = 2980 - 2973. Solve 30*z - 157 + t = 0 for z.
5
Let j be (2/6)/(1/(-36)*-2). Let m = 28 - 26. Suppose -b + 9 = m*b. Solve j*s + 6 = b*s for s.
-2
Suppose 13*c = 11*c - 3*x - 15, 0 = -4*c + 2*x - 6. Let u be c/2 + 13/2. Solve 9*w = 4*w - u for w.
-1
Suppose -4*w - c + 37 = 0, -47*w + 3*c = -42*w - 59. Solve -w = 184*j - 186*j for j.
5
Let p be (25/1)/((-13)/(-26)). Suppose 70 = 5*z - m, -5*z + 3*m + p = -2*m. Let j = -18 + 21. Solve -j*x + z = -0*x for x.
5
Suppose -4*t = 3*x - 8, 5*x + 8 = -3*t + 7*t. Let a = 5 - -4. Suppose 4*i = -5*l + 12, 0 - a = -3*i - 4*l. Solve i*k + x = 6 for k.
2
Suppose 206 - 99 + 497 = 4*u. Solve u + 125 = -46*h for h.
-6
Let j be (-241)/((-4 - -3)*-1). Let f = j - -244. Solve 0 = l - f*l for l.
0
Suppose -5*h = 10 + 5, 4*z = 3*h + 2429. Solve 6*c = z - 623 for c.
-3
Let l be 4 + 1 - 1*-1. Let w = -130860 + 130861. Solve -w = -p - l for p.
-5
Let q = -86 + 90. Let n(l) = -l**3 + 4*l**2 - l + 9. Let r be n(q). Solve 0 = -2*c + r*c - 15 for c.
5
Let h be 5*10/25 + -2. Suppose -3*b - 5*j + 98 = h, 3*b + 0*j - 94 = -j. Let t = b + -31. Solve k = 4 - t for k.
4
Let p(r) = 17*r**2 - 5*r - 4. Let c be p(-1). Let t be (-9)/6*1020/c. Let z = 93 + t. Solve 0 = -3*k + 5*k + z for k.
-4
Let y = -278 + 125. Let l = -149 - y. Solve h - 5 = -l*h for h.
1
Let q be (172 + -169)*(-76)/(-3). Solve q*r - 78*r = 0 for r.
0
Let t = 513 - 499. Let d(c) = 2*c**3 + 3*c**2 - 3*c + 1. Let k be d(-2). Solve 2 - t = k*n for n.
-4
Let q = 248 + -243. Suppose q*f + 23 = 10*f + 2*n, n + 11 = 5*f. Solve 2*y = f*y - 3 for y.
3
Let t be (-1)/4 - 27/(-12). Suppose 4*x + 57 - 15 = -t*u, 5*u - 2*x = -129. Let c = u - -27. Solve -c*y - y - 12 = 0 for y.
-4
Let z = 1195 - 1038. Solve 35*r - 18 - z = 0 for r.
5
Suppose -14*o + 12*o - 42 = -3*x, o = 5*x - 63. Solve 0 = -3*i + x*i - 36 for i.
4
Let n(d) = 8*d - 13. Let c(j) = 4. Let s(i) = -3*c(i) + n(i). Let y be s(4). Solve 11 = y*h - 10 for h.
3
Suppose -7914 = -29*d - 374. Suppose -15*l = -25*l + d. Solve -4*m + l = 6 for m.
5
Let c = -13 - -18. Suppose 4*b = -b + 10. Suppose 2*p = 3*r - 19, 0 = 2*r - 1608*p + 1606*p - 16. Solve r*i + b = c for i.
1
Let p = 99 - 54. Let m = 54 - p. Suppose -u = m - 9. Solve u*v = -3*v for v.
0
Suppose -119*m + 102*m = -102. Suppose -u - m = -2*u + k, 8 = -4*u - 4*k. Let q(r) = -2*r - 2. Let l be q(-2). Solve 0*s + l = u*s for s.
1
Let u(m) = 75*m + 2791. Let y be u(-37). Solve y*x - 10*x = 48 for x.
8
Suppose 55*j - 1 = 54*j, -158 = -4*f + 2*j. Solve -29*s + 21*s + f = 0 for s.
5
Suppose 0 = 2*i + 3*f - 435, -3*i + 6*i + f - 635 = 0. Suppose 218*u - i*u = 160. Suppose j + 2*j = -5*k + 3, j - k = 9. Solve -j*w + w + u = 0 for w.
4
Let z be (5 - -28)/3 - -3*1. Suppose z*x = -10*x. Solve 0 = -2*c - x + 6 for c.
3
Let v(t) = -41 + 284 + 3*t + 0*t - 16*t. Let j be v(18). Solve -45 + 0 = -j*r for r.
5
Let l(z) = -5*z**2 + 15*z + 22. Let s = 4 + 3. Let g(i) = -6*i**2 + 16*i + 22. Let k(m) = s*l(m) - 6*g(m). Let a be k(-5). Solve -w + a*w - 2 = 0 for w.
2
Suppose -11*c + 1971 = 178. Let s = c - 149. Solve 0*j - s = 7*j for j.
-2
Let v be (3 + -13)*3/15. Suppose -3*d = -4*d - 2*c + 7, 0 = -3*d + c + 7. Let q be 2/d*(82/4 - v). Solve -6*u + q = -3*u for u.
5
Suppose -5*s - 3*h = -2*h - 71, 3*h = -5*s + 63. Solve 102*x - 783 = s*x for x.
9
Let x be ((493/(-2))/(-1))/(11/154). Solve -3484 + x = 11*d for d.
-3
Suppose -h = -2*m + 7, -4*m = -0*m + 3*h - 19. Let k(w) = -9*w + 32. Let o(t) = t - 1. Let p(x) = -k(x) - 4*o(x). Let l be p(6). Solve c = l - m for c.
-2
Let k = -10 - -14. Let u = k - 2. Let y(j) = 14*j**2 - 24*j + 17. Let l be y(2). Solve -u*f + l = -7*f for f.
-5
Suppose 51*o + 414 = 25*o + 1064. Solve 29 = -o*u + 4 for u.
-1
Suppose 15 = -3*t, 269*t = -5*z + 265*t + 330. Solve 0 = 17*w + z*w - 348 for w.
4
Suppose 220 = 9*z + 58. Let k be (-96)/216 + 8/z. Solve -5*v - v + 24 = k for v.
4
Let x(j) = -20*j + 62. Let t be x(3). Let z be (-2)/((75/(-18) - -2) + t). Solve -15 = -z*w + 9*w for w.
5
Let q be ((-4)/18)/((-6)/54) - 0. Suppose 0 = -q*a + 2*a - a. Solve -8*d - 2 - 6 = a for d.
-1
Let c = 42581 + -41733. Solve -137*v = -31*v + c for v.
-8
Let u = -9855 + 9903. Solve 156*l = 140*l + u for l.
3
Let v(s) = -14*s**2 + 120*s - 64. Let f be v(8). Solve f = -89*o + 68*o - 84 for o.
-4
Let y be 2185/475 + -3 + (-12)/(-5). Let z(r) = -2*r**2 + r + 1. Let f be z(-1). Let m be 5 - 3 - 0/f. Solve 0 = k - m*k - y for k.
-4
Let r = 1934 + -1923. Solve -4*m + r*m = -19*m for m.
0
Let p = -176 + 315. Suppose -p*h = -134*h. Solve 0*c + c + 5 = h for c.
-5
Let d(i) = 41*i - 14. Let w be d(-1). Let t be -8*(-6 + w/(-10)). Solve x - t = -1 for x.
3
Suppose 4*w - 3*f + 4*f = 582, w = -3*f + 140. Solve 0 = 5*a + w - 121 for a.
-5
Let b = 10222 + -10222. Solve 18*v - 88 - 38 = b for v.
7
Let i be 4 - (-5)/((-20)/56). Let d(r) = -r + 6. Let y be d(i). Suppose 0 = -3*a - y + 49. Solve -6*t = -a*t - 20 for t.
-4
Let v(b) = 246*b + 269. Let i be v(-1). Solve 60 = 37*k + i for k.
1
Let n(q) be the second derivative of -q**4/12 + 5*q**3/6 - q**2 - 3*q. Let k be n(2). Let b(p) = p**2 - 4*p + 4. Let s be b(k). Solve 0 = -s*h + 2*h for h.
0
Suppose -t = -3*p + 25, 5*p - 37 = t + 6. Let f be (-4 - (-96)/18)/(6/p). Solve f = -4*z + 2*z for z.
-1
Let f(x) = x**2 - 8*x - 18. Let b(n) = n**2 + 16*n + 26. Let c be b(-15). Let h be f(c). Solve 4*d - d = -h for d.
-5
Let m = 105 + -115. Let n(c) = -5*c**2 - 49*c + 13. Let j be n(m). Solve j = 3*y - 0*y for y.
1
Let m be (-3)/(-2)*4*-1. Let l be ((-6)/4 - -1)/(m/24). Suppose -l*r - 18 = -8*r. Solve 15 = -2*u - r*u for u.
-3
Let t be ((-3 - 32)/(-5) - -2) + -1. Let m be (3/2)/((-3)/8). Let f = t + m. Solve 0 = x + f*x + 5 for x.
-1
Let n(u) = 2*u**2 - 37*u + 3. Let o be n(19). Suppose -26*p = o*p - 432. Solve 80*m = 83*m + p for m.
-3
Let n be (-2)/(7 + -5)*827. Let l = n + 830. Solve -l*w - 2 = 4 for w.
-2
Let o be 6/(-2) + 150/(24/4). Suppose -4*c + o = -2*c. Suppose -4*m = h - c + 3, 4*m = -3*h. Solve -2*i = m*i for i.
0
Let x = 12625 - 12363. Solve -12*b + x = 274 for b.
-1
Let w(x) = -633*x - 15184. Let k be w(-24). Suppose -4*f + 0*f - 35 = 5*l, 0 = l - 2*f - 7. Let n = 7 + l. Solve 0 = -0*y + n*y + k for y.
-2
Suppose 119*v + 39*v - 1514 = 540. Solve -14*s - v - 43 = 0 for s.
-4
Let b be 432*(-9)/(-27)*4. Let z = b + -574. Solve 2 = 4*d - z for d.
1
Let s(d) = -2*d + 70. Let y be s(29). Suppose f - 17 = -2*q, 0 = y*f - 17*f + 4*q + 43. Solve -f + 15 = 2*x for x.
2
Let m(p) = -3*p**3 - 2*p**2 - 33*p - 129. Let x be m(-5). Solve x*u - 40 = 353*u for u.
5
Suppose k - 4 + 1 = 0. Suppose -3*w - 5*g - 5 = -0*w, 4*g + 1 = -k*w. Let a(l) = -2*l**2 + 63*l - 140. Let p be a(29). Solve -5*y + w + p = 0 for y.
2
Let q(l) be the third derivative of l**5/30 - l**3/3 - 38*l**2. Let m be q(-1). Suppose -7*s + 0 + m = 0. Solve 5*i - 13 + 3 = s for i.
2
Let z(y) = y**3 + 21*y**2 + 3*y + 63. Let c(f) = -f**2 + 6*f - 5. Let t be c(8). Let p be z(t). Solve w = -p*w for w.
0
Suppose -5*p - 25 = 11*r - 10*r, 4*r + 25 = -5*p. Let c(a) = -a**3 - 6*a**2 - 21*a - 48. Let i be c(p). Solve i = 3*s + 5*s for s.
4
Let t be (-1 - -3) + -5 - -128. Suppose t*p - 152*p = 0. Solve 5*w + p - 25 = 0 for w.
5
Let h be (-16)/(-6)*150/4. Suppose 0 = -h*o + 97*o + 12. Solve 0 = -o*w - 12 - 0 for w.
-3
Let r(o) = 2*o**2 + 17*o + 37. Let t be r(-7). Let w(u) = 16*u 