 -t*x + 3*k = 35 - 7 for x.
-5
Let w(g) = 12*g - 73. Let n be w(16). Let j = -116 + n. Solve 5 = -k, 4*r + 9 = -8*k + j*k for r.
4
Let s = 4423 + -4419. Solve -3*g - 21 = -s*x - 4*g, -2*x + 23 = 3*g for x.
4
Suppose -5*b - 4*j = -4240, 2284 = 3*b - 5*j - 223. Let o = b - 838. Solve -4*i - 5*a + 6 = -2, 3*i = -4*a + o for i.
2
Let j(d) = d**2 + 8*d + 7. Let w be j(-7). Suppose 3*h + 15*h = w. Solve 0 = 3*g - 5*s + 21, 4*g + h*g = 2*s - 14 for g.
-2
Let y(l) = -7*l**2 - 57*l + 5. Let m(h) = -5*h**2 - 56*h + 5. Let n(c) = -6*m(c) + 5*y(c). Let i be n(10). Solve 15 = 5*q - 2*k, -i*k = q - 4*k + 4 for q.
1
Let j(o) = o**2 + 6*o. Let t be j(-6). Suppose t = -0*l + 3*l. Suppose -303 + 43 = -52*s. Solve -5*f = 4*g + 41, -g + l*g + s*f = -21 for g.
-4
Let o(y) = -y**3 + 7*y**2 - 5*y - 6. Let l be o(6). Suppose t - 14*p + 10*p - 18 = l, -t + 21 = -5*p. Solve -t + 3 = -3*j, 21 = -4*v + j for v.
-5
Let u = -6784 - -6789. Solve -2*g + u*y = 1 - 3, 4*g - 4 = y for g.
1
Suppose -12*t - 323 = 937. Let y(i) = 8*i + 4. Let c be y(3). Let n be 1/4 - t/c. Solve -2*h - 4*a = 22, -n*a + 0 + 8 = -4*h for h.
-5
Let r be (60 - 3)*51/153. Solve 4 = -5*u - j - r, 3*u = 2*j - 19 for u.
-5
Let g(c) = -10*c**2 - 58*c - 34. Let j(d) = 2*d**2 + 11*d + 7. Let z(b) = 2*g(b) + 11*j(b). Let v be z(-3). Solve -4*k + 12 = -7*k, -2*r - v = 2*k for r.
-2
Suppose -8 = -2*t + 2*s, 4*s = -t - s + 28. Suppose 0*n - 3*n = t*n. Solve -r - 4*d - 14 = n, 19 - 2 = -r - 5*d for r.
-2
Let k = -703 - -38. Let u = k + 665. Solve -5*b + 20 = -3*h + 1, u = 5*b - 10 for h.
-3
Suppose -153 = -15*a + 477. Let p be (38 - a)/(1*-2). Solve -n + 6 = -p*r, 4*r = -4*n - 0*n - 12 for n.
0
Let l be ((-14)/(-16)*10)/(-11 - 135/(-12)). Solve -3*o - 13 = -6*h + 7*h, -5*o + 5*h - l = 0 for o.
-5
Let u(b) = -25*b**3 + 2*b**2 - 2*b + 1. Let q be u(1). Let z = q - -39. Let k be (-84)/(-16) - (-9)/(-36). Solve k*s - 4*h = -9 - 36, 2*s = h - z for s.
-5
Let j be (-4)/(-20) - 28/(-10). Let y(u) = -4*u**2 + u. Let d be y(j). Let g = d - -36. Solve 0 = -g*c - n - n - 12, -5*c + n - 7 = 0 for c.
-2
Let l = -59 - -77. Suppose -w + 4*p + 13 = 0, p = w + 2*p - l. Suppose 72 = -w*y + 25*y. Solve 2*k - y = -k - f, -4*f = 4*k - 20 for k.
2
Suppose -o - j = -5, -o - 2*o = -2*j - 10. Let a(d) = -2*d**3 + 8*d**2 + 2. Let z be a(o). Solve -z*v = 2*v - 3*g - 9, 0 = -5*g + 5 for v.
3
Suppose 6*v = 13*v - 112. Suppose 20*k - 28*k = -v. Solve k*q - 3*r = 0, q + 0*q = -r for q.
0
Let o(v) = 3*v**2 - 2*v + 1. Let h be (1/(-3))/(2/18). Let q = h + 4. Let i be o(q). Solve a - 30 = 5*x, 3*x - i*a = 2*a - 35 for x.
-5
Suppose -w + 51 = -155. Let t = -196 + w. Solve 3*v + 4*z = t, v + z - 3*z = 0 for v.
2
Let n = -12225 - -12228. Solve 4*u - 7 = -n*z, -6*z = -5*z - u for z.
1
Let d(l) = -14*l - 10*l - 24 + 20*l. Let y be d(-7). Solve -v + 12 = 3*o, y*o + v - 2 = 13 for o.
3
Let i = -216 - -228. Suppose 3*t - i = 3*l, -2*t + 6*t + 5*l = 16. Solve 0 = -t*b + b + 3, 2*a = 5*b + 1 for a.
3
Let a be (-1)/(0 - (2 - 3)). Let i be ((0/2)/3)/a. Let j(t) = 2*t**2 + 24*t - 43. Let p be j(-14). Solve 2*q - p = d, i*d - 2*q = d - 7 for d.
-3
Let y(l) be the third derivative of -l**5/60 + 5*l**4/6 - 73*l**3/6 + 4*l**2 + 4. Let v be y(12). Solve 0 = -5*h + 4*n - v, -n = -3*h + 3 - 14 for h.
-3
Suppose -16 = 5*b - 4*h, 393 = -2*b + 2*h + 385. Solve 4*f + 3*k + 0 - 11 = b, -4*k + 6 = f for f.
2
Let n = -16 - 2. Suppose -3*x + 7*x = 84. Let g = x + n. Solve -g*k - 18 = 2*k - 2*w, -3*w = 5*k - 2 for k.
-2
Let f(j) = j**3 + 8*j**2 - 26*j - 68. Let m be f(-11). Let h = m - -150. Solve -5*w - 16 - 4 = -h*k, 0 = -4*w - 3*k - 2 for w.
-2
Suppose -3*g + 26 = 4*i, 22 = -149*g + 150*g + 4*i. Solve h + 22 = -3*z + 24, 2*h = -g*z + 8 for z.
-1
Let a be (-40 - (-4)/(-4))/(-2 + 3). Let z = 26 - -18. Let k = a + z. Solve -k*o + 25 = o - 3*t, -o = -3*t - 13 for o.
4
Let k = -8928 + 8949. Solve 5*q + 6 = 3*s - 1, -4*s + k = 5*q for q.
1
Suppose 0 = -98*c + 95*c + 12, -5*k + 55 = -5*c. Solve -11*s - 1 = -w - 12*s, 0 = -3*s + k for w.
-4
Let l = 1 - -1. Let y(v) = 0*v**2 + 7*v**2 - 10 - 8*v**l - 15*v. Let f be y(-14). Solve -f*a = -m + 18, 5*m + 12 = -2*a + 4*m for a.
-5
Let g(m) = m**2 + 1. Let i be g(2). Suppose 5*p + i*p = 20. Let w be 12/(-16) - (p - (-27)/(-4)). Solve b = -4*b + 3*j - 17, -w*b + 2*j = 12 for b.
-1
Let z = 117 - 117. Let y be 4 - (1 + z/6 + 3). Solve -i - 3*r - 1 = y, -5*r - 7 - 4 = 4*i for i.
-4
Let w be 4*-2 - ((-2)/6)/(79/2844). Solve -2*y - 10 = -w*v, -4*y = -6*v - 2*y + 12 for v.
1
Let a(z) = -z**3 + 32*z**2 + 33*z + 5. Let w be a(33). Suppose 2*s = -0*p + w*p - 70, -70 = -5*p + 5*s. Solve 5*c - p = -4*o + o, 0 = -2*c + 3*o + 14 for c.
4
Let m = 345 - 221. Let q = m - 117. Suppose 4*u - 12 = -4*y + q*u, -4*y + 4 = -5*u. Solve -2*g - y = -d, -4 = -4*d - 0*d - 2*g for d.
2
Suppose -198*a = -1278 - 108. Solve -3*x + 3 + 8 = 2*g, 4*x - 5*g - a = 0 for x.
3
Let i(n) be the second derivative of 0 + 8*n**2 + 4*n + 1/6*n**3. Let m be i(-13). Solve 4*t = -4*c, -m*t + 11 - 35 = -5*c for c.
3
Let j = -113 - -74. Let m = -44 - j. Let y = m - -15. Solve 2*r + y = -4*v, 24 = 6*r - 2*r - 3*v for r.
3
Suppose 196 = -36*d + 808. Solve -4*h - 3*k = 26, -7*h + 4*h - k = d for h.
-5
Suppose 31 = 4*n + 98*u - 97*u, -4*n + 35 = -3*u. Solve -5*i - 6 = -3*c, 3*i - 3 = n*c - 4*c for i.
-3
Let p(g) = g**2 + 2*g - 1. Let c(y) = -4*y**2 + 18*y - 13. Let x(m) = c(m) + 2*p(m). Let d be x(10). Solve -3*t - b - 3 = 8, -d*t = 4*b + 16 for t.
-4
Suppose 8*l + 3*l = 165. Let f(a) = -a**3 + 14*a**2 + 16*a - 13. Let y be f(l). Suppose -t = -y*t + 3. Solve o = 3*i + t*o + 17, 0 = -i - 2*o - 11 for i.
-3
Let x = 129 - 81. Suppose 5*a - x = -3. Suppose a = -g + 4*g. Solve -4*n = -9*n - g*y - 5, -2*y + 14 = -n for n.
-4
Suppose -1 = 6*m - 19. Suppose 4*d + 16 = 0, -m*b + 12 = -b - 3*d. Suppose -16 = -4*w - b. Solve r + 3*h = -9 + 2, -w*h - 12 = 0 for r.
2
Suppose 9 = 12*b - 99. Let u = 5 - 3. Solve 0*y - y = 3*z + u, -2*y - b = z for y.
-5
Suppose -4*q = -8, 0 = a + 4*q - 141 + 53. Let v be (a/(-100))/((-2)/10). Solve -4*h + v*u + 4 = 2*u, -4*u = -4*h - 4 for h.
3
Let y = 61 - 66. Let c be (-455)/10*(-3 - y). Let s = c - -100. Solve 0 = 3*q + 3*t - s, 3*q + t + 0 = 3 for q.
0
Suppose 790 = -2*h + 800. Solve w - 20 = h*o + 6*w, -5*o + 4*w - 29 = 0 for o.
-5
Let c = 79 + -74. Suppose -c*a = -0*a + 5*j - 30, 4*a = 2*j + 36. Let u be 50/a - (-18)/24 - 1. Solve 5*z + r - u = -3*r, z + 2*r = 0 for z.
2
Suppose -3*b + 2*o + 2*o = -192, -260 = -4*b + 4*o. Let r = 71 - b. Solve -v = -r*v - 5*q - 15, q = -5 for v.
5
Let y be (-7 + 5 + 22)*16/10. Let v be (-33)/(-8) - (2 + (-60)/y). Suppose -1 = h + 3, 0 = -v*f + 5*h + 32. Solve 8*g = 5*r + 3*g, -f*r = -g - 6 for r.
3
Suppose a + 235 - 210 = 0. Let f be 1/((-5)/a - 0). Solve 3*p = -12, k + f*p = -2*k - 23 for k.
-1
Let t be 16/5 - -1 - 66/330. Solve 22 = 2*g + t*c, -2*g + 4*c - 20 = -18 for g.
5
Let y be (-30)/(-24) - 9/(-12). Let z be (-32)/(-14) - y/7. Suppose 0 = 3*l - 3*n + 3, z*n + 1 - 5 = l. Solve 5*a - 3 = -l*p, -2*p - 4*a - 4 = -8 for p.
4
Let n(g) = -68*g - 5100. Let j be n(-75). Solve j = -4*k + t - 7, 2*t + 17 = -2*k + 11 for k.
-2
Suppose -r + 2*f + 14 = 5*f, 0 = -5*f + 20. Suppose 2*q - u - 26 = 0, q - 2*u - 13 = -7*u. Suppose 5*t + 40 = q*t. Solve r*x - 12 = t*g, g = 2*x + 2*g for x.
1
Suppose 8*r + 18 - 74 = 0. Suppose -3*l + r = -y, y = -4*y + 10. Suppose 2*j = -3*j + 105. Solve -3*w - l*o - j = 0, 4*w + 4*o + 23 = w for w.
-5
Suppose 0 = 5*p - 5*j + 46 - 141, -3*p - 2*j + 72 = 0. Solve 0 = -5*s - l - 14, -15*l = -3*s - 19*l - p for s.
-2
Suppose 2*v - 28 = 3*n - 75, 4*n - 4*v = 60. Solve 5*y + 13 = 21*l - n*l, y - 7 = 4*l for l.
-3
Let g(t) = -t + 8. Let d be g(6). Let n = -41 - -44. Suppose -6 = n*a - 6*a. Solve 2*b = -d*q + 2, q + a = 4*b + 23 for b.
-4
Let c(p) = 5*p**2 - 121*p - 243. Let q be c(-2). Solve x = -5*l - q, 4*x = -26 + 10 for l.
-3
Suppose 0 = -2*g + 7*g - 15. Let w be (-378)/(1 - -20) + (2 - -17). Solve h = 4*i + 5 - w, 0 = g*h - 3*i - 3 for h.
0
Let n(p) = -p**2 - 17*p - 57. Let t be 60/(-12) + (-1 - -1). Let v be n(t). Solve 8 = 5*b + v*c, -5*b + 2 = -c - 2 for b.
1
Let p be 20/8*24/5. Solve p = -5*y - 4*z, 0*z - 6 = 4*y + 5*z for y.
-4
Suppose 0 = 3*b - 5*r + 3*r - 821, 0 = 4*b - 3*r - 1094. Suppose -5*z + 0*z 