4*t + 4*n for t.
0
Let i be ((-6)/(-15))/1 + 686/35. Solve 4*n + i = 0, -2*f = f - 3*n - 9 for f.
-2
Suppose 2*t - 6*t + 28 = 0. Let l(d) = -d**3 - 15*d**2 - 14*d - 4. Let u be l(-14). Let b = u + t. Solve 3*r - 4*r = -3*o + 16, o + 8 = -b*r for o.
4
Suppose 2*c - 29 = 3*t, -4*t + 0*t - 50 = 3*c. Let l be (-3)/6*-2*(-14)/(-1). Let y = t + l. Solve -2*u + 2*q - 6 = 0, -q + 4*q - 9 = -y*u for u.
0
Suppose -2*f - c = 2*f - 78, 30 = 2*f + 5*c. Suppose 0 = -2*w - 3*w + f. Solve -3*j - h = 2*h, 0 = -2*j + 2*h - w for j.
-1
Let l be 203/42 + (-2)/(-48)*4. Suppose -2*d = -t + 8 + 7, -2*t = d - 50. Let c be 6*((-70)/15)/(-7). Solve -c*v - v = i + t, -2*v = -i + l for i.
-3
Let u be (3/(-9))/(3/9). Let f be (-2)/(0/4 + u). Let r be f*1*18/12. Solve -5*a - r*w = -3*a - 9, -9 = 3*a - 3*w for a.
0
Let y be (2/(-8) - 30/(-120)) + 2. Solve -a = -t + y, -3*a - 24 = -0*t + 3*t for t.
-3
Let b = -14 + 44. Let o(h) = -h**3 - 16*h**2 - 3*h - 48. Let j be o(-16). Let q be (j + -1 - 27/9)*-1. Solve -10 = 4*k - 5*g, g = -q*k - 4*g - b for k.
-5
Suppose 5*y - 40 = -9*z + 4*z, -y - 2*z + 13 = 0. Suppose -6 = -y*b - 0. Suppose -g = -6 + 2, s - b*g = -5. Solve 4*c - 4*p - 5 = 3, -s*p - 12 = 0 for c.
-2
Let y be 2 + 4 + -2 + 3. Let n = -88 + 98. Solve 5*k + n = 5*q, -3*q - k = q + y for q.
-1
Suppose 4*f - 8 = 0, b - 6 = -b + f. Suppose -s + 6*s = b*c - 35, 0 = -c - 2*s - 1. Solve -c*p = -5*a - 20, -3*a - 4*p + 4 = -a for a.
-2
Suppose 0 = 2*j + 11*j - 65. Solve o + 3*h = j*h - 4, 0 = -5*h + 5 for o.
-2
Let o be 1 - 11 - (3 + -3). Let z be 1 - -2 - (-2 - o). Let n = 7 + z. Solve 4*l - n*g - 26 = -0*g, 2*l + 5*g + 17 = 0 for l.
4
Let k be (-14)/56*4*-4 + -1. Solve 4*b - g + 3 = 10, 5*b + k*g = 13 for b.
2
Let l = 177 - 175. Solve -l*d - 16 = -4*p, d + 4 - 17 = -5*p for p.
3
Let n be 66/16 + 16/(-128). Suppose -n*d + 29 + 51 = 0. Suppose 9*g = 4*g + d. Solve -g*i + 4 = 3*p, p + 4 = 2*p for i.
-2
Let k be 22*((7 - 10) + (-7)/(-2)). Suppose -u = -5*u + 3*i, -15 = -u - 3*i. Solve 5*o - u*n - 25 = 0, 4*n - n + k = -2*o for o.
2
Let q(v) = v**2 - 8*v + 12. Let k be q(4). Let g be (2/4)/(-2 + (-10)/k). Solve 0 = -p + 3*h - 7, 4*p - 4*h = -g - 11 for p.
-1
Let c be 22/55 - (-14)/(-10). Let v be ((-6)/15)/(c/10). Solve -x = r + v*x + 9, x + 21 = -5*r for r.
-4
Suppose 2*x = 9*x - 91. Solve -5*p - x = v, 3*v - 16 = 2*p + 7*v for p.
-2
Let m(o) = 2*o - 5. Let w be m(4). Suppose -3*l - 16 = -7*l. Suppose 0 = 2*d - l*b, 30 = w*d + 2*b + 2*b. Solve 2*f = 4*v + 28, -5*v - d = -4*f + 35 for v.
-5
Let j = -128 - -131. Let b be (-30)/(-9) + (-1)/3. Suppose -b*s + 4*r + r = 5, 21 = s + 4*r. Solve 2*k - 2 = 3*u, -2*k - j*k + s = -4*u for u.
0
Let z = -1 - -3. Let u be ((-327)/(-12))/(1/4). Let x = -98 + u. Solve -d = s - 3, -s + 3*d - x = -z*s for s.
-1
Let y(q) = 7*q + 9. Let t(u) = -u - 1. Let b(j) = -24*t(j) - 3*y(j). Let h be b(3). Solve 5*v - 2*r - 6 = 0, -3*r - h = v - 14 for v.
2
Let r(c) = 8*c - 6. Suppose 3*f - 12 = -0. Let l be r(f). Let z be (l/10 + -3)*-15. Solve 5*q = 5*w - 45, -2*w = -z*w + q + 21 for w.
4
Let g be 132/63 - (-26)/(-273). Solve 3 = -5*z + k, -g*z + 0*k + 2 = -2*k for z.
-1
Let z = 33 - 11. Let b be 3*2/3 + 0. Let t be (-7)/(1*(-2)/b). Solve -5*h - z = -l, -2*h - t + 1 = l for h.
-4
Let f(s) = 4*s**2 + 100*s + 2. Let n be f(-25). Solve 1 = -4*q + p, -n*q - 2 = q - 2*p for q.
0
Let k be 3*(-4)/(5/((-5)/3)). Suppose 0 = 4*s + k*z - 4, s + 1 + 0 = -2*z. Solve 4*o - s*b = 3*o - 4, 2 = 2*b for o.
-1
Suppose 8 = 4*d + 4*p, 0 = -d - p + 5*p - 3. Suppose l = 3*l - 3*l. Suppose -2*u - 18 + 22 = l. Solve 2*b = u*a - 3 - d, -5*a + 24 = 2*b for a.
4
Suppose 4*i = -8, -2*i = -v + 2*i - 187. Let k be ((-8)/10)/(6/v). Solve -4*m + 3*s - 20 = 0, 4 = m - 5*s + k for m.
-2
Let b(w) = 3*w**2 - 6*w. Let a be b(5). Let l = 52 - a. Solve -j = -5*t + 1 - l, 4*t = -5*j - 28 for j.
-4
Suppose 0 = -2*h - h. Suppose -22*n + 20*n = h. Solve 2*q + 4*x - 14 = n, 3*q - 11 = -4*x + 8 for q.
5
Let a = -567 - -567. Solve -k + 3 = 3*o, a = -2*k - 0*k - 5*o + 4 for k.
-3
Let w(y) be the second derivative of 10*y**2 + 1/12*y**4 - 2*y**3 + 0 + 2*y. Let s be w(10). Solve 4 = 3*k + 5*j, 3*k + 2*j + j = s for k.
-2
Suppose 25 = 5*m - 0. Let w be 115/(-92) - ((-1155)/12)/5. Solve w = m*i - 3*h + 3, 0 = -4*h - 20 for i.
0
Let r = -334 - -335. Solve 3*z = w - 11, 3*z + 0*z + w = -r for z.
-2
Suppose 2 = -4*c - 5*n, 0*c + 3*c + n = -7. Let o be (1/c)/((-3)/243). Let k = o - 23. Solve -4*s + 4*f = -24, 17 = 5*s - k*f - 12 for s.
5
Suppose 2*q - 4 = r, 0*r + 5*q + 18 = -r. Let z(l) = l**2 + 6*l - 16. Let t be z(r). Solve 2*y + 10 = -3*h, -4*h + 5*h - 3*y - 4 = t for h.
-2
Suppose -31 = 4*c + 5*u, -2*u - 3 = -3*c + 3*u. Let y be c/14 + 64/28. Solve -10 = -y*z, 0*z - z - 5 = 2*n for n.
-5
Suppose 2*c + 16 = 3*a - 0*c, -3*a - 2*c = -20. Suppose 2*l - 3 = -d, a*l = l - 2*d + 6. Solve -4*n - 28 = -4*t, -3*n + l*t = -2*t + 17 for n.
-3
Let o = 11 - 6. Let c(y) = -y**3 - 7*y**2 - 6*y. Let w be c(-6). Suppose -4*v + 5*b - 13 = 0, -23 - 2 = -5*b. Solve -3*x = -r - 1 - v, r - o = w for x.
3
Suppose 4*c = 3*z - 44, 3*c = -z + 4*z - 45. Let s = z - 8. Let p be (-6)/(-4)*(-4)/(-6). Solve 3*i + s = 4*g, 6*g = g + i - p for g.
-1
Suppose 0 = -u - 3*u - 8. Let s(k) be the first derivative of -k**2 - 2*k + 3. Let w be s(u). Solve 0 - 18 = 4*b + 2*n, 5*b + 20 = -w*n for b.
-2
Suppose -69*q = -70*q + 19. Suppose -11 = -3*z + d, 3*z = -2*z + 2*d + q. Solve -5*x - 3*s = 11, -4*x - 13 = -2*s + z*s for x.
-4
Suppose 37 = -9*g + 136. Suppose -4*h - 3 = -g. Solve f = -h*m + 8, m - 2 = f + 5 for f.
-2
Let m be (1 - 2)/(3/27). Let h(n) = -2*n - 18. Let c be h(m). Solve 3*o = c, -3*x = -3*o - 6 + 3 for x.
1
Let u(r) = 13*r + 1. Let c be u(1). Let s = -14 - -2. Let d = s + c. Solve 0 = -5*y + h + 16, y - 2*y + 1 = d*h for y.
3
Let y be -1 - 2*8/(-16). Solve y = 4*m - 2*m + 2, -4*b + 9 = 3*m for b.
3
Let q = -33 + 19. Let b = -10 - q. Suppose -4*t + b = 2*h, -19 - 1 = 5*h. Solve -4*n + 2*a = 8, 2*n = t*n - 3*a - 3 for n.
-3
Suppose 15 + 5 = 5*x. Suppose 0 = -x*l - s - 14, 0 = -2*s - s + 6. Let v be 2 - (-1 + (l - -4)). Solve -8*d + 32 = v*w - 4*d, 0 = -w + 4*d - 16 for w.
4
Let s(f) = 5*f - 10. Let t be s(2). Solve 20 = -2*d - 4*y, t*y = -y - 4 for d.
-2
Let j(n) = n + 17. Suppose 0 = -8*l + 69 - 13. Let s be j(l). Solve 24 = 5*v - u, -s = -4*v + 4*u + 8 for v.
4
Suppose -r - j + 2 = -6*r, 2*j = 4*r + 4. Solve 3*d + 4*z + 4 + 3 = r, 0 = 5*d - z - 19 for d.
3
Let v be (6/6)/(2/90). Let w = -29 + v. Suppose 2*q = -4*d + w, 0*d + 9 = 3*q + d. Solve -q*c + 4*t = -4, 2*c + 3*t = 8*t + 3 for c.
4
Let i(o) = 63*o**2 + o - 1. Let h be i(1). Let a = 66 - h. Solve 4*z - 5 = -v + 5*z, 5*z = -a*v - 9 for v.
2
Let j(q) = 3*q**2 + 10*q + 7. Let a(t) = 5*t**2 + 20*t + 15. Let o(l) = -4*a(l) + 7*j(l). Let v be o(11). Solve 3*x + 3*r + 9 = v, 0*x - 4*r + 2 = -3*x for x.
-2
Suppose -2*i + 4*k + 26 = 0, -3*k = -k + 10. Suppose 12*m - 18 = i*m. Solve -2*t + 5*a + 23 = -12, 0 = m*a + 10 for t.
5
Suppose 0 = 4*i + 3*i - 35. Suppose -12*k = -i*k - 28. Solve 0 = f + c + 7, 3*c + 8 + 18 = -k*f for f.
-5
Suppose -3*r = 4*k + 145, -k + 5*r = 3*k + 121. Let i = k + 34. Solve u + 2 = i, -2*m - 2 = 3*u + u for m.
3
Let i = -3 - -5. Suppose 3*s + l = 5*l + 31, -2*s - 2*l + i = 0. Solve 0*m + 4*m - s*k = -3, -k - 3 = m for m.
-2
Let z be 33*(12 - 15 - (-20)/6). Suppose z*c - 36 = 8*c. Solve -v = 5*h - 3 + c, 5*h - 5*v = -15 for h.
-2
Let k be ((-9)/(-5))/(-3)*-5. Let l(z) = 2*z**2 - z + 11. Let t be l(0). Let d = 15 - t. Solve -k*g = -d*h - 6*g + 8, 4 = -g for h.
5
Let y = 88 - -25. Let s = y + -93. Solve -5*b + 2*c + s = -c, -4*b - c + 16 = 0 for b.
4
Let o(n) be the first derivative of n**2/2 - 12*n - 3. Let l be o(14). Solve -4*a + u - 6 = -a, l = -a - 4*u for a.
-2
Let r = -561 + 563. Solve -6*b + 28 = -2*b + r*w, 0 = -b + 3*w - 7 for b.
5
Let f(v) = -v**2 + 6*v + 6. Let z be f(5). Let w = -89 - -139. Suppose -5*q + 90 + w = 0. Solve 2*l + 2*l + q = -4*d, z = -d - 2*l for d.
-3
Suppose 3*s = -2*o - 2 + 3, 3*o - 3 = -3*s. Let r be ((-1)/s - 3 - -2)/(-2). Solve 3*v + 2*v + f + 17 = r, -2*v + 4 = 4*f for v.
-4
Let i(r) = 2*r + 2. Suppose 0*k + 5*k = 0. Let j be i(k). Solve j*y + 2*p + 3 = y, 3*y - 3*p - 9 = 0 for y.
1
Let k be 4/1 - (-3)/(-3). Let v be -8*(-10)/(-