 - 2) + -3 + 1. Suppose o*h + 185 = -183. Let k = h + 150. Does 15 divide k?
False
Suppose 22*a + 1090 = 27*a. Is 40 a factor of a?
False
Let v(w) = 20*w - 33. Is 27 a factor of v(5)?
False
Suppose -4*x = 3*x - 35. Suppose 0 = -5*f - 5, x*f - 123 = -2*p - 2*p. Is p a multiple of 3?
False
Let k(j) = j + 5. Let o be k(0). Let a(b) = 7*b**2 - o + 13*b - 27*b + 14*b + b**3. Does 12 divide a(-6)?
False
Is 79 a factor of (-176)/64*(2 + 0)*-158?
True
Let t be (-1)/(-2) + 12/8. Suppose -5*q = 0, -t*q = x - 4*q + 40. Let o = x + 61. Does 12 divide o?
False
Let l = -70 - -146. Suppose 5*z + n = 164, 8*z - 10*z = 3*n - l. Is 7 a factor of z?
False
Suppose -4*y + 0 = -8. Let r be (-7)/(y/(-2)) - -2. Suppose -4*k + r = -87. Is k a multiple of 6?
True
Let i(w) be the third derivative of -w**4/3 - 13*w**3/6 - 20*w**2. Is i(-5) a multiple of 15?
False
Suppose 2*a - 5 = l + 62, -3*a + 78 = 3*l. Let u = a - 16. Suppose k = u - 3. Is k a multiple of 7?
False
Suppose 0 = -2*n - 0*s + s + 5, 2 = -n - 4*s. Suppose 9 = n*f + 3. Suppose 25 = 3*x + 3*y - 14, f*y + 13 = x. Does 3 divide x?
False
Let a = 3588 + -2220. Does 38 divide a?
True
Suppose -5 - 3 = -2*w. Suppose w*c = 395 + 133. Is 25 a factor of c?
False
Let p(f) be the third derivative of -55*f**4/24 + 7*f**2. Let d be p(2). Let z = -60 - d. Is 9 a factor of z?
False
Let l(q) be the first derivative of 2*q**2 + 7*q + 9. Is 9 a factor of l(5)?
True
Does 50 divide 5504/10 + (-4)/10?
True
Suppose -30 = -8*h + 2*h. Let i = 13 - h. Is 5 a factor of i?
False
Suppose -28*k + 2522 = -15*k. Does 20 divide k?
False
Let b be ((-63752)/24)/13 + 2/(-3). Let k = -62 - b. Does 11 divide k?
True
Suppose -2*m = 0, q - 196 = -m - 79. Is q a multiple of 9?
True
Suppose 0 = -4*y - 5*c + 15, 12 = 3*y - 0*y + 4*c. Suppose -5*v = 5*a - 0*a - 130, -v + 107 = 4*a. Let j = a - y. Is j a multiple of 27?
True
Let p(b) = 3*b - 16. Let k be p(6). Let y(o) = 1 - 9 - k - 2*o + 3. Is y(-8) a multiple of 3?
True
Let j be (-1)/((-3)/94)*3. Suppose 2*d = 334 - j. Suppose d = 2*q - 4*w - 0*w, -2*w + 80 = q. Is q a multiple of 14?
True
Suppose 40 = y + 38. Suppose -9 - 11 = -y*c. Is 2 a factor of c?
True
Let l be (0/1)/(-4 + 5). Suppose -3*w - 11 - 25 = l. Let d = 24 - w. Does 19 divide d?
False
Suppose -82*t - 48 = -34406. Does 2 divide t?
False
Suppose 0 = -3*d + 6*k - 9*k + 9, 2*d - 8 = -4*k. Suppose -f = d*f - 279. Is 30 a factor of f?
False
Let c = 9 - -1. Let g(v) = 0 - v**2 - 2*v - 19 + c*v + 7*v. Is g(13) a multiple of 7?
True
Let q(g) = 5*g**2 - 3*g**3 - 36 + 6*g + 28 + 2*g**3 + 0*g**3. Let j be q(6). Let r = j - -11. Is 3 a factor of r?
True
Does 13 divide (78/(-18))/(37/(-36) - -1)?
True
Suppose 11*p = -6*p + 561. Is 33 a factor of p?
True
Suppose -376 = -23*n + 521. Is n a multiple of 3?
True
Let i(v) = 3*v**2 + 10*v - 10. Let f be i(-9). Let o = 297 - f. Suppose m + 2*r = -3*m + o, 4*r = -5*m + 185. Is m a multiple of 19?
False
Does 17 divide 102/((-174)/20 + 9)?
True
Suppose -17*b - 2349 + 16272 = 0. Does 13 divide b?
True
Does 13 divide 85/2*52 + -1?
False
Suppose -l = 2, 0 = -51*q + 53*q + l - 4622. Is q a multiple of 75?
False
Let f(c) = c**3 - 13*c**2 - 5*c + 14. Let d be 3 - ((-88)/(8/(-2)))/(-2). Is 10 a factor of f(d)?
True
Suppose -5*w = -10*u + 5*u + 645, 491 = 4*u + w. Does 49 divide u?
False
Suppose -34*j + 37*j = 2337. Is 12 a factor of j?
False
Is (2 - 7336/(-14)) + -10 a multiple of 6?
True
Suppose 2*r - 10 = 2*m - 4*m, 0 = -r - 3*m + 11. Is 16 a factor of 37 - ((1 + 0)/(-1) + r)?
False
Let y(f) = 2*f**2 - 8*f + 63. Let a be y(12). Suppose p + 647 = 5*w + 50, -5*p = 2*w - a. Is 15 a factor of w?
True
Let x(g) be the first derivative of g**4/2 - 7*g**3/3 + 2*g**2 + 3*g + 2. Let i(r) = r**3 + 10*r**2 + r + 14. Let y be i(-10). Is 11 a factor of x(y)?
False
Suppose 0 = 14*g - 1667 - 12893. Does 13 divide g?
True
Let s(w) = -w**2 - w - 1. Let o(j) = j**2 - 5*j - 3. Let z(l) = o(l) + 2*s(l). Suppose t = 2*m - 4*t + 20, m + 4*t = 3. Is z(m) even?
False
Let i(l) = 2*l**2 - 16*l + 26. Is 2 a factor of i(9)?
True
Let c(t) = -t**3 + t. Let i(u) = 4*u**3 + 5*u**2 - 12*u - 6. Let v(m) = 3*c(m) + i(m). Let w(a) = -a. Let p be w(6). Is v(p) a multiple of 12?
True
Is 17 a factor of 5/(-3) - 9460/(-15)?
True
Let x(t) = -49*t + 68. Does 16 divide x(-11)?
False
Let g(l) = -9*l + 1. Let z be g(4). Let s = -13 - z. Does 4 divide s?
False
Let p = -1 - -19. Suppose -3*a + a + p = 0. Does 3 divide (2/4)/(a/144)?
False
Does 2 divide (2/10)/((-43)/(-45365))?
False
Suppose 2*a - 228 = -4*f, 5*a = -2*f + 10 + 552. Is 16 a factor of a?
True
Let a(z) = 15*z**3 + 17*z**2 - 54*z + 3. Is 4 a factor of a(3)?
False
Suppose 10*s + 235 = -275. Let d = s - -76. Is d a multiple of 2?
False
Suppose 0 = -2*h + 10 + 4. Suppose 3*y = h*y - 208. Is y a multiple of 24?
False
Let c(p) = -8*p - 11 + 0*p**2 - 5*p - 13*p**2 + 13*p**3 - 3*p**2. Let h(s) = 3*s**3 - 4*s**2 - 3*s - 3. Let n(y) = -2*c(y) + 9*h(y). Does 14 divide n(6)?
False
Suppose 66 = 6*a - 168. Is a a multiple of 3?
True
Let g(c) be the first derivative of 41*c**3/3 - c + 11. Is 25 a factor of g(-1)?
False
Let o(r) = 5*r - 15. Let x be 0 + 0 - (0 - -4). Let s = 13 + x. Does 15 divide o(s)?
True
Suppose 710 = 4*o - k, -4*k + 880 = 5*o - 9*k. Is 9 a factor of o?
False
Suppose 3*g = -42 + 15. Let l = 9 + g. Suppose -2*i + 24 = -l*i. Is 12 a factor of i?
True
Suppose 0 = -f + 2*g + 471, -g - 1867 = -3*f - 439. Does 38 divide f?
False
Let i = 103 + -3. Is i/1*(1 - (0 - 0)) a multiple of 10?
True
Let z be ((-144)/(-5))/(60/400). Suppose 4*p - z = 36. Is p a multiple of 10?
False
Let v = 93 + -87. Suppose -95 = -v*o + 7. Is o even?
False
Let i be 1 - 12/(-3 + 0). Suppose 6 = 2*d - 0. Suppose 0 = d*c - 4*y - 118, c - i*y = 4*c - 136. Is c a multiple of 21?
True
Let y be (0 - (-4 + 8)) + -20. Let d = 22 + y. Is 24 a factor of (d - -2) + -2 + 26?
True
Suppose 5*u = 2 + 13. Suppose 5*l - 3*a - 131 = -35, u*l = a + 56. Let r = l + -10. Does 8 divide r?
True
Let k(j) = -j - 4. Let g be k(-9). Suppose 129 = -4*i + i - g*r, 0 = -3*i + 4*r - 156. Let s = i - -99. Is 17 a factor of s?
True
Let a(z) = -238*z - 62. Is 14 a factor of a(-3)?
False
Suppose -o - 3*x - 18 = -3*o, 2*x - 7 = -5*o. Suppose -14 = -2*b + b + 5*q, -2*b + o*q + 56 = 0. Is b a multiple of 17?
True
Suppose 3221 = 3*u - 70. Suppose -2*h + 302 = 4*n, 5*h - 2*n - u + 318 = 0. Is h a multiple of 41?
False
Let q = 205 + 35. Suppose -q = -7*r + 6*r. Is r a multiple of 15?
True
Let r(a) = -3*a - 7. Let k be r(-6). Let j = k + -8. Suppose -2*p = j*p - 15. Does 3 divide p?
True
Let g = 58 + -27. Let m = -23 + g. Suppose 0*a - a + 15 = -4*u, 3*u = -a + m. Is a a multiple of 5?
False
Let o = -10 + 382. Let r be -3 + 1 + o/2. Suppose -m + 85 = 4*n, -3*m + 71 = n - r. Is 14 a factor of m?
False
Let y(l) = -l**2 + 6*l + 3. Suppose 0 = -3*s + 3 + 24. Let u be y(s). Let z = u - -49. Is 5 a factor of z?
True
Let m be 12/(-4) - -15*1. Let k = -10 + m. Suppose 0 = -q + 38 + k. Is q a multiple of 23?
False
Suppose 8 - 5 = u. Suppose -u*y + 4*i + 484 = 0, -y - 2*i + 7*i + 154 = 0. Does 36 divide y?
False
Suppose w = 5*a + 151 + 236, -3*a = 2*w - 813. Does 67 divide w?
True
Let v(z) = -z - 5. Let x be v(-5). Suppose 12 = -3*k, -2*l + 232 = -x*l - k. Suppose 0 = 5*w + l - 334. Does 22 divide w?
True
Is (30 - 1)/((-22)/(-44)) - -3 a multiple of 4?
False
Let w = 2289 - 1052. Is w a multiple of 14?
False
Let f(l) = -l - 9. Let x be f(-15). Let p = 10 - x. Suppose 0 = -p*r + 117 - 41. Is r a multiple of 19?
True
Let v(z) = -4*z**2 + 2*z - 6. Let m be v(4). Is (m/(-6))/(((-35)/(-15))/7) a multiple of 7?
False
Let k(c) = 14*c**2 + 95*c - 3. Is 17 a factor of k(-8)?
False
Suppose -5*d + 9*d = 4*r - 6940, 5*r = -2*d + 8689. Is 9 a factor of r?
True
Suppose 160 = -0*s + s. Suppose 5*q + 0*q + 3*w - 248 = 0, w + s = 3*q. Does 13 divide q?
True
Let a(w) = w**3 + 7*w**2 + 2. Is a(-5) a multiple of 13?
True
Let s(w) be the third derivative of -w**6/120 - w**5/6 + w**4/2 + 11*w**3/6 - w**2. Let g be s(-11). Suppose -5*c = -g*c - 165. Does 11 divide c?
True
Is (-15 - (0 + -3))*(-350)/40 a multiple of 15?
True
Let k = 1012 - 668. Suppose -4*o = -z - 475 + 115, 0 = -4*o - 3*z + k. Does 30 divide o?
False
Let w(m) = 15*m**2 + 41*m - 7. Is w(-8) a multiple of 33?
False
Let r be (8 - 68)