lve d = -10*a + 16 for a.
0
Let x be -6 + 147/7 - -207. Solve u + 226 - x = 0 for u.
-4
Suppose 556*w - 559*w = -2*o + 340, 4*w + 836 = 5*o. Solve -51*d = 470 - o for d.
-6
Suppose -2*i = 73 - 65. Let v be 0 - 0 - (30 - i). Let n = v - -34. Solve n*o - 4 = o for o.
-4
Suppose 12*z - 10 = 10*z. Suppose -20 + 0 = -z*a. Let h(u) = -71*u - 350. Let m be h(-5). Solve -a = m*j - j for j.
-1
Suppose 5*z + r = 1218, -z + 14*r - 18*r = -217. Solve 251*d = z*d - 6 for d.
-1
Let g = 11272 + -10973. Solve 296*b - g*b = 9 for b.
-3
Let y(z) = 7*z + 34. Let g(l) = 8*l + 32. Let h(u) = 2*g(u) - 3*y(u). Let w be h(-8). Solve 7*n - 12 = w for n.
2
Suppose -89*l = 147*l + 211*l - 18774. Solve l = 72*j - 79*j for j.
-6
Let a be (51/2)/((-3)/(-18)). Suppose a*s - 110 = 148*s. Solve -17*q + s*q - 5 = 0 for q.
1
Let k = 319 + -259. Suppose -26*j + k = -6*j. Solve 11 = 2*a + j for a.
4
Suppose 19*b - 2976 = 7*b. Suppose 246 = -t + b. Solve 2 = 4*g - t for g.
1
Let t(f) = 4*f - 57. Let g(h) = 2*h**2 - 28*h - 49. Let x be g(16). Let w be t(x). Solve -w - 2 = 5*o for o.
-1
Suppose 2*y - 2*g = 16, g = -1 - 2. Suppose -38*k - 2461 = -2803. Solve -y + k = j for j.
4
Let j be ((-4)/14)/(-2) + (-34)/(-7). Let q(c) = -c**3 + 5*c**2 + 2*c - 3. Suppose 0 = 3*z - 4*o - 16 - 12, o = -4. Let v be q(z). Solve -v = j*u - 6 for u.
-3
Suppose 415*q - 5509 = -432*q + 420. Let b(p) = 3 + 3 - p**2 + 0*p + 5*p. Let x be b(5). Solve 0 = -q*c + 4*c - x for c.
-2
Let m be 29/2 - (-89)/(-178). Suppose m*l - 210 = -16*l. Solve 0 = -l*p + 1 - 1 for p.
0
Suppose n = -2*b + 2*n + 32, -5*b + 3*n = -80. Suppose -i = -3*d + 93 - 128, 0 = 2*d. Solve 0 = i*h - 39*h - b for h.
-4
Let y be 1 + 9/(-15) + 42/(-5). Let u be (-417)/y - (-5)/(-40). Let q = u - 48. Solve 16 = -q*i - 4 for i.
-5
Let z = 784 + -767. Solve z*p = 40 - 6 for p.
2
Let x be 19/(-114) + 85/6. Suppose 8*g = 18 + x. Suppose -c = -3*c - 5*y - 16, -5*c - y + 6 = 0. Solve -6*n + c*n = -g for n.
1
Suppose 4*x + 4*m - 15 = 9*m, -5*x + 4*m + 12 = 0. Let d be (-245)/(-40) + 1/(-8). Suppose d*r + 2*r = x. Solve 0 = -w - r*w - 1 for w.
-1
Let z(r) = r**2 + 9*r + 16. Let a be z(-8). Suppose -a*i + 18 + 6 = 0. Solve 8 = -i*y - 1 for y.
-3
Let b = 22492 + -22490. Solve -82 + b = 10*y for y.
-8
Let g be 2*(-25)/(50/(-44)). Solve -11*b + g = 33 for b.
1
Let f(d) = 5*d + 128. Let x be f(-16). Solve x*v - 14 = 62*v for v.
-1
Suppose -42 = -3*c + 5*t + 29, c = 2*t + 25. Let i be -2*(-4)/(32/(-52)). Let q = i + c. Solve -q*m = -8*m for m.
0
Suppose 506 = 4*w - 5*u, -5*u + 2610 - 2496 = w. Solve -154*p + 123*p = w for p.
-4
Suppose -3*q + 2*w + 13 = 118, -175 = 5*q + w. Let c = 37 + q. Suppose c*g = -8*g + 40. Solve -g*b - 4 = -8 for b.
1
Suppose 4*n = -5*j + 3*j + 14, -n = -3*j. Suppose -89 = -17*w + 47. Solve 0 = -n*i - 1 - w for i.
-3
Let y = 2 - 9. Let f be 0/(y/(14/4)). Let k be -9 - 190/(-10) - 7. Solve k*a + 3 = -f for a.
-1
Let h(a) = a**2 + 564*a - 6249. Let t be h(11). Solve t*j = 84*j + 16 for j.
-2
Suppose -183 = 9*z - 552. Suppose 12 = 3*r, -2*r + r - z = -5*q. Let b be q - (-5)/(25/(-10)). Solve b - 2 = -5*a for a.
-1
Let g(u) = -3*u**3 - 5*u**2 + 8. Let z be g(-3). Let b be z/10 + (-84)/(-140). Suppose n + 4 = -w + 1, 2*n = -w - 3. Solve n = -2*p - 3 + b for p.
1
Suppose 2*n = 4*y - 154, y + 5*n = 6 + 5. Solve -68 = -19*o + y*o for o.
-4
Suppose -2822*n + 16024 + 85568 = 0. Suppose 2*m + 29 = 5*w, 0 - 17 = -5*w - 4*m. Solve 21 = -w*p + n for p.
3
Suppose 5*o - 1393 = 3*u - 4559, 3*u - 2*o = 3187. Solve -14*v = 997 - u for v.
5
Let b be (-137)/(-9) + ((-23)/144 - (-85)/(-1360)). Solve 0 = -13*x + b - 28 for x.
-1
Let a be (-3 + 1 + 2)/2. Suppose m - 18 = -a*n - 4*n, n + 4 = 4*m. Let f be ((-198)/48)/(-11) + (-7)/((-224)/276). Solve f + 1 = -m*j for j.
-5
Let z(k) = 7*k**2 - 2*k - 2. Let b be z(2). Let f(n) = -b*n**2 - 7 - 4 + 14 + 0 + 21*n + n**3. Let q be f(21). Solve -q*u = u - 4 for u.
1
Let f = 2869 - 2857. Solve f*x = 25 - 1 for x.
2
Suppose 3*k + 13 = 22. Suppose 0 = -a + 2*j + 19, 33 = -0*a + 2*a - 3*j. Suppose a = 4*h + 1. Solve -h*s = s - k for s.
1
Suppose -x + 1646 = 1644. Solve -7 = -x*v - 3 for v.
2
Suppose -10*t + 4*f - 60 = -14*t, 0 = t - 2*f - 6. Suppose 5*s + 0*s - 26 = 2*p, -s - 3*p = -t. Solve 10 = z - s*z for z.
-2
Suppose 2*y = -4, -7*d = -9*d + 5*y - 708. Let c = d - -366. Solve 1 = -c*a + 29 for a.
4
Let r = -25579 - -25739. Solve 254 = 69*h - r for h.
6
Let l(u) = 4*u**3 - 31*u**2 + 30*u - 28. Let a be l(7). Solve -18 = -38*f + a*f for f.
6
Let u(n) be the second derivative of -n**4/12 + 2*n**3/3 + 3*n**2/2 + 119*n. Let i be u(4). Solve -4 = -y + i*y for y.
-2
Suppose 4*y = -854 + 862, -3*g = -5*y - 113. Solve -26*a - 11 - g = 0 for a.
-2
Let z(b) be the first derivative of b**4/4 + 8*b**3/3 - b**2 - 13*b - 30. Let l be z(-8). Solve -n + 0*n - l = 0 for n.
-3
Let c = 191 + -184. Suppose 0 = c*r - 223 + 188. Solve 4*j + 2 = r*j for j.
2
Let c be (-10)/(-6) + 10/30. Let k be 5/((-195)/6) + c/13. Solve k = -a + 2*a + 3 for a.
-3
Let p(a) = a**3 - 13*a**2 + 9. Let b be p(13). Let t(c) = -c**2 + 11*c - 9. Let f be t(b). Let i be 2*f/30*5. Solve -i = -n - 0*n for n.
3
Let d(t) = t - 1. Let w be d(0). Let j be (1 - w)/(5/(-40)*-4). Suppose -i - j = 0, 3*c - 25 = 2*i + 2*i. Solve c*g - 6 = -0 for g.
2
Let v(o) = 2*o**2 - 11*o - 55. Let g be v(15). Let f = g + -230. Suppose 0 = q - u + 3*u - 9, 3*q + u = 17. Solve f*p - p - q = 0 for p.
-5
Suppose 2*u + 16 = 32. Let b be -1 - (-10)/15*(u + 1). Solve 0 = 7*n - 6*n - b for n.
5
Suppose -3*t + 4*t + 3*t = 276. Solve 4*z + t = 27*z for z.
3
Suppose w - 59 = -5*m, -2*m - 3*m - 5*w + 55 = 0. Suppose -20 = -3*s - 2. Let u = s + -3. Solve m = u*x + x for x.
3
Let b be 2/14 + (-15)/105. Suppose b = 22*l - 39 - 49. Solve l = d + d for d.
2
Suppose 3*j + 5*c = 27, -j - 289*c + 291*c + 20 = 0. Solve 176 = 27*q + j for q.
6
Suppose 4*f + 122*h = 123*h + 1, 2*f - 2*h = -16. Let y be (2/4)/((-2)/(-8)). Solve f*l + 4 + y = 0 for l.
-2
Let s be ((-4546)/5)/((-27)/(-45) + -1). Suppose 55*k + 403 - s = 0. Solve -10 = 29*a - k*a for a.
2
Suppose 0 = -10*v + 16*v - 30. Let u be (v - -30) + 0 + -5. Let f = u + -30. Solve f = -l - 6 + 9 for l.
3
Suppose 0 = s - 8 - 2. Let p(i) be the first derivative of i**2/2 - 3*i - 2. Let r be p(5). Solve -s + 4 = -r*k for k.
3
Let n(t) = -t**3 + 4*t**2 - 1. Let j be n(2). Let r be (-12)/(6*((-69)/(-9) - 8)). Solve 0 = -r*p + j*p - 3 for p.
3
Let j = -1 + 4. Suppose j*u = -2*u. Let d(y) = -y**3 + 10*y**2 - 77*y + 1216. Let i be d(12). Solve -m + i = -u*m for m.
4
Suppose -2*b - 5*p + 40 = -10*p, 19 = b - 3*p. Suppose 3725*o + 35 = 3720*o, -5*o = -2*u + 49. Solve u*z - 2*z - b = 0 for z.
5
Let g(z) = 3*z**2 - 15*z + 3. Suppose f + 4*r + 3 = 0, 3*r + 4 = -2. Suppose h + h = -c + 6, 0 = -f*c - 20. Let q be g(h). Solve 0 = 4*w - q*w + 4 for w.
-4
Let o be (-3)/((-135)/145) + 8/(-36). Suppose -5*z = -u - 70, o*z - 4*u = z + 10. Solve 6*g - z = 9 for g.
4
Let x(g) be the second derivative of g**5/20 - g**4/12 + 13*g**2/2 + g + 193. Let v = 0 + 0. Let k be x(v). Solve -4*n - k = 7 for n.
-5
Let b = -51 - -52. Let f be (48/30)/2*10/b. Let r be (2 - 0)*20/f. Solve 0*q - r = -q for q.
5
Let z = -1659 + 1678. Solve 4*h + 35 = z for h.
-4
Suppose 5*h + 43 = 3*x, 0*h - 4*h = 5*x - 10. Let f(y) = -y**3 + 9*y**2 - 16*y - 8. Let w be f(x). Solve -6 = w*b - 10 for b.
1
Let t be (-1)/3 + (-13)/(-3). Let v = 192 - 213. Let h = 21 + v. Solve h = t*u - 2 + 6 for u.
-1
Suppose 25 = -9*h + 79. Let z = -320 - -362. Solve -18 = h*w - z for w.
4
Let t be ((-10)/6)/(15/(-45)) - -19. Let c be (8/6 - 2) + 16/t. Solve 5*m + 21 - 6 = c for m.
-3
Let t = -18849 + 18914. Solve -1 = -33*k + t for k.
2
Let c be -5*-172*3/30. Let j = c - 84. Solve -x - j + 5 = 0 for x.
3
Suppose -1499*g + i + 541 = -1496*g, 5*i = -5*g + 915. Solve 0 = -26*w + 51 - g for w.
-5
Let n be 2*(15/6 + 0). Suppose 0 = -4*c + n*k + 5, 4 = 2*c - 2*k - 2*k. Solve z + c*z = 5 for z.
5
Suppose 19*m - 12894 = -9836 + 12123. Solve -778 = 3*q - m for q.
7
Let c be 1 + (-5 - -19 - (3 + -3)). Solve -230 + 125 = -c*b for b.
7
Suppose d + 204 = -2*h, d + 4*h + 220 = 22. Let c = d + 213. Solve c*s = -s for s.
0
Let i(k) = -k**3 - 4*k**2 + 8*k + 22. Let q be (4 - (0 + 3))/((-1)/5). Let b be i(q). Solve 6*v - b = 11 for v.
3
Let k