 r be (102 + -1)*1/(-1). Is (r - -1)/(-2) - (-1 - -6) a multiple of 11?
False
Let l(w) = w**2 - 3*w - 5. Let q be l(-4). Let k = q + -1. Does 22 divide k?
True
Let f be 0 + 0 + 4 + -6. Suppose a - 22 = 4*x, 5*x = -4*a - 52 + 14. Is 12 a factor of ((5 + f)/3)/(x/(-252))?
False
Suppose -16*n - 3354 = -6714. Is n a multiple of 42?
True
Suppose 6*l = -11*l + 34. Suppose 4*h + 3*c - l*c - 1487 = 0, -5*h - 2*c + 1861 = 0. Is 26 a factor of h?
False
Let j(f) = f**3 - 18*f**2 - 42*f + 46. Let l be j(20). Let a(c) = 16*c**2 - 19*c - 2. Let u be a(l). Suppose 3*w - u = 290. Does 42 divide w?
False
Let x(q) = 2*q**3 - 34*q**2 + 66*q - 9. Is x(23) a multiple of 81?
True
Suppose -5*p - 48 - 72 = 0. Let u be ((-78)/p)/(1/(-4)). Is u/((-65)/18)*10*2 a multiple of 6?
True
Let c be (-1 - -3)*2 - 1/(-1). Suppose 0 = 13*b + c - 57. Suppose 3*v = -b*l + 946, l + 3*v + 1196 = 6*l. Is l a multiple of 42?
False
Suppose 7 = -3*f - 47. Let j be 132/f*(-36)/1. Suppose -m + j = 3*m. Does 16 divide m?
False
Let j(x) = -5*x**3 - 3*x + 21. Let k(i) = i**3 + i - 5. Let s be (0/2)/(-3) - 2. Let u(r) = s*j(r) - 9*k(r). Is u(2) a multiple of 4?
False
Let y = 210 - 207. Suppose -y*p = 5*p - 208. Is 26 a factor of p?
True
Let u = -268 - -268. Does 14 divide (20 - u)*1134/45?
True
Let t be -1 - 10/(-8) - (-7961)/76. Let i = t - -165. Is 45 a factor of i?
True
Let t(f) = f - 2. Let o be t(0). Let x(h) be the third derivative of -3*h**4/8 + h**3/3 + 2*h**2 + 117. Is x(o) a multiple of 3?
False
Suppose 28*h - 6720 = -b + 24*h, 5*b + 5*h - 33645 = 0. Does 12 divide b?
True
Let o(h) = -h**3 + 14*h**2 + 22*h + 10. Let d(n) = -n**3 + 4*n**2 + 7*n - 17. Let q be d(3). Does 61 divide o(q)?
False
Suppose -q + 3*q - 7019 = 9061. Does 120 divide q?
True
Let y = -62 - -66. Suppose 3*p = -b + 2*p + 450, p + 1790 = y*b. Does 56 divide b?
True
Let h(x) = -43*x**3 - 14*x**2 - x + 2. Is h(-5) a multiple of 17?
True
Let k(p) = 98*p + 4822. Does 116 divide k(-35)?
True
Suppose 8*g = -3*y + 4*g - 2763, -5*g = 3*y + 2763. Let h = y + 933. Is 3 a factor of h?
True
Suppose 2*b + 2313 - 655 = 5*l, 0 = 2*l + 3*b - 667. Let t = l + -283. Is t a multiple of 5?
False
Let r = 3700 + 6845. Does 19 divide r?
True
Let q be 884 - (-6)/(5 - 4). Suppose 123*n - q = 118*n. Is 38 a factor of n?
False
Let d(n) = 56*n - 313. Let b be d(4). Let t be 48/((12/(-14))/3). Let c = b - t. Does 8 divide c?
False
Let d(t) = -8*t + 29*t - 69 - 60*t. Is 53 a factor of d(-14)?
True
Let u = 19963 - 13930. Is 20 a factor of u?
False
Let l = 10561 + -6311. Does 27 divide l?
False
Suppose 9 = -5*m + 19. Suppose -3*u = -2*u - 4*l + 52, -5*l + 104 = -m*u. Let h = u + 149. Is 14 a factor of h?
False
Suppose 48 = 5*t - 3*t. Let a(r) = -4*r - 7*r**2 - 4*r - r**3 + t - 12*r - 13*r**2. Does 9 divide a(-19)?
False
Let u(v) = 71 + v + 34 + 0*v + 2*v. Let w be u(0). Suppose w = g + 6*g. Is 6 a factor of g?
False
Let c(q) = 2*q**2 - 32*q - 115. Let m be c(19). Is 359 + m*(0/(-6))/6 a multiple of 32?
False
Let n(p) = -1215*p - 1796. Is 85 a factor of n(-6)?
False
Let d = 192 + -96. Suppose 0 = -d*x + 92*x + 3452. Is x a multiple of 40?
False
Does 95 divide ((-20)/(-6))/(7 + 177550/(-25365))?
True
Let i be 4*((-4)/24)/(4/12). Let f = i + 173. Does 9 divide f?
True
Is 7 a factor of 11332/((-1057)/(-49) + -21)?
True
Let b = -539 + 1245. Let p = -382 + b. Is 54 a factor of p?
True
Let c(i) = i**3 - 5*i**2 - 4*i + 14. Let h be c(5). Let w be h/(-18) - (-3)/9*-55. Let l(m) = -m**2 - 18*m + 9. Is l(w) a multiple of 9?
True
Suppose 0 = 13*o + 10628 - 61510. Is o a multiple of 19?
True
Let q(x) = -381*x - 22. Let s be q(-4). Suppose 0 = 20*j - s - 118. Is j a multiple of 9?
True
Let n(w) = 9*w**3 + 4*w**2 - 141*w + 74. Does 224 divide n(10)?
True
Let r(m) = m**3 - 26*m**2 + 48*m + 48. Let y be 242/10 + ((-96)/(-30))/(-16). Is 11 a factor of r(y)?
False
Suppose -2*x + 3*f = -43, -4*x = 3*f - 7 - 106. Suppose 3*u = 109 + 89. Let r = u - x. Does 4 divide r?
True
Suppose 8 = -m + 5*m. Suppose m*d + 5*l = 6*d - 25, 15 = -2*d - 3*l. Suppose 3*r - 136 + 112 = d. Is 2 a factor of r?
True
Suppose 15 - 30 = -3*p. Suppose 2*k = p*d - 1452 - 166, 660 = 2*d - 4*k. Is 29 a factor of d?
False
Let m = 10177 - 6355. Is m a multiple of 26?
True
Suppose 1276 = r - x, 4*r + 2*x + 2809 = 7907. Is 25 a factor of r?
True
Suppose 18 - 18 = 3*o. Suppose 4*p - 7*p = o, -3*p = 2*y + 670. Let z = y - -517. Is 16 a factor of z?
False
Let m = 496 + 1. Suppose -u + m = -0*u + 4*b, 4*u + b = 2063. Is u a multiple of 63?
False
Let b(c) = c + 1. Let q be b(4). Suppose -q*x + 100 = 5*j, 4*x - 3*j + 2*j - 100 = 0. Let v = x + -19. Is v a multiple of 5?
True
Suppose -897 = -4*p - 2*s - 6729, -1458 = p + 5*s. Let m = -994 - p. Does 18 divide m?
False
Let v be 1/(5/50 + (-8)/55). Is 25 a factor of (-50)/(-21 - -27 - (-134)/v)?
True
Does 107 divide (-651)/(-62)*8960/12?
False
Suppose -13*i - 5*i - 3963 = -53463. Is 7 a factor of i?
False
Suppose -5*v = 5*b - 6400, -486*v + 482*v + 5118 = 3*b. Is v a multiple of 28?
False
Let t be (-14)/91 + (-200)/52. Let f(r) = -5*r**3 - 4*r**2 - 4*r + 6. Does 15 divide f(t)?
False
Let a(x) = -x**2 + 18*x - 75. Let g be a(10). Suppose -121 = -2*u + 4*c + 43, 0 = -5*u + g*c + 430. Is 50 a factor of u?
False
Suppose -5*i - 6*x + 3*x = -23195, -2*x = -10. Is 38 a factor of i?
True
Suppose 4 = -6*b + 22. Does 61 divide (191 - b) + -3 - 2 - 0?
True
Let k(i) = 9*i + 108. Let n be k(-12). Suppose 2*m + 4 - 148 = n. Is 4 a factor of m?
True
Suppose 44 = 36*g - 35*g. Suppose -4*v = -0*v - g. Let a(i) = 9*i + 15. Does 18 divide a(v)?
False
Let d(g) = -59*g - 63. Suppose 93*v - 85*v + 16 = 0. Does 7 divide d(v)?
False
Suppose 18*q - 116 = 208. Is 1336/q - (4 - 170/45) a multiple of 3?
False
Suppose 0 = 77*o - 74*o + 2*n - 11914, -4*o + 15925 = -3*n. Does 12 divide o?
False
Let b(j) = 2*j**2 + 26*j + 8. Let y be (4/(-1))/(1/(21/6)). Is 16 a factor of b(y)?
False
Let b(f) = -5*f**3 + 24*f**2 + 10*f + 29. Let v(k) = -6*k**3 + 25*k**2 + 10*k + 31. Let w(o) = 4*b(o) - 3*v(o). Is 4 a factor of w(11)?
True
Let a be -1 + (-1)/(3/(-24)). Suppose 174 = a*t - 246. Does 4 divide t?
True
Suppose -20*k + 24*k = -18*k. Suppose 3*q - 546 = -k*c - 5*c, -2*q + 364 = -5*c. Does 13 divide q?
True
Let o(w) be the third derivative of 31*w**5/60 + w**4/8 - 10*w**3/3 + 40*w**2 + w. Does 12 divide o(6)?
False
Let k be (-2)/(-8) + 1535/20. Let r = -15 + k. Is r a multiple of 18?
False
Let y(o) = -21*o - 142. Let f be y(-7). Suppose -w + 0*w + 172 = f*n, 596 = 4*w - 3*n. Is w a multiple of 18?
False
Suppose 0 = -26*y - 44 - 86. Does 16 divide (2 + y)*(1002/(-9))/1?
False
Suppose 297 = -a + 4*q - 262, 535 = -a - 2*q. Let y = a + 1229. Is y a multiple of 14?
True
Let a(r) = 6*r**2 + r - 2. Let b be a(1). Suppose 5*k + 5*s = 10*s - 5, -b = 4*k - 5*s. Suppose -3*n - 101 + 335 = k. Is 42 a factor of n?
False
Let y(k) = -6*k - 75. Let b(z) = -9*z - 112. Let w(s) = 5*b(s) - 8*y(s). Let c be w(-14). Does 4 divide (-18)/(-4) + (3/c)/(-3)?
False
Suppose 3*z = -3*k + 3747, -2*k + 1511 - 261 = z. Suppose -5*m + 3*o + z = -m, -5*m + 1555 = -5*o. Is m a multiple of 7?
True
Let y(k) = -115*k**3 - 7*k + 17 - 10 - k**2 - 13 + 0*k**2. Is 10 a factor of y(-1)?
False
Suppose -8 = -2*r - 2*r + 4*q, -5*q = 5*r - 10. Let i(z) = 14*z - 19*z + 15 - 22*z + 2*z**2 - 3*z**r. Is 13 a factor of i(-25)?
True
Suppose 2*i = -i + 15*i - 11232. Is 4 a factor of i?
True
Suppose 10*k + 21 = 17*k. Suppose 0 = -z + 2*z - 142. Suppose k*g + 43 - z = 0. Is 25 a factor of g?
False
Is ((-1275)/(-100))/((-21)/(-9632)) a multiple of 43?
True
Let h = 47603 + -31405. Is 91 a factor of h?
True
Let b be (10 - 11) + (-58)/(-2). Suppose -2*h + h - 84 = -3*d, -4*h = d - b. Does 14 divide d?
True
Suppose 0 = v + 6, 5*g - 70490 = -5*v + 10045. Is g a multiple of 123?
True
Suppose -14*h = 3*h - 68. Let p(a) = -6*a**3 - 2*a**2 - 6*a - 4. Let v(t) = -t**3 - t**2 - t. Let c(j) = -p(j) + 5*v(j). Is 12 a factor of c(h)?
True
Let u = -1726 + 2298. Is 4 a factor of u?
True
Is (1/(-4))/((-108)/545472)*6 a multiple of 18?
False
Suppose -7*v - 176 = 4*v. Let g = v - -84. Is g a multiple of 17?
True
Suppose 5881 = -3*t + 4*z + 26404, 2*z = t - 6843. Does 159 divide t?
True
Suppose -3*l - 2*t + 141669 = 0, -58*l - t + 236101 = -53*l. Does 23 divide l?
True
L