
Let c(b) = -b**3 + b**2 + b + 1. Let g be c(0). Let l(z) = -2*z**3 - 95*z**2 - 44*z + 146. Let s be l(-47). Solve 0 = s*h - g - 9 for h.
2
Suppose b = x, -16 = b - 3*b - 2*x. Suppose 3*r - 7*r = 0. Let n = 2 - r. Solve k = -n + b for k.
2
Let r(g) = 10*g - 6. Let o be r(-3). Let w = -22 - o. Suppose u = -u + 2*v + w, 33 = 4*u - 5*v. Solve -u*k = k - 15 for k.
5
Let f(h) = -h**2 + 14*h - 13. Let z be (-82)/(-6) + (-3)/(36/8). Let r be f(z). Solve 2*n - n - 5 = r for n.
5
Let i(r) = 12*r + 72. Let c be i(-5). Solve -10*j - 2 = -c*j for j.
1
Let i be 1 - (-14)/(-10) - 564/(-60). Solve 3*f + i*f = -24 for f.
-2
Suppose 2*u = -g + 4*u + 8, 12 = g - 4*u. Let s(r) = r - 2. Let z be s(g). Solve 0*x = z*x for x.
0
Let l(a) = a**2 - 7*a - 4. Let z be l(9). Let p = z + 0. Let t be 42/(-6)*(-4)/p. Solve -t*s = -s for s.
0
Let r(y) = 4*y**3 - 2*y**2 + y + 1. Let j be r(2). Suppose 10*s - 7*s - j = 0. Let m = 9 - s. Solve 3*w - 1 - 14 = m for w.
5
Let o be 0/(-5) - (5 - 9). Solve -13 = 9*s - o for s.
-1
Suppose 17*c = 30*c - 65. Solve c*k - 21 = -2*k for k.
3
Let h(c) be the second derivative of -c**5/20 - c**4/4 - 2*c**3/3 - 3*c**2/2 - c. Let x be h(-3). Solve 0 = -3*g + x for g.
3
Let w = -5 - -9. Let m be (-13 - 471/(-36))/((-3)/(-72)). Solve -14 - m = w*s for s.
-4
Let y = -162 + 95. Let o = 70 + y. Let j = -2 - -5. Solve -o*a + j = -6 for a.
3
Suppose 0 = 2*o - 4 - 6. Let l = -40 - -52. Suppose -15 = -l*v + 21. Solve -v*t - 4 = o for t.
-3
Let p = -17 + 19. Suppose 4 = p*w, 0 = 4*g - 2*g + 4*w - 14. Suppose -5*i = -0*i - 90. Solve i - 6 = g*j for j.
4
Let r = 45 - 49. Let g = r + 7. Solve 3*n - 6 - g = 0 for n.
3
Let n(s) = -s**2 - 14*s + 26. Let d be n(-10). Solve 16*y - d = -6*y for y.
3
Suppose 3*n - 38 = -5*w, -3*n = 4*w + 2*n - 33. Solve 0 = 5*s - 12 + w for s.
1
Let t be (1 + -71)/5 - -4. Let m be ((-25)/t + -2)*4. Solve -3*l + 11 = m for l.
3
Let h = -438 - -446. Solve -w + 3 - h = 0 for w.
-5
Let z(d) = -957 - 2*d + 4*d + 979. Let w be z(-11). Solve -y + w = 5 for y.
-5
Suppose j + 212 = -5*o, -3*o + 37 = -j + 161. Let q be (-19)/(-9) - 1 - o/(-378). Solve 2*b = q + 3 for b.
2
Suppose 4*a - 12 = 0, 4*d - 25*a + 11 = -20*a. Solve d = -6*c - 5 for c.
-1
Suppose -d + 3*b + 28 - 117 = 0, -5 = -b. Let a = -70 - d. Solve 3*t + a = -8 for t.
-4
Suppose 0 = -3*x, 29 = 3*v - 4*x - 37. Solve -v*r + 31 + 35 = 0 for r.
3
Suppose 168 = 5*s + x - 28, 0 = -5*x + 5. Suppose -s + 43 = 2*f. Solve -f = -a - 3 for a.
-1
Suppose 4*o - 4 = -y, 0 = -o - 2*o + 2*y - 8. Suppose -x = -4*q + 3 + 10, o = 4*x - 5*q + 8. Solve 3*d = -0*d - x for d.
-1
Let i = 615 - 606. Solve 0 = -i*r + 17 + 19 for r.
4
Suppose 0 = -2*k + 4*u + 6, k + k - 5*u = 4. Solve -4*s - 9 = k for s.
-4
Suppose -3*i + 1 + 11 = 0. Suppose -3*h = -g - 9, -i*g + 2*h + h = 0. Solve -g*q = q - 4 for q.
1
Let t be 11 + 25/(225/54). Solve -t*i - 20 = -12*i for i.
-4
Let h(y) = y**2 - 14*y + 52. Let x be h(6). Solve 3*m + x*m = 0 for m.
0
Let q = 1 + -1. Suppose -11*k + 42 = -13. Suppose h - k*b - 25 = -h, 10 = -3*h - 2*b. Solve q = 2*y - h*y + 8 for y.
-4
Let u be 3 + -4 + -6 - -4. Let c be 1/u*(-540)/15. Let w(q) = -q**2 + 13*q - 6. Let r be w(c). Solve s - r*s = -5 for s.
1
Let s be (-29)/((-261)/(-90)) - -61. Solve -14*x = s - 9 for x.
-3
Suppose -22*v + 113 = -41. Solve -20 = v*j - 3*j for j.
-5
Let w = -206 - -204. Let b(m) = m - 1. Let c(q) = 1. Let o(s) = -4*b(s) - 12*c(s). Let y be o(w). Solve d + 2*d - 15 = y for d.
5
Let d = -41 + 13. Let w be (d/35)/(4/(-10)). Solve -w*a + 9 = a for a.
3
Let q be (-10)/4 - 10/(-20). Let b = -5 - q. Let m be (b/9)/(1/(-9)). Solve 0 = m*d - 2*d for d.
0
Let y = -67 - -70. Solve w = 4*w + y for w.
-1
Suppose 0 = -3*b + 2*z + 8, -4*b - 2*z + 14 = -3*z. Let f be (-2)/b*(0 + 0). Solve f = -l + 5*l + 16 for l.
-4
Suppose -2*w - 4 + 14 = 0. Suppose -20 = -w*x - 5*r, 0 = 4*r + 12. Suppose 0 = 3*b + i - 17, 0 = -4*b + 4*i - x*i + 31. Solve 0 = -f + b for f.
4
Let w be (-2)/2 - (0/(-1) + -1). Suppose 5*i - 35 - 5 = w. Solve -3*p + i*p = 20 for p.
4
Let g = 503 + -482. Solve -g + 46 = 5*z for z.
5
Let d be 4/(-3) + (-133)/(-57). Let u(r) = r**2 + 5*r + 5. Let a be u(-5). Solve 0 = a*i - 4 - d for i.
1
Let r be (-3)/(-24) - 30/(-16). Solve r*i + 4*i = -6 for i.
-1
Let d(u) = -28*u. Let o be d(-1). Suppose p - c - 7 = 0, 0 = 4*p + 4*c + c - o. Suppose p = -4*w - 5*h, 2*w + 4*h + 8 = -0*h. Solve 7*q = w*q + 5 for q.
1
Suppose -m + 5*a = -29, -2*m + 0*m + 5*a + 33 = 0. Suppose 3*g = 2*d - 9, 0 = m*d - g - 2 - 41. Suppose 4*u - j - d = 4*j, 0 = 3*j. Solve u*f = 2*f for f.
0
Let r be (-6)/(-15) + 128/80. Solve -3*p - r = -11 for p.
3
Let x(m) = -m**3 + 11*m**2 - m + 7. Let n be x(11). Let h be (-6)/n*(-64)/(-12). Suppose -h = -i - i. Solve i*p + 15 = -p for p.
-3
Let h = 151 - 151. Solve h*a - 6 = 6*a for a.
-1
Let k = -1402 - -1405. Let z be (2/4)/((-1)/(-6)). Solve -2*f + z*f = -k for f.
-3
Let x = -34 - -12. Let y be x/(-8) - 2/(-8). Let i be (-36)/(-2) - (y - 6). Solve 0 = 3*w + i - 6 for w.
-5
Let v = 368 - 366. Solve 0 = -4*l - v*l - 24 for l.
-4
Suppose -2*t - 2*y + 4 + 0 = 0, -y + 4 = 3*t. Solve -4 + t = a for a.
-3
Let b(g) = -g**3 - 7*g**2 - 7*g + 8. Let c be b(-6). Solve 9*y = 2*y - c for y.
-2
Let g(r) = -r**3 - 27*r**2 - 29*r - 73. Let p be g(-26). Let v be (-2)/(-3) + (-20)/(-6). Solve -1 = p*q - v*q for q.
-1
Suppose 0 = -3*z + 5*g + 128, 3*g = -4*z + 2*z + 60. Suppose m + 4*q + 10 = -19, 2*m - 3*q = -z. Let y = 36 + m. Solve -3*f = 2*f + y for f.
-3
Let p(l) = l + 3. Let t be p(0). Let c(b) = 2*b**2 - 3*b - 32. Let j be c(-4). Suppose -t*s = -j + 3. Solve -2 = v - s for v.
1
Suppose k + 5*j + 65 = 3*k, j = -2*k + 59. Let o be 5/k - (-71)/6. Let t be (-1*2)/(-2)*0. Solve -3*p = -t*p + o for p.
-4
Suppose 0 = 2*c - 4*q + 16, -5*c + q - 1 = -6. Let l be 36/(-6) + 5 - (-32)/c. Solve 5 = 4*o - l for o.
5
Suppose 0 = 5*d - 117 + 112. Solve -d = -4*y - 13 for y.
-3
Let t be 3/(-6)*(-4 + 4). Suppose 2*d - 15 = -5*r - t*d, 25 = r - 4*d. Let g = 11 - r. Solve g = i + i for i.
3
Suppose 3*q - 6 = -0. Suppose l + q*l = 0. Suppose l = -7*j + 2*j. Solve v + 3*v = j for v.
0
Let l(o) = -2*o**2 - 40*o - 40. Let f be l(-19). Let t be f/(3/(-2 + -1)). Solve -5 + 3 = t*i for i.
-1
Let k be 2/3 + (-130)/6. Let l = -19 - k. Solve -l*o = o for o.
0
Suppose -31 = -14*n + 39. Suppose -20 = 4*r + 8. Let t = 15 + r. Solve -n*z - t - 17 = 0 for z.
-5
Let b(j) = -6*j**3 + j**2 + 3*j + 1. Let m be b(-1). Solve -m*p = -2*p for p.
0
Let u = -243 - -243. Let a be ((u - -2) + -2)/((-44)/44). Let o(k) = -2*k - 2. Let s be o(-3). Solve -8 = -a*d + s*d for d.
-2
Let j = 855 + -842. Solve -j*k = -14*k - 2 for k.
-2
Let n(x) = 5*x - 1. Let r(h) = h**3 - 2*h**2 - 4*h + 4. Let t be r(3). Let z be n(t). Suppose 0*y = z*y - 24. Solve -v = y - 4 for v.
-2
Let s be 2*2/(-8)*-10. Suppose s*b - n = 1 + 4, -4*b - n = -13. Solve b*m + 2*m = -8 for m.
-2
Let a be 0*((-20)/12 - -2). Solve a = z - 2*z + 4 for z.
4
Let c be 5 + -11 + (-30)/(-5). Solve c = j - 7 + 8 for j.
-1
Let d = -5 + -15. Let l = -20 - d. Solve -15 = -3*v - l*v for v.
5
Let a(m) = m**3 + 17*m**2 + 15*m + 20. Let t be a(-16). Suppose 0 = 9*k - 3*k - t. Solve k*n - n - 10 = 0 for n.
2
Suppose 21 = k - 15. Suppose 0 = -7*r + 3*r + k. Let u be 0/(-2 + (-20)/(-4)). Solve u = 2*v + v - r for v.
3
Suppose -4 = 2*s - 3*l, -7 = -5*s + l - 2*l. Let a(p) = 2*p - 4. Let n be a(2). Solve -s = z - n for z.
-1
Let f(o) = -o**3 + 16*o**2 - 13*o - 10. Let d(v) = -v**3 + 16*v**2 - 13*v - 10. Let k(u) = 4*d(u) - 3*f(u). Let c be k(15). Solve -5*b + 0*b = c for b.
-4
Suppose -4*b + 8 = -d, 0 = -3*d - b + 9 - 7. Solve 5*z - 1 - 9 = d for z.
2
Suppose 27*y - 15*y = 180. Solve -5*w - y = 10 for w.
-5
Let i(u) = -3*u**3 - 19*u**2 - 19*u - 16. Let g(x) = -x**3 - 9*x**2 - 9*x - 8. Let n(a) = -5*g(a) + 2*i(a). Let l be n(8). Solve l = c - 5*c for c.
0
Let n(k) = -9*k + 8. Let i be n(1). Suppose 2*o - 2 = o. Let b = o + i. Solve 3*r + b + 5 = 0 for r.
-2
Let m(w) = 5*w**3 + 1. Let k be m(1). Suppose 2*g - 1 = 4*v - 9, 4 = -g - 2*v. Let c be (g - 0) + (-6)/(-1). Solve 0 = k*y - c*y + 4 for y.
-1
Suppose -3*k + 7*k - 8 = 4*m, 3*m + 14 = 5*k. Suppose -22*a + 20*a = -16. Solve -k*l + 6*l = -a for l.
-4
Let f be -5 + 10 + (11 - 1). Suppose -8*y = 12*y - f*y. Solve y*u + 4*