
Let p = -24 + 26. Suppose 2*x = -x. Solve x = 2*c - 4*n + 22, 4*c - p*c = -4*n + 18 for c.
-1
Let h(a) = -a**2 - 16*a + 23. Let k be h(-16). Solve -k = 2*g - 5*u, 3*u - 2*u = -5*g + 10 for g.
1
Let i(x) = x + 6. Let d be i(0). Suppose d = s + 4. Suppose -s*r + 5 + 5 = 0. Solve -2*j + 4 = 2*a + 2*a, 0 = -r*a + j + 19 for a.
3
Suppose -13*y + 162 = -4*y. Solve 0 = -x - 3*b - 0*b + 1, 4*x = -b - y for x.
-5
Suppose 0 = 4*q - 5*q + 6. Let u(y) = y**3 - 5*y**2 - 2*y. Let d be u(q). Solve 3*n + 9 = 2*t + t, 0 = 4*t + 5*n + d for t.
-1
Let b = -34 + 36. Solve 0 = 4*x - 3*x + 3*l + 5, 2*l = -b*x - 6 for x.
-2
Suppose 4*q + 6 - 2 = 0. Let w be (4 - q) + (-9)/9. Solve -5*o = -o - 16, 3*p = 2*o + w for p.
4
Let g = -8 - -11. Let z be (43/(-1) - g)/(-2). Suppose 11 = -k - 3*j, 4*k - 3*j + 7 = z. Solve 3*s = -2*y - 1, 5 + k = -2*s for y.
4
Suppose 3*f - 7 - 5 = 4*x, 2*x = 0. Suppose f*a + a = 15. Suppose -3 = 3*d - 12. Solve a*l - 1 + d = b, b + 4 = -3*l for b.
-1
Let d be 26/(-10) + (-6)/15. Let j be (32/(-12))/(2/d). Let f = 6 - j. Solve 5*q = -3*m - f - 5, 9 = -4*q + m for q.
-2
Let w(s) = -s + 13. Let i be w(0). Suppose -3*x = -3*c + 34 - i, -4*c + 46 = 5*x. Solve -2*t + 13 = 5*y, -4*y = y + t - c for y.
1
Let k(a) = 8*a - 31. Let m be k(4). Solve -2*x + 14 = -b - 3*b, -2*b - m = x for b.
-2
Let h be (4 + 36/(-7))*-7. Solve -5*z = d + 6 + 7, 0 = 4*d - h for z.
-3
Let o = -9 + 11. Let x = 1 + o. Solve -1 = 3*k - 4*y, 0*k = x*k - 3*y - 3 for k.
5
Let w(r) = -r - 3. Let a be w(-3). Solve -d - 3*i - 13 = -3*d, -2*d - 2*i + 8 = a for d.
5
Suppose 0*a - 3*a - 9 = 0. Let l = a - 2. Let c = l + 5. Solve c = -2*x + 4*t + 6, 4*x - 3*t - 8 = 9 for x.
5
Let x be 1 + (-3)/((-9)/(-12)). Let g be x/12 - 13/(-4). Solve 2*i + g*i - b + 5 = 0, 3*i = -5*b - 3 for i.
-1
Suppose 2 = -i + 2*i. Let j be (-27)/(-4) - 2/(-8). Let c = j - i. Solve 4*t = -2*g + 26 - 2, 0 = -t - c*g + 15 for t.
5
Let a(s) = s**3 + 7*s**2 + 6*s. Let b be a(-6). Let h be ((-1)/2)/((-6)/312). Solve 5*g - 26 = -3*w + 3, -5*g - 2*w + h = b for g.
4
Let u be (-2)/6 + (-31)/(-3). Suppose 0 = 5*d + 3*p - 9, 14 = 2*d + 2*d - p. Solve 17 = d*t + y, -2*y + u = -0 for t.
4
Let z = -26 + 34. Let g(b) = b**2 - b + 12. Let t be g(0). Let y be (1*-3)/(6/(-4)). Solve 4*i = -s + 3*i - z, -y*i - t = s for s.
-4
Let q(n) = -2*n**2 + 17*n - 5. Let f be (-7)/(-14) + (-15)/(-2). Let x be q(f). Solve 3*c - 3 = -x*b - 0, 4*b - 16 = 2*c for c.
-2
Let v = -14 - -23. Let z = -8 + v. Let o be 0*z/(-1) - -1. Solve -l = -p + o, -4*p - l - l = 14 for p.
-2
Let p be -10*(-1 + (-2)/(-4)). Solve p*w + 37 = 4*q, w + 7 = 3*q - 7 for q.
3
Let c be 8 + -8 - (1 + -5). Solve 2*o - 22 + 8 = -c*y, 4*y - 11 = -3*o for y.
5
Let q = 13 - -11. Suppose q = h - 0. Let w = -6 + 10. Solve -2*u + 3*g - w = 4*g, 0 = 2*u - 4*g + h for u.
-4
Let q be (-35)/(-7)*8/10. Solve 0 = q*r - 3*o - 25, 0 = 3*o - o + 6 for r.
4
Let h(x) = x + 2. Let z be h(0). Let m be (2 - 1)/1 + 2. Suppose m*l + l = -o + 17, 3*l - 9 = -2*o. Solve -l*b = -3 - 7, -z*b - 4 = 2*p for p.
-4
Let z be 0 - 4 - -25 - 3. Solve -2*o - 5*w = -6*o, -2*w = 2*o - z for o.
5
Let x be (3 - 20/6)*-12. Solve -r - f + 0 = x, 2*r = -f - 7 for r.
-3
Let i be 1 - 6/2 - -4. Let b = 4 - i. Solve b*a + 2 = -g, 2*g = g + 2 for a.
-2
Suppose -4*z + 2 = -3*k + k, 4*z - 3 = k. Let w(c) = -3*c. Let a be w(-1). Let g be 2 + 3*z/a. Solve 0 = -2*q - g*q, 3*p = 5*q for p.
0
Let a(p) = p**3 - 5*p**2 + 3. Let u be a(5). Solve 4*j = -u*i - 31, 0 = 2*j - j - 5*i - 21 for j.
-4
Let h be (6 + -9)/(-1*(-18)/(-12)). Let y = -13 - -18. Solve 0 = 4*i + 5*z + 36, y*z = h*i + 3*i for i.
-4
Let t(g) = -2*g + 6. Let k be t(5). Let m be 20/5 + k + 1. Solve s = 2*z - m, -4*z + 4*s + 4 = -0 for z.
0
Let d = 4 + -6. Let z be -1*(2/d - 0). Let g be (1/(1/9))/z. Solve -h = 5*l + 9, g + 12 = -5*h - l for h.
-4
Let g be 6 + 0 + (0 - -3). Suppose -g = -2*x + 9. Solve 0 = f + 4*v + 8, -4*f = -v - 10 - x for f.
4
Let k = -81 - -86. Solve 26 = -k*a + t, a - 3*t + 13 = -a for a.
-5
Let n(t) = t + 4. Let u be n(0). Suppose -3*s + u*s = 32. Suppose w + w - v = s, 89 = 5*w + 2*v. Solve 2*y = 3*k + 3, 5*k + 6*y - 2*y - w = 0 for k.
1
Suppose 6*s - 4*s + 14 = 0. Let p = 10 + s. Solve 4*j = 4*y + 28, -p*j + 22 = -4*y - 2*j for y.
-5
Let z(k) = -3 - 4*k - 2 - k. Let a be z(-5). Solve 4*n + 14 = -2*j, -n + 8*j - 3*j = a for n.
-5
Let p be 8/(-20) - 132/(-5). Let q be 21/35*30/1. Solve -2*i = -5*y - q, -y + p = -4*y + 5*i for y.
-2
Suppose 0 = 4*d - 78 - 82. Let h(z) = -z**3 - 8*z**2 - 7*z + 2. Let o be h(-7). Suppose 4*l = o*l + 10. Solve -40 = 4*u + 4*r, -3*u + 6*u = -l*r - d for u.
-5
Let q be 0*(5/(-2) - -2). Suppose q*w = 2*w - 5*y - 19, -2*w - 3*y - 5 = 0. Solve 11 = -z + 3*u, u - 2 - 4 = -w*z for z.
1
Suppose r = -2*r + 21. Let c = r + -2. Let l(p) = p - 2. Let s be l(6). Solve 0 = 4*w + m - 4, -c = -3*w - s*m + 11 for w.
0
Let z = 2 - 0. Let r = z + 1. Suppose -44 = -o - r*o. Solve -5 = -4*i + o, -2 = -2*c + 2*i for c.
5
Let u(q) = q**3 - 8*q**2 - 6*q - 21. Let m be u(9). Solve m = -v - 2*g + 5*g, 2*v - 5*g = -9 for v.
3
Let p(v) be the first derivative of -v**4/4 + 2*v**3/3 + 2*v**2 - 3*v - 4. Let n be p(3). Solve 3*l + 4*i = -l, i + 2 = n for l.
2
Suppose 5*v = -3*t + 7, -5*t = 2*v - 0 + 1. Solve -j + 5*k = 28, 0 = -v*k - 2*k + 20 for j.
-3
Let f be (-3)/(-5) - (-68)/20. Suppose s - 8 = f. Solve s = 2*d + o, -2*d - 4*o = -4 - 20 for d.
4
Let a(i) = i**2 - 19*i - 42. Let r be a(21). Solve -5*x = -3*g - 2, -1 = -r*g - g for x.
1
Suppose x + 24 = 4*x + 5*u, -5*x - 2*u = -21. Suppose 1 = x*m - 5. Let t be 4*-2*(-1)/m. Solve -b + 0*b + 3 = -t*v, 0 = 2*v for b.
3
Suppose 32 = 4*g + 2*o, g + 3*o + 16 = 3*g. Solve 3*m + g = -i, m = -2*i - 3 - 3 for m.
-2
Let j = 5 - 8. Let v(x) be the third derivative of x**5/60 + x**4/8 + 2*x**3/3 - 3*x**2. Let w be v(j). Solve -w*g = 12, -4*m + 2 = -0*g - 2*g for m.
-1
Let q be 3 + (-1 - 1 - -1). Suppose 0 = 3*x - 6. Let a be (3/x)/((-3)/(-4)). Solve q*j - 7 = -a*d - 5, -3*d = 4*j for j.
-3
Suppose 4*x - 36 = 4*m, -3*m = 2*x - 3*x + 1. Solve x = -5*w + y, -y - y = -3*w - 5 for w.
-3
Let b = 6 + -13. Let h = 9 + b. Solve h*f + 6*m - m = -35, 4*m = 4*f for f.
-5
Suppose 3 = 2*j - 7. Let c be (7/(-5))/(1/(-5)). Suppose 4*w - 15 = -c. Solve 4*b = -j*h - 25, -5 = -w*b - 0*b + h for b.
0
Suppose -2 = -3*r - 14. Let k(m) = -4*m. Let z be k(r). Solve v - z = -2*p - 4*v, -2*v = -3*p + 5 for p.
3
Suppose 21 = 2*k - 3*y, 2*k - 4*y - 21 - 5 = 0. Suppose 0*r = -2*r. Let s = k - r. Solve -3*a - 2*p = -16, -5*a + 5*p - s*p = 0 for a.
2
Let p(n) = 4*n - 5. Let s be p(2). Let j = s + 0. Solve 0 = w - j*u - 11, -w + 5*u + 16 = u for w.
-4
Suppose -2*o + 1 + 7 = -4*a, 5*o = 3*a - 8. Let y = 8 + o. Suppose 3*u - q - 15 = 0, u - 5*q = 2*u + 11. Solve -u*h - 26 = -6*t + 4*t, -4*t - 8 = y*h for t.
3
Suppose 3*n = n + 6. Suppose 2*j + v = n, -4*v + 0 - 8 = 3*j. Let a = -1 + j. Solve 0 = b + 5 - a, -2*b = 2*y - 2 for y.
3
Let q(b) = -3*b. Let n be q(3). Let s = n + 12. Suppose -s*o + 6 = -0. Solve 0 = -k + o, 0*k = -4*l - 2*k + 16 for l.
3
Let h(a) = 5*a - 2. Let f be h(2). Let d = f - -2. Suppose 0 = -3*n + 5*n - d. Solve -g - 3*g = -4*w + 20, 4*w - n*g = 22 for w.
3
Let c(x) be the second derivative of x**5/20 - x**4/4 - x. Let i be c(3). Solve -l + 8 = -3*y, i*l - 8 = -3*l + y for l.
2
Let m(l) = -l**3 + l**2 + 2*l + 4. Let h be m(0). Solve -3*q - h*p + 12 = q, p = -3*q + 1 for q.
-1
Suppose -3*s + 0 = -69. Solve -n - 5*o = s, n - 2*n = -3*o - 9 for n.
-3
Let t be ((-2)/1)/(16/(-120)). Solve 17 = 4*f + 5*u, -9*f - t = -4*f - u for f.
-2
Suppose 4*q + 32 = 4*y, -3*y + y = -3*q - 12. Suppose 0 = -0*f + f + 7. Let w = y + f. Solve -7*s + 3*s = 5*u - 41, w = u for s.
4
Suppose -s + 29 = -4*b - 6, s = b + 29. Let m be (-1)/2 + (-10)/(-4). Suppose -f = m*f + 5*o - s, f = -5*o + 19. Solve -4*n + 24 = -f*v + 8, 3*v = -3*n for v.
-2
Let t = -116 - -132. Solve 0*u = u - 3*o - 11, -4*o = -u + t for u.
-4
Let r(y) = y**2 + 6*y**3 + 4*y**3 + 2*y - 11*y**3. Let w be r(2). Solve w = 2*b + 5*f, -3*f = -0*b + 5*b for b.
0
Suppose 4*c + 2*z + 30 = 110, -20 = -c - 2*z. Suppose b - c = -2*r, -6 = -3*b + 5*r + 21. Solve -5*a = -4*a - 3*y + b, -a - 4*y + 21 = 0 for a.
1
Let v = -36 - -46. Solve 0 = t - 4*k - 23, -3*t = -8*t - k + v for t.
3
Let 