Solve 3*n = -w*t + t - 3, 3*t - 1 = n for t.
0
Suppose 0 = -4*x + 10 + 30. Let f be x/(-25)*(2 - 32). Suppose -f*h + 7*h = -30. Solve 5*k + 1 = 4*i + h, -5*k + 3*i = -5 for k.
1
Let m = 52 - 49. Let r be 12/m + 0 + (4 - 5). Let l be 8*3*r*1/9. Solve 0 = -3*i + 6*i + 4*q + l, -4*i = -2*q - 4 for i.
0
Let z = -1983 + 1990. Suppose 0*x = x. Solve z = -3*s + n, -4*s - n = -x*s for s.
-1
Let m be (-45)/(1/(-4) + 10/280). Let o = 214 - m. Solve -o*y = d + 7, 3 = -3*y + 4*d - 7*d for y.
-2
Let m be (-680)/16 + 2/4. Let d be (-66)/(-21) - m/49. Solve 4*j - 2 = -r, j - d = -0*r - 2*r for r.
2
Let c be ((-5)/15)/((-1)/30). Suppose 0*h - 5*h = -c. Let n be -5 - (-13 - -2) - 1. Solve -d - n*a - 7 = 0, -3*a + 2 = 4*d + h*a for d.
3
Let n be (6 + -12 + 6)/(-5). Let t(s) = -s**2 + 6*s - 2. Let z be (-34)/(-6) + (-4)/6. Let h be t(z). Solve -h*x + 2 = -q, 5*q + x = 22 - n for q.
4
Let z(u) = 3*u**2 - 24*u + 113. Let o be z(5). Suppose -3*a + o = 5*n, -4*a = -n + 7 + 2. Solve -3*x + n = 4*g - 2*x, -4*x = -3*g + 24 for g.
4
Let y be (4 + 684/(-144))/((-6)/16). Solve -5*p + s - 24 = 0, p - 1 = -y*s - 8 for p.
-5
Let k(j) = -j**3 - 12*j**2 - 12*j + 15. Let u be k(-11). Suppose -u*f = -7*f - 76. Solve -m - i + 2 = -2*m, 0 = -3*m - 2*i + f for m.
0
Suppose 87*y - 56*y - 48*y + 187 = 0. Solve -i + 6*f - 23 = y*f, -3*i = -f + 5 for i.
-3
Let b(h) = 2*h**2 + 3*h + 5. Let a(s) = -2*s**2 + 6*s. Let t be a(3). Let p be b(t). Solve 0 = 3*u + 2*y - 8, -11 = -3*u - 0*u - p*y for u.
2
Suppose 11*m - 3*m - 3*m = 0. Suppose -c + 0*o - 2*o = 4, -c + o = -8. Solve 5*k + i = 13, 3*k - c*i + m - 17 = 0 for k.
3
Suppose 2*h = -2*w + 22, 2*h + 40 = 4*w + 5*h. Let f be (w - -3) + -1 + 10. Solve 3*r + 0*u - 2 = -2*u, r = 3*u + f for r.
4
Let k = -25733 + 25738. Suppose 15 = 3*o + 2*o. Let n(l) = l**3 + l**2 - 2*l + 4. Let z be n(2). Solve -2*b + 0*b + k*v - 1 = 0, 0 = 3*b + o*v + z for b.
-3
Let c be (2/4)/((-3)/(-12)). Suppose 7*m - c*m - 10 = 0. Suppose -5*a - m*x = 1 - 8, 5*a - x = 19. Solve 3*o - 9*l = -4*l + 6, 8 = 4*o + a*l for o.
2
Let h(z) = -5*z - 45. Let b be h(-13). Let o = 25 - b. Let v be (o + -4 + -3)/((-1)/4). Solve 3*q - v = 4*s, -q + 0*q = -4*s for q.
4
Let d be (-819)/(-162) - 1/18. Let u be (-4)/10 - (-306)/15. Suppose -4 = 4*q - u. Solve 5*g + 20 = d*a, a = 5*g + 4*a + q for g.
-2
Let t(x) = 248*x + 6701. Let z be t(-27). Solve -3*h + 25 = -8*h + j, -3*j = -z*h - 35 for h.
-4
Let s = 3332 - 3330. Solve 44*a + s = 45*a + x, 5*a - 3*x - 2 = 0 for a.
1
Suppose -4*g = 5*w - 38, g - 2 = 5*w - 5. Solve -11 = -o - 0*j + w*j, -35 = -4*o + 5*j for o.
5
Let j be -4*9/(-24)*-110. Let y = j - -170. Solve i + 0*x = 3*x + y, 5*i + x + 23 = 0 for i.
-4
Suppose 12 = 5*r + 5*k - 8, 0 = 5*r - 3*k - 20. Suppose 5*u - 10 = 5*j, 20 - 30 = -5*u. Solve 2*t + 4*x + 2 = 0, j = t + x + 5 - r for t.
-1
Let z be (-14)/6*1*-3. Suppose 8*n = z*n + 5. Solve 3 = -2*j - 1, -j - 7 = -n*q for q.
1
Suppose -343 = -3*s + 5*z, 232 = -0*s + 2*s - 4*z. Let k = s - 79. Suppose -19 = 2*d - k. Solve 4*a + 2*y = 8, -5*a = -a + d*y - 16 for a.
0
Let r = -445 + 449. Suppose 0 = -r*t - 2*a + 18, -4*a = -t - 6 + 15. Solve 4*o - 14 = 2*i - i, 0 = -4*o + t*i + 22 for o.
3
Suppose 22*j - 20*j - 6 = 0. Suppose -j*c + 0 = w + 2, 3*w = -3*c - 12. Let k be (2/4)/(-1)*-6. Solve -f = -k*f, -5*f + c = i for i.
1
Suppose -114 - 652 = 2*i. Let h = -371 - i. Solve h = 4*k, -4*l - 2*k + k = 5 for l.
-2
Let r = 40075 - 40073. Solve 0 = -3*m - 3*t, -r*m + 15*t - 28 = 10*t for m.
-4
Let h(l) = -2*l + 30. Let w be h(13). Suppose 2*k = -0*k + 48. Let x = -19 + k. Solve x*u - 19 = 2*u - 4*j, w*u - 15 = 5*j for u.
5
Suppose -5*o + 62 = 4*p - 9, 78 = 4*p - 2*o. Solve -3*u - w + 7 = 0, -2*u = 15*w - p*w for u.
2
Suppose 82 = -3*o + p, 3*o - 3*p + 134 = -2*o. Let h = 32 + o. Let u = 10 + -6. Solve -10 = h*v + 3*x, -x + 3*x + u = -2*v for v.
-4
Let i(n) be the first derivative of -n**3/3 - 5*n**2 + 29*n - 5. Let b be i(-12). Solve -4*w + 2*w + 1 = -3*v, 3*w + 27 = -b*v for v.
-3
Suppose 5*w + 5*z = -4 + 9, 0 = -2*z - 8. Solve w*f + 5*r + 8 = 13, 0 = 2*f - 5*r - 23 for f.
4
Let x(t) = -2*t**2 + 86*t - 898. Let g be x(25). Solve 0 = 5*p - r + g*r + 19, -2*p = 5*r + 3 for p.
-4
Let n(m) = 5*m - 7. Let f be 4/(-3)*(0 + 12/(-8)). Let g be n(f). Solve 3*c - 2*i - 12 = -g*i, -6 = 2*i for c.
5
Let c be (-50)/30*(-15)/5. Let y = -70 - -72. Solve c*t - 2 = t - y*a, 0 = -2*t - 5*a + 21 for t.
-2
Let h = -71 + 70. Let d be 0/((-2)/h) - (14 + -9). Let k be 3*(-30)/(-36)*(-14)/d. Solve i - k = u - 2*i, 2*u + 3*i - 22 = 0 for u.
5
Let f be (-76)/(-16) + 3/(-4). Suppose x + 6 = 5*d, -f = -4*d + x + 1. Suppose -34*k + 15 = -31*k. Solve -2*m = -k*s + 5, 5*s - 6 = -d for m.
0
Suppose 5*d - 1545 = 5*m, m - 10*d + 12*d = -309. Let g = 311 + m. Let u be (-274)/(-14) + 3/7. Solve -3*l = 2*s + u, -4*l - 28 = g*s + s for s.
-4
Let o(q) = -q + 1. Let s be o(-4). Suppose -3*b = -2*b - s. Let y(r) = r**3 - 6*r**2 + 6*r + 3. Let u be y(b). Solve 4*m + 10 = -2*z, 3*z + u = -0*m + m for z.
-3
Suppose -62*m + 66*m = 60. Let y = 4 + -1. Suppose 0*t - 45 = -5*t. Solve -4*g - h = -6*h + m, 3*g - y*h = -t for g.
0
Suppose -143 = -126*t - 17. Solve k + 2*d - t = 0, -5*d + 47 - 17 = -3*k for k.
-5
Suppose -2*i + i - 1 = 0. Suppose 5*k = -1 + 6. Let g be (4/i - k)*-1. Solve w + 3 = h, -g*h - 1 = -2*w - 4 for w.
-4
Suppose -20*r - 136 = -54*r. Solve -r*v = -y - 13, 1 = -9*y + 5*y - v for y.
-1
Let q(t) = -t - 11. Let p be q(-9). Let a be (-1 + (1 - (3 + p)))*0. Suppose 42*g - 40*g = 8. Solve a = -5*k + 3*m - 0*m + 19, -k = g*m - 13 for k.
5
Let b = -27 - -51. Let j be b/(-132) - (-39)/33. Solve -3*i - 4*n = 1, -n + j = 5 for i.
5
Suppose -94*r + 90*r = 4, -3*u + 14 = -2*r. Solve u*b + 16 = 3*g, 5*b - 8 = -4*g + 7*b for g.
0
Let j be -3*28/2 - (-8)/(-2). Let v = j - -51. Solve -c + 15 = -v*l - 3*c, 12 = -4*l - 4*c for l.
-3
Let u = 3821 - 3816. Solve -3*i = 4*t - 25, 0 = -u*t + t - 5*i + 31 for t.
4
Let u be 1*(-1)/3*(214 - 1). Let d = -71 - u. Solve -g = -5*l - 12, -3*g + d*g = -3*l for l.
-3
Let h = 456 - 446. Solve -3*n = 15, -h = 56*a - 61*a + n for a.
1
Suppose -5*t + 20 = 0, -a + 0*t - 2*t + 58 = 0. Suppose 0 = h - 3*h + a. Let k be (-1 - -1) + 5/(-5) + h. Solve -5*z + 10 = -0*z + 4*d, 0 = 2*z - 4*d + k for z.
-2
Let r = 969 + -329. Suppose 0 = -17*p + 57*p - r. Solve -k + 5*l = -5*k + 7, 2*k = 4*l - p for k.
-2
Suppose 5*g - 6*p = -7*p + 61, -53 = -4*g - 5*p. Solve i + 10 = -2*l, -5*l = g*i - 7*i + 30 for l.
-4
Let a(x) = -x**3 - 45*x**2 + 94*x + 2. Let w be a(-47). Solve -4*y - 11 = -w*l + l, -5*y - 4 = 2*l for l.
3
Let v = -2448 + 2453. Solve -3 = -v*s - 2*w + 1, w = -2*s + 2 for s.
0
Suppose 78188*f + 64 = 78204*f. Solve f*h - 5*z = -2 - 33, 7 = h + 4*z for h.
-5
Let p = -387 + 387. Suppose p = -6*b - 10*b. Solve -c = 4*u - 11, -2*c + b*c + 10 = 4*u for u.
3
Suppose z = -4*f, -z - 3*f = -130 + 129. Solve 14*a + 11 = 17*a - z*v, 19 = 4*a - v for a.
5
Suppose 3*m - 27 = -3*s, -13 = -s - 2*m - 0*m. Solve 0 = -s*y + o - 28, 3 = -3*o + 4*o for y.
-5
Suppose -5*b = 0, -12 = -4*m - 3*b + 8*b. Let r(l) = 3*l - 4. Let p be r(5). Let g = -7 + p. Solve -4*u - 5*j + 2 = 3, 0 = -m*u + g*j - 24 for u.
-4
Let h = 225 - 222. Solve 2*m + h*m = -4*u - 25, 4*m = 2*u - 20 for u.
0
Let z = 466 + -455. Let c = z + 11. Solve 2*o - c = 6*o - 2*w, -5*o - 5*w = 5 for o.
-4
Let g be 1*-5 - (-2 + (-7 - 2)). Suppose 14*p - 16*p + g = 0. Solve -w = -4*h - h + 30, p*h = 15 for w.
-5
Let s = 41 - 47. Let z be (-2 - s)*(-12)/(-16). Solve 10 = 5*x - o, o = -x - z - 1 for x.
1
Suppose -3*h + 12 + 72 = 0. Suppose 39 = -h*b + 67. Let u(g) = g**2 - g - 2. Let o be u(2). Solve 4*w + 4 = r, w + b = -3*r - o for r.
0
Suppose -11*y + 29*y = 15*y + 9. Solve 5*n + y*c + 4 = -3, -5*c = -3*n - 11 for n.
-2
Suppose -49*g + 45*g - 2*y + 32 = 0, 27 = 3*g + 2*y. Solve h = -4*p + g - 10, -3*h = -4*p + 15 for h.
-5
Suppose -x - 7*d + 20 = -9*d, -3*x + 54 = -4*d. Let z be x/2*(9 - 7). Let c = 16 - z. Solve 0 = -2*y + 3*m + c, 0 = -8*y + 3*y + 2*m + 5 for y.
1
Suppose -2*r - 37*z = -39*z, -2*r + 4*z - 4 = 0. Solve 4*o + 3 = -a, 2*a + r*a + 1 = -5*o for o.
-1
Let d be (-4)/((-4)/(-3)) - 8720/(-545). Solve 0 = 5*f + 5, -53*b = -56*b + 4*f + d for b.
3
Suppose 2*a = -2*t + 14, -22*a + 35 = -17*a - 5*t. Solve -15 = -5*