4 = r - 4*f + 1. Suppose 7 = 4*b - 3*c + 1, -r = b - 5*c. Solve -x = -b - 1 for x.
4
Let c = 8 + -4. Suppose 3*a = -c*y + 24, 5*a - 22 = 2*y - 8. Solve -d = 2 - a for d.
2
Let n = -22 + 23. Solve -b - n = -0*b for b.
-1
Suppose 0 = 12*z - 7*z - 25. Suppose z*g - 2*g + 5*h - 11 = 0, -h = -2*g + 3. Solve -4*n + g = -2 for n.
1
Let l(d) = -d**3 + 6*d**2 + 8*d - 5. Let m be l(7). Suppose -3*g + z + 4*z + 12 = 0, 0 = -g - m*z + 4. Solve 0*f - g = f for f.
-4
Suppose -w + 12 = w. Let f be (-2)/w - 49/(-3). Let t = -96 - -102. Solve 2*o - t = -f for o.
-5
Suppose 3*m - 12 = -6. Solve -m*r = -6*r for r.
0
Let d(i) = -3*i**2 - 17*i + 8. Let g be d(-6). Solve -g*x - x = 0 for x.
0
Let p be ((0 + 10)/1)/(-2 - -4). Solve p*f - 21 = 4 for f.
5
Let o be (-10)/(-6)*(-10 + 13). Solve 8 = o*k - 7 for k.
3
Let b = 18 - 16. Solve b + 0 = o for o.
2
Suppose 0 = -0*h - 3*h + 2*n + 24, 4*n - 42 = -3*h. Let f = h - 4. Solve 0 = -2*r + f*r for r.
0
Suppose 12 = x - 2*a, 3*x - 2*a - 6 = 10. Solve 0 = -3*z - x*z - 5 for z.
-1
Let v be (-3)/(-9) + 91/(-3). Let z be 20/(-15)*v/4. Suppose -4*c = -z - 2. Solve 0*a + c*a - 9 = 0 for a.
3
Let j(a) = a**2 + 3*a - 8. Let w be j(-7). Let v(p) = -3*p + 3. Let b be v(0). Solve k = -b*k - w for k.
-5
Suppose -4*x - 8 = -2*i - 2*x, -3*i = 2*x - 7. Suppose -i*r = -r + 6. Let f be r/(-12) + 79/4. Solve -4*d + f = d for d.
4
Suppose z = -3*r + 8, 0*z - 5*r + 18 = 4*z. Suppose z*k - 30 = 4*j, 3*k + 2*k - 35 = 2*j. Solve -k*q - 1 = 9 for q.
-2
Let b(c) = -c + 5. Let x be b(3). Suppose 0 = p - 24 + 9. Solve -x*o = 3*o - p for o.
3
Let r(m) = -m - 6. Let n be r(-8). Let a be (2 - n) + 1 + 3. Suppose a*u = -u. Solve u = -f + 1 + 1 for f.
2
Let o = 3 + 2. Suppose -4*x + x = -18. Suppose -5*y + x = -2*y. Solve -o = -z - y for z.
3
Let d be (12/18)/(4/6). Let i(g) = 3*g**3 - g + 1. Let h be i(d). Let n(p) = p**3 - 4*p**2 + 3*p + 4. Let q be n(h). Solve 0 = k - 3*k - q for k.
-2
Suppose -2*h - 43 + 7 = 0. Let a = -8 - h. Let u be ((-5)/(a/16))/(-2). Solve -3 + 15 = -u*v for v.
-3
Let o(g) = g. Let v be o(0). Solve -1 + v = -j for j.
1
Let v(h) = h - 1. Let d be v(3). Let t = d - -4. Solve -m = 2*m + t for m.
-2
Suppose 0 = -r + 2 + 3. Solve -4 + 19 = -r*m for m.
-3
Let z(m) = -2*m**2 + 3*m + 3. Suppose 0 = -2*d - 4*y - 3 + 15, -4*y + 16 = 0. Let f be z(d). Let x = 15 + f. Solve 6 = -x*n - 2 for n.
-2
Let m be (-2)/8 + 225/36. Let b be ((-21)/m - -3)*0. Solve b*n + 15 = 5*n for n.
3
Let h(s) = s**3 + 3*s**2 + 3*s + 4. Let g be h(-4). Let l = -17 - g. Solve 0 = 5*r + 3 + l for r.
-2
Suppose 0 = 4*x + 3 - 11. Suppose -x*h + p + 0*p + 10 = 0, 3*h = -p + 10. Solve -3*t - h = -2*t for t.
-4
Let y = 84 + -84. Solve -u + 1 + 3 = y for u.
4
Let d(q) = q**2 + 6*q + 4. Let y be d(-8). Solve 3*c - y = 7*c for c.
-5
Suppose -3*b - b + 16 = 0. Solve -3 = -3*v + b*v for v.
-3
Let p(c) be the third derivative of -c**6/120 + 7*c**5/60 + 5*c**3/6 - 5*c**2. Let y be p(7). Solve -y + 0 = i for i.
-5
Let s be 5/(15/(-9)) + 3. Suppose s*i - 9 = -3*i. Solve 4*k - i*k = -3 for k.
-3
Let b be (-12)/(-27)*3*3. Suppose -6 = -b*l + 2*l. Solve -3 = -l*a + 3 for a.
2
Let v = -1 + 2. Let s = 158 - 155. Solve -j + s = v for j.
2
Let z be 4/10 - (-26)/10. Suppose 7*g - 19 = z*u + 2*g, 21 = -2*u + 5*g. Let a be (1 - 1) + u/1. Solve -20 = -3*c - a*c for c.
4
Suppose 0*f = -2*f + 10. Suppose 0 = 2*n - 9 + f. Solve k + n*k + 15 = 0 for k.
-5
Suppose -6*f + 12 + 36 = 0. Solve 5*i - 2 - f = 0 for i.
2
Suppose 22 = -2*n + 4. Let b = -5 - n. Suppose -5*g - 5*d = -g - 15, -g = -b*d + 12. Solve g = 2*c + c - 3 for c.
1
Let y(d) = d**3 - 12*d**2 + 14*d - 33. Let s be y(11). Solve s = -3*c + 4*c + 5 for c.
-5
Suppose j - 14 = -5*g, j = 5*g - 2*j + 2. Suppose 0 = -2*d - g*d - 48. Let b = -5 - d. Solve 3*i - b - 5 = 0 for i.
4
Let a be 1 + (3 + 4 - -2). Let v be (-80)/12*(-12)/a. Solve 3 = t + v for t.
-5
Suppose 5*k + 0 = -s + 5, 30 = 5*k - 4*s. Solve -k*r + 7*r + 10 = 0 for r.
-2
Let m(x) = -22*x - 4. Let z(t) = -11*t - 2. Let p(o) = 3*m(o) - 5*z(o). Let n be p(-2). Solve j - n = -3*j for j.
5
Suppose -25 = -5*k - 5*c, -4*k + 16 + 8 = 5*c. Suppose 4*b - k = s + 1, -5*b = -5*s + 20. Solve 0 = -s*o + o - 25 for o.
-5
Suppose 11 = -8*x + 4*x + 5*p, 2*x + 1 = p. Solve 3*m - 4 = -x for m.
1
Let h be (12/(-10))/((-4)/20). Solve 2*o + h = 2 for o.
-2
Suppose s + 3*g = -5, -4*s = -5*g - 5 - 9. Suppose 0 = 2*i - 3*m - s, -m + 4 = 3*i - 3*m. Let a be i - (1 - 2 - 0). Solve a*h = -0*h for h.
0
Let r be (4/((-12)/15))/(-1). Let y = 2 + r. Let m = 2 + y. Solve -5*c - m = 6 for c.
-3
Let q = -52 + 58. Solve -3 + q = -n for n.
-3
Suppose 0 = -3*y + 3*z + 27, 2*y + 2*z + 33 = 7*y. Suppose 7*m - 15 = 4*m. Suppose -4*o + 28 = 4*n, m*o - 9 = -2*n + 29. Solve -j = -y*j + o for j.
2
Let s be -38 + (-5)/((-15)/12). Let i = -14 - s. Solve 5*y - i = -0*y for y.
4
Let k(t) = t**2 + 9*t + 8. Let s be k(-8). Suppose 35 = 8*a - 13. Solve s*d - a = -2*d for d.
3
Suppose q = -17 + 4. Let o = 15 + q. Solve 0 = -o*r + r + 4 for r.
4
Suppose -4*a = 1 + 3. Let q(y) = y + 1. Let i be q(a). Let z be 2 - (i - 1) - 0. Solve 0 = -w - z*w for w.
0
Suppose -z - 4 = -8. Suppose -m = -3*u + 11, -z*u + 21 = 4*m - 3*u. Solve -m = -w - 0*w for w.
4
Suppose -8*c + 3 = -5*c. Solve 9 - c = -2*q for q.
-4
Let o(c) = -c**3 + 7*c**2 - 7*c + 5. Let x(m) = -2*m**3 + 14*m**2 - 14*m + 9. Let l(t) = 7*o(t) - 4*x(t). Let g be l(6). Solve 3*v - g + 2 = 0 for v.
1
Suppose 3*g = -0 + 6. Solve -g*a - 1 = 3 for a.
-2
Let j = -17 - -24. Let f = 2 + j. Solve 4*v = v - f for v.
-3
Let z(w) = -w + 3. Let f be z(-7). Solve -f = -3*j - 2*j for j.
2
Suppose -2*n + m = -3, 0*m - 3*m = 3*n - 9. Let t be (-6 + n)*3/(-6). Solve 0*d = -2*d - t for d.
-1
Suppose m = -0*m. Suppose -3*t - t + 8 = m. Let r = 5 - 3. Solve q = t*q - r for q.
2
Let d = -21 - -30. Let q be (12/(-10))/(18/(-60)). Solve d = -q*w - 7 for w.
-4
Let r be (-57)/(-6) + (-2)/4. Let i be (r/12)/((-1)/(-56)). Suppose -54 - 4 = -5*t - c, 3*t - 3*c = i. Solve -t = 6*u - 2*u for u.
-3
Suppose 0 = 5*a - 26 - 144. Suppose 5*h + 16 = c, c - a = -3*c + 5*h. Solve j - c*j = 0 for j.
0
Let z(m) be the first derivative of -m**2 - 3*m - 1. Let w be z(-5). Solve -w = 4*n + 13 for n.
-5
Suppose 3*u + k = 17, -3*k = 3*u - 6*u + 21. Suppose -4*c = -u - 6. Suppose c*s + 1 = 7. Solve 3 = x + s for x.
1
Let z(l) be the third derivative of l**6/120 + l**5/12 + l**4/12 - 2*l**3/3 + l**2. Let a be z(-4). Solve -p - 3*p + a = 0 for p.
1
Let x be (-11)/(11/(-8)) + (-4 - -1). Solve 0 = -4*q + 17 - x for q.
3
Suppose -4*w = 2*p - 7*p - 32, 5*w = -p + 11. Let i = 1 + -8. Let g be 5 + -7 - (i - -2). Solve w*y + 0*y = g for y.
1
Let w(p) = -p**2 - 7*p + 2. Let u(g) be the second derivative of -g**4/12 - g**3/3 - 3*g**2/2 + 3*g. Let f be u(-3). Let m be w(f). Solve l = -l - m for l.
-4
Let r(u) = u**2 - 6*u + 1. Suppose -4*y + 28 = -4*p, 2*y = y - 4*p + 2. Let l be r(y). Suppose -5*b + 6 + 24 = 0. Solve -h - l = -b for h.
5
Let y be (-2)/(-12) + (-207)/(-54). Let v = 2 - y. Let o = -1 - v. Solve -3 = 2*m + o for m.
-2
Suppose i - 8 = -2*k, 0 = 6*k - 7*k + 5*i + 26. Solve 33 = k*n + 9 for n.
4
Let b(d) = -d**2 + 4*d - 2 - d + 3*d. Let r be b(4). Let c(a) = a - 2. Let x be c(r). Solve -2*y - 8 = -x for y.
-2
Let l(d) = d + 2. Let m be l(-4). Let n = -2 - m. Suppose -u = -n*u. Solve u = -3*w - 1 + 7 for w.
2
Suppose m = 4*m. Let a(t) = -t**3 - t**2 - t. Let x be a(m). Suppose -5*d + 2 + 8 = x. Solve d*h + h = 0 for h.
0
Let g = -6 + 3. Let q be -4*((-45)/12 - g). Solve 0 = -q*u + 6*u - 9 for u.
3
Suppose -6 = -4*o - 78. Let q be o/(-2)*(-4)/(-12). Solve -3*y - q = -2*y for y.
-3
Suppose -4*p = -d + p, -d + 21 = 2*p. Solve -d = 4*c + 5 for c.
-5
Let g(w) = 2*w + 9. Let m = -3 + -1. Let i be g(m). Solve -16 + i = 3*d for d.
-5
Let v(x) be the first derivative of -x**4/4 - 5*x**3/3 + 5*x**2/2 - 6*x - 5. Let m be v(-6). Solve m = y + 4*y for y.
0
Let h(c) = 36*c + 1. Let f be h(1). Let g = f + -19. Suppose -3*r - 10 = -5*r. Solve -g - 7 = r*z for z.
-5
Suppose 3*d + 1 = 2*d. Let w be (9 - 9)/(3*d). Solve w = o - 0 + 3 for o.
-3
Let r be 2*(-3 - (-18)/4). Suppose -2*j - 21 + r = 0. Let s = j - -10. Solve -c = -0 + s for c.
-1
Suppose 2*r = -3*f + 10, -3 + 11 = f - 4*r. Solve f*t = t + 12 for t.
4
Suppose -s - 77 = -81. Solve 0