 0, 8 = -4*r - 3*j for r.
1
Suppose -4*r - r + 20 = 0. Suppose 0 = g + r*g - 35. Solve 3*x - 7*b + 2*b - 25 = 0, -b - g = -x for x.
5
Let p be -2*(46/(-4) - -3). Suppose -4*a + m = -p - 4, -5*m - 45 = -5*a. Solve a*r - 8 = 0, -3*t - 2*r + r - 7 = 0 for t.
-3
Let l be -3*((-16)/(-6) + -2). Let z be ((-1)/3)/(l/12). Let m be 5 + (-1 - 1) + z. Solve m*b - 14 = 2*c + c, 0 = 5*c - 10 for b.
4
Suppose 4*k + k = 0. Suppose 3 = g - k. Solve 0 = -3*l + 3*c - 9, -2*l + g*c - 7 - 3 = 0 for l.
1
Let a be ((-10)/(-4))/(1/2). Solve -2*f + a*l - 6 = 0, 2*f + 0*f = l - 6 for f.
-3
Let z(a) = -a + 12. Let t be z(7). Let n(h) = -h**2 + 2*h + 6. Let d be n(t). Let v be 16/(-6)*d/6. Solve -2*r = -s - v*r - 11, r = -4*s - 23 for s.
-5
Suppose a - 2*a + 12 = 0. Suppose 8 + a = 5*v. Solve -3*f - v*d = -8*d - 29, -3*f - 5*d = 16 for f.
3
Let v be (-6 - -2)*(-2)/4. Let j be (7/(-3))/(1/(-3)). Suppose -5*z = 6*x - 3*x - 20, 4*x = -5*z + 20. Solve 0 = v*n + 3*o + j, 2 = -5*n + z*n - o for n.
1
Let w(f) = -f**2 + 8*f + 16. Let g be w(7). Solve -2*q - 3*t = -1, -5*t = -q - q - g for q.
-4
Suppose -3*y = -2*z + 31, 3*y - 63 = -3*z + 6. Let l = z - 14. Solve -l*d + 32 = -4*v - 2*d, 0 = -3*d + 9 for v.
-5
Let b = -18 + 30. Let d(w) = w**2 - 13*w + 12. Let u be d(b). Solve 2*l = -l + t - 10, -2*l + 2*t = u for l.
-5
Let o(u) = u**2 - 6*u - 5. Suppose 2*v + v = 21. Let p be o(v). Solve j - 3*a + 9 = -5*a, -j + p*a + 11 = 0 for j.
1
Suppose 4*a + 0*a - 6 = -5*r, 0 = 2*a + 5*r + 2. Solve z = 3*q + 8, a*z = 5*q + 5*z + 24 for q.
-4
Suppose 2*x + x + 5*n - 17 = 0, -n = -1. Solve x*g = 0, -15 = 5*m - g - 4*g for m.
-3
Let b = 6 + -7. Let d be 4*(b/2 - -1). Solve -3*j - 14 = -d*j - 3*v, 3*j + 5*v = 28 for j.
1
Suppose 4*s + 0*s - 154 = -3*d, -2*d + 104 = 2*s. Let k = d - 9. Solve -4*h - 3*g = -8*h - 8, -5*g = 5*h + k for h.
-5
Let v = -135 - -140. Solve -3*n - 5*m = -0*n - 10, 30 = -v*n + m for n.
-5
Suppose 0*a + a - 16 = 0. Let v be 3/(-1 - a/(-10)). Solve -4*y - v*f - 2 = 0, -f + 1 - 8 = 3*y for y.
-3
Let w = -2 + 2. Let o be 1 + 2/(w - -2). Solve 4*k + 6 + 2 = -4*b, 10 = -o*k + b for k.
-4
Let z(r) = -2*r - 2. Let m be z(-3). Solve -b - 5 + 13 = -4*k, 2*b - m = 2*k for b.
0
Suppose s = -2*c + 10, -c - 4*c - 4*s = -31. Suppose 2*v + g = 2 + 3, -v + c*g = 1. Solve 2*k = 3*d - 5, k + k = -v*d for d.
1
Let q(t) = -7 + 2*t - 2 + 6. Let v be q(8). Suppose -a = 5*f + 6, 4*f = a - 26 - v. Solve 0*u + 16 = 3*x + u, a = 4*x - u for x.
5
Let f(l) = -4*l - 6. Let o(n) = 5*n + 7. Let j(s) = 4*f(s) + 3*o(s). Let x be j(-3). Solve -3*i + 5*g - 8 = x, 2*g = -i + 10 + 2 for i.
4
Let x be 92/28 + 4/(-14). Suppose -6*a + 6 = -3*o - x*a, 5*o + 4*a = -19. Let g be (o + 1)/((-10)/15). Solve -j + 2*d = -10, 5*j - g*d - 23 - 6 = 0 for j.
4
Let w(d) = 9*d + 3. Let u(y) = 5*y + 1. Let z(x) = -7*u(x) + 4*w(x). Let m be z(0). Solve 0 = -4*v + k - m*k - 4, -3*k - 6 = 0 for v.
1
Let s be (4/6)/(1/(-3)). Let h(f) = -14*f + 2. Let u be h(s). Solve u = -2*m - 5*n, -2*m - 4*n - 18 = 8 for m.
-5
Let y be (-23)/(-7) - (-4)/(-14). Suppose -3*p - 3 = 4*l + 6, -y*p = 9. Solve -a + 5*t + 27 = l, 0*t - 11 = -3*a + t for a.
2
Let j(o) = -o**2 - o - 3. Let f be j(0). Let k = 3 + f. Let b(p) = p + 4. Let t be b(k). Solve t*l - 2*x = 3*x - 26, 4*l + 10 = -3*x for l.
-4
Suppose -50 = -5*o + 5*x, -2*x - x = o - 18. Solve -25 = 5*z - 5*l, 0*l - 4*l = -o for z.
-2
Suppose -2*y + 0*a + 3*a = -6, -6 = -2*y - 3*a. Solve 4*u - 5*b + 41 = 0, -y*u - 5*b + 11 = -2 for u.
-4
Let f = -2 - -5. Let i be (-1)/f*-3 - -2. Suppose 0 = -3*z + 8 + 1. Solve -m - 4*u = -i*m + 10, 3 = 3*m - z*u for m.
-3
Suppose -4*w - 20 = -8*w. Solve -v + 6 = v + 2*i, 2*v + 1 = w*i for v.
2
Let f = 30 + -54. Let v(o) = -o. Let k be v(-15). Let w be 2*k/f*-4. Solve -4*d + 3 = -0*d - w*i, -5*i - 18 = d for d.
-3
Suppose 6*i = 4*i. Let m = i - -4. Solve 0 = 4*j + j - s - m, -2*j = -s - 4 for j.
0
Suppose 7*s = 2*s + 35. Suppose u - 2 = 3*n, n + 15 + s = -5*u. Let c = 4 + u. Solve 3*m + m + 8 = c, -4*x - 16 = 4*m for x.
-2
Let c be 9/21 - 75/(-21). Let x(g) = -g**3 - 6*g**2 - 2*g - 8. Let m be x(-6). Solve -2 = -3*t + 2*k, 2*k + c = -m*t - 2*k for t.
0
Suppose 0 = 5*g + 2*g - 84. Solve 2*m + 9 = 3*m + x, 2*x + g = 4*m for m.
5
Let p = 9 - 6. Let w(c) = c**2 - 2*c. Let t be w(p). Solve -t*h - 5*q = -17, -2*h - h - 4*q = -16 for h.
4
Let w be -4*6*(-4)/32. Solve -4 = 4*g + 4*f, 0 = 2*f - 3 - w for g.
-4
Let n be (-1 - (5 - 7)) + -1 + 8. Solve -2*s - n = 2*m, 2*m + s + 13 = -2*m for m.
-3
Suppose 0*q - 32 = -8*q. Solve -a = -3*a - 8, 32 = -4*z - q*a for z.
-4
Suppose 36 = 3*b - 3*r, -6*b + r = -3*b - 26. Solve -2*i + 4*d = -12, -2*d + 33 = -2*i - b*d for i.
-4
Let q be 16/2 + (5 - 3 - 5). Solve -8*v + q*v - 4*a + 7 = 0, 2*a = v + 11 for v.
-3
Let x(g) be the third derivative of g**5/5 + g**4/24 - g**3/6 - 15*g**2. Let a = 0 + 1. Let r be x(a). Solve 7*u - 20 = -4*s + 2*u, -2*s - 3*u = -r for s.
0
Let a be 2/(-8) - (-1)/4. Let p = 85 - 79. Suppose a = -n + p*n. Solve -28 + 6 = 5*k - 3*j, 2*k - 5*j + 24 = n for k.
-2
Let k be (-10)/(-8)*(1 + -5). Let q(z) = -z**3 - 4*z**2 + 4*z. Let v be q(k). Solve -2*h + 9 = v*i + 2*h, 0 = 2*i + 3*h + 2 for i.
5
Let n be 7 - 6/(-7)*98/(-21). Solve -o - 9 = 2*w - 2, 0 = -5*o - n*w - 28 for o.
-5
Suppose -11 + 3 = -4*q. Let h be q/(-4)*(-2)/1. Solve -p = -2*i + 2 - h, 3*i + 6 = -p for p.
-3
Let s = -7 - -1. Let p be (s/(-5))/((-22)/(-55)). Solve 3*r = 2*k + 2*r + 13, 2*k - p*r + 23 = 0 for k.
-4
Suppose -4*r + 3 = -3*w - 2, 3*w + 3 = 3*r. Solve 4*u - 21 = f, -3*u + r*u = 5*f for f.
-1
Suppose -5*p + 21 = 3*v, -3*v - 2*p + 14 = v. Let o be ((-3)/(-1))/(-9)*-6. Solve -o = -2*u + 2*k, -u + 4*k = -3*u + v for u.
1
Let i(n) = n**2 - 5*n + 1. Let v be i(7). Solve 2*g + 0*g - 25 = -5*y, -3*g + v = 0 for y.
3
Let w = -6 + 9. Suppose 4*v + 4*x = 2*x + 8, 4*v = -4*x + 4. Let g(s) = 20*s + 1. Let p be g(1). Solve -p = -3*a - 3*h, w = v*a - 5*h - 2 for a.
5
Let x be (-3 - 0 - -1) + 17 + 2. Solve -3*y + 2*r = x, -4*r + 13 = -3*y + 4*y for y.
-3
Suppose 0 = 3*b - 31 - 2. Let r = -14 - -7. Let j = r - -11. Solve 3*t = -j*s - 17, b = 2*s - 9*t + 4*t for s.
-2
Let a(i) = 18*i**2 + i - 1. Let t be a(1). Let y = t + -8. Solve -2*h - s = 4*s + 23, y = 5*h - s for h.
1
Let d = 0 - -2. Suppose -b = 4*o + d*b - 18, -5*o + 5*b + 5 = 0. Solve o*c - 6 = -c - 2*j, -4*c + 5 = j for c.
1
Suppose 2*g + 4*c = 22, -2 = -g - 0*c + c. Solve 9 = 4*d - 5*a - 3, 0 = g*d + 5*a - 15 for d.
3
Let d be (-2)/(-6) + 53/3. Suppose -4*f = -2*f - 3*n - 11, 3*f - 3*n = d. Let k = f - 5. Solve 4*o - 5*b + 13 = 0, -k*o - b + 14 - 3 = 0 for o.
3
Let i(u) = u**3 - 8*u**2 + u + 3. Let t be i(8). Suppose 3*h = -h + 4. Suppose t = 5*k + h. Solve -d + 5*c + 8 = 0, 0 = 3*d + 4*c - 7 + k for d.
3
Let v be 3/2 + (-1)/2. Let r = v - -1. Suppose -7*t = -r*t. Solve -2*z - z + 4*y = 16, t = -2*z + 4*y - 16 for z.
0
Let i(t) = t + 11. Let z be i(-9). Let y(d) = -12*d - 1 - z + 9*d. Let v be y(-7). Solve 3 = h - 2*h, -3*b - h = v for b.
-5
Suppose -2*t + 2*l = -18, -3*t - 2*l + 7*l + 27 = 0. Solve 0*d - h = 5*d + 13, -3*h = t for d.
-2
Suppose 19 = 3*w - 5*m, 2*m = -5*w - m + 9. Suppose -c + 5 = 1. Suppose -2*y = j + 2*y + 7, 0 = j - c*y - 17. Solve 0 = -j*v + w*r, v - 3*r = r for v.
0
Let z(h) be the third derivative of -4*h**2 + 0*h + 0 + 0*h**4 + 1/60*h**5 - 1/6*h**3. Let j be z(-4). Solve -x - 4*x = 5*n + j, -x - 5*n = 23 for x.
2
Let d(i) = i**2 - 8*i + 9. Let v be d(7). Solve 2*l - v = 0, -4*t + 13 = 5*l - 0 for t.
2
Let s = -4 - -11. Suppose 0 = 3*w - q - 12, 2*w - 2*q = -s*q + 25. Solve 5*f - w*u - 15 = -0*f, 33 = -4*f - 5*u for f.
-2
Let f(n) = 10*n + 15*n**2 + 4 + 16*n**2 - 32*n**2. Let r be f(10). Solve -q + r*y = -17, 4*q + 2*y = 2*q + 4 for q.
5
Let l be (-84)/(-15) + 2/5. Suppose 0*q + l = q. Solve -n = -2*u + 4, -3*n + q*n + 8 = 5*u for n.
4
Let f(t) = -4*t**2 - t. Let w be f(-1). Let q be 29 + (w + 2 - 1). Let s be 6/8*2*2. Solve -5*x + m - 29 = 0, m + q = -s*x + 4*m for x.
-5
Let m(z) = -2*z**2 - 11*z - 10. Let t be m(-4). Solve -3*n - 2*g - t = 0, 2*n - 10 = 3*n + 3*g for n.
2
Let w(u) = -u - u + 2 + 3*u + 4. Let b be w(-3). Solve b*c + 3*x = 9, c + 5*x = -0*c + 11 for c.
1
Let o = -8 - -7. Let z be -3 - (18/o + 0). Solve -2*i + z = 3*r - 6*i, -2*i - 1 = 5*r for r.
1
Let g = -