 = 22 for c.
-1
Let x be (-2 - 20/(-6))*18/4. Suppose 2*o + 4*z = -14, 5*z + 18 = -o - o. Solve -o = -3*u + s - 0, -x = 2*u - 4*s for u.
1
Let l(p) = -p**3 - 2*p**2 + 1. Let v be l(-1). Solve v = 3*s - h, 5*h = -17 + 2 for s.
-1
Let p(k) = k**3 + 8*k**2 + k - 3. Let n be p(-3). Suppose 3*t = 6*t - n. Suppose -w + 0 = -2. Solve w*d + 6 = -2*c, 5 + t = -2*c + 4*d for c.
-5
Let t(h) = h**3 - 5*h**2 + 2*h - 6. Let s be t(5). Suppose 8*a = s*a. Solve 3*z - 5*m = a, m = -4*z + 2*m for z.
0
Suppose 5*v = 47 + 48. Let b = 23 - v. Solve b*w - 1 + 0 = 3*a, 4*a = -2*w - 16 for a.
-3
Let r be 3 + (1 - 3) + -1. Suppose r = -5*m + 18 - 3. Suppose 3*w - 4 + 1 = -4*c, m = -4*c + 3*w. Solve 5*x - 4*f = 3 + 9, 2*x + f - 10 = c for x.
4
Let s(d) = -2*d + 1. Let g be s(-7). Suppose 0 = 5*h - 70 - g. Let f = h - 6. Solve -23 = -4*x - 3*k, f = x + 5*k - 16 for x.
2
Let l be (-1)/(11/(-5) + 2). Suppose f - 2 = -3*d + 2*d, -l*d = -3*f - 2. Let u be ((d + 45)/2)/1. Solve -r = -3*q - q - u, 0 = r - 2*q - 13 for r.
3
Let y(a) = a + 20. Let n be y(0). Suppose 3*v - n + 2 = 0. Let i = v + -3. Solve 0 = -5*j + r - 11, -3 = -i*r - 0 for j.
-2
Suppose -84 = -7*x + x. Solve x = 4*c + 3*v, c - v - 3*v = 13 for c.
5
Let b be 17/102 + (-46)/(-12). Solve -5*k + 11 = 4*p, 0*p = b*p + k - 15 for p.
4
Let l(k) = 2*k - 10. Let g be l(6). Solve -4*d - 3*p = -g*d - 8, -9 = d - 5*p for d.
1
Let l(x) = -4*x + 2. Let f be l(2). Let i be 69/18 + (-1)/f. Solve 0 = -i*y + 2*k + 4, -y - k + 0 = 5 for y.
-1
Suppose b - 3 = 4*b. Let c(l) = -4*l + 1. Let n be c(b). Solve -n = -5*k - 2*m, -3*k - 4*m + 2 = -k for k.
1
Let u be (-5)/(-3) - (-4)/(-6). Let r = u + -1. Solve 3*f = -r*b + 4*b + 7, -f = 5*b - 15 for b.
2
Suppose -2*w - h = -1, -3*w + 0*h = -h - 9. Suppose 2*o + w*o = 12. Let z = 3 - o. Solve 4*b - 2*x = -19 - 1, -x = z for b.
-5
Suppose 0 = 4*p - 3*p - 4*m - 25, 2*m + 10 = 0. Solve 6 = -f + 3*c, -2*f + 3*f + p = 2*c for f.
-3
Let t be (20/(1/1*2))/2. Solve 0 = 5*l + t*f, 4 = -0*l - 5*l - f for l.
-1
Let a be 6*(-3)/(-9) - 2. Suppose 3*z + a*z = 12. Solve 0 = -4*x - z*b + 14 + 2, 2*b = 4*x + 8 for x.
0
Suppose -2*f + 2*m + 28 = -2*m, 4*f - 2*m - 26 = 0. Solve 4*l + 2*g - g - 5 = 0, f*l = -3*g + 15 for l.
0
Let f = 29 - 28. Let z be (0 - -298)*3/6. Suppose 3*j - z = -44. Solve -s - j = 3*s + 5*n, -s = -2*n - f for s.
-5
Let x(q) be the first derivative of q**2 - 3*q + 1. Let a be x(4). Solve -g = 3*s + 7, s + g - 14 = a*s for s.
-3
Suppose -4*o - 20 + 4 = 0. Let x be o/14 - 46/(-14). Solve -2*h - h = 5*n + 40, 30 = -x*h - 3*n for h.
-5
Suppose -4*o = -o - 21. Suppose 0 = -o*m + 2*m. Solve 4*a + v = 5*v, m = -2*a + 4*v for a.
0
Let f(k) = -k**2 + k + 6. Let j be f(0). Suppose 6*r - 2*r - 6 = -g, -3*g - j = 0. Let m = 7 + -4. Solve -m*t - 4*x + 7 = 0, 5*t + r*x - 9 = -2 for t.
1
Suppose 0 = -w, -5*w - 13 = -2*u + u. Let o be 9 + (-2 - -1) - (3 - 0). Solve o*z = -0*z + 10, 0 = -3*g + 5*z - u for g.
-1
Suppose 34 - 9 = 5*g. Solve f = -5*h - 20, 0 = -3*h + g*f + 4 - 44 for h.
-5
Suppose 2*p - 3*w - 17 = 0, 5*p + 3*w - 13 = -2. Solve -d + 3*m + 37 = -6*d, 0 = p*d - 5*m for d.
-5
Let f(v) be the third derivative of v**4/24 - v**3/2 - 2*v**2. Let x be f(5). Solve 5*z + 16 = z - y, -5*y = x*z + 26 for z.
-3
Suppose -2*j = x + 3*x + 12, 4*j = -2*x. Suppose 5*y = -47 - 3. Let s be (y/3)/(6/(-9)). Solve 3*f + 0 = j*o - 5, 0 = -s*f - 4*o + 21 for f.
1
Suppose -33*w - 10 = -35*w. Solve z + 2*z + 12 = -w*c, -5*z + 4*c - 20 = 0 for z.
-4
Suppose 3*b - 1 = -2*u + 26, b - 17 = -2*u. Suppose u*j = 5*j + 4. Solve 3*w = -j*s + 15, s - w = 2 - 0 for s.
3
Let u be 4/(-22) + 158/22. Suppose -3*d - m = -21, -d - m - 3*m + u = 0. Solve 5*z + 13 = -2*x, -5*z - d = x + 2 for z.
-1
Let s = -5 - -1. Let o = -2 - s. Solve -c - 4*g = -5, -4*g = o*c - 6 + 4 for c.
-3
Let x be (-6)/(-15) - (-13)/5. Suppose -x*y = -y. Let i be y/(0 - -2 - 5). Solve -2*b + 4 = -c + 15, -5*b - c - 24 = i for b.
-5
Let u be (2 + 0)/(6/15). Suppose 11*p = 7*p. Suppose 6 = 3*s - p, -22 = -4*b - 5*s. Solve d - u = -d - b*f, 0 = -d + 4*f + 8 for d.
4
Let x = 29 + -13. Let v be 3/(-3) - (-1 + 2). Let z be (1 + (-6)/v)*1. Solve 0 = -0*a - a - j, -z*j = -4*a + x for a.
2
Let k(n) = -n**3 - 5*n**2 + n + 7. Let b be k(-5). Suppose 4*o - b = 2*o. Solve 0 = -y + o - 6, -5*y = a + 26 for a.
-1
Let z(w) = w**2 - 2*w - 3. Let t(v) = v**2 - v - 2. Let l(k) = -6*t(k) + 5*z(k). Let p be l(-3). Solve 2*c - 2 + 9 = 3*x, -2*c - 4 = p for x.
1
Let x = -18 - -25. Suppose -5*r - 13 = -4*m + 6*m, -4*r = 5*m + x. Let z = 6 + r. Solve 0 = c + 4*p + 22, -z = -c - 0*p + p for c.
-2
Let q(r) = 3*r - 19. Let t be q(7). Solve j = 3 + 1, -13 = -g - t*j for g.
5
Suppose 4*k + 15 = 5*z, -3*k + 2*z = -z + 9. Let y = 2 - -7. Let a = 15 - y. Solve -5*o - r + a = k, -19 = 5*r + 1 for o.
2
Let d be (5/4)/((-2)/(-1 - 7)). Solve -i - d*p + 9 = -5*i, 0 = -4*i + 4*p - 8 for i.
-1
Let o be (-3*6/(-9))/2. Let l be -2 - (-3 - 1/o). Solve -l*c - 11 = -3*k - 0*k, -2*k = -4*c - 18 for k.
1
Suppose 5*k = -5, -3*v - k = -2*v - 4. Let b = v + 2. Solve p + 2*a = 1 - 8, 4*a = 5*p - b for p.
-1
Suppose 0 = 4*t - 5 - 15. Suppose 0*b + 25 = t*v - 3*b, -3*b = 15. Let a = -8 - -8. Solve a = -4*p - 4*x - 8, v*p + 5*x + 9 = 5 for p.
-2
Let u be -2 - (0 + 7/(-1)). Let j be 3 - (0/1)/(-3). Suppose 28 = u*a - t, 0 = -j*a + t + t + 14. Solve -2*p - 1 = q, 5*p - 1 = -a for q.
1
Let y be 24/144 + 5/6. Solve -h = -y, 0 = 4*o + h - 31 + 10 for o.
5
Suppose 4*m - 3 = 3*m. Suppose -2*n + m*x = -0*n - 12, 11 = 5*n + 2*x. Let o be 4 - 1/2*0. Solve o*k - 3*q = 30 + 1, -n*k + q = -17 for k.
4
Let a(q) = q**2 + 2*q. Let v be a(-2). Let g = 10 - 10. Suppose -4*d + g = -4*u - 8, -5*u - 4 = -2*d. Solve -5*p + 10 = -2*f, d*f + 10 = -3*p - v*p for p.
0
Let b(t) = -t**3 + 6*t**2 + 7*t + 7. Let r be b(7). Let s(j) = j - 2*j + r*j - 2*j + j**2. Let n be s(-5). Solve 3*a + 5*l + 15 = 0, 0 = -n*a + l - 3 + 6 for a.
0
Suppose -4*s - 3 = k, 0 = 2*s + 3*s - 2*k - 6. Suppose s = -3*r + 2*r + 2. Solve 3*p - 3 = 2*c + r*p, 5*p = -25 for c.
-4
Let i be (5/3)/(7/21). Solve 3*n - 12 = -i*o + 4, 0 = -4*n - o - 7 for n.
-3
Let u be (-4)/(((-18)/15)/3). Suppose -2*r + 21 = -5*r. Let d = u + r. Solve m + 5*p - 15 = 0, d*m - 3*p = 1 - 28 for m.
-5
Let z be 3 + -3 + 3 + 4. Let w(a) = a + 8. Let o be w(z). Solve f - o = -2*j, -2*j + 0 = 3*f - 25 for f.
5
Suppose 0*d + 4 = d. Solve 0 = -4*h + v + 16, 0 = h - 2*h + d*v - 11 for h.
5
Suppose -5*c + 162 = 5*i - 3*i, 3*i - 243 = -4*c. Suppose -4*d = -5*u - 121 + 17, 3*d - i = 3*u. Solve 4*z + 2*j - 4 = 2, 4*z - d = 3*j for z.
4
Suppose -3*u + 5 = 2. Let n be (12/(-8))/(u/(-2)). Solve n*c + 3*a - 9 = 0, -4*c + 0*a - 8 = -a for c.
-1
Suppose 4*t = -3*m + 17, 3*t + m - 11 = -t. Suppose -4*c + t = -2. Solve 5*d + 4 - c = 2*l, 3*d - 4*l - 1 = 0 for d.
-1
Let x = 18 - 13. Solve -5*z - x*s - 1 = -3*s, 2*z + 4*s = 6 for z.
-1
Let a be ((-3)/2 - -1)*4. Let n be (-3)/((3 - 2) + a). Let c be 4/14 - 164/(-14). Solve -3*k = -n*m + c, k + 0*k = -m - 4 for m.
0
Let j(c) = -c**2 - 4*c + 3. Let d be j(-4). Suppose -3*k + 7*k = -3*u - d, 2*u = -10. Let s = k - 3. Solve -3*v - 2*w + w + 16 = s, 5*v = -w + 26 for v.
5
Let r be ((-30)/(-8))/(2/24). Suppose 3*k - 6*k + r = 0. Solve -7*x + 2*o = -2*x + 17, -x = -5*o - k for x.
-5
Let f = -67 + 71. Solve f*m = -20, n + 0*m = m + 5 for n.
0
Let u = -7 + 9. Suppose 5*z - 1 - 9 = 0. Solve -u*q - 4*x + 12 = -2*x, 12 = -z*q + 4*x for q.
2
Let u(q) = q**2 - q. Let a be u(-1). Suppose 4 = 5*t + b - a, 5*b = -20. Solve 0 = -t*h + c - 0 + 2, 0 = 2*h + c - 6 for h.
2
Suppose -2*h = -4*s + 50, -6*h = -4*s - 3*h + 53. Let f(o) = o**2 - 12*o + 14. Let q be f(s). Solve 4*b + 8 = 5*v, 0 = -b + q*b - 5*v + 14 for b.
3
Suppose 0 = 5*h - 39 - 21. Let s = h + -8. Solve s*m - o = o + 28, 2*o = 3*m - 23 for m.
5
Let h(z) = -z**2 + 7*z - 1. Let k be h(6). Suppose -9 - 16 = -k*r. Solve -c + 0*i + 25 = -r*i, 0 = 5*c - 4*i - 20 for c.
0
Suppose 5*z + 27 = -13. Let f = 12 + z. Solve f*j - 2*o + 18 = 0, -5*j + o = 6*o for j.
-3
Let o be (-66)/(-14) + 2/7. Let y(r) = r - 2 + 3 - 4*r. Let v be y(-8). Solve 16 = -4*n, 3*z - v = -n + o*n for z.
3
Let a(n) = n + 2. Let i be a(3). Suppose -p + 2*p - 6 = 0. Solve -i = 5*d + 3*m, 3*d + 5*m + 31 = p*d for d.
2
Suppose -4 = 6*r - 8*r. Suppose 3*f + 2*h