z*q - 8 = u for u.
2
Suppose 0 = 2*f - 5*f - 0*f. Solve -4*a = z - 1, -4*a = 2*z - f*a + 2 for z.
-3
Let d be 1*-5*(-8)/8. Solve -4*b + 2*o + 3*o = -2, b = -d*o + 13 for b.
3
Let l(h) = 7*h + 4. Let v(i) = 20*i + 11. Let f(s) = -17*l(s) + 6*v(s). Let d be f(6). Solve -6 = 2*k - u, -d*u + 2*u = 4*k + 12 for k.
-3
Let h(m) = -m**2 + 13*m + 8. Let f be h(12). Let l = f + -16. Solve 2*j - 3*x = -11, 3*j + l*x = j - 4 for j.
-4
Let t(w) = -62*w**2 + w + 1. Let u(c) = c**2 - c. Let i(x) = -t(x) + u(x). Let y be i(-1). Let k = -46 + y. Solve -k = -3*f - 3*z, -z - 2*z + 8 = -2*f for f.
2
Let n = -1 - -1. Let v = 1 - n. Suppose -5*h = -v - 19. Solve -t - h*o + 31 = 2*t, -4*o + 16 = 0 for t.
5
Suppose 4*f - 5*a = 20, 2*f - 5*a - 20 = -0*a. Suppose -4*i - 2 + 18 = f. Solve -i*p + 16 = 0, 4*w + 2*p = -2*p + 20 for w.
1
Let b(x) = 3 + 7 - 4*x + 3*x - 3. Let y be b(3). Solve 0*u = -z + 3*u, y*z + 2*u = 14 for z.
3
Let b be (7/(-28))/(3/(-60)). Solve 3*z + q = 6*z + 6, 2*z - q = -b for z.
-1
Let q(j) = -j**2 - 9*j - 9. Let s be q(-6). Let c = 5 + -2. Let l = 20 + -15. Solve -w + s = -l*p, -c*w = -3*p + 1 - 4 for p.
-2
Let u(s) = s**2 + 4*s - 3. Let w be u(-5). Solve -4*a - 6 - 24 = -w*k, 2*a + 2*k = 0 for a.
-5
Let j be 1/2*16/2. Let c be (j/(-10))/((-2)/20). Solve 4*f - c*x - 16 = 8*f, 3*f + 5*x = -14 for f.
-3
Let v(s) = -s - 4. Let h be v(-5). Let w = 5 + h. Suppose -3*f - 5*j = -2*j, -3*f + w = j. Solve g - f*l = -2*l - 5, 2*l = 4 for g.
-3
Suppose 6*z - 54 = -0*z. Solve -3*p - s = -z, -3*p - 6*s + 9 = -2*s for p.
3
Let p = -7 - -11. Let k be 18/4 - (-1)/(-2). Suppose -3*v + 37 = k. Solve -3*g + v = 4*w, -1 = 5*g - w - p for g.
1
Let r = 35 + -29. Solve -l = -3*f - 11, -2*f = r - 0 for l.
2
Let a = 7 - 7. Let n(y) = -y**3 - y**2 - y + 3. Let w be n(a). Solve 0 = -w*u - 3, 3*i - 5*u + 1 + 3 = 0 for i.
-3
Suppose -q - 2*q - 4 = 4*s, -14 = s + 4*q. Let h be (-3 + 15/10)/(9/(-30)). Solve -4*c - 2 = h*t, 3*c - s*c = t + 4 for t.
-2
Suppose 3*x + x = 8. Let m(a) = 2*a**2 - a**2 - 2 - 2*a + 0*a**x. Let c be m(6). Solve 2*p + 9 = 5*s - 24, -2*s + c = -3*p for s.
5
Let z = -7 - -10. Solve -3*p + 25 = 4*a, 0 = -p - z*a + 11 + 4 for p.
3
Suppose 7*m = 2*m + 10. Suppose 0 = -4*r - 5*n - 40, 2 = -5*r + 7*r - 3*n. Let l = r - -11. Solve -m*a - 3*x = 14, -3*a + 6*a - 3*x + l = 0 for a.
-4
Suppose z = 3*z - 26. Let i be (-1)/3 - z/(-3). Solve -1 - 1 = v - m, 2*m = -i*v - 8 for v.
-2
Let q = 7 - 1. Solve -3*a = -2*l - 10, -a - l + 25 = -q*l for a.
0
Let d(w) = 3*w**3 + 2*w**2 - 2*w. Let n be d(1). Solve -2*r = -3*j + n - 5, 3*r + 14 = -4*j for r.
-2
Let t be (-1)/(-2)*24/6. Solve 0 = 4*d + 3*x - 5, -5*d - 3*x + 8 = -t for d.
5
Let x = 19 - 6. Solve -4*c = -4*j + 16, 2*j = -3*c - 2*c - x for j.
1
Suppose 6*m = 3*m. Let i be (64/(-6))/(5/(-15)). Suppose 5*n = 48 + i. Solve 2*l + 12 - 2 = m, 0 = -d - 3*l - n for d.
-1
Suppose 3*i - 14 = -2*o, 4 + 31 = 5*o - 2*i. Solve -5*j + 5 = 2*n, -1 = o*n - 3*n - j for n.
0
Let o be (0 + 4 - 15)*-1. Solve 0 = 5*x - j + 10, -2*x - 4*j + 7 + o = 0 for x.
-1
Suppose 4*z + 2*y - 113 = 3*y, 3*z = y + 86. Suppose -5*m + z + 3 = 0. Solve b - 4*g = 17, 2*g = -3*b + b - m for b.
1
Let o = 10 - 8. Let y be 0/(o*2/4). Solve y*u = -2*u + 2, 2 = -q - 3*u for q.
-5
Let o(t) = 2*t + 2. Let x(z) = z + 2. Let p(s) = -5*o(s) + 4*x(s). Let a be p(-1). Solve i + 11 = -4*u, -4*i + 3*u = -9*i - a for i.
1
Let s be 10*8/20 + -3. Suppose -5*c - 25 = -4*m, -3*m + m = c + 5. Suppose m = -2*j - 3*j. Solve 3 = l + 3*t, 2*l + j + s = t for l.
0
Let i be ((-2)/(-2))/(7/77). Let x = i + -9. Solve x*s - 18 = 4*t, 2*s + 1 = s - 3*t for s.
5
Suppose 4*t - 6 = -2*i, -t = -5*t + 3*i + 1. Let m be (-1)/(t/2) + 24. Let p(k) = k + 18. Let x be p(-14). Solve 0 = -2*n + 4*j, 0*n + x*n + 3*j = -m for n.
-4
Suppose -2*b + 5*z - 15 = -4*b, -3*b + 2*z + 51 = 0. Let m = b - 10. Solve -4*p = -m*v + p - 15, 5*v - 1 = -3*p for v.
-1
Let y(v) = 5*v + 4*v**3 + 2*v**3 + 4 + 5*v**2 - 2*v - 5*v**3. Let d be y(-3). Solve -n - 1 = -4*z + 1, -3*z - 5*n = -d for z.
1
Suppose 0 = -4*q + 4 + 8. Let o be 4/(-2)*(1 + -2). Solve -q*j = -3*g + o*j - 12, -4*g + 3*j = 16 for g.
-4
Let p be 41/3 + 16/12. Solve -3*t - p = -u, 4*t + 5*u + 2 - 1 = 0 for t.
-4
Let x = -16 - -20. Solve 4*k - 16 = 4*j, -x*j = j - k + 24 for j.
-5
Suppose 2*s - 6 = 2*i, -s = -0*s. Let p(j) = -j**3 - 3*j**2 - 2*j + 4. Let g be p(i). Solve -3*h = 3, 5*h = -3*u + 4*u - g for u.
5
Suppose 0 = 4*d - 63 + 15. Suppose -3*y = y - d. Solve -y*g = -0*g + 4*s - 20, 5*g - 3*s = -15 for g.
0
Let a = 1 + -9. Let b(s) = s**2 + 2*s + 0*s**2 - 6 + 0*s + 4*s. Let m be b(a). Solve 0 = -3*j - 5*k - 3, j = -0*j + 2*k + m for j.
4
Let s(a) = -a**2 + 5*a. Let n be 5 + 2/4*-2. Let j be s(n). Solve -2*t + 12 = j*y, -2*t + 2 = -2*y + t for y.
2
Let t = 24 + -16. Solve -4*s - 2*i + 10 = 0, 2*i + t = 18 for s.
0
Let q(h) = 2 - 13 + 5*h**2 - 1 + 5*h - 4*h**2. Let z be q(-7). Solve z*d + d = -x + 4, -2*x = -2*d + 8 for x.
-2
Suppose 0 = 2*g + 3*d + 3, 1 = -4*g - 5*d - 2. Solve f - 7 = -o + g*f, 3*o - 4*f = 19 for o.
5
Let p be ((-5)/(-2))/((-7)/(-14)). Suppose 7*k = -h + 2*k + 40, 0 = 5*k - p. Solve -4*s + 28 = 2*o - 0*s, -h = -5*o - 3*s for o.
4
Suppose 0 = m - 3*b - 6 - 2, -5*b - 20 = -5*m. Suppose -m*z = 6, -w + 5*z + 108 = 30. Suppose 6*l - w = 3*l. Solve -4*k = -o + l, o - 3*k - 23 + 6 = 0 for o.
5
Let n(q) = -7*q - 1. Let o be n(-1). Solve -4 = -4*c - 2*m + 24, 2*c + o = 4*m for c.
5
Let p = -2 - -6. Solve p*j + 2 = 2*w, 0 = -3*j + w + 2*w for j.
-1
Let l = -78 + 40. Let i = l + 7. Let p = i + 43. Solve q = 3*h - 12, q - 2*q + p = 5*h for h.
3
Let p = -23 + 39. Solve 4*q - p = -2*z, 5*z + 3 + 12 = q for q.
5
Let j(r) = 2*r**2 - 20*r - 17. Let i be j(11). Solve 4*b + 21 = i*t, 0*b = 5*b - 3*t + 10 for b.
1
Let g = -4 + 4. Suppose 0 = -13*b + 17*b - 4. Let r be 1/((-2)/(-6))*1. Solve r*x = -4*j + 8*j - b, 2*j + x + 7 = g for j.
-2
Let h = 15 + -25. Let o be (-2)/5 + (-44)/h. Suppose -o*d - d + 25 = 0. Solve -3*p = d*y - 20, 3*y = 5*p + 2*y - 24 for p.
5
Let g = -10 - -6. Let l be ((-4)/7)/(g/14). Suppose 3*s - 4*j - 7 - 9 = 0, 0 = -s + 5*j + 20. Solve s = 4*h - 5*u - 3 - l, 5*u + 5 = -h for h.
0
Suppose -6 - 4 = -5*l. Solve y + 0*y - 10 = -3*t, -4*y + 12 = -l*t for y.
4
Suppose x + 0*x = 9. Suppose 0 = -b - 2*b - x. Let t = -3 - b. Solve 5*l + z - 6*z - 30 = t, 0 = -4*l + 3*z + 22 for l.
4
Let x be (5 - 4) + 1*-7. Let u be (-22)/(-4) - 3/x. Solve -u + 18 = 3*r + f, 5*r + f - 20 = 0 for r.
4
Suppose 0 = -z - 2*f, 6 = 5*z + 2*f + 22. Let o = z + 9. Solve -o*a + 5*i - i = -45, 0 = -4*a - i + 15 for a.
5
Suppose -2*h = 19 - 19. Solve 10 = 2*f + 4*k, -4*f + h*f - k - 1 = 0 for f.
-1
Let t be 2 - 4*(-6)/24. Let q(a) = -a**2 + a + 1. Let r be q(0). Suppose -6 + r = 5*c - v, -2*v + 10 = 4*c. Solve -h + 5*p - p - 2 = 0, t*h + 3*p + 6 = c for h.
-2
Suppose -y = y. Let o = -7 + 5. Let a be (-3 + o)/(y + -1). Solve -4*d - 6 = -2*l - 0*d, -10 = -5*l + a*d for l.
1
Suppose 7 = 3*l - 3*z - 2, 3*l + 4*z - 37 = 0. Suppose -4*n - q + 9 = 0, 0 = -2*n + 3*q - 6*q + l. Solve w + 10 = 4*x + n, 0 = -4*x + 8 for w.
0
Let g(w) = w**3 - 8*w**2 - 8*w - 4. Let j be g(9). Solve -m = j*q + 17, q + m + 8 = -q for q.
-3
Let v be (-34)/(-8) - (-2)/(-8). Suppose -4*a + 19 = j, -5*a + 4*a + 10 = j. Solve -x + y - j = 2*x, -v = -y for x.
-1
Suppose -6*u + 5*u = 0. Solve -3*r + n = r - 8, u = -3*r + 2*n + 1 for r.
3
Suppose -28 = 4*s - 212. Let q = -52 - -55. Suppose -18 = -2*h - q*o, 3*h + 14 = -2*o + s. Solve -5*a = 0, -n - 3*n = -5*a + h for n.
-3
Suppose 3*n - 5 = -f, 3 = 2*n - 3*f - 4. Solve 3*z + n*u - 7 = 3, 3*u - 9 = -3*z for z.
4
Suppose d = -4*d + 65. Let a = d - 18. Let u be (-2)/(12/a + 2). Solve -y + v + v = u, -2*y = -2*v for y.
5
Suppose -4*x + 2*x - 2 = 0. Let t be x/4 - (-84)/16. Let h(a) = -a + 7. Let d be h(t). Solve -2*j = -s - 0*j - 6, -d*j + 18 = 5*s for s.
2
Let i(o) = o**2 + 1. Let d be i(2). Let w be 1/(-5) + 44/20. Suppose -d*m = -w*m - 30. Solve k + 3*z = -11, 3*k - 2*z = -m - 1 for k.
-5
Suppose 5*f - 3*f - 14 = 0. Solve -2*o - f = 2*r + 3, 0 = 5*r + 25 for o.
0
Let c(h) = -h**2 - 22*h + 28. Let i be c(-23). Solve 5*v - i*y + 45 = -0, -3*y = -5*v - 37 for v.
-5
Let d be (-221)/(-104) + (-2)/16. Solve 4*b + 8 = -2*j - 3*j, d*b + 4 = -j for j.
0
Let w be (-