*z - 6 = 9, -c - a = 3*z for c.
-5
Suppose 15 = 11*u - 14*u. Let p = u + 7. Solve 5*i + 12 - 2 = -p*n, -4*i + 25 = -5*n for n.
-5
Let c(n) = 2*n**2 + n - 1. Let s be c(-3). Solve -4*h = -3 - 5, -k + s = 5*h for k.
4
Let r(n) = 7*n + 30. Let u be r(0). Solve -3*a - a + u = -5*l, -2*l = -4*a + 24 for a.
5
Let c(w) = 4*w - 5. Let l(u) = -9*u + 9. Let d(q) = 7*c(q) + 3*l(q). Let b be d(10). Solve s + 5*j - 6 = 0, -b = -2*s + 5*s - 5*j for s.
1
Let k = 8 + -15. Let o(c) = -c**2 - 8*c - 4. Let j be o(k). Suppose -3*a - 5*f = 4, -4*a + 10 = -2*a - 3*f. Solve 5*m - 40 = -4*l, -a*l + 18 = j*m - m for m.
4
Suppose -o = 97 - 105. Solve -4*l - 15 = -v, -2*l - 3*v - o - 3 = 0 for l.
-4
Suppose -3*c - 4 = -4*c. Suppose -2*j - 12 = c. Let o be (-14)/j - (-3)/12. Solve 0 = o*v - b + 7, -v + 3*b + 4 = -0*v for v.
-5
Let c = -1 - -4. Let i be -1*2*-4 + -3. Suppose -1 = -i*o + 9. Solve 3*j + c = -5*x, -o*j = x - 4 - 1 for j.
4
Let s(x) = 5*x + 1. Suppose 3*m = 8*m - 15. Let y be s(m). Suppose -5*n - 4*c - 17 + 50 = 0, 2*c = 4*n - y. Solve -n*a = -5*v, -2*a - 3 = -3*v + 2*v for v.
-3
Suppose 0 + 22 = -2*v. Suppose -4*j - 5 = 3*z + 1, z + 21 = 5*j. Let o = z - v. Solve -o*s - 28 = -g + 4*g, 2*g + 27 = -5*s for g.
-1
Let h = 6 - 3. Suppose 3*q + 3*d - 8*d + 1 = 0, 3*d - 15 = -h*q. Solve -q*s = -4*s + 2*z - 11, -4*s + 3*z = 29 for s.
-5
Suppose 3*a - 4 = 14. Solve -2*c - 4*f + 6 = 0, 0*c + 2*f + a = 2*c for c.
3
Let c be (9/12)/((-2)/16). Let f(b) = -b**2 - 7*b - 2. Let l be f(c). Solve -20 = -2*p + l*p + 2*y, 4*p = 5*y + 5 for p.
-5
Let x(g) = -g**2 + 6*g - 5. Let c = 10 + -5. Let w be x(c). Let d = 2 - -1. Solve 2 = a - 2*j + 3*j, d*a - 4*j - 27 = w for a.
5
Suppose -3*u + 10 = 2*u. Suppose -c = 3*x + 1, 7*x + 53 = 3*c + 2*x. Solve -4*z + c = -u*d - 3*d, -2*z + 4 = -2*d for z.
-1
Let s be (-29)/9 + 2/9. Let b(u) = -u - 7. Let t be b(-6). Let r be (1/s)/(t/6). Solve -y + r*i = -2, -4*y + 14 = -2*i - 0 for y.
4
Let p be (2 - (6 + -1)) + 30. Suppose -6*u - 3 = -p. Solve 2*w + z + u = 0, 3*w = -4*z + 2 - 3 for w.
-3
Let c(w) = -w + 5. Let s be c(3). Let x = 15 + -33. Let k = x - -23. Solve k*r + 16 = 4*t, -s*r - 1 - 3 = -4*t for t.
-1
Suppose 0 = 19*d - 17*d. Solve -4*i + 4 = 8*y - 4*y, d = 5*y for i.
1
Let t(r) = -9 + 4 + 4*r - 16. Let i be t(9). Solve -2*v = 5*s - i, -4*s + 16 = 2*v + 4 for s.
3
Suppose -5*b - 5*l = -40, 8*b - 6*b - 5*l + 19 = 0. Solve -k - 4*o + 45 = 4*k, -3*k - b*o = -30 for k.
5
Suppose h - 3*h + 36 = 0. Suppose -63 = -3*l - h. Solve 2*j - l = -2*n - n, 2*n = 6 for j.
3
Let a(s) = -s**3 + 8*s**2 - 6*s - 4. Let x be a(7). Solve -l - 2*l - 3 = 4*r, 3*l = x*r - 24 for l.
-5
Suppose -o = 24 - 27. Solve 0*v - 4*v = -3*x - 16, -o*x - 13 = -v for v.
1
Suppose 9 = s + 4*t, t + 4 = -2*s + 15. Solve k + 6 = -k, 0 = -b - k - s for b.
-2
Let m(r) = -2*r + 8. Let s(z) = z - 4. Let o(w) = 4*m(w) + 9*s(w). Let l be o(6). Solve 6 = 3*v, l*n + 3*n + 17 = v for n.
-3
Let l be ((-3)/12)/((-1)/4). Let v(d) = 13*d**2 - d. Let n be v(l). Let c be (-4)/(n/9)*-1. Solve -4*k = -4*j - 5 - c, -6 = -2*k + 4*j for k.
1
Suppose -p + 23 = 9*b - 4*b, 0 = -2*p - b + 10. Solve -8 - 4 = -4*z - 4*k, -p*k = 6 for z.
5
Suppose -5*s = -16 - 14. Let u be ((-22)/s - -4)*12. Solve -2*w = u*r + 10, 0*w = -w + 5 for r.
-5
Let q = 37 + -29. Solve -2*p - 20 = -2*r - q, p + 4*r - 14 = 0 for p.
-2
Let o(d) = 2*d + 13. Let v be o(-5). Solve -3*l + 2*g - 3*g + 5 = 0, -3*l + 15 = v*g for l.
0
Let u(t) be the first derivative of -t**3/3 - 5*t**2 + 4*t + 5. Let l be u(-10). Solve a + 4*y + 12 = 0, 4*a + 28 = -a - l*y for a.
-4
Let r(p) = 2*p + 2. Let c be r(0). Let q be c - -1 - -8 - 1. Solve 5*b - w = -0*b - 15, -q = -2*w for b.
-2
Suppose 0 = -3*q - 2*q - c + 82, -62 = -4*q + c. Suppose -2*w = 2*w - q. Let u be (5 + -1)*4/w. Solve 11 = -u*n + f, -n + 0*f = 2*f + 14 for n.
-4
Let v = 0 - -2. Let c be (-5)/(-2) - 1/v. Solve 1 = -4*s - 5*o + 18, -24 = c*s - 4*o for s.
-2
Let g be 3*(4/16)/(6/8). Solve -2*b + 3*s = g, 2*s + 4 = 4*b + 2 for b.
1
Let b(g) = 3*g - 11. Let a = 15 + -7. Let p be b(a). Solve -4*l - 1 = 2*t - 5*t, 5*l - p = -t for l.
2
Let o be (-16)/(-1*(-8)/(-12)). Solve -3*l - o + 4 = 4*q, 4*l = -16 for q.
-2
Let g be ((-18)/(-24))/(1/(-4)). Let d be g/9*(-1 + -14). Suppose 0*n + 2*n - 10 = 0. Solve -12 = 3*m - 5*q, n*m + d*q - 4 = 16 for m.
1
Let o(p) = p - 6. Let x be o(-6). Let n be (-70)/(-22) + x/66. Solve -2*h + 14 = -2*r, -r - n*r = -3*h + 23 for h.
5
Let i(p) = -p**2 - 5*p - 1. Let n be i(-2). Suppose a - n = 10. Suppose 3*q + 0*q - a = 0. Solve 4*d - o - 2 + 11 = 0, 5*d = q*o - 15 for d.
-2
Suppose 0*o = -3*o + 15. Let s = 6 - 18. Let v = s + 24. Solve -u = -2*j + 5*j - 8, -2*j - v = o*u for u.
-4
Suppose -11*k + 12*k = 5. Solve -4*h - 5*p + p = 8, 19 = -k*h + 4*p for h.
-3
Let i(v) = -2*v + 42. Let n be i(19). Solve q = n*d - 16, 4 = 3*q - 8 for d.
5
Suppose 17 = 4*h + 1. Solve 4*j + 18 = 5*i + 2, 5*j - 21 = -h*i for j.
1
Let s be 1*(-3 - 1 - -2). Let l = s + 4. Let c be l/8 + 38/8. Solve c*h - 17 = q, 3*h - q - 16 = -5 for h.
3
Suppose -2*j - 2 = -0*j - 5*y, -2*y = 3*j - 35. Let s = -2 + 7. Let i be 10/4 + 1/(-2). Solve -2*p = p + j, i*u = -s*p - 15 for u.
0
Let v be ((-8 - 4)/(-2))/2. Solve 0*k - v*k - 3 = 4*a, 3*a - 2 = 2*k for a.
0
Let d = 39 - 27. Let f be (-45)/d*20/(-3). Suppose -3*k + 6 = -24. Solve 35 = 3*q - 4*o, -4*q + 3*o = -k - f for q.
5
Let x(f) = 4*f - 19. Let m be (0 + 1)/((-1)/(-9)). Let l be x(m). Solve -2 = -s - 3*v + 1, 4*v = 3*s + l for s.
-3
Let u(l) = l**3 - l - 1. Let m be u(2). Suppose 0*k = 2*k - w - 11, 0 = -5*w + 5. Suppose -k - 4 = -2*f. Solve 0 = f*d + c - 14, m*c = -2*d + c + 20 for d.
2
Let d(u) = -u**2 + 8*u - 7. Suppose g - 2 = -y, 5*y + 15 = 2*y. Let f be d(g). Solve -i + 4 = -f*q + 3*q, -20 = -5*i + 2*q for i.
4
Suppose -9*c = -3*c - 30. Solve 3*j = 5*q - 8, -7 = c*j - 0*j - 2*q for j.
-1
Suppose 2*j - 15 = -j. Let h be (-136)/(-48) - 2/24*-2. Solve 4*z = -2*m - 22, -2*m = h*m + j for z.
-5
Let o(g) = -g**3 + 5*g**2 + 7*g - 2. Let f be o(6). Solve 4*x = 6*w - 9*w + f, 5*w - 20 = 0 for x.
-2
Let s be (-8)/(-3)*(-15)/(-20). Solve -2*q - 2*k + 4*k - 14 = 0, -k = s*q - 1 for q.
-2
Let d be 1/((-21)/24 - -1). Solve u + 14 = -3*t + 3*u, 2*u = d for t.
-2
Suppose 1 = -5*n + 31. Suppose -15 = -n*b + b. Solve 4*d + 5*a = 31, -2*d - 5*a + 35 = b*d for d.
4
Let t = 19 - 10. Solve t = -y - 2*n - 2*n, 4*y - 2*n = 18 for y.
3
Suppose 0*r + r - 4 = 0. Solve o - 26 + 4 = -5*y, 3*y - 4*o = r for y.
4
Let q(f) = f**3 + 10*f**2 + 13*f - 16. Let u be q(-8). Let j be 0*(-1 + (-3)/(-2)). Suppose j = -y + 2 + 2. Solve c + y*c - 5*i - 45 = 0, 0 = 2*i + u for c.
5
Let o(x) = -x**2 - 8*x - 8. Let w be o(-6). Suppose -w = a - 6. Solve a = -u + 2*f, 0 = -5*u - 3*f - 0*f + 3 for u.
0
Suppose 2*c + 26 = -4. Let r = c + 17. Solve 4*b + 6 = r*q, 0*q + 2*q - 14 = -4*b for q.
5
Let h = -10 + 14. Solve -u + 4*o - 5*o = 0, -3*o = 4*u - h for u.
4
Let t = -8 + 10. Let n = -17 - -35. Solve n = -3*g + t*l, 3*g - l - 4*l + 27 = 0 for g.
-4
Let c = -45 - -65. Suppose -3*t + 4*t - 8 = 0. Let r(i) = i**2 - 7*i - 8. Let g be r(t). Solve -5*h + c = g, -2*z = -2*h + 5*h - 2 for z.
-5
Let d(o) = -o**3 - o**2 - o + 4. Let q be d(0). Solve 2*g - 4*w + 16 = q*g, 2*g - 1 = w for g.
2
Suppose 0 = 5*z + 4 + 6. Let f = 5 + z. Solve o + 2 = -4*y + 5, 3*y = f for o.
-1
Let o = 5 - 3. Suppose 9 = r + o*r. Solve r = -b - 2*p, 0*b + 5*p = -4*b for b.
5
Suppose -2*u + 4 = -0. Suppose -2*b = u*g - 18, 3*b + 4 = 5*g - 1. Solve -3*m = -y - 4*m + 6, g*m = 3*y - 4 for y.
4
Suppose 3*u - 2 = 2*u. Solve 2*o = 4*f + 18, u*f = 3*f + 2 for o.
5
Let c = -51 + 71. Suppose 4*k - c = -5*o, -4*k - 4 = -2*o + 4. Solve 5*y = -0*r + 3*r + 3, -r + y + 1 = k for r.
4
Let q(o) = 16*o**2 + 2*o + 1. Let h be q(-1). Let g be h/2*2/3. Let s(t) = -3*t - 4. Let j be s(-3). Solve 4 = j*n - 2*z, -g*z + 0*z - 10 = -4*n for n.
0
Let v be (-88)/(-20) - (-3)/5. Solve 0 = u + v*m + 18, 2 = 5*u - 2*m + 4*m for u.
2
Suppose l = -3*l + 2*r + 12, 2*l + 4*r + 4 = 0. Suppose 2*f - 16 = 5*a, 5*f - 3*a = -6*a + 9. Solve -k - 9 = -3*k - f*n, -l*n = 4*k - 6 for k.
0
Let c(x) = -x**3 + 20*x**2 - 21*x + 38. Let y be c(19). Solve y = -3*b - 2*v - 5, v = -2*b - 0 - 4 for b.
-3
Let q be 2 + (-2)/(-4)*6. Suppose -4*l = i - 25, -2*l + q*l - 3*i 