 = -10 + y. Solve 0 = -c - j*c for c.
0
Let y(f) = -f - 6. Let n be y(-6). Let g be -1 - (-1 - (n + 4)). Solve 20 = -g*c - c for c.
-4
Let q(z) = z**2 - 4*z - 18. Let r be q(7). Solve -r = 4*n + 1 for n.
-1
Let d be 10*((-22)/(-5) - 4). Solve u + d*u = 0 for u.
0
Suppose 5*h + 16 = 3*n - 24, -3*n = 4*h + 5. Solve 0 = n*c - 9 - 6 for c.
3
Suppose -2*n + 27 = 3*v, -2*v + 8 + 10 = 5*n. Suppose 0 = -2*l + 3*l. Let h be 2 + (-1 - (0 - l)). Solve v + h = -5*f for f.
-2
Let g(o) = -2*o - o - 3 + o. Let z be g(-3). Let q be 1*(-1*(-6 + 3) + -3). Solve -3*c + q = z for c.
-1
Let v(c) = c**2 + 2*c + 3. Let j be v(-2). Let s be j/6*-2 + -1. Let m = 4 - s. Solve -4*h + m = -h for h.
2
Suppose -4*i = -3*i - 2. Suppose -3*y + y = -4. Suppose -i*v = -10 + y. Solve 4*w + 16 - v = 0 for w.
-3
Let n be 7/28 - 15/(-4). Suppose -4 = -2*r - 5*x, -r - 3*x = r - n. Solve 0 = -r*q + q + 2 for q.
2
Suppose -3*v - 3 = -39. Solve -v = -8*h + 4*h for h.
3
Let l(f) = -f**3 - 11*f**2 - f - 14. Let y be l(-11). Let k = 3 + y. Suppose -4*a - 12 = -44. Solve 4*q = -a - k for q.
-2
Suppose -4*i = 3*r + 38 + 31, -i = -5*r. Let d = i - -20. Solve 20 = -3*q + d for q.
-5
Suppose -d + 4*a - 7 + 5 = 0, 0 = 2*d + a - 5. Suppose 0 = -2*q - d*l + 4*l + 8, 2*q + 3*l + 2 = 0. Let m = -1 + 5. Solve m*s = q + 10 for s.
3
Let w(p) = p**2 - 8*p + 10. Let a be w(8). Suppose -17 = -5*s - 2*c, -4*c + a = 4*s - 6. Solve -2*l - s = -5*l for l.
1
Suppose 0*r = 6*r - 24. Solve -6*j = -2*j - r for j.
1
Let l be (-338)/(-18) + 6/27. Let z be ((-26)/8)/((-2)/(-8)). Let a = z + l. Solve 0 = -w + a*w - 15 for w.
3
Suppose 16 = 3*c - 4*j, 3*j + 4 = -8. Suppose 3*f - 3*w = 0, 3*f + c*w = -5*w. Let o be (8/4)/(2/5). Solve -5*v = -f + o for v.
-1
Suppose -4*k + 8*k - 5*z - 27 = 0, -5*k + 12 = z. Suppose h - k*h = -2. Let n(d) = -d**2 - 6*d + 10. Let o be n(-7). Solve h - o = w for w.
-2
Let i(z) be the first derivative of z**6/40 - z**4/24 + z**3 + 4. Let r(u) be the third derivative of i(u). Let y be r(1). Solve -y = 3*l - l for l.
-4
Suppose 3*s - 4*s + 2 = z, 5*s - 3*z - 26 = 0. Solve 21 = -5*r - s for r.
-5
Let d(o) = 5*o + 48. Let q be d(-9). Suppose 5*z - 5*k = 30, 5*z - 2 = 2*z - 5*k. Solve 2 = -q*w + z*w for w.
2
Let x(g) = g**2 - 8*g - 6. Let k be x(9). Suppose -9 = k*q + 24. Let a = q + 16. Solve a*b - 14 = 1 for b.
3
Let i = 90 + -84. Solve 0 = -2*d + 4*d - i for d.
3
Let w(s) = -s + 3. Let p(q) = -2*q + 5. Let o(c) = -3*p(c) + 5*w(c). Let l(i) = -i - 1. Let y be l(-1). Let u be o(y). Solve r + 0*r - 1 = u for r.
1
Suppose 0 = -3*q - 0 + 6. Suppose -13 = -3*o + q. Solve 2*h - 6 = o*h for h.
-2
Let f(r) = 4*r**2 + 2*r + 2. Suppose 0 = -k + 1 - 3. Let i be f(k). Let n = 4 - 2. Solve 4*g + n = -i for g.
-4
Let z(l) = -l**3 - l**2 - 2. Let p = -3 + 1. Let f be z(p). Suppose d = f*g + 3*d - 16, 5*d - 28 = -g. Solve -2*n + g*n - 3 = 0 for n.
3
Let d = -21 - -31. Solve 0 = 4*z - d*z + 18 for z.
3
Suppose -17 + 18 = q. Solve -u - q = 1 for u.
-2
Let b be 3 + (-2)/2*6. Let z = b - -8. Solve -z*q = -7 - 3 for q.
2
Let c(d) = -d**3 + 5*d**2 - 4*d + 3. Let w be c(3). Let k(m) = -m**2 + 10*m - 6. Let t be k(w). Suppose 3 = t*r - 3. Solve -25 = -r*l - 3*l for l.
5
Suppose 3*o + 4*i = -2 - 42, 4*o + i + 50 = 0. Let w be (3 + 28/o)*3. Solve 3*g - 13 = w for g.
5
Suppose 4*h - 24 = 8. Suppose -4*z = 4*b + 32, 4 = -2*b - b + 2*z. Let q be (1 + (-18)/h)*b. Solve 0 = 4*d - q - 3 for d.
2
Suppose 0 = -3*g - 2*z + 10, -4*g = -5*z + 1 - 22. Suppose -3*r - 9 = 5*o, -o + 3*o - 12 = g*r. Suppose u - 3*u + 6 = o. Solve -f - 16 = u*f for f.
-4
Let m = 71 - 42. Let g(h) = 4*h + 1. Let t be g(1). Let n(z) = z - 1. Let d be n(1). Solve t*y - 9 + m = d for y.
-4
Let v = 7 - 5. Suppose -15 = -5*l + v*l. Solve -1 - 4 = -l*n for n.
1
Suppose u = 4*a + 20, 2*a - a = -5*u - 5. Let m = -5 - -11. Solve -2*h + m*h + 4 = u for h.
-1
Suppose 4*v - 2*o - 2*o = 4, 5*v - o = 5. Let j = v - 4. Let q(f) = f**2 + 2*f + 1. Let b be q(j). Solve -b*h - h + 25 = 0 for h.
5
Let k = -165 - -167. Solve u - 15 = -k*u for u.
5
Let u(s) = -s**2 - 7*s + 2. Let c be u(-6). Solve -4*f = -0*f - c for f.
2
Let f be (-38)/171 + (-38)/(-9). Solve -z - 15 = f*z for z.
-3
Let b be (-4)/(4/(-3)) + 2. Suppose 19 = -q + 5*q - b*l, 4*q + l - 1 = 0. Solve -9 = -4*h - q for h.
2
Let a(l) = l + 4. Let o be a(-4). Let d = 3 - 1. Solve d*u = -o*u + 4 for u.
2
Let j(x) = -x + 3. Let k be j(-2). Solve 5 + 5 = k*u for u.
2
Let n(d) be the second derivative of 3*d**5/20 + d**4/12 + d**2 + 4*d. Let x be n(2). Suppose -5 = 5*j - x. Solve h = -0*h - j for h.
-5
Suppose 1 = d + 2*g - 6*g, -2*d + 9 = -g. Let j = -44 - d. Let z = -34 - j. Solve 3*v + 2*v = z for v.
3
Suppose m + 17 + 6 = 0. Let y = -9 - m. Solve -3*i + 1 = -y for i.
5
Let z = 11 + -17. Let k be ((-9)/z)/(2/4). Solve s - k*s = 0 for s.
0
Suppose 2 = g - 3. Let k = 6 - g. Solve 3 - k = -2*w for w.
-1
Suppose 0 = -32*c + 28*c + 20. Solve 0 = f - c*f + 16 for f.
4
Let o = -11 - -15. Suppose f + 1 = o. Let r = -1 + 1. Solve r*x = f*x for x.
0
Suppose -9 = -3*n - 2*p - 0, 0 = 4*n - 2*p + 2. Let k be -3 + n - (-1 + -1). Suppose 4*j + j = k. Solve -u - 4*u + 20 = j for u.
4
Suppose 6*x = 3*x - 9. Let t = -3 - x. Solve t*i = 2*i - 6 for i.
3
Suppose 0 = -3*u + u + 3*w - 8, -u + w = 3. Let d be (-4)/(u + -1 + 0). Solve -d*h = h - 9 for h.
3
Let x(q) = -q + 10. Let z be x(0). Let i = z + -9. Solve -2 - i = -b for b.
3
Let n be (1 + -2 - 2) + -2. Let g(z) = -z - 2. Let q be g(n). Solve 8 = -q*o - 1 for o.
-3
Let h(d) = -d**3 + 2*d**2 + 3*d - 3. Let v be h(2). Suppose -v*b + 25 = 2*b. Suppose -2*w + 15 = w. Solve -5 = -w*r + b for r.
2
Suppose 48 = -4*j - 4*k, k = -0 - 3. Let w = -1 - j. Suppose -w = -y - 4. Solve c = y*c for c.
0
Let n be ((-36)/8)/(6/(-16)). Suppose -4*b + 4 + n = 0. Suppose b*x - 56 + 8 = 0. Solve 2*h + x = -2*h for h.
-3
Let w be (-10)/4*(-20)/25. Let j(u) = 2*u - 6. Let t be j(6). Let c = t - 1. Solve c*f - 15 = w*f for f.
5
Let n be 30/7 - (-4)/(-14). Let x(p) = -2*p + 2. Let w be x(0). Let s = w - 2. Solve n*u + s*u = 0 for u.
0
Suppose 11 = 3*r - 4*g, 3*r - 2*g = 7 + 6. Suppose -9 = -10*j + r*j + 3*v, 3 = 4*j - v. Solve l - 2*l - 2 = j for l.
-2
Let x(r) = 2*r**2 - r + 1. Let b = -2 - -3. Let n be x(b). Solve -n*u = -1 + 11 for u.
-5
Let x be 2 - ((-8)/(-2) + -2). Let w = -9 - 1. Let b(p) = p**3 + 9*p**2 - 9*p + 11. Let l be b(w). Solve x = 3*i + 7 - l for i.
-2
Let g(p) be the third derivative of -p**5/60 + p**4/3 + 2*p**3/3 - 6*p**2. Let j be g(8). Solve 3*q + j = -q for q.
-1
Let y(l) = 2*l. Let w(x) = 3*x. Let o(n) = -5*w(n) + 8*y(n). Suppose 0 = 4*r - 4*t + 13 - 1, -4*r + 3*t = 9. Let k be o(r). Solve 3*u + 1 + 8 = k for u.
-3
Suppose 5*b = 10*b. Let k = 1 - b. Let n be 2 + (2 - k)/(-1). Solve -11 = 4*u + n for u.
-3
Suppose -5*p = -23 + 3. Let m(h) = 9*h + 1. Let l be m(p). Solve -l = 5*y - 12 for y.
-5
Suppose 2*f + 2*a - 12 = 0, -5*f - 4*a + 44 - 18 = 0. Let i be (-2 - (-14)/f) + 0. Suppose i*z + 0 = j + 1, -3*z = -3. Solve 0 = j*c - 0 - 16 for c.
4
Let s be (1/(-2))/(6/(-60)). Suppose 20 = s*g - 0. Solve g*v + 17 = 1 for v.
-4
Let m(x) = x**3 - 17*x**2 - 20*x + 38. Let v be m(18). Solve -v*z = 3*z + 15 for z.
-3
Suppose 5 = v + 2. Solve -2*x = -v*x for x.
0
Let i(c) = c**3 - 2*c**2 - 4*c - 1. Let t be i(3). Let h = 8 - t. Let y = h + -7. Solve -y*p + 0 = 15 for p.
-3
Let l = 1 + 4. Suppose -4 + 14 = l*w. Suppose 4*j - w = 2*c, 13 = 5*j + 2*c - 3. Solve k = -k - j for k.
-1
Suppose -1 = -4*t - 5*r + 11, 2*t - 6 = -5*r. Solve -t*i - 15 = -6*i for i.
5
Let b = -13 - -13. Suppose 4*g + 3 + 12 = r, 3*r - g = 34. Suppose -5*p + r = 1. Solve b = -u - p - 1 for u.
-3
Let b be -1*(1 - 0) - -1. Let z(w) = w**2 + w + 5. Let t be z(b). Suppose -5*j + j + 16 = 0. Solve 0 = -j*x + t*x + 3 for x.
-3
Suppose -f + 5 = 3*t, 0*f - t = 2*f - 10. Suppose -u = -f*w + 4, 3*w - u = 2*u + 12. Solve w*p - 2*p = -8 for p.
4
Let q be 12/78 + 63/13. Solve -13 - 7 = q*z for z.
-4
Let r be (-4)/(-1 + 5)*0. Solve 2*u + 2*u = r for u.
0
Let y = -13 + 19. Solve -y*b = -2*b for b.
0
Let w(a) = a**2 - 4*a - 3. Let k(s) = 23*s**2 - 1. Let c be k(1). Suppose -2*y = 5*z - c, -4*y + 5*z = -y - 8. Let h be w(y). Solve -2*t - t = -h for t.
3
Suppose -i - 4 = 0, -5*r - 11 = -3*i - 83. Let w be (r/(-8))/((-2)/4). Solve w*n = -1 - 