= -5*u - 6*x + x + w, u + 5 = x for u.
-2
Suppose -3933 - 709 = -422*y. Solve 16*z + 25 = y*z, -3*w = 2*z + 25 for w.
-5
Let k(t) = 11*t - 57 - 14*t**2 - 41*t - 42 + 30*t**2 - 17*t**2. Let m be k(-4). Solve -m*h = -2*r, 5*r = r + 3*h for r.
0
Suppose 0 = 4*p + 2*a - 6*a + 572, -5*p = -a + 719. Let r = p - -146. Solve 0 = -r*n - 3*z + 11, 4*n = -2*z + 3 + 7 for n.
1
Let h(p) = -p**3 - 3*p**2 + 18*p + 12. Let n be h(-6). Suppose c = n*c. Solve -2*s - 8 = c, 0*s = 2*k - s - 6 for k.
1
Suppose 0 = d + 2*x, -4*d - x + 50 = -3*x. Suppose 3*v - 4*t + d = 0, 14 = 3*v + 2*v + t. Suppose 19*p - 46 - 68 = 0. Solve -c - 2 = -p, v*c - 3 = m for m.
5
Suppose -4*o + n = -126, -62 = -3*o - 2*n + 16. Solve -14 = m + 5*h, -6 = -4*m + 3*h + o for m.
6
Let j be ((-90)/20 - -3)/(6/(-16)). Let i(l) = -13*l - 12. Let d be (-3)/((-3)/(-2) - 0). Let u be i(d). Solve -10 = s + 2*k, 4*s + 14 = -j*k - u for s.
-4
Suppose 0 = -11*f - p + 2, 70*p = 3*f + 74*p - 8. Solve 23*o - 20*o = f, 2*w + 2 = -4*o for w.
-1
Let w be (-2 - (-567)/(-72) - -10)/(2/48). Solve -2*y = 24*f - 26*f - 22, w*y + f = 9 for y.
5
Let b(h) = -5*h**2 - 3*h - 10 + 3*h + 6*h**2 - h. Let f be b(-3). Suppose 4*i - s - 6 = -1, -10 = 3*i + f*s. Solve i*q = -u + 3*q - 2, 3*q = 5*u + 10 for u.
-2
Suppose -202*w + 1491 = 279. Solve -2*c + 0*c - 4*f + w = 0, -22 = 2*c - 3*f for c.
-5
Suppose -2*t = -2*r, -5*r = t - 17 + 11. Solve 23*i - 24 = 26*i + 3*u, -3*i + t = -2*u for i.
-3
Suppose 0 = 125*j - 129*j + 16. Suppose -3*g + 2*g = -14. Let r = g + -12. Solve j*f - r*f + 3*o = -19, 0 = 3*f + o + 11 for f.
-2
Let s be 14 - (0 - 12*(-21)/28). Solve s*h - 32 + 5 = -4*w, 0 = -w + 3*h - 6 for w.
3
Suppose 0 = 4*r - 5*j - 123, -j - 101 = -4*r + 10. Suppose -r = -6*k - 21. Let h be k + 6/(-2)*(-2 - -1). Solve z + l = 1, 4*z + h - 11 = -l for z.
2
Suppose -30 = -135*v + 105*v + 450. Solve -o = -x - 5, -16*x = -13*x - 4*o + v for x.
-4
Let v be ((0 - -1) + 0)/((-10)/(-30)). Solve -g + f = -3, -3*f = -4*g + 11 - v for g.
-1
Suppose 5*i + 4 = 7*i. Let t = 1879 + -1876. Solve t*k + 6*d + 12 = 3*d, 4*k + i*d = -6 for k.
1
Let x(b) = 7*b - 291. Let c be x(31). Let q = c - -76. Solve 0 = p + 5*i - 28, 2*p = -q*i + 17 - 1 for p.
3
Let d = -188 + 189. Suppose -3 = -2*l + d. Solve 5*i - 10 = 4*q, 4 = l*i + q - 4*q for i.
2
Let h(q) = -3 - 5*q**2 + q**3 + 3*q + q - 4 - q. Let g be h(5). Suppose 238 = 18*j + 184. Solve 0 = 2*v + 8, j*v = -4*i + 2*v - g for i.
-1
Let c be -5*14/(-105)*(-18)/(-4). Solve 0 = -5*f + c*v - 1, -10*f - 4*v = -8*f + 16 for f.
-2
Let w(k) = 7*k - 30. Let l be w(5). Suppose 0 = -l*p - 10, -7 + 1 = -3*g + 3*p. Let f = 0 - g. Solve 2*t = 2*m + 10, -2*m + 2 = 4*t - f for m.
-3
Suppose -7*p + 11*p - 1652 = 380. Solve 3 = b - 5*x, -3*x = -4*b + 503 - p for b.
-2
Let o(d) = -157*d + 4401. Let l be o(28). Solve -5*i - 11 = -2*a, 0*a + l = 4*i + 3*a for i.
-1
Let m = -120 - -122. Suppose 0 = -m*t + 8, -r + 2*r + 5*t - 24 = 0. Solve -2*y = -r*y + 5*n, 2*y - 3*n = 0 for y.
0
Suppose -94*m - 230 + 1358 = 0. Solve -4*q + 16 + 0 = -4*g, -m = 3*g for q.
0
Suppose 0*h + h = 5*c - 36, 0 = -5*c - 4*h + 56. Suppose c*l = 3*l + 10. Solve 4*v = l - 6, -4*v - 19 = -3*r for r.
5
Let z be 203/49 - (-138)/161. Solve -v = 2, -r = -z*r + v + 2 for r.
0
Let g be (0 + -3 - (18 - 20))*-7. Solve 5*v + m - 15 = 0, -6*m + g*m = -4*v + 13 for v.
2
Suppose -6*c + 86 = -3*u - 8*c, u = 3*c - 36. Let y be (-1 - (-28)/8)/(u/(-12)). Solve 5*n + m + 16 = -y, 2*n + 3*m + 12 = 0 for n.
-3
Suppose -36*j + 42*j = 2 + 16. Solve 3*u = -j*w + 5*u + 19, -3*u = -w + 11 for w.
5
Suppose -77 = 4*n - 5*n. Let o = n + -48. Let p = o + -21. Solve -3*u = 4*f - 1, f - 3*f - 4*u + p = 0 for f.
-2
Let o(t) = -40*t + 20. Let w be o(5). Let i = -177 - w. Solve 4*h = -0*h + i*x - 25, -5*x + 15 = 0 for h.
-4
Let l be -3*5/(-45) + (-3)/9. Let f(u) = -10*u + 5. Let y be f(l). Solve -5*c = 3*x - y, 5*x + 32 = 3*c + x for c.
4
Let d be (15/(6/(-2)))/((-9)/((-162)/(-18))). Solve -26*b - 3*i = -31*b - 15, 0 = d*b + i + 15 for b.
-3
Let h(g) = -3*g - 83. Let r be h(-31). Let j(q) = -4*q**2 + 38*q + 21. Let v be j(r). Solve 2*u = -5*f + 24, 0 = -2*f - 4*u + v + 15 for f.
4
Let p be -4*1*(0 - 8/16). Suppose -7*x + 4 = -p*x + 4*h, 5*x - h = 24. Solve k + 3*k + 4*o + 28 = 0, x*k + 16 = -o for k.
-3
Let g = -79 + 83. Suppose 3*c - 1 = 2*c - 5*i, -4*c = -i - 25. Suppose 12*y - 90 = -c*y. Solve 2*d = y*d - 5*v + 13, -g*d + 31 = 3*v for d.
4
Let v(q) = -2*q - 2. Let m(j) = 10*j + 74. Let p(a) = -2*m(a) - 20*v(a). Let o be p(6). Solve -5*y + o = -2*w, 5*w + 7 = y - 0*w for y.
2
Let d be (75/45)/((-2)/12). Let g be (15/d)/((-6)/16). Solve 3*v - m = -0*m - 10, g*v - 8 = -4*m for v.
-2
Let z(c) = 9*c + 57. Let x be z(-5). Let v be ((-28)/x)/(3/(-9)). Solve i + 4 = -s, -3*s = 3*i - v*i - 9 for s.
-1
Let w = 32 + 32. Let q = w - 44. Let v = -15 + q. Solve 0*y - 3*h + 10 = -2*y, 5*y - v*h + 20 = 0 for y.
-2
Let x(f) = f**2 - 13*f - 28. Suppose 74 + 106 = 12*k. Let p be x(k). Solve 0 = -u + 2*h - 2, -8 = -3*u - p*u + 4*h for u.
4
Let c be (-4068)/(-30) + (-7)/(-5) + -2. Let l = c - 135. Solve 3*r - 2*k = -6*k - 8, 4*r - 2*k + 18 = l for r.
-4
Let d = 5579 - 5574. Solve 0 = x + 7*q - d*q + 1, 3*q = 5*x + 31 for x.
-5
Let a be (-87)/24 + 4 - (14130/48)/(-15). Solve -4*c = -0*c - 2*d + a, -c = d + 2 for c.
-4
Suppose 2*w = 1 + 5. Suppose 2*n + h - 20 = 0, -1667*n - 58 = -1672*n - 3*h. Solve -n*r - 12 = 2*c, w*r = 4*r + 2*c + 10 for r.
-2
Suppose 7*z = -12 + 47. Suppose -13*x = z*x - 72. Solve 2*l = -2*v - 0 + x, 3*v = -l + 2 for l.
2
Let i = -4 + 6. Suppose 1507 = 5*u - 3*w, -u - 901 = -4*u + 5*w. Let q = -299 + u. Solve -2*v + 0*v - 6 = -i*k, -k + 3 = q*v for k.
3
Let h = -41 + 45. Suppose -3*l - 12 = -4*i, 0 = i + 4*l - 0*l - 22. Let y = 3 + i. Solve g - y = -3*g + 3*n, 2*g = 2*n + h for g.
3
Let u(m) = m - 4. Let x be u(7). Suppose -13 = x*q + 53. Let h = q + 24. Solve -2*t = t - 5*d - 22, 2*t + 5*d = -h for t.
4
Suppose 100 + 60 = 24*x + 40. Solve -5*t + 10 = 5*m, x*t = -m - 5 + 19 for m.
-1
Suppose 7*y = -5*u + 11*y + 35, -2*y = 2*u + 4. Solve h - 4*s - 32 + 7 = 0, u*s = h - 20 for h.
5
Suppose 0*l - 6 = -l. Suppose c = -2*j + l, -2 + 0 = -j. Suppose c*r - r - 3 = 0. Solve -11 - 11 = -4*m + 3*b, 5*m + r*b - 14 = 0 for m.
4
Let u be 3/(9/70*7/42). Let f = u + -135. Suppose -12 = -2*v - g, 5*g = -f*v + 2*v + 25. Solve -4*j + x + 4 = 5*x, 2*j + v*x + 4 = 0 for j.
3
Suppose -3*x - 2 + 149 = 0. Let l = x - 39. Suppose 6*k - l = k. Solve 5*s - 3*u + 8 = 0, 0 = -k*s - 4*u + 2*u for s.
-1
Let q(l) = 12*l - 11. Let t be q(3). Suppose 5*j - t = -2*x, 7*x - 25 = 3*x - 5*j. Solve 2*o - o - 4*k + 8 = 0, 5*o - k + 2 = x for o.
0
Let g = -240 - -242. Let r be 2*(((-8)/g)/2)/(-2). Solve -5*d = 5*t + 5, -t - t - r = -2*d for t.
-1
Suppose 3*w = -4*s + 24, -w + 2*s - 8 = -2*s. Suppose -5*t - 3*c - c + 13 = 0, -w*t - 5*c = -5. Solve -17 = 5*z - 4*f, -2*f = t*z + 36 - 7 for z.
-5
Let h = 2685 - 2676. Solve 0 = -2*b - 4*z + 9 - 17, -z + h = -5*b for b.
-2
Let k = -63 - -75. Suppose -7*m = k - 33. Solve 5*l = -m*u, 3*l = l + 4*u - 26 for l.
-3
Let i(s) = s**3 - 2*s**2 - 18*s + 21. Let a be i(1). Solve -3*q - 2 = -6*q + a*t, -3*q = -4*t - 4 for q.
0
Suppose 5*q = i + 69, 10*i - 7*i = 2*q - 12. Solve -9*s + 10*s = -5*p + q, -15 = -5*s - 5*p for s.
0
Let o be 8/44 - (-1095)/(-33). Let f = o + 46. Suppose -s = f*s. Solve -w + t - 2 = s, 4*t - 13 = 2*w - t for w.
1
Let i be (-44)/(-16) - (18 - (-1533)/(-84)). Solve -7*m = n - 15*m + 21, -3*n + i*m - 21 = 0 for n.
-5
Suppose 46*i = -47*i - 20*i + 452. Solve i*r = -3*d - 21, -d + 4*r + 6 = d for d.
-3
Let p be -4 - (-7 - 18 - -20). Solve -5*c - 3*t = 17, 2*c + 11 - p = 2*t for c.
-4
Let c(u) = 6*u - 199. Let m be c(32). Let w(o) = o**3 + 7*o**2 - 6*o - 31. Let v be w(m). Solve -5*s = 4*d - v, s + s + 5*d = 1 for s.
3
Let b = 15694 - 15691. Solve 2*w = -4*r + 16, b*w = 4*r - 36 + 20 for r.
4
Let h(c) be the first derivative of -c**4/4 - 7*c**3/3 - 5*c**2 - 19*c + 144. Let t be h(-6). Solve 5*o - 40 = -3*u, -t*u - 3*o + 6 + 34 = 0 for u.
5
Let i(v) = -v**3 - 2*v + 9. Let h be i(0). Suppose -h*q = -3*q - 30. Solve -20 = -q*r + r, 3*z = -r + 8 for z.
1
Let f = -6 + 25. Let r(u) = u**3 + 8*u**2 + 5*u + 7. Let y be r(-7). Suppose 18*i - f*i = -y. Solve -5*q - i = -3*d