 4*v + 20, 2*v = 4*o - 46. Solve 4*p = 4*y - o, -y + 8 = -6*p + 4*p for y.
-2
Suppose 4*o + 3 - 43 = 0. Let d = 11 + -17. Let w = d + o. Solve -3*h + 0*h = w*l - 16, -5*h = 0 for l.
4
Suppose j - 17 = -3*q, 4 = 3*q - 5*j - 1. Solve -5*x = 4*s + 9, -3*s + s = -q*x - 3 for x.
-1
Let x be (-15 - -13)*3/(-2). Solve -5*f = -4*n + 8, 2*n + x*f - 3 = 1 for n.
2
Let f(b) = 3*b**3 + 4*b**2 - 4*b**3 + 3*b**2 - 2*b + 1 - 3*b**2. Let u be f(3). Solve x - 6 = g + 2*x, -u*g - 19 = 3*x for g.
-1
Let c(r) = -r**3 - 2*r**2 - 2*r. Let q be c(-2). Solve -1 = 3*f + 2*g, 2*g - 5 = q*f - f for f.
-1
Let g be (0 - (1 + -3)) + 3. Let j = g + -3. Solve 5*h + 11 = j*r - 5*r, -h - 9 = 4*r for r.
-2
Let o = 6 + -1. Solve -4*a + o = -5*s, 2*s - a - 4 = -s for s.
3
Let f be (-4)/(-6)*(0 + 3). Solve -l - z = -f, -7 = -5*l - 4*z + 5 for l.
4
Let v = -52 + 56. Solve -v*w - 11 = 3*b - 4, 13 = -w - 3*b for w.
2
Let k(n) = n**3 + 7*n**2 + 6*n + 4. Let r be k(-6). Solve 0 = -5*o + r*d - 47 + 17, 0 = -o + d - 7 for o.
-2
Suppose 4*k = 0, 0 = -6*h + h - k + 360. Suppose 0 = 2*z - 6*z - h. Let t be (-116)/(-36) - (-4)/z. Solve 5*y + 5 = t*i - 5, -4 = 3*i + 2*y for i.
0
Let i(o) = -o**2 - 8*o - 13. Let g be i(-3). Suppose 3*p + 9 = 36. Solve 5 = -z + a + g*a, -p = -3*z + a for z.
4
Suppose 9*n - 3*n = 30. Solve 0 = -3*q + 3*j - 12 - 3, -3*q + 1 = n*j for q.
-3
Suppose 4*x = -5*v - 15 + 7, 5*v + 2*x + 4 = 0. Let m(c) = c + 2. Let t be m(-5). Let z = 6 + t. Solve s - z*w = 13, s = -v*s + 2*w + 9 for s.
1
Let b(l) = -l - 1. Let y be b(-3). Suppose 4*p + 5*j - 19 = 0, -17 = -3*p + p + 5*j. Suppose 0 = -2*q - y + p. Solve -12 = -q*g - 3*g + 4*x, x + 14 = 4*g for g.
4
Let o be ((-12)/(-8))/((-2)/24). Let f = o - -20. Solve -2*q - 13 = s, 2 + f = -3*s + q for s.
-3
Suppose 4*g + 4*l = 0, -13 = -5*g + 4*l + 23. Let z be 12/8*(-2)/3. Let o be (-2)/g*12*z. Solve -3*d = 2*x - 2, 2*d - 2*x - o = 2 for d.
2
Let g = 19 - 19. Solve g = u + 1, 3*u = 4*k + u - 6 for k.
1
Suppose 0 = p + c, -4*p + 43 = -4*c + 11. Solve -p*i - 3 = -2*d + 1, 6 = -2*i - d for i.
-2
Let x(k) = -2*k + 2. Let t be (3 + -5)*(1 - 0). Let y be x(t). Solve -4*q = -5*q - 2*o - 8, 3*o = -y for q.
-4
Let r(i) = -i**2 - 1. Let p(z) = -4*z**2 + 9*z - z + 0*z - z. Let q(s) = p(s) - 5*r(s). Let a be q(-7). Solve -4*k + 15 = -a*g, 6 = -2*g - 0*g + 5*k for g.
-3
Suppose -4*z + 30 = 2*z. Solve 3*j - 28 = -z*o, -4*o - 2*j + 0*j = -22 for o.
5
Let w(c) = -c**2 - 11*c - 14. Let d be w(-11). Let m = -10 - d. Solve -5*s + 7 = -3*k - m, 4*s = -5*k + 31 for s.
4
Let q(u) = 2*u**2 + u + 2. Let t be q(-1). Solve -10 = -5*y, -2*x + 2*y - 12 = -t*y for x.
-1
Let k = 12 - 10. Let d(u) = u**2 - 7*u. Let r be d(7). Let p = 5 + r. Solve -k*b = -b - 2*z - 2, 0 = -2*b - p*z - 23 for b.
-4
Suppose 0 = 5*o - 5*k + 4 + 11, -4*k = -5*o - 16. Let r = o - -12. Solve g = 0, 3*p - 10 = r*p + g for p.
-2
Let g(i) = 2*i**2 + i - 3. Let s be g(-2). Solve 0*m + 2*m = 0, -4*q - s*m = -4 for q.
1
Let v be (-3)/(-7 + 4) - -4. Solve 0 = -5*p - 2*z + 33, -3 = -4*p + 3*z + v for p.
5
Let p(t) = 3*t**2 + 4*t + 2. Let d be p(-2). Suppose 0*u - d = -u. Solve 0 = -j + 5*f - 8, -5*j - 2*f = -4*f - u for j.
2
Let k(g) = 6*g - 26. Let c be k(5). Solve r + 3 = c*y, 3*y - 2*y = 2 for r.
5
Let h be ((-3)/(-2))/(3/8). Let o = 28 - 24. Solve -3*r + 4 = f, o = f + h*r - 0 for f.
4
Let b = 9 + 8. Let z = b - 56. Let l = 57 + z. Solve q - 5*i - l = 0, 5*i = -11 - 9 for q.
-2
Let y(b) = b - 7. Let j be y(5). Let i be 1 + (-3 - j)/1. Solve 3*z + 3*x - 24 = i, 0 = -3*z - 5*x + 21 + 9 for z.
5
Let o be (-8 + 4)/(-1) + -1. Solve a + 5 = y, 0 = 2*a + o*a - 2*y + 13 for a.
-1
Suppose 2*n = n + 3*v + 30, -3*n - v = -110. Solve -4*t + 7*t - 2*j - 2 = 0, 4*t - n = -4*j for t.
4
Suppose 8 = 4*j, -2*v + v - 5*j - 4 = 0. Let w be (-10)/35 - 4/v. Solve -5*b - 3*x + 13 = 0, -3*x + 7 = -w*b + 2*b for b.
2
Suppose -4*g + 5 = q, 0*q + 16 = 2*q + 2*g. Suppose r = 4*s - 14, -s - 5 = 5*r + 2. Solve 4*n + s*w - q = n, -2*n = 3*w - 4 for n.
5
Let n be (-12)/(-36) + 14/3. Solve p + p + 2 = 0, n*y = -3*p + 7 for y.
2
Let r = -24 + 17. Let y(k) = -2*k - 9. Let c(n) = n - 1. Let d(f) = -c(f) - y(f). Let h be d(r). Solve 5*o - 3*v = 11, -3*v - h = o - v for o.
1
Let p = -10 - -14. Suppose -4*l = 2*n - 3*l - 3, 4*n = -4*l + 12. Solve d = s + 5, 19 = -3*s - n*d + p*d for s.
-1
Let n(a) = -6*a**3 + a. Let p be n(-1). Solve p*r - 7 = -2*k - 2*k, 4*k + 2*r = 10 for k.
3
Let d be (-12)/(-8)*1*2. Solve -h + 3*g - 18 = 2*h, 4*g = -d*h + 3 for h.
-3
Suppose 2*i = -2*b, -2*b + 0*i = -i - 9. Solve -b*x - 3 = -0*x, -4*m = 4*x for m.
1
Let h be (16/(-10))/(6/(-15)). Let z be 4/(6/9 - 0). Solve -v - 14 = -z*v + h*d, -2*v - 4*d = 0 for v.
2
Let b = 18 + -8. Let o = -5 + b. Solve 2*n = o*x - 23, -2*x - 7 = 3*n - 20 for n.
1
Let q be (-80)/(-14) + (-6)/(-21). Suppose 0 = -2*i - 4*z - 12, -9 - q = 2*i + 5*z. Let w = 8 + -5. Solve 0 = w*p + 4*a - 3, -5*p + i*p + 4*a = -37 for p.
5
Let s = -67 + 71. Solve -i + 5 = s*i - 5*h, i - 2*h + 1 = 0 for i.
3
Suppose w - d = 1, 0 = -5*w + d + 3*d + 8. Solve -2*o = 5*y, w*o + o + 3*y = 0 for o.
0
Let b = -126 - -135. Solve -2*g = -i - b, 5 = 4*g - 5*i - 22 for g.
3
Let z = 33 - 31. Solve 5*n = 2*t - 7*t + 5, 0 = -z*t - 5*n + 5 for t.
0
Suppose 0 = -h + 2*h. Solve a + 5*i + 10 = h, -5*i = a - i + 8 for a.
0
Suppose 5*v = -3*t - 12, -5*v + 3*t - 18 = -0*t. Let p be 2 - 1/(1/v). Suppose 5*y - 16 + 43 = 4*r, 3*y = 2*r - 15. Solve r*i + a = -9, 1 = 2*a - p for i.
-4
Let b = -45 - -48. Solve b*t = -10 + 1, 3*t + 4 = -5*r for r.
1
Suppose -3*c - 5*m + 28 = 0, 5*c + 5*m = 19 + 41. Let k = -11 + c. Solve -j - 3*s - 17 = 4*j, 0 = -5*s + k for j.
-4
Let s(a) = -3*a. Let w be s(-1). Suppose w*c + 0*c + 4*l = 16, 0 = -4*l - 8. Let q = c - 3. Solve -5*h - z = -2*z + 9, q*z = -5 for h.
-2
Suppose -3*a = -4*d + 18, 2 = 2*d - 0*d + 2*a. Let h be (-3 - (3 - d))*-1. Solve x = 4*t + 19, -17 = 5*t - 5*x + h for t.
-5
Suppose -y + 13 + 22 = 4*a, 5*a - y - 37 = 0. Suppose -5*t = -a*t - 15, 0 = 2*p + 5*t + 17. Solve 1 = -s - x, p*s + x + 36 = 5*x for s.
-5
Let p = 84 + -70. Solve 2*o + 6 = 2*m, 2*m - p = -4*o - 2 for o.
1
Suppose -12*y + 31 = -17. Solve 2*d + 12 = -5*c, -4*d = -y*c - c - 6 for c.
-2
Let o be 0/(-14) - 3*-1. Solve -5*b = o*w + 2*w - 25, 0 = 2*b + w - 5 for b.
0
Suppose 0 = 3*z + z - 4. Let j = -1 + z. Suppose j*v + 5*v = 20. Solve -s - 3*a = -4 + 1, -4*a + v = 3*s for s.
0
Let l be -7*((-24)/7)/4. Let a = l + -3. Suppose 0 = -c + a + 1. Solve -2*s = -2*t - 4, -c*t + t = -4*s + 8 for t.
0
Suppose 25 = -d + 6*d. Suppose 2 = -p + d*r, -6*r - 4 = -3*p - r. Suppose 2*b + b = p*x, 0 = b + 2*x - 9. Solve -3*s - 12 = 2*k - 5*k, 5*s = -b*k + 4 for s.
-1
Let m be 2/(0 + 2) + 1. Suppose u + 4 + 1 = 0. Let i = u - -9. Solve -3*g = -2*g - i, -5*h = -3*g + m for h.
2
Let h(a) = -a + 8. Let x be h(6). Suppose -x*o = -z, 2*z + 5*o = o. Suppose -s = z, -2*s + 6 = 5*f - 4. Solve -4*j + f*b + b + 3 = 0, 0 = 2*j + 5*b + 5 for j.
0
Let s(u) = u**2 - u - 1. Let c be s(-2). Let d = 9 - c. Solve -2*h + d*p = -0*p - 6, -9 = -3*h - 5*p for h.
3
Let s(j) = 4*j + 8*j**2 - 2 + j**3 - 7*j**2 - 3*j. Let d be s(0). Let a(o) = 2*o**2 + 3*o + 2. Let h be a(d). Solve -5*q = h*l + 4, 0*q = 5*q - l + 24 for q.
-4
Let v(z) = z + 7. Let i be v(-5). Suppose -4*u + 4 = -i*u. Solve o = 5, u*j - o = -5*o + 12 for j.
-4
Suppose -5*h + h = 0. Let r(y) = -y**2 + y + 7. Let t be r(h). Suppose t = 2*b + 3. Solve 5*f - 5 = p, -4*f - 7 = -p - b*p for p.
5
Suppose 0 = -3*z - z + 32. Suppose -w - w = 6. Let g = w + z. Solve -12 = -j + 5*t + 15, 5*t + 15 = -g*j for j.
2
Suppose 5*z + 80 = 10*z. Suppose 3*o + 2*c - 14 = -4, 4*o = -4*c + z. Solve 2 = o*p, -5*y + p + 0*p + 9 = 0 for y.
2
Let n = 5 - 1. Let c be -9*(n/6 - 1). Solve 0 = -4*s - 5*q + 9, -c*q = 3*s - 5*q - 1 for s.
1
Let z = -13 + 14. Let q be 3/z + 1 + -1. Solve -a + 4*r + 9 = 0, 2*a - q*r + 7*r + 6 = 0 for a.
1
Suppose -3 = n - 2*n. Suppose 4*g - 3*x - 5 = 0, g - 9 + n = -4*x. Let o(p) = p**2 + p + 2. Let k be o(-2). Solve -5*m - s = g, s + 0*s = -k*m - 1 for m.
-1
Let j be (2/3)/((-1)/(-3)). Suppose 5*l = 4*q + j, -q = -3*l - 0*q + 4. Let s be l - (1/1 - 1). Solve 7 = -s*o + 2*t - 3, -o - 3*t + 11 = 0 for o.
-1
Suppose 0*i = 3*i - 42. Suppose 1 + 7 = 4*y. Solve 5*k - 4*v = -i, y*v + 4 =