Let u(s) = -s**2 - 3*s + 0*s**2 + 2*s**2 + 2. Let c be u(3). Solve z = -o + c*o for o.
2
Let a(t) = -t**2 - 9*t - 8. Let m be a(-8). Suppose -r + h = -2, -2*r - 4*h - 5 = -5*r. Suppose 0 = 5*y + 3*b - r - 8, 3 = y + b. Solve -n + y + 4 = m for n.
5
Let q be 1*-2 + (-1 - -8). Let u(d) = 2 - d**3 - d + 4*d + 1 + 4*d**2 - 7*d. Let k be u(3). Solve -3*v - 2*v + q = k for v.
1
Let i = 4 - 0. Suppose -i*k - k = 0. Solve k = -4*n - n for n.
0
Let p = 9 + -7. Let t be p - (0 + 3 + -3). Solve 0 = 5*h - 3*h + t for h.
-1
Suppose 0*f - 3*s + 12 = 2*f, -5*f - 3*s + 21 = 0. Let j = -3 + f. Solve j = -0*l + 2*l for l.
0
Suppose -4*v + 0*v - 24 = 0. Let i = 5 - v. Let t = 3 + -2. Solve 0 = -3*o - i - t for o.
-4
Suppose -16 - 8 = -8*t. Solve -1 - t = 2*d for d.
-2
Suppose 0 = -5*w + 22 + 38. Solve 5*h + w = -3 for h.
-3
Let x be 2/(-9) + 2139/27. Suppose 0 = 4*v - o - 57, 4*v + 7 = -4*o + x. Suppose 6 = 3*q - 2*q. Solve 0 = -b + q*b + v for b.
-3
Let r = 53 - 43. Solve -r = z + 4*z for z.
-2
Let z be (-2)/6*3 + 3. Solve -r - 3 = z*r for r.
-1
Let v be (-15)/(-3) + -3 + 1. Solve 4 = -v*g - g for g.
-1
Let w be ((-48)/15)/((-4)/70). Suppose -2*i = -3*t - 56, 3*t + w = 4*i + 10. Let g = -10 - t. Solve 5*h = h - g for h.
-3
Let a(m) = -m**2 - 8*m - 6. Let t be a(-8). Let p = t + 10. Solve p*q = q for q.
0
Let l be 26/6 - (-2)/(-6). Suppose -4*h + 13 = 3*s, 2*s - 3*h - 37 = -0*s. Suppose 3*z + 5*y = -s, z - 2*y - 23 = 3*y. Solve -l*u = -z*u for u.
0
Let n = 80 - 80. Solve -4*x - x - 10 = n for x.
-2
Suppose c - 3 + 19 = 5*o, -2*o = -8. Let s = 7 - c. Solve -3*l + 9 = -s for l.
4
Suppose 3*x - 29 = 7. Solve -4*z - x = -0*z for z.
-3
Let y(c) = c**2 + 2*c - 1. Let w be y(1). Suppose 0 = w*n - n - 2. Solve -a = n + 3 for a.
-5
Let w(m) = 3 - 2 - m + 3 - 1. Let g be w(0). Solve f = -g + 1 for f.
-2
Let c(m) = m**3 - 4*m**2 + 2. Suppose 2*i + 3*i + 4*w = 16, -w - 1 = 0. Let v be c(i). Let b be v/5*(0 + 25). Solve -3*f = -2 - b for f.
4
Suppose 6 = -5*o + 1, 5*x = 3*o + 23. Suppose 3*v = x*v - 4. Solve 2*q - v = -6 for q.
-1
Let g be (2/(-4))/((-1)/2). Suppose -c + 5 + 4 = 5*y, 0 = -2*c + 5*y + 3. Suppose c*r = 2*r + 8. Solve g + 3 = -r*t for t.
-1
Let z(q) = q**2 + 15*q + 3. Let a be z(-15). Solve -2*c - a*c = 0 for c.
0
Suppose 0 = 4*m - 57 - 35. Solve 5*k + m = -2 for k.
-5
Suppose 2*c = -2*h + 9 - 1, 5*c - h = 14. Solve -c*k + 0 = 12 for k.
-4
Suppose -4*q - o - 4*o + 30 = 0, 3*q + 4*o - 23 = 0. Solve -q = -2*x + 3*x for x.
-5
Let g(q) = q**2 - q + 1. Let o(v) = -4*v**2 + 13*v - 14. Let c(w) = 3*g(w) + o(w). Let h = -1 + 9. Let u be c(h). Solve 0 = -2*z + u*z - 9 for z.
3
Let z(l) = 2 - 24*l + 6 - 2. Let q(m) = -5*m + 1. Let y(w) = 14*q(w) - 3*z(w). Let t be y(4). Solve -t*j = -j - 3 for j.
1
Suppose -8 = 4*y + m - 33, -24 = -3*y + m. Let j(z) = z**2 + 14*z - 10. Let q be j(-15). Let p = y + q. Solve 3*h + 0*h = -p for h.
-4
Let g be 2/4*(1 + 1). Suppose g = -3*o + 10. Solve o*n - 7 = 2 for n.
3
Let v be 5/((-10)/(-6)) + -1. Let o be v + 1 + 12 + 3. Let h(r) = r + 7. Let m be h(-4). Solve m = -3*n + o for n.
5
Suppose -2*b - 12 = -4, -2*z - 10 = -b. Let r be 126/16 - z/56. Solve r*w - 10 = 3*w for w.
2
Let w = -9 - -12. Suppose k - w*x - 2 = -0, 0 = k + 4*x - 16. Solve 5*o - 3*o = -k for o.
-4
Let v = 5 - 0. Suppose -t - 3*x = t - 35, 0 = -2*t - v*x + 25. Solve -g - 4*g = t for g.
-5
Let a(v) = v**2 - v - 3. Let f be a(3). Solve -2*y + f*y = -3 for y.
-3
Let o be (14/(-21))/((-2)/(-9)). Let n = -2 - o. Solve -5 = 4*h - n for h.
-1
Let n be (-913)/(-88) - 3/8. Solve -5*q + 0*q + n = 0 for q.
2
Suppose 3*j = -t - 4*t - 1, -t + 1 = j. Suppose -k - 3*k = 0. Solve -j*f - 12 = -k for f.
-4
Suppose 38 = 3*u + 5*g, -g + 2 = -2. Suppose 4*w - y + 2 = u, 2*w - 4 = y. Suppose m = 1 - w. Solve -1 = -2*n + m for n.
1
Let f be (-4)/((-4)/(-3))*-1. Solve f*k = 12 - 0 for k.
4
Let b = -20 + 30. Solve v + 4*v + b = 0 for v.
-2
Let x = 18 - 9. Solve -x = -4*c - 1 for c.
2
Let s = -5 - -7. Suppose -l = -2*l - s. Let w be 6 + -2 + 4 + l. Solve k - 1 + w = 0 for k.
-5
Let l be 6/(-9)*(-63)/(-6). Let m = l + 12. Solve k = m*k for k.
0
Let y be -2 - (2 - 4 - 9). Let u(a) = -a - 2. Let z be u(5). Let d = z + 12. Solve 16 + y = d*r for r.
5
Suppose 8*d - 9*d + 2 = 0. Solve d*v - 7*v - 5 = 0 for v.
-1
Let r(n) = -n - 2. Suppose 2*y - s = 3*y + 11, -3*y - 12 = -4*s. Let v be r(y). Solve 4 = b + v for b.
-2
Suppose -2*a = -0*a + 6. Let f be (-1)/a + (-16)/(-6). Solve 0 + f = t for t.
3
Suppose -2*u = -0 - 4. Let i be u + 0/(2 - 5). Suppose -3*m = -5*o - 36, -5*o = m + 2 - 14. Solve 0 = -w - i*w - m for w.
-4
Let u(k) be the first derivative of 2*k**3 + 1. Let o be u(-1). Let x = 25 + -20. Solve 0 = -x*l + o + 4 for l.
2
Let b(j) = -4*j - 18. Let c be b(-6). Solve c = 2*h + h for h.
2
Let x(i) = -i**3 + 7*i**2 - 6*i + 1. Let d be x(6). Let t(q) = 28*q + 1. Let w be t(d). Solve 5*l - 9 = -w for l.
-4
Suppose -2 + 3 = 2*y + i, -5*i - 15 = 0. Suppose y*u = -15 + 47. Solve u - 1 = -5*b for b.
-3
Suppose -3*j + 0*j = 2*x - 21, x = 4*j - 6. Let s(l) = 3*l + 11. Let r(u) = u + 1. Let h(v) = -4*r(v) + s(v). Let n be h(x). Solve i - n + 3 = 0 for i.
-2
Suppose -3*h = -2*h - 3. Suppose -s - 4*s - 10 = -5*p, -2*s + 6 = 0. Suppose 3*q - p*q = -16. Solve -k - q = -h for k.
-5
Suppose -2*q - 45 + 2 = 5*g, -4*g - 8 = -5*q. Let b = g - -11. Solve 0 = 4*k - 8*k - b for k.
-1
Suppose 0 = -0*q - 3*q - 24. Let u = -5 - q. Let b be 4/7 + (-312)/(-42). Solve b = u*s - s for s.
4
Suppose -20 = -3*m + 2*n, -5*m + 0*n + 29 = n. Solve m*b + 8 = 2*b for b.
-2
Let n = -1 - -5. Let v = -4 + 4. Solve 0 = -2*g - v - n for g.
-2
Let p be (-318)/66 + (-4)/22. Let i be 6 - (-4 + 3 - p). Solve -i*d + 0*d + 2 = 0 for d.
1
Let s(g) = 3*g + 2. Let p(x) = -7*x - 4. Let b(h) = 2*p(h) + 5*s(h). Let o be b(2). Suppose o*i - 6 = -3*a + 5*i, 2*a + 2*i = 4. Solve -3*y + 10 = a*y for y.
2
Let s(m) = m**2 - 4*m + 4. Let n be s(3). Let y = n - -2. Let v = -21 + 23. Solve -5*b + v = -y for b.
1
Suppose 3*g = 4 + 11. Suppose g*p = 5*s + 30, 2*s - 5*s + 3 = 4*p. Solve 2*b = -p - 1 for b.
-2
Let q = 35 + -13. Let w = -14 + q. Solve 0*a = -4*a - w for a.
-2
Suppose -62*n + 4 = -60*n. Suppose 2*v + 24 = 6*v. Solve j + n*j + v = 0 for j.
-2
Let o be 0 - (-1 + 4/(-1)). Let n be 0 - 4/((-4)/o). Let l be 2/(-6) + (-16)/(-3). Solve l + 20 = -n*r for r.
-5
Let d be 3/2*-1*2. Let y = d + 6. Suppose y*i - i = 12. Solve -l - l = -i for l.
3
Suppose -g + d + 5 = 0, 0*d + d - 15 = -4*g. Let l be (-15)/20 - (-63)/g. Suppose 0 = -3*o + 3*v + 21, 2*v = 5*o + v - l. Solve -3 = o*a + 1 for a.
-2
Let o = 43 + -15. Suppose 2*s = -n - 14, 4*s - 12 = n - o. Let v be (-156)/(-7) + n/14. Solve -4*l = -v + 6 for l.
4
Let z be (-1)/14*-38 + (-6)/(-21). Solve z = -0*t - t for t.
-3
Suppose -4*s - 2*w + 4 = 0, 4*s - 2*w = -3*w + 8. Suppose -2*m + 0*m + 12 = s*h, 0 = -5*h + 2*m + 4. Solve 4*u - 6 = h for u.
2
Let d be 2/16 + (-191)/(-8). Solve 9 = -5*m + d for m.
3
Suppose 0 = -3*r + 6*r + 6. Let j be r/(28/12 - 3). Solve -2*o = -j*o for o.
0
Let n = 22 + -17. Solve c + 1 = n for c.
4
Let b(q) = q**2 - 6*q + 7. Let p be b(5). Suppose 0*i = p*i. Let u = 10 + -8. Solve -4 = u*a - i*a for a.
-2
Let c = 1 - -2. Solve -c*s = -0*s - 6 for s.
2
Suppose -1 + 8 = a. Let w = a + -2. Let v be (-1 - w)*6/(-12). Solve -5*z + 12 + v = 0 for z.
3
Suppose x - 2*v - 10 = -0*v, -4 = 2*x + 4*v. Solve 19 = 3*a + x for a.
5
Let g be -4*(-7)/(-84) + 1/3. Solve 3 = -d - g for d.
-3
Let s(d) = 7*d**3 + 2*d**2 - 4*d + 2. Let l(g) = -g**3 - g**2 + g. Let z(c) = 6*l(c) + s(c). Let q be z(2). Let h be q/4 + 15/6. Solve -h*v + 5 = -1 for v.
3
Let s(v) = v**3 - v**2 + 2*v - 2. Let n be s(2). Suppose -6*z = -2*z - 32. Let y be ((-9)/(-6))/(n/z). Solve 2*w = 3*w + y for w.
-2
Suppose -8 = -i - 5. Solve 0 = 2*x - i*x for x.
0
Let t = 13 - 3. Solve t = -4*f + 2*f for f.
-5
Let l(w) = w**3 - w**2 - w - 1. Let s(x) = -x**3 - 8*x**2 - 8*x - 13. Let u(h) = -2*l(h) - s(h). Let d = 33 - 22. Let n be u(d). Solve n*o = o for o.
0
Suppose -q = -9 + 4. Suppose q*v + c + c - 35 = 0, 2*v + 4*c - 30 = 0. Solve h + v = -0*h for h.
-5
Let w be 6/(-9) - (-11)/3. Let x(h) = -4*h - h + 3*h + w*h. Let b be x(4). Solve 0 = -4*p - b for p.
-1
Suppose -2*y - 3*n = -15, 0 = 4*y - 3*n - 0*n - 3. Solve y*f = -f for f.
0
Let r