tiple of 24?
False
Let p be -1*(-3)/(-3)*1. Does 5 divide 50 + p - (-7)/((-21)/(-6))?
False
Let a = 402 + -284. Let h = a - 48. Suppose 2*v = 212 - h. Is v a multiple of 19?
False
Let y be ((-1)/(-2))/(3/12). Suppose 34 = y*q - 4*r, -q - 36 = -3*q + 2*r. Does 6 divide q?
False
Let j(w) = 2*w**2 + 0*w**2 - 11 + 11*w - 3*w**2. Let p be j(9). Let d(x) = -x**2 + 8*x - 3. Does 2 divide d(p)?
True
Let v(k) = -k**2 + 50. Let s be v(0). Let m = -20 + s. Is 6 a factor of m?
True
Suppose -2*c = -2*n, 2*n - 4*c = -c. Suppose n*m - 72 = -m. Is 12 a factor of m?
True
Let q(z) = -z**3 + 7*z**2 - 2. Is 11 a factor of q(-4)?
False
Let t(c) = c**3 + 2*c**2 - 3*c - 7. Let u be t(-5). Let d = u + 192. Suppose 93 = 3*l - 0*n + 3*n, -5*n - d = -3*l. Does 12 divide l?
False
Suppose 4*k = -p + 647, 5*k = 3*p - 1938 - 54. Is p a multiple of 36?
False
Let w = -16 - -10. Let u(r) = -r**3 - 2*r**2 + 7*r - 4. Let n be u(w). Let x = n - 62. Does 8 divide x?
False
Suppose 235 = 4*n + k, 2*n - 5*n + 3*k = -165. Is 20 a factor of n?
False
Let a be 2*-1*4/(-8). Is (-2 + 7)/(2/1 - a) a multiple of 3?
False
Let h = 5767 + -4098. Is 28 a factor of h?
False
Let u(l) = -l**3 + 7*l**2 - 10*l + 8. Suppose -2*z + 3 = 5*i, 3*z - 5 = 3*i + 10. Let y be u(z). Is 22 a factor of 2 - (-102 - y/(-4))?
False
Let g(q) = -q**3 + q**2. Let a(w) = -w**3 + 3*w**2 - 5*w - 5. Let z(j) = -a(j) + 2*g(j). Is z(-4) a multiple of 7?
False
Does 54 divide 120/35*(0 + (-2205)/(-10))?
True
Suppose 5*r + 5*i = 35, -r = -3*i + 9 - 4. Let w(z) = -z**3 + 4*z**2 + 3*z + 2. Let g be w(r). Let v = g + -7. Is 2 a factor of v?
False
Let c(o) = 227*o**2 + 17*o - 4. Does 14 divide c(-3)?
True
Is 23 a factor of (-25355)/(-99) + (-1)/9?
False
Let r = 98 - 95. Suppose -r*f = -211 - 389. Is f a multiple of 20?
True
Is 10 a factor of -2*((-6)/(-6) - 15)?
False
Does 17 divide (2118 - (-4 - -3))*1?
False
Let l(p) = -2*p - 3. Let v be l(6). Does 7 divide -63*((-55)/v - 5)?
True
Suppose -11 = -2*d - 3. Suppose -5*p = 5*q - 80, d*p = 5*q - 11 - 33. Suppose -r = -5, 4*r - q = t - 51. Is 17 a factor of t?
False
Let r = 183 - 7. Is r a multiple of 9?
False
Is (-2 + -1 + 4)*(284 + -3) a multiple of 46?
False
Let z(p) = 4*p - 8. Let q be z(-12). Let r = q - -108. Is r a multiple of 13?
True
Let r(u) = u**2 + 4*u + 1. Let y be r(-6). Suppose -9*n + 8*n + y = 0. Suppose -s = -61 + n. Does 15 divide s?
False
Let g = -281 + 401. Suppose 4*f = -2*v + 596, 4*v - g - 22 = -f. Is f a multiple of 13?
False
Let h(l) = -l + 2. Let j be h(-5). Let a be 2250/35 + (-2)/j. Suppose 4*o = 2*o + a. Does 8 divide o?
True
Let z be (-256 - (-3 - 0))/(-1). Suppose 0 = -3*j - 3*u - 37 + z, -2*j + u + 144 = 0. Is 6 a factor of j?
True
Suppose -6*g + 2*g + 3*n = -21, 3*g - 4*n = 7. Let f = 7 + -11. Let l = g + f. Is 2 a factor of l?
False
Let h = 264 - 498. Let s = h + 346. Is s a multiple of 11?
False
Let y(g) = 149*g - 429. Is y(8) a multiple of 7?
True
Let m(s) be the second derivative of s**3/6 + 4*s. Let k(f) = f**3 + 6*f**2 - 7*f - 8. Let p(r) = -k(r) - 6*m(r). Is p(-7) a multiple of 10?
True
Suppose 27*p - 30030 + 9537 = 0. Is 11 a factor of p?
True
Suppose -3*w = -2*s - 1113, -4*s = -18*w + 22*w - 1504. Is w a multiple of 46?
False
Suppose -4*h = -j - 0*j - 75, -5*h + 90 = -2*j. Suppose 2*c + 2*c + 4*n = 380, 3*c = 2*n + 270. Let m = c - h. Is 24 a factor of m?
True
Let x(o) = 12*o - 2. Is x(7) a multiple of 45?
False
Is (8 - (5 - 143))*2 a multiple of 11?
False
Let a = 76 - -29. Suppose a = o + 36. Does 10 divide o?
False
Let r(s) = s + 12. Suppose -71 = -5*m - 11. Does 7 divide r(m)?
False
Let l be 68/18 - (-14)/63. Let i(p) = p**3 - p**2 - 6*p - 5. Is 5 a factor of i(l)?
False
Suppose 5*d - 3*d = -2*v + 12, -3*v + 4*d + 18 = 0. Is 5 a factor of 7/(v/(-45) + (-1)/(-3))?
True
Suppose 3*j = -0*r + r + 380, -4*j + 524 = 3*r. Suppose -4*l + 3*f = -j, 3*l - 5*f - 58 - 27 = 0. Is 7 a factor of l?
True
Let d(m) = m**3 - 7*m**2 + 8*m. Let t be d(6). Suppose 2*y = 2*y - y. Suppose y = 3*i - t, -i + 273 = 3*x - 4*i. Does 35 divide x?
False
Let x = 7 + -2. Suppose -x*o + 56 = -o. Let p = o + 6. Is p a multiple of 10?
True
Suppose 0 = 6*g - 3*g - 5*b + 27, -6 = -2*b. Let c be (-1)/((-10)/g + -3). Is ((-528)/32)/(c/(-8)) a multiple of 15?
False
Suppose 9*j + 2006 - 37448 = 0. Is j a multiple of 11?
True
Suppose 0 = -13*h + 77 + 79. Let t(b) = b - 1. Let y(l) = -3*l - 1. Let q(u) = 12*t(u) + 3*y(u). Is q(h) a multiple of 3?
True
Suppose -5*m + 45 + 40 = 0. Suppose 3*b + 8 = m. Suppose s + 15 = b*n, n - 5*s - 12 = 7. Does 3 divide n?
False
Suppose -3*s - 12*s = -3900. Is 13 a factor of s?
True
Let o(p) = p + 226. Is o(35) a multiple of 47?
False
Suppose 3929 = 8*o + 3905. Let w be (-4)/(-10) + (-16)/(-10). Suppose 3*h + 88 = 3*c - w, 0 = -o*c - 4*h + 97. Is c a multiple of 9?
False
Let g = 273 + 2592. Is 125 a factor of g?
False
Let w = 2 - 5. Does 2 divide w - -5 - (-10 + 3)?
False
Let p = -17 + 187. Is 56 a factor of p?
False
Let g(a) = -a**3 + 10*a**2 + a + 11. Let r be g(10). Let w = 33 - r. Does 12 divide w?
True
Let w(j) = -8 - j + 5 - 8 - 4*j + j**3 + 9*j**2. Let n be w(-9). Let s = n - 16. Is s a multiple of 4?
False
Let r(z) = 112*z**3 + 2*z - 1. Let h be r(1). Let b = -81 + h. Is b a multiple of 16?
True
Let w be ((-4)/(-5))/(3/30). Let d = w - 1. Suppose 2*b = d*b - 4*h - 140, -5*b = h - 165. Does 16 divide b?
True
Let d(u) = u**2 + 2. Let c be d(-6). Let k = c + 5. Suppose 0 = -3*y - 4*a + 1 + k, -5*y = -a - 35. Does 4 divide y?
True
Suppose j + 2*k + 2*k - 154 = 0, j = -5*k + 156. Is j a multiple of 5?
False
Suppose 5*y + 8 = -2. Is 159/y*(-6)/9 a multiple of 11?
False
Let i(d) = -27*d + 6. Let o be i(-6). Let a = -44 + o. Is a a multiple of 31?
True
Let k(q) = -1855*q**3 + 31*q + 31. Is k(-1) a multiple of 14?
False
Suppose -3*w + j - 3*j + 670 = 0, -2*w - 2*j + 444 = 0. Let q = -108 + w. Is q a multiple of 31?
False
Suppose -17*j + 4440 = -14*j. Is j a multiple of 22?
False
Suppose -78*g + 82720 = 16*g. Is g a multiple of 5?
True
Let y(b) = 2*b**2 + 3*b + 2. Let k(i) = 3*i**2 - i - 1. Let v be k(-1). Let q be 2/2*12/v. Is 20 a factor of y(q)?
False
Is 10 a factor of 13/(4/(-2)*23/(-460))?
True
Suppose 2*d = -w + 391, -12*w + 15*w + 5*d - 1173 = 0. Is 10 a factor of w?
False
Let b = 918 - 450. Is 26 a factor of b?
True
Let k(d) = -d**2 + d**3 + 0*d**3 + 0*d**3. Let w be k(1). Suppose 2*n = -w*x + 3*x - 46, 3*n = 5*x - 75. Does 4 divide x?
True
Let t(q) = q**3 + 13*q**2 + 1. Let h be t(-13). Suppose -h - 19 = -5*n. Is n a multiple of 2?
True
Suppose 32*s - 33*s = -127. Is 66 a factor of s?
False
Let f(j) = -27 - j + 39 - j**2 + 0*j + 0*j. Suppose 3*v = 6*v. Does 8 divide f(v)?
False
Suppose -2*k - 39 = k. Let o(r) = -r**2 + 13*r + 15. Let j be o(12). Let f = j + k. Is f a multiple of 4?
False
Suppose 0 = -2*g + u - 65, 5*g = -0*u - 3*u - 168. Let y = 56 + g. Is y a multiple of 3?
False
Let m(a) = -20*a**3 + 3*a**2 + 4*a + 32. Is 13 a factor of m(-5)?
True
Let h = -917 - -1335. Is h a multiple of 19?
True
Let g(o) = o**3 - 6*o**2 + 6*o - 11. Is 5 a factor of g(7)?
True
Let a = -4577 + 8669. Does 11 divide a?
True
Let s = 3564 - 2104. Suppose 4*o = -2*r + 560, r - 2*o - s = -4*r. Suppose 0 = 5*c + l - r, 5*l + 16 = c - 16. Is c a multiple of 12?
False
Let i be (3/(-3))/((-4)/(-28)). Let x = i + 10. Suppose -423 = -x*q - 93. Does 24 divide q?
False
Suppose -4*f - 5*l + 7045 = 0, -5*l - 3304 - 5446 = -5*f. Is f a multiple of 27?
True
Let x(g) = 4*g**2 + 109*g - 244. Is x(-44) a multiple of 13?
True
Does 31 divide (-2)/(-4)*1/(4/744)?
True
Suppose -9*b = -10*b - 4*p + 389, 3*p = -3*b + 1149. Does 4 divide b?
False
Let h(p) = 4*p**2 - 19*p + 22. Let s be h(-14). Suppose s = 27*j - 23*j. Is j a multiple of 39?
False
Suppose 4361 + 1759 = 12*z. Does 17 divide z?
True
Suppose 2*v = 2*c - 320, -5*v = 7*c - 3*c - 595. Is c a multiple of 15?
False
Let j(i) = 2*i**2 + 29*i - 116. Is j(-25) a multiple of 10?
False
Let n = -273 - -767. Is n a multiple of 21?
False
Suppose 9*l + 22 = 202. Is l a multiple of 2?
True
Let k be (24/30)/((-4)/(-10)). Let u(v) = 2*v - 3. Let d be u(k). Let s = d + 12. Does 13 divide s?
True
Suppose 6*d = 67 - 1. Let t(y) = -y**2 + 12*y - 5. Let k be t(d). Let o(l) = 6*l + 19. Does 11 divide o(k)?
True
Suppose 5*b - 12 = 18. Suppose 