 - i = 37 for n.
2
Let w(b) = 4*b**2 - 30*b - 4. Let q = 163 - 155. Let r be w(q). Solve 3 = -r*o + 11*o for o.
-3
Suppose 5*p + 4*a = p + 1684, -2*a = -6*p + 2542. Let c = p - 408. Solve 0 = 11*s + 7 + c for s.
-2
Suppose -2*b = 2*m - 302, 2*b + 4*m + 644 = 6*b. Let j = -156 + b. Solve 4*d + 0*d + 4 = j for d.
-1
Let a(x) = x**2 + 13*x + 24. Let s(q) = q**3 - 5*q**2 + q + 1. Let u be s(4). Let t be a(u). Solve 0 = -4*m + t + 2 for m.
1
Let z(p) = p**3 + 5*p**2 + 18 - 5 + 22 - 19*p**2 - 11 - p. Let s be z(14). Solve -6*x + s - 4 = 0 for x.
1
Let w(n) = 35*n + 38. Let g be w(-7). Let d = -202 - g. Solve 6*y = -d - 13 for y.
-3
Suppose -2*b + 304 = -3*u, -3*b + 168 + 288 = -5*u. Solve -17*g + b = -55*g for g.
-4
Suppose 5*w + 35 = 5*n, 4*w - 595 = 3*n - 615. Let d(v) = -v**3 + 7*v**2 + 7*v + 11. Let h be d(8). Solve -h*b - 14 = -n for b.
-2
Suppose -3*u + 10*u = 28. Suppose -u*o = 4*f - 84, 0 = -5*o - 4*f - 22 + 122. Suppose 0 = -o*d + 20*d - 12. Solve -2*p - d*p = -25 for p.
5
Let a(n) = 5*n - 17. Suppose 3*b - 2 - 10 = 0. Let h be a(b). Solve 7 = -h*w + 4 for w.
-1
Suppose -14*l - 2 = -2*j, 19*l - 5 = 14*l - 5*j. Solve l = 40*t - 28*t + 48 for t.
-4
Suppose 199 - 54 = 29*i. Suppose 2*x + 3*k = 23, -i = -3*k + 10. Solve x*u = -6 - 6 for u.
-3
Let w(x) = 12*x + 13. Let n be 1/(-7) + 4 + (-204)/42. Let r be w(n). Solve -4*f = 13 - r for f.
-3
Let v = -29709 - -29729. Solve 31*l - 21*l = v for l.
2
Suppose 65*o = 2*u + 63*o - 2780, 3*u - 4175 = 4*o. Solve -u*s = -1373*s - 72 for s.
6
Let a be 4 + (-2 + -3 - -1). Suppose a = 11*x - 18*x + 707. Suppose 121 = 2*t + x. Solve -6*h + h = t for h.
-2
Suppose 0 = 8*a - 4*a - 16. Suppose 79 = a*f + 3*u, u = -2*u + 15. Let c = 16 - f. Solve -4*p + c*p = -20 for p.
5
Suppose 0 = -3*r + 7*w - 3*w + 211, -r - w = -61. Let j = r - 63. Let m be j*6*((-6)/4 + 2). Solve 0 = 3*l + m for l.
-2
Suppose 13 = -3*z + 10. Let y be z + (-35)/(-3) - (-4)/(-6). Solve 0 = -y*l + 5*l + 5 for l.
1
Suppose -i + 2*n + 190 = 0, 3*n + 581 = 3*i + 32. Solve 146*y = i*y + 60 for y.
-2
Let q be (5 - 235)*(-5)/10. Solve c = 113 - q for c.
-2
Suppose 68 + 162 = -w. Let k = -225 - w. Solve 4*d - 11 = k for d.
4
Let g(l) = l**2 + 9*l + 20. Let p be g(-5). Solve p = -39*m + 32*m + 7 for m.
1
Suppose -2*u + 4*n = -28, -n - 9 = -4*n. Suppose u*q - 39 = 61. Solve q*v = -6 + 16 for v.
2
Let t(h) = h + 5. Let j be t(-1). Suppose -z - 1 = j. Let o be (60/42)/z + (-2)/(-7). Solve o = b - 1 - 3 for b.
4
Let c(o) = -o**3 + 32*o**2 - 54*o - 141. Let y be c(30). Solve 5*d + y = 19 for d.
-4
Suppose -3*m + 2*l = -230, 5*m - 7*m + 5*l + 179 = 0. Solve 0 = 87*u - m*u - 105 for u.
7
Let o be (-1083)/(-285)*((-116)/(-8) - (-1)/2). Solve -10*t + 17 = o for t.
-4
Suppose 9*v = 3*v + 42. Let y = 369 + -369. Solve 15*g - v*g + 16 = y for g.
-2
Let r be (-18)/(-1) - (-9)/(-3). Suppose z + 3*l = r, -z - 3*z + 4*l = 20. Let a(v) = -v**2 + 48*v + 213. Let m be a(-4). Solve -m = -5*h - z for h.
1
Let w = 84 - 80. Suppose -16 = -w*t + 5*f, -5*f = -t - f + 4. Suppose 3*j - j + p - 1 = 0, -t*p - 20 = -4*j. Solve 0 = j*q - 4*q - 10 for q.
-5
Let z be (-34)/(-2) + 15 - 0. Solve -39*j = -z*j - 21 for j.
3
Suppose -3*f - 2*r = -0*r - 11, -r + 13 = 4*f. Let i(h) = 5 - 1 - 4*h - h - 2. Let c be i(-1). Solve 4*s - f = -c for s.
-1
Let u(s) = -2*s + 2. Let z = 55 + -54. Let t be z/(-2) + 0 + 5/(-2). Let n be u(t). Solve -2*c + n = 2*c for c.
2
Suppose -74 = -2*j + 5*m, -2*j + 5*m - 115 = -7*j. Solve 13*c - 1 + j = 0 for c.
-2
Let h(t) = -29*t + 263. Suppose 2*u - 13*y = -11*y + 18, u = 4*y + 9. Let a be h(u). Solve a*w = 1 + 9 for w.
5
Let h = 881 + -852. Solve 16 = 13*c + h for c.
-1
Let g = -26835 + 26835. Solve -9*k - 1693 + 1756 = g for k.
7
Let k(l) = 14*l**3 + 6*l**2 + l - 6. Let d be k(1). Solve d + 139 = -77*o for o.
-2
Let u = 35 + -40. Let x be (5 + u + 3)*1. Suppose -x*r + 4 = -20. Solve 0 = r*g - 3*g - 10 for g.
2
Suppose -3*s = 5*l - 1667, -5*l + 66*s = 61*s - 1675. Solve 0 = l*i - 330*i - 16 for i.
4
Let v be -12 - (50/(-5) - -3). Let y be 6 - (6 - (v + 5)). Suppose -s + 8 = 3*s. Solve y = -u + s*u for u.
0
Let j = -107 - -118. Suppose t = 3*z - j, -14*t - z + 25 = -9*t. Solve 3*b + t + 2 = 0 for b.
-2
Let q(d) = 4*d + 30. Let n(i) = i + 11. Let y(x) = 14*n(x) - 4*q(x). Let o be y(10). Solve 18*j = o*j for j.
0
Let n = -317 - -319. Let q = 52 + -26. Let p be (-13)/q - 18/(-4). Solve n*z + 2 = -p for z.
-3
Let w(v) = 66*v + 132. Let c be w(-2). Solve -15*d + 12*d + 6 = c for d.
2
Suppose 4*g - x = 35, 4*x - 3*x + 43 = 5*g. Suppose g = 5*y - y + 3*u, 2*y - 4*u = 26. Solve 0*n = 5*n - y for n.
1
Suppose 0 = -2*q + 14, -5*q + 710 = 4*f - 349. Solve -f*c + 251*c = -20 for c.
4
Let d = 41234 + -41231. Suppose -4*m - m = 10, 0 = 5*v - m - 47. Solve 0 = 6*r + d*r - v for r.
1
Suppose 0 = 8*o - 110 - 242. Solve -2*c - 34 + o = 0 for c.
5
Let x = 48 + -20. Let w = -22 + x. Let m be -6*(1 - 8/w). Solve 4*j = m - 10 for j.
-2
Let q = 91 + -79. Suppose 5*r = 3*r + 5*p - 20, 3*p = q. Solve 4 = -r*a - 4*a for a.
-1
Suppose 3*n - 5*n + 106 = 0. Suppose n*r = 52*r + 26. Solve -r + 29 = -3*i for i.
-1
Suppose 4*b + 2806 = 11*b + 2743. Solve -b*k + 319 - 283 = 0 for k.
4
Let y(z) = 115*z + 1864. Let u be y(-16). Solve -w - 11*w = u for w.
-2
Suppose u - 17 = -16, -4*z - 5*u + 17 = 0. Suppose r - 2 = 7. Suppose 0*l + 3*l = o - 6, -4*o + 6 = -3*l. Solve o + r = z*m for m.
3
Suppose 20*o - 156 = 281 + 343. Solve -o*x = -44*x - 20 for x.
-4
Suppose 59*q = -39*q - 74 + 1348. Solve 45 = 32*x + q*x for x.
1
Let q = 5049 + -5044. Solve 0 = q*s + 42*s + 188 for s.
-4
Let f = -3632 - -3645. Solve -15 = -d - f for d.
2
Suppose 3*i - 28 = 77*l - 75*l, 0 = 5*i - 5*l - 35. Solve -i*m + 64 = -34 for m.
7
Suppose 5*d - 44*a = -41*a + 74, -d = -2*a - 12. Solve 0 = 26*q - d*q - 50 for q.
5
Suppose -12 = -5*c + u, -73 + 69 = 3*c + 5*u. Suppose -4*a = -c*d, 2*a = -0*a - 2*d. Solve -3 = i - a for i.
-3
Let l be ((-100)/40)/((-15)/96). Solve 10 - 26 = -l*a for a.
1
Let s be 8 + (-7 - 280/(-5)) + (-1)/(-1). Solve -51 = s*j + 239 for j.
-5
Let v be (2 - 3)/((-1)/4). Suppose -2*d = 5*o - 3*o + 8, -5*o + 8 = d. Solve -v*i + o = 3 for i.
0
Suppose 4*d + 4*t = 184, -d - 196 = -5*d - t. Solve -139*u + 149*u - d = 0 for u.
5
Let s be 10/6*4/((-20)/(-15)). Suppose s*d - 6 - 14 = 0. Suppose v + 33 = 3*a, v + 41 = 5*a + d*v. Solve -2*x + 7*x - a = 0 for x.
2
Suppose -t = -4*t - p + 2, 0 = t - p + 2. Suppose 3*y + 36 = 16*b - 12*b, t = 4*b + 2*y - 16. Solve -8*h + b*h = 8 for h.
-4
Let c(h) = -11*h**3 + 2*h**2 + 2*h + 1. Let a be c(-1). Suppose 0 = -3*t - 3*s + a, 6*s - 12 = -3*t + s. Suppose -t + 22 = 9*y. Solve 0 = 2*d - d + y for d.
-2
Let a(v) = -15*v**3 + 12*v**2 + 4*v + 37. Let l(d) = -13*d**3 + 13*d**2 + 3*d + 36. Let j(s) = 6*a(s) - 7*l(s). Let z be j(19). Solve -13*f + z = -38 for f.
5
Suppose 5*j - 94 = 206. Suppose 69*m - j*m - 9 = 0. Solve 0 = -b + m + 4 for b.
5
Suppose -3*r = -1 + 31. Suppose -50 = 128*f - 123*f. Let i = f - r. Solve i = 3*q - 4 - 2 for q.
2
Suppose -l = 4*n + 2, -5*l + 3*l - 2*n = -2. Suppose -3*u + 30 = 3*b, 0*b = 3*u - l*b - 5. Suppose -u*s = 4*s - 9. Solve 4 = f - s for f.
5
Let n(k) = 12*k**2 - 3*k - 1. Let w be n(2). Solve 4*r - 33 + w = 0 for r.
-2
Let m = 30893 - 30860. Solve -32*l + 7 = -m*l for l.
-7
Let x(o) = -o**2 - 5*o + 2. Let v be x(-5). Suppose -2*h + 2*z = -15 - 11, -4*z = v*h - 2. Solve -h*j = -4*j + 25 for j.
-5
Suppose 0 = w + 2*b + 7, -4*b = -w + 37 - 14. Suppose -7 = -5*l + 4*z, w*z - 7 = -1. Solve 0 = -6*m + l + 9 for m.
2
Suppose -538*n = -528*n - 210. Solve 5*x + 1 = n for x.
4
Suppose -3*w + 4 = 4*h + 11, -3*w - 17 = -h. Let t be (-1 + 1)/((-4)/4 + h). Solve -5*g - 7 - 8 = t for g.
-3
Let u = 18 + 0. Let k(v) = 145*v - 721. Let a be k(5). Solve -a*i - 2*i = u for i.
-3
Let n be 1056/9 - 29/87. Suppose n*t = 121*t. Let v be -2*1/2*-3. Solve s + 2*s - v = t for s.
1
Let j(x) = -17*x - 62 + 46*x + x**2 + 35 - 1. Let q be j(-30). Solve 25 = -3*y - q*y for y.
-5
Let k(s) = -3*s - 193 + s**2 - 11*s + 4*s + 218. Let n be k(7). Solve -3*o - 5 = -n*o for o.
5
Suppose -36*v + 118*v = -4955 + 13155. Solve 0 = -v*b + 111*b - 88 for b.
8
Let u be 35*8/(-20) + 28. Solve -u*w + 675 = 61*w for w.
9
Suppose -2*c = c + 150. Let j = 54 + c. Let b = j - -9. Solve 7 = 5*