-y*x. Solve x*o + 4 = o for o.
4
Suppose l - 7 - 5 = 0. Suppose 0 = -m - 2*m + l. Let n be ((-1)/3)/(1/(-6)). Solve -2*j - n = -m for j.
1
Suppose 2*f - 3 = 5*k - 24, 3*f - 4*k = -14. Suppose -u = -f*u. Solve u = -2*o + 5*o for o.
0
Let m be 2/(-8)*-15*4. Suppose 0 = 5*y + c - m, -y + 7 = 4*c - 15. Let t be 14 + -12 + -1 + 1. Solve t = y*u - 2 for u.
2
Let y = -13 - -20. Solve 2*m - 25 = y*m for m.
-5
Suppose -4*o + 0*o = 8. Let x be o*(-1 - (-7)/(-2)). Solve x*z - 5 = 4*z for z.
1
Let u(g) = -g**3 + g**2 + 4. Let m be u(0). Suppose 6*l - 4*l - 39 = -5*b, 22 = 2*b + m*l. Suppose 2*d - b*d + 30 = 0. Solve -4*y + d = -6 for y.
3
Suppose -3*i - 4 = -13. Solve i*y - 16 = -y for y.
4
Let h(z) = -z**2 - 9*z + 2. Let t be h(-9). Suppose t*y = 4 + 6. Let r = 2 + 1. Solve -2*f - r = y for f.
-4
Let b = 25 + -23. Solve b*f = -2*f for f.
0
Let o be ((-6)/5)/(8/(-20)). Solve o*c = 3 + 3 for c.
2
Let y be -5*16/(-140)*14. Solve y = 4*q - 2*q for q.
4
Suppose -4*v + 3*i + 13 = -0*v, 2*v + i - 9 = 0. Let u = -16 + 15. Let x = v + u. Solve -x*c - 8 = 4 for c.
-4
Let r(a) = -5*a**2 - 8*a - 3. Let l(d) = 9*d**2 + 16*d + 5. Let f(s) = -4*l(s) - 7*r(s). Let i be f(-8). Let c = 24 + -11. Solve -i = -3*q - c for q.
-4
Let z(f) = -f + 2. Let y be z(8). Let n be 3/(-9) - 2/y. Solve -w - 4*w + 25 = n for w.
5
Let b be (-5)/3*(-3 + 0). Let t be 12/18*(-9)/(-2). Let z be ((8 - t)/5)/1. Solve 2*c + z = b for c.
2
Let o(z) = -z + z + 3*z - 5*z. Let s be o(-2). Solve s*l - 4 = 12 for l.
4
Let w(p) = -15 + 13 - 4*p**2 + p + 3*p**2 + 4*p**2. Let o be w(-2). Solve 0 = -5*j - o - 2 for j.
-2
Suppose -2*k + k = 3*s - 14, 66 = 3*k - 3*s. Let d be (-5 - -5)/((-4)/(-2)). Solve -2*n + 6*n - k = d for n.
5
Let i(b) = -b**3 - 9*b**2 + 4*b + 12. Let q be i(-9). Let u be ((-12)/q)/((-2)/(-4)). Solve 0 = -a + u - 2 for a.
-1
Let h(x) = 2*x - 8. Let j be h(5). Solve j*m - 4 = -2*m for m.
1
Suppose 2*c = 4*c - 14. Let y(u) = u**2 - 8*u + 7. Let d be y(c). Suppose -n = 1 - 5. Solve n*t + t + 25 = d for t.
-5
Let d(k) = -k**3 + 15*k**2 + 1. Let r be d(15). Let x be ((-10)/2)/(0 - r). Solve 2*n + x = 3*n for n.
5
Let n(a) = a**2 + a. Let q be n(-1). Suppose q = 5*r - r - 56. Let s be 12/(-6) - r/(-2). Solve s*c - c = 4 for c.
1
Suppose 0 = -3*x + 4*x + 4. Let w = x - -7. Solve 1 = 4*l - w for l.
1
Suppose 3*u = -5*f + 35, 4*f + 4*u - 41 = -u. Solve f*v = 2*v - 2 for v.
-1
Let c = 1 - 0. Suppose -c = v - 4. Solve 2*r = 5*r - v for r.
1
Let b(t) = 2*t - 16. Let f be b(9). Solve -f*p + 6 = p for p.
2
Let x(o) = -o**3 - 2*o**2 - 2*o - 1. Let v be x(-1). Suppose 4*r - 52 + 8 = v. Suppose 4*y = 1 + r. Solve -2*u - y*u = -20 for u.
4
Let k(w) = w**2 + 4*w + 2. Let y be k(-6). Let u be 105/y - (-2)/(-4). Let b(a) = a**2 - 6*a - 7. Let q be b(u). Solve -6*h + h = q for h.
0
Let m = 18 + -16. Solve -3*r = m - 5 for r.
1
Let r(o) = -o**2 + 11*o + 2. Let b be r(11). Solve -8 = -b*j + 4*j for j.
-4
Let j = 13 - 16. Let g be j/4 - 46/(-8). Solve 0 = 2*k - g*k - 6 for k.
-2
Let j(r) = -r**3 - 6*r**2 - 5*r + 12. Let t be j(-5). Solve -t = 5*q - q for q.
-3
Let l(o) = o**2 + 7*o + 8. Suppose -5*z + 4*p - 27 - 19 = 0, 0 = z - 3*p + 18. Let r be l(z). Let m = r - -1. Solve -j = -m*j + 6 for j.
3
Let d be (-6)/(-42) - (-3)/(-21). Let j = -7 - -10. Suppose 4*i = h + 16, -i - j*i = h - 16. Solve -x + d - i = 0 for x.
-4
Let g(v) = 2*v**2 - 8*v + 6. Let n be g(3). Solve 4*q + n = 4 for q.
1
Let y be (-3)/((-11)/2 + 4). Solve 0 = -y*m - 2*m - 8 for m.
-2
Suppose 0 = 5*s + 3*u - 12 - 9, 0 = -3*s - 5*u + 3. Let h(x) = x**3 - 7*x**2 + 5*x + 8. Let r be h(s). Solve r*g = 5*g + 3 for g.
-1
Let p(n) = -n**3 - 9*n**2 - 11*n - 19. Let a be p(-8). Solve -4*k = -3 - a for k.
2
Suppose 50 = 5*p + 20. Solve p = 3*s - 6 for s.
4
Let t = 9 - 9. Suppose -3*k - 2*d - 3 = -t, -2*k - 2*d = 4. Solve -2*u = -k - 1 for u.
1
Let k(x) = x**3 + 6*x**2 + 7*x + 3. Let i be k(-5). Let v = -3 - i. Solve r = -v*r + 15 for r.
3
Let o = -6 - -10. Let y(z) = 2 - o*z + 6 + 3*z. Let k be y(7). Solve 0 = 2*v + 3 + k for v.
-2
Let z = 19 - 15. Solve -z*s = -2 + 6 for s.
-1
Let z be (-8)/3*3/(-2). Let w = 9 + -3. Solve -b - w = -z*b for b.
2
Let g = -15 - -17. Solve 20 = -g*v + 6*v for v.
5
Suppose -2*s - 6 = -5*m, -5*m - 4*s - 2 - 10 = 0. Suppose 0 = -m*l - l. Let z be (-1 - l/(-2))*-1. Solve -2*w + 7 - z = 0 for w.
3
Suppose 5*v + 2*x - 22 = -8, 0 = 2*v - 2*x - 14. Solve -14 - 2 = -v*j for j.
4
Let u be -9*2/(-4) - 1/2. Solve -2 = u*m + 2 for m.
-1
Suppose -s - 2 = -7. Suppose -5*v - s*q + 4 = -11, 3*v = 2*q - 6. Solve v = -4*p + 1 - 5 for p.
-1
Let m be (-4 + 8 - 2) + 3. Solve -25 = -0*w - m*w for w.
5
Let v(f) = f**3 + 2*f**2 - 6*f - 3. Let d be v(-4). Let h be (-3 - d) + 3 - 3. Solve 2*c + 2 = -h for c.
-5
Suppose 2*p = 7*p. Solve -3*o + 2*o - 1 = p for o.
-1
Let b = -31 - -35. Solve 0 = 3*z - z - b for z.
2
Let q = 6 - 12. Let w(k) = k**3 + 6*k**2. Let m be w(q). Solve c - 1 - 2 = m for c.
3
Let o(n) = -2*n**2 + 10*n - 1. Let c(b) = -b**2 + 5*b. Let l(y) = 11*c(y) - 6*o(y). Let t be l(5). Solve p + t = -p for p.
-3
Let v = 10 - -2. Suppose -o - 3*o = -v. Suppose 4*y - 5 = o. Solve -y = -i - i for i.
1
Let y = -70 - -307. Let f be y/27 + (-4)/(-18). Suppose 5*v - 6 - f = 0. Solve -2*t = v*t + 15 for t.
-3
Let n be 0/2 - (-8 - -4). Suppose -n = 2*m, 14 = 3*j - 3*m + 2. Suppose -j*v + 37 + 1 = 3*s, -4*v - 4 = -2*s. Solve 7*r = 5*r + s for r.
5
Let n be ((-462)/15)/(-2) + (-12)/30. Solve 0*u + 5*u + n = 0 for u.
-3
Suppose 2*j = 2*i + 16, 2*i = j - 0 - 4. Solve 6*k - 9*k + j = 0 for k.
4
Suppose 4*v - 4*g = -8, -2*v - g + 4*g = 8. Solve 3*h - v - 1 = 0 for h.
1
Let k(v) = v**2 - 9*v + 3. Let y be k(7). Let z = -11 - y. Solve z = -a + 4 - 8 for a.
-4
Let u = 4 - 8. Let l = -2 - u. Let s(i) = i**3 - 4*i**2 + 2*i - 5. Let t be s(4). Solve -3 = -t*k + l*k for k.
3
Suppose 2*s + 6 = n + 3*s, -3*s = -5*n + 6. Suppose -6 - n = 3*f. Let z be (2 + 8/f)*-3. Solve -2*k + z = 4 for k.
-1
Let l be 6/(((-18)/4)/(-3)). Solve -7 = -l*h - 3 for h.
1
Let i = 84 - 44. Suppose 0 = 4*x + x - i. Solve -5*c + x = -12 for c.
4
Let m be (4/6)/((-5)/(-30)). Suppose -m*k + 12 = -0. Solve k = c - 2*c for c.
-3
Let q be (4/(-3))/(6/(-9)). Suppose q*v = -v + 9. Let g = 18 - v. Solve -3*d = -0 + g for d.
-5
Suppose 0 = y + 3 - 5. Suppose -y*j = 4*q, -6*q + q = -5*j + 15. Let l = j + -2. Solve -r + l = -3 for r.
3
Let x = -46 + 50. Solve x*i = 3 + 13 for i.
4
Suppose -2*t + 4*t - y = -5, -4*t = 2*y - 2. Let p be (t - -17)/(6/3). Let r(f) = 4*f**2 + f - 1. Let c be r(1). Solve c*x - 2*x = p for x.
4
Suppose -h + 3*c + 17 = 0, -4*c - 35 + 7 = -4*h. Suppose 0 = 3*j + 3*j - 30. Solve j = -h*v + 3 for v.
-1
Suppose 0 = 2*s - 1 - 9. Suppose -i + 5*b = 4 + 9, -3*b = 3*i - 33. Solve i*k = 2*k + s for k.
1
Let b = -3 + 6. Solve -2*o = -5*o - b for o.
-1
Let u = -146 - -148. Solve -y - u = -0 for y.
-2
Let x = -22 - -31. Solve -x = -f + 4*f for f.
-3
Suppose o = 3 - 1. Suppose 4 + 0 = o*v. Suppose 4 = v*t - j, -5*t + 8*j + 10 = 4*j. Solve b - t - 3 = 0 for b.
5
Suppose b + 15 = 4*b. Solve -4*u - b = u for u.
-1
Let t = 28 + -21. Solve 15 = -4*a + t for a.
-2
Suppose -2*q + 7*q = 15. Suppose 19 = 5*i + w, -5 + q = 2*i - 2*w. Solve 8 = i*k - k for k.
4
Suppose -17 = -v - 3*x, -7 = 4*v - 3*x - 0*x. Let f = 9 - 7. Solve 4*c + v + f = 0 for c.
-1
Let q(x) = -x**2 + 5*x + 2. Let k be q(5). Let r be (-35)/(-14) - 1/2. Suppose g = k*h - 4*g + 20, -r*h = -3*g + 12. Solve 0 = 4*u - h - 16 for u.
4
Let o be (-29)/(-2) + 5/(-10). Suppose -o = -f - f. Solve 3*z + 19 = f for z.
-4
Let d = 4 + -1. Suppose 3*f + 4*q - 35 = 0, 4*f - 40 = -0*q - 2*q. Solve d*j + 0*j = f for j.
3
Let g(p) = -p + 4. Let f be g(4). Let i(t) = -t - 2. Let v be i(-4). Suppose -3*y - 4 = -5*y. Solve -v*d = y - f for d.
-1
Let y(n) = -n**3 + 12*n**2 - 10*n - 11. Let z be y(11). Suppose h - 5*c - 16 = 0, 13 = 5*h + 5*c - 7. Solve z = -0*a - 2*a - h for a.
-3
Suppose -10 = -2*x - 0*x. Suppose 3*f = u - 6*u + 25, 5*f + x*u = 45. Solve f + 2 = 3*v for v.
4
Let z(y) = y**2 + 5*y - 6. Let k be z(-6). Let o be ((-6)/(-4))/((-1)/(-2)). Suppose o = 3*x, -3*m = 3*x - 0*x - 15. Solve k = m*j - j for j.
0
Let s = -2 + 7. Let j = 9 - s. Solve -j*x = x for x.
0
Let p = 11 + -6. Solve 0 = p*d - 23 + 3 for d.
4
Let z(j) = j + 35. Let g be z(-