se -y - 3 = -5. Let w be 6/y - (-2 - 0). Solve 0 = t*i - w for i.
1
Suppose 0*y - 8 = y. Let f = y - -4. Let z be (-3 - -3) + (2 - f). Solve 0 = -a - a + z for a.
3
Let y be (-3)/(-12) + (-14)/(-8). Suppose 0 = y*k - 6. Suppose k*r = r. Solve r + 3 = j for j.
3
Let u(p) = -p + 6. Let n be u(5). Let a = 4 + n. Solve a*g = g for g.
0
Let x = -81 - -86. Solve x*r = -1 - 4 for r.
-1
Let v(r) = 2*r**2 + 4*r + 4. Let u be v(-3). Suppose 4*m - 20 = c, 5*m - 3 - 21 = c. Let a = c - -4. Solve -u = 2*l - a for l.
-5
Let a(g) be the first derivative of -3*g**4/4 + 2*g**3/3 - g + 1. Suppose 2*n - 3 = 5*x, -4*n + 2 = -2*n - 4*x. Let z be a(n). Solve 2*m = z*m for m.
0
Let w be 94/14 - 6/(-21). Suppose 2*l = w*l. Solve -5*p + l*p = 0 for p.
0
Suppose j - 2*h - 7 = 0, -4*j = 5*h + 18 + 6. Let w be -1*(j - 0)/1. Solve -2*p + 3 = w for p.
1
Let t = -7 - -9. Suppose -t*g = g. Solve 6*f - f - 20 = g for f.
4
Suppose 4 = o + 1. Solve -u + o = -0 for u.
3
Let f be (-32)/24*(-8 + -1). Let z = f - 6. Solve w = z*w for w.
0
Let t be (9/(-6))/((-3)/4). Suppose -t*p = -2 - 10. Solve p*g = g for g.
0
Let z be (6 - 4) + (-1 - -8). Suppose 24 = 4*g - 0*g. Solve -3*y = -g - z for y.
5
Let p be 0 - (6/3 - 5). Solve 4*n - 1 = p*n for n.
1
Let p = 12 - 12. Solve l + 2 = -p*l for l.
-2
Let c(d) = -2*d + 3*d + 1 - 4*d. Suppose -6 = 2*h - 0*h. Let t be c(h). Solve -p - p = t for p.
-5
Suppose -3*p = -23 + 122. Let f = -27 - p. Solve 7*s = f*s + 1 for s.
1
Let u = -21 + 29. Let z = -5 - -7. Suppose k = -z*k. Solve k*f + 4*f = u for f.
2
Suppose -3*h + 5*l - 2*l = -6, 0 = -4*h + 2*l + 14. Suppose 3*s - 14 + 2 = 0. Suppose s*v + 16 = 0, 0 = -q + 2*v + v + 25. Solve -h*m + q = -7 for m.
4
Let r(o) = o**2 - 7*o + 4. Let d be r(6). Let i(f) = -f**3 - f**2 - 1. Let a be i(d). Solve -5*n = -4*n + a for n.
-3
Suppose 2*t - 5*t = -15. Let c = 11 - t. Suppose -3*m = -2*j + c, 2*j + 6 = 3*m + 4*j. Solve m = 8*o - 3*o - 25 for o.
5
Let o = 5 + 0. Let g = -9 + 18. Suppose -5*d + 12 = 4*k, 0 = -d + 6*d + 3*k - g. Solve d = -2*c - 3 + o for c.
1
Let t = -5 - -8. Let v be ((-28)/20)/(t/(-15)). Let z = 1 + v. Solve -5 = 3*p - z*p for p.
1
Suppose -5*p - 3 = -2*q + 16, -2*q - 2*p - 2 = 0. Solve -l + q*l = -1 for l.
-1
Suppose o - 5 = -0*p - 3*p, -4*o + 2*p + 20 = 0. Suppose 0 = o*f - 8 - 12. Solve 7*d = f*d for d.
0
Let i = -2 + -20. Let q be i/(-6) + 5/15. Suppose 5 = q*k + 1. Solve -3*d + k = -4*d for d.
-1
Let b(n) be the second derivative of n**3 - n**2 - 2*n + 0 - 1/12*n**4. Let o be b(5). Solve o*l + l = 0 for l.
0
Let u be (2/3)/(8/300). Let b = u + -20. Solve b = -5*k - 10 for k.
-3
Suppose 0*i - 3*i = 5*a - 3, -2*i = 4*a - 2. Let d be (i/(-3))/(3/(-27)). Let b = 8 + -5. Solve 6*p = d*p - b for p.
-1
Let n be 20/50 - 2/5. Solve 3*z - 5 + 2 = n for z.
1
Let v(s) = s**2 - 21. Let y be v(-5). Solve 2*c = 4*c - y for c.
2
Let p(d) = d. Let m be p(4). Solve -22 = -m*u - 6 for u.
4
Let u be (-6)/1 + 2 + 0. Let f = u - -5. Let y be (f/1)/((-2)/(-6)). Solve 2 = 2*l - y*l for l.
-2
Let a(y) = -y**3 + 11*y**2 + 14*y - 18. Let k be a(12). Solve 0 = k*v - 4*v + 8 for v.
-4
Let z(n) = 2*n**3 - 4*n**2 - 3. Let v be z(3). Let h = -9 + v. Solve -a = a - h for a.
3
Suppose 0 = 4*q - 31 - 1. Solve 5*j - q = j for j.
2
Let j(g) = 4*g - 6. Let l be j(2). Solve l*y = 3 - 1 for y.
1
Suppose 2*p = -4*y - 2*p - 24, -4*y + 5*p + 12 = 0. Let o(a) = a**3 + 4*a**2 + a - 1. Let u be o(y). Suppose -u*b = -10*b. Solve b = -s - 4 + 2 for s.
-2
Suppose 2*c = -2*f + 42, -5*f + 2 = 22. Let m be 10/c*(-2 + 12). Solve m*j = -22 + 6 for j.
-4
Suppose 50 = 4*s + 2. Let p = -8 + s. Solve g - 1 = -p for g.
-3
Let x = -3 + 7. Suppose b - x = -2. Solve -b*a = 2*a for a.
0
Let w(y) = y**3 + 2. Let h be w(0). Suppose 0 = -z - h*z + 45. Solve -z = 5*g - 2*g for g.
-5
Suppose 2*s = 2*t - 10, -2*t + 4*t = -s + 16. Suppose 14 = z - t. Suppose d - n + 33 = 5*d, 3*d = -2*n + z. Solve 0 = w - 4*w - d for w.
-3
Suppose -12 = -3*z + 5*i, -2*i = -5*z + 28 - 8. Suppose 3*o - z = -4*k, 4 = k + 3*k. Solve o = -f - f + 10 for f.
5
Suppose 2*b - 3 = 1. Suppose -3*j - 3*h + 33 = 0, -2*j + 3 = -5*h + 16. Let a = j + -5. Solve -q - a = b for q.
-3
Suppose 0 = -5*y - 11 + 36. Solve -y*d = -4*d + 1 for d.
-1
Suppose -9 = -4*t + t. Solve -t*x = -5*x for x.
0
Let b = -38 - -41. Solve q - 1 - b = 0 for q.
4
Let c(z) = z**3 + 7*z**2 + 5*z - 2. Let s = 8 + -1. Suppose -s = x - u, -4*x - 3 = 5*u + 16. Let n be c(x). Solve 0 = 2*k - 6 + n for k.
1
Let s(m) = -m**3 + 9*m**2 + 12*m - 12. Let g be s(10). Suppose -12 - g = -2*n. Solve 2*r = -3*r - n for r.
-2
Suppose -37 = 4*j - 57. Solve 9 = -j*p - 11 for p.
-4
Let c be 1 - (-1 + -6 + 0). Suppose c = 4*m - 0*m. Solve 0 = 3*j - m*j for j.
0
Let f be -2*5/(4 + -9). Solve -f*z = -z for z.
0
Suppose -2*c + 1 + 3 = 0. Suppose -14 = -6*t - c. Solve -t = j + 2 for j.
-4
Suppose 0 = 2*n - 0*n. Suppose -m - 1 = 0, -v + m = 2*v + 5. Let d = n - v. Solve d = -w + 3*w for w.
1
Suppose -2*k + 24 = -0*k. Let q = -8 + k. Solve 8 = q*t - 0*t for t.
2
Let a be 2/5 - 16/40. Suppose -n = -d, a = -2*d - 0*d - n. Let t(y) = y**3 - 5*y**2 + 6*y - 5. Let m be t(4). Solve -m*s = -d*s - 3 for s.
1
Suppose -4*l = -4*r + r - 29, 3*l = r + 23. Let z be (0/2)/(-10 + l). Solve z*u = -u for u.
0
Let o = -13 - -20. Solve 5 = 4*g - o for g.
3
Let f(b) = 5*b. Let a(r) = r**3 + 6*r**2 + 6*r + 6. Let q be a(-5). Let n be f(q). Solve -2*v + v = -n for v.
5
Let m(v) be the third derivative of -v**4/24 + 5*v**3/6 - 4*v**2. Let o be m(4). Solve -o = 2*g + 3 for g.
-2
Let b be 4*-1*(55/20 + -4). Solve -3*z - 6 = -b*z for z.
3
Let o(h) = h**3 - 2*h**2 + h + 2. Let p be o(2). Solve -2*t = -t - p for t.
4
Let j(l) = -2*l**3 + 7*l**2 - 5*l + 3. Let y(p) = -p**2 + 5*p. Let w be y(4). Let g be j(w). Let m = -18 - g. Solve 0 = 3*s + m for s.
-5
Let z be (2 - 3)/(2/14). Let t = z + 9. Suppose t*o - 4 + 0 = 0. Solve -3*k + o = -1 for k.
1
Suppose 12 = 2*m + 4*m. Let c be (10 + -9)*0/m. Solve -2*x - 2*x + 4 = c for x.
1
Let l be 342/24 + (-1)/4. Suppose -3*v + l = -7. Solve 3*h = v*h - 20 for h.
5
Suppose -3*x = -5*x + 50. Suppose -5*v = 5*p - 25, 0*p + 5*v - x = -2*p. Solve p = c + 2 for c.
-2
Let t be (-2)/4 - (-35)/10. Solve -4*q + 1 + t = 0 for q.
1
Let d(r) = -4 + 3 + 3 - r. Let x be d(2). Solve x = -3*w + 5*w for w.
0
Suppose 4*g = -2*l + 106, 0*g + 5*l = 4*g - 127. Suppose 0 = 2*u + 2*u - g. Let t(b) = -b**3 - 7*b**2 + 8*b + 3. Let x be t(-8). Solve q - u = -x for q.
4
Let d be 11 - 1 - -2*2. Suppose -5*a + 3*m = -29 - 6, m = -2*a + d. Solve 1 = -2*r - a for r.
-4
Let x = -4 + -6. Let h(m) = m**3 + 11*m**2 + 10*m - 8. Let a be h(x). Let b = 11 + a. Solve b = p + 2 for p.
1
Suppose -4*o - 4 + 32 = 0. Let l(y) = y**2 - 3*y + 5. Let b be l(4). Suppose 2*w + b + o = 3*d, 4*d + 17 = -5*w. Solve 6*n - 4 = d*n for n.
1
Let r be (-3)/1 + 7 + -1. Suppose -2*s + 3 = r*c, -4*s + 15 = c + 4. Solve -3*o - s = -2*o for o.
-3
Suppose -4*p - 14 = -3*y, 10 = -0*y + 4*y - p. Solve 3*v = -y*v for v.
0
Suppose 0 = -a + 4*a + 9. Let t = a + 3. Suppose t = 5*g - 6 - 9. Solve 2 = -g*r + 2*r for r.
-2
Let m(l) = l**2 + 30*l + 13. Let f be m(-30). Let p = 3 + -1. Solve -f - p = -5*s for s.
3
Let g = 20 + -15. Let t = 1 + 2. Let p = t + -2. Solve -g*c + 9 = -p for c.
2
Suppose 5*u - 33 = 3*v, 0 = -u - v + 4 + 1. Let w(z) be the third derivative of z**5/60 - z**4/4 + z**3/2 + 27*z**2. Let t be w(u). Solve -3 = -3*m + t for m.
2
Let h(n) = -n**2 - 14*n - 11. Let l be h(-8). Let q = l + -58. Let b be 37/7 - (-6)/q. Solve -2*v - 12 = -b*v for v.
4
Let l = -5 + 9. Suppose -4*s + a = -59 - 17, l*a = 5*s - 106. Let x be s/2*2/6. Solve -h + 10 = -x*h for h.
-5
Suppose 4 = 5*a + 2*i - 2, 2*a - 6 = i. Solve a*v + 0 + 2 = 0 for v.
-1
Let f(x) = x**3 - 2*x**2 - 2*x + 3. Let u be f(3). Let y be 9/u - 1/2. Let j be (3/(-3))/(y/(-7)). Solve j*i - 3*i + 4 = 0 for i.
-1
Let w be (-4)/(-36) - 24/(-27). Suppose -3*m - o = -20, -4*m - 2*o + 15 = -3*o. Solve -w = m*k - 6 for k.
1
Suppose 0 = c + 2*w - 5, 0 = 3*w - 2*w + 1. Solve -3*k - 8 = -c*k for k.
2
Suppose -4*q + 9 = z - 3, -5*q = 2*z - 18. Solve -j - j = q for j.
-1
Suppose -27 + 22 = -5*b. Solve 2*d + 3 = b for d.
-1
Let r(s) be the first derivative of -s**4/4 - s**3/3 + s + 2. Let p be r(0). Solve 7 = 2*i - p for i.
4
Suppose -2*h + 2*k = 