)?
True
Is 10 a factor of (19 - 22)/(((-4)/844)/((-24)/(-18)))?
False
Suppose -3*f - 5*d = -25689, -5*d + 34252 = 4*f - 3*d. Is f a multiple of 146?
False
Let z(o) = -4*o + 44. Let w = -348 + 341. Is 12 a factor of z(w)?
True
Let v(s) = -23*s**2 + 6*s + 23. Let w(d) = -11*d**2 + 3*d + 12. Let c(t) = 6*v(t) - 13*w(t). Is 36 a factor of c(6)?
True
Suppose -75*x + 4199666 - 1348241 = 0. Is x a multiple of 121?
False
Suppose -22*c = -20583 + 8263. Suppose -4*z + c = r, -z = 9*r - 4*r - 121. Does 12 divide z?
False
Let v = -6199 - -6370. Is 4 a factor of v?
False
Is 43 a factor of (40/(-8) - (5 + -11))*(-2 + 2067)?
False
Suppose -2*t + 271 + 205 = 0. Suppose -817 - t = 5*p. Let f = 375 + p. Does 37 divide f?
False
Let c(u) = u**2 + 9*u - 39. Let a be c(-13). Is (-1)/3 - ((-6162)/18)/a a multiple of 26?
True
Suppose -20*z + 12*z - 144 = 0. Let v(w) = w**3 + 19*w**2 + 28. Does 93 divide v(z)?
False
Let k be 30/21 + 36/(-84). Suppose 6*l - 874 = -4*d + 4*l, 0 = l + k. Is d a multiple of 17?
False
Suppose -16 = 5*k - 41. Suppose -4*p - k*f + 291 = 0, -218 = 4*p - 7*p - 4*f. Suppose -2*a = a - 3*n - 42, 3*a + 5*n - p = 0. Is 6 a factor of a?
True
Let q = 46 + -50. Let r(c) = 60*c**2 + 53*c - 4. Is r(q) a multiple of 16?
False
Let c be (-10)/(40/12) + 3. Suppose c = -d + 3*x + 254, -7*x + 3*x = -5*d + 1292. Does 23 divide d?
False
Suppose 0 = 3*t - i + 94, -t = t - 5*i + 67. Let w = t - -43. Suppose 9*s = w*s - 45. Does 15 divide s?
True
Let g = -63 - -67. Let z be (-16)/(16/g) - 2. Is (-11)/(99/z) + (-46)/(-3) a multiple of 11?
False
Let f = -98 + 118. Is 4 a factor of f?
True
Suppose 1837 = -d + 2997. Is 3 a factor of d?
False
Let y(l) = -l**3 + 5*l**2 - 4*l - 5. Let g be y(4). Let m be 26 + g*(-20)/25. Does 18 divide (28/5 + -5)*m?
True
Let o be -2*42/24*(-5 - 1). Let u be 555/(-10) - (o/6 + -2). Let s = u + 92. Is s a multiple of 20?
False
Suppose 4*l = -5*q - 24, -2*l + 4*q + 13 = -1. Let c(j) = 9*j + 2. Let b be c(l). Let d(n) = -n**3 - 4*n**2 + 5*n + 14. Does 35 divide d(b)?
False
Let w = -5219 + 10771. Is w a multiple of 16?
True
Suppose 644 - 662 = 6*k. Let l(i) = i**3 + i**2. Let g(y) = -8. Let f(h) = -g(h) - 5*l(h). Is f(k) a multiple of 24?
False
Suppose -685 = -18*p + 23*p. Let u = p + 173. Is 12 a factor of u?
True
Let h = 2936 - 2952. Let p(t) = t**2 - 3*t + 33. Let v(a) = -5*a**2 + 11*a - 132. Let l(x) = -9*p(x) - 2*v(x). Does 13 divide l(h)?
True
Let u(w) = -255*w**3 + 11*w**2 + 9*w + 64. Is u(-4) a multiple of 34?
True
Suppose 3*k - 2*s - 3613 = 0, -4*k = -5*s - 1103 - 3705. Suppose 4*z + w - 226 = k, 0 = -5*z + 2*w + 1775. Does 17 divide z?
True
Let f(q) = 4*q**2 + q + 25. Let k be f(-11). Is k - 5/15*-3 a multiple of 42?
False
Let x(o) = 105*o - 3580. Does 6 divide x(60)?
False
Let x be 12/(-75)*-5*(-145)/(-2). Let s = x + -46. Does 12 divide s?
True
Let l(w) = 3 - 41 - w + 108. Is l(30) even?
True
Let n(r) = 12*r - 68 + 69 + 13*r + 44*r. Is 15 a factor of n(1)?
False
Suppose 191*y = 29*y + 1385586. Is 139 a factor of y?
False
Let m(y) = 65*y**2 + 8*y - 9. Let f be m(-7). Suppose -f = -17*r + 4479. Is r a multiple of 19?
False
Let s(b) = -26 - 61*b + 1 - 98*b. Is 68 a factor of s(-7)?
True
Suppose -4*z = 20, -2*z - 24 - 21 = a. Let s = -34 - a. Does 4 divide (-12)/(-5)*s*15?
True
Suppose -3*v = -16*v - 12*v + 74150. Is v a multiple of 9?
False
Let d(j) = -j**2 + 22*j - 6. Let w(r) = 3*r**2 - 88*r + 23. Let i(t) = 9*d(t) + 2*w(t). Let y(k) = k**2 - 60*k - 319. Let h be y(65). Is i(h) even?
True
Let z be ((-987)/(-94))/(6/100). Suppose -z = -2*f + f. Is f a multiple of 7?
True
Let h(r) = -6*r**2 + 97*r - 18. Let t be h(18). Let z = t - -615. Does 8 divide z?
False
Suppose 2*k = -3*k, -336 = -2*s - 5*k. Let b = s - 123. Is b a multiple of 5?
True
Let a be (2 + -4 - -4)*(-11546)/92. Let s = a + 575. Is s a multiple of 39?
False
Is 139496/6 - (-12)/16*224/252 a multiple of 30?
True
Let i be (-103)/(-1) - (9 + -11). Suppose 0 = -9*y - 615 - i. Let p = -40 - y. Is p a multiple of 10?
True
Let i be (-4)/(5 - (-26)/(-6)) - 248. Let l = -197 - i. Does 19 divide l?
True
Let z(d) = 46*d**2 - 8*d + 29. Does 82 divide z(-5)?
False
Suppose 14298 + 8796 = 9*h. Is 16 a factor of h?
False
Let h(n) be the third derivative of -n**6/120 - n**5/20 + 2*n**4/3 - 4*n**3/3 - 4*n**2. Let v be h(-6). Is 35 a factor of (3 + v)*16 - -4?
False
Let t(k) = -k - 23. Let s(o) = -o**2 - 3*o + 3. Let l be s(4). Let m be t(l). Suppose -68 - 32 = -m*z. Does 18 divide z?
False
Let z(q) = -q**3 - q**2 + q - 1. Let r(u) = 13*u**3 - u**2 - 8*u - 9. Let n(m) = -r(m) + z(m). Is 14 a factor of n(-4)?
True
Let a(h) = -44*h + 4. Let n be a(-3). Let z(o) = 9*o + 12. Let r be z(-7). Let p = n - r. Is p a multiple of 22?
False
Is (6 - 119904/(-42)) + 102/(-119) a multiple of 11?
True
Let d(r) = 7*r - 240. Let c be d(22). Let g = -8 - c. Is g a multiple of 17?
False
Suppose -3*i = -9, 3*k + 0*k = 5*i + 393. Let s = k - 134. Suppose 1160 = 2*m + s*m. Does 40 divide m?
False
Suppose -3*m = -33942 + 1464. Does 42 divide m?
False
Let d = -90 + 92. Let s(v) = 39*v**2 + 4. Is 16 a factor of s(d)?
True
Let v be 4/(-12) - 10/6. Let j(u) = 8*u + 9. Let g be j(v). Let b(x) = -11*x - 24. Does 25 divide b(g)?
False
Let p(i) = -i**2 - 23*i + 10. Let m be p(-18). Is (-1278)/(-15)*m/30 a multiple of 71?
True
Suppose -3*j - 13069 = -80*k + 78*k, -j + 32613 = 5*k. Is k a multiple of 14?
True
Let u(z) = -3*z**2 - 4*z - 29. Let y(j) = -j**2 - j - 14. Let o(n) = -2*u(n) + 5*y(n). Suppose -2*c = 2*q + 12, 5*q + 29 = -4*c - 6. Is 19 a factor of o(q)?
True
Let g = -210 + 138. Is 12 a factor of g/(-14)*(-574)/(-123)?
True
Suppose -15*l + 2040 = 19*l. Is 19 a factor of ((-108)/(-30))/1*l?
False
Let w be 159 - 4/(-2)*9/18. Suppose -2*c = 4*t - w, -2*t + 0*t = -c + 64. Is c a multiple of 8?
True
Let p(c) = 592*c**2 + 469*c + 3777. Does 14 divide p(-8)?
False
Let k = 407 - 85. Let c = -197 + k. Does 18 divide c?
False
Suppose -6*j + 34 = -26. Suppose 4*q - j*q = 0. Suppose 2*u - 6*h = -4*h + 590, q = 4*u + 4*h - 1180. Does 59 divide u?
True
Let d = 24054 + -11734. Does 35 divide d?
True
Let i be (-1 + 223)/(12*(-2)/(-16)). Suppose 0 = 3*m + m - i. Is m even?
False
Does 65 divide (-16)/(-32) + (-61831)/(-22)?
False
Let w(h) = -4 - 3*h - 5 + 0 - 2. Let c = 31 - 43. Is 25 a factor of w(c)?
True
Is 56 a factor of 632 - 0 - (-15)/(-18 + 33)?
False
Let l(v) be the second derivative of v**4/12 + 3*v**3/2 + 7*v**2 + 15*v. Let p be l(-8). Let k = p - -15. Is k a multiple of 7?
True
Is 40 a factor of (-8*(-5)/(-140))/((-1)/(-14)) - -324?
True
Let o = 6 + -6. Let a be 2 + (-250)/10 + 0 + 4. Let l = o - a. Is l a multiple of 9?
False
Suppose 0*u + 5*o = -u + 37, 0 = 3*o + 3. Is 23952/u - (-4)/(-14) a multiple of 67?
False
Let h(q) = -q**3 - q**2 + q + 1. Let a(z) = 92*z**3 - 3*z**2 + 12*z + 11. Let j(o) = -a(o) + 5*h(o). Is 24 a factor of j(-1)?
True
Suppose 0 = w - b - 8, 5*b + 1 = -3*w - 7. Let j be w/6 + 2/(-3). Suppose 0 = -5*s - j*s + 425. Does 17 divide s?
True
Suppose -165*c = -162*c - 24. Suppose -5 = b - c. Suppose -5*y = -3*q + 4*q - 748, b*q = -3*y + 444. Is 30 a factor of y?
True
Suppose -50 = -4*i + 3*d - 7, 5*d + 37 = 4*i. Does 14 divide (i - 98)*12/(-15)?
False
Let v(z) = 5034*z - 591. Is 149 a factor of v(3)?
False
Let g = 1 + 40. Let r = -990 + 1028. Suppose g*c - 378 = r*c. Is 22 a factor of c?
False
Let k be -3 + (-30)/9 + (-2)/(-6). Is 14 a factor of (-1500)/(-18) - (-1 + (-8)/k)?
False
Let i(o) = -135*o - 6657. Is 17 a factor of i(-92)?
True
Let t be 4 - 4/8*-58. Let p = 80 - t. Is 11 a factor of p?
False
Does 13 divide (1 + 1 + (-400)/(-3))/((-134)/(-7839))?
True
Let l = 8 - 9. Let a be 2/((-34)/12 + (-3)/l). Suppose -8*o - a = -12*o. Is 3 a factor of o?
True
Let w(u) = 433*u**2 - 12*u - 59. Let f be w(-7). Is 6/4*f/57 a multiple of 18?
False
Let k(t) = t**3 - 26*t**2 + 2*t - 50. Let h be k(26). Suppose 6*s - 5*c = 5*s + 432, -c = h*s - 842. Does 55 divide s?
False
Does 19 divide (-19 + 0/2)/(15/(-19 + -13991))?
True
Let h = -20188 + 28768. Does 159 divide h?
False
Let d(t) = -t**2 + 5*t + 66. Let n be d(10). Let y(v) = -v**2 + 30*v - 73. Is 5 a factor of y(n)?
False
Let f(p) = 91*p**2 + 628*p - 13. Is f(-8) a multiple of 72?
False
Does 69 divide -1 - 1 - 637736/(-88)?
True
Suppose 528*f = 533*f - 