2
Let x(w) = -w**3 - 4*w + 18. Let s be x(0). Solve 0 = -4*j - 2*f + s, -f + 0 = -3*j + 6 for j.
3
Let d(s) = -s**3 - 6*s**2 + 2. Let z(f) = f**2 - 20*f - 6. Let w be z(20). Let n be d(w). Solve -n*u + 0 + 9 = -j, 15 = -5*u - 5*j for u.
2
Let s = -102 - -102. Solve 8 + 7 = -3*h + c, 5*h - c + 25 = s for h.
-5
Let o(p) = p**2 + 35*p + 322. Let w be o(-16). Solve -2*n + 4*n = 4*y + w, 0 = -y - 2*n + 8 for y.
-2
Suppose 4*o = o. Suppose 0*n + n - 5 = 0, 3*q + 4*n - 26 = o. Solve -3*u + 12 = h + 2*h, 4 = -q*u + 4*h for u.
2
Suppose 0 = 2*b - 2, n + 17 = b + 4*b. Let r = n + 15. Solve 4*m + 2*y = 20 - 2, -14 = -r*m - y for m.
5
Let k be 84/(-10) - 24/40. Let y = -10 - k. Let c be y/(-3) + (-28)/(-6). Solve -3*l - w + 19 = 0, -c*l + 9 = -3*w - w for l.
5
Suppose -5*r = -r + 36. Let y = -9 - r. Suppose -d + 5*d = y. Solve -4*u + 20 = -d, 0 = -4*t + 3*u + 1 for t.
4
Suppose -142*d = -158*d + 64. Solve -d - 6 = 5*a - 5*g, 2*g + 31 = -5*a for a.
-5
Let u = -12 - 24. Let n = 30 + u. Let c be 28/35*(-15)/n. Solve -2*d + 5 = h - 2*h, c = h + 5*d for h.
-3
Suppose 27 + 16 = k - 2*p, 5*k - 210 = 5*p. Let g = -12 + k. Solve -l = 5*y - g, 0 = 5*y - 14 - 11 for l.
4
Let v be (0/(-1))/(-1 - 1). Let n(r) = 35 - 30 - 5*r - r**2 + 4*r + r**3. Let q be n(v). Solve 0*t - 4*p = 3*t + 8, -q*p - 5 = 5*t for t.
4
Let d(w) = -w + 31. Let t be d(14). Suppose -k - 1 = -t. Let o be k/4 + 0/(-2). Solve 5*x = -2*p - 0 + 15, -40 = -o*x + 4*p for x.
5
Suppose 2*r = -2*r. Let c = 8 - r. Suppose -5*h + 75 = f, 0 = 2*f - c - 2. Solve -2*g + 4*k + h = 0, 0 = g + 5*k + 48 - 20 for g.
-3
Let w = 1514 - 1514. Solve 2*s = -4*j - 6, -3*j - j - 12 = w for s.
3
Suppose 4*h + 4*j = 5*h, -5*h = -3*j. Suppose 6 = 2*f + d, -2*f - 5 = -4*d - 1. Solve h = -4*u - 4*w, 0 = f*u - u + 5*w - 16 for u.
-4
Let r = 1737 + -1734. Solve r*p + 3*b - 8*b = -14, -12 = -3*b for p.
2
Suppose -11*s + 1561 = 1539. Solve -2*h = -2*q + s, q - 5*h - 8 = -3 for q.
0
Suppose -g = 2*m - 3, -3*g = 2*g + 5*m - 20. Suppose 3*s - g*s = -2. Let y = 46 + -21. Solve 0 = w + 4*h + s - 16, 5*h - y = 5*w for w.
-1
Suppose 4*c + 8 = -0*c. Let i(x) = x + 2 + x - 3*x**2 + 4*x**2. Let n be i(c). Solve n*m - 12 = -t, 20 = t - 2*m + 6*m for t.
4
Let i(k) = -2*k - 19. Let m be i(-15). Suppose 5*t + 9 + m = 0. Let n be t/(-6)*3 + 2. Solve 4*u + 26 = 3*d, -d - u = -n*u - 17 for d.
2
Let m(i) = -i**2 + i + 16. Let a(x) = -x**3 - 25*x**2 + 26*x + 4. Let b be a(-26). Let s be m(b). Solve -s*o = j - 9 - 9, -8 = -4*j for o.
4
Let g(n) = 2*n - 3. Let m be g(4). Suppose -t = m*t. Solve -5*c + t*z = -4*z - 12, 5*c - z - 18 = 0 for c.
4
Let y(w) = 2*w**2 + 34*w. Let r be y(-17). Let n be (-50)/(-14) + (-16)/28. Solve 2*o - 1 = -8*j + n*j, r = j + 2*o + 3 for j.
1
Let r(z) = -z**3 + 6*z**2 - z + 6. Let l be r(6). Suppose -d = p + 6, -d + l*d = -4*p - 9. Let j be 4 + 0*d/(-6). Solve t - 3*f - j = 0, t + f + f = -1 for t.
1
Suppose 9 = 4*k + 21. Let g = 3 + k. Suppose g = 3*y - 18 + 9. Solve -y*l + 5*i + 7 = 0, -2*i = -2*l - 0*i + 6 for l.
4
Let y be (-8)/(-2) + (-8)/56*0. Solve -15 = 3*w + 4*h, 19 = y*w - 8*w - 5*h for w.
-1
Suppose 63 = -79*t + 86*t. Solve 3*y + 3 = 3*g, 5*g - t = 5*y - 4*y for y.
1
Suppose -3*i = -4*i + c, 0 = -3*i + c. Suppose 12 = 3*f - i*f. Suppose 5*t - 24 = -3*z, 3*z = f*t - z. Solve -5*j - 1 - 14 = 5*m, 4*m = t*j - 26 for j.
2
Let k(w) = -3*w**2 - 2*w - 3. Let z be k(-1). Let o = 8 + z. Solve 0 = -o*t + y + 3 - 16, 3*y = -t for t.
-3
Let r = 89 - 69. Suppose -3*q - 4*a = 1, 3*a = 4*q - r - 12. Solve -2*j - q + 17 = 4*g, 3*j + 2*g = 14 for j.
4
Let r = 136 + -131. Suppose -57 = -r*k - 47. Solve 2*g - 7*g = -3*o - 9, -6 = -k*g + 2*o for g.
0
Let t = 354 + -350. Solve 4 = -t*k + 3*g + 30, -4*g = 4*k - 12 for k.
5
Let x = -294 + 296. Solve x*r - 4*p = p + 25, p = -r + 2 for r.
5
Let a be ((-25)/(-75))/(-1 - 48/(-45)). Solve -5*q = a*w - 0*q, 0 = -3*w + q - 12 for w.
-3
Let o = -795 - -795. Solve -2*n - 4*g = 7 + 7, o = 5*g + 15 for n.
-1
Let g be -4*(-1)/2*1. Suppose 10 = 2*q + g. Solve -5*b + 4*w = 3 + q, b - 7 = -2*w for b.
1
Let k be (-3)/((-6)/8) - -1. Let o = 61 + -30. Solve -4*d = d + 3*y + o, 5*y = k*d + 15 for d.
-5
Let b be (7/(28/3))/(3/12). Suppose -5*j + 3*j = b*j. Solve -3*w = -4*r + r, j = 4*r - 3*w - 4 for r.
4
Let a(d) = 6*d**2 - 1. Let g be a(1). Suppose -g*c = -6*c. Suppose c = -3*l + 5*l - 6. Solve -4*n - v = -8, -4*v = -l*n + n + 4 for n.
2
Suppose 5*a = -l - 11, -3*l - 3*a = -5*l + 17. Suppose 7 + 8 = -5*h. Let y = h - -6. Solve -3*g - l*o - o + 23 = 0, -g + y*o = 11 for g.
1
Let i = 4 - 4. Suppose i = z + 3*z. Suppose -2*x = -5*g - 1 + 11, -3*x + 5*g - 5 = z. Solve -4*k + 7*k = -x*q + 10, q - 4*k - 2 = 0 for q.
2
Let m(o) = -2*o + 1. Let f be m(0). Let w be f/2*(-6)/(-1). Suppose 5*b - 7 = w. Solve 0 = t + 2*n + 1, b*t + n + 1 = t for t.
-1
Let f be (-41)/(-4) - (-48)/64. Suppose -f - 61 = -4*g. Let y = 3 - 3. Solve 0 = 3*c - y*i - 4*i + 4, 0 = 4*c + i + g for c.
-4
Let m = -174 - -33. Let h be m/(-9) + 2/6. Solve -r + h = 2*r + 5*q, 3*q = 3*r + 24 for r.
-3
Let o(j) be the second derivative of 1/2*j**3 - 7/2*j**2 + 0 - 8*j. Let p be o(3). Solve 3*g - z - 20 = -p*z, 0 = 3*g - 3*z for g.
5
Let n = 6 + -5. Let k(f) = 2*f**2 - f + 1. Let b be k(n). Suppose 2*c + 8 = 3*a, -c - b*c = -6. Solve -4 = 2*j + 4*i, 0*i - 14 = -a*j + 3*i for j.
2
Let g = 384 + -379. Solve 0 = -5*x - 10, -g*j + 6*j = 5*x + 13 for j.
3
Suppose -2*l = -0 - 8. Let c = -2 + 3. Suppose 4*p = 4, -p + 2 - c = 3*z. Solve z = -5*k + l*a - 36, 2*k + 15 = 4*a - 9 for k.
-4
Let b be 1*(2 + 2)/(-2). Let m = 2 - b. Suppose -14 = -3*p + p - m*o, 3*o = -2*p + 13. Solve -z = -5*u - 3*z + p, 0 = 2*z for u.
1
Let x(a) = -2 - 7*a + 2 + 12. Let g(f) = -8*f + 11. Let o(y) = -6*g(y) + 7*x(y). Let h be o(10). Solve -6 = -k + 3*c, 4*c + h = -k - 3*k for k.
0
Suppose -16*w - 427 = -811. Solve 4*o - 4 = 4*v + 8, -5*v - w = 4*o for o.
-1
Let q(b) = 8*b**2 - 8*b + 5. Let x be q(1). Solve f + k - 8 = x*f, 4*f + 3*k = -24 for f.
-3
Let r be 0/(1*-2 + 4). Let o = 677 - 672. Solve r = 3*n + 5*p + 15, 0*n - n - 5 = -o*p for n.
-5
Suppose -4*a - 3*z + 35 = -10, a + 3*z = 9. Suppose -3 = -3*v + a. Let k = 3 + 2. Solve 5*b + 15 = 0, -k*b - 3 = v*u - u for u.
3
Let g = 16 + -28. Let c = g - -11. Let f be 7/2 - c/(-2). Solve -2*y - n - 7 = 0, 5 = -f*y + n - 8 for y.
-4
Suppose -3*g = 4*r - 29, -r - 2*g + 20 - 9 = 0. Solve 4*v + 5*y = 20, 6*y = r*v + 11*y - 20 for v.
0
Let o = 11 - 7. Let j be 6/5*(-240)/(-72). Solve j*c - o*v + 8 = 0, -2*c = -5*v - 3 + 1 for c.
-4
Suppose 8*x = 2*x - 30. Let r = x - -5. Solve 0 = 2*t + f + 1, 4*t - f - 13 = -r*t for t.
2
Let g = -259 - -263. Solve -2 + 11 = 2*u - x, g*x = -u for u.
4
Let m = 323 - 318. Solve 5*p + 3 = -l - 0, -4*l + m = 3*p for l.
2
Let j(z) = -77*z + 389. Let u be j(5). Let t = 6 - 3. Solve -10 = p - 5*h, t*p - 3*h + 10 - u = 0 for p.
0
Let w be -2*2/4 + 1. Let q(u) = 6*u - 21. Let n = -41 - -45. Let y be q(n). Solve w = p - 4*k - 5, -2*p + y = -k - 0*k for p.
1
Let j be (-5 + 4)/((-2)/8). Suppose 0 = -g + j*g. Solve -h + 2 = g, -4*r + 1 = -5*h - 9 for r.
5
Let j(z) = -6*z - 2. Let s be j(1). Let k = s + 12. Solve 2*g = -k*v - 3*g - 20, 0 = 5*g + 20 for v.
0
Let g(z) = z**3 - 7*z**2 - 32*z + 2. Let s be g(-3). Solve s = -2*o, 5*o + 6 + 6 = -4*c for c.
2
Suppose 0 = c - 36. Let j = c + -36. Suppose -5*h - g + 24 = j, -10 = -3*h + 3*g + 8. Solve 5*y + 12 = -a, 0*a + 10 = -h*a for y.
-2
Let z be (0 - 1)*0/(-2). Let w be 2 - 0 - (-1 - z). Solve -w*i - 2*i - g + 17 = 0, -i - g = -1 for i.
4
Let k(x) = -x**3 + 5*x**2 - 5*x + 2. Let f be k(4). Let d be (5 - 1) + 1 - f. Solve -w + 1 = -r, -3*r = -d + 1 for w.
3
Suppose 22*j - 147 = -125. Solve 0 = 4*u + 2*g - 2, 0*u + j = -4*u - g for u.
-1
Let w be (24/20)/((-5)/(500/(-15))). Solve -2*r = 5*g - 5*r + 17, 2*r = w for g.
-1
Suppose -2*o + 5*c + 1 = 0, -c + 3 - 14 = -4*o. Solve 0*s + 3*i + 23 = 2*s, 3*s + o = -3*i for s.
4
Suppose 0 = -9*u + 4*u - 125. Let j = u + 29. Solve -4 = 3*b - 2*s, 3 = -j*s + 11 for b.
0
Suppose 5*f = 21 + 4. Let b be (-3 - -2)/(f/20). Let d be ((-11)/b)/(4/32). Solve 0 = -5*w - l + 1, 0 = -2*w + 7*l - 2*l + d for w.
1
Suppose -13*m + 12 = -27. Suppose -69 = -4*u + m*x, 0*x - 4*x + 94 = 5*u. Solve 2*h - 16 = -3*a, 5*h = a + h + u for a.
2
Suppose 85 = 