j*k - k for s.
1
Let v(i) = -i**3 - 8*i**2 - 8*i + 9. Let k be v(-7). Let x = k + -10. Solve u = x*u + a - 6, u = a for u.
1
Let o = 8 + -8. Solve o*w - 2*w - 3*j - 8 = 0, 4*w + 16 = -5*j for w.
-4
Suppose 3*t - b - 44 = 0, 0 = -2*t - 0*b + b + 29. Solve -3*d + t = -5*k, 2*d + 3 = -2*k + k for k.
-3
Suppose 3*k + k = -136. Let v be -1*(-2 - k)*-1. Suppose 5*j - 11 + 1 = 0. Solve 0 = -3*a + 4*i + v, -5*a + j*i = i - 25 for a.
4
Let z be (-6 - -2)/(2 - 4). Let r = 7 - 1. Let k be 6/(-15) + 57/5. Solve -z*m = -v - r, -4*m - m = 4*v + k for v.
-4
Let f = 18 - 10. Let d be 6/f + 2/8. Let l(w) = 2*w - 4. Let j be l(4). Solve i + 3*z + d = j*z, 2*i + 4*z = 10 for i.
1
Let w(q) = q**3 + 4*q**2 - 6*q - 5. Let p(v) = v**2 - 8*v + 3. Let j be p(7). Let s be w(j). Solve 3*l - s = -4*a, 4*a = 2*l + 2*l - 16 for a.
1
Let y be 11 + -13 - -7*1. Solve 3*c - 12 = 0, -5*r + 6 = -y*c + 26 for r.
0
Let k be -2 + 0 + 18/1. Let h be (3 - 2)*(-5 - -2). Let g = k + h. Solve -m + 14 = 2*z + z, -2*m + g = 3*z for m.
-1
Let p = 2 + 1. Solve -p*h - 5*x = h + 21, 4*x + 19 = -h for h.
1
Suppose 4*k - t = 12 - 33, 5*k + 3*t = -5. Let s be 2/4 + (-18)/k. Let p be 5/1 + -1 + 0. Solve 3*d = p*j + 3, -s*d + j = -4*j for d.
-3
Let s(i) = i**2 + 3*i - 2. Suppose -28 = 4*a + 3*l, 4*a + 20 = l - 2*l. Let y be s(a). Solve 3*t + 4*o = -14, -5*o - 6 = -t + y for t.
-2
Let p = -15 + 9. Let z be (-6)/18*p/1. Solve -4*g = 4*f, -z*f + 21 = -3*g - 4 for f.
5
Let f be (-3 - -4)*0/(-5) - -5. Solve 15 = c + 5*w, f*w + 16 = 4*c + 3*w for c.
5
Suppose 0 = 4*w - 2*w. Suppose 0*u - u + 1 = w. Let q(p) = -p**3 - 6*p**2 - 7*p - 6. Let s be q(-5). Solve 4*z = k + s, 2 + u = -2*k + 3*z for k.
0
Let o(r) = 4 - 4 - 1 - r. Let b be o(-6). Solve 0 = -3*n + 5*a + 25, 2*n = b*a + 24 + 1 for n.
0
Suppose 2*c - 52 = -2*v, -v + 82 - 6 = 3*c. Solve 5*t = x + c, -4*t + 30 = 10 for x.
0
Let m = 99 - 97. Solve -a = -3*x - 5, -5*a - m*x - x = -25 for a.
5
Let u(t) = -t**3 + 3*t**2 - 2*t. Let p be u(1). Solve p = -5*q - 5*h + 30, 5*h - 18 = 2*q + h for q.
1
Let x be 1 + 3/1 + 0. Let m = -12 - -6. Let l(h) = -h**3 - 7*h**2 - 8*h - 7. Let f be l(m). Solve -o - 27 = x*i + i, i = f*o + 5 for o.
-2
Let g(c) = -c - 6. Let w be g(-7). Let v be w/(-2) - (-165)/6. Let r = -12 + v. Solve 4*p - 3*k = -13, -k = -p - 3*p - r for p.
-4
Let k be (-2 - -4) + 1 + -1. Let m = k + -2. Solve 3*z - 2*s - 24 = -5*s, m = -5*z + 4*s - 5 for z.
3
Suppose -2*l - 44 = -5*l - 2*p, -5*l + 64 = p. Solve -4*c - 8 = 4*y, -4*c - 4 - l = -4*y for y.
1
Let a(i) be the second derivative of 19/12*i**4 + 1/3*i**3 + i - 1/2*i**2 + 0. Let t be a(1). Solve 5*k + 3*s - t = 0, -5*s + 9 = -k - 3*s for k.
1
Suppose 0 = f - 18 - 8. Suppose -s + 5*b - f = 0, -3*s = -6*s - b + 2. Let z = s - -4. Solve 4*a + z*n + 28 = 0, -a = -6*a - 3*n - 32 for a.
-4
Let k = 13 + -7. Let y(p) = p**3 - 5*p**2 - 7*p + 6. Let u be y(k). Solve -2*b + d - 9 = u, 9 = -2*b + 3*d - 10 for b.
-2
Let i be -74*-1*4/8. Suppose 0 = 5*x - 5*h + h - i, 0 = 3*h - 6. Solve 0 = -2*p + 5*c - 8, 4*p + 2*c + 7 + x = 0 for p.
-4
Let d(f) be the third derivative of -f**2 + 0*f**3 + 1/60*f**6 + 1/24*f**4 + 0 - 1/20*f**5 + 0*f. Let j be d(3). Solve 20 = 3*t + 2*t, 5*b - j = -5*t for b.
2
Suppose 5*l - 5 - 5 = 0. Suppose l - 7 = -s. Solve 0 = -5*b + s*q - 5, 3*b + 2*b - 3*q - 1 = 0 for b.
2
Suppose -3*r - 2*r = 100. Let f = 28 + r. Solve 2*v = 3*x - f, -2*x - 2*x - 5*v - 20 = 0 for x.
0
Let z(g) = g**2 - 11*g + 12. Let f be z(11). Let h(w) = -w. Let c be h(-5). Solve n - 3 = c*v - f, 0 = -3*n - 5*v + 13 for n.
1
Suppose -3 = 5*s - 6*s. Solve -5*x = -s*j + 27, 0 = -2*j - j + 2*x + 18 for j.
4
Let x = -98 - -111. Solve 0*h - h = 2*j - 1, -2*j + x = -3*h for h.
-3
Suppose 4*r - 2*h = 16 + 6, -3*r - 4*h = 0. Suppose t = r + 3. Let w be ((-10)/t)/((-3)/21). Solve 0 = 2*z - w, 4*c + c + 5*z = 5 for c.
-4
Suppose 2*i - 2*a + 8 = -a, 2*a = -4*i - 8. Let m = i + 1. Let w be 1/3*m*-6. Solve 0 = f + 5, -w*f - 9 + 1 = 4*n for n.
3
Let a be 4/(-3)*27/(-6). Solve 5*f + 10 = 3*d, -a*f + 3*d - 14 = -5*f for f.
1
Suppose -7*f = -6*f - 2. Suppose 0 = -2*w + 3*n + 3 + 6, f*n = -4*w - 22. Let h be (0 - 0) + (-1 - w). Solve -h = -4*c - g - 6, 0 = -2*g for c.
-1
Suppose -2*r - 13 = -z, -5*z + 3*r + 31 = -13. Solve -z - 2 = 3*w, -3*s - 15 = 3*w for s.
-2
Let n be (-1 - 1) + 3 + -3. Let x be (n + 0 - 1)*-1. Solve -3*l - a = 1, 3*a - 15 = x*l - 6 for l.
-1
Let z be 4 + 3/(-3) - 0. Let s(c) be the second derivative of c**3/2 - c**2/2 + 10*c. Let a be s(z). Solve 0 = v - j, v + 5*j - a = 4*v for v.
4
Let c(u) = -7*u + 46. Let k be c(6). Solve -k*y = -4*d, 8*d + 4*y = 3*d + 45 for d.
5
Let q(l) = 2*l**2 - l - 4. Let m be q(3). Suppose f = 2, -f = 2*o - m + 3. Suppose y - 2 = -0, 5*y + 5 = o*c. Solve -4*n + z + 4*z = 1, -2*n - c = -z for n.
-4
Suppose -5*b = 71 - 211. Let h be -1 + 0/(0 + -1). Let y be ((0 - 3) + h)*-1. Solve -w = v + 1, -w + 3*w = y*v + b for w.
4
Let u(m) = -6*m**3 + m**2 - 1. Let d be u(-1). Solve -d = -s + f, -2*s - 2*f + 16 = 3*s for s.
4
Let t(q) = -3*q - 7. Let a be t(-3). Suppose 0 = -a*x + x + 4. Solve -3*i = f + 4, -x*f + 1 = -i - 9 for i.
-2
Suppose -4*d = 4*v - 12, -v - 3 + 0 = -5*d. Solve -g + 4*k = 14, 2*g - 2*k - v*k = -16 for g.
-2
Let n(h) = h**3 - 13*h**2 + 13*h - 12. Let g be n(12). Solve -b + g = 5, -3*w + 23 = -4*b for w.
1
Suppose 6*v - 6 = 4*v. Solve 5*n + 2*u = -3, -9 = v*n + 2*u + u for n.
1
Let m be 6/1*35/10. Solve -24 + 3 = -3*t - 3*w, -2*w = -5*t + m for t.
5
Suppose 3 = 6*y - 5*y. Solve -4*z = 4*f - 12, y*z - 2*f - 3*f - 17 = 0 for z.
4
Let h be 6 - (4 + 2 + -4). Let f be (-1 + -1)*45/(-18). Solve -3*j = 2*t + 17, 17 + h = -f*j + 4*t for j.
-5
Let i = -16 + 7. Let t = i - -11. Solve 4*q = 2*z, 2*z + t*q = -0*z - 6 for z.
-2
Let r = -40 - -44. Solve -c + 21 = 5*q, -4*q = -r*c + c - 32 for q.
5
Suppose -25 = 8*f - 13*f. Let g(z) = -z. Let v be g(0). Let w = -5 - -7. Solve 0 = w*i + f*s - 1, 5*i + v*i = -5*s - 5 for i.
-2
Let o(x) = x**3 + 6*x**2 + x - 1. Let f be o(-5). Solve f = -5*l - t + 4*t, 2*l - t + 7 = 0 for l.
-2
Let i = -1 - -1. Solve 2*v + i*l + 13 = -l, -v = 3*l + 19 for v.
-4
Let g(c) = 3*c**3 + c**2 + c - 1. Let j be g(1). Let a(n) = 5 + 4 + 2*n - j - 1. Let o be a(3). Solve 2*r - 3*z + 25 = 2*z, -2*z = -2*r - o for r.
0
Let s(q) = 2*q - 6. Let n be s(5). Suppose 62 = -2*t - 3*c, 2*c + 19 + 12 = -t. Let v = -15 - t. Solve 0 = n*g + 2*b - 16, -3*b - b - v = -4*g for g.
4
Let o(p) = -9 + 11*p - 2*p**2 + 0 - 2*p**2 + 3*p**2. Let w be o(9). Solve b - 5*c - 4 = 11, 3*c = 5*b - w for b.
0
Let u(d) = d**2 + 5. Let x be u(0). Suppose x = v - 0*v. Suppose 3*l = -2*t + 2*l - 1, 0 = 2*t - v*l - 29. Solve -t*n = -3*z + 17, 9 + 20 = -5*n + 3*z for n.
-4
Suppose 0 = -4*k + 14*k - 40. Solve -r - k*l - 22 = 0, r - 2*l - 18 = 2*l for r.
-2
Suppose 0 = 3*t - 9. Suppose -8*b = -t*b - 30. Suppose 0 = 3*o + 5*a - 0*a - 26, 0 = -4*o - 4*a + 24. Solve -x - 10 = -4*q - o*x, -2*q = x - b for q.
2
Let x = 2 + 2. Suppose -x = -l - l. Suppose 0 = -0*v + 2*v. Solve 4*n + v*n = 5*b + 21, -n = -l*b - 6 for b.
-1
Suppose 0 = -0*t + t - 1. Suppose -5 + t = -2*f. Suppose -d = -o - 5*d - 5, -2*o = 5*d + 4. Solve 5*q = 2*v + 24, o*q = -f*q - 5*v + 10 for q.
4
Let g be (-32)/(-192) - (-46)/12. Solve -3 = 2*d + g*w - 3*w, 5*w + 27 = 2*d for d.
1
Let p = -26 + 31. Solve 3*a = -2*w - 19, 5*w + p*a = -0*a - 35 for w.
-2
Let s = -11 + 15. Solve -h + s = 4*a - 3, -a + 23 = -4*h for a.
3
Let z(t) = -2*t**3 - 1. Let r be z(-1). Let p be -1 - (-1 - 3 - -1). Let l = p + r. Solve -h + 2*h = -3*x, -l*h = -3*x for x.
0
Let c = -39 + 43. Solve -4*q - 3*m = -9, 0 = 2*q - c*m + 12 for q.
0
Suppose 3*f + k = 16, -3*f + 2*k = 4*k - 17. Suppose -3*j + 5 = -2*j. Solve -f*d = -2*s - 8, -3*d = j*s - s - 10 for d.
2
Suppose -30 = 3*v + 2*v. Let w(c) = -c**3 - 5*c**2 + 5*c - 4. Let r be w(v). Solve -5*f - r*y + 15 = 0, 2*f + 4*y - 15 = 7*f for f.
1
Let l(g) = -g. Let z be l(-2). Suppose z*b - 2 = 6. Solve 2*o + 2 = -2*s - o, -b*o + 5 = -5*s for s.
-1
Suppose 2*g + g - 15 = 0. Solve -w = -g*a + 25, 4*w + 3*a = -w - 13 for w.
-5
Let a(b) = b**2 + 3*b - 4. Let g be a(-5). Solve -4*f - 2*y + g*y = 24, -4*y = -8 for f.
-4
Let h be 32*1/(-10)*10/(-4). Solve -4*j - 16 = 4*y, j - h = 2*j + 3*y for j.
-2
Suppose 4 = 2*n - 6. Let w be 1/(-1