2 + 12*s - 9. Let c be k(-14). Let q = c - z. Solve 25 = -q*t - 5*t for t.
-5
Let j(a) = -a**3 + 10*a**2 + 3*a - 21. Let m be j(10). Let t be (3/2)/(m - 396/48). Solve -o = -3*o - t for o.
-1
Suppose -3*r + 2*b = 15 + 9, 0 = 3*b - 9. Let h be (2 - (1 + r))*10/7. Solve h*s + 15 = 13*s for s.
5
Let a = 69 - 39. Let i = 33 - a. Suppose 0 = -5*x + 3*h + 56, 2*x - i*h - 8 - 18 = 0. Solve -t = -6*t + x for t.
2
Let z(n) = 2*n**2 + 14*n - 47. Let l be z(4). Suppose -8*o = -57 + l. Solve o*y - 1 = 7 for y.
4
Let a be 1/4 - (-30)/8. Let g(c) = -18*c**2 - 956*c - 1036. Let o be g(-52). Solve 12 + a = -o*y for y.
-4
Suppose -2*o - o + 225 = 0. Let v = -22 - 51. Let n = o + v. Solve -5 = 3*k - n for k.
-1
Let z = 48 - 48. Suppose z = 5*y + 2*y - 21. Suppose -5*r + 32 = 3*m + 7, y*r = -4*m + 37. Solve 4*a + m = 2*a for a.
-5
Let n = -3414 - -4186. Solve 768*u + 4 = n*u for u.
1
Let f be (-17 - -8) + 9/1 - 0. Let w(i) = -i**2 + 3. Let z be w(0). Let l = z - 0. Solve f = 5*d - l*d - 8 for d.
4
Suppose 0 = 5*f - 3*p - 100, 51*p = -2*f + 56*p + 40. Solve 154*z = 134*z + f for z.
1
Let m be 2/16 + 5/(240/(-16422)). Let q = 342 + m. Solve 0 = s + 2 - q for s.
-2
Let c be (-4 - (-40)/5) + 8/(-2). Let t be 6/4*(1 + 1). Let z(q) = q**3 - 2*q**2 + 2*q + 1. Let b be z(t). Solve 4*j = -c*j - b for j.
-4
Let m be 1/(((-6)/(-134))/(-3)). Suppose 5*i + 135 = -2*n, -2*n - 230*i + 228*i = 132. Let p = n - m. Solve 0*v = -v - p for v.
-2
Let r be (2984/(-32) + 16)/((-6)/8). Solve -12*z + 31 = r for z.
-6
Let r(v) = -v + 3. Let k be r(1). Suppose -k*s + 36 = l, 4*s + 191 = 5*l + 3*s. Let a = 43 - l. Solve -a = 3*z + 1 for z.
-2
Suppose 2*y = 47 - 205. Let c = y + 81. Solve -7*w - 10 = -c*w for w.
-2
Let m = -34 + 34. Let l(c) = c**3 + c - 33. Let t be l(m). Let j = -30 - t. Solve 4*s = j*s - 4 for s.
-4
Suppose 205*r + 1216 = 269*r. Solve -107 = r*u + 7 for u.
-6
Let n be 145/(5 - 3375/690). Solve f - 1331 = -n for f.
-3
Let w be ((-28)/20)/((-3)/10 + (-5)/(-50)). Solve w*s + 26 - 5 = 0 for s.
-3
Suppose 5*f = -b + 851 - 863, -3*b - 36 = -2*f. Suppose -18 = -5*j - 3. Solve j*y - 63 + 54 = f for y.
3
Let h be (((-4)/8)/(-1))/((-5)/1150). Let j be h/(-25) + (-4)/(-10). Suppose 26 = 3*z - 5*a, 2*z + j*a + 0 = -16. Solve m = z*m for m.
0
Let h(f) = -f**3 - 33*f**2 + 111*f + 113. Let r be h(-36). Solve 180*a - 185*a = r for a.
-1
Let p be (-2)/11 - ((-264600)/231)/30. Solve -329 = p*x + 9*x for x.
-7
Let l be (2 + 24/(-6))*2/(-1). Suppose -2 = 4*v + 5*p, -5*v - l*p + 7*p + 16 = 0. Solve 7*m = v*m - 5 for m.
-1
Suppose 5*m - 312 = -m. Let w = m - 52. Suppose 0 = -2*n - 10, 2*j + w = 3*n + 15. Solve 5*t + 20 = -j*t for t.
-4
Let s(k) = k**3 + 10*k**2 + 8. Let h = 65 - 61. Suppose -2*n - 35 = -c - h*c, 2*c = -3*n - 24. Let g be s(n). Solve u = -u + g for u.
4
Suppose 8 = 2*f, 2*i + 3*f + 2546 - 2814 = 0. Solve -i + 289 = -23*g for g.
-7
Let p be (-162)/8*232/(-174). Solve -10*f = -13 - p for f.
4
Let k be (196 + -7)/(-9) + 3*-1. Let m = 28 + k. Solve 2 = -m*f - 14 for f.
-4
Let o = -29247 + 29251. Solve -7 = -o*r - 23 for r.
-4
Suppose -4*b - 4*d = 4, -64*b = -59*b + 2*d - 10. Suppose -5*y + 91 = g + 99, -b*g - 5*y = -28. Solve -g + 8 = 2*i for i.
-2
Let x(t) = t**3 - 7*t**2 - 10*t + 18. Let s be x(8). Let o be 5 + (10/(-6))/(s/(-6)). Solve 13*b - o = 8*b for b.
2
Let k(q) = 3*q**2 - 58*q + 272. Let a be k(8). Solve a = -6*r + 13 + 23 for r.
6
Let a = -23 - -25. Suppose 0 = -a*p + 5*p - 15. Suppose -p*s + s = -16, -4*s = 5*m - 16. Solve -9 = 3*l - m for l.
-3
Suppose -w = 3*y - 0*y - 37, -4*w - 4*y = -140. Suppose w = 4*j - 2*c + 12, 0 = -j - 5*c. Solve -j*r + 12 = -9*r for r.
-3
Let u = -158 - -160. Suppose -5*j + u*x = 0, 5*j + x = j. Solve j = -8*f + 6*f for f.
0
Suppose a = -a + 56 - 10. Solve 17*h = -a - 28 for h.
-3
Let q(b) = -11*b - 110. Let u be q(-8). Let f be ((-561)/u)/(((-3)/2)/(-3)). Solve -f*v = -55*v for v.
0
Let b be (-3 - 0)*96/(-18). Suppose 0 = 13*z - b*z + 15. Solve z*d = 2*d - 15 for d.
-5
Let j = 399 + -364. Solve 0 = -j*s + 29*s - 24 for s.
-4
Suppose k - 5*p - 574 = 0, 5*k = -4*p + 2335 + 332. Solve a = -k + 532 for a.
-7
Let j(b) = b**3 - 4*b**2 - 14*b + 17. Let o be j(6). Solve 46 = -o*f + 41 for f.
-1
Let r(d) be the first derivative of -7*d**2 - 140*d - 10. Let j be r(-10). Solve j = -2*a - 6 - 0 for a.
-3
Suppose -23*s - 3467 = -86. Let p = s + 151. Suppose 3*a + j = 29, 5*a = 3*a - 4*j + 16. Solve 10 = p*u - a for u.
5
Let n(s) = -9*s - 4. Let f be n(4). Let i = 58 + f. Let u be (-11)/(-3) - 12/i. Solve l + u*l - 4 = 0 for l.
1
Suppose -s + 37 = 2*x + 27, -2*s - 4 = -2*x. Suppose 4*d = 3*v - 64 + 210, x*d = 2*v + 148. Solve 6*p + d = 14 for p.
-4
Let t be (-11)/(-44) - (-2 - -4)/8. Solve 28*b + 19*b - 188 = t for b.
4
Let n(c) = -11*c + 5. Suppose -8*l - 20 = 2*l. Let g be n(l). Let x = g - 7. Solve -5*q - x = -q for q.
-5
Let c = -3064 - -3090. Solve -c = 3*n - 38 for n.
4
Suppose 29*a - 21*a + 828 = 20*a. Solve -89 = 4*s - a for s.
-5
Suppose -w - x = -3*x - 5, 5*x - 15 = -3*w. Suppose 0 = -w*s - 3*i + 35, 4*i = 4*s + 7 - 3. Suppose 53 + 43 = 4*q. Solve s*n + q - 4 = 0 for n.
-5
Let l(y) = -6*y**2 - 115*y + 32. Let x be l(-14). Solve x*c = 461*c - 15 for c.
-3
Suppose -2*j + 40 = 3*l, -l - 2*j + 313 = 297. Solve 399 - 411 = l*n for n.
-1
Let z be (-2)/3*(-1)/(-3*(-1)/9). Solve -21 = -z*u - 11 for u.
5
Suppose 0*x = x - 4*x + 15. Solve 0 = 5*z - 10 - x for z.
3
Let s = 20656 - 20637. Solve s + 1 = 4*v for v.
5
Let d = 0 - -3. Let i = 143 - 128. Suppose 0 = -a + 6*a + 5*n - i, -6 = -3*a - 4*n. Solve d*p = a - 3 for p.
1
Let s be (4 + (1 - 4))/((-2)/(-26)). Suppose 16 = -5*a + s*a. Suppose -14 = -p - 0*n + 2*n, 5*p - n = 25. Solve a - 10 = -p*b for b.
2
Suppose 124 = o + 121, -8*p + 4*o = -12. Suppose 4*f = 2*c + 3*c - 22, -4*c = f - 5. Solve c = x - p*x for x.
-1
Let f be (180/(-33))/((-88)/484). Solve 0 = -5*y - f + 60 for y.
6
Suppose -5*u + 22 = -33. Let h be 1/(-3) - (-100)/(-15). Let k = u + h. Solve -3*n = -k*n + 2 for n.
2
Suppose -30*o + 12 = -27*o. Suppose -j = -o*j + 15, 5*l - 70 = -5*j. Solve -13*s + l*s + 8 = 0 for s.
2
Suppose 2*l = 10, -c + 3*l - 60 = -6*c. Let f be -14 + c/3 + (-2 - -3). Let v be (f/(-6) + 0)*3. Solve v*j = 3*j for j.
0
Let s(v) = -39*v**2 + 2*v + 2. Let a be s(2). Let l = a - -157. Solve -5 = 2*f - l for f.
1
Let u be (-14)/2 - (-16 - 37). Suppose 2*b - 4*v = 4*b - 14, -5*b + v + u = 0. Solve 7*j + 6 = b*j for j.
3
Let a be 16*(11 - (21 - 15)). Solve 18*l - 8*l - a = 0 for l.
8
Suppose 84*i - 1 = 85*i + 2*h, h = -4. Solve 0 = 16*f + i*f - 23 for f.
1
Suppose 8*l - 5*l - 12 = 0. Suppose 4*m - 22 = 4*w - w, 4*w = -3*m + l. Let s be w*1*(-2)/10*10. Solve 4*h = 24 - s for h.
5
Let d = -215 + 219. Let v be 17/((-153)/36) - d/(-1). Let f = 11 - 8. Solve -4*a + f*a - 3 = v for a.
-3
Let a(w) = -18*w. Let h be a(1). Let g(p) = 3*p**2 - 20*p + 11. Let s be g(8). Let j = s + h. Solve 6*t = t + j for t.
5
Let j = 57 + -55. Suppose -2*q - 2 = 2*t, 0 = 5*t + 13 + j. Suppose 32 = 4*w - 0. Solve -2*m = -q - w for m.
5
Suppose -6 = -5*z + 3*z. Let g(p) = -20*p - 124. Let y be g(-7). Suppose -19 = -y*v + 13. Solve b = v*b + z for b.
-3
Suppose 7 = 4*m + a, -5*m + 4*a - 7 = -0*a. Let i(l) = l + 1. Let p be i(m). Suppose p*y = -c + y + 18, -2*y = 4*c - 76. Solve -u = 3*u - c for u.
5
Suppose -2*f + 7*f = -3*n - 169, -3*f - 2*n - 101 = 0. Let l be 7/f*(-25)/1. Solve -l*w - 4 = -14 for w.
2
Let h = 170 + -169. Suppose -h = -l + 3. Solve -2*n = -n + l for n.
-4
Let c be ((-6)/(-2))/(3/4). Let h(j) = 3*j + 16. Let v be h(-4). Suppose 0 = -0*a + v*a - 4*k, 2*a - 4 = -2*k. Solve -c*q - 3 = a for q.
-1
Let f = -2487 + 2499. Solve -f*w - 20 = 16 for w.
-3
Let p(b) = 2*b**2 + 19*b + 5. Let l be p(-9). Let o(f) = f**3 + 4*f**2 - 3*f - 3. Let i be o(l). Solve -8*q = -i*q + 3 for q.
3
Let u(t) = -3*t - 13. Let d be u(-5). Let a = 5 + d. Suppose 0 = -a*v + 10*v. Solve 3*p + 0*p = v for p.
0
Let b(i) = i**2 - 64*i - 550. Let g be b(-8). Solve -6*s - g + 50 = 0 for s.
4
Let c = -374 - -375. Suppose 4*y = -5*l + 13, 5*l - 2 - c = y. Solve -6 = y*s - 0*s for s.
-3
Let x = 36 + -16. Let u be (30/(-12) - -6)*(-136)/(-119). Let z(n) = 4*n + 132. Let k be z(-33). Solve k*f - x = -u*f for f.
5
Suppose -7 = -a - n, 4 = -0*a - 2*a + 4*n. Suppose 0 = -a*m - 