+ (-24)/8. Suppose 5 + x = c. Solve 0 = 3*k - c*k + 8 for k.
4
Let y(n) = n**3 - 4*n**2 - 6*n + 7. Let u be y(5). Suppose -u*q = -0*q - 10. Solve 0 = 3*v - 2*v - q for v.
5
Suppose 3*s + 8 = 2*s. Let j(v) = 4*v**2 - 12*v - 7. Let p(n) = 3*n**2 - 11*n - 6. Let c(w) = 4*j(w) - 5*p(w). Let z be c(s). Solve -2*i = z - 0 for i.
-5
Suppose 0 = -4*w + 3*j + 11, 4*w = 2*j - 6*j + 4. Suppose w*b - 2 = 4*y, 3*b - y = -3*y + 11. Solve 0 = b*k - 18 + 6 for k.
4
Let w(b) = -b**2 - 7*b - 6. Suppose -3 + 23 = -4*s. Let r be w(s). Solve 3*d - 16 + r = 0 for d.
4
Let f(v) = -2*v - 16. Let a be f(-9). Solve 6 = -a*g - 0*g for g.
-3
Suppose -4*l = 5*h - 21, 4*l + 27 = 2*h + 69. Suppose l = 2*x + 1. Let g = x + -2. Solve 2*c = -g*c for c.
0
Let y = 49 - 43. Suppose -3*l - 15 = -8*l. Solve -l*n - 3 = y for n.
-3
Suppose 3*r + 12 = 4*w, -w + 3 = -0*w + 5*r. Let m(a) = a**3 - 38*a**2 + 72*a + 2. Let k be m(36). Solve 25 = k*u + w*u for u.
5
Let s(w) = -w**2 + 4*w - 3. Let k be s(2). Suppose 0 = 2*r + 3*o - 3, 4*r - 2*r + o = k. Let v be (r/((-3)/3))/(-2). Solve -2*l + 6 = -v*l for l.
3
Let z = -22 - -26. Solve -j - z = j for j.
-2
Let g be ((-54)/15)/((-12)/40). Suppose 4 = w - 4*o, -w + 3 = w - 3*o. Solve 3*x + 0 + g = w for x.
-4
Let i = 11 - 7. Solve -x - i + 6 = 0 for x.
2
Let g(n) = 2*n**2 + 2*n. Let s be g(-2). Suppose u - s*u = -3. Let x be -4*((-6)/4 + 1). Solve -u = x*r - 3 for r.
1
Suppose -g - 3*b - 30 = -4*g, 0 = -4*b - 20. Let r be 3/(-3)*g*-1. Let x = 1 - -2. Solve -r*y = 17 + x for y.
-4
Let h(r) = -r. Let w be h(0). Suppose -2*d + 8 = -w*d. Solve -d*l = -l for l.
0
Let d be (-6)/27 - (-353)/9. Let x be (-2)/(-13) - 6/d. Let o(m) = m**2 + m + 2. Let g be o(x). Solve -g*h = 2 - 4 for h.
1
Let y = -6 - -10. Solve 0 = -y*u - 1 - 3 for u.
-1
Let u(x) = -x**3 + 3*x**2 + 3*x + 4. Let a be u(4). Suppose i - 3 + a = 0. Solve -h = i*h - 12 for h.
3
Let d be 3/(-5) + 8/5. Solve 4 = -f - d for f.
-5
Let q be 214/10 + (-6)/15. Suppose -65 = -5*b - 5*u, b + u - q = -b. Let l = b - 6. Solve -l*k = k + 12 for k.
-4
Suppose -44*j - 10 = -49*j. Solve 3*m - 1 = j for m.
1
Suppose 2*s = -0*s + 14. Let v = s + -4. Let a = 6 - v. Solve 3*u + 12 = -a for u.
-5
Let p(f) = -11*f**3 - 2*f**2 - f. Suppose 0 = d - 0*d - 5. Suppose 5*z + 13 = -4*q, -4 = d*z + q + 3. Let l be p(z). Solve 4*c + c = -l for c.
-2
Let y(h) = -h**3 - 6*h**2 - 5*h - 27. Let o be y(-6). Solve 0 = c - o for c.
3
Let a(d) = d**3 - 6*d**2 + 5*d + 3. Let w(i) = i**2 + 9*i - 5. Let y be w(-10). Let l be a(y). Let v(h) = -h - 1. Let x be v(-5). Solve -l*r - 1 = -x for r.
1
Let x = 17 + -9. Suppose 0*p = p + x. Let f = p - -11. Solve -n = -0 + f for n.
-3
Let l(j) = -j**3 + 12*j**2 + 14*j - 9. Let q be l(13). Solve 0 = -q*h - 0*h + 12 for h.
3
Let w(v) = -v + 9. Let b be w(4). Solve -1 = -2*k - b for k.
-2
Suppose 7 = 7*f - 0*f. Solve -x + f = -3 for x.
4
Suppose 2*v - 29 = -3*v + 2*j, 0 = v - 3*j - 11. Let a be -1 + ((-3)/(-3))/1. Suppose f = 0, 2 = 2*s - 2*f - a. Solve v = 3*n - s for n.
2
Let f(n) = -15*n**2 + 23*n + 17. Let l(b) = 7*b**2 - 11*b - 8. Let m(t) = -6*f(t) - 13*l(t). Let q be m(5). Solve q*y = 6*y for y.
0
Suppose 0 = 3*c + j + 10, 40 = -3*c - 2*c + 3*j. Let b be (c/3 + 2)*12. Solve b*g = -g - 15 for g.
-3
Let l be -1 + 4*(0 - -4). Suppose -4*r - 3 = -l. Suppose -24 = -3*k + 4*w, 2*k - w = 10 + 1. Solve 5 + r = k*j for j.
2
Let b(w) = 2 - 5*w - w**2 - 1 + 0*w**2. Let n be b(-4). Let o be 15*1 - 9/3. Solve d - n*d + o = 0 for d.
3
Let u = -1 + 7. Suppose -3*p - 21 = -u*p. Solve -13 - p = 5*f for f.
-4
Suppose 0 = -0*f + 3*f - 6. Solve 0 = -0*b + 2*b + f for b.
-1
Suppose -2*y + 22 = 4*c, 3*c - 5*y = 2*c. Solve c = 3*k - 2*k for k.
5
Suppose -25 = 5*m - 10*m, 4*y - 2*m + 6 = 0. Let q be 7 + (-3)/1*y. Solve -8*n = -q*n - 12 for n.
3
Let q(k) = 3*k**2 + 2*k - 1. Let w be q(1). Suppose z = -2*u + 2, -5*z - u + 8 = -8*z. Let h be (8/((-4)/z))/1. Solve -w*s - h = -2*s for s.
-2
Let m(f) = -f + 2*f - f + f**2 - 2. Let j be m(2). Solve -2 - 4 = -j*o for o.
3
Let y = 1 + 2. Let c be (-57)/(-5) + 12/20. Solve c = -o - y*o for o.
-3
Suppose -2 = k + z - 1, 3*k = z + 9. Suppose 5*r - 9 = -v + 24, 0 = 5*r + 5*v - 45. Suppose k - r = -g. Solve -g*c - 7 = 9 for c.
-4
Let h(o) = o**3 - 4*o**2 - 4*o - 4. Let z be h(5). Suppose -25 = -3*d - z. Solve -3*b + d*b = 0 for b.
0
Let b = 20 + -14. Solve 4*w + b = 2*w for w.
-3
Suppose 2*k = 2*a - 2, -4*a - 3 = 2*k - 19. Suppose t + l = a*t, -2*l = -2*t. Solve c + t*c = 4 for c.
4
Let f(o) = -o**3 - 3*o**2 + 4*o + 4. Let r be f(-4). Let v(y) = y**2 - 4*y + 1. Let p be v(r). Solve -2*w + 1 + p = 0 for w.
1
Let j(h) = -h**3 + 3*h**2 + 4*h - 6. Let c be j(4). Let l be (c/(-4))/(12/16). Suppose -2*x - 15 = -65. Solve -l*q - x = 3*q for q.
-5
Suppose w - 3*w + 8 = 0. Solve -w = -6*r + 2*r for r.
1
Let k be 10/(-4)*(-4 - -2). Suppose -2*d = -k - 1. Solve 0 = c - 1 + d for c.
-2
Suppose 86 - 31 = 5*g. Solve -4 = -5*m + g for m.
3
Suppose -2*n - 42 = -5*o + 28, 2*o = -n + 19. Let h = -4 - -3. Let u be 123/o + h/4. Solve 0 = 5*r - 5 - u for r.
3
Let o be 2 + 5/20*0. Solve -m = -o - 3 for m.
5
Suppose -2*q = 5*q - 3*q. Suppose -12 = -2*r - 4. Suppose q*f = r*f - 16. Solve f + 4 = 4*y for y.
2
Let q be 2/(-3) - (-16)/6. Suppose 5*v = 3 + 7. Solve q*l + v*l - 8 = 0 for l.
2
Let s = 14 + -6. Solve -2*t = -4 + s for t.
-2
Let x(i) = -i + 17. Let q be x(7). Let v(c) = c**2 + 3*c + 3. Let r be v(-4). Let g = q - r. Solve g*d + 8 = -d for d.
-2
Let d be 0 + -2 - (-7 + -1). Let b = d + -4. Solve -2*y + 4 = b*y for y.
1
Let a be ((-40)/(-6))/((-2)/(-6)). Solve 0 = -2*n - 2*n - a for n.
-5
Suppose -4*h + 63 = 63. Solve h = 3*m - 0*m + 6 for m.
-2
Suppose -4*w - 4 = 3*p, -p - 5 + 1 = 0. Let a = 0 - 0. Solve a = -w*b - 0 + 6 for b.
3
Let f(j) = -j + 11. Let x be f(11). Suppose 5*y + 5*u - 10 = x, -y + 1 = -2*u - 4. Suppose 0*d = y*d. Solve d*a - a + 4 = 0 for a.
4
Suppose 2 = -z + 2*l + 8, 2*l + 6 = 0. Solve -4*p + 20 = -z*p for p.
5
Suppose 4*v = -4*m + 3*v + 2, 5*m = v - 2. Solve -5*q - 25 + 5 = m for q.
-4
Let l(q) = -q + 13. Let r be l(8). Solve 0*f - r*f = 0 for f.
0
Suppose 2*f + 4 = 3*f. Solve c = -f*c + 20 for c.
4
Suppose 2*k = 3*i - 10, 4*i + 6 = 4*k + 26. Suppose 0*v + 4*v - 36 = 0. Solve -3*f = -i*f + v for f.
-3
Let c = 0 + 14. Suppose c = 2*u + 4. Solve u*o - 9 = 11 for o.
4
Let x(d) = d**3 + 6*d**2 - 8*d. Let a be x(-7). Let l(s) = s**2 - 8*s + 9. Let t be l(a). Solve 5*y - t = 13 for y.
3
Suppose -2*z + 48 = z. Let i be (-12)/(-10)*40/z. Solve -3 = -4*n + i*n for n.
3
Let y = -8 - -6. Let c be (-1)/1*6/y. Solve 2 = -g - c for g.
-5
Suppose -2*n + 4*n = -2*t + 6, -t = 3*n - 7. Suppose -s - n*s + 6 = 0. Solve -s*g - 15 = g for g.
-5
Suppose -2*m - 4*h = -46, -5*h + 14 + 11 = 0. Let i be (-1 + 0)*(1 - m). Suppose -i = -3*g - 0*g. Solve -2*k + 8 = -g*k for k.
-4
Let a be (-5)/(-3 + (-4)/(-2)). Let w = a + 1. Solve -3*o + w = -o for o.
3
Let y = -35 - -35. Solve y = i - 3 + 2 for i.
1
Let z = 32 + -17. Let o be -9*(z/9 + -2). Suppose 0 = -o*l + 4*l. Solve l = 3*g + g - 16 for g.
4
Suppose -9 = -l + 5*i + 3, -5*l - 2*i = -6. Solve -3*w = l*w for w.
0
Let x = 24 + -16. Let a be (1 - -1)*x - 0. Solve 5*o - o = a for o.
4
Let p be (-1)/(1*(-4)/16). Solve -12 = -p*l - 4 for l.
2
Suppose -4*b = -x - 9, -5*x = -5*b + b - 3. Solve 2*z = b*z - 1 for z.
1
Suppose -b + 0*i = 2*i - 10, 2*b - i - 5 = 0. Let x be b + 1*1*-2. Solve -7*m = -x*m for m.
0
Let f(h) = h**2 - 10*h + 15. Let m be f(11). Let b = -23 + m. Let c = 0 - -2. Solve -b*a = c + 10 for a.
-4
Suppose 3*p + 25 = -2*p + 3*i, 0 = -2*i. Let n be 0 + p + 1 + 8. Solve -9 = n*o - 25 for o.
4
Suppose -i - 3 + 4 = -3*r, -5*i = -2*r - 5. Let k be 0/(1*(0 + i)). Solve 0 = -5*q - k*q for q.
0
Suppose -4*k + 5*k = 2. Suppose -4 = -k*j + j. Solve -f = j*f + 20 for f.
-4
Let p be (-3 - -9) + (-1 - -1). Suppose -5*n = -o - 29, 4*n - 5*o + p*o = 25. Let v be n/4*4/3. Solve -u = v*u for u.
0
Let r(y) = y**2 + 2*y - 2. Let h be r(-3). Suppose 9 - h = 2*a. Solve a*b + 1 = 3*b for b.
-1
Let a be 0*(-2)/4 - -25. Let m = 3 - -2. Solve 0*z + a = -m*z for z.
-5
Let j = -29 + 21. Let f be j/(2*3/(-3)). Solve 0 = 4*r + f + 4 for r.
-2
Suppose -4*g + 20 = 0, 0*t - 2*t + 4*g = 12. Suppose i + 2*a = 11, -t*i + 28 = -2*a + 4. Solve -2*f + 20 = -i*f for f.
