y = -n - 3*i, 4*n = 3*i - 4 for n.
2
Suppose 5*y - 20 = 5*i, -3*y - 7 - 9 = 4*i. Solve -5*x - 3 = 3*k, x + 4*k + y = -4 for x.
0
Let h = 0 + 4. Suppose m = -2*b + 7 - 4, h*b - 3 = -m. Let r(k) = k**2 - 2*k. Let d be r(m). Solve -4*p + t - 8 = -t, d*t + 20 = -2*p for p.
-4
Suppose -6*z + 5*y = -3*z - 10, 5*z - 46 = y. Solve -5*a = 5*c - z - 0, 4*c - 5*a + 28 = 0 for c.
-2
Suppose 8*n = 5*d + 5*n - 8, -8 = -4*d + 2*n. Solve 2*k - 14 = -d*p, -2*k = -2*p - 0*p + 16 for p.
5
Let l be 2/(-4) + 11/2. Solve -l*g = 2*c + 19, g - 2*g - 13 = 5*c for c.
-2
Let x = 2 + 1. Let i be -2 + 7 + (1 - x). Let p be -12*(i - 0)/(-9). Solve p*j - 4*u - 14 = 26, 0 = -3*j + 2*u + 25 for j.
5
Let o = -107 - -109. Solve 3*p + 3*f = -24, p + o*f + 0*f + 11 = 0 for p.
-5
Suppose -5*s + 3*u = -32, -4*s + 4*u + 32 = -0*u. Let h be 4/8 + 6/s. Solve 0*p - 6 = -3*j + h*p, 5*j - 6 = 2*p for j.
0
Let d(v) = v**3 + 15*v**2 + 14*v + 2. Let a be d(-14). Let f(s) = -s**2 - 6*s - 1. Let x be f(-5). Solve -3 = -x*c - t - 23, 4*t + 10 = -a*c for c.
-5
Suppose 0 = -0*u + u - 2. Suppose j + u*j = 3. Solve -b - 2*b + 7 = -f, 4*f - 3*b = -j for f.
2
Suppose -5 = -g, -3*g + 2*g = -2*s + 31. Solve 4*d = 5*v - s + 40, -3*v - 3*d + 3 = 0 for v.
-2
Let c be (-2)/(2/(-1)*-1). Let n = 3 - c. Solve 0 = -3*s + 4*q - 19, -4*s + n*q - 24 = -4 for s.
-1
Suppose 2*j - 4*v = -2*v, -2*j - 12 = -5*v. Let z = -6 + 11. Suppose -a + z*a - 12 = 0. Solve 2*m = -i - 3*i + 4, -j*m + 8 = a*i for m.
2
Suppose 34 = -9*q + 11*q. Solve 7 = 3*a + 4*z, -a - 5*z + q = -0*z for a.
-3
Let l = -6 + 10. Suppose 0*b - t = -3*b + 11, 20 = -l*t. Suppose 6*f + 48 = 4*s + 2*f, -90 = -5*s - f. Solve b*r = -3*c - 9, -c - c = 5*r + s for r.
-3
Let s = -34 - -55. Suppose 0 = -4*u - 9 + 13. Let j(x) = 10*x. Let i be j(u). Solve s = w - 5*z, 3*w = z - i + 3 for w.
-4
Let m(t) = -t**2 - 7*t + 11. Let p be m(-8). Let h be 0/(-2) - (p + -5). Solve -2*i - 2*i = -l + 15, h*l + 22 = -5*i for i.
-4
Suppose -4*j + 4*b = -28, 4*b + 10 = -6. Suppose -35 = -5*k + 3*v + 15, -30 = -5*k - v. Let w = k - j. Solve 2*p - w = 0, 3*z - 5*p = -2*p + 6 for z.
4
Let y be (51/6)/((-2)/(-12)). Suppose 13 - y = -2*x. Let j = x + -6. Solve -1 = -n + c + c, 5*c = -n - j for n.
-3
Suppose 3*p + 24 = -p. Let h(b) = b**2 + 6*b + 2. Let r be h(p). Solve 3*n - 14 = r*o, -o = -2*n - n + 13 for o.
-1
Let p(m) = m**3 + 11*m**2 + 9*m - 6. Let h be p(-10). Solve s = -2*q - 3 + 5, 4*q - s = h for q.
1
Suppose 2*w + 6 = 4*s, -3*w - 3 = -3*s - 2*w. Solve -3*l + 2*v - 16 = s, 5*l + 0*l + 2*v = 0 for l.
-2
Let w = -154 - -159. Solve -w*x + 12 = -4*r - x, r = 5*x - 19 for r.
1
Suppose 4 = -s + 3*s. Let r be 9/s - 3/6. Solve -2*v - 6 = 0, -r*o - 2*v - 10 = -5*o for o.
4
Suppose -3*y - 15 = -6*y - 3*k, 25 = -4*y + 5*k. Solve -16 = -4*n, y = 4*u - 2*n - n for u.
3
Let t = -45 + 57. Suppose 4*y + 3*b - 9 = 0, -2*y + 4*b + 7 = -y. Solve -2*f = -d + t, 2*f - y*d + 11 = f for f.
-5
Let x(w) = -2*w + 3. Let h be x(6). Let q = h + 16. Solve 0 = 2*v + 5*o + q, o - 15 + 2 = -4*v for v.
4
Let c = 21 + -15. Let u(f) = -f**3 + 7*f**2 - f - 11. Let r be u(c). Solve 0 = -3*q + i - 7, 2*q + 3*i + r = q for q.
-4
Suppose -3 = -5*f + 22. Suppose c - 5*y = -20, -3*c = -0*c - f*y + 10. Solve -c*k = -5*b - 30, 2*b + 0*k = -3*k + 3 for b.
-3
Suppose 0 = 4*d - 6 + 30. Let h be (-3)/d + 82/4. Solve -b + h = 4*y, -y + 7*b - 4*b - 11 = 0 for y.
4
Let k(r) = r**2 + 6*r + 7. Suppose 0 = 5*l + 32 - 7. Let j be k(l). Suppose 5*q - 6 - 4 = 0. Solve -3*o - 10 = 2*a, 2*o = -4*a - q - j for o.
-4
Let y = -10 - -13. Solve -y*f + 4*b + 0*b = -4, -3*f + 2*b + 2 = 0 for f.
0
Let p = -11 + 7. Let f be (-2)/(-8) + (-15)/p. Solve -32 = -4*l + 5*c - 2*c, f*c = l - 21 for l.
5
Suppose 13 + 2 = -3*q. Let y = -3 - q. Solve 5 = 4*t + 5*s, 0 = 5*t + y*s - 4*s + 35 for t.
-5
Let p(a) = -a**3 + 5*a**2 - 2*a - 2. Let b be p(3). Solve 5*k + b = 5*g, 3*g - k = -4*k + 24 for g.
5
Let t = 1 + 0. Suppose 0 = 3*f + 12, -p - 2*f = 3*p - 72. Let n = t + p. Solve -3*g - 5*y - n = 0, -5*g + y = 2*y + 13 for g.
-2
Suppose 3*h - 77 = -o, 71 - 25 = 2*h - 2*o. Suppose -4*x + 58 + 30 = 0. Solve -3*s - x - 13 = -5*i, -5*i = -s - h for s.
-5
Suppose -5*q + 23 = 3. Let j = 2 - -4. Suppose -56 = 2*p - j*p. Solve n = -2*h + 11, 0*n + q*n = 2*h + p for h.
3
Let j be (-2)/(-4) + (-4)/(-32)*4. Solve -4*n + 9 = 2*r - j, -4 = 2*n - 2*r for n.
1
Let x(f) = 4*f + 2. Suppose 4 - 28 = -4*g. Let o be x(g). Suppose 0*i = -2*i + o. Solve 4 = p - 3*k, 4*p - 3 - i = k for p.
4
Suppose -5*x = -q - 22, -5*q - 4 = x - 8*q. Solve -3*z + 3*j = -3, 39 = 4*z + x*j + 8 for z.
4
Suppose o = -0*o. Suppose 0 = 4*c - 3*b - 2, o*c - c + 4 = b. Let a be 0*1/c - 0. Solve a = 7*x - 4*x + 2*l + 4, 12 = x + 4*l for x.
-4
Suppose 0 = 2*y + 2*y - 492. Suppose 5*m = 67 + y. Suppose 2 = 2*x - m. Solve -3*a = j - 3*j + 4, -5*a - 2*j + x = 0 for a.
2
Let y be -2*10*(-4)/16. Let w be 4*2/4 - -2. Solve k + w*c + 40 = 5*k, 5 = y*k + 4*c for k.
5
Suppose 2*b - 20 = -3*b. Let h = 9 - b. Solve -2*z + 2 = -0*z - 4*m, h*z - 5*m - 10 = 0 for z.
3
Let a(x) = -2*x - 6. Let g(l) = -l - 1. Let d(k) = a(k) - 3*g(k). Suppose 4*h - 7 - 5 = 0. Let p be d(h). Solve p*v + 12 = 4*v - 4*z, 3*v - 5*z = 7 for v.
4
Let j be 258/54 - (-1 + 14/18). Solve j = 2*r - 9*u + 4*u, -4*r = -4*u + 8 for r.
-5
Let n(s) = -s**2 + 7*s + 3. Let o = -12 + 26. Let a = o + -7. Let f be n(a). Solve 0 = f*b + 4*g + 9, -g = -3*b + 4 + 2 for b.
1
Let b = 2 - 1. Let l(k) = 2*k + 1. Let v be l(b). Solve 8*d - 3*d = v*w - 3, -4*w - 16 = 0 for d.
-3
Let t(k) = -2*k - 10. Let u(z) = -2*z + 9. Suppose -2*w = w - 24. Let s be u(w). Let a be t(s). Solve -5*q + 13 = 3*p, a*q = 2*p + 10 - 4 for p.
1
Let o be (-4)/6 + 56/12. Solve 5*l - 2*c + 2 = 0, -o*l - 20 = 2*c + c for l.
-2
Suppose 5*y - 10 = j, -5*j + 2*y = -0*j + 4. Solve t = j, 2*k + k + 5*t - 6 = 0 for k.
2
Suppose -15 = 5*c + 35. Let m be (-1)/(2/c*1). Suppose 0 = m*d - 25 - 0. Solve -d*t = -3*y - 14 - 0, 0 = -3*t + 3 for y.
-3
Let v be 3 + -1 + -1 + 1. Let j be (-24)/8*v/(-3). Suppose -2*c + 18 = x + x, 0 = j*c - 2*x - 38. Solve -3*n + n + 11 = 3*u, 2*u - 4*n = -c for u.
1
Let f = 562 + -522. Suppose -2*v = -3 - 1. Solve -4*x = -20, -5*b - 2*x - v*x = -f for b.
4
Let f(s) = -s - 11. Let k be f(-16). Solve 0 = 4*u - y + 5, -5*y + 3*y = -k*u - 7 for u.
-1
Let c(l) = l**3 + 5*l**2 - 7*l - 6. Let h be c(-6). Solve 3*b = -5*q + 8, h = 3*b + 4*q - 2 - 2 for b.
-4
Let b(g) = g**2 - 7*g - 6. Suppose 5 = -5*f, 3*m - 19 = -0*m - 5*f. Let k be b(m). Solve -k*i + v - 5 = -4*v, -2*v = -2 for i.
0
Let b = -8 - -12. Solve -4*f = -b*r, 2*r + 2*r - f + 6 = 0 for r.
-2
Let w = 38 - 35. Solve -c = 5, w*c = -0*x + 3*x - 30 for x.
5
Let y = -7 - -26. Let w = 26 - y. Solve 3*c = 4*i + 2*c - 11, -w = -2*i + c for i.
2
Let i be (0 - 4)*(-13)/4. Suppose 0 = 4*m - 5*m + 26. Suppose -3*k + 4*y + m = 0, 3*k - i = -2*y + 19. Solve -j - 4*p = 2*j + k, -5*j - 2*p = -2 for j.
2
Let x(p) = 6*p - 13. Let c be x(3). Solve -h = -2*j - j, -5*j = c*h - 20 for h.
3
Let z = -51 - -56. Solve -3 = v + o, v + z*o - 5 = -0*o for v.
-5
Let s be (-48)/(-21) - 6/21. Suppose s*x = -2*w - w + 13, -5*w = x - 24. Solve w*h = 4*j + 21, -8*h = -3*h - 5*j - 25 for h.
1
Let b be (8/(-10))/((-8)/140). Suppose m = 2*m - b. Solve 3*j = 4*r - 15 - 3, -j = -4*r + m for j.
-2
Let v(n) = -n + 5. Let y be v(5). Suppose y*l + 2*l - 8 = 0. Solve -l*t - f - 2*f = -7, 2*f - 2 = 0 for t.
1
Let b(s) = s - 3. Let j be b(3). Let n = -11 - -13. Let v = j + n. Solve 0 = 3*u - 7*l + v*l + 14, -5*u - l + 14 = 0 for u.
2
Suppose 2*o - 20 = -4*d, 2*o + 8 = 2*d - 2. Suppose 3*k + 3 = -o. Let a = 3 + k. Solve -3*j = -j - 5*g - 10, 5*j - a = g for j.
0
Suppose -3*q = -q - 8. Let z(b) = -4*b**2 - 5 + 15*b - 9*b + 3*b**2. Let i be z(q). Solve 0 = 2*n - 5*l - 11, 3*l + 0 = -i for n.
3
Let q be ((-2 - -3) + 1)/(-2). Let m = 8 + q. Suppose m = 4*b - 13. Solve -b*s = -4*c + 11, -4*c - s + 8 = -5*s for c.
-1
Let d(u) = -u**3 - u**2 - 2*u + 5. Let s be d(-3). Solve -2 = 2*x - 4*z, -4*x - 4*z = -z - s for x.
5
Let m be ((-3)/4)/((-3)/12). Suppose -m*b + 8 = -b. Let q = b + -2. Solve 4 = 4*x, -q*l + 0*x - 4*x + 6 = 0 for l.
1
Suppose d - 18 = 3*q, 4*q + 23 = d - 0*q. Solve 0*x - 9 = -d*n + 3*x, -3*n + 4*x = -14 for n.
-2
Suppose 3*l = -r + 6*l - 11, 4*r = 3*l - 