 = u, -25 = -5*n for r.
-5
Let t = 90 + -36. Let y be 230/18 + 12/t. Solve -2*g = 2*u - 3*g - 2, y = 3*u + g for u.
3
Suppose 0 = -3*g - 5*r + 34, 3*r = -7*g + 3*g + 27. Solve 4*u = -2*s - 12, g*s = 5*u - 2*s for u.
-2
Suppose -4*w + 0*w - 12 = -5*c, -4*c = w - 18. Solve 0 = -w*s + 3*a - 1, 0*s + 4*a = -5*s + 32 for s.
4
Let o = 20 + -21. Let z = 5 + o. Solve -4 = -z*h, 5*j = -4*h - 4 - 17 for j.
-5
Let y = -7 - -4. Let q = -3 - y. Solve 9*r - 4*r = l, -l - 5*r = q for l.
0
Let p = -71 + 73. Solve -s = -p*j - 1, -5*s + 2 = -3*j - 10 for j.
1
Let w = 2 - -2. Solve t + 16 = -5*d + d, 5*d = -w*t - 31 for t.
-4
Let n(x) = -x**3 - 5*x**2 - 6*x - 6. Let h be n(-4). Solve 0 = -4*i + 2*s - 22, -4*i + 5*i - h = -2*s for i.
-4
Let m(o) = -o**2 - 9*o. Let x be m(-9). Suppose 4*n - f - 24 = 3*f, -3*n - 4*f + 4 = x. Solve h = -2*h - 2*v - 18, n*v = -12 for h.
-4
Suppose 2*v + a - 1 = -0, 0 = 3*v - 4*a + 4. Let i be (3 - (-21)/(-6))*v. Solve i = 4*t + 6 + 14, 4*k = 5*t + 25 for k.
0
Suppose -18*t + 20*t - 6 = 0. Solve -3*o + 5*a = 2*o - 20, -3*a - t = 0 for o.
3
Let d = -5 + 9. Suppose -4 = -4*l + 2*l. Let o(k) = -k**2 - 6*k + 5. Let b be o(-6). Solve z + 4 = -b*u - l, 3*z + 7 = -d*u for z.
-1
Suppose -3 = 3*b + 4*x + 1, -3*b = -2*x - 2. Solve 2*d + 2*k = 5 + 1, b = 2*d - k + 9 for d.
-2
Let w = 0 + 0. Let a(d) = -9 + d + 2*d - 2*d. Let z be a(11). Solve w = 4*o - r - 0*r - 13, 0 = -4*o - z*r + 22 for o.
4
Let q(r) = r**3 + 6*r**2 - 6*r + 9. Let v be q(-7). Let k = v + 3. Solve t + 4*t = -2*y + 10, 0 = -k*t - 3*y + 10 for t.
2
Suppose 20*j - 25 = 15*j. Solve 27 - 7 = -3*v + 5*n, -4*n + 16 = -j*v for v.
0
Suppose 4*z - 3*z - 8 = -p, -5*p - z = -52. Solve -c - 2*w = 2 + p, -28 = c + 5*w for c.
-3
Suppose 3*x = 7*x - 4. Suppose -3*s + g = -1, -x + 0 = -4*s + g. Solve 0 = -i - 2, s*i = 3*u + i + 14 for u.
-4
Let a be 13 - (7/3 + (-4)/12). Solve -a = -2*m + 3*c, 2*m + 2*c + 1 = -13 for m.
-2
Let m = -13 + 11. Let y be m + 0 + 10 + -3. Solve y*a + 15 = -x, -2*a + 1 = 2*x - 1 for a.
-4
Let u(i) = 3*i - 1. Let k be u(1). Let o(f) = 2*f + k*f - 3*f. Let r be o(2). Solve -r*v = 3*t - 6, -t + 3 = v + 1 for t.
2
Let l(q) = -5*q + 3. Let g be l(3). Let p be ((-40)/g)/(4/6). Suppose -p*h = -11 - 14. Solve n = -4*v - 1 - 14, v = -h*n + 1 for n.
1
Let l be 8*9/6 - (0 - 0). Solve -3*p + 3*r = -l, 4 = 2*p - r - 0*r for p.
0
Suppose 5*n + 3*g + 0*g = 19, 2*n - 3*g + 5 = 0. Solve n*b + 1 + 10 = -3*i, 3*i - 3*b = -21 for i.
-5
Let a(j) = j**3 + 4*j**2 + j - 2. Let q be a(-3). Solve 3*h - 2*h = -q*s + 8, s = 1 for h.
4
Let l(v) = -v + 14. Let x be l(11). Suppose 0 = -0*s - x*s + 24. Let p(u) = u**2 - 7*u - 5. Let f be p(s). Solve 0 = a - 2*n - 0 - 9, 8 = -f*a - n for a.
-1
Suppose 0*p - 4*p + 20 = 0. Solve 0*g + 8 = -4*d - 2*g, p*d + 10 = -5*g for d.
-2
Let d be 90/(-27)*3/2. Let a = d - -6. Let u = a - -3. Solve 0 = -y + 5*y + u*o - 16, 5*y - 4*o = -25 for y.
-1
Suppose 0 = -3*q - 2*r + 26, -5*q = -2*r - r - 18. Let o(w) = 3 + 3 + w - 4 - 3. Let u be o(3). Solve -u*c + q = j, 2*c = 2*j - 6*j for j.
-2
Let i(c) = c**3 - 11*c**2 - 25*c - 11. Let m be i(13). Solve 2*g + 8 = 4*s, 5*s - 22 = -g + m for s.
4
Suppose -2*x + 13 = 5. Solve -4*q = -x*w - 5 - 3, -3*q = 2*w + 4 for w.
-2
Suppose 5*c + 5*o - 10 = 0, 2*c + 3*o - 2*o - 4 = 0. Solve -c*w = 5*u - 11, -2*u + w + 8 = 3*w for u.
1
Let g(q) = 4*q - 1. Suppose 20 = r + 4*r. Let d be g(r). Solve -4*m + m - h = -13, h + d = 4*m for m.
4
Suppose 7 - 2 = m. Suppose m = 2*n - 3. Solve d + 15 = -0*h - 5*h, n*h = 3*d - 12 for d.
0
Let y = -66 - -38. Let s(z) = -z**2 + 11*z - 22. Let n be s(10). Let j = n - y. Solve 2*o - j = 2*k, -2*k - 12 = -2*o + o for o.
4
Let v be 8/2 + 10/(-5). Let w be (v*(-1 - 5))/1. Let d be (-8)/w*1*3. Solve n - 2*p = -5 - 4, -d*p = n - 11 for n.
1
Suppose 16*g - 61 = 3. Solve -n + 5 + 5 = 4*q, 0 = g*n - 2*q + 14 for n.
-2
Suppose -57 = -10*z + 73. Solve -3*w + 5 = a + z, 0 = -a + 5*w for a.
-5
Suppose -7*b = -b - 192. Solve -b = -5*w - 4*z, -5*w + 9 = z - 14 for w.
4
Let n(i) = i**2 - 9*i + 5. Let k be (-498)/(-54) - 4/18. Let l be n(k). Solve 0*m = -l*m - 2*p + 9, 15 = 5*m + 5*p for m.
1
Let r(c) = c**3 + c**2 - 4*c - 1. Let z be r(-2). Solve 2 = -l - 3*h, 3*l + 19 - z = h for l.
-5
Let w be (0 - (-4 - -2))/2. Solve 5*i + 5*c - 24 = w, 3*c + 1 = i for i.
4
Let b = -1 + 3. Suppose -5*p = -k - 9, 3*k - b = p - 1. Solve -p*w = 5*a - 19, 0 = -2*w - 3*w - 15 for a.
5
Let s(g) = 5*g. Let x be s(3). Let k be 1 + 2/((-4)/(-10)). Let r(y) = -y**2 + 6*y + 2. Let f be r(k). Solve 0 = -v + f*j + 3*j + x, -9 = v + j for v.
-5
Let c(u) = -u - 8. Let q be c(-8). Let z be (q - 2 - -15)*1. Solve r - 6*t + 4*t - 1 = 0, -r - z = 5*t for r.
-3
Let g = 81 - 77. Solve g*b - 21 = m, -4 = 2*m + 4*b - 10 for m.
-5
Let w(o) = -o**3 - 10*o**2 + 9*o - 20. Let c be w(-11). Suppose -3*r + 7 = -2*d, 0*d + 5*d = 2*r + 10. Solve 4*z - 20 = d*j, -5*z = 2*j + c*j + 11 for z.
1
Let v = 9 + -6. Solve -5*h + y - 4 = 0, 0 = -4*h - 5*y - v - 6 for h.
-1
Let s(x) = x**3 + 10*x**2 + 15*x + 5. Let t be s(-8). Solve 0 = -5*g - 5*f + 20, -4*g + t = 2*f - 1 for g.
3
Let y = 9 - 3. Suppose -t = 3*l + 2*l - 19, 47 = 5*t + l. Let m = t - -9. Solve -2*c - 3*f - y = 0, -3*f = -c - c + m for c.
3
Let q = 10 + -5. Let d be (1 + -3)*(-13 - -9). Suppose -2*b = 2*b - d. Solve -3 - q = -b*s, 0 = -l + 5*s - 16 for l.
4
Suppose -6*u + 15*u = 198. Solve -13 = l - 9*n + 4*n, 5*l - u = -4*n for l.
2
Suppose -3*p = -9 + 3. Suppose p = 4*d + 3*l - 1, -2*d + 2*l - 2 = 0. Solve c - m - 2 = 0, 1 + d = 5*c - 2*m for c.
-1
Suppose 8 - 2 = 3*k. Solve 5*m - 1 + 3 = 3*r, k*r = 3*m + 2 for r.
4
Let g = 7 + -14. Let d(q) = -q**2 - 7*q + 2. Let y be d(g). Solve -4 = -3*w + 3*a + y, -5*w + a + 22 = 0 for w.
5
Suppose -4 = -3*l + 4*r - 0, 0 = -4*l - r - 1. Suppose -5*d + l = -40. Suppose 0 = -2*m + 4*m - d. Solve 0 = m*w + z + 1, -3*w + 4*z - 4 = -8 for w.
0
Let v be (-18)/42 + (-426)/(-14). Suppose -3*l - v = -9*l. Solve -3*s + 30 = 4*r - 8*s, l*r - 33 = 4*s for r.
5
Let k(o) = -4*o + 4. Let c be k(4). Let d be (-9)/(-2)*c/(-18). Let m(a) = -a - 4. Let q be m(-7). Solve d = g + 4*r, g + q*g + 5*r = 12 for g.
3
Let q be ((-10)/25)/((-2)/(-10)). Let a = q - -5. Solve -2*p = 5*l + 2*p - a, -12 = 2*l - 5*p for l.
-1
Let k = -13 - -15. Suppose -45 = -2*z - z + k*c, 5*z = -5*c + 75. Solve 4*a = u + z, 4*u + 3*a - 5 = 30 for u.
5
Suppose 3*w + 5*h = 29, -h = 5*w + h - 23. Let s = w - 1. Suppose s*j = -d + 5, 4*j = j - d + 9. Solve 4*y - 2 = 2*i, -y - y - j = 0 for i.
-5
Suppose 16 = -5*a + 4*j, -4*a - 4*j + 11 = -5. Let i = 4 + a. Suppose 3*q = i*q - 2. Solve 4*r - q = -2*m, 0*m - 7 = -m - 4*r for m.
-5
Let d be 6 + -4 - 3 - -1. Solve w + d*w = 1, -3*n - 2*w = -2 for n.
0
Suppose j - m - m = 6, m = -2. Suppose 0 = 2*f - 4 - 4. Suppose j*d + 4*n - 26 = 0, f*d - 2 + 0 = 2*n. Solve -d*z + 3*s - s = 2, 3*z = -5*s - 37 for z.
-4
Let q = -97 + 101. Suppose -5*a + 14 = -11. Solve 0 = 3*l + w, -2*l + a*l - q*w = 0 for l.
0
Suppose p + 4 = -5. Let u = p - -11. Solve 5*h = 2*q + 4, -q + u*h - 3 = -1 for q.
-2
Let m(u) = u**2 - 6*u - 6. Let o be m(-3). Solve -4*l + 17 = x, -5*l + 0*l + o = x for l.
4
Let y(o) = -o**2 + o + 15. Let z be y(0). Let a be z - (3 - (3 + -2)). Solve -20 = -4*j + 2*h, -4*j + 3 = -h - a for j.
3
Suppose -10 = 5*s, 6*n - n - 2*s + 6 = 0. Let u be 5*n*2/(-10). Solve -3*k + 3*y - 15 + 3 = 0, u*k = -2*y - 12 for k.
-5
Let i(l) = l**2 - 3*l + 1. Let c be i(4). Solve 2*m + c*q = 7, 4*q - 4 = -m + 1 for m.
1
Let x = 41 - 40. Solve 3*j = -4*c + x + 3, -3*c + 24 = -3*j for c.
4
Let y = 144 - 74. Suppose -4*s + y = s. Let x(t) = t**2 + 10*t - 9. Let g be x(-11). Solve -5*l = -4*p - 0*p - s, 0 = l - g*p - 4 for l.
2
Let j(c) = 5*c + 35. Let h be j(-6). Solve -3*b - i = 10, 0 = -2*b + 7*b + h*i for b.
-5
Let y = -52 + 52. Solve y = 2*v, k + 2 = 2*v + 1 for k.
-1
Let m be (-34)/(-14) + 30/(-70). Solve -2*t = a - m, 4*a + 2*t = -2*t + 8 for a.
2
Let u be (-4)/(-2) - (-2 + -1). Suppose 5*p - 133 = -3*h, -u*h - 3*p = -120 - 91. Solve -5*r - h = -5*y + 9, -35 = -4*y + 3*r for y.
5
Let v be (-1)/((-2)/((-68)/(-2))). Suppose 4*s = -4*g + 3*g + 4, 4*s + 3*g = 12. Let j = v - s. Solve -4*h + q = -j, -3*h - 5*q = 2*h - 40 for h.
5
Suppose 23 = 5*b - 2. Suppose -b*r + 50 = 3*g + 2*g, -g = -5. Solv