 4*v - 3*s - x*s - 12 = c, -2*v + 6 = -2*s for v.
3
Let s(a) = a**2 - 2*a - 1. Let m be (-1)/2 + 1/(-2). Let y be s(m). Solve -5*x - 12 = -3*p, 5*p + 6 = y*x + 26 for p.
4
Let m = 3 + -5. Let q = 5 - 0. Let g = q + m. Solve -2*l - g*l = 5*k + 10, -k = 3*l + 4 for l.
-1
Let i be ((-2)/(-3))/((-5)/(-30)). Solve b - 3*r - 4 - 5 = 0, 2*b = i*r + 14 for b.
3
Let i(x) = -x + 9. Let n be i(7). Solve 0 = z - 2, -5*f + 0*z - n*z = 1 for f.
-1
Let h(n) = n**3 + 8*n**2 + 7*n + 1. Let p be h(-7). Let w(b) = 23*b - 1. Let k be w(1). Let q = k - 19. Solve -2*g - p = 3*v - 5, 2*v - 20 = q*g for g.
-4
Let r(u) = -u**2 - 2. Let x(g) = g**2 - g + 1. Let t(k) = r(k) + 2*x(k). Let j be t(3). Solve 4*m = -j*d + 32, -d + 4*m = -m + 21 for d.
4
Suppose 0 = -2*r + 6. Let o be 0 + (1 - -2) - 2. Let n = 6 - o. Solve 0 = -m + n*u - 17, -1 = -u + r for m.
3
Let h(i) = 0*i**2 - 3 - i**2 - 95*i + 96*i + 8. Let o be h(0). Solve -2*v = 4*r - 3*v + 9, 3*v - 13 = o*r for r.
-2
Suppose 0 = -2*m + 2*w - 6*w + 16, -3*m + w = -10. Solve -5*p + m*p - 4*b = 21, -5*p = -4*b - 15 for p.
-1
Let f = -17 - -18. Solve 5*g = -0*a - a - 6, -2*g + f = -3*a for g.
-1
Let w be (-10)/(-3) - (-2)/(-6). Let p = 5 + 0. Suppose p*m = 4*a - a + 14, 2*a - 24 = -5*m. Solve -1 + m = -o - b, w = -b for o.
0
Suppose 4*r = r + 6. Suppose -r = 2*x - 5*t + 14, 4*x - 24 = -4*t. Solve -4*j - 2 - 12 = x*k, 0 = 5*j + k + 19 for j.
-4
Let g = -33 - -49. Let o = -1 + g. Solve -4*t + 15 = 5*k, -k + o - 41 = -5*t for t.
5
Let v(d) = -d**2 - 8*d - 12. Let x be v(-5). Solve 1 = 3*u - k, -x = -u + k - 2*k for u.
1
Suppose -5*l + 5*d = -2*l - 28, -5*l - 2*d = -26. Suppose l*z - 51 = 3*z. Suppose -2*b = w + 7, 2*w = 6*w - b - z. Solve w*c + 3 = i, i + 3*c = c - 7 for i.
-3
Suppose -40 = -2*z - 0*z. Suppose 3*l - 2*l - z = 0. Suppose -3*y - y + l = -4*a, -3*y - 2*a + 5 = 0. Solve -2*k - r + 5 = 0, -y*k + 5*r = -42 + 2 for k.
5
Let t(g) = g - 14. Let f(d) = -d + 13. Let q(z) = -3*f(z) - 2*t(z). Let x be q(14). Let h = 5 - 3. Solve -2*c - 7 = x*i - 0*i, -i - 1 = h*c for c.
1
Let r = -19 - -24. Solve 8*l + 20 = 3*l, -o = -r*l - 18 for o.
-2
Let u be (-2 - -2)*2/4. Suppose u*a + 3*a = 24. Solve k + 21 = -4*n, 24 = 4*k - a*k - 4*n for k.
-1
Let t be 4 - -4*3/(-6). Suppose l = 3*o - 12, -3*o - t*l = o - 16. Solve -o*w = 5*s - 15, 0 = w - 2*w + 4*s - 12 for w.
0
Let m(u) = u**2 + 10*u + 10. Let h be m(-6). Let l be h/(-49) + 26/7. Solve l*s = 5*a + 36, 4*a + s - 5*s = -32 for a.
-4
Let y be 2/((2/(-3))/(-1)). Suppose 0 = -y*t + 3*s + 3, 4*s = 3*s - 1. Suppose -4 = -2*g - t. Solve -9 = -2*l + f, 15 = 2*l + g*l + f for l.
4
Let c be 14/(-63) - (-92)/9. Let x = -5 + c. Solve 0*h = -h - 2*q - 6, 0 = -4*h - x*q - 21 for h.
-4
Let r be (-1 - -1)/((-1)/(-1)). Suppose r = n - 6 + 1. Suppose -2*v = -3*v - 2*j - 8, 4*v - 33 = n*j. Solve -v*p - 14 = 3*a - a, 0 = 5*a - 5*p - 5 for a.
-3
Let r = 29 + -3. Suppose 46 + r = 3*x. Solve m = -2*a + 13, 2*m - 5*m - 3*a = -x for m.
3
Suppose 12 = 5*b + 7. Solve 2*i + 3*j = b - 12, j = -3 for i.
-1
Let r(f) be the second derivative of -f**3/3 + 4*f. Let i be r(-7). Solve 4*d + 5*o - 31 = -5, 3*d = -o + i for d.
4
Let s(a) = a**2 + 4*a. Let i be s(-4). Let f(w) = i*w + 5 + 0*w + w. Let x be f(-3). Solve x*r + 4*j = 0, 5*j - 2*j = 2*r for r.
0
Suppose 2*f - 2 = -2*d + 4, 4*d = f - 8. Solve 4*r - f*w = -8, -r - 12 = -2*w - w for r.
3
Suppose -8*r + 11*r = 12. Solve 3*u + 4*i = -r, 5*i + 9 = -5*u - 1 for u.
-4
Let s = 5 + -5. Let d be (2 - 1) + s + 7. Suppose 3*j - d = 4. Solve -5*n = 5*k + 20, -2*k - n - j = 1 for k.
-1
Suppose q - 2 = -0*q. Let a be 4/12 + (-2)/(-3). Let z be 1 + a + (-12)/(-4). Solve -z*y - 4*k + 6 = -3*k, q*k = -5*y + 7 for y.
1
Let w = -3 + 7. Suppose -3*x - 2*i + 16 = -2*x, 4*x = -4*i + 52. Solve -o + 8 = 5*a - w*a, 0 = -2*o + x for a.
3
Suppose -1 = 5*t + 14. Let q be -10*(t - 10/(-4)). Solve 1 = -k + 2, 24 = q*w - k for w.
5
Let m = 21 + -16. Suppose -m*u - 25 = 0, -3*u - 15 = 2*o + o. Solve 3*n - 22 = -4*g, -n + o*n + 3*g = 10 for n.
2
Suppose -4*c - 4*c + 64 = 0. Solve -4*y - 6*p - 18 = -4*p, y - c = 2*p for y.
-2
Suppose 5*n + 0*n + 3*a = 216, -4*n - a = -170. Let d be n/10 + (-1)/5. Solve -5*h + 7 = d*s, 2*h - s - s - 10 = 0 for h.
3
Let w be ((-14)/(-4))/((-1)/(-2)). Solve -3*b + 6*g + w = 2*g, -3*b - 3*g = 21 for b.
-3
Suppose 0 = 2*k + 3*k - 15. Suppose -3*n + 4*n - 6 = 0. Suppose 5*w - n = 3*w. Solve -k*z = 2*z - 2*f - 4, -w*f = 6 for z.
0
Let x be (-1)/(-2)*(-1 - -1). Let i be (-3)/6*(x - 0). Suppose 2*q - 1 - 49 = i. Solve -3*f - 4*u + 1 = 0, -8*u + 3*u + q = -f for f.
-5
Suppose -3*m = -4*u + 20, 2*m = -0*u + 3*u - 14. Solve 4*r + 4 = -2*q, 0*r + 3*q = -u*r - 2 for r.
-1
Let h be 10*(-1 + 3/2). Let i be ((-8)/(-6))/((-8)/(-12)). Suppose 5*j - i*l = 91, -j + 3*l = 4*l - 21. Solve -t = h*a + j, -4*a + 3*t = -0*t for a.
-3
Let w = 75 - 54. Solve -5*l + f = -w, 4*l + 4*f = l + 8 for l.
4
Let i be (-1)/(-2)*-1*-6. Let d be (-1)/(2/4) + -2. Let s be (-2)/d*(2 - 0). Solve -r = -a - s, 1 = i*a - 6*a + r for a.
0
Let a(t) = -3*t - 2. Let l be a(-5). Let k(r) = -2*r**2 - 5*r - 3. Let i be k(-3). Let o be (-16)/i*(9 - 3). Solve -5*w = g - o, -5*w - 4*g + 6*g + l = 0 for w.
3
Suppose -5*d - 5*z + 35 = 0, 10*d - 6*d - 13 = -z. Solve -2*q - d*q + 3*o - 9 = 0, 2*q = -5*o - 11 for q.
-3
Let r(x) be the third derivative of x**6/40 - x**5/30 + x**4/24 - x**2. Let d be r(1). Let q be 1/((2/5)/d). Solve k + 4*u - 32 + 10 = 0, 20 = q*k + 2*u for k.
2
Let r be 22/2 - (-1 + 1). Suppose 8 = -2*g - 4*v, 0 = -0*g - g + 3*v + r. Solve 6 = -3*z, z = -i - g*i - 2 for i.
0
Let k be ((-45)/(-60))/(2/8). Solve -m - 12 + k = 2*r, 0 = r - m for r.
-3
Suppose -7*i + 2*i + 25 = 0. Suppose -6 + 1 = -2*g + 3*h, 3*g - 17 = -i*h. Solve -2*x + z - 2 = 0, -x + g*z = -z - 8 for x.
-2
Let z(f) = -f**3 + 12*f**2 + 12*f + 15. Let w be z(13). Solve h = -4*x, -5*h - w*x + x = 0 for h.
0
Let f = 2 + -1. Let w(d) = -d**3 + d. Let l be w(f). Suppose l = -g - g. Solve -3*v - 7 = -a, g*a = -4*v + 4*a - 12 for v.
-2
Suppose -2*h - 2*h = -8. Solve 22 = k + 3*k + 2*f, 0 = -k + h*f + 3 for k.
5
Let p(a) = -7*a**2 + 6*a - 4. Let b(x) = 6*x**2 - 6*x + 4. Let i(t) = -6*b(t) - 5*p(t). Let r be i(4). Solve -26 = r*h - 0*v + 2*v, 0 = 4*v + 12 for h.
-5
Let l(g) be the third derivative of g**5/60 - g**4/6 - g**2. Let s be l(5). Solve 2*k + 5*x = 19, -s*k - 26 = -5*x + 14 for k.
-3
Let j(c) = 3*c**2 - 15*c + 6. Let l be j(5). Solve -4*n - 8 = -4*u, -5*u = -n + l + 4 for n.
-5
Suppose 5*b + 4*m - 54 = 0, -6*b + 7*b - 12 = -2*m. Solve 0 = 4*n - 5*x - 12, -5*n + b*n = -2*x + 15 for n.
3
Let a = 6 + -6. Suppose 5*b - 35 = -2*m, a = b + b + 2*m - 20. Let z be -2 - (-2 - -2) - -4. Solve -d - 2*p + 16 = z*p, -b*d + p - 25 = 0 for d.
-4
Let w(z) = -z**3 - 7*z**2 - 7*z + 1. Let m be w(-6). Suppose 0 = -m*v + 31 + 11. Solve 0 = -4*j + c - 2, v*j - 4*c = j - 8 for j.
0
Suppose -5*h - 10 + 0 = 0. Let z = h + 6. Suppose 4*r = 8*r - 8. Solve t = r*t + 3, 0 = -z*l - 5*t - 27 for l.
-3
Let d(l) = -l**3 + 3*l**2 + 6*l - 6. Let b be d(4). Suppose s + b = 4. Suppose -2*h = -h - 9. Solve c + 4*n = s*n - h, 3*c + 23 = -4*n for c.
-5
Suppose a = -2 + 19. Suppose 5*h = a - 2. Suppose q = n - 2, 0*n - 4*n = -3*q - 9. Solve -29 = 5*b + 3*g, -4*b + b + h*g = n for b.
-4
Let c = 12 + -10. Let o = 8 - 5. Solve f = -o*q - c*f - 3, -5*q + 3 = -3*f for q.
0
Suppose -4*h = -3*l + 2 - 20, -h = -l - 5. Solve -3*x + 3*k = -0*x, 32 = -5*x - h*k for x.
-4
Suppose -5*s + 5 = -4*s. Solve -2*w = -s*w, -2*w = 3*h + 9 for h.
-3
Let z = 24 + -20. Solve 2*h = -4*j + 3*h + 23, -z*h + 8 = 4*j for j.
5
Let x(s) = -s**3 + 5*s**2 - s + 3. Let n be x(5). Let j be 3*5/(-6)*n. Solve -2*d = 2*u + 6, j*u + 0*u + 14 = -4*d for u.
-2
Suppose n + 3*j = 0, 0*n - 5*j = 5*n + 10. Let m be -2 + 7/((-14)/(-4)). Let t = m - n. Solve r - t*u = -4, -30 = -5*r - 2*u + 1 for r.
5
Let r(n) = 10*n - 3. Let h be r(2). Solve 2*s + 3*a - h = 0, -6 = 2*s - 5*a + 1 for s.
4
Let z = -30 + 38. Solve -2*x = -z, -4*r - x + 8 = x for r.
0
Let s be 2 + -1 - (-15)/3. Let l be ((-4)/2)/(-4)*s. Solve l*d = 3*t + 2*t + 25, 4*t = -d - 20 for d.
0
Suppose 0 = 5*x - 29 + 9. Solve -3*c - 4 = 4*q - 7*c, -4*q - 5*c = x for q.
-1
Let o(z) = z - 4. Let c be o(8). Solve c*q - 23 = -b, -5 = -q - 0 for b.
3
Suppose 14 =