- f for l.
0
Let m be 16/6*39/26. Solve -2*x = 3*s + 1 + m, 5*x + 4*s = 5 for x.
5
Let t(n) = -n**3 - 3*n**2 + 4*n - 1. Let m be t(-4). Let s(j) = j. Let k be s(1). Let o be 2 - k*(1 + m). Solve o*y - 2*r = -0*y - 14, 2*r = -5*y - 21 for y.
-5
Let a = 47 + -18. Let p = -29 + a. Solve p*m + m + 1 = -2*g, 7 = -2*g + m for g.
-2
Let o(r) = -4*r**3 - 2*r**2 + r. Let p(n) = -4*n**3 - 2*n**2 + n. Let g(x) = -5*o(x) + 4*p(x). Let k be g(1). Solve 4*s - v - 25 = -0*v, k = -s - 2*v for s.
5
Let v be ((-10)/(-6))/((-5)/(-15)). Suppose 0 = -c - 3 + v. Suppose -c*a + 4*a = 90. Solve -4*x + 2*w = 30, 4*x + a = -x + 4*w for x.
-5
Let l = 38 + -25. Suppose 2*r + 1 = 5. Let u = l - r. Solve s + 4*y + u = 0, -4*s + y + 2 = 12 for s.
-3
Let a be (-10)/14 - 6/21. Let p be (-4)/4 + (-9)/a. Let b be (-1 - -4 - -6) + -3. Solve l - g = 7, 2*g - p = b*g for l.
5
Suppose -3*a + 2 = -7. Solve -2*w + 2 = 5*x, -5*x + 0*w = -a*w - 22 for x.
2
Suppose -3*f + 24 = -f. Let r = -7 + f. Solve -2*y + 0*t - 16 = 4*t, 0 = -4*y + r*t + 33 for y.
2
Let b(s) = -s**2 - 7. Let l be b(0). Let p be l*(-2 + (-11)/(-7)). Solve -p*t = 3*o + 2*t - 1, -4*o + 5 = 3*t for o.
2
Suppose -7*m = -5*m - 4. Suppose -4*w + 6 = -2. Solve m*q + 4*p = 0, q + w*p = p for q.
0
Let u = -128 - -131. Solve -u*n - 3*y = -24, 0*n - 2*y + 13 = n for n.
3
Let q = 11 + -1. Suppose 2 = 3*d - q. Let u(w) = w + 6. Let r be u(0). Solve 2*n = -2*f - r - 4, d*f + 16 = 0 for n.
-1
Let z be (12/(-10))/(1/(-5)). Let t be (4/z)/((-2)/(-15)). Let b = 6 - 3. Solve -3*g = -b, 2*s - g + t = -2*s for s.
-1
Let z be 1*(2 + 2 + -2). Suppose 8 = -z*h, 5*h + 10 = -4*l + 2*l. Suppose -16 = r - l*r. Solve 0 = -5*q + r*n - 9, 5*q - 2 = -4*n - 3 for q.
-1
Suppose y + 120 = 5*z, 4*y = 4*z + 3*y - 95. Solve 3*h + p + p + z = 0, p + 20 = -3*h for h.
-5
Let g = 15 + -23. Let r be -3*-1*g/(-6). Solve -5*h - r*f + 17 = 0, 3*h - 5*f - 4 + 16 = 0 for h.
1
Let d be 175 - ((0 - 0) + 0). Suppose 0 = 5*x - y - 175, 5*x + 0*y = 2*y + d. Solve -2*q - 20 = 2*a, -a - 4*q - x = 2*a for a.
-5
Suppose 0 = 6*g - 3*g - 9. Solve d = h - 1, g*h - 7 = d + 4 for h.
5
Suppose 2*h - 55 = 7*h. Let q = -9 - h. Solve -2 = -q*w - 4*x - 20, 4*w - 4*x - 12 = 0 for w.
-1
Suppose 8 + 22 = 5*k. Suppose 2*l + 2*l - 2*b + 22 = 0, 0 = 4*l + b + 7. Let r = k + l. Solve -13 = -r*t - 5*c, c = 5*t + 5*c for t.
-4
Let b be 19/((4 + -1)/3). Solve 2*u = -2*w + 3*u + 9, 3*u + b = 4*w for w.
4
Let q(r) = -r**2 + 3*r. Let w be q(2). Solve 0 = 2*a + k + 10, -5*a = w*k - 4 + 28 for a.
-4
Suppose 5*v + s - 30 = -3*s, -v + s = -6. Let l be 1/2 - 2/4. Solve l = 4*p + o - v, 3*o = -p + 3*p + 4 for p.
1
Suppose -6*r = -3*r - 30. Suppose -19 - 14 = -4*b - 5*c, -r = -2*c. Solve 5*i = 17 - b, -4 = h - i for h.
-1
Let u(j) be the third derivative of j**6/120 - 3*j**5/20 + 5*j**4/12 - j**3/6 + 2*j**2. Let p be u(8). Solve 3*l + 3*n = p, 4*n - 22 + 2 = 3*l for l.
0
Suppose 0 = 2*w - 5*w + 21. Suppose 3 = 4*l + w. Let n be 0 + l/((-1)/3). Solve n*a = 3*c + 1 - 4, -3*a - 4*c - 24 = 0 for a.
-4
Let l = 55 + -51. Let o(w) = -w. Let k be o(0). Let g = 0 - k. Solve -4*y - 2*c + 16 = 0, 3*c - 18 = -l*y - g*c for y.
3
Let m = -16 + 20. Solve 0 = 5*t + m*c + 16, -t = -4*t + 3*c - 15 for t.
-4
Suppose -5*d + 20 = -15. Suppose -4*o - d = 1, 5*o = 5*f - 15. Let r be (-1)/2*(f - 51). Solve 4*l + r = 5*g, 4*l + 15 = 4*g - g for g.
5
Let k(r) = 3*r - 12. Let y be k(6). Solve -5*t = y*h - 3*h + 25, -h - 13 = 4*t for t.
-2
Let u(n) = 1. Let w(l) = l - 8. Let y(c) = 2*u(c) - w(c). Let t be y(8). Let h be 85/15 + t/(-3). Solve 4*r = 3*z - 5, 3*r = 5*z + h*r + 9 for z.
-1
Let w(o) = o**3 + 7*o**2 - 8*o + 6. Let c be w(-8). Let x be 2 - (c/2 - 1). Solve 3*g = -5*v + 21, x*g + 2*g = -4*v + 16 for v.
3
Suppose -5*t + t + o = -13, 4*t = 2*o + 10. Suppose 3*p - t = 2*p. Solve -5*q = -3*z - 25, 3*z - 26 = -p*q - 6 for q.
5
Let p(o) = 2*o + 4. Let c(m) = -m - 5. Let y(w) = -3*c(w) - 4*p(w). Let q be y(-1). Solve -3*b - g - 7 = -2, q = -b + 2*g for b.
-2
Let s(p) = 0*p - 3*p**2 + p**3 + 8 - p - 3*p**2. Let l be (18/(-10))/(6/(-20)). Let j be s(l). Solve -5*f + 4 = -2*b - 1, 2 = j*f for b.
0
Let j(g) = g**2 - g - 2. Let u be j(-2). Solve -4*z + 12 = -4*c, u*z + 0*c - 2 = -c for z.
1
Let o = -7 - -10. Suppose d = o*d. Solve 3*g - 4*k - 15 = d, 5*g + k - 2*k - 8 = 0 for g.
1
Suppose -11 = j - 26. Solve 0 = -c + 4*r + 5, 5*c - 3*r - j = 2*c for c.
5
Let t be 2/4 + 21/(-6). Let k = t + 5. Suppose -k*n - 20 = -4*n. Solve -5*x + m + n = 5*m, -4*x + 8 = -2*m for x.
2
Suppose 0 = -3*b - 17 - 4. Let v(d) = d**2 + 7*d + 2. Let z be v(b). Solve 4*q - 4 = 4*a, -5*q + z*a + 4 = -4 for q.
2
Suppose -5*o = -2*x - 61, 4*o - 2*x = -0*x + 50. Let a = o + -7. Suppose 3*y + a = 5*y. Solve 18 = 2*g - 2*j, g + y*j + 7 - 1 = 0 for g.
4
Let b be (-1 - 3)/(2 + -6 + 2). Solve b = n + 3*u - 9, 0 = n - 5*u + 29 for n.
-4
Let n = -37 - -15. Let t = 24 + n. Solve 4*a = -z + 7, 2*z + t*a + 7 = 5*z for z.
3
Let w(j) = j - 2. Let u be w(-6). Let z be (-2 - u)*(-2)/(-6). Let x be (-3)/(((-3)/4)/3). Solve k + 4 - x = -v, -z*k - 4*v + 26 = 0 for k.
3
Suppose -4*m - 60 = -9*m. Let l be m - (1 + -4)/1. Solve 4*i + 3*v = -i + 5, l = 5*i + v for i.
4
Let p = -7 - 1. Let s(b) = b**3 + 7*b**2 - 9*b - 8. Let x be s(p). Solve -5*r - 2 = 3*v + 9, 2*r + 4*v - 4 = x for r.
-4
Suppose 0 = -0*p + 2*p - 6. Suppose -y + 8 = p*y. Let o(s) = -s + 8. Let g be o(6). Solve 3*a + 9 = -r, -4*r = -y*a + 6 + g for a.
-2
Suppose -5*v - 4*n = -1349, 2*n + 61 + 1039 = 4*v. Let u be v/6 + 1/2. Solve 4*r + 2*k + 12 = 0, -u = 4*r - 3*k - 14 for r.
-5
Let i = -4 + 31. Let h(b) = -b**2 + 9*b + 5. Let a be h(9). Suppose 3*n - 2*n - 10 = 5*z, 10 = -3*n - a*z. Solve 5*y + r + 1 = n, -8 = -3*y + 4*r - i for y.
-1
Suppose -2*p = -p + 1. Let k be (2 + 1*-2)/2. Let y be 0 - 2*p - k. Solve -2*q + 11 = 4*a - a, 0 = -a - y*q + 9 for a.
1
Suppose -5*s + r + 2 + 20 = 0, 0 = -4*s + 3*r + 11. Suppose -s = -k - 4. Solve a + 2*d = d - k, 3*d = 0 for a.
-1
Suppose -f = -4*f - 6. Let a be 4 - ((2 - 0) + f). Solve 2*z + 0*i + a*i + 8 = 0, 0 = -i - 1 for z.
-2
Let v(l) = -l**3 - 4*l**2 + 4*l. Let f be v(-5). Solve 2*d + 3*c - 22 = -3*d, -3*d - 14 = -f*c for d.
2
Let z be ((-2)/4)/((-1)/(-6)). Let o be -2 + (z/1 - -5). Solve 0 = q + 2*q - 6, o = -3*s - 5*q + 4 for s.
-2
Suppose -49 = -5*z + 4*l, 0 = l - 1 - 3. Suppose -5*h = -z + 3. Solve h*d - 14 = 3*j, -2*d - 3*j - 10 = -0*j for d.
1
Let f = 12 + -26. Let k = f - -19. Suppose 0 + 1 = -r, 5*m + 3*r - 17 = 0. Solve -m*j = -k*n - 18 + 6, -2*n = -5*j + 15 for n.
0
Let m(o) = o**3 + 8*o**2 - 9*o. Let a be m(-9). Let r be 0 + a + 1 + -51. Let l = r + 85. Solve 5*i + 3*u + 2*u = l, 10 = -5*i + 4*u for i.
2
Let b be ((-10)/(-6))/((-2)/6). Let i(r) = -5 + 0 + 7*r**2 + 12*r**2 - 18*r**2 + 4*r. Let j be i(b). Solve j*n + 5*n - 4*z = -24, 0 = -5*n + z - 21 for n.
-4
Let m(z) = z**2 + 13*z - 9. Let p be m(-14). Suppose -6*o + o + 20 = 0. Solve -w - c = -2, -o*w - p*c + 4 = -w for w.
3
Let y(g) = g**2 - g - 1. Let n be y(0). Let q = 13 + n. Let a = q + -7. Solve 2*z = -i - 2*z - 15, 5*z + 30 = -a*i for i.
-3
Let u be 2 + (2 + 2)*(-6)/(-8). Solve 4*v - u*v + z = 0, -5*v - 2*z + 35 = 0 for v.
5
Let o(k) = -k + 2. Let s be o(-2). Let p(h) = h**3 - 11*h**2 + 6*h - 61. Let c be p(11). Solve 24 = d + c*i, 2*d - i + 3 = s*d for d.
-1
Let m(r) = -r**3 - 6*r**2 - 8*r - 2. Let j be m(-4). Let q be j/(-5) + 207/45. Solve -5*x - 35 = 4*t, -4*t - 4 = -q*x + 1 for t.
-5
Let v(r) = r**2 + 3*r + 3. Let x be v(-3). Suppose -x*u = -11 - 1. Solve 3*t - 4*g + 18 = 0, 2*g - 5*g = -u*t - 17 for t.
-2
Suppose 3*x + 23 = 2. Let z = 10 + x. Solve z*u - 9 = 0, 4*u - 6*u = -5*h - 16 for h.
-2
Suppose 18 = 4*t - 18. Let j = t + -9. Solve -q + j*q - 4*f = -14, -5*q - f = -13 for q.
2
Let k = -9 - -12. Solve 2*f + 10 = 0, -3*f - 31 = -k*h + 2*f for h.
2
Let j(n) = n**3 - 6*n + 3. Let u(i) = -i**2. Let o(a) = j(a) + 5*u(a). Let x be o(6). Solve m - 7 = -x*q, 2*m = -m - 4*q + 16 for m.
4
Let z be (-11)/9 - (-6)/27. Let h be (-2 - (z - -1)) + 2. Suppose -l + 8 + 0 = 0. Solve -3*y - 4*q = -y + l, -4*q = h for y.
-4
Let k(w) = w**2 - 4*w + 1. Suppose 4 + 4 = 2*p - s, 0 = -p - 4*s - 5. Suppose 0 = z - p*z + 8. Let c be k(z). Solve 2*x + g - 2 + 3 = 0, -g = -3*x + c for x.
0
Suppose 0 = -2*h + 12 - 6. Sol