= -j*a. Suppose -r = -3*t + 5, 0*t = r - 2*t + 2. Solve 0 = 4*y + 3*g - 16, g - a + 17 = r*y for y.
4
Suppose j + 0*j = 3. Suppose 0 = -j*i - 3 + 6. Suppose y - i = 1. Solve 0 = h - y*z + 10, -h - 2*z + z + 2 = 0 for h.
-2
Let x = 4 + 1. Suppose -3*j - s + 4 = -3, x*j + 4*s = 7. Solve -4*m + b = 12, -m + j*b + 7 = 21 for m.
-2
Suppose 3*r = r + 2*c + 10, -5*r = 4*c - 25. Let z be (-12)/4 + 7 - -4. Let j = z - r. Solve -3*b + 4*v = -2*b + 5, 0 = -j*v + 6 for b.
3
Let d = 8 - 4. Solve -3*x + 1 + 22 = -d*p, -27 = -5*x + p for x.
5
Suppose 21 = -4*d + d + 3*n, 0 = -2*d + 3*n - 18. Let t = d + 6. Suppose 0 = -2*s - 2, -2*s + 31 = 5*c + t. Solve -4*h - 2*m = c, m = 5*h + 5*m + 3 for h.
-3
Let z be (-3)/7 + 9/21. Suppose 3*l + 39 = 4*p, -2*p + 4*p = -4*l + 36. Solve -8 = -j + 2*k, 4*j - p = -z*j + 4*k for j.
-2
Suppose 0 = 5*p - 3*p - 16. Solve -p = -4*z, -2*z + 4*z = -2*j - 4 for j.
-4
Suppose 41*s - 43*s = -8. Solve 3*o = -0*o + d + 6, -2*o - 4*d = -s for o.
2
Let y = 117 - 114. Solve 8 = -3*n - 4*c, 2*c - 7*c - 10 = -y*n for n.
0
Suppose -2*l = 4*r + 12, -3*l + 4 = -3*r - 5. Solve -5*a + 1 + l = -2*s, 0 = -a - 5*s - 16 for a.
-1
Let b = 13 - 16. Let s be 26/6 + 1/b. Solve 2*i + 0 + 29 = -5*v, s*i - 2 = 2*v for i.
-2
Suppose -3*c = -3, 8 = 5*a + 2*c - 19. Solve -a*r + 21 = 4*j, 3*j + 1 = r + 12 for j.
4
Suppose 0 = 3*i - 3*b - b - 22, -5*b + 10 = 0. Let a = i + -5. Solve 2*v - 5*v = o - 2, -a*o = v - 10 for v.
0
Suppose 0 = 4*p + p. Suppose 2 = -p*n + n. Solve -n*b + 22 = 2*b - 3*f, -5*b = -3*f - 26 for b.
4
Suppose 4*g + 7 - 27 = 0. Solve -l = -4*m + 2 - 9, 3*m + 11 = -g*l for m.
-2
Suppose -2 - 13 = -5*y. Let u = 22 + 6. Solve -j + u = y*j + 4*b, 0 = 2*b - 10 for j.
2
Suppose -30 = -3*x + 3*v, -v - 20 = -2*x - x. Solve 3*l = -x*n - 34, 29 = -4*n - 3*l - 0*l for n.
-5
Let c(b) = -b - 1. Let t be c(-3). Let d be (12 + -7)*t/2. Let a = -5 - -7. Solve 2*n = d*x - 1, 5*x - 6*n + a = -5*n for x.
-1
Let f = 15 + 1. Solve s + 3*v = 4*s, -5*s - f = -v for s.
-4
Let k(j) = 8*j**2 - 2*j + 1. Let q be k(1). Suppose -3*g - 2*x = -79, -2*g + q*g + 4*x = 133. Solve -3*n - 7 = 4*t, g - 5 = -5*t for n.
3
Let g be ((-3)/6)/((-2)/24). Let a be -1 - -2 - (-2 - -1). Suppose 0 = g*n - a*n - 12. Solve -2*q - 3 = -0*q - n*l, -5*q - 3*l = -24 for q.
3
Let b = 8 + -5. Suppose z + 1 = 0, -b*a + 4*z + 4 = -6*a. Solve a = -0*p + 4*p, -5*p = -5*w + 15 for w.
3
Let a(i) = -i**2 - 7*i - 2 + 0 + 2*i + 5. Suppose 2*l - 18 = 3*g + 5*l, -4*g = -4*l + 16. Let w be a(g). Solve 5*t + 2*p = 11, -2*t + 2*p = -w*p + 13 for t.
1
Suppose 3*s = 2*s + 2*x - 5, 0 = s - 3*x + 9. Solve 0 = 4*f + 12, -s*f = 3*c + 2*f + 30 for c.
-5
Let d be (-1 - 2)/3 - -8. Solve 3*l - 5*u - 17 = d*l, l - 1 = 4*u for l.
-3
Let a be -1 - 1/(2/(-32)). Suppose 9 = -i - 3*m, -4*i + 5*m + 47 = a. Let t(c) = c + 2. Let o be t(2). Solve 4*b = i*s + 25, 3*b + s + o*s = -3 for b.
4
Let k(p) = p**2 + 45. Let a be k(0). Solve 4*b + a = 5*n + 12, b = n - 7 for b.
-2
Let i = -124 + 129. Solve -i = -5*w + 2*g - 3*g, -2*w + 5 = g for w.
0
Let o = -6 - -19. Solve -3*p - 5 = -2*m, -2*p = p + 2*m + o for p.
-3
Suppose c - h = 9, 0 = 4*c + 5*h + 1 - 10. Solve -4 = t + 4*w, c*t - 3*t - 2*w - 16 = 0 for t.
4
Let c be (6/(-5))/(12/(-40)). Suppose p - 14 = -2*k, k = -2*p + 5*k - c. Suppose 0*x = -3*x + p. Solve 2*v - 8 = -x*a - 0, 2 = 2*a - 4*v for a.
3
Suppose -o - 4*o + 20 = 0. Let x be 21/o - (-6)/8. Let f = x - 6. Solve 3*p + 5*m = -16, f*m - 5 = 5*p + 4*m for p.
3
Let l(j) = j**2 + 9*j + 12. Let p be l(-8). Suppose p*d = -b + 10, -d + 2*b + 9 = -b. Solve 5*f = 5*v - 10 - 5, -d*f - 9 = -v for f.
-3
Let g = 30 + -28. Solve -g*r - 2 = r + 2*b, r + 3*b = 4 for r.
-2
Suppose 2*j - 4*n + 6 - 2 = 0, 3*j - 18 = -2*n. Solve 2*w - 3*q = -6*q + 4, 0 = j*q - 8 for w.
-1
Let y = 4 - 0. Suppose -b - 25 = -v, -3 = b - y*v + 25. Let p be b/(-9) - (-2)/6. Solve k + 9 = 4*k + 2*t, p*k = 2*t - 3 for k.
1
Suppose 3*y + 4*f = 22, 81 = 4*y - 0*y - 5*f. Suppose v = -4*k + y, k = 2*v - 4*v + 7. Solve -3*h + 3 = -j - 3*j, -1 = h - v*j for h.
5
Let w be (10 + 3 + -3)*-1. Let t = 12 + w. Solve t*z - 5*c - 30 = -c, 4*c = -20 for z.
5
Let u = -55 - -108. Let g(v) = -4*v - 4. Let r be g(-2). Suppose -o + 7 = p, -5*p + u = r*o + 20. Solve 0 = -3*z + 4 - 7, 4*q + o*z - 2 = 0 for q.
1
Let j be 3/(-2)*12/(-9). Solve j*f = v - 2*f + 17, -4*v + 5*f = 24 for v.
-1
Let p(j) = -j**2 - j - 1. Let z be p(-2). Let w = z + 6. Suppose w*m - 27 - 3 = 0. Solve -3*x + 26 = -f + m, 5*x - f = 26 for x.
5
Let l = 13 + -9. Suppose -2*y + 4 + l = 0. Solve 0 = -4*p - i + 7, -2*p + y*i - 6 = -7*p for p.
2
Let i = 20 - 11. Suppose -4*f = -i + 1. Suppose -3*o + 7 = -f. Solve v + 3 = -t - t, v = -o for t.
0
Let u(k) = 9*k + 7. Let f be u(-5). Let p = f - -62. Suppose -5*c + p = -46. Solve -i = -4*y - 0*i - 10, 2*y + 4*i + c = 0 for y.
-3
Suppose 7*x = 8*x - 5. Solve l = 3*j + 6*l - 25, -x = 4*j - l for j.
0
Suppose 4*b = -26 + 50. Solve -u = 5*z + 25, -b*z + 3*u - 5 = -z for z.
-4
Let c = 21 + -19. Solve -v - c*v + 3*s + 15 = 0, 3*v + s + 5 = 0 for v.
0
Suppose -c = -o + 14, -3*o - 2 + 34 = 2*c. Suppose n + 2 = -3*w, 5*w - w = n + 2. Solve 4*l + o = w, -5*u - l + 9 - 2 = 0 for u.
2
Let p be (1 + 24/(-15))*-45. Suppose 4*i - 30 = 3*m + 10, 5*i = -2*m + p. Solve -h = -2*a - i, 0*a - 3*a = -h + 12 for a.
-5
Let x(i) = -2*i + 6. Let l be x(2). Solve 4*n = 4*y, -l*y + 15 = -3*n - 2*n for y.
-5
Let f be (-53)/(-17) + 10/(-85). Solve -f*z = -4*b + 10, 3*b = -2*z - 3*z + 22 for z.
2
Let a = -5 - 2. Let o(z) = -z**2 - 7*z + 9. Let t be o(a). Solve -4*k - 18 = -t*v + 6*v, 3*v - 12 = 2*k for v.
2
Let j = 98 + -58. Suppose 3*z - 7*z = -j. Solve -2*v + 24 = -5*u + 1, 2*u = -4*v + z for v.
4
Suppose 0*i = -3*i. Solve -5*f + k - 8 + 33 = i, -5*f + 25 = -5*k for f.
5
Suppose -5*b + 13 = 3. Let v be (9 - 6)/(2/b). Solve -3*d - 5*w = -0 + 6, -w + 6 = -v*d for d.
-2
Suppose 10 = -3*l + 5*l. Solve v + l*c = -v + 31, 2*c - 10 = 0 for v.
3
Let v = -8 - -6. Let j be 2 + 3/((-3)/v). Solve j*y + 3*w + w + 12 = 0, 3*y + 17 = -5*w for y.
1
Let a = -10 - -27. Suppose -2*j + a + 13 = 0. Solve -j = x + 4*x - b, -9 = 3*x + 3*b for x.
-3
Let m be (6 + -5)/((-2)/(-6)). Solve -5*i + 2*i = -p - 10, 5 = -m*p + 4*i for p.
5
Suppose 45 = 3*g + 33. Solve 5*b = 3*o - 13, -o + 37 = -g*o - 5*b for o.
-4
Suppose 0 = -0*p + 3*p + 18. Let q(r) = -3*r - 9. Let k be q(p). Solve 2*u - 5 = 5*n - 31, -3*n = u - k for n.
4
Let b = 10 + -7. Solve -b*n + 2*n = -5*f + 24, 4*n + 4*f - 24 = 0 for n.
1
Let o be 2/8 + 138/24. Solve 0 = 3*z - q + 1, z = o*q - q - 19 for z.
1
Let w = 17 - 14. Solve -w*t + 6 = 3*n, n - 6*n + 7 = 4*t for t.
3
Suppose 0 = -3*z - 2*z + 10. Solve 2*y - 12 = -2*m - 0, -5*m = z*y - 27 for y.
1
Let s be (-46)/(-11) + 38/(-209). Solve s*f + 23 = -5*l, 3*l - 15 = 8*l for f.
-2
Suppose 0*o + 7*o = 14. Solve -o*g + 15 = v, -2*g + 30 = v + 3*v for g.
5
Suppose -2 = -n + 1. Solve -5*k + 1 - 2 = -n*x, -2*k - 1 = -x for k.
-2
Let o be ((-1)/(-2))/(2/12). Let f = 12 - 4. Solve -2*j + 3*l = 10, o = j + l + f for j.
-5
Let d(r) be the first derivative of r**3/3 - 7*r**2/2 + 8*r + 2. Let h be d(6). Solve -5 + 4 = 4*u - 3*v, -h*u = -v + 1 for u.
-1
Suppose 4*i = 4*h + h + 2, 5*h + 5*i - 25 = 0. Solve -2*u + 13 = -5*o, -1 - 21 = h*o - 5*u for o.
-1
Suppose 3*m + 4 = -u, -19 = 2*m + 3*u - 7. Solve 3*t - 3 = 4*q, m*t + 5*t = -5*q + 40 for q.
3
Suppose -3*b + b + 10 = 0. Solve 4 = w - s, b*w + s - 8 = -0*s for w.
2
Let g(m) = m + 13. Let c be g(-8). Solve c*p + 2*u - u = -13, p + 1 = -u for p.
-3
Suppose -f = 3, -4 = -m + 3*m + 2*f. Solve w + m = a, -2*w = 2*w - 8 for a.
3
Let o(j) = -j + 2. Let r be o(0). Let s be 5/1 + -3 + r. Solve -s*h = 4*v, -5*v + 3 = h + 11 for h.
2
Suppose 2*y + 13 = 45. Suppose 0 = 2*a - 5*c + 7, c - 1 = a - 2. Solve d + 2*i + i = -11, 2*i = a*d + y for d.
-5
Let j(k) = -k**2 + 15*k - 19. Let c be j(15). Let t = 24 + c. Solve -1 = -t*r - g - 23, g = 4*r + 14 for r.
-4
Let d(l) = -l**3 - l**2 - l + 4. Let p be d(0). Let w be 2/4 - 3/6. Solve p*b + 12 = 2*b + 4*o, -5*o + 25 = w for b.
4
Suppose -3*t + 35 = -10. Let n be -2 - (5 - 2 - t). Solve -4*h - 3*l + 22 = -5*l, -2*l = 4*h - n for h.
4
Let h = -5 + 8. Suppose h*r - 21 = 33. Suppose 0*a + 4*a - r = 2*v, 3 = 5*a + 4*v. Solve -a*c + 3*f = -9, -c - c - 5*f