*d + 5*l - 5 for d.
0
Let u(t) = -t**3 + 12*t**2 - 10*t - 6. Let j be u(11). Suppose 4*w - j*b + 10 = 0, -6*w + 2*w = 2*b - 4. Solve w*k - 6 = 4*k + 2*i, -2*k + 2*i + 12 = 0 for k.
1
Suppose -18*l + 5 = -17*l. Solve -l*k - 17 - 18 = 5*b, k - 5*b - 23 = 0 for k.
-2
Let d(l) = -2*l**2 + 77*l - 108. Let k be d(37). Solve 0 = -q + 4, 7*q = -k*x + 4*q + 6 for x.
-2
Suppose -7*q = -22 + 1. Suppose -3*k = -2*s - 2*s + 56, q*s - 25 = -2*k. Solve -2*b + s = -3*g, 2*b - 4*g + 0*g - 16 = 0 for b.
-2
Let q(f) = -3*f - 1. Let l be q(-10). Let m = l - 13. Suppose 5*j - g - m = 0, 2*j - 1 + 0 = -5*g. Solve -4*u + 4*i + 17 = -3*u, 3*u = j*i + 24 for u.
5
Let q = 1960 + -1940. Solve -4*w - 4 = 0, 0 = 4*m + 2*w + q - 6 for m.
-3
Let r(w) = -w**2 - 9*w - 19. Let q be r(-14). Let n = q - -99. Solve 5*y - 15 = 3*g, -3*y - y = 2*g + n for y.
0
Suppose -4*c + 3*p + 0*p - 3 = 0, 0 = -4*c + p - 1. Solve -4*h = -m - 1, 5*h + c*m - m = 0 for h.
-1
Let h = 57 + -55. Suppose 0 = -h*u + 3*u - 5. Solve -5*x = u*j + 10, -3*x + 4*j + 26 = -x for x.
3
Let s be -1 - (3 - (1 + 5)). Let i be -14*s/14*(-2 - 0). Let p = 6 + 8. Solve i*r = -3*l - 2 + p, 15 = 5*r - 5*l for r.
3
Let y = 14 - 12. Solve -5*x + 27 = 2*l + 10, -y*l - 8 = 0 for x.
5
Let n(g) = -2*g - 8. Let p be n(-6). Let y(w) = -w - 4. Let k be y(-9). Let c be ((-98)/(-245))/(16/(-30))*-4. Solve 0 = -c*i + l + l - 12, -p = i - k*l for i.
-4
Suppose -16*b - 62*b + 78 = 0. Solve 0 = -5*n - k - b, 5 = -0*k - 5*k for n.
0
Let n(w) = w**3 - 4*w**2 + 5*w - 2. Let b be n(3). Solve -2*x + 18 = -b*o, -o + 4*x = 5 + 3 for o.
-4
Suppose h = 2*w - 11, -4 = 2*w - 0*w + 4*h. Solve 0 = 4*u + 2*i - 2, 2*u - w*i = 3*u - 18 for u.
-2
Let h(j) be the first derivative of -j**3/3 - 5*j**2 - 9*j - 1. Let v be h(-9). Solve v = 2*i + z, -4*z + 3 = -5 for i.
-1
Suppose 0 = -2*t + 23 - 17. Solve t*n + 22 = -2*j, -3*n - 6 + 19 = -5*j for n.
-4
Let w = 117 + -116. Solve 0 = p + 1, 7 = 3*b + 4*p - w for b.
4
Suppose 0 = 8*z - 6*z - 8. Suppose -z*w = 4*t + 20, -3*w - 6 = 3. Let n be (5/(-15))/(t/12). Solve 0 = -f + 3*f + 6, -3*y - n*f - 15 = 0 for y.
-3
Let b(c) = 5*c + 17. Let q be b(7). Suppose 5*r + 2*g - q = 11, -56 = -4*r + 4*g. Suppose -2*h = -r + 7. Solve -5*f - 6 = 3*y, 8*y - h*y = 4*f - 10 for y.
-2
Let v = -195 + 215. Solve -5*p - v = c - 2*c, 2*c = 10 for p.
-3
Let z(u) = u**2 + 2*u - 11. Suppose 22 = -2*t - 3*q, -t + 3*q = -0*q - 7. Let j be z(t). Solve 2*f - j*x = 12, -5*x - 7 + 2 = 0 for f.
4
Let t(k) = k**3 + 4*k**2 - 6*k - 1. Let g be t(-5). Let s = 1403 - 1400. Solve -g*z = -s*a - 29, 8 + 5 = 4*a + 5*z for a.
-3
Let q = 45 + 2. Suppose v = 5*g, 0 = -3*v + 2*g + q + 5. Solve 0 = 2*r + 4*b - v, -b + 22 = r + 4*b for r.
2
Let i = 2042 - 2038. Solve -q - 3 = q + 3*d, -i = 4*d for q.
0
Suppose 4*a - 5*a - 11 = 0. Let z = -17 - -28. Let l = z + a. Solve 4*h + 36 = -l*h - 4*g, -3*h - 2*g - 23 = 0 for h.
-5
Suppose -2*y + 18*y - 48 = 0. Solve -3*p - 16 = y*r + 2, -4*p = -4*r + 8 for r.
-2
Suppose 2*m + 16 = 6*m. Suppose 0 = m*v - 5*n - 6 - 14, 0 = v + n + 4. Solve 2*u - 5 = -t + 4*u, v = -5*u - 5 for t.
3
Suppose 5*f - l - 60 = 0, l - 24 = -2*f - l. Suppose -2 = -5*q + 4*t + 1, -4*t = -f. Solve q*v - 5*v - 3*g = 9, 5*v + 2*g = 5 for v.
3
Let b be 3/(-15) - (-477)/(-15). Let j = b - -36. Solve -5*f + h = -2, -3*f + 0*h = -2*h - j for f.
0
Let v(i) = 26*i**2 - 2*i - 1. Let h be v(-1). Suppose 37 + h = 4*x. Suppose x = -4*k, -3 - 1 = -l - 3*k. Solve 4*c - l = -s - s, 0 = -3*c - 5*s + 19 for c.
3
Let t be 2/8 - (-669)/12*1. Let m = t - 54. Solve -2*l = m*l + 5*n - 11, 5*l + 4*n = 7 for l.
-1
Let d be ((-80)/50)/(-4)*5. Solve -2*p = -4*r + 28, r - d - 3 = 0 for p.
-4
Suppose -9*a + 136 = 25*a. Solve z + a*y = 18, 2*y = 3*z - 0*y + 16 for z.
-2
Suppose -5*c = -10, -4*l + 5*c = -5*l - 6. Let b = l - -21. Let q(r) = -r**3 + 4*r**2 + 6*r - 1. Let n be q(b). Solve -2*d - 10 = s, n*s + d - 10 = 3*d for s.
0
Let h = -17 - -20. Suppose 0*y + p + 11 = h*y, -5 = p. Solve y*b - 5*a - 27 = 0, 0 = b + a - 2*a - 6 for b.
1
Let y(z) = -12*z + 9. Let o be y(6). Let l be 14*(o/(-6))/(-7). Let f = l - -23. Solve a + k - 6*k - 10 = 0, 26 = -4*a - f*k for a.
-5
Let t = 198 - 198. Solve 25 = -4*f - 3*p, 3*f + t*f + 5*p + 27 = 0 for f.
-4
Let t be 4/(-26) - 64/(-416). Solve -5 = 5*g - 0*o + o, -5*g + 3*o - 5 = t for g.
-1
Suppose 5*f + 3*h = 24 - 3, 2*f = 3*h. Suppose -f*b + b = -40. Solve 0 = -4*p - b, p = 4*y - y - 2 for y.
-1
Suppose -v + 2*v = 6. Let m be 24/(-16) - (-27)/v. Solve 0 = -4*i + 3*g - 20, m*i - 2*g - 10 = 5*i for i.
-5
Suppose 0 = n + 2*n - 33. Let a = n + -7. Suppose -g + 8 = 2*v, -a*g - 1 = 2*v - 21. Solve -5*p - 6 = -2*u, -u = u + v*p + 8 for u.
-2
Let r(x) = x. Let u be r(2). Let j be (0 + -4)/4 - 6/(-2). Let a be 2/(-3 + 2 + j). Solve u*w + 13 = 3*k, 7 = -3*w + 4*k - a*k for w.
1
Suppose 4*q = -1 - 19. Let p be ((-2)/q)/(4/60). Let u = -3 + p. Solve 4*n - u*t + 3 = 0, 0*n + 2*n + 14 = 4*t for n.
3
Let l(w) = w**2 + 1. Let m be l(2). Let n be (-11)/(-2) + -4*(-9)/(-24). Solve -n*t + 22 = -3*x - 7, m*t + 3*x - 16 = 0 for t.
5
Let t be 2 - 0 - (-2 - 0/(-6)). Solve -5*b + 18 = -4*z, 5*z = -14 + t for b.
2
Suppose 2*d - 7 = -29. Let n = d - -18. Let r be (20/8)/((-3)/(-24)). Solve -n*g + 2*g - 25 = 0, w - 5*g = r for w.
-5
Let b(d) = -d**3 + 6*d**2 + 8*d + 3. Let q be b(7). Suppose -5*v + 4*y + 18 = -q, 3*v + 4*y = 36. Solve 2*o - 2*s = 2, -6*s + 2*s - v = -5*o for o.
4
Let y be 765/(-20) - (-2)/8. Let c = -21 - y. Let h = c - 14. Solve h*f = -12, -3*f + 0*f - 20 = 4*d for d.
-2
Let q be 15*3/18*2. Suppose q*l - 90 = 5*y, -5*l - y + 56 = -64. Solve -1 = -v, 0 = -5*t - 0*v + 3*v - l for t.
-4
Suppose 5*t = 3*t + 6. Solve 31 - 2 = -5*a - p, -t*a + p - 11 = 0 for a.
-5
Let q(t) = -t**2 + 11*t + 13. Let i be q(14). Let w = 34 + i. Solve -a - 4*d - 15 = d, 0 = w*a + 3*d + 9 for a.
0
Suppose -10*s = 2*s. Suppose 5*g + 3 = -d - s, -d = g + 3. Let y(o) = 5*o - 1. Let p be y(1). Solve -3*b - 5*x + 10 = g, p*b + 29 = 2*x - 1 for b.
-5
Let i(f) = -121*f - 479. Let l be i(-4). Solve -l*t - 18 = -2*y, -t - 9 = 2*t - 3*y for t.
-4
Suppose -48*d = -23*d. Solve -3*w - 7 = -g, d*g + w + 1 = -g for g.
1
Let t = -46 + 52. Suppose -2*n = t*g - 8*g - 8, 2*g - 20 = -5*n. Solve 6 = -n*k + 6*k + 3*o, 0 = k - 2*o + 11 for k.
-3
Let a(c) = -8*c**2 - 88*c + 2. Let n be a(-11). Solve -m - 2*d + 10 = n*d, -4*m + 2*d = 14 for m.
-2
Let u(w) = -5*w + 7. Let f be u(-1). Solve -f - 14 = -4*h + 2*k, 4*k = 3*h - 32 for h.
4
Let a be 4/(-4) + (-1 - 0). Let f be (-2 + 2)*a/4. Solve 3*r = -4*l - 19, f = 3*r + 5*l + 24 - 4 for r.
-5
Let b(s) = 2*s + 0 + s**3 - 13*s + 9*s**2 + 6. Let a be b(-10). Solve -2*m - 26 = 4*l - 8, -4*m - 3*l = a for m.
-1
Let w be 432/252*7/3. Solve -2*l + 2*h = 0, w*l - 2*h = 3*h for l.
0
Let i(l) = -76*l - 70. Let f be i(-1). Solve 5*v - 12 = 3*d, -26 = -5*d - 5*v - f for d.
1
Let d be 47/(-9) + (-8)/(-36). Let c = -3 - d. Suppose -c*b = -7*b - 3*f + 19, 0 = -4*b + f + 5. Solve n - b*g = -12, -13 = 4*n - g + 7 for n.
-4
Let r be -2 + -3*(-16)/6. Let x be r/(-15)*(-5 - 0). Solve 5*v = -0*l + 2*l + 4, x*l - v = 4 for l.
3
Let z be (0 - 15)*2/(-6). Suppose -119 + 44 = -z*f. Solve 0 = -3*p - y + 20, -2*p - f = -y - 4*y for p.
5
Let a be (-112)/(-20) + -4 + 2/5. Let k be (-220)/(-35) + -4 + a/(-7). Solve -3*m + 2 = -w, m = -0*w + k*w + 4 for w.
-2
Let z be (-4)/(-10)*5 + -7. Let c = z + 5. Suppose -l - l = c. Solve -27 = 5*m - 3*t, l = -5*m + t + t - 23 for m.
-3
Let w = 28 + -26. Solve -4*l + 10 = -2*x - 4, w*x + 2*l + 8 = 0 for x.
-5
Let x(d) be the first derivative of -d**3/3 + 8*d**2 + 41*d + 27. Let a be x(18). Solve a*r = -4*m - 25, 5*r + 2*m + 0*m = -25 for r.
-5
Suppose 3 = 3*b - 5*n, -4*n + 3 - 11 = -b. Let m be (-2)/b - (-4)/((-56)/(-63)). Solve 0 = -5*w - 6*o + 3*o + 25, -w + m = 5*o for w.
5
Let p = 5 - 1. Suppose -h - c = -3, 2*h = p*h - 4*c - 6. Solve -19 = 4*x - h*v, 5 - 2 = 3*v for x.
-4
Let m = 43 - 38. Solve -5*f = 2*y - 10, -f + 25 = m*y + f for y.
5
Suppose -4*q - 11 = -r, 0 = -4*q - q + 3*r - 19. Let p be 4 + (20/5)/q. Solve -f - p*f = b - 9, 4*f - 12 = 2*b for f.
3
Let m = -5 - -3. Let r be m/(0 - 1/10). Solve -3*l = -2*o + 12, r = 2*o + 2*o - 4*l for o.
3
Let g be -5 + 6 - (-2 - 2). Suppose -5*y + 4*r = -27, g*r - 6 = 2*y - 27. Solve 0*n - 