for w.
-2
Let v = 8 - 6. Solve -4*h - 6 = -v*h for h.
-3
Suppose -y + 4 + 4 = 2*n, 0 = 4*n + 5*y - 28. Let f(p) = p**3 + 5*p**2 + 3*p - 2. Let g be f(-3). Solve l + g = n for l.
-5
Let y(r) = -5 - r**2 + 2 - 3*r + 1. Let w be y(-2). Suppose w = 5*o + s - 4 - 5, 5*o + 3*s - 7 = 0. Solve 6 = o*l - 0*l for l.
3
Let v be (-6)/2 - -6 - 29. Let i = -18 - v. Solve i*l = 3*l - 15 for l.
-3
Let s(z) be the second derivative of z**3/3 - 3*z**2/2 + 3*z. Let y be s(3). Solve f + y = -1 for f.
-4
Let o be (-4 + 6)*18/4. Solve 2*w + o = -w for w.
-3
Let h = 7 + -10. Let d be (3 - -1)/(h/(-3)). Solve w + d*w - 10 = 0 for w.
2
Let l(u) = -9*u + 2. Let g(t) = 4*t - 1. Let j(s) = 10*g(s) + 4*l(s). Let o be j(2). Let y be 378/12 + (-2)/4. Solve -o = -5*n - y for n.
-5
Suppose 0 = -4*q + 25 + 23. Let c be 124/q + 2/(-6). Let h = c + -6. Solve -x = x + h for x.
-2
Let x(a) = -2*a + 13. Let c be x(6). Solve -6*u + 5*u + c = 0 for u.
1
Let z = -25 + 40. Solve g = -2*g + z for g.
5
Let c = -13 + 23. Suppose -4*f + 6*f = c. Solve 0 = -2*x + x - f for x.
-5
Let t be ((-20)/30)/((-1)/3). Solve -p = p - t for p.
1
Let s be (-11)/(-3) - (-16)/(-24). Solve z + s = -1 for z.
-4
Let u(p) = p**3 - 12*p**2 + 17*p + 33. Let d be u(10). Solve 5 = 2*q + d*q for q.
1
Let q(y) = y**3 - 11*y**2 + 10*y + 6. Let v be q(10). Solve -v*w = -2*w + 4 for w.
-1
Let g be 21/6*(-36)/(-21). Solve -5*p + 4 = -g for p.
2
Let m be (16/6)/(4/6). Solve m*a - 13 = 3 for a.
4
Let g be 17/6 - 0 - (-2)/12. Solve -4*v - 15 = -g for v.
-3
Let m(k) = k**3 + 8*k**2 - 8*k + 11. Let n be m(-9). Solve -n*y + 3 = y for y.
1
Suppose -3*k = -4*s - 75 - 228, 2*k = -3*s - 240. Let w be ((-2)/6)/(2/s). Suppose -p = -3*o + w, o - 12 = 4*p - 3*o. Solve p*z = -2*z for z.
0
Suppose 0 = 4*n + 5*g - 14, -5*g - 4 = -3*n - 11. Solve -2 - n = 3*v for v.
-1
Suppose 0 = -n + 4*n - 126. Suppose -p = -3*g - n, 0*g - 76 = -2*p + 4*g. Let o be (-54)/(-5) - (-6)/p. Solve -5*s = o + 4 for s.
-3
Let c(n) = n**3 - 5*n**2 + 4*n + 5. Let t be 3/(-3 - -9)*6. Suppose 0 = -t*p - 2*p + 20. Let q be c(p). Solve d - q = -0*d for d.
5
Let y(n) = n**2 + n. Let o be y(-2). Solve -2*c = o*c - 16 for c.
4
Suppose 3*c - 2*c = 0. Solve p - 4*p = c for p.
0
Let k = -16 - -16. Solve k = -6*v - 0*v - 30 for v.
-5
Let b be 10/12 + (-9)/(-54). Solve -5*p + 6*p = -b for p.
-1
Let c(j) = -j**3 + 5*j**2 - 3*j - 3. Let f be c(4). Let m be 12/(1/f + 0). Solve 4*h - m = 4 for h.
4
Suppose 0*i - 6 = -2*i. Let m(z) = -z - 1. Let t(x) = -6*x - 10. Let l(y) = -14*m(y) + 2*t(y). Let j be l(5). Solve -i*u + j*u = 0 for u.
0
Let s be (-1)/(-1) - (13 + 3). Let v be 10/3*18/s. Let q = 6 + v. Solve -k = -0*k + q for k.
-2
Let v(f) = 4 - 6 - f + 0*f. Suppose -4*d - 8 = 4*l, 2*l - 3*d = -0*l - 14. Let w be v(l). Solve -w*a - 13 = -5 for a.
-4
Suppose 5*i - 17 = -2. Suppose -x + 12 = i*g, 0 = -5*g + 20 - 0. Solve -2*j = -x*j + 4 for j.
-2
Let g(j) = -2*j - 6. Let s be g(-5). Suppose h = -s*h. Let m be -1 - ((2 - 3) + h). Solve 0 = -3*c - m*c for c.
0
Let o(z) = 3*z - 6. Let f be o(7). Let i = f + -11. Let n = -9 - -19. Solve i*t + 10 + n = 0 for t.
-5
Suppose 0 = 4*s + 3*r + 6, s + r = 2*s - 2. Solve a = -s*a - 1 for a.
-1
Let s = -12 + 21. Let y = -7 + s. Solve 3*x = -y*x for x.
0
Suppose -3*u + q + 10 = 0, -2*u - 3*q + 11 = -3. Solve -u = 4*p + 12 for p.
-4
Let x(j) = j**2 + 2*j + 1. Let g be x(4). Suppose 0 = 4*l - w - 0*w + 3, 0 = 5*w - 15. Solve 5*n = -l - g for n.
-5
Let q be (1 - (0 - 2)) + -1. Let m = q + 1. Solve -1 + 7 = -m*l for l.
-2
Let c = 0 + 0. Suppose -3*o + 5*i - i - 92 = c, -i = 2*o + 54. Let p be (-232)/o + (-4)/14. Solve -2*u + 0 + p = 0 for u.
4
Suppose -z - 2*z = -6. Suppose 2*a + z = -3*v - 1, -2*a + 37 = -5*v. Solve -a*w + 3*w = 15 for w.
-5
Let k = -93 + 98. Solve -k*h + 9 = -2*h for h.
3
Let s be (-10)/3 + (-4)/6. Let u(p) = -p**2 - 3*p - 2. Let x be u(s). Let w(f) = -f**3 - 5*f**2 + 5*f - 3. Let g be w(x). Solve g*z + z + 16 = 0 for z.
-4
Let j be (18/24)/(2/8). Let q(b) = 2*b + 2 - b + 2. Let y be q(j). Solve -3*u = 1 - y for u.
2
Suppose 2*w + 28 + 15 = 5*c, -20 = -4*c - 2*w. Solve -c - 2 = 3*x for x.
-3
Suppose j - 2 = 2*b, -4*j + 4*b - 7*b + 8 = 0. Suppose 14 = 3*t - 4. Suppose 3 = t*a - 15. Solve -j*r + a = 1 for r.
1
Let x be (6 - 4)*(-2)/(-4). Let b be (-8)/(-1 - x) + -2. Solve -s - b - 1 = 0 for s.
-3
Let c = 33 - 29. Solve -t = 1 + c for t.
-5
Let s(z) = 4 + z**3 - 2*z**3 + 2 + 2*z**3. Let x be s(0). Solve -2*m = -0 + x for m.
-3
Let y(f) = 2*f + 3. Let x be y(-2). Let s = 4 - x. Suppose -2*t = -3*r + 10, 10*r - 11*r - 25 = 5*t. Solve -s*d + 15 + 10 = r for d.
5
Let w(z) = z + 1. Suppose -k - 12 = -3*k. Let a be w(k). Solve -5 - a = -3*i for i.
4
Suppose m - 2*f - 3 = -1, -4*f = 2*m - 28. Solve -m = -p - p for p.
4
Suppose 0 = -s - 2*s + 3. Let c be s + 2 + 0 + -3. Suppose c = -u + 8. Solve -u = -y + 3*y for y.
-4
Suppose 5*o = -3*n - 0 + 70, -14 = -o - n. Let p be 2/o - 2/14. Solve p = m - 0*m - 2 for m.
2
Suppose 4*s = s + 3. Let g = s + 6. Solve -2*f = -g*f - 20 for f.
-4
Let m = -24 + 26. Solve -s - 1 = m for s.
-3
Let d(r) = -r**3 + 5*r**2 + r. Let p be d(5). Suppose -2*y + 4 = -2*j, 4*y - 6 = 3*y + p*j. Solve 4*q + y = 5 for q.
1
Suppose -24 = -8*c + 4*c. Let m = c - 1. Solve 3 = m*w + 18 for w.
-3
Let u(g) = -g**2 - 10*g - 3. Let a be u(-9). Solve 2*t = -t + a for t.
2
Let f(u) = -u**2 + 5*u + 6. Let h be f(6). Let d be 0/(2*3/6). Let q be (-3)/(-2)*(-4)/(-3). Solve h*a + q*a + 2 = d for a.
-1
Let k be -3*(-3)/((-45)/(-55)). Solve -k = -2*u - 3 for u.
4
Let r(x) = -x**3 + 5*x**2 + 5*x + 6. Let p be r(6). Suppose 0 = -m + 5*u - 3, p*u = -3*m + 3*u + 3. Solve -m*g = 3*g for g.
0
Let q be 1 - -1*(-1 - -4). Let v be ((-14)/8)/(2/(-8)). Solve 3*f = q - v for f.
-1
Suppose 2*f - 25 = -3*f. Suppose 0 = -3*t + 4*h - 16, -h = f*t - 3*t - 4. Solve 0 = 5*i + 5 - t for i.
-1
Let i be (-1)/(14/8 + -2). Let x = 1 + i. Solve 0 = x*f - 10*f - 5 for f.
-1
Suppose 2*t = -4*y + 4, -3*y - 3*t = -t - 2. Solve 6*q - y*q + 8 = 0 for q.
-2
Let l = 42 + -36. Let i = -11 + 5. Let w be (-28)/i - (-8)/(-12). Solve -l*g + w*g - 8 = 0 for g.
-4
Let l be 7/(-21) + (-22)/6 - -8. Solve -4 = -5*h + l*h for h.
4
Let w be 91/35 + (-4)/(-10). Solve 0 = -4*m + w + 1 for m.
1
Suppose 0*i + 10 = 5*i. Suppose -i*n + 2 = 2*b, 5*n + 1 = -b + 2*b. Suppose 3*f - 5 - 1 = n. Solve f*r + r = 6 for r.
2
Let q(y) = y**2 + 5*y + 3. Let t be q(-5). Let w(m) = -m**3 + 2*m**3 - 2*m**t - 3*m - 3*m**2. Let r be w(-2). Solve d = r*d + 4 for d.
-4
Let x(d) = -d**3 + 9*d**2 + 11*d - 10. Let t be x(10). Let b be (2 + t)/((-5)/(-10)). Solve -5*u = -b*u for u.
0
Let v(f) = -f**3 - 3*f**2 - 2*f - 3. Let y be v(-3). Suppose -23 = -y*b - 8. Solve 12 + 3 = b*t for t.
3
Let g(y) = -y**2 + 4*y + 1. Let f be g(2). Let o(v) = v - 3. Let d be o(f). Solve d*k + 3 = -k for k.
-1
Let f = -16 + 19. Let l = 3 - f. Solve l*j = -j for j.
0
Suppose -5*j + 11 = -9. Suppose u = -0*u + j. Solve -f = -u*f for f.
0
Let s(q) = 3*q + 12. Let h be s(-11). Let b = h - -21. Solve 2*o - 4 = -b*o for o.
2
Let h = -114 - -134. Solve h = 4*l - 0*l for l.
5
Let v = 4 - 3. Let a = -1 - 0. Let d be a/(-2) - v/(-2). Solve 3*k - 5 = d for k.
2
Let d(m) = -m**2 - 5*m - 4. Let s be d(-3). Let o(b) = -b**3 + 11*b**2 - b + 11. Let j be o(11). Solve s*u + 0*u - 10 = j for u.
5
Let b be 6 + 4*(3 + -4). Solve -b*k = 12 - 2 for k.
-5
Let a = 170 + -165. Let m = 10 + -7. Solve m*f + 2 = a for f.
1
Let r = 20 + -17. Solve 3 = -0*p - r*p for p.
-1
Suppose -c - 3 = -2*c. Let w(q) = -4*q**3 + q**2 - 1. Let o be 1*(-4 - (0 - 3)). Let y be w(o). Solve c*d + y = -d for d.
-1
Suppose i + 13 = 4*w - 1, -2*w + 2*i + 10 = 0. Solve -4*m - w - 1 = 0 for m.
-1
Let n(a) = a**3 + 12*a**2. Suppose 3*j + 3*t + 45 = 0, j - t = 3*t. Let r be n(j). Solve l + r*l = 0 for l.
0
Let x(v) = -v + 14. Let o be x(10). Let l = 7 - o. Solve l*t - 8 = 1 for t.
3
Let s(j) be the third derivative of -j**6/120 - j**5/20 - j**4/8 + 4*j**2. Let x be s(-2). Solve -8 = -3*v - x for v.
2
Let d = -7 - 5. Let c = 14 + d. Solve 0 = -c*y - 0*y - 4 for y.
-2
Let k(f) = f**3 + 8*f**2 + 8*f - 1. Suppose 6 + 14 = -5*u. Let t be k(u). Solve 5*r + t = 11 for r.
-4
Let d be 0*(2 - 3 - -2). Let p be 2*(2/4 + d). Solve -v + 2 = -p for v.
3
Let a be ((-2)/(-3))/(6/(-27)). Let c(t) 