 Is f a multiple of 5?
True
Suppose -o - 5*z = -6604, 0 = -5*o - 59*z + 57*z + 32882. Is 8 a factor of o?
False
Let n(h) = 53*h + 3755. Does 78 divide n(-37)?
True
Suppose 0 = -25*k - 8*k - 5346. Let l = 546 + k. Does 24 divide l?
True
Is 4 a factor of (-26 - -31)*1*(-6114)/(-10)?
False
Let r = 20 - 15. Suppose r*w - 111 = -11. Is 4 a factor of (270/w)/(1/4)?
False
Let h = 41779 - 23665. Does 130 divide h?
False
Suppose -4*l - 4 = 0, 4*d - 12720 = l + 28937. Is d a multiple of 41?
True
Suppose 99120 = -61*x + 73*x. Is x a multiple of 35?
True
Suppose -b = 3, -1 = -4*g - 2*b + 121. Suppose -3*q + 5*s = -2*q - 198, 188 = q - 3*s. Let h = q - g. Is 15 a factor of h?
False
Suppose 0 = -18*m - 69*m + 2082780. Does 70 divide m?
True
Let y = 43 + -41. Suppose y*i - 280 = -2*b, -3*i + 284 = -3*b - 136. Does 20 divide i?
True
Let f be (714/(-54) - -13) + (-2)/(-9). Let i be 539/5 + (-1)/(-5). Suppose -47*w + 46*w + i = f. Does 18 divide w?
True
Suppose 9539 = -15*k + 103634. Is k a multiple of 51?
True
Suppose 10*m - 16*m + 52*m = 1784616. Is m a multiple of 29?
False
Suppose 17*v - 312286 = -3*v + 143754. Is 13 a factor of v?
True
Let s = -293 - -703. Suppose 0 = -5*y + 5*v + s, 23*v - 19*v - 72 = -y. Is 10 a factor of y?
True
Suppose -122*x + 138*x = 41856. Is x a multiple of 24?
True
Let r = 202 - 200. Let n(f) = 29*f**3 - f**2 - 3*f + 2. Does 32 divide n(r)?
True
Let v(b) = -9*b**3 + 8*b**2 + 158*b + 39. Let i(n) = -6*n**3 + 6*n**2 + 105*n + 26. Let p(d) = 8*i(d) - 5*v(d). Is 26 a factor of p(-5)?
True
Let r be (2 - 3/1) + (1 - 0). Let s(l) = -11*l + 286. Is 3 a factor of s(r)?
False
Let a = 22 - 19. Suppose 0 = a*v - 8*v + 50. Suppose -5*s = -v*s + 75. Is s a multiple of 15?
True
Suppose 78*g = 69*g + 356400. Is 176 a factor of g?
True
Suppose 689814 = 110*u - 90137 + 12261. Does 7 divide u?
True
Let t be ((-80)/(-400))/((-1)/(-25)). Suppose 4*z = -3*n + 1833, -7*z + 2*z + 2290 = t*n. Is z a multiple of 27?
True
Suppose 2 = 2*j + 6. Let a be (j + (-5)/(-3))/(4/(-48)). Suppose 0 = -5*n + a*y + 202, -4*n + 2*y + 68 + 96 = 0. Does 14 divide n?
True
Let y(l) = -l**3 - 19*l**2 - 33*l + 11. Let g be y(-17). Does 17 divide 1173/9 + 6 + 2/g?
True
Let o be 1/(0 + 3 + -4). Does 5 divide (-3 - -4) + o + 52?
False
Suppose -6*o + 2*o = -8. Suppose -o*v + 444 = 10*v. Does 16 divide v?
False
Suppose -2*f = -4, -2*i + 121 = -5*f - 233. Let o be (16 + i)/(1/6). Suppose a + o = 7*a. Is 38 a factor of a?
False
Let x = 117 + -112. Suppose 0 = x*g - 113 - 147. Is g a multiple of 26?
True
Let t(k) = -k**2 - 3*k + 40. Let l be t(4). Is l/8*(0 - -102) a multiple of 5?
False
Let z be (2 - 0 - 22)*368/(-230). Suppose 26*l - 25*l = z. Is l a multiple of 32?
True
Let o be 64878/(-11)*(-6)/18. Let i = o + -566. Is 25 a factor of i?
True
Suppose 2*j + 6 = 4*k, -2*j - 17 = 4*k - 3. Is (k*2)/((-4)/((-1760)/(-5))) a multiple of 81?
False
Suppose -37*m = -34*m - 9. Suppose -183 = -m*i - 3*d, -5*i = -8*d + 4*d - 341. Does 11 divide i?
False
Suppose -5803650 = -409*t - 904648. Is 23 a factor of t?
False
Let b be (-2 - -2 - (6 + -5))*-2. Suppose -y = 3*q - 246, 4*q = -b*y - q + 488. Suppose 5*p - y = -4. Is p a multiple of 24?
False
Let t(v) = 2*v**2 + 19*v - 21. Let a(c) = -5*c**2 - 56*c + 62. Let w(m) = -3*a(m) - 8*t(m). Let y be w(12). Suppose 3*s + y = 8*s. Is 2 a factor of s?
True
Let u be (1 + (-5)/(-2))*(0 - -2). Suppose 32 = -5*r + z, -2*r + 12*z + 1 = u*z. Is r/(-11 + 4) + (1 - -340) a multiple of 57?
True
Suppose 0 = -0*r + 2*r - 212. Suppose -95 = -3*a + 5*z, -r + 283 = 5*a + z. Let h = -4 + a. Does 3 divide h?
False
Is (254 + -489)*2/((-10)/249) a multiple of 14?
False
Let x(r) = r**3 + 2*r**2 + 3*r - 132. Does 33 divide x(7)?
True
Suppose 5*t = -16 + 116. Suppose 2*b + 4*o - 14 = 0, 0 = -9*o + 4*o + t. Does 22 divide (-3934)/(-98) + b/7?
False
Let l = 7 + -42. Let g = 5 - l. Let k = 61 - g. Does 18 divide k?
False
Does 6 divide (178/623)/(2/9394)?
False
Let j = 6074 - -19086. Is 40 a factor of j?
True
Let f = 29677 + -12128. Does 119 divide f?
False
Suppose 3*j + 2*j = -2175. Let g be 0 + 2/(-3) + j/(-45). Is 28 a factor of 262/6 - (5 + (-48)/g)?
False
Suppose -4*s = -8*s - 1864. Let q be (s - (2 - -2))*3/(-6). Suppose 4*g = -3*v + q, 5*v - g + 2*g = 386. Is v a multiple of 11?
True
Let o = -113 + 16. Let b = o + 593. Does 15 divide b?
False
Let r be (-88)/(-14) - (92/28 + -3). Suppose r*k - 90 = 4*k. Suppose k = -4*u + 5*u. Does 9 divide u?
True
Suppose 3*s + 867 = 5778. Is s a multiple of 12?
False
Suppose -3*x = 4*f - 6*f - 12, -x - 4*f - 10 = 0. Let t(h) = 31*h**2 + 15*h - 29. Is t(x) a multiple of 7?
False
Let n(a) = -6*a**3 - 4*a**2 - 7*a + 1. Suppose 0 = q + 4*r + 93, -4*q - 3*r = -q + 252. Let o = q - -78. Is 37 a factor of n(o)?
True
Suppose 2*m = -5*b + 4 + 25, b + 47 = 4*m. Suppose -2*s - m = -4*s + 3*d, -4*s + 2*d + 8 = 0. Is (1 + s)*249/3 a multiple of 39?
False
Let j be (166/4)/((-64)/(-256)). Suppose -j = -5*b + 1414. Is 6 a factor of b?
False
Let f(r) = r**3 + 11*r**2 + 11*r + 12. Let w be f(-10). Let m(v) = -141*v**3 - 6*v**w + 140*v**3 - v + 7 - 10*v. Is 3 a factor of m(-5)?
False
Let h(k) = 29*k**2 - 77*k + 748. Does 3 divide h(13)?
False
Suppose -5*z - 5*f + 3095 = 0, 3*z - 2546 = 3*f - 659. Suppose 46*h + z = 49*h. Is h a multiple of 11?
False
Suppose 61 = -12*m + 421. Is 25 a factor of 2/6 - (-4490)/m?
True
Let x = 118 - -5. Let d = x - -495. Is d a multiple of 24?
False
Let x = -5904 + 5986. Let v be ((-14)/4)/(2/4). Let y = v + x. Is y a multiple of 25?
True
Suppose -2*h = -y - 203, 0 = -4*h - 3*y + 6*y + 407. Let k = h - 155. Does 27 divide k*-1*(-1 - -2)?
True
Suppose -4*o + 0*x + 56 = -4*x, -3*x = 3*o - 30. Suppose -6*i + o*i = 120. Is 12 a factor of ((-9)/(225/i))/(1/(-90))?
True
Suppose 99 = -2*z + 97. Is (59 - z)*(-1012)/(-66) a multiple of 29?
False
Let t(h) = 4*h**2 + 4*h - 14. Let r(i) = -i**2 - i - 1. Let v(m) = -3*r(m) - t(m). Let d be v(0). Let o(c) = 3*c**2 - 34*c - 29. Does 49 divide o(d)?
False
Let q(u) = u**2 + 58 + 23*u - 32*u + 264 + 10*u. Does 27 divide q(0)?
False
Suppose 71580 = 72*x - 60*x. Is 3 a factor of x?
False
Let d(z) = 29*z**2 - 20*z - 14. Let t be d(-4). Is 29 a factor of t/2 - (-100)/(-25)?
True
Suppose w + 10 = 12. Does 59 divide 4/(24/366) - w?
True
Let s = 156 + -154. Suppose -898 + 326 = -s*l. Does 22 divide l?
True
Let j(p) = 1 - 6*p**2 + p**3 - 24*p + p**2 + 4 + 0*p**2. Let t be j(8). Suppose -3*r - t*r = -112. Is r a multiple of 7?
True
Let l(d) = 9*d**2 - 72*d - 111. Is l(41) a multiple of 37?
False
Let b = -539 - -533. Let m(f) = 53*f**2 + 16*f + 63. Is 15 a factor of m(b)?
True
Let n(j) = 148*j**3 + 25*j**2 - 139*j + 90. Does 11 divide n(7)?
True
Let k(j) = -20*j - 975. Is 95 a factor of k(-63)?
True
Suppose 3*c + 216 = -c. Let p = c + 59. Suppose 191 = 4*z + p*d - 109, -4*z + 5*d + 300 = 0. Is 10 a factor of z?
False
Let b(t) = -4*t**3 - 6*t**2 + 169*t + 2998. Does 55 divide b(-18)?
True
Suppose 3*w - w - 2 = 0. Let c(s) = 57*s. Let x be c(w). Suppose x + 19 = 4*i + 2*q, -5*q = -20. Does 2 divide i?
False
Let h(o) = 2*o**2 - 6*o + 6. Let b be h(4). Suppose -6 = 4*v + b. Let y(f) = 2*f**2 + f + 4. Does 14 divide y(v)?
False
Let a(r) = 2*r - 5. Let w be a(5). Suppose -5 = -w*b, -5*j - 5*b - 9 = 11. Does 18 divide (j - 3)*(-27)/4?
True
Let y = 87977 + -55997. Does 65 divide y?
True
Let k(g) = 3*g - 6. Let z(u) = -u - 5. Let m be z(-12). Let x be k(m). Suppose x + 0 = l. Is l a multiple of 2?
False
Suppose -5*i + 39 - 29 = 0. Let d(p) = 2 - 1 - p - 1 + 6 + p**i. Is 16 a factor of d(7)?
True
Does 5 divide (-35834)/(-17) + 1 + (-75)/85?
False
Let d = -34 - -40. Let k(t) = t**2 - 5*t - 3. Let g be k(d). Suppose -2*n = -g*n + 43. Is n a multiple of 43?
True
Let q = -208 - -15. Let l = q + 281. Is l a multiple of 8?
True
Is 9 a factor of 15/(-360)*606*-464?
False
Suppose 0 = -10*y - 9 - 11. Is y*(-5)/(60/1518) a multiple of 13?
False
Suppose -1077105 = 295*y - 4041779 - 3148611. Is 23 a factor of y?
True
Suppose -5*l + 13625 = 5*k, 4*l - 10930 = -7*k + 9*k. Is 21 a factor of l?
True
Let p(b) = -b**2 - 7*b + 6. Let i be p(-8). Let s be i + 2 + 0 + 0/(-3). Suppose s = 3*t - t - 96. Is 12 a factor of t?
True
Let u(a) = 14*a**2 - 56*a - 1072. Does 8 divide u(-18)?
True
Let b(u) = 68*u - 2240. Does 140 divide b(35