5*y**2 + 9*y + 1/6*y**3 + 0. Let t be o(-8). Solve -5*m + t*c = -16, -3*m = -m - 3*c - 2 for m.
4
Let l(o) = -o + 1. Let s be l(-1). Let i = 2 - -1. Solve -3*y + z + 3 = -3, 3*y + s*z + i = 0 for y.
1
Suppose -179*u + 64 = -147*u. Solve 4*a - 5*a - 2 = -3*h, -u*a - 10 = 0 for h.
-1
Let i = -5 - -9. Let f be 0*((-3)/(-6) + 0). Suppose f = 3*g - 7*g. Solve -3*p = -12, -i*m - p - 12 = -g*p for m.
-4
Let v(a) = -11*a + 60. Let d be v(3). Solve u = -5, -3*h + 4*u + 8 = -d for h.
5
Let h(d) = -3*d**3 + 2*d + 2. Let o be h(-1). Let s(c) = c**3 - 3*c**2 - c. Let g be s(2). Let q = -2 - g. Solve 0 = -k + a - 4*a - 7, q = 2*k - o*a for k.
-1
Let i(r) = -r**3 - 5*r**2 + 12*r - 9. Let j be i(-7). Solve 0 = -3*y + j*k - 18, -2*y - 5*k - 5 = -18 for y.
-1
Suppose -2 = -2*o - 3*u, 2*o - 18 = 7*o - 4*u. Let x be 10/(-15)*-2*(-3)/(-4). Let r be o*x - (-2 - 26). Solve -k + r = 5*l, 0 = -3*k - 3*l - 0*l + 18 for k.
1
Let d be 2 - 40/(-4 - 0). Let n be (-2 - -2)*(-6)/d. Suppose l = -4*s - n*l + 12, -12 = -5*s - 2*l. Solve -s*u - 12 = r, -r + 6 = -u + 3 for u.
-3
Suppose -13*j + 8*j + 180 = 0. Let d be (-34 - -29)*j/(-10). Solve -2*l + 3*a = 2*l + 17, 4*a = 3*l + d for l.
-2
Let n(i) = 3*i**2 + 2*i + 3. Let j be n(2). Suppose 2*m + 9 = j. Solve -5*b = -2*l - 4, 3*b + 3 + m = -4*l for l.
-2
Let n be (56/154)/(6/33). Suppose -3*i + 12 = 6*u - 2*u, -i = u - 3. Solve -5*d = n*k + 21, 0 = -3*k - d + 5*d + u for k.
-3
Let t = 63 - 61. Solve 2*x + 12 = -t*g, -g - 3 = -3*x + x for x.
-1
Let u = 13 + -12. Let w be (((-12)/4)/(-1))/(0 + u). Solve -m + 3*s = 6*s + 1, -5 = 5*m + w*s for m.
-1
Let o = -19 - -24. Let m(c) = -c**2 + 15. Let y(p) = -p**2 + 5*p + 6. Let t be y(6). Let i be m(t). Solve 4*q + 5*a + i = 0, -o*a - 4 = 2*q + 1 for q.
-5
Let p(s) = s**2 + 7*s - 5. Let n(j) = -j + 1. Let d(k) = -5*n(k) + p(k). Let o be d(-13). Solve 5*l - 4*i = o, -2*l + i + 1 + 2 = 0 for l.
3
Let g(o) = -o + 10. Let m be g(8). Let f(l) = 2*l + 1. Let i be f(m). Solve i*v = -5*b - 10, 10 = -5*v + b - 2*b for v.
-2
Let c = 813 - 810. Solve c*w + 4 = -2*x, 0 = 5*w - x + 5 + 19 for w.
-4
Let z be 0 - (4 + -4 + 0). Suppose z*a = a - 5. Let d(g) = -2*g - 10. Let l be d(-10). Solve 2*n + l = 5*u, -u = -a*n - 3*u + 33 for n.
5
Suppose 0 = -5*a + 6*a - 32. Let u = 34 - a. Solve -u*q + 7*q = 5, -2*l + 4*q = 8 for l.
-2
Let x be (-4)/(-6) + 26/(-3). Let k(n) = n**3 + 7*n**2 + n - 4. Let w be k(-7). Let i = x - w. Solve 0 = -j + 3*t - 5*t - i, 4*j - t = 24 for j.
5
Suppose -2*m - m + 15 = -3*f, -4*f - 25 = -5*m. Solve 0 = k - 0*b + b + 1, 5*b = f for k.
-1
Let v be 3*(0 - (-8)/6). Suppose 24*w + 24 = 47*w - 68. Solve x + 0*u + 8 = 2*u, u = -w*x + v for x.
0
Suppose -j = 4*j - 2*j. Suppose j = 4*i - 3*s - 7, 47 - 19 = 4*i + 4*s. Solve 4*f = 4*z - 4, -i*f + 5*z - 7 = -f for f.
1
Let d(u) = -u**2 - 11*u + 45. Let o be d(3). Solve 2*h + o*c + 4 = 0, -12*h = -13*h + 5*c - 15 for h.
-5
Let a be -3 - (-7 - (-14 + 14)). Suppose -4 = -6*h + 5*h. Solve -6 - a = -h*v + m, -2*m = -v - 1 for v.
3
Suppose w = 3, h - 2*w + 3 = -3. Solve -2*g - 3*b + 7 = 0, g = -h*g + 3*b - 1 for g.
2
Let b = -93 + 34. Let c = -57 - b. Solve c*y = -2, -3*y = -a - 7*y - 6 for a.
-2
Let b(l) = l**2 - 5*l + 2. Let f = 59 + -53. Let j be b(f). Solve -t = -0*s - s + 8, j = -3*s - 5*t for s.
4
Suppose x - 5*r = -0*r - 5, -4*r + 4 = 0. Solve x = -5*o - 25, 3*i - 37 = -0*i + 5*o for i.
4
Let c(g) = g**2 - 15*g. Let a be c(15). Suppose -4*d = -a*d - 0*d. Solve -j + 4*w + 5 = -0*w, 2*w + 4 = d for j.
-3
Let r(p) = -16*p - 38. Let u be r(-3). Solve 0 = x + m - 2*m - 2, -x + 5*m = -u for x.
0
Suppose 14 = -3*d - 31. Let y = d + 8. Let g = 9 + y. Solve -z = f - g*f - 3, -1 = 3*z - f for z.
-2
Let d = -6 + 13. Let n(l) = -2*l**2 - 3*l + 12. Let y be n(-3). Solve 3*q - 6*i + 2*i + d = 0, -q = -y*i + 4 for q.
-1
Let l(d) = 23 + 13*d**2 + d**3 - 23. Let s be l(-13). Suppose s = 8*b - 6*b - 8. Solve -3*i = 2*i - 3*x + 2, -b*x - 9 = 5*i for i.
-1
Let h be 310/18 - (-14)/(-63). Solve -3*j - 3 = n, -5*j = -2*n - 1 + h for j.
-2
Suppose 0 = -3*v - 2*h + 23, -v - 2*v + h + 11 = 0. Solve 4*g + 2 = -2, -k = g + v for k.
-4
Suppose 11 = 2*a + a + s, -20 = 5*s. Suppose -a*d + 7 + 3 = 0. Solve -d*q + 8 = -4*x - 14, -4*q = -2*x - 20 for x.
-4
Let u(a) be the third derivative of a**6/40 - a**5/60 + a**4/24 - a**3/6 + 3*a**2. Let o be u(1). Solve 0 = 5*r - m + 12, 4 = 3*m - o for r.
-2
Let m(l) = l**2 + 4*l - 3. Let r be m(2). Let d = 13 - r. Suppose -a + 16 = -d*h, -2*a - 16 = -6*a + 4*h. Solve 12 = 4*o + 4*q, a = -0*o - 3*o + 4*q - 5 for o.
1
Suppose -177 = g - 181. Solve -2*a + g + 2 = 0, -4*a + 8 = -4*d for d.
1
Let n be 78/4*(-16)/(-24). Let w(h) = -8*h + n - 4*h**2 + 2*h**2 + 3*h**2. Let v be w(7). Solve 3*m - 2 = -o - 6, -v = -4*o - m for o.
2
Let f(a) = -a**2 + 4*a - 1. Let q be f(3). Let r = -52 + 5. Let v = r + 60. Solve -3*n - 15 = y + q*n, -y - 4*n - v = 0 for y.
-5
Let k = -104 + 109. Solve k*j = 2*f - 16 - 5, -3*f + 4 = -2*j for j.
-5
Let g = -3 - -16. Suppose 4 = -z + g. Solve 2*i = 3*k + 23, 3*i + 5*k + z = -i for i.
4
Let q be 0/((-4)/(-3) + 3/(-9)). Suppose 4*g + 3 - 2 = o, g = 5*o - 24. Let u be (3/o)/((-2)/(-10)). Solve 4*z = 3*h - 2, q = -4*h + h + u*z for h.
-2
Let k(p) = -p**2 - 2. Let n be k(-2). Let f(y) = 4 + y**3 + 6*y**2 + 2 - 1. Let x be f(n). Solve -3*t - 49 = 5*c - 9, t = x*c + 20 for t.
-5
Suppose 4*a = 40 - 8. Let c be a - (-3)/((-15)/(-20)). Solve -g + 2*t = 2*g + c, 12 = 4*t for g.
-2
Suppose -5*s - s + 30 = 0. Suppose -s*t = -2*t. Let r be 3 - 0/(t - 3). Solve 0 = r*y + 7 + 2, 0 = -4*z - 3*y - 1 for z.
2
Suppose 92*i = 103*i - 110. Solve p + 2*p - i = f, -f = 3*p - 14 for p.
4
Let r = 257 - 251. Let h(i) = 0*i - i - 1 + 0. Let y be h(-1). Solve y = -d + 4*l - 3*l - r, -4*l + 14 = d for d.
-2
Suppose 0 = -3*v + 5 + 7, -3*v + 8 = -s. Solve -s*i - 3*x + 2 = 8, 0 = i + 5*x + 10 for i.
0
Suppose 6*t = -10*t + 2*t. Solve -3*v - 1 = 4*d, 5*d + 4*v + t*v = 0 for d.
-4
Suppose -5*j + 51 = -2*j. Let a = j + -10. Solve 3*v = -5*d + a, 3*v - 8 - 1 = -3*d for v.
4
Suppose 0*o = 4*o, -s + 5 = -2*o. Suppose 4*z + 105 = 7*z. Let h = 37 - z. Solve s*j + h = 4*c + 5, -2*c + 12 = 2*j for c.
3
Let z(y) = y**3 - 8*y**2 - 5*y + 44. Let g be z(8). Solve -3*p = t - 4*t - 3, -g*t = 2*p - 8 for p.
2
Let s be 6 - 2 - (1 - -3). Suppose 3*j - j = s. Let b = -7 + 9. Solve j*w + w = -5*u + 15, 0 = -3*w - b*u + 19 for w.
5
Let h be (-16037)/(-1073) + 8/148. Solve -13 = 3*c + 4*x + 10, 0 = -c - 5*x - h for c.
-5
Let g = 29 + -26. Suppose 0 = -2*o + z + 2*z - 4, g*o - 4*z + 6 = 0. Let s(t) = t + 6. Let f be s(o). Solve f*q - k = 0, -3*q - 3*k + 10 = -5*q for q.
1
Let o be ((-8)/(-2))/((5 - 13) + 9). Solve 0 = b + w, b - 2*b - 20 = -o*w for b.
-4
Suppose 11 = 3*z - 5*k, k + 7 = 3*z - 0*k. Suppose -z*b + 3*b = 5. Let d be (b - 6)*0/3. Solve 2*l - 8 = 4*u - d*l, 3*u + 2*l = -6 for u.
-2
Let i = 76 - 75. Suppose o = -5*w + 34, -15 = -4*w + 4*o + 17. Let d be (-6)/(-4)*12/6. Solve r + w = d*n, i = n - 2 for r.
2
Let y = 176 - 155. Solve -g - z + 1 = -2, -2*g - 5*z + y = 0 for g.
-2
Let y = 16 - 13. Let l be (1 - 7)*(-30)/36. Suppose 3*m - 28 + 7 = -l*b, -y*b = 5*m - 35. Solve -2*w + m*w = -5*z + 15, 18 = w + 4*z for w.
-2
Suppose -5*q - 4*r + 28 = -61, 2*q + 5*r = 39. Suppose -2*t + 49 = 69. Let b = q + t. Solve c + 5*o = 3*c - b, -5*c + 3*o = 11 for c.
-4
Let h = 7 + -2. Let v be 2/(-10) - (-1)/h. Let k be (28/35 - 0)/((-2)/(-5)). Solve -k*b = 5*s - 5, 4*b - 2*b - 10 = v for s.
-1
Let h(b) = b**2 + 4*b + 7. Let o(g) = g**2 - 7*g - 3. Let m be o(7). Let n be h(m). Solve 3 = -n*p - 3*w, p + 5*w - 6 = 2*w for p.
-3
Let l(s) = s - 3 - 4 + 4*s. Let c(n) = -4*n + 6. Let o(m) = -6*c(m) - 5*l(m). Let k be o(-4). Solve 4*x = -v + 11, -k*x + 14 = v + 2*x for v.
-1
Suppose 9 = -5*n + 4. Let z be 14/4 - n/2. Suppose -g - z*g = -20. Solve 8*i - 3*i - 5*s = 0, 0 = -g*i + 2*s - 2 for i.
-1
Let a = -24 - -18. Let m be 2/(2/(-30)*a). Solve -5*d + 2*z - 11 + 0 = 0, m*z = -10 for d.
-3
Let c(u) = 9*u**2 - 26 + 11 + 11 - 4*u**2. Let o be c(-2). Solve -d + 3*m + 0 = -3, 0 = -4*d - 2*m - o for d.
-3
Let g be 21/(-49) - 264/(-77). Solve 4*r + g*m = 3*r - 4, 0 = 3*m for r.
-4
Let u = -12 + 14. Suppose 0 = j - 0*j + y - 5, u*y = j - 2. Let t = 24 + -6. Solve -d - j*f + 0*f = t, 5*d 