ivide w?
False
Let w be 55/(-15) - (-5)/(-15). Let p(a) = -42*a + 39. Is p(w) a multiple of 69?
True
Let u = -22536 - -31689. Is u a multiple of 81?
True
Suppose -n = -5*m - 89, 4*m = n - 139 + 45. Let h = 458 - n. Is 3/(-1)*h/(-24) a multiple of 19?
False
Is (322/8)/((-129)/(-1032)) a multiple of 46?
True
Let o(r) = 447*r - 3515. Let c be o(9). Let m(l) = -l**2 + 8*l + 2. Let z be m(6). Does 16 divide (c/(-14))/((-4)/z)?
False
Let t be ((-46)/(-8) - 2) + 12/(-16). Suppose -8*l + 2409 = t*l. Suppose -20 = 4*b, 0 = 4*v - 3*b - 96 - l. Is 15 a factor of v?
True
Let a(x) = -x**3 - 7*x**2 - 71*x - 53. Is 132 a factor of a(-18)?
False
Let k(o) = -167*o - 55. Let c be k(-10). Suppose 55*g = 60*g - c. Is 17 a factor of g?
True
Suppose -233*l + 228*l + 560 = 0. Is 14 a factor of (l/(-20))/(8/(-580))?
True
Suppose 7 = -88*c + 81*c. Does 7 divide (6*c/(-3))/((-4)/(-126))?
True
Let p be (-404910)/44*48/(-15). Is (p/360)/((-2 + 3)/5) a multiple of 19?
False
Suppose 144 - 391 = -4*i - 5*p, -3*p - 129 = -2*i. Let o = i + -68. Let b(a) = -a**3 - 2*a**2 - a + 1. Is 27 a factor of b(o)?
True
Let i(b) = -b**3 + 17*b**2 + 16*b - 16. Is i(-21) a multiple of 26?
True
Suppose -3*o - 1833 = -3*j, 2*o + 2*j + 1220 = 6*j. Let r = 1008 + o. Is r a multiple of 12?
True
Suppose -2*l = 5*m + 724, -l - 2*m - 1480 = 3*l. Does 9 divide l/(-1) - (-102)/(-34)?
True
Is 6 a factor of 6/(307/(-206) - (-18)/12)?
True
Is 25 a factor of (500/(-1))/((-28)/952)?
True
Suppose -2*g - 4 = 0, 6*g + 499 = 5*y + 4*g. Let z = 658 - y. Is 43 a factor of z?
True
Suppose -4*d - 5*i = -25, 5*i - 23 + 33 = 3*d. Suppose 5*r + 5*l - 61 = -11, -d*r + 2*l = -85. Is 5 a factor of r?
True
Let m be 29/(-29) + 7 + -1. Suppose m*h - 1 = 9. Suppose -h*o + 6 = -0*o. Is 2 a factor of o?
False
Suppose -17*c - 65*c = -947756. Does 10 divide c?
False
Let o(g) = 111*g - 6. Let w(s) = s**3 - 3*s + 3. Let b be w(-2). Is o(b) a multiple of 35?
True
Let r(p) = p**3 - 10*p**2 - 12*p - 6. Let y be r(-6). Let v = 808 + y. Does 9 divide v?
False
Let s(q) = q**3 + 2*q**2 + 25*q. Let m be s(-4). Suppose -5*z + 4*g + 56 = -z, -5*z + 58 = -2*g. Does 22 divide (z/(-3) + 4)*m/(-2)?
True
Let n(v) = 67*v + 952. Is n(-6) a multiple of 22?
True
Let j(m) = 77*m - 1532. Does 12 divide j(28)?
True
Let y = -142 - -157. Let l(f) = f - 13. Let r be l(y). Is 34 a factor of -2 - 420/(r - 8)?
True
Suppose 13240 = 5*m + 2*o, -3*m - 5*o = -1051 - 6912. Is 14 a factor of m?
True
Let w = 17716 - 14988. Is w a multiple of 11?
True
Is 32 a factor of (-106)/(-1749) + (-44346)/(-99)?
True
Let w(r) = -8*r - 1. Let f be w(-8). Suppose -377 - f = -4*l. Suppose -a + l = a. Is 17 a factor of a?
False
Let x(z) = -17 - 28*z - 18*z - z + 6*z - 52*z. Is x(-2) a multiple of 11?
False
Let b(r) = -r**2 - 12*r - 29. Let x be b(-3). Let p(w) = -22*w**3 + 4*w + 2. Is 4 a factor of p(x)?
False
Suppose 4*m + 4*m = 16. Suppose -2 = 2*r + 5*h, 3*r = -3*h + 3 + 3. Suppose m*j + u = 151, -r*u = -7 + 3. Is j a multiple of 15?
True
Let i be (-4 - 8) + 15 + (-438)/(-1). Let o = -151 + i. Is 14 a factor of o?
False
Let q = 88 + -86. Suppose -q*b + 7*b - 3*z - 20 = 0, 0 = -2*b + z + 8. Does 43 divide ((-36)/8 + b)*(1 + -299)?
False
Let k = 5 + -2. Let v be ((-2)/(-3))/(148/(-111))*36. Does 21 divide 65/k + 12/v?
True
Let i(b) = -2 - b**3 + 1 + 9 + 7*b**2 - 18*b - 7. Let t be i(-8). Suppose 343 = 8*l - t. Is l a multiple of 8?
False
Suppose 2*o - 2 = -4. Let f(w) = -318*w + 1. Let z be f(o). Suppose -3*i = -h - z, i - 8 = 3*h + 85. Does 18 divide i?
True
Let m(o) = o**3 - 2*o**2 - 3. Let c be m(2). Is (-337)/c*(14 - (-8)/(-1)) a multiple of 49?
False
Let v(p) = p**3 - 7*p**2 - p + 4. Let n = 69 + -62. Let a be v(n). Does 27 divide -1 - ((-3 - 200) + a)?
False
Let p = 247 - 135. Suppose -5*n - p + 37 = 0. Is (-4)/20 + (-1683)/n a multiple of 14?
True
Let b(n) = 8*n**2 + 79*n - 597. Is 15 a factor of b(-43)?
False
Suppose 3*g + 2*o + 1185 = 2425, -3*g - 5*o + 1237 = 0. Is 7 a factor of g?
False
Let c(h) = 3*h**3 + 165*h**2 + 110*h - 90. Is c(-54) a multiple of 48?
False
Let c = 186 - 183. Suppose -14*r + c*r + 1716 = 0. Does 20 divide r?
False
Let l be 1164/(-6) + 5 + 0. Let k = 201 - l. Is k a multiple of 65?
True
Is (-146)/3942 + 765776/54 a multiple of 29?
True
Let j be ((-30)/5 - -5)*3. Is 11 a factor of (-1)/(2/(-242)) - j - -4?
False
Suppose 14*z - 2788 = -716. Is z a multiple of 74?
True
Let v = 5844 - 21286. Is 65 a factor of ((-3)/(-2))/(-4 + (-61789)/v)?
False
Suppose -2*v = -4*q + 1688, 96*v = 3*q + 92*v - 1281. Is q even?
False
Suppose 0 = -12*i + 24*i. Suppose i = -12*r + 6419 + 2005. Is 20 a factor of r?
False
Let v(x) = -x**2 + 13*x + 5. Let q be v(14). Let a(m) = -21*m + 3. Let r be a(q). Let b = 341 - r. Is 42 a factor of b?
False
Let f(c) = 124*c - 1212. Is f(36) a multiple of 19?
False
Let c = -55 - -63. Suppose -7*h = -c*h - w + 124, -588 = -5*h + 3*w. Is 34 a factor of h?
False
Let t = 757 - 212. Let q = t + -5. Suppose -2*a + 0 - 8 = 0, -5*a + q = 5*v. Is v a multiple of 28?
True
Let q = 74 + -72. Suppose 310 = 3*t + 4*l, q*t = -2*l - 0*l + 206. Suppose -2*u = 4*a - 0*u - 450, t = a + 4*u. Is a a multiple of 19?
True
Let q = 963 + 1409. Suppose -12*h + q + 3148 = 0. Does 4 divide h?
True
Let w(p) = 994*p + 1069. Is 76 a factor of w(5)?
False
Suppose 3*q + 57 + 1 = r, 0 = 2*q + r + 32. Let m = q - -20. Suppose -5*t = m*l + 2*l - 279, -t + 79 = -5*l. Is 8 a factor of t?
False
Suppose 203*w = 210*w - 287. Suppose 2*a - w = -3*u + 26, 31 = a + u. Does 26 divide a?
True
Is ((-592)/3 - -2)*(-23)/((-23)/(-228)) a multiple of 76?
True
Suppose 412*u - 420*u + 2592 = 0. Is 6 a factor of u?
True
Suppose 1231 = 6*g - 1721. Let w = g + -256. Is w a multiple of 24?
False
Suppose -418022 - 142538 = -80*z. Is 77 a factor of z?
True
Does 22 divide 10 - (-3 + 12 + -22219)?
True
Suppose q = -8 + 23. Suppose -6*d - 2835 = -q*d. Suppose -d = -9*u + 4*u. Is u a multiple of 21?
True
Let h = 2612 + -1412. Suppose -5*m + 13*m - h = 0. Does 15 divide m?
True
Suppose 0 = -g + 6*g + 395. Let b = 1770 + -1601. Let w = b + g. Is 30 a factor of w?
True
Let p = -113 + 271. Suppose 3*u - p = -62. Does 8 divide u?
True
Let w = 30306 + -23176. Does 230 divide w?
True
Let r be 39345/(-122) + 27/6. Let v = -331 - -821. Let i = r + v. Does 38 divide i?
False
Suppose -96 = 3*x - 108. Suppose -x*j = 4*d - 1216, -3*j - 5*d + 621 = -301. Is j a multiple of 13?
True
Let s = -1369 - -2644. Is s a multiple of 51?
True
Let f = -2006 + 3158. Is 96 a factor of f?
True
Let u be 0/(-1 - (-8)/4). Let j(l) = -45*l**3 + 3*l**2 + 3*l + 1. Let y be j(-1). Suppose u*q = -2*q + y. Is 4 a factor of q?
False
Let j(r) = 31*r - 127. Let i be j(7). Suppose -495 = -4*m + 3*w + i, -4*m + 595 = -w. Is m a multiple of 25?
True
Let h = 2773 + -2653. Does 24 divide h?
True
Is -1211*(22 + 8)/(-10) a multiple of 7?
True
Suppose -28 - 130 = 2*n. Let h = n - -139. Does 28 divide (-1)/(-3)*3*h?
False
Let j(g) = 8 - 3*g - g + 2*g. Let t(a) = a**2 + 100*a + 651. Let n be t(-7). Does 4 divide j(n)?
True
Let h(t) = -6*t - 7 - 5 - 1 - 6. Let s be (-18)/2 + (-1 - -2). Does 10 divide h(s)?
False
Let w be (1 + 1 - 1)*(-7 - -4). Let u be (2 + w)/(-1) - 3. Is 41 a factor of u/(-8) - ((-875)/4 + 2)?
False
Suppose 2*g - 3*v - 296 = -2*g, g - v = 74. Let d = -24 + g. Suppose -10*s + 5*s + d = 0. Is s a multiple of 5?
True
Suppose -195*p = -198*p + 59577. Does 136 divide p?
False
Let m = -52 - -56. Suppose -15 = 5*r, 4*j - m*r = -2*r - 2. Does 11 divide (-129)/(-2) - 1/j?
False
Let r(m) = m**3 + 17*m**2 - 17*m + 22. Let g be r(-18). Suppose -4*k + 458 = -5*d, 0 = -3*d + g*k - 207 - 71. Let s = 218 + d. Is s a multiple of 12?
False
Does 11 divide 1 + 2998 - (1 + 9)?
False
Let o = -12145 - -16644. Is 11 a factor of o?
True
Let m = -48 + 51. Let a = m - -68. Let o = 92 - a. Is o a multiple of 13?
False
Let h = -442 - -454. Suppose 10*r = 2622 - h. Is 29 a factor of r?
True
Let f(l) = 8*l**3 + 4*l**2 + 11*l - 39. Is 84 a factor of f(9)?
True
Is (-14562)/8*1120/(-420) a multiple of 21?
False
Let d be ((-5)/(-3) + 1)*-3. Let i(h) = -35*h - 78. Does 13 divide i(d)?
False
Suppose 0 = -21*b + 10*b + 99. Let w(p) = p**3 - 7*p**2 + 11*p + 13. Does 14 divide w(b)?
False
Let s(q) = -q**3 + 98*q**2 + 105*q - 259. Is s(99) a multiple of 9?
False
Su