
Let d be -4 + (-9)/(-1 + 0). Let u(j) = -j + 6. Let r be u(4). Suppose 0 = -0*h - 0*h + r*h. Solve h = -2*a + 2*x - 2, -x + d = -5*a - 4 for a.
-2
Let i(f) = -f**2 + 10*f + 25. Let l = 8 - -4. Let h be i(l). Let o be (-1)/(4/6 + -1)*h. Solve 0 = 5*a + 5*y, o*y = -3*a - a - 5 for a.
-5
Suppose 2*t - 4 = 3*t, 3*f + 4*t = -16. Solve -4*j - 2*o + o = f, o = 3*j for j.
0
Let d = -34 - -43. Suppose 4*l - 5*a = 12, -a = -2*l - l + d. Let c be (-2)/(-5) - (-80)/50. Solve -c*k + 12 = 3*k - b, -l*k + 2*b + 10 = 0 for k.
2
Let i be (7 - 4)/((-3)/(-57)). Suppose 15 = 24*a - i. Solve 5*x = 4*g + 10, a*g = x + g - 8 for x.
-2
Suppose -2*w + 4*r = 23 - 37, -4*r + 1 = 3*w. Solve 0 = -3*z + 2*u - 6 + 28, -13 = w*z + 5*u for z.
4
Suppose -5*x = 4*i - 8, 8 = 2*x + x + 4*i. Suppose 23*z - 25*z = x. Solve 4*a = -z*a + 5*r + 15, 3*a - 6 = 2*r for a.
0
Let i(o) = o**3 + 70*o**2 - 101*o - 2122. Let g be i(-71). Solve -g = 2*p - 13*v + 9*v, 0 = 3*p - 3*v + 6 for p.
0
Suppose -12*b = -28 + 4. Suppose -2*r + 3*o = -4, 3*r - b*o - 16 = -0. Solve 5*d = -4*s + r*s - 41, -5*s = 4*d for d.
-5
Let u(y) = -y + 10. Let c be u(6). Suppose -c*z + 160 = -9*z. Let f be ((-3)/(-2))/(1 + 20/z). Solve 0 = -m + 5*m - 4, 0 = -f*q + 4*m - 16 for q.
-3
Suppose t - 34 = 238*o - 234*o, -8 = t + 2*o. Solve 127*g - 128*g = 4*f + t, 5*f - 3*g - 1 = 0 for f.
-1
Let j = -16815 + 16817. Solve j*z + 5*p = -9, 12*z - 11*z + 4 = -2*p for z.
-2
Let a be (-4)/(-22) - (-35289)/297. Let o = a - 115. Solve 0 = 4*v - 3*i - 2, o*v + 2*i + 2*i = 16 for v.
2
Let j = 1595 - 1481. Solve 3*h = -4*m + 17, j*h - 116*h - 4*m = -14 for h.
3
Let x = -109 + 125. Suppose -20*a + x*a = 2*t - 28, -4*a + 2*t + 36 = 0. Solve -2*w - 13 = 5*d, 0 = -2*w - 0*w - a for d.
-1
Let s be 162/135 + 8/10. Suppose -5*n - s*j = 10, 11*n - 8*n + j = -5. Solve -5*y + 21 = w - n, -2 = -2*y - 2*w for y.
5
Let p = -1010 - -1013. Solve 0 = -3*r + 4*t + 14, -p*r = 3*t + 9 + 12 for r.
-2
Let h(a) = a**2 + 31*a + 3. Let x be h(-31). Let m be (-16)/(-6)*(0 + -3). Let j be 39*(1 - m/(-12)). Solve 3*l - 3*q = -15, -4*q - j = 5*l + x for l.
-4
Let c(z) = z**3 - 8*z**2 - 79*z - 32. Let t be c(14). Solve 36*i - t*i + 4 = -3*u, 2*u + 4*i = -24 for u.
-4
Suppose 4*b = 3*d + 35, -d + b + 0*b = 10. Let g = 9 + d. Suppose 27*a + 67 = 121. Solve -2*o + 4 = -6*o, a*o + g = -c for c.
-2
Let g(u) = 2*u**2 - 128*u - 399. Let x be g(67). Solve 0 = -4*n - 9*k + 11*k - 12, 4*n + x*k + 22 = 0 for n.
-4
Suppose 5*a = -2*d + 24, -5*a + 8 = -4*d - 4. Suppose -4*l = -a*w + 32, -6*l = -w - 10*l + 8. Solve q + f + f + 7 = 0, 0 = -2*f - w for q.
1
Suppose s = 8*s - 1260. Suppose 0*t - 2*t = s. Let i = -66 - t. Solve -2*j + 4*y = -i, 3*y + 12 = -3 for j.
2
Let j be 2/(-12) + 509/(-6). Let p = 80 + j. Let a be (33/(-5) - p)*10/(-4). Solve -q - m = -2, -q - a*m + 11 = -0*q for q.
-1
Let o(x) = -4 + 3*x - 4*x + 2*x. Let l be o(6). Suppose 11*k + 0*k + 48 = 59*k. Solve 0 = a + k, -a - 4*a = -m + l for m.
-3
Suppose -2*t = 2*i - 4*t - 12, 4*i - t - 21 = 0. Suppose 11*j + 2691 - 2757 = 0. Solve -s + j*s = i*q + 25, -q - 3*s = 5 for q.
-5
Suppose -5*y = x - 31, 11 = -5*y - 40*x + 46*x. Solve -2*t - 7 = 5*j + 1, -y*j = t + 9 for t.
1
Let a(u) = 240 + 241 + u - 463. Let k be a(-15). Solve -3 = -k*x - 5*d + 8, 0 = -x + 2*d for x.
2
Let t(v) = 5*v**3 + v**2 - 3*v - 2. Let w be t(2). Suppose -w*p + 485 + 163 = 0. Solve 0 = -4*g - 4*n + 16, -3*g - 2*g - 4*n = -p for g.
2
Let a = 0 + -4. Let s = a - -7. Suppose 742*w = 740*w + 6. Solve -s*l = w*b, 4*l + 2*b - 8 = -0*l for l.
4
Suppose -11*h - 6 = 2*f - 8*h, 5*f + 1 = -4*h. Suppose f*g = -2*l + 23, -2*g + 11 = 5*l - 74. Solve 2*c = -2*w - 2, 2*w = 5*w - 5*c + l for w.
-3
Let f = -122 - -130. Let u be f + (0 - 8) + 2*5. Solve -2*a - 4 = -2*d, 0*d - u = 5*d for a.
-4
Let r be (38/(-95) + (-18)/(-20))*4. Solve 5*o + 2 = w - 0*w, 4 = 3*o + r*w for o.
0
Let u(r) = -386*r - 767. Let k be u(-2). Solve 0 = q + c + 1 + 3, -k*c - 20 = -2*q for q.
0
Let z be (24/(-5))/((-57)/285). Suppose -12 - z = -18*o. Solve -5*x + 3 = o*v - 3*v, x + v + 3 = 0 for x.
0
Let n(w) = -20*w**3 + 2*w**2 - 3*w + 1. Let t be n(1). Let r be (-13 + 1*-2)*t/15. Solve -5*x = -4*v + r, -5 = -v + 6*x - 3*x for v.
5
Let p = -4905 + 4907. Solve 2 = d, 2*u + p = 5*u + d for u.
0
Suppose 4*c - 2*l - 14 = -2, -2*l + 12 = 2*c. Suppose 5 = 3*v - c. Suppose -6*y + v = 3. Solve 4*s - 20 = y, -3*s = -f - 0*f - 15 for f.
0
Let b be (-1)/3*1 - 10/(-3). Suppose -b*t - y = 1, 3*y + 4 = 4*t - y. Let z be (11 - 6) + (-2 + 2 - 1). Solve -z*x + t - 12 = 0, -l = -x for l.
-3
Let q = 6084 - 6081. Solve c - q = -17*y + 20*y, -3*c = 9 for y.
-2
Let l(u) = u**2 - 22*u - 73. Let t be l(25). Suppose -5 = -t*f + 3, 0 = -3*v + 4*f - 1. Solve 4*w - 4*r + 2 = -10, 0 = v*w + 5*r - 15 for w.
0
Let h(a) be the first derivative of 12*a - 10 + 9*a - 4*a - 3*a + 2*a**2. Let d be h(0). Solve 0 = 4*s - 5*c + 22, 0*s + 4*c = 2*s + d for s.
-3
Let v be ((-4)/9)/(9 - 166/18). Solve 5*a + 0*a - v*g + 30 = 0, -g + 13 = -2*a for a.
-4
Let q = -1 + -1. Let l be (4 + (12 - -1))*(q + 5). Let u = l - 49. Solve -4*w - 18 = 5*d, 3*w = u*d + 1 - 3 for w.
-2
Let m(u) = -14*u + 7. Let r(a) = -12*a + 6. Let s(h) = 5*m(h) - 6*r(h). Let d be s(2). Solve -d*g + 8 = -k - k, -k = g - 6 for g.
4
Suppose 2*y + 24 = 4*a - 2*y, -6 = -5*a - 3*y. Solve i + i - 17 = a*g, -4*i + 4 = 0 for g.
-5
Let z(h) = 518*h + 3629. Let g be z(-7). Solve -g*y - 93 + 112 = -2*s, y = 3 for s.
-5
Suppose 0 = 4*i + 4*n - 2*n + 22, -2*i - 3*n - 21 = 0. Let p be 4 - (4 - (3 + i)). Suppose 0 = -p*m + m. Solve -3*l + 3*c = m, 5*l = -2*c - 5 - 2 for l.
-1
Let s(v) = -5*v - 20. Let a be s(-4). Suppose 5*n + 3*t + t = a, 3*t = 0. Solve -3*f - 12 = -4*l - n*l, 3*l - 8 = 2*f for f.
-4
Suppose 0 = 22*y - 101 - 119. Suppose -y*v + 4 = -56. Solve 2*w - 8 = 0, w - 19 = v*k - k for k.
-3
Suppose -7*l - 3*l + 400 = 0. Let m be (-4)/(l/25)*-6. Solve 0 = -5*b + 5*f - m, -b + 5*f + 9 = 24 for b.
0
Let l(c) = -7*c**2 - 282*c - 78. Let p be l(-40). Solve -4*n = -2*t - p, -7*t + 0*n = 3*n - 44 for t.
5
Let y be (2*-1)/(-2) - -21. Suppose 3*o = -25 + 88. Suppose -3*k - 3*i + o = 0, -4*k + 24 = -k + 4*i. Solve -k*x + 2 = -5*x, y = -4*n - 3*x for n.
-4
Let y = 28 + -17. Let x be ((-1)/3)/((-29)/435). Suppose x*u - 48 = -u. Solve -2*z = -3*n - y, z + 2*n = 3 - u for z.
1
Let j(s) = -s**3 - 6*s**2 - 6*s. Let k(r) = -6*r - 30. Let n be k(15). Let u = n + 115. Let w be j(u). Solve 0*x - x - w*g = -7, 4*x = 5*g - 22 for x.
-3
Suppose -8 = -3*z + 4*z. Let d be (-10)/z - 2/((-16)/6). Suppose 0 = -u - 2*t - 8, 3*u - 26 = -t + 5*t. Solve -d*n - 3*c = 1, -3*c = -n + 2 + u for n.
1
Suppose 0 = 4*y + 21 + 59. Let q be ((-22)/(-4))/(y/(-40)). Solve q*u - 6*u - 5 = 5*b, 3*u - 11 = b for b.
4
Let v(g) = 47*g**2 - 41*g + 26. Let l be v(1). Solve 30*f - l*f - 2*m - 16 = 0, -4*f = -m + 7 for f.
-3
Let y be (-1)/(-2 + 10/6). Suppose 2*k - k - 4 = 0. Let w be 20/55*121/22. Solve -y = -k*v - q - 2*q, -4*v + w = 2*q for v.
0
Let o be -2 + 63/13 + 26/169. Let z(a) = -a**3 + 2*a**2 + 5*a - 4. Let b be z(o). Solve -3*x + 25 = -g + 6*g, b*g = -x + 10 for x.
0
Suppose 0 = l - 5*m - 25, -3*l - 42*m = -36*m + 30. Solve 3*f - 4*g + 44 - 58 = l, f - 18 = 4*g for f.
-2
Suppose 2*u + 25 = -5*g + 208, -3*g - u + 109 = 0. Let v(f) = -f**3 + 35*f**2 + 40. Let i be v(g). Solve -5*j - i = -0*j - 5*m, 3 = -3*j - 4*m for j.
-5
Suppose 9*p - 71 = 64. Let w = -5 - -9. Suppose -3*f - f = -3*y - 17, -w*f + 5*y = -p. Solve 22 = 2*o - 3*m + 7, 0 = f*o + 2*m + 10 for o.
0
Let d = -272 - -283. Let f(k) = k**2 - 15*k + 44. Let z be f(d). Solve 5 = -g - a, g + 2*a + 2*a + 17 = z for g.
-1
Let i = -167 + 169. Suppose 0 = 2*k - i*a + 2, 12 = 5*k + 2*a - 11. Solve u + 12 = -k*b, u - 4*b = -3*b + 8 for u.
3
Let l(g) = -g - 16. Let d be l(-18). Let t be 1*(-3 + d) + 2. Suppose 4*z = 3*z + t. Solve h = 2*j - 2*h + z, -4*j + 2*h - 6 = 0 for j.
-2
Let i(r) = r**2 + 7*r - 44. Let u be i(4). Suppose 4*c - w - 3*w - 32 = 0, c - 5*w = u. Solve -3*x + 5*b + c = 4*b, 0 = x - 4*b - 7 for x.
3
Let k = -12642 + 12906. Solve -4*m - 8 = 0, k*a - 266*a = -3*m - 10 for a.
2
Let s(o) = -o + 2. Let q be s(-8). Let i = q - 12. Let v be 1 + (i - (2 + (-3 - 4))). Solve -5*l - 3*x = -3 - 13, -2*x + 14 = v*l for l.
5
Suppose 4*h - 3*q = 121, 2*h - q 