+ s + 7 = 5*i, -4*m + i + 12 = 0. Solve -3*k + 2*k = l + 5, 20 = -3*k - m*l for k.
0
Let w(h) = -h**3 + 8*h**2 - 6*h + 5. Let i be w(5). Let c = i + -48. Solve 0*t - c*d = 5*t - 23, 7 = 5*t - 2*d for t.
3
Let w(k) = -k + 14. Suppose 6 = -6*t + 9*t. Let r be ((-6)/(-18))/(t/60). Let p be w(r). Solve 0 = 3*b + s - 11, p*b - 5*s + 0*s = -17 for b.
2
Let p(f) = -f**3 - 8*f**2 - 12*f + 8. Let g be p(-6). Suppose 0 = 3*k - 1 - g. Solve 0 = -2*r + r + k*s - 3, 5*s = 5*r + 5 for r.
0
Let v = 102 - 72. Let q be (30/(-25))/((-9)/v). Solve -4*y + 0*y - 11 = 5*o, q*o + 16 = 4*y for o.
-3
Suppose 10*l + 8 = 14*l. Let q(c) = -14 - c + 15*c**l + 1 + 0 + c**3 + 0. Let v be q(-15). Solve 8 = 3*z - 4*h, -4*h - 4 = 2*z - v*h for z.
0
Let x be (0/1)/(1 - (-4 + 7)). Solve -2*m - 3*i - 3 + 1 = x, 0 = 2*m + 4*i + 2 for m.
-1
Let g = -1864 - -1867. Solve -g*y + 25 = -5*t - y, 5*t + 20 = y for t.
-3
Suppose q + 7 = -2*w + 1, 20 = 2*q - 4*w. Let k be ((-2)/q)/((-15)/60). Let i be ((-16)/6)/((-3)/18). Solve -i = -2*f + k*r, f + 6 = -5*r - 0 for f.
4
Let r = -4 - -10. Suppose 0*t = -r*t + t. Solve -5*l - 37 = -3*z, t*z + 4*l = z - 24 for z.
4
Let o = 4 + -15. Let y(x) = -11*x + 17*x**2 - 11*x**2 + 2 - 7*x**2 + 1. Let g be y(o). Solve -2*a = -4*w + 20, -7*a - 2*w = -g*a for a.
-2
Suppose 0 = 2*p + 2*p + 8. Let u be 0*p*1/6. Let k be (0 - -2)*(-18)/(-12). Solve -5*g + k*f = 14, u = -3*g + 4*f + 3 - 18 for g.
-1
Let t(z) = -z**3 - z + 2. Let v be t(0). Suppose v*i + 43 = 3*f, 3*f - 4*f - 4*i + 5 = 0. Solve 2*p = q + f, -6*q = -2*q + 12 for p.
5
Let x = -74 + 78. Let d = 6 - 2. Let z(j) = -j**3 - 5*j**2 - j - 2. Let i be z(-5). Solve -d*t = l - t + 1, i*t + 26 = x*l for l.
5
Let h(j) = -5 + 5*j + 3*j**2 + j + j - 3*j. Let r be h(1). Solve 3*d - 6 + r = 2*b, 2 = -b + 5*d for b.
-2
Let j be (16/24)/(-2 - (-40)/18). Let f(g) = -g + 2*g + 0*g + 3 + 3. Let t be f(-2). Solve j*l = b - 8, 4*l - 5*b - t = -0*l for l.
-4
Let j(q) = -q**3 - 3*q**2 + 3*q - 1. Let t be j(-5). Let i = t - 17. Solve -2*g - 4*u = -26, 5*g - i = 2*u - 0*u for g.
5
Let r = 5 + -2. Suppose 3*z = 5*f - 109, 0*z = 5*f - z - 103. Suppose 0*v + 3*v + 4*b = f, -4*v + 12 = -2*b. Solve 0 = 3*a - 4*x + 6, r*x = v*a - 2*x + 8 for a.
-2
Suppose z - 10 - 21 = 3*x, -z - 49 = 5*x. Let c = 13 + x. Suppose 5*q - 13 = -5*v + v, 0 = c*q + 2*v - 9. Solve -q*g = -5*b, -b + 10 = g + 3*b for g.
2
Suppose 57 = -12*w + 237. Solve -4*h - 12 = -3*v, 0 = -4*v + 9*v - 5*h - w for v.
0
Let q(o) = -o + 15. Let k(t) = -t + 15. Let a(r) = -2*k(r) + 3*q(r). Let l be a(-9). Solve -5*h + l = p - 3*p, -h + 8 = -2*p for p.
-2
Let q(z) = z**3 - 6*z**2 + 4*z + 13. Let j be q(5). Suppose c = -0*c + j*c. Solve 0*o - 12 = i - 4*o, -2*o + 4 = c for i.
-4
Let c be (24/6)/(-1 - -7)*18. Suppose 5*d + u = 120, -2*d - c = u - 57. Solve -h = 3*t - 8, 7*t - 2*t - d = -4*h for h.
5
Suppose 0 = 7*y + 5*y - 117*y. Solve -3*d + 2*d - u = y, -4*d - u = 12 for d.
-4
Let q = 139 - 135. Let k = 18 + 21. Let j = k + -25. Solve 0 = -q*h + 3*o + 10, 5*h + o - 4*o = j for h.
4
Let k(c) = c**3 - 3*c**2 - 4*c + 6. Let r be k(4). Suppose -2*o - o + r = 0. Let m be -22*2/8*-2. Solve -5*n - u - m = 0, -2*n - 3*u - 9 = o*u for n.
-2
Suppose 3*y - 4*s - 8 = -y, 0 = 4*y - 3*s - 10. Suppose -y*j = j - 175. Let g = j + -25. Solve 3*w + w = -i - 25, -g = -w + 3*i for w.
-5
Let i = -20 + 24. Suppose 4*s = i + 8. Suppose 12 = 2*y + 3*x, 0 = -s*y + x + 7. Solve 5*w - 11 = y*r - 2*r, 12 = 5*w - 2*r for w.
2
Suppose 21*j + 52 = 8*j. Let r be (18/4 + j)*0. Solve 3*p + 5*s + 4 = r, 5*p + 5*s - 4 = -14 for p.
-3
Let x(g) = -3*g - 20. Let s be x(-10). Let h be (1 - 11)/(s/(-13 - -8)). Solve h*p = n - 4, 0 = -n - p - 2*p + 4 for n.
4
Suppose 0 = 2*q - 7 + 17. Let k be (-2)/q - (0 - 65/25). Suppose 6 = 3*z - 9. Solve -2*i - i - 9 = -k*y, y - z*i = 3 for y.
3
Suppose 0 = -8*x + 201 - 41. Suppose -13*w + 18*w - x = 0. Solve 3*o - w*l = 5*o + 26, 4*o + 5*l = -37 for o.
-3
Let k = -234 + 238. Suppose l = -4*l + 15. Solve -3*j + u + 16 = 0, -2*j + k + l = 3*u for j.
5
Suppose 2*c - 24 = -c. Suppose -13*m = -c*m. Solve s - 3*p + 5 = 0, -5*p + 11 = s - m*p for s.
1
Suppose d + 43 = 3*r - 116, 4*r - 4*d = 204. Suppose -3*g + 8*g = m + 106, r = 3*g - 3*m. Solve -v = v - 6, 2*j + 4*v = g for j.
5
Suppose 0 = -19*o + 24*o - 90. Solve 4*q - 8*c - 4 = -4*c, 0 = -2*q - 2*c + o for q.
5
Suppose -h = b - 2, h + 3*b + 4 = 6. Solve -i - 4*z = -h*z + 1, 4*z = 2*i - 14 for i.
3
Let z(v) = 7*v + 2. Let h be z(-3). Let r(t) = t**2 + 17*t - 36. Let k be r(h). Solve -3*m = k*u - 13, -2*m + 3 + 3 = 4*u for u.
-1
Let g(m) = -m**3 + 53*m**2 + 225*m - 3. Let t be g(-4). Solve -l + t = -4*w, -5*w + 10*w + 5 = -5*l for l.
1
Let g be (-2)/8 + (-218)/(-8). Suppose 4*i = -4*a + 28, -4*a + 4*i = -1 + 5. Suppose -l - t - a*t - 4 = 0, 3*l - t = g. Solve -5*z + z = 4*n, 4*n = -l for z.
2
Suppose -4*u = j + 10 - 28, 27 = 5*u - j. Solve 0 = -2*v - h - 2, 0*h + u*h - 26 = 2*v for v.
-3
Suppose -2*v - 2*x = -6*x - 16, v = x + 4. Let r(a) = -a**2 - 6*a + 2. Let o be r(-4). Let g = o - 6. Solve -4*s - 3*i - 10 = 0, 5*s + v = g*i + 3 for s.
-1
Suppose -y - 4*y - m = -5, -2*m + 10 = 5*y. Let b = 7 - 4. Suppose 0 = -c - i, y = -b*c + 2*i + i + 24. Solve -9 - 7 = 4*w + c*n, -2*w + 5*n + 20 = 0 for w.
0
Let p(n) = -2*n**3 - 12*n**2 - 19*n - 10. Let t be p(-4). Solve 0 = -d + t, -v - d + 2*d + 1 = 0 for v.
3
Let h = -6 + 4. Let u be h*3*(10 - 4). Let f = -36 - u. Solve 3*z + 5*g - 6 = 0, f = 2*z - 4*g - 1 + 19 for z.
-3
Let g(f) = 2*f**2 + 5*f - 2. Let q be g(2). Suppose p - 2*s + 2 = 0, -3*p = 4*s - q + 2. Solve -p*i = -3*t - 19, 0 = 3*i + 5*t + 11 + 8 for i.
2
Let o(f) = -f**2 - 7*f + 8. Let w be o(-6). Let q be 6/w - (-2034)/(-42). Let z be (-2)/5 + q/(-20). Solve 0 = 2*t - z*i - 2, 0*t - 2*i - 6 = -t for t.
-4
Suppose 4*o + 0*o + 8 = 0. Let l be ((-5)/o)/(-5)*-10. Solve -n + 4*n = -l*r, -3*r = 2*n for r.
0
Suppose 20 = -23*o + 27*o. Solve -30 = 2*b - 0*b - 4*f, -5*f = o*b for b.
-5
Let j(f) = f**3 - 6*f**2 + f + 4. Let a(x) = x**3 - x**2 - 5*x + 3. Let n be a(3). Let d be j(n). Solve 3*h - 4*h + 5*r = 25, 0 = -2*r + d for h.
0
Suppose w - 11 = -8. Suppose 9 = -w*j + 2*d, -2*j + 24 = -5*j - 3*d. Let u be 16/3 + j/15. Solve -2*n - u*f + 3 = -0*f, 0 = -2*n + 5*f + 13 for n.
4
Suppose 0 = x + 2, -4*x + 15 - 41 = -2*p. Suppose -p = -3*d, 3*m = -m - 2*d + 18. Solve 4*n - 6*o = -o - 35, -2*n + m*o = 19 for n.
-5
Let o = -21 - -23. Suppose o*c + 5*s = 3 + 1, -s - 4 = -2*c. Solve 5*i + 1 = t - 9, i + 4*t + c = 0 for i.
-2
Let s = 111 + -109. Solve -3*y + 2*a - 12 = -2*y, -s*a + 8 = y for y.
-2
Suppose 108 = 4*x - 3*z + 28, 0 = z. Solve -3*u + 4*c - x = -u, 2*u - 5*c + 25 = 0 for u.
0
Suppose 0*c = -5*c - 130. Let b be -1*1/2*-64. Let o = c + b. Solve 2*x + o = -3*p - 10, -x = -5*p - 5 for p.
-2
Suppose 3*o = -16 + 52. Let a = -18 + o. Let h be (-5)/(15/a - 0). Solve -h*b = -f + b - 4, 16 = -4*f + 4*b for f.
-4
Suppose -2*g + 3 = -g. Solve -5*k - 3*f + 2 + g = 0, -2 = -2*k + 5*f for k.
1
Let w = 1 + -1. Let v = -6 - w. Let o = v - -11. Solve z + z = 4*g + 28, 45 = -o*g + 5*z for g.
-5
Suppose 0 = -3*a - a + 2*b + 12, 4*a + b - 18 = 0. Suppose 0 = -3*u - u. Solve -a*o + 23 - 3 = u, -2*r + 17 = 3*o for r.
1
Suppose -5*k - 4*b = 37 - 87, -3*b + 33 = 3*k. Suppose -9 = k*f - 39. Solve 13 + 0 = 5*i + 4*y, 2*i = f*y + 25 for i.
5
Let d be (-2 - (-14)/4)*4. Let b(k) = -2*k**2 + 61*k + 63. Let w be b(-1). Solve w = 2*z - d, 3*z = -5*m - z + 12 for m.
0
Suppose 0 = -2*h - w + 29, -2*w - 29 = -2*h - 9. Suppose -4*p + h*p = 54. Solve -x = 3*u - 0*x - p, -14 = u - 5*x for u.
1
Let t be 0/5 + (-2)/(-2). Suppose -4*o + z + z + 24 = 0, -o - 2*z + t = 0. Suppose 0 = 4*a - o - 3. Solve 5 = y, 2 = -2*w - 0*y + a*y for w.
4
Let o = -82 - -85. Let p(j) = -j**2 + 8*j + 1. Let x be p(7). Suppose o*a - x = 4. Solve -5*s - q = -3*q - 23, 4*s - 28 = a*q for s.
3
Suppose 10 = a + 5. Suppose 2*o - 8 = -0. Solve -3*d + 5 = -4*j, 2*d - o*d - a*j = 35 for d.
-5
Let t be ((-3)/14)/((-42)/147)*4. Solve -4*q + 15 = 5*d, q = -t*q - 2*d + 18 for q.
5
Suppose -65 = -15*t + 10. Solve 0 = t*u - 4*w - 5 + 8, 2*u - 2*w = 0 for u.
-3
Let n be (-11)/(-5 + (-8)/(-2)). Solve -1 + n = 3*q - c, 3*q - 22 = -5*c for q.
4
Suppose 0 = 5*x + 3*r - 12, 5*r = 7 + 13. Solve -4*a + 2*b + 2 = x,