 = -3 - d for c.
4
Suppose -15*i + 12*i = -15. Solve -n + i*n - 4 = 0 for n.
1
Suppose w - 24 = -0*w + 4*m, 5*m = -25. Let j(y) = -y**2 + 6*y - 6. Suppose 4*v + 0*v - 16 = 0. Let o be j(v). Solve o*x = x + w for x.
4
Let j(i) = 2 + i**2 - 2*i + 1 - i. Suppose 9 = p - 2*l, 3*l - 2*l = -p. Let v be j(p). Solve -v = -x + 2*x for x.
-3
Suppose -2*x = -6 + 2. Solve -x*z - 20 = 3*z for z.
-4
Suppose -y = y - 5*q + 11, 0 = -3*q + 9. Solve -y*k = -4*k + 2 for k.
1
Suppose 2*g - 4 = x, 4*x - g = -0 - 2. Solve -c - 5 + x = 0 for c.
-5
Suppose -c = -6*c + 35. Suppose -15 = -8*v + 5*v. Suppose 6*o - v*o - 9 = 0. Solve 4*h - c - o = 0 for h.
4
Let r = -22 - -28. Solve r*o = 2*o - 8 for o.
-2
Suppose -6*o + o = -15. Suppose m + m + i = 2, 0 = -4*m - o*i + 2. Solve 0 = m*z - 0 - 2 for z.
1
Suppose 2*r - 12 = r. Solve r = 3*v - 6*v for v.
-4
Let g = -4 - -1. Let b = -2 - g. Let u be ((-6)/(-8))/(140/32 + -4). Solve -y = -u*y - b for y.
-1
Suppose -4*b - b = -20. Suppose z + b*z + 15 = -4*m, 0 = -2*m + 5*z + 15. Solve -3*a - 3 = -m*a for a.
-1
Let r(l) = -2*l - 6. Let h be r(-5). Solve -3 = h*z - z for z.
-1
Suppose t = 5*t - 20. Suppose 4*f + 2 = 3*w, t*w + 0*f + 3*f + 45 = 0. Let c(q) = -q**2 - 6*q. Let i be c(w). Solve 2*b - 1 + 5 = i for b.
-2
Let z = 29 + -5. Solve -z = -5*d - 4 for d.
4
Suppose g = -3*g. Solve 3*b - 4 + 10 = g for b.
-2
Let f = 3 + 1. Let i(y) = y**3 - 4*y**2 + 2*y - 4. Let h be i(f). Solve 5 = -h*m - 3 for m.
-2
Let x be ((-75)/12)/(-5)*4. Suppose i - x = -0*i. Solve -2*r = -r - i for r.
5
Let q(s) = -s + 15. Let p be q(13). Solve -12 = 5*t - p for t.
-2
Suppose -3*l - 3*d = -9, 2*l + 1 = -0*l + 5*d. Let j = 1 - 1. Suppose j*f = 4*f - 28. Solve -f + l = b for b.
-5
Suppose -5*s - 96 - 1 = -4*i, 90 = 4*i + 2*s. Solve 2 = -5*x - i for x.
-5
Let t = -5 + 5. Solve 0*y + 2*y + 4 = t for y.
-2
Suppose 12 = -4*k, -2*k = -b + 13 - 4. Suppose b*f + 2 = r, 0*r + 4*r = 3*f + 8. Suppose r*t - 13 = -3*v, 0 = v - t - 1 - 0. Solve 0*x - 15 = v*x for x.
-5
Let c = 19 + -12. Let u = c - 6. Solve 0 = -w - u for w.
-1
Suppose 0 = -x + 3*p - 11, 2*x + 6*p - 3*p = 23. Suppose -11 = 2*i - 1, 4 = x*r + 4*i. Let m = 0 + r. Solve -2*y = -m*y + 4 for y.
1
Let j(x) = x**2 - 3*x - 1. Let r be j(4). Suppose 2*b - 5*s = 51, 0 = 2*b + 2*b + 5*s - 57. Solve 3*d = b - r for d.
5
Let i = 30 + -18. Suppose i + 11 = 3*d - 5*r, 10 = 2*d - 2*r. Suppose 2*l + 2 - 6 = 0. Solve y = l + d for y.
3
Let u(i) = i. Let g(w) = -w - 6. Let p(n) = g(n) + 2*u(n). Let b be p(6). Solve 0 = x - b + 3 for x.
-3
Let c(z) = -z**2 + 10*z - 7. Let s be c(9). Let t(b) = -b**3 - 6*b**2 - 4*b + 6. Let r be t(-5). Solve -g + s = -r for g.
3
Let s(z) = z**2 - 2*z + 4. Let q be s(0). Solve q*p - 25 = -p for p.
5
Suppose 0*r + 9 = 3*r. Suppose r*d = 4*z + 6, d - 4 = 3*z - 2. Solve 0*n + n - 1 = z for n.
1
Suppose 4*j = 5*j - 1. Let t = 4 - -1. Suppose -t*b + 0*k = k, -4*k = 0. Solve 0 = p - b - j for p.
1
Let b = 4 + -4. Let p(k) = -k**3 + 5. Let f be p(b). Suppose -3*j = 3*i + 2*j + 1, i + 7 = -f*j. Solve -2*d - i = -d for d.
-3
Suppose 4*u + 18 = -10. Let v(t) = -t**3 - 6*t**2 + 7*t. Let h be v(u). Solve -1 + h = s for s.
-1
Suppose -2*h - 3 + 0 = u, 0 = 2*h - u + 5. Let a = 0 - h. Solve 2 = -a*k - 0 for k.
-1
Suppose -k - 18 = 3*z, 4*k - 5*k - 13 = 2*z. Let r = k + 5. Solve r*w + 15 = -3*w for w.
-3
Let k(y) = 3*y - 6. Let x = 17 + -12. Let j be k(x). Let b(h) = -h + 8. Let i be b(6). Solve i*s + s = -j for s.
-3
Let j(o) = 9*o**3 + o. Let y be j(1). Solve f - 3*f = y for f.
-5
Let n = 6 - 5. Let l be n/(2/((-24)/(-3))). Solve -z + 2 - l = 0 for z.
-2
Let s(q) = q**3 - 2*q**2 - q - 3. Let f be s(3). Suppose n = 4*y + 19, f*n - 2*n + y + 1 = 0. Let w be (n + -4)/((-1)/2). Solve -w*i + 3 = i for i.
1
Let y = -3 + 7. Solve 0 = -0*c - y*c + 8 for c.
2
Let n(v) = v**2 + 5*v - 6. Let g be n(-7). Let j be (-2)/(-1) + -1 + g. Solve -25 = -4*h - j for h.
4
Let s(d) = d + 17. Let c be s(-8). Let k(j) = -j + 13. Let b be k(c). Solve 2*w = 4 + b for w.
4
Let o(q) = q + 3. Let p be o(0). Let r(d) = d**2 + d - 10. Let l be r(3). Solve l*t = -t - p for t.
-1
Suppose 0 = i - a + 3, -3*a - 2*a = -5. Let k be (18/(-21))/(i/14). Solve 0*y + 3*y = k for y.
2
Let r(d) = 4*d - 1. Let u be r(2). Let q = u - 5. Solve -3*n = -q*n for n.
0
Let x(o) = o**3 + 5*o**2 - 5*o + 5. Let f be x(-6). Let r be (-6)/(-2)*f/(-1). Let m(n) = -n**3 - 10*n**2 - n - 8. Let i be m(-10). Solve q + i = r*q for q.
1
Let s(b) = -2*b - 15. Let w be s(-7). Let p be (w/2)/((-1)/12). Solve 3*n + p = n for n.
-3
Let y(l) = l**3 + l + 3. Let o be y(0). Suppose 4*m = -5*t + 108, -5*t + o*m + 126 = m. Let n = t - 17. Solve -n*k + 2*k = -15 for k.
3
Let t be 63/(7 - 4) - 4. Let f = 19 - t. Solve -2*z + f = -z for z.
2
Let l(r) = -2*r - 16. Let f be l(-11). Suppose -3*d + 15 = 2*d, -2*d + f = -m. Solve m = -g - 1 - 1 for g.
-2
Let g be (0 - 0)*9/9. Solve g = 3*z - 7*z for z.
0
Suppose n - 2*n + 24 = 5*y, -16 = -3*y - n. Let m be y/6 + (-4)/(-3). Let w = m + -1. Solve 0*d = d + w for d.
-1
Suppose 9 + 7 = 2*f. Let w = -50 + 53. Solve f = -w*o + 7*o for o.
2
Let l = 19 - 15. Solve -l*i + 25 = i for i.
5
Let x(h) = -h**2 - 8*h - 7. Let q be x(-5). Let w = -3 + q. Solve -w*p + 0 = 15 for p.
-3
Suppose -5*z + 0*i - 14 = 4*i, -3*z = -5*i + 1. Let d be 16/12*(-3)/z. Solve 1 = -d*x - 9 for x.
-5
Suppose -6*h = -12*h + 24. Solve -5*v + h = -3*v for v.
2
Suppose b + 2*b - 38 = -4*r, 4*r - 34 = -5*b. Suppose -4*s - r = -5*s + 2*n, -3*s + 3*n + 18 = 0. Solve -l + s - 2 = 0 for l.
-1
Suppose 3*f - 12 = -3*f. Solve 8 = 4*o - f*o for o.
4
Let n(a) = a**3 - 10*a**2 + 7*a + 9. Let q be n(9). Suppose -4*m - 2*k = -62, -14 = -5*m + k + 60. Let f = m + q. Solve f*b = 5*b for b.
0
Suppose -30 = -0*x - 3*x - a, -x - 2*a = -10. Solve 2*g - x = -0*g for g.
5
Suppose -16 = -q - q. Suppose 0 = -13*p + q*p + 5. Solve -3*g + 2 = -p for g.
1
Let f(s) = s + 3. Let v be f(-5). Let g = 7 + v. Solve g*h - 1 + 6 = 0 for h.
-1
Let g(d) = d**3 + 9*d**2 - 12*d - 5. Let y be g(-10). Solve 2*c = -3*c - y for c.
-3
Let z(s) be the first derivative of s**4/4 - 5*s**3/3 - 3*s**2 + 6*s + 1. Let l be z(6). Solve 2*g - 4 - l = 0 for g.
5
Let a = 17 + -11. Let c be a/((-2)/(8/(-4))). Let w be 2/(-8)*-2*4. Solve -i = w*i + c for i.
-2
Suppose -d = 3*u - 17, 0 = -0*d + d + u - 11. Let w(f) = -f + 2. Let y be w(-2). Solve y*n + d = -4 for n.
-3
Let g(r) = -r**2 - 6*r - 2. Let j = 8 - 14. Let t be g(j). Let m be t - (-6)/(0 - -3). Solve -2*a - a = m for a.
0
Let a = 27 - 27. Solve a = -3*o + o for o.
0
Suppose -i = 3*i. Solve 2*v - v + 3 = i for v.
-3
Suppose 6 = 4*n + 3*c, -8 = -5*n - c - 3*c. Let t be 2 - (n + -1) - -7. Solve t = 4*j + 2 for j.
2
Suppose 0*t - 3*t + 9 = 0. Suppose -3 = l, 4*v - 3 = -0*l - 3*l. Let b = v + -1. Solve -h = b + t for h.
-5
Let j = 12 + -9. Solve -a = -0*a - j for a.
3
Let i = -2 + 5. Let y = i + -3. Solve 4 = -4*o - y for o.
-1
Let n = 37 - 24. Let s = -8 + n. Solve -s*t + 5 = 10 for t.
-1
Suppose -3 = -3*m + s + 12, s = 0. Suppose -15*j + 11*j = 0. Solve -5 = -m*v - j for v.
1
Let i(g) = -g**2 + 5*g - 2. Let h be i(2). Let t(c) = c - 1. Let f be t(4). Let s be (4/(-6))/((-2)/f). Solve -5*p + s = -h*p for p.
1
Let z(y) = -y**2 + 5*y + 8. Let f be z(6). Suppose k = -4*r + f, -3*r + 8 = r + 4*k. Suppose i - 2 + 0 = r. Solve 0 = -i*q - 9 + 1 for q.
-4
Suppose -2*z = -3*i + 47, 0 = -5*i - z - 3*z + 49. Solve i = -3*f + 4 for f.
-3
Suppose 2*t - 1 - 9 = 0. Solve -t*i - 9 = -2*i for i.
-3
Suppose -5*w = k - 17, -w - 7 = w + 5*k. Suppose 2*o = m + w, -3*m = -3*o - 8*m + 6. Solve o*b = 5*b for b.
0
Let k = 11 + -8. Let b(c) = 2*c. Let z be b(1). Suppose 0 = -k*s - z + 14. Solve -s = -d - 3 for d.
1
Let w = -4 + -6. Let q(z) = z + 13. Let x be q(w). Suppose -8 = -2*r + 2*l, 0 = 2*r + 6*l - x*l + 7. Solve -r = -o + 2*o for o.
-1
Let q be (-17)/(-2) - 5/10. Let u = -20 + q. Let k = u + 18. Solve 0 = 4*l + k + 2 for l.
-2
Suppose -4*q = -q - 3. Let n(a) = a**2 + 4*a + 1. Let o be n(-4). Suppose g - q = o. Solve -6 = -s - g*s for s.
2
Let d = -7 + 9. Solve 3*l + d + 10 = 0 for l.
-4
Let g = 10 - 8. Solve 3*r = -g*r for r.
0
Let w be (-1 + 0)*(-1 + -1). Let a be -1*2/4*-6. Suppose -w*d = -a - 1. Solve -u - d*u - 12 = 0 for u.
-4
Let k(n) = 4*n**3 - 1. Let r be k(1). Suppose 0 = 5*