
Let i(p) = p**3 + 6*p**2 - 3*p - 3. Let l be i(-7). Let r = l + 19. Let s = r + 15. Solve s*y - y = 10 for y.
5
Let i = 118 - 114. Solve 3*f = -f + i for f.
1
Suppose 0 = -2*p + 4*p. Suppose 0*r + r - 2 = p. Let n(h) = h**3 + 6*h**2 + 4*h - 3. Let i be n(-5). Solve -i*o - r*o = 0 for o.
0
Let h(f) = f**2 - 11*f. Let t be h(10). Let w = t + 10. Suppose -4*l + 14 = 2*u, -u + 2*l + 0*l - 1 = 0. Solve 4*r - 1 - u = w for r.
1
Let i = -62 - -67. Suppose 4*a + 13 = i*a + 4*q, 2*q = 4. Solve 15 = -a*n - 0*n for n.
-3
Let i(b) be the first derivative of b**2 + 2. Let j be i(3). Let x = 11 - 11. Solve -j*f + f = x for f.
0
Let k(r) = -r**3 - 9*r**2 - 26*r - 79. Let q be k(-7). Let g = 6 - 3. Suppose 1 = -0*s + s + f, -g*f = -3. Solve -4*v + 15 + q = s for v.
5
Suppose r = 2*r - 4*a - 35, -5*a - 37 = -r. Let m = -26 + r. Solve -m = -5*n - 21 for n.
-4
Let i(o) = -8*o**3 - 7*o**2 - 4*o. Let j(f) = 7*f**3 + 7*f**2 + 4*f. Let m(k) = 6*i(k) + 7*j(k). Let z be m(-6). Let c = 2356 - 2354. Solve c*r + z = -r for r.
-4
Suppose 3*h - 60 = 2*r, -4*h = 2*r + 30 - 96. Solve 0 = 6*o + 18 - h for o.
0
Let o = -9 - -15. Let n(d) = d - d**2 - d**2 + o*d**2. Let w be n(-1). Solve -w*v - 2*v = 0 for v.
0
Let n(m) = 2*m**2 - 8*m - 100. Let v be n(-6). Solve -3*l - v = l for l.
-5
Let b be (-432)/(-180) + 2/(-5). Solve 3 = 3*w - b*w for w.
3
Let y(p) = 7*p**2 + 9*p - 7. Let n(h) = 20*h**2 + 28*h - 22. Let f(k) = 6*n(k) - 17*y(k). Let v be f(-16). Solve v*i - 20 = 7*i for i.
-5
Let d be 10*-2*1/(-4). Suppose 4*x + 4*p = 0, 7*p = -x + 3*p - 9. Suppose -z - z - d*r = 15, x*z - 10 = -r. Solve z = 3*u - 10 for u.
5
Suppose -3*d + 59 + 10 = 3*i, 5*i - 115 = -4*d. Let z = i + -20. Solve w = -2 - z for w.
-5
Let m = -21 - -24. Suppose 5*i + b = 50, -m*b - 36 - 14 = -5*i. Solve z + i = -4*z for z.
-2
Let q be ((-8)/2 - -4)/(-1). Solve q*j = -6*j + 4*j for j.
0
Let n(f) = -f**3 + 45*f**2 - 33*f - 482. Let j be n(44). Solve -w = -j*w - 2*w for w.
0
Let x(k) = k**2 + 23*k + 161. Let i be x(-9). Solve 3*s + 32 = i for s.
1
Let t(c) = -c**3 + 12*c**2 - 11*c. Let l be t(11). Suppose 0 = -k - 4 + 1. Let n = l - k. Solve 9 = n*x - 0 for x.
3
Let p be (-12)/(-3)*(6 - 7). Let a(d) be the third derivative of d**4/24 + 4*d**3/3 + 7*d**2. Let q be a(p). Solve -2*m + m = q for m.
-4
Let h be 129/12 + (-1)/(-4). Suppose -3*p + 8*p = w - h, 0 = -4*w + 3*p + 78. Let i = 23 - w. Solve -d + i*d = 0 for d.
0
Suppose 6*a - 5*v = 2*a - 36, -36 = 4*a - v. Let b be (-146)/(-14) + a/21. Solve 2*n + 4 - b = 0 for n.
3
Let a be (0 - 2/(-2)) + 4. Suppose -7*g = 2*g - 45. Suppose g*x + 12 = -r, 3*x + 3 = 2*x. Solve -s = r - a for s.
2
Let j = 1 + -1. Suppose 4*r = -3*w + 60, -r - 2*w + 0 + 15 = 0. Suppose -18*t + 15*t + r = 0. Solve j = 6*l - t*l - 5 for l.
5
Suppose 0 = -2*l - 3*r + 10 + 27, -r + 45 = 3*l. Solve 3 = l*b - 67 for b.
5
Let t(v) = -24*v**3 - v - 1. Let r be t(-1). Let p = -24 + r. Solve 4*s + s = p for s.
0
Suppose -2*p + 0*t - t - 1 = 0, 0 = -2*p - 3*t - 11. Suppose 0 = -v - p*v - 3, 5*k - 4 = -v. Let h = k + 1. Solve -h*b + 6 = b for b.
2
Suppose 0 = -10*w + 70 + 40. Solve w*i - 3*i = 4*i for i.
0
Suppose 0*i = i - 5. Suppose -2*o = i - 13. Suppose -a - 1 = -o. Solve a*z = -0*z for z.
0
Let x = -1008 + 1041. Solve -41*g = -x*g - 24 for g.
3
Let j = 23 - 13. Let c = -16 + j. Let g be (12/(-6))/(3/c). Solve -2*h + 2 + g = 0 for h.
3
Let c(o) = o**3 + 23*o**2 + 22*o + 9. Let p be c(-22). Let g(f) = f**3 + 3*f**2 - 2*f - 2. Let v be g(-2). Solve -v*q + p*q = 9 for q.
3
Suppose -2*u - 4*a + 74 = -8*a, 4*a = 5*u - 179. Suppose 4*s + 3*b = -u, 4*b + 13 = -s - b. Let y = s - -13. Solve 0*x - y = -x for x.
5
Let r(w) = -w + 1. Let h(g) = -4*g + 3. Let v(c) = -2*h(c) + 6*r(c). Let o be v(1). Let m(u) = -u**3 + 2*u**2 + 2. Let y be m(o). Solve y*k = 8 + 2 for k.
5
Let s be (2/(-4))/(1/(-8)). Suppose b + 48 = s*b. Suppose -5*l = 3*f - b, 2*f - 6 = -2*f + l. Solve -f*a + 6 + 4 = 0 for a.
5
Let w be 3/7 + 495/21. Suppose -3*a = 2*z + 3, -4*z + 5*a = -z - w. Solve 11 = -z*i + 2 for i.
-3
Suppose 3*i + x - 84 = 5*x, -x = 0. Suppose 5*k + 4*o - i = 0, 5*o - 20 = -3*k + o. Solve 0 = -k*f - 6 - 6 for f.
-3
Let k(y) = 44*y**2 + 3*y + 4. Let i be k(-1). Let u = i + -25. Solve 4*t + u = -t for t.
-4
Let h(s) be the first derivative of -s**3/6 + 11*s**2/2 + 2*s - 1. Let x(c) be the first derivative of h(c). Let k be x(6). Solve 2*m - k*m + 3 = 0 for m.
1
Suppose 9*d = 19*d - 40. Let o = 8 + -6. Suppose d*f - 32 = o*f. Solve -r - 3*r = f for r.
-4
Suppose 6*n + 6 = 8*n. Suppose s + 3 + n = u, -3*s = 2*u + 8. Solve u = g - 0*g for g.
2
Suppose 720 = 7*f + f. Suppose -3*c = 15 - f. Solve 0 = j - 6*j - c for j.
-5
Let u be (-4)/(-18) + (-55)/45. Let i be 2/(-4) + u/(-2). Let t be (-5)/15*(-6)/1. Solve -t*b + 0*b - 8 = i for b.
-4
Let i(a) = -a**3 + 4*a**2 + 13*a - 3. Let b be i(6). Let h be -3*(-4 + (-2)/6 - -3). Solve b*v + h = -v for v.
-1
Suppose 4*g - 30 = -y, -3*y - g + 1 + 34 = 0. Let r = -8 - -13. Let q = 1 + -1. Solve q*w = r*w - y for w.
2
Suppose g + 2 = 2*g. Suppose -5*a + 32 = -a. Let c be (24/9)/(a/12). Solve c*k = g*k for k.
0
Let g(b) = 11*b**2 - 6*b - 10*b**2 + 7*b. Let d be g(1). Solve 0 = 5*t + d - 7 for t.
1
Let p(m) = -m - 2. Let q(s) = 8*s - 54. Let h(x) = -4*p(x) - q(x). Let w be h(14). Solve 4*u + w = 2 for u.
-1
Let c = 808 + -794. Solve 0 = 9*h - c*h + 10 for h.
2
Suppose 0*r - 3*r + 18 = 0. Solve -2*u - r*u = -24 for u.
3
Let t(z) = z**3 - 5*z + 6. Let k be t(2). Let p be k*2/16 + 3/2. Let d(b) = b**3 + 6*b**2 + 4*b - 4. Let q be d(-5). Solve -a - p = -q for a.
-1
Let a = -1818 - -2065. Solve 0 = 242*i - a*i - 20 for i.
-4
Suppose 3*m - 20 - 7 = -2*u, 5*u - 8 = m. Suppose r = -g + 3 - 0, -5*r = g - m. Solve -4*v + 18 - g = 0 for v.
4
Let j(d) = 3*d + 6*d - 2 - 6*d. Let y be j(1). Let w = -3 - -24. Solve -5*f + w = y for f.
4
Let t(x) = -x**3 + 5*x**2 - x - 5. Let w be t(4). Solve 0 = -3*f + 10*f - w for f.
1
Let t = 1192 + -1184. Solve 0*n + t*n + 16 = 0 for n.
-2
Let p = 83 - 58. Suppose -2*u = -3*u + p. Let m be -1*(-1 - (1 + -2)). Solve m*i - u = -5*i for i.
5
Let c be -2 + (2 - 16/(-4)) + 39. Let a = 43 - c. Solve a = -0*g + 2*g for g.
0
Suppose -6*q - 21 = -3*k - 2*q, q + 3 = 0. Solve -9*m + 3*m = k*m for m.
0
Suppose 4 = 3*o - 4*d - 34, -2*o + d + 17 = 0. Let t be (8/o)/(4/6). Solve 3*y = t*y - 5 for y.
-5
Suppose 3*c - 74 = -26. Solve 3*l + c = -l for l.
-4
Let f be 8/(0 - -2) - 2. Let g be (0 + -3)*-23*(-2)/(-6). Suppose -4*a = -g + 15. Solve -a*b = f*b - 8 for b.
2
Let c(d) = 3*d - 2. Let a be c(3). Suppose 88 = 3*t - a*t. Let v = -17 - t. Solve v*w + 4 = -6 for w.
-2
Let b(n) = 17*n + 393. Let i be b(-23). Solve 11*c + 26 = -i*c for c.
-2
Let g be 28 + -4 + 0/(-1). Solve q = -5*q - g for q.
-4
Let i(s) = s**2 - 6*s + 12. Let f be i(3). Suppose f*k - 20 = 25. Solve -3 = -3*b - k for b.
-4
Let y be 1/(((-1)/(-3))/1). Suppose 25 = 4*a - 3*m, 0 = 4*m - m + 9. Solve -y*j + a - 16 = 0 for j.
-4
Suppose -5*c = -0*b - 3*b - 13, -c + 4*b - 11 = 0. Solve c*n - 3*n = -8 for n.
-4
Let k be 2/3*(-6)/(-4). Suppose k = f - 1. Suppose 0 = -q - 4*o + 8, 5*q + 5*o - 10 = 6*q. Solve q = f*i + 4 for i.
-2
Let j = 165 - 163. Solve j*r = 6*r - 8 for r.
2
Let b(u) = 4*u**3 + u**2 - 2*u + 1. Let n be b(1). Suppose 0 = -g + n*g + g. Solve 0 = 3*d - g*d for d.
0
Let w = -12 + 18. Suppose -2 = -w*b + 4. Let v be b - (3 + -4 + -5). Solve 2*x = 1 + v for x.
4
Let b(x) = x**3 - 3*x**2 + 1. Let m be b(3). Let g be -6*m/2*3. Let c = 11 + g. Solve -c*z = -z for z.
0
Let z(o) = -36*o - 385. Let i be z(-11). Solve 2*b - i + 3 = 0 for b.
4
Suppose o = -22*h + 19*h + 14, -o + 4*h = 0. Solve 3*c = -4 - o for c.
-4
Let d(h) = 6*h**3 - 3*h**2 - h + 2. Let u(l) = l**3 - l**2. Let q(k) = -d(k) + 2*u(k). Let x be q(-2). Suppose 5*a - x = -2. Solve 5 - a = -y for y.
1
Let t(c) = -c**3 + 9*c**2 + 9*c + 10. Suppose -5*n + 60 = 2*r, n - 6*n + 4*r = -30. Let m be t(n). Solve m = x + x + 2 for x.
-1
Suppose 14 = 2*n - 3*n. Let f(y) = -y**3 - 13*y**2 + 16*y + 30. Let p be f(n). Solve p*d - 5*d = -9 for d.
3
Let w = -39 - -44. Suppose 16 = w*h - 9. Let k(j) = -j**2 + 2*j - 1. Let r be k(1). Solve r = h*l - l for l.
0
Let i be (24/6 - 4) + -22 + 1. Let p be 0 + (-1 - i)*(-2)/(-8). Solve p*s - 2*s = 15 for s.
5
Let t(s) = -39*s - 