 c*m + 2 = 4. Solve -o*s + 8 = -4 for s.
3
Let x = 20 + -17. Solve 3 + 6 = -x*i for i.
-3
Suppose -z - 7 = -3*c, 3*c + 3*z = -3 - 6. Let m be (-2 + c)/((-2)/10). Suppose -13 = -m*h - 3. Solve -2 = h*a + 4 for a.
-3
Suppose v = 2 - 0. Suppose 1 = v*d + 5, -d = -n + 3. Solve -h + 2 = -n for h.
3
Suppose 0 = 5*q + d - 498, q + 3*d - 100 = -6. Suppose c + q = 6*c. Suppose 4*f + c = n, -20 = -f + 5*f. Solve -2*x + 2 = -n for x.
1
Suppose 2*h = 6*h - 8. Suppose -5*g + 0 = -15. Solve -h*o - 25 = g*o for o.
-5
Let q = -91 - -93. Solve -q = -l - 4 for l.
-2
Suppose -5*a + 10 = -3*a. Suppose -4*m + 94 = 2*s, m + 2*s - 19 = -0*m. Solve -m = -a*q - 5 for q.
4
Suppose 0 = -5*a + d + 23, -4*a + 19 = -3*d - 6. Solve -a*c + 0 = -4 for c.
1
Let i = 13 + -9. Let l = 9 - 9. Suppose 0 = -2*f - l + 18. Solve -x - f = -i for x.
-5
Let j = -6 - -10. Suppose b + 11 = 2*i + i, -i = -j. Let g be ((-4)/(-12))/(b/6). Solve -r = g*r + 6 for r.
-2
Suppose -4*g + 66 = 2*r - 0*r, 3*g = -3*r + 57. Solve 2*y - 4 = -g for y.
-5
Let w be 1/(-3) - 96/(-18). Solve p = w*p + 4 for p.
-1
Suppose z = -2*z + 27. Suppose -2*t + 1 = -z. Let y be (t + -1)/((-4)/(-2)). Solve 0 = y*v - 0 + 2 for v.
-1
Let u(h) = 5 - 5 + 2*h**2 + 1. Let b be u(1). Suppose 0 = -3*n - 3*i, i - 2 = -b*n - i. Solve 0 = 5*g - n*g for g.
0
Suppose 4*g = g + 75. Let j be (-3 - -5 - 1)*4. Solve d - g = -j*d for d.
5
Let x(i) = -i**2 - i + 10. Let q be x(0). Let b(z) = 2 - 5*z - 8 + 2*z - z**2 - 4*z. Let v be b(-5). Solve v*j - q = -j for j.
2
Suppose -3*t - 4*o = -5*t + 56, 0 = -2*o - 10. Let n = t + -9. Suppose -4*v - 2*u = 3*u - 3, -5*u - 13 = -4*v. Solve z = -v*z - n for z.
-3
Let a be -4 - (-10 - (-4 - -8)). Solve 5 + a = -5*p for p.
-3
Let s be 0/(-9) + 1 + -1. Suppose -11 = 5*g + 9, f - 4*g - 18 = 0. Suppose 21 = 2*q - 3*t, -f*q - 2*q - t = -63. Solve s = -m + 6*m - q for m.
3
Suppose u - 5 = 0, 3 = -4*b - 2*u + 25. Solve y = b*y + 8 for y.
-4
Let v be 1/(-2)*0/(-2). Solve -5*q - 2 - 8 = v for q.
-2
Let p be (-11)/5 + 2 - (-7)/35. Solve -2*g - 8 = -p*g for g.
-4
Let o be -5*(2 - -1)/(-3). Solve 0 + o = -n for n.
-5
Let n(s) = s**2 + 11*s + 23. Let v be n(-9). Solve -1 = -3*p + v for p.
2
Let k(w) = w**3 - 14*w**2 + w - 10. Let i be k(14). Solve -r = -i*r - 15 for r.
-5
Suppose -b - 2*b = -60. Suppose 4*k = -a + b, 4*a - 4*k = -3*k + 12. Solve g = -a*g + 15 for g.
3
Suppose 3*m - 2*r - 38 = 0, 16 + 36 = 4*m - 3*r. Solve -7*s + 2*s = -m for s.
2
Let f(q) = 2*q**2 - 3*q + 2. Let v be f(4). Suppose -5*k + 57 = -2*k. Let c = k - 15. Solve -6 = c*p - v for p.
4
Suppose 0 = -4*f + 12, -l + 4*f = 4 - 1. Suppose 5*b + l = 24. Solve 0 = -r - b for r.
-3
Let a(b) = -b**3 - 3*b**2 + 4*b + 3. Let w(c) = -2*c - 1. Let v be w(-2). Suppose g + 1 = -v. Let l be a(g). Solve -6 = i - l for i.
-3
Suppose -x - 4 + 8 = 0. Solve x*t + 3 = 7 for t.
1
Let k be -5 - -7 - (-2)/2. Suppose 0 = k*p, 0*p = j + 5*p - 2. Solve j*f - 4 = 2 for f.
3
Let s = 16 + -16. Let j be s/(3/(-3)*2). Solve j*m - 4*m = -8 for m.
2
Let p be 4/12*3 + 45. Suppose -16 + p = 5*w. Solve -g = -w*g + 10 for g.
2
Suppose r - a = 1, 8*r - 3*r + 3*a - 21 = 0. Let y = 8 - 0. Solve y*v = r*v + 5 for v.
1
Suppose -d - 20 = -6*d. Let a = d - 0. Let j = -5 + 13. Solve a = 4*k - j for k.
3
Let b(d) be the third derivative of 0*d + 1/3*d**3 + 0 + 1/24*d**4 + 2*d**2. Let s be b(3). Solve 5*w - s - 5 = 0 for w.
2
Let q(f) = -f**2 + 10*f - 11. Let b be q(8). Solve -5*o - b = 20 for o.
-5
Suppose -s - 5*s = -12. Suppose s*h = 7 - 3. Solve 25 = -7*w + h*w for w.
-5
Let d = 2 + 3. Suppose 0 = -2*t - t + 4*l - 16, -d*l = -2*t - 20. Solve m = -t*m - 2 for m.
-2
Suppose -3*f - 3*d + 22 = -5*d, -3*d = 2*f - 6. Solve -f*z - 25 = -11*z for z.
5
Let b be 4 + (3 - 2)*-1. Let c = 4 - 2. Suppose 4*i - 14 = c*i. Solve -2 = -b*z + i for z.
3
Let u = -23 - -26. Solve 6*y - u*y = -3 for y.
-1
Let r be 5/(2 + 0 - 1). Suppose 3 - 8 = r*y. Let l be 1/2*(y - -9). Solve -l*f = 9 + 3 for f.
-3
Let f = -12 - -16. Suppose f*d + d = 0. Solve 0 = -d*p - 3*p for p.
0
Suppose -8 = m + 4*l, -2 = 4*m - l - 4. Solve -5*o + m*o = -15 for o.
3
Let x(v) = 3*v**2 + 9*v + 2. Let g be x(-3). Solve g = -4*m - 2 for m.
-1
Suppose 0 = -3*k - 2*k - i + 9, 0 = -5*k - 2*i + 8. Solve 3*h = -k*h for h.
0
Let h(b) = b**2 - 20*b + 19. Let g be h(19). Solve g*m - 2*m = 6 for m.
-3
Suppose p - 2 = -3*s, -p + 3*s + 1 + 7 = 0. Solve -9 = p*b - 2*b for b.
-3
Let w(u) = -u**3 - u + 15. Suppose -5*y = -3*v, 2*y + 2*y = v. Let s = y + 0. Let d be w(s). Solve d = 4*p + 3 for p.
3
Let z(c) = c + 6. Let w be z(-3). Solve -2*f - 4 = -w*f for f.
4
Let c(o) = -o**2 - 6*o - 6. Let t(n) = -n**2 - n + 2. Let u be t(2). Let x be c(u). Suppose -4*k = j - 20, -x*j - 7 = 2*k - 29. Solve -j = -i - 3*i for i.
2
Suppose b = 2*i - 0 + 1, -2*b + i = -14. Solve -4*u + b*u - 15 = 0 for u.
3
Suppose 0*s = 2*s. Suppose 4*u - 1 - 7 = 0, s = d - 4*u + 7. Solve 2*n = -3 + d for n.
-1
Let r = 126 + -126. Solve 2*a + 4 + 0 = r for a.
-2
Let s(u) = 2*u**2 + 6*u + 2. Let w be s(-3). Solve c = -5 + w for c.
-3
Let n(z) = -z - 4. Suppose 8 - 28 = 5*p. Let r be n(p). Suppose r = -2*y + y. Solve -o - o = y for o.
0
Let f be (0 - -1)*(-4 - -11). Solve -f + 2 = -c for c.
5
Let u(b) = -2*b. Let x(y) = y**2 + 6*y - 1. Let i be x(-6). Let o be u(i). Let g(l) = -l - 10. Let z be g(-11). Solve -o = -p + z for p.
3
Let a be -1*(-1)/((-2)/(-10)). Suppose -3*o + 10 = -a*v, 10 = -6*o + o - 5*v. Solve o = -2*n - 0 + 4 for n.
2
Let h(d) = 5*d**2 - 1. Suppose 0*r - 2*r = 20. Let k be r/14 - 4/14. Let g be h(k). Solve -b - 3*b = -g for b.
1
Suppose 0 = t + 5*w - 8, -w - 12 = -4*t - 43. Let r(f) = 2*f + 14. Let h be r(t). Solve h = -0*o + 3*o + 12 for o.
-4
Let t(h) = -h - 3. Let k be t(-5). Let c be (-1)/(3 - (-57)/(-18)). Let w = -6 + c. Solve w = -k*g - g - 6 for g.
-2
Suppose -37 = -2*k + 3. Suppose 0 = 3*g - 5*u - 8, -5*g - k = 3*u + 12. Let z be 111/21 - g/(-14). Solve 36 - 11 = z*r for r.
5
Let y(i) be the first derivative of 7*i**4/4 - i**3/3 + i**2/2 + 1. Let a be y(1). Let l(u) = -u**2 + 8*u - 3. Let n be l(a). Solve -n*s = -0*s - 20 for s.
5
Suppose -2 = b - 0. Let x(t) = -t**3 + 2*t**2 + 4*t + 3. Let w be x(b). Solve w - 5 = 3*q for q.
2
Let c = -4 - -5. Let r be (5 - c)*1 + 0. Suppose 6 = r*q - q. Solve -6*g + q*g = 0 for g.
0
Let h(y) be the second derivative of -y**5/20 + 5*y**4/12 - 3*y**2/2 + 4*y. Let x be h(4). Solve -4*k + x = 1 for k.
3
Let w(i) = 3*i**2 - 3*i + 7. Let a(u) = -u**2 - 1. Let z(l) = 4*a(l) + w(l). Let t be z(-3). Solve 0 = -t*h + 6 + 3 for h.
3
Let u = 2 - 8. Suppose -20 = -z - 2*s - 3*s, 2*z + 30 = 4*s. Let x = z - u. Solve -3*q + 8 + x = 0 for q.
3
Let q = 3 + -1. Let m be (-32)/(-6)*(-9)/(-6) - 2. Solve q*f + f = m for f.
2
Let q(y) = y**2 + 2*y + 1. Let n = -5 + 3. Let r be q(n). Suppose 0 = 2*w - 3 - r. Solve -m - w*m - 3 = 0 for m.
-1
Let r be 1 + -1 - (-6)/2. Suppose -2*c = -k - r, k = 5*k + 3*c - 32. Solve 0 = 4*q - 3*q + k for q.
-5
Let d be 0 + -2 + 1 + 2. Solve 3*x - 16 = -d for x.
5
Let n be 10/1*(-42)/(-105). Solve -n*g + 15 = 3 for g.
3
Suppose -4*l + 4 = -4, 5*l = 3*g - 5. Solve -w + g*w = -4 for w.
-1
Suppose -5*c + 29 - 9 = 0, 5 = -5*n - 5*c. Let s = n + 10. Let h(u) = -u**3 - 4*u**2 + 3*u - 5. Let p be h(-5). Solve -5*g - s = p for g.
-2
Suppose -3*s - 11 = -w - 0*s, -3*w - 4*s - 6 = 0. Let i be (w - -4)/((-8)/12). Let b = -4 - i. Solve -b*j = -j + 12 for j.
-3
Let s(n) = n**3 + 2*n**2 - 4*n - 3. Let x be (-2)/(-13) - 148/(-52). Suppose -2*w + w = x. Let f be s(w). Solve -2*l = 4 - f for l.
-2
Suppose 1 + 3 = -o. Let m be (2 - -1) + 8/o. Solve 4*u - m = 3*u for u.
1
Let u(z) = -z**2 - z + 5. Let k be u(0). Solve p = -4*p - k for p.
-1
Let t be (-26 - -1)*((-2)/(-5))/(-1). Solve t = 5*c - 5 for c.
3
Suppose -m - 6 + 7 = 0. Suppose 4*q + m = 3*l + 2*q, -2*l - 2*q = 16. Let r be 4 + (0 - (l + 1)). Solve -r*x + 4 = -4*x for x.
2
Suppose -x + v = 5*v - 11, 2*x - 2*v = 32. Solve -x = 4*p - 7 for p.
-2
Let y = 4 - -11. Solve -v - 4*v = y for v.
-3
Let v be 7 + (-5)/(5/4). Solve 0 = -v*t - t - 4 for t.
-1
Let b be (-4)/(-10) + (-106)/(-10). Let k be b - 2*3/6. Solve 5*g - k = -35 for g.
-5
Let x = 9 - 6. Suppose -x*z + 8 = -13. Let n = -3 + z. Solve 5 = n*u - 11 for u.
4
Let i be 9/((-2)/(-4) + 1). Suppose q - 17 = 3. Let l(u) = 