16*i + 257. Let j be u(16). Suppose -24*x + 13 = -23*x. Solve -3*t = -x + j for t.
4
Suppose -3 = 4*p - 15. Let x(v) = -2*v**3 - 12*v**2 - 8*v - 5. Let q be x(-5). Let u be ((0 + 0)*q/30)/(-1). Solve u = -p*a + 2 - 14 for a.
-4
Let q be (2*(-1)/2)/((-11)/22). Suppose -q*f = -f - 4. Let l(d) = d**3 - 6*d**2 + 9*d - 2. Let m be l(f). Solve -2 = -u + m*u for u.
-2
Let h = 56274 - 56269. Let b = -1 - -1. Solve b = -7*s + h*s for s.
0
Let f(d) = d**3 - 15*d**2 + 2*d - 28. Let m be f(15). Suppose 0 = 591*z - 595*z + 20. Solve p - z = m*p for p.
-5
Let n = 1709 + -1697. Solve -n = 8*f - 4 for f.
-1
Suppose l - 5*j + 12 = 0, 2*j + 4 = 4*j. Let f(y) = 1 + 2*y - 4*y**3 - 4*y**2 - 10*y + 4*y + 3*y**3. Let i be f(l). Solve -9 + i = -2*a for a.
4
Let h(r) = -r - 19. Let y be h(5). Let z be 12/y*2*-6. Solve 4*u = -2 - z for u.
-2
Let q(x) = 32*x - 156. Let d = -295 + 300. Let o be q(d). Solve o = -3*y - 8 for y.
-4
Let b = 8 - -7. Let f(w) = -7*w - 144. Let s be f(-21). Suppose -4*p = -s*h - 2*p + b, 5*h + 4*p = 25. Solve -5*q - 25 = -h for q.
-4
Let a = 4052 + -4035. Solve a = -27*o + 98 for o.
3
Let d(o) = -3*o + 45. Let s be ((0 + 2)/(-2))/((-10)/140). Let n be d(s). Solve -2*p + 3*p = -n for p.
-3
Let l(h) = h**2 - 2*h - 1979. Let n be l(-44). Solve 43*b - n*b = 12 for b.
-6
Let u = 559 - 547. Solve -5*r - 13 = u for r.
-5
Let n(g) = -g**3 - 29*g**2 + 46*g - 42. Let i be n(-30). Let j = -507 - i. Solve -18*o - 6 = -j*o for o.
-2
Let s(j) = 45*j + 604. Let o be s(-11). Solve -4*z - 97 = -o for z.
3
Let c(v) be the second derivative of -v**5/20 - v**4/3 + v**2 + 68*v. Let n be (12/(-9))/(3/9). Let j be c(n). Solve 2*x = -j*x + 20 for x.
5
Suppose 42*d + 54*d - 984 = 14*d. Solve 10*x + 22 = d for x.
-1
Let x(j) = 50*j - 3292. Let t be x(66). Solve -t*r = -62*r + 432 for r.
8
Suppose 8*w + 8*w = 32. Let o(c) = c**3 - 3*c**2 + 7*c - 5. Let b be o(w). Solve 0 = -b*n - 3 - 12 for n.
-3
Suppose 0 = -2*v - 0*v. Let d(x) = -x**2 - 3*x + 10. Let b be d(v). Solve 9*n = b*n for n.
0
Suppose -258 = -5*u + 2*v, 2*u - 2*v + 1198 = 1306. Solve -26*i - u = -i for i.
-2
Suppose -4*u = -8*u + 12. Suppose s = 2*s + u*l - 20, -4*s + 24 = -2*l. Let p be (-4)/s*-14*2/7. Solve -p*m - m = -3 for m.
1
Suppose -32049 - 5319 = -173*f. Solve -4*o - 32*o = f for o.
-6
Suppose 9 = -h - 0*h - 4*v, -5*h = 4*v - 3. Suppose -2 = -2*j + h*c, -5*c + 1 = 4*j + 19. Let t be (-5 - (j + -11))*(-1)/(-2). Solve -d + t = d for d.
2
Suppose 4*d = i - 52, -3*i + 3*d + 53 = -2*i. Let r = i + -53. Suppose -t = 5*y + 3*t - 20, 0 = r*y - 2*t + 10. Solve -3*v + 0*v + 6 = y for v.
2
Let l(d) = 3*d - 74. Suppose 5*j = -116 + 241. Let p be l(j). Solve 11 = -5*r + p for r.
-2
Let q be (-3)/3 - 1*(0 + -1). Let a be 13 + (7 - 10) - (-3 + q). Solve -a = -5*m + 7 for m.
4
Suppose o + 0*o - 1 = 0. Let w be (-1)/o*-1 - -2. Suppose -4*l - 5*m + 18 = 0, -3*m - 4 = 3*l - 8*m. Solve l*b = w*b + 4 for b.
-4
Let i(o) = -o**2 + 3*o + 14. Let l be i(4). Solve l*n - 1144 = -1124 for n.
2
Let p(k) = -15*k + 1. Let a be p(-1). Let l = -20650 + 20675. Solve a*f - 21*f = l for f.
-5
Suppose -3*z - 52 = 2*f, -f + 3*z = 4*f + 88. Let k(r) = 2*r - 14. Let p be k(-6). Let a be 5/f + p/(-8). Solve -a = -v - 0 for v.
3
Suppose 5*d + 3*i - 63 = 0, -3*d + 13*i = 17*i - 29. Solve 0 = 32*c - 29*c + d for c.
-5
Let v(t) = 2*t**2 - 4. Let y be v(-2). Suppose -2*x - 4*s = -4, -2*x + 3*s + y = -0. Let o(n) = 4*n - 2. Let q be o(3). Solve 4*k = x*k + q for k.
5
Let z be (-276)/((-13 + 3)/5). Suppose z - 108 = 5*i. Solve -7*h - i = 1 for h.
-1
Suppose -286*b + 287*b + 1 = 0, 3*r - 5*b = 65. Solve -28*n + r = -32*n for n.
-5
Let k = 12 - 12. Let g be (72/30)/(3/(-135)). Let l be g/(-20) - (4 + 115/(-25)). Solve -3*j + l*j = k for j.
0
Suppose -6*p + 55 = -5. Suppose 14*a - p*a = 20. Suppose n + 20 = -j + a*j, 5*j - 25 = 0. Solve w = -n*w - 2 for w.
-2
Suppose -794*r + 790*r = 0. Let m(f) = 2*f - 9. Let x be m(6). Suppose -4*z + 5 = -d - 2, 0 = x*z + 3*d - 9. Solve r - z = -h for h.
2
Let p(b) = b**3 + 11*b**2 + 17*b + 4. Let q be p(-10). Let r = -62 - q. Suppose -4*z + 2*i + 2*i - r = 0, -5*z + i = -11. Solve -u - 6 = -z*u for u.
3
Let j(f) = -f + 2. Suppose 8 = -6*b + 2*b. Let z be j(b). Suppose -11*p + 4*q + 32 = 0, 3*p - 4*p - 2*q + 10 = 0. Solve -z = -0*c + p*c for c.
-1
Suppose 3*w + 60 = 2*y + 3*y, 3*y + 100 = -5*w. Let c be 6 - 0 - (w + 21). Suppose 58 = 2*j + 52. Solve -j*s = -2*s - c for s.
5
Let t = -7 + 17. Suppose 28*v - 26*v + t = 0. Let w be (-3 - v) + 2 + -2 + 23. Solve -2*x + w = 3*x for x.
5
Let j(i) = i**3 - 2*i**2 - 26*i + 12. Let n be j(0). Solve -q + n = 8 for q.
4
Let a = 10 + -10. Suppose 4*n - 21 + 5 = 0. Suppose 4*r = n*x - 0*x, -x - 4*r + 20 = 0. Solve -5*t + x*t = a for t.
0
Suppose 0 = 2*s + 4*f - 6, 0*s - 5*f - 42 = -2*s. Let x(c) = -3*c**3 + 11*c**2 - 34*c + 159. Let v be x(4). Solve 2*h - s = -v for h.
2
Suppose 3*u - 76 = 5*u. Let q = u - -38. Solve 4*o + o - 15 = q for o.
3
Suppose 19 = 5*p - 2*v, -2*v + 7 - 2 = 3*p. Suppose 96*q - 99*q - 9 = -5*d, -d = -q - 1. Let x(h) = 4*h**2 - 1. Let o be x(1). Solve -o - p = -d*n for n.
2
Suppose -495*r - 125 = -500*r. Solve -30 = -r*g + 19*g for g.
5
Let x be 340 - (2 + 8/(-1)). Let j = 348 - x. Solve 7*h = 6*h - j for h.
-2
Let o = 6 - -40. Suppose 0 = -k + o - 34. Solve -5*v + v - k = 0 for v.
-3
Let s be 8 - ((-64)/(-72))/(4/18). Suppose -5*f = -14 + s. Solve 0 = 5*g - f*g - 12 for g.
4
Let w(h) = -116*h**3 - 901*h**2 + 899*h**2 + 115*h**3 - h - 5. Let n(x) = -x**2 + 6*x - 3. Let l be n(6). Let j be w(l). Solve j = 3*c + 1 for c.
2
Let t(v) = 11*v**3 - v**2 - v + 1. Let w be t(1). Let d be -5 + (-68)/(-8) - 10/(-4). Suppose -w*b + d*b = 0. Solve -4*p - 7 - 13 = b for p.
-5
Suppose 5*x - 19 = 11. Let v be x*(0/(-1) + -1)/(-2). Solve -2*m = -v*m + 2 for m.
2
Let o be (-12)/2*288/54. Let m(l) = -l - 23. Let y be m(o). Suppose -3*g = -8*g + 5. Solve -2*k + g = -y for k.
5
Let y(l) = -l**2 + 157*l + 2253. Let p be y(170). Suppose 0 = 2*v + v - 54. Solve p = 5*s + v for s.
5
Suppose 80*f - 12 = 77*f. Suppose -f*t + 2*s - 8 = 0, 0*t - t = 5*s - 20. Solve 6*d - d + 25 = t for d.
-5
Let v be (-28)/(-21)*(-174)/(-8) + 2. Solve 17*l + v = 31 for l.
0
Suppose -249*s + 244*s - 270 = -5*y, -y + 3*s + 50 = 0. Solve -127*u + y = -1087 for u.
9
Suppose 3*r + f = 6, -3*r - 6 + 18 = 3*f. Solve r = 18*v + 55 for v.
-3
Let s be (-40)/(-10) - (4 + -2). Let o = 16 - 13. Suppose 6 = o*k - 2*k. Solve -s*y + 2 = k for y.
-2
Let c(k) = 3*k**2 - k - 2. Let d be c(-2). Suppose -12*p = 45 - 4821. Let b = -395 + p. Solve -b*z = 3 - d for z.
3
Suppose -6*h = 74 - 140. Let m(f) = -f**2 + 15*f - 42. Let q be m(h). Suppose -3 = -4*n - 5*u + 17, 3*n + 5*u - 10 = 0. Solve q*c = -0*c - n for c.
-5
Suppose -5*q - 15 = 0, -j + q = 3*j - 535. Solve 32*t + 27 = -j for t.
-5
Let d(c) be the third derivative of 0*c**4 + 0*c - 14*c**2 + 0 - 1/6*c**3 + 1/20*c**5. Let j be d(1). Solve j*l = l + 3 for l.
3
Suppose -2*m - 28 - 30 = 0. Let r = m - -38. Suppose 3*h - 3*w - 12 = 0, 0*w - r = -2*h + 3*w. Solve 3 = -3*s - h for s.
-2
Suppose -5*w + 3*v = -9, -4*w - 25*v + 29*v + 12 = 0. Solve w = q + 14 - 19 for q.
5
Let i(s) be the second derivative of 3*s**5/20 + 5*s**4/2 - 2*s**3/3 - 37*s**2/2 + 61*s. Let r be i(-10). Solve -r*z - 3 = -6*z for z.
1
Let n = -9367 - -11808. Solve -n*a = -2455*a + 42 for a.
3
Suppose 15*z - 16*z - 8 = -4*c, -3*z - c = -2. Solve 16*a + 202 - 250 = z for a.
3
Let q(s) = -24*s + 2306. Let n be q(95). Solve -2*c + n = 18 for c.
4
Let s be (-6 + (-92)/(-16))*-12. Suppose 3*d = -t + 4, -s*d - 2*d - t = -8. Solve 3*g = -d*g - 15 for g.
-3
Let p be 22/8 - (-1)/4. Suppose 4*u = p*u. Let q be (-9)/(-5)*(-180)/(-27). Solve 3*o - q = -u*o for o.
4
Let l(u) = 2*u**2 - 8*u - 141. Suppose -122*p = -130*p - 56. Let f be l(p). Solve 8*b + f + 27 = 0 for b.
-5
Let q(j) = j**2 + 10*j - 9. Let x be q(-11). Let c be (-3)/(-2) + x/4. Let r(b) = -13*b - 5. Let a be r(-1). Solve 0*s = c*s + a for s.
-4
Let p = 732 + -699. Solve 97 = -26*f - p for f.
-5
Let j = -326 + 94. Let d = j - -234. Solve -4 = d*u - 0 for u.
-2
Let o(x) = -x**3 - 24*x**2 - 42*x + 11. Let s be o(-22). Let b = 35 + s. Solve n - b = -0 for n.
2
Let u(m) = -46*m - 12. Let d be u(-3). Suppose -2*g - 5*g + d = 0. Let i = 21 - g. Solve 4*n -