pose 2 + 0 = 2*p. Let r = 4 - p. Solve -2*k + 19 = -0*w + r*w, 0 = 2*k - 5*w + 21 for k.
2
Let g be (-15)/(-5)*-1 - -5. Solve 10 = -o - g*b, 4*b - 10 = 4*o + 2*b for o.
-4
Let r(d) = d**3 - 7*d**2 + 7*d - 5. Let k be r(6). Let h be k + 0 + (-1 - -2). Suppose -2*f = -f - h. Solve -2*m + 0*m = -3*o + f, -m = -2*o for m.
-4
Let d be 0 + (30 - 0/(-1)). Let s be 43/9 + (10/9)/5. Solve -5*g - 3*j = 2*j + d, g + 26 = -s*j for g.
-1
Suppose 16 = 3*h - d, 0 = h - 3*h + d + 12. Suppose -4*q = -3*q - 3*b + 4, 0 = -q + h*b - 6. Solve -q*k + 5*l = -7*k - 15, 0 = -5*l - 10 for k.
-1
Let g = 18 - 2. Suppose -d + 12 = 3*a + 2*d, a - 4*d + g = 0. Suppose -2*n + 5*t = n - 57, 5*n - 95 = -5*t. Solve 3*l + n = 2*s - a*s, -15 = 3*l for s.
2
Let i = -125 + 129. Solve 0 = i*d - 3*n + 2 + 1, -5*d = -4*n + 5 for d.
3
Suppose -3*t + f + 17 = -f, -5*f - 20 = 0. Solve t*n + 2 = g - 1, -4*n = -2*g + 4 for n.
-1
Suppose 0*m + 7*m = 35. Solve 3*a - m*d - 12 = 3, 6 = -2*d for a.
0
Suppose -f - f - 4 = 3*y, -4*f = 4*y. Solve -5*h = -f*v + 2*v - 13, -3*v - 11 = h for v.
-4
Suppose -4*p - 25 = -5. Let a be (20/25)/((-1)/p). Let g(l) = -l**3 + 3*l**2 + 3*l. Let x be g(3). Solve -4*f - 5*q = -0*f - 1, a*f + x = 5*q for f.
-1
Suppose -3 = s + 2*s. Let q be 3 + s + -1 + 2. Let j(b) = 10*b + 24. Let m be j(-2). Solve -2*a - a = m*n - 21, 0 = 3*a - 2*n - q for a.
3
Suppose 3*c + 0*o - o = 20, 4*o - 16 = -4*c. Suppose -h = h - c. Suppose h = -g + 5. Solve a - 2*a + 3*f = 4, a + g = 2*f for a.
2
Let h = 7 - 15. Let t be (4/h)/(1/(-24)). Solve 0*l + 3*l + 3 = -k, -t = 4*k for l.
0
Suppose 2*c = 4*c - 8. Suppose 7*p - 20*p = -39. Solve p*b + 5*j = 11, c*j = b + 2*j for b.
2
Let p = -8 - -9. Let f(k) = 3*k**3 - k**2 + 2*k - 1. Let s be f(p). Solve -s*t + u = -2*t, 5*t = 3*u for t.
0
Let a be 3/(-12) - (-26)/8. Suppose 5*h = a*m, 0 = -0*h + 5*h - 4*m + 5. Solve 5*p - 40 = -0*f - 5*f, h*p = 12 for f.
4
Let o = -6 - -11. Suppose 4*z - z - 69 = 0. Suppose 5*a - z = -4*s + 4, -5*a = -o*s. Solve 3*x - 3*v + 4 - 16 = 0, s*x - 5*v - 22 = 0 for x.
-1
Let t be (3/7 + (-6)/14)*-1. Solve t = -2*i - 2*w + 3*w - 5, 4*i - 3*w = -7 for i.
-4
Let i be 9/(-6)*20/(-15). Solve -3*v - 2*h = 5, v = -4*v - i*h - 15 for v.
-5
Let u = 24 - 20. Solve 3*d = -9*i + 4*i - 26, 0 = u*i + 16 for d.
-2
Let o = -1 + -39. Let z be o*1*(-3)/6. Solve 4*b + 12 = 4*g, z = 4*g - 2*g + 5*b for g.
5
Suppose 2*v = -q + 9, -2*v = -5*q + 3*q + 6. Solve v*f + 6 = 3*a, 5*f - 2*a + 6 = 2 for f.
0
Let f = 25 + -25. Solve 3*c + 5*z + 12 + 2 = f, 10 = 3*c - z for c.
2
Let q = 9 + -13. Let z be 6/8 - 97/q. Suppose -5*a + 10*a = z. Solve x = 3*i - 5, a = -5*i - x - 0*x for i.
0
Let m be 0 - (-4 + (-3 - -2)). Suppose 6*j = 2*j - n + 20, -3*j + 8 = -n. Solve 3*x - 1 = 5*s + 14, -j*x - m*s = 15 for x.
0
Let f = -152 - -157. Solve m - f*m + 7 = l, -3*l - 2*m = -11 for l.
3
Let x be 12/42 + (-80)/(-14). Suppose 3*w - 3 = 2*w. Suppose -30 = -4*s - 2*t, -w*s - 5*t - 20 + 60 = 0. Solve 5*o - s*p + 5 = 0, 0*p - p + x = -2*o for o.
-5
Let g = -86 + 97. Solve 2*w = 5*r - g, -2*w + w - 10 = -4*r for r.
3
Let i(m) = -m + 4. Let n be i(2). Solve 2*z + 14 = -4*o, 4*z - o + 17 = n*o for z.
-5
Let f(y) = -3*y + 32. Let o be f(10). Solve 12 = -3*v, 4*v + 18 = -c + o*c for c.
2
Suppose 0 = -7*j - 1 + 57. Solve -o + j = d + 3, 3*o - 2*d = -10 for o.
0
Let f be (-6)/(-9)*(-9)/(-2). Suppose -7*h + f*h - 22 = x, 3*x + 38 = -5*h. Let b be -2 + x/(2 + -5). Solve 9 = q - 3*q - 3*c, 5*q + 3*c = b for q.
3
Let r = 23 + -19. Solve -3*w = k + r, k + 2*w = 4*w + 11 for k.
5
Suppose -3*u + 15 = -0*u. Let g be 4/(-14) + (-130)/(-14). Let s = -7 + g. Solve -3*l = -i - u, l - s*i = -2*l + 7 for l.
1
Let l(o) = o**2 - o + 1. Let c(p) = 5*p**2 - 16*p + 20. Let r(n) = c(n) - 6*l(n). Let g be r(-11). Solve 0 = 4*h - 12, -h = -6*j + g*j - 18 for j.
-5
Let u(o) = -o**3 - 4*o**2 - 3*o. Let m be u(-1). Solve 2*k - 2*t - 16 = m, k + 4*t = -3*k - 8 for k.
3
Suppose 5*n - c = 22, n + 11 = 2*n + 2*c. Let w(v) = v**3 - 5*v**2 + 3. Let k be w(n). Solve 2*z - 2 = -l, 9 = 5*l - k*z - 1 for l.
2
Suppose -23 = -2*x - i + 2*i, 2*x = 5*i + 43. Let a be (-24)/(-18)*x/2. Solve -a*g + 12 = 4*f - 2*g, f - 3*g + 5 = 0 for f.
1
Let h be 846/162 + 4/(-18). Solve s + h*n + 17 = 0, 4*n + 11 = 2*s - n for s.
-2
Let g = -14 - -18. Solve 0 = c - 2*l + 9, -2 = -c + 3*c + g*l for c.
-5
Suppose 0 = -4*h + 12 + 8. Suppose -3*q - 2*q + h = 0. Suppose 3*o - 16 = -q. Solve 30 = -o*p + 5*l, 0 = -p + 3*p + l + 3 for p.
-3
Let s(g) = g**2 - 8. Let m be s(-7). Suppose -x = -5*d + 70, -2*d = -0*d - 3*x - m. Suppose -3*w + 20 = w. Solve -f + 3*c - 5 + d = 0, w*f = -4*c - 36 for f.
-4
Let f = 3 - -2. Suppose -f*u = -2 - 3. Let y(a) = 4*a. Let h be y(u). Solve h*n = -z + 3, -3*n + 3*z + 8 = 2*n for n.
1
Let z(u) = -3*u + 7. Let o(m) = -8*m + 20. Let v(i) = -4*o(i) + 11*z(i). Let p be v(-10). Solve 3*d - 2*f = 5, 3*f = d + p + 3 for d.
5
Suppose -5 = 2*c + 1. Let o be 2 - (-2 - c) - -2. Solve 4*s + 2*w = 3*s + 3, 5*s - 22 = -o*w for s.
5
Suppose 5*q = 14 + 6. Suppose 4*i = k - 5*k, q*k = 5*i. Let l(r) = r**2 + r + 4. Let b be l(i). Solve 2*s + b*h = -8 - 4, -3*h + 13 = -4*s for s.
-4
Let b = 2 - -9. Suppose b = -0*c + c. Solve -20 = -2*w - 3*w, -c = r - 3*w for r.
1
Suppose -3*h + 2 + 4 = 0, -5*j - 4*h = -178. Solve -5*i - j = 3*l, 4*l = 2*i + 3*i + 13 for i.
-5
Let r be ((-2)/(-8)*3)/(1/4). Solve -2 = 4*a + k, -r*k + 2*k = 2 for a.
0
Let r be -4 - (-7 + (0 - -3)). Solve r = -5*f - 3*u + 20, 5*f = u - 0*u + 20 for f.
4
Suppose -j = -2*r + 29, -3*r + 3*j + 42 = -0*j. Solve -r = -2*y + 5*m, 8 = -y + 2*y - 3*m for y.
5
Let v(w) = 2*w. Let q be v(3). Let r be (-121 + -1)*(1 - 0). Let y be r/(-14) - (-2)/7. Solve 0 = 5*x + 4*c + q, -3*x + 0*x + 3*c = y for x.
-2
Let q be 3 + 0 + 0 + 0. Let h be (q - 1/1) + -28. Let t = h + 41. Solve 4*w = 3*o - 12, -5*w = -4*o - o + t for w.
-3
Suppose -9 = -2*g - x, -g + 3*g + 5*x - 29 = 0. Solve 2 = -m + g*m, 1 = 3*r + 2*m for r.
-1
Suppose 0 = -5*n, -12 = -2*t + 3*n + 2. Suppose -f = -q - 1, -3*f + t + 0 = -2*q. Solve q*r - m = -5, -r - 5 = 2*m - m for r.
-2
Suppose 4*f + 3*j = 41, 3*j = -2*j + 15. Suppose -5*w + f = -w. Suppose -q + 5*k = -22, -q - 2*k - 8 = -w. Solve -25 = 5*c, q*o - 4*c = -2*o + 16 for o.
-1
Let o = 17 + -17. Solve o = 4*n + 2*c - 6, n = 6*n + 5*c - 5 for n.
2
Let c be 8/(-6)*63/14. Let y = c + 20. Solve 3*b + y = -4*r, 4*b + 2*r + 1 = -1 for b.
2
Suppose i = -34 + 13. Let n = i + 27. Solve -3*v + 2*z + 2 + n = 0, 0 = -5*v - 3*z + 26 for v.
4
Let x = -96 + 101. Solve 6*j = 4*h + j, j = x*h + 21 for h.
-5
Suppose 7*j + 0 = -7. Suppose 0*z + 153 = 3*z. Let g be z/j*2/(-6). Solve 4*d - 5*o + 13 + 20 = 0, -g = d - 3*o for d.
-2
Let y(q) = q**3 - 4*q**2 - 7*q - 5. Let h be (-3 + 0)*(-14)/(-6). Let x = 13 + h. Let l be y(x). Solve a = -4*a + l, 4*a - 20 = -5*w for w.
0
Suppose 2*u = -2 - 0. Suppose 2 - 24 = -4*n + 3*q, -3*n + 4 = 4*q. Let b be n*((-1)/(-4) - u). Solve 0 = -b*l - 14 + 4, 13 = -w - 4*l for w.
-5
Let z be 0/(-7)*2/(-4). Solve z = 5*f - 4*i - 6, 5*f = -4*i - i + 15 for f.
2
Let r(c) = 5*c**2 - 1. Let h(p) = p - 1. Let g be h(2). Let s be r(g). Solve -3*j = 2*y - 7, -s*y + 10 = 2*j - 8 for j.
-1
Let v(l) = 4*l**2 + l - 1. Let x be v(1). Solve 0 = -x*g + g + 5*p + 1, -g = -2*p for g.
2
Suppose 3*y - 15 = 3*r, -5 = 7*r - 2*r. Solve p = o - 6, 5*p = -5*o + y + 16 for p.
-1
Let f = 36 + -18. Suppose 2*o = f - 2. Let w = o + -4. Solve i + 0*i = -d - 9, -w*i + 4*d - 4 = 0 for i.
-5
Let a be 6 + 2 + -3 + -1. Let o = 26 - a. Suppose z = -4*t + 11, 0 = 2*t - 7*t - 5*z + 10. Solve 2*p + 3*i - o = -0*p, -32 = -4*p - t*i for p.
5
Suppose -3*w = w. Suppose w = 4*n - n. Solve n = 5*t + u + 2*u, 0 = -3*u - 15 for t.
3
Let s = 119 + -114. Solve 2*m + 0*p = -5*p - s, 2*p = -m - 2 for m.
0
Suppose -7*z = -3*z - 5*c - 36, 0 = -3*z + 3*c + 24. Let b = -10 + 5. Let q be 2/(-5) + (-2)/b. Solve 5*p + 5*o + 10 + 15 = 0, p - z*o = q for p.
-4
Suppose -t - 48 = 2*t. Let u be 4/t - 26/(-8). Let x = -3 + u. Solve -2*w = -8, 5*n - w - w + 3 = x for n.
1
Suppose -5*l + 5*t - 5 = 0, 0*l = 2*l - 4*t - 4. Let m = 7 + l. Solve b + c + 2*c = 6, -3*b = m*c - 12 for b.
3
Suppose -2*u - 3 = -5. Let v be 1*(-2 + u + 4). Suppose 2 = -2*f, -v = -4*g + 2*g - 3*f. Solve -11 = p + g*w, 0*p + 2*p - 5 = 3