 + 1, 3*p = 2*u - d for p.
0
Suppose 2*h - 4*t = 2, 0*h + 5*h + 4*t = 19. Suppose -h = d - 8. Solve 4*k = d*l - 26, -1 = -2*k + 4*l - 17 for k.
-4
Suppose -2*q - 25 = -5*q + 4*t, -2*q - 10 = 4*t. Solve r + 4 = 2*c, 2 = -2*r + q*c - 6 for r.
-4
Suppose -2*i + 10 = -y, 5*i + y + 19 = 58. Suppose 4*q - 5 = i. Let j be ((-8)/3)/((-2)/q). Solve j*h + 0*g - g + 12 = 0, 4*g + 15 = -5*h for h.
-3
Suppose -3*i + 8*i - 15 = 0. Let l(w) = -3*w + i*w - w. Let v be l(-3). Solve -k - 3*f = 2, 3*f + 6 = -v*k + 2*f for k.
-2
Let r = -20 - -25. Let l = r - 3. Solve -5*j = -w + l*w + 14, 3*j + 4 = -5*w for j.
-3
Let v be -2 - (-3 + 6 + -29). Suppose -18 = -3*b + v. Solve -o + 0*o + 2*u = -8, 2*u = 4*o - b for o.
2
Let v(j) = j**2 - 3*j - 6. Let f be v(-5). Solve 2*b - 4*n - 12 = -f, -4*n = 5*b - 15 for b.
-1
Suppose -b + 4*r = -4, 3*b + 0*r + 2*r = -2. Solve 4*o + 0*n + 5 = -3*n, b = 5*o - 2*n - 11 for o.
1
Let r(b) = b. Let v be r(3). Solve 4*a = v*k - 1, -2*a - 5*k + 23 = 2*a for a.
2
Suppose 2 = -j + 4*i, 0*j - 2*j - 3*i = -7. Solve -c = -2*c - 4*b - 1, -2*b + j = 0 for c.
-5
Let f(t) = -t + 10. Let g be f(7). Suppose 2*q + g*q = 10. Solve 5*i - q*n = 4*i + 2, 5 = i - 5*n for i.
0
Suppose -4 = -10*b + 36. Solve g = -2*g - b*y - 7, y = g + 7 for g.
-5
Let i(d) = 2*d - 1. Let y be i(8). Solve 0*m + 5*r = -m - 18, 3*m + 2*r = -y for m.
-3
Let j = 0 + 3. Suppose 2*n + 8 = -3*s, 0 = -n + 2*n + 4. Suppose -4*r + j*m = -s*m - 4, 20 = r + 4*m. Solve 0 = -r*a - 4*l + 24, l - 16 = -3*a - 0*l for a.
5
Let q be 0 + 0 + -4 - -8. Solve 5*w = 3*o - 6*o + 23, 0 = 3*o - q*w + 13 for o.
1
Let z be 100/12 - 2*1/(-3). Solve 4*t = 2*t + 5*a - 33, -t = -a + z for t.
-4
Suppose -4*g - 9 = -j + 13, 0 = 2*j + g - 35. Suppose -3*l + 12 = -4*m - 2, 4*l - 5*m - j = 0. Solve 0 = -2*b - 2, 0 = -k - l*b + 3 - 4 for k.
1
Suppose -d + 15 = 4*a, 2*d = 4*a - 19 + 1. Let v(l) = 12*l + 1. Let t be v(1). Let m = t - 9. Solve a*y - i + 4*i = -35, 0 = 2*y - m*i - 10 for y.
-5
Suppose 0 = 4*f - 6*f - 8. Let d = -4 - f. Solve -5*h = -5*m - 40, -4*m + d*h + 3*h = 28 for m.
-4
Suppose -3*s + 10 + 2 = 0. Suppose p + 3 = 2*p. Suppose -58 = -p*z - 1. Solve 5*u = s*l - 4, -z + 47 = -5*l - 2*u for l.
-4
Let a = 1 - -3. Suppose 3*o - 20 = -a*s + 2*o, s - 4*o = 5. Solve s*y + 0 = 4*m + 23, 2*m - 4*y + 16 = 0 for m.
-2
Let o be 35/(-147)*-12 - 1/(-7). Solve 3*d + 2*w = -5, -o*w + 0 - 6 = 3*d for d.
-1
Let l = 13 - 8. Suppose -u = -l*u - k + 95, -5*k = u - 19. Suppose -4*i = -4*v - u, -v = i - 5*v - 15. Solve -2*j = -i*x, j + 9 = -5*x + 2*x for j.
-3
Suppose 3*t = 3 + 6. Suppose t*x + 3*o - 1 = 4*x, -3*x + 2*o + 11 = 0. Solve -h + 0*m = x*m - 27, 4*m = h + 18 for h.
2
Let y(q) = q**3 - 10*q**2 + 8*q - 10. Let a be y(10). Suppose 3*u - a = 5. Solve u = 5*h - p, -3*h = p + 2*p - 15 for h.
5
Suppose 0 = -3*m + 5 - 2. Let f = -1 + m. Let n be 4 + 1 + f/(-3). Solve 4*b + 3*z = -17, 4*z - 3 = n*z for b.
-2
Let m be -2*-4*3*(-1)/(-6). Let r(y) = -3*y - 1. Let w be r(-2). Solve -4*l - 13 = m*x - w*l, -l = 4*x + 3 for x.
-2
Suppose 5*w - 3*y - 32 = 23, -5*y = 0. Solve -2*n + 3*p = -2*p + 8, 5*p - w = -n for n.
1
Suppose 5*f = 2*f - 12. Let n(k) = -9*k - 10*k - 1 + 18*k + 2*k**2. Let y be n(f). Solve 4*o - 11 = -2*q - 1, -5*q - y = -2*o for q.
-5
Let a = 2 - -10. Suppose 4*r - 8 = -5*p + r, -r = 4*p - a. Solve -2*j + 18 = 4*z + 4, 8 = 4*z - p*j for z.
3
Let d be 6/(-27) - (-76)/18. Let q be 0 - (-20)/d - 3. Solve 5*p + 19 = q*t - 16, 5*p = t - 30 for t.
5
Suppose -36 = -4*j + 4*s, -2*s + 2 = 4*j - 4. Let r be (4/8)/(2/12). Solve -4*p = r*c - 0*c - 4, -j = -4*c - 4*p for c.
0
Let y(t) = -t**2 - 8*t + 3. Let r be y(-7). Solve -1 = -c + 1, r = -2*v + 2*c for v.
-3
Let q be 6902/609*-2*6/(-8). Let n = -32 + 45. Solve -c + n = -2*d + 3, -5*c = d - q for c.
4
Let v be 4/(-4)*(-1 - 1). Suppose 0 = -3*k - 1 - v. Let f = k - -2. Solve b - 2*j + f = 0, 5*j + 12 = 27 for b.
5
Suppose 4*n - 8 = 2*u, 7*n - 3*n - u = 4. Suppose 3*w - 1 - 8 = n. Suppose -4*y - 10 = y, y + 2 = -w*f. Solve 3*x = -0*x + 4*b + 14, f = -2*x - 2*b for x.
2
Let m be (3 + -4 + 2)*-4. Let z be 0*4/m - -3. Solve -9*x + 6*x = -5*g + 10, 0 = 4*g + z*x - 8 for g.
2
Let u be (1 + (-27)/12)/(1/(-4)). Solve -5*z = -s - 23, -5*s = -u*z - 10 + 25 for s.
2
Suppose -2*j = 3*x - 6*j - 34, 3*j + 12 = 0. Suppose 4*f - x = 2*f. Solve 0 = 5*u - f*r + 11, 3*u + 4 = -4*r - 20 for u.
-4
Suppose -4 = 3*w - 19. Let t = w + -1. Let b be 1*(1/1 + 1). Solve -5*u = -t*p + 33, -b = 2*u + 3*p + 2 for u.
-5
Suppose 5*u - 25 = -0*u. Solve -u*n - 5*p + 15 = -10*n, 3*n + 2*p = -4 for n.
-2
Let h(m) = 4 - m + 0*m**2 - 3*m**2 + 4*m**2. Let p be (3*(0 + -1))/(-1). Let k be h(p). Solve 0 = 3*s + 4 - k, 0 = -3*x + 2*s - 13 for x.
-3
Suppose -5*d = 2*b - 10, 0 = 15*d - 10*d. Solve 20 = 5*t - w, 5*t + b = -5*w - 5 for t.
3
Let o be 0/4*1/(-1). Suppose 0*u = 2*u + 6. Let a be (4/3)/((-1)/u). Solve 3*f + 35 = -a*q, 3*q = 5*f - o*f + 10 for f.
-5
Let i = -21 - -46. Suppose -a + 2 = 5*z - 3, z - 5*a + i = 0. Let k be 9/12*(z + 4). Solve -k*w + 9 = -2*l, 5*l = 2*w + w for w.
5
Suppose 7*t = 3*t. Solve -w - 3*c + 1 = 0, t*c = 3*w + c - 11 for w.
4
Let d(s) = -s**3 + 2*s + 1. Suppose a + 0 - 2 = 0. Let w be d(a). Let u = 5 + w. Solve -2*t = -u*n - 3*t, -3*n - 3 = 3*t for n.
1
Let c(f) = f**3 + 6*f**2 + 11*f + 6. Let z be c(-3). Solve -3*i + 18 = -4*k - 5, -4*i - k + 18 = z for i.
5
Let z = 42 - 39. Solve -3*k + 18 = -z*l, -4*l = -k + l + 18 for k.
3
Suppose -2*o + 3*s + 25 = 0, 70 = 4*o - 0*o - 2*s. Solve -5*u + 10 = 0, 5*l = 2*l - 4*u + o for l.
4
Let l(f) = -f**2 - 12*f + 2. Let j be l(-12). Suppose -55 = -5*v + 5*m, v + 0*v + j*m = 8. Solve -2*t + v = 4*z - 8*z, 4*t - 2*z = 20 for t.
5
Suppose 5*g + 6 = 3*l, -3*g - 2 = -l - 0*l. Suppose 2*b - 180 = -l*b. Solve -6*k = -5*v - 2*k - b, -3*v = -4*k + 35 for v.
-5
Let v(z) = 3*z + 32. Let p be v(-9). Solve p*g - t - 10 = 0, 0 = -3*g + 3*t - 4*t - 2 for g.
1
Suppose 8 = 3*h + h. Let x(y) = y**2 + h*y - 3*y + 2*y - 6*y. Let s be x(7). Solve -3*b + 2*j = -0*b - s, 4*b + 4 = -3*j for b.
2
Suppose 0 = 5*u + q - 11, 5*q - 2 = -2*u - 16. Solve n - u*n + 5*j = -5, 4*n + 5 = -5*j for n.
0
Suppose -f + 2*f - 4 = 4*a, 3*f + a = 12. Solve c - f = 2*q, 5*c - 3*q = -3 + 2 for c.
-2
Let z = -7 + 6. Let q = 2 + z. Solve -5*i + 0*i + 5 = -m, -i = -4*m - q for m.
0
Let n(y) = 8*y + 8. Let p be n(6). Suppose -4*o - p = -8*o. Solve 3*a - a + o = -4*d, d = 4*a + 1 for d.
-3
Let u(r) = -r**2 - 12*r + 4. Let w be u(-10). Suppose -2*k - 4*q - 2 = -0*k, w = k - 3*q. Solve 5*n + z = 3*n - 1, -3*n + k = 5*z for n.
-2
Let h(s) = 3*s - 6. Let f(n) = n**2 - 3*n - 6 + 4*n**2 - n**3 + 3. Let i be f(3). Let x be h(i). Solve -4*l - 3*z = z - 16, -3*l + x = -2*z for l.
4
Suppose -d = d - 12. Let o = 10 - d. Solve 0 = -2*k - 0*k + 5*x, -o*k = 5*x for k.
0
Let k = 0 - -3. Let d = k - 2. Suppose -4*i - d = -5. Solve -3*r = 2*a + 2, -r - i = -3*a - 4 for a.
-1
Let c(y) = y**2 - 28*y + 57. Let m be c(26). Suppose 4*h - 4 = 4*a, 3*a + 3 = 5*h - 4. Solve 0 = h*o - m*z + 21, 3*z = -o + 2*z for o.
-3
Let s(z) = -z + 11. Let d be s(10). Let v be d + 0 + 57 + 2. Suppose 4*i = v + 32. Solve -5*o + k = -i, -2*k + 21 = 3*o + k for o.
5
Let z be -3 + -1 + 1 + -15. Let n be (-4)/(-6)*z/(-6). Solve q + l + n = 0, 4*q - 2 + 16 = 2*l for q.
-3
Suppose -12*c + 26 = c. Solve -c*y - 12 - 10 = -5*w, -y + 15 = 4*w for y.
-1
Suppose 3*d - 6 = 0, 3*m - 5*d + 0 + 4 = 0. Solve 2*o - 2*h - 5 - 1 = 0, -2*o - 2*h = -m for o.
2
Suppose 3 = -3*h + 30. Let t = h + -6. Solve z - 9 = -t*a - a, 0 = -z - a for z.
-3
Let t(j) = 5*j**2 - 1. Suppose 0 = -2*x + 4*y + 26, 4*x + 3*y - 6*y - 27 = 0. Let z = x + -4. Let f be t(z). Solve -w + f*s = 5 - 26, 8 = 3*w - s for w.
1
Let o be (0 - -1) + (-1)/(-1). Let x(i) = 4*i**3 - 3*i**2 + 3*i - 1. Let n be x(o). Let a be (8 + -2)/(6/8) - 3. Solve -s + 32 = 4*y - a*s, 5*y - 2*s = n for y.
3
Suppose -4*j = 3*v - 42, 4*v + 4*j - 25 - 35 = 0. Suppose -6*c = n - 4*c - 12, -3*c - v = -3*n. Solve 0 = 2*d - n, 3*d - 10 = 2*u + 2*d for u.
-3
Suppose -h + 0*h + 5 = 0. Suppose -3*c + 0*t + h*t = 16, 2*c + 4*t = 26. Suppose -7*w = -c*w. Solve w = -q + 6*q + 15, 5*q = y - 18 for y.
3
Let f be 0/(1 + 0/(-2)). Solve -5*t + 0 = -3*m + 8, 3*m - 3*t - 6 = f for m.
1
Let u = 11 - 8. Suppose 19 = 5*d + i