 32 = w*i, 3 = q - 0. Solve -2*k + 7*k + d + i = 0, 0 = 5*d for k.
-2
Let n(h) = 2*h**2 - 2*h - 2. Let m be n(2). Solve s - 5 = 0, 4*s = m*x + 1 + 9 for x.
5
Let d = 15 - 10. Suppose -d*z = 10 - 30. Solve -4*w + z*r = -9*w + 13, 4*r = -3*w + 11 for w.
1
Let q(d) = 5*d**2 + 9*d - 10. Let l(i) = 6*i**2 + 10*i - 11. Let y(t) = 6*l(t) - 7*q(t). Let p be y(3). Solve -m + 17 = -3*k, 0*k + k - p*m = -24 for k.
-4
Let a = 19 - 15. Let z(j) = -4*j**3 - 1. Let b be z(-1). Solve -18 = 5*v - b, a*l + v + 19 = 0 for l.
-4
Suppose 3*i + 3*s - 33 = 0, 0 = -4*i + s + 4*s + 89. Solve 8 + i = -5*g - 4*p, g - 2*p + 2 = 0 for g.
-4
Let v = -21 - 8. Let d be 14/(-63) - v/9. Let f be 2*3/d*2. Solve 2*c - 5*k + 0 - 7 = 0, -c + 3*k + f = 0 for c.
1
Suppose 2 + 7 = 3*w - 2*g, 0 = -4*g + 12. Solve 0 = i + 5*n - 17, -w = 4*i - 4*n - 1 for i.
2
Let d = 15 + -10. Solve 3*m - 3*k + 3 + 6 = 0, 5*k + 5 = -d*m for m.
-2
Let q be ((-8)/(-7))/(10/35). Solve 0 = -4*i - q*o - 24, -2*i - 20 = 3*o - 7 for i.
-5
Let r(b) = b**3 - 5*b**2 + 5*b + 3. Let c be r(4). Suppose 0 = 5*d - 4*a - 9 - c, a - 17 = -4*d. Solve 3*o - 4 = -5*z, -d*z + o + 12 = z for z.
2
Suppose -3*k = -7*k - 8. Let a be (-1 + 1)/(6/k). Solve -5*y + a*y + 2*s = -26, 16 = y - 4*s for y.
4
Let k(n) = n**2. Let o be k(2). Suppose 10 = o*f - 2*f. Solve -2*d - 4*g = -g - 15, 25 = f*d + 5*g for d.
0
Let f = -9 - -13. Solve 5*p - 14 = -4*t, -6*t + 2*t = -4*p + f for p.
2
Let v = -4 - -6. Suppose -v*t + 20 = -4. Let a be t - (1 - -1) - -2. Solve 4*k = -2*d - 18, 2*k = -4*d - 30 + a for k.
-3
Let y(p) = p**3 + 16*p**2 - p - 13. Let n be y(-16). Solve 5 = -n*j + 4*t, 2*j - 3*j - t - 4 = 0 for j.
-3
Suppose -j - 1 = 5*c - 0, 1 = 2*c - j. Solve -5*t + 4*i = -6, -2*t + c*i + 7 = 3*i for t.
2
Suppose s + 2*s = 0. Suppose 2*q + 6 = -q. Let w be (2 - 22)/q + 2. Solve 0 = -5*h - s*b - 4*b - 11, -4*b - w = 4*h for h.
1
Let c be (3/(-6) + 0)*-10. Let g be c*-4*3/(-20). Solve -4*l + g*n - 15 = 0, 3*l - 5*n + 9 = -5 for l.
-3
Suppose -3*m + 6 = -3*o, -5*m + o + 0*o + 22 = 0. Suppose 3*v + 4*p - 31 = 0, -5 = -6*v + v + m*p. Solve 1 + 2 = 2*a + v*l, 2*a = -l + 7 for a.
4
Let z be (-3)/15 + (-2)/5*-13. Solve 0*w - 5*m = 3*w - 3, 3*m - z = -5*w for w.
1
Let h be (152 - 0) + -1*2. Suppose a + 0*x = 5*x + h, -3*x = 0. Let i be 12/10*a/9. Solve -3*g - v = -2 - 3, 4*g - 4*v = -i for g.
0
Suppose -5*c + 340 = 5*q, 3*c + 4*q - 198 = 11. Suppose -c - 27 = -5*x. Solve 21 = b - 4*z, z + x = 3*b - 2*z for b.
1
Suppose 4*a - 3*w = 15, -5*a + 3 = -4*w - 17. Suppose -z + 4 = -a*z. Suppose -3*x - 16 = -52. Solve -3*q = x, -11 = -2*u + 3*u + z*q for u.
5
Let u = -27 - -15. Let d(y) = -y**2 - 13*y - 10. Let z be d(u). Solve -z*p - 6 = l - 3*l, -5*p - 2*l + 20 = 0 for p.
2
Suppose 5*l = -3*k + 37, -2*l - 2*k = l - 22. Solve 0*s - 3*c = -3*s, -3*s - 5*c = l for s.
-1
Let b(z) = 7 - 2*z + 0*z + z. Let j be b(3). Solve j*l = -2*w - 8, -w - 8 = 5*l - l for l.
-2
Let u(a) = 9*a**3 + 2*a**2 - 4*a + 1. Let j be u(1). Solve 4*l = 2*l - 3*q - j, 2*q + 16 = -4*l for l.
-4
Let p = 59 + -30. Let i = p + -17. Solve 5*c - i - 9 = -4*w, 5*w + 3*c - 23 = 0 for w.
4
Suppose 5*v + 2*m + 10 = -0*v, -3*v = 4*m + 20. Suppose 20 = 4*s - v. Let h be (1/(-2))/1*-2*20. Solve -6*r + r = -h, s*r = -2*l + 30 for l.
5
Suppose -u + 3*u + 34 = 3*b, -5*b + 2*u + 58 = 0. Solve 0*j = j + 5*i - 15, 2*i = -4*j - b for j.
-5
Let x be (-5 - -2) + 8 + 1. Solve n = r + x, r + 4*n - 6 + 2 = 0 for r.
-4
Suppose 9*a + 16 = 5*a + 4*t, 3*t = 12. Solve q + a*q - 4*p + 6 = 0, 2 = 4*q - 3*p for q.
2
Let j = 8 - 15. Let d = j - -10. Suppose d*x - 32 = x. Solve v + 1 = 2*i, -2*i + 4*i + 2*v = x for i.
3
Let u = -27 - -15. Let d = u + 17. Solve 0 = -3*q - 3, 3*w + 2*w = -d*q + 20 for w.
5
Let c be (-1)/1*-1 + 1. Let r be 63/3 - (-5 - -2). Solve 0 = -5*a - c*p + r, -10 = -3*p - 2*p for a.
4
Let c be (-2 - -4 - -4)/2. Let j be 1 - (c + -11 - -3). Solve 4*b + j = -2*f, 3*b + 3*f + 1 + 5 = 0 for b.
-1
Let m = 38 + -38. Solve 4*n + y + 17 = 0, -n - 2*y - 6 = -m*n for n.
-4
Let n be 2 + (4 + -3)*3. Solve 29 = -p + 5*c, -p + n*c = -3*p + 17 for p.
-4
Let a(y) = -y**2 - 8*y + 3. Let x(w) = 5*w**2 + 33*w - 11. Let c(p) = 9*a(p) + 2*x(p). Let r be c(6). Solve 0 = 2*l + 10, -r*q + 0*l = -2*l - 10 for q.
0
Let x = 32 + -15. Suppose 2*n - 30 = -3*n - 5*v, 3*v = 4*n - x. Let c = -12 - -17. Solve -d - 2*d = -c*j + n, -5*j - 35 = 5*d for d.
-5
Let v(d) = d - 6. Let o be v(13). Let h(j) = -j**3 + 8*j**2 - 6*j - 5. Let a be h(o). Solve a*u + 3*b = 2, -13 = -u - 4*b - 2 for u.
-5
Let m = 49 - 45. Solve -z = -w - 6*z - 18, 0 = m*w - 4*z for w.
-3
Let v(a) = a**2 - 11*a - 13. Let p be v(13). Solve 0 = 4*r - 4*h - 1 + 21, -p = 4*r + 3*h for r.
-4
Let p be 1 - -7 - (-5 + 5). Let z = p + -6. Solve 1 = f, -z*n + 3*f + 1 = 2*f for n.
1
Suppose 2*p = -4*c + 6, -2*c + 2 = -0*p + 2*p. Suppose -4*d + 6*z - 2*z - 12 = 0, 3*d + 4 = c*z. Solve x = 5*v - 12, -d*x = -3*x + 3 for v.
3
Let k(g) = -8*g**3 + g. Let p be k(-1). Solve -2*u - r - 1 = -u, -5*r + p = 2*u for u.
-4
Suppose -5*a + 0 = -10. Let r be (2 + (-2)/1)/(-2). Solve 2*w + r*l = a*l + 2, -3*w - l - 17 = 0 for w.
-4
Let t be ((-4)/(-3))/((-1)/(-12)). Suppose -5*d = -d - t. Suppose 2*g + 4 = 2*h - 2*g, -5 = d*h + 5*g. Solve -6 = 2*s - 2*o, -19 = -3*s - h*s - 4*o for s.
1
Let g(k) = -k**3 - 4*k**2 - 2*k - 4. Let t = -9 - -5. Let q be g(t). Suppose 418 = 11*f + 110. Solve -4*d = v - 8, 2*v + 2*v - q*d + f = 0 for v.
-4
Suppose -i - 14 = -3*f, 5*i - 1 - 49 = -5*f. Let l(z) = -z + 6. Let y be l(f). Suppose y = j - 0*j. Solve -5*a + 0*a = -3*c + 20, -3*a + 4*c - 12 = j for a.
-4
Suppose 0 = -3*y - 30 + 177. Let x = y + -29. Suppose 2*j - 7*j + x = 0. Solve -5*c - 28 = j*b, 0*b = -2*b + 4*c + 12 for b.
-2
Let p(a) = -a**3 + 8*a**2 - 6*a - 2. Let b be p(7). Solve 0 = -4*m + 5*l - 2, 17 = -b*m + 2*l - 3*l for m.
-3
Suppose -6*a + 5*a - 1 = 0. Let x(t) = -20*t**3 + 2*t**2 + 2*t + 1. Let f be x(a). Suppose 4*z - 5*z + f = 0. Solve -5*m + 4*w = -6*m - z, -4*m + 4*w = 4 for m.
-5
Suppose 0 = -5*l + 43 - 18. Suppose -2*r + 2 - 5 = y, -l*y = -4*r + 1. Let c = 7 - r. Solve -c = n + 3*t - 1, t + 3 = -n for n.
-1
Let a(v) = -v**2 + 7*v - 7. Let k be a(5). Let h(r) = 4*r**3 + 2 - 5*r**k + r**2 + r + 3. Let s be h(0). Solve d + 2*d - 4*n = -10, -5*d = 5*n + s for d.
-2
Suppose 5*g - 5*f - 95 = 0, 6 - 53 = -2*g + 5*f. Let w = g - 12. Solve -w*v + 2*d = -18, 2 = 2*v - 5*d - 3 for v.
5
Let k be 33/2*(-2)/3. Let t(b) = -b**2 - 13*b - 2. Let l be t(k). Solve -z = 3*z + 4*p - 12, -l = -4*p for z.
-2
Suppose 4 = 9*l - 7*l. Solve -5*b + 2*b - 2*p = -l, 4*b + 9 = -5*p for b.
4
Suppose 3*x = -0*x + 18. Let c(y) = -y - 1. Let i be c(-1). Solve 5*a + 30 = 5*n, n + 3*a + x = -i for n.
3
Let c = -3 - -8. Let a = 41 - 22. Let s = a - -1. Solve -f + 35 = c*q + f, -5*q = -f - s for q.
5
Suppose 1 = 4*o - 2*o + 5*p, 52 = 5*o - 4*p. Suppose -n = n - o. Suppose -n*v = -v. Solve v = -5*u + 4*w - 9, -4*w - w - 30 = 2*u for u.
-5
Suppose 2*y + 4 = 2*n, -2*y - 3*n + 4*n - 2 = 0. Suppose -2*t - 21 = -5*k, 4*k + 2*t + 2*t = y. Solve -2*g = -g + k, -5*s + 2*g + 11 = 0 for s.
1
Let b be 48/10 + 7/35. Solve -4*g - p - 12 = 0, -2*p = g - b*g - 12 for g.
-3
Suppose 4*q + 2*d = -4 + 16, 0 = 4*d. Suppose -q*o = -8*o. Let h be -1 + 0 - (1 - 3). Solve -x - h - 4 = 2*n, o = 2*n + 3*x - 1 for n.
-4
Let h(p) = -p + 15. Let m be h(0). Solve -2*n + 11 = -g, 5*g = -n - m - 7 for n.
3
Suppose 28 = -5*w + w. Let c(j) = -j**2 - 9*j - 10. Let f be c(w). Solve -y + 2 = 3*g - 0, f*y = -2*g - 12 for y.
-4
Suppose 5*c - 39 = 4*c. Let v = -23 + c. Suppose 4*a - v = -0*a. Solve a = 2*t + 3*h + 6, h = 4*t - 24 for t.
5
Let p be (2 - (-1 - 0))*1. Suppose p = m, 0*w + m - 16 = -w. Let k = -3 + w. Solve 2*z = -q, -3*q + 2*z - k = -2*z for q.
-2
Let l be (4 - 4)/(-4) + 0. Solve l = -2*g - 2*i + 7*i - 1, 1 = -i for g.
-3
Suppose 5*n = 90 + 85. Suppose 14 = -3*r + n. Solve a + 2 = h, -r*a = -3*a for h.
2
Suppose v + 0*y + 5*y = 10, -v - 2 = -y. Let x = 0 + v. Solve -2 - 1 = 3*p + 3*i, -4*p - 5*i - 4 = x for p.
-1
Let v = 84 + -57. Solve d - f - 3 + 5 = 0, -3*f = 4*d - v for d.
3
Suppose x + 3*o - 21 = 0, 6*o - 2 = 3*x + 2*o. Solve 2*c - 9 = y, -3*y + x = -2*y + c for y.
1
Suppose 3*l + 84 = 6*l. Suppose 33 = 4*d + 13. Let a = 9 - d. Solve -4*y - a*f +