 i, 3*m = -4*l + 20 for m.
0
Suppose 8*k = 5*k - 9. Let b be (k/2)/(18/(-60)). Solve -5*c - t + 6*t = -35, -27 = -c + b*t for c.
2
Let c(w) = w**2 + 10*w - 11. Let s be c(-9). Let m = 20 + s. Solve -3*i = -5*f + 26, 2*i - 3*i + 3*f - 14 = m for i.
-2
Suppose 0 = k - 17 + 2. Suppose 5*t = -k, 5*p + 4*t - 3 - 10 = 0. Solve 10 = 3*a - 5, p*a - 13 = 4*d for d.
3
Suppose c + 3*i = -c + 17, i = 3*c - 9. Let o = 9 - c. Solve -2 = 3*n - o*y, 0 = -n + y + y for n.
-4
Suppose -3*y + y = -5*s + 5, y = -2*s + 11. Solve -s*g + 25 = -4*r - 8*g, 2*g = -r - 7 for r.
-5
Let y be (-2)/(-2) + 0 + 2. Let b = 6 - 2. Let o = 8 - b. Solve -n - x = o, 2*n + y = -x - 1 for n.
0
Let j = 3 + -3. Suppose j = 3*m - 1 + 4. Let g be (-1)/2*(1 + m). Solve 2*z + 14 = 3*o - 5, -2*z + o - 13 = g for z.
-5
Let r be (-6)/(-2)*(-4)/6 + 4. Solve -2*y - 5*w + 15 = 0, 2*y = y + r*w + 3 for y.
5
Suppose 7 + 3 = 5*o. Suppose -4*h + 18 = 3*k, o*h + 3*k - 4 = 8. Solve 0*r = -v + h*r + 11, -5*v + r = -13 for v.
2
Let n(d) = d**2 - 1. Let u be n(2). Solve -13 = -3*m + w, 5*m - 11 - 20 = -u*w for m.
5
Suppose -3*u + i - 35 = -6*u, -4*i = -u + 3. Solve 0 = 4*h - 3*q + 17, -31 = 3*h + 5*q - u for h.
-5
Let g be (-4)/(-6)*(-126)/(-12). Solve g = -b - u, -3*u - u - 19 = b for b.
-3
Let o be 32/18 + 8/36. Suppose -3*a = 2*a. Let i(r) = r + 4. Let w be i(a). Solve w*g + 5*x + 5 = 0, -3*g + 3 = -5*x - o for g.
0
Let t(r) = -r**2 - 11*r. Let d(u) = -u. Let x(w) = -2*d(w) + t(w). Let y be x(-9). Solve -2*k - 2 + y = 3*s, 3*k - 12 = 3*s for s.
-2
Let h be (4 - 0)*((-30)/(-5) + -5). Solve -3*s - 19 = -h*t, -t + 6 + 0 = -s for s.
-5
Let s = -4 + 4. Suppose -4*j + 13 = 2*v - 49, s = 5*j - v - 67. Suppose 5*u - 4 = -c, -3*u + 1 = -5*c + 21. Solve u = -2*g + 5*l, -l - l - j = 2*g for g.
-5
Let u be 30/4*(-2)/(-3). Suppose -4*b + 9*b = 20. Solve 5*i - v + 16 = 0, -u*i + 5*v = -i - b for i.
-4
Let v(n) = -3*n - 5. Let j be v(-4). Solve -4*u = -3*o + 3, u + j = 5*o + 2 for u.
0
Let w = 9 + -6. Let u be (0/w + -10)/(-1). Solve 22 = m - 5*p, p = -p - u for m.
-3
Suppose -2*f + 9 + 1 = 0. Suppose -38 = 5*p - f*o + o, 3*o + 18 = -4*p. Let r be 1*(-1 + 0) - p. Solve -i - 2*d = -12, r*i = -d - 6 + 21 for i.
2
Let j be ((-1)/(-2))/(3/30). Solve 0*x = 2*x + 3*q - 4, -j*x - q - 3 = 0 for x.
-1
Let r(s) = s**2 - 9*s + 8. Let h be r(8). Solve -z - 3*l + 11 = h, 2*z - 2*l = 3*z - 9 for z.
5
Suppose f - 3*f + 10 = 0. Solve -1 = -n - f*w, 3*w + 1 - 6 = -5*n for n.
1
Suppose 34 = 5*n + 14. Suppose -7 = -o + 11. Solve -24 = 4*d + 4*z, -4*d + o = -2*d - n*z for d.
-1
Let y = 403 + -401. Suppose 3*o = -f - 4, -f + 4*o = -2*f - 8. Let h = -6 + f. Solve 3*q + y*r = -19, -h*q = -6*q - r - 22 for q.
-5
Let s(d) = d**2 + 10*d + 9. Let b be s(-9). Solve 4*i + 5*x + 8 = 0, -8 + b = 4*i - 5*x for i.
-2
Suppose 0 = -3*v - 10 - 5. Let c be v/(15/42)*-2. Solve 4*k = -3*l - c - 7, -4*k - 45 = 5*l for k.
-5
Let d(z) = 0*z - 4*z + 2*z**2 + 1 - z. Let g be d(4). Suppose 10 = 2*w - 2*u, 3*u - 8*u = -w + g. Solve -2*a - 8 = w*l, -15 - 5 = 5*a + 5*l for a.
-4
Let h(f) = f**2 + f + 8. Let c be h(0). Suppose 5*j = c + 7. Solve -2*k + 2 = -4*k - 3*p, 0 = j*k + p - 11 for k.
5
Let u = 50 - 18. Let s = 64 - 41. Suppose -s - u = -4*f - 3*c, 2*f - 3*c = 5. Solve 5*v - f = 15, -5*m + 5*v - 50 = 0 for m.
-5
Let b(o) = -o**3 - 11*o**2 - 10*o + 3. Let j be b(-10). Solve 4*y + 9*r = 4*r + j, -3*y - 15 = -2*r for y.
-3
Let c = 2 + -1. Let y be c/((-20)/(-18) - 1). Suppose -5*a + y = -181. Solve -4*d + a - 13 = -3*m, -2*m - 6 = 0 for d.
4
Let y(w) = 43*w - 191. Let p be y(5). Let a = -2 + 1. Let m(n) = -3*n. Let i be m(a). Solve 3*g - p = i*v, -20 = v + 3*v for g.
3
Let t(s) = -s - 28. Let h be t(-19). Let d = -5 - h. Solve -6 = 5*k + d*v - 2*v, 0 = v + 3 for k.
0
Let t = 19 + -16. Solve -t*p - 2*q = -13 - 4, 5*p - 3 = 3*q for p.
3
Let f = 27 - 11. Let b = -12 + f. Solve 0 = -b*h - 2*x - 22, 0*h - x = -2*h - 5 for h.
-4
Let a be -2*-2*(-28)/16. Let w = a + 9. Solve -5*g + 15 = 0, j = -4*g + w + 10 for j.
0
Let j(g) = 2*g - 6. Let h be j(4). Solve 4*k - 13 - 2 = -3*p, h*k = 3*p - 15 for p.
5
Let s(g) = -g**3 + 8*g**2 - 8*g + 10. Suppose -3*d - r - 4 = -24, -r + 27 = 4*d. Let v be s(d). Solve 4*k - 6*k = 3*o + v, -k + 4*o + 15 = 0 for k.
3
Let i = 0 - 1. Let k = -1 - i. Suppose a = o + 2, 3*o + 3 = 2*a - k. Solve -o = 3*n + 7*l - 3*l, 5*n - 4*l = -23 for n.
-3
Let t(s) = -s**2 + 10*s + 14. Let n be t(10). Solve -2*z + 47 = -5*b + n, -9 = b - z for b.
-5
Suppose -104 = -2*l + 2*u, -3*l + 137 + 40 = 4*u. Let c = l - 25. Solve 2*o - a + 0*a + 8 = 0, -5*o = -5*a + c for o.
-2
Let f = 4 + -4. Let k = f - -1. Suppose -3*s - k = -0*n - 5*n, -2*n + 13 = 3*s. Solve -19 = s*c - 4*o, 3*c + c + 5*o + 15 = 0 for c.
-5
Let v be (-26*1/8)/(7/(-28)). Solve -3*i = 5*w + v, 5*i + 0 + 5 = -5*w for w.
-5
Suppose 0*w = 3*g - 2*w - 6, -2 = -2*g + 2*w. Suppose 5*u + 65 = 5*a, 5*a - 60 = -2*u + 12. Solve -a = -2*j + 2*d, 5*j - g*d = 51 - 19 for j.
4
Suppose 9*v + 45 = 4*v. Let y(u) = -u**3 - 10*u**2 - 10*u - 2. Let k be y(v). Suppose -x + 24 = 3*x. Solve 0 = -4*c + 5*a - 4*a + x, 5*c - a = k for c.
1
Let m = -2 - -20. Let g = 13 - 11. Solve -3*u + 5 = -g*u, 4*u - m = -2*o for o.
-1
Let y be (0 + 2)*(3 - 2). Suppose 4*s + 4 = -w, -y*w + 0*s = -2*s - 42. Suppose 3*a + w = 61. Solve a - 36 = -4*z + 3*f, 2*f = 3*z - 15 for z.
3
Let o(b) be the third derivative of b**6/60 + b**3/6 + 3*b**2. Let f be o(1). Solve -f*r - 2*k + 16 = -8*r, -3*r - 14 = k for r.
-4
Let i(l) = -6 + 2*l - 5*l - l + 5*l. Let s = -6 - -12. Let x be i(s). Solve 5*n - f - 3 - 2 = x, 3*f = 15 for n.
2
Let a = -12 - -17. Solve a = -v - 3*o, -4*v + 2*v + 23 = -5*o for v.
4
Let w(j) = -j**2 + j - 1. Let c(x) = -x**2. Let b(r) = -4*c(r) + 3*w(r). Let z be b(2). Solve -3*k + 2*k - z = -2*v, 0 = -4*k - 2*v - 8 for k.
-3
Let x(a) = a**2 - 4*a + 8. Let b be x(4). Solve r - b = 2*r + 3*p, -4*p = -2*r + 24 for r.
4
Suppose -5*n + 75 = -0*n. Suppose -5*q + n = -0*q. Suppose -2*d + 70 = q*d. Solve 3*i - 11 = o, -5*o - 3*i = -o + d for o.
-5
Suppose 4 = 4*i - 4. Suppose o = 1 + i. Let t be 68/o - 4/(-12). Solve 0 = -3*w - 4*c + 25, 2*w - 5*c + t = 3*w for w.
3
Let s = 26 - 4. Suppose l = s + 6. Suppose 2*j - l = -6. Solve -d = -5*f - 2*d + j, 0 = -5*d + 5 for f.
2
Let z = 3 + -11. Let w = -8 - z. Solve 3*o + 4*y = 5*o - 26, 5*o + 3*y - 13 = w for o.
5
Let j = -75 - -79. Solve -j*s + 3 = 4*k - 1, s + 3*k + 5 = 0 for s.
4
Let q = 2 + -6. Let a = 8 + q. Let j(l) = -l**2 + 5*l + 3. Let f be j(5). Solve -t + 6*t = a*x + 12, -f = x - 4*t for x.
-3
Let g be (-2)/10*-2*5. Let h = g + -2. Suppose -3*i + 9 = a, -4*i - 2 = -8*i + 2*a. Solve h*b = -3*b + 4*c - 4, 0 = b - 3*c - i for b.
-4
Suppose -42*y = -47*y + 15. Solve i = 6*i - 5, -4*m + 1 = -y*i for m.
1
Let d = 80 - 56. Solve 0 = -2*y + u, 5*y - d = y - 4*u for y.
2
Suppose 3*v + 2*v + 10 = 0, 0 = -5*b + 2*v + 74. Solve 4 = g + w, 0 = -5*g + w + 12 + b for g.
5
Suppose -9*n + n = -16. Solve 5*z + 2*v + 20 = -3*v, 0 = n*v - 2 for z.
-5
Let k = -55 - -62. Let w(a) = -a**3 + 5*a**2 - 5*a + 2. Let i be w(3). Suppose i*t - t = 8. Solve -5*l - t*g = -l, -3*l + k = -2*g for l.
1
Let h be (-2 - -1)/((-2)/4). Suppose 14 - 6 = h*l. Let x = 5 - 1. Solve -5*m + g + 1 = 6, l*m - 5*g = -x for m.
-1
Suppose -8 = -2*j, -3*c + 0*j + 10 = j. Suppose l = c - 0. Suppose g + 2 = l*g. Solve -5*x - v = 10, -6 = 2*x + v - g for x.
-2
Let y(x) = -x**2 - 3*x. Let q be y(-3). Solve 2*r = u + 7, q = -2*u - r - 3*r - 6 for u.
-5
Let b be ((-10)/2 - 2)/(-1). Solve -k + n + b = 0, k + 2*n + n = -5 for k.
4
Let w(q) = q + 7. Let s be w(-7). Suppose s*c = 5*b + c - 13, -5*c = 4*b - 2. Solve 2*j + 3 = -y, -b*y = -y - 5*j - 21 for y.
3
Let n(m) = -5*m - 11. Let h be n(-3). Solve -g = 4*o + h, 3*o + 2 + 4 = 0 for g.
4
Let h be (-33*1)/(1 + -2). Suppose q + 22 = -3*a, 0 = a + 2*a + 2*q + 17. Let y = -7 - a. Solve f = 5*d + 3*f + h, -y*d = -3*f - 2 for d.
-5
Let o(t) = -7*t**3 + 7*t**3 + 1 + t**3. Let p be o(0). Solve 2*d = -3*k + p, -5*k + d + 1 + 5 = 0 for k.
1
Suppose 0 = -i - 2*p - 16, 2*i - 4*p + 2 = -6. Let l = 6 + i. Let t be 2/l - 28/(-8). Solve 3*w = -5*k + 29, 2*w - t*k + k + 2 = 0 for w.
3
Let t(j) = 4*j + 34. Let h be t(-8). Solve -h*g - 6 = 4, -25 = 2*r + 5*g for r.
0
Let n(u) = 4*u**2 + 3*u - 11. Let f(m)