+ s + 8 = h for u.
5
Let i be (-6)/(-2)*(14 + -9). Suppose 10 = 5*v - i. Solve -v + 1 = -x for x.
4
Suppose -3 = 7*w - 8*w. Solve 0*o + 6 = w*o for o.
2
Suppose 5*s + 12 = 2*j - 21, -5*j + 30 = 5*s. Suppose 3*y - 50 = -5*x, -60 = -4*x - x - 5*y. Solve 4*q - x = j for q.
4
Let b be (10/(-4))/(25/(-50)). Solve 2*z + 1 = b for z.
2
Let l(m) = -1. Let i(r) = 2*r - 16. Let t(j) = -i(j) + 10*l(j). Let p be t(2). Solve -q - p*q = 6 for q.
-2
Let o(m) = -m**3 - 9*m**2 + 8*m - 11. Let y be o(-10). Solve 3*b - 6*b - y = 0 for b.
-3
Suppose -5*h + 26 = 3*f, 0 = -3*h + 4*h + 5*f - 14. Solve 2*j = j + h for j.
4
Let j be 1/(1 + 59/(-60)). Suppose -4*k - 5*p - j = 0, -4*k - 60 = 2*p + p. Let n = k - -21. Solve 3*z + 21 = n for z.
-5
Let b = -8 + 13. Let n be (7/14)/(2/12). Suppose -p + 18 = -4*c, 2*p - 3*c - 13 - n = 0. Solve b*v = p*v + 9 for v.
3
Suppose 3*x + 2 = 5. Let j(t) = -t**2 + t - 1. Let c be j(x). Let h be -2 - (c - -3)*-3. Solve 0 = 2*n - 3*n + h for n.
4
Let x = 2 + 0. Let q = 4 - x. Suppose -2*s + 14 = 2*a - q, 0 = -a + 5. Solve 4 = -s*z + 5*z for z.
2
Let f be 6/(-30) + (-63)/(-15). Solve m = -5 + f for m.
-1
Let y = 44 + -41. Solve 20 = y*j + 5 for j.
5
Let w(c) = -c**2 + 5*c + 6. Suppose 0 = -2*k + 1 + 11. Let q be w(k). Solve -2*j - 10 + 0 = q for j.
-5
Let s = 209 + -329. Let w be (-10)/(-4)*s/(-50). Solve d - w*d = 5 for d.
-1
Suppose -3*j - 18 = -5*j. Let x = j + -9. Solve -3*n + n + 4 = x for n.
2
Let w(l) = -l**3 + l**2. Let c be w(0). Suppose 4*m = -5*z - 46, 0 = -2*m + 3*m + 3*z + 15. Let v = m + 11. Solve -v*u = -c*u for u.
0
Suppose 2*z = -p + 1, 5*z = -5*p - 3 - 7. Suppose z*l = -5*h + 85, 0*l = -3*h + l + 65. Solve 0 = -3*d + 8*d + h for d.
-4
Suppose -2*q + 23 = -5*s, 4*s = 3*q + 2*s - 18. Suppose x = -2*x. Solve q*t + 16 + x = 0 for t.
-4
Suppose 5*x + 29 = 6*x. Let n = -21 + x. Solve -n = 4*g - 24 for g.
4
Let y = 26 - 22. Let d(n) = n + 5. Let o be d(-5). Solve o*v + y = -4*v for v.
-1
Let z = 16 - 14. Solve 0 = 4*t - 6 + z for t.
1
Let g = -28 - -35. Solve 0 = 4*y - g - 13 for y.
5
Suppose 5*z = -0*z - 35. Let a = 11 + z. Solve -i + 15 = a*i for i.
3
Suppose -5*y - 6 + 1 = 0. Let v be ((-1)/2)/(y/(-6)). Let o = 5 + v. Solve 7*k = o*k + 10 for k.
2
Let m be 1 - 0 - (2 + -26). Let l = m - 15. Solve -3*u - l = -8*u for u.
2
Suppose 0 = 4*r - 8*r. Solve -f + 0*f - 2 = r for f.
-2
Suppose 0*h - 10 = -2*h. Suppose -70 = -5*m - 5*d, h*d - 6 = 3*d. Solve 4*f + 1 = -m for f.
-3
Let u(o) = 4*o**2 + 4*o + 3. Let v be u(-1). Solve -7*p - 8 = -v*p for p.
-2
Let s = 16 - 7. Suppose -8 = -2*p, 2*d + s = 7*d - 4*p. Suppose d*z - 4 = z. Solve 2*y = -1 - z for y.
-1
Suppose 4*j = -3*h + 3, -3*h = 2*j - 6*j + 21. Suppose 2*s - 4*s + 5*f + 20 = 0, 2*f + 8 = 0. Let k be (-2)/4*(5 + -5)/(-2). Solve s = -k*n + j*n - 12 for n.
4
Let m(t) = -t**2 + t. Let l(o) = -3*o**2 + 12*o + 10. Let u(z) = l(z) - 4*m(z). Let q be u(-7). Solve -3 - 12 = -q*i for i.
5
Suppose g + 0 = 2. Suppose 0 = -4*y + g*y. Solve y = -2*c - 3*c + 5 for c.
1
Let d(u) = -u + 3. Let p = 3 + -3. Let b be d(p). Suppose -b*n + 15 = 2*n. Solve -x = n*x for x.
0
Suppose -18 = -3*o - 6. Suppose -o*z + 3*g + 49 = 0, -3*g + 31 = 4*z - 0*g. Solve z = 2*q - 0 for q.
5
Suppose -5*w + 32 = 12. Let b(v) = v**3 - 3*v**2 - 3*v - 1. Let l be b(w). Suppose 2*d - 25 = -s, -d + 3*s + 27 = 11. Solve 2*g + l = d for g.
5
Suppose -7*d = -3*d + 44. Let v = d - -14. Solve -v*z = -5*z + 6 for z.
3
Let g = -9 - -14. Suppose -u = 5*l - 74, -7*l = -2*l - g*u - 80. Solve r + l = 4*r for r.
5
Let j = 8 + -6. Solve -j*s = s for s.
0
Let a = 19 + -10. Suppose 3*j = 16 + 2. Let t be (1 + (-7)/2)*-2. Solve j = t*i - a for i.
3
Let f(q) = q**2 - 10*q + 13. Suppose -2*l + 5*s = 29, -4 = -5*s + s. Let c = -3 - l. Let d be f(c). Solve 0 = -w + 3*w + d for w.
-2
Let u = -44 - -44. Solve 0*j + j - 1 = u for j.
1
Let j(x) be the first derivative of x**2/2 - 6*x + 1. Let u be j(7). Let t be (1 + 1)*(u - -3). Solve 5*f + 17 + t = 0 for f.
-5
Let a = 12 - 15. Let x = a - -8. Solve 0 = t - x for t.
5
Let q(d) = -2*d**3 + 2*d**2 + d. Let c be q(-1). Solve 0 = -c*h - 17 + 5 for h.
-4
Let w = -15 + 18. Let k be 4*(-3)/(-18)*3. Solve 20 = -k*u - w*u for u.
-4
Let t be (-3)/((-1)/(-86)*-2). Let y be t/9 + 2/3. Solve 5*z + y = -5 for z.
-4
Suppose 2*l - 3 = -3*i, 3*i + l - 3 = 2*l. Let o(q) = -q - 2. Let a = 18 - 20. Let w be o(a). Solve -3*s - i - 8 = w for s.
-3
Let i(y) be the third derivative of -y**5/60 + 11*y**4/24 - 13*y**3/6 - 3*y**2. Let t be i(9). Let j(m) = 2*m - 4. Let a be j(t). Solve 14 = -4*c + a for c.
-2
Let l = -2 - -5. Let y be (0*l/9)/(-1). Solve y - 4 = -j for j.
4
Let h(w) = 3*w - 8. Let b be h(6). Let f = -18 + 28. Solve 0 = 4*v - b - f for v.
5
Let b be 36/2*6/4. Let t be 17/7 - b/63. Solve -f = -3*f + t for f.
1
Suppose -3*p + 4*p = 2*k - 9, 2*k + p - 11 = 0. Suppose 7 = 2*t - k. Suppose 2 - t = -2*v. Solve -v*f = -f + 1 for f.
-1
Let t be 1 - -2 - (-5 + (-15)/(-5)). Solve -t*z + z - 8 = 0 for z.
-2
Let p = -102 - -72. Let i = -23 - p. Solve 3*z - 16 = i*z for z.
-4
Let y be 7/((-21)/(-6))*1. Suppose 5*k + y = 17. Solve d - 12 = -k*d for d.
3
Let j be 4/(-20) - 179/5. Let f be 1 - 1 - j/(-6). Let h be f/4*(-30)/9. Solve -3*g - 2*g - h = 0 for g.
-1
Suppose 3*j - 17 + 2 = 0. Suppose r + j = 6*r. Suppose 2*k = -g + 1, 5*k + g = k + r. Solve 0 = -4*u - k*u + 4 for u.
1
Suppose 0 = -7*d + 2*d - 4*s + 62, -d = -s - 7. Suppose -z - 4*z + 6 = 3*x, d = 5*z + 5*x. Solve n + 1 + 0 = z for n.
-1
Suppose -3*b + 1 = -14. Suppose 2*q = -3*q + 25. Suppose -b*o + 3*c = -4*o, o - q*c = 0. Solve o = y - 3*y for y.
0
Suppose -2 = -i + f + f, -47 = -4*i - 5*f. Solve -4 = 4*s + i for s.
-3
Let y(a) = -a**3 + 8*a**2 - 9*a + 17. Let f be y(7). Solve f*c = -0*c - 15 for c.
-5
Suppose 0 = -2*r + r. Suppose r = 5*n - 0*n. Solve n = -2*m - m for m.
0
Let j(t) = t. Let n(c) = -8 - 19*c - 2 - 6 - c**2. Let v(g) = -6*j(g) - n(g). Let b be v(-12). Solve 0 = -k - b*k + 5 for k.
1
Suppose 5*g = -k + 17, 2*k - 3*g + 5*g - 10 = 0. Let d = 4 - k. Solve -5*m + 18 + d = 0 for m.
4
Let w = 1 + 1. Let f(c) = c + 5. Let v be f(-5). Solve -n + w*n + 2 = v for n.
-2
Suppose -4 = -4*j - 4*y, 3*j = 5*y + 3 + 16. Solve 0 = j*k - 0*k for k.
0
Suppose 0 = -0*h + 6*h - h. Solve h = -i - i for i.
0
Suppose 20 = 5*c - 7*c. Let d = c - -12. Solve -d*l - 3 = -1 for l.
-1
Suppose -3*u = 4*r - 8, -3*r + 3 = -4*u - 3. Solve r*z = z for z.
0
Let b be 2/5 - 68/20. Let n = 1 - b. Suppose n*q - 23 - 1 = 0. Solve 5*a - 4 = q for a.
2
Let o(t) = t + 7. Let m be o(8). Solve -p - 4*p = m for p.
-3
Suppose -7*a = -11*a. Solve -u + 4 - 9 = a for u.
-5
Suppose -l - 25 = -f, -68 = -4*f - 4*l + 8. Suppose -2*w - 6 = -f. Let k(i) = -i**2 + 7*i + 9. Let a be k(w). Solve 2*q = 9 + a for q.
5
Suppose 2*l + 1 = -s + 4*l, -8 = -4*l. Suppose -3*v = -4*v + 3. Let h be (-32)/(-6) - 1/v. Solve s*q = h*q for q.
0
Suppose f - 5 + 3 = 0. Let v(q) = -q + 6. Let h be v(3). Solve 0 = f*i + 1 + h for i.
-2
Suppose 4 = -2*w + 5*s - 1, -5*s = 4*w - 35. Suppose w*g - z - 2 = 0, z = -2*g - z - 4. Solve m = -g*m for m.
0
Let i(b) = b**3 - 10*b**2 + 12*b - 4. Let l be i(9). Suppose 3*s = 5*x + s - l, -4*x + 25 = 5*s. Solve 20 - x = 3*q for q.
5
Let r = 8 + -3. Let z = 2 - 1. Let m be 1*(-2 + z + 4). Solve -7 - m = -r*q for q.
2
Let w be (-5 - 8/(-4)) + 15/3. Solve -w*s - 3 = -9 for s.
3
Suppose b - 10 = 5*n - 0*n, 8 = 2*n + 2*b. Let a be (7 - 4)*(2 + n). Solve a*y - 25 = -2*y for y.
5
Let z(c) = 9*c**3 - 2*c + 1. Let b be z(1). Let y be (-20)/(-16) + 6/b. Let q = 4 - y. Solve -q - 3 = -p for p.
5
Let x = 5 + -5. Let c(i) = -i**2 + 27. Let d be c(x). Solve d = 5*n + 2 for n.
5
Let c = 34 + -7. Suppose -c = -r - 12. Solve 8*g = 3*g + r for g.
3
Let k(b) = b**2 + 7*b + 1. Let c be k(-7). Solve 5 - c = -2*f for f.
-2
Let t be 3 - (0 + (2 - 1)). Let q(y) = -y**2 - 5*y - 4. Let p be q(-4). Solve p = t*o + o - 3 for o.
1
Let b = 80 - 60. Solve 0 = -4*x + b for x.
5
Let p be (-28)/35*-1*5. Suppose 2*u - p*u = -16. Solve 0 = u*i - 3*i + 5 for i.
-1
Let x(v) = v**3 - 5*v**2 + 8*v - 14. Let y be x(4). Solve -h + y = -2 for h.
4
Let a be (9/(-6) - 0)*14. Let l be (-6)/4*28/a. Solve -l*o + 0 = 8 for o.
-4
Let g = 1 - -1. Solve 3*m = -g*m for m.
0
Suppose -2*r - b + 0*b = -9, 0 = -5*r + 3*b - 5. Let o b