?
False
Is (-375)/(-20) - 9/(-36) even?
False
Let w(k) = 5*k - 12. Let x be w(3). Suppose -4*c = o + 59 + 21, 3*c - x*o + 60 = 0. Is 8/c + (-2766)/(-15) a multiple of 11?
False
Suppose 0 = -14*i + 9*i + 15. Suppose -17 = -5*g - 4*v + 6*v, -2*v - 11 = -i*g. Suppose 6*d = -g*d + 198. Does 2 divide d?
True
Suppose 65*o - 2536537 + 589657 = 0. Is o a multiple of 37?
False
Suppose -346603 = -129*h + 107859 + 56378. Is h a multiple of 20?
True
Let x be 6/(-5)*40/(-16). Suppose 3*t - 8 = -5*b, -2*b - 22 = -4*t - x*b. Let i(m) = 8*m + 24. Does 8 divide i(t)?
True
Suppose -4*x - 5*s + 15 = -2*x, 5*x - s = -3. Suppose -l - 134 = -3*y, 4*l + 17 - 9 = x. Does 22 divide y?
True
Suppose 781*y - 792*y = -666072. Is 36 a factor of y?
True
Let b = -20063 + 35871. Is b a multiple of 64?
True
Let l(z) = 124*z + 32. Let b(y) = -y**2 - 9*y - 2. Let f be b(-8). Does 80 divide l(f)?
False
Suppose 98*m + 17*m = -77*m + 1580928. Is 102 a factor of m?
False
Let y be (-135)/35 - 12/(-14). Suppose -a + 2*a - 7 = 5*z, 2*z = -4*a + 6. Does 15 divide (z/y)/(5/(1110/2))?
False
Suppose 2*m - 3*s = 7519, m + s - 3761 = 2*s. Is 26 a factor of m?
False
Let g = 11 + 2. Suppose -d - 65 = -g. Let y = 7 - d. Is 25 a factor of y?
False
Let l(n) = -4*n**3 + 396*n**2 + 173*n - 118. Is l(99) a multiple of 73?
True
Suppose -2*f - 4*n = -690, -2*f + 1200 = -2*n + 492. Suppose 9*d - 5*z - 357 = 5*d, 4*d = -z + f. Is d a multiple of 11?
True
Let b(l) = 4*l + 8. Let i be b(-1). Suppose 0*u + 188 = 3*u - s, i*u - 5*s = 247. Does 29 divide u?
False
Let w(x) = -x**3 - 14*x**2 - 5*x + 10578. Does 41 divide w(0)?
True
Let q = -93 - -103. Does 6 divide q*(3 - (-65)/10)?
False
Suppose 174*o + 195*o + 31215 = 103908. Is o a multiple of 17?
False
Let x(d) = -125*d + 33 + 51 + 104 + 100*d. Is x(0) a multiple of 4?
True
Let c(r) = -11*r - 28. Let i(p) = -15*p + 20. Let k be i(2). Does 19 divide c(k)?
False
Let k = -591 + 608. Suppose -2*i + 3*m = -234, i + k*m - 139 = 13*m. Is i a multiple of 8?
False
Suppose 14322 = 30*d - 5928. Is 56 a factor of d?
False
Let q = 919 + 5357. Does 12 divide q?
True
Let c(p) = 62*p**3 - 2*p**2 + 3*p - 1. Let q be c(1). Suppose -47 = 5*s - q. Suppose -5*w + 539 = 3*h, -6 = s*w - 0*w. Is h a multiple of 21?
False
Let k = 76614 + -50497. Is 24 a factor of k?
False
Suppose -r + 5*d + 4655 = r, 5*d + 11630 = 5*r. Suppose i - 16*i = -r. Is i a multiple of 6?
False
Let g = -1852 + 4218. Does 2 divide g?
True
Let q(i) be the third derivative of 4/3*i**3 + 0 + 16*i**2 + 0*i - 1/4*i**4. Is 11 a factor of q(-8)?
False
Let p = 563 - 538. Is 22 a factor of ((-2220)/p)/(6/(-15))?
False
Suppose -56 = -5*n + 629. Let r = -584 + 503. Let y = r + n. Is 14 a factor of y?
True
Let q be (-361)/38 + 3/(-2). Let f = -12 - q. Does 32 divide 288/(-27)*3/f?
True
Suppose 152*v - 1136361 = 959653 - 431918. Is 99 a factor of v?
False
Let l(n) = 25696*n + 251. Is l(2) a multiple of 43?
True
Suppose h - c - 2 = 0, h + 2*c = -0*h - 1. Is 6 a factor of (18/6 - -62) + h + 0?
True
Is (7755/110)/((-6)/(-44)) a multiple of 20?
False
Suppose 47*k = 41*k + 18. Suppose -10*s = -k*s - 567. Does 27 divide s?
True
Is 12 a factor of (-27)/(((-1)/(-15 + 3))/((-4760)/63))?
True
Suppose 2*n - 35 = 9*n. Does 4 divide 36/((-172)/(-32) + n)?
True
Let a(f) = -456*f - 11. Let r(s) = -914*s - 23. Let n(o) = 5*a(o) - 2*r(o). Is 51 a factor of n(-1)?
False
Let y(s) = 8 - 13*s**2 - 33 + s**3 - 2*s**3 - 9. Does 13 divide y(-14)?
False
Let m(v) = v**2 + 9*v + 6. Let h be (-114)/12 + (-2)/4. Is 6 a factor of m(h)?
False
Let p(x) = 224*x - 624. Is 18 a factor of p(17)?
False
Let r be (-3*2/12)/((-2)/60). Suppose 5728 = r*t + 1333. Does 68 divide t?
False
Let c = 44 - 31. Suppose 5 = -4*n + c. Let x = n + 46. Is x a multiple of 8?
True
Let w(d) = d**3 - 2*d**2 - 12*d + 10966. Is w(0) a multiple of 70?
False
Let n(t) = 8579*t**2 + 26*t - 51. Is 31 a factor of n(2)?
True
Let l = 55 + -51. Suppose 831 = l*z - 597. Suppose 123 = -3*c + z. Is 27 a factor of c?
False
Let c = 133 + -105. Let h = c - 26. Suppose 0 = -h*w + w + 4, -4*d - 4*w = -1084. Is d a multiple of 49?
False
Let r = -95 - -214. Suppose -r*h = -120*h + 462. Is h a multiple of 14?
True
Let t be 13/(52/(-96)) + -1 + 2. Let j = t + 25. Suppose j*s - 9 = 51. Does 6 divide s?
True
Suppose -580 = -23*v - 74. Suppose 3*t - 5*k = 464, 3*k = v - 7. Is 16 a factor of t?
False
Let a = 1967 + -1026. Is 17 a factor of a?
False
Suppose 3865*m = 3889*m - 237408. Is m a multiple of 29?
False
Suppose -5*c = -5, -3*c = -f - 0 - 2. Does 22 divide 7*(f - -5 - -14)?
False
Does 32 divide ((-127018)/(-10) - 2) + 5/25?
False
Let i(y) = y**2 + 17*y + 37. Suppose 3*r + 9 = 3*w, 3*w + 9 = -2*r + 6*w. Suppose 7*x - 11*x - 64 = r. Is i(x) a multiple of 2?
False
Let f(m) = 10*m**3 + 7*m**2 + 6*m - 13. Is f(5) a multiple of 7?
True
Let n = -191 - -220. Is 16 a factor of 4/8*(9 + n)?
False
Suppose -2*r - p = -3*r, p = 3*r. Suppose -993 = -4*z - 3*u + 50, -z - u + 262 = r. Suppose -5*j - 4*k = -416, 6*j - 5*k = 3*j + z. Is j a multiple of 14?
True
Let i(n) = -162*n + 8. Let d be i(-1). Let m = d - -44. Is 16 a factor of m?
False
Let q(v) = 2*v. Let c be q(1). Suppose -c*x + 36 = -6*x. Does 30 divide (-1 + 0)/(x/603)?
False
Let t(q) be the third derivative of q**6/120 - q**5/12 + q**4/24 + 7*q**3/2 - 21*q**2. Let u be t(-5). Let j = 450 + u. Is 18 a factor of j?
True
Suppose 299264 = 59*s + 152*s - 44*s. Does 64 divide s?
True
Suppose -18*g + 21562 + 14688 = -4790. Is g a multiple of 10?
True
Suppose -20499 - 52365 = -8*p. Does 23 divide p?
True
Suppose -3*x - 25 = -5*j - 7*x, -5*x = 0. Suppose 5*r + 5*k = r + 1620, 810 = 2*r - j*k. Is 81 a factor of r?
True
Let s be (5 + -4 + 2)*(1 - -16). Let x = s + -99. Is (7/(7/x))/((-6)/8) a multiple of 16?
True
Let f(b) be the second derivative of -b**3/3 + 2*b**2 - b. Let c = 158 - 166. Does 5 divide f(c)?
True
Suppose 30 = m + 2*t, 2*t + 29 = m - 21. Is 11 a factor of m/(-16)*(-968)/20?
True
Let r(k) = 3*k + 38. Let a be r(-12). Suppose 149 - 539 = -a*s. Is s a multiple of 15?
True
Does 24 divide (114/(-5))/((-15)/9300)?
True
Let n(o) = o**2 + 13*o + 33. Let g be n(-6). Is 2 a factor of ((-4)/(-6))/(g + (-2275)/(-252))?
True
Let o(l) = -847*l + 703. Does 65 divide o(-6)?
True
Suppose 0 = -107*x + 245711 + 32596 - 33491. Does 50 divide x?
False
Is 24 a factor of 587356/66*(1944/42)/9?
True
Let j(t) = -6*t**2 - 24. Let y(z) = 7*z**2 - z + 24. Let w(v) = -5*j(v) - 6*y(v). Let u(o) be the first derivative of w(o). Is 33 a factor of u(-4)?
False
Let z(u) = 5*u + 30. Let q be z(-11). Let d = q - -31. Suppose -2*c - d = 0, r + 3*c = -r + 249. Is 11 a factor of r?
False
Suppose 4*r + 3*p - 22874 - 87495 = 0, 3*r - 2*p - 82747 = 0. Is r a multiple of 49?
True
Suppose 3*r = -2*n + 699, 3*n + 2*r - 750 = 286. Does 3 divide n?
True
Let u(j) = 64*j + 43. Let p be u(-6). Let q = -216 - p. Does 17 divide q?
False
Suppose -51319 - 19997 = -1078*k + 1071*k. Is 12 a factor of k?
True
Suppose 5*l - 91 = b, -5*l + 6*b - 3*b = -93. Suppose 13*p = l*p - 385. Does 11 divide p?
True
Suppose 2*p = -2*p + 2668. Suppose -7*i + 376 = -p. Does 14 divide i?
False
Suppose 9*i = -7*i + 96. Suppose 9*v = i*v + 387. Does 17 divide v?
False
Suppose -5*q + 2 = -4*q. Suppose 2*r - q - 8 = 0. Suppose r*k + 10 = 405. Does 19 divide k?
False
Is 7 a factor of -1056*(28*1)/(7 + -13)?
True
Let b(t) = -39*t - 9 - 73*t + 5*t. Let w be b(-3). Suppose -w = 11*h - 15*h. Is 13 a factor of h?
True
Suppose 287*o + 931188 = 5360746. Does 58 divide o?
False
Suppose 4 = 10*h - 236. Suppose 3*i + 5*u + 39 = u, -3*i - h = -u. Does 26 divide (952/42)/((-3)/i - 0)?
False
Let x(i) = 165*i - 9. Let q(v) = v**2 + v - 36. Let r be q(6). Suppose 0 = 2*m - 8*m + r. Is x(m) a multiple of 52?
True
Suppose -93 = -6*q - 51. Suppose 2*n - q*n + 1270 = 3*j, -3*j + 1250 = -5*n. Is 10 a factor of j?
True
Let s(b) = -3*b - 7. Let z(g) = g - 10. Let i be z(5). Let u be s(i). Does 9 divide -2 - u*(-51)/6?
False
Let m(y) be the second derivative of -5*y**3/6 - 25*y**2/2 - 168*y. Suppose b + 15 = 1. Is m(b) a multiple of 9?
True
Let h(k) = -k**3 + 16*k**2 - 29*k + 18. Let g be h(14). Suppose 5*w = 25, g*j - 3*w + 2085 = 6634. Is j a multiple of 71?
False
Is (-29294)/(-14) + 61/(8540/80) a multiple of 10?
False
Suppose -5*f + 23331