l*x - 20 = 5*u, 0 = x + 5*u + 12 for x.
-2
Let p = -143929 - -143929. Let b be (-1 + (-8)/(-5))*5. Suppose -q - 3*q - 5*d = -11, 15 = b*q - 3*d. Solve 5*j - 3*u - 16 = -2*u, -j + q*u + 7 = p for j.
3
Let v be ((-6783)/(-1330) - (-1)/(-10))*1. Solve 5*b - 1 = -4*s, 0 = 4*s + 2*b - v*b - 25 for s.
4
Suppose 5*d + 81*k = 80*k + 1, -3*k + 3 = 5*d. Solve -3 = 10*z - 11*z, 5*m + z - 18 = d for m.
3
Suppose v - 26 = -3*d + 6*v, v - 39 = -2*d. Let f = d - 14. Let x be (0 - (8/(-1) + 2)) + -4. Solve -u - f*y + 10 = -4, -u = -x*y + 6 for u.
2
Let f = 11504 + -11492. Solve -6*s + 2*v = -7*s - 2, -s + 5*v = -f for s.
2
Suppose 113*u - 144 = 95*u. Solve 5*k = -z - 20, -6*z + 7*z + k = -u for z.
-5
Let v = 9024 - 9019. Solve -v + 24 = 3*b - 4*u, 0 = u + 1 for b.
5
Let i(y) = 186*y - 1671. Let x be i(9). Suppose s - 3*h = 3 - 0, 5*s - 5*h - 25 = 0. Solve q = -x*u + s, -4*u + 6 = 2*q - 2 for q.
0
Let p(k) = k**3 - 6*k**2 - 18*k + 111. Let o be p(6). Let q = -38 + 11. Let c be (-114)/q - (-8)/(-36). Solve -22 = c*s - o*i, -i + 3*i - 12 = 2*s for s.
-4
Suppose -3*d + 2*o = 3*o - 7, -3*o - 18 = -4*d. Solve 18 - 8 = d*p - 4*m, -2*p + 3*m + 7 = 0 for p.
2
Let i(a) = 10*a - 105. Let v(p) = -5*p + 51. Let c(h) = -3*i(h) - 5*v(h). Let w be c(11). Solve w*f = 5*k - 0*f + 5, 4*k = -3*f + 3 for k.
0
Let w(o) = o**2 - 37*o - 463. Let g be w(-10). Solve -i - 5*a + g = -3*a, -4*i + 3*a = -6 for i.
3
Let s be (-5)/(15 + 0)*-6. Let f(a) = -5*a - 5. Let h be f(-1). Solve h = -3*n + w + 1, 0*w = 4*n - s*w - 4 for n.
-1
Suppose -c = 3*r - 1562, 3*r - 5*c + 4*c - 1570 = 0. Let b = 525 - r. Solve -5*p - 2 + 1 = b*t, -3*p - 5*t - 7 = 0 for p.
1
Suppose -m - 6 = -v, 4*m = -9*v + 139 - 59. Solve -5*g - 2*s + 13 = -2*g, -m*s + 11 = g for g.
1
Suppose 98 = x + 26. Suppose -x = -5*t + t. Let f be (-38)/(-8) - t/24. Solve 5*g - 2*m = m - 7, f*m - 2 = 3*g for g.
-2
Let l = 20567 + -20564. Solve x - 21 + 17 = -5*a, -2*x + 1 = l*a for a.
1
Suppose 8*w - 11*w = -j - 822, 2*j = -2*w + 540. Let p = w - 269. Let t be ((-6)/5)/(2/(-10)). Solve t = 2*f + f - p*i, 0 = -5*f - 3*i - 19 for f.
-2
Suppose -3*t + 90 = 2*t. Suppose -z = 4*l - 1, -5*l - 2*z + 2 = -z. Let h be -3 + l + -2 - (-14 + 5). Solve -p + 3*o = -t, -h*o - 4 = 5*p + 6 for p.
3
Let f be (-1)/3*6*-17. Suppose 0 = u - 2, f*p - 11 = 29*p + 2*u. Solve -p*s = -4*m - 2*s + 20, 4*s = 0 for m.
5
Let h(k) = -k**2 - 802*k - 19423. Let q be h(-25). Suppose 0 = 4*o - 39 + 15. Solve v = -q*r - o, -v - 26 = -4*v + 5*r for v.
2
Let w be (-3 - -39) + -9 + -2 + 14. Solve -4*c - 4 = 5*f, -2*c + 5*f - 41 = -w for c.
-1
Suppose w + 0*w = 4*p - 73, -2*w - p = 110. Let g = 2065 + -2006. Let n = w + g. Solve 0 = 5*z - 5*m - 25, -m - 10 = -n*z + 2*m for z.
5
Suppose 16*k - 7*k + 378 = 0. Let l = k + 92. Let h = l + -45. Solve -3*b + 4 = -2*b + 3*p, 9 = h*b + 4*p for b.
1
Suppose 8*h = 5*m + 9*h - 64, m - 4*h = 38. Solve -33*u + 28*u = z - 24, -m = -2*u + 4*z for u.
5
Let w(f) = -25*f - 1511. Let p be w(-63). Solve 4*j + 15 = i, -5*i - 69*j = -p*j for i.
3
Suppose 2*f + 55 + 199 = 0. Let j = -125 - f. Solve 0*p + 26 = -3*v + 5*p, -j = -v - p for v.
-2
Suppose -10*y = -8*y + 10, 0 = -5*c + 3*y + 40. Solve 8*q = 4*q + 5*s - 8, -14 = 2*q - c*s for q.
3
Let a be (-3)/(-12)*(13 + -1). Suppose d + a = 4*u, 3*d = 4 + 11. Let l(x) = -31*x + 158. Let c be l(5). Solve -5*h = 3*m - 20, 0 = -u*h + 5 + c for m.
0
Let j be -1*(0 - 0)*-1. Suppose -842*g + 960 = -3250. Solve 7 = y - 3*q, j*q = -g*q - 15 for y.
-2
Let x be (-2 + 0)*2/12*-15. Let d = x - -20. Let k = 27 - d. Solve s + 5*j = -14 + 2, 3*s + k*j - 3 = 0 for s.
3
Suppose 6 = 4*s + 2*i, 2*s + 74 = 4*i + 62. Solve 4*w - a + 19 + 0 = 0, s = 4*w + 2*a + 10 for w.
-4
Let z = 7118 + -7085. Solve -f = -5*j, 5*f + 2*j + 60 - z = 0 for f.
-5
Suppose n = 3*c - 5, -5*c - n = -4*n - 7. Suppose 7*s = 6*s + c. Let j be 63/14 + 1/s. Solve 2*i = -j*v - 5, -v + 0 = -1 for i.
-5
Suppose -g + 2 = 0, -65 = -3*f + 3*g + 2*g. Suppose 108*n + 295*n = 111*n - 836*n. Solve s = 4*m + f, 2*m + n*s = 4*s - 30 for m.
-5
Let t be 4 + (-79 + -5)/(-7). Let g(m) = -m**2 + 15*m + 16. Let u be g(t). Solve 3*d + 0 + 3 = -3*c, -d - 2*c = u for d.
-2
Let z(m) = -m**3 + 17*m**2 - 105*m + 239. Let k be z(6). Solve -14*t + 11*t + 7 = -k*y, -y = -t + 3 for y.
1
Let d = 3677 + -3674. Solve -p = 5*c - 12, 5*c - 5 + 1 = d*p for c.
2
Suppose -2*c + 105 = w - 5*c, 4*w - 5*c - 406 = 0. Suppose -6*k = -17*k + w. Solve 4*r + k = -3*f + 4*f, -4 = -4*f for r.
-2
Suppose 0 = t + 2*x - 11, -3*x - 12 + 26 = t. Suppose 5*r = 4*r + 6. Let h = r + 8. Solve -4*j + n - 13 = 0, 4*j + t*n - h - 3 = 0 for j.
-2
Let a(y) = -390*y - 5848. Let p be a(-15). Solve -x = -p*l - 17, 5*l + 36*x + 36 = 32*x for l.
-8
Let o(c) = 2*c. Let f be 196/(-56)*(-1 - 1). Suppose f*r - 12 + 5 = 0. Let v be o(r). Solve 0 = -2*a - v, 5*w + 4*a + 10 = -14 for w.
-4
Let y = 806 + -785. Suppose 2*o + y = 31. Solve g + 9 = -2*g, -4*g = o*x - 3 for x.
3
Let f be 3237/65 - (-2)/10. Suppose 7*k = -3*k + f. Solve 11 = k*a - s, 3 = -a - 3*s + 2 for a.
2
Let l(j) be the first derivative of -j**4/4 + 6*j**2 - 3*j + 8. Let b be l(-4). Suppose -b*k + 16*k = 9. Solve 3*f + t - 6 = -2*f, -2*f - t + k = 0 for f.
1
Let n(w) = -11*w**2 + 54*w + 41. Let x(l) = 5*l**2 - 27*l - 21. Let y(k) = 4*n(k) + 9*x(k). Let u be y(28). Solve 2*m - 28 = 4*v + 6*m, 4*v - m + u = 0 for v.
-2
Suppose 5*k - 105 = -5*h, -3*k + 45 = -h - 30. Suppose -7*x = -x - k. Let g be 10 - 6*(2 + -6)/(-12). Solve 2*n - 2*b = 2*b + g, x*n - 2*b + 2 = 0 for n.
-2
Suppose -4*p - 154 = -d, p = 5 - 0. Suppose -20 = -178*v + d*v. Solve -w = 5*i - 18, -2*i + v*i - 12 = -w for w.
3
Let l be (-28)/(-8)*(-2 + 96). Suppose -33 = -l*i + 318*i. Solve 2*j - 4*v - 24 = 0, 3*j - 5 = -v + i for j.
4
Suppose -430*q = -448*q + 72. Solve 3*a + u - 28 = -37, -q*a + 2*u - 2 = 0 for a.
-2
Suppose 0*p = -3*p + 129. Let w = -143 + 102. Let t = p + w. Solve 4*k + 0*v = -t*v - 14, 0 = 2*k + 3*v + 13 for k.
-2
Let m(d) = d**2 - 9*d - 24. Let h be (-6)/4*12/18*-12. Let w be m(h). Suppose w*p = 3*p + 45. Solve -4*b = -u - p, b + 20 = -2*u - 2*u for b.
0
Suppose 10*n = 5*n + 35. Suppose n*b - 487 + 102 = 0. Let u = b + -50. Solve m + 2*m = u*y - 6, 0 = 4*y - m - 9 for y.
3
Let p be (1/2)/((-6)/2664). Let v be (-4)/(-26) - p/78. Solve 3*a = h - 6, v*a + 6 = 7*h - 5*h for h.
0
Let v be (-31)/(-4) - 2 - (-6)/24. Suppose 19 = v*u + 7. Solve 3*t - 9 = -d - u, -2*d + 8 = 3*t for t.
2
Suppose -k - 4*k = 60. Let s be k/(-54) + 68/18. Let m = 5873 - 5866. Solve w = -4, s*v = 2*w - 3 + m for v.
-1
Let v = -18631 + 18631. Solve b = -2*n - 7, 0*n + 5*n + 4*b + 25 = v for n.
-1
Suppose 2*b + 2 - 5 = 3*y, 2*b - 2*y = 2. Let m(q) = -q**2 - 315*q + 2588. Let f be m(8). Solve 3*i - f*a + 4 = 0, i = 3*a - b - 3 for i.
0
Let u(b) = 3*b**2 + 25*b + 13. Suppose -9*g + 24 = -12*g. Let c be u(g). Suppose -4*o + 7 = -c. Solve -o*m = 2*q, 5*q = -m - 0*m for q.
0
Let i(f) = 2*f**2 - 62*f + 65. Let l be 296/10 - (2 - 108/45). Let s be i(l). Solve 5*t = 3*o - 9, 2*o - s*t - 13 = o for o.
-2
Let w(g) = 2*g**2 + 11*g - 4. Let a be w(-6). Suppose 0 = 3*r, r = c - a*r - 4. Let u be 1*((3 - 3 - 1) + c). Solve 0 = -3*j + 1 + 8, 4*j - 15 = u*f for f.
-1
Suppose c - 3*t = -17, -t - 15 = -4*c - 6. Solve 2*a + 5*p + 3 = 10*p, 9 = 5*a + c*p for a.
1
Let l(b) = 16*b - 68. Let g be l(5). Suppose 14*x - 6 = g*x. Solve -x*r = -2*j - 6, 2*r - j = -r + 6 for r.
2
Suppose o - i = 15, -4*i + 4 = 5*o - 71. Let g(u) = u**3 + 5*u**2 + 5. Let v be g(-5). Suppose -5*l + v + 5 = 0. Solve 3*x + f = -o, -2*f + 1 = l*x - 5*f for x.
-4
Let g = -84 + 101. Suppose g*h - 9 = 14*h. Solve -4*j + 3*j = 5*z + 3, -9 = h*j + 3*z for j.
-3
Suppose -19126 + 4650 = -28*y. Let g = 521 - y. Let z = 57 - 41. Solve g*w - 20 = -0*w + 4*q, -5*w + 2*q = -z for w.
2
Let z be (-2612)/(-84) + -2 - (1312/(-336) - -4). Solve -f - 34*s = -z*s + 21, -14 = 2*f + 3*s for f.
-1
Suppose -65 = 4*b - 5*m + 92, m + 28 = -b. Let y = 43 + b. Let h(s) = -7*s - 37. Let a be h(-6). Solve -a*x + 5 = -y*x + 5*w, -4*w = -4 for x.
0
Let z = 15966 + -15952. Solve 3*k - z = r, 3*r + 2*r + k = -22 for r.
-5
Suppose 2*f = 7*f + 4*f. Suppose -4*o + 4 = -3*k, 2*o + 12 = 2*k + 3*k. Suppose 0 = -o*l + 9*l - 20. Solve v - l*a - 8 = f, v - 2*a - 2 = -a for v.
0
Let k be 4 + 0 + 