+ 5 for t.
-2
Let x(d) = d**3 - 7*d**2 + 9*d + 5. Let l be x(5). Solve l = -5*h, h = m + 5*h - 1 for m.
1
Let f(a) be the first derivative of -a**3/3 - a**2 + 2. Let y be f(-2). Suppose y*k + 20 = 4*k. Solve 0 = k*w + 2*u - 21, -2*u = -2*w - u + 3 for w.
3
Suppose 5*d - 3 = 3*a, -4*d + 3*d + 2*a + 2 = 0. Suppose 2 = x - d*x. Solve 0 = -x*m + j, 3*j = 2*m + 4*j for m.
0
Suppose 0 = d - 1, 0 - 4 = 5*g + d. Let b = g + 11. Solve -2*p + 5*p = j + 5, 4*j = 2*p - b for j.
-2
Suppose -h + 4 = -3*h + 2*o, -2*h + 4*o - 10 = 0. Suppose 0 = -0*y + 3*y - 3. Let l be y + h + -1 - -21. Solve -5*t - w = 25, -3*t - w + 5 = l for t.
-4
Let w be (((3 + -2)*0)/(-2))/(-2). Solve 5*f - q - 4 = w, 0 = -f + q - 5*q - 16 for f.
0
Let m = 12 + 2. Let d = m - 9. Solve h + g - 9 = 4*g, -4*g = d*h + 12 for h.
0
Let t(h) = 2*h**3 - h**2 - 2*h. Let l be t(2). Let p = l + -8. Solve -j - 4*i + 24 = p, -5 = 3*i - 20 for j.
4
Let w be (-5)/15*(3 - 24). Solve 0 = 4*k + s - 9 - w, -5*k + s = -11 for k.
3
Suppose -3*f - 3*d = -24, 3*d - 8*d + 26 = 3*f. Let o be -3 + (8 - (f - 3)). Solve -h + o = 3*v - 5, 0 = -3*v + 2*h + 15 for v.
3
Let d = -2 + 0. Let a(h) = -2*h**3 + h - 1. Let o be a(-2). Let g = o - d. Solve -4*k + 3*s = g + 8, 5*k + 3*s = -22 for k.
-5
Let r be (-2)/(4/2) + 17. Let a = r - 16. Solve 0 = -l + 4*s + 20, a = -2*l - 2*s + 6*s + 20 for l.
0
Let z be -3 - -7 - (1 - 2 - 0). Solve i = z*o - 6, 5*i + 1 = -4 for o.
1
Suppose 0 = -9*p + 45. Solve 10 = p*s + 3*v, -5*v - 3 = s - 5 for s.
2
Let l(c) = -c**3 - 6*c**2 - 2*c - 7. Let g be l(-6). Suppose -5*m + 6 = -3*m. Solve 5*q = -g*v - 17 - 8, -m*q = -v + 3 for q.
-2
Let o = 49 - 34. Solve j + 4*d = -7 - o, 2*j - 3*d = 11 for j.
-2
Suppose 0 = h - 5, -2*w + 0 + 7 = -h. Suppose 4*q = -2*g + w + 6, 10 = 2*q - g. Solve 3*z + q*a - 7 = 0, -2*a + 0*a + 17 = -3*z for z.
-3
Let d(c) = 3*c**2 - 8*c + 4. Let j be d(4). Solve -6*k = -2*k + 2*r + j, r - 18 = 5*k for k.
-4
Let y be ((-6)/(-5))/((-4)/(-10)). Let r be (-1)/y*(-4 - -13). Let c be 0 - -2 - 9/r. Solve c*v - 2*b = 4 - 25, -2*b + 18 = -4*v for v.
-3
Let b(k) = 7*k. Let f be b(-1). Let g be (-12)/21*f/2. Solve -x - 5 = -i + 3, -5*i = -g*x - 25 for i.
3
Let s(r) = -6 - r**2 - 6 - 5*r + 6. Let o be s(-5). Let j(h) = h**3 + 7*h**2 + 5*h - 2. Let l be j(o). Solve -4*p + 3*a = l, 16 = -0*p + 2*p + 3*a for p.
2
Let o(t) = 2*t**2 - 2*t. Let a be o(3). Suppose -g = 3*g - a. Solve g*u - 4*r = -16, -5*r + 19 = -1 for u.
0
Suppose -27 = -g - 2*g. Let o(v) = 3*v + 2. Let q be o(g). Suppose -j = 2*s - 4 - 9, j - 4*s + 11 = 0. Solve 2*k + 3 + 15 = 2*t, k + q = j*t for t.
5
Let a be 12/16*(4 + 0). Solve -4*i + 5*w = -12 - 3, -a*i = -5*w - 10 for i.
5
Suppose 0 = -2*j - 3*j + 25. Suppose j = 4*t - 15. Solve -17 = 2*r + t*v, 0*r + 4*r = -3*v - 13 for r.
-1
Let l = -67 - -71. Solve l*j + 8 = 0, t - 4*t - j = 14 for t.
-4
Let j be 4/(-5)*20/(-8). Solve -4*r - 4*v - 28 = 0, j*r - 3*v = 6 + 5 for r.
-2
Let o = 6 - 3. Solve o*q - 2*m = 2*m + 5, 2*q + 4 = -m for q.
-1
Let i = -13 - -22. Let c = 3 - 3. Solve 2*z - 7 = -3*n, c = 3*n + 3*z - 0*z - i for n.
1
Let a(n) = -n**2 - 7*n + 1. Let x be -2 - 0/(-1) - 2. Let b be a(x). Suppose 4*k + 1 = b. Solve k*z - 4*u - 1 = -2*u, -2*u = 3*z + 7 for z.
-1
Let o(j) = -2 - j + 24 - 1 + 4. Let b be o(17). Solve 0 = -3*h - x + b, 5 + 7 = -3*x for h.
4
Let c be ((-6)/(-15))/(2/(-10)). Let p be (-1)/((c - -3)/(-4)). Let j = -4 - -8. Solve -4*i = -0*i + 3*a - j, -2*i - 20 = -p*a for i.
-2
Suppose -r + 1 + 3 = 0. Solve 13 = 5*a + 2*m, 2*m = 3*a + r*m - 11 for a.
1
Suppose 2*i = -5*i + 14. Solve 0 = -5*m + 2*c + 19, 2*m - i*c = 7*m - 31 for m.
5
Suppose 16 - 12 = b. Solve -3 = -2*k + m, 0 = -5*k - b*m + m - 20 for k.
-1
Let a be (-4)/(-10) + 381/(-15). Let w = -7 - a. Solve 0 = 4*l - 5*z - w, 3*l - 5*z - 8 = 4*l for l.
2
Suppose 4*h = 2*c - 4, 4*h + 4 + 0 = 0. Solve f + c*f - 24 = -5*b, 3*f - 2*b + 13 = 0 for f.
-1
Suppose 3*o - 5*j + 14 = -o, 5*o + j = -3. Let x be (-8)/6*3/o. Solve 4*p - f + 14 = 0, -x*p - 3*f - 24 = f for p.
-4
Let m be (2/4)/(1/8). Let g = m + 1. Solve -3*r - 3 = d, 5*d + 11*r - 6*r - g = 0 for d.
3
Suppose 3*r = 8*r + 130. Let t be r/(-117) + (-32)/(-18). Solve -i - 24 = -4*n, -4*i = -t*n - 2*i + 18 for n.
5
Suppose 0 = k - 2*l - 1, 1 = -5*k - 3*l + 19. Solve 5*f + 15 = 5*n, -f + 4*n + 0 = k for f.
-3
Suppose 0 = -w + 5*n - 11, -4*n = -4*w - 0*n - 12. Let r be (-2 - w)/((-3)/6). Solve 0 = j - 4*g, -r*j + 4*j - 4*g = 0 for j.
0
Let o be 114/15 - 3/30*6. Solve -3*g - o = -t, -4*g + 3*t = g + 5 for g.
-4
Let h be (4/(-2))/((-26)/4 + 6). Solve 7 = -5*f - h*j + 19, -j + 6 = 2*f for f.
4
Let q be 3 + (-3)/(-6)*0. Suppose 2*k + q + 14 = r, -4*k - 13 = r. Let d be 1 + (-2 - -2) + 14. Solve -d = 5*n - r*g + 2*g, -3*n = g - 11 for n.
2
Suppose -7*g + 6 = -29. Solve 2*q - q = 2*f - g, 3*q + 4*f + 5 = 0 for q.
-3
Let o be -3*((4 - 3) + -2). Suppose i = -j - 0*j + 9, 4*j - 12 = 0. Solve h = -3*c - h + i, -o*c + 15 = 5*h for c.
0
Suppose 0*u - 10 = -5*u. Solve 5*c + u*m - 20 = 0, 2*m = -4*c - 2*m + 16 for c.
4
Let x(k) = k**2 + 15*k - 2. Let o be x(-16). Suppose -38 = -4*f + o. Solve f = -5*c + p, 3*c - 5*p - 1 + 0 = 0 for c.
-3
Let q = 29 + -27. Solve u = -h + q, 6*h - 3*u - 19 = 4*h for h.
5
Suppose 0 = -5*i + 11 - 46. Let v = i - -11. Let g(r) = -r**2 + 5*r + 2. Let j be g(5). Solve -k - j*t = -2, v*t + 15 = 3*k - 1 for k.
4
Suppose -38 = -4*n + 2*u, 5*u - 4*u = -3*n + 16. Let z(l) = -l + 9. Let d be z(n). Let x = d - -1. Solve -3*v - 4 = m, x*v + 1 = 2*v for m.
-1
Let t = 8 - 8. Suppose -w + 1 = -o, t = -w - 0*w - 5*o - 5. Solve w = -2*z - h, 0*z - 3*z - 9 = -3*h for z.
-1
Let n(j) = 1 + 11 + 1 + j. Let g be n(-11). Solve -4*u + g*u + 7 = -3*x, 4*x = 5*u - 21 for u.
5
Let g(m) = -m**2 + 11*m + 1. Let l be g(11). Solve -l = -2*j + 5*x + 34, 5*x = 5*j - 50 for j.
5
Let r(l) = l**3 + 2*l**2 - 4*l + 8 + 5*l**2 + 11*l. Suppose -x + 34 = -5*a, 0*x - 40 = 4*a - 4*x. Let t be r(a). Solve u + h = -t*u - 15, 0 = -3*h - 9 for u.
-4
Let k = 45 + -45. Let h(m) = m**2 + 5*m + 6. Let n be h(-4). Solve -d - 1 = -2*y, 3*d + 19 = -n*y - k*d for y.
-2
Let n be 2/6 + 548/12. Let u be n/(6/3) + 2. Solve -5*j = -3*q - u, -3*j = -6*j - 5*q - 19 for j.
2
Let x be 18/12*(-8)/(-3). Suppose 4 = -x*u + 16. Suppose g = -3*q + 10, -u*g + q + q + 8 = 0. Solve 15 - 5 = -2*c - 3*h, -3*h + 20 = -g*c for c.
-5
Suppose 4*j = -63 + 23. Let u be (-66)/(-30) + 2/j. Solve u*h = 3*n - 2, 2*n = 3*h - 4*h + 13 for n.
4
Let a be 3/4*(12 + 0). Let l = a + -7. Solve 4*f + l*v - v + 21 = 0, -4*f + 3*v = 17 for f.
-5
Suppose 0 = -0*q - 3*q + 9. Solve -3*r = -q*p - 27, 3*r - 26 = 5*p + 9 for p.
-4
Let l(j) = -19*j + 155. Let o be l(8). Suppose 5*h - 16 = h. Let p be 1/2 + 18/h. Solve 3*r = -p*a + 1, o*a - 29 = 4*r - 11 for a.
2
Suppose -r - r + 4 = 0. Suppose 4*y + r*a + 6 = 0, -5*a = -4*y - 3*a + 6. Solve y*t + d + 5 = 3*t, 0 = -3*t - 4*d - 5 for t.
1
Let t = 36 - 36. Solve 0 = -y + x, t = 3*y + y - 5*x + 2 for y.
2
Suppose 0 = 5*d + 7 - 2. Let j be -2 + d/((-2)/24). Let l be ((-15)/j)/((-6)/8). Solve 0 = -l*a - 5*s - 33, -4*a - s + 3*s = 6 for a.
-4
Suppose 4*c + 4*v - 18 = -6, c - 3*v = -1. Solve -8 = -2*j + c*r, 4*r + 18 = -j + 2 for j.
0
Suppose -5*q - 2*b + 24 = 0, 0*q = -2*q + b + 6. Solve -2*u - 5*g - 26 = 0, 0 = -q*u + 3*g + 2*g + 8 for u.
-3
Let i(j) = -j**3 + 5*j**2 - 5*j + 2. Let v be i(3). Suppose 0 = t - 5*u - 25, -4*t - v*u - 2 = 23. Solve t = -o - 5*m + 12, -o - m = -3 - 1 for o.
2
Let q be 4/22 + (-291)/(-33). Suppose -5*z + q = -6. Solve 4*o - 10 = z*d, d + d + 4 = 2*o for o.
4
Suppose -4*r + 5*w + 10 + 85 = 0, 0 = -r - 3*w + 28. Let b be (-4)/(-10) + 90/r. Let c(o) = o + 8. Let v be c(-6). Solve -4*t = b*f, 0 = -t + v*t - 4 for f.
-4
Suppose -5*b + 25 = l + 4, 3 = l - b. Suppose 0 = a + 2*a - 15. Suppose -t = 4*t + 25, t = -2*r + 25. Solve -r = -a*i, l*k - 2*i = k - 21 for k.
-3
Let u = 139 + -138. Solve -t + 1 = -3*w - 0, w = t + u for w.
-1
Suppose 0 = -x - 0*x. Solve 4 = c - 3*d - x*d, 15 = -5*d for c.
-5
Let d = -6 - 0. Let o(y) = y**2 + 5*y - 3. Let v be o(d). Solve -i - v*j = -5, 5*j = 7*i - 3*i - 3 for i.
2
Suppose t = -1, 5*h = 4*h - t + 4. Solve -5*q = -3*f - 6*q - h, -4*q = -3*f + 5 for f.
-1
Suppose -48 = 5*s - x - x, 24 = -s + 4*x. Let o be (10/(-6))/(s/24). Solve 4*