4 - y)/(6/(-87)) a multiple of 12?
False
Let b = 14399 + -8557. Is 31 a factor of b?
False
Let n = 15 - 15. Suppose z + 6 - 15 = n. Is z a multiple of 9?
True
Suppose 0 = 11*a - 4494 - 1941. Is a a multiple of 3?
True
Is 16 a factor of (6/4)/((-90118)/18032 + 5)?
False
Let h = -515 - -1253. Is h a multiple of 8?
False
Let y = -20 + 20. Suppose -4*v - 2*o + 366 = 0, y = -3*o + 3 + 6. Does 13 divide v?
False
Let i = 26 - 31. Let y = i + 41. Is y a multiple of 6?
True
Suppose -2*k = 4*n - 188, 0*k - 198 = -4*n + 3*k. Suppose -18*s = -21*s + n. Is s a multiple of 16?
True
Let z be (6/2)/(2 + -1). Suppose 5*o + z = 8. Does 14 divide (-1 + 8)*(o + 1)?
True
Suppose p - 5*p + 52 = 0. Suppose -p*w = -10*w - 66. Does 11 divide w?
True
Let c be (30/7)/((-2)/(-14)). Suppose -c = -5*l + 10. Is 3 a factor of l?
False
Is 79 a factor of 7 + -9 + 80*7?
False
Let h be (-28)/(-6)*(8 + 22). Suppose -30*f + h = -25*f. Does 6 divide f?
False
Let l(i) = 3*i + 15. Let k be l(7). Let r = 18 + k. Suppose -2*t + r = 6. Does 8 divide t?
True
Suppose 4*c = 860 - 124. Does 8 divide c?
True
Let k be 0 + (-424)/(-4) + -5. Let o = 133 + k. Is o a multiple of 26?
True
Let o(f) = 2*f + 22. Let q be o(8). Suppose q = 4*k - 3*s - 17, -1 = -k + 5*s. Is 15 a factor of k?
False
Let s(g) = -g**3 - 9*g**2 - g + 4. Suppose -106 + 28 = 5*f - 3*z, 0 = 4*z - 4. Let w = f + 6. Is s(w) a multiple of 13?
True
Let b be 4/(4/3) + 3 + 7. Suppose -l = -5, -4*l - b + 381 = 4*i. Is i a multiple of 19?
False
Let m = 13 - 9. Suppose m*b = b + 12. Is 26/(b*(-4)/(-16)) a multiple of 13?
True
Let v be 0 - -128 - 2/(-1). Let j = -74 + v. Is j a multiple of 8?
True
Suppose -3*q + 5*s + 3605 = 2*q, -2164 = -3*q + 2*s. Is 19 a factor of q?
True
Suppose -s + 9 = 5*b - 2, -5*b + 3*s + 7 = 0. Let n = 11 + -10. Does 4 divide -1*n/b*-16?
True
Suppose -f = -0*f + 5*f. Let s = f + 50. Does 10 divide s?
True
Let a = 1124 - 994. Is 5 a factor of a?
True
Let h(l) = l - 7. Let a(x) = x**3 - 9*x**2 - 2*x + 12. Let c be a(9). Let i be h(c). Let f = 41 + i. Does 15 divide f?
False
Let y(z) = 5*z - 1. Let k be y(5). Let m = -47 + 71. Is 11 a factor of m/1*18/k?
False
Let b = 56 + -23. Suppose 4*u - j - 198 = 0, -3*u + b + 108 = 3*j. Is 6 a factor of u?
False
Let b be -1 + 27 + (5 - 4). Suppose 3*j + 25 = 5*v - b, -j = -v + 10. Suppose 0 = 6*i - 2*i + r - 14, -v = -i - 4*r. Is 2 a factor of i?
False
Does 20 divide (-3 + (-1 - -3))*(-2291 - 66)?
False
Let o(d) = -d**2 - 12*d + 4. Let i = 32 - 43. Is 5 a factor of o(i)?
True
Suppose -m = -0*m. Let v be m*(1 - (2 - 2)). Suppose v = -c + 6 + 2. Does 8 divide c?
True
Let h = 8 - -38. Let a = 54 + h. Is a a multiple of 17?
False
Let u be (-138)/(-24) - (-1)/4. Suppose o = -u + 42. Is o a multiple of 12?
True
Let o(n) be the first derivative of -n**3/3 - 3*n**2 - 5*n + 7. Does 4 divide o(-3)?
True
Let f(q) be the third derivative of -q**6/360 + q**5/120 + 11*q**4/8 + q**3/2 - 4*q**2. Let z(w) be the first derivative of f(w). Is z(0) a multiple of 11?
True
Suppose 4*c = 5*i + 217, 6*i + 230 = 5*c + 8*i. Does 6 divide c?
True
Does 16 divide (-4 + 812/(-21))*-9?
True
Let m be (-24)/10*2800/(-32). Let s = -122 + m. Is s a multiple of 18?
False
Is 39 a factor of (319 - 7)/(-1 + (-4)/(-2))?
True
Suppose 0 = -14*c - 0*c + 2002. Is 7 a factor of c?
False
Let u be 3/(4/20*3). Suppose 99 = u*l - 96. Is 15 a factor of l?
False
Suppose -884 = -5*k + 231. Suppose -3*f - 2*g + k = 0, -3*f + 3*g - 2*g + 208 = 0. Does 25 divide f?
False
Let r(l) = -13*l**3 - 47*l**2 - 15*l - 8. Does 24 divide r(-6)?
False
Is 9 a factor of 9790/99*12 + (-4)/(-3)?
True
Suppose 14 - 11 = l. Suppose 11*b - 224 = l*b. Does 5 divide b?
False
Let m(y) be the third derivative of 0*y - 7/6*y**3 - 10*y**2 + 1/2*y**4 + 0. Does 23 divide m(10)?
False
Suppose 0 = 3*k + 4*k + 21. Is k - -94 - (0 - -3) a multiple of 22?
True
Let f(u) = u**2 - 4*u - 20. Let z be f(7). Suppose -21 + z = -4*a. Does 5 divide a?
True
Suppose 132 = -2*f + 6*f. Let k = 41 - f. Is k a multiple of 2?
True
Let t(m) = 31*m + 1728. Is t(0) a multiple of 27?
True
Suppose 5*b - 2578 = -2*l + 1906, 892 = b - 2*l. Is 106 a factor of b?
False
Let p be ((-22)/(-6))/(2/6). Let g = -9 + p. Suppose -g*y = -50 - 14. Is 7 a factor of y?
False
Let c(t) = -3*t - 1. Let d be (2/6)/(3/27). Suppose 11 = -2*f + 2*k + 1, 0 = 2*f + 5*k + d. Is c(f) a multiple of 9?
False
Let o(q) = -16*q**3 - q**2 - q + 1. Let n be o(1). Let u = n - -19. Suppose -4*m + 10 = -u*m. Is 5 a factor of m?
True
Suppose -5*z + 4*z + 37 = 0. Suppose 7 = -n - 8. Let s = z + n. Is 7 a factor of s?
False
Is 22 a factor of ((-424)/(-20))/((-7)/(-280))?
False
Let r = 19 + -20. Let u be (-25)/((-1)/(-6)*r). Suppose -u = -21*l + 19*l. Is l a multiple of 25?
True
Does 18 divide (-10 - -11)*(0 - -450)?
True
Suppose 11*f = 9*f. Suppose f = -7*d + d + 414. Is 19 a factor of d?
False
Let h = -14 - -23. Let m(u) = -u**2 - 1. Let n be m(h). Let k = -29 - n. Does 21 divide k?
False
Let r be 24*-2*(-35)/(-10). Is ((-1)/(-2))/((-1)/r) a multiple of 42?
True
Suppose 258 = 9*c - 363. Let x = c - 46. Is x a multiple of 4?
False
Suppose -460 = -4*g - 4*k, -220 = -5*g + 3*k + 395. Does 12 divide g?
True
Suppose 5*g = -s + 987, -2*s - 5*g + 1190 + 759 = 0. Is s a multiple of 74?
True
Let z(i) = -214*i - 20. Is z(-8) a multiple of 36?
True
Suppose 0 = 13*v - 125 - 5. Is 2/5 - ((-2476)/v - 3) a multiple of 22?
False
Suppose d + 4*d + 11 = 3*u, -u = -3*d - 5. Suppose -1 = -u*k + 9. Suppose b + 5*r - 47 = 9, 5*r + 160 = k*b. Is 13 a factor of b?
False
Let a(w) = w - 4. Let n be a(9). Suppose 4*j + b - 228 = 0, -n*j + 344 = 3*b + 59. Is 10 a factor of j?
False
Let n(c) = c + 16. Let l be n(-11). Suppose -i = -l*i + 288. Does 12 divide i?
True
Let z(j) = -2*j**2 + 7*j + 10. Let r be z(6). Let a = 24 + r. Suppose 0 = -6*v + a*v + y + 99, -90 = -2*v - 2*y. Does 12 divide v?
True
Let v = 11 + -9. Suppose v*s + 3*s = 200. Suppose 3*w + s = 5*w. Is w a multiple of 10?
True
Let j(i) = -114*i - 5. Is 3 a factor of j(-2)?
False
Let x(j) = 29*j**2 - 2*j - 3. Let w be 14/(-6) + (-4)/(-12). Let k be x(w). Let i = k + -81. Is i a multiple of 12?
True
Does 19 divide ((-20)/(-25))/(6/5100)?
False
Let u(s) = s**3 - 5*s**2 + 3*s - 5. Let b be u(2). Let k = 35 + b. Is k a multiple of 8?
True
Suppose 33 = 4*j + 2*c + 5, -24 = -4*j - c. Suppose 2 = s + j. Let p(q) = -4*q**3 + 2*q**2 + 2*q - 3. Is 30 a factor of p(s)?
False
Let r = -623 - -858. Is r a multiple of 10?
False
Suppose -2*x - 12 = -4, -3*p + 4*x + 31 = 0. Does 11 divide (p - (-2 + 8))*-11*1?
True
Suppose 4*m = 2*m. Suppose 11*y - 6*y - 475 = m. Is y a multiple of 18?
False
Let b(y) = y**2 - 11*y - 1. Let m be b(11). Let l be 0 + m - (-6)/2. Does 8 divide (1 + 3)/(l/4)?
True
Let g = 65 + 56. Suppose 0 = -m + 26 + 27. Let t = g - m. Is 18 a factor of t?
False
Let m(q) = 3*q**2 + 2*q - 35. Is m(7) a multiple of 6?
True
Let l = 197 - 106. Let b = l + -1. Let v = -57 + b. Does 15 divide v?
False
Suppose 2*j + j = 5*x - 26, -5*x - 5*j = -10. Let q be (-696)/18*6/x. Let l = -37 - q. Is 8 a factor of l?
False
Let s be (-2)/(-22) + 786/66. Is 12/((2/(-10))/(s/(-45))) a multiple of 16?
True
Does 3 divide (-44)/3*(-288)/128?
True
Is ((-100)/40)/(1/(-162)) a multiple of 15?
True
Let b = 85 - 77. Suppose 99 = b*h - 61. Is 9 a factor of h?
False
Suppose -6 - 1 = -o. Suppose o*s - 12*s = -190. Does 38 divide s?
True
Suppose -j = -4*q + 4*j + 475, 4*q - 457 = -j. Let l = -87 + q. Is l a multiple of 2?
True
Is 157/(-3)*(7 + -31) a multiple of 15?
False
Let p(t) = 2*t**2 + 6*t + 6. Let a be p(-4). Suppose 231 = -11*y + a*y. Does 10 divide y?
False
Let w(h) = 881*h - 16. Is w(1) a multiple of 21?
False
Let n(o) = o**2 - 12*o + 40. Let d be 0 - 1/(-1)*22. Does 52 divide n(d)?
True
Let c = -10 + 13. Suppose -c*h - 56 = -20. Let i(s) = -2*s - 6. Is 8 a factor of i(h)?
False
Suppose -4*r + 12 = 0, 5*r - 10 - 53 = -4*c. Let d = c + -2. Suppose 5*n = d*n - 70. Does 8 divide n?
False
Let j = 104 - 181. Let s = -49 - j. Is s a multiple of 7?
True
Suppose y - 4991 = -5*l, 11*y - 10*y = -3*l + 2993. Is 111 a factor of l?
True
Is 10086/21 - (-9 - 585/(-63)) a multiple of 8?
True
Suppose 10 = x - q + 2*q, 5*x + 2*q - 35 = 0. Suppose 240 = 13*c - x*c. Is 6 a factor of c?
True
Let b = -4 + 6. Suppose j - b*x = 2