92 for v.
-3
Let r(t) = 4*t - 157. Let g = -248 + 289. Let b be r(g). Solve 5*o + 8 = -b for o.
-3
Let a(w) = 14*w - 10. Let o be a(1). Suppose o*v = -2*c + 26, 3*v - 13 + 1 = 0. Solve 5*b = -0*b + c for b.
1
Let g be 1035/115*17/3. Solve -g*j = -14*j for j.
0
Let n(h) = 67*h - 240. Let t(l) = 63*l - 242. Let r(z) = -3*n(z) + 4*t(z). Let c be r(5). Solve -c*m = -m for m.
0
Let i(b) = b**3 + 8*b**2 - 2*b - 6. Let f be i(-8). Suppose -f*t - 1 = -1. Solve 0 = -t*z + z for z.
0
Suppose -x + 3*f - 45 = -6*x, -20 = -4*f. Let h be -54 + (-25)/(-10)*-2*1. Let q = h - -63. Solve 2*j - x*j = q for j.
-1
Let d be 4 + 1 - (8 + -5). Suppose 0 = 2*i + 5*z + 1, 4*i - 5 = d*i + z. Solve i*k + 0*k - 10 = 0 for k.
5
Let d be 22/55 + (-98)/(-5). Suppose -f + d = f. Suppose -5*h - r + f = 0, r = h - 0*r - 8. Solve 4*u - 11 + h = 0 for u.
2
Suppose -3*l = -2*l - 15. Suppose 4*h - 5*h = -l. Let w be ((-56 - -14)/252)/(1/(-60)). Solve -h = -w*r + 5*r for r.
3
Let o be 629/(-102) - (-1)/6. Let p be ((-2)/o)/(10 - (-178)/(-18)). Solve p*w + w - 20 = 0 for w.
5
Let l(c) = -c**3 + 7*c**2 - 7*c - 2. Let q be l(6). Let v = 11 + q. Let y = 70 + -58. Solve -v*j + y = -7*j for j.
-3
Let c = -41 - -52. Suppose -c*r + 32 = -3*r. Suppose -4*f + r = -28. Solve -a + 3 - f = 0 for a.
-5
Let r(t) be the first derivative of 1/3*t**3 + 1 + 8*t**2 + 41*t. Let k be r(-13). Solve 2*q + k = q for q.
-2
Let i be (16/200*10)/((-2)/(-10)). Let a(w) = 2*w**2 - 3*w - 9. Let s be a(i). Solve 35 - s = -8*o for o.
-3
Let r = 18 + -3. Let a(h) = -h + 8. Suppose 0 = -2*t - 4*b - 2, t + 4*b - 7 = -4*t. Let y be a(t). Solve -2*f - r = -y*f for f.
5
Let n = 12 + -10. Suppose n*t = 3*q + 7, 5*q - 1 - 2 = -4*t. Suppose -2*b + 7*l = 2*l - 40, -t*l + 104 = 4*b. Solve b = 4*k + 5 for k.
5
Let k = -5 + 8. Suppose -2*t - 4*d = -140, d = t - 45 - 37. Suppose -4*z - 74 = -t. Solve z = k*j - 2 for j.
1
Let n(o) = 4*o - 7. Let q be n(-2). Let b = q + 19. Let x(v) = -2*v - 40. Let l be x(-20). Solve l*f - b*f = -4 for f.
1
Let c(v) be the third derivative of v**6/120 - 13*v**5/20 + 3*v**4 + 38*v**3/3 - v**2 - 47*v. Let k be c(37). Solve 5*w + k*w = -35 for w.
-5
Suppose -465*u + 103083 + 27117 = 0. Solve u = 194*r - 229*r for r.
-8
Let g(o) = -o**2 + 19*o + 42. Let p be g(21). Suppose p = -5*q - j + 5*j + 35, -16 = 3*q + 5*j. Solve -5*w = q - 13 for w.
2
Suppose -2*l + 6 = -4*l, -4*l = -j + 15. Suppose 0 = -r - 2*r + j. Let q(b) = 7*b + 3. Let c be q(r). Solve 0 = 2*p - 0*p + c for p.
-5
Suppose 14*v = 2*v + 96. Let o(b) = -9*b**2 + v*b**3 + 10*b - 4 + 9 - 9*b**3. Let f be o(-10). Solve -f*u + u = 0 for u.
0
Let m = -4 - -1. Let f = m - -7. Let g be (-1920)/160 - (-13 + 1)*1. Solve -f*u = -g*u - 12 for u.
3
Let u = 12010 - 11986. Solve u*k + 126 = 3*k for k.
-6
Suppose 5*p = 4*b + 89, -11 = -p + b + 6. Solve 63 = -7*m + p for m.
-6
Suppose 1030 = -37*o + 1178. Solve 19*z - 21*z = o for z.
-2
Suppose -5*x = -w - 1856, -304*w = 5*x - 309*w - 1840. Solve -12*v + x = -74*v for v.
-6
Let m be 3235/15 + 48/36. Solve -14*k + 45*k = -m for k.
-7
Suppose -4*o = -4*x + 12, -8*x + 21 = -5*o - 9*x. Let z(v) = -3*v - 8. Let p be z(o). Suppose a - 4*a = -4*l + 87, 4*a + p = 0. Solve -5 = 4*j - l for j.
4
Let k be -2*2/(-1)*1. Suppose 8 = -3*q - k, -2*f + 100 = -2*q. Let h = -42 + f. Solve -c + h*c = -9 for c.
-3
Let r(n) = -n**3 + 21*n**2 - 19*n - 2. Let l be r(20). Let x be (-286)/(-33) - (-4)/l*-3. Solve -3*z - z - x = 0 for z.
-2
Let x be 4/((3/2)/((-24)/(-32))). Suppose -6*b + 56 = 3*q - x*b, 66 = 4*q + b. Solve 0 = -2*z + 6*z - q for z.
4
Let v = 1429 + -1426. Let p = 124 + -103. Solve v*g = -4*g + p for g.
3
Suppose -3*u = -1734 + 1458. Solve 107 = -5*z + u for z.
-3
Suppose 217 = -6*h + 673. Suppose 7*j - 20 = -h. Let m(d) = d + 11. Let u be m(j). Solve u*z - 8 = -20 for z.
-4
Suppose 0 = -10*h + 389 - 39. Let l be (-15)/h + (-264)/(-28) - 1. Solve -4 = 4*k + l for k.
-3
Let y = -123 - -154. Let n(h) = -6*h + 187. Let v be n(y). Solve w - v = -0 for w.
1
Suppose v + 13 = m, 0 = -4*v - v - 5. Suppose 13*t = 25*t - 168. Solve k - m = -t for k.
-2
Let f be 8*(-4)/((-80)/(-25)). Let j be 2728/76 - f/95. Let q = j - 33. Solve 0 = 5*g - q + 13 for g.
-2
Let y = 19991 + -19671. Solve -38*h - 92 = -y for h.
6
Let h(n) = -770*n + 3150. Let c be h(4). Solve c*g - 54 = 76*g for g.
-9
Let c = 4 - 4. Let a(d) = d**3 - 12*d**2 + 14*d - 31. Let f be a(11). Suppose f*h + 2*l - 24 = c, 0 = 5*h - 3*l - 25 - 3. Solve 8*w + h = 4*w for w.
-2
Let k(i) = -i**2 + 17*i + 2. Let a be k(17). Suppose -5*c + 3*z + 35 = 0, 5*c - 7*z + a*z - 25 = 0. Solve c*p - 8*p = 0 for p.
0
Let q(b) = -2*b - 14. Let c(n) = 87 - n**2 - 142 + 92 - 4*n. Let s be c(-9). Let d be q(s). Solve 2*g - d = -8 for g.
-3
Let u = 298 - 298. Suppose 2*n - 40 = -u*d + 2*d, 0 = 4*d + 16. Solve 0 = -3*x + 13 - n for x.
-1
Let i(t) = -t**3 - 79*t**2 + 330*t - 160. Let d be i(-83). Let y = -61 + 90. Solve -11 + y = d*h for h.
3
Let u(l) = -34*l**2 + 714*l + 8. Let j be u(21). Solve 0 = -3*o + o - j for o.
-4
Suppose 0*n + 3*r + 15 = -3*n, 0 = 2*n + r + 5. Suppose 16 = 5*t + 2*m, n*m = -5*m - 10. Suppose -2*a - q = 1, -t*q = 5*a + 3 + 1. Solve a = h + h for h.
0
Let t(r) = r**3 + 35*r**2 + 71*r + 37. Let o be t(-33). Let l = o - -133. Solve 0 = l*j + 4 + 1 for j.
-1
Suppose -19 + 11 = 2*d - 4*a, -4*d + 14 = 2*a. Suppose 5*j - 4*h = 55, 3*h = -4*j - d + 15. Solve j*l + 5 = 2*l for l.
-1
Let t(c) = -c**3 - 9*c**2 - 18*c - 13. Let z(h) = -h - 18. Let i be z(-11). Let r be t(i). Solve 5*u = -0*u + r for u.
3
Let d(x) = -295*x - 1974. Let z be d(-7). Solve -6*r + z = 55 for r.
6
Let t(h) = 5*h - 128. Let g be t(26). Let j be g + (2 - 3)*-1. Solve -10 = -j*f + 5 for f.
5
Suppose 10*b = 2*i + 9*b - 62, 2*i = 2*b + 64. Solve -235*g + 245*g + i = 0 for g.
-3
Let a(p) = 48*p**2 - 7*p + 6. Let z be a(1). Suppose -2*b + 2*c = 6*c - 18, 4*c = 3*b - z. Solve b*x - 18*x = 20 for x.
-4
Let q be 0*((16 - 16) + (-2)/(-4)). Suppose 4*k - 2*b - 12 = 0, -2*k + 5*b + 9 = -5. Suppose -4*i + 5*i = k. Solve z = -q*z - i for z.
-2
Suppose h = 5*h. Let j(o) = -o**3 - 6*o**2 - 2*o - 8. Let q be j(-6). Let p be ((q - -2)/(-18))/(1/(-15)). Solve 20 = -p*t - h for t.
-4
Suppose o = 4*o - 24. Suppose -n = -8*n + 49. Suppose -4 = n*c - 9*c. Solve 2*y + c*y + o = 0 for y.
-2
Let r = -8 - 17. Let m(y) = y**2 - 5*y - 56. Let h be m(-7). Let w = h + r. Solve -w*d - 2 = -d for d.
-1
Let o be (-1)/7 - (-58860)/420. Let l be o/210*(1 + 13/2). Solve 9*z = l*z - 8 for z.
-2
Let l be (-231)/(-57) - (-33)/(-627). Let g be -1*(3 + 0 - 3). Solve l*o = -g*o for o.
0
Let k = 6103 + -6061. Solve 3*g - 10*g - k = 0 for g.
-6
Suppose 7*c = 2*c + 275. Suppose -c + 151 = -4*z. Let m be (-1 + z/(-15))*5. Solve -m*g = -4 + 19 for g.
-5
Let v be 0 - 0/1*6/(-5 - 7). Solve -11*c - 509 + 421 = v for c.
-8
Let j(g) = -192*g**3 + 3*g**2 - 3*g + 6. Let l be j(2). Let c = l + 1532. Let z be (-24)/(-14) - 4/(-14). Solve -z + c = -2*m for m.
-3
Suppose 90*o - 3*x + 221 = 92*o, -4*o = 2*x - 438. Solve -41*b = -27 + o for b.
-2
Suppose -31*s + 5 = -26. Let j be 16/72*s + (-320)/(-18). Solve j*u - 7*u - 44 = 0 for u.
4
Let i = 24777 + -24659. Solve 4*w = -i + 142 for w.
6
Suppose 5*r = 3*j - 10, 2*j - 5*j - 4*r = -46. Let t(l) = -8*l + 96. Let w be t(j). Solve -w = 2*f - 6 for f.
-5
Let z(g) = 287*g - 1701. Let x be z(6). Solve -x*y - 60 = -y for y.
-3
Let b be (-8)/36 + (-9)/(405/(-7300)). Let c = -134 + b. Solve -c = 2*t + 5*t for t.
-4
Suppose 3*m - 17 = 31. Let r be (3045/2175)/((-21)/(-75)). Solve -q = -r*q - m for q.
-4
Let c = -26 + 49. Let n(q) = -q**3 + 21*q**2 + 4. Let l be n(21). Suppose 0 = -l*m + c - 7. Solve m*i = 3*i for i.
0
Let k be (11 - 7)/(4 + 0). Let s = -8 + 21. Suppose b + s = 2*a + k, 3*a = 4*b + 18. Solve -a = -q - q for q.
3
Suppose 123 = -4*w - d, -w + d = 35 - 8. Let u be 4*6/w - 16/(-20). Solve u = -6*n - 2 - 10 for n.
-2
Suppose -x = -5*o + 291, 4*o = -x + 88 + 143. Solve 46*s = o*s for s.
0
Let r be (3 - 3) + 0 + (-384)/(-8). Suppose l - 88 = 3*l. Let i = l + r. Solve b - 20 = -i*b for b.
4
Let h = 4866 + -4796. Solve -20*s = -6*s + h for s.
-5
Let g = 2053 - 1459. Let d = 606 - g. Solve -d*k = -7*k - 15 for k.
3
Suppose 3*y = -2*t + 6, 34 = 4*y - 3*t + 9. Let q be (1 + 0)/(y/28). Let p(n) = n**3 - 6*n**2 - 6*n 