4*j + 3 = -9. Suppose v + j*m = 14, 5*v - m = 3*m - 6. Solve -2*s + 2 = 0, -s = -v*n + l + 1 for n.
3
Let i(r) = -r**2 - 7*r + 3. Let u be i(-7). Solve 5*y - 15 = u*d, 14 + 1 = d + 5*y for d.
0
Suppose 3*u = 4*w - 32, -w - 3*w + 5*u = -40. Solve 4*h = p + 4*p, -2*p - w*h = 0 for p.
0
Suppose q + 3*q = -5*c - 20, -3*c = -3*q - 15. Suppose c = 2*d - 2. Let a = d - 1. Solve -2*z + y - 14 = a, 0 = z - y - 1 + 10 for z.
-5
Let w be -4*((-5)/2 + 2). Let k(v) = v - 1. Let h be k(w). Solve -h = 2*b - 5*n, 4*n + 3 + 1 = 0 for b.
-3
Let m be 2/(6/9) - 0. Let g = m - 1. Solve 2*d = -3*b + 8, -3 = g*b - d - 6 for b.
2
Let s = 6 - 4. Suppose 0*l - s = -l. Let r be 8 + (-20)/(-12)*-3. Solve 0 = -4*f + i - 17, -r*i - 9 = l*f - 4 for f.
-4
Suppose 2*k - 4*j = 12, 6 = 2*k + 3*j - 6. Suppose -2*i = -k - 4. Solve 6 + 6 = -i*q - 3*v, -2*q - 2*v = 8 for q.
0
Let h(x) = 6*x + 4 - 23 - 1. Let b be h(8). Solve 0 = 5*d + 2*g - 30, 0*d + 4*g = -2*d + b for d.
4
Suppose -5*r + 4*c + 46 = 0, -2*r - 2*c = -0*r - 22. Let a = -13 - -6. Let t = a + r. Solve -t*z + y = 13, -3*z + 3 = -2*z - 4*y for z.
-5
Let t = -8 + 12. Suppose t*o = -o. Solve 2*y - 6 = 4*k, -k - 12 = -o*k - 4*y for k.
0
Let g = -17 + 10. Let m = -4 - g. Suppose -m*z + 10 = -14. Solve -k = -z + 3, o + 14 = 2*k for o.
-4
Let w be 18 - 0/(7/(7/2)). Solve -3*z = d - w, 0 = d + 4*d + 5*z - 40 for d.
3
Let i(s) be the first derivative of s**3/3 - 5*s**2/2 + 3*s - 2. Let d be i(5). Solve 4*v = -0*r - r - d, 4*r + 12 = -3*v for r.
-3
Let k(y) = -1. Let f(p) = p + 4. Let s(o) = f(o) + 4*k(o). Let h be s(3). Solve -h*m + 3*v = -0*m - 24, 3*v + 9 = 0 for m.
5
Let o be -2*1*(-52)/8. Solve o + 17 = 5*k - 5*x, 3*k + 5*x + 6 = 0 for k.
3
Suppose 9*a - 6*a = 15. Solve -5*t - a*w + 10 = -2*w, 5*t = 2*w + 10 for t.
2
Let d(a) = -a**3 + 5*a**2 + 7*a - 1. Let y be d(6). Suppose 2*n + y = 11. Solve -4 = -2*i + n*b, 5*b + 2 = 4*i - 2 for i.
-4
Suppose 2*p = 2 + 8. Let y(v) = -v**3 + 5*v**2 + 2*v - 6. Let t be y(p). Solve 5*m + 19 = -2*x, m = 3*x + 7 - t for x.
-2
Let j be (6/4)/(78/364). Solve -5*f + 13 = 3*l, -7*f + 2*f = -3*l - j for f.
2
Let v(g) = g**2 - 7*g + 14 - 2*g**2 - 8*g**2 - g**3 - 4. Let f be v(-8). Suppose 5*o = 3 + 7. Solve -p = f*c + o*p - 22, -4*p = c - 21 for c.
5
Let j = -80 + 85. Solve -j*m = a - m, 4*a = 5*m for a.
0
Let j = -1 + 6. Suppose 4 + j = -y. Let r = y - -14. Solve -r*m - g + 23 = g, m = -3*g + 2 for m.
5
Let d be 9*(4 + -2) - 0. Solve -5*z + 6 = 2*u, 0*u = -5*u + 4*z - d for u.
-2
Let a be 2 + 0 + (-28)/14. Solve a*m - 10 = 2*m - z, -2*m = -4*z + 16 for m.
-4
Suppose 4*q - 10 = -q. Let m be -1*1/q*-2. Suppose f - m = 2. Solve 0 = -k - 5*j + 19, -f*j + 2*j = -3 for k.
4
Suppose p + 12 = 7*p. Solve -2*m + m - 7 = p*d, 0 = -4*d - m - 9 for d.
-1
Suppose 3*c - 18 = c + 3*d, 0 = 3*c + d - 5. Solve 5*j = 20, 0 = p - c*j + 23 - 8 for p.
-3
Let i = 4 + -1. Let g be 6/(-8) + (-46)/(-8). Suppose -4*x = -2*x - 4. Solve k + 3*k = -z + 8, -i*k + x*z = g for k.
1
Let j(x) = -x - 3. Let i be j(-9). Let p = i + -1. Solve s + 4*g + 6 = 0, -p = s + 2*g - 1 for s.
-2
Let u be (-3 - -2)/(2/(-10)). Suppose -5*h = -2*n + 18 - 7, -2*h = -n + u. Solve 4 = n*g + j, 4*g - j = 2*g - 4 for g.
0
Let o(y) = 2*y**2 + 2*y + 1. Let k be o(-1). Let h = -4 + 7. Suppose w - 13 = -2*q, h*w = -4*q + 6*w + 1. Solve 3*z = 4*s + k, -q*z + 8 = -5*s + 3*s for z.
3
Suppose -2*u = u + 6, w + u - 6 = 0. Solve -3*t - 2 = -i + 2*t, 4*i - t - w = 0 for i.
2
Let g(i) = i. Let w be g(2). Suppose -3*y - w*a - 2 + 6 = 0, -2*y + 2 = a. Solve 2 = -2*b + d, -2*d + 1 = -b - y*d for b.
-1
Let t(s) = 2*s**3 + s**2 - 4*s - 3. Let z be t(-2). Let g(d) = 5 + 6 - 2 + d. Let h be g(z). Solve l + l = 0, -h*l - 15 = -3*r for r.
5
Suppose j - 2 = 0, -l + 5*l = 5*j + 6. Let y be 11/l + 1/4. Solve 4*t - 7 = -v + 9, -y*v = 4*t - 8 for v.
-4
Suppose 0 = 5*p - 47 - 13. Suppose p + 4 = j. Solve 2*h - 3 = -3*g + 4, -h + 5*g = j for h.
-1
Suppose 5*c + 4 = 24. Let v be 10/6*(8 - 5). Let w = 8 + v. Solve -f = s - 3*s + 1, -s - c*f - w = 0 for s.
-1
Suppose 2*h + 4 = 6*h + 3*t, t = 5*h - 24. Suppose 3*d - 2*d + 10 = h*j, -3*d - 14 = -4*j. Solve -3*b + 13 = j*o - 7*o, 5*b = o - 15 for b.
-4
Let g be ((-1)/(-3))/(5/75). Let i = -3 + g. Let t = i + -2. Solve 4*q - 2*q - 5*f + 13 = t, 3*q = -f + 6 for q.
1
Let i = -17 + 36. Solve 5*f = -w - 1 - i, 25 = w - 4*f for w.
5
Let w be (-10)/3*13/(260/(-24)). Solve w*p + 8 = m, 5*p = 3*p + m - 4 for p.
-2
Let o = 9 + -6. Suppose 0 = -r - 3*r + 24. Let f be -4*3/r*-2. Solve -o*u + 5*p = -5, f*u - 4*p + 2 = -2 for u.
-5
Let a be 4 - (0 - (2 + -3)). Solve 0 = 4*n - 5 - a, 0 = -2*x - 5*n + 16 for x.
3
Let w(u) = -u + 0 - u + 0. Let d be w(1). Let g(h) = -19*h - 2. Let o be g(d). Solve c - 5*c = 5*f + o, 0 = 3*c - 5*f - 8 for c.
-4
Suppose -4*z - 6 = -5*x, 1 + 0 = z. Let l be (2 - (0 - -2))/2. Suppose 6*u - 2*u - 8 = l. Solve -4*n = k - x, -2*k + k + 5*n = -u for k.
2
Suppose 0 = -g + 3 - 1. Suppose y + 2 = g*y. Let i be 3/12 + 198/8. Solve 13 + 0 = y*j - 5*v, 5*v = 5*j - i for j.
4
Suppose -4*g + 4*u = -84, 0 = -5*g + 2*u + 40 + 50. Solve -3*y + 2*w = -g, -w = 2*y + 3*w for y.
4
Suppose 0 = 2*y - 6. Solve -y*g - 6*n - 5 = -2*n, -2*g = -4*n + 10 for g.
-3
Suppose 1 = -5*u + 2*v + 8, 16 = 4*v. Solve -p + 4 = -u*p + 5*s, 0 = 2*p - 3*s for p.
3
Suppose 8 = 3*y - 4. Suppose -y + 2 = -u. Let v(f) = -f**2 + 5*f + 5. Let r be v(5). Solve 0*k - r = u*k + j, -4*k - 22 = -2*j for k.
-4
Let z(c) = 11*c - 2. Let w be z(5). Suppose 4*j + 40 = 5*q, -6*q - j = -2*q - w. Let v = q - 8. Solve 0*p + 4*f = 2*p - 12, 5*p + v*f = -40 for p.
-4
Suppose 11*t - 2 = 10*t. Solve -t*q - 3*r + 9 = 2, q + r = 2 for q.
-1
Let b(j) = 4*j - 3. Let x be b(2). Solve -2*i - 3*i = x*g, -4*g = 3*i for g.
0
Let f be ((-6)/7)/((-12)/56). Solve -w + 2*t - 4 = 0, -f*w - 4*t - 16 = -t for w.
-4
Let o = -24 + 45. Solve 0*g = 3*c + 3*g - o, -18 = -4*c + g for c.
5
Let o be (-37)/(-4) - 1/4. Solve 0 = -2*c + 2*n + 1 + o, 4*c - 15 = -n for c.
4
Let u(i) = i + 6. Let a be u(-3). Suppose 0 = 2*j + a*j - 10. Solve 4*h = 8*h - o + 15, -2*h = -j*o + 6 for h.
-4
Suppose -10 = 3*s - 4*u, 4*u - 20 = -2*s - 0*u. Suppose -s*n = -4*z - n + 27, -5*z + 55 = 3*n. Solve 3*d - 7 = -0*d + 2*r, -2*r + z = 2*d for d.
3
Let h(b) = b - 1. Let y be h(6). Suppose 3*g + 8 = -y*q - 1, q + 13 = 5*g. Solve -12 = g*m - m - 5*v, -5*m - 18 = -4*v for m.
-2
Let o = 19 + -19. Suppose -4*w = -o*w. Solve 3 = 2*f - 3*x, -3*f = -w*x + 3*x + 3 for f.
0
Let o = -3 + 3. Let h = -12 + -3. Let m be (-32)/(-6) + 5/h. Solve m*q - 3*q - 4*l + 2 = o, 2*l - 10 = 4*q for q.
-3
Suppose 3*b + 12 = 0, n = -2*n - 3*b - 3. Suppose -3*d + 6 = -6. Suppose -w + 16 - d = 0. Solve 5*h = -n*k + 29 - w, 4*h + 4*k = 12 for h.
4
Suppose -3*z + i + 0*i = -10, -3*i = 5*z + 2. Let p = 5 - 3. Let h(n) = 2*n**2 - 2*n - 1. Let d be h(p). Solve d*r + 15 = 4*j + z*r, 2*j + 5*r = 35 for j.
5
Suppose 6*z - 9*z = -9. Suppose 15 = -y - a - 3*a, -y = -4*a - 25. Suppose 3*v = 2*v + n - 3, y*n - 15 = 2*v. Solve 5*x + z*g = x - 2, -3*x + 2*g + 7 = v for x.
1
Let a = 6 + -4. Let m be (10/(-6))/(1/(-3)). Solve -k = m*r, a - 7 = -k for r.
-1
Let s(h) = -h**3 + 13*h**2 - 11*h - 9. Let z be s(12). Solve -o + 3 + 12 = 5*w, -2*w + z*o = 11 for w.
2
Let s(a) = -a + 1. Let n be s(-1). Suppose 0*w = -n*w + 8. Solve 3*y - r = 2*y - 3, -w*y = -r + 12 for y.
-3
Let y(j) = -j**3 + 4*j**2 + j - 4. Let o be y(3). Suppose 0*c = 4*c - o. Solve c*w - 3*l + 2*l = 13, 5*l + 17 = -2*w for w.
4
Let d = -61 - -66. Solve -5*l - 35 = -5*z, -d*z - 3*l - 2*l + 15 = 0 for z.
5
Let f(a) = 2*a - 6. Let l be f(4). Let k be l/(-1) + (3 - -19). Suppose 2*b - 4*j = -0*j - 12, -j = -2*b + 3. Solve -k = b*i - 5*q, -i - i - 5*q - 10 = 0 for i.
-5
Let o = 19 - 16. Solve 3 - 15 = 4*n + o*f, -n = -3*f + 3 for n.
-3
Let w(b) = -b**3 - 9*b**2 - 7*b + 10. Let p be ((-6)/2)/(9/24). Let a be w(p). Solve -14 = -5*s + 3*k, -a*s + k + 14 = 4*k for s.
4
Suppose -4*z - 4 = -4*y, 4*y = -4*z + 2*y + 20. Suppose 10 = z*i - 2*n, 0*i = 4*i + 4*n. Let v be (5 - 2) + (0 - i). Solve -k - k = 4*f, -k - v = 3*f for k.
2
Let r(t) = -t**2 - 11*t - 7. Let g be r(-10). Let i be ((g + -3)/(-2))/(-4). Solve i*z + 4*z = l + 12, -4*z + 2*l = -12 for z.
3
Suppose 4*h - 17 = -2*f + 1, -3 = 4*h - 5*f. Solve h*m + 10 = g, -2*g