j = 4*x - x + 3 for x.
-1
Suppose 0 = -5*v + 9*v - 64. Let l be (v/(-12))/((-2)/6). Suppose 6 = l*i - i. Solve -2*s + i = -s for s.
2
Let w(c) = -5*c + 10. Let u(s) = 21*s - 40. Let n(b) = -2*u(b) - 9*w(b). Let q be n(8). Let a = q + -13. Solve -2*l - 3 = -a for l.
-1
Let x(v) = -1. Let t(c) = c - 13. Let o be 2 + (-2 - -2) + -1. Let h(m) = o*t(m) - 6*x(m). Let s be h(9). Solve -p + 4 = s for p.
2
Suppose 0 = 355*r - 327*r - 1232. Solve 5*x + 6*x = r for x.
4
Suppose -k + 4 = 2. Suppose 0*w - 2*w - k*i = -16, 0 = -4*w + i + 52. Suppose 0 = -5*m - r + 17, 4*m - r - 15 + 5 = 0. Solve -n = m*n + w for n.
-3
Suppose -4*y = -d - 31, 2*d - 7*d - 123 = -4*y. Let f = d + 29. Suppose 0 = 8*s - f*s. Solve s = p + 3*p for p.
0
Let l(d) = -2*d**3 - 3*d**2 + 1. Let z be l(-2). Let p be 55/15*-3 + 1*2. Let v(o) = 5*o + 49. Let y be v(p). Solve -y - 11 = z*k for k.
-3
Suppose 4*k - 6 - 3 = v, -3 = -k + v. Suppose 3*z - k = 3*f + 2*z, -5*f = 5*z - 10. Solve f*w = -4*w - 12 for w.
-3
Let l(m) = -2*m**2 + 47*m + 162. Let g be l(25). Solve 81*b - 24 = g*b for b.
-4
Suppose 82 - 158 = -19*s. Solve -18*r - s*r = -66 for r.
3
Let l be -19 + -24*(-154)/132. Solve 0 = -l*r + 44 - 8 for r.
4
Suppose -20*n + 22*n + 3*j - 19 = 0, 5*n - 37 = 3*j. Suppose 5*l = 3*i - 9, n = 5*l + 2*i + 2. Solve l = 3*p + 13 - 1 for p.
-4
Let b(k) = -2*k**2 - 13*k + 48. Let m be b(-9). Solve m*w + 122 - 119 = 0 for w.
-1
Suppose 752*r - 546 = 751*r. Let d = r + -543. Solve -3 = -d*h - 6 for h.
-1
Let b = 633 + -623. Let c(u) = -u**2 + 3. Let v be c(0). Suppose v*h - 30 = -0. Solve 0 = -h*r + 5*r + b for r.
2
Let d = -5161 - -5182. Solve 71*i + d = 64*i for i.
-3
Suppose -5*a = i + 27 - 2, -5*i - 3*a = 15. Suppose 6*p + 22 = 34. Solve -2*c - 6 - p = i for c.
-4
Let i(q) be the third derivative of 7*q**4/24 - 11*q**3/6 - 13*q**2. Let k(l) = 8*l - 12. Let r(b) = 7*i(b) - 6*k(b). Let z be r(6). Solve z = 2*m - 9 for m.
5
Suppose -6 - 2 = -2*n. Let s = 9 + 21. Suppose 9*z = -5*v + 4*z + s, 0 = n*v - 2*z - 12. Solve -1 = -y - v for y.
-3
Let m be ((-108)/8)/(1/4). Let s = m - -16. Let h = -36 - s. Solve h*z = -2*z + 12 for z.
3
Suppose -v - 10 = -14. Let h be 1 + 10 + -5 + v. Suppose 1 = -5*m - o + 26, 4*o + h = 2*m. Solve -m*i = -14 - 1 for i.
3
Suppose 38*l - 1271 + 245 = 0. Solve 0 = 395*b - 404*b + l for b.
3
Suppose 5*n - 10 = 45. Suppose -4*s - 5*k = -13, -5*s + 2*s - 4*k = -n. Let x be 6/18 + s/9. Solve l = -x*l + 1 for l.
1
Suppose 27 = 96*l - 87*l. Suppose 3*t = -2*g + 24, 8*t - 7*t + 14 = l*g. Solve 5*q + 4 = g*q for q.
4
Let j = -47 + 47. Let t(o) = 24 + 15 - o + 3*o + 5*o. Let r be t(-5). Solve r*h + 0*h + 16 = j for h.
-4
Let c = 3846 + -3707. Solve c*z - 142*z + 15 = 0 for z.
5
Let a be 2/7 + 24/14. Suppose -5*c = 2*c + 798. Let f = -94 - c. Solve -a*b = -6*b + f for b.
5
Suppose -3*l - 5*s + 442 = -10*s, -3*l - 5*s + 482 = 0. Suppose -3*u = -l + 31. Solve 7*t = -6 + u for t.
5
Let i = -827 - -832. Solve -i*n = -4*n + 2 for n.
-2
Let i = -34 - -30. Let y(w) = -w**3 + w**2 + 12*w - 9. Let u be y(i). Let t = u + -21. Solve -t*o = 2*o + 8 for o.
-2
Let i(p) = -p**3 + 50*p**2 + 166*p + 198. Let l be i(53). Solve -l*m + 25 = -574*m for m.
-5
Suppose g + 30*g - 403 = 0. Solve -g*w - 46 = -72 for w.
2
Let h be 86 + 15 - -22 - 13. Solve -155*j + h = -133*j for j.
5
Suppose -120 = 2*w - 124. Suppose -7*y + 9*y - 5*g - 189 = 0, -2*y + 174 = -w*g. Solve y = q + 78 for q.
4
Let q = 12075 + -11980. Solve -107 + q = 3*j for j.
-4
Let s(a) = -2*a**3 + 17*a**2 + 58*a + 329. Let g be s(12). Solve g*i - 191 = -55 for i.
8
Suppose 0 = -415*l + 446*l. Solve 5*j - 2*j = l for j.
0
Suppose -12 = -y - 4*q, -q + 4*q = 4*y + 9. Let r be (-357)/6 - ((-1)/(-2) + y). Let u = 61 + r. Solve -3 = 2*f - u for f.
-1
Let w = 95748 - 95714. Let b be (-4)/6 + (-88)/(-6). Suppose j + b = 2*j. Solve -5*y = -w + j for y.
4
Let k = 7 + -3. Let s(h) = h**3 - 43*h**2 - 43*h - 42. Let c be s(44). Suppose 2 + c = m, 3*m = 4*j + 8. Solve 0 = -t + k - j for t.
3
Let q be (5 - 4)/((-3)/15) - -17. Let t be (0 - (-32)/(-24))/((-2)/6). Solve 0 = t*u - 7*u - q for u.
-4
Suppose 0 = 4*q - 3*j - 9, 2*q - j - 4 - 1 = 0. Suppose 1 - 8 = -4*x + 3*w, q*x - 5*w + 3 = 0. Solve 0 = 5*c + 1 + x for c.
-1
Let t(v) = -3*v**2 - 14*v + 4. Let j(r) = 4*r**2 + 15*r - 7. Let b(o) = -2*j(o) - 3*t(o). Let x be 1 + 1 + -2 + -12. Let n be b(x). Solve -l = -n*l - 3 for l.
-3
Suppose -245*b = -250*b + 60. Suppose b*s - 30 = 66. Solve -s*o + 12 = -2*o for o.
2
Let l be -3 + 60/18 - 438/(-9). Solve 33*m = 26*m - l for m.
-7
Suppose -43286 = 27*m - 44258. Solve 46*d - m - 240 = 0 for d.
6
Let i(l) = -l**3 + 4*l**2 + 5*l + 4. Let t be i(5). Let y be (-4)/(-2) + (-21)/14*-2. Suppose 5*c + 95 = y*w, 3*w - c - 74 = -17. Solve 5*z + w = t for z.
-3
Suppose -4*g - 3*q = g - 22, -5*q = 4*g - 15. Suppose -g*z - 3*k = 33 + 36, -3 = k. Let t be ((-16)/3)/(z/18). Solve -d = d + t for d.
-4
Let o(q) = -q**2 - 1597*q + 9629. Let x be o(6). Solve -2 = -x*j - 24 for j.
-2
Suppose -4*p = -2*r + 10, -p = -4*p - 2*r + 10. Suppose p = -7*w + 9*w - 10. Suppose -w*a = -26 + 1. Solve -2*u + 12 = -a*u for u.
-4
Suppose 3*o - 30 = -y + 3, y - 3*o - 9 = 0. Let f be -14*-3*(-3 + 65/y). Solve -5 = -f*r - 1 for r.
1
Suppose -5*h = 10*n - n, n + n = 4*h. Solve n = 7*v + 35 + 7 for v.
-6
Let h(b) = b**3 + b**2 - 3*b + 9. Let v be h(-4). Let i be 7*(9/v + 38/42). Solve 0 = i*r - 7*r for r.
0
Suppose 0 = -24*f + 61*f - 333. Solve f*i - 19 + 10 = 0 for i.
1
Let z be 305/220*16 + (-4)/22. Solve -9*n + 5 = -z for n.
3
Suppose -30 = -3*a + 54. Let m = a - 28. Suppose 5*n + 4*q - 8 = 0, m = -5*n - 2*q + 14. Solve 3*k - 5*k = -n for k.
2
Suppose z + 3 = 0, b - z = 498 - 491. Let j be (-13)/4 - 2/(-8). Let y be 2 + j/(b + -7). Solve -8*o + y*o = -15 for o.
3
Let u(t) = -t**3 - t**2 + 23. Let l be u(0). Suppose -1692*d = -1711*d + 399. Let g = l - d. Solve g = o + 6 for o.
-4
Let s(i) = i**2 - 29*i - 1. Let m be s(29). Let a be 0 + m + 1 - -1. Let r = 6 - a. Solve -g = -r + 3 for g.
2
Let q(c) = c**2 + 5*c - 8. Let s be q(-7). Suppose -s*j = -2*j - 28. Suppose 0 = l - d - j, 7 = 3*l + d + 2. Solve -g = -l*g + 10 for g.
5
Suppose -81 = -4*j - 69. Let y = 112 - j. Let c = -105 + y. Solve c*r = -4 - 0 for r.
-1
Let v = -1 + 7. Let m(s) = -s**2 - 15*s + 19. Let w be m(-16). Let r be (3 - 6) + (v - w). Solve -3*t + r = 3 for t.
-1
Let k be 1 + (-1 + 0 - (2 - 1)). Let j be (5 - (-30)/(-3))*k. Solve 5*s = 6*s - j for s.
5
Let t(a) = 79*a - 1578. Let d be t(20). Let g(o) = -6*o + 6. Let z(x) = -5*x + 6. Let j(w) = 4*g(w) - 5*z(w). Let n be j(10). Solve 0 = i - d + n for i.
-2
Suppose 5*b = 4*i - 356, 3787 = -2*i - 3*b + 3943. Solve i = -48*r + 6*r for r.
-2
Suppose -24 = -33*f + 27*f. Let q(h) = h**3 - 3*h**2 - 14. Let j be q(f). Solve n + j = -n for n.
-1
Suppose -196 - 132 = -41*l. Suppose -13*p - i = -14*p + 11, p = 4*i + l. Solve -p = 5*k + k for k.
-2
Suppose -27 = 2*f - 5*f. Suppose 4*h = 5*r - 16, 10 - 30 = -4*r + 5*h. Suppose 2*v = -2*i + 6, -3*i = -r*i - 5*v - f. Solve i + 2 = -z for z.
-5
Let k(m) = -m**3 + 5*m**2 - 2*m - 2. Let d be (-2)/(0 - 3/6). Suppose 7*q - 19 = -4*f + 4*q, d*f = -2*q + 18. Let i be k(f). Solve l - i = -l for l.
3
Let d be (-2)/39 + (-480)/(-234). Solve -d = -t - 1 for t.
1
Suppose -5*z + 3*b + 853 = 566, 0 = 2*z + b - 128. Solve 47*c + 202 = z for c.
-3
Let d(j) = j**2 + 7*j + 2. Let n be d(-7). Suppose -7*q = q - 24. Suppose f - 5*f + 16 = 2*h, -f + 3*h = q. Solve f*v + 2 = n*v for v.
-2
Let b = -811 + 811. Let u(q) = q - 4. Let k be u(-3). Let z(f) = f + 10. Let r be z(k). Solve 0*j - j - r = b for j.
-3
Let k(g) = 2*g**2 - 20*g + 59. Let y be ((-17)/(-2) - 1) + 31/(-62). Let z be k(y). Solve 3*t = z - 2 for t.
5
Let a be ((-3 - -17) + (-1515)/105)*(-7 + 0). Solve -217 + 214 = -a*v for v.
1
Let q = -60 - -90. Let i be ((-32)/(-120)*-5)/((-4)/q). Solve 0 = 5*o - 5 - i for o.
3
Suppose 104*p - 1897 = -649. Solve 3*x + p = x for x.
-6
Suppose 4 = 4*w + 52. Let q be ((-24)/(-36))/((-1)/w*2). Suppose q - 6 = -z. Solve 0 = 3*u - z*u - 4 for u.
4
Suppose -7*g - 330*u + 334*u = -33, 5*g = -3*u + 6. Solve g*h + 79 = 67 for h.
-4
Suppose -49*n - 962 = 6388. Let o = n - -156. Solve 3*h + o*h + 18 = 0 for h.
-2
Let v(f) = -f**2 - 2*f. Let u(z) = z - 6. Let c be u(4). Let q be