le of 10?
False
Let a = -18 - -42. Is 6 a factor of a?
True
Suppose -1 = 2*w + p + 11, -30 = 5*w + 2*p. Is 13 a factor of (399/14)/(w/(-4))?
False
Let y be (-2)/(-12) - 145/(-30). Suppose -6 = 4*z - y*z. Does 5 divide z?
False
Let r be 9 + 6/(-4)*2. Suppose 5*p - r*p = 2. Let m = p + 42. Does 14 divide m?
False
Let q(o) = o**3 + 7*o**2 + o + 7. Is q(-6) a multiple of 10?
False
Let r(b) = -b**2 + 6*b - 3. Let t be r(6). Does 11 divide (-4)/t*(-429)/(-26)?
True
Let o = 14 + -11. Suppose 0 = r + 4*g - 39, -72 = -3*r + 6*g - o*g. Is r a multiple of 9?
True
Let i = -3 - -7. Suppose 12 = i*h - 4. Suppose -h*j + 95 = -37. Is 16 a factor of j?
False
Suppose f = 2*o + 8, 3*o = 5*f - 4*f - 10. Suppose -9 = f*w + 7. Is (3 - -15)*(-6)/w a multiple of 17?
False
Does 8 divide (-3)/(-6)*(2 + 56)?
False
Let c = -4 - -7. Does 2 divide (-172)/(-16) - c/(-12)?
False
Suppose 3*k - 510 = -0*k. Does 16 divide k?
False
Let r = 81 + -18. Is 13 a factor of r?
False
Let u(g) = -8*g + 4. Let a = 12 + -7. Let r = a - 8. Is 14 a factor of u(r)?
True
Let z(j) = j**2 + 2. Is z(7) a multiple of 17?
True
Let w be 6/(-9) + (-22)/(-6). Let a(k) = -2*k**2 - 3*k**2 - k**w + 0*k**2 + 5*k - 2. Is 2 a factor of a(-6)?
True
Let k = 55 + -29. Suppose 5*r - 4 = k. Is r a multiple of 2?
True
Suppose c - 4*k = -2*c + 428, 3*c = -2*k + 398. Let j = c + -81. Suppose -6*y + y = -j. Does 11 divide y?
True
Let v = -165 - -101. Let z = -36 - v. Is z a multiple of 14?
True
Let i(r) = r**2 + 5*r + 3. Let d be i(-3). Let k = 11 + d. Does 4 divide k?
True
Let n(j) = 6*j**3 - 3*j**2. Let c = -3 + 5. Is n(c) a multiple of 18?
True
Let f be (-2 - -2) + -13 + 3. Is (12 + 1)*f/(-10) a multiple of 6?
False
Let z(v) = -3*v - 12. Let h be z(-5). Suppose f + 4*f = -3*c + 499, 0 = -h*c + 9. Does 32 divide f?
False
Suppose -4*x = -5*x + 25. Does 5 divide x?
True
Let o be 1 - (0 - 2 - 0). Suppose 40 = 2*v - 2*s + 3*s, -74 = -o*v - 5*s. Is 6 a factor of v?
True
Let v(x) = 7*x + x**3 + 0 - 7*x**2 + 3 - 3 + 2. Let d(t) = -t**3 - 3*t**2 - t + 3. Let n be d(-3). Is v(n) a multiple of 8?
True
Let b(s) = 12 + 2*s - s - 15. Is 2 a factor of b(12)?
False
Let n(d) = d**3 - 14*d**2 + 13*d + 3. Let s be n(13). Let h(p) = 9*p. Is 27 a factor of h(s)?
True
Suppose 2*h + 6 = 0, 3*y + 0*h - 444 = -5*h. Does 14 divide y?
False
Suppose -3*u = 6, 0*k + k + 3*u + 3 = 0. Suppose n - 4*j = -2*n - 261, -4*n - 323 = k*j. Let c = -47 - n. Does 12 divide c?
True
Let c be -1 - 1*18/(-3). Is 16 a factor of c/10 - (-62)/4?
True
Let y(h) = 0*h**2 - 2 + 2 + h**3 - 3*h - 2*h**2. Is 8 a factor of y(4)?
False
Let z be 0*(3 + 0)/9. Suppose 5*c = -3*y - 25, -5*y - 3*c = -z*y + 15. Suppose r + y*v + v - 7 = 0, -r - 4*v = -19. Is r a multiple of 3?
True
Let c(d) be the second derivative of d**3/3 - 2*d**2 - 3*d. Is c(3) a multiple of 2?
True
Suppose 3*g = -3*h - h + 74, -1 = h. Suppose 0 = -4*v + g + 74. Let b = -13 + v. Is 6 a factor of b?
True
Suppose 2*k + k - 42 = 0. Let z = k - -14. Is 14 a factor of z?
True
Let a(q) = -3*q - 1. Suppose -3 + 0 = 3*o. Let d = -5 + o. Does 17 divide a(d)?
True
Let d(n) = -2*n**3 - 3*n**2 + 2*n - 4. Let p be d(-3). Let z = 22 + -15. Let m = z + p. Does 14 divide m?
False
Suppose 2*v + 3*y = 4*y, -3*v - y = 0. Suppose -n + 3 + 4 = v. Is 2 a factor of n?
False
Let m(t) = -2*t + 1. Let i be ((-1)/(-3))/(1/(-9)). Let p be m(i). Suppose -5 - p = 3*y, y = -h + 3. Is 4 a factor of h?
False
Let f(p) = p**2 + 7*p + 12. Is 4 a factor of f(-7)?
True
Suppose 483 = 5*w + 2*w. Is 54 a factor of w?
False
Let f(c) = -8 + 3*c**2 + 18*c**3 + 17*c**2 - 9 + 0*c**2 - 17*c. Let s(l) = 6*l**3 + 7*l**2 - 6*l - 6. Let w(x) = 6*f(x) - 17*s(x). Does 2 divide w(1)?
False
Let r be 114/9 + 4/(-6). Let n = -44 + r. Let g = -19 - n. Does 6 divide g?
False
Let p(y) = y**3 + y**2 - y + 1. Let v be p(1). Suppose -k + 3*m + 9 = 2*k, -k + 4 = -v*m. Suppose 1 = -k*u + 25. Does 12 divide u?
True
Let y be (-3)/(4 - 3) - 2. Let a = y + 14. Is a a multiple of 5?
False
Let g(n) = -n**3 - 7*n**2 + 4*n + 31. Is 2 a factor of g(-7)?
False
Suppose 0 = 3*j - 15. Suppose 118 = -j*d + 8. Is 2 a factor of (-5)/(-20) - d/8?
False
Suppose 2*k - 195 = -5*r, 0*r - 5*k - 156 = -4*r. Is 39 a factor of r?
True
Let g(t) = t**2 + 3*t - 8. Let w be g(-7). Suppose h - w - 3 = 0. Suppose 3 = 2*i - h. Does 5 divide i?
False
Let a be (6 - 2) + (-4)/2. Suppose -4*x + 3*x = -a. Is x even?
True
Let t = 3 + -1. Let g(c) = 0*c + 2*c - 1 + 0*c + c**2. Does 5 divide g(t)?
False
Suppose 12 = m + 3*u + 3, -u + 3 = 0. Does 6 divide ((-6)/(-3) - m)*4?
False
Let f(c) be the first derivative of c**4/4 + 7*c**3/3 - 5*c**2/2 - 5*c + 1. Is f(-6) a multiple of 11?
False
Let j = -10 + 14. Suppose 3*m + 0*t + t = 129, -12 = -j*t. Does 13 divide m?
False
Let y = -4 + 5. Let t be 2*y - (-6)/3. Suppose 44 + t = 4*j. Does 5 divide j?
False
Let m be 4/14 + 60/(-14). Let r(b) = -b**3 - 3*b**2 + 2*b + 4. Is 6 a factor of r(m)?
True
Let v(y) = y**3 + 7*y**2 - 9*y + 9. Let t be v(-7). Suppose -o = -3*o + t. Is 16 a factor of o?
False
Let z(v) = -v**2 - 6*v + 5. Let d be z(-5). Let m be 15/6*8/d. Suppose m*o = -5*w + 83, 2*o - 2 = 6. Does 9 divide w?
False
Suppose 5*f - 54 = 2*f. Is 5 a factor of (f/15)/((-6)/(-75))?
True
Let x = -3 - -67. Suppose -16 - x = -5*n. Suppose 6 = -4*j - 6, 5*p + 3*j = n. Is p a multiple of 3?
False
Let b(d) = 3*d + 38. Is 4 a factor of b(-6)?
True
Let u = 16 - 2. Is 5 a factor of (-4)/u - 504/(-49)?
True
Let y be 2/(-6) - (-592)/(-24). Let s = y + 41. Does 8 divide s?
True
Is (-5 + 0)/((1/2)/(-1)) a multiple of 5?
True
Let a = 14 + 71. Is a a multiple of 17?
True
Let z = -12 + 32. Does 6 divide z?
False
Suppose 4*v = -a + 73, 3*v + 2*v - a - 80 = 0. Let t = 0 + v. Is 16 a factor of t?
False
Suppose -5*t = -5, -2*t + 8 = -4*b + 26. Is 5 a factor of b?
True
Let s(f) = f**3 - 8*f**2 - 2*f - 2. Let d(v) = -1. Let p(m) = 4*d(m) - s(m). Does 5 divide p(8)?
False
Is 24 a factor of (-1079)/(-5) + 6/(-150)*-5?
True
Suppose 0 = -2*k - 3*j - 33, 3*k = -0*k - 2*j - 37. Let z be ((-156)/k)/((-2)/(-3)). Let p = z - 8. Is p a multiple of 6?
True
Is 30 a factor of 1488/20*(-10)/(-4)?
False
Let s = 55 + 28. Does 21 divide s?
False
Suppose -3*v - 5*w - 80 = 0, -3*w = -5*w - 2. Let x = 50 + v. Does 25 divide x?
True
Let g(l) = -2*l**3 - 2*l**2 + 3*l + 1. Let a be g(-3). Suppose -4*k + 20 + a = 0. Is k a multiple of 12?
True
Let g(n) = -n**2 + 20*n - 11. Is 4 a factor of g(7)?
True
Suppose -2*w = w - 207. Is 3 a factor of w?
True
Let n be (-2)/3 + 14/3. Suppose -n*l = -3*l - 16. Is l a multiple of 4?
True
Suppose 5*l - 18 - 2 = 0, 5*s - 111 = -4*l. Does 5 divide s?
False
Suppose -2*z - z + 54 = 0. Does 7 divide z?
False
Suppose 2*f - l = 122, -4*f + 5*l + 0*l + 232 = 0. Does 9 divide f?
True
Let q = 504 - 273. Is q a multiple of 18?
False
Let c = -24 - -34. Does 8 divide c?
False
Suppose f = 2*f - 30. Does 10 divide f?
True
Let j(s) = -s**3 + 6*s**2 - s + 1. Let k be j(5). Is 7 a factor of (-1)/((-2)/(k + -3))?
False
Let l(w) = -w**3 + 8*w**2 - 7*w - 5. Let a be l(7). Let j(z) be the third derivative of -z**5/60 - z**4/4 + z**3/3 + 2*z**2. Is j(a) even?
False
Let d be 1 - (-44 + 2*-1). Suppose d = 2*u + g, 2*g + 5 = 7*g. Is 8 a factor of u?
False
Suppose 5*q + 0*y - 3*y = 71, -54 = -3*q - 2*y. Does 8 divide q?
True
Suppose 305 = 5*u - 2*q, 2*u + 9*q - 93 = 4*q. Is u a multiple of 20?
False
Let n(b) = b**3 + 13*b**2 - 2*b - 3. Let h be -26*-1*(-3)/6. Is n(h) a multiple of 23?
True
Suppose 70*g + 256 = 71*g. Is g a multiple of 19?
False
Is -2*4/(-16)*72 a multiple of 12?
True
Let s = 25 + 32. Let j = 51 + s. Suppose -39 = -2*c + 4*h + h, -j = -4*c + 4*h. Does 8 divide c?
True
Let i(t) = -t + 60. Let f be i(0). Let k(r) = -7*r - 22. Let j be k(-4). Suppose -9*o = -j*o - f. Does 9 divide o?
False
Suppose 3*x - 2*g = 97, -3 - 24 = -x + 2*g. Let k = -3 + x. Does 16 divide k?
True
Let s = 20 - 12. Suppose -3*h + s*h = 160. Is h a multiple of 17?
False
Let j(d) = 4*d + 3. Let h be j(7). Is 2*(h/2 - 2) a multiple of 14?
False
Suppose -3*t = 2*t - 180. Is t a multiple of 2?
True
Let a(r) = -12*r**3 + 3*r + 1. Does 13 divide a(-2)?
True
Let n be 9 + -1 - (-3 - -7). Is n + (144 + -2)/2 a multiple of 21?
False
Let l(t) = 6*t**2 - t - 4. Let o be l(4). Suppose -o = -2*r - 14. Is r a multiple of 15?
Fals