0, -2*k - 35 = -b. Let i be (-2)/4*k/2. Suppose 2*s = 5*w - 2, 1 = w - 2*s - 1. Solve -2*q + w*q - i = 0 for q.
-2
Suppose -c + 4*c + 9 = 0, -2*b = c + 5. Let z be (10*(-2)/4)/b. Solve z*o = 2*o - 3 for o.
-1
Let b(j) = 4*j + 1. Suppose 0 = -4*c + 16, -2*n + 2*c = -19 - 3. Suppose -5*z = -0*z - n. Let t be b(z). Solve 2*w - t + 5 = 0 for w.
4
Let a be (-8)/(-12)*(-1 + 4). Suppose -3*v = -4*x + 4, -a = -5*x + 3. Suppose 0 = c - v*c - 5. Solve -c*g + 12 = 32 for g.
-4
Suppose 22 - 16 = 3*h. Solve -3*g - 5 = h*g for g.
-1
Let x be ((-7)/(-2))/((-2)/(-4)). Suppose 2 + x = 3*h. Solve 15 = 2*f + h*f for f.
3
Let s be (-6)/(-9) + 8/6. Let h = s + 0. Let d = 0 + h. Solve d*x + 0 = -4 for x.
-2
Suppose -2*u - 4*u + 36 = 0. Solve -u = 2*x - 2 for x.
-2
Let c(v) = -v**2 + 2. Let y be c(-1). Solve 0*z + y = z for z.
1
Let w(q) = 9*q - 108. Let h be w(12). Solve h = -j - 2*j for j.
0
Let i = 35 + -25. Let o = 14 - i. Let a(n) = 2*n**3 - 4*n**2 + n + 2. Let f be a(2). Solve 0*x - o = -f*x for x.
1
Let x be (13 + -12)/(2/20). Let m be (4 - (1 - -1)) + x. Solve 3*y - m = 6*y for y.
-4
Suppose 0 = 8*d - 3*d. Suppose -25 = 5*x, -3*g = -x - d*x - 14. Solve -6 = -0*b + g*b for b.
-2
Let p be (-4)/(-8) - (-5)/2. Suppose -3*b + p*m - 9 = -4*b, -2*b - 3*m + 12 = 0. Suppose -4*y + 59 = -2*f + b*f, -3*y = -f - 39. Solve -6 = 5*s + y for s.
-4
Suppose -u + 0*u + 3 = 0. Suppose 0 = -4*q - 0*q + 2*c, -5*q - 1 = -u*c. Solve -p + 2 = -q for p.
3
Let c(j) = 1 - j**2 - 4*j - 2 + 0*j**2. Suppose l + 6 - 3 = 0. Let y be c(l). Solve 0 = -y*v + 5*v - 12 for v.
4
Suppose -264*v + 12 = -261*v. Solve -k = v*k for k.
0
Let h = -9 - -13. Let g(c) = 2*c. Let f be g(1). Let b be (-12)/(-9) + f/(-6). Solve -h*n + b = -19 for n.
5
Let m be 2/5*15*1. Suppose -2*j + m = j. Suppose -3*c + 2*y + 1 = 0, 5 = 3*c + j*y - 12. Solve -c*g + 8 = g for g.
2
Let p(k) = k**3 + 10*k**2 - k - 10. Let u be p(-10). Solve 4*o + o - 25 = u for o.
5
Let d(b) = -b - 4. Let m be d(-6). Suppose m*k + 25 = 7*k. Suppose -x + 1 = -k. Solve -x*z + 2*z = -12 for z.
3
Let x be (18/4 - 3)/(3/8). Solve -4 = -x*o - 0*o for o.
1
Suppose 17 = 6*u - 13. Solve -2 = u*x - 7 for x.
1
Suppose -15 = -4*v + 5. Let r be (8/v)/(4/10). Suppose -5*q + 16 = i, -2*q - r*i + 10 = -0*i. Solve -o + q = -0 for o.
3
Suppose j - 1 - 1 = 0. Solve j*y - 7 = 3 for y.
5
Let i(l) = -l**2 - l + 5. Let q be i(0). Solve -q*w = -w for w.
0
Suppose 5*t + b = 2 + 28, 3*b = 5*t - 30. Suppose t*w - 7 = 23. Solve 0 = -w*f - 13 - 7 for f.
-4
Let l = -5 - -6. Let v be 1/(2/6*l). Suppose 4*j = -3*k + 30, k - 2*k = -j - v. Solve k*w = 3*w - 15 for w.
-5
Let f = 24 + -2. Solve 0 = 4*p + f - 6 for p.
-4
Let w be 0/(-2) + 2 - (-5)/1. Solve 27 - w = -4*y for y.
-5
Let i(o) = -o**3 - 5*o**2 + 6*o - 4. Let f be i(-6). Let p(v) = -v**3 - 4*v**2 - 3*v - 6. Let k be p(f). Solve k*l = l + 20 for l.
4
Let q(t) = -t**2 + 4*t. Let l be q(3). Suppose -3*c = 0, -l*w - 4*c = -0*w. Solve w*y + 2 = y for y.
2
Let j be 122/8 - (-1)/(-4). Suppose 0 = 5*n - 15 - j. Suppose -a + 3*a = n. Solve -a - 7 = -5*s for s.
2
Let o be (0 + -3 + 3)/(-2 + 1). Solve o = -k - 0*k + 3 for k.
3
Suppose -v + 4*m = 3*v - 60, -5*v + 70 = -4*m. Let a be (2 + -1)/((-5)/v). Let b = 12 + a. Solve 0 = -3*p - 5 - b for p.
-5
Suppose 2*b + i - 8 = 0, 0*b + b + 3*i = 14. Solve -9 = b*t - 1 for t.
-4
Let c = 12 - 2. Let t be (12/c)/((-4)/(-10)). Solve t*z - 5 = 2*z for z.
5
Suppose -5*z - 5*w = -10, 0 = -0*w + 5*w - 10. Let a be ((-6)/4)/(2/(-4)). Solve 12 = -z*m + a*m for m.
4
Let c be (-74)/(-10) - 2/5. Let y = 8 + -4. Let b = c - y. Solve 2 = -b*v + 11 for v.
3
Let t(o) = 2*o + 1. Let d be t(1). Suppose -3*l = -y - 32, 2*l - 3*l + 2*y = -4. Suppose l - d = 3*s. Solve 1 = -s*m - 2 for m.
-1
Let d(y) = -y**3 + y**2 - y + 2. Let n be d(0). Let z be (n - (-7)/(-3))*-6. Solve 0 = -z*o + 1 + 1 for o.
1
Suppose -2*t + 4*y = -y - 35, 5 = 3*t + 2*y. Let v(c) = c**3 + 5*c**2 - 5*c + 8. Let r be v(-6). Suppose -26 = -0*q - r*q. Solve -t*k = 38 - q for k.
-5
Suppose 4*s - 9 = -3*o + 16, -4*s + 2*o = -10. Let j = -5 + 13. Let l be ((-3)/(-4))/(2/j). Solve l*d = s + 2 for d.
2
Let y = 20 - 4. Let c = -10 + y. Solve 5*i + 1 - c = 0 for i.
1
Suppose -38 = 2*w - 14. Let y be -2 + (-8)/6*w. Solve y = -4*c - 6 for c.
-5
Let u(f) = 2*f - 6. Let v be u(4). Solve 4*h + v = 2*h for h.
-1
Suppose j = 3, j - 6 - 9 = -4*u. Solve u*z - 15 = -2*z for z.
3
Let o be -2*-10*(-4)/(-16). Solve -o*b + 4 = -b for b.
1
Let x(k) = 4*k**2 - 3*k + 3. Let q be x(2). Let f = q + -10. Solve 2*a - 15 = -f*a for a.
3
Suppose -v - 16 = -4*x - 5*v, 0 = 3*x - 3*v - 30. Let g(k) = 2*k - 1. Let s be g(x). Solve 3*b = -4 + s for b.
3
Let r = 13 - 7. Let x(u) = -u + 8. Let l be x(r). Suppose z - 5*z + 4 = 0. Solve 3*m - l*m - z = 0 for m.
1
Let l = 11 - 21. Let t = -5 - l. Solve -5 = t*f + 15 for f.
-4
Let q be -2 - (38 + -4)*-1. Solve 0 = -5*j - q + 7 for j.
-5
Let x(w) = -w**3 - 11*w**2. Let c be x(-11). Solve m + 2*m = c for m.
0
Suppose -4*v + 32 = 2*a - 6*a, v = -5*a - 40. Let u(c) = -c**2 + 4*c - 5. Let h be u(5). Let y be ((-25)/h)/((-2)/a). Solve -3*o + o - y = 0 for o.
-5
Suppose 0 = 3*q - 93 - 9. Let b = 57 - q. Suppose -2*i + 3 = -3. Solve -i*k - b + 8 = 0 for k.
-5
Let n(z) = z - 4. Let g be n(6). Solve -15 = 3*v + g*v for v.
-3
Let v(q) = -1. Let s(c) = c**2 - c - 10. Let y(m) = s(m) - 6*v(m). Let h be y(3). Solve 0 = a - h - 2 for a.
4
Suppose 2*h = c + 1, 0*h - 3*h + 9 = c. Suppose -4*n = -n. Solve -h*u - u - 3 = n for u.
-1
Let o = 3 + -1. Suppose 2*r - 6 = 2. Let v be r/14 + 4/(-14). Solve v = -3*m + o - 8 for m.
-2
Let f be 1 + (-42)/(-15) + (-12)/15. Solve 0 = f*w - 5*w for w.
0
Let v = 1 + 0. Suppose 2*g + g = 0. Suppose 0*r + 3*r = g. Solve -n + 3 + v = r for n.
4
Let u be ((-18)/8 - -3)*4. Solve 0*m - u*m = -12 for m.
4
Suppose -4*u = k + 2, -2 - 7 = -2*k + 5*u. Suppose 3*t + 6 = -3*i, 6*t = 3*t + k*i + 14. Suppose -9 = -v - 2*v. Solve b - t = -v for b.
-1
Let h be 51/24 + 12/(-96). Let j be 1*-2 - (-2 - 2). Solve h*c = -j*c - 4 for c.
-1
Let t(l) = -l**2 - l + 2. Let y be t(1). Solve y*r = -5*r + 20 for r.
4
Suppose -29*t + 40*t - 33 = 0. Solve t*o + 2 + 4 = 0 for o.
-2
Let n = 14 + -14. Solve 0 = -i - n*i + 1 for i.
1
Suppose -3 - 3 = -i. Solve 12 = i*j - 2*j for j.
3
Suppose -4*x + 8 = -12. Solve x = -5*m - 15 for m.
-4
Suppose 2*c + 5*j - 13 = 20, -j = c - 9. Solve 0 = -c*x + 8*x for x.
0
Let j = 1 + 3. Suppose 0 = -2*z + 1 + 5. Suppose -j*g + 3*g - 2*h + 10 = 0, -h + 20 = z*g. Solve 0 = -u - u + g for u.
3
Suppose 4*n + 4*b - 16 = 0, 0 = -b - 0 + 1. Suppose 3*f - 11 - 7 = 0. Solve 0 = n*s - f*s for s.
0
Suppose -4*t + s = 1, 3*t + 2*s + 3 = 5*s. Solve -5*b + 4 + 11 = t for b.
3
Suppose 5*j - 5*u = 40, 3*j + 3*u - 25 = 7*u. Solve -4*t - j = -3 for t.
-1
Let h(x) = -x + 10. Let z be h(0). Suppose 2*y - 4 = -0. Let n(g) = 2*g - 13. Let d be n(8). Solve -y*f - z = d*f for f.
-2
Let y(x) = -x + 3. Let s be y(-6). Solve 5*p - 16 = s for p.
5
Let l(z) = z. Suppose 0 = -0*c + c. Let t be l(c). Suppose u - 2 = -t. Solve u*v - 6*v = 0 for v.
0
Let x(m) = m + 12. Let q be x(-10). Solve q*s - 16 = 6*s for s.
-4
Let s(z) = -z**3 - z**2 - z + 4. Let h be s(0). Solve -8 = -h*b - 0*b for b.
2
Let v(c) = -c**2 + 2*c + 3. Let h be v(0). Solve h*d - 10 = -1 for d.
3
Let r be 5 + -4 + 6/2. Suppose 0 = -4*s + r*y + 28, -2*s - 2*s + 28 = -3*y. Suppose -3*u + 48 = u. Solve -u = 4*m - s*m for m.
4
Suppose 6*s - 9*s = -36. Let w be 0/1 + (s - 9). Solve 0 = a - 1 - w for a.
4
Suppose -f + 4*f + 6 = 0. Let u = f - -6. Solve u*d = d for d.
0
Let b be 16/10*(-30)/(-12). Let w = -4 + 7. Suppose 7 = -4*q - 13, q - w = -4*h. Solve -b*d = -5*d - h for d.
-2
Suppose 3*c + 0*c = -5*u, 0 = c - 5*u. Suppose -o - 5*l + 8 = c, 6 = -2*o - 5*l + 17. Suppose -2*r = -o*r + 5. Solve -r*y = -y for y.
0
Let f(s) = -5*s**3 - s**2 + 1. Suppose 5*x - 4*u = 22, u + 1 = -4*x - 2*u. Let d = 1 - x. Let w be f(d). Solve 2*j + 1 = w for j.
2
Let u be (-1)/(4 + 9/(-2)). Suppose -3*o = -4*o. Let i = 10 - o. Solve -3*s - u = i for s.
-4
Let s = 15 - 12. Solve s*a - 2 = 2*a for a.
2
Let n be 36/(-21) + 2/(-7). Let l = 10 + n. Solve 4*p - 4 - l = 0 for p.
3
Let c(s) = -4*s**2 + 4*s + 5. Let r(v) = 3*v + v**2 - 3*v**2 + 7 - 2 - v**2. Let m(i) = 2*c(i) - 3*r(i). Let o be m(5). Solve 