- 5*o + 9 for t.
1
Suppose -85*l + 1196 = -1184. Solve 2*x + 3*m = 8*m + 27, -l = -3*x + 5*m for x.
1
Let c be (-4)/(-32)*4 - (-15)/2. Let n(d) = d**2 - 6*d - 4. Let h be n(c). Solve -3*r - r + h = -4*t, 2*r + 19 = -3*t for r.
-2
Let w = 8 + -4. Suppose -2288 = -2*l + 5*a, 2288 = l + l - 4*a. Let v = -1139 + l. Solve -v*i - c - 20 - 5 = 0, -5 = i - w*c for i.
-5
Suppose -133*u - 26 = -146*u. Suppose -u*v - 3 = -h, -3*h - 14 = -6*h + v. Solve g = h*l - 10, 4*l + 16 = -3*g - g for l.
1
Let n(w) be the first derivative of 2*w**3/3 - 2*w**2 - 46*w - 65. Let q be n(6). Solve 0 = -q*g + 2*u - 0 + 2, -3*u = -6 for g.
3
Suppose 30*m - 5*u = 34*m - 15, 0 = -m - 3*u + 2. Solve 4*f - 9*t + 7 = -8*t, 3*f - t = -m for f.
-2
Suppose 18*n - 147 = 13*n - 16*n. Solve -2 = -4*q - 2*y, -q - 2*y + 0*y - n = 0 for q.
3
Let s = -105 + 104. Let q be 5 - 1 - s - 18/9. Solve -k + 10 = -q*d, d - 14 = -3*k - k for k.
4
Let o = 86 + -86. Suppose o = -c + 2, 3*w + 9 = -c + 4*c. Let y be (16 + w)*6/18. Solve 0*x = 3*x + 3*j + 3, -5*j = -y*x - 25 for x.
-3
Let i be (-22)/(-6) + 4/(-6). Suppose -8*v - 824 = -6*v - 3*m, 2*m = 2*v + 822. Let a = v - -413. Solve 0 = o + c, -3*o - 8 - a = -i*c for o.
-2
Suppose -732 = -5*q - 56*q. Solve 2*h + q = 4*b, 4*h - 4 = -4*b + 2*h for b.
2
Suppose -4*l = -3*t - 27, -4*l - 1353 + 1345 = 4*t. Solve -5*o - 7*s = -11*s - 12, -l*o + 18 = 3*s for o.
4
Suppose 3*w - 24 = -2*z - 12, 4*w = 2*z + 30. Solve -s + 8 = 2*h + 14, -5*s - 2*h = w for s.
0
Let j = 65 + -60. Suppose 0 = j*u - 11*u + 240. Let d be (-10)/u + 17/4. Solve 0 = -k - 4*r + 5, d*k - 6 = r - 3 for k.
1
Let y(s) = -41*s + 699. Let q be y(17). Solve 3*p + 8 = -5*w, -5*p - 2*w = -q - 10 for p.
4
Let x(k) = 9*k + 124. Let p(c) = -c**2 + 5*c - 6. Let a be p(6). Let m be x(a). Solve 3*l = -4*y + m, 5*y = 5*l - 0*y + 20 for l.
0
Suppose 0*t = 2*t + 114. Let c = t + 57. Suppose r + 15 = -4*r, y - 4*r - 16 = c. Solve -f + w - 5 = -w, -f - w = -y for f.
1
Suppose 4*v + 130 = 206. Solve -4*x - c = 4, -c = -24*x + v*x - 14 for x.
-2
Let m = 4 + 19. Let k be (4/20)/((-6)/30) - (-6)/1. Suppose k*t = -8 + m. Solve -3*v - 3*h + 12 = 0, v = -3*v + t*h - 19 for v.
-1
Suppose d - 2*d = 5*d. Suppose p + 3 - 5 = d. Solve -w = -4*k + 15, 0 = -7*w + p*w - 4*k + 45 for w.
5
Let u be (0/(3/(-3)))/(19 + -17). Suppose -6*y = -u*y. Suppose -f - 2 + 5 = 0. Solve -3*p + 2*i + 3 = 4, 5*p - 2*i + f = y for p.
-1
Let b(m) = m**3 - 4*m**2 - 3*m - 2. Suppose 5*f - 5 = 4*f. Let k be b(f). Let j(h) = 496*h - 1982. Let u be j(4). Solve u*i = 2*l + k, -2 + 0 = 5*l + i for l.
-1
Let m = 335 + -335. Suppose 3*t = 5*n - 22, m = -3*t - n + 6 + 2. Solve 0 = 5*b + 3*y - 4, -b - y = t - 3 for b.
-1
Let s(i) = -6*i + 3*i**2 + 17 - 2 - 10 - 3*i + 52 - i**3. Let l be s(4). Solve 0*j - 28 = l*j + 4*g, -2 = g for j.
-4
Suppose n - 4*u - 30 = 0, 3*u + 10 = -5. Suppose -56 = -38*w + n*w. Solve -4*d - 2*i = -14, w*d + 3*i - 5 = -0*d for d.
4
Let m(b) = -16*b + 500. Let v be m(31). Let a be (-3)/2*-2 - -14. Suppose -a = 3*c + 4*g - 3, c = 3*g + 17. Solve v*w + 19 = p, 7*p = -3*w + c*p - 20 for w.
-5
Suppose -4*n = t + 1, 2*t + 0 = 5*n - 2. Suppose 3*v + 4*y = 26, n = -21*v + 22*v + 2*y - 12. Solve 2*i = -v*d + 6*d - 20, -8 = -2*i - 3*d for i.
-2
Let l be (-12*(-10)/90)/(2/(-36)). Let c be (6 + (-8 - -4))/((-2)/l). Solve -s - 8 = 2*b - 3*s, -5*b = -s + c for b.
-5
Suppose 10*x - 25*x + 10 = -13*x. Solve x*f + 16 = -3*t, 9*f - 10 = t + 13*f for t.
-2
Suppose 5*y + 3*i = 12, -2*y - 3*i = y - 6. Suppose f = y*t - 17, 1 = -t - 4*f - 15. Suppose t + 12 = 8*l. Solve 0 = -l*w + 5*u - 1, -2 + 3 = -u for w.
-3
Let a(x) = 277*x + 2773. Let k be a(-10). Solve w = -2*m, -3*m = -k*w - 4*m - 5 for w.
-2
Suppose -56 - 4 = -3*g - 4*f, -3*g = -f - 60. Solve -5*k + g = -0*k - v, 0 = 3*v for k.
4
Suppose 22 - 46 = -2*p. Suppose -6*s + a + p = -3*s, -s = 4*a - 17. Let f be 2/3 - 7/(-3). Solve 2*q + 4*t + 10 = 0, -f*q + t = -s - 15 for q.
5
Let z be 7 + (1036/(-140) - (-2)/5). Let q be 20/(-6)*12/(-10). Solve 5*k = 5*p - z*p + 10, 0 = -3*p + q*k - 9 for p.
1
Let m be (2/3)/(16/(-24)). Let a be (-78)/3 + (m - 0). Let f be (a/18 - (-1 + 0))*0. Solve g + 3*l - 3 = -2*l, f = -4*g + 2*l - 10 for g.
-2
Let h = -8 - -11. Let o = 71 + -66. Suppose g + o*z - 7 = 0, 5*g + 2 - 15 = -3*z. Solve -3 = -s + h*k - g*k, -s + 4*k + 18 = 0 for s.
-2
Let f = -11172 + 11224. Solve -f*m - 14 = -55*m - 4*p, 4*m - 3*p = 2 for m.
2
Let r be 67/134 + 115/2. Suppose -19*t = -18 - r. Solve -2*i = -j - i + 2, -t*j - 19 = 5*i for j.
-1
Let p = -36457 + 36462. Solve -3*l - p*v - 5 = 0, -2*l - 24*v = -19*v + 5 for l.
0
Suppose 2*h + 0*h - 242 = 5*i, -4 = h. Let t be 36/234 + i/(-13). Solve -4*v - 5*d = 16, -4*v + 0 = 2*d + t for v.
1
Let s(k) = 4*k**3 + 336*k**2 - k - 74. Let n be s(-84). Solve -18 = -b + 3*g - 13, 4*b - 2*g - n = 0 for b.
2
Let h(x) = -7*x - 17 - 20*x + 23. Let b be h(1). Let p be 38/6 - 1 - (-7)/b. Solve 3*g = -0*g - 2*n - 5, -17 = 3*g + p*n for g.
1
Suppose w = 1 - 2. Let g be (-3 - (w - 1)) + 3. Let m be 12/2 - (-11 + 11) - g. Solve -p + m = 0, 0 = -j - 3*p + 4*p for j.
4
Let v be 207/24 + (-15)/(-40). Suppose v*p - p = -6*p. Solve -b - 5*m + 4*m + 3 = p, -4*b + 4*m = 12 for b.
0
Let z(r) = -r**3 + 11*r**2 + 4*r + 52. Let v be z(12). Let w be v/330 - 77/(-15). Solve -2*t = -5*s + 21, -w*s + 2*t + t + 19 = 0 for s.
5
Suppose 5*r - 23 = -z + 8, -4*r + 32 = 2*z. Suppose z*q = 11*q - 20. Solve -q*v = -v - 3*m + 6, 2*v + m = 5 for v.
1
Let s(d) = 6*d + 6. Let z be s(-6). Let i be (-4)/(-3)*z/(-20). Solve 0 = 3*c - i*w - 22, -c = 3*c + w - 11 for c.
4
Let s be (-2)/(-7) + 13600/175. Let c = s - 76. Suppose 5*j = 3*o + 2*o - 35, -2*o + 4*j + 18 = 0. Solve o*x = -25, x = c*p - x - 20 for p.
5
Let c(w) = w**2 - 44 + 75 + 14 - 17*w. Let s be c(14). Solve -11 = 2*n - 3*f, s*n + 3*f = f - 10 for n.
-4
Let p be 136 - 5/10*-6. Let s = -139 + p. Solve s = -j + 5*c + 15, 2*j + 21 = -c + 7 for j.
-5
Let q be (4/24)/((-8)/16)*-141. Suppose 11*k + 3 = q. Solve 12 = 3*y, 0*y - 4 = -4*n + k*y for n.
5
Suppose 0*f = -f + 4*p + 8, -12 = 4*p. Let r be f/(-14) - 168/(-98). Solve -6 = -5*w + r*w, s = -w + 7 for s.
5
Let h(u) = u - 31. Let j(p) = p - 2. Let l(w) = h(w) - 3*j(w). Suppose -57 = 5*q + 18. Let a be l(q). Solve 4*t = -a*g + 10, -3*g + 6 = -t - t for t.
0
Let i = 142 - 139. Let l be (-3)/1 + i - -5. Solve -3*k + l*k = x + 6, -5*x - 2 = 4*k for x.
-2
Suppose -2*a - 35*g + 38*g - 14 = 0, -2*a + 2*g - 6 = 0. Solve a*w = 4*z + 20, -15*w - 8 = -17*w - 3*z for w.
4
Let r = -27 - -50. Let q = -8 + r. Suppose -3*p - 2*p = -q. Solve -5*i - p*w = 0, 24 = -4*i + 5*w - 13 for i.
-3
Suppose 0 = 21*s + 822 - 885. Solve s*c - 17 = y, -3*y - 16 = -5*y - 4*c for y.
-2
Suppose -3*y + 110 = -y. Suppose 0 = 4*w - 2*h - 249 + 25, -178 = -3*w - h. Let m = w - y. Solve -5*j = -v - 15, -2*v - m*j + j = 6 for v.
-5
Let m(f) be the first derivative of -9*f**2/2 - 160*f + 10. Let h be m(-18). Solve 7*y + 2*t = 4*y + 8, h*y + 4*t = 8 for y.
2
Suppose -42 = -10*u - 12. Suppose 29 = -v - 5*n + 7, 10 = v - u*n. Let y = 0 - v. Solve 0 = -2*b + l - 5, 4*b - l = y*l - 13 for b.
-1
Let f be (14/(-21) + (-8)/6)/(-2). Suppose 5*p = 1 - f. Let l be (12/(-8) - -2)*p. Solve 4*h + r - 8 = 0, h + l*r + 9 = -3*r for h.
3
Let r = 213445 + -213440. Let a be 4/5*5/2. Suppose -p - q + 6 = a*p, 0 = -2*p + 3*q + 15. Solve 0*c = -p*c + 4*n - 9, -3*c + r*n - 9 = 0 for c.
-3
Let t = -9587 - -9591. Solve 0 = -46*o + 43*o + 3, 0 = -t*c - 4*o + 8 for c.
1
Suppose 14*x = -3*b + 9*x - 10, 0 = -b - 5*x - 20. Solve -b*q = -3*m - 3 + 2, -q - 11 = 5*m for m.
-2
Suppose -168*s = 21*s - 756. Solve 2*g + s = j, -5*g = 23*j - 20*j - 12 for g.
0
Let b be 2640/(-220)*(-1)/6. Solve -3*w - 2 = -0*w + y, -b*w + 2*y = 4 for w.
-1
Let b(y) = y - 7. Let h(f) = 2*f - 22. Let o = 85 - 83. Let c(d) = o*h(d) - 7*b(d). Let p be c(0). Solve 10 = 5*g - p*l - 0, g + 5*l = -28 for g.
-3
Let h = -9209 + 9214. Solve 2*r - 20 = -2*f - 2*f, h*f = r + 11 for r.
4
Suppose -5*x - 44 = -m - 4, 0 = 3*m + 2*x - 1. Solve 0 = 114*d - 113*d - a + 6, 2*a = m*d + 24 for d.
-4
Let l = 1 - 0. Suppose -2*o - p = -5 + l, 2*o - 8 = p. Suppose 0 = -3*q - n + 1, -o*q - 5*n = -0*q + 19. Solve 0 = -4*t + 5*f + 4, -q*t - 3 = 4*f + 21 for t.
-4
Let u(c) = c - 44. Let h be u(46). Solve