-3*y = -v*l - 15 for y.
4
Let t be (-46)/(-4) - 4/(-8). Let u = -15 + t. Let d be (-1 - 3)*u/3. Solve -33 + 3 = -d*z + 2*c, -5*z = -3*c - 40 for z.
5
Let s = 14 - 19. Let t = s + 10. Let f = -14 + 16. Solve k = l + 4 - f, 0 = 5*k + t for l.
-3
Suppose -2*p - 18 = -4*l, p = 3*l - 0*l - 12. Suppose -l*o - 2 = -26. Solve -4*g = -o, 2*f + g + 5 = -3 for f.
-5
Let k(d) = -d**3 - 3*d**2 - d + 1. Let v be k(-3). Suppose 0 = v*b - 3*b - 10. Suppose -f = f - b. Solve -f*w - 15 = -2*l, -l + 5*w = -4*l - 40 for l.
-5
Let i be (5*2)/(11 + -9) + 1. Solve 4*t - i = z, 3*t - 1 = -3*z + 11 for t.
2
Let q = 95 - 158. Let t = q - -66. Solve t*x + 3*h - 1 = 5, -2*h = 4*x + 2 for x.
-3
Let u(h) = h**2 - 6*h - 40. Let t be u(-4). Solve 0 = -t*g - 4*g - 5*d + 20, 0 = d for g.
5
Let b(z) = 2*z + 2. Let p = -7 - -2. Let t be b(p). Let v = 8 + t. Solve -4*x + 2*h = -12, 0 = -2*x - 5*h - v - 6 for x.
2
Suppose -y - 11 = -23. Suppose 0 = -4*h - 4*c + y, 2*h + 0*h + c - 5 = 0. Solve 0 = 3*w + h*b - 22, -9 = 4*w + 4*b - 45 for w.
4
Let j be (21/6)/(10/(-12) - -1). Let y = 54 - j. Solve -k - h = -6*k + 5, y = 4*k + 5*h for k.
2
Let l = 723 - 718. Solve 6*z + u = z + 12, -3*u + 16 = l*z for z.
2
Let m(t) = -t**3 + 4*t**2 - 2*t + 2. Let l be m(3). Solve l*r - 2*h = -13, 2*r + 7 = -6*h + 5*h for r.
-3
Let x = -21 - -21. Let r be 0 + x + -4 + 7. Solve -r*s = -4*c - 27, -25 = -2*s + 5*c - 0*c for s.
5
Let j(h) = -10*h - 236. Let w be j(-24). Solve w*v - 3*x + 12 = 0, 0 = -3*v - 5*x - 7 + 27 for v.
0
Suppose 100 = -q - 3*q. Let b = q - -29. Solve -2*m = r + m - 5, 3*r = b*m - 24 for r.
-4
Let v(g) = -3*g - 4. Let q be v(0). Let l be q*(1 - (5 - 3)). Solve 0 = -2*t + j - 4, l*t + 2*j = -0*j for t.
-1
Let f be 8/6 - 2*53/(-6). Suppose -f*y - 6 = -21*y. Solve -3*r + 3*q - y = 0, -2*q = 3 - 11 for r.
3
Suppose -4*x + 7*x = 66. Suppose 4*b - x = 2*t + 24, 2*b - 2*t - 20 = 0. Solve -3*c = -5*n, -5*c + 4*n + 0*n = b for c.
-5
Suppose -2 = 2*n - 6. Suppose -34 = -3*p + 41. Suppose -3*s + 8*s = p. Solve -5*u - s*z = -10*z - 5, 5*u = -n*z - 30 for u.
-4
Suppose -u + 2 + 1 = 0. Let p = -1588 + 1590. Solve 0 = -u*f - 2*f, -2*k = 4*f - p for k.
1
Let b(h) be the third derivative of h**6/120 - h**5/6 - 11*h**4/24 + h**3/2 + 12*h**2. Let s be b(11). Solve 0 = -5*u + 25, -s*u = -q - 2*q - 3 for q.
4
Let o be -48*(-6)/135 + (-66)/495. Solve 3*h - 8 = -5*x, 5*h = -3*x - o*x for h.
-4
Let v = 16 + 9. Let u = 363 - 361. Suppose -v = -5*w, -5*y + 2*w - u = -7. Solve q = -0*f - f + 8, y*f = -4*q + 29 for q.
5
Let o be (-1 + -1)*380/(-152). Solve 5*a - 3*x + 2*x - 11 = 0, -x + 19 = o*a for a.
3
Let w(n) = -6*n - 7. Let g be w(-2). Suppose -g*k - 4*c = -15, -5 = -4*k - 5*c + 7. Solve h = 3*l + 4*h, -2*l + h + k = 0 for l.
1
Let r be 566/10 + -1 - 6/10. Let o = r + -53. Solve 0 = -x + 3*g + 10, x + 3*g = o*g - 2 for x.
1
Suppose -2773*a - 315 = -2782*a. Solve 0 = -3*j + 15, -5*s - 2*j = j - a for s.
4
Let g(d) = 70*d - 420. Let z be g(6). Solve 0 = 2*n - 3*q - 3, z*n = -n - 2*q - 2 for n.
0
Let s = -10 - -7. Let x = -1 - s. Suppose x*h + 0*h = 6. Solve h*j - 12 = -3*n, -2*j + 4*n + 9 = -j for j.
5
Let o = 28 - 34. Let c(p) = -p**3 - 6*p**2 + 4. Let w be c(o). Suppose w*g + 6 - 26 = 0. Solve 5*k - 5 = g*h, 2*h = 3*h + 2*k + 1 for h.
-1
Let g be -4 + (2 - 3) - -3. Let u be (-2 - 1)/((-4)/(-8) + g). Solve -2*j = -3*c - u, -1 = -0*c + 4*c - j for c.
0
Let s be (-1 - -9 - 8) + 3. Solve 0*v + 1 = -s*v + 4*n, -3*v - 13 = 2*n for v.
-3
Let o be 32/48*2*3. Let t be (-3)/((-3)/4*2). Solve -3*i = -i - 2*z + o, t*i + 4 = 4*z for i.
-2
Suppose 5*u = 5*f - 25 + 20, -4*f - u = -9. Solve 0 = -f*j + 8, 3*l + 4*j = j for l.
-4
Let r be (-5)/1 + (-7 - -8). Let y(g) = -g**2 - 8*g - 12. Let o be y(r). Solve -o*h = -5*b - 14 - 0, -5*h = -4*b - 13 for h.
1
Let y be 3*(12/(-9) - -3). Suppose -23*j + 24*j - y = 0. Solve -4*m - j*r = 20, 5*m + r - 2*r = -25 for m.
-5
Suppose -4*r - 4*g = 420, -5*r - 507 = -g - 3*g. Let v = r + 109. Solve 4*c - 9 = 2*w + 7, -3*w - 4*c = -v for w.
-2
Let a(v) = 7*v - 252. Let f be a(41). Solve -4*l - 23 = u, u + 4*l + f = -4*u for u.
-3
Let u = 89 + -85. Suppose 7*k = 3*k + u. Solve z + 5 = 3*s, -s + 5 = 4*z - k for s.
2
Suppose w = -5 + 8. Solve 0 = i - w*i + 3*c - 7, 2*i - 4*c + 12 = 0 for i.
4
Suppose 0 = -y + 3*y + 6. Let d be 1/y - 63/(-27). Suppose 0 = d*j + 4*j - 18. Solve -3*w + 3*r + 6 = -0*w, -j*w - 5*r - 10 = 0 for w.
0
Suppose 11*r = 7*r + 2*z + 16, -20 = -5*r - 2*z. Solve 8 = -5*o - 6*n + 3*n, -r*o + n = 20 for o.
-4
Let g be (-9 + 11)/(2/3). Suppose g*m + m = -8. Let k(u) = -2*u - 4. Let j be k(m). Solve j = -3*i + v - 9, 5*i - 3*v = -19 for i.
-2
Let d(t) = -t - 12. Let y be d(-17). Solve -16 - 4 = 4*u, -y*u = -5*b + 15 for b.
-2
Let s(y) = 0*y - 14*y + 2*y**2 - 8 - 10*y**2 + 7*y**2. Let c be (-32)/2 + 1 - -2. Let n be s(c). Solve w = -4*q + 3, 0 = n*w - w + 3*q - 12 for w.
3
Let b = 427 + -424. Solve 4*k + 16 = f, 2*k = -5*f - b*k - 45 for f.
-4
Let j(a) = 2*a**2 - 43*a + 28. Let t be j(21). Solve -4*q - 3*o = 15 + 16, t = 2*q - 3*o for q.
-4
Let p(j) be the first derivative of -j**3/3 - j**2 + 7*j + 18. Let h be p(-3). Solve 0 = -5*o - t + 6, o - h*t = 3*o + 12 for o.
2
Suppose -126*u + 136*u - 20 = 0. Solve n + 2 = 0, n + u*n + 16 = 2*t for t.
5
Let u(r) = 6*r**2 + r. Suppose 4*p + 19 = 4*m - 3*m, 0 = 4*m - p - 1. Let h be u(m). Solve 3*c - 12 = -3*y - 0, 26 = h*y - c for y.
5
Let b be -6 + -4*(5 + -5 + -2). Solve 6 = 4*h - 0*i - b*i, 4 = -4*i for h.
1
Let o(x) = 15*x - 61. Let i be o(7). Suppose i*u - 42*u - 40 = 0. Solve 0 = -2*w - h - 13, 6*h = 2*h - u for w.
-4
Let y be 21/14 + 6/(-4). Suppose y = -9*j + 4*j + 180. Let d = j + -11. Solve 4 - 14 = -5*w - 3*z, 0 = 5*z - d for w.
-1
Let p = -1 - -4. Suppose -4*s = p*j - 5*s - 6, -4*j + 2*s + 6 = 0. Suppose j*z - 5*z + 2*w = -18, 4*w = z. Solve 4*v - 4*c = z, 2*v = -2*c - 8 + 2 for v.
0
Let k = 64 + -44. Suppose -79*q = -83*q + k. Solve -d + 2*m + 4 = 0, -6*d - q*m = -d + 40 for d.
-4
Let q be 3 - (12/3 + -2). Let m be (-6 + 0)/(-1 - q). Let w(g) = 2*g**2 - 15*g - 8. Let d be w(8). Solve 4*s = m*o + 23, 3*s = -d*o + o + 16 for s.
5
Let l be (-102)/81*-3 + (-6)/(-27). Suppose -l*z - 164 = -172. Solve 5 - 2 = -z*g - c, 0 = 5*c + 5 for g.
-1
Suppose 2*g + y - 27 = 0, -5*g - y + 75 = 4*y. Solve b - 5 - 11 = -4*m, -5*b - 3*m = -g for b.
0
Let r = 49 - -25. Let p = -71 + r. Solve -5*z + p*l = l - 18, -l - 6 = -z for z.
2
Suppose 2*m - 5 = -7, 4*u + m = 19. Let p(f) = -f**2 - 4*f - 3. Let x be p(-2). Let z be ((-1 + 4)*x)/1. Solve -u*y + 2*i - 22 = -2*i, -z*y - 21 = -5*i for y.
-2
Suppose -5 + 9 = -2*f. Let j = 7 + f. Let h(t) = -14*t - 3. Let x be h(-2). Solve -6 = 4*q - 5*l + 15, 0 = -j*l + x for q.
1
Let u(b) = 2*b**2 - 2. Let h be u(-3). Suppose c - h = -c. Let f = c - 8. Solve -n - 4 = a - 5*n, -5*a - 3*n - 20 = f for a.
-4
Suppose -78*j = -70*j - 48. Solve 0 = 3*x + 4*b + 4 + j, 5 = -5*b for x.
-2
Suppose -75 - 69 = -12*v. Suppose -18*l + 19*l = v. Solve 0 = 5*z - 5*g + 18 + l, 10 = 5*z + 5*g for z.
-2
Let y(k) = -k**2 + 17*k - 41. Let n be y(12). Suppose -j - 4*w + n = 0, -5*j = -0*w - 5*w + 5. Solve -3*z + 3*u = z + 6, 4*z + j*u + 18 = 0 for z.
-3
Let z = -2 - -4. Let r = z + 0. Suppose 2*f = m + 9, -30*f + 25 = -25*f - 5*m. Solve -f*p + r*p = -d - 7, 3*p - 3*d - 9 = 0 for p.
4
Suppose -3*t = r + 25, 6*t - 9*t - 185 = 5*r. Suppose -2*u + 16 = -4*u. Let w be (-78)/(-10) + u/r. Solve -3*x = -5*c + 5, 4*x - 4 = 2*c + w for x.
5
Let f(x) = 3*x + 2. Let a be f(4). Suppose -d + 0*d + 4 = 0, 0 = 2*z + 2*d - a. Solve 0 = -z*q - 3*o + 6, -q - o + 6*o = -2 for q.
2
Suppose 2*m - 4 = 2*s, -5*m + 2*s + 5 = -5. Let d be (-4 - -2) + 1*3. Let c be (4*d/4)/((-7)/(-21)). Solve -m*q - 11 = 3*t, 2*t + 1 = -3*q - c for q.
2
Let s = 993 - 989. Solve 3*u + 16 = -5*n + 4*n, n - s*u - 12 = 0 for n.
-4
Suppose 29*j = 11*j + 72. Solve g - j*x = 9, -4*g + 2*x + 19 = 3*x for g.
5
Let j = -2039 + 2041. Solve i - 1 = -0*i, -j*u - 9 = -i for u.
-4
Let b be -4 - 2*(2 - -4). Let j be -3 + (6/5)/(b/(-40)). Solve 2*o = k - 3*k - 2, -5*o = j for k.
-1
Let n(t) = -t**2 - 7*t - 10. Let k be n(-2). Solve o + k*o - 3*g = 3, 2*g = 0 for o.
3
Suppose 2*f + 4*b - 1 = 5*b, -2*b = 3*f + 2. Let t = -3 + 7. Solve t*y = -2*s - 6, 3*y - 2*y + s - 1 = f for y.
-4
Let f(u) 