 7 + -3. Solve m + t = -0*m + 4*l, -2*m + j*l - 20 = 0 for m.
0
Let m(n) = -n**2 + 10*n + 11. Let z be m(11). Solve z*s - 3*u - 11 = 4*s, 11 = -3*s - 5*u for s.
-2
Let p(m) = m - 1. Let b be p(5). Suppose 3*j - b*z = 2, j - z - 4 = -3*z. Suppose -10 = -j*t - 4. Solve 0 = t*s - y + 2 - 1, 2*s + 4*y + 10 = 0 for s.
-1
Suppose -4 = 2*i - 2. Let y be ((-10)/(-6))/(i/(-3)). Solve -3*q = 4*n, y*q - 16 = 6*q - 4*n for q.
-4
Suppose -4*n + 20 = -m, m - 5*m + 5*n = 25. Solve -2*r + 3*i + 14 = m, r - 2*i - i = 13 for r.
1
Suppose 3*z - 7 - 2 = 0. Suppose 24 = k + z*k. Suppose -k*g = -g. Solve 5*j + g*n = -n - 11, j + 1 = n for j.
-2
Suppose -4*y + 0*b + 3*b + 29 = 0, y - b = 8. Let k = 12 - 5. Solve 3 = -j + y*a + 12, 5*a = 3*j - k for j.
-1
Let a be ((-6)/9)/((-1)/3). Solve 4 = -2*i + f, 2*f + 2*f = -a*i - 4 for i.
-2
Let l be (-3 - -1)*4*3/(-6). Solve -c - l*b - 4 = c, 5*c + 3*b + 10 = 0 for c.
-2
Suppose -4 - 2 = -3*x. Suppose 11 = x*u + 1. Solve 0 = -2*y + u*g + 5, -14 = 4*y - 4*g + 2*g for y.
-5
Let y(q) = q**2 - 4*q - 8. Let c be 16/(-28) + (-46)/(-7). Let b be y(c). Solve -3*f = b*h + 9, h + 0*h + 3*f = 0 for h.
-3
Suppose 3*x + 0 + 1 = j, -3*x = -2*j + 5. Let s = x - 1. Suppose -13*y + 16*y - 9 = 0. Solve f + y*b - 19 = s, -2*f + 0*b + 3 = -b for f.
4
Suppose 4 = 3*k + k. Let q be -3 - k*(-32)/4. Solve -4*s + 24 = 4*h, h - 3*h - q*s = -15 for h.
5
Let j be (-3 + 3)*(1 - (-4)/(-3)). Solve -3*u - 3*z = -3, -2*z - 33 = -5*u - j*u for u.
5
Let o = 8 + -9. Let y be (4*1)/(0 - o). Solve 0 = 2*b + y*h + 12, 0 = -3*b + 2*h + 18 + 4 for b.
4
Let s be 15 - (-3 + 5)/(-2). Let d(u) = -9*u - 3. Suppose 0 = -2*j - 1 - 3. Let c be d(j). Solve 2*k + s = -3*r - 2*k, 5*r + c = 5*k for r.
-4
Suppose -5*j - 4*x = -2*j - 11, -j - 5*x + 11 = 0. Let u be j + (-8)/(2 + 0). Let m = -3 - u. Solve 2*w - 3*t + m*t = -9, -w - 6 = -2*t for w.
0
Let v(b) = b - 5. Let f be v(6). Let z = f + 2. Solve -z*w = -2*m - 3, m = -2*w + 3*m + 4 for w.
-1
Suppose -4 = w - 13. Solve 3*x - w = 5*h + 2, 4*x = 2*h + 10 for x.
2
Suppose -k + 6 = 2*k. Let s = 0 + k. Suppose -3*u = s*u - 35. Solve -8 = -4*p + 2*a - 2, -u = -3*p + a for p.
4
Suppose 4*k - k - 66 = 0. Solve t + 5*h + 0 + k = 0, 5*t - 5*h = 40 for t.
3
Let l(x) = -x**2 + 6*x + 10. Let u(v) = v + 1. Let y(m) = l(m) - 5*u(m). Let z be y(0). Suppose 15 - 3 = 4*j. Solve -6*f + 3*f - j*h = 0, 40 = z*f - 5*h for f.
4
Let g(a) = -5*a**3 + a**2 + 2*a + 1. Let o be g(-1). Suppose -3*r + 15 = 2*k + 3*k, 0 = -o*r + 25. Solve 3*x + 0*h + 18 = -3*h, 3*x + 4*h + 20 = k for x.
-4
Let u be -2*(-3)/(18/3). Let g be u - (-5)/(5/6). Suppose -3*q = -4*k - 5 - 14, -k - 1 = 0. Solve q*m = h - g, 3*m = -0*h + 2*h - 7 for m.
-1
Let w(y) = y**2 + y. Let b be w(-1). Let n = 8 + -5. Suppose 0*d - d = -n. Solve 3*m - 2*f - 1 + b = 0, -2*m - f + d = 0 for m.
1
Let h(v) = 7*v**3 - v. Let u be h(-1). Let q be (10/u)/(3/(-9)). Solve -17 = -4*d + 5*k, -k + 13 = q*d + k for d.
3
Let h be (2 + -2)*(-1)/2. Let c = 0 + h. Suppose -i + 2*i = c. Solve 2*x - 6 = -3*m - m, i = -3*m for x.
3
Let h(u) = -u**2 + 15 + 14*u - 4 + 6. Let z be h(13). Solve 0 = 5*a + 4*w - z, -a - 9 = -3*a - w for a.
2
Let c(k) = -2*k**2 + 13*k - 8. Let p be c(5). Solve 4 = s + 2*l, 5 = s + 4*l - p for s.
-4
Suppose -14*n = -11*n. Solve -1 = 3*g + 4*m, n*m + 8 = 4*m for g.
-3
Suppose 0 = -j - 3 - 9. Let b be (-32)/j*3/2. Solve f = p, b*p + p = f + 4 for f.
1
Suppose -4*m + 3 = -1. Let b be -16 - -17 - (-4 + m). Solve b*l + 12 = -2*o, -o = -2*l - 4 - 2 for o.
0
Let o be (3*(-6)/3)/(-1). Solve 3*k = 5*h + 22, 2*k + 21 = o*k - 5*h for k.
-1
Let y(t) = -4*t**2 + 3*t - 9. Let a(g) = 3*g**2 - 4*g + 8. Let s(c) = 3*a(c) + 2*y(c). Let k be s(5). Solve 5*r = -4*u + 3 + k, -3*u - 24 = -3*r for r.
4
Let p(z) = -2*z + 10. Let b be p(-4). Suppose -j + 4 = j. Solve -4*w - 38 = 3*m - 7, -j*w = 2*m + b for w.
-4
Let j = -60 + 67. Solve -4*x - j = -t, -2*x = 3*t + 2 + 5 for t.
-1
Let g(r) = -r**2 + 3. Let z be g(3). Let m be (2/z)/((-6)/36). Suppose 0 = y + m*y. Solve 5*s = -y*c - c, 2*c + 13 = 3*s for s.
1
Suppose 33*o - 16 = 29*o. Solve -5*n + 10 = -r, 5*n + 0*n + o*r = 35 for n.
3
Let v(w) = -w - 9 + 1 + 2*w - 2. Let p be v(13). Let t(l) = -l**2 - 6*l + 5. Let n be t(-6). Solve n*r + 4*y - 58 = -22, 0 = p*r + y - 16 for r.
4
Suppose 0 = 5*o - 2*o + 48. Let i be (o/12)/(2/(-3)). Suppose -2*s + 3*b + 1 = -i*b, 4*s = -b + 13. Solve h + 2 = s*j, -2*h + h + 1 = 0 for j.
1
Suppose -3*w = -0*w + 21. Let y be (0 + 2/(-2))*1. Let j be (2*y - w)/1. Solve -j*m = k - 12, -k + 0 = 4*m - 9 for k.
-3
Suppose 0 - 16 = -4*i. Let g be i/(-6) - 14/(-3). Suppose -g*x + 5 = -3. Solve -x*s = -5*t, 2*t - s = -4*s for t.
0
Suppose 0 = r + 3*z - 22, -3*r - 3*z = 7 - 67. Suppose -2*f = -3*p + r, 2*p = f + 1 + 10. Solve 5*l + 4*v - 1 = 5*v, -p*l = -v + 1 for l.
1
Let z(j) = -j - 1. Let w be z(-3). Let u = -8 + -19. Let x = -3 - u. Solve -w*o - o = 3*f, 3*f - x = 3*o for f.
4
Let d(i) = -59*i**3 + i**2. Let s be d(-1). Let r be 45/12 + 3*(-3)/(-36). Suppose r*h - s = -h. Solve -3*q - 7 - h = -2*z, q - 7 = -2*z for z.
5
Suppose -m + 1 = -0*m. Suppose 19 = 4*p - m. Solve 2*k - 14 = -p*y + 9, k - 1 = y for k.
4
Let k be 5 + 4 + 1 + 2. Let m(r) = r**2 - 1. Let g be m(-1). Solve -2*l + k = l - s, 2*l + s - 13 = g for l.
5
Suppose 90 = 2*x + 84. Solve -37 = x*h + 5*q, q = -3*h + 3*q - 2 for h.
-4
Let n(b) = -3*b + 1. Let r be n(-5). Solve 13 = 2*a - 2*j + j, 0 = 2*a - 2*j - r for a.
5
Let n(d) = 7*d + 3. Let p be n(0). Solve g - 22 = 5*r, 4*g - 14 = 3*g + p*r for g.
2
Let f(d) = -2*d + 8 + d + 1 - 3. Let h be f(5). Solve -2*x + 20 = 4*k, -3*k - 4*x = h - 21 for k.
4
Let i be 19/2 + (-1)/(-2). Let b be ((-72)/15)/((-3)/i). Solve -4*q = -4*h - b, 0 = -h + 5*q - q - 4 for h.
-4
Suppose g + 2 = -4*n, 2*g - 3*n = -0*g + 7. Let b be 2 - (-2 + 4)*-1. Solve 3*q = 3*j - q + 4, g*j + 8 = b*q for j.
4
Let t = 9 + 1. Let a = 14 - t. Suppose -d = -4*b + 23, -a*b = -0*b + 2*d - 14. Solve -b = -4*s - 25, 3*s = -3*y - 24 for y.
-3
Let y(m) = 8*m**3 - 2*m**2 - 2. Let b be y(2). Let w be (10/(-15))/((-4)/b). Suppose 3*v + 0 = w. Solve -v*x = 4*a + 29, 4*a = a + 5*x for a.
-5
Let k = -181 + 192. Solve -s = 3*n + 14, -5*n - 7 = -s + k for s.
-2
Let a(t) = -2*t**2 - 8 + 8*t**2 + 9. Let k be a(2). Let l be 19/4 - (-1)/4. Solve -l*j - 4*c = c + 5, 5*j - k = 5*c for j.
2
Suppose m - 2*k = 3*m - 12, -k - 24 = -5*m. Suppose -5*b + 12 = -s, -2*b + b = -4*s + 9. Solve m*r + 3 = -17, 3*r + 27 = -s*a for a.
-5
Let a = -12 + 27. Let f = 24 - a. Solve -3*b = -n - f, -7*n + 5*n + 6 = 2*b for n.
0
Let i = 32 + -26. Solve -i - 6 = v - 4*d, 0 = d - 4 for v.
4
Let p(o) = o**3 + 7*o**2 + 4*o - 7. Suppose 13 + 17 = -5*l. Let z be p(l). Solve 2*i + 3 = 3*q, -q + z = -3*i - 3 for q.
-1
Suppose 5*v - 8 - 7 = 0. Suppose -v*r = -0*r - 9. Suppose j = r*j. Solve -2*h - 10 = -3*h + 3*m, j = -4*h - 5*m - 28 for h.
-2
Let b = -10 + 1. Let k be (-2)/(6/b)*-1. Let r be k/(-12) + 2/(-8). Solve h - 3*w + 1 = r, 4*h - w = 3*w + 12 for h.
5
Suppose 0*g + 5*g - 4*n = 29, -3*g = n - 14. Solve -3*d - c - 8 = 0, -g*c = -d - 2*c - 6 for d.
-3
Let p = 12 + -8. Let v(u) = -u**2 - 8*u - 2. Let r be v(-7). Suppose w - 6*w = 5*a - 50, -r*a - 49 = -p*w. Solve -c + 4*q + q - 16 = 0, w = c + 4*q for c.
-1
Let y(n) = 2 - n**3 + 2*n + 6*n**2 + 5*n + 0*n**3 + 3. Let d be y(7). Suppose d*f + 1 = 11. Solve 0 = z + 2*s - 7*s - 29, f*s + 6 = -z for z.
4
Let r(a) = -3*a + 9. Let k be r(6). Let d = k + 18. Solve -3*v - d + 33 = 4*o, -3*o = v - 13 for o.
3
Let v(y) = y**3 - 7*y**2 + 7*y - 4. Let a be v(6). Solve 3*n - 3 = z - 7, -3*n - 19 = a*z for z.
-5
Suppose -5*l + 2*l + 15 = 0. Solve 3 = l*y + 4*v, 21 = 2*y + 3*y - 2*v for y.
3
Suppose u + 4*u = 25. Suppose -u*w = -g, 6*w - w = -2*g. Solve -3*f + 3*o - 15 = w, -5*f - 3*o + 7 = -4*f for f.
-2
Let r be 0 - (-1 + -1 + -2). Solve r = -2*j - o, j - 9 = 3*o + 2*o for j.
-1
Let h = 8 + 0. Let j = -5 + h. Let b be 0 + -2 - 7*-1. Solve 0 = -j*t + 3*z + 12, -b*t + 3*z = -0*z - 16 for t.
2
Let l(b) = -3*b + 29. Let w(f) = -4*f + 44. Let p(h) = -7*l(h) + 5*w(h). Let g be p(-8). Solve 2*a + a = z - g, -z = 3*a + 3 for z.
3
Suppose -2*x - 13 = 11. Let z be x*(-3)/24*2. Solve -5*k + 18 = -2*w, -4*w - z*k = -4*k for w.
1
Let q = -3 + 3. Suppose q = -4*y - 12, 0 = -c - 3*y + 