= -0*m for a.
-2
Let o = 27 - 15. Suppose -4*f = -3*h + o, -3*f + f = 2*h - 8. Solve f = y - 5, 0 = -4*n - n - 3*y for n.
-3
Suppose 2*v = 9*v - 42. Solve 0 = -q + v*q + 4*m - 17, 3*q + 2*m - 9 = 0 for q.
1
Let o(h) = -2*h + 1. Let l be o(-4). Suppose 1 = -j + 3*w, -3*j - 5*w = -2 - l. Solve j*f - 2*t = f + 9, 4*f = 2*t + 18 for f.
3
Suppose 5*z = q - 4, -3*z - z = -5*q - 22. Let s be (-2)/q*(0 + 3). Let p = 9 + 1. Solve 5*b - 4*b + s = 2*n, 2*b + p = -4*n for n.
-1
Let b(j) = -j**3 + 6*j**2 - 4*j + 3. Let a be b(4). Suppose -9*h + 1 - 1 = 0. Solve -d = 4*n - 4 + 3, h = 4*n - 5*d - a for n.
1
Let j be (-9)/(-8) - (-5)/(-40). Let u(b) = 3*b**2 + b - 3*b**2 + 3*b**2. Let f be u(j). Solve -2*v - 6 = 3*s, 0*v = -v - f*s - 13 for v.
3
Let h(j) = -j**2 + 6*j - 6. Let v be h(3). Solve 2*o + r = 6, o - 6 = -o - v*r for o.
3
Suppose 4 = 3*f - f. Solve -3*g + 7*q + 32 = f*q, -4*g = -3*q - 28 for g.
4
Let c = 7 + -5. Suppose -1 = -3*s - 0*g + g, -2*s - 3*g + 19 = 0. Solve 5*u - 15 = 0, -c*z + 8 = -0*u + s*u for z.
1
Let l(n) = -n**2 - 8*n - 8. Let t be l(-6). Let i(c) = 2*c - 6. Let k be i(t). Solve -3*y - 22 = -2*v, 0 = -2*y - k*v + 3 - 1 for y.
-4
Let z = 7 - 7. Suppose z = 3*p - 0*p. Solve 0 = -p*a - 4*a + n - 1, -n = -5*a - 2 for a.
-1
Suppose 3*i + 5*f - 8 - 9 = 0, -2*f + 18 = 4*i. Solve -4*j = -i*w, 3*j = 2*w - w + 6 for w.
3
Suppose 0*m + 5*m - 3*v = 13, -5*m + v = -11. Let r = 25 - -33. Let d be 3/(-12) + r/8. Solve 3*j = -2*p + 15, -d*j - p = -m*j - 25 for j.
5
Suppose 3*n = 2*v + 6, n = -4*v - n + 20. Suppose -v*u + 14 = -b - 29, 3*u - 3*b = 33. Solve -p + u = 5*m, -5*p - 5 = -5*m + 5 for p.
1
Suppose 1 = -4*j + 17. Let s = j + 2. Solve 6 = 4*v - 2*u, 6*v + s = 3*v + 5*u for v.
3
Suppose 5*s = 2*q + 5, -2*s + 34 = 5*q + s. Solve 14 = -3*u - q*g - 10, -3*u = g + 12 for u.
-3
Let c be (-9)/(-4 + 1)*1. Solve -3*u - 16 = -c*b - 2*u, -4 = u for b.
4
Let p = -3 + 5. Suppose -10 = 2*y + 4*g, -3*y + 2*g + 2*g = -25. Solve -y*b = -4*l + 11, -2*b - p*l = 3*b + 27 for b.
-5
Let i be (8/10)/(2/40). Solve -3 - 3 = 2*o, 0 = 5*d + 2*o + i for d.
-2
Let d be -1 + 5 + (-1 - -2). Suppose a + 3*n + 15 = 0, 0*n = -3*a + n - d. Let j = 3 + a. Solve t - 13 = -0*t - 2*l, 5*l - 20 = j for t.
5
Let n = -78 + 42. Let p be (n/(-4))/(9/6). Solve -2*j + 16 = -j + 4*o, 2*o = -4*j - p for j.
-4
Suppose -2*c = -m, -2*c = 4*m - 9*m + 8. Let y = 1 - c. Let k(a) = -a**3 + 5*a**2 + a. Let i be k(5). Solve y = 4*j - i*n - 32, 2*j - 5*n - 5 = 21 for j.
3
Suppose 225 = -2*o - o. Let r = -43 - o. Suppose -3*j + r = -5*m, -4*m = 2*j - 1 + 9. Solve -3*p + 8 = j*l, 3*l - 11 = 2*p + 12 for l.
5
Let d = -99 - -104. Solve 4*o - p + 3*p = -14, 0 = d*p + 15 for o.
-2
Let x(g) = -g**2 - 8*g - 12. Let k be x(-8). Let s = k - -15. Solve -s*w - 2*w - 25 = h, 0 = -3*w - 2*h - 22 for w.
-4
Let a = -8 - -11. Solve -10 - 2 = 3*t + a*v, 0 = -t + 4*v + 21 for t.
1
Suppose 4*v = 16 - 4. Suppose -m - v = -10. Solve 3*q + q = -2*i - 8, q = 4*i + m for q.
-1
Suppose 2 - 22 = 4*d. Let k be -2 - (d - -3 - 3). Solve 0 = -0*c + 5*c + q + 12, -k*c = -5*q + 24 for c.
-3
Let d(c) = -3*c**3 - 2*c**2 - c. Let g be d(-1). Suppose -k = -g*k. Solve k = -2*j + 3*j + x + 3, -1 = -j + 3*x for j.
-2
Let n = 4 - -1. Let z be (-2)/n*(1 + 4). Let a = 5 + z. Solve c + c = -4*y - 8, -c = -a*y - 16 for y.
-4
Let u(n) = n**3 - n - 2. Let l be u(2). Let q = -5 - -12. Solve -3*y + 3*f - 3 = q*f, 0 = 4*y - f + l for y.
-1
Let q(a) = -3*a + 20. Let n be q(5). Solve -n*d = 2*z + 15, -5 = 5*d - 0 for z.
-5
Let z be 2/8 + 76/16. Solve 2*b - 2*d = -0 + 4, z*d + 15 = 0 for b.
-1
Let y(g) = -2*g + 1. Let j be (-174)/(-54) + (-4)/18. Let z be y(j). Let n = 7 - z. Solve 3*k - 4*d - 8 = 0, k - 4*d = -3*k + n for k.
4
Let i be (-2)/4*(-19 - -13). Solve 0 = -o + 4*o + i*c, -7 = -5*o + 2*c for o.
1
Let t(m) = m**2 + 5*m + 6. Let j be t(-4). Suppose -4*z - 5*n + 33 = 0, 18 = 4*z + 4*n - 2*n. Solve 14 = 4*b - z*f, 3*b + 2*b = -j*f + 4 for b.
2
Suppose 5*n - 11 = b - 4*b, -n - 9 = -5*b. Let o(v) = v**b + 4 - 4 + 7*v + 2. Let p be o(-7). Solve u - 2*z = 13, -2*u = 4*z - p*z + 4 for u.
3
Let d(k) = -k - 2. Let l be d(-7). Solve 3*j = -4*v - 2*j + 12, l*v - 15 = 2*j for v.
3
Suppose b - 10 = -b. Let z be -4*(b/(-2) - -2). Solve 2*k - 31 = z*y - 3*k, -y - 4*k = -17 for y.
-3
Suppose -3*u = -5*i + 33, i - 5*u - 35 = -4*i. Solve 0*w + 7 = 2*w - 3*s, w + s = i for w.
5
Let i(b) = -b**2 + 3*b + 7. Let q be i(5). Let z = q + 3. Suppose -4*d + 3*d + 20 = 0. Solve -x = z, x = -a + 6*a + d for a.
-4
Suppose 0 = -5*n + 17 - 2. Solve 0 = z - n, 0 = -2*m + 7*z - 4*z - 7 for m.
1
Suppose 0*i + 3*i - 24 = 0. Let f = -5 + i. Suppose 3*d + 2*d + 4*a = 45, 3*d - f*a = 0. Solve 33 = 2*n + d*l + 3, -4*n - 4*l = -36 for n.
5
Let b be 12/7*(-6 - -13). Suppose 0 = b*p - 15*p + 9. Solve -4*l = 5*s - 9, p*l + 26 = -l + 2*s for l.
-4
Let j = 6 - 3. Let x = 0 + j. Suppose -3*p + s = -6, -p + s = -2*s + 6. Solve p = x*a + 2*w, 0 = -5*a - 3*w - 2*w for a.
3
Let x = 217 - 97. Suppose -4*o + x = 4*l, 0 = 4*o - 6*o - 4*l + 70. Solve 4*i + 25 = 5*v, 0*v + o = -i + 5*v for i.
0
Suppose 0*v - 5*j = -v - 18, 2*j = -3*v + 14. Solve 5*f + c + 22 = v*c, -2*f = -2*c + 4 for f.
-5
Let c(x) = 3*x**3 + 17*x**2 - 7*x - 1. Let m be c(-6). Solve -5 = -5*u + m*s + 5, 0 = -5*u + 3*s + 16 for u.
5
Suppose l - 45 = -2*l. Let g be (-80)/l*3/(-2). Let j = 0 + g. Solve -3*t = p - 4, -4*t - p + 3*p = j for t.
0
Suppose 6*g - g = 0. Suppose 2*n + 2*n - 8 = g. Solve 5*w = n*o + 14, 5*o + 0 = -2*w - 6 for o.
-2
Let i be 4*(9/6)/3. Solve -2*k = -5*j + 13, i = -k + 2*j - 4 for k.
-4
Suppose 3*k - 16 = -g, -5*g - k + 25 = 3*k. Solve g = -n - 0, 0 = 5*o - 4*n + 16 for o.
-4
Suppose 0 = -6*p - 0*p + 12. Solve -5*w - 4*u = -12 - 16, w - p = u for w.
4
Let s = 25 - 13. Suppose -s = -3*m - 3. Solve m*y = 5*d - 4 + 18, d + 3*y - 8 = 0 for d.
-1
Let s(c) = -c**2 + 3*c + 3. Let x be s(3). Let p be (-6)/((36/(-8))/x). Let d = 2 - -2. Solve -p*g + 12 = 0, -v + d*g - 2 = 4*v for v.
2
Let w(p) = p**3 - 3*p**2 + 3. Let b(l) = l**2 + 2*l - 5. Let i be b(-4). Let s be w(i). Suppose -2*v = s - 11. Solve v*o + 3 = 3*a, a - 5*o = -a - 5 for a.
5
Suppose 0 = -x + o - 11, 14 = -2*x - 2*o - 20. Let f be (-35)/x*6/5. Solve -3*u + f*p + 5 = 2*u, 25 = 5*p for u.
4
Let o = -46 - -58. Solve 0 = 3*d + 15, 2*r - 2*d - o = 2*d for r.
-4
Let b be 2*2*(-9)/(-6). Suppose 0*k = -k + b. Let f = 18 + -12. Solve w - f = -u + k*w, 0 = u - 2*w for u.
-4
Let m(y) = -y**3 + 22. Let g be 1/2 - 2/4. Let o be m(g). Solve b - u = 6*b - o, 4*b - 2*u = 26 for b.
5
Let r(x) = -x**2 - x + 3. Let b be r(0). Let l(n) = -n**2 + 4*n + 1. Let t be l(b). Suppose -27 = p - t*p. Solve 0*j - j - 5*f + 19 = 0, p = 3*j + 3*f for j.
-1
Let v be (-2)/(-9) + (-490)/(-63). Suppose -4*w + 0*w = -v. Solve -4*g - 9 = -3*q - w*g, 2*q + 5 = 5*g for q.
5
Suppose 5*l - 4 = 5*j + 1, l = 2. Solve 2*b + 2*s = 0, -3*b - 5 = -s - j for b.
-1
Let x be (-6 - -3)*11/(-3). Solve -f = -3*n - x, 0 = -4*n - 2*f - 5 + 7 for n.
-2
Let l = 3 - 3. Let r = 4 + l. Solve -3*d + 4*v + 1 = 0, 2*d - 3*v = 2*v - r for d.
3
Let o be 2 - 1 - (-2)/1. Suppose 2*q = o*q - 18. Solve -3*m = -w - 10, -4*w + 7 = m - q for m.
5
Let t = -8 + 11. Suppose -4*b - 2*s + 75 = s, -t*b = -2*s - 35. Solve -5*x + b = -4*p, 2*x = -0*x - 2 for p.
-5
Suppose -31 + 127 = 4*h. Solve 5*v + h = -w, -3*w - 2*w + v = 16 for w.
-4
Let d be (-4)/20 + (-81)/(-5). Let y = -5 - -9. Solve -y*t - 4*c = -2*c + 6, -t + d = -3*c for t.
1
Let l(h) = -h + 2. Let m be l(2). Suppose -2*k = -m*k - 10. Solve -2*o + k = 3*o, 2*b + o = -1 for b.
-1
Suppose 3*v + 8 = 7*v. Solve -4*m - m - 37 = -3*r, r = -v*m - 6 for m.
-5
Suppose 0*c + 20 = 4*c. Let r be ((-189)/6)/(-7)*-2. Let p = r - -13. Solve 3*g - 5 = c*a - 3*a, p*g - 9 = 5*a for a.
-1
Suppose 0 = -2*d + 5*y + 20, 2*d + 7 - 59 = -3*y. Suppose 0 = 2*i + 2*z - 6*z - 8, -5*i = -2*z - d. Solve -a + 5*k - i = 0, -4 = a + 5*k - 0 for a.
-4
Suppose -5*y + 38 + 12 = 0. Solve -15 = u - 2*w - 0*w, 2*w + y = -4*u for u.
-5
Let g = -20 - -57. Solve 4*j - g = -4*v - j, -2*v + 1 = -j for v.
3
Suppose -p + 2 = 11. Let o = -14 - p. Let s = o + 7. Solve 28 = -4*u - 4*n, n + s*n - 9 = 3*u for u.
-5
Let r = 6 - -4. Let w = r + -5. Suppose 4*p + 2*q = 28, p = -2*q - 7 + 20. Solve -p*b - 20 = -5*d, d = -2*