
True
Does 18 divide (-3 + 105/25)*300?
True
Suppose 5*j + 26 = 1. Let f(w) = 4*w**2 - 3*w - 15. Is 10 a factor of f(j)?
True
Let h(w) = -12*w - 295. Let t(j) = -3*j - 74. Let c(i) = 2*h(i) - 9*t(i). Is 8 a factor of c(22)?
False
Let o be (-3)/4 - (-6)/8. Suppose 5*c - 15 + o = 0. Suppose 0 = -b - c*b + 124. Is 8 a factor of b?
False
Suppose 5*x - 15 = 2*x. Suppose x*n = 3*n + 184. Does 23 divide n?
True
Let k(n) = -n - 11. Let d be k(-13). Suppose -5*g + 148 = l, -24 - 38 = -d*g + l. Does 6 divide g?
True
Let k(p) = 4*p**2 + 24*p - 79. Does 16 divide k(-10)?
False
Suppose 0 = 2*x + 4*m - 900, 2*x - m + 1325 = 5*x. Is 40 a factor of x?
True
Suppose 2*q = -8, 4*q - 20 = -4*x - 0*q. Is x a multiple of 9?
True
Suppose -17*o - 24 = -21*o. Let g(v) = -v**2 + 7*v + 6. Is g(o) even?
True
Suppose 0 = -5*p + p + 28. Let c be 17/(-7) + 3/p. Is (-2)/(2/120*c) a multiple of 30?
True
Suppose 37 - 29 = -8*s. Let o(k) = -k**2 - 5*k. Let m be o(-6). Let y = s - m. Is y a multiple of 3?
False
Let p be (-4)/24 - (-1745)/30. Let b = p - 41. Does 10 divide b?
False
Let t(u) = -2*u**3 - u**2 - 2*u + 109. Let n be t(0). Let g = n - 0. Does 8 divide g?
False
Let b(a) = a**2 + 9*a - 52. Is b(14) a multiple of 54?
True
Suppose -4*v + 11877 = -2*r - 1313, 0 = -3*v + r + 9895. Suppose -v = -15*n - 0*n. Is 22 a factor of n?
True
Let g be (-58)/(-2 + 0) + 1. Suppose -g = -i + 15. Does 45 divide i?
True
Suppose -23*p + 39*p = 4000. Does 46 divide p?
False
Let u(n) = -n**2 + 19*n + 12. Does 18 divide u(13)?
True
Let g be ((-24)/(-16))/((-3)/8). Let z(i) = -3*i**3 + 5*i**2 + i - 4. Is z(g) a multiple of 12?
True
Suppose 3*x + 755 = 8*x. Let b = -4 - -7. Suppose 61 = -b*r + x. Does 15 divide r?
True
Is 13 a factor of 1/(8/(-96))*-128?
False
Let d be (0 - (-2)/2) + 3. Suppose t = -d*t. Suppose t = 5*i - 4*i - 7. Is 4 a factor of i?
False
Let b be 1/4*(-5 - -5). Suppose b = -2*w - 3*w - 3*a + 283, 0 = -2*w + 5*a + 138. Does 30 divide w?
False
Let a(f) = 2*f - 1. Let g(h) = -h**3 - h + 2. Let v be g(0). Let z be a(v). Suppose 7*u = z*u + 16. Is 3 a factor of u?
False
Let l(b) = -b + 2. Let h(v) = -85*v**2 - 170*v + 340. Let j(f) = -h(f) + 170*l(f). Does 17 divide j(1)?
True
Let g(z) = z**3 - 6*z**2 - 2*z + 11. Let x be g(8). Let b = -121 + x. Does 2 divide b?
True
Let g(n) = n + 22. Let x be g(0). Let d be 7682/x - (-6)/(-33). Let s = d - 241. Is s a multiple of 36?
True
Let s = 16 + -24. Let c(r) = -r**3 - 8*r**2 + 10. Let l be c(s). Let j = l - -22. Is j a multiple of 18?
False
Suppose 0 = 4*l - 1470 + 174. Is l a multiple of 6?
True
Does 16 divide (-10)/15*891/(-2)?
False
Let d be 53 + 6 + 0/(-6). Let u be (16 + 0)/((-2)/(-3)). Let g = d - u. Is g a multiple of 22?
False
Let a(m) be the second derivative of m**4/6 - m**3/3 + m**2/2 - m. Let t be (1 - -2)/(-12*(-6)/96). Is a(t) a multiple of 8?
False
Let t = 15 - 10. Let m(w) = 70*w - 4. Let h be m(4). Suppose -g + t*g = h. Is 23 a factor of g?
True
Does 9 divide (-3)/(-36)*-8 + 3028/6?
True
Suppose 54 = 2*n - 140. Is 15 a factor of n?
False
Suppose -3*w + 16*c - 18*c + 300 = 0, -w + 110 = 4*c. Is w a multiple of 4?
False
Suppose -51 - 183 = -2*u. Suppose -6*c + 81 = -u. Is c a multiple of 33?
True
Suppose -3*h + 595 = -10*h. Let i be (-1)/2 - h/2. Let x = -10 + i. Is x a multiple of 32?
True
Let z(a) = 29*a**2 + a + 1. Is z(-2) a multiple of 23?
True
Suppose -3*f + 3*b + 435 = 0, 0*f + 5*f + 2*b = 725. Suppose 2*q = c + 12, 3*q - 20 = -5*c - f. Is 2/(3 + c/8) a multiple of 8?
True
Suppose 5*g - 46 = -21. Suppose 3*m - 5*j + 7*j - 373 = 0, -j = -g. Does 8 divide m?
False
Let s be (-16)/(-6) - 4/6. Suppose 153 = s*w + w. Let i = 13 + w. Is 16 a factor of i?
True
Let g(u) be the second derivative of -u**3/3 + 12*u**2 + 8*u. Is g(-18) a multiple of 10?
True
Is 15 a factor of 515*-1*70/(-50) + 1?
False
Let r(o) = -20*o - 8. Let u(f) = -10*f - 4. Let k(y) = -3*r(y) + 7*u(y). Suppose -4 = 2*l - 0. Does 8 divide k(l)?
True
Is 37 a factor of -2*1452/(-15)*(-5)/(-1)?
False
Suppose -2*h + r + 1604 = 0, -h + r + 3*r = -816. Is 50 a factor of h?
True
Let q(f) = 156*f**2 + 4*f - 8. Does 19 divide q(-2)?
True
Let f = 35 + -43. Let q(h) = h**3 + 9*h**2 - h + 3. Is q(f) a multiple of 25?
True
Let p(t) = 3*t**3 - 12*t**2 + t - 3*t**3 + 0*t**3 - t**3. Let s be p(-12). Does 7 divide (-2)/(-3) + (-184)/s?
False
Let s be (1/2)/(1/26). Let o be 3/3*3 + s. Let k = o + 13. Is 11 a factor of k?
False
Let n(l) = -l**3 + 4*l**2 - 5*l + 4. Let g be n(3). Let f(x) = x**3 - x**2 - 2*x - 2. Let r be f(g). Let t = r - -29. Is 8 a factor of t?
False
Let o(b) = 22*b**2 - 33*b + 10. Does 44 divide o(6)?
False
Let u = -927 - -952. Does 5 divide u?
True
Let m be (-6)/(0 - 8/(-12)). Let k = 6 + m. Let p = k - -37. Is p a multiple of 13?
False
Suppose -2*q - 8 = -6*q. Suppose 7 = t + 5. Is (-14 - q)*-2 + t a multiple of 17?
True
Let d be (20/(-16))/(1/((-560)/2)). Suppose -4*w + d + 42 = 0. Is w a multiple of 14?
True
Let y = 2066 + -1164. Suppose -y = -4*a + 2. Is a a multiple of 17?
False
Suppose -3*t + 918 = -3903. Is t a multiple of 12?
False
Suppose -2*f - 140 = -2*c, -5*f = 4*c - 73 - 171. Suppose -c = -3*g + 6. Suppose -3*h + g = 3*p - 144, -2*h - 3*p = -115. Is 19 a factor of h?
False
Let v be 9/(-27) - (-187)/3. Suppose 0 = -p + v - 10. Is 10 a factor of p?
False
Let a = -2598 + 4677. Is a a multiple of 111?
False
Suppose 2*j = r - 74, -50 = 2*r - 3*j - 197. Does 4 divide r?
True
Let w(a) = -182*a - 3. Let r be w(-2). Suppose -85 + r = 4*m. Does 18 divide m?
False
Let v = 458 - 287. Does 5 divide v?
False
Let i(j) = 19*j**2 + 10*j + 9. Let c be i(6). Suppose -4*w = -y - 51 + 249, -3*w = -4*y + c. Does 62 divide y?
True
Let q = 1764 - 496. Let v be q/20 - (-12)/20. Is (v/(-1))/2*-3 a multiple of 32?
True
Suppose 3 + 25 = -7*b. Let o(q) = -q**2 - q. Let s(k) = 5*k**2 + 18*k - 8. Let r(d) = b*o(d) - s(d). Is 16 a factor of r(-12)?
True
Suppose 9*w = 6*w + 12. Suppose -6*h = -4*h + c - w, -5*c + 20 = h. Does 23 divide 2 - (-39 + -2 - h)?
False
Let h = -81 - -150. Suppose -h - 256 = -5*g. Let q = g - 38. Is q a multiple of 9?
True
Suppose 4*a + 0*a = -x + 238, 0 = 2*a - 8. Let p = 418 - x. Does 31 divide p?
False
Let l be 1 - (-3)/(-2)*-2. Let d(b) = -b**2. Let h be d(l). Let z = h - -77. Is z a multiple of 18?
False
Let j(f) = 4*f - 3*f + 8 + 19. Let w be j(-18). Does 13 divide (-94)/(-7) - w/21?
True
Suppose 0 = 4*v + j - 9, 5*j = 3*v - 13 + 35. Suppose 0 = -7*k - v + 29. Is 2 a factor of k?
True
Let p = -15 + 21. Let a be (-8)/44 - p/(-33). Suppose -w - 5*y + 64 - 16 = a, -w = -4*y - 66. Is 29 a factor of w?
True
Let y = -248 + 348. Let h = y - -21. Does 9 divide h?
False
Let d = -53 + 196. Is 11 a factor of d?
True
Let l(c) = -6*c - 18. Let j be l(-15). Let t = j - 42. Does 10 divide t?
True
Suppose 17 = z - 57. Let i = 205 - z. Does 29 divide i?
False
Let l(a) = 0 + 8 + 2 + 6*a**2 - 7*a**2 - 12*a. Let o(i) = i**2 - 8*i + 6. Let p be o(5). Does 12 divide l(p)?
False
Let b = 5914 - 4141. Is 14 a factor of b?
False
Suppose 0*f - 2*f + 29 = 3*r, 3*f - 3*r - 36 = 0. Suppose -39 + f = -u. Is 13 a factor of u?
True
Let c be (0 - -2)*(555/(-10))/(-1). Let p = c + -37. Does 10 divide p?
False
Does 93 divide 726*(-13)/(-8) + 6/(-8)?
False
Let u(j) = -4*j + 26. Let w be u(6). Suppose -2*x + 79 = -c, -w*x - x - 2*c = -101. Does 8 divide x?
False
Let s(t) = -2*t**3 + 3*t**2 - 22*t - 24. Is s(-6) a multiple of 36?
True
Suppose 20302 = -72*t + 255382. Is 20 a factor of t?
False
Suppose -3*u + 3565 = 20*u. Is u a multiple of 16?
False
Let d(z) = -52*z**3 - 2*z**2 - z. Is d(-1) a multiple of 17?
True
Let q(t) = -5*t**3 - 2*t**2 + 12*t + 10. Let x(u) = u**3 + u + 1. Let n(d) = q(d) + 4*x(d). Is 18 a factor of n(-8)?
True
Suppose 4*v = 219 + 161. Is v a multiple of 19?
True
Let m be 17 + (-5)/((-5)/(-3)). Suppose -y = 5*v - 40, -4*y + 76 = 5*v - 114. Suppose 0 = 2*b - y + m. Does 16 divide b?
False
Let w = -907 + 953. Does 18 divide w?
False
Let m(k) = 79*k - 407. Is 9 a factor of m(8)?
True
Suppose -f = -s + 2, 3*f - 13 = -f - 3*s. Let t(i) = 81*i**3 - 2*i**2 + 3*i - 1. Is 9 a factor of t(f)?
True
Let p = -54 - -75. Suppose 0 = 2*u + p - 139. Suppose 4*y = 241 + u. Is 11 a factor of y?
False
Is 12 a factor of -2 - -331 - (-14 - -16) - 3?
True
Let n = -16 + -5. Let c = 