se -2*t + 5*t = 18. Let h = t + o. Solve -2 = -h*i, 5*c + i - 5 = 1 for c.
1
Suppose 5*x = 3*p - 0*x + 15, 0 = -4*p - 3*x + 9. Let b be 1*4 + (-1 - p). Suppose -f + 0 = -b. Solve -26 = 5*z + c - f*c, 0 = -5*z - c - 17 for z.
-4
Let t = -1 + 6. Suppose -4*q - 11 = 3*d, 2*d + 2*q - 21 = t*q. Suppose -3*v = -f - 11, 2*f + 6*v - 23 = d*v. Solve -5*j = 5*u + 68 - 23, -f*u = -5*j for j.
-4
Suppose -3*b + 3*n + 15 = 0, n = 2*b - 12 - 3. Solve -2*f - 11 = 3*y, 2*f = -3*f + 5*y + b for f.
-1
Suppose -l = -4*l. Let g(t) = t + 10. Let d be g(-8). Suppose 0*n + d*n - 18 = l. Solve 3*p = -3*v + n, -3 - 8 = -3*p - v for p.
4
Let b be (0 + 0)/((-2)/(-1)). Suppose -3*m - 13 = -4. Let n be 1/m - (-46)/3. Solve 5*s + g = -n, 2*s + 2*g + 0*g + 6 = b for s.
-3
Suppose -3*v - 5*p + 14 = 0, -v + 0*v + 6 = 3*p. Solve -13 = j - v*q - 3, 0 = 5*j - 4*q + 28 for j.
-4
Suppose f = -1, -5*f + 0*f - 3 = -2*u. Let w be (u - -5) + 14/7. Let z = w - 6. Solve 3*q + 6 + 4 = -5*o, -3*o - q - 2 = z for o.
1
Suppose -3*f + f = 0. Suppose -2*m + f*m = 0. Solve -2*c - 4 = -5*z + 17, m = 3*c - 2*z + 4 for c.
2
Let u be -10*(8/20)/(-1). Solve 0 = 3*o - u*r + 17, 5*o - 2*r - r + 10 = 0 for o.
1
Let b be 9 + (2 + -7 - -3)*2. Solve 0 = -b*v + 3*f + 22, 4*f + 13 = v - 5 for v.
2
Let o(s) = s**2 + s - 9. Let p be o(-4). Solve 2*y - 2*l = -2, -p*y - l - 1 = -2*y for y.
-1
Let f be 18/4*(2 + 0). Suppose -5*l - 4*l + 27 = 0. Solve -3*v + l*b = -b + 8, 5*b + f = -v for v.
-4
Suppose -2*i + 0*i + 10 = -4*q, -q + i = 5. Let v be q/2*(-1)/1. Solve -5*y - 2*m + 3 = v, 4*m + 8 = 24 for y.
-1
Let h be (-6*2)/(6/(-6)). Suppose 4*j - 5*w = -h, j + w + 0*w = 6. Suppose -3 = -j*l + 15. Solve d + 0 = -2*y + 3, -l = -3*y - 3*d for y.
0
Let l = -20 + 11. Let s(o) = o**2 + 8*o - 7. Let a be s(l). Let c be (a/(-7))/(1/(-7)). Solve 2*x + c*r - 2 = 0, 0*r + 2*r = x + 8 for x.
-2
Let o be ((-12)/(-8))/((-6)/(-8)). Solve -7 + 1 = -o*m, 3*m = 2*z + 17 for z.
-4
Let u = 5 + -3. Suppose u*n = 3*l + 10, 5*n - 5*l + 2*l = 25. Suppose -4*d = w - n*w, d = 4*w - 9. Solve 3*p = 2*v + 1 - w, 4*p = 5*v + 9 for p.
-4
Suppose -41 + 8 = -11*s. Solve s - 1 = w - b, 0 = -w + 3*b + 6 for w.
0
Let o be 1/(((-2)/(-6))/1). Suppose 0*i - 2*i + 28 = 0. Let l be (-2)/7 - (-88)/i. Solve -o*j - 12 = -2*j - 5*p, -2*j - 5*p = -l for j.
-2
Suppose 0 = 2*k - 7 - 3. Suppose 3*a = 2*a. Suppose a = c + c - 4. Solve -k*f + c = -d + 4, 0 = 3*f + d - 2 for f.
0
Suppose -2*n - 72 = 2*n. Let g = -13 - n. Suppose -g*q = -2 - 28. Solve -5*j + 5 = 0, o + j = q - 0 for o.
5
Let q(h) = -h + 5. Let k be q(0). Suppose j + 16 = k*j. Solve -6*z = -4*s - 2*z - 20, 2 = 5*s + j*z for s.
-2
Let s(t) = -t**2 + 5*t - 1. Let q be s(4). Suppose -h - h + 32 = -4*u, 4*u - 8 = -q*h. Solve -3*r - 2*l - h = 0, -4*r - 1 = 5*l + 5 for r.
-4
Suppose 0 = 5*n + 15, -p = -n + 2 - 0. Let a(u) = u**2 + 11*u + 2. Let l be a(p). Let y = 15 - l. Solve x - 5*o - 17 = -y, -5*x - 2*o = -5 for x.
-1
Let q = 8 - 6. Let d = -323 - -326. Solve -q*a - a - 2*y = 0, -d*a - 5*y + 9 = 0 for a.
-2
Let v(z) = z**2 + 8. Let a be v(0). Let o = a + -6. Solve 0 = 3*g + 3*k - 3, -4*g + 4 = 5*k - o for g.
-1
Let k be (-1578)/(-36) - 2/(-12). Suppose -2*x + k = -0*x. Solve 0 = 4*b + b - 3*g + x, -3*b - 4*g - 19 = 0 for b.
-5
Suppose x + 0*u = 3*u - 7, 0 = -3*u + 3. Let g be -3 - x - 3*1. Let f = 7 + g. Solve -3*h = 2*n + 5, 2*h + f*n + 16 = -2 for h.
1
Let t(r) be the third derivative of -r**4/8 - r**3/3 - r**2. Let p be 10/(-4)*4/5. Let j be t(p). Solve j = y, 2*y - 4 = 4*c - 2*y for c.
3
Let g(q) = q**2 + 9*q - 2. Let f be g(-9). Let j = f - 2. Let x be j/(-7)*7/2. Solve 0 = -v + 2*h + 6, x*v + 0 = 2*h + 4 for v.
-2
Let d(h) = 11*h - 1. Let y be d(-11). Let x be y/(-8) + (-6)/(-8). Solve 0 = -5*q - 5*w + 15, 0 = q - 4*w + 3 - x for q.
5
Suppose 2*b + 63 = 5*b. Suppose 0 = 8*h - 6*h - 6. Solve 2*v - h*p = 11, 6 = -v - 5*p - b for v.
-2
Let p(t) = -t**3 + 3*t**2 - 4*t + 2. Let d be p(3). Let c = -6 - d. Suppose 3*s - 4*s + 24 = 5*b, -c*b + 2*s = -8. Solve -21 = 3*g - b*r, g + r - 6 = 2*g for g.
-3
Let h be ((-21)/9 - -2)*(0 - 0). Solve 5*r - 5 = 0, -2*f - 3*r + 4 + 3 = h for f.
2
Let q(c) be the second derivative of -c**5/20 + 3*c**4/4 - 4*c**3/3 + c**2 + 2*c. Let n be q(8). Solve -5*x - 5*o - 4 - 1 = 0, 22 = n*x - 4*o for x.
3
Let l = -11 - -19. Solve -4*j + 11 = -3*r, -r = -4*j + l + 9 for r.
3
Suppose -i = -4*i. Solve i = -5*r + 25, -3*r - 2*r + 16 = -3*a for a.
3
Let s(p) = -2*p + 2. Let n be s(2). Let q(u) = u + 2. Let b be q(n). Solve -5*z + 45 = -5*j, 3*z + b*j = j + 19 for z.
5
Let d(c) = 2*c**3 - 2*c**2 - c + 1. Let j be d(2). Suppose 0*v + v = j. Suppose 5*f = 2*f. Solve -2*z + 2*x = 4, 5*x - v = -f*z + 4*z for z.
-3
Let k(m) = -m**3 + 2*m. Let h be k(-2). Let v = 0 + h. Suppose -4*j + 18 = i, j + 5 = 3*i + 16. Solve 3*g + j = 5*l - 7, -4 = g + v*l for g.
-4
Suppose -3*q + 11 = -1. Suppose -4*j + 7 = 2*l - 41, -5*l - 6 = j. Solve 0*u - 3 = -u + o, -3*o = -q*u + j for u.
5
Let h(t) = 3*t - 5. Let j be h(3). Solve -1 = -2*y + j*s - s, 3*s = y + 4 for y.
5
Let k = 75 - 35. Suppose -b - 3*i = -28, -5*b + 3*b - 2*i = -k. Solve 0 = -5*d - 5*a, -4*d - a = -5*a + b for d.
-2
Let s be (-3 - (2 + -9))/2. Solve s*x - k + 3 = 0, 5*x - 2*x - 3*k = 0 for x.
-3
Let r be ((-1)/(-2))/((-1)/(-8)). Suppose -2*n + r = -0. Suppose 3*a - 3*d = n*d + 31, 0 = 4*a + 5*d - 18. Solve 23 = -3*k - 4*m, 4*m - a = 3*k - 0*k for k.
-5
Suppose -4*i + 30 = -2. Suppose -2*n = -4*n + 4. Suppose -n*j = -0*j - 6. Solve 4 = 3*p + d + j*d, 3*p + d + i = 0 for p.
-4
Suppose 3*z = 3*g - 6, 3*z + 5*g = 6*g - 10. Let v be z/(-5)*300/12. Solve -v = 4*m - 5*a, -2*m - 12 = -a - 2 for m.
-5
Let l be 48/4*((-2)/(-4) + 1). Solve -3*v + i = v + l, 5*v = 3*i - 26 for v.
-4
Let i(b) = b + 3. Let v be i(3). Let q be (-1 - -2)*(v - 2). Solve 2*l - 18 + 1 = 3*p, -10 = -2*p - q*l for p.
-3
Let t(s) be the first derivative of -s**2/2 + s - 4. Let i be t(-3). Solve 4 = -3*r - i*l + 14, 2*r - 3 = l for r.
2
Let d(m) = -m - 5. Let s be d(-5). Suppose -2*u - 3*b = -s*u - 10, -4*b - 2 = -5*u. Solve u*p - l = 6, -p = l - 0*l for p.
2
Suppose -4*z + 3*z = -18. Let n = 32 - z. Solve n = -4*d - 3*m, 8 = -4*d + 2*m - 16 for d.
-5
Suppose k = -2*p - 3*p + 31, -14 = -3*p + 4*k. Suppose 0 = -4*f + l + 17, p*f - f = 3*l + 16. Let d = 1 + 7. Solve f*w - w + 10 = -o, -4*o = -d for w.
-3
Let o = 18 + -18. Let u be o/(-2*(-2 - -1)). Solve 0 = -i - 2, -3*d + u*i - 5 = i for d.
-1
Let a = -30 - -36. Solve a = -3*x - 0, 2*t = 3*x + 4 for t.
-1
Let w = -1 - -5. Let f = w + -1. Solve 3*i + 4*s - f*s + 13 = 0, 4*s = -2*i - 2 for i.
-5
Let t(l) = -l**2 + 4*l + 1. Let s be t(3). Solve -3*v + s*z = 2*v + 33, -z = 4*v + 18 for v.
-5
Let p(k) = k**3 - 8*k**2 - 10*k + 15. Let z be p(9). Solve -2*q + z*q - 2*y + 8 = 0, -q + 3*y = 12 for q.
0
Let g(i) = i**3 + 5*i**2 - 2*i + 2. Let y(c) = -c - 6. Let b be y(-3). Let r be g(b). Let u be -1 + 2 - (-1 + -4). Solve -3*n - 2*f = u - r, n - 8 = -f for n.
4
Let d = 15 - 13. Solve p = 5*p - 4*u + 20, 2*u + d = -4*p for p.
-2
Let q(t) = -t**3 + 6*t**2 + 3*t - 14. Let b be q(6). Solve -3*l = -l - 2*m + b, -5*l - 4*m + 35 = 0 for l.
3
Suppose 2*f = -l + 6*f - 1, -5*l + 2*f + 31 = 0. Let v be (-2 - -3)/(-1)*9/(-3). Solve 0 = -r + 3*y + l, -v*r + 0*r = 4*y + 5 for r.
1
Let b(q) = -q**2 + 7*q - 6. Suppose -g + 4*j + 2 = 17, -j + 25 = 4*g. Let x be b(g). Solve -2 = -4*n + 2, 3*r + 4*n - x = 0 for r.
0
Suppose -s = -2*a - 24, -2*a - 2*s - 35 = -11. Let y be 6/(-4)*80/a. Suppose -3*z + z = -y. Solve 2*i - 18 = z*v, 4*i + 0*i - 4*v = 24 for i.
4
Let u be (7/(-3))/(1/(-3)). Solve -16 = -x + 3*j, 3 = x + 2*j + u for x.
4
Suppose -2*f + 89 = -0*f - 3*q, -2*q = 2. Suppose -f = 5*k + 2. Let d be (k/(-6))/(1/2). Solve 4*u + 3*x = 30 + 1, -d*u - 3 = -3*x for u.
4
Let l = -3 + 7. Suppose l*n - 3*b = n - 3, 3*b = -5*n + 27. Solve -4*u = -2*u - p - 6, n*p - 18 = -3*u for u.
4
Let d be 2/2*1 - -2. Suppose -3*i = 2*s + 9, -2*i + i - 14 = -d*s. Solve z + 11 = -s*u + 2, 5*u = -3*z - 19 for u.
-2
Let i(r) be the second derivative of -r**3/2 - r**2 - r. Let p be i(-5). Solve -p = -z - 2*d, -4 - 1 = -d for z.
3
Let y = -32 + 53. Let g be y/5 - 4/20. Solve 0 = -o + 2*o + g*q + 22, -5*q = -4*o + 17 for o.
-2
Suppose -4*g = 5*u + g - 30, 0 = 4*u - 2*g - 36. Let 