. Let l = m - -5. Is l a multiple of 2?
False
Suppose -2*z = 2*o - o + 4, -2*o = -5*z - 10. Suppose 3*w + o = 93. Does 17 divide w?
False
Let t be (-20 + -4)*(-2)/6. Let q(o) = 9*o - 17. Does 11 divide q(t)?
True
Let x = 645 + -276. Is x a multiple of 22?
False
Let z(a) = -2*a**2 + a + 2. Let n(w) = -w**2 + w + 3. Let q(k) = 2*n(k) - 3*z(k). Let j be q(-1). Is 14 a factor of (-16)/40 + 142/j?
True
Suppose -19 - 1 = -4*z. Suppose z*v = -o + 6, -2*o - 3*v + 20 = -v. Suppose 16 = n - o. Is n a multiple of 9?
True
Let i be 364/18 - (-6)/(-27). Let y be ((-120)/(-100))/((-6)/(-20)). Let n = y + i. Does 16 divide n?
False
Suppose -d - 77 = -6*d + y, 5*d - 79 = 2*y. Does 15 divide d?
True
Suppose -3*h + 107 + 136 = 0. Let c = -58 + h. Does 8 divide c?
False
Does 23 divide 534/((-6)/2 + 5)?
False
Suppose -3*f = -0*f + 216. Suppose -b = -4*s + 429, -4*b = -0*s + s - 86. Let q = f + s. Is 17 a factor of q?
True
Suppose 0 = 3*o - 3*n - 11 - 4, -5*o = -4*n - 22. Let t(m) = -23*m. Let b be t(-1). Suppose o*r = 89 - b. Is r a multiple of 20?
False
Let r(g) = -g**2 + 8*g + 2. Let f be r(8). Let k(s) = s**3 - 3*s**2 - 6*s - 5. Let n be k(5). Suppose -n = -f*d + 19. Is d a multiple of 11?
False
Let b be (-20)/(-16)*1*4. Let y(k) = b*k**2 + 2 - 1 - k + 12*k**2. Does 8 divide y(1)?
False
Suppose 9 + 13 = q. Is 4 a factor of q?
False
Suppose 2*m - v = 16 + 5, 2*m - 4*v - 12 = 0. Does 4 divide m?
True
Let s = 3 + 1. Let v = 90 + -85. Suppose 188 = s*b - 4*h, 5*h - 235 = -v*b - 0*h. Is 20 a factor of b?
False
Let m(z) be the third derivative of z**6/120 - z**5/20 - z**3/3 + 3*z**2. Let i be m(5). Suppose 2*v + j = i, -v - 2*j + 30 = -0*v. Is 11 a factor of v?
True
Suppose -4*c + c = 0. Let d = c + 16. Is 16 a factor of d?
True
Suppose 3*n - 95 - 4 = 3*k, 2*k - 24 = -n. Is 5 a factor of n?
True
Suppose 5*v = 10*v + 120. Let h = -14 - v. Does 5 divide h?
True
Let n(t) = t**2 - 2*t. Let p be (1/1)/(2/(-4)). Is 8 a factor of n(p)?
True
Let i(z) = 0*z**2 + 0*z**2 - z**2 + 2 + 3*z. Let c be i(4). Does 14 divide c/5 - 284/(-10)?
True
Suppose -d = -3*d + 4*f + 96, -3*d + 5*f + 142 = 0. Suppose 2*j + 0*j - d = 0. Is j a multiple of 10?
False
Let o(r) = -1. Let n(y) = -17*y + 6. Let j(g) = n(g) + 4*o(g). Is 4 a factor of j(-1)?
False
Let g(d) = 6*d**2 - 4*d + 5. Suppose -10 = -3*t + 5*y, 0 = t - 0*t - 2*y - 5. Let n be g(t). Suppose 23 = -4*u + n. Is u a multiple of 19?
True
Let r be (-2 + 1)/((-1)/35). Suppose -5 = -4*z + j, 35 = 5*z - 5*j + 10. Suppose -5*s + r = -z*s. Does 7 divide s?
True
Suppose -2*v - 2*v + 436 = -a, -308 = -3*v - 4*a. Is v a multiple of 27?
True
Let p(o) = o**3 + 9*o**2 + 6*o - 10. Let w be p(-8). Let s = w + 1. Is 7 a factor of s?
True
Suppose 2*s + 0*x - 5*x - 548 = 0, -3*x + 1096 = 4*s. Is 67 a factor of s?
False
Let u = -53 + 105. Suppose 8*i = 3*i + 5*k + 320, 0 = i - 4*k - u. Is i a multiple of 30?
False
Let q be (-33)/(-9) - 6/9. Suppose -4*y = q*a - 84, y + 4*a + 0 - 21 = 0. Does 9 divide y?
False
Suppose 2*x - 151 = 3*f, -2*x - x + 2*f + 224 = 0. Does 29 divide x?
False
Let t be 119/42 - 1/(-6). Suppose t*i - 150 = -21. Is 10 a factor of i?
False
Let r = 21 - 22. Is 3 a factor of r + 1 + -2 + 9?
False
Suppose 0 = 4*t + 4*k - 9 - 3, -4*t = 2*k - 10. Suppose -t*l - l + 96 = 0. Suppose 0 = -5*r + 18 + l. Does 5 divide r?
True
Let y(k) = -k**3 - 6*k**2 - 3*k + 3. Let f be y(-5). Let d(h) = -h + 2. Let g be d(f). Let j = -2 + g. Does 4 divide j?
False
Let x = -64 - -112. Does 16 divide x?
True
Suppose -3*g - y = -2*y - 180, 0 = 3*g - 5*y - 180. Is g a multiple of 15?
True
Let w(b) = b + 13. Let p be w(-11). Suppose p*u - 7 = 1. Does 2 divide u?
True
Let a(b) = b**3 + 11*b**2 - 11*b + 14. Let u be a(-12). Let j(m) = 11*m. Is 22 a factor of j(u)?
True
Let k(x) be the first derivative of -9*x**2/2 + x + 3. Suppose -2 - 1 = 3*j. Is k(j) a multiple of 6?
False
Let r(z) = 2*z**3 - 2*z**2 - 3. Does 4 divide r(3)?
False
Let z = -3 + 5. Does 3 divide (z + 2)*9/4?
True
Suppose 3*i + i = 0. Suppose -5*t + 0*t + 170 = i. Does 10 divide t?
False
Suppose 0 = -3*k - 0*k + 45. Is 5 a factor of k?
True
Does 2 divide (1 + 1)/(12/48)?
True
Suppose 2 = -j, 0 = -i + 3*i + 5*j + 10. Let l(s) = -s**2 - 7*s - 3. Let b be l(-6). Suppose b*a - 52 - 14 = i. Does 11 divide a?
True
Suppose 2*o = 19 + 333. Is 19 a factor of o?
False
Suppose -283 = -m - 5*u + 23, 4*u = m - 279. Is m a multiple of 44?
False
Suppose -c - 4*y + 5 = 25, c = 2*y - 2. Let a(h) = h**2 - h - 7. Does 28 divide a(c)?
False
Suppose 3*d + 12 = 6*d. Suppose d*a + 56 = -0*a. Let f = -7 - a. Is 4 a factor of f?
False
Let y(d) = 3*d + 22. Is 17 a factor of y(8)?
False
Let z be 25/10*(-4)/(-5). Let q(p) = 5*p**2 + p + z - p**2 - 3*p**2 - 1. Is 7 a factor of q(2)?
True
Let y = 1 + 22. Suppose -3*l + 5*b = -111, -l - 5*b - 6 = -y. Suppose 0 = -4*i - 4*o + 26 - 2, -l = -4*i + 4*o. Does 6 divide i?
False
Let h(q) be the second derivative of q**5/20 + 5*q**4/12 + q**3/3 - 2*q**2 + q. Let i be h(-4). Suppose i*u + 0*u = 24. Is 6 a factor of u?
True
Let y be 15*(-4 + (-66)/(-15)). Does 2 divide y + -4 + (-2 - -2)?
True
Let i(z) = z + 4. Let g be i(-6). Let j = 1 - g. Suppose -j*n = 5*f - 12, -3*f - f - n = -11. Does 2 divide f?
False
Let j = 18 + -18. Suppose j*n = 4*n - 128. Is 12 a factor of n?
False
Let q(g) = 284*g. Let o be q(-4). Let r be o/(-10) - 6/(-15). Suppose 5*n - r = -19. Is 19 a factor of n?
True
Let k = -2 + 2. Let z be 44 + k + (2 - 0). Let b = 70 - z. Is 13 a factor of b?
False
Suppose 5*b - 102 = -5*u + 2*b, -2*b = 2. Is u a multiple of 21?
True
Suppose n + 2*n = 18. Suppose -3*r + 97 = 2*w - n*w, 2*r - 80 = -5*w. Is 24 a factor of r?
False
Let n(u) = 2*u**3 - 2*u**2 - 2. Suppose -4*v = -2*a - 5*v + 6, -5*a - 3*v = -16. Suppose 4*l = l - a*j, -2*l + 13 = -3*j. Is n(l) a multiple of 3?
True
Let c(j) be the first derivative of -j**4/12 + 7*j**3/6 + 7*j**2/2 - 3*j + 3. Let r(a) be the first derivative of c(a). Is 13 a factor of r(6)?
True
Let u be 5*(2 + (0 - 1)). Suppose 2*c + 0*i - 205 = 5*i, c - 140 = -u*i. Suppose 80 + c = 5*z. Is z a multiple of 18?
False
Let t(o) = 6 + 5*o + 5*o**2 - 3*o**2 - 3*o**2. Does 3 divide t(5)?
True
Suppose -124 = 7*n - 8*n. Is 24 a factor of n?
False
Let u(z) = -10*z - 2. Let p(m) = -4 + 4 + 11*m + 2. Let h(y) = 5*p(y) + 6*u(y). Is h(-4) a multiple of 9?
True
Let g = -10 + 13. Suppose -460 = p - 6*p - 5*j, 0 = -2*p - g*j + 186. Does 30 divide p?
True
Let w = 17 + -7. Is 2 a factor of w?
True
Suppose -p + 24 = 5*c, -4*p + 217 = c + 26. Let k = p + -21. Is k a multiple of 11?
False
Let k = 61 - 26. Does 7 divide k?
True
Let t be (-34)/10 - (-4)/10. Let o = t - -5. Suppose 2*q + 48 = o*n, q + 5 = -4*q. Is n a multiple of 8?
False
Let j(v) = -8*v + 1. Let g be j(4). Let f = 14 - g. Does 22 divide f?
False
Let k = 24 + -6. Suppose 3*j - 4*z = 8, 4*j + j - k = 2*z. Does 4 divide j?
True
Suppose -3*r - 9*d + 114 = -4*d, 0 = 3*r + 2*d - 123. Does 11 divide r?
False
Suppose 2*u + 37 + 151 = 0. Let x = 144 + u. Suppose -4*n + 5*a + x = 0, -n - a = -3*a - 14. Is n a multiple of 5?
True
Suppose 0 = -8*k - 2*k + 950. Is k a multiple of 10?
False
Let o = 9 - 6. Let n be ((-24)/(-10) - o)*-5. Suppose -n*j - 74 = -5*j. Is j a multiple of 16?
False
Suppose -5*i + 4 = 2*j + 15, j - 3*i = 0. Let d be 3*(0 - j/3). Suppose 3*p - 30 = d. Is p a multiple of 7?
False
Is 6 a factor of (-80)/(-6) + (-12)/36?
False
Let n be (6/(-15))/(1/(-80)). Suppose o + 5 = n. Is 7 a factor of (o + 1)*(-2)/(-4)?
True
Suppose -2*j = -5*l - 31, 2*l - 6 + 4 = -4*j. Suppose 7*f - j*f - 49 = -3*x, -2*f - 3*x = -17. Is 13 a factor of f?
False
Let d = -6 + 10. Let b = d - 4. Suppose 5*z - 30 - 100 = b. Is z a multiple of 7?
False
Let g(a) be the second derivative of 5*a**3/2 - 7*a**2 - 2*a. Is g(7) a multiple of 30?
False
Suppose 5*b = -4*m, 0 = -5*m - 2*b + 3*b. Suppose m*o + 72 = 2*o. Is 12 a factor of o?
True
Is 48 + (-8)/20*-5 a multiple of 16?
False
Is 7/3*(4 + 141 - 1) a multiple of 48?
True
Suppose 4*v - 4*q - q + 9 = 0, -2*v + 5*q - 17 = 0. Let j(b) = 8*b - 6. Does 13 divide j(v)?
True
Suppose -2*t + b - 12 = -5*t, b + 3 = 2*t. Is 18 a factor of (-71)/((-1)/(t/3))?
False
Let q = -69 + 135. Is q a multiple of 11?
True
Let r(j) be the first derivative of -7*j**3/3 - 3*j**2/2 - 3*j - 2. Let q be r(-2). Let 