= t*l - 2*k for l.
1
Let j(b) = 55*b - 250. Let d be j(5). Solve 0 = z - o - 4, 5*o + d = -5*z + o for z.
-1
Let n = -4 - -36. Suppose 9*h - h = n. Solve q - 5 = 0, -h*c = -7*c - 2*q + 4 for c.
-2
Let o(t) = -6*t**2 + 133*t - 15. Let l be o(22). Solve 2*u + 2*w = 10, 2*u + l = w + 11 for u.
3
Let n = -978 - -1418. Let l(k) = n - k - 429 + 0*k. Let f be l(11). Solve -5*d - 21 = -2*t, f*d = -3*t + d + 12 for t.
3
Let k(h) be the third derivative of 0*h + 0 - 1/120*h**6 + 13*h**2 + 1/60*h**5 + 5/6*h**3 + 0*h**4. Let b be k(0). Solve b = -5*g, 0*a - 4*g - 10 = 3*a for a.
-2
Let m be ((-1)/2)/(3 + (-52)/16). Let p be m/(-17)*1 - 4/(-34). Solve 2*v + 2*y - 2 = p, -2*y + 20 = 3*y for v.
-3
Suppose 0 = -17*v + 15*v + 4. Suppose -a - d + 9 = 8, v*a + 3*d = -2. Solve -3*k - a = q, -2*q + 2*k + 1 - 3 = 0 for q.
-2
Suppose -217 + 292 = 311*j - 547. Suppose 3*r = -2*r + 4*k + 35, -24 = -3*r + 3*k. Solve 5*q = 4*g + r - j, g + 3*q + 13 = 0 for g.
-4
Let t(q) = q**2 - 27*q - 549. Let w be t(-14). Solve -38*l - 5*x + 10 = -40*l, -5*l + 4*x - w = 0 for l.
-5
Suppose 23 = 5*n + 13. Suppose t = z + 3*t + 7, -1 = 3*z + n*t. Solve 3 - 7 = z*o + 2*h, -3*o - h - 8 = 0 for o.
-4
Suppose -y - 2*y = 3*y. Let p(c) = -21*c + 884. Let v be p(42). Solve 2*q - 10 = y, v*u = -q - 0 + 9 for u.
2
Let s = -5418 - -5421. Let c = -6 - -6. Solve -b = -r, -b = s*r - c*r for b.
0
Let o = -282 - -393. Suppose -23*k = 19 - o. Solve 0*d - k*h = -5*d - 25, 2*h = 10 for d.
-1
Suppose 8 = 33*d - 31*d. Suppose -t + 16 + 9 = -5*g, d*g + 20 = 0. Solve -3*l - 12 = 0, t = -0*j + j + 4*l + 16 for j.
0
Let s(a) = 325*a**2 - 2921*a - 15. Let k be s(9). Solve -5*r + 4*b + 29 = 0, -19 = -4*r + 20*b - k*b for r.
5
Let b(a) = -13*a - 39. Suppose 4*s + 5*z = 8, 0 + 10 = -2*s + z. Let o be b(s). Solve 35 = 4*t - o*t - 5*w, 4*t - 32 = 4*w for t.
5
Let f be (1/((-1)/(-12)))/(30/20). Suppose 16 = -5*u + 7*u + 4*t, -2*u - f = -4*t. Solve -s = 6*l - 2*l - u, -4*s = 8 for l.
1
Let f(n) = -n**3 - 39*n**2 + 16*n - 950. Let l be f(-40). Solve 2*x = 5*q - x + 14, -x - l = 2*q for q.
-4
Let n(z) = -16*z - 2. Let c = 60 - 54. Suppose 0 = -2*j - 4*j - c. Let r be n(j). Solve r + 0 = 2*i - 4*w, -4*i - 37 = 5*w for i.
-3
Suppose 13*i - 6*i = 0. Suppose -2*y = 4, 4*y + 13 = l - i*l. Suppose -l*v + 50 = -5*x, -2*v - 4*x = x - 13. Solve 4*z + v = -0*z - j, 0 = z + 5*j + 7 for z.
-2
Let l(c) = -c**2 + 14*c - 32. Suppose -5*z + 6*t = 2*t - 30, 2*t = -5*z + 30. Let a be l(z). Solve -5*f + a = 2*b, 8 + 0 = 2*f for b.
-2
Suppose 10*d - 256 = -56. Suppose -16*z - d = -20*z. Suppose 0 = z*n - 6*n + 9. Solve -q + 5 = -5*t + 4*q, -5*t - 2*q = -n for t.
1
Suppose 40*y - 5*y = 980. Suppose -2 = 4*n + 14, n + y = 3*r. Solve -3*w - 2*w - 2 = d, 4*w - r = -4*d for d.
3
Suppose 0 = 5*t - 5, 5*t = -2*b - 115 - 260. Let l = -190 - b. Solve 4*z - 3*a - 26 = l, 2*a + 2 + 2 = 0 for z.
5
Let m = 90 + -100. Let l be (8/(-10))/((-2)/m). Let t be (-2)/(-10) - ((-133)/35 - l). Solve 13 = -3*n + c + c, t = 3*n - 5*c + 10 for n.
-5
Suppose 2*m + 27 = 77. Let v = -36 - -43. Let w(q) = q**2 - 10*q + 24. Let k be w(v). Solve -x - c + 2 = -k, -5*x + 3*c + m = 0 for x.
5
Let d(l) = l**2 - 3*l + 28. Let t be d(0). Suppose 0 = 4*i + 3*u - t, 3*i - 2*u = u. Solve -4*j + 12 = -i*s, j + 2*s = -0*j for j.
2
Let i = 151 + -148. Suppose -5*h - 2*u + 28 = -6*u, u = i*h - 14. Solve 4*o + r + 13 = -4*r, -h*o + 27 = -3*r for o.
3
Suppose 0 = 4*c - h - 355, -2*h - 297 = -5*c + 143. Let l = -70 + c. Solve -k - 4 = -f, -5*k - f - l = -2*f for k.
-4
Let a(p) = p**2 + 82*p - 524. Let r be a(6). Solve -3*o - 7 = -2*v, r*v - 8*v = 16 for o.
-5
Let r(g) = 3*g**2 - 8*g - 10. Let s be r(-4). Let h be 84/s*(-40)/(-6). Suppose -3*c = h - 17. Solve -5*n - 4*z + 10 = -15, 2*n + c*z = 17 for n.
1
Let j(n) = -n**3 + 9*n**2 - 15*n + 135. Let o be j(9). Solve 22*u + 22 = 4*p + 27*u, -4*p - 3*u + 18 = o for p.
3
Suppose -58*j + 50 + 339 = 99. Solve 16*g - 12*g - 8 = 4*t, j*t = 4*g - 13 for g.
-3
Let w(c) = 57*c + 56. Let o be w(4). Let j = 284 - o. Solve -a + 8 = 4*x + a, 2*x + 2*a = j for x.
4
Let j = -14659 - -14661. Solve 4*c + 18 = -2*l, 0*c - c = j*l + 6 for l.
-1
Suppose 4*q + 56 = 4*a, 3*q - 2*q = -2*a + 31. Suppose -5*m = -2*x - a, 8 = 3*m + 3*x - 1. Solve 0*h + 17 = -m*y - h, -2*y - 2*h = 14 for y.
-5
Let m be ((-3)/(-15) + (-9)/(-15))/(14/140). Solve c + 2*t - 14 = 0, -c = -m*t + 6*t + 14 for c.
0
Suppose 5*g + 3*h - 9 = 0, 9*g + 2*h = 8*g - 1. Solve -4*w - 32 = 5*j, -12*j + 9*j = g*w + 21 for w.
-3
Let p = -14441 - -14445. Solve 3*a + 2*a - 4*y = 3, 4 = p*a - 4*y for a.
-1
Suppose 16*i - 1173 = -1109. Suppose 2*j + 4 = 2. Let v = j + i. Solve q + u = 0, -4*u + 22 = -v*q - 13 for q.
-5
Let t(a) = -56*a + 178. Let v be t(3). Solve 2*z = -5*u - 19, v = -3*u - z - 2 for u.
-5
Let f = 6 + -5. Suppose 0 = 3*u - 2*m - 7, 3*u - 2*u - 4*m + f = 0. Solve 4*l = -16, 5*l + 20 = -0*p - u*p for p.
0
Suppose -2*c - 5*v + 19 = 0, 3*v + 59 = 5*c + 4*v. Solve 2*h = 4*s - 2 + 18, -3*s = -4*h + c for h.
0
Suppose 0 = -60*w - 2027 + 2207. Solve -2*k + 5*t = -1, -24*k + 29*k + w*t = 18 for k.
3
Let q = -10938 + 10943. Solve -3*r + q*w - 21 = 0, 4*r + 4*w = 7*w - 17 for r.
-2
Let h be (11/(-2 + 1))/(-1). Suppose 5 = -10*r + h*r. Solve -2*c = -4*q - r - 3, 0 = q - 2*c - 4 for q.
-4
Suppose 5*b - 6 = 4. Suppose 4*u = -169711 + 169719. Solve k + 6 = -b*f, f + 4*f = u*k - 6 for k.
-2
Let t = 2613 + -2613. Let i(y) = -1 - y**2 + 3*y + 0*y**2 + 5. Let o be i(t). Solve 4*x - 13 = -o*a + x, 4*x = -a + 13 for a.
1
Let i(v) = -4*v**2 - 5*v**2 + 6*v + 7*v**2 - 6 + 17*v - 1. Let g be i(11). Solve -2*j - 5*n = 20, g = -5*n - 16 for j.
0
Let b = 4840 - 4834. Solve -2*n - 4 = -5*i, 5*n - 4*i + b*i = -10 for n.
-2
Suppose -5*p + 6 = -39. Suppose p*w - m - 199 = 4*w, w = m + 43. Suppose -30 = -6*u - 0*u. Solve 3*h - 4 + w = -5*j, -h - u*j = 25 for h.
-5
Suppose -10 = -2*x + 70. Let q = -24 + x. Suppose -4*b - 4*b = -q. Solve -4*h + 4 - 14 = -b*u, 0 = -h + u for h.
-5
Suppose -13 = -4*h + 15. Suppose 3*f - h = -3*s - 19, 4*f + 11 = -3*s. Solve 4*r - 5*i = -7, 5*i - f + 3 = r for r.
-3
Let r(m) = m - 6. Let s be r(6). Suppose -4*w + 6*w - 10 = s. Let g(n) = -12*n + 180. Let l be g(13). Solve -k + 2*k - 1 = 0, 0 = w*i - 4*k + l for i.
-4
Suppose 68*y = -63*y + 2358. Solve 16*p - y*p = 5*z + 5, -11 = 4*z + 3*p for z.
1
Suppose 104*a = 106*a - h - 11, 4*h = 3*a - 34. Solve -4*v - 10 = a*i - 2, -4*v + 4 = 5*i for v.
-4
Suppose 0 = n + 4, i - 3*i + 4*n - 408 = 0. Let a = -207 - i. Solve 25 = -a*p, 2*l - 3*p + 30 = -7*p for l.
-5
Let p be 2 - -1 - 3 - -3. Suppose 0 = p*z + 2*g + 3*g - 64, 4*g = z + 7. Solve j - o = 3*j + 11, z = -j - 3*o for j.
-4
Suppose 0 = -r + 4*d, 0 = -0*r + r - 2*d. Suppose -265*w + 268*w = -3*a + 30, 3*w = -a + 6. Solve -4*k + 3*z - a = r, -3*z = 4*k + z + 12 for k.
-3
Let h be 7/(-2)*(-4 + 2) + -3. Solve 3*x + 8 = -4*o - x, 0 = -h*x + 4 for o.
-3
Let n(l) = 4*l**2 - 49*l + 17. Let y be n(12). Solve -5*c - 5 = 5*q, 0 = 3*c - q + y*q + 5 for c.
1
Suppose -21*u = -427 + 322. Solve 0 = 5*t + 3*v - u, 2*t = -v - 1 + 2 for t.
-2
Let z be 0 + (-3 - 0 - (70 + -3)). Let f be z/(-6) - (-44)/33. Solve 0 = -3*x + 2*q - 0*q + f, 22 = 2*x - 4*q for x.
1
Let o(r) be the second derivative of -3*r**5/20 - r**4/4 - r**3/2 - 3*r**2/2 - 102*r. Let n be o(-1). Solve n*y - 2*m + 12 = 5*y, -3*y - m + 7 = 0 for y.
2
Let w(b) = -b**3 + 5*b**2. Let a be w(5). Suppose 2*t - 4*v = 26, -17*t = -18*t - 10*v - 35. Solve y + a*y = 4*m + 1, -t*m - y = 8 for m.
-1
Let z(p) = -p**3 + 35*p**2 - 195*p - 24. Let w be z(28). Solve -2*l - w*d = -9 + 11, -17 = 5*l + 4*d for l.
-5
Suppose 0 = t - a, 3*a = 3*t - t + 4. Suppose 0 = 3*z + 5*y - 12 - 5, -2*z + 4*y = -48. Solve 2*v = -2*j + 6*v + 16, z = t*j - 2*v for j.
2
Let v be 1/((6*3/27)/2). Suppose 0 = -v*f + g + 1 + 1, 0 = 2*f - g - 2. Solve -k - 2 = -5*a - 9, f = -k - 2*a for k.
2
Let z be (-48)/(-64) - 308/(-16). Suppose 14*m = 19*m - z. Solve 0 = -4*s + 5*d + 4, m*d = -s + 4 - 3 for s.
1
Let n(b) = 115*b - 3559. Let a be n(31). Solve 5*x = a*x + 2*k - 3, 0 = -4*x - 5*k + 9 for x.
1
Let g(a) = a**3 + 6*a**2 - 14*a - 45. Let b be g(-7). Solve b*r - 1 = 3*w, r = 47*w - 46*w for r.
1
Let l be ((-6)/27 - (-127)/(-36))/(1435/(-6888)). Solve -2*k - 3*i = k - 6, -k + 4*i = l for k.