 -4 = -3*c + b. Suppose -4*g + t + 2*t + 21 = 0, c*t + 21 = 5*g. Solve 5*y = -g + 8 for y.
1
Let k(y) = y**2 + 7*y + 2. Let t be k(-7). Solve t*m - 10 = -3*m for m.
2
Let m(r) = r**2 - 2*r + 10. Let j be m(0). Suppose j = -c + 3*c. Solve 7 - 17 = -c*a for a.
2
Let h be (10*-2)/(2/(-4)). Suppose 4*b = -100 + h. Let q be ((-6)/b)/((-2)/(-30)). Solve a = q*a for a.
0
Let k(d) = -4*d - 1. Let s be k(-1). Solve 0 = -h + s*h - 8 for h.
4
Let g be (-1 - 0)*(-10 + 2). Suppose 37 = 3*n - g. Solve 4*q - n = -q for q.
3
Suppose 5*y - 5*q - 67 = -2, -4*y + 79 = 5*q. Let p(t) = -t - 1. Let v be p(-3). Solve 2*z + v*z = -y for z.
-4
Suppose -i + 14 = 5*x - 2, 3*i - 12 = -3*x. Solve x*n = -2 + 17 for n.
5
Let f = 2 - 2. Suppose f = -3*a - a. Solve a = -z + 1 + 2 for z.
3
Let n = -2 + 2. Suppose 3*h - 103 = -n*h + 2*v, 93 = 3*h + 3*v. Suppose 0 = -3*m - 4*p + 44, -6*p + p + h = m. Solve 4*r = m*r - 16 for r.
4
Let f be 4 + -1 + (-42)/3. Let k = f - -11. Solve k = 2*v + v + 12 for v.
-4
Let c(f) = 2*f**3 - f**2 - 2*f - 1. Let n be c(-2). Let d = n - -19. Solve -d*y - 2 - 4 = 0 for y.
-3
Let a be (63/(-6))/(2/(-4)). Let c = a + -14. Let q = c - 5. Solve -d = -3 - q for d.
5
Suppose 5 = -4*n - n, 0 = -w + 2*n + 5. Let c = -25 - -37. Suppose -3*k + c = -w. Solve -k*a + 14 = -11 for a.
5
Let i be ((-12)/9 + 1)/((-3)/36). Solve -3*r - i = -19 for r.
5
Suppose -2 + 0 = 2*d. Let w be 1 - (d + 1 - 2). Solve -4 = w*q - q for q.
-2
Suppose -8*s + 2*s = -12. Solve -5*m + 3 = -s for m.
1
Let h = 21 + -15. Solve -2 - h = 4*m for m.
-2
Let r(w) = 59*w**2 + 1. Let d be r(1). Suppose 3*t + t - d = 0. Let n be (18/t)/(6/20). Solve -s = s - n for s.
2
Let z = -21 - -25. Solve 0 = -0*u + z*u - 12 for u.
3
Let u be (-6)/(-21) - (-102)/(-14). Let s(y) = -y**3 - 7*y**2. Let x be s(u). Let l be ((-2)/(-3))/(2/12). Solve l*o - o + 9 = x for o.
-3
Suppose 0*f = 4*f - g + 44, -3*g = 3*f + 48. Let r be 3/(-2)*(-16)/f. Let j be 2*(-3 + 1)/r. Solve 0 = j*n - n + 4 for n.
-4
Let k(v) = -v**3 - 7*v**2 + v + 10. Let l be k(-7). Suppose -l*f = -110 - 79. Suppose -5*u + f = -d, -16 + 1 = -2*u - 3*d. Solve 0 = -5*w + u + 3 for w.
3
Let m(a) = a - 3. Let f be m(6). Solve 0 = -f*d + d - 4 for d.
-2
Let o = -18 - -22. Suppose -q + o*q = 5*z + 32, -4*q - z = -12. Solve -2*i + 3*i = q for i.
4
Suppose -6*k + 4*k + 20 = 0. Let x = -3 + k. Suppose -x = -3*j - o, -2*o = -j - 4*o - 6. Solve j*p + 7 = 27 for p.
5
Let v = 5 - 3. Suppose 6 = 4*t - v*t. Solve -4*l = t + 13 for l.
-4
Let x = 7 + -4. Let y = x - 8. Let f = 8 + y. Solve 0 = 3*w - f for w.
1
Suppose -16 = 2*w - 4*d, 0 = -2*w - 5*d + d + 24. Solve x - w = 3*x for x.
-1
Let g = -8 + 8. Let q = -10 - -16. Solve 0 = -g*n - 2*n - q for n.
-3
Let z = -2 - -12. Let i = z + -7. Solve 2*b + 1 = i for b.
1
Suppose -19 + 6 = -3*i - n, -4*i + 5*n + 11 = 0. Let d be (6/(-10))/(1/(-5)). Suppose -i*u + 8 = 0, d*l - 6*u = -2*u + 10. Solve 4*c = l*c for c.
0
Suppose w = 6*w - 165. Solve -5*t + 8 = w for t.
-5
Let n(j) = j**2 - 4*j + 5. Let u be n(2). Let p(r) = 3*r - 3. Let d be p(2). Let o be (-2)/(-8) + (-1)/4. Solve o = -y + u - d for y.
-2
Suppose 4*o = 8, -4*p + 40 = 5*o - o. Suppose 25 = 4*x + x, -2*x = -i - p. Suppose -84 = -4*j - i*d, -j + 4*j - 65 = -d. Solve -3 = -4*y - j for y.
-5
Let j = 1 - -4. Suppose j = -p, 0 = 5*i + 5*p - p - 190. Let w be i/24 + 2/8. Solve -w*q = q for q.
0
Let d(w) = -w**3 - 3*w**2 + 3*w - 4. Let p be d(-4). Solve p = -s + 2*s for s.
0
Suppose -j + 2*w = 2*j - 4, 4*w = -4*j - 8. Suppose -2*c - c = j. Solve 2*h + 0 + 6 = c for h.
-3
Suppose -r - 3 + 3 = 0. Solve -2*y = -r*y + 6 for y.
-3
Let h(n) = -4*n + 20. Let d be h(5). Solve -3*g - 2*g = d for g.
0
Let z = -54 + 54. Solve 3*g + z*g = 9 for g.
3
Suppose 0*p = 3*p - 24. Let r(j) = j**3 - 8*j**2 + j + 4. Let b be r(p). Let z(n) = n. Let a be z(3). Solve 0 + b = -a*i for i.
-4
Let a(y) = -y**3 + 6*y**2 - 6*y + 6. Let u be a(5). Let n be -2 - -5 - (4/2 - 1). Solve 0 = -r + n*r + u for r.
-1
Let y(t) = 2*t. Let a be y(-5). Let d(w) = -3*w - 7. Let s be d(1). Let v = a - s. Solve z + 3*z = v for z.
0
Let o(f) = f**2 - 5*f + 3. Let m be o(7). Let n(a) = 2*a**3 - 4*a**2 + 3*a - 1. Let y be n(2). Suppose 0 = 3*u + y - m. Solve v - u = 2*v for v.
-4
Let u(o) = -3*o**3 + 0*o**3 + 4*o**3 - 6*o + 2 - 5*o**2. Let h be u(6). Suppose 12 = h*x + x. Solve -z + 10 = x*z for z.
2
Let c(q) = -q**2 - 2*q. Let d be c(-3). Let k = 0 - d. Let b be (5/3)/5*(-6)/(-2). Solve -k*o + 4 = b for o.
1
Let r(a) = -a**2 - 7*a + 3. Let i be r(-6). Suppose 29 = 5*y + i. Solve y*n - 15 = 1 for n.
4
Let v be (-5)/((-10)/(-1))*-4. Solve 18 - 8 = -v*p for p.
-5
Let m(i) = -i**2 - 16*i + 43. Let f be m(-18). Let w(d) = -d + 2. Let b be w(-3). Solve f = b*v - 8 for v.
3
Suppose 4*k - 10 - 4 = -2*f, 3*k + f - 10 = 0. Solve k*t - 13 + 1 = 0 for t.
4
Let s = -48 + 52. Solve 5*t - t - s = 0 for t.
1
Let i = 62 + -59. Solve 4*n = i*n - 4 for n.
-4
Suppose 4*i = -f + 12 - 3, -f - 27 = -5*i. Let m(c) = c**3 + 6*c**2 - 9*c - 10. Let v be m(f). Solve v = -a + 2*a for a.
4
Let o(d) = d**3 + 12*d**2 + 9*d - 22. Let s be o(-11). Solve 2*b = -s*b for b.
0
Suppose -8*s + 3*s = 5*l + 15, -2*l + 5*s - 27 = 0. Let q be (l - 0)/(21/(-14)). Solve f + q*f = -20 for f.
-4
Suppose 2*d - 11 = 1. Let v be ((-20)/d)/(2/(-6)). Solve -2*n - v = 3*n for n.
-2
Let s = 8 - 9. Let q be s/2 + (-18)/(-4). Solve -y - 5 = -q for y.
-1
Let r = -19 - -6. Let q = -9 - r. Let d = -3 + q. Solve 3 = h + d for h.
2
Suppose 0 = -3*o + 3*i - 9, 5*i - 26 = -o + 1. Suppose 0 = 5*m + l - 25, -o*m - m - 2*l = -15. Solve 0 - m = -y for y.
5
Let j be 2/(-4)*(-12 + 2). Solve j*c = c + 8 for c.
2
Let n be 2/(-6) - (-28)/12. Suppose n*b + 0*b = 8. Suppose -2*a - 10 = -b*j, 0 = -j + a + 1 - 0. Solve -j*o + 28 = 12 for o.
4
Suppose 0 = -4*q - 4*g + 2*g, 0 = 3*g. Solve s + s - 4 = q for s.
2
Suppose 0 = -o - 3*o + 8. Let b be 2/((-1)/(-2) - 0). Suppose 8 = b*z - 4. Solve o*n - z = 7 for n.
5
Let y be 5/((-15)/(-6)) + 1. Suppose y = -3*c + 12. Solve 0*g + c*g + 12 = 0 for g.
-4
Let d = -1 - -7. Suppose -2*v + d = 2*v + r, -6 = 4*v - 5*r. Solve v = 2*w - 3 for w.
2
Let f be (1 + 0)*(7 + -2). Suppose 30 = -0*u - f*u. Let r be (4/(-5))/(u/30). Solve q = -r*q for q.
0
Let x(s) = -4*s - 1. Let u be x(4). Let w = u + 20. Solve -f + 4*f - w = 0 for f.
1
Suppose 0 = -5*f - 0*o - 5*o - 5, 1 = -f - 3*o. Let x be 6*1 - (3 + f). Solve -x*n - 8 + 0 = 0 for n.
-2
Suppose 4*k + 8 + 12 = 0. Let v(l) = -l**2 + 3*l - 3. Let n be v(2). Let h = n - k. Solve 4*x = -12 + h for x.
-2
Let a = 9 - 6. Suppose a*l + l = 0. Solve l*p - 4*p = -12 for p.
3
Let g be (8/(-24))/(1/(-6)). Suppose -d + 7*p - 1 = g*p, 5*d = p + 19. Suppose -2*z - d = -10. Solve z + 1 = -j for j.
-4
Let d = -25 + 27. Solve -z - z - d = 0 for z.
-1
Let z be (-3 + 2 - 1)*-4. Let q = 8 - z. Solve q = r + 1 + 2 for r.
-3
Suppose -24 = -2*l + 24. Suppose -1 - l = -5*p. Solve -p = 7*h - 2*h for h.
-1
Let u be 3 + (-3 - -4)/1. Suppose u*h = -h. Suppose -3*n + 15 + 3 = h. Solve 2*y + y = -n for y.
-2
Let c = 22 - 17. Solve c*z + 5 = 6*z for z.
5
Let r(g) = -2*g + 2. Let v be r(-1). Solve v = u + 1 for u.
3
Let j = 123 - 108. Solve 0 + j = -3*x for x.
-5
Let f(r) = -r**2 - 8*r - 12. Let n be f(-6). Solve g - 4 + 1 = n for g.
3
Suppose 4*p + 2*w - 7 = 3*w, 0 = 2*p + 4*w - 26. Solve 2*l - p = 5 for l.
4
Let h = 9 - 7. Solve -1 - h = 3*b for b.
-1
Let j = -2 - -5. Solve j*q - 12 = -q for q.
3
Let o(m) = -m - 8. Let s be o(-13). Suppose -15 = -s*x + i - 6*i, -5*i + 3 = -x. Solve -6 = -x*r + 4*r for r.
-3
Let r = 8 + -5. Let q(u) = u. Let v be q(r). Suppose -4*p - 4 = 3*k - 5, -3*k = 3*p - v. Solve 4*x - x + k = 0 for x.
-1
Let x(c) be the second derivative of -c**4/12 - 11*c**3/6 + 7*c**2 + 6*c. Let h be x(-12). Solve -h = 4*i + 18 for i.
-5
Let y = -7 + 11. Let p(i) = -i**2 + 5*i - 4. Let m be p(4). Suppose 2*l + 2 = 4*n, -3*l - 4*n + 26 + 1 = m. Solve -y*a - l = 15 for a.
-5
Suppose -15 = 3*a - 2*a. Let g = a + 8. Let b(z) = -z**3 - 8*z**2 - 6*z + 9. Let x be b(g). Solve -n = n + x for n.
-1
Suppose -10 = -z - 6. Let g be 3/z + 182/56. Suppose 3*m - 22 + 7 = 0, -5*x + 4*m = 20. Solve -20 = g*d - x for d.
-5
Suppose 17 = -3*o + 23. Solve -o*w = 2*w - 4 for w.
1
Let n(r) = 4 + 11*r - 4 - 10*r. Let s be 1/4 - (-2)/(-8). Let p be n(s