- r**3/6 + 7*r. Let v be y(2). Let m be -2*3/v - -3. Solve 0 = -m*h - h for h.
0
Let g(c) = -c**2 + 16*c - 36. Let a be g(10). Solve -2*l + a - 16 = 0 for l.
4
Let r = 7 - 5. Suppose -10 = -5*h - 0. Suppose 0 = -q - 3*w, q + h*w + 2*w = -r. Solve -2*y + q = y for y.
2
Suppose -5*l + 610 = 585. Solve 3*f - l*f + 8 = 0 for f.
4
Let l = 211 + -208. Solve -l*y = 5 - 11 for y.
2
Let g = 354 + -349. Solve 4*f + 3 = g*f for f.
3
Suppose 0 = -3*w - 1 + 31. Let x = w + -8. Solve -6*j = -x*j - 8 for j.
2
Suppose g - 3*q + 2 = -0, 5*q = 4*g + 1. Let i = -88 + 116. Suppose 19*k + 36 = i*k. Solve g + 3 = -k*u for u.
-1
Let p = -11219 + 11223. Suppose 5 = -3*i + 44. Solve -7 - i = -p*r for r.
5
Let i be (-6 - 1) + (-12)/(-4). Let c(m) = m**3 + 3*m**2 - 5*m + 1. Let h be c(i). Solve -8*z + 3*z = -h for z.
1
Let f be (4/(-6) - 2)*(-81)/2. Let m = -105 + f. Let x = 2 + -2. Solve 6 = -m*k - x*k for k.
-2
Suppose -2*o + 49 = 5*o. Let x = o + 6. Solve -3*w + x = 1 for w.
4
Let s = -23 - -25. Suppose -2*g + s = -4. Suppose -r - r = -3*f, 5*f - 1 = g*r. Solve 5 = r*v - 10 for v.
5
Let r be 46/(-4) - 1/(-2). Let a = 11 + r. Suppose -5*b + b = a. Solve -2 = -y - b for y.
2
Suppose -3*z = -6*z - 156. Let g = -47 - z. Solve -11 = g*w - 1 for w.
-2
Let a be 51*(2 + (-15)/9). Solve -4*t = 1 - a for t.
4
Suppose -3*m - m = -4. Suppose 0 = -2*d + d. Solve x + m = -d for x.
-1
Let o be (-30)/(-9)*(-1)/(25/(-30)). Let w be ((-2)/5)/((-1)/(-5)). Let t(i) = -3*i - 3. Let p be t(w). Solve p = -5*m + o*m for m.
-3
Let k(d) = 3*d**2 + 12*d - 3. Let i be k(-5). Solve 0 = 23*m - 17*m + i for m.
-2
Let t(g) = g**3 - 16*g**2 + 15*g + 12. Let l be t(15). Suppose 2*u - l*u + 50 = 0. Solve -2*x + 9 = -u*x for x.
-3
Let o(j) = -j - 9. Let d be o(-13). Let p = -256 + 258. Solve -p*c - 2*c + d = 0 for c.
1
Suppose 14*k + 4 = 15*k. Suppose -3*b = -k*b. Solve u - 1 - 2 = b for u.
3
Let s = -45 + 55. Suppose -17*v + s*v + 35 = 0. Solve -3 = -v*b + 2 for b.
1
Let t be 5/2*12/10. Let c(q) = -q**2 - 5*q + 5. Let o be c(-4). Suppose -o*w + 6*w + 12 = 0. Solve w + 5 = t*j for j.
3
Let k be (-2 + -2 - 3)*-1. Let z = -3 + k. Suppose 8 = z*x - 4*a - 0*a, 1 = a. Solve 0 = 4*v + 13 + x for v.
-4
Let g = 8 + -4. Suppose t + 3*s = g + 7, 4*t = -5*s + 30. Solve 2*v = 3*v - t for v.
5
Let g(c) be the third derivative of -c**5/60 - c**4/4 - 5*c**3/6 - 5*c**2. Let o be g(-5). Suppose -4*w + 3*w = o. Solve w = 4*v - 16 for v.
4
Let l = 4 + 0. Suppose 4 + l = 4*y. Suppose -q - y*q = -27. Solve 3 = -2*k + q for k.
3
Let z be (-48)/(-84) + (-8)/14. Suppose z = a + 4*u - u, a - 4*u + 21 = 0. Let k = -9 - a. Solve 4*j + 0 + 4 = k for j.
-1
Let u(z) = -z**3 - z**2 - z + 2. Let q be 1 + 0 + -1 + 0. Let c be u(q). Suppose -6*j + j = -10. Solve 0 = j*y - 4*y + c for y.
1
Let x(t) = 2*t**3 - 4*t**2 - 2*t - 12. Let w be x(3). Solve -6*g + 105 - 111 = w for g.
-1
Suppose -3*d + 1 = -14. Suppose x - 1 = d*i, i + 2*x - 2 = 2*i. Suppose -4*a - a + 50 = i. Solve a = b + b for b.
5
Let s(b) = -4*b - 14. Let u be s(-4). Suppose -u*m = -5*m. Solve m - 12 = -3*x for x.
4
Suppose -y - 2*h + 150 = 4*y, h + 60 = 2*y. Solve -10 + y = 4*c for c.
5
Let d = 178 + -154. Solve -u = 5*u + d for u.
-4
Let m(b) be the third derivative of b**6/120 - b**5/60 - b**4/24 - 3*b**3/2 + 15*b**2. Let h be m(3). Suppose 0 = 3*t - 4*t. Solve t*n = -3*n - h for n.
-2
Let d(n) = -n**2 - 19*n + 102. Let w be d(-22). Solve -2*a + w = -14*a for a.
-3
Let l(u) = -2 - 13*u + 0*u + u**2 + 4. Let i be l(13). Let s be 13/3 + i/3. Solve -2*z + 12 = -s*z for z.
-4
Let y(r) = r**2 - 7*r - 168. Let j be y(17). Solve n = 3*n - j for n.
1
Suppose -488 = 20*l - 568. Suppose -k - 8 = k. Let v be k/14 + (-6)/(-21). Solve 2*y + l = -v*y for y.
-2
Let m(f) = -2*f + 13. Let b be m(6). Suppose -g + 3 = b. Solve g*v + 3 = v for v.
-3
Suppose 0*h + 5*h = 0. Let d = 16 + -15. Suppose -3*q + 11 = -d. Solve -q*z - z = h for z.
0
Let n = -196 + 200. Solve 2*m - n = 3*m for m.
-4
Suppose 0 = -h - 2*z - 1, 7 = 4*h - 7*z + 4*z. Solve -9*y - h + 10 = 0 for y.
1
Let f(b) = 21*b**3 - b**2 + b - 1. Suppose 0 = -g - 8 + 9. Let o be f(g). Let c = 5 + -3. Solve c*n + 3*n = -o for n.
-4
Let v(n) = n**3 + 6*n**2 - 8*n + 69. Let g be v(-8). Solve 175 = g*o + 190 for o.
-3
Let y be (-24)/(-28)*(-7)/(-2). Suppose -8 = -y*s - 2. Suppose -5*u - k - 1 = -31, 20 = s*u + 2*k. Solve 4*c + c + u = 0 for c.
-1
Suppose -4*u = 0, -2*f - 2*f = -2*u + 96. Let n = f - -22. Let p = -1 - n. Solve 2*y - p - 1 = 0 for y.
1
Let b be (9/(-9))/((-3)/57). Solve -16*c = -b*c for c.
0
Let z = -33 - -38. Suppose -1 = -5*r + 9. Suppose t + 5 = 2*a, -r = -z*t + 5*a - 7. Solve -t = -2*y - 5 for y.
-1
Let z(s) = s**3 + 28*s**2 - 22*s + 215. Let h be z(-29). Solve -g + h = 3*g for g.
3
Let w be (-1 + -17)*2/(-3). Suppose k + 4*n = 8 + w, -2*n - 8 = -4*k. Suppose -k = -l - 0. Solve j - l = -j for j.
2
Suppose 6*v + 317 = -115. Let i = v - -74. Solve i*j - 2 = -0 for j.
1
Suppose 6*j = 86 - 32. Suppose -4*d = -2*n - 12, 3*n - j = -5*d + 2*d. Solve 5*a = -8 + d for a.
-1
Let f(m) = 7*m - 35. Let u be f(5). Solve u = -3*a + 5*a for a.
0
Suppose 71*q - 2*m = 76*q - 40, m = -3*q + 25. Solve -9*c + 35 = -q for c.
5
Let l(k) = -71*k + 79. Let m be l(1). Solve -m*p = -9*p - 1 for p.
-1
Let r be (-21)/(-15) - 2/5. Suppose 0 = 2*i + 2*j - 10, 2*i - 5 + r = 4*j. Let w be -2*(12/i)/(-3). Solve -4*d + w = -2 for d.
1
Suppose 4*t = 20, -3*t = 4*c - 10 - 13. Let k be (-15)/3*(-3 - -6). Let s = k + 19. Solve -c*u + u = s for u.
-4
Let z = 157 - 157. Solve 2*d - 5*d = z for d.
0
Let c(v) = -3*v + 97. Let b be c(31). Solve -7*x = -3*x - b for x.
1
Let r(z) = -177*z - 527. Let h be r(-3). Let o be 2/(-2*(2 + -3)). Solve -h*i = -3*i - o for i.
1
Let r be 2*(-23)/(-10) + (-87)/145. Suppose 2*k + 8 = 0, 4*t - 92 = k - 3*k. Solve -r*a - a = t for a.
-5
Suppose -2*b - 5*w + 186 = 0, -5*w = -5*b + 205 + 260. Solve d + 97 = b for d.
-4
Let w be 7*30/21 - -1. Solve -5*o + 4 = -w for o.
3
Suppose 42*u - 164 = 130. Solve u*k = -9*k + k for k.
0
Let n = 10 - 7. Suppose -c = -n*c + 4. Suppose -c*y + 2*f = 4*f + 4, 2*f + 6 = -y. Solve -t + y = -1 for t.
3
Let w = -18 + 33. Let b(v) = -4*v - 21. Let u be b(-6). Let q(d) = d**2 - 2*d. Let g be q(u). Solve 3*t + w - g = 0 for t.
-4
Let u(a) = a + 5. Let i be u(0). Let v be 1/((-2 + i)/12). Suppose 4*g - v*o = 64, 3*g - 54 = 4*o + o. Solve -7 = 4*x + g for x.
-5
Let b(r) = r - 1. Let n be b(4). Suppose -4*u + 150 = u. Let g be (-1 - 1)*(-45)/u. Solve 0 = -0*i - n*i - g for i.
-1
Suppose 4*f + 5 - 17 = 0. Solve -f*j - 2 = -j for j.
-1
Let y(h) = 3*h**2 + 3*h - 5. Let c be y(-4). Suppose -35 = 2*x + 7. Let n = c + x. Solve 0 = -v - 4*v - n for v.
-2
Let v(m) = -m**3 - 4*m**2 + 9. Let r be v(-3). Solve r*f = -f + 2 for f.
2
Suppose -2*y - x = 7 - 0, -5*y + x - 14 = 0. Let b be (2/y)/((-2)/27). Solve -3*i - 3 = b for i.
-4
Let d = 44 - 38. Let n(r) = r**3 - 6*r**2 + r + 4. Let t be n(d). Solve 0 = -5*f - 30 + t for f.
-4
Suppose -5*w - 8*b + 27 = -4*b, -3*w + 4*b = -29. Solve 0 = 18*f - 61 + w for f.
3
Suppose 2*z - 2*b + 3*b = 23, 56 = 5*z + 3*b. Solve z*x = 14*x - 3 for x.
3
Suppose 5*h - 11 + 1 = 0. Suppose -h*w = w - 12. Suppose -z + 5 = -w. Solve -z + 1 = -2*p for p.
4
Suppose 0 = 4*z - 0*z. Suppose -2*p + z = -8. Suppose 43*u = 48*u - 10. Solve 0 = u*a + p for a.
-2
Let j be -7 - -2*21/6. Solve -2*w + 5 + 1 = j for w.
3
Let q = -935 + 941. Solve -q*o + 3 = -9*o for o.
-1
Let n be 2/(-8) - (-65)/4. Suppose z + 3*c = -13, -23*z + 19*z = -4*c - 28. Solve 6*g - z*g = -n for g.
-4
Let s be (0 + 6/9)*3. Suppose -l + s*g - 17 = -4*l, 0 = 4*l + 2*g - 22. Solve -l*n + n = -20 for n.
5
Let r(x) = -x + 8. Suppose 4*o - g - 3*g + 4 = 0, -4*o = g + 4. Let y be (-9)/o - 33/11. Let m be r(y). Solve m*q - q - 1 = 0 for q.
1
Suppose 5*c - 59 = -34. Solve 0 = -c*y - 8 - 2 for y.
-2
Let t(k) = k**3 - k**2 + 2*k - 3. Let x(i) = i + 4. Let j be x(-2). Let u be t(j). Solve v - u*v = 0 for v.
0
Suppose n - 1 = -0*t + t, -8 = -2*n - 4*t. Let h be 342/21 - n/7. Let l be (-1 - 0 - -6) + 260/(-52). Solve -4*z + l*z = h for z.
-4
Let u(w) = -4*w - 34. Let b be u(-9). Suppose 4*a - 4*j - 19 = 9, 26 = b*a + 4*j. Solve 6*z + a = 3*z for z.
-3
Let k(b) be the third derivative of -b**6/120 - b**5/15 - b**4/3 + b**3/2 - 10*b**2. Let l 