 + 15, 4*o + 3*l + 0*l = -26. Let u be p(o). Solve -u = 2*m + 1 for m.
-3
Let h(x) = -x**3 + x**2 + 9*x + 6. Let l be h(-3). Let g be (1/3 + -2 + 2)*l. Solve -2*u = -g*u for u.
0
Let s be (-2 - (0 + -3))*-9. Let v(h) = -h**2 - 8*h - 2. Let p be v(s). Let y(g) = g**2 + 10*g - 8. Let r be y(p). Solve -i = -r*i for i.
0
Let k(m) = -152*m - 449. Let i be k(-3). Solve i*l - 86 = -58 for l.
4
Suppose s + 5*r - 5 = 0, 4*s - 20 = 4*r - 0. Solve -s*g + 23 + 2 = 0 for g.
5
Let t be 91/28 - (6/(-8))/(-3). Solve -1 = t*u + 8 for u.
-3
Let k(f) = 44*f - 296. Let i be k(9). Solve -7*s - i = 13*s for s.
-5
Suppose 2*v - 45 = -5*y, -5*v - 111*y = -108*y - 160. Solve v - 38 = -l for l.
3
Let j be -25*(-6)/90*3. Let b be 0*(-1 + 2)/2. Solve 0*z + j*z = b for z.
0
Let f(i) = -i**2 + 21*i - 34. Let t be f(16). Suppose -9*p + t = -179. Solve -n + p = -6*n for n.
-5
Let b be -3 + 2/(6/45). Suppose -b = -4*i + 2*i. Suppose -i = -2*k - 2. Solve -2 = 3*n - k*n for n.
-2
Suppose -2*o + 71 = -21. Suppose -10 = -48*c + o*c. Solve 5 = c*s - 10 for s.
3
Let v be (-1)/(-7) + (-244)/(-7). Let q = -24 + v. Let m = q - 3. Solve -m = 6*r - 2*r for r.
-2
Let p(s) = -s**3 + s**2 + 12. Let l be p(0). Suppose -l = 4*k - 92. Solve -3*t - k = -7*t for t.
5
Suppose 4*c - 16 - 10 = -2*u, -5*u + 41 = 4*c. Suppose w + c*w - 100 = 0. Solve 3*l - 5 = -w for l.
-5
Suppose 2*u = -0*u. Let y = u + 2. Suppose -3*j + 11 = -a + 2, -31 = -a - 5*j. Solve y*z - 4*z = a for z.
-3
Suppose -8*s = 36*s - 176. Solve s - 8 = -q for q.
4
Suppose -7*z + 6*z = 0. Suppose -8 = -4*l - z. Suppose 0 = 2*i - 4*x - 12, -l*i - 30 = -7*i - 5*x. Solve i*t + 25 = t for t.
-5
Let s = 32 + -19. Suppose 2*v + 3*d = s, -3*v + 28 - 2 = -2*d. Solve -5*g - v - 17 = 0 for g.
-5
Let b(z) = z**2 - 1. Let c(v) = 2*v**2 - 9*v - 8. Let a(p) = b(p) - c(p). Let y be a(8). Let w = y + -12. Solve -4*r = -w*r - 3 for r.
3
Let w = -1316 + 1330. Solve 9*c - w*c = -25 for c.
5
Let k = -480 - -491. Solve 5*d = -6*d - k for d.
-1
Let p(o) = o**2 - 15*o + 3. Let h be p(13). Let t = h - -29. Suppose -t = -4*d + 6. Solve 0 = -d*v - 6 for v.
-2
Let f(v) = 60*v - 356. Let u be f(6). Solve u*n = -n - 5 for n.
-1
Let q = 87 + -177. Let z = q - -98. Solve 0*o = -2*o + z for o.
4
Suppose j = -4*n - 5, n - 5*j = -n + 25. Let l be 1/((-2)/(-4)) + -2. Suppose l = -n*s + s - 2. Solve -s*w = -6*w for w.
0
Suppose 3*b - 5 = 4. Let p = -76 - -75. Let i be (-2 + (-2)/p + -16)/(-1). Solve -b*c - c = -i for c.
4
Suppose -3*l + 28 = -17. Let k(d) = 3 - 2 - 3 - 4 - 2*d. Let b be k(-4). Solve l - 5 = -b*a for a.
-5
Suppose 0 = 129*z - 2165 - 1705. Solve 0*x = -6*x + z for x.
5
Let o(n) = -n. Let a(d) = -d**2 - 25*d - 38. Let j(c) = a(c) - 6*o(c). Let f be j(-16). Solve -5*w + f = -15 for w.
5
Let m be 1/2 - (-1)/(-2). Let o(x) = 3*x + 16. Let v be o(-7). Let t = -2 - v. Solve m = -6*n + t*n + 9 for n.
3
Let r(j) = 3*j + 42. Let v be r(6). Solve -v = -i + 21*i for i.
-3
Suppose g + 3*g + 21 = -3*q, 0 = -q - 2*g - 5. Let m = q + 24. Suppose -4*u + 0*u + m = 3*z, 0 = -4*z - 4. Solve -a = u*a - 5 for a.
1
Let g(v) = -v**2 - 11*v + 48. Let j be g(-14). Solve j = -10*b + 7*b for b.
-2
Let r(j) = j**2 + 3*j + 2. Suppose -24 = -5*f - 2*i, -3*f + 5 + 10 = i. Suppose -2 + f = -2*y. Let b be r(y). Solve w - 2 = -b*w for w.
2
Suppose 10 = -2*d, 22 + 8 = 3*i - 3*d. Let x(f) = -f + 8. Let k = -28 - -28. Let b be x(k). Solve b = i*u - 3*u for u.
4
Let j = 44 - 44. Suppose j = 2*s - 0*b - 4*b + 2, 3*b + 2 = 5*s. Solve 0 = k + 3 - s for k.
-2
Let v(a) = 3*a**3 - 12*a**2 + 2*a - 2. Let g be v(4). Solve -15*w = -9*w - g for w.
1
Suppose -3*z = -83 + 5. Suppose 8 - z = -6*u. Solve -u*r - 2 = 7 for r.
-3
Suppose 12 = -2*p - 4*o, -5*p - 10 = -2*o + 7*o. Suppose -3 = q - 0, -q = 3*i + 138. Let c = 47 + i. Solve 0 = p*d - 2 - c for d.
2
Let b = 4 - 0. Suppose -3*u = b*f - 92, u - 5*f = -0*f + 18. Suppose -4*z = 8 - u. Solve 4 - 19 = -z*i for i.
3
Let r = 0 - -3. Let m(h) = -h**2 + 3*h. Let i be m(r). Let k be i/(1*3/(-3)). Solve -2*b + k = -6 for b.
3
Let y(i) = -2*i**2 - 18*i - 20. Let u be y(-2). Solve u*j + 4 = 7*j for j.
-4
Let i be 2 + ((-48)/(-8) - 8). Solve -y - 5*y = i for y.
0
Suppose 5*z = 4*z + 12. Let r be (1 - -5) + -7 + 9. Solve 4*u + r + z = 0 for u.
-5
Let n(y) be the first derivative of y**2/2 - y - 1. Let l(z) = z**3 - 6*z**2 - 7*z - 2. Let d(x) = -l(x) + n(x). Let r be d(7). Solve 0 = 2*q + 2*q - r for q.
2
Let h be (12/8 - -6)*(-4)/(-6). Suppose -5*g = -h*b - 70, 5*g = -b - 0*b + 58. Solve 0 = 5*a + 3 + g for a.
-3
Let w = -196 + 198. Solve -w*r = -0*r + 6 for r.
-3
Let w be 0 + -1 + 8 - (-24 + 27). Solve -w*t + 5 + 15 = 0 for t.
5
Suppose -4*h + 4*o = -44, -3*h - 20*o + 17*o = -9. Solve h*q = -24 + 38 for q.
2
Let j = 2 + -1. Let r be (1 - 2) + 6 - (276 - 271). Solve z - j = -r*z for z.
1
Let l be 1/(-3 - 230/(-75)). Suppose -8*f - l = -175. Let a = -11 - -11. Solve 0*u - 4*u + f = a for u.
5
Let o be 10 + -1 + (7 - 4). Suppose -12*h - o = -15*h. Solve -4*v - h = -24 for v.
5
Let f be (-12)/45*3 + (-58)/(-10). Suppose 2*i + 5*t - 14 = 9*t, 59 = f*i - 4*t. Solve 4*w - 5 - i = 0 for w.
5
Let l(t) = -t**2 + 2*t - 1. Let d be l(1). Let h = -2874 + 2878. Solve d = -0*x - h*x for x.
0
Let l be ((-570)/(-133))/(3/14). Solve 9*t - l = -t for t.
2
Let h be -1*1/9 - (-49)/441. Let x = 5 + -1. Suppose 18 = x*r - r. Solve -r = -3*c - h for c.
2
Let x be 55/5*(-36)/(-33). Solve 6 = 9*r - x for r.
2
Suppose -2*m + 7*m + 15 = 0. Let c be (-1 - -2)*(-1 - -2 - m). Solve 0 = -r - c*r - 25 for r.
-5
Let q(j) = j + 0*j + 3*j**2 + j**3 - 2*j - j**2. Let v(p) = p**3 - 20*p**2 + p - 22. Let l be v(20). Let r be q(l). Solve -r*w + 4 + 4 = 0 for w.
4
Suppose 2*q + 61 = 5*c, -q - 15 = 4*q. Solve -6*m + c*m = 15 for m.
3
Let h(z) = 10*z**2 - 9*z - 2. Let a be h(-1). Solve a = 3*y + 32 for y.
-5
Let h(c) = -6*c - 1. Let b be h(-1). Suppose -r + 5*y = -4*r + 65, -b*r - 3*y + 103 = 0. Let v(p) = -8*p + 2. Let m be v(-1). Solve m*d + r = 5*d for d.
-4
Suppose 1 = -h + 4*h - 5*g, -2*h + g = -3. Let p be (-5 - -3)*(-3)/h. Suppose k = -p*k. Solve k = 3*f - 5*f + 8 for f.
4
Let l(p) = -7*p + 37. Let s be l(5). Suppose 0*z + 2*z - 8 = 0. Let g = 21 + -15. Solve -s*o + z = -g*o for o.
-1
Let m(x) = x**3 - 10*x**2 - 21*x - 6. Let n be m(12). Suppose 7*b - n = 54. Solve -t - b = -4*t for t.
4
Suppose -12 = -5*t + 3. Suppose -v + t*z + 31 = 0, 0 = 2*v + v + 4*z - 67. Solve v = 8*x - 3*x for x.
5
Let b be (52/3)/((-5)/(-15)). Let m be b/4*-1 - 0. Let c = m - -13. Solve c*t + 5*t + 10 = 0 for t.
-2
Suppose 0 = 5*x - 8*x - 348. Let j = 125 + x. Solve 5*n + j = 24 for n.
3
Suppose -3*s - 9 = 3*h, 3 = 2*h - h. Let l be ((-9)/6)/(s/(-16)). Let f be (-4)/(l/3) + -2. Solve y + f - 5 = 0 for y.
4
Let t be 9/(-6) - (-9)/2. Suppose 5*j - 25 = 2*v, -j - 18 = -3*v - 2*v. Suppose j*a - t*a = 0. Solve a*o = 3*o for o.
0
Suppose -d + 7 = -5. Let h(x) = 20 - 23*x + x**2 + 32*x - 11*x - 12*x + 5. Let r be h(d). Solve 6 = q + r for q.
5
Let k = 39 + -42. Let g be 0*((-5)/2 - k) + 3. Solve 0 = -g*v + v for v.
0
Suppose 3*f = -9, -3*f = -2*u + 28 - 3. Solve -7*k - 4 = -u*k for k.
4
Let l be (-237)/(-27) + (-2)/(-9). Suppose l + 21 = 2*z. Solve 9*g = 4*g + z for g.
3
Let h be 82 + (-180)/(-42) + 2/(-7). Let n = h - 77. Solve 3*d = -n - 6 for d.
-5
Let v be 9*(-3 - (-22)/6). Let a be (-2)/(-3) - (-20)/v. Let b = 32 + -32. Solve b*r = a*r - 16 for r.
4
Suppose -9 - 11 = -5*l. Let o be ((-1)/l)/(4/(-16)). Solve -a + 2*a - o = 0 for a.
1
Let m(f) = f**3 - 7*f**2 - 14*f + 8. Let k be m(8). Let a = -36 - k. Solve -4*p - a + 0 = 0 for p.
-1
Let c(k) = -k**2 - 17*k - 11. Let d be c(-16). Suppose j - d = -0*j. Solve j*v - 11 = 4 for v.
3
Suppose -3*a + a + 34 = 0. Suppose 2*b - 10 = -2*o, 5*b = -o + a - 0. Suppose -6 = -o*g - 0. Solve -j = g - 0 for j.
-3
Suppose -7*u + 5*m = -2*u + 10, -2*m = 5*u - 4. Suppose -2 = -4*j + 6. Solve -j*w + 3*w + 5 = u for w.
-5
Let n = 69 + -70. Let y be -4*(n/(1 - 3) + -2). Solve y + 4 = 2*p for p.
5
Let o = 46 - 45. Let f be (o/2)/((-4)/(-16)). Let g = -7 - -9. Solve -4 = g*c + f*c for c.
-1
Suppose 5*l + 2*v - 40 = 0, -3*v + 5 = -4*v. Solve -u - l = -6*u for u.
2
Suppose m = 3*k - 467, 2*k + 5*m - 475 = -158. Solve -160*l + k*l = -8 for l.
2
Let v be 10 - (17 - 10)/1. Suppose 0*t - 3*g + 7 = -t