-2*i + 10 for i.
5
Suppose -4 = -5*g - 4*l, 4*g + 4*l - l = 4. Solve g*b + 17 = -2*f + f, -4*b - 5*f = 5 for b.
-5
Suppose 3*y = -5*m + 24, 5*m = 5*y - 0*y. Let f = m - -1. Solve f*g + 0*i - 16 = 4*i, -3*i = 3*g for g.
2
Let v be 2 - -18 - -2 - 4. Suppose 0 = 5*d - 25, 0*z + 18 = z + 3*d. Solve -j - v = 4*p - z, -15 = 2*j + 3*p for j.
-3
Suppose -5*f = 2 - 22. Let m = 2 - -2. Suppose t - 2 + m = l, -3*l = -4*t - 6. Solve -5*h + f = -2*v, -h = l*v - 1 - 7 for h.
2
Suppose 0 = 3*s - 0*h + 5*h + 5, -3*s = -3*h - 27. Let k(x) = -x**3 + 4*x**2 + 5. Let t be k(4). Solve a - s = -n, 1 + 2 = -t*a + 2*n for a.
1
Let m = -5 - -9. Suppose 4*q - m*r = -5*r + 42, 4*q - 34 = -5*r. Solve 4 = 3*c - 4*f - 1, 5*c + 3*f + q = 0 for c.
-1
Let y = 14 + -9. Suppose 4*m + o + o - 10 = 0, 5*m - 4*o - 32 = 0. Suppose 4*h - m = 16. Solve 3*w = 4*a + 5, -h*w - a = -21 + y for w.
3
Let x = -10 - -14. Suppose 3 = -2*a - a - 4*r, 0 = -5*r. Let k be (-1)/((-1)/(a + 4)). Solve -x = 4*i + 12, -7 = n + k*i for n.
5
Suppose -11 = 3*d - 26. Solve -2 = t - 0, 0 = -f + 2*t + d for f.
1
Let s(p) = -p**3 - 5*p**2 + 8*p + 17. Let t be s(-6). Solve t*n - 2*m = 8 + 6, 3*m = 4*n - 7 for n.
4
Let v = 18 - 11. Suppose -5*m + v = -3. Let z be (2 - m)/(2*1). Solve z*c + 3*c = 3*w, -3*w = -4*c - 5 for w.
-5
Let y(z) = -4*z - 1. Let i be y(1). Let f(k) = k**3 + 7*k**2 + 6*k - 2. Let l be f(i). Let a = -5 + 8. Solve 3*w = -a*q - l, 4*w + 5*q - 4*q = -18 for w.
-4
Let b be 3/5*(-25)/(-5). Suppose 8*w + b = 11*w. Let s be 0/(-1)*1/2. Solve -2*k = 3*l - w + 3, s = -l - k for l.
-2
Suppose 0 = 13*b - 89 - 15. Suppose 4*q = 3 + 17. Solve -i - 4*g + 16 = 0, 5*i + b*g = q*g + 29 for i.
4
Suppose -2*a = 6 - 22. Let x = a + -5. Suppose -x*m = -0*m - 27. Solve 3*r - g + 11 = -0*g, -5*g = r + m for r.
-4
Let p = 46 + -36. Solve 2*q + 15 = 5*c, -4*q - 3*c + p = 1 for q.
0
Let x = 2 - -1. Let q(m) = 3*m - 4. Let g be q(x). Let b(w) = -w + 9. Let i be b(g). Solve -4*o = 5*v - 3 + i, -5*v = -o - 19 for v.
3
Let o be 7 - -2*1/2. Suppose -5*y = -l - o, y - 3*y - 5*l = -14. Solve v - 5*v - y*j = -14, -v + j = -2 for v.
3
Let i = 11 - 7. Solve -2*q - i = -2*b, 5*b + 2*q + 2 = -2 for b.
0
Suppose 135 = 3*o - 8*o. Let b be 145/45 + 6/o. Let i = -1 + 1. Solve 4*f = -v - b, -v - 2*f - 2 - 1 = i for v.
-3
Let w be -1 + (-2)/(-2) + 2. Suppose -4*x = 2*n + 6, w*x + 0*x - 3 = -3*n. Solve -2*t = -0*z + z + 4, n*t + 13 = 2*z for z.
2
Let r(n) = -n + 3. Let g be r(0). Suppose -25 = -8*k + g*k. Let m be (19/76)/((-1)/(-12)). Solve -m*d + 3 - 16 = 2*v, -k = v + d for v.
-2
Let h(g) = g**3 + 19*g**2 + 8. Let y be h(-19). Solve 2*b - y = 3*m + 3, -4*m - 26 = 3*b for b.
-2
Let b(h) = -17*h + 1. Let p be b(1). Let l be ((-36)/p)/(9/(-24)). Let k = 10 + l. Solve 3*g + 5*w = w - 12, -3*w + 16 = -k*g for g.
-4
Let z be -4 + -8*(-1)/1. Let x = -1 - -2. Let f be (6*4/6)/x. Solve 0*r = -2*p - r - 7, -f*p - z*r = 12 for p.
-4
Suppose -4*x - 5*l + 22 = 0, 0*x = 3*x + 5*l - 19. Solve 4*j + 2*g = 0, 2*j + x*g = -0*j for j.
0
Let q be ((-3)/2)/((-7)/14). Suppose -7 = -p - q*m - 1, -3*p - 3*m + 30 = 0. Solve 3*u + 3*w + 2 = u, 3*u - p = 3*w for u.
2
Let f = 8 + 17. Suppose 0 = 5*k + 2*n - 14 - 72, 0 = -k - 3*n + f. Solve -8*d - 6 = -3*d + i, 2*d = 3*i - k for d.
-2
Suppose 2*v = -2*v + 16. Suppose -19 = -v*k + 61. Let x(m) = m**3 - 4*m**2 - 4*m - 1. Let u be x(5). Solve -u*t - 5*o = -3*o - 6, k = 4*o for t.
-1
Let h = 147 + -145. Solve -20 = 4*f, -4*g + h*g + 19 = -5*f for g.
-3
Suppose 6 = -0*d + 2*d. Suppose -30 = -37*a + 22*a. Suppose 2*v = v + 8. Solve 19 = d*m - a*h + 4*h, -v = -m - h for m.
3
Suppose p + 2*c = c - 4, c + 4 = -5*p. Suppose p*x = x. Let z = 6 + -1. Solve z*f + 14 = -3*s - x*s, -s + 4*f + 1 = 0 for s.
-3
Let a be (-114)/(-9) - (-4)/(-6). Let u be (-3)/a + 9/4. Solve z - u*z - 9 = -5*o, 0 = -3*o + z + 7 for o.
1
Let b = 16 + -14. Suppose -4*l - q = b - 6, -2*q = l + 6. Solve -l*n + 4*s - 15 + 5 = 0, 2*n + 5*s = -10 for n.
-5
Let p(i) = -i - 7. Let l be p(-12). Suppose l*o - 5*n - 3 = 42, 4*o + 5*n + 9 = 0. Solve 0 = -3*s + v + 7, 2*s - o*v - 14 = -3*s for s.
2
Let v = 20 + -17. Solve -y - 5*n + 13 = 0, 0*n - 3*n = -3*y + v for y.
3
Let v = 5 + -6. Let i be 0 + 5 - (v - 1). Suppose 3*s = i*s - 24. Solve s*n - 2*n - 13 = 5*t, 0 = n - 3*t - 5 for n.
2
Let i(v) = -10*v**3 - v**2. Let z(y) = -y**3 + y - 1. Let t(n) = -i(n) + z(n). Let b be t(1). Solve b = 4*d - 5*p, 6 - 2 = -d - 2*p for d.
0
Let i be -5*21/(-35) - (-1 - -1). Solve l + i*m = 3*l + 18, 3*l + 25 = 4*m for l.
-3
Let b = -20 + 12. Let o be (-1)/(2 + 14/b). Let h be 4/2*(-2)/o. Solve 4*c = -2*i - 3*i + h, i = -2*c + 5 for i.
-3
Let p = -112 - -114. Solve 13 = 5*g - 4*f, 2*g + 0*f - 4 = p*f for g.
5
Suppose 2*m - 3*b - 102 = b, -3*b = 4*m - 237. Let z = 97 - m. Solve -4*g + 2*w - z = -3*w, 0 = 4*g + 5*w for g.
-5
Suppose 100 = 4*z - 0*z. Suppose -6*d + z = -d - 4*c, -c = d - 5. Solve 2*n + 3*b = -11, -3*n + d*b - 11 = n for n.
-4
Let y be (32/12)/((-2)/(-3)). Solve -2*c + 3*m = y, 5*c = 5*m - 3*m + 1 for c.
1
Let w = 9 - -4. Suppose 0 = 5*k - 7 - w. Solve 3*a - 20 = k*z, 0*a - 14 = z - 3*a for z.
-2
Suppose 3*o = y - 2*o + 23, 3*y - 5*o = -19. Let i(u) = 2*u**2 + u. Let k be i(2). Solve -p + 0*c + 4*c = -12, y*p - c = k for p.
4
Let j be (-3)/(-1) - (2 - -1). Let h be -2 + 6 - (j - 0). Solve 3*k + 14 = -4*z, 3*k - 10 = -h for z.
-5
Let k = -30 - -32. Let p be (-26)/1*2/(-4). Suppose -5*m + 2*y + 23 = 0, m - 3*y - p - 2 = 0. Solve 3*f + 5*u - 4 = 0, 0*f - m*f = -k*u + 10 for f.
-2
Suppose a + 315 = -4*c, -a = -3*c - 2*a - 235. Let n = c + 112. Suppose b = 3*b - n. Solve -p = 5*i - b, -2*i + p + 14 = 3*i for i.
3
Let w = 52 + 14. Let y be (-3)/(-1) + 2 + -2. Suppose 5*j + 5*v + 21 = w, -32 = -y*j - 2*v. Solve 0 = -3*h - 5*x + 22, 3*h + 2*x - j = x for h.
4
Let b(o) = o**2 - 7*o - 2. Let i be b(7). Let s = i + 7. Solve -2*z - 5*h - 21 = 0, -2*z - 24 = z + s*h for z.
-3
Let v(p) = 4*p**2 + 6*p**2 - p**2 + 0 - 1. Let w be v(-1). Suppose 7 = 5*a - w. Solve 0 = -2*g - g + a*d, 4*g = 5*d for g.
0
Suppose 2*f - 3 - 9 = 2*u, 0 = 5*u + 20. Suppose -m + 4*w = w + 10, 3*w = 5*m + f. Solve 4*y - m*h = 10, -5*y - 3*h + 25 - 7 = 0 for y.
3
Let c(n) = -n**3 + n**2 - n + 37. Let a be c(0). Solve -5*m + 5*l = -7 + a, 5*l - 22 = 3*m for m.
-4
Let z = -13 + 8. Let n = z - -11. Suppose n*b = 3*b + 15. Solve 9 = -2*r + b*g - 6, 3*r = -3*g - 12 for r.
-5
Suppose 3*h = 3*i + 5*h + 15, -i + 4*h + 9 = 0. Let t = 0 - i. Solve -t*p = 2*c + 25, -4*c = -p + 3*p + 30 for c.
-5
Let o(h) = -h**3 - 6*h**2 - h - 4. Let m(i) = -3*i + 6. Let g be m(4). Let z be o(g). Solve 4*l + 0 = 5*x + 12, 4*l = -z*x - 16 for l.
-2
Let i(n) = -3*n**2 - 23*n + 9. Let t be i(-8). Solve 14 = -2*l - 4*q + 2*q, l - q - t = 0 for l.
-3
Let p(k) = 2*k + 3*k - 4*k - 1. Let d be p(9). Solve -2*m - d = -3*q, 0*q - 2 = -q for m.
-1
Let c be (4/(-10))/((-2)/60). Let r(h) = 2*h**2 + 4*h - 12. Let n be r(-5). Solve 2*s - 8*l + 3*l - n = 0, c = 2*s - 2*l for s.
4
Suppose 5*f = 11 + 14. Solve -3*u + 3*v = -0*v + 21, -f*v = 2*u - 7 for u.
-4
Suppose 3*r + r = 36. Solve 0*z = -2*i - 3*z + r, 1 = i - 2*z for i.
3
Let a = -4 + 7. Suppose -3*h - c = -14, -a*h + 4*c - 4 + 23 = 0. Suppose -2*m - 1 = -h. Solve -2*y + m*w - 5*w + 2 = 0, 2 = -3*y - 2*w for y.
-2
Suppose -c + 1 = -5*l - 2*c, 3*l + 2*c + 2 = 0. Suppose 2*r + 2*r - 16 = -3*q, 5*r = -3*q + 20. Solve l = -n - 0*n - 1, -r*f + n - 15 = 0 for f.
-4
Let r be (2 + -1 + -2)*-4. Suppose 0 = r*t + 3*c - 15, 6*c - 12 = -3*t + 3*c. Let j be (t - 0)/(2 + -1). Solve j*s + 2*v + 14 = s, 0 = 4*v + 12 for s.
-4
Let j = -20 - -11. Let x be (12/j)/((-2)/3). Suppose 0 = -x*k + 5 + 3. Solve 0 = -7*n + 4*n - 2*w - 3, 1 = -n + k*w for n.
-1
Suppose 4*a - 11 = 3*d, 2*a - 29 = -3*d - 2*a. Solve -26 = -d*g - 5*o, -g - 4*g - o = -14 for g.
2
Let d(x) = 0 + 6*x**2 + 3*x**3 - x + 1 - 6*x**2. Let u be d(1). Solve 4*r + 9 = -3*y, r - u*r - y = 3 for r.
0
Let h = 3 - 1. Suppose 0*w = h*w - 4. Solve g - 4 = -3*x, -5*g - 2 = w*x + 4 for g.
-2
Suppose -m + 3*u = 0, 2*m - 1 = m + 2*u. Solve q - 4*s = -m*q + 28, 2*q = 3*s + 16 for q.
5
Let i = 2 + -1. Let h be 4/3*3/2. Suppose 0 = 3*t - 2*t - 5. Solve 2*z + t*k = -6, z + i + h = -2*k for z.
-3
Suppose -10 = -3*u + 5, -2*n = 4*u - 30. Solve 0 = -n*z, 0 = -0*a + 