3)?
False
Let t(w) be the second derivative of 17*w**3/6 + 55*w**2/2 - 5*w. Is 29 a factor of t(7)?
True
Let z be (4 - 21/7)*0. Let f(p) = 15 - 1 - 2*p + 46. Is f(z) a multiple of 19?
False
Let o = -228 + 62. Let j be o/(-3)*(-3)/(-2). Let i = j + -31. Is 12 a factor of i?
False
Suppose -2*u - 3*r + 104 = 0, -5*r - 3 = -13. Let a be ((-1)/3)/(2/(-18)). Suppose 0 = 4*p + p + a*z - u, 6 = -3*z. Does 9 divide p?
False
Let u = 2 + 0. Let x = 15 - u. Let c = x + -5. Is c even?
True
Suppose 6*m = 9*m - 165. Suppose -8*o - m = -13*o. Is o a multiple of 8?
False
Let b(l) = -8*l - 9 - 18 - 23 + 0. Does 11 divide b(-9)?
True
Suppose 0 = 4*u - 5*o - 313, 2*u + 0*u - 151 = -3*o. Let w = u - 45. Is 17 a factor of w?
False
Suppose 10 = 5*c - 0*c. Suppose -c + 0 = b. Let f(s) = -7*s + 2. Is f(b) a multiple of 12?
False
Suppose 0 = 5*d + 2*m - 53, -2 = m - 1. Suppose -6*q - 605 = -d. Let v = -71 - q. Is v a multiple of 9?
False
Let o = -5 + 8. Suppose 4*u + 16 = -4*r, 2*u = -o*r - 6 - 6. Suppose u = 4*z - 23 - 21. Is 11 a factor of z?
True
Let c = -14 - -22. Let x be (c - (1 - -3)) + -1. Suppose -l - 113 = -2*d, d + x*d - 4*l - 228 = 0. Is 14 a factor of d?
True
Suppose -77 = -9*h + 3658. Is 14 a factor of ((-23)/69)/(h/(-207) - -2)?
False
Let l(j) = j**2 + 9*j + 10. Let g be l(-11). Let x be -6*(4 - g/3). Let o = x - 27. Is o a multiple of 3?
False
Let g be 2 - (10 + (3 - 1)). Let h(a) = a**3 - 3*a**2 - 3*a - 7. Let o be h(5). Is 15 a factor of o/70 - 456/g?
False
Let p = 89 + -54. Suppose -4*i + 105 = 3*f, -p = -3*i + 2*i + f. Is 5 a factor of i?
True
Suppose -4*h + 616 = 3*n, -h - 322 = -3*h + 2*n. Suppose -h = -2*u + p + 18, u + 2*p = 75. Is u a multiple of 19?
False
Suppose -663 = -2*z + 2*g + 3*g, -g = 4*z - 1315. Does 21 divide z?
False
Suppose 4 = u + m, -u - m = 2*m - 4. Suppose -3*z = -i + 17, 0 = -u*i - 0*i - 4*z + 4. Is i a multiple of 2?
False
Let d = -30 + 51. Suppose -d = -a + 1. Let n = 82 - a. Is n a multiple of 10?
True
Suppose 0 = -5*n - 5*h + 450, -45 = 2*n + h - 226. Suppose -30*i = -31*i + n. Is 31 a factor of i?
False
Suppose 0 = -21*o + 41*o - 5860. Is o even?
False
Suppose -g + 3*s + 2*s = 19, 0 = 3*s - 15. Is (7 + 1)/(2/144*g) a multiple of 12?
True
Is -14*26/(-8)*2 a multiple of 10?
False
Is 4 a factor of 4475/75 - (-2 + (-8)/(-3))?
False
Suppose 21*c - 20*c = 76. Suppose -220 = -4*f - 5*p, 2*f - 4*p - c = f. Is f a multiple of 12?
True
Suppose -4*p - 23 = -35. Suppose p*j = -j + 320. Does 16 divide j?
True
Let v(t) = -t**3 - t**2 + 70. Does 7 divide v(0)?
True
Let a(d) be the first derivative of 3 + 11*d + 1/2*d**2. Is 9 a factor of a(14)?
False
Let f(m) = -m + 3. Let i(g) = g**3 - 2*g**2 - 3*g + 3. Let r be i(2). Let q(v) = 2*v - 6. Let h(y) = r*q(y) - 5*f(y). Is 5 a factor of h(-11)?
False
Suppose -5*y - 5*v = -80, -42*y + 41*y - 3*v + 22 = 0. Does 2 divide y?
False
Suppose 0 = i - l - 2*l - 458, 2*i = -2*l + 924. Suppose 6*h = i + 61. Does 8 divide h?
False
Suppose -43*h = 3*t - 42*h - 10222, 2*t = h + 6818. Is t a multiple of 71?
True
Suppose 0 = -f - 4*f, u - 5*f - 25 = 0. Suppose z + 5*n = -u, -2*n - 8 - 2 = -z. Suppose z = 4*y - 20 - 0. Is 5 a factor of y?
True
Let x = -146 + 355. Let k = 135 - x. Does 6 divide (-2 - k)*(-2)/(-4)?
True
Suppose -58*y + 3216 = -50*y. Is 16 a factor of y?
False
Suppose 5*a + 3*l = 9657, -4*a + 3323 = 4*l - 4401. Is 84 a factor of a?
True
Let m(k) = -k**3 + 2*k**2 + 3*k - 4. Let t be m(3). Let h be -50 + (12/t - -1). Let n = -36 - h. Does 13 divide n?
False
Suppose -15*o + 8541 = -2*o. Is 31 a factor of o?
False
Let c(p) = p - 1. Let f(o) = 54*o + 7. Let l(a) = -2*c(a) - f(a). Is l(-3) a multiple of 28?
False
Suppose 140 = j + 4*j. Is j a multiple of 17?
False
Let n(t) be the third derivative of 1/30*t**6 - 1/2*t**3 - 1/30*t**5 + 0 - 3*t**2 + 0*t + 1/6*t**4. Is 6 a factor of n(2)?
False
Suppose -2*k - 38 = f, 107 = -4*k + f + 31. Let b = 21 + k. Suppose 0 = -3*l + 15, 0*t + 4*t = -b*l + 62. Is 3 a factor of t?
False
Let a(s) = -s**2 - 18*s - 31. Let j be a(-10). Let n = 82 - j. Does 11 divide n?
True
Let a = -81 + 419. Is 15 a factor of a?
False
Suppose -110 + 146 = t. Is t/21 + -2 + 6759/63 a multiple of 16?
False
Suppose -19 = -d - 5*o, 3*o + 0*o - 1 = 2*d. Suppose -215 = -3*b - 5*r, -2*b + 7*b - 346 = d*r. Is b a multiple of 14?
True
Suppose 0*k + 84 = -6*k. Let t = -9 - k. Suppose -4*r = t*u - 62, -2*r - 2*u - 22 = -3*r. Is 6 a factor of r?
True
Let g be (2 + -5)*(-6)/9. Suppose -3*r + 1930 = g*r + 5*l, r = l + 382. Suppose 2*t - r = -2*t. Is 32 a factor of t?
True
Suppose -2*w + 321 = 5*k - 828, -2287 = -4*w + k. Is 11 a factor of w?
True
Let u = 101 - -103. Is u a multiple of 50?
False
Let q(j) = 11*j**2 - 9*j + 5. Let a = -69 - -72. Is 16 a factor of q(a)?
False
Is 1152464/1428 + (-2)/42 a multiple of 2?
False
Let s(l) = -l**3 + 15*l**2 + 6. Let d be 798/54 + (-4)/(-18). Is 3 a factor of s(d)?
True
Let j = -3 - 26. Let n = j - -83. Is 27 a factor of n?
True
Let i(m) = -7*m - 7. Let p(q) = q**2 + 10*q - 13. Let t be p(-11). Is i(t) a multiple of 3?
False
Let j = -1311 - -1828. Is j a multiple of 47?
True
Let o(z) = 18*z + 176. Is 16 a factor of o(24)?
True
Suppose 0 = 3*n + 2*g - 232, -n - 5*g + 29 = -57. Is 4 a factor of n?
True
Let w = -210 + 401. Suppose -y + h = -94, -3*y + y + 5*h = -w. Is y a multiple of 27?
False
Let o = 203 - 6. Is 13 a factor of o?
False
Let z(y) = -y**2 + 9*y + 19. Let s be z(10). Is 106 + (-4)/(s/(-3) + 1) a multiple of 12?
True
Suppose 2*s + 22 = 6*s + 3*n, 4*s - 24 = -4*n. Suppose -4*j + 522 = -m, 2*m + 398 + 126 = s*j. Is j a multiple of 13?
True
Suppose -6110 = -9*k + 4*k - 5*o, -k - 4*o = -1216. Is k a multiple of 51?
True
Suppose 9 + 111 = -4*w + 3*o, -o - 4 = 0. Let a = 53 + w. Does 15 divide a?
False
Suppose -3*t = i + 4 - 1, 3*t + 21 = 5*i. Suppose -4*u + 17 = 3*x - 107, 4*x - i*u - 182 = 0. Suppose -4*l + x = 2*a, -4*a + 3*l = 2*l - 52. Is 6 a factor of a?
False
Let p(b) = -b**3 - 7*b**2 - 24*b - 13. Is p(-7) even?
False
Let u be 146/9 + (-2)/9. Suppose -320 + u = -m. Is 6/4*m/6 a multiple of 19?
True
Let j = 18 + -21. Let u be 3/((-1)/(-4)*j). Does 32 divide -14*(u + 2) + 4?
True
Let x be (3/((-9)/6))/((-2)/4). Suppose -5*m - x*r - r = -1195, 0 = -2*r - 6. Is m a multiple of 22?
True
Suppose 1 = 2*w - 5. Let k be -16 + 0 + w + -3. Let v = k - -32. Is v a multiple of 16?
True
Suppose 28*l - 29*l = -3. Suppose x - 4*t = 2 + 5, 3*x - 96 = -l*t. Does 27 divide x?
True
Let c = -1124 + 1688. Suppose 3*x + 940 = 5*h, -3*h - 8*x + c = -3*x. Is h a multiple of 17?
False
Let m = -3 + -66. Let t(k) = -k + 15. Let w be t(8). Let f = w - m. Is 17 a factor of f?
False
Let g(z) = 13*z**2 + 4*z**3 - 2 - 5*z**3 + 10 + 7*z. Is g(13) a multiple of 33?
True
Let h(w) = -8 + 8 + 10*w - 9*w**2 - 12 - w**3 + 2*w**3. Let k be h(8). Is 6 a factor of (2 + k)/(5/20)?
True
Let k(w) = -9*w**2 - 12*w + 27. Let p(a) be the second derivative of -5*a**4/12 - a**3 + 7*a**2 + 4*a. Let q(s) = 6*k(s) - 11*p(s). Is q(6) a multiple of 2?
True
Suppose 3*q + 468 = 2*r - 2*q, 0 = 2*r + q - 480. Does 4 divide r?
False
Let m = -15 + 6. Does 20 divide m/(-2)*74/3?
False
Let n(y) = y**2 + 22*y + 5. Is n(19) a multiple of 4?
True
Is 294/(((-39)/(-4))/13) a multiple of 28?
True
Let q(g) = g**3 + 7*g**2 + 6*g + 2. Let n be q(-6). Is (-1 - (-1902)/54) + n/(-9) a multiple of 16?
False
Suppose -p = 2*l - 1062, 3*l - p - 1591 = -2*p. Is 6 a factor of l?
False
Suppose 8*y + 0 = -0. Suppose y = 117*t - 119*t + 144. Does 18 divide t?
True
Let c(a) = -175*a + 13. Is c(-3) a multiple of 14?
False
Suppose 4*j + 23 = 2*o + o, -3*o - 4*j = -31. Let m(d) = -d**3 + 9*d**2 + 7*d + 12. Let g be m(o). Suppose -177 = -4*l + g. Does 21 divide l?
True
Let t be (-4)/8*(-2 - (-3 - -1)). Suppose t = j + 2*m - 39, 5*j = -3*m + 5*m + 195. Is 13 a factor of j?
True
Suppose -5*f - r = 232 - 1790, 3*f - 2*r - 940 = 0. Is f a multiple of 21?
False
Suppose 3*a = -6, -3*a + 78 = 8*l - 4*l. Let c = l - 29. Is (-13)/52 - 426/c a multiple of 20?
False
Let u(m) = -4*m - 4. Suppose -2*r - 4 = 2. Let c be u(r). Let g = 4 + c. Is g a multiple of 4?
True
Let b = 998 - 503. Is 23 a factor of b?
False
Let p(h) be the second derivative of 4*h**5/15 - h**4/24 + h**2/2 + 5*h. Let i(m) be the first derivative of p(m). Does 7 divide i(-1)?
