 -8. Let l be 1*(-3)/3*-5. Let y = -2 + 2. Solve y = l*z - h*z for z.
0
Suppose 0 = -3*w - 2*w. Solve -4*u + 15 - 35 = w for u.
-5
Suppose 4*u - 4 = 4. Suppose -5 = -u*n - 1. Solve 1 = n*j + 11 for j.
-5
Let k be 0/4*5/(-10). Solve k = m - 1 for m.
1
Let b(f) = -f**2 + f + 2. Let o be b(-3). Let g be o*((-10)/4)/5. Suppose g - 21 = -4*l. Solve p + p = l for p.
2
Let r(o) = o**2 + 6*o + 5. Suppose -2*c + c + 3*p = 21, -c + 2*p = 16. Let y be r(c). Let a = 6 + -2. Solve a*v - 3 = y for v.
2
Let s(r) = -r**2 - 6*r. Let v be s(-5). Suppose 0 = -v*j + 5. Let u(c) = 4*c + 1. Let l be u(j). Solve 0 = -l*k - 8 + 3 for k.
-1
Let u(s) = -4*s**3 + 0*s**2 - s**2 - 5*s + 1 + 1 + 2*s. Let k be u(2). Let v = -19 - k. Solve -4*a - v = -1 for a.
-5
Let s = 34 - 31. Solve -f = -s*f for f.
0
Suppose 7*z - 2*z - 25 = 0. Suppose -i = -z*i. Solve i = 2*f - 2 - 0 for f.
1
Let r(g) = g**3 - g**2 + 3*g. Let l be r(0). Let i(p) = 4*p. Let d be i(1). Suppose -y + l - 8 = d*z, -y - z + 1 = 0. Solve -8 = -y*f + 12 for f.
5
Let k(p) = -p**2 + 4*p + 2. Let t be k(4). Let x be (2/1)/((-4)/10). Let s = x - -10. Solve t*d = 1 + s for d.
3
Let k = 12 + -25. Let u = k + 19. Suppose u*j - j - 40 = 0. Solve r + j = -3*r for r.
-2
Let v(u) = u**3 - 6*u**2 + u - 3. Let t be v(6). Suppose 5*i = 2*s - 26, -3*s - t*i = -s + 6. Solve -s*a = a + 12 for a.
-3
Let s(r) = 2*r**2 + 3*r. Let h be s(-2). Suppose -h*w - w = l - 22, 5*l = -5*w + 100. Solve 5*p - l + 4 = 0 for p.
3
Let a be 84/12 + 1/1. Let y(x) = x + 4. Let h be y(0). Solve -a = z - h for z.
-4
Let n(a) = -a - 4. Let w be n(-8). Suppose 2*g + 0*g - 4 = 0. Suppose -g*p = -p. Solve -t - 1 - w = p for t.
-5
Let p be 52/16 - (-3)/(-12). Solve p*z + 20 = 8*z for z.
4
Suppose 0 = 4*f + f. Let p be (-2 - -1) + 5/1. Solve -p*y + f*y = 0 for y.
0
Let m be 1*(3 + (-6)/2). Suppose m*h - 20 = -4*h. Solve -h = -0*q - q for q.
5
Let u be 5/20 - (-22)/8. Let p be (3 - 3)/(u + -5). Suppose -4*q + q = -24. Solve -s - s + q = p for s.
4
Let j be (((-3)/(-2))/(-1))/((-18)/36). Solve -j*u + 1 = 16 for u.
-5
Let s = 2 - 0. Suppose -5*u - 1 = -2*q, s*q + 2*u = -q + 11. Suppose 3*w - q*x = 27, x + 20 = -3*x. Solve 0*f - 8 = -w*f for f.
2
Let q(z) = -z**2 + 1. Let c be q(1). Let w(n) = n**3 + n**2 - n + 4. Let y be w(c). Let h be -3*-1*4/3. Solve y*l + 0 = -h for l.
-1
Let t(x) = x**2 + x. Let y = -7 + 8. Let h be t(y). Solve h*g - 5*g + 12 = 0 for g.
4
Suppose 5*y - 13 = 12. Suppose -g - o = -4, 6*o - 11 = -y*g + 4*o. Solve 4*n = 5*n - g for n.
1
Let g be (4 - 8 - -3 - -1)/(-1). Solve g = 3*f + 3 + 3 for f.
-2
Let i(w) = -7*w - 1. Let v(j) = -9*j**3 - j**2 + 1. Let n be v(-1). Let m(t) = t**3 - 8*t**2 - 10*t + 8. Let y be m(n). Let q be i(y). Solve q = 4*o + 2 for o.
1
Suppose -2*i + 3*w + 20 = 0, 0*w + 3*w + 28 = 4*i. Suppose -i*u = -2*b + 14, 6 = 4*u + 2. Solve 5*h - b + 4 = 0 for h.
1
Let j = -15 + 18. Solve j*m + 7 = 4 for m.
-1
Suppose -3*h - 28 + 13 = 0. Let y = h - -5. Solve -2*u - u + 6 = y for u.
2
Let t(s) = -s - 5. Let q be t(-7). Suppose -2*b - u = -21, -b + 2*u = -2*u + 3. Solve -b = -q*w - w for w.
3
Suppose -8*p = -0 - 16. Solve 0*v + p*v - 10 = 0 for v.
5
Let q be 36/5*(-10)/(-2). Suppose 5*t - 2*t + q = 2*x, 5*x - 2*t - 101 = 0. Suppose -3*y - 5*d = y - x, -1 = -d. Solve -13 + 5 = -y*n for n.
2
Suppose -3*g - 6 = -21. Solve -21 = 4*n - g for n.
-4
Suppose 6*d - d = -25. Let t = 0 - d. Suppose 4*u - 4 - 12 = 0. Solve -6 - u = t*j for j.
-2
Suppose -10*a + 14*a = 0. Solve a = -0*k + 5*k - 20 for k.
4
Let h(g) = -2*g**3 - 21*g**2 + 11*g + 2. Let b be h(-11). Solve -b*j + 7*j = 0 for j.
0
Let y be (2/(-4))/(2/(-16)). Let k be 1/4 + 1/(-4). Let a be (k + -1)/(2/(-40)). Solve -y*q = -9*q - a for q.
-4
Let w(t) = t**3 + 5*t**2 + 4*t - 3. Let j be w(-3). Suppose j*q + 16 = 7*q. Solve 0*c = -q*c + 16 for c.
4
Let m(i) = 11*i - 5. Let w be m(5). Let f be ((-20)/w)/(1/(-5)). Let r = 4 - 4. Solve 0 = u - r*u + f for u.
-2
Let n be ((-10)/15)/((-2)/(-18)). Let c = -3 - n. Let g be (-3)/((-3)/2 + 0). Solve -5*b - c = -g*b for b.
-1
Let u(y) = y**3 - 2*y**2 - 2*y - 2. Let s be u(3). Suppose 11*d = 6*d - 5, -4*o - d + 63 = 0. Solve -5*b + o = s for b.
3
Suppose -2*a + 4 = -0*a. Let x be a + -1 - (-10)/(-2). Let b be x/(-8) - 19/(-2). Solve -z + b = z for z.
5
Let v(b) = -b**3 - 12*b**2 + 1. Suppose 72 = -2*f - 4*f. Let q be v(f). Solve 3*r + 2 + q = 0 for r.
-1
Let o be 2 + (-3)/(3/(-1)). Solve -2*v = -o*v - 2 for v.
-2
Let l = -40 - -41. Let h = 0 - 0. Suppose o = -h*o + l. Solve -j = -1 - o for j.
2
Suppose -2*y + 42 = 4*j, -2*j + y = -j - 15. Solve -3*x + 7*x = j for x.
3
Let s(a) = 2*a**2 - 2*a - 4. Let y be s(4). Let h(u) = 5 - 3 + 10 - u + 2. Let f be h(12). Solve 3*l + f*l = y for l.
4
Suppose 0 = -4*t - 5*b + 15, 0*t = -t - 3*b + 2. Let v = t - 3. Solve 0 = -w - v*w + 15 for w.
5
Let w(j) = -j**2 + 4*j + 5. Let a be w(5). Let t = 3 + a. Suppose -3*d + 5*r = -23, 3*d - 15 = -0*r - t*r. Solve 2*l + 2 + d = 0 for l.
-4
Let y(b) = b + 9. Let n be y(-3). Solve n*r + 16 = 2*r for r.
-4
Let f be -3 + -5*(-5 - -4). Solve -3*m - f*m = 0 for m.
0
Suppose 4 = 4*p - 2*p. Suppose m = -p*x + 18, -x + 6*x + 3*m - 46 = 0. Solve n = -n - x for n.
-4
Suppose -4*n + 7 = -5*n - 3*t, 11 = n - 3*t. Suppose -40 = -4*q + 2*v, -3*q + 3*v = 2*v - 28. Let c be ((-6)/4)/((-6)/q). Solve -y + c = -n for y.
4
Let m = -5 + 9. Suppose -q = -2 + 6, 0 = m*g + 4*q - 8. Let s be (-6)/(-1)*9/g. Solve -3*u = -s + 3 for u.
2
Let b(s) = 7*s + 1. Let u be b(1). Suppose -u = -r - 2. Let v be (-4)/r - (-24)/9. Solve -3*m + v = -4 for m.
2
Let i(t) = t**2 + t + 6. Let r be i(0). Solve 1 = k + r for k.
-5
Suppose -q = 3*o + 2*q - 99, 2*q + 8 = 0. Suppose 2*p = 2, 0 = 5*m - 2*p - p - o. Suppose 2*w = 5*w. Solve 2*a + 0 + m = w for a.
-4
Let t(s) = s**3 + 9*s**2 - 15*s + 2. Let c(v) = -v + 1. Let r(p) = 5*c(p) - t(p). Let m = 11 - 21. Let q be r(m). Solve k + q = 4*k for k.
1
Let h(g) = -g**2 + 9*g - 6. Let m be h(8). Solve -3*y + y = m for y.
-1
Let l be 5 + (-9 - -9 - (-3)/(-1)). Solve l*s + s + 9 = 0 for s.
-3
Let t be 2/(-8)*-10*24/15. Solve t*j - 9 = 7*j for j.
-3
Let d(o) = -o - 4. Suppose -5*p - 10 = 15. Let l be d(p). Solve 5*b = -14 - l for b.
-3
Let x = -19 - -21. Suppose -z - 3 = -4*l, 5*l - 5 = x*z - z. Solve 0 = -l*d + 1 + 3 for d.
2
Let a = 8 + -5. Suppose a*l = 4*t + 38, -5*l + 2 + 8 = 4*t. Let f be ((-2 - -2)/3)/1. Solve 2*h + f*h + l = 0 for h.
-3
Let m(w) = 0 - 2 + 3*w - 2*w. Let b be m(5). Solve 6 + 0 = b*a for a.
2
Let x = -5 + 7. Solve -x*a + 2 = -2 for a.
2
Suppose -3*i - 174 = -4*b, 2*i - 233 = -5*b - 2*i. Suppose 0 = -4*o + b - 13. Solve o = -0*c - 2*c for c.
-4
Let w = 7 + 7. Let l(o) = o + 9. Let b be l(-6). Suppose 2*s - 3*z = -13, 4*s - b*z + 12 = s. Solve 3*r - s = w for r.
5
Suppose -5*j + 112 = 112. Solve j = d - 4*d + 3 for d.
1
Suppose -q - 5 = -4*n, 2*n + 5*q + 2 - 21 = 0. Solve n*d - 5*d = -9 for d.
3
Suppose -o = -2*d - 10, 4*d = -4*o + 2*d. Suppose -4*k + 9 = 5. Solve o*j + k = -3 for j.
-2
Let z(v) = v**3 + 8*v**2 - 3. Let t be z(-8). Let n be (-1 - -3)/(-2) - t. Solve n = -l - 0 for l.
-2
Let p(j) = 2*j - 7. Let s be p(5). Suppose -4*r = -5 + 1. Suppose 5*m - 4 - r = -4*x, -s*m = -2*x - 3. Solve x*w = -2*w + 6 for w.
3
Suppose -4*n + s = 0, 12 = -2*s + 4. Let w be (-10)/(-2) + (n - 1). Suppose -u - w*l + l + 7 = 0, -4*u + 18 = -2*l. Solve -2*a = -u*a - 6 for a.
-2
Suppose 10 + 95 = 5*t. Let x = 25 - t. Solve 0 = -4*o + x + 8 for o.
3
Let k = -24 + 50. Suppose -4*t + 2*t + k = 0. Suppose c = 4*x - 2 - t, -3*c - 15 = -2*x. Solve -2*d - 1 = -x*d for d.
1
Let i = -1 + -9. Let l be (15/i)/((-1)/2). Suppose -y - 26 = -l*y. Solve 5*n = 2 + y for n.
3
Suppose -4*g + 0*g = 4. Let h be g - -2*1/(-2). Let y = h - -9. Solve -y = 5*z - 2 for z.
-1
Let v(s) = -2*s**2 + 2*s. Let x be v(1). Solve x = 4*q - 2 - 6 for q.
2
Suppose 0 = 3*c - 7 - 2. Solve 0 = -c*q - 0*q + 6 for q.
2
Let a be ((-2)/5)/((-2)/30). Let r be 12*(-2 + 15/a). Solve r*m = m for m.
0
Suppose 5*u + 0*u = -10. Let w = u + 1. Let p be (-3 - -2)*(w - -1). Solve d + 3 = -p*d for d.
-3
Let k = -34 - -39. Solve -9 - 1 = -k*g for g.
2
Let n be 2 - (2 - (-1 + 3)). Let x = 4 - n. Suppose -4 = 6*f - 16. Solve 2*l + f = -x for l.
-2
Suppose -2*a + a = -18. Suppose -4*i - 2*j = -a, j = 3*i + 6*j - 24. So