 -3*a + d - 4, -3*d = -5*a - 3. Let w(y) = y**3. Let s be w(a). Solve 0 = -u - s - 1 for u.
-1
Suppose 3 - 8 = 2*t + 3*w, 0 = 4*w + 20. Solve 0 = -0*l - t*l - 10 for l.
-2
Let z = 34 - -2. Suppose -h = -5*h + z. Solve -4*l + h = -7 for l.
4
Suppose 5 = 5*y - 4*y. Let c(l) = l**3 - 6*l**2 + 5*l + 2. Let a be c(5). Suppose 0*q - 3*o = -2*q - 2, -q + 2*o - a = 0. Solve -q*z - y = -z for z.
-5
Suppose 2 + 5 = -2*c - 3*q, -19 = -c + 3*q. Suppose c*h - 22 = -5*x, -2*x - 2*h + 5*h = 5. Let v be ((-5)/3)/(2/(-6)). Solve -x*p + p = v for p.
-5
Suppose -a + 8 = -0. Suppose 0 = y + y - a. Suppose -z + 2*d = -8, -y*d - 12 = -3*z + 8. Solve 8 - z = p for p.
4
Let v(z) = z**2 - 4. Let q be v(2). Solve -2*c + 0 - 4 = q for c.
-2
Suppose 16 = 5*q - k, -4*q + 3*k + 1 + 3 = 0. Solve -12 = -q*b + 8 for b.
5
Let k(n) = n**2 - 5*n - 8. Suppose 0*x + 5*x - 35 = 0. Let f be k(x). Suppose -f*m + m = -10. Solve -3*u = m*u - 25 for u.
5
Let p(m) be the second derivative of -m**3/6 - 5*m**2 - 2*m. Let r(o) = o + 9. Let b(l) = -4*p(l) - 5*r(l). Let f be b(-7). Solve -f*s + 0*s = 6 for s.
-3
Let m be (32/(-12))/(2/(-3)). Let w be -2 + (4/m - -9). Solve -w + 2 = 3*v for v.
-2
Let i(g) = 5*g - 5. Let n be i(7). Suppose 0 = 5*z + y + 2*y - n, -4*z + 5*y = 13. Suppose -5*f + z*w = -19, 5*w = -f + 3*f. Solve -f*r + 18 = -7 for r.
5
Suppose 0 = 3*f - 5*b - 2 + 4, 0 = -2*f - 4*b + 6. Solve 0*c + f = -c for c.
-1
Suppose y = 2*c + 10, -5*y - 5*c + 68 - 3 = 0. Let b = y - 12. Solve b = -l - 2*l for l.
0
Suppose -6*p - 12 = -10*p. Solve -p*x = 10 + 2 for x.
-4
Suppose -2*i - i = 0. Suppose 5*r = -i*r - 3*c - 19, 0 = 5*r + 5*c + 15. Let g = -1 - r. Solve -d - g*d + 10 = 0 for d.
2
Suppose 0 = 5*l - 3*k + 14 + 18, 5*l = -4*k - 4. Let r = l + 6. Solve -r*j = 2*j + 12 for j.
-3
Let k(j) = -3*j - 1. Suppose -3*d + 5*d + 8 = 0. Let x be k(d). Suppose 3*z + 3*c - x = -c, -3*z = -5*c - 20. Solve 0*g - z*g - 20 = 0 for g.
-4
Let i = 17 + -7. Let f be (-10)/45 + 4/18. Let d = f - -2. Solve -2*y + d = i for y.
-4
Let c(q) = q**3 - 7*q**2 - q + 2. Let p be c(7). Let k be ((-12)/(-15))/((-2)/p). Suppose -k*h + 16 = 3*f, 0 = -2*f + 8. Solve 3*j = -h*j - 20 for j.
-4
Let s = -122 - -125. Solve s*n - 1 = 11 for n.
4
Let y(x) = 2*x**2 - 3*x. Let w be y(2). Suppose 0 = -3*o + 5*m - 19, -2*m + 1 = -w*o - m. Solve o = n + n for n.
1
Let u be 8/(-2)*(-6 + 4). Let q be 40/12 - 2/(-3). Suppose 12 = 4*o - 4*y, 2*o - q - 2 = -5*y. Solve u = g + o*g for g.
2
Suppose -2*n + 2 = 3*c - 3, 0 = -5*c - n + 13. Solve 0*x + c*x = -12 for x.
-4
Let d(j) = -j**2 + 6*j - 1. Let c be d(5). Solve -2 - c = 2*h for h.
-3
Let f(r) = 3*r - 81. Let h be f(30). Solve h = 5*l - 11 for l.
4
Let q(g) = -2 + 3*g**3 - 2*g**3 - g + 4 + 8*g**2. Let u be q(-8). Solve 4*r = 6 + u for r.
4
Let o be (0 + -2)*(-12)/8. Solve 0 = -o*m - 2 - 1 for m.
-1
Let y be 12/(-4) - (3 - 11). Solve -y = 5*x + 15 for x.
-4
Let l = 38 - 33. Solve -l*y = -3*y + 2 for y.
-1
Let u be 1/(-2)*0/(-3). Let z = u + 2. Suppose 0 = 4*b - 4, -4 = -3*y + 3*b - b. Solve y*m - 8 = z for m.
5
Let u = -46 + 48. Solve -u*o = -o + 5 for o.
-5
Suppose 0 = 5*j - 18 - 7. Let o(h) = -h**2 - 5*h + 4. Let c be o(-5). Solve -c - 6 = -j*i for i.
2
Let l be (2 - 1) + 0 - -1. Suppose 2*x + l*x = 12. Solve x*m = -0*m - 3 for m.
-1
Let g = 4 - 7. Let z = 1 + g. Let k be (-4 - z)/2 - -3. Solve -k*w = w - 15 for w.
5
Let l be ((-1)/4)/(3/(-84)). Solve -15 = -l*c + 4*c for c.
5
Let l = 16 - 13. Solve 2*f = -1 - l for f.
-2
Suppose p + 4 = -6. Let b be 2/(-3)*(-4 - 2). Let k be 0 + (-5)/(p/b). Solve -k*t + 3 = 1 for t.
1
Suppose 4*m = -4*t + 16, 5*t - 2*t + m = 8. Suppose -2*s + t*g - 22 = -4*s, -2*g - 41 = -5*s. Solve 0 = -z + 4*z - s for z.
3
Let n(v) = v**3 + 5*v**2 - 6*v + 3. Let w be n(-6). Let k(t) = -t + 4. Let q = 0 + 2. Let m be k(q). Solve w*z + m = -10 for z.
-4
Let y(p) = -p**2 - 5*p + 7. Let z be y(-6). Solve 5 = -4*v + z for v.
-1
Suppose 10 = -5*f + 3*o, 6*o - o - 23 = 2*f. Solve 3 = 4*i - f for i.
1
Suppose 2*o + 32 = 4*o. Let i = -12 + o. Solve -2*q = -q + i for q.
-4
Let f be (-6 + 3)*(0 - 1). Solve f*i = -0*i for i.
0
Let q be 3 + (-9 + 11)*(-1)/2. Suppose -1 = -3*g + 8. Let n(k) = -k**2 + 6*k + 1. Let u be n(g). Solve 0 = -q*o - 0 - u for o.
-5
Suppose -11*j + 7*j = -12. Solve -2 = -h + j for h.
5
Let f = -51 - -56. Solve 0 = -t - 1 + f for t.
4
Let s(c) = c - 1. Let x be s(9). Solve x*r - 20 = 3*r for r.
4
Suppose 3*z + 58 = 5*j - 30, 0 = 5*z + 3*j + 192. Let r = 51 + z. Let k = 5 - 3. Solve -k*w = -5*w + r for w.
5
Let x(v) = v**3 - v + 20. Let u(p) = -p - 1. Let t be u(-1). Let g be (0 - t)/(-1 + 2). Let z be x(g). Solve -7*y + z = -2*y for y.
4
Suppose -4*w = -0*w - 48. Let j = w + -4. Solve 4*q - j*q = -12 for q.
3
Suppose 0 = 5*k + 3*p - 1, 3*k - 15 = p - 6. Suppose -2*a - 2*x + 7*x + 7 = 0, -a = k*x + 1. Let t be 8/12 - (-2)/6. Solve -t - a = -z for z.
2
Let i be (-3)/18 - 61/(-6). Let a = i + -7. Suppose a*u + 17 = f + 2*u, 4*f + 4*u - 92 = 0. Solve f = 3*z + 5 for z.
5
Suppose h - 5 = -4*h. Let j = -7 + -26. Let m = j + 35. Solve m*k = -5 - h for k.
-3
Suppose 0*n + n = -4. Let g = 8 + n. Suppose -2*k - 4*f + 10 = k, g*k + f = 9. Solve 4*q + 6 = -k for q.
-2
Let i(d) = -d**3 - 4*d**2 - 5*d - 4. Let c be i(-4). Let n(b) = -2*b. Let o(s) = s + 3. Let l be o(-4). Let t be n(l). Solve t*u = -2*u + c for u.
4
Let q(w) = w**3 + 3*w**2 + w + 3. Suppose -4*i - 12 = 4*u, 3*i + i - 6 = 2*u. Let k be q(u). Solve 5*f + 10 = -k for f.
-2
Let p(x) = -9*x**3 + 2*x**2 + 5*x - 11. Let m(o) = 5*o**3 - o**2 - 3*o + 6. Let y(r) = -7*m(r) - 4*p(r). Let i be y(0). Solve n = -i - 3 for n.
-5
Let i be 30/(-9)*6/(-5). Suppose 0 = 5*w + i*m - 14, -w + 3*m + 5 = 3*w. Solve 0 = 5*u - 4*u - w for u.
2
Let r(z) be the third derivative of z**4/24 - 4*z**3/3 + 6*z**2. Let u be r(9). Solve h + u - 2 = 0 for h.
1
Let u(g) = g**3 + 4*g**2 - 4*g - 2. Let w be u(-4). Solve w = -2*z + 6 for z.
-4
Let l(i) = 7*i**2 - i - 3. Let d be l(2). Solve 4*x - 7 + d = 0 for x.
-4
Suppose 0 = -f - 5*a + 7, 5*f = a - 3*a + 104. Let q = f - 3. Solve 6 = -5*t - q for t.
-5
Let y = 5 - 5. Suppose 0 = 2*z - 2*d - 6, -3*z + 0*z = d - 5. Solve -z*l + 5*l + 12 = y for l.
-4
Let x be (-1 + -1)/4*-6. Let v = -16 - -24. Solve x*u = v + 7 for u.
5
Suppose 8*i - 30 = 42. Solve -2*m - 1 = -i for m.
4
Let l = 70 + -66. Solve 0 = 4*i + 12 - l for i.
-2
Let v(c) = -2*c - 12. Let p be v(-11). Solve -p = -0*i + 2*i for i.
-5
Let l(q) = q**2 - 3*q. Suppose -3 = -4*k + 9. Let n be l(k). Suppose -5*y + 3*o = -5, -3*o = -2*y - 2*o + 3. Solve 3*d + y - 16 = n for d.
4
Let t be 0/(5/(15/(-6))) + 5. Solve -t + 6 = k for k.
1
Suppose -36 = -3*n - 0*n. Solve 5*z = -n + 2 for z.
-2
Suppose i = -3*c - 2 + 4, -4*i - 2*c = 2. Let y be -1 - (2 + -5 + i). Let j = 0 + y. Solve -u = 2 - j for u.
1
Let b(k) = k**2 + 4. Let g be b(0). Suppose 2*j - 2 = c, -j - c + 12 = g*j. Solve j = -4*a + 14 for a.
3
Let l = 6 - -5. Suppose -4*w + 2*r = -2*r + 8, 5*r = -3*w + 10. Suppose w - 6 = -2*i. Solve -2*q - i = -l for q.
4
Suppose 10*y - 5*y - 15 = 0. Solve 17 = -5*k - y for k.
-4
Let g = 8 + -12. Let p = g + 0. Let m be 83/5 - p/10. Solve 8 + m = -5*o for o.
-5
Suppose 2*w + 5 = 3, -27 = -r + 3*w. Suppose -5*s = -s - r. Suppose s*n + 3*h = 3*n - 3, 2*n = 4*h + 16. Solve -n*l + 5 = -3*l for l.
-5
Let c = -14 - -14. Solve c = g + g + 10 for g.
-5
Suppose 0*n = -2*n - m + 11, -3*n - 4*m + 29 = 0. Solve 0 = 5*i - n + 18 for i.
-3
Suppose 0*h = -2*h + 6, 0 = -2*n + 5*h - 9. Let l = -6 - 12. Let w be 4/(-18) + (-76)/l. Solve -n = -w*s + s for s.
1
Let k = -119 - -133. Solve k + 6 = -4*m for m.
-5
Let r(k) = -2*k + 18. Let g be r(8). Solve -10 = -4*j - g for j.
2
Let h be -1 + (4 - 2) + -3 + 8. Solve -16 = -2*j + h*j for j.
-4
Suppose 0 = w + w. Suppose w = 2*k - 7*k. Solve 3*i + 0 - 12 = k for i.
4
Suppose 4*z - 3 = -15. Let c(x) be the first derivative of -x**4/4 - 2*x**3/3 - x**2/2 + 3*x + 1. Let b be c(z). Solve -2*m - m + b = 0 for m.
5
Suppose 3*b + 30 = 5*l, b + 5*l = 9 + 1. Let t(w) = w**3 + 4*w**2 - 5*w + 1. Let m be t(b). Let p be (m/2)/((-3)/(-18)). Solve 9 = -p*g + 6*g for g.
3
Suppose 3*u - 1 - 2 = 0. Let n be (34/(-8))/(4/(-16)). Suppose 2*f - 14 = -2*m, f - 5*m = -0*m - n. Solve u = -f*c - 5 for c.
-2
Suppose 6*m = 25 + 11. Solve m*g = 2*