i - w = -4 + 3, 5*w = 3*i - 23 for i.
1
Let a(q) = 3*q**2 + 2*q - 2. Let w be a(1). Solve 0*u = -w*b - u - 8, -5*b - 8 = -u for b.
-2
Suppose 5*t = t + 2*a + 14, 4*t - 15 = 3*a. Let w = -7 - -10. Let q be 2/w + 4/3. Solve 0 = -t*l - x - 16, 15 + 13 = -5*l - q*x for l.
-4
Let l = 25 + -22. Suppose 9 = l*p - x, 4*x - 2 = -p + 1. Solve 2*y + p*j = 2*j + 5, 2*y - j + 1 = 0 for y.
1
Let o(w) = w**3 - 4*w + 4. Let j be o(0). Let t be (-2 + 2)/(-1 - -3). Solve 3*s - 14 = -t*r - j*r, 20 = 4*r for s.
-2
Let l(v) = 2*v**2 - 35*v - 14. Let p be l(18). Let m be (-7)/2 + 1/(-2). Let r = 8 + m. Solve -r*b = -4*h, -p*b + 2*h + h - 5 = 0 for b.
-5
Let j(n) = n**3 + 6*n**2 - 2*n - 8. Let y be j(-6). Solve 4 = -5*u + 4*d, -y*d = 3*u - d - 3 for u.
0
Let d(z) = 2*z - 5. Let j be d(4). Solve -4*k - 2*p = -4, -6*k + j*k - 3*p = 0 for k.
2
Suppose 5*r + 8 = -4*i, -2*i - 2*r + 18 = -5*r. Solve 3*a = 3*j - 9, -5*j - i*a = -4*a - 7 for j.
1
Let x = 50 - 47. Solve 3*l = -4*o, x*l + 3*o = -l - 7 for l.
-4
Suppose -4*w = -4*u - 52, -2*w - 5*u + 25 = 2*w. Let f be (2 + -1)*(w - 7). Solve -a - 10 = -5*n, -f*n + 0*a - 12 = 3*a for n.
1
Let j be ((-5)/3)/(-2*1/6). Solve 4*p - p = 3*y, -y = -j*p - 12 for y.
-3
Let t be (-2)/3 + 42/9. Suppose -3*i + t*o = -7, -o - 2 + 1 = 0. Let l(d) = d**2 - 1. Let c be l(i). Solve 0 = -h - c*x + 5*x - 2, -3*h - 2*x - 6 = 0 for h.
-2
Let j(t) = -3*t - 4. Let g be j(-2). Solve 4*o + 4*m = 24, -12 = -g*o - 3*m + 2 for o.
4
Suppose 0 = -0*z - 3*z, u - 18 = 5*z. Solve 4*p + b = -1 - 2, 2*b - u = 4*p for p.
-2
Let b be 3/((-18)/(-12)) + 3. Solve 3*s - 2*d = -s - 12, 12 = -s + b*d for s.
-2
Suppose q = 3*d + 1, -2*q = q - 5*d - 15. Solve -4*x + 15 = -3*a, -4*x + a = -a - q for x.
0
Suppose 0 = -2*r + 5*r. Suppose 3*z + 0 = 5*f + 6, f - 3*z + 6 = r. Let i be f + ((-2)/(-1) - 0). Solve k = 5*q - 8, -k + i*q - 1 = 4 for k.
-3
Suppose 4*i - 72 = 5*z, -2*z + 5*i - 2*i = 33. Let d = z + 19. Solve -4*h + 10 = -5*k + 2*k, k - 5*h = -d for k.
-2
Suppose -5*x = -0*h + 4*h - 38, 3*x + 66 = 5*h. Let q = 24 - h. Solve -2*j - 3*j + 2*l = q, -l = 2*j + 12 for j.
-4
Suppose -3*b = -i + 1, 0 = b - i + 5*i + 9. Let v = b + 4. Solve -5*n = 5*o - 35, 3*o - 2*o = -v*n + 13 for n.
3
Let l = -10 + 23. Suppose l = 3*k + 1. Suppose 3*i - k*i = 0. Solve i*y - 3*y = 0, -4*r = 3*y + 20 for r.
-5
Let p = 7 - 1. Solve -2*h - 4*a - 10 = 0, a - 6 = -4*h + p*a for h.
-1
Let h be 12/10*(-30)/(-18). Solve 0 = -0*u + u + 3*c - h, -u - 2*c + 2 = 0 for u.
2
Let z(m) = m**3 - 9*m**2 + 2*m. Let l be z(9). Let b be (-5 + 7)/((-4)/l). Let i be 12/2*(-12)/b. Solve 0 = 4*o - u - i, 3*o + 5*u = 5*o - 22 for o.
1
Let q(m) = -6*m - 1. Let s be q(-1). Solve -s*r + 2*t = -12 - 0, -4*t = 5*r - 6 for r.
2
Let w(z) = z**2 - 5*z - 8. Let a be w(7). Let u = 9 - a. Solve -b - 2*t = -5, -u*b - t + 0*t = -5 for b.
1
Let n be 8/3 - (-4)/12. Suppose -5 + 1 = -2*i. Let c = n + i. Solve -4*h + 3 = -3*y, -5*y - 6 + 1 = -c*h for y.
-1
Let w be ((-1)/2)/((-5)/(-60)). Let y be w/(-1 - 2) + 0. Let v(s) = s + 7. Let n be v(-3). Solve -n*j - 2*q = -8, -3*j - 3*q = -2*j - y for j.
2
Suppose 2*c + 2*a = -2, -16 = -c + 3*a - 5. Let k(f) = -f**3 + 3*f**2 + f - 2. Let q be k(2). Solve -3*x - c*s + 6 = 0, 2*x - 6*s = -3*s + q for x.
2
Suppose -4*z + 18 = 2*a, -z = -3*z + a + 3. Suppose 6 = 3*y + 3*b, 0*b + 4*b - 8 = 2*y. Suppose y = -2*t - 0 + 8. Solve -4*p + 4*i = 12, z*i = t*i - 4 for p.
1
Suppose 0*y + 4 = 4*y. Let k be (0/((-1)/y))/(-2). Solve -5 = -k*d - 2*d - 5*b, b = d + 8 for d.
-5
Let a(i) = 2*i**2 - 2*i - 2. Let v be a(-2). Suppose 6 = t - v. Suppose 5*l - 33 = -5*s + s, 2*s = 4*l - t. Solve -5*c = 4*p + 40, l*c - 4 + 49 = -5*p for c.
-4
Suppose 3*r = 4*c, -4*r - c - 3*c + 28 = 0. Suppose 0*q = 5*q + 40. Let b(v) = v + 10. Let a be b(q). Solve 0 = 3*n + l + 3*l + r, n = -a*l for n.
-4
Let b be (8/3 + -3)*-21. Let t be 16/7 - 2/b. Solve 4*n - 6*n + 5*i = 26, t*n + 2*i = 2 for n.
-3
Let y = -8 - -7. Let r = y + 3. Solve -r*i + 4 = -2*v, 0*v - 5*v + i + 6 = 0 for v.
2
Let a(z) = 2*z**2 + 3*z + 2. Let g be a(-2). Let q = 64 - 38. Suppose -6*n = -n + 10, 3*n + q = 5*t. Solve 4*w - 3*x + 10 = -g*x, 2*x - 16 = t*w for w.
-3
Suppose 16 = -3*w + 2*n + 2*n, -4*w - 20 = -5*n. Suppose w = s - 8 - 1. Solve -m = 2*m - 12, -3*l + s = 3*m for l.
-1
Let t = 179 + -175. Solve -k = 3, t*k + 0 = 4*a + 4 for a.
-4
Suppose -8*d + 7*d + 12 = 0. Suppose -2*h - f + d = -0*f, 5*f - 32 = -3*h. Solve v + 17 = -5*c, 0*v + 5*v = 2*c - h for v.
-2
Let w be 3*(3 + (-10)/(-6)). Solve 2*j - 3*f + 13 = 0, -4*f = 4*j - 2*f - w for j.
1
Suppose -5*z - 31 + 81 = 5*j, 3*j = -z + 14. Let f(k) = k**2 - 9*k + 10. Let s be f(z). Solve 0*t + s*l = t, 3*t = -5*l + 11 for t.
2
Let r be 2/4 - 70/(-20). Solve -2*t = -6*t + 20, 0 = -r*x + 3*t - 23 for x.
-2
Let m be (-46)/(-14) + 2/(-7). Let l = -3 + m. Suppose l = -4*r + 20, -c + 2 + 1 = -r. Solve 0 = -2*t + 5*n + c, 4*n + 3 = 3*t + n for t.
-1
Let m(g) be the third derivative of -g**5/60 + g**4/4 - 3*g**2. Let t be m(5). Solve 2*k - t*i + 20 = 0, 0*k - 3*k - 5*i = 5 for k.
-5
Let t = -10 + 12. Solve 0 - 10 = t*w + 4*i, -4*i = -2*w + 6 for w.
-1
Let s = 1 - -18. Solve 5*i = -5*k - 45, 3*k + 0*k + i = -s for k.
-5
Let y(x) = 3*x**2 + 2*x + 13. Let i be y(-3). Solve 3*m - 5*p - i = -0*m, 0 = 5*m - 2*p - 25 for m.
3
Let a be (-4)/(8/22) - -2. Let h = -5 - a. Solve -5*z + 10 = h*m, -m - 8 = 2*z - 6*z for z.
2
Suppose -2*l - 2*y + 14 = 0, -6 = -5*l + 2*y + 1. Suppose -5 = -2*p - q, l*p + 15 = 7*p + q. Solve -3*a - k = -a + 5, p = -a - k for a.
0
Suppose -1 = -2*q + 9. Let l(j) = -5*j - 2. Let s be l(2). Let r = s - -23. Solve -i - r = -3*v, 15 = -2*v - 3*v - q*i for v.
2
Let u(b) = -b**2 + b**3 + 19 - 10*b + 9*b + 0*b**3. Let m be u(0). Let w be m/(2/(5 - 1)). Solve -3*p + 17 - w = -5*x, -4*x + 10 = p for p.
-2
Suppose -7*v + 24 = 5*a - 3*v, 2 = 2*v. Suppose 0 = -a*f + 17 + 23. Suppose 0 = -3*b - 1 + f. Solve 0 = -4*d + 4*z - 16, z + 12 = -0*d - b*d for d.
-4
Let l(t) = -7*t - 5. Let z be l(-2). Let h = -1 + 4. Solve -18 = -h*f - 3*q, 5*f - q = 3*f + z for f.
5
Let h(z) = -z**3 - z**2 + z + 1. Let b be h(0). Suppose b = -5*r + 16. Let l be (-1)/(-2)*(3 + 45). Solve 25 = -5*a, -r*m - a = -4*a - l for m.
3
Suppose -3*z + 4*t = 15, 1 = 3*z + 4*t - 8. Let a = z - -4. Let i(l) = -5*l**3 - 2*l**2 + 1. Let x be i(-1). Solve s = -3*y + x, -a*y + s + 1 = -13 for y.
3
Suppose -5*b + 6 = -3*b. Solve 6 = b*n - 3*d - 9, 4*d + 12 = 0 for n.
2
Let p(u) = u**3 - 13*u**2 - 12*u - 20. Let h be p(14). Solve -3*t + 12 = 4*v - h, t = -5*v + 14 for v.
2
Let p(s) = s - 1. Let w be p(5). Suppose -4*q = -0*q. Suppose 0 = -c + w - q. Solve -4*j - 8 = c*n, 3*n + 13 = -5*j - 1 for j.
-4
Let a be (3/(-4))/((-3)/12). Let i be (-5)/(-10)*(51 - a). Solve 3*c - 10 = -4*x, 2*c - 6*c + 4*x - i = 0 for c.
-2
Suppose 5*m - 1 - 4 = 0, 3*a - 5*m = 7. Solve j = -a*w - 16, 6*j + 20 = j for w.
-3
Let i(r) = 2*r**2 - 4*r + 2. Let b be i(2). Suppose 0 = -b*z + 7 - 3. Suppose -4*m = m - 10. Solve w - 2*a = z*a - m, 3*w - 7 = -a for w.
2
Let a be 4/20 + (-3)/15. Let r = a + 4. Solve 2*x - r = -5*d + 4*d, 8 = 4*x + 4*d for x.
2
Let n be -1 - -5 - (-5 - -3). Solve n = 4*o + 3*z, -o - 2 + 3 = z for o.
3
Let n be 2/((-9)/(180/(-8))). Solve 4*l = -k - n, 6 = k + 3*k + 3*l for k.
3
Suppose s = 3*v - 17, -3*s - v + 3*v = 16. Let l = -2 - s. Let i(n) = n**3 + 6*n**2 - 8*n - 2. Let q be i(-7). Solve -q*a + 3 = -x, -4*a - 2 + 6 = l for x.
2
Let f(n) = -n + 10. Let x be f(8). Solve 0 = -3*j + 12, -2*j = x*m + j - 12 for m.
0
Let u(m) = -2*m - 30. Let n be u(-15). Let i(v) = v**3 + 6*v**2 + 3*v + 2. Let r be i(-3). Let j = n + r. Solve j = -4*g + 2*w - 6*w, -5*g + w = 7 for g.
-2
Let f(c) = -2*c**3 - 2*c**2 + 2*c + 3. Let j be f(0). Solve -j*a - 13 = -w, 0*a + a - 5*w = -9 for a.
-4
Let v = -82 - -100. Solve d = -4*l - v, l + 0*d + 7 = d for l.
-5
Let a be 2/8 - 5/20. Solve t + a*t + z = -2, -2*t + 8 = -4*z for t.
0
Suppose -3*u + 25 + 56 = 0. Solve -2*t + 3*i + 2 = 6, 0 = 5*t + i + u for t.
-5
Let y(g) = -2*g - 2. Let i be y(-2). Let b = i + -5. Let t be (b/2)/(9/(-12)). Solve -s = 4, t*k + 2*k - 5*s = 12 for k.
-2
Suppose 2*u - 3*d - 2*d = 20, -4*u - 4 = d. Suppose -4*i = -i + 30. Let g = 15 + i. Solve -5*w - 20 = -u*c + 2*c, -g*c - 29 = 2*w for c.
-5
Let h be ((