*v, -7 - 18 = j*g for v.
4
Let s(x) = x**3 - 3*x**2 - 4*x. Let p be s(4). Let w = 0 - p. Let o be (-3)/(-6)*(w + 0). Solve 2*l - 4 = -4*z, o = -l - 3*l - z + 8 for l.
2
Let t(d) = 2*d + 1. Let a be t(-2). Let z be (15/12)/(a/(-60)). Suppose -2*i - 8 = -2*o + 10, 5*o - i - z = 0. Solve -5*b + 2*h = -18 + 1, o*h + 7 = b for b.
3
Suppose 2*l - 3*l = -6. Let m be 2/4 + 75/l. Suppose -z - m + 35 = 0. Solve 2*s = 4*w - 0*w + z, 0 = -5*s - 3*w - 10 for s.
1
Let l(a) = a**2 + 2. Let u be l(0). Let t be 3 - (u + 1 + -4). Let i(h) = -h**2 + h + 2. Let x be i(2). Solve t*p - 14 = -n, x = -p + n - 6*n + 13 for p.
3
Suppose 0 = 5*x - w - 11, 13 = 2*x + x + w. Let l(h) = h**2 - 10*h - 15. Let f be l(12). Let n be f/(-3) + 1*3. Solve 3*s = 3*z - x, -z = 3*s - n*z + 7 for s.
-2
Let z = 9 - 5. Solve -5*m + 0 + 12 = -z*c, -3*c = -4*m + 9 for m.
0
Let z be (1*3)/(21/28). Let i = 1 + z. Suppose 5*w + 4*y - 11 + 1 = 0, w + i*y + 19 = 0. Solve t + 0*t - 3 = 0, -3*f = -2*t + w for f.
0
Let f = 5 - 4. Solve 2*w - w = 2*u - f, 2*u + 2 = 0 for w.
-3
Suppose 6 + 6 = 4*i + 4*t, 1 = -2*i + 5*t. Suppose 3*k = -m - 5, -4*k = i*m - 0 + 4. Solve 5*g + 4*q = 24, 3*q + m = 3*g - 5 for g.
4
Let t = -2 - -4. Suppose 10*y = 5*y + t*n + 35, n = -4*y + 15. Solve -y*q - 2*r + 7*r = 30, r - 5 = 0 for q.
-1
Let f be 1/((3 - 4)/(-5)). Solve 0 = -f*i - p - 12, -4*i - 5*p = -5*i - 18 for i.
-3
Let v(p) = -p**3 - 4*p**2 + 2*p - 11. Let t be v(-5). Solve 20 = 5*j - 4*j + 5*b, 3*j - 16 = -t*b for j.
0
Suppose -2*y = y. Suppose 23 = 4*n - 0*n - 5*s, -21 = -3*n + 5*s. Solve n*b = -3*z, z + y*b = -b for z.
0
Let y = 3 + -1. Let x(i) = 0 - 3*i - y + 4 + i**2. Let v be x(2). Solve -2*s + v - 2 = -2*l, 2*l - 3*s = 7 for l.
-4
Let l be -2 - -11 - (0 - -1). Suppose 2*b = -l, 4*w + 3*b = 13 + 51. Solve -2*r - 5*q - w = 0, -q - 8 = -r - 0*q for r.
3
Let d(o) = 3*o**3 + o**2 - o + 2. Let x be d(1). Let j be (2/6)/(1/15). Solve x*m - 2*k = k + 14, 2*m = -j*k - 13 for m.
1
Let c(t) = -2*t - 4. Let u be c(-4). Let x = -1 + u. Suppose -3*z + 56 = -4*k, -5*z - k - 4*k + 70 = 0. Solve 3*w = w - 4*a - z, 6 = -x*w + 3*a for w.
-4
Let q = -38 + 41. Solve 3*w + q*d - 2 = 4, 0 = w + 5*d + 2 for w.
3
Suppose -2*o + h = -5*o + 16, 20 = 2*o + 3*h. Let p be 5*-1*10/(-10). Solve r - 2 = o*l - 25, -p*r = 4*l - 5 for r.
-3
Let u(z) = -1. Let r(n) = -n + 6. Let v(k) = -r(k) - 4*u(k). Suppose 0 = -6*g + 2*g + 16. Let p be v(g). Solve -2*a = 4, -p = -0*o + o + 2*a for o.
2
Suppose 5*j - 17 = u, 5*j + 4*u - 6 = 1. Solve j*a - 4*x = -3*x - 11, 4*a + 21 = -5*x for a.
-4
Let w be (1 - 3/6)*0. Suppose 4*f = -w*f + 8. Suppose 3*c + 2*c = 5*k - 20, -f*c + 7 = 3*k. Solve k*v - 15 = 4*j, 2*j + 19 = 4*v - 1 for j.
0
Suppose -2*f + 4*f - 1 = 5*h, h = -f + 11. Solve g + 3 - f = -5*u, -4*u - 4*g = -20 for u.
0
Suppose -5*m + 25 = 5. Let x = 103 + -102. Let c = x + m. Solve -6*a - p + 6 = -4*a, -5*a = c*p - 20 for a.
2
Let d = -17 + 17. Solve 0 = 4*w - s, d*w - 7 = 3*w + s for w.
-1
Suppose 5*w - 18 = 2. Suppose w*o - 3*q + 4 = 0, q + q - 4 = 2*o. Let y(a) = a**3 - 6*a**2 + 2*a - 7. Let n be y(6). Solve -o + 3 = z - c, 2*c = n*z + 7 for z.
-3
Suppose 3*p - 6 = 0, 0 = -5*u + 2*p - 6*p + 13. Let m = u + 3. Suppose m*g - 8 + 0 = 0. Solve -s + 0*s - 17 = 4*a, -2*s + g = -4*a for s.
-5
Suppose -4*q + 6 = -6. Suppose -3*x = -q - 9. Solve f + 5*k = 21, -7 = f - x*k + 17 for f.
-4
Suppose 0 = -3*y + 2*q + 11, -4*y = -2*y - 5*q + 11. Suppose -4*j + 0*j + 16 = 0. Suppose 2*o + j = 4*o. Solve -4*b = -b + n - 5, -o*n + y = 3*b for b.
1
Let h = 42 + -72. Let b = h - -46. Solve 3*i + i = -4*j + b, -5*i - 4*j = -21 for i.
5
Let k(a) = a**3 + 7*a**2 + 5*a - 3. Let z be k(-6). Solve 2*x - z = -2*d - 23, -35 = 3*x + 4*d for x.
-5
Suppose 5*r + 2*k = 22, k - 15 = -4*r + 2*k. Solve -21 = -v + r*f, -2*v + 4*f + 26 - 4 = 0 for v.
1
Let q(i) = 5 - 4 + 3 + 4*i - 3. Let z be q(1). Solve c = -2*s + 4*s - z, 0 = 2*c + s for c.
-1
Suppose -41 - 37 = -3*y - 3*s, -3*s + 18 = y. Let u = -10 + 16. Suppose -y - u = -3*p. Solve 2*a - 11 = 3*k, -5*k + p = 4*a - k for a.
4
Let d = 44 - 43. Solve 16 = 4*n - 4*q, q + d - 17 = -3*n for n.
5
Suppose 2*m - 4*s - 3 = -1, -2 = -2*s. Solve 4*x - 1 - 1 = 3*d, x = -m*d + 8 for x.
2
Suppose t - 2*t + 4*c = 15, t + 19 = 5*c. Suppose s = 5 - t. Suppose s*i - 2 = 10. Solve i*g = -4*m - m, -3*g + 3*m - 24 = 0 for g.
-5
Let g be ((0 - 1) + -2)*-1. Suppose -g*l - 9 = 3*w, -2*l + 1 - 7 = 5*w. Solve 0 = -5*t - w*b - 4*b - 4, -b = 1 for t.
0
Suppose 4*p = -4*l - 4, -p - 5 = -4*p - l. Solve -r + 3 = p*g, -3 = -4*g + 4*r + 1 for g.
1
Let g = 0 - 0. Let p(b) = -1 + b + g*b - 7. Let q be p(8). Solve 4*j + q - 4 = 2*h, -5*h = 5*j - 20 for h.
2
Let v = -1 - -1. Let d(y) = y + 2 - 2 - y**2 + 1 + 2. Let r be d(v). Solve -24 = 5*z - q, r*z = -0*z + 4*q - 28 for z.
-4
Let k = 5 - 3. Suppose -k = j + 3*b - 23, -4*j + 5*b - 1 = 0. Solve 2*q - 4*n + j = 4*q, -12 = 2*q - 2*n for q.
-3
Let q(t) = 6*t**2 + 41*t - 2. Let r be q(-7). Solve 0 = -5*f + 5*n - n + 5, -2 = -2*f - r*n for f.
1
Let l(p) = 4*p**3 + p - 1. Let g be l(1). Suppose -4*n + 38 = 2*o, -o - 2*n - 65 = -4*o. Solve 4*k + 2*d + d = 17, -5*k - g*d + o = 0 for k.
5
Suppose w + 2*c = 0, 3*c - 26 = -5*w - 5. Solve 3*u - 2 + 4 = 5*n, 0 = -2*n - 4*u + w for n.
1
Let c = -2 - 3. Let d be 1/c - 16/(-5). Solve -d*l = -n - 8*l - 17, -2*l = 8 for n.
3
Suppose -10 = -2*b - n - 3*n, -9 = -2*b - 3*n. Solve 4*d = p - 14 + 3, -3*d - 15 = -b*p for p.
3
Suppose 2 = -b, -n - 3*n + 2*b = -12. Let a be (-1)/(-2)*(n + 2). Solve -t - 10 = 3*t + 3*w, a*t + 6 = -2*w for t.
-1
Let k = 15 - 21. Let y = 11 + k. Solve -2*x + 6 + y = b, 12 = 2*x + 2*b for x.
5
Let j(k) = 3*k + 2. Let o be j(1). Solve o*d = v + 15, -2*d + 5*v = -5 - 1 for d.
3
Let y = -6 - -12. Solve r + 3 = l, y*l = 2*l - r - 13 for l.
-2
Let i(c) be the second derivative of c**4/3 - c**3/6 - 2*c. Let n be i(-1). Solve -4*p = -3*u + 1, -p + n = u + 14 for p.
-4
Let m(w) = w**3 - 2*w**2 + 1. Let y be m(2). Let k = y + 3. Let j be (-1 - 2*-1) + 7. Solve k*r + j*o - 3*o = 23, -18 = -3*r - 4*o for r.
2
Suppose 2 = 3*u - 1. Solve 2*j + 3*r + u = 3*j, 5*r + 10 = 0 for j.
-5
Suppose 3*q = -j - 4*j + 24, -12 = -4*q. Solve j*g - 7*g = 0, -4*g + 2 = -2*v for v.
-1
Let w(y) be the second derivative of y**4/12 - y**3/3 + 5*y**2/2 + y. Let t be w(7). Let o be (18/8)/(3/t). Solve 4*z + 25 = -z, -o = 4*u + 2*z for u.
-5
Let o(w) = -w**3 + 3*w**2 + w + 12. Let g be o(4). Solve -j - 2*y - 3*y - 28 = 0, g = 3*j + 4*y + 29 for j.
-3
Suppose -4*k - 23 = 1. Let c = k + 10. Let b be c/1 - (-2 - -3). Solve -3*o - 27 = b*d, d + 3*o = -o - 21 for d.
-5
Let b be (5/20*6)/(2/4). Solve n + 5*q - 19 = 0, -4*n + b*q = 5*q - 22 for n.
4
Suppose -a - 3 = l, 11 = 2*a - 3*a - 3*l. Suppose -10 = -3*r - a. Solve -g + 1 - 4 = q, -4*q - 12 = -r*g for g.
0
Let s(d) = d**3 + d - 28. Let j be s(0). Let v be (j/(-35))/(4/10). Solve 7 = 5*q - 3*w, 0 = -3*q + w + v*w + 9 for q.
-1
Let i = 52 - 29. Solve 5*g + r = i, 0*g = -5*g - 3*r + 29 for g.
4
Let t(f) = -2*f + 24. Let y be t(10). Solve 5*h - 2*g = -9, 2*h - 4*g + 3*g = -y for h.
-1
Suppose -5*m + 2*s = 10, -5*s - 21 = -2*m + m. Let t = -4 - m. Let g be (2 - 1 - 0)*t. Solve g = 4*i, 5*i = y + 6*i - 1 for y.
1
Let j be 0 - -2 - (-9 - 10). Let m = j - 19. Solve -m*f = 4*b + 2, b + 4 = -f - 2*b for f.
5
Suppose 0 = -4*b + 4*k, -5*b = -3*b + 2*k. Suppose 5*j = -0*r + 5*r + 30, -3*r - 6 = b. Solve 7 = -4*o + 4*y + 3, 0 = 5*o - j*y + 6 for o.
-2
Suppose -3*n - 2*l + 18 = 0, 5*l - 1 - 2 = 3*n. Solve -n*y - x - 9 = 0, -3*x + 11 = -y - 1 for y.
-3
Let i be 21/14*(-2)/(-3). Let f = 10 - 2. Suppose f + i = 3*v. Solve 16 = 2*j + v*h, 4*h - 15 + 2 = -j for j.
5
Suppose -5*s = 4*x + 17, s - 33 = -4*x + 6*s. Solve -4*m + k = -14, 2*k + 3 - x = -m for m.
3
Let x be (-774)/(-22) + (-2)/11. Let n be (4/5)/(14/x). Solve 5*r + 4*j = 7, 0*r + n*j = 5*r + 11 for r.
-1
Let i = -7 - -3. Let d be 2*(10/i)/(-5). Suppose 2*c + 5*g = -2*c - 10, c + 10 = -5*g. Solve 0 = 3*a + 5*t + 5 + d, 2*a - 4*t - 18 = c for a.
3
Let x = 1 + 2. Suppose -3*i - x = -4*i. Let y(n) = 13*n**2 - 2*n + 2. Let z be y(2). Solve 5*j - i*h = 2*h + z, 5*h = -25 for j.
5
Let o(m) = m**2 - 4*m + 4. Let d be o(4). Let b = 9 - d. Solve 5*q - 25 = 0, -b*l + 0*l - 3*q = -20 for l.
1
Let o = 74 + -71. S