 = -6*d + 8 for d.
-1
Suppose 2*q = q. Let m = 20 + q. Suppose -3*g = 4*f - 2*f - 2, 0 = -f - 5. Solve -j + m = -5*l, g*l - 3 = 4*j - 19 for j.
0
Let i = -3 - -25. Suppose 4*s = -2*h + i, h - 4 = -3*s + 11. Solve -2*p + s = m, 5*p - 15 = -6*m + m for p.
1
Let o = 9 - -2. Solve -4*t - r = -17, 14 = 5*r - o for t.
3
Let q be (12/(-9) - 0)/((-4)/6). Solve 0 = -q*v - 10, -2*g = g + 2*v + 1 for g.
3
Let t(l) = l + 5. Let o be t(-6). Let j = o - -6. Solve -4*h + j*h - 20 = 4*n, -5*h = -2*n - 28 for h.
4
Let j = 22 + -9. Suppose 0 = -0*r + r + 4*c + j, 3*c = r - 22. Suppose -t + 3*d + 86 = 4*t, 9 = 3*d. Solve -5*n = -p - r, 0 = 3*p + 4*n + n - t for p.
3
Let a(o) = o**2 - 8*o + 4. Let t be a(10). Suppose 0 = p + 2*p - 3*c - 12, 5*c = p - t. Let j be (-1 - p) + 3/1. Solve 3*d - 20 = -2*d, -4*d = -j*m - 28 for m.
-4
Let b be 77/14*8/22. Solve 5*p + 1 - 22 = -b*v, -p + v = 0 for p.
3
Let w = 10 - -2. Let y = -8 + w. Solve -2*n - 3*m - 3 = 1, m = y*n + 8 for n.
-2
Let k(g) = -2*g + 8. Let d be k(4). Solve -h + 5*t = 0, -5*h - 3*t = -d*h for h.
0
Let z = -23 - -7. Let t be z/6 - (-3)/(-9). Let a be 62/8 - t/12. Solve -a = 4*f - 4*k, -f - 4*f + 2*k + 2 = 0 for f.
2
Suppose 5*i = 4*k - 35, -3*i = -2*k + 12 + 7. Solve o = -b + k*o + 23, -5 = o for b.
3
Suppose 3*b + 8 = -13. Let n = b + 11. Solve -k = k - 3*q + 7, -4 = n*q for k.
-5
Suppose 4*x = 26 - 10. Suppose 3*u = 8*u. Suppose -3*o - 3 = u, -2*s - 4*o = -7*s + 19. Solve 0*p = -5*p - 4*f + x, 4*f + 28 = s*p for p.
4
Let p(f) = -f - 7. Let t be p(-12). Suppose 0*m + 25 = t*m. Suppose 3*v = -2*y + 4, -2*v - v = -5*y + 10. Solve -m*k + 18 = d - 7, v = -3*k - d + 17 for k.
4
Let d = -7 + 4. Let f = -24 - d. Let n be 1/(2 + f/11). Solve -3*y - 11 = -4*k, -3*y - 2 + n = 0 for k.
5
Let x(u) = u**3 - 4*u**2 + 2*u - 5. Let k be x(4). Let l(t) = t - 3. Let j be l(k). Suppose r + 5 - 8 = j. Solve -4*s = -r*c - 2*s + 15, 2*s - 9 = -5*c for c.
3
Let s(a) = a + 8. Let g be s(-7). Solve -m + g = 5*i, -4*i - 3*m - 1 = -4 for i.
0
Let d be (-1)/(-5) - 405/25. Let a = 24 + d. Solve a = t - 4*g, 5 = t - 2*g + 3 for t.
-4
Let v be (-1)/2*(-16)/8. Solve 0 = 2*d + 2, -2*k + v - 6 = d for k.
-2
Let q = -15 - -22. Solve 3*p + 2*v - 19 = 0, 0*p + p + v - q = 0 for p.
5
Suppose 5*j + 57 - 92 = 0. Solve -2*t = -3*d + j, -20 = 2*t + 2*t for d.
-1
Suppose 5*u = 5*h + 45, -2*u - 3*u - h + 21 = 0. Suppose 9 - u = w. Solve 0*n + 8 = 3*b - w*n, -28 = 2*b + 4*n for b.
-4
Let m = -49 + 51. Solve -3*w + 23 = m*w - 4*b, -4*b = -3*w + 17 for w.
3
Let o be 7 + 0/((-3)/(-1)). Let d(b) = -2*b + o + b + 1. Let m be d(5). Solve -18 = 3*y + 4*f - 7, -f = m*y + 5 for y.
-1
Suppose 5*l = l. Suppose -3*s + 2 + 10 = l. Suppose a - 2 = -4*j + 15, -4*j + 3*a - 3 = 0. Solve 5*i + c = 14, s*i - 15 = -0*c + j*c for i.
3
Suppose -5 = -d, -3*a - d = -6*a + 13. Let o = 10 - a. Solve -2*j - 9 - 5 = -o*i, 0 = -5*j + 5*i - 25 for j.
-3
Let g be (-351)/(-36) - (-2)/8. Suppose 5*f = 5, d - 24 = -2*f - g. Solve -d = -3*h + 2*t + 10, 0 = -t - 5 for h.
4
Suppose 5*f + b = 12, f - 2*f = 4*b + 9. Solve -5 = g, -3*t - f*g - 5 = 10 for t.
0
Let n(i) = 6*i**2 - i. Let k be n(-1). Let m be (-7)/(k/(-6)) + -3. Suppose 4 = -p - 2*v + 4*v, m*p = 4*v - 2. Solve -u + p*u + c = -11, -5*u = -2*c + 8 for u.
-2
Let b(t) = 6*t + 2. Let l be b(-3). Let j = -11 - l. Solve 3*v - j*y = -25, 5*v = -8*y + 3*y - 15 for v.
-5
Let x(z) = -2*z + 1. Let f be x(-1). Suppose -2*g - 3*u - 397 = -7*g, 5*g = 5*u + 395. Suppose -g = -4*l - l. Solve -5*t - 35 = -5*k, 2*t + f*k = 4*t + l for t.
-5
Suppose -4*p - 5*d + 6 = 0, -d - 4 = d. Solve x - 11 = -p*s, 8 = -5*x - 17 for s.
4
Suppose -5*j - 7 = -22. Suppose 3 = 5*n + 4*i - j, -10 = -3*n - 4*i. Let y be 1 + n/(-4 + 2). Solve 4*o + 0*o + 8 = -3*q, y*q = -4*o - 8 for o.
-2
Suppose 3*l - 23 = -2*l + w, 3*l + 3*w = 21. Let t be 4 + -2 + 1 + 4. Solve 0 = u - l, -5*x + t = 4*u - 8 for x.
-1
Let j = 73 - 64. Solve 2 = 3*o - 5*o + 2*z, 3*z = -3*o - j for o.
-2
Suppose -5*a - 4*v - 23 = -63, 2*a = 3*v - 7. Solve 2*z + a*h = 14, -h + 5 = 3 for z.
3
Let j be 4 + (-384)/(-21) + 8/(-28). Solve 0 = -5*q - a + 11, -4*a - j = 3*q - 5*q for q.
3
Suppose 24 = 2*k - 5*k. Let q = -5 - k. Solve -x + 10 = -3*m, -4*m = m - q*x + 14 for m.
-4
Let h be 1*(8/2 + -2). Suppose 0 = -h*q + 3*q - 2. Let w be (-6)/(-3) - (1 - q). Solve 2*m + 10 = i, -5*i - w = -13 for m.
-4
Suppose 0 = 3*y - 7*y + 12. Suppose 2*t - 3*t = -3*m, 4*t + m - 13 = 0. Suppose -5*z + 12 = -18. Solve -3*i = -t*o - 6 - z, -16 = y*o - 5*i for o.
-2
Suppose -5*g + 10 = -3*b, 3*g + 3*b - 1 = 5. Solve -v + 19 = -3*v - 5*q, g*v = 5*q + 31 for v.
3
Suppose 0*p = -2*p + i + 16, p = -3*i + 22. Solve 0 = -2*x - 2*r - p, 0*r - 10 = -4*x + 2*r for x.
0
Let d(u) = 9*u - 86. Let k be d(10). Solve 0 = k*s - m + 3*m - 26, -2*s + 3*m = 7 for s.
4
Suppose -3*n - 3*t = -9, -4*n + 15 = 3*t + 1. Solve 3 = -u, 0*u + 18 = -q - n*u for q.
-3
Suppose 3*j + 33 - 39 = 0. Solve -2*z - 2 = -4*g, -j*z - 1 = -3*g - 2 for z.
5
Let n be (-1 + -2)/(9/30). Let f(l) = l**2 + 8*l - 8. Let h be f(n). Solve -5*i - 15 = -a, 0*a + 4*i + h = -2*a for a.
0
Let m(c) = -6 + 2*c - c - 5 + 0. Let x be m(11). Suppose i = -x*i + 10. Solve 0 = u - k - 7, k + k = -i for u.
2
Suppose 15 - 271 = -2*g. Let d be 3/5 + g/20. Suppose -27 + d = -4*r. Solve 10 = 5*b - s, -r*b + 4*s + 15 = 2*s for b.
1
Let r(z) be the third derivative of -z**6/24 - z**5/30 - z**4/24 + z**2. Let p be r(-1). Solve p*q = -4*y + 4, -3*y + 2*q + 3*q - 29 = 0 for y.
-3
Let m(l) = -2*l + 10. Let w(t) = -10*t + 51. Let k(h) = -11*m(h) + 2*w(h). Let d be k(6). Solve 0*n + d*n + 4*o = 0, -5*n - 4*o = -5 for n.
5
Suppose -2*s + 2 + 6 = 0. Solve 4*c = 3*r - 4*r - 8, -3*r - s = 2*c for r.
0
Let o be -5*(12/10 - 2). Suppose -5*t + 13 = -5*f - 7, -o*t = f - 11. Solve -4*c + 21 = -t*n, -n = 5*c - 2*n - 18 for c.
3
Let q = -13 + 14. Suppose -2*t + q + 3 = 0. Solve t*v = -2*h, -3*v = -v - h for v.
0
Let a = 8 - 4. Suppose a*r + 2*w = -2, -2 = 5*r - 2*r + w. Let c = r + 4. Solve 0*l - 6 = -c*l - 3*j, 0 = -2*l - j + 3 for l.
1
Let u be (-2 - -5)*(-1 - 0). Let a(h) = -h - 1. Let c be a(u). Solve -2*x = c*x + 5*p - 4, -p = 0 for x.
1
Let k be 80/38 + (-4)/38. Solve o = -3, a - 3*o - k = 7 for a.
0
Let n = -3 - -8. Solve 4*g + 2*u + 3*u = 36, 0 = 5*g - n*u for g.
4
Let g be 4/3*63/42. Solve -5*y - 5 = 0, -6*j + g*j = -2*y + 2 for j.
-1
Let w = 127 - 122. Solve 0*c = b + c, w*b - 2 = -3*c for b.
1
Let f(x) = -x + 1. Suppose 2 = t - 2*t. Let g be f(t). Solve l - 2*d = -3*d + 9, g*l - d - 7 = 0 for l.
4
Let x(r) = r**3 + 6*r**2 + 6*r - 1. Let p be x(-5). Let i(h) = -3*h - 4. Let u be i(p). Solve t = l - 3, 5*t - t - 3*l = -u for t.
-5
Let t(p) = -p + 6. Let k be t(5). Let d be ((-1)/(-1) - k)*-1. Solve d = s + 1, z + 0*s = -4*s - 2 for z.
2
Let z(p) be the third derivative of 0*p**3 + 0 + 0*p + 1/60*p**5 - 2*p**2 - 7/24*p**4. Let q be z(7). Solve 4*c + 13 = 5*l, q = -l - 3*c - 0 - 5 for l.
1
Let a = 12 - 7. Suppose 0 = -s - 0*s + 3*x - 3, -s = x - a. Solve -w = -4*w - s*y - 6, 11 = -4*w - 5*y for w.
1
Let f(z) = -2*z**3 + z**2 + z + 2. Let d be f(2). Let o(h) = -h**2 - 8*h. Let c be o(d). Solve b - 6 = 4*w - 1, c = 4*w + 2*b - 10 for w.
0
Let y = -5 - -8. Let d(j) = -3*j**3 + 10*j**2 + 13 - j**3 + j + 2*j**3 + y*j**3. Let i be d(-10). Solve 0 = -z - b - 3, -i*z + 2*b - 15 = 2*z for z.
-3
Let u(k) = -k + 4. Let t be u(0). Suppose t - 6 = -o. Let c be (-12 + 2)/((-1)/2). Solve 2*w = -o*w - b - 4, w = 5*b + c for w.
0
Let m(r) = r + 10. Suppose 0 = -2*y - 8 - 6. Let v be m(y). Let z = -5 + 9. Solve l + f = v, 3*f - 5*f = -z for l.
1
Suppose -3*z = -4*j - 18, -19 = -2*z + 3*j - 7. Suppose 0 = z*n - 5*n - 45. Let u = 66 - n. Solve -4*h + u = l - 1, 3*h = 3*l + 9 for l.
2
Suppose -2*d = -5 - 11. Solve -3*c - 30 = -5*m - d, 0 = -2*c - 3*m + 17 for c.
1
Let i be (-25)/(-20) + 1/(-4). Let h be (-6)/3 - -5*i. Let t = 12 + -3. Solve -h*k + 4*a = -0*k - t, -12 = -4*k - 5*a for k.
3
Suppose 0 = -2*f + 6*f. Suppose z + 4 = -z, f = 3*m - 5*z + 44. Let t be m/4*8/(-6). Solve 2*g - 2*v - t = 0, 5*g - 3 = -v - 0*v for g.
1
Let d = -7 + 1. Let n be 24/9 + 4/d. Suppose -n*t = -0*t - l - 16, 2*l - 28 = -2*t. Solve -5*y + 8 = -2*r - y, -3*r = -5*y + t for r.
0
Suppose -4 = -4*b + 4*c, -c = 2*b + c + 2. Solve 2*x = 2*z - b*