ple of 4?
True
Let k be 8/(-6)*(-6)/4. Let l = k + 1. Suppose 5*i + 4*m = 135, 3*m + l + 24 = i. Is 14 a factor of i?
False
Suppose -4*l - 3*p + 16 = 0, -3*p - 16 = -4*l - p. Suppose c + 3 = l*q, 2*c - q - 3 = -2*c. Does 16 divide (36 - 2) + -3 + c?
True
Let n = 3 + -1. Suppose -15 = 3*k + n*k. Does 16 divide k/3*29/(-1)?
False
Let o(f) be the second derivative of -f**3 + 2*f**2 - 2*f. Let n be o(3). Let s = -1 - n. Does 12 divide s?
False
Let w = 28 + -10. Is 5 a factor of w?
False
Let d = 44 + -4. Suppose 0 = 2*f - 3*b - 1 - 37, 2*f - d = 4*b. Does 13 divide f?
False
Let z = 128 - 43. Is z a multiple of 23?
False
Suppose 2 = -z + 4*j - 7, 4*j = 4*z. Let a(k) = -k**2 - k + 181. Let c be a(0). Suppose 0 = -3*w - z*i + 102, -2*i = -4*w + 3*i + c. Does 17 divide w?
False
Suppose 2*s - 399 = 3*n, 0 = -5*s - n + 1185 - 230. Suppose 10*g - s = 6*g. Is 25 a factor of g?
False
Let u(v) = v**3 + 6*v**2 + 5*v. Let t be u(-5). Let x(h) = h**3 + h + 19. Is 10 a factor of x(t)?
False
Let h be -2 + 1 - -4*1. Let z be 1 - ((-16 - 0) + 1). Suppose -z = -a - h*a. Is 4 a factor of a?
True
Suppose -3*s + 0*s + 30 = 0. Is 4 a factor of ((-16)/s)/((-6)/15)?
True
Suppose 4*y = -4*n, 0*y - 3*n = -y - 8. Let m(f) = 4*f**2 + f + 1. Let q be m(y). Suppose 4*b - 25 - q = 0. Is 6 a factor of b?
False
Let i = 24 + -19. Suppose -i*n + 84 = -4*n. Is 22 a factor of n?
False
Let b be 24/30*(-5)/2. Let i be 6/2 + 0/b. Suppose 2*l - 3*j = -2*l + 131, -l + 26 = -i*j. Is 15 a factor of l?
False
Suppose 4*i - 4 = -16. Let k be (-3)/(i/1)*1. Let d = k + 11. Is d a multiple of 12?
True
Suppose 0 = 4*l - 4*o - 1088, -2103 = -5*l - 3*o - 727. Does 42 divide l?
False
Let w = 68 - -44. Suppose 0 = -5*g + 18 + w. Suppose 13 + g = 4*x + h, 5*x + 3*h - 40 = 0. Is x a multiple of 11?
True
Is (-3)/1 - (-1 + -123) a multiple of 11?
True
Suppose 0*p + 96 = 3*p. Is (p/5)/(2/10) a multiple of 16?
True
Let m be 1/(2/4) + 0. Suppose -m*i = -3*i. Suppose 5*r - 2*n + 1 - 103 = i, -3*n = 3. Does 7 divide r?
False
Let u(q) = q**3 - 8*q**2 - 5*q - 6. Let g be u(9). Does 11 divide g - -1 - (2 - 4)?
True
Let y(s) = -s**3 + 3*s + 4. Is y(-4) a multiple of 18?
False
Suppose -10*q = -8*q - 72. Does 12 divide q?
True
Is 13 a factor of (4 - (-36)/(-8))*-60?
False
Let p be (-632)/52 + (-2)/(-13). Suppose -2*z + 36 = 4*u, 0*u + u + 1 = 0. Let x = z + p. Is x a multiple of 5?
False
Let d(t) = t**2 - 4*t + 2. Let v be d(4). Suppose -z - v*b = 0, -5*b - 19 - 2 = -z. Suppose -z*y = -y - 110. Is 10 a factor of y?
False
Suppose 3*p + d + 11 = p, -2 = p + 4*d. Let r be (232/(-28))/((-3)/21). Is 21 a factor of (-3 + 0)/(p/r)?
False
Let d = 28 - 24. Is d a multiple of 3?
False
Suppose 5*t = -501 + 1551. Is t a multiple of 35?
True
Let i = -55 - -31. Let b(m) = -m**3 - 8*m**2 - m. Let j be b(-5). Is j/(-4)*i/(-14) a multiple of 15?
True
Let k be (4/(-1))/((-4)/(-4)). Let a(d) = 6*d**2 + d. Is a(k) a multiple of 28?
False
Let k = -10 + 4. Let j = 24 + k. Let d = -4 + j. Is 6 a factor of d?
False
Let j = 0 + 3. Let b = -63 + 55. Let p = j - b. Does 11 divide p?
True
Let w(m) = m**3 - m**2 + 50. Does 7 divide w(0)?
False
Suppose 2*r = -3*r + 305. Let i = r + -40. Is 7 a factor of i?
True
Let m(j) = j**2 - 7*j + 4. Is 8 a factor of m(8)?
False
Suppose 7*y - 209 - 358 = 0. Does 9 divide y?
True
Let m = -2 - -2. Suppose -3*t + 46 + 35 = m. Does 9 divide t?
True
Let v(q) = q**2 + q - 1. Let d be v(2). Suppose -5*i - d*o = 5, 3*i - 5*i + 3*o + 13 = 0. Is (87/6 + -2)*i a multiple of 11?
False
Does 11 divide 66 - (2 - 6/3)?
True
Suppose -4*r + 2*r - 5*z + 12 = 0, 0 = -r + z - 1. Let m be 3 + 1 + 3 + 1. Let v = r + m. Does 4 divide v?
False
Suppose 0 = -4*d - 5*r + 208, -5*d + 3*r = -339 + 116. Let b = d - 33. Does 5 divide b?
False
Let z be (-14)/(-21)*3/2. Let k be 1 + (8 - (-2 + z)). Let n = k - 3. Is n a multiple of 3?
False
Let q = 25 + 23. Is q a multiple of 23?
False
Let f(n) = -4*n + 6. Let s(d) = -d - 9. Let y be s(-7). Let j be (-3 - -4) + 16/y. Is f(j) a multiple of 12?
False
Suppose -25 = -g - 2*y, -4*g + 5*y + 79 = -86. Is g a multiple of 7?
True
Let l(b) be the first derivative of b**2/2 + 13*b - 3. Does 9 divide l(9)?
False
Let w = 0 - -1. Suppose 3 = f - w. Does 4 divide f?
True
Let n be 1/3*-3 - -97. Suppose -5*o + 39 = h - 225, 2*h = 2*o - n. Does 18 divide o?
False
Let w(c) = c**3 - 8*c**2 + 10*c - 5. Is 15 a factor of w(8)?
True
Let i = 226 + -121. Is 21 a factor of i?
True
Suppose 3*z - 15 = 0, -5*c + 100 = -2*z + 4*z. Does 4 divide c?
False
Let k be 28 + -2 - (-1 + 0). Let h = k - 1. Does 13 divide h?
True
Does 8 divide (-320)/(-16) + 3 + 1?
True
Let v(x) = 10*x - 40. Is v(6) a multiple of 10?
True
Let u(g) = -g**2 + g + 8. Let s(m) = -m**2 + 2*m + 9. Let y(t) = -5*s(t) + 6*u(t). Does 3 divide y(-4)?
True
Suppose 2*f - 6*f = -232. Is 16 a factor of f?
False
Does 15 divide -1*90/4*(1 + -3)?
True
Let o(z) = -2*z - z - 5 + 5*z. Let a be (-54)/(-15) + 2/5. Is o(a) a multiple of 2?
False
Let d = 202 - 57. Is d a multiple of 11?
False
Does 11 divide ((-24)/(-32))/((-1)/(-24))?
False
Let p be -3*(-74)/24*4. Let c = 7 + p. Is c a multiple of 20?
False
Let b = -2 - -1. Suppose 7 = -y - 4*p + 25, 4*y = -2*p + 44. Let q = b + y. Is 8 a factor of q?
False
Suppose 8*l - 693 = -l. Is 16 a factor of l?
False
Suppose -u = -5*u + 240. Is 20 a factor of u?
True
Suppose 5*g + 8 - 3 = 5*r, 3*r - 19 = -g. Suppose -110 = -5*k + r*c, -4*k + 19 = -3*k + 2*c. Is 14 a factor of k?
False
Suppose -4*s = -3*x - 463, 3*s = 8*x - 4*x + 349. Is 23 a factor of s?
True
Suppose -35 = r - 2*v + v, -4*r + v = 143. Let u = 64 + r. Suppose -2*j + 5 + u = w, 3*j - 50 = -w. Is 17 a factor of j?
True
Let h(y) = -2 + 3 - 2 + 97*y. Let k be h(1). Let c = k + -67. Is 18 a factor of c?
False
Suppose 2*f + 2*f = 48. Let q = f + -5. Does 7 divide q?
True
Let k(j) = -2*j - 2. Let p be k(4). Let m = p + 19. Is 4 a factor of m?
False
Suppose 2*b - 15 = 5*k, -k - 3*k = 2*b + 12. Let y = b + 1. Suppose 5*g - 94 = y. Does 19 divide g?
True
Suppose -2*v = -3*y - 5, -4*v - 9 = -2*y - 23. Suppose -v*w - 118 = -6*w. Is 11 a factor of w?
False
Suppose -w - w = -6. Suppose w*u - 3 = 4*u. Is 94*(0 + u/(-6)) a multiple of 18?
False
Suppose 5*i + 0*i = 1365. Let o be 15/(-20) + i/12. Suppose 4*c = 0, 2*c - o = -5*z + 23. Does 6 divide z?
False
Suppose -4*f + 220 = -2*f. Is 22 a factor of f?
True
Let g(s) = 5*s + 1. Is g(6) a multiple of 11?
False
Let w(m) = m**3 - 6*m**2. Let k be w(6). Suppose k*s + 17 = s. Let o = 11 + s. Is o a multiple of 14?
True
Suppose 102 = 5*q + 5*a + 2, -4*q + 5*a = -116. Does 6 divide q?
True
Let s = 1 - -1. Suppose -11 = s*g - 5*r, 0*r = 5*g + 4*r + 44. Is (-2)/g + (-147)/(-4) a multiple of 13?
False
Let w = 4 + -1. Suppose -2*r + 53 = w*r + c, -r + 21 = -5*c. Does 11 divide r?
True
Suppose 3 = 4*q - 25. Let o(p) = 2*p - 9. Let c be o(q). Suppose 2*h + c = 3*h. Is h a multiple of 3?
False
Let y(h) = 2*h - 7. Let z be y(8). Let i = 3 + z. Let f = i - 1. Is 11 a factor of f?
True
Let d be ((-2)/(-4))/(1/(-2)). Let g = d + 0. Let t(x) = 14*x**2 - x. Is 11 a factor of t(g)?
False
Let c = -118 - -202. Is c a multiple of 12?
True
Let m(d) = d**3 - 4*d**2 - 6*d - 3. Let o be m(5). Is 18 a factor of (0 - 15)/(6/o)?
False
Suppose 5*h + 24 = 9, 5*l = 5*h - 20. Let k(b) = -4*b - 9. Is k(l) a multiple of 15?
False
Suppose a = 5*y + 3*a - 108, -4*a - 92 = -4*y. Is 5 a factor of y?
False
Let s be -2*(2/1 - 23). Suppose g - 2*c = s, -4*g + 3*g = -3*c - 44. Is 10 a factor of g?
False
Is 23 a factor of (2/(-4))/(5/(-450))?
False
Suppose 4*q - 356 = -0*q. Suppose -108 = -3*r - 3*i + 18, 2*r = -3*i + q. Suppose -r = 4*y - 7*y - 5*k, y + 5*k - 19 = 0. Does 9 divide y?
True
Let d(z) = z - 5. Let w be d(5). Suppose w = -2*h - 4 - 4. Is 13 a factor of h/(-14) - 208/(-7)?
False
Let f(d) = -32*d + 0 + 2*d - 2 + 3. Is f(-1) a multiple of 19?
False
Suppose 2*z = -6*z + 232. Is 13 a factor of z?
False
Let j(r) = 2*r**2 - 10*r - 7. Let s(x) = 4*x**2 - 20*x - 13. Let t(o) = 5*j(o) - 2*s(o). Is t(8) a multiple of 13?
True
Suppose 0*k = -k + 136. Let z = 210 - k. Is z a multiple of 17?
False
Let l(u) = u**2 - 13*u + 13. Is l(14) a multiple of 5?
False
Let s = -23 - -35. Is 3 a factor of s?
True
Let i(m) = m**2 + 6*m - 7. Let c be i(-8). Let f(t) be the third derivative