
Let g(h) = h**3 - 9*h**2 - 12*h + 23. Let p(s) = -s**2 - 17*s - 6. Let j be p(-16). Let w be g(j). Suppose -z + 12 = 2*z. Solve 7 = w*a + z for a.
1
Suppose -26*x + 144 + 220 = 0. Solve -5*b + x = 29 for b.
-3
Let c(f) = -f**3 + 10*f**2 - 16*f - 19. Let w be c(6). Solve -2*t = -27 + w for t.
-1
Suppose 16*u - 17*u - 5*p = 13, -3*u - 3*p = -9. Solve 0*g + 7*g - u = 0 for g.
1
Let v be (2/(-6))/(-1) - 391/(-69). Let p = 5 - 3. Let x be (2/1 + -1)*p. Solve x*m - v = 5*m for m.
-2
Let v(n) = 4*n**2 + 4*n - 8. Let f be v(2). Let g = 19 - f. Solve g*y - 3 + 9 = 0 for y.
-2
Let s(g) = g**2 + 46*g + 415. Let y be s(-34). Solve 0 = y*q - 12*q + 10 for q.
2
Let s(t) = t**3 + 3*t**2 - t - 3. Let b be s(-3). Let q be b*(4 + -5)/2. Solve q*h = h for h.
0
Let u be 56/126 + (-68)/(-9). Solve u*y + 22 + 18 = 0 for y.
-5
Let n(u) = -2*u**3 + 88*u**2 + 87*u + 143. Let z be n(45). Solve z*p + 16 = -0 for p.
-2
Suppose -3*k = 3*v - 3, 3*k - 4*v - 3 = 21. Suppose -k*y - 23 = 41. Let d = y + 24. Solve h = -h + d for h.
4
Let q(p) = 2 - 2*p**3 + p + 32*p**2 + 29*p**2 - 64*p**2. Let w = 2 + -4. Let u be q(w). Solve -u*t = -0*t for t.
0
Let w(l) = l**2 + 8*l - 125. Let b be w(-16). Solve 0 = 3*a - b - 3 for a.
2
Let y(n) = -n**2 - 22*n + 48. Let h be y(-24). Solve h = 10*t - 0 + 10 for t.
-1
Let t(d) = -13*d + 12. Let q be t(6). Let u = q - -66. Solve 0 = -4*g - u*g + 12 for g.
3
Suppose 5*k + 20 = 9*k. Suppose 1 = -k*t + 11. Suppose 0 = x - t*x. Solve -4*p + 2*p - 10 = x for p.
-5
Let o = -19 - -16. Let p be -7 - (o + 1 + -1). Let c be (-8)/p - 10/(-1). Solve -c = -t + 4*t for t.
-4
Suppose 7*o + 64 = 99. Solve 3*f + o*f = -16 for f.
-2
Suppose -2*c = -30 - 6. Solve c = -5*n - n for n.
-3
Let z = -133 + 137. Solve z*n = -17 + 5 for n.
-3
Suppose 4*y - 3*s = 119, 16*s - 19*s = -3*y + 90. Solve 3*m + y = 14 for m.
-5
Let s(v) = 7*v - 1. Let f be s(-5). Let x = f - -63. Solve 12 - x = -3*p for p.
5
Suppose -10*w + 5*w = -40. Solve -w*g - 6 = -11*g for g.
2
Suppose -y - 60 = -4*y. Suppose h = -4*h + y. Suppose -h*j - 5*i + i + 16 = 0, 3*i = -4*j + 14. Solve -j*w + 2 = 12 for w.
-5
Let j be -1*392/(-20) + 6/15. Let b be 2/4 + j/8 + -3. Solve 5*t - 4*t + 2 = b for t.
-2
Suppose 9*d - 82 = -55. Solve 6*t - 5*t = -d for t.
-3
Let t be (17 - -1)*(-3)/(6 + -24). Let n = -2 + 7. Suppose -2*q = -n*z + 2, -5*z + 6*q - 2 = 3*q. Solve 4*r + z = t*r for r.
-2
Let o = -47 + 67. Solve o*u - 10 = 25*u for u.
-2
Let a(u) = u**3 + 12*u**2 - 12*u + 12. Let n be a(-13). Let x(j) = -2*j - 2. Let h be x(n). Solve 0 = -h*q - 3*q for q.
0
Let k = -27 - -32. Suppose 0 = -k*c - 2*c + 112. Solve 4*m + 0*m + c = 0 for m.
-4
Suppose 27*u + 0*u = -9*u. Solve -83*r + 78*r - 5 = u for r.
-1
Let y be 2/9 + 1/((-18)/1750). Let g = 100 + y. Solve o - 8 = -g*o for o.
2
Let z(q) = -q**3 + 5*q**2 - 4*q - 4. Suppose -a = -2*a + 4. Let v be z(a). Let f be (8/(-14))/(v/14). Solve -f*x - 4 = -0*x for x.
-2
Let p be -4 - -1 - 60/(-5). Suppose p*i - 5*i - 20 = 0. Solve 3*a - i = 1 for a.
2
Let u(y) = y**3 - 15*y**2 - 16*y + 4. Let k(a) = 5*a - 24. Let g be k(15). Let z = -35 + g. Let s be u(z). Solve s = -i + 2*i for i.
4
Let h = 1 + -1. Suppose h = -6*o + o. Solve 4 = -u - o for u.
-4
Suppose 3*y = 6*y - 21. Let n be y/((-49)/21) + (-8)/(-1). Solve 3*i - 2*i = -n for i.
-5
Suppose 13*y + y - 70 = 0. Suppose 2*q + 3 - 5 = s, y*q = -2*s + 14. Solve -3 = 3*g - q*g for g.
-3
Let i = -26 - -52. Let a = -26 + i. Solve a*w + 4*w = 0 for w.
0
Let o = 147 + -146. Let n be -1 + 1 + o + 1 + 1. Suppose 3*p + 4*u = -4, 5*p - 3*u - 24 = 8. Solve n*k - 2 - p = 0 for k.
2
Let v(l) be the second derivative of l**3/2 - 6*l**2 - 7*l. Let n be v(12). Suppose -4*a + b + n = -b, 5*a = -2*b + 21. Solve 8 = a*z - 12 for z.
4
Let d = 9 - 5. Suppose 0 = 5*p + u + 14, p + 8 = u + d*u. Let x = p + 6. Solve -x*t + 4*t = 5 for t.
5
Let y = -20 - -27. Solve -y*a - 11 = 10 for a.
-3
Let y = -345 - -350. Solve -y*h = -0*h for h.
0
Suppose 0 = -g + 3, 4*f - 8*g = -4*g - 64. Suppose -h = -4*h - 45. Let m = f - h. Solve 0*i = m*i - 10 for i.
5
Let s = -597 + 624. Solve -6*r + s - 3 = 0 for r.
4
Suppose -2*v - 12 = 5*a, -4*a + 7*a = v - 16. Solve -t - v + 8 = 0 for t.
4
Let x(a) = -3*a**2 + 13*a - 9. Let j(t) = -t**2 + 6*t - 4. Let u(v) = 5*j(v) - 2*x(v). Let f be u(-6). Solve 3*n - n + f = 0 for n.
-5
Suppose -2*i - i = -12. Suppose 4 = -t, 0 = -4*m - m + t + i. Suppose -v + 3*a = -m*a + 7, 4*a = v + 10. Solve 2*o = 4 + v for o.
3
Let n = 71 - 108. Let z = n + 42. Solve -2*b + b = -z for b.
5
Let l(o) = 2*o**3 - 2*o**2 - 1. Let p be l(2). Solve 3 = -5*t - p for t.
-2
Let w = 111 + -75. Let r = w + -31. Solve 20 = -3*f + r for f.
-5
Suppose -31 = -4*l - 2*f - f, -56 = -5*l + 2*f. Suppose -2*t - 6 = 8. Let q = t + l. Solve q - 9 = 2*v for v.
-3
Let w be (-3)/(-4) - 9/12. Let x(f) = -f**2 - 5*f**2 + 5*f**2. Let i be x(w). Solve i = 2*b + 1 - 5 for b.
2
Let g(z) = -z**3 - 6*z**2 - 2*z - 6. Let w = 10 - 6. Let f be w/2 - (-72)/(-9). Let b be g(f). Solve b = m + m for m.
3
Let l(n) be the second derivative of 11*n**7/840 - n**6/360 - n**3/2 - 5*n. Let a(i) be the second derivative of l(i). Let f be a(1). Solve -4 + f = 2*k for k.
3
Let m(f) = 2*f**3 - 5*f**2 - 5*f + 8. Let p be m(4). Let d = p - 33. Solve i = d*i for i.
0
Let u = -367 - -373. Solve u = 3*o - 0 for o.
2
Suppose -4*x = 2*b + 2, -4*x + 5*x + 2*b = -8. Solve -x*w = -15*w + 7*w for w.
0
Suppose -4*l + 100 = -w, w - 89 = -5*l + 27. Solve -4*j = -16*j + l for j.
2
Let f(j) = j**2 - 16*j + 17. Let l be f(15). Suppose 5*u - 2*s = -4*s - 31, -l*u = -4*s - 2. Let b(d) = -d**2 - 8*d - 5. Let p be b(u). Solve -q - p = q for q.
-5
Let a be (41 - 2)*(-4)/8*-2. Solve -43*g = -a*g - 16 for g.
4
Suppose -65 = -4*y - 5. Suppose 3*x - 30 = y. Solve 6*c + x = c for c.
-3
Suppose 4*v - 2*i = 86, 2*v - i + 2*i - 49 = 0. Suppose -2*p - v = -29. Solve 7 + p = 5*g for g.
2
Let f = 125 - 121. Solve f*w - 24 = -40 for w.
-4
Let l be ((-45)/36)/(13/(-156)). Solve 0 = -10*c + 15*c + l for c.
-3
Let g(x) = -3*x + 16. Let i be g(4). Let p be (((-32)/i)/4)/(1/(-6)). Solve -2*n - p = -6*n for n.
3
Suppose -7*w - 19 = -4*x - 6*w, -4*x - 5*w + 1 = 0. Solve -9*k = -x*k + 10 for k.
-2
Suppose 0*d - t + 47 = -4*d, 2*t = -3*d - 38. Let v be (-7)/(-4) - (2 - (-27)/d). Solve v*l = -0*l for l.
0
Suppose -420*h + 426*h - 6 = 0. Solve 5 = 4*a + h for a.
1
Let g(t) = -t**3 - 6*t**2 + 13*t + 92. Let s be g(-5). Solve -s*c - 60 = -17*c for c.
4
Let c be (6/(-8))/((-18)/48). Suppose c*g = -0*g + 6. Suppose 0 = g*r - 3*k, -2*k + 0*k = r - 6. Solve 3*w - r*w = -3 for w.
-3
Let o(q) = 5*q - 275. Let k be o(55). Solve 9*x - 7*x + 10 = k for x.
-5
Let x be (1 - -2)*(-175)/(-21). Suppose x = -2*t + 7*t. Solve t*i = 4 + 1 for i.
1
Suppose -13*s - s + 42 = 0. Suppose -4*t - s*z + 25 = -8*z, 2*t - 5 = -5*z. Solve -t*c = 2 + 3 for c.
-1
Let w(f) = -f**2 - 3*f. Let g be w(-3). Suppose -4*t + 52 = -4*x + 16, 6 = 2*t + x. Solve t*d - d = g for d.
0
Let c(q) = -19*q - 317. Let h be c(-27). Solve 20 = 192*v - h*v for v.
-5
Let o(v) = -v**3 - 11*v**2 + 27*v + 16. Let n be o(-13). Solve n*u = 4 - 13 for u.
-3
Let h(x) = 3*x + 1. Let m be h(2). Suppose 0 = -3*j + m*j. Suppose j = t - 3*t. Solve 4*k = -t*k + 20 for k.
5
Suppose -18*c = -140 - 22. Solve c*f = 6*f - 15 for f.
-5
Let t(h) = 27*h**2 - 213*h - 5. Let w be t(8). Solve -3*y - w = -10 for y.
-3
Let g be -3 + -1 + -1*12. Let w = 21 + g. Solve 10*r - w*r = 5 for r.
1
Let l = -340 - -355. Solve -2*r + 7*r - l = 0 for r.
3
Let f = 86 + -65. Suppose 17*y - f*y + 16 = 0. Solve -y*n - 3 = -3*n for n.
-3
Suppose 168 = 2*u - 142. Let q = u - 151. Solve t + t = q for t.
2
Suppose -2*b + 52 = 4*w, -3*b + w = -60 + 10. Solve 3*i - 9*i + b = 0 for i.
3
Suppose -4*c - 3*m - 216 - 41 = 0, -2*c = 4*m + 116. Let p = c - -77. Let q = -4 - -9. Solve -q*i + p = -11 for i.
4
Let o(y) = y**3 + 16*y**2 - 1. Let z be o(-16). Let j be z - (-2)/(6/15). Solve 2 = 2*s - j*s for s.
-1
Let p be 44 + 0 - (-1 - -1). Let a = p + -33. Suppose a*s = 15*s. Solve 0 = f + 1 - s for f.
-1
Let y(s) = 5*s**2 - 7*s + 1. Let f(j) = j - 5. Let b be f(8). Let m be y(b). Suppose -2*u + 9 + 1 = 0. Solve u*d - 10 = -m for d.
-3
Suppose 4*i = 282 - 66. Suppose 0 = 7*c - 3*c + 5*p - i, -4*c + 50 = 3*p. Solve c = -2*v + 5 for v.
-3
Suppos