-4*l = 4*v - y for l.
0
Let b be 9 - (14 - -1)/3. Suppose 2*x - 10 = -0*x. Let u = 1 - -2. Solve b*c = i, u*c + 0*c = -x*i for i.
0
Let k(g) = g**2 - 21*g + 24. Let v be k(20). Solve -2*y + y = 3*n - 16, 4*y - v*n = 0 for y.
4
Suppose 0 = -a + 1, -5*p + 51 = -3*a - 51. Solve 0 = 2*y - 2*t - 6, -5*y + t = -t - p for y.
5
Suppose 3*f + 5*t - 7 = 5*f, 4*f - 1 = 5*t. Solve 3*l - 8 = 2*u, -u + 0*u - f = -l for u.
-4
Suppose -2*a - 3*n + 23 = 0, 0 = a - 5*n + 17 + 4. Solve 5*w + 3 = -4*y - 20, -a*y = w + 11 for w.
-3
Let q(j) = j**2 + 21*j + 40. Let l be q(-19). Solve -2*k - 6 + 16 = -l*i, -2 = -2*i - 2*k for i.
-2
Let l be 2 - (180/80)/(1/(-4)). Solve -9 = -4*p + 4*w + l, -3*p + 13 = -w for p.
4
Let l(g) = 26*g + 200. Let y be l(-7). Solve 5*t = 2*m - y - 6, m + 18 = -5*t for m.
2
Suppose 0 = 4*o - 26 - 2. Solve -3 = -l - 0*l + r, 0 = l - 5*r - o for l.
2
Suppose 0 = 14*n - 154. Suppose a = n*a - 40. Solve -8 = 2*o - 3*c, -a*o + 9*o + 20 = -2*c for o.
-4
Suppose 138 - 15 = 41*a. Solve a*x + 9*y - 14*y = -35, -4*y = -16 for x.
-5
Let i(l) = l - 5. Let h = 11 - 3. Let w be i(h). Suppose w*o - 110 = -2*o. Solve 3*n + 3*y = 12, -2*y - 6 = 4*n - o for n.
4
Suppose 0 = -m + d - 6*d + 33, -5*m + 15 = -5*d. Suppose 5*r + w + 8 = 72, 2*r - 4*w = m. Solve -2*x = -i + 11, r = -0*x + x + 3*i for x.
-3
Let j = -455 + 455. Solve j - 1 = c - r, 3*c + 3*r = -21 for c.
-4
Let b(m) = -18*m - 16. Let f be b(-1). Solve y - 3*d = 2*d + 15, -4*d = -f*y + 6 for y.
-5
Let q(l) = -l**3 - 23*l**2 + 2. Let u be q(-23). Solve -a - 3 = a + 3*z, u*a = -2*z - 2 for a.
0
Let j be (270/(-25))/(-9)*(-10)/(-4). Suppose -3*c + 15 - j = 0. Solve -4*z + c*k + 10 = -2*z, -4*z + 4 = -4*k for z.
-3
Suppose -s - 10 + 0 = -3*t, 0 = -5*s + 3*t + 10. Suppose 2*w - 2 + 8 = 0. Let g = w - -3. Solve -x + 3*c - 2 = g, -s + 4 = 2*x - 3*c for x.
1
Let t(w) = w**3 + 1. Let b(u) = u. Let r be b(1). Let c be t(r). Solve -4*z - 22 = f - 3*f, -c*f - 10 = 4*z for z.
-4
Suppose 5*z - 19 = v, 2*v - 2*z - 17 = -3*z. Suppose v = 2*r - 22. Let q = r + -11. Solve 2*u + 2 = x - 0, 4*x + 3 = -q*u for x.
0
Suppose -7*n = -57 - 13. Let p be 20/8*12/n. Solve 0 = 3*u + 3*m - p, 0*m = 5*u + m - 5 for u.
1
Let p be 14*((-576)/(-84))/16. Solve -4*y + 3*n - 12 = -n, p = 3*n for y.
-1
Let y(c) = c**2 + 4*c - 10. Let f be y(-6). Suppose 4*x + 32 = 3*u, -f*u - 3*u = -5*x - 55. Solve 8*j - 3*j = -2*s + u, 0 = -4*j - 3*s + 4 for j.
4
Let q be (5/3)/(11/(1320/50)). Solve -4*f + 17 = 5*w, -3*f - 2*w + 0*w = -q for f.
-2
Let t = 1203 - 1198. Let r(i) = 19*i**2 - 2*i - 1. Let y be r(-1). Solve -5*b + 6 = -4*f - 5, t*b - y = -5*f for b.
3
Let n = 43 + -47. Let x be (3 + 1 + n)/2*-1. Solve 0 = 4*f - 4*m + 36, x = 2*f - m + 5*m - 6 for f.
-5
Suppose -2*r = z + 51, -21 = -3*z - 3*r - 171. Let c = 49 + z. Solve 20 = -5*x, -3*n + 2*x + c = -2 for n.
-2
Suppose 160 = -368*l + 376*l. Solve -2*k - j - 4*j = -8, -5*k + j + l = 0 for k.
4
Let z be (-2)/(-8)*(-8)/(-11 + 10). Solve 6 = -z*p + n, 8*n = 7*n for p.
-3
Let s be 12/(-4 + 0) + 8. Suppose -s = 5*r - 2*v - 45, r + 2*v = -4. Let n = -6 + r. Solve -4*m + n*k - 3*k = 14, -7 = m - k for m.
-5
Let f = 179 + -175. Solve 0 = -r - i + f*i + 7, 5*i - 15 = -5*r for r.
4
Suppose 0 = -5*n, -3*r + r = -3*n - 4. Suppose 6*q - r*q - 40 = 0. Suppose -176 = -36*h - 52*h. Solve 0 = -h*m + 4*x, -3*m + 4*x = 3*x + q for m.
-4
Let i(d) = -6*d**2 + 76*d - 46. Let l be i(12). Solve -p = -3*o - 3, l*p - 6*p = 5*o - 12 for o.
0
Let w be 9 - (1 - (3 - (-2 + 4))). Suppose 2*s + 50 = 2*n, 2*n + 2*s - 47 - 19 = 0. Solve -4*j = 5*g - n, g + w = -j + 3*g for j.
1
Let u(v) be the third derivative of v**6/120 + v**5/60 + v**3/3 + 5*v**2. Let n be u(0). Solve -x + 6*x + 20 = 0, -5*x = -n*l + 30 for l.
5
Suppose 0 = 13*n - 204 + 35. Suppose 17*y - n*y = 180. Let o = 3 - 1. Solve -o*c - 5*k = -6*c + y, -k = -2*c + 15 for c.
5
Let w(x) = x + 4. Let f be w(-4). Let s be f*4/24*-3. Suppose -3*n + n - p + 6 = s, -4*p = 8. Solve -2*u - n*r + 8 + 10 = 0, r = u + 3 for u.
1
Let b(m) be the first derivative of -m**3/3 - 3*m**2/2 + 3*m - 2. Let a be b(-3). Suppose 5*n = 8*n - a. Solve 4*k = i + 4 + 1, -k = -n for i.
-1
Suppose 4*t - t = 9. Suppose a - 15 = -2*z + 4*a, -3*z + 3 = 2*a. Solve x = -t*c + 4, 6 = -5*x - z*c + 2 for x.
-2
Let n(i) = -i**2 + 9*i - 10. Let h be n(7). Solve 2*m - 6*m - 32 = -h*w, m = -w for m.
-4
Suppose -3*k = k. Let l be (-4 - -6) + (-2 - k). Suppose f + 4*f = l. Solve -3*u + 4*z + 32 = f, -6*u + 5*z = -2*u - 41 for u.
4
Suppose 252*y + 14 = 250*y. Let p = 2 - 7. Let d = p - y. Solve -4*j - k + 17 = j, 4*k = d*j + 2 for j.
3
Let p be (-4 - (-8)/((-64)/(-30)))*-12. Solve 2 = p*a + 2*j + 1, 3*a = 2*j + 17 for a.
3
Suppose -11*h = -8*h - 6. Suppose -78 = -4*j - h*j. Let x = j - 11. Solve 4*n - 2 = -x*g, g - 3 + 10 = 2*n for n.
2
Suppose 41*k + h = 36*k + 7, 2*h = -6. Solve 4*n + s = 20, k*n + 5*s = -n + 15 for n.
5
Let c(j) = -j**3 - 2*j**2 - 5*j + 3. Let t be c(0). Solve 5*g - 2*z = -25, -2*z - t*z + 25 = 0 for g.
-3
Let g = -17 - -19. Suppose g*l = 4*l - 10. Solve 0*b = u + 5*b - 15, l*u - 4*b + 12 = 0 for u.
0
Suppose k + 4 = 14. Let l be k + -4 + (5 - 1). Suppose -5*g + 0 + l = 0. Solve -2*p - 3 = -r, g*r - 4*r - 3*p - 22 = 0 for r.
-5
Suppose k + d = -3*d + 22, -3*d = -12. Solve k = -u - 2*w, -u - 4*w - 1 = 15 for u.
4
Let u be (18/12)/((-3)/1036). Let s be u/(-42) - 2/(-3). Solve -4*h = 5*p - 21, -3*h + 2*p = 3*p - s for h.
4
Suppose v + 4*i - 8 = 0, -74 = -4*v - 2*i - 0*i. Suppose -2*y = -2*g - 6*y, 0 = -4*g + 2*y + v. Solve 0 = -b - 3*h - 7, -2*b + 6*b = -g*h - 20 for b.
-4
Let t be (-14 + 11)*7/3. Let y = 13 + t. Solve -4*l - 26 = 2*o, 0 = -l + 5*o + 16 - y for l.
-5
Let d(q) = 2*q**3 - 3*q**2 + 2*q - 3. Let o be d(2). Suppose 0*i = 3*i - 5*l + 11, -5*l + 5 = -o*i. Solve 3*s - 8 = -9*p + 4*p, i*p + 3*s = 6 for p.
1
Suppose -4*v - 12 + 24 = 0. Solve 4 = -2*n - 2*u, 7*n + 2*u + 2 = v*n for n.
1
Let u = -784 - -786. Solve 16 = -4*m - f, -u*m - 26 = -3*f - f for m.
-5
Let k(i) = 5*i**2 + i. Let h be k(-1). Let f(b) = -6*b**2 - 58*b - 136. Let t be f(-5). Solve 3*s + p + 0*p = 16, -5*s = -t*p - h for s.
4
Let q = 512 + -510. Solve -3 = -q*n - n - 3*h, 0 = -5*n - 3*h + 7 for n.
2
Let g be ((-5)/10)/(5/(-30)*1). Solve -6 = g*d, 5*p + d + 5 = -2 for p.
-1
Let w be (4/14)/((-40)/(-140)). Solve w = o - 0*o, -5*o + 20 = 5*z for z.
3
Let j be 2/4 + (-10)/(-4). Let g(z) = 27*z - 76. Let h be g(3). Solve -4*f = -d - j*f - 1, 0 = 5*d + 2*f + h for d.
-1
Let p(z) = -27*z + 83. Let w be p(3). Solve -a - 5*y - 23 = -10*y, -4*a + w*y - 2 = 0 for a.
2
Let s be 30/20*76/6. Let o = -16 + s. Solve -4*t + 3*b = 12, -5*t + o = -b + 7 for t.
0
Suppose -2*j + 16 = 4*l + 2*j, 5*j = 5*l. Solve -l*h - 9 = 2*o - h, -4*h + 19 = -3*o for o.
-5
Suppose 6*m + 11 = 35. Suppose -4*t - 5*n + 39 = m, -2*t + 2*n = -4. Solve 11 = t*d + 2*i, -4*i = -5 - 7 for d.
1
Let k(s) = -s - 9. Let g be k(-8). Let m = g + 3. Suppose -2*a = m*a - 16. Solve 5*l + 20 = -a*w, w - 4*l - 5 = 2*w for w.
-5
Let k = 424 - 421. Solve 2*b - 6*q = -5*q - 7, 6 = -3*b + k*q for b.
-5
Let j(f) be the second derivative of 0*f**2 - 13/6*f**3 - 11*f + 0 + 1/12*f**4. Let u be j(13). Solve u = -5*i - 3*x, 21 + 4 = -5*x for i.
3
Let r be (2/4 + -1)/((-118)/708). Solve 5*g + 2*m - 27 = 0, -r*g + 11 = -2*m - 2*m for g.
5
Suppose w - 36 = 5*w. Let h be w/(-27) + 11/3. Solve -4*n - 3*y + 11 = 0, n + 5 = h*y - 16 for n.
-1
Let n = -11 - -15. Suppose -f = n*t - 0*f - 17, f = 4*t - 7. Let k(j) = j**2 + 2*j - 1. Let d be k(t). Solve -x - d = 2*x + v, -3*v = -3 for x.
-5
Suppose -3*t - 28 = -5*t. Suppose -3*a + 2*w = -8, -a = -0*a + 5*w - t. Solve 5*x + 15 = a*b - 5, -5*x = 0 for b.
5
Let g(t) = -24*t**3 - 2*t**2 + 2. Let a be g(1). Let h be (-90)/(-4) - 60/a. Solve -3*q + h = 2*f, q + 0*q + 10 = 3*f for f.
5
Let l = 1002 + -999. Solve 3*r + l*h = -6, -r = -4*r + 2*h + 14 for r.
2
Let g(n) = -2*n - 23. Let z be g(-17). Suppose t = 5*q - q - 53, 0 = 3*q + 5*t - z. Let k be (-1 - -3 - -1)/1. Solve -4 + 3 = -i - h, q = k*h for i.
-3
Suppose -18*t + 11*t + 28 = 0. Solve -a + t*f - 2*f = 5, f = -a + 7 for a.
3
Suppose 0 = -5*w, w = -4*l - 0*w + 292. Suppose 0 = -d + 76 - l. Solve -2*o = -4*o - 4*n, -d*n = 0 for o.
0
Let h(i) = i**2 + 2*i + 15. Let s be h(-7). Let t = s + -48. S