- 28, 4*j = l + 14 for l.
2
Suppose -8*d - 48 = -11*d. Solve -2*m + i - 5 = 0, 0 = m + 3*i + 1 - d for m.
0
Suppose 4 = -0*c + 2*c. Solve 4*b = c*m + 26, -27 = -5*b + 2*m + 3 for b.
4
Suppose v - 20 = -g + 6*g, 3*g + 12 = 0. Solve q - 4 = -v*q, 2*q - 4 = 2*f for f.
2
Suppose 3 = x - 0. Solve -4*t = -3*h - 8, -t + 2 = x*h - 2*h for t.
2
Suppose -5*a - t - 2*t = 17, -2*a - 22 = 5*t. Let n be -5*(54/(-15) - a). Solve -5*f - 2 = -5*q + n, 5*q - 2*f = 0 for q.
-2
Let h = 113 + -111. Solve -h*g - 33 = -5*a - 11, 11 = 4*a + 5*g for a.
4
Let k be (-6 + 0)/(2/(-1)). Suppose -6*f + f = -k*j - 16, 0 = -4*j - 8. Solve -d - 3*d + 5*b - 20 = 0, -f*b = 5*d + 25 for d.
-5
Let n(f) = f**2 + 6*f - 4. Suppose 0*q - 2*q + 23 = -3*t, 0 = -3*t + 4*q - 25. Let p be n(t). Solve -k - 3*k = -2*a - 30, k = p*a + 20 for a.
-5
Suppose 0 = -4*d - 2*d. Suppose 3*m + 3*m - 72 = d. Solve m = -5*z + z, -2*z = 3*c for c.
2
Let d(y) = -y**2 + 2*y - 6. Let h be d(4). Let v be 1/7 - (-2)/h. Let s = -6 + 8. Solve 5*r = -4*i + s*r - 5, v = i + 4*r - 2 for i.
-2
Let t be (-2)/4*(5 - 5). Suppose 0 = i - 1 - 3. Suppose 0 = 2*y - i*y + 28. Solve j = 3*n + 10, t*n - 5*n - y = -j for n.
-2
Let l be (-4 - -3)/((-2)/4). Let o(b) = b**3 + 16*b**2 + 16*b + 17. Let w be o(-15). Solve -3*f = 5*k - 20, -w*k - 3 = l*f - 11 for k.
4
Suppose 2*d + 0*d + 3 = w, 3*d + 3*w + 18 = 0. Let u = -1 - d. Solve -4*l = u*c + 2, 3*l + 0*c + 2 = -c for l.
-1
Let o be 4/6*(-60)/4. Let p = 0 + o. Let a = -7 - p. Solve -5*b - 5*k - 25 = 0, -a*b = -3*k + 7*k + 17 for b.
-3
Let y = 6 + 10. Solve -5*o + 8 = -p, 5*p = -4*o + p + y for o.
2
Let h be (-20)/6 - (-3)/9. Let t = 3 + h. Suppose 4*k - k = t. Solve -p - 2 = -4*n, n + k*p + 8 = -4*p for n.
0
Let m be 2 - (1 + 2) - -16. Suppose 2*f = -q - 7, -4*q = -6*q + 2*f + 10. Let c = -1 + q. Solve 3*v + c*u + m = -2*u, -v = -u for v.
-3
Let g(f) = f**2 + 10*f + 9. Let q be g(-9). Solve 2*p = -2*u - 1 - 5, 2*u + 10 = q for p.
2
Let t = 21 + -12. Suppose -2*z + t + 5 = 0. Suppose 4*c - 1 = z. Solve c*s = 6, -2*s = -4*a - 27 + 1 for a.
-5
Let g(x) be the third derivative of 0 + 2*x**2 + 5/24*x**4 + 1/6*x**3 + 0*x. Let y be g(3). Solve 0*s = -4*u + s - y, -s = -u - 1 for u.
-5
Suppose g - 10 = -g. Let c(k) = -k**3 + 14*k**2 - 12*k - 17. Let t be c(13). Let j = 8 + t. Solve -3*s + 4*s + g*o = 23, 0 = -o + j for s.
3
Let o = -18 - -26. Solve -32 = k - 4*a - o, k - a = -9 for k.
-4
Let j be 0 - 16/(-1) - 3. Suppose -4*v - 3*x = 2*x - 19, -v = 4*x - 13. Solve -4*c + 3*c = h - v, c = -4*h + j for c.
-3
Let q(a) = -4*a + 1. Let l(g) = -g. Let u(w) = -2*l(w) + q(w). Let k be u(-1). Solve i + 2*h + 15 = k, -3*i = -2*h - 4 for i.
-2
Let d(g) be the second derivative of -g**5/20 - 2*g**4/3 + 5*g**3/3 + 11*g**2/2 + 2*g. Let r be d(-9). Solve t = -r*v - 5, 3*t + 2*v = -v - 6 for t.
1
Let v(f) be the second derivative of f**4/3 - f**3/3 + 3*f**2/2 + 2*f. Suppose -2*t - 4 = -8. Let m be v(t). Solve 5*u + 7 - 22 = 5*n, m = -5*n + 3*u for n.
-3
Let b = -95 + 98. Solve z = -4*k - 21, z + b*k + 2 + 14 = 0 for z.
-1
Let b(l) = -2*l + 9. Let v be b(4). Solve -t + v + 15 = 3*y, -2 = -2*t for y.
5
Let g be -1 + 64 + 0 + -1. Suppose -i = -3*l + 116, 5*l + 4*i - 151 = 14. Let n = g - l. Solve 30 = -4*s + 2*q, s - 4*q + n = -0 for s.
-5
Let r = 2 - 0. Suppose 3*i = -5*s - r*i + 5, s - 2*i - 7 = 0. Solve 24 = -s*g - 3*f, 2*g = 4*f + 4 - 2 for g.
-5
Let b = 8 - 5. Let q = -10 + 30. Suppose -5*s + 3*n = -q, -4*s = -4*n + 8 - 24. Solve -4*m = -3*w, -w + 7 = s*m - b*m for m.
3
Suppose 0 = 2*l - 8*l - 6. Let p(v) = 4*v**2. Let a be p(l). Solve -20 = -2*k + 7*k, 4*k = a*i - 24 for i.
2
Suppose -8*c - 3*v + 14 = -3*c, -4*c + 26 = -5*v. Solve 2*g - 2*w + 2 = 0, -3*w = c*g + 18 + 14 for g.
-5
Suppose -5*d - 17 = 4*f, 0 = -4*d - 3*f + 4 - 17. Let j(x) = 15*x**2 - 1. Let b be j(d). Solve -3*s - 4 + b = u, 8 = s + 5*u for s.
3
Let q(m) = -5*m + 4*m - m + 1 - 3*m. Let n be q(-1). Solve -b - x - 14 = -n*b, 0 = b + 4*x - 7 for b.
3
Let o(z) = z**2 + z + 1. Let b be o(-2). Suppose -b*y + 3 + 3 = 0. Solve -5*w = y*f + 13, -6 = 5*f + 5*w + 4 for f.
1
Suppose 3*t = x + 3*x - 70, -4*x + 5*t + 74 = 0. Let j = -11 + x. Let k = -1 + 1. Solve 0 = 5*i - 3*z - 25, i - j = -k*i + z for i.
5
Suppose 9*z - 15 = 5*z + 5*i, 4*z + 4*i = 24. Solve z*o - 45 = -5*d, 2*o = o - 2*d + 13 for o.
5
Let w be 9/(-6)*(-48)/9. Solve 0 = -4*t + w, 2*l + 2*l + t - 2 = 0 for l.
0
Let v = -28 - -32. Solve 3*p = 5*n - p + 33, v*p = n + 13 for n.
-5
Suppose -2*d - 3 - 6 = -3*h, 3*h - 9 = -4*d. Solve 0 = -m + 4*c - h*c - 4, -m - 14 = -3*c for m.
1
Let y = -16 + 18. Let k = y - 0. Solve -4*b + l + k*l = 0, 0 = -5*l for b.
0
Suppose g + 0 = 4. Suppose h = g - 0. Solve 0 = a - h*o + 14, 7 = 2*a + 2*o - 5 for a.
2
Suppose -4*d = -5 - 11. Suppose -2 = -t + l + d, 3*l + 6 = 0. Solve -5*k - w = t, -4*w + w - 12 = -3*k for k.
0
Suppose j - 2*j = -2. Let s be ((-3)/2)/(j/(-4)). Solve 19 = -x - 4*l, -5 = s*x + l - 2*l for x.
-3
Suppose 0 = -16*r + 19*r - 6. Solve 5*i + 5*z - 32 = -r, -12 = -4*z for i.
3
Let h = 9 + -9. Solve -4*m + p + 7 + h = 0, 2*m = 4*p for m.
2
Let q = 6 - 4. Suppose -3*k = -10 - q. Suppose 4*h = -2*c + 74, 60 = k*h - 3*c - 29. Solve 5*i = 5*p + h, 3*p + 11 = i + i for i.
1
Let x(b) = -b**3 + 6*b**2 - 4*b - 1. Let d be x(5). Let i(o) = -o**3 + 4*o**2 + 2*o - 4. Let k be i(d). Solve -k*y - y - s = -14, 4*y - 11 = -s for y.
3
Suppose 6*t + 32 = 14*t. Solve 10 = -t*f - 5*p + 43, -5*p = 5*f - 35 for f.
2
Let z(p) = -4*p - 14. Let a be z(-6). Solve r - 1 - a = 2*q, 5*r = -2*q + 19 for r.
5
Suppose s + 28 = 3*f, 4*f + 3*s - 18 = 15. Let x = -6 + f. Solve -17 = 5*d - l, -x*l = 5*d + 12 - 3 for d.
-3
Let f = 27 + -27. Solve -2*q - 2*a + 4*a + 2 = f, -q - 5 = -4*a for q.
3
Suppose 7 = 3*c - s, 5*c - 3*s - 5 = 2*s. Suppose 3*r - 32 = 8*r + 3*w, r + w + 8 = 0. Let h be (-37)/r + (-2)/8. Solve 2*d = -4*t - 6, h + 8 = -c*t + d for t.
-4
Let l(c) = c**2 + 2*c + 1. Let x be l(-1). Suppose 3*f - 15 = -x*f. Solve -23 = -y + f*g, -3*g + 4 = 16 for y.
3
Suppose -4*i = -4, 33 = 4*r + 3*i + 2*i. Let b = r + -3. Suppose -x + 8 = -5*x, -b*x - 13 = -w. Solve -w*p + 4*l - 7 = 0, -1 = 3*l + 5 for p.
-3
Suppose 21 = -b + 4*b. Suppose 3*n + 27 = -i + 9, 4*i + 32 = -4*n. Let a be n/(50/(-4))*5. Solve q = a*q + 3*z + b, -5*q = 4*z + 13 for q.
-1
Let b = 39 + -35. Solve -n = n + b, -q = 3*n + 9 for q.
-3
Let z be 76/18 - (-3)/(108/(-8)). Solve -3*c = 1 - 10, 0 = 4*g + z*c - 28 for g.
4
Let t be (2 - 1 - 3) + 7. Suppose -4*n = 2*o - 104, -80 = 2*n - t*n - 2*o. Solve -3*r = -q - 11, 3*q + q = -5*r + n for q.
1
Let z(l) = -2*l. Let u be z(-5). Suppose -q - 3*b + 10 = -b, 2*b - u = 0. Solve 15 = 3*t - 3*w, q*w - 15 = t + 4*w for t.
1
Let o be (10/(-6))/((-3)/18). Let t = o + 0. Solve -3*j = -0*l - 5*l - t, -4*j + 3*l = -6 for j.
0
Suppose 0 = 5*m - 3*r + 5, -2*m - r = r - 14. Suppose -m*d + 9 = 5. Solve -d*z - 4*t + 23 = t, z = -4*t + 16 for z.
4
Suppose -4*s = -5*i + 10, -4*i + s + 8 = -s. Suppose -56 = -i*t - 2*t. Solve 0 = -5*a - w - 18, 0*a + 3*w - t = 2*a for a.
-4
Let k(x) = -x**3 + 14*x**2 - 13*x + 5. Let w be k(13). Solve 2*n - 21 + w = -2*t, 0 = -2*t + 10 for n.
3
Suppose 2*w + w = 0. Suppose w = -3*j + 1 + 5. Solve r = 5*x - 21, -4*x + 6 = -j*x + 2*r for x.
4
Let y be (-30)/(-9) + (-4)/(-6). Let x be y/1 - (-1 - -1). Solve 2*k + 13 = -c + 2*c, x*k = -2*c - 14 for c.
3
Suppose d - 3 - 1 = 0. Suppose 5*o - d*n = 9 + 7, 0 = 2*o + 4*n - 12. Solve o*f = 20, -f - 25 = 4*r - 6*f for r.
0
Let j be (-6 + 2)*(0 + -1). Suppose 0 = -0*y - 5*y + 100. Solve -y = -3*v - 2*x - 0, 3*v = j*x - 4 for v.
4
Let o(z) = z - 6. Let b be o(9). Solve 3*d = -u - b*u - 20, -2 = 3*u - d for u.
-2
Let k be -2 - (-1 - (2 - -11)). Suppose k = -5*o - 3*w + 47, -5*o - w + 25 = 0. Solve 5*l - o*v = -8, -5*l - v = -1 + 24 for l.
-4
Suppose 0 = -6*p + 3*p + 3*z + 39, z = 3*p - 45. Solve 3*q - x + 6*x = 12, 0 = -4*q - 3*x + p for q.
4
Let r be 10/3 + (-4)/12. Let t = r + -1. Solve -t*k + b = 2*k - 17, -5*k - 3*b = -34 for k.
5
Let k(x) be the first derivative of -x**3/3 + 3*x + 3. Let n be k(0). Solve -2*b + 5*m - m = -10, 5 = -n*b + m for b.
-3
Suppose 4*a - 8*a = -44. Solve 4*d = 5*p - 35, -4*p = -d - 2*p - a for d.
-5
Suppose 5*z - 4*l = -308, 2*l - 10 = -3*l. Let f be 6/10 + z/(-25). Let w(j) 