 z.
2
Let d(q) = 13*q - 86. Let j be d(7). Solve j = k + 6 for k.
-1
Suppose -4*h - 5 = -3*h - 5*q, 5*h + 3*q - 87 = 0. Suppose 0*p - 5*p = -h, 0 = 5*a + p - 23. Let m be 2/3 - a/(-3). Solve 2*s - 12 = -m*s for s.
3
Let k be 8/12 + 88/(-6). Let o be k/8 + (-1)/4. Let q = o - -2. Solve q*d - 15 = -3*d for d.
5
Let v = 4 + -7. Let n be (-1)/(v/42 - 0). Let z = 1 + n. Solve 4*f = f - z for f.
-5
Let c be (-4)/((2 + -1)*-1). Let u(r) = -15*r. Let q be u(-1). Solve -q = -c*p + p for p.
5
Let i be (-1 - (1 + -3))*0. Let m be (9/(-18))/((-2)/8). Suppose -4*p = 2*v - 24, 0 = -4*p - 3*v + m + 18. Solve i = 4*r - 28 + p for r.
5
Suppose -k - 10 = -5*w - 0*w, 2*k + 5*w - 10 = 0. Suppose -2*h - h + 9 = k. Let i be (-4)/(-2) - 2*-7. Solve i = -o - h*o for o.
-4
Suppose 0 = w - 0*w - 5. Suppose 2*t + 32 = -4*c, -2*c + 15 = -w*c. Let j be (-7)/(-5) - t/(-15). Solve 11 - j = -5*r for r.
-2
Let j be 1 + 6 + -8 + 4. Solve u - 2 = j*u for u.
-1
Suppose j + 0*g - 43 = 5*g, 0 = 2*j + 3*g - 21. Suppose -b - b = -j. Suppose -3*m + 9 = -3. Solve b*u - 10 = m*u for u.
2
Suppose 0 = 3*r + r. Let g be (3 - 0) + (2 - 2). Solve -g*h - 4 - 8 = r for h.
-4
Let v(c) = -2*c - 9. Let i be v(-6). Let w = 5 - 1. Solve -i*n = n + w for n.
-1
Let p be (2 + -2)*(-4)/8. Suppose p*o = -4*o. Solve o = -7*r + 4*r - 15 for r.
-5
Let h be 1 - 1*(-4 + 2). Suppose -2*y + 3*y - h = 3*s, 0 = 2*y + 5*s + 5. Suppose -3*j + 0*j = 4*n - 4, j - 12 = 4*n. Solve j = -y*i + 4*i for i.
1
Let r be (-34)/(-8) + 6/(-24). Solve -4*o - r = -20 for o.
4
Let o(d) = d**2 + 3*d - 4. Let k be o(-4). Let x(y) = y + 5 + k*y + 0*y. Let f be x(-5). Solve f*t + 3*t = 0 for t.
0
Let a be (-2)/10 + 11/5. Solve -2 = -a*v - 8 for v.
-3
Let g(h) = -h**2 - 5*h - 2. Let z be g(-4). Suppose 0 = 2*i + z*l - 6, -2*i + i + 3 = 4*l. Solve 0 = 2*x + 1 + i for x.
-2
Let n be (-2 - 0)*(-2 + 0). Let w(y) = -y**2 + 4*y + 2. Let j be w(n). Solve -5*t + j*t = 9 for t.
-3
Let z = -8 - -5. Let a be 63/15 + z/15. Solve 5*x - 19 = -a for x.
3
Suppose -2*q + i = q - 8, 0 = 5*q - 4*i - 11. Suppose 4*a + z - 1 = 1, -4 = 2*a - 2*z. Solve a*o + 6 = -q*o for o.
-2
Let w be (2/(-3))/((-4)/18). Suppose 0 = w*o - 9, -g - 2*o + 10 = -0*g. Solve 5*a + g = 19 for a.
3
Let i(x) = 14*x**2 - 1. Let m be i(1). Let v be m + -11 + (-1 - -1). Solve v*c + 8 = 6*c for c.
2
Let d(h) = -h**2 - 4*h. Let y be d(-3). Suppose -2*o = -4*w - 1 - 1, -y*o = -2*w - 7. Suppose 0 = z + 2*z - 4*u + 2, 3*u = 4*z - 2. Solve z - o = n for n.
-1
Suppose -11 = -5*t + 9. Suppose 28 = 5*x + 8. Suppose -3*d + 6 = z + 1, -x*d = -3*z + 15. Solve d = v - t*v + 6 for v.
2
Suppose 0*t - 4*t - 36 = 0. Let n = t - -15. Solve -p = p + n for p.
-3
Let n = 36 - 23. Solve 5*l = 7 + n for l.
4
Let n = -26 + 25. Suppose -20 = 3*g - 0*h + 5*h, -5*g - 5*h - 20 = 0. Let a be 7 + -4 - (n + g). Solve a = -3*w + w for w.
-2
Let c(u) = 2*u + 2. Let a be c(0). Solve 0 = a*v + 3*v + 15 for v.
-3
Let m(o) = o**3 - o**2 + 2*o - 2. Let v be m(2). Suppose 3*g - 2*d - v = -4*d, 0 = -5*g - 4*d + 8. Suppose 0 = 2*f - g*f. Solve f - 1 = -k for k.
1
Suppose w + 1 = 0, -w + 7 = u + 2*w. Suppose -u = -6*o + 4*o. Solve 9 + 6 = o*f for f.
3
Let n(q) = q**3 - 14*q**2 - 12*q - 2. Let v(m) = m**3 - 15*m**2 - 12*m - 2. Let i(h) = -4*n(h) + 3*v(h). Let k be i(12). Solve -2*s + k = -s for s.
2
Let o(d) = -3*d - 14. Let v be o(-6). Solve -2*x + x = -v for x.
4
Suppose 2*a - 6 = -4*t, 2*t - 4*t + 23 = 5*a. Let j(x) = x**2 - x. Let o be j(t). Solve 3*z - o = z for z.
1
Let s(i) = 7*i**2 - 11*i + 14. Let r(p) = -20*p**2 + 33*p - 42. Let x(q) = 6*r(q) + 17*s(q). Let g be x(10). Let w = g + 8. Solve -w*v = -8*v - 20 for v.
-5
Let c be (-2)/7 - (-745)/35. Let f = c + 19. Suppose g + 3*g - f = -3*j, -j = -2*g. Solve -j = 6*s - 2*s for s.
-2
Let w(t) = -t + 8. Let x(i) = i**3 + 5*i**2 - 7*i + 2. Let y be x(-6). Let h be w(y). Suppose h = 2*u - 6*u + 4. Solve 14 + u = -3*j for j.
-5
Let u = 39 + -37. Solve 2 = -u*d - 4 for d.
-3
Suppose -w - 4*x + 23 = 0, w - 3*x + 22 = 2*x. Suppose -l - w*l = -12. Solve -1 - 2 = l*q for q.
-1
Suppose -37 = -5*k - v, -k + 16 = 4*v + 1. Suppose 2*j = g + 10, -5*g - 15 - k = -3*j. Let c be 2/g - (-1 - 5). Solve 0 + c = -5*q for q.
-1
Let y = 20 + -16. Solve 4*s + 16 = y for s.
-3
Suppose 10 = 5*p, -5 = -3*j + p - 1. Let m(c) = 4*c - 2. Let t be m(j). Solve -t - 6 = -4*o for o.
3
Let s(z) = 2*z - 4. Let x be s(3). Let c(i) = -13*i**3 - i. Let y be c(-1). Solve y + x = -4*q for q.
-4
Let x be (-2)/(-4) - (-60)/8. Solve -5*k + 7 = -x for k.
3
Suppose 0 = -4*s - z + 25, s = z + 4*z + 1. Let d = -10 + s. Let b = d - -6. Solve -4 = -2*w - b*w for w.
1
Let v be (1/2)/((-2)/(-4)). Let r(o) = o - 5. Let d be r(7). Solve -d = u + v for u.
-3
Let b = -2 - -22. Solve -3*y = y - b for y.
5
Suppose -3 - 1 = -b. Suppose b*f = f. Solve -5 = -a - f*a for a.
5
Suppose 22*u + 48 = 26*u. Solve 0*a = 3*a + u for a.
-4
Let m be 3/(-3) + (4 - 0). Suppose m*o - 22 = -4. Solve -4*q = -6*q + o for q.
3
Suppose 0 = -4*j + 4*f - 8, 3*j - 4*f = -3 - 5. Solve j = -4*g - g + 15 for g.
3
Suppose 21 = -5*g - 2*w - 2*w, 12 = -3*w. Let b be (3 + -2 + g)/(-3). Suppose 0 = -3*m + 3*u, -5*m + u + 12 = -b*u. Solve l = m*l - 10 for l.
5
Let k be (-60)/(-14) + 24/(-84). Suppose -5*c + 10 = -2*g + 6*g, -2*c + k = g. Solve g = 6*i - i - 25 for i.
5
Let i(d) = -d**3 - d**2 - 2*d - 4. Let u be i(-2). Suppose y = -0*y. Let m be (0 + -2)/(2/(-5)). Solve z + u*z - m = y for z.
1
Let u(s) = s**3 - 5*s**2 - 6*s. Let l be u(6). Solve l*c = -2*c for c.
0
Let y be 1/(-3) + 21/9. Suppose 0*f + 18 = y*f. Solve 5*c - f = -24 for c.
-3
Let b(v) = 3 - 5 - v**2 + 2*v**2 + 8*v. Let w be b(-9). Suppose w - 2 = i. Solve -i*a + a = 16 for a.
-4
Let s(i) = i**3 - i. Let y be s(-1). Solve -2*m = -y*m for m.
0
Suppose 8*x - 3*x + 50 = 0. Let m be (x/(-2))/(-3 + 4). Solve m = 4*c - 5*c for c.
-5
Let t(u) = u + 1. Let v be t(1). Suppose -v*a + 5*a - 3*d - 18 = 0, -3*d = 5*a + 2. Suppose -15 = -a*q + 5*x, 0 = 7*q - 5*q - 2*x - 24. Solve 4*o - 1 = q for o.
4
Let j(d) = d - 11. Suppose 3*w - 33 = -3*k, -43 + 6 = -3*k + w. Let t be j(k). Solve -4 = -5*g + t for g.
1
Let o(b) = -b**3 + 4*b**2 + 4*b. Let g be o(4). Suppose g = 4*l - 0. Solve -3*f = -l*f for f.
0
Suppose -3*q - 4*o + 29 = -0*q, 0 = 5*q + o - 20. Suppose -3*t = -3*j, 2*j - 2*t - 4 = -j. Solve -q = j*u - 15 for u.
3
Let a = 8 - 2. Solve -n + a - 3 = 0 for n.
3
Let h(u) = -u**3 - 3*u**2 + u + 3. Let o be h(-3). Let g(t) = o + 1 - 4*t + 0. Let s be g(-1). Solve -s*k + 0*k - 15 = 0 for k.
-3
Let f(s) = -s**3 - 5*s**2 + 2. Suppose -2*r + 4 + 1 = -t, 4*r = 0. Let d be f(t). Solve -3 + d = y for y.
-1
Let f(y) = 5*y**2 + 7*y + 11. Suppose -2*b + 4*b = -18. Let r(s) = -s**2 - 2*s - 3. Let n(m) = b*r(m) - 2*f(m). Let u be n(4). Solve -k + u + 0 = 0 for k.
5
Let t = 75 + -73. Solve -t*m = m for m.
0
Let z(c) = c**2 + 10*c - 7. Let s be z(-11). Solve s = -3*i + 13 for i.
3
Let v = -2 + 7. Let a(x) = x**3 - 6*x**2 + 7*x - 1. Let d be a(v). Solve 2*l - 3 = -d for l.
-3
Let y = 4 + -4. Let b(h) = y + h - 3 - 1. Let v be b(10). Solve -g - v = g for g.
-3
Let t(b) = -b**2 - 3*b - 9. Let s be t(-6). Let z be (4/6)/((-6)/s). Let a be 2*3 + (3 - z). Solve -n + a = -4*n for n.
-2
Suppose 0 = 5*s - 9 - 6. Let p = s - -1. Solve 0 = -p*u + u - 6 for u.
-2
Let a(p) = -8*p - 1. Suppose 2*w + 3*j + 1 = 0, 2*w + 8 = -0*j + 4*j. Let f be a(w). Solve f = 5*u - 5 for u.
4
Let m be (-8)/(-12)*117/6. Let f be 2/5 + m/5. Solve 0 = 2*n - 5*n + f for n.
1
Suppose -2*p = -p - 3. Suppose p*t - 18 = -h - t, 0 = -4*h + 2*t. Solve -5*c + 3 = -h*c for c.
1
Suppose 0 = 4*i + i - 25. Solve -2*x = -7*x - i for x.
-1
Let r be 10/25*5 + 8. Solve -v + r = -6*v for v.
-2
Let u(w) = -2*w - 2. Let z be u(-2). Solve -z*d = 5 + 5 for d.
-5
Let b be 1/1*6/2. Let o(x) = -x**2 + 3*x + 4. Let p be o(b). Solve 9*u = p*u + 15 for u.
3
Let o be -3*-1*(-6)/(-9). Let c(i) = 2*i**2 - 2*i - 1. Let t be c(o). Solve -t*m = m for m.
0
Let v(u) = u**2 + 11*u + 10. Let o be v(-10). Let n be 2 + o + (0 - -1). Solve -1 + 7 = -n*r for r.
-2
Let z(j) = j**3 - j**2 - j - 4. Let p be z(0). Let v = -2 - p. Solve 5*k = v - 27 for k.
-5
Let j = 9 - 7. Suppose 2*b + 2*z = 44, -56 = b - 4*b + 2*z. Solve j*i - 7*i = -b for i.
4
Let o(f) = 8*f - 2. Let n be o(1). Suppose -n = 3*m,