Let a = 6 + -3. Solve -x = -o, -k*o + 4*x = a - 4 for o.
1
Suppose -110 = -5*i + 20. Solve 2*v + 4*k + i = -0*k, 27 = -3*v - 3*k for v.
-5
Let f(n) = -n - 4. Let k be f(-5). Solve -5*p + 25 = -c, 3*c - k = -3*p - 4 for c.
-5
Suppose -4*f - 3*w + 14 + 21 = 0, 4*f = 4*w. Let m be (2/4)/((-1)/(-10)). Solve m*y - 2*a - 25 = 0, -4*a - f = -y - 0 for y.
5
Let f(u) = u**3 + 3*u**2 - 4*u + 5. Let b be f(-4). Solve 5*x + 3*j + 22 = 0, x - 15 = b*x + 5*j for x.
-5
Let h = -83 + 92. Solve -o + 34 - h = 4*d, 5*d = -o + 30 for d.
5
Let k be (-1)/(9/(-25)) + 8/36. Solve w + 1 = 4*l + 11, 3*l + 12 = k*w for l.
-2
Suppose 0 = 13*i - 39*i + 78. Suppose -4*p + 22 + 26 = 0. Suppose x - p = -0*x. Solve 2*l - 7 = -i*w, -4*l + 9*l = -2*w + x for w.
1
Suppose t = 6*t - 10. Solve -2*u + 6 = -t*a, 2*u + 13 = -4*a + 5*u for a.
-4
Suppose 2*f = 6*f. Solve f*j + 4*j = -g + 18, 2*j = g + 12 for g.
-2
Let x = -6 - -11. Suppose -5*z + 5 = 5*f, -f = -3*z + z + x. Suppose 0 = -4*k - 3*q + 44, 3*k = z*k + q + 4. Solve 4*u - k = 0, u = -s - 0*u + 5 for s.
3
Let u = 6 - 3. Suppose -3*a + w + 7 - u = 0, -a - 12 = 3*w. Suppose 4*t = 2*p + 10, 3*p + 3 + 0 = a. Solve -4*c - 4*m = -2*m + 14, -5*c + t*m = 13 for c.
-3
Suppose 3*k = k + 2. Let u = 1 + k. Solve -2*x = -4, x + u = 4*f - 16 for f.
5
Let y(q) = -q**2 - 11*q - 5. Let i be y(-10). Solve -4*z - 2*h + 0*h = 22, -i*h - 15 = 2*z for z.
-5
Let l be 15/(-3) - (0 + 3). Let f be (-2)/(-5) - l/5. Solve m = f*q - 0 - 2, 20 = -5*m for q.
-1
Suppose -3*y - 2*p = -2, -2*y + 4*p - 2 = 6*p. Solve -5*u - y*w + 12 = -3*u, 8 = 2*w for u.
-2
Let c be ((-1)/(-3))/((-3)/(-27)). Let i be (10/(-4))/(2/4). Let j(z) = -z - 1. Let h be j(i). Solve m + m = -c*f + 2, 2*m - 2 = h*f for f.
0
Suppose -5 + 21 = 4*q. Let n be (0/10)/(-1 + -1). Solve n = -3*x + q*s - 12, 4*x + 8 + 8 = -5*s for x.
-4
Let c be 12/(-9) - (-8)/6. Solve -4*k - 2*z + 6 = c, 0*k = -2*k - 2*z for k.
3
Suppose 5*x - 17 = -0*c + 3*c, 5*x - 4*c - 16 = 0. Solve -4*d + 2 = 5*j - 3*j, -3*j + 1 = x*d for d.
1
Let c = 1 + 3. Solve -8 = -3*g - c*p, 3*g - 5*p = -0*p - 10 for g.
0
Let k(c) = c**3 - 8*c**2 - 10*c + 11. Let a(p) = 2*p - 7. Let m be a(8). Let w be k(m). Let u = 6 - w. Solve n + 15 = 5*n + 5*o, 4*n + 12 = u*o for n.
0
Let y = -2 + 5. Suppose 3 = b - y. Suppose -b*t = -9*t + 54. Solve -u + 8 = 3*j, j + 2 - t = -3*u for j.
1
Let s be (6/6)/(1 + 0). Suppose s = -p + 12. Solve 5*c + 0*c + p = -r, -r + 5 = -3*c for c.
-2
Let r be 4 + (0 + 1)*-1. Let y = r + 4. Let z(m) = -m + 9. Let b be z(y). Solve 2*u + 20 = -b*i - i, -4*u + 2*i - 8 = 0 for u.
-4
Let p(n) = 3*n**3 - n**2 + 5*n - 3. Let k be p(1). Solve -3*i - 9 = -2*l, -k*l + i + i = 2 for l.
-3
Let x be 6 + 0 + -4 + 3. Solve 16 = 4*i + 2*c, -4*i + 14 + 2 = x*c for i.
4
Suppose -f = -4*f + 2*p - 10, f + p = -10. Let w = f + 19. Solve -4*m = -3*o - 8, 2*m + m - w = 4*o for m.
-1
Let v be 12/4*(-4)/3. Let o(s) = s**3 + 3*s**2 - 4*s + 3. Let w be o(v). Solve -4*z - z - 10 = 4*a, w*z - 4*a = -6 for z.
-2
Suppose -p - 24 = -2*p. Solve 2*m = 4*l + 26, 2*m = -4*l + 10 - p for m.
3
Suppose o - 5*o = 0. Suppose o*s - 44 = -2*s. Suppose -s = -4*q - 2. Solve 0 = -q*d - 5, -m - d + 4 = 3 for m.
2
Let l be (-2)/(-9) - (-215)/45. Suppose -l*s = 2*w - w - 33, 0 = -s - w + 5. Solve -h + 2*h + 3*y - 10 = 0, -h = 2*y - s for h.
1
Suppose 3*p - 2*v = 21, 5*v + 29 + 11 = 5*p. Suppose s = 2*s. Suppose 0*g - 3*g = l - 4, 5*l - 62 = -g. Solve 5*q - 4 = 2*x - s*x, l = -q + p*x for q.
2
Let s be ((-25)/(-10))/((-2)/(-4)). Solve d = -4*d - 4*u - 13, s*d = -3*u - 16 for d.
-5
Let h = 86 + -79. Solve -3*m + h = -2*f, 3*m = 4*f + 7 + 10 for m.
-1
Suppose 3*q = -0*q + 36. Let z be (-8)/q - 22/(-6). Solve -4*b + 3*y + z = -1, -b + y = 0 for b.
4
Let d be (-3 - -4)/(((-3)/(-9))/1). Solve -24 = -4*x + 4*m, 2*x = 7*x - d*m - 22 for x.
2
Let s = 38 - 36. Suppose 4*l = -4*m - 8, -4*m + 18 = -l + 1. Solve -r + 3*q + 3 = s*q, 0 = 3*r + m*q + 9 for r.
0
Suppose 2*b - 10 = -4*d, -2*b + 0*d + 2*d + 4 = 0. Solve 4*v + 22 = 3*g, -g + b*v = g - 16 for g.
2
Let m = 4 + 0. Solve 2*s + 3*h - 3 = m*h, 0 = -s + 4*h - 9 for s.
3
Let j be (-2)/8 - 51/(-12). Suppose -2*b = j*m - 6, -4*b - m + 15 = b. Solve -3*k + 4*k - b*l - 12 = 0, 0 = k + l for k.
3
Let o(b) = 7*b**3 + 2*b**2 - b. Let j be o(1). Suppose j + 0 = 4*x. Solve x*t = -2*l - 0*t, -l + 5*t = 6 for l.
-1
Let t be (-4)/3*6/4. Let f = 7 + t. Let p = f + -5. Solve p = -4*d - 5*x - 6, -5*d + 4*x + 5 + 8 = 0 for d.
1
Suppose -9 = -2*c + 5*c. Let h be (c - -8) + -2 + 0. Solve -y = h*y + 3*o - 4, 3*o = -2*y + 8 for y.
-2
Let o = -69 + 103. Let q be o + (7 - 1)/3. Solve 5*l - q = -5*t + l, -t - 4*l + 20 = 0 for t.
4
Suppose -6 + 0 = -2*t, -5*g - t = -13. Solve g*i - 2*q = 10, -2*q = 2*i + 2*q - 10 for i.
5
Suppose 20 = 4*m - 12. Suppose j - m = -j. Solve -u - j*y = -4*u + 5, -4*u + 4*y = -4 for u.
-1
Let v(y) = -y**3 - 6*y**2 - 3*y + 11. Let g be v(-5). Solve -x = -5*f + 1 - 0, -f - x = g for f.
0
Let x = -7 + 9. Suppose -4*b = b + 4*p - 10, -3*b = -5*p - 43. Solve 5*k = 2*u + 1 + 5, k + b = -x*u for k.
0
Suppose -3*i + 12 = 3*w, -6*w + 3*w = 5*i - 12. Suppose -25*s + 28*s - 6 = 0. Solve 5*y + 0*f = -w*f - 22, -s*y - f = 7 for y.
-2
Let u = 7 - -11. Solve i = 4*i + 3*l - u, -5*l + 12 = -i for i.
3
Let y be (120/(-90))/((-4)/3). Solve -5*p + c - 3*c - 5 = 0, -3*p = 2*c - y for p.
-3
Suppose -3*g - 14 = -z, 3 = -4*z - 5*g - 9. Let h(w) = 2*w**3 + 2*w**2 - 4*w + 2. Let b be h(z). Solve 3*r - b = -q, -2*r = 3*q - 3*r - 4 for q.
3
Let d(w) be the first derivative of w**3/3 + 4*w**2 - 2. Let f be d(-8). Let b = 4 - f. Solve 0 = b*s + 2*z + 6, 2*s - 6 = -4*z - 0*z for s.
-3
Suppose 2*s - 16 = -0*f + 4*f, -s - 4*f = 16. Suppose -4*o + 2*o + 10 = s. Let c = 5 - o. Solve -1 = -3*n + 4*k, 0 = -n + 5*k - c + 4 for n.
-1
Suppose -4*r + 4 = -2*y, 2*r = y - 2*r + 6. Suppose 0*w + 4*w = 16. Suppose -w = -4*t + y*t. Solve -2*f + 5*f + 2*i = 4, 0 = t*f - 5*i + 10 for f.
0
Suppose 3*u - 4 - 32 = 0. Let i be (-4)/(-6)*(-3 + u). Solve 4*k - i = -3*q + 4*q, -20 = -5*k - 5*q for k.
2
Suppose -2*b - o = -6 - 28, -2*b = -2*o - 28. Solve 2*g + 5*y + b = 0, 5*g + 5 = 2*y - 6 for g.
-3
Let f(q) = q**3 + 4*q**2 - 7*q - 7. Let m be f(-5). Let z = -48 - -48. Solve z = m*b + 15, r + b = -b - 12 for r.
-2
Let i = -17 - -25. Suppose 3*j = 5*k - 0 + 2, -i = -2*k - j. Let q be 0*5/35 - -6. Solve v - k = 4*c, 3*v + 4*c - q = 8*v for v.
-2
Let t = 65 + -63. Solve l + q = -t*l - 15, -2*q = 6 for l.
-4
Let y(v) = v**2 + 16*v + 15. Let c be y(-16). Solve -3*o + s = -0*o + c, 2*s = 0 for o.
-5
Let i be 3 - ((-3 - (-8 - -3)) + -1). Solve q = 3*o - 2, -i*q - o + 8 = -2 for q.
4
Suppose -7*i + 29 = 4*j - 2*i, -4*j - 4*i = -24. Let n be 122*((-2)/4 + 1). Suppose 0 = -g, 5*f = -2*g + n - j. Solve -3*u - f = -3*k, 3*u + k + 8 = -2*u for u.
-2
Let o be (-4)/(-3)*(-66)/(-4). Let k = o + -14. Solve t = z - 3, 4*z + 0*t - 2*t - k = 0 for z.
1
Suppose -4*k - 3*h + 35 = 0, 0 = -k + 2*h - 0 - 5. Solve -k*d + n + n = 24, -n = -2 for d.
-4
Let h be 21 - 0 - (-1 + 2). Let s = -2 + 2. Suppose -5*j + 2 = -4*j. Solve s = -r - 4, -2*r - h = -j*z + 3*r for z.
0
Let m be -3*1/3*-4. Solve 3*s = 5*s + d - 3, m*d + 24 = s for s.
4
Let u = 13 - 1. Let d be ((-4)/(-6))/(4/u). Solve 24 = 2*g + 4*i, 0 = 5*g - d*i + 3 - 15 for g.
4
Let n = -2 + 2. Suppose -4*k + k = n. Solve 4*q + 12 = x, k = 3*q - 0*q + 2*x + 20 for q.
-4
Let n = 75 - 70. Solve -3 = q - 2*h - n, -5*h = -2*q + 4 for q.
2
Suppose p + 4*s + 9 - 1 = 0, 5*p + 5*s - 5 = 0. Solve -2*x + x = -p*g - 1, -15 = 5*x for g.
-1
Let f be (-24 - -19)/((-10)/4). Let t be (-4)/6 - 11/(-3). Suppose 4*p = -13 + 1, 2*p - 33 = -t*i. Solve 4*z - 3 - 3 = f*q, 0 = 2*z + q - i for z.
4
Let d be 3*(-32)/(-18)*-3. Let r = d + 34. Solve u - 5*u = 3*k - 11, 2*u = -4*k + r for u.
-1
Let s be (-27)/12 - (-1)/4. Let h be (-2 - -3)*s + 4. Solve -4*b = 5*o + 27, -b + 3 = h*o - 4*b for o.
-3
Let b(q) = q**3 + 6*q**2 + 2*q + 7. Let l be b(-5). Let v be 1 - -38 - 1/(-1). Let o = v - l. Solve 2*i + 6 = d, -4*i + 0*i - o = d for d.
-2
Suppose -z + 3*q - 4*q = 0, -2*z + 12 = 5*q. Let a = 0 - z. Solve -a*m + m - 2*u - 13 = 0, -3*m + u - 16 = 0 for m.
-5
Let s be ((-14)/4)/((-2)/(-4)). Let i = 9 + s. Suppose -y - i*y + 48 = 0. Solve 2*l = 4*d - 0 - 8, -y = 4*l + 2*d for l.
