Does 20 divide q?
True
Suppose -8*m + 19*m - 54626 = 0. Does 14 divide m?
False
Let f(x) = 2*x**2 + 40*x + 183. Is 4 a factor of f(-22)?
False
Let o = 144 - -681. Does 75 divide o?
True
Let s = -4202 - -7298. Does 16 divide s?
False
Let x = 87 + -87. Suppose x*g = 3*g - 759. Does 11 divide g?
True
Suppose 3*w = -3*a + 57, w - 2*a + 0 - 4 = 0. Suppose -x + 5*f + w + 4 = 0, x = 4*f + 14. Is 4 a factor of (0 - x)/(4/32)?
True
Let i(o) = -o**3 + 13*o**2 - 8*o + 11. Let f be i(5). Suppose 176*y - f*y = 850. Is 10 a factor of y?
True
Let h be (0 + 1)/(6/(-12)). Let w = -21 + 17. Is w - (2 + h) - -84 a multiple of 10?
True
Let q = 166 - 120. Does 11 divide q?
False
Let n = 0 - -4. Suppose -9 = x - n*x. Is x a multiple of 3?
True
Let x = -62 - -66. Suppose -x*k = 2*p - 44, p + 7*k - 3*k = 16. Is 14 a factor of p?
True
Suppose h = 12*w - 9*w - 2097, -1398 = -2*w + 4*h. Does 11 divide w?
False
Suppose -d - 2*r = 35, -42 = 2*d - 2*r - r. Let m be d/45 + 896/10. Suppose -u + 14 = -2*f - 13, 2*f + m = 3*u. Is 7 a factor of u?
False
Suppose -u + 2 = -2*h, 4*u - 4*h = 3*u + 4. Suppose u = v - 3*v - f + 59, -3*v + 81 = -f. Is 5 a factor of v?
False
Does 75 divide (42/112)/1 + (-16602)/(-16)?
False
Let j(d) = -d**3 + 5*d**2 - 3*d - 4. Let h be j(4). Suppose h = 2*s - 5*s + 21. Suppose 0 = -2*b + s*b - 80. Does 8 divide b?
True
Let w be 2/4*14*(6 - 5). Let b = -6 - -35. Let k = b - w. Is k a multiple of 6?
False
Does 20 divide 9/((-90)/(-1400)) + (0 - 0)?
True
Let n = -44 - -78. Let f = -28 + n. Is 3 a factor of f?
True
Suppose -114*b = 5*r - 119*b - 2850, 4*r - 3*b = 2280. Does 15 divide r?
True
Let o(l) be the second derivative of -21*l**3 + 7*l. Does 18 divide o(-1)?
True
Let m = 22 + -20. Let q be m/9 - 2408/(-18). Suppose 2*h = 2*d + q, -5*h - 2*d + 308 = 2*d. Is h a multiple of 10?
False
Let x(a) = -a**2 + 7*a + 6. Let f = -10 + 16. Is x(f) a multiple of 3?
True
Let p(a) = -33*a + 1. Let u be p(-4). Let j(y) = -y**3 - 14*y**2 + 12*y - 45. Let k be j(-15). Suppose k = -2*d + 37 + u. Is d a multiple of 34?
False
Let p(h) = -3*h**3 + 2*h + 2. Let d be p(-1). Suppose 0 = 4*u - 0*u + 3*x - 289, -4*u + d*x + 295 = 0. Does 12 divide u?
False
Suppose -1572 = 16*n - 5828. Is 14 a factor of n?
True
Let c(o) = -o**2 - 66*o - 26. Is 85 a factor of c(-32)?
False
Suppose 1176 - 231 = 7*r. Does 15 divide r?
True
Suppose -2*c + 9*c = 238. Suppose -35 - c = -i. Does 23 divide i?
True
Let g(m) = m**2 - 2*m - 1. Let f be g(-3). Let t(x) = x - 5. Let b be t(f). Let p(i) = i**3 - 9*i**2 + 19. Is p(b) a multiple of 5?
False
Is (-3 + -1)/((-20)/1710) a multiple of 17?
False
Let h(v) be the first derivative of 13*v**2/2 + 2*v - 11. Is h(3) a multiple of 18?
False
Let s be (-4 + -26)/(-1 - 0). Let q = -16 + s. Is q even?
True
Let m(o) = -224*o**3 - 1. Let y be m(1). Let p = y + 380. Is 31 a factor of p?
True
Let k = -13 - -41. Let l = -13 + k. Is l a multiple of 5?
True
Let z(i) = -i**2 - 5*i + 14. Let x be z(-6). Suppose 0 = 3*g - x*g - 2*h + 95, -2*g - h = -37. Does 4 divide g?
False
Let j = 374 - -613. Is 11 a factor of j?
False
Suppose 4*q = 250 + 470. Does 12 divide q?
True
Let x(u) = u**3 + 10*u**2 - u + 4. Let r be x(-9). Let z be r*(15/(-6))/(-5). Suppose 3*d - z = -0*d - 5*v, d = -2*v + 14. Is d a multiple of 7?
False
Let d(x) = x**2 + 2*x + 2. Let t be d(-2). Let y be t/(0 - 1) - -10. Is 9 a factor of 123/4 + 2/y?
False
Let f(l) = l**3 + 9*l**2 + 4*l + 30. Let w be f(-9). Let p(s) = -25*s - 22. Is p(w) a multiple of 49?
False
Suppose 71*o - 60*o - 165 = 0. Does 15 divide o?
True
Let o(u) = -u + 51. Let l(k) = k + 6. Let w be l(-6). Suppose w = -2*x + 3*x. Does 11 divide o(x)?
False
Let t(g) = g**2 - 1. Let w(m) = -19*m**2 - 2*m - 5. Let n(v) = 4*t(v) - w(v). Let j be n(2). Suppose -j = -2*x + 5*b, -b = -x + 3*b + 50. Is 8 a factor of x?
False
Suppose -229*p + 3*o - 1545 = -232*p, 3*p - 2*o = 1555. Is 10 a factor of p?
False
Suppose -l + 0*v + 13 = -v, l = -4*v + 28. Let k(h) = -l + 11 + 6*h - 17*h. Does 13 divide k(-4)?
True
Suppose -2*u + 249 = k - 26, -562 = -2*k - u. Does 18 divide k?
False
Let u = -146 - -224. Let n = 134 - u. Is 28 a factor of n?
True
Does 3 divide -4 - -70 - (-2 - 4)?
True
Let v = -4 - -8. Let i(r) = -2*r**3 - 5*r**2 - 3*r + 6. Let z(s) = s**3 + s**2. Let g(y) = i(y) + 3*z(y). Does 13 divide g(v)?
True
Let q = 145 - 143. Suppose -2*j + 4*m + 682 = j, -5*m + 493 = q*j. Is 26 a factor of j?
True
Suppose -51*x = 7*x - 100514. Is 10 a factor of x?
False
Let w be (-2)/(-10) - (-38)/10. Suppose w - 9 = -r. Suppose 2*k = -3*n + 31, -4*n + n = -r*k + 130. Is k a multiple of 23?
True
Suppose 2*r - 54 = -2*h, 5 = 3*h - 1. Suppose -5*l + r = 0, 9 - 3 = -n + 2*l. Suppose -195 = -4*o - n*q - 59, -4*o = 5*q - 133. Is 10 a factor of o?
False
Suppose y - 3*p - 137 = 0, 0 = -3*y + 2*p + 42 + 362. Is 4 a factor of y?
False
Let t(b) = -12*b - 11. Let g be t(3). Let i = g + 76. Is 9 a factor of i?
False
Suppose b + 4*y = -0*b - 82, -2*b - 209 = -y. Let x = -59 - b. Is x a multiple of 10?
False
Let h(w) = -63*w. Does 21 divide h(-5)?
True
Let h be 2/(-3) - (-14686)/(-21). Let o be (3/(-2))/(15/h). Suppose 2*p = 7*p - o. Is p a multiple of 2?
True
Suppose 0 = -l + 2*q, q + 0*q - 4 = 0. Let i be (-3 - -1) + l + 3. Suppose 0 = i*h - 4*h - 75. Is 3 a factor of h?
True
Suppose 15*p = -13*p + 7728. Is p a multiple of 46?
True
Let c(l) = l**2 - 4*l - 5. Let r be c(7). Let t be r/(-3) - 18/27. Let m(k) = k**3 + 6*k**2 - 8*k + 2. Is m(t) a multiple of 25?
True
Let l(g) = -g**3 + 9*g**2 + 15*g + 6. Is l(-6) a multiple of 4?
True
Let c be 165/(-143) + ((-24)/13 - -2). Does 28 divide (3 - -1) + c*3 - -204?
False
Let y(w) = 485*w**2 + 13*w + 11. Does 25 divide y(-2)?
True
Suppose -q - 4*q = -20. Suppose -4*m = -d + 40, 6*m + 5*d - 2 = q*m. Let h = m + 18. Is h a multiple of 5?
False
Suppose -3*l = -4*w + 1835, -2*w - 313 = -4*l - 1223. Is 18 a factor of w?
False
Let y(k) be the third derivative of -k**4/3 - 4*k**3/3 - 4*k**2. Is 40 a factor of y(-7)?
False
Let i(s) = s**3 + 21. Let u be i(0). Let j = u - -4. Is j a multiple of 25?
True
Let c(p) = p**3 - 2*p**2 + p - 4. Let u be c(3). Let o = 12 - 56. Does 14 divide (-612)/(-22) - u/o?
True
Let s(v) = 15*v + 14 + 26 + 3. Is 5 a factor of s(0)?
False
Let t = 100 + 32. Is 6 a factor of t?
True
Does 32 divide (99 - 3)/((-27)/(-126))?
True
Let n = 8 - 14. Let b(r) be the first derivative of -5*r**2/2 - 14. Is 8 a factor of b(n)?
False
Let a = -1809 - -4665. Is a a multiple of 24?
True
Suppose -130 = -5*z + 5. Suppose 0 = -2*s - s + z. Is 3*(105/s - 2) a multiple of 11?
False
Is 275 + -2 + (-6 - -7) a multiple of 35?
False
Suppose -2*g + 1 = -5*z - 0, -17 = -4*g - 5*z. Suppose -6*d + 204 = -2*d - 4*p, -2*d + g*p = -98. Is d a multiple of 13?
False
Does 18 divide (2*(-9)/(-12))/((-3)/(-474))?
False
Let m(v) = -29*v + 281. Is 7 a factor of m(-20)?
True
Let f(d) = -d**3 + 13*d**2 - 2*d - 7. Let z be f(12). Suppose 0 = -7*h + z + 83. Does 19 divide h?
False
Let i(a) be the third derivative of a**6/120 - a**5/15 + a**3/6 - 4*a**2. Let o be i(3). Is 25 a factor of (18/4)/(o/(-176))?
False
Is 51 a factor of ((-12793)/(-33))/(((-2)/(-3))/2)?
False
Let d(w) = -12*w + 127. Is d(5) a multiple of 4?
False
Let s(m) = m**2 + 8*m + 6. Let j be s(-6). Let f be (-2 - 57/j)*40. Suppose 0*z - f = -5*z. Does 16 divide z?
False
Let n = 11 - 8. Let m be n/(-3 + 4) - 3. Suppose -3*d + 54 = -m*d. Is d a multiple of 6?
True
Suppose 0 = -4*p + 306 + 222. Does 6 divide p?
True
Let x be -71 - -3 - 0/3. Let a = x + 100. Does 8 divide a?
True
Suppose 0*i - 10 = -5*i. Suppose -70 = -4*p - i*h, -18 = -3*p - h + 34. Is p a multiple of 17?
True
Let o(x) be the first derivative of 2*x**2 - 39*x + 14. Is o(21) a multiple of 4?
False
Suppose -8*p + 504 = -22*p. Is (-3)/(19 - 1) - 2634/p a multiple of 36?
False
Suppose -5*b + 3278 = 2*n, 3*n + 4*b = 5254 - 337. Does 11 divide n?
True
Let c be 5 - ((-522 - -2) + 5). Suppose -7*d = d - c. Is d a multiple of 5?
True
Let j = 9 - 5. Let z(f) = 4*f**3 - 6*f**2 + 8*f + 1. Let d(y) = 5*y**3 - 6*y**2 + 9*y + 1. Let k(c) = 3*d(c) - 4*z(c). Does 9 divide k(j)?
False
Suppose 13 = 5*a + 5*q - 27, 0 = 5*a + q - 56. Let y = 12 - a. Let u(n) = -2*n + 60. Does 20 divide u(y)?
True
Suppose -2*r + 772 = -4*m, 11*m = 4*r + 6*m - 1529. Is 