2 - 4*h - 1. Let r(s) = a*b(s) - 5*v(s). Let m be r(1). Solve m*y - 5 = -0 for y.
1
Let d(p) = p**3 - 16*p**2 + 14*p + 20. Suppose 6*v - 3*v - 45 = 0. Let n be d(v). Solve n = 4*f - 3*f for f.
5
Let d = 15 + -14. Solve v - 5 = -d for v.
4
Let f(y) = -y**3 + 5*y**2 + 8*y - 1. Let k = 18 + -12. Let j be f(k). Let b = j + -6. Solve -4*a = a - b for a.
1
Suppose -8*g + 6*g = 0. Suppose -3*y - 2*y = g. Let m be ((-3)/5 + 1)*5. Solve -6 = m*t - y*t for t.
-3
Suppose 0 = -q - 3*y, 0 = -2*q + 5*y + 16 + 6. Suppose -p + 6 = l, -3*p + 4*p - 8 = -2*l. Solve -l*f - 2 = q for f.
-4
Let f be ((-1)/(-2))/((-1)/10). Let j = f - -9. Suppose 7 = 5*i + 2*l - 0*l, 0 = -j*i + 5*l + 32. Solve -4 + i = n for n.
-1
Suppose -3*v + 5*s = -19, -5*v - 5*s = -4*s - 13. Solve -r + 2*r + v = 0 for r.
-3
Let v = 27 - 24. Solve -5*h = -v*h for h.
0
Suppose 0*i = 8*i - 16. Solve i*r = -1 - 1 for r.
-1
Let w(d) = -d**2 + 10*d - 7. Let p be w(9). Let g = p - -1. Suppose 12 = -3*l + g*m, l + m - 5*m + 16 = 0. Solve b - 2 + 7 = l for b.
-5
Let a be 68/(-11) + 8/44. Let w be 4/a + 8/12. Solve -z - z + 10 = w for z.
5
Let w = -29 - -29. Solve w = l - 2 for l.
2
Let r be -1 - 0 - -1*6. Suppose 2*q - 7*q = 4*k - 1, r*k - q - 23 = 0. Suppose k*i - 4*p + 8 = 0, 0*i = -i - 4*p + 8. Solve i = z - 0*z - 1 for z.
1
Suppose -4*j + 16 = -0*j. Suppose 0 = 3*b - j*q, 5*q = 4*b - 3 + 2. Suppose w - 4*r = 0, 4*w - b*r + 0*r = 0. Solve -6*s + s - 5 = w for s.
-1
Let p(s) = -9*s**3 - s - 1. Let x be p(-1). Suppose -5*m = -4*a - 0 + 12, -3*m + 3*a = x. Suppose m = z + z. Solve z*j + 2*j = 10 for j.
5
Let l(r) = r**3 + 5*r**2 - r. Let m be l(-5). Suppose 0 = o + 3*q - 6 + 4, -2*o + 4 = -3*q. Solve m*s = o*s + 6 for s.
2
Let l be 0/2*2/4. Suppose -4*q - 5*h + 0*h + 81 = l, 0 = 3*q - h - 37. Suppose 4*c - q = -3*b, 16 = 3*b + 2*c - 0*c. Solve -r - b = -3 for r.
-3
Suppose 7*y - 39 = 3*y - 3*r, -20 = -5*y + 2*r. Suppose o - p - 5 = 0, -5*o - 5*p + 8 + 7 = 0. Let t = o + y. Solve 0*z + 2*z = -t for z.
-5
Let k(z) = -3*z**3 - z**2 - 2*z + 1. Let r be k(-2). Solve -3*o - 2*o = -r for o.
5
Suppose -3*o + 2*n + 25 = 0, 0 = 5*n + 15 + 10. Suppose 0*t + 3 = 2*t + 3*s, -5*t = o*s - 20. Solve t = 3*g - 6*g for g.
-3
Let f be (-12)/(-1)*(-21)/14. Let k be f*1*(-7)/21. Let j = k - 5. Solve 4*a - j = -5 for a.
-1
Let z(n) = n**3 + 7*n**2 - 8*n. Let d be z(-8). Solve d = 4*v - 2 + 10 for v.
-2
Let w = 6 + -12. Suppose -5*x = -4*x. Let l be x - 15/w*10. Solve -4*m - m = -l for m.
5
Let x = -12 - -23. Let h(q) = q**3 + 9*q**2 + 9*q + 12. Let s be h(-8). Solve -x - s = 3*b for b.
-5
Suppose 4*b = -20, 7*b = -5*d + 3*b. Solve -d*p + 3*p = -1 for p.
1
Suppose -8*b = 9*b - 34. Solve -b*j = -3*j for j.
0
Let g = -3 - -6. Suppose -z + 4 = 1, z - 51 = -4*t. Suppose -t = -g*w + w. Solve 5*d - 2*d + w = 0 for d.
-2
Suppose -2*r = r. Suppose r = -v - 2, -3*v + 6 = 2*p - 2*v. Suppose -5*k + 0 + 5 = 0. Solve -3*f - k = -p for f.
1
Let f = 1 + 1. Suppose -13 - 17 = -f*q. Solve 3*b - q = -0*b for b.
5
Let i be (-11)/(-22) - (1 - 6/4). Solve i = 3*s - 14 for s.
5
Suppose 3*b - 6 = 6. Suppose 3*m - 2*n - 24 = 0, n = -b*m + 54 - 22. Solve -m*h - 10 = -3*h for h.
-2
Let l be (-9)/(-3)*2/3. Let z = 22 - 19. Solve -z*f = l*f for f.
0
Suppose 3*o + 0*o - 15 = 0. Let b = o + -1. Solve -b*l - l = -10 for l.
2
Suppose g - 16 = -4*d, -3*d = 2*g - 8*d + 7. Let f be 1*g/6*21. Solve -6 = 4*w + f for w.
-5
Let t = 88 - 86. Solve -3*l = t*l for l.
0
Suppose -3*u + 0*u - 64 = -4*t, -2*t + 32 = u. Suppose 8*l + 4*r = 3*l + 77, l = -r + t. Suppose l - 1 = 3*f. Solve f*i + 11 = -1 for i.
-3
Suppose 0*p = -5*p - 35. Let c = p + 12. Solve -1 = -c*m - 6 for m.
-1
Let c(v) = -v**2 + 14*v + 5. Let w be c(14). Solve 8 = w*b + 3 for b.
1
Let y(a) = a**2 - 11*a + 10. Let o be y(10). Solve o*r + 4*r + 8 = 0 for r.
-2
Let f(r) = -r**3 - 8*r**2 - 18*r - 15. Let a be f(-5). Solve 6*b - b = a for b.
0
Let d(v) = -v**3 - 2*v**2 + v. Let z be d(-3). Suppose -q + 6 = 2*q. Suppose 0 = 3*x - 4 - q. Solve -x*r - z = r for r.
-2
Let g(s) = s**3 + 3*s**2 - 5*s. Let h(n) = n**2 + 15*n + 10. Let x be h(-14). Let b be g(x). Solve b + 0 = m for m.
4
Suppose 0 = -2*f + 10*f - 16. Solve f = -r - r for r.
-1
Suppose -g + 0*d = 5*d - 52, -5*g + 2*d + 125 = 0. Let u be (g - 2)*4/4. Solve 4*c - u = -5 for c.
5
Let o = 1 + 1. Suppose 3*r + o = 17. Solve r*n = 16 + 4 for n.
4
Suppose 22 + 2 = 3*k. Let v be (-2)/4 - (-4)/k. Solve -3*m + 4*m = v for m.
0
Let y = 6 - 2. Let b = -11 + 19. Suppose y*r + 0 = b. Solve 0*i = r*i for i.
0
Let r(j) = j**3 + 2*j**2 - 4*j. Let g(d) = d**2 + 7*d + 3. Let y be g(-6). Let a be r(y). Solve 19 - 7 = a*w for w.
4
Let l be (2/(-5))/(1/20). Let u be (6/(-2))/6*l. Solve 0*o = u*o + 20 for o.
-5
Suppose -4*a = -16, -4*h + 54 = 4*a - 10. Suppose 4*c = 3*x + 1 - 12, -3*x + 3*c = -h. Solve -2*d = -3*d - x for d.
-5
Suppose 0*p = 3*p. Let y be (2 - p)/(2/5). Let v be 34/4 - 3/(-6). Solve y*s + v = -16 for s.
-5
Let h(l) = -l**2 + l + 3. Let q be h(2). Solve u = -q + 6 for u.
5
Let x be ((-3)/6)/((-2)/12). Suppose -4*a = f + f - 14, x = 2*a + 5*f. Let k = a + -2. Solve d + 12 = -k*d for d.
-4
Let l(t) = 13*t. Let v be l(-4). Let u be (-2)/(-13) + 8/v. Suppose -13 = -4*g + 27. Solve u = 3*a - a - g for a.
5
Let r(d) = -d**2 + 4*d + 3. Let a be r(4). Solve a*s - 17 = -2 for s.
5
Let q(m) = -7*m**2 + 1. Let i be 2/4 + 1/2. Let z be q(i). Let j be (z/(-10))/((-2)/(-10)). Solve 0 = j*h - 2*h - 2 for h.
2
Let q = 7 - 5. Suppose 0 = -3*w + 4*m + 4, q = -5*w - 4*m - 2. Solve w + 2 = -2*c for c.
-1
Let t(g) = -g**3 - g**2 + g + 1. Let r be t(-3). Let h = -16 - -24. Suppose -4*p + p + 16 = a, -a - p + h = 0. Solve -r = a*n - 0*n for n.
-4
Suppose 8*k + 25 = 9*k. Solve 6*q - k = q for q.
5
Let f(y) = 0*y - 5*y**3 + 3*y**3 + y - 4 + y**3 + 7*y**2. Let o be f(7). Suppose -4*j + 0*j = 3*u - 30, 0 = u - 3*j + o. Solve 5*c - 4 = u for c.
2
Let s(d) = -d**2 + 6*d - 1. Let j be s(3). Solve -5*f + j*f + 15 = 0 for f.
-5
Let s(m) = -m**3 + 10*m**2 + 11*m. Let p be 30/(-10) - (0 + -14). Let l be s(p). Solve l = -5*g - 0*g + 15 for g.
3
Let y be (-21 + 0)/(1 - 4). Solve -2*k + y = -3 for k.
5
Suppose 4*j - 14 = 3*m, -j + 0*j = -4*m + 3. Suppose -m*o + 4 = -o. Solve -o*r - 7 = 1 for r.
-2
Suppose 5 = 3*w - 7. Suppose -7 = -4*g - 5*t, -w*g - 2*t + 6 = -2*g. Solve -5*z = 17 + g for z.
-5
Let h(m) = m + 17. Suppose -8 = d - 0. Let u be h(d). Solve 4*o = 1 - u for o.
-2
Let g(u) = -u - 11. Let l be g(-10). Let f be 5 - (1 + 2 + l). Suppose -v = 4*v - 60. Solve -3*z - v = -f for z.
-3
Let j be 2 - (6/(-3) + 5). Let b be j + 4 - (3 + -8). Solve -b*t = -3*t for t.
0
Let q = -74 - -99. Solve 7*d = 2*d + q for d.
5
Suppose 77 = 2*m - 5*p, 2*m = -3*p + 70 + 15. Suppose 4*y - 23 = -d, m = d + 5*y + 13. Solve -d*a = -2*a - 4 for a.
4
Let r(m) = m**3 + 7*m**2 - 8*m + 4. Let f be r(-8). Suppose -4*j - f*g = -3 - 5, 4*g = 0. Let a be ((-8)/10)/((-6)/15). Solve j = -a*o + 6 for o.
2
Let r(j) = 4*j**2 - 2*j - 1. Let q be r(-1). Let d = -1 + q. Let k = -2 + d. Solve w = -k*w for w.
0
Let w = -52 + 54. Solve -2*r + w = -0 for r.
1
Suppose -7 = -3*k - 1. Solve -3*f - k*f = 0 for f.
0
Suppose 3*i + 12 = -4*n + 27, 3*i = 2*n - 21. Solve 0 = q - 3 + n for q.
-3
Let a be (-32)/(-6) + 2/(-6). Suppose -3*i = -2*c - 16, a*i + 2*c + c = 14. Solve -i*v + 2 = 22 for v.
-5
Let b(m) = -m - m**2 + 4*m + m + 4. Let p be b(4). Solve 0*n = p*n for n.
0
Let k = -7 + 14. Let q be 2/(-6) - 16/(-3). Let x = k - q. Solve -x*l - 2*l - 4 = 0 for l.
-1
Suppose 0 = 3*m - 11 - 1. Solve -m*f + 3 = -1 for f.
1
Let v be ((-36)/(-8))/(3/8). Let q be 6/v + 2/4. Solve -p + q + 2 = 0 for p.
3
Suppose 6*n - 17 - 37 = 0. Solve 2*t + n = 3 for t.
-3
Let m(j) = 4*j**2 + 3*j + 1. Let h be m(-2). Let t(n) = -n - 6. Let z be t(-8). Solve -3*l - z + h = 0 for l.
3
Suppose 0 = o + 4*o + 2*s, 0 = -5*o - 4*s. Solve -b = -o - 2 for b.
2
Suppose 4*j + 72 = j. Let w be (-3 + 0)*j/9. Solve 0 = -0*x - 2*x - w for x.
-4
Suppose 5*d - 5*k - 10 = 0, 3*d = -d + 2*k. Let p be (d/(-4))/(4/24). Let a be (2 - 3/p)*1. Solve a = 2*m - 3 for m.
2
Suppose k - 9 = -0*k. Solve 0 = -4*n + k - 1 for n.
2
Suppose 0*q + 6 = -q - 4*f, q + f = 0. Solve 12 = -5*k + q*k for k.
-4
Let p be 4/(-4) + 3 + -1. Solve -1 = 2*x + p for x.
-1
Let n = 8 + -11. Let x(m) = m + 3