w(3). Solve f + j = 2 for f.
-5
Suppose -2*s + 14 - 6 = 0. Solve -s*x = 2 + 10 for x.
-3
Let n(r) = -r**3 + 2*r**2 + 3*r + 4. Let v be n(3). Suppose -2*c = -46 - 80. Suppose -d - d - v*h = -44, 4*d + 3*h = c. Solve -2*q - d = 2*q for q.
-3
Let r = -1 + 1. Suppose x = -r*x. Solve -2*l - 8 + 4 = x for l.
-2
Let h(a) = -a**2 + 5*a + 9. Let g be h(6). Let f(m) = m**2 + 5*m + 3. Let w be f(-6). Solve g*c + w = -0*c for c.
-3
Let w be -4 - 5/(30/(-96)). Solve -w = 4*r + 4 for r.
-4
Let r(k) = k**2 - 12*k - 24. Let w be r(14). Solve -3*o + 5 = -w*o for o.
-5
Let h be 6/4*19/((-171)/(-12)). Let c = 2 + 0. Let s = 1 + c. Solve 0 = h*g + s*g + 10 for g.
-2
Let i = -106 - -108. Solve i*b + 10 = -3*b for b.
-2
Let p = 13 + 7. Let b be 5/2*16/p. Let s be b/(-4)*0/1. Solve a + 1 + 0 = s for a.
-1
Suppose -5*r + 24 = 2*z, 0*z - 21 = -3*r + z. Let y = 14 - r. Solve 0 = -3*n - n - y for n.
-2
Suppose -6*o = -o. Suppose n + 5*d = 10, -19 = -2*n + n - 2*d. Solve -4*j - j + n = o for j.
5
Let k be (0 - 3) + -2 - -5. Solve -4*f + 5*f - 3 = k for f.
3
Suppose 46 = 5*h - 134. Suppose 0*c - 4*c = -h. Suppose -3 = -3*b + c. Solve b*j = -j for j.
0
Let f = -13 + 13. Solve f = l - 0*l + 1 for l.
-1
Let x = 1 - -1. Suppose 0*u - 5*u - 10 = 0. Let p = u + 4. Solve -g - p = x for g.
-4
Suppose 27 = 5*z - 3*c, 3*z + c - 18 - 1 = 0. Let d be ((-4)/6)/(3/(-9)). Let b be 2/(-8) + 68/16. Solve -d*f - b = -z*f for f.
1
Let d(n) be the second derivative of n**5/20 + n**4/4 - n**3 - 3*n**2 + 3*n. Let a be d(-4). Solve -l = -a - 3 for l.
5
Let q be (-4)/((-32)/8)*6. Suppose 0 = -2*z + z + 2. Solve -i - q = -z for i.
-4
Suppose 0*b + 15 = 3*b. Suppose m + 13 = b. Let x(y) = -y**2 - 9*y - 5. Let q be x(m). Solve -3 = q*i - 12 for i.
3
Let k = -26 + 37. Solve k = -5*z + 1 for z.
-2
Suppose 8 = f - 5*c + 1, 1 = -c. Solve 5*u + 3 = -f for u.
-1
Let r be (-9)/(-18)*(-20)/(-2). Let l = 5 - r. Solve l*h = 2*h for h.
0
Let k(n) = -2*n + 4. Let j be k(-8). Let g = 3 - 1. Solve 0 = -3*s - g*s + j for s.
4
Suppose 4*r - 6 = r. Let k(w) = -5*w + r*w**2 - 1 + 0*w**2 + 3. Let n be k(3). Solve -o = -n*o for o.
0
Suppose -4*f = -8, 0*g - 5*g + 4*f + 92 = 0. Let d = 20 - g. Solve 2*b + d*b = 10 for b.
5
Let t = 0 - 0. Suppose t = -4*v + v + 15. Let z(n) = -2*n - 9. Let b be z(-6). Solve v = -2*h - b*h for h.
-1
Suppose -42 = -6*w + 24. Solve 5*z = w + 4 for z.
3
Let c = -6 - -11. Suppose c*q = 6 + 4. Solve q = -2*y + 6 for y.
2
Let t = -4 + 5. Let k be 3 + -1 - (-1)/t. Solve 3*x + k - 6 = 0 for x.
1
Suppose 0 = -3*d - 9 + 12. Solve -p + d = -0 for p.
1
Let u(l) = -l**2 + 2*l + 8. Let b be u(4). Solve k + 4 - 3 = b for k.
-1
Let n be (-1)/(-3) - 2/6. Suppose -5*i + 14 = -2*w, 3*i - 9 = -5*w + 18. Solve -x + 4*x - w = n for x.
1
Let j(l) = l**3 + 10*l**2 + 8*l - 8. Let z be j(-9). Suppose -5*w = 2*r + 23, -5*w - 2*r - 30 = -7*r. Let p = w - -8. Solve 4*v + p = -z for v.
-1
Let t = -12 + 22. Suppose -4*z = z - t. Let j be 7/3 - 2/(-3). Solve 3*q + j = z*q for q.
-3
Suppose 3*s - 17 = -2*w + 2*s, 0 = -4*w - 3*s + 39. Solve w*v - 5*v = 3 for v.
3
Let v(m) be the third derivative of 0 - 5/3*m**3 + 3*m**2 + 0*m + 1/24*m**4. Let l be v(10). Solve l = 3*x - 0*x + 6 for x.
-2
Let q = 15 + -11. Solve 8 = q*u - 0*u for u.
2
Suppose r - 1 - 9 = -2*f, 5 = -r + f. Solve r = -4*n - 0*n + 12 for n.
3
Let q = -7 - -2. Let l(s) be the second derivative of -s**4/12 - 5*s**3/6 + 2*s**2 + s. Let x be l(q). Solve -x*i + 1 = -3 for i.
1
Let f = -45 + 61. Solve -5*g = -g + f for g.
-4
Let h be (-80)/(-12) - (-4)/(-6). Let m(f) = -f + 8. Let a be m(h). Solve -a*p - 3 = p for p.
-1
Suppose 0 = -2*p - 5*s + s + 2, 0 = -3*p - 4*s + 5. Suppose 2*l = -p*l + 10. Solve l + 4 = -2*y for y.
-3
Let d = 2 + -4. Let h be d + 4 - 2*-1. Solve h*j = 2*j for j.
0
Let c(o) = -2*o + 9. Let t be c(9). Let z be 6*3*(-1)/t. Suppose 4 + 8 = z*i. Solve 2*g = i - 2 for g.
2
Let k(g) = 10*g - 10. Let s(v) = v - 1. Suppose 0 = 4*q - 8 + 4. Let a(x) = q*k(x) - 6*s(x). Let l be a(6). Solve 4*w - l = -4 for w.
4
Let z be (-4)/14 + 464/56. Suppose 100 = z*o - 4*o + 5*l, 4*o - 100 = l. Solve 0 = -6*j + j + o for j.
5
Let s(d) = d**3 - 5*d**2 - 5*d. Let c be s(6). Let x = c - 2. Solve 4*h = -x - 12 for h.
-4
Suppose -5*g - 3 - 2 = 0. Let i be (72/30)/(g/(-5)). Solve -6*m = -2*m - i for m.
3
Let y = -41 - -49. Solve g + y = 3*g for g.
4
Suppose -13*q = -11*q - 8. Solve -q*p = p - 15 for p.
3
Let q(k) = k**2 + k + 2. Let t be q(0). Suppose 5 = 5*w + a, t*w - w - 15 = -3*a. Suppose -2*j = -w*j - 6. Solve 0 = -5*v + j*v + 10 for v.
5
Suppose 4*v = 16 + 4. Solve 2*y + 3*y = -v for y.
-1
Let y = -1 - -1. Let c be 1/(3 - (1 + 1)). Let a be 0/((c + -3)*1). Solve 4*p + 16 + y = a for p.
-4
Let g = -3 + 15. Let t = g - 6. Let u be 1/2*t + 1. Solve c = -c - u for c.
-2
Suppose 19*d - 72 - 23 = 0. Solve t = d*t for t.
0
Suppose -2*w - 5*m = -27, -3*w + 5*w = -4*m + 24. Let k = w + -3. Suppose -3*n - k*r + 27 = 0, n = -2*n + r + 11. Solve 1 - n = -y for y.
4
Suppose 0 = 5*v - 3 - 7. Suppose -4*l = -6 - 6, -w = l. Let s = w - -9. Solve v*k = s*k for k.
0
Let b = 15 - 25. Let p(v) = v**3 + 12*v**2 + 14*v + 8. Let o be p(b). Let c be 2/9 + o/18. Solve 2*s - s = -c for s.
-4
Let l = 20 + -20. Solve 3*f - 4 - 2 = l for f.
2
Let l be (-18)/15*50/(-15). Solve -u - l*u = 0 for u.
0
Let q(j) = -j + 13. Let b be q(7). Let a be (-12)/2*b/(-4). Suppose -4*x - 5*z - 5 = -38, 0 = -2*x - z + a. Solve 3*v = x*v + 5 for v.
5
Suppose 3*d = -u - 4*u + 11, -d - 3 = -5*u. Let i = -18 + 20. Let g be (i + 2)/d + 7. Solve -g = k - 4*k for k.
3
Suppose -2*g + s + 10 = 0, -g + 3*s - 4*s = -2. Let v = 7 - g. Suppose 11*r - 8*r - 9 = 0. Solve 0 = -v*m - 0*m + r for m.
1
Suppose 3*l + 4*x + 0*x = 247, x + 80 = l. Let g be (4/6)/(3/l). Suppose -3 + g = 3*t. Solve -11 + t = 2*k for k.
-3
Suppose 0 = 5*d - 9 - 11. Let j be (d - (0 + 3)) + 11. Suppose 3*y = l + j, 4*y - 2*l - 11 = 5. Solve v + v = -y for v.
-2
Let s = 16 - 16. Solve s = 3*p + 2 - 8 for p.
2
Let k be 0/1 - (-6)/2. Solve j = k*j for j.
0
Suppose -4*v + 48 = -2*b, -7 + 55 = 4*v - b. Solve -5*n - v = 8 for n.
-4
Let j(y) = y**2 + 8*y + 9. Let l be j(-7). Let m(c) = -c - 1. Let s be m(-7). Suppose s = 2*g - 24. Solve -p - l*p - g = 0 for p.
-5
Suppose 2*h = 2*y - 3*h + 2, 3*h = -4*y + 22. Suppose 0*a = a + 2*v + y, 3*a = -v + 3. Solve -a*b + 15 = -5*b for b.
-5
Suppose 4*k - 7 = 4*c + 9, 4 = -2*c. Solve k*g + g = -6 for g.
-2
Let g(u) = -2*u**3 + u**2 + 2*u + 1. Let p be g(-1). Let v be 260/28 + p/(-7). Let r(h) = h**3 - 8*h**2 - 10*h + 9. Let l be r(v). Solve -4*q + 0*q = l for q.
0
Let g = -17 + 24. Suppose 4*b + 2*u - 19 = -b, -b = 4*u + g. Solve 3*c - 2*c - b = 0 for c.
5
Suppose 3*h = -3*j - 1 - 8, -2*h + 4*j + 18 = 0. Suppose -2*k + h = 3*f, 12 = -5*k + 2*k. Let o be (0 + (-2)/4)*-6. Solve -f*u + 6 + o = 0 for u.
3
Let p(y) = y + 13. Let x be p(-9). Solve 8 = -x*d + 2*d for d.
-4
Suppose -4*k - 1 = -17. Suppose 0 = k*h + h - 40. Let q be 17/3 + h/(-12). Solve -2*s + 6 = -q*s for s.
-2
Let n = 8 + -7. Solve 11 - n = -5*y for y.
-2
Let x(s) = s**2 + 10*s + 15. Let h be x(-10). Solve 0*t = -3*t + h for t.
5
Let i(f) = 4*f + 41. Let g be i(-8). Solve g = -4*a + 21 for a.
3
Let s be 14/(-5)*(-15)/6. Let l = -5 + s. Solve l*d - 7 + 1 = 0 for d.
3
Suppose 2 = 2*r + 8. Let y(f) be the third derivative of f**5/60 - f**3/2 - 17*f**2. Let p be y(r). Solve -w = 2*w - p for w.
2
Let p be 6 + 4 + 0 + 2. Suppose h + p = -2*h. Let s = 13 + h. Solve -s = 2*n + n for n.
-3
Suppose -m - 4*m = a + 15, 0 = -5*m - 15. Solve a = -3*v + 2*v + 3 for v.
3
Let k = 3 + -1. Suppose -2*h + 4 = -k. Let l(y) = -y + 2. Let r be l(2). Solve r = -h*a + 2*a + 1 for a.
1
Suppose -2 = -2*d + 6. Solve d*a + 12 = -0*a for a.
-3
Let b = -9 + 12. Solve -b*o = -o for o.
0
Let u be 1/(-4) - 102/(-24). Let p(o) = -o**3 - 6*o**2 - 4*o - 5. Let r be p(-6). Suppose -81 = -5*m + r. Solve u*q - m = -4 for q.
4
Suppose 0*o + o - 12 = 0. Suppose 3*q - 1 = -5*g - 59, -o = 2*q - 2*g. Let r = 17 + q. Solve 4*m - m = r for m.
2
Let z be 3 - ((-8)/10)/((-28)/(-70)). Solve 0 = -z*o - 12 + 27 for o.
3
Suppose -d = 2, d = -z - 0*z - 2. Let k = -20 - -22. Solve k*c - 13 + 5 = z for c.
4
Let k be 0 + (-3 - -9)/2. Suppose 0 = 5*q - k - 2. Solve -2*b + q = 3 for b.
-1
Suppose -g = -3*f - 7, 