 c = 1 for i.
1
Suppose 0*o = 4*o - 8. Solve o*c - k - 4 = 1, -3*c - k - 5 = 0 for c.
0
Let o be ((-2)/6)/((-5)/30). Suppose 4*j - 8 = 5*b + 7, 0 = o*j. Let q be b - (-26 - 0) - -1. Solve q = -4*w + 5*v, 7 - 24 = w - 4*v for w.
-1
Suppose -4*c = 3*k - 52, -3*c + 3*k = 4*k - 34. Solve -5*h + c = -g, 3*g + 3*h = -2*g + 34 for g.
5
Suppose 5*c + 0*o = o - 3, -5*c - 5*o = -15. Let b = -4 - -3. Let x be (-1)/(-2 + b)*15. Solve x*m = 5*i + 5, -2*i - 4*m + c + 4 = 0 for i.
0
Let n = -13 - -10. Let k = -9 - -15. Let u = k + n. Solve 2*f + 2*j = u + 13, 5 = -5*f + 4*j for f.
3
Let a = 31 - 14. Solve 2*i = m - 3*i - 15, -a = m + 3*i for m.
-5
Suppose -4*o + 0*o + 12 = 0. Suppose 21 = l + 4*s + 2, 3*l + 5*s - 22 = 0. Let h = o - l. Solve 0 = -h*y, 4*m - 3*y + 2 = 10 for m.
2
Suppose 5*q = -2*h - 0 + 6, 0 = -4*h + 4*q + 12. Solve -5*z - h*s + 11 = -11, 0 = z + 5*s for z.
5
Suppose 4*o = -z + 4, 1 = -2*z - 2*o + 3. Let m be -4 + 33/6 + (-12)/(-8). Solve 0 = k - z*k, -2*s + 6 = m*k for s.
3
Let k(b) = b**3 + 4*b - 7. Let g be k(3). Solve -3*l = -5*u - g, 0 = 3*u - u + 4*l - 8 for u.
-4
Suppose 2*p - 16 = -4*r, -4*p + 0 = -r - 5. Suppose -7 = -2*d + 1. Solve 5 = 4*f - 3*t + d, -4*f + p*t = 2 for f.
-2
Let k(m) = 10*m**2 - m + 1. Let r be k(1). Let p = r - 6. Solve -4*w - 29 = 2*v - 9, -p*v + 5*w = -12 for v.
-2
Suppose -i = -4*i - 15. Let p = 7 + i. Solve -5*o + 6*r + 24 = p*r, 4*o - 17 = r for o.
4
Suppose -12*v + 5*v + 21 = 0. Solve 4*p - 5 = 2*m + 23, 0 = v*m + 12 for p.
5
Let h(p) = -2*p - 5. Let x be h(-4). Suppose -5*y + x*y + 26 = 0. Solve 0 = 2*d + 5*a + 11, 4*a + y = -d + 3 for d.
2
Let a = -36 + 39. Solve -7 = 3*s + 3*c - 22, 3*s - a*c = 15 for s.
5
Suppose 7 = -34*u + 35*u. Suppose -k + 2*k = -3. Let m = k + 6. Solve -2*w + w = -4*s - u, -w = m*s for s.
-1
Suppose p = -2*z + 6, -3*p + 2*p = 3*z - 8. Suppose -p*r + 7 + 1 = 0. Let j = 7 + -5. Solve 10 = -4*t + 2*w, 7 = r*t - 7*t + j*w for t.
-3
Let i be (-8 - -9)*(7 + -2). Suppose 0 = -g - 4*p + 10 + i, p - 3 = 0. Suppose 2*n - 13 + 3 = 0. Solve -2*u + n = -u + 2*t, 5*u - g*t = -27 for u.
-3
Let o be (-3)/(-1)*4/3. Suppose i = 6*i. Suppose -3*b = -i*b - 9. Solve -4*q + 16 = -3*g, o*g + b = 3*g - q for g.
-4
Let r = 14 + -11. Solve -6*w + 14 = d - r*w, -5*d = -3*w + 20 for d.
-1
Suppose -20 = -4*r + 5*k, -2*k - 6 = -2*r + 4. Suppose -r*n + n = 0. Suppose n = 2*d + 3*d - 30. Solve 0 = h + s, d = h - 2*h + 5*s for h.
-1
Suppose 3*y = 22 - 7. Let a be 3/12 - 78/(-8). Let g be 2/(-2 - (-24)/a). Solve 0 = -2*r, b = -4*b + g*r - y for b.
-1
Let w(z) = -z**2 - 6*z + 6. Let v be w(-6). Solve -13 = -3*x + 4*m, x - 3*m = 4*x - v for x.
3
Let c(x) = x**2 - x - 4. Let j be c(3). Solve 0 = -4*m - 4*g, -j*g + 16 = -3*m - g for m.
-4
Suppose -12 = -7*l + 2. Let n be 10/3 + 4/6. Solve i + 5*h = n*i + 16, 0 = l*i - 3*h + 10 for i.
-2
Let g be 13 - (1 - (-2 - 0)). Let k be (-6)/g*(-8 - -3). Solve 0 = 2*v, 0*x = 4*x - k*v - 20 for x.
5
Let y be (-9 - -5)/((-8)/6). Solve 0*k = -k + 2*m, y*k = 4*m for k.
0
Let d = 16 - 10. Suppose d*h - h = 5*b + 35, 4 = -2*b. Let f = 101 + -71. Solve 2*o = -6, h*o - 7 = -4*p - f for p.
-2
Let u be 27/18*(-164)/(-6). Suppose 5*b - 113 = -3*k, 3*k = -2*b + 6*k + u. Solve 4*l = 5*n + 7 + 16, 4*n - 5*l = -b for n.
-3
Suppose 0 = 2*n - 4 - 6. Solve n*r - 5*o + 1 = -4, 2*o + 2 = 4*r for r.
2
Let k = 116 - 113. Let m(p) = 7*p. Let w be m(1). Solve 4*z + w = -k*h, -h - 4*z = 4*h + 9 for h.
-1
Let r = 17 - 13. Solve -n - 4 = -0*n - 3*j, r*n = 4*j - 8 for n.
-1
Let v be (-3 - (-1 - 2)) + 2. Suppose 0 = -3*c + 12, -f - f + 16 = 3*c. Solve -v*x + 25 = -5*u + f*x, -x = -5 for u.
-1
Let q be 19/2 + 1/2. Let r be (-5)/q - 5/(-2). Solve -2*c - 10 = -c - o, c + r*o = 5 for c.
-5
Suppose 0 = 5*k + 15, -2*g + 7*g - 2*k - 11 = 0. Let o be (3 - (1 + g)) + -1. Solve 2*v + 3*v + 9 = -p, o = -4*v + p for v.
-1
Let o = -44 + 47. Solve 0 = 2*s - 0*a + o*a - 1, 0 = -5*s - 2*a + 19 for s.
5
Let c(f) = -2*f**3 - f**2 + 2*f - 3. Let h be c(-2). Solve 5*t + 6*u = 2*u, 5*t - 5 = -h*u for t.
-4
Suppose 4*p = 2*c - 24, 3*c + p + p + 4 = 0. Solve -c*n = 4*o + 4, -12 - 10 = 2*o - 4*n for o.
-3
Let f = 11 - 6. Suppose -f*v - 120 = 2*t - 7*t, 131 = 4*t + 3*v. Solve 2 = -2*u + 3*b, 5*u + 5*b - t = -9 for u.
2
Let r = 3 + 3. Let u be 1/2*(-6 + r). Solve 0 = -4*k + 2*z - u*z + 18, -4*k + z = -19 for k.
5
Suppose 5*y - 35 - 10 = -5*b, 2*y - 2 = 2*b. Suppose -14 = -b*s + 2. Solve -s*o - 25 = -q, o + 4*o + q = -20 for o.
-5
Let l be 1 - (-1 - 0/2). Suppose -3*f + 5 = -5*v, -l*v + 0*v = -3*f + 2. Let y be (3/2)/((-2)/(-12)). Solve m + 2 - y = x, f = -3*x + m - 13 for x.
-3
Let q(w) = -w - 12. Let o be q(-10). Let k be 1 + (o - 1)/(-3). Solve -2*x = -2*u + k, u + 1 = 5*x - 10 for u.
4
Let m be 2 + 0/(-3) + 2. Solve 4*i + 0 + m = -4*w, w = 2*i - 10 for w.
-4
Suppose 3*j = 5 + 10. Solve -2*q + 2*t + 8 = -q, j*t - 6 = -4*q for q.
4
Let s = -5 + 8. Suppose -5*i = -5*f - 25, -5*i - 25 = 3*f - 10. Let p = 7 + i. Solve -u + b = s*u - p, 2*b = -6 for u.
1
Let a(u) = -u**3 - 5*u**2 + 4*u - 7. Let t = -52 - -4. Let s be ((-1)/(-2))/(4/t). Let v be a(s). Solve -2*n = 5*h + 3, -n - h + 5*h = -v for n.
1
Suppose 2*n + 5*c - 25 = -0*n, 0 = -4*n + 3*c + 37. Suppose -4*q + 53 = -11. Let y = q + -12. Solve 6*v + n = 4*v + 3*s, -5*s = -y*v - 18 for v.
-2
Let f = 17 + -5. Suppose -2*z + f = 2*z. Let s be (z/(-4))/((-4)/16). Solve -5*o - 2*j = 24, s*j + 10 = -0*o - o for o.
-4
Let n be (-3 + (-9)/(-2))*2. Solve 0*l - 5*l - p = 6, 2*l - 5*p - n = 0 for l.
-1
Let g be (-23)/(-7) - 2/7. Let h(b) = b + 2*b + g + b. Let a be h(5). Solve -r - 8 = -4*k, -2*r - 3*r = k - a for k.
3
Let b be -3*(4 + 64/(-12)). Let a(k) = -k - 1. Let m be a(2). Let r(v) = -v. Let h be r(m). Solve h = b*l + i, -i = -3*l - 5*i + 12 for l.
0
Let x(s) = s. Let k(y) = 6*y + 2. Let i(p) = -k(p) + 3*x(p). Let o be i(-4). Suppose -10 = -v + o. Solve -5*z = -3*c + 15, 7*c - 3*c = -3*z + v for c.
5
Suppose -2*u + 0*u + 19 = 5*w, 0 = -2*u - 4*w + 16. Let v = u - 0. Solve -4*s + 3*j + 17 = 0, -5*s + v*j + 2*j = -22 for s.
2
Let m be -1*(-1 + -6 + 0). Let s(c) = -c**3 + 7*c**2 - c + 9. Let u be s(m). Let i = u + 1. Solve d = -3*v - v - 8, 0 = -v + i*d + 11 for v.
-1
Suppose -4*i + 6 = 2*r, 0 = -i + r - 3*r. Solve 2*a + 10 = -i*d, 8*d - a = 5*d - 3 for d.
-2
Suppose 0*p - 3 = -p. Suppose -3*s + 18 = -p*g, -2*s + 1 = -3*g - 12. Let r be (7/2 + g)*2. Solve 2*f - 18 = -5*h, 4*h + r*f - 3 - 8 = 0 for h.
4
Let n = 9 + -6. Suppose 0 = -x - 3 + 15. Suppose 0 = -3*w - a - 0*a + x, -a = 2*w - 7. Solve -m + 6*z = z, n*m + 20 = -w*z for m.
-5
Let k(p) = p**2 + 3. Let n be 0/(3*4/6). Let h be k(n). Solve 5*m + 15 = 0, 5*f - f = -h*m - 29 for f.
-5
Let b = 70 + -66. Solve -4*i - 7 - 5 = o, -3*i - 22 = b*o for i.
-2
Let u be 2/28*158 + 4/(-14). Solve -4*c - 3 = o, -u = 2*c - 5*o + 18 for c.
-2
Suppose 5*o - 4 - 1 = 0. Let w(u) = 7*u + 1. Let v be w(o). Suppose 3*s - 4*i = -v, -6*s - 7 = -4*s - 3*i. Solve -10 = -5*c, 0 = 3*m + s*c - 3 + 10 for m.
-5
Suppose 3*q - 20 = -q. Let p = -2 + q. Solve -3 = -3*c - 2*a, 7*c - 3 = 3*c - p*a for c.
3
Let w be ((37/(-3))/(-1))/(22/66). Solve -6*a - w = -5*p - 2*a, -4*a - 7 = p for p.
5
Let q(l) = 23*l**3 + l**2 - l. Suppose 0 = -0*s - 5*s + 5. Let v be q(s). Solve -2*x + 10 = 0, x + 3*x - v = -3*h for h.
1
Suppose 0 = -4*s + 2*s + 6. Suppose -s*c + 36 = 12. Suppose 3*f = -f + c. Solve -f*p + 4*t = -4, 2*t = -5*p - t + 10 for p.
2
Let p(s) = -2*s + 28. Let y be p(13). Let a be 2/4 + (-9)/2. Let j = 6 + a. Solve -3*i = x + j, y*x + 8 = -4*i + 2*i for x.
-5
Let t = 12 + -19. Let g be 0 + t/((-21)/36). Let w = -8 + g. Solve c - 12 = -w*m + 11, 0 = 4*m - c - 17 for m.
5
Suppose -3*s + 18 = 2*l, 0 = 2*s + 5*l - 29 + 6. Solve -4*d + 2*i + s = i, -2*d = -2*i - 2 for d.
1
Suppose 0 = -34*k + 26*k. Solve -5*q + 2*z - 16 = 0, 2*q + z + 1 = -k for q.
-2
Let y(p) = 2*p - 9. Let r be y(15). Let v = r + -21. Solve v = -j - 3*n + 20, -3*n = -j - 0*j - 10 for j.
5
Let d = -1 - 2. Let l = d + 5. Solve -l*w - 2 + 0 = -2*y, 4*y = w + 10 for w.
2
Let s = 11 + -8. Let l = 0 + s. Solve -v - 2 = -l*t + 3, 2*t = -5*v + 26 for v.
4
Let x = -3 + 9. Solve -4 = -5*u + a, -x*u + a = -2*u - 3 for u.
1
Suppose q + 4 - 2 = 0. Let m be 4 + q - (1 - -1). Solve m*h - 2*a = -h + 9, -4*a = 8 for h.
5
