 -l + t = 5 for l.
-3
Let m(n) = n**3 + 5*n**2 - 6*n + 1. Let u be m(-6). Let o be u*11/((-11)/(-6)). Suppose -5*w - 4 = -o*w. Solve 2*t = 2 - w for t.
-1
Suppose -65*m = -57*m + 2680. Let k = m - -338. Solve 2*w + k = 11 for w.
4
Let g = 3021 - 2957. Solve -65*r = -g*r for r.
0
Suppose -6*a - 28 = -2*a. Let p be ((-1946)/8)/a - (-3)/(-4). Let u = p + -31. Solve 0 = -u*b + 8 - 2 for b.
2
Suppose 0 = l + k - 7, -4*k - k = 4*l - 29. Suppose -u - u = -l, u = -3*n + 12. Solve -2 = -n*g + g for g.
1
Let c = -4517 - -4542. Solve 9*d + 16 = c for d.
1
Let m(n) = -8*n**2 + 135*n - 332. Let s be m(3). Let g(u) = u - 6. Let x be g(9). Let o = x - 3. Solve o = -t + 2 + s for t.
3
Let o(w) = -50*w + 14. Let r be o(-2). Let j = 135 - r. Solve -p = j - 16 for p.
-5
Suppose 4*x - 8 = 0, -5*x + 31 = b + 7. Solve 13*l + b = 14 for l.
0
Suppose -2*n + 109 + 97 = -5*x, 0 = -3*n - 3*x + 246. Solve -1783*m = -1772*m + n for m.
-8
Suppose -6*p = -p - 60 + 10. Solve -25 = -p*h - 5 for h.
2
Let u = 100622 - 100619. Let b be -1 - (0 + -2) - 0. Let f be (-1 + b)*(-1 + 2). Solve u*z - 12 = -f*z for z.
4
Let j be (1/7)/(-6 - (-127)/(-63)*-3). Solve j = -0*u - 3*u for u.
-1
Suppose -7 = -323*u + 299*u + 41. Solve -50 = 8*p - u for p.
-6
Let y(c) = -c**2 - 14*c - 20. Let p(w) = -w**2 - 14*w - 20. Let t(s) = -5*p(s) + 6*y(s). Let l be t(-11). Solve l - 38 = -5*n for n.
5
Let j(b) = 6 + b + 0*b + 4 - 6. Let u be j(-4). Suppose -3*d = -5*s + 7, u*s + 5*s + d = 11. Solve p = -0*p + s for p.
2
Let a(t) = 24*t**2 - 14*t - 13. Let n be a(-1). Solve -n = -18*j + 13*j for j.
5
Let o = 255 - 250. Let x(w) = w**3 - 8*w**2 + 6*w + 10. Let n be x(7). Suppose -o*j = n*v - 0*v - 20, -8 = -5*v - 2*j. Solve -3*c + 9 + 3 = v for c.
4
Suppose -4*u - 3*g + 75 = 0, -u - 291 + 326 = 4*g. Solve u*v + 19 = 4 for v.
-1
Suppose -10*p - 16*p = 26*p - 416. Solve 34 - 10 = p*f for f.
3
Suppose 7 = -y - 2*l, 6*y + 22*l - 42 = 24*l. Let j be ((-2)/(-2))/(0 + 1). Solve -2*m = y - j for m.
-2
Let c(b) = -5*b + 58. Let n be ((-63)/1)/(-7) + 2. Let d be c(n). Solve 22*t - d = 21*t for t.
3
Let q be ((-1)/(-2) + -1)*120/(-4). Suppose 4*d + 10 = -m + 3*m, -2*m + q = -3*d. Suppose -2*j = 3*j - m. Solve p + j - 1 = 0 for p.
-2
Let q(h) = -124*h - 1776. Let s be q(-15). Solve v = -20*v + s for v.
4
Let j(u) = 333*u**2 - 3*u + 21. Let m be j(0). Solve -141 = -26*c - m*c for c.
3
Let k(d) = -7*d - 2*d**3 + 2*d**3 + 0*d**3 - 7*d**2 - d**3. Let r be k(-6). Let l be ((-220)/550)/(4/(-30)). Solve -l*y + r*y = -9 for y.
-3
Let s = 131 - 123. Suppose 4*q - 4 - s = 0. Suppose -q*d = -5*d + 4*d. Solve -4*c + c = d for c.
0
Let u be ((-81)/(-12))/((-3)/12) - -3. Let y be (-8 - 208/u)*3. Let v(m) = -m**3 - 7*m**2 - 5*m + 8. Let x be v(-6). Solve -y*j = x + 2 for j.
-2
Let c = 265 - 63. Suppose 8*t + 38 = -c. Let d be (21/(-35))/(2/t). Solve d = 4*s - 7*s for s.
-3
Suppose -3*x - 379 + 139 = 0. Let z be (((-15)/(-25))/((-4)/x))/1. Solve -6*l + z = -9*l for l.
-4
Let a(t) = t**3 + 12*t**2 - 106*t + 101. Let h be a(-18). Solve 71*l - 36 = h*l for l.
6
Suppose -7*v + 27 = 9*t - 10*v, 3*v = -2*t + 6. Solve 467 = -58*a + t for a.
-8
Suppose -3*f + 5*o = -619, 6*f - 7*f - o = -209. Let u = f + -208. Solve u*n + 2*n + 4 = 0 for n.
-2
Let m(a) = a**3 - 7*a**2 + 7*a + 16. Let j be m(5). Let l = j + 2. Solve l*t + 20 = 5 for t.
-5
Let g = 15 - 18. Let l = -204 + 213. Let a be l + g/(-3)*-5. Solve 6*r - a*r = -10 for r.
-5
Suppose -7*w - 268 = -11*w. Let o = -62 + w. Let y be 13 + -1 + 15/o. Solve y*k - 12*k = 6 for k.
2
Suppose 0 = -5*s - 2*g + 30, 0*g - 24 = -s - 4*g. Suppose s*u - 11*d + 10*d - 20 = 0, -u + d = -5. Solve -u*f + 2 = -3 for f.
1
Let y be 0 + 0 - (-10 + 9). Let b be y*((-97)/11 + 8/(-44)). Let v(k) = -k**2 - 7*k + 20. Let s be v(b). Solve 3*h + s = -13 for h.
-5
Let x be 11/9 + 28/(-126) - 13. Let c be (-27)/x - 2 - 675/(-100). Solve -c*y + 35 = -0*y for y.
5
Suppose -56 = 4*d - 5*c - 4, 16 = 4*c. Let y(w) = -w**3 - 10*w**2 - 19*w - 17. Let f be y(d). Solve -u = -f + 12 for u.
-5
Let m = 5158 - 5156. Solve -5*r = m*r for r.
0
Let m(p) = p**3 - 10*p**2 + 2*p + 6. Let i be m(10). Let g = i + -14. Suppose 5 - 45 = -10*l. Solve l*v + g = v for v.
-4
Let c = -494 + 504. Solve -12*x = -c*x + 8 for x.
-4
Let s = 91 + -88. Let n = 617 + -615. Solve n*y + s = -y for y.
-1
Let j be (45/(-54))/(2/(-12)). Suppose j*h = h + 40. Suppose h + 10 = 5*r. Solve -r = -4*i + 3*i for i.
4
Suppose 5*x - 9 = 6. Suppose -x*j + 9 + 33 = -3*n, 22 = j - 5*n. Suppose j*b = 14*b. Solve -3*t + 2*t - 3 = b for t.
-3
Let a be 4/12 + (-42)/(-9). Suppose 4*r - a = u, 5*u = 2*u - 15. Solve 0 = y - r*y for y.
0
Let o(t) = -5*t + 63. Let p be o(22). Let l = -44 - p. Solve 0 = -3*u - 9 + l for u.
-2
Let d be -2 - (1 + -35) - (-43)/(817/76). Solve 246 = -d*a - 5*a for a.
-6
Let l(q) = -4*q + 32. Let n be l(7). Suppose -168 = n*d - f, 0*d + 4*f = -4*d - 168. Let i = -37 - d. Solve -p = -i*p for p.
0
Let d be 6/5*-4*(-10)/16. Suppose 4*m + 12 = 8*m. Suppose m*n = 21 + d. Solve -2*v - n = 2 for v.
-5
Let l = 13545 + -12983. Solve -2 = -l*z + 563*z for z.
-2
Suppose -235*u + 234*u - 169 = 0. Let s = u - -173. Solve s*a - 3*a = 2 for a.
2
Suppose 811*a - 1281 + 226 = 567. Let u(k) = k**3 - 6*k**2 - 2. Let z be u(6). Let r = -2 - z. Solve a*q = -r*q - 6 for q.
-3
Let g = -133 + 134. Let y be g/(-3)*(-270)/45. Solve -h + y*h + 1 = 0 for h.
-1
Suppose 41*w = 51*w. Suppose w = 1544*a - 1549*a + 140. Solve a*f - 27*f = 5 for f.
5
Suppose 0 = 5*t - 5 - 30. Suppose t*u - 18 = u. Solve -v = -4 + u for v.
1
Let y be (-24)/(-10)*((-120)/(-6))/4. Suppose 4*d = 4*a + y, -4*d - 2*a + 6 = -2*d. Suppose d*r + 50 = 56. Solve -12 = -r*w + 5*w for w.
-4
Let x = 32 + 4. Let l be ((-4)/12)/(6/x). Let h be l/9 + (-3)/((-108)/224). Solve h*g - g = 15 for g.
3
Suppose -20*z + 544 = -176. Let d(r) = 2*r**2 - 74*r + 77. Let h be d(z). Solve 0 = h*u + 10 + 5 for u.
-3
Suppose 5 = m - h, 4*m = -5*h - 4 - 3. Suppose 3*l + m = -4*p, -2 = -3*l - p + 2. Suppose 4*s - s = -4*k + 41, l*k - 28 = -2*s. Solve 0 = 4*a + a + s for a.
-3
Let b(o) = 45*o - 313. Let p be b(7). Suppose 3*c - p*d - 19 = 0, -4*c - d = 2 - 42. Solve -4*w + 20 = -c*w for w.
-4
Let h = 1072 - 971. Suppose 3*r - 96 = 237. Solve -r = 2*c - h for c.
-5
Suppose -2*j + 0*j + j + 4*j = 0. Solve j = 7*s + 23 - 37 for s.
2
Let f = 736 + -424. Suppose 0 = 2*h - 8*h + f. Let x = h + -49. Solve 2*u = -x*u + 5 for u.
1
Suppose -v + 2*b + 14 = 0, 0 = -220*v + 216*v - 2*b + 36. Solve -888*t + 898*t = v for t.
1
Suppose 2*s - 21 = 5*w + 9, 37 = 5*s - 3*w. Suppose d + h - 2*h - 12 = 0, -s*h = 4*d - 12. Solve -9 = -i - d*i for i.
1
Suppose 2*c + 3*w = -42 + 34, -4*c - 8 = 4*w. Suppose -c*y - 4*g + 12 = 0, 29 + 20 = 4*y + 3*g. Solve 9*s = -7*s + y for s.
1
Suppose -19*t = 27*r - 25*r - 2408, 2*t - 238 = 2*r. Solve 140*k - t*k = 98 for k.
7
Let d(n) = -10*n**2 + 587*n + 177. Let w be d(59). Let i(t) = -t**2 - 4*t. Let r be i(-4). Solve w = q - r + 5 for q.
-5
Let l(o) = o**3 - 4*o**2 - 3*o + 2. Let h be l(-3). Suppose 5*a = 4*a + 54. Let n = a + h. Solve r + n + 0 = 0 for r.
-2
Let c = 42 - 148. Let s = 111 + c. Let z = -4 - -4. Solve z*m = -m - s for m.
-5
Let v(i) = -i**2 + 7*i + 23. Let w be v(7). Suppose 4*q = -8, 1 - w = -4*c + q. Suppose -3*g + 45 = c*r, -3 = 3*r - 4*g - 1. Solve 0 = -r*o + 7*o + 5 for o.
-5
Suppose -18*c = -23*c - 4*g - 32, 2*g + 10 = -c. Let l be (-6)/(-6)*c - (-18)/2. Solve -6 = -l*h - 6 for h.
0
Let u be (-1)/2*(-258 + 48). Solve u = 71*b - 86*b for b.
-7
Suppose -27 = 5*f - 2*f - 3*b, -3*b - 36 = 4*f. Let y = -4 - f. Suppose x = -2*q + y, 4*q + 5 = 5*x - 4*x. Solve -2*t + q = 4 for t.
-2
Let x(k) = -5*k**3 - k**2 - 4*k. Let h(o) = -o**3 - o. Let z(q) = 11*h(q) - 2*x(q). Let d be z(2). Let v be ((-2)/d)/((-2)/(-90)). Solve 8*j - v = 3*j for j.
3
Let f(d) = -3*d**3 + 13*d**2 - 6*d + 10. Suppose -2*y - 13 + 5 = -2*o, -o - 3*y = -4. Let s be f(o). Suppose 0 = 2*g + 2*g. Solve s*u - 3 - 1 = g for u.
2
Let c = -6613 + 6644. Solve 29*p = -c + 176 for p.
5
Suppose -q - 4*s = 15, -5*s + 0*s = q + 11. Let a = q - -36. Suppose a*i = -2*m + 39, 0*i + 4*i - 3*m = 45. Solve -i = -3*b - 0 for b.
3
Suppose 23 - 18 = -5*v + 5*y, -5*v + y + 11 = 0. Solve 8*j = -v*j + j for j.
0
Let b(p) = -p**2 + 4. Let i = 35 - 75. Let l be 5/(-