7 + 1 = 0 for y.
3
Let p(y) = -y**3 + 5*y**2 + 8*y - 9. Let v be p(6). Let d be (-2)/(v + 21/(-6)). Suppose 0 = -d*x + 5*x. Solve x = -2*t + 4*t for t.
0
Let s = -2 + -5. Let q(r) = -r - 4. Let u be q(s). Solve u*o - 4*o - 1 = 0 for o.
-1
Suppose -2 + 8 = 3*y. Solve 0 = y*c - 0*c - 4 for c.
2
Let v = 3 + -4. Let s(u) = -7*u**3 - 1. Let w be s(v). Let g = -3 + w. Solve -g = -3*x + 2*x for x.
3
Suppose -3*y - 1 = -1. Let s(h) = -h**2 - 5*h + 1. Let f be s(-4). Solve -f*j + y*j = -5 for j.
1
Let l = -11 + 31. Solve l = 7*c - 3*c for c.
5
Let v be -5*((-6)/(-5))/3. Let d(h) = -h**2 + 6*h - 6. Let a be d(5). Let t = a - v. Solve 2*s + 3 = t for s.
-1
Let t = 18 - 12. Solve -p + t = 2*p for p.
2
Suppose 0 = -w - 4*w + 5*t + 45, -3*w - 5*t = 13. Suppose -5*i + w*y = -80, 3*i = -0*i - 3*y + 21. Let a = -7 + i. Solve -a*f = -4 - 1 for f.
1
Suppose -8*q - 40 = -3*q. Let l be (-6)/q - 78/(-24). Let y(m) = m**3 - m**2 - 4*m - 1. Let o be y(3). Solve -o*n = -24 + l for n.
4
Suppose -s - 4*g + 16 = -2*g, 0 = -3*s - 5*g + 44. Let y = 4 + s. Solve -k + 5*k = -y for k.
-3
Suppose -4*t - 6 = -7*t. Solve 2*d + 16 = -t*d for d.
-4
Let f(g) = g**2 - 8*g + 8. Let j be f(6). Let l = j + 0. Let p = l + 6. Solve 0 = p*o - 6 for o.
3
Let h(z) = -7 + 2 - 1 + z. Let j be h(6). Solve -2*u + u + 2 = j for u.
2
Let s be 1/1 + (-3 - 3). Let g = -3 - s. Suppose -g*a + 4 = -0*a. Solve o - a - 2 = 0 for o.
4
Let i(r) = -r + 2. Let p be i(3). Let o = 3 + p. Solve o = a - 0 for a.
2
Suppose -85*f + 89*f - 32 = 0. Solve 5*b = b - f for b.
-2
Suppose 4*y = 3*y - 6. Let o = -1 - y. Let h = -68 + 78. Solve 0 = o*b - h for b.
2
Let y(r) = -r**2 + 0*r + 5*r**2 + 2*r - r**2 - 1 - r**3. Let o be y(3). Solve o*w = 3 + 2 for w.
1
Let a be (-12)/(-4) - (2 - 4). Let h be ((-2)/6)/(a/(-15)). Solve -2*p + 3 = h for p.
1
Let j = 7 - 3. Let q = 4 - j. Solve w - 2 + 3 = q for w.
-1
Let l(a) = -a**2 - 26*a + 30. Let m be l(-27). Solve -q + 0 = m for q.
-3
Suppose 0 = 5*k - k. Let o = 0 + 2. Suppose k*a + 4 = o*a. Solve 3*j - 10 = a for j.
4
Suppose -4*o = -0*o - 16. Suppose 2*y + 4*s + 12 = -3*y, 5*s + 15 = -o*y. Let l be 1*(2 + y)*2. Solve -4 = l*d - 0 for d.
-1
Suppose 5*m = -0*m. Let d(n) = -5*n**2 + 10*n - 7. Let f(z) = -4*z**2 + 9*z - 6. Let t(c) = 3*d(c) - 4*f(c). Let k be t(6). Solve -l - k*l - 8 = m for l.
-2
Let z be -2 + (11 - 1) + -4. Solve 23 = -z*u + 3 for u.
-5
Suppose -2*z + 5 = z - 5*p, -19 = -5*z + 3*p. Suppose -2*r + 7*r = 0, -2*a = -z*r. Let v(f) = 2*f**2 - f + 1. Let q be v(1). Solve a*h - q*h = 6 for h.
-3
Suppose -3*x = -5*g - 5*x + 16, -4*x = -3*g - 6. Solve g*y - 4 = -0 for y.
2
Suppose -13*o + 0*o = -65. Solve -o*v + 7 = -18 for v.
5
Let j be (2 - -2) + -4 + 0. Solve 3*f - 3 = -j*f for f.
1
Let s(y) be the third derivative of 1/24*y**4 + 0*y + y**2 + 1/2*y**3 + 0. Let d be s(3). Solve -v - v + d = 0 for v.
3
Suppose -y - 8 = 2*y + 2*q, -4 = 3*y + q. Suppose z + 0*s - 3*s = 5, 2*s + 7 = -3*z. Let h be z*(0 + -3 + -2). Solve y = c - h*c - 4 for c.
-1
Suppose -4*c + 64 = 4*b, -c - 4*c + 4*b + 35 = 0. Let i = -14 + c. Let h = i - -4. Solve 4*s - 3 = h for s.
1
Let h be 0/((0 - 2) + 1). Suppose r + r = h. Suppose -z = -r*z. Solve 8 = -4*g - z for g.
-2
Let t(b) = b - 6. Suppose 2*n + 40 = 6*d - d, -2*d + 5*n + 37 = 0. Let m be t(d). Solve -3*y - y + 20 = m for y.
5
Suppose -a = 5*t - 70, -106 = 2*a - 3*a + 4*t. Let h be ((-4)/(-10))/(3/a). Solve h = -2*s + 2 for s.
-5
Let i(a) = -a**3 - 3*a**2 + 3*a - 1. Let n be 17/(-3) - (-14)/21. Let t(z) = z**2 + 5*z - 4. Let f be t(n). Let v be i(f). Solve -20 = 7*h - v*h for h.
-5
Let g(m) = m**2 - 3*m + 1. Let n be g(4). Suppose 4*v = -2*a, 3*a + n*v = -2 + 6. Suppose -4*x - b = -a, 6 + 15 = 3*x - 3*b. Solve -l + x = -2 for l.
5
Suppose -s + 3*z + 14 = 0, -45 = -4*s + z - 11. Solve -g + 5*g = -s for g.
-2
Let g = -4 - -4. Suppose -4*r = -3*q + 1, r - 8 = -2*q - g*q. Solve -6 = -r*c - 0 for c.
3
Suppose m - 6 = -2*d, -5*m - 12 = -4*d - 0. Let a be 0*((-16)/6 + d). Solve 2*v = -a + 6 for v.
3
Let c = 3 - 4. Let u be c/3 + 2/6. Suppose u = -0*l + 2*l. Solve n = -l*n for n.
0
Let g be (-9 - -4) + 4 - -9. Solve -g - 7 = 3*z for z.
-5
Suppose 3 = 4*r - 2*u + u, -u = 2*r - 3. Suppose -18 = -2*q + 2*y, 0 = 6*q - 3*q + 4*y - 48. Suppose 3*d + 3 - q = 0. Solve d*w + 2 + r = 0 for w.
-1
Let s(k) = k**3 + 11*k**2 + 8*k - 4. Let v be s(-10). Suppose 5*r + 6 = v. Solve -2 = -2*f + r for f.
2
Suppose 4*j - i = 21 + 2, 3*j - 1 = 4*i. Let l be 9/(-3) + -1 + j. Suppose 0 = 2*t - 7 + 1. Solve -t*s - l = -18 for s.
5
Let t be (4/(-12))/((-1)/3). Let x be 3*(-4)/(-6) + t. Let c(d) = d**3 + 2*d**2 - 1. Let y be c(-1). Solve y = -3*w - 12 + x for w.
-3
Let c be ((-2)/3)/((-1)/3). Let p be 2/2 - (-18 - -3). Let o = p - 14. Solve 0 = -o*d + d - c for d.
-2
Let p = 47 - 44. Solve -2*d = p*d for d.
0
Suppose 0 = -x - 3*l + 32, -3*x + 40 = 3*l - 8*l. Solve 8*g - 3*g = x for g.
4
Let n be 3/(-12) + 25/4. Let z = -4 + n. Let x be 5/z*(-4)/(-5). Solve 4*r + x = 6 for r.
1
Let n = -140 + 140. Solve n = b + 4*b - 5 for b.
1
Suppose f - 11 = 3*b, -b = -2*f + 4*b + 20. Solve -f = -c - 1 for c.
4
Let o = -18 - -22. Suppose 0 = 2*p + 3*k - 8 + 4, 0 = -o*p - 4*k + 12. Solve p*w = -6 + 16 for w.
2
Suppose 5*o + 44 = s, s + 1 = -4*o - 0*o. Solve 0 = 20*b - s*b for b.
0
Let p be 1*(4 + 1)*-1. Let w be (-5)/(-1) + 10/p. Suppose w*s - 4 = 3*n - n, -2*s - n + 5 = 0. Solve s*y + 1 = y for y.
-1
Suppose -10 = -x - 4*x. Let s be (-1)/(x*(-2)/8). Solve -s*c - 4 = -0*c for c.
-2
Let z(m) = -m**2 + 8*m + 4. Let t be z(7). Solve -5*p - t + 6 = 0 for p.
-1
Let a be ((-12)/4)/(9/(-12)). Suppose 3*d + d = 2*s + 4, -a = 2*s. Suppose -3*w + 18 = 5*t - 0, 2*t - 8 = -2*w. Solve -t*v + d*v = -3 for v.
1
Let r be -2 - (-2)/(-3)*-6. Suppose -a = m + r*m, 5*m = -5*a - 10. Solve b + m = -4 for b.
-5
Suppose 3*j + j = 0. Suppose 0 = 3*v + k - j*k - 30, 0 = 5*k - 15. Let h = 9 - v. Solve h = 5*a + 3 + 12 for a.
-3
Let z(v) = v + 9. Let w be z(-4). Solve q + w = 2*q for q.
5
Suppose -3*n - q + 52 = -59, -2*q = 0. Suppose 5*h + 21 = -j, 5*j - n = 5*h + 8. Let r = h - -9. Solve r*o = 3*o - 2 for o.
-2
Let w be (-5)/15 - 20/(-6). Let g be ((0/3)/w)/(-2). Solve g = v + v - 10 for v.
5
Suppose -33*q + 14 = -31*q. Solve 0 = q*a - 4*a - 12 for a.
4
Suppose 4*c - 5 = 11. Solve 13 + 7 = c*b for b.
5
Let q(v) = -v**3 - 5*v**2 - 5*v + 2. Let x be q(-4). Suppose 4*c + 4*g - 28 = x*g, -5*c - 3*g + 13 = 0. Solve -c = -2*b - 3 for b.
1
Let o be 12/15 - 7/(-35). Solve -5*v = -o - 4 for v.
1
Let g = -2 - -7. Suppose -4*n = -23 - g. Solve 4*u - n = 9 for u.
4
Let c be 0 + 6 + (10 - 10). Solve -2*a = -0*a + c for a.
-3
Let a(b) = -5*b**3 + 2*b - 1. Suppose -2*l = 5*z - 1, 6*z = l + z + 7. Let v be a(l). Suppose 0*h = 5*h - v. Solve 18 = 5*c - h for c.
5
Let h be ((-4)/(-2))/(-2) + 9. Suppose -24 = -4*q + h*q. Let k be ((-10)/(-4))/((-3)/q). Solve 0 = 2*r + 3*r + k for r.
-1
Suppose -3*i = -1 + 4. Let x = 2 - i. Solve -x*v = 1 + 14 for v.
-5
Let o(a) = -a**2 - 4*a + 1. Let g be o(-2). Let z = -4 + g. Solve 0 = -n - 1 - z for n.
-2
Let a(z) = 3*z**2 - z + 1. Let y be a(1). Suppose -k = -2*k + y. Suppose 5*i - k*v - 31 = 0, 4*v - 16 = -5*i + 1. Solve i*o - 8 = o for o.
2
Suppose 7*u - 2 = 5*u. Solve 7 + u = 2*w for w.
4
Let v(k) = 3*k - 1. Let h(o) = o - 3. Let r be h(5). Let m be v(r). Suppose q - m*y + 4 = 2, -5*q - 4*y + 19 = 0. Solve -q*f + 3 = -0*f for f.
1
Let b = 4 + 5. Suppose -3*l = -0 - b. Let p = 3 - -1. Solve -p*h = -17 - l for h.
5
Let r be 4*3/(-12)*-2. Suppose s - 4*t = 0, -s = -r*s + 2*t. Suppose s*c - 8 = -4*c. Solve 2*z - 12 + c = 0 for z.
5
Suppose -4*q = 2*c - 16, -c + 5 = 3*q - 6. Solve c*h = -h for h.
0
Suppose -h - 2*z + 1 = 0, -23 = 3*h + h - z. Let b(v) = -v**2 - 6*v + 5. Let d be b(h). Let w(i) = -i**2 - 4*i + 3. Let k be w(-4). Solve -k*m + d = 2*m for m.
2
Suppose -3*k - 16 = -7*k. Suppose -4*c - c = -5. Suppose -4*z = -15 - c. Solve z*v - 3*v = -k for v.
-4
Let c(s) = -s**3 + 4*s**2 + 2*s - 3. Let v be c(4). Suppose -2*a + 10 + 2 = 2*f, v*f - 24 = -2*a. Let g be (-2 + 4/a)/1. Solve g = -0*y + 5*y - 15 for y.
3
Let u(a) = -a**3 - 3*a**2 + a + 4. Let b be u(-3). Solve -z = -b - 1 for z.
2
Let w be (69/2)/(6/(-8)). Let z = w - -72. Suppose l = 4*m - 2*m + 24, -l + 3*m = -z. Solve -5*q = -q - l