2*w + 5*t - c = i, w - 2 = -4*t + 17 for w.
-1
Let n be ((-6)/(-2) - 1)*2. Suppose 23*b - 22 - 24 = 0. Solve 0*a - 18 = -3*a - 3*t, -n*t = b*a - 22 for a.
1
Suppose -4*p - 36 = -5*j, -3*j + 2 - 10 = 5*p. Solve 4*n - 6 + 2 = 0, 3*z + 4*n = j for z.
0
Let o be -6*2/(-8)*2. Solve -5*h + h + 5*l + 11 = 0, -o*l = -h + 8 for h.
-1
Let t(h) = -h - 5. Let q be t(-8). Suppose -4*j + 4*f + 8 = 0, -q*j + 0 - 6 = 3*f. Let g be (16/(-10))/(3/(-15)). Solve j*c - 5*c + 24 = 4*m, -2*c = -g for m.
1
Let h(d) = -d**2 + 7*d + 6. Let x be h(6). Let c be (2 - 1) + x/3. Solve -3*n - c*i + 23 = 0, 4*i - 15 = 1 for n.
1
Let l(d) = -4 + 6*d - 5 - 3*d. Let y be l(6). Suppose -m + 0*m = -y. Solve 4*a = j - 2 - m, 2*a + 5*j = -11 for a.
-3
Let o = 4 - 4. Suppose o = -i + 3*i. Suppose -k + i*k = -28. Solve k = -4*r - 4*u, 7 = -5*r + 2*r + 4*u for r.
-5
Let t be ((-12)/(-15))/((-5)/(-75)). Solve -4*j = 4*h - 20, -4*j - h - h = -t for j.
1
Suppose 1 = 3*n - 8. Suppose -4*l + p = 4, n*l - 5*p + 20 = l. Let v = 2 - l. Solve 0 = -3*q + 7*q + v*u - 20, 4*q + 4*u - 28 = 0 for q.
3
Let d(s) = s**3 + 6*s**2 + 2. Suppose -6*c + c = 30. Let p be d(c). Solve -i = p*z + 2*i + 8, z + 5*i = -4 for z.
-4
Let k be -6*((-8)/(-12) - 2). Let v = -4 + k. Solve -29 = 5*w + 3*z, -2*w - 27 = v*z - 7 for w.
-4
Suppose 3*o + k - 11 = 0, 0 = -3*o - 5*k + 36 - 5. Suppose -6 = -4*p + o. Solve t - 3*t = p*d - 12, 0 = -5*d + 2*t - 5 for d.
1
Suppose 5*g - 16 = -4*f, -4*g - f = -g - 11. Suppose 5*y + g*m + 1 = 0, 2*m - m - 8 = -4*y. Solve 3 + 5 = -4*s + n, -3 = 5*s - y*n for s.
-3
Let f = 87 + -85. Solve 6*j - f*j = 3*b + 12, -3*j + 2*b = -8 for j.
0
Suppose -2*i + 5 = 3*i. Let o be i*(-1)/2*0. Solve 2*v + 2*v - 4 = 0, -l - 3*v - 2 = o for l.
-5
Suppose 4 = 9*d - 13*d. Let b be 1*d - (-10 - -6). Solve -b*t = 3*g - 9, -4 = 3*t - 7*t + 4*g for t.
2
Suppose 5*g = 2*m + 4, -2*g + 6 = 2*m - 4. Suppose 0 = -2*i - 4*l + m + 7, l = 4*i - 20. Solve -3*y - 3*j = 0, 0*j - 4 = -3*y - i*j for y.
-2
Suppose -4*i + 0 = -40. Solve 0 = -o + 5, a - i = -o - 2 for a.
3
Let r be (-32)/(-3) - 8/(-24). Solve -2*k = -4*n - k - r, 5*n + 11 = 4*k for n.
-3
Let j be 309/18 + (-2)/12. Let z = 17 - j. Solve 0*d - 3 = -2*w + d, -2*w - 2*d + 12 = z for w.
3
Suppose n = -2 - 0. Let s = n - -4. Suppose -52 = -2*a - s*a. Solve -a = -y - 4*o, -4*y - 2*o = -2*y - 14 for y.
5
Let d(b) = -b**2 - 9*b. Let g be d(-9). Suppose 4*x + g = 16. Solve 16 = -x*j + 2*i, 3*j + 2*i = 5*i - 15 for j.
-3
Suppose 7*r = 8*r + 4, 2*r = i - 21. Solve -i - 7 = -4*f - 2*q, f + 4 = 4*q for f.
4
Let m be (6/(-4))/(85/20 + -5). Solve -26 = -u + 5*n, -2 - 10 = -2*u + m*n for u.
1
Suppose 5*q - 4*d - 271 = 23, -4*q + 5*d = -237. Let a = 83 - q. Solve 3*z = i + 7*z + a, -2*i + 15 = -5*z for i.
-5
Let d = 54 + -29. Let v = -24 - -24. Let o = d - v. Solve -3*i = 3*a, -o = -3*i + 3*a - 1 for i.
4
Let y(j) = -j**2 + 9*j + 6. Let o be y(9). Let t(g) = -g**3 + 6*g**2 + 3*g + 2. Let b be t(o). Solve -2*p + b = 4*i, 5*p + 10 = -0*p + 5*i for p.
2
Suppose -8 = y - 5*y. Suppose y*z + 1 = 7. Let k(h) = 3*h - 4. Let r be k(z). Solve 5*a - 15 = 5*j, 2*a + 24 = -2*a - r*j for a.
-1
Suppose i + 3*p + 13 = 6*p, -2*i + 3*p = 11. Suppose 0 = -r - 2*r + 15. Solve -2*z = z + i*d + 2, r*z = d - 25 for z.
-4
Suppose 4*u + 0*u + 94 = 5*v, -3*u = -4*v + 75. Solve -2*m = -5*r + v, 0*r - 4*m = -r for r.
4
Suppose 23 = 4*k - 5*p, 4*p + 5 = -2*k + 49. Solve -4*r - 5*l - 7 = 0, -r - k = 4*r + 3*l for r.
-3
Let u be (2*(-2)/(-4))/1. Let b = u + 2. Solve -b*k = 5*i - k + 30, -2*k = 2*i + 18 for i.
-4
Suppose 3*x + 21 = 6*x. Suppose -3*q = m - 25, x = 2*m + 2*q - 27. Solve 3*y + 17 = i + 7*y, 0 = -3*i + 4*y - m for i.
1
Suppose 0 = 5*l - 2 - 8. Suppose -b - 2*x + 1 = 0, -l = -b + x + 2. Solve 4*g = b*j + 14, 0*g - g + 6 = -2*j for j.
-2
Let h(j) = j**2 - 17. Let v be h(0). Let g be (-2)/4*(v + -5). Solve 0 = -3*c + 2*a - 0*a - 12, -4*c + a = g for c.
-2
Let m(i) = -i**3 - 15*i**2 - 12*i + 44. Let p be m(-14). Suppose 0*u + 2*u = 50. Solve r + u = 4*y, -3*r + 5*y - p - 24 = 0 for r.
-5
Suppose 4*d + 7*l = 3*l + 76, 0 = 5*d - 4*l - 104. Solve 0 = 4*n - 3*j + d, 5*n + 2*j + 8 + 17 = 0 for n.
-5
Let x be 14/6 - 6/(-9). Solve 5*g - 3 = -5*j + 2*g, 3*g = j + x for j.
0
Suppose -5*b = -2*u + 11, 3*u = -4*b + b + 6. Solve 4*v - 1 = 6*v + u*g, v - 2*g = 3 for v.
1
Suppose -3*p + 3 = -0. Let z be 2*(p - (0 - 2)). Suppose 5*m + 15 = 5*a, a - 4*a + 4*m = -z. Solve 5*g - 12 = -a*t + 3*t, -t - 2*g = -5 for t.
-1
Suppose q - 2*u - 16 = 0, 5*q + 4*u + 5 = 15. Let i be q/(-18) - 7/(-3). Solve -2*s + m = i*s + 20, -4*m = s - 12 for s.
-4
Let f(q) = 2*q + 50. Let h be f(-24). Solve -10 = h*y, -o - 5*y = o + 15 for o.
5
Let m be (10/(-4) - -3)*4. Suppose -4*b = 0, 12 = p + m*p + b. Let h = 5 + -3. Solve h*i = 3*r + 5*i - 3, 28 = -p*r + 4*i for r.
-3
Suppose -n = -5, -j = j + 2*n - 16. Suppose j*v - 5 = 7. Solve 0*k - 7 = 2*d + k, 0 = 5*d - 2*k + v for d.
-2
Let w be (100/(-10))/(-1*2). Solve 5*n = -w*u - 40, -4*n + u = -2*u + 11 for n.
-5
Suppose 4*w = -5*z - 27, z + 2*z + 15 = -2*w. Let t be (z - 0)*(-5)/3. Let q = 0 + 0. Solve t*r + 5*d - 15 = q, -3*r + 5*d - 3 = 4 for r.
1
Let l(j) be the third derivative of j**5/60 - j**4/24 + j**3/3 + j**2. Let a be l(0). Let x be 2 - (1 + -4 + a). Solve 0 = -t - x*q + 11, 2*q - 6 = t + 8 for t.
-4
Suppose -12*o + 6*o = -156. Solve -3*n = -r + 13, -2*n + 3*r - o = -2*r for n.
-3
Let u(b) = -b**3 + 5*b**2 + 7*b - 8. Let z be u(6). Let p = z - -2. Suppose 8*m = 4*m + 16. Solve -18 = 2*f - m*o, 2*f - 22 = -p*f - 4*o for f.
1
Suppose 5*c - 2 - 8 = 0. Solve n = 5, 4*n - 16 = c*g + 2*g for g.
1
Let n(g) = 2*g**3 + g**2 - 2*g + 2. Let s be n(1). Solve -1 - 7 = -o - 4*r, 3*o + s = -3*r for o.
-4
Suppose -a + 3*u = -6, -3*u + 10 = 5*a + 2*u. Solve z - 10 = -3*t + 6, -a*z = t - 16 for z.
4
Let i be (-2 - (-14)/6)/(2/30). Let h = 9 - 6. Solve -10 = -i*m - h*z, 0*m = -3*m - 2*z + 7 for m.
-1
Suppose -3*o + 0*o + 99 = 0. Let z be -2*(o/(-6) + 3). Solve -2*k + 5*n = -15, z*k + 20 = 2*k - n for k.
-5
Suppose -1 + 30 = y - 2*g, 0 = -5*g - 15. Suppose -o + 5*o - 20 = 0. Solve -o*z + 20 = -2*a, z + 0*a + y = -5*a for z.
2
Let o = 9 - 3. Solve -f - o*j + 3 = -j, -4*f - 2*j - 6 = 0 for f.
-2
Let i be (15/15)/((-2)/(-10)). Solve 5*x = r - 18, 3*x - 8 = i*x for r.
-2
Let r = -13 + 1. Let d = 36 + r. Let f be ((-9)/2)/((-9)/d). Solve 4*v - 12 = 3*s + f, 0 = -2*v + 3*s + 18 for v.
3
Suppose -3*q = -12, -3*q + 30 = 5*z + 2*q. Solve -4*l - 4 = 0, 2*p = -2*p + z*l + 6 for p.
1
Suppose -4*b + 2*g + 8 = 0, 5*b + 0*g - 19 = -2*g. Suppose -2*p = -b*p + 4. Solve 0 = -3*m - p*q - 1, -2*q - 1 = m - 2 for m.
-3
Let f(i) be the first derivative of -i**4/2 - 2*i**3 - i**2 - 4*i + 2. Let j be f(-4). Let b = -3 + 6. Solve -7*p + 3*p - b*t + 28 = 0, 4*t - j = -5*p for p.
4
Let s = -21 - -23. Solve -3*i = -2*c - 6 + s, 3*i = -6 for c.
-5
Let u(v) = v**2 + v + 1. Let m(b) = 5*b**2 + 3*b + 8. Let d(x) = m(x) - 4*u(x). Let g be d(3). Solve 3*r + 34 - g = 3*k, 4*k + 3*r + 3 = 0 for k.
3
Suppose 0 = -11*l + 9*l + 8. Solve -2*u - 4 - l = -4*h, -5*h + u + 16 = 0 for h.
4
Suppose -3*a - 6 = -4*a - 5*q, 3*q + 10 = -4*a. Let k(p) = -p**3 - 2*p**2 + 5*p - 1. Let m be k(a). Solve -5*c + m = 4*r, -5*r - c = -4*c - 23 for r.
4
Suppose 1 = 2*p - 11. Suppose -p*k = -k - 35. Suppose 960 = 8*f + 920. Solve -4*c = r - f*c + k, -6 = -2*c for r.
-4
Let d(v) = -4*v + 86. Let w be d(17). Solve 4*f + 0*l + w = -2*l, 2*f - 3*l = -5 for f.
-4
Suppose -2*x - 8 = -4*y, -x + 23 = 5*y - 1. Suppose 6*z = z. Let a be 2 - -1*(z + 1). Solve y*q = -a*h - 25, q - 2*q = 2*h + 10 for q.
-4
Let o be ((-3)/(-5))/3 + 28/10. Solve -o*i - 5*p - 12 = 5, 4*p + 4 = 0 for i.
-4
Suppose 4*v = 5*h + 30, 4*v - 5*v + 4*h = -13. Let x be ((-2)/(-4))/(3/66). Solve -q - 2*q = -v*z - x, 3*q = 3*z + 9 for z.
-1
Let l be (-2)/3 - (-25)/15. Solve -15 = -5*b, b + l = z - 0*b for z.
4
Let c be 36/24 + (-6)/4. Solve -4*b + x = -19, 0 = -2*b - x - c*x + 5 for b.
4
Let p(u) = -u**3 - 4*u**2 + u + 3. Let y be p(-4). Let t = 4 + y. Let w = 5 - t. Solve 3*q + 7 = z, -2*q = w*q + 16 for z.
-5
Let x(g) = -g**2 + 8*g + 20. Suppose -y - 10 = -2*y. Let j be x(y). Solve 12 = -b + 2*q - 1, j = -2*q + 8 for b.
-5
Suppose -i - 5*i - 4*i = 0. Solve -3*s + 3 = 5*b - i, 2*s - 2*b = 2 for s