be m(7). Solve n*j + j = 4*l + 15, -5*j + 3 = 4*l for l.
-3
Let t be (-28)/(-5)*15/(-2). Let j be ((-24)/14)/(4/t). Solve 2*f = -4*u + j, -3*u + 20 = -5*f - 0*u for f.
-1
Suppose 4 + 2 = u. Suppose 3*j + 15 = 0, -z = -u*z + j + 25. Suppose -4*m = m + 3*s - 115, 4*s = 2*m - 46. Solve -p = -2*p + r + 8, m = p - z*r for p.
3
Let d be 6/1*1/2. Let q = d + 1. Solve 4*y = -4*z + q, -5*z - 1 = 9 for y.
3
Let w be 6*(8 - 4)/8. Suppose 0 = -5*l - 5 + 20. Solve l*t - o = -5*o - w, -t - 5*o = -10 for t.
-5
Suppose p = 6*p - 30. Suppose 3 = -g + p. Solve 27 + 2 = 5*u + g*z, -2*z + 6 = 0 for u.
4
Suppose 45 = 5*s + 4*c, c = 5*c - 20. Solve 0 = 3*v - n - 1, -s*n = -3*v - 2*v + 15 for v.
-1
Let d(t) = t. Let r be d(0). Solve 2*a + 17 = -l + 7*a, r = a - 3 for l.
-2
Let i = 14 + -10. Solve 0 = -3*v + 4*r + i, 3*v = 4*r - 2*r + 2 for v.
0
Suppose 0 = -3*i + 3*v - 39, 4 = -3*v + 5*v. Let b = 15 + i. Solve -c - x = -b*c - 10, 8 = -4*x for c.
-4
Let c = 13 + -9. Suppose 4*a = -4*s + 60, s + 0*a - 10 = -2*a. Solve c*l = -0*l, 5*l - s = 4*k for k.
-5
Suppose -12*i - 58 = -14*i. Suppose 2*v + 3 = i. Solve n + 3*n + v = -3*l, 2*l = -3*n - 9 for l.
-3
Suppose 0 = u + 2*u + 3*s - 9, -4*u = -5*s - 39. Suppose 3*v = 7*v - 20. Let m = -5 + v. Solve -5*g = 3*o + 27 + 2, m = -3*g + 2*o - u for g.
-4
Let s(m) = 4*m**2 + m - 4. Let g be s(-3). Suppose -2*x - h + 12 + 2 = 0, 5*x = -h + g. Solve -x*b + 4*z + 9 = 0, 15 = -4*b - 2*z + 43 for b.
5
Let u = 9 - 5. Suppose 0 = u*s + 38 - 14. Let d = s + 8. Solve d*m - 3*k + 12 = 0, -4 = -5*k + 16 for m.
0
Suppose -2*m + 5 = 1. Suppose -k + 13 - m = 0. Solve 8 = 3*h - 7*h - 3*z, 3*h + k = -z for h.
-5
Suppose 3*o - 3 = 2*q - 1, 4*q - 16 = -4*o. Let n be o/(-2)*(-5 + 3). Solve -5*p + 4*r = 29, n*p + 2*r + 15 = 7*r for p.
-5
Suppose -2 - 3 = 5*n, -5*n - 20 = -5*v. Solve 4*f = -j + f - 1, -5*f - 7 = v*j for j.
-4
Let j(q) = 3*q - 7. Let v be j(3). Solve 6 = v*s, -3*s - 3 + 7 = -p for p.
5
Let v(s) = 2*s + 1. Let k be v(-2). Let x = 4 - k. Let p = -5 + x. Solve -5*h = 3*n - p*h, -3*n = h + 4 for n.
-2
Let h(g) be the second derivative of g**4/12 - g**3/2 + 3*g**2/2 + 3*g. Let t be h(3). Solve 3*o + t - 20 = 2*r, 3*r + 23 = 4*o for o.
5
Suppose -13 = 3*w - 1. Let k = 7 + w. Suppose z - 8 = -k*z. Solve 0 = z*h + 2*h + x - 9, -h = -5*x + 24 for h.
1
Let m(j) = j + 2. Let a be m(-2). Suppose k + a*k - x = 4, -x - 4 = 2*k. Solve k = -5*b + 15, -3*t - 10 = b - 28 for t.
5
Let d be -3*((-10)/3 + 2). Solve -5*i + 30 = -5*o, o + 12 = d*i - 6 for o.
-2
Suppose -k + 12 = 2*k. Solve -3 = -5*q + l, 3*l + 12 = -k*q - l for q.
0
Let f be ((-3)/4)/(1/(-4)). Suppose 0 = q - 4*v + 17, -5 - 9 = 2*q - 4*v. Solve 15 = -f*s - q*n, -5*s + 6*n + 5 = n for s.
-2
Let g(j) = -3*j**3 + j**2 + 7*j. Let t(c) = c**3 - c**2 - c + 1. Let r(y) = g(y) + 2*t(y). Let x be r(-3). Solve 3*z + 17 = -4*s, 2*s - 17 = x*z - 6 for s.
-2
Let s = -11 - -25. Let a = 26 - s. Let o(h) = h - 2. Let y be o(5). Solve q = -2*p - a, 2*p + 4 = -y*p + 4*q for p.
-4
Let z = -23 + 33. Let d = z - 6. Solve -4*u - 11 = -5*r, -3*u + 4*r - d - 4 = 0 for u.
-4
Let m(y) = -y + 4. Let j be m(3). Let u be j + 0 + 2/2. Let b = 6 - u. Solve 0 = -2*a + 4*n - b, 1 = -4*n + 9 for a.
2
Suppose h + 13 = 2*i - 0*h, 25 = 5*i - h. Suppose -3*m + 2*m - 14 = -2*w, -5*m = -4*w + 22. Suppose i*q - w = 4. Solve -4 - 6 = o - 3*u, -q*o - 4*u = -22 for o.
2
Let j(v) = 6*v**3 - 2*v**2 - v + 2. Let z be j(1). Solve -2*h + 13 = 3*b + 3, -b = z*h - 25 for h.
5
Let g = 57 + -54. Solve 2*s + 3*s - l = -g, -3*s - 5*l - 13 = 0 for s.
-1
Let f be 2*6 - (0 - 0). Let u(a) = -a + 1. Suppose -2*z = 5*w + 4, -6*w + w + z = 13. Let v be u(w). Solve -b - 1 = v*k, -5*k + 2 = f for b.
5
Let b(x) = x**2 - 8*x + 3. Let t be b(8). Solve t*i = q - 7, q - 16 = -4*q - 4*i for q.
4
Suppose 6 = -h + 19. Let y = -78 - -81. Suppose -y*a - 4 + h = 0. Solve a*q = -3*z + 4*z - 7, -9 = -z + 4*q for z.
1
Let h(b) = -b**3 + 5*b**2 + 5*b + 8. Let n = -11 - -17. Let t be h(n). Solve 0 = -3*l + 4*d + 2, l = -l + t*d + 2 for l.
2
Suppose -3*g + 2*f = -2, 3*g - 15 - 7 = -2*f. Let m = -8 + 10. Solve y - 1 = -g*z, -4 + m = 2*z for y.
5
Suppose -2*o + 27 = -5*l, -2*l + 36 = 5*o - 4*l. Solve -3*q - o = 4*c, -2*c = 1 + 5 for q.
2
Let d(x) = -x**3 + 11*x**2 + x - 7. Let z be d(11). Solve 5*w + z*c + 11 = 0, 2*w - 2*c + 9 = c for w.
-3
Let u be -1 + -1 + 4 + 3. Solve u*b = h - 3 - 18, -31 = 4*h + 3*b for h.
-4
Let o = 100 - 98. Solve -3*x + 7 + o = t, t + 11 = 2*x for x.
4
Let c(u) = -3*u + 1. Let w be c(-1). Let y be 5/(-1)*12/5. Let v be (96/y)/((-4)/2). Solve 8 = -w*t - 4*p, 7 + 0 = -v*t - 5*p for t.
-3
Let l = 78 + -52. Solve l = -3*k + s - 6*s, 12 = -4*k - s for k.
-2
Let m(s) = 2*s**2 + 7*s - 11. Let j be m(-5). Solve 30 = -4*c - 5*x, -3*c = -2*x + j + 7 for c.
-5
Suppose 5*d - 4*d = -2*c, 2*c = -4*d + 12. Solve 0 = -2*i + d*q - 4, 0 = i - 5*q - 1 for i.
-4
Let c = -7 + 19. Let s be c/(-9)*(-9)/2. Solve -5*t - s*y + 22 = -2*y, 0 = 3*t + 5*y - 21 for t.
2
Let v = 18 - 17. Suppose -4*s - r = -32, 0 = -5*s + 3*r + 2*r + 40. Let p = s - 4. Solve -4*b + p = -4*m, 2*b + v + 9 = -2*m for b.
-2
Let q be (-99)/(-44) + 3/(-12). Solve 0 = 3*d + 4*i + 26, 2*i + 1 = q*d + i for d.
-2
Let o be 3*(-2)/(-6) - 10. Let h be 2/o - (-20)/9. Let x(m) = 4*m + 5. Let p be x(4). Solve 2*r = 3*z - p, -5*r = 2*z + h*z - 5 for z.
5
Let r be ((-105)/3)/(-1 - -2). Let d be (-9)/(-21) - 125/r. Solve -5*h + 5*q = q + 27, h + 15 = d*q for h.
-3
Let b = 1 + 2. Let k be 3/((-9)/6) - -3. Suppose -k = 3*w - 7. Solve 2*o - 4*m - 12 = 0, -w*o - 5*m - 18 = -b*o for o.
-2
Let j be ((-595)/6)/(-5) - (-6)/36. Solve 2*m = r + r - j, 4*m + 15 = -r for r.
5
Let b(f) = 6*f**2 - f + 3. Let t be b(3). Let g be (-4)/18 + 282/t. Let v(c) = c**2 + 6*c + 7. Let j be v(-5). Solve -2*r = j*n + 3*r - 10, 4*r + g = n for n.
5
Let u = -4 - -14. Solve 2*v = -2*y - 0*v - u, 4*y = 2*v - 14 for y.
-4
Suppose 2*l + 3*l - 5*m = 50, 0 = l - 5*m - 10. Solve -c - 5*t + 26 = l, 2*t = -5*c + 11 for c.
1
Suppose 0 = n + 5*r - 4 - 2, -n + 9 = 4*r. Suppose -2*m = m - n. Let s be 2/m - 24/(-14). Solve -d + 9 = s*d, -18 = -3*o - 4*d for o.
2
Suppose -3*i + 1 = -4*y + 9, 0 = -2*y + i + 6. Suppose 3*d = 5*q + d - 9, 0 = q + d - 6. Solve -4*w + 45 = y*k, 0 = -0*w + q*w - 3*k for w.
5
Let o = 6 + -4. Let f = 19 + -15. Solve o*t - f = 7*k - 3*k, t = 0 for k.
-1
Suppose 0 = -24*a + 22*a. Solve 0 = -p, 0 = -a*m + 4*m - p for m.
0
Let c(r) = r**3 + 6*r**2 + 4*r - 3. Let l be c(-5). Solve 0 = -4*i - 3*k - 19, -6*i + l*i + 2*k = -6 for i.
-1
Let m be -3*-10*4/24. Solve 2*w = 3*k - 1, 0 = -3*k - 0*w + m*w - 11 for k.
3
Let o be ((-12)/10)/(12/(-30)). Solve 0 = t - o, -2*x - 2*x + 5*t + 5 = 0 for x.
5
Let k = -39 + 49. Solve 6*h - 14 = 2*y + 2*h, 4*y + k = -h for y.
-3
Let r be (1 + -2)/((-2)/6). Suppose -s - r*s = 0. Solve s*v = 2*v - 5*m - 14, 2*m + 14 = 5*v for v.
2
Let x = -4 - -4. Solve -2*d = c - 3, d - c + x*c = 3 for d.
2
Let u = 14 - 12. Solve -6*b + 2*b = -c + 6, 0 = 2*b + 2*c - u for b.
-1
Let j be (2 + -6 - -5)/(1/4). Solve -3*t + 20 = 2*g, 4*g + t = -j*t + 36 for g.
4
Let s = -7 + 11. Suppose -s - 8 = -3*p. Solve p*u - x = 14, -5*u + u + 2*x = -16 for u.
3
Suppose -5*s + 2*q + 12 = -7, -3*s = 3*q - 3. Suppose 2*n = s*n + 5*h + 15, -3*n = 3*h + 9. Solve n = 2*f - 0*f + j, 4 = -2*f - 2*j for f.
2
Let u(v) = -v**2 - 5*v. Let d be u(-5). Solve d = -3*g - 0*g + x - 1, -5*g = x - 9 for g.
1
Suppose -5 = -p + 1. Solve 5*r + p = -h, 2*r + 4 = 3*h + 6*r for h.
4
Let m(i) be the second derivative of i**4/12 + i**3/2 + 5*i**2/2 - 2*i. Let d be m(-5). Solve 5*r + 5*z - 5 = d, 3*z = -r + 12 for r.
0
Let z be (1 + -2)/(3/9). Let v(r) = -r**2 - 4*r - 3. Let s be v(z). Suppose -5*g + 7 + 18 = s. Solve 4*o - 4 = -4*u, 0*u - 3*u - g*o = -11 for u.
-3
Suppose 0 = -z - 4*z - 20. Let j(g) = -g - 4. Let i be j(z). Suppose 4*x = 2*x + 8. Solve -x*b = -2*o - i*o + 26, -17 = -2*b - 5*o for b.
-4
Suppose 0 = 7*i - 5 - 9. Solve 3*j - 3*y = 0, 5*j - i*y + 0*y = 9 for j.
3
Let u = 41 - 25. Solve -5*p - u = -2*q, p = -4*p + 3*q - 14 for p.
-4
Suppose 0 = -c + 3 - 0. Solve c*m = 0, 2*t = m - 0*m for t.
0
Let d = 24 - 13. Let j = d + 4. Solve -j = 3*i, -5*c + 5 = -4*i + 6*i for c.
3
Let x = -4 + 4. Let h = 0 + x. Solve h = -2*a + 5 - 13, 5*a = 5*m - 35 for 