 + 4 for w.
3
Let v be 32/(-12)*(-6)/4. Let y be (0/(-4 + 7 + -2))/2. Solve -v*k + 16 = -y for k.
4
Suppose -8 = -4*q - 2*o, 5*q + o - 2 - 8 = 0. Solve -q*z = -21*z for z.
0
Suppose 0 = -23*y - 2 + 94. Solve a + 1 = -y for a.
-5
Let w(n) = n**3 + 39*n**2 + 2*n + 89. Let y be w(-39). Solve -4*b = -3 + y for b.
-2
Suppose -4*o + 4 = 0, -4*i + 11 = 3*o - 4*o. Suppose t = -4*t - d + 10, -4*d + 6 = i*t. Solve 3 = -5*x - t for x.
-1
Suppose 0 = 3*o - 2 - 4. Let c(p) = -p**3 - 4*p**2 - 3*p. Let f be c(-2). Let z be (f/(-4))/((-3)/(-72)). Solve o*v + z = -2*v for v.
-3
Suppose 17 = -k + 21, -2*k - 10 = -j. Solve -4*y - j*y - 66 = 0 for y.
-3
Let b(l) = l**2 - l - 3. Let v be b(-2). Solve 0 = v*u + u + 8 for u.
-2
Let m(k) = -k**3 + k**2 + 3. Let p(w) = -3*w**3 + 3*w**2 + w + 6. Let r(j) = 7*m(j) - 3*p(j). Let a be r(2). Solve 4*t - 25 = -a for t.
5
Suppose 0 = -l + 11 + 13. Let o be ((-8)/l)/((-2)/54). Suppose 0 = -4*r - 4*d - 8, 5 = -3*r - 4*d - 4. Solve -5*n + r = -o for n.
2
Let s(m) = 3*m**3 - m**2 - 3*m - 2. Let u be s(-1). Let c be (-20)/(-7) - u/21. Solve -t = -0 + c for t.
-3
Suppose -2*h = 2*x - 3*h - 1, x = 2*h - 4. Let g be 1*(7 + -8)/(2/(-4)). Suppose 4*o = 18 + 6. Solve x + o = -g*d for d.
-4
Let h be 32/12 - (-34)/(-51). Solve 0 = h*j - 3*j + 3 for j.
3
Suppose 0 = -3*w + 4*s + 29, 5*w + 0*s - 52 = 3*s. Suppose -w = -5*o - 1. Solve -2*m - o - 2 = 0 for m.
-2
Let u(i) = 4*i**2 + 2*i + 3. Let y = -26 - -31. Suppose -3*h + 2*h - y = -q, -h - 8 = -2*q. Let z be u(h). Solve x = -2*x + z for x.
5
Let a(r) = -r**3 + 5*r**2 + 15*r + 7. Let p be a(7). Suppose 40 = -p*t + 19*t. Solve -3*l = l - t for l.
2
Let t be (-6)/10 - (-38)/5. Let v = 11 + -8. Suppose -j = 9*r - 4*r - 104, r - j - 16 = 0. Solve -v*k + r = -t*k for k.
-5
Suppose 0 = -3*n + 2*n + 19. Suppose 5*x - 1 = n. Suppose 4*s = -5*w + 7, -4*s - x = w + 1. Solve 5 = -4*h + w*h for h.
-5
Suppose 2*z = -4*h + 5 + 13, -2*z = h - 12. Solve 20*s + 18 = h*s for s.
-1
Suppose 0 = -5*q + 5*y + 40, 4*q - 4 - 26 = 5*y. Solve -5*i - 10 = -q*i for i.
2
Suppose 2*a - 79 - 41 = 0. Solve -v - a = 14*v for v.
-4
Let u = -3 + 5. Solve -3 = -q - u for q.
1
Let x(l) = 2*l**2 - 5*l + 3. Suppose 0 = -o + 5*f + 27, 6*o = o + 3*f + 25. Let v be (o/4)/(2/12). Let n be x(v). Solve -n*b = -b + 15 for b.
-3
Let b(p) = 9*p - 62. Let s be b(6). Let c be (-1)/s + (-2886)/(-208). Solve 5*t + c - 4 = 0 for t.
-2
Suppose 0 = -7*x - 119 + 175. Solve -x*w + 18*w + 30 = 0 for w.
-3
Let o(f) = 12*f**2 - 4*f + 8. Let d be o(2). Solve 52 = -4*x + d for x.
-1
Suppose 6*c + 4*m = 100, 0 = -4*m - 1 + 5. Solve 5*p = c + 4 for p.
4
Suppose 8 = 5*y - 2. Suppose -l + 2 = -m - 0, -y*m + 3 = -l. Solve l = -3*v - 5 for v.
-4
Let f(a) = 2*a**2 - a. Let p be f(-1). Suppose -c - 3*k = -12, -4*c = p*k + k - 16. Suppose 10 = -c*w + 5*w. Solve 12 = -2*m + w for m.
-5
Let y be (-23)/(-7) + (-6)/21. Suppose -10*o = -2*o. Suppose -4*l + 2*c + 28 = o, 4*l + 2*c + 2*c - 4 = 0. Solve l*z + y = 8 for z.
1
Let y(b) = 2*b**2 - 6. Let j be y(-2). Solve -j*h - 4 = 4 for h.
-4
Let v(n) = -n**2 + 2*n - 12. Let d be v(0). Let u(c) = c**2 + 12*c + 11. Let j be u(d). Suppose 2 = 12*h - j*h. Solve 0 = -0*i + 2*i + h for i.
-1
Suppose 0 = -5*h + 30 + 45. Suppose v = -5, 0 = -s - s + v + h. Suppose -10 = -s*c, m + 2 = 3*m - 3*c. Solve 0*f = m*f + 8 for f.
-2
Suppose 4*i - 112 = -3*w, 4*i + 101 + 43 = 5*w. Suppose 3*m + 18 = o + 7*m, 0 = 2*o + 4*m - w. Solve o = 5*v - 1 for v.
3
Suppose 0*m - 2*m = -4. Suppose -4*b + 5*h = -2*b + 46, -2*b + m*h - 40 = 0. Let f be (2/6)/((-3)/b). Solve 3*w = 1 + f for w.
1
Let o(t) be the third derivative of -1/24*t**4 + 0 - 5*t**2 + 0*t + 1/120*t**6 - 2/3*t**3 + 1/15*t**5. Let k be o(-3). Solve -3*h = -5*h + k for h.
4
Let g = -6 - -14. Let b(o) = o**3 - 7*o**2 - 10*o + 20. Let i be b(g). Solve 4*q - i = -0*q for q.
1
Suppose 0 = -12*m + 65 + 775. Solve -m = 6*r - 64 for r.
-1
Let j(u) be the second derivative of u**5/20 + 5*u**4/6 + 5*u**3/3 + 9*u**2/2 - 10*u. Let n be j(-9). Solve 3*p - 15 = -n*p for p.
5
Suppose -n = -5*z - 12, n + 2*z + z + 4 = 0. Solve n*o = -2*o + 16 for o.
4
Suppose 0 = -3*s + 14*s + 66. Suppose -3*w + 463 + 146 = 0. Let u be w/42 - 1/s. Solve 8 = k - u*k for k.
-2
Suppose 2 = -2*j + 6. Suppose -j*a = 3 - 23. Suppose 3*g = -2*f + a, -f + 6 = g + f. Solve g = v - 3 for v.
5
Let v(u) = -14*u - 15. Let h be (-3)/1 + (-5 - -9 - 3). Let a be v(h). Solve 5*m - a = 2 for m.
3
Let w(j) = 4*j**3 - 36*j**2 + 30*j - 32. Let o(f) = -f**3 + f**2 + f. Let r(x) = 3*o(x) + w(x). Let t be r(32). Solve 4 + t = -4*s for s.
-1
Let a(s) be the second derivative of s**5/60 + s**3/3 + 9*s**2/2 - s. Let w(t) be the first derivative of a(t). Let c be w(0). Solve c*x = -2*x + 16 for x.
4
Let v(u) = 2*u. Let p(l) = -56. Let x(m) = -p(m) + 3*v(m). Let n be x(-9). Solve 0 = -2*j - 0 - n for j.
-1
Let m(n) = -n**3 - 14*n**2 - 19*n - 73. Let a be m(-13). Solve -a*l = -10*l + 20 for l.
4
Suppose 4*b - 18 = b + 3*v, -5*v = 5*b. Suppose -5*n + k = -0*k - 110, 0 = -4*n - b*k + 69. Let l be (-1)/(-3) + 98/n. Solve 4*z = -21 + l for z.
-4
Let j be 32/(-6)*-1*(3 + -6). Let o be (-51)/(-68)*j/(-6). Solve b + o = 6 for b.
4
Suppose l = -38 - 5. Let s = l - -47. Solve s*m - 4 = 4 for m.
2
Suppose 8*f = 5 + 11. Solve f*o = -3*o for o.
0
Let w(z) = z**3 - 27*z**2 + 42*z - 401. Let p be w(26). Solve 11*x - p = -15 for x.
0
Let r(u) be the second derivative of -u**5/20 + 7*u**4/12 - u**3/6 + 5*u**2 - 11*u. Let i be r(7). Solve -2*z = i*z for z.
0
Let b = 27 + -23. Suppose -m + 1 - 5 = -2*c, c = b*m + 9. Solve -4*a + c = -11 for a.
3
Suppose 213*b = 210*b + 3. Solve 0*i + b = -i for i.
-1
Let w be -1 + 1 - (-2 - -1). Suppose -w - 4 = 5*a - 5*c, 3*c + 1 = 5*a. Let o be ((0 - -2) + 6)/(14 + -12). Solve o*q + a = 3*q for q.
-2
Let v be 1*(4 - 18/(-2)). Let a = v + -1. Solve 4*y = -0*y - a for y.
-3
Suppose 3*p = -2*w + 8, 4*w - 18 = -0*w - 5*p. Suppose -w*m = m - 8. Solve -m - 4 = i for i.
-5
Let i = -480 - -482. Solve i*z = 2 + 4 for z.
3
Let s be 0/(-1 - (-7 - -4)). Suppose 2*u = -s*u + 6. Suppose -3*z + u = -3. Solve -4*x - 18 = z for x.
-5
Suppose 0 = s + 4*s + 125. Let d = 27 + s. Solve d*p + 5 = p for p.
-5
Let d = 1489 - 1468. Solve 4*l + 9 = d for l.
3
Let b(x) = -2*x**3 - 54*x + 2*x**3 - 3*x**2 + 51*x - x**3 - 1. Let q be b(-2). Let l = q - 1. Solve l = -0*i + 2*i + 10 for i.
-5
Suppose -5*d + 57 = -3*i, 18 = 5*d + i - 23. Solve -d*n + 6*n - 9 = 0 for n.
-3
Let q(l) = 16*l - 678. Let m be q(43). Solve 10*a = -m*a + 80 for a.
4
Let a = -38 + 43. Let z be (-17 + 2)/a - -5. Solve 0 = x - z*x - 5 for x.
-5
Let u be (27/6)/(-3)*126/27. Let p be (2 - (-88)/14) + 2/u. Solve 3*x + p = 5*x for x.
4
Suppose 0 = 9*z - 6 - 12. Solve 3*x = -x + z*x for x.
0
Suppose 2*n - 44 + 20 = 0. Suppose -9*c = -3*c - n. Let m(z) = z**3 + 8*z**2 - 8*z + 12. Let q be m(-9). Solve w = c*w - q for w.
3
Let r = 92 - 92. Solve r = -0*d + 3*d for d.
0
Let d(j) = -j**3 + 10*j**2 + 2*j - 11. Let a be d(10). Suppose 5*z = a + 1. Solve -4*o + z = -2 for o.
1
Suppose -4*h - 9 = -7*h. Let t be (h - 12/(-9))*3. Let y be 0 - 3 - (-1 - t). Solve -4*z = 5 + y for z.
-4
Let y be -2*(2 + 12/(-3)). Solve y - 7 = g for g.
-3
Suppose -x + 0*x - 13 = 4*s, -4*x - 8 = 5*s. Suppose x*r - w = 10, 4*r + 0*r = -w + 11. Solve -6 = m - r for m.
-3
Let b(j) = 3*j**2 + 16*j - 21. Let p(n) = -4*n**2 - 16*n + 22. Let w(a) = -5*b(a) - 4*p(a). Let h be w(15). Solve -6 = h*g - 0*g for g.
-3
Let v(i) = i - 17 + 0*i + 14 + i**3 + 4*i**2 + 0*i. Let t be v(-3). Solve 8*b = t*b for b.
0
Suppose -2*q + 2 = 5*f, 5*q = 2*f - 5*f + 5. Solve -5 + f = -i for i.
5
Let f(x) = -x**3 - 16*x**2 - 14*x + 18. Let s be 8/(-4)*30/4. Let o be f(s). Solve -5 = o*h + 1 for h.
-2
Let c be 0/(3 - 9)*1/3. Let k(p) = -2*p - 6. Let f be k(-4). Suppose 5*l + 9 = o - 18, -2*o + f*l + 14 = c. Solve 2*y + o*y - 20 = 0 for y.
5
Let l be (6/(-5))/((-1533)/1470 - -1). Solve -l = -12*f - 2*f for f.
2
Suppose 5*w = w + 8. Let i = -1776 - -1791. Solve -i = g + w*g for g.
-5
Let q(h) = h**2 + 10*h + 30. Let z(i) = -i**3 - 14*i**2 - 14*i - 19. Let o be z(-13). Let p be q(o). Solve 8*j - p*j + 8 = 0 for j.
-4
Let k(s) be the third derivative of s**6/120 - 2*s**5/15 + 7*s**4/24 + 3*s**3/2 + 5*s**2. Let o be k(7). Suppose 2*v - o = 1. Solve -