0. Let l = d - 8. Let o be ((-6)/l)/(3/(-15)). Solve o*h - 13 = -1 for h.
4
Suppose 0 = -h + 3*k + 2, -11 = -3*h + 3*k + k. Suppose -2*u + 1 = -h. Suppose -12 = -u*l, -5*n - l = -22 - 2. Solve 0 = n*c - 0*c - 4 for c.
1
Let t be 4 + 4/14 + 70/98. Solve t*z - 11 - 9 = 0 for z.
4
Suppose q = 5*q + 4*l - 24, 0 = q - 5*l - 18. Let h = 10 - q. Solve 3*o + 20 = -h*o for o.
-4
Suppose 3*s = 3*a + 18, 3*s - 33 = -a - 11. Suppose -5*y - p = 5, s + 13 = 4*y - 4*p. Solve y = -b + 3 - 0 for b.
3
Suppose 7*g - 4*g - 21 = -2*a, 3*a + 5*g - 34 = 0. Solve a*s - 1 = 8 for s.
3
Let j(u) = u**2 - 12*u + 14. Let p be j(11). Solve n = -4 + p for n.
-1
Let j be (-12)/36 - (-2)/6. Solve j = -5*v - 11 + 36 for v.
5
Suppose 16*p - 18*p = -4. Solve p*m = 4*m - 10 for m.
5
Let m = 0 + 4. Suppose -8 = 2*j + 4*u, -4*j = u - m - 1. Let r be 230/20 + (-1)/(-2). Solve -j*y = y + r for y.
-4
Suppose -2*i + 1 = -3. Suppose i*b + 2 = -3*g, -3*b - g = -b - 2. Solve -b*x = -x + 2 for x.
-2
Suppose 8 = 4*s + 28, a = -4*s - 16. Suppose -5*l = 3*z - 35, -z - 19 = -l - a*z. Solve c = -0*c + l for c.
4
Suppose 2*z + 36 = 3*a, 0 = -a + 3*z + 8 + 4. Suppose 5*r - a = 8. Suppose -t - 6 = -r*t. Solve t*j - 3*j - 4 = 0 for j.
-4
Let a = -12 - -12. Solve a*s = 3*s for s.
0
Let p = -23 - -32. Suppose 4*f - 2*x + 2 = 0, 0 = -p*f + 4*f - 5*x + 35. Solve -f*c = -0*c for c.
0
Let u be (0 - -4 - 0)*(-27)/(-36). Solve u*a + 5 = 2*a for a.
-5
Suppose -4*m + b = -28, -m + 7 = -0*m - 4*b. Suppose 5*t - 4*r = m, -t + 4*t + 2*r = 13. Solve 2 = -t*q + 5 for q.
1
Suppose -2*m + 12 = 2*t, 0 = -t - 4*t - 4*m + 28. Let v(b) = b**2 - 7. Let c be v(t). Let d be (0 + -1)/((-1)/2). Solve -d*f = -5*f - c for f.
-3
Let u = -4 + 8. Let h(r) = r - 12. Let s be h(10). Let p = s + u. Solve -1 = -p*c + 5 for c.
3
Let h = -8 + 11. Solve h*z = -z for z.
0
Let b(c) = -c**3 - 6*c**2 - 10*c - 4. Let g be b(-4). Solve -6*o + g*o - 2 = 0 for o.
-1
Let j(y) = 2*y**2 - 3*y + 1. Let c be j(2). Let o be 0*(c/(-6) + 1). Solve o = d + 1 + 3 for d.
-4
Suppose 0 = 3*w + 12, 4*f + 4*w = 32 - 0. Solve 2*q + 2*q + f = 0 for q.
-3
Let i(o) = -4*o - 96. Let t be i(-25). Solve 0*v - 4*v - t = 0 for v.
-1
Let r = 2 + -5. Let m = 1 + r. Let p = 2 + m. Solve g + 2 - 1 = p for g.
-1
Suppose -43*v = -39*v - 12. Solve -v*s + 11 = -4 for s.
5
Suppose 5*j + 9 = 3*y - 0*j, 4*j = y - 3. Solve 15 = -2*l - y*l for l.
-3
Let w be (-25)/2*4/(-5). Suppose 2 = 3*u - w. Solve u = -3*x + x for x.
-2
Let q be (-456)/(-88) - (-4)/(-22). Solve t - 8 = q*t for t.
-2
Suppose 5*l + 36 = 4*l - 4*j, -4*l = 4*j + 96. Let b = l + 23. Solve -4 = -b*y + 4*y for y.
-4
Let n be -2 - 0 - (-6 - -1). Let q be (n + -1 + 0)*1. Suppose -3 = -q*z - 1. Solve -3*g - z = -13 for g.
4
Suppose -3*f - 5 = -4*f. Suppose -3*g - 2*g + 5*n + 5 = 0, 2*g + f*n = 9. Solve g = b + b for b.
1
Let o = 25 - 2. Solve -o = -5*q - 8 for q.
3
Let i(o) = o**3 + 2*o**2 - 2*o + 4. Let f be i(-3). Suppose 2*l + f = -3*d, -4*d - 4 - 1 = -l. Solve g + 2 + l = 0 for g.
-3
Let x(w) = w**2 + 4*w - 10. Let a be x(-6). Let z be (-2 + a)/(2 + -1). Solve -f - f = z for f.
0
Let n = -10 - -12. Suppose 0 = f + n - 5. Solve 3*l + f = -3 for l.
-2
Let f(r) = r + 17. Let q be f(-15). Solve -q*p - 3 + 5 = 0 for p.
1
Let t(y) = -y**3 + 11*y**2 + y - 16. Let q be t(11). Let n be -3 + (-5)/(q/8). Solve -n*b - 20 = 5 for b.
-5
Suppose -4*t + 0*t + 16 = 0. Let m(q) = -q**3 + 3*q**2 + 5*q. Let x be m(t). Solve -20 = -0*j + x*j for j.
-5
Let z(v) = -v**3 + 7*v**2 - v + 3. Let d be z(7). Let r(l) = -l**3 - 3*l**2 + 2*l - 4. Let i be r(d). Solve -i*h - 11 - 1 = 0 for h.
-3
Let f(t) = -t - 6. Let k be f(-10). Suppose 8 - k = 4*r. Solve 0 = -z + r + 1 for z.
2
Suppose 3*t = -t. Suppose 9 = 5*g - 11. Suppose -y - y + g = t. Solve y*h = -0*h for h.
0
Let s = 119 + -117. Solve 0 = 2*y + s - 0 for y.
-1
Let o(c) = 13*c - 1. Let i be o(2). Suppose 5*z = -0*z - i. Let a be (-22)/z - 8/20. Solve b - 5*b = a for b.
-1
Suppose -4*a + q + 28 = -0*a, 2*a = -4*q - 4. Let h(g) = 8*g - g**3 - 5 - 3 + 0*g**3 + 5*g**2. Let m be h(a). Solve 2*c = -6 + m for c.
-1
Suppose 5*a - 6*a + 5 = 0. Suppose 2*m - 16 = 2*l, a*l + 3 = -2. Suppose -4*o - 5*p = 21, -8 - 13 = -o + 4*p. Solve 4*b + m + o = 0 for b.
-2
Let o be 8/(-28) - 47/7. Let h be (-6 - -2)*1 - o. Solve -h*y = y for y.
0
Let a(k) = 2*k - 32. Let c be a(16). Solve c = -t + 4*t - 6 for t.
2
Let w(q) = q**3 + q**2 - 2*q - 6. Let n be w(-4). Let x = n - -25. Let v be (-405)/x + 4/(-14). Solve v + 6 = 5*j for j.
5
Suppose -5*d = -3*q + 128, -3*q + 6*q = -3*d + 96. Let n = 1 - -4. Suppose n*s - q = 2*s. Solve -5*i - 3 = s for i.
-3
Suppose -2*z + 21 = 5*d, 0*d - 1 = -d - 2*z. Let y = -4 - -12. Solve d*w - y = w for w.
2
Let r = 5 - 2. Let b be r/4 - 12/16. Solve -5*m = -b*m - 25 for m.
5
Let c(t) be the second derivative of -t**5/20 + t**4/3 - 2*t**2 - 2*t. Let r be c(3). Solve r*v + 11 = -4 for v.
-3
Let w(c) = 9*c - 6. Let y be w(4). Suppose -4*m - 2 = -y. Solve m = -2*k - 1 for k.
-4
Suppose 1 + 3 = 2*x. Let d be x*(10/4 - 0). Let j = -3 + d. Solve 2*u + 6 = -j for u.
-4
Let o(q) = -q - 8. Let t be o(-6). Let a = -2 - t. Solve y + 2 = -a for y.
-2
Let k = 17 + -8. Let p be ((-42)/k)/(-2)*3. Suppose -3*c + 4 = 2*d - 3, d + p = 2*c. Solve y + 2*y = c for y.
1
Let j be 0*(2 + (-9)/3). Suppose j = 4*t - o - 30, -3*t - 2*o + 13 + 15 = 0. Solve 0 = 2*h - t - 0 for h.
4
Let h = -2 + 2. Suppose h = 2*c - 16 + 2. Let d = -3 + c. Solve 5*g - d = 3*g for g.
2
Suppose 3*a - 19 = -3*y + 32, 0 = 3*a + y - 45. Let j = a - 9. Let l = 7 - j. Solve -s = l*s for s.
0
Suppose -3*v - 2 = -4*c + 2, -3*c + 3 = 0. Let u be v/(2/2 + 2). Solve -b + 5 + 0 = u for b.
5
Suppose 5 = 5*k - 0. Suppose k = -3*b - 11. Let z = -3 - b. Solve -w + 0*w + z = 0 for w.
1
Let w(z) = -2*z - 1. Let d be w(-5). Solve -5*f - d = 1 for f.
-2
Let z(i) = 5*i + 18. Let s be z(-3). Solve 0 = -3*u - 12 - s for u.
-5
Suppose -2*b + 6 = -4*r, 0 = -4*r - 9*b + 13*b - 12. Let u = -3 - -7. Solve 0*h + u*h + 12 = r for h.
-3
Let j(t) = 2*t - 12. Let h be j(8). Solve -h*u + u - 3 = 0 for u.
-1
Let p be (0*3/3)/2. Solve p*t + t + 1 = 0 for t.
-1
Let i be 15/(-6)*2/4*-4. Let b = -2 - -2. Suppose y + 3 - i = b. Solve -y = -3*r - 14 for r.
-4
Let q be 1 + -1 + 1 + 11. Suppose -q + 4 = -2*h. Solve -m + 1 + h = 0 for m.
5
Let n(p) = p**3 - 8*p**2 - 8*p - 7. Let f be n(9). Suppose 4*b = -2 - f. Let t = 3 - b. Solve j = t*j - 15 for j.
5
Let s(t) = t**3 + 13*t**2 + 12*t - 4. Let q be s(-12). Let o(y) = -y**2 - 4*y. Let b be o(q). Solve 4*g + g = b for g.
0
Suppose 3*v = 2 + 10. Suppose -v*t = -12, -z - 6 = -4*z - t. Solve -b + 0 = z for b.
-1
Let r(u) = -u**2 - u + 2. Let b be r(1). Solve -2*c - 2*c = b for c.
0
Let o = -16 - -14. Let j(n) = -2*n**3 - 3*n**2 - 4*n - 2. Let d be j(o). Solve d - 4 = 2*y for y.
3
Suppose 5*t = -5*h, -5*t - 12 = h - 0*t. Solve -h*p - 4 = -p for p.
-2
Let a be 2/5 + 152/20. Suppose -a*l + 5*l + 12 = 0. Let n be l/20 - 19/(-5). Solve w + n*w = -20 for w.
-4
Suppose -3*t + 3*f = -12, 4*t - 5*t - 2*f = 2. Suppose -t*l + 8 = 0, -p - 5*l + 15 = -7. Solve -p*j + 5*j + 9 = 0 for j.
-3
Suppose -2*k = -5*t + 32, -44 = -3*t + 5*k - 10*k. Suppose -3*r + 9 = -0*r. Suppose -r*o + o = -t. Solve o = 5*w - w for w.
1
Suppose 4*u + 23 = 31. Solve x = u + 2 for x.
4
Let k = 4 + -1. Let b(s) = s**2 - 9*s + 14. Let x be b(8). Solve 0*a + x = -k*a for a.
-2
Let p(a) = 3*a + 3. Let k be p(-5). Let r be (-150)/(-18) - (-1)/(-3). Let v be (r/k)/((-6)/27). Solve v*c = c - 4 for c.
-2
Let c = -1 - 1. Let s be 9/6 + (-5)/c. Solve s*y - 2*y - 4 = 0 for y.
2
Let o(t) = 13*t - 75. Let z be o(6). Solve 4 = z*k + k for k.
1
Let y = -1 - -4. Suppose y*l = -l. Let c be 2 + (1 - 0) - 2. Solve l = r - 1 - c for r.
2
Let g be (-6)/(-27) + (-102)/(-27). Solve -g = -w + 2*w for w.
-4
Suppose 42 = 3*r - 4*c, -c = 3*r + 2*c - 21. Solve 4*y - r = 2*y for y.
5
Suppose 5*p - 2*r - 56 = 0, 4*r + 43 = 4*p + 3*r. Solve 7*b = p*b + 6 for b.
-2
Let b be 133/(-49) - -3 - 2/7. Let a(d) = 3*d - 1. Let q be a(6). Solve b = 3*l + 5 - q for l.
4
Let h be 27 - 4/(8/(-6)). Suppose -5*j = p + h, -3*j - 5*p + 30 = -8*j. Let k = j + 8. Solve -k*s = -0*s for s.
0
Let t = 41 + -41. Solve t*b = -5*b for b.
0
Let d(p) = -p**3 - 4*p**2 - 4*p - 3. Let t be -1 - -1 - (8 + -5). Let y be d(