s = -16188. Solve 432*o + 18 = s*o for o.
-3
Let k(o) = -7*o + 218. Let m be k(30). Suppose m*j + 3 = 27. Solve 4*d - j*d = -d for d.
0
Suppose -4*j + 143 = 2*y - 147, -5*j = y - 370. Suppose -5*l + 2*s + j = 21, 0 = l + 2*s - 6. Solve a = 3*a - l for a.
5
Let d = -33 - -53. Let l be 6 + 5*(-8)/d. Solve o + 0 = -l for o.
-4
Let v(a) = -7 + a**2 - 6*a - 2*a**2 + 0*a + 3. Let b be v(-4). Suppose -55*h = 4*h - 295. Solve 11 = -h*f - b for f.
-3
Let o(x) = 837*x - 360. Let g be o(1). Solve g*q = 480*q for q.
0
Suppose 1850*y - 441 = -3*f + 1845*y, 2*f - 308 = -y. Solve 9*j + f = 175 for j.
2
Suppose 8 = s + 3*s. Let h(i) = 75*i**3 - 2*i + 3. Let z be h(1). Let g = z - 71. Solve g*u + s = 3*u for u.
-1
Let x(v) = -20*v - 138. Let b be x(-7). Let t be (15 + -13)*b/14*63. Solve 4 = 14*f - t*f for f.
-1
Let i be (-7)/(-98)*14*12. Solve -i*t + 2 = -11*t for t.
2
Suppose 33*w + x - 19 = 30*w, 0 = -5*x + 5. Solve 13 = -w*l - 5 for l.
-3
Suppose 5*c - 26*c = -168. Let y be (40/c)/20 - 107/(-4). Solve -3*r + 24 = y for r.
-1
Let y = -186 + 182. Let z be 144/14 + -10 + y/14. Let q = -2 - -2. Solve z = -3*j - q*j - 6 for j.
-2
Let k = -117 + 127. Suppose 42 = -k*l + 13*l. Let y be 38/133 + 220/l. Solve 3*m + y = -m for m.
-4
Let o = 6843 + -6431. Solve 422*i - 10 = o*i for i.
1
Suppose 9 = 3*h, 0 = -3*z + 7*z + h + 1. Let r be (-3)/6*8 + 14 + z. Solve 2*y = -r + 5 for y.
-2
Let y = 20782 + -20775. Solve -l + 36 = -y*l for l.
-6
Let s be ((2 - 2)/(-2))/(-2). Suppose -13*z = 23 - 127. Suppose 2*h + s*h = z. Solve -3*v = v + h for v.
-1
Suppose 15 = 5*x + 6*r - r, 3*r = -4*x + 9. Suppose -2*s + 11*s - 225 = x. Suppose 20 = 2*n - 3*c, -4*n - 3*c = 3 - 7. Solve i - s = -n*i for i.
5
Suppose -5*p + 5 = -15. Let w = -142 - -145. Solve 11 = p*v + w for v.
2
Suppose 0 = 2*v + r - 6 - 2, -3*r = -3*v + 21. Suppose -5*i = -4*j + 8 - 4, 0 = i - 5*j + v. Solve 0 = -4*p + 8 - i for p.
2
Let l(h) = 3*h**3 - 17*h**2 - 57*h + 8. Let p be l(8). Let s(b) = 2*b**2 + 1. Let y be s(1). Let j be (-15)/10*(-4)/y. Solve p = -j*w - 17 + 7 for w.
-5
Let t = -88 + 97. Suppose 0 = d - 4*d + t. Suppose -111*i + 110*i + d = 0. Solve 0 = 2*n - i - 1 for n.
2
Let q be ((-17)/(-2))/(19/38). Let x(m) = -3*m + 53. Let j be x(q). Solve j*a = -0*a - 2 for a.
-1
Let u = 1088 + -1046. Solve -2 = -8*r - u for r.
-5
Suppose -5*t = 4*c - 0*t + 79, 5*c - 5*t = -65. Let r be 88/c - -8 - (-2)/4. Solve 7 = -r*y - 5 for y.
-4
Let u be 0 + 14 - (0 - -1). Let i(s) = s**3 - 5*s**2 + 28*s - 61. Let n be i(3). Suppose 23 = 4*f + 5*z, 0 = f - 2*f + n*z - u. Solve 0 = -f*r - r for r.
0
Let q be (-2 - (-2766)/(-18)) + 4/6. Let w be (7 - q/(-25))*5. Solve 5*p = -w - 11 for p.
-3
Let g(o) = -o**3 - 4*o**2 - 3*o + 3. Let m be g(-3). Let l = 2 - m. Let n = 1 - l. Solve n*q = -q - 6 for q.
-2
Let w = 15 + -9. Suppose -w = 2*t - 16. Suppose -2*f = 2*c - 4, -2*f + 0*c - t*c = -1. Solve f*v = -v + 4 for v.
1
Let z = 2 - -1. Suppose -47442 = -67*s + 62974. Let n = s - 1641. Solve z = c + n for c.
-4
Let v(n) = 356*n**3 - n**2 + 5*n + 4. Let l be v(-1). Let s = l - -359. Let w be ((-5)/(-4))/((-5)/(-20)). Solve -w*i + s = -4*i for i.
1
Let k = 418 + -221. Let c = -162 + k. Solve -33*l + c*l = 0 for l.
0
Let a(v) = -5*v - 31. Let l be -12 + (-2)/(-8)*8. Let s be a(l). Solve -1 = s*w - 20*w for w.
1
Suppose -5*m + 35 = -4*g, -2*m + 14 = 261*g - 257*g. Solve -155 + g = 31*s for s.
-5
Let o = 167 + -169. Let z be (1 - o) + (-2 - -4). Solve 0 = z*w - 3 + 18 for w.
-3
Suppose 2*w - 23 + 2 = -3*p, 0 = 5*p + 8*w - 63. Solve -55*v - p = -54*v for v.
-3
Let j be 377/15 + (-22)/165. Solve 0 = -18*k + 23*k - j for k.
5
Let d = -1250 - -1274. Solve d*p - 22*p + 6 = 0 for p.
-3
Let a be (-2)/(-1*2) - 1. Suppose -2*w = -4, -2*c + 32 = -3*w + 7*w. Suppose a*q = -q + y + 7, 4*y - c = -4*q. Solve -q = -0*t + t for t.
-5
Let m(v) = 14*v - 24. Suppose 3*s - 5*o + 21 = 7*s, 3*s - 4*o = 39. Let p be m(s). Let n = 112 - p. Solve 0 = 2*c + n for c.
-5
Suppose 0 = -1752*f + 1898*f - 2190. Solve -82 = f*j - 157 for j.
5
Let p(i) = 2*i**2 - 11*i + 8. Let d be p(7). Suppose 3*k + 0*k - 71 = -2*a, k - 2*a - d = 0. Let w be (3/6)/((k/(-10))/(-5)). Solve 0 = -s - 0 - w for s.
-1
Let k(n) = n - 4. Let i be k(7). Let z be i*(32/6 + -4). Suppose -l + 5 = b + b, l - 11 = -z*b. Solve 0 = -w - b*w + 16 for w.
4
Suppose 2*i - 51 - 163 = -2*q, -3*i = 6. Let d = q + -31. Let u = -77 + d. Solve -2*p = -7 + u for p.
3
Suppose 2*m - 3 = -2*l + m, 3*m = 4*l - 31. Let j be (20/4)/(4/l). Suppose -5*h + c + 14 = 0, 4*c - 6*c - 13 = -j*h. Solve h*i + 9 = -6 for i.
-5
Let j(g) = g**3 - 5*g**2 + 4*g + 1. Let b be j(5). Let w = 1 + 17. Let i = b - w. Solve -4*v + 15 = i for v.
3
Suppose -2*d - 4*h = 2, -343*d = -348*d - 3*h + 30. Solve 4*u + 1 = d for u.
2
Let f = 8766 - 8748. Solve -f*k = 237 - 201 for k.
-2
Let v(l) = l**2 + 17*l + 76. Suppose 293 - 18 = -25*z. Let w be v(z). Solve w = -5*h - 0 for h.
-2
Let a(z) = 156*z - 1801. Let x be a(12). Solve x*c = 66*c + 5 for c.
1
Let a(k) = -k**3 + 145*k**2 - 1594*k - 255. Let n be a(133). Solve -n + 10 = -z for z.
1
Suppose -2*a + 45 = 4*l - 7*a, -2*l = 5*a - 15. Solve 0 = l*y + 63 - 3 for y.
-6
Suppose 40*s + 1199 - 1279 = 0. Solve 8 = -s*k - 4 for k.
-6
Let u = -1340 - -1360. Let m = 4 + 2. Let t be 8/10*15/m. Solve u = t*i + 2*i for i.
5
Let y(m) = -3*m**3 - m**2. Let p be y(1). Let r = -500 - -490. Let a = p - r. Solve a*i - 11*i = -15 for i.
3
Let f = 4349 + -4348. Solve -12*o + 11*o - f = 0 for o.
-1
Let l(x) = x**3 + 31*x**2 + 208*x - 38. Let o be l(-21). Suppose 0 = 4*d - 4*s + 1 - 13, 0 = 5*d + 2*s + 6. Solve d = 8*k - o*k + 16 for k.
-4
Let i(m) = 2*m**2 + 88*m + 480. Let d be i(-6). Solve 19*l = d*l for l.
0
Suppose -32 + 1352 = 8*w. Suppose -2*j = 4*q - 150, -5*j + w = 5*q - q. Suppose 4*n = 5*k + 6*n - 14, 0 = 5*k - 5*n - q. Solve -3*c + 4 = -k*c for c.
-4
Suppose 103766 + 67111 = 721*k. Solve -k = 8*y - 165 for y.
-9
Let o(r) = -8*r - 5. Let a be o(-2). Suppose 4*q = 79 - a. Solve -n + q - 22 = 0 for n.
-5
Let b(w) = -17*w**2 - 6 - w**3 - 57*w + 57*w + 12. Let u be b(-17). Solve 8*a - u*a = 0 for a.
0
Let h(u) = -5*u - 64. Let t be h(8). Let w = t - -109. Solve -32 = w*d - 12 for d.
-4
Suppose 4*a = 5*p + 90, 37*p = 33*p - 24. Solve 0 = 16*g - a - 81 for g.
6
Let p(r) = -3*r**2 - 16*r - 30. Let i(h) = 10*h**2 + 47*h + 89. Let q(f) = -2*i(f) - 7*p(f). Let u be q(-16). Solve u = j + 18 - 15 for j.
-3
Let u be 2530*24/180 - (-12)/(-9). Solve -4*b - u = -60*b for b.
6
Let q = -25692 + 25698. Solve -288*v = -290*v - q for v.
-3
Let q be (3 + -23)*112/(-10). Let y = q + -207. Solve 10*b + 33 = -y for b.
-5
Let s(d) = -d**3 - 78*d**2 + 14. Let f be s(-78). Solve -f*o = -19*o - 20 for o.
-4
Let f(b) = -b**3 - 42*b**2 - 4*b - 100. Let q be f(-42). Suppose -4*v - q = -4*s, 0 = -2*s + 5*s + v - 47. Solve x = -3*x + s for x.
4
Let z be (-198)/6*20/(-6). Suppose z = -0*h + 11*h. Suppose -3*t = a - h, a = 2*a - 2*t - 5. Solve -n + a = 5 for n.
2
Suppose 6*x - 350 = -5*n + x, 0 = -4*n - 5*x + 282. Let h = n + -66. Suppose -15 = 4*d + h*w + 3*w, 9 = -2*d - 3*w. Solve 0 = g - d - 2 for g.
2
Let r(a) = a**2 - 5*a - 3. Let v be r(6). Suppose 2*l - 2 = 3*l - v*g, -l + g = 0. Let i be l/(-1) - (-20)/5. Solve t = -i*t for t.
0
Suppose k = 5*k - 8. Let g = -158 + 122. Let w = g + 40. Solve -w - 4 = k*j for j.
-4
Let w(m) = 2*m**3 + 21*m**2 + 9*m - 4. Let z be w(-10). Suppose -3*q - 5 = -f, -z*f = -4*f - q - 5. Solve -f*h + 4 - 2 = 0 for h.
1
Let t = 97 - 61. Let f = 56 - t. Suppose -2*z - 2*z = -f. Solve 0 = z*i - 2 - 3 for i.
1
Let o(z) = 6*z**2 - 28*z - 212. Let x be o(-9). Solve -524*i + x*i = 8 for i.
4
Let w(q) = q**2 + 10*q - 21. Suppose -4*m = -t - 25 + 1, 2*m + 6 = -t. Let v be w(t). Solve -v*c = -6*c for c.
0
Suppose 0 = 2*x + 87 - 9. Let i = x + 39. Suppose -6*r + 42 - 12 = i. Solve -10 - 15 = -r*b for b.
5
Let i be (-1105)/(-143) - 6/(-22). Suppose 5*b - i + 3 = 0. Solve m - 2 = b for m.
3
Suppose 9*l - 26*l + 1513 = 0. Let a = l - 84. Let q(x) = -x**3 - 7*x**2 - 7*x - 3. Let y be q(-6). Solve -2*k + a*k = -y for k.
-1
Let m(n) = -4758*n - 38063. Let b be m(-8). Let k(l) = -l**3 - 5*l**2 + 4*l - 7. Let u be k(-6). Solve b = d + u for d.
-4
Let l = -1621 + 2513. Solve -889*f = -l*f + 3 for f.
1
Let h(y) = 4*y**3 + y**2 +