-4*j = -3*j - l*d + 9 for j.
0
Let o(k) = 3*k - 3. Let y be o(3). Suppose -3*n + 7*n - 4*l - 12 = 0, y = -3*n - 2*l. Solve 2*a - 2*v = -6*v + 4, -a - 3*v + 3 = n for a.
0
Suppose 0 = -2*a - 4*p - 10, -4*p + 20 = -a - 9*p. Suppose -a*y + 32 = 4*g, 2 = 3*y - 2*g - 4. Solve 1 = -t - 2, 3*b - y*t = 15 for b.
1
Suppose 2*p = -3*g + 3, 0*p + 5*p + 3*g - 12 = 0. Suppose 0*i + 20 = 5*i. Suppose 0 + i = c. Solve 4*d + 10 = -3*o - p, c*d + 4 = 0 for o.
-3
Let x(k) = k**2 - 8*k + 2. Let y(a) = a**2 + 2*a - 2. Let f be y(-4). Let h be x(f). Let d = -2 - h. Solve 2*b = -5*j + b + 21, 3*j = 4*b + d for j.
4
Suppose d + d = 0. Let y be (-4 + 2)/(4/(-30)). Let a = -9 + y. Solve 3*x + 4*o = 4*x - 6, -2*x + 2*o + a = d for x.
2
Let s be 11/3 + 2/(-3). Let w = -13 - -20. Suppose -4*y - 5*v + 28 = 0, 1 = -2*y + 5*v - 15. Solve x = -x + y*a - 10, 5*x + s*a = w for x.
-1
Let y be (-1)/(-2)*(21 - 5). Solve -22 = i + 4*h, -i + 2*h = -0*h - y for i.
-2
Let z(r) = r**2 - 9*r - 10. Let v be z(10). Suppose -3*d = o - 17, 5*o = 2*d - v*o. Let g = -13 + 19. Solve 2*f + 15 = -d*y, g*y - y = -4*f - 5 for f.
5
Suppose -d - 5*f + 7 = 0, d + 3*f - 7 = -d. Suppose 3*y - 3 = 4*l, l + l = -2*y + d. Solve -4*u - 15 = -3*j, -3*j + 9 = -l*j - 2*u for j.
1
Let m = 151 + -138. Solve -m = -2*q - 2*q - y, y = 5*q - 14 for q.
3
Let k = 22 + 23. Suppose 2*c + 3*c - 10 = 0. Solve c*v - 10 = 0, 0 = -5*w + 3*v + v - k for w.
-5
Let z be 6/12 - 30/(-4). Solve -z*v + 4*j = -3*v + 6, -4*v - j + 12 = 0 for v.
2
Let a(p) = p**2 + 3*p + 2. Let u be a(-2). Solve u = 4*q + 4*s + 16, -4 = -2*q - 0*q + 4*s for q.
-2
Suppose p = -0*p + 4. Suppose 2*z = -2*z + 60. Let t be z/4 + 1/4. Solve 4*v + 6 = 3*n - 2*n, 2*v - p*n = t for v.
-2
Let v be 20/(-8)*12/(-5). Suppose 3*i + 4*p - 9 = 0, 0*i + 2*p = -2*i + v. Solve o + i*o + 5*k = -11, -16 = 3*o - 4*k for o.
-4
Let r(v) = 4*v - 6. Let q(a) = 3*a - 7. Let y(x) = -3*q(x) + 2*r(x). Let o be y(0). Suppose 0 = 5*l - 11 - o. Solve 5*k + 3*t = -12, -3*k + 0 = -t - l for k.
0
Suppose 4*n - 2*f = -6*f + 16, 4*f = -n + 16. Suppose n = 2*b + 2 - 20. Solve 3*d - 3*r = 2*d + 11, 3*d + 3*r - b = 0 for d.
5
Let y(t) = -t**3 - 5*t**2 + 5*t - 8. Let o be y(-6). Let s = 5 + o. Solve -4*u - 6 = -4*r + 14, -u = -s*r + 7 for u.
-4
Let o = 3 - 7. Let s be (o/6)/((-22)/165). Solve 0*j = 2*z - 4*j, 0 = -5*z + s*j - 5 for z.
-2
Let r = -32 - -38. Solve -a - 2*q + 2 = -3, a = -3*q + r for a.
3
Suppose 8 = 4*w - 4*q, -3*q - 4 = -2*w + 2*q. Suppose 2*o + 0*o - 8 = 0. Solve o*f - w*t + 18 - 8 = 0, -5*f + t = 14 for f.
-3
Let t(c) = -11*c - 63. Let z be t(-6). Solve 4*d - 32 = -z*r - 12, d - r = 5 for d.
5
Let l = -11 - -18. Let n = 12 - l. Solve 3*s + n*o + 28 = 0, 4*o + 13 = -7 for s.
-1
Let t be 2/7 - 260/(-70). Suppose -t - 11 = -3*r. Solve d - 21 = r*d + 5*l, 0 = -2*d + 5*l - 3 for d.
-4
Suppose 4*m + b - 17 = -2, 2*m + 4*b = -10. Suppose 5*h = 7 + 13. Suppose -h*z = z. Solve -c + 3*l = -z*c + 6, -5*c = -m*l for c.
3
Suppose 4*w - 13 = 39. Let z = 37 - w. Suppose -3*l + 7*l - z = 0. Solve -5*f = -15, -5*p + l*f = 2*f + 32 for p.
-4
Let x = 6 - 2. Solve x + 0 = y + 3*w, 0 = -3*y + w + 2 for y.
1
Suppose -8 = -n - n. Suppose -2*f + 5*i = 0, -4*f - n*i = -i. Solve -4*c = -b - 18, 4*b + f*b = -4*c + 8 for c.
4
Suppose a = 5 - 2. Suppose 4*v = a*v + 4. Solve 2*r + 2*y - 11 = -r, -16 = -v*r - 4*y for r.
3
Suppose -10 = -5*m, -5*y + 188 = -0*m + 4*m. Let n be 8/(-36) - (-224)/y. Solve -5*o + 4*s = 23, n*s - s = -2*o + 4 for o.
-3
Let x = 8 - 5. Let w(r) be the first derivative of -r**3/3 + r**2/2 - 2. Let s be w(1). Solve 3 = 5*b + h - s, h = -4*b + x for b.
0
Let l be -4*(1 + -2) - 2. Let i = -11 + 11. Solve l*x + 8 = -0, i = 5*k - x + 21 for k.
-5
Let i(z) = z**3 + z - 1. Suppose -35 = -4*y - 3. Let n = 9 - y. Let p be i(n). Solve 5 - p = f - 3*u, -3*u = -3*f - 6 for f.
-5
Suppose 14 = -x + 18. Solve 17 = -4*f - g - x, -4 = 4*g for f.
-5
Let l(w) = -3*w - 1. Let x be l(-3). Solve n - 3 = 0, 5*b + 3*n = x + 6 for b.
1
Let q be (-1)/(-5) + (-38)/(-10). Solve 2*a = -u - 1 - 11, 12 = q*u - 4*a for u.
-2
Let a = -5 + 14. Let x(r) = -r**3 + 9*r**2 + r - 6. Let n be x(a). Solve 3*c = n*i - 6, 3*c + 2 - 16 = -i for c.
3
Suppose 4*f = -0*f - 40. Let i be f/25 + 194/10. Suppose 0 = 5*k - 4*w + 2 - i, -w = k - 7. Solve k*h = 3*m + 17, -m + 3 = 5*h + 2 for h.
1
Suppose -3*k = 2*k - 10. Let d be (6 - 3) + (1 - k). Solve 0*o - 22 = 5*g + 4*o, 0 = 3*g - d*o for g.
-2
Suppose -4*t + t - 4*x = -22, -40 = -5*t - 5*x. Solve t = 3*q + 2*o, -8 = -0*q - q - 3*o for q.
2
Let i(t) = t**2 + t - 1. Let l be i(0). Let a be (-3 - -37)/(l - -3). Solve -2*g + 11 = s, s - a = -2*s - 2*g for s.
3
Let f be 1 - (1 + -5 + 3). Suppose -5*o - 2 = -4*g, 2*g - 2*o + 2 = -g. Let w be ((-3)/g)/(1/f). Solve d + w*y = 20, 5*d - 21 = -4*y + 24 for d.
5
Let x(n) = n**3 - 12*n**2 - 12*n - 8. Let r be x(13). Solve r*f + 3 = 2*i - 0, 2*f = 4*i + 2 for i.
-1
Suppose -3*c + 4*c - 3*p = 16, -2*p - 64 = -4*c. Solve 5*m - m + c = 4*b, 0 = -5*b + 2*m + 5 for b.
-1
Let a be 54/10 - (-6)/(-15). Let b = -10 + 17. Suppose 5*h + 3*s = 10, 4*h + b*s - 8 = 2*s. Solve a*p - 3*q = -0*p - 30, 16 = -h*p + 2*q for p.
-3
Suppose 2*g + 4 = 2*b, 0 = 3*b - 4*g - 4 + 2. Let r be (4 - 2)/(2/3). Solve -r*y - 7 = -8*y - 4*k, 0 = -3*y + k - b for y.
-1
Let w be 3/(-1 - -4) + 7. Let n = w - 4. Solve -3*q - y = -4, n + 0 = q - y for q.
2
Let s be 5/(-2)*(-8)/10. Suppose -30 = -2*a - 3*a. Suppose -d = -0*d - a. Solve -s*m = -2*k + 16, 0 = k - 3*k + d for m.
-5
Suppose 0*q = -4*q - 4, 10 = 3*d - q. Solve 2*f - 16 = -0*m + 5*m, 4*f = -d*m + 6 for m.
-2
Suppose -23 = -4*p - 3. Let c(l) = l + 8. Let z be c(-8). Solve 25 = 5*b - 5*h - 15, 5*b + 4*h + p = z for b.
3
Let z = -54 - -56. Let c be ((-10)/(-4))/((-2)/(-4)). Solve 3*g + z = g, -4*d - c = g for d.
-1
Suppose 4*d - c + 1 - 21 = 0, -4*d + 4 = 3*c. Solve -3*x = x - 4*z, -x + d*z + 6 = 0 for x.
-2
Let a(m) = m**3 + 6*m**2 + 4*m - 2. Let z be a(-5). Solve z*b - 5*i - 24 = 4*b, 0 = 5*i + 25 for b.
1
Suppose 0 = -0*z + z - 3*l - 41, 3*z - l - 107 = 0. Suppose 5*p - j = 21, 0*j - 2*j = 2*p - 6. Solve -5*q = p*k - z - 5, -4*q - 5*k = -41 for q.
4
Let d be (0 - -1)*(-8 - -10). Solve -2*v + 11 = -5*x, 0 = 3*v - 6*v - d*x - 12 for v.
-2
Suppose -3 - 15 = -2*j - 4*n, -3 = 3*j - 4*n. Solve j*g + 24 = -3*y, 0*g + 4 = -3*y + 2*g for y.
-4
Let z be (-2 + 2)*1 - -4. Suppose 3*l - 5*l = 2*g - 14, -4*l + 2*g + z = 0. Solve -m - l*m + 2*r = 8, 0 = -m - r - 8 for m.
-4
Let f = -22 - -30. Suppose 0 = u + u - f. Solve 2*s + 2*b = -2*b - 2, 4*s + u = -4*b for s.
-1
Let o = -91 - -65. Let g = -22 - o. Solve 2*i = g*a + 4, 0 = -4*i + 9 - 1 for a.
0
Let z(d) be the second derivative of d**4/12 + d**2 - 6*d. Let n = -1 + 1. Let f be z(n). Solve f*i + 3*i - 10 = k, -i + 1 = 0 for k.
-5
Let s(b) = b**3 + 10*b**2 + 14*b - 11. Let g be s(-8). Solve -5 - 3 = 2*v - u, 0 = 4*v - g*u + 10 for v.
-5
Suppose 4*s + 18 = -k - 0*s, 0 = -4*s - 20. Solve 0 = -4*u - 3*f - 7, -u - k*f - 4 = -1 for u.
-1
Let a(g) = 1 + 8*g + 0 + 3 - g**2. Let v be a(6). Solve -k + v = 3*z, 4*z - 4*k = k - 4 for z.
4
Let y(g) = -g + 6. Let r be y(3). Let u(m) = m**3 - 2*m**2 - 3*m + 4. Let k be u(r). Solve -3*n - 1 = -4*i - 20, -k*i + 1 = n for i.
-1
Let w be (7 + -19)/(-1 - 1). Let t = w - 3. Solve 0 = -3*j - 2*s - 6, 3*j + s - 2*s = t for j.
0
Suppose 2*o - 3*o = -5*z + 114, -4*z + 76 = 3*o. Solve 8*l - 30 = -5*x + 3*l, 4*x + 3*l - z = 0 for x.
4
Let j(c) = -2*c + 1 + 2*c + 6*c. Suppose l + 0*l = 2. Let x be j(l). Solve -g + x = -5*i - 2, -9 = g + 3*i for g.
0
Let m = 53 + -40. Solve -4*g - m = -0*l - 3*l, 2*g = -8 for l.
-1
Suppose 4*f = -5*w + 20, 3*w = -0*w + 2*f + 12. Solve b - w = 3*v, -b = 3*v - 3*b + 8 for v.
0
Let f(k) = -k**2 + 7*k - 1. Let v = 0 + -1. Let c = v - -7. Let u be f(c). Solve -u*t + z - 21 = 0, -4*z = -5*t + t - 4 for t.
-5
Suppose -5*f + 20 = 0, 6*k = k + 5*f - 20. Solve k = 3*t - 2*t - 4*w + 16, 4 = -4*t + w for t.
0
Let n(z) = z**3 + 3*z**2 - z - 3. Let d be n(-3). Let v = -32 - -37. Solve 3*q - 1 = 6*f - 2*f, -v*q + 4*f - 1 = d for q.
-1
Let p = 6 + -17. Let s = 16 + p. Suppose -2*b = -2 - 2. Solve -3 = -b*o + u + 1, -s*u = 2*o + 20 for o.
0
Let j be (1 + 0)*19 - -1. Let m be j/15 + (-22)/(-6). Solve 0 = 2*o + 2*p + 8 + 2, 2*p = m*o + 4 fo