42. Is g a multiple of 18?
False
Let l(b) = -5*b**2 - 5*b + 11*b**3 - 5*b**3 - 5*b**3 + 1. Let h be l(6). Suppose h*o - 2*o - 175 = 0. Is o a multiple of 15?
False
Let u(j) = 2*j - 14. Suppose -3*z = -6*z. Let k be u(z). Let p = -8 - k. Is p a multiple of 6?
True
Let c be 0 - 0 - (-2)/2. Let g be -1*3/9*-21. Is (g - 4 - c) + 33 a multiple of 8?
False
Suppose -u + 861 = -5*k - 683, 5*u - 7636 = -3*k. Does 11 divide u?
True
Let p(c) = -c + 10. Let g be p(8). Suppose -116 = -g*m - 3*s, -3*m + 6*m = -3*s + 171. Is 11 a factor of m?
True
Is 5 a factor of (-6)/1 - (18144/(-12) - -6)?
True
Let b = 10025 - 4716. Is 16 a factor of b?
False
Suppose 0 = 5*j + 2*t + 382, 2*j - 7*j = -t + 379. Let s(p) = 7*p**2 - 3*p + 7. Let x be s(4). Let r = x + j. Is r a multiple of 12?
False
Is 33 a factor of (0 + -1)*-295 - (10 + -12)?
True
Let n(j) = -2*j - 7. Suppose 0 = -3*w + w - 12. Let a be n(w). Suppose 4 = a*r - 4*r. Is 3 a factor of r?
False
Suppose -b + 2*d = 4*b - 345, 0 = 2*d. Let f = -679 - -1012. Suppose -f = -3*j - b. Does 15 divide j?
False
Is 54 a factor of 40/(-6)*((-243)/2)/9?
False
Let x(b) = -b**2 + 33*b - 11. Let n(y) = 2*y**2 - 67*y + 21. Let a(o) = 3*n(o) + 7*x(o). Does 18 divide a(22)?
True
Suppose 3*q + 5*h = -16, 6 = 5*h + 31. Suppose -3*i + 3*l = -21, -q*l = -6*l + 15. Suppose m - 3 - i = 0. Is m a multiple of 15?
True
Suppose -3*f = -8*f. Suppose f = -3*i + 2*i + 4*a + 128, -356 = -3*i + 5*a. Is i a multiple of 7?
True
Suppose 4*i - 9 = 2*f - 1, -16 = -i - 3*f. Suppose -3*z = m + z - 134, 5*m + i*z = 734. Is m a multiple of 21?
False
Let i be -9 + 7 + (0 - -18). Suppose 13 = k - i. Let z = 56 - k. Is 13 a factor of z?
False
Let u = 25 - 24. Let n be (u - (-3)/(-6))*18. Let m = 46 - n. Is 6 a factor of m?
False
Let h be (-15)/(-5) - (104/(-2) - 0). Suppose z + k - h = 0, -3*z = 4*k - 40 - 124. Is z a multiple of 28?
True
Does 7 divide ((-2)/(-6) - 0) + (-6956)/(-111)?
True
Let s(c) = -147*c + 19. Does 49 divide s(-8)?
False
Suppose 0 = 7*p - 2473 + 289. Is 13 a factor of p?
True
Let d(c) = 0*c - 5*c + 222 - 177 + 0*c. Is d(-17) a multiple of 26?
True
Suppose -5*y + 45 = -2*m, -3*y - 2*m = 2 - 13. Is 29 a factor of 120 + -1 - (y - (-2 + 6))?
True
Suppose 0*p = 3*p - 2973. Suppose 3356 + p = 3*t. Is t/45 - 2/10 a multiple of 14?
False
Is 6 a factor of 1746 - (13 + 0) - 10/2?
True
Suppose -5*d + 435 = -2*x - 0*x, -4*x = -d + 87. Is d a multiple of 6?
False
Let d = -127 - -84. Let k be 1*(-4 - -2 - d). Suppose -2*r + 3*w - k = -6*r, 4*w - 4 = r. Is 8 a factor of r?
True
Let y = 819 + 1701. Is y a multiple of 15?
True
Let f = 97 - -187. Is 56 a factor of f?
False
Suppose -444 = 3*p - 6*p - i, 0 = 2*p + 5*i - 296. Is p a multiple of 23?
False
Let j(z) = 5*z**3 - 2*z**2 + 2*z - 1. Let u(k) = -k**2 + 6*k + 10. Let q be u(8). Let o be 2/q*12/(-4). Is j(o) a multiple of 4?
True
Is 6 a factor of (-3)/((-108)/40760) + (-6)/27?
False
Suppose 4*x - 31*q = -27*q + 152, 2*x - 4*q = 72. Is x a multiple of 8?
True
Suppose 14 = 4*v - 754. Let g = v + -50. Suppose -g = -5*h + 88. Does 16 divide h?
False
Suppose -37 = 5*f - 102. Suppose -3*g + f = 4. Suppose 0*c - g*c = -63. Does 7 divide c?
True
Let k(f) = -8*f**3 + f - 6. Let v be k(3). Let a = -117 - v. Does 16 divide a?
False
Does 20 divide (-6687)/((-18)/2) - (1 - -2)?
True
Suppose 0 = -6*s + s - 25, 5*s = -4*x + 1151. Is x a multiple of 98?
True
Does 26 divide ((-45)/(-10) - 6)*-674?
False
Suppose 4*l + o - 2249 = 0, 4*l - 8*o + 7*o = 2247. Is 9 a factor of l?
False
Let c = 67 + -55. Suppose -10*h + c*h = 180. Does 6 divide h?
True
Let z(h) = -2*h**2 - 4*h + 7. Let y be z(-3). Let v = 1 - -1. Is 32 - (3 - (v - y)) a multiple of 10?
True
Let d(l) = 2*l - 33. Let r be d(21). Let o(h) = -h - 1. Let b be o(4). Let v = b + r. Does 4 divide v?
True
Let v = -37 + 40. Suppose -y = -v - 6. Is 9 a factor of y?
True
Suppose g = -g. Suppose x + 13 = -5*p, -2*x + g*x - 2 = -2*p. Is 7*16/((-12)/x) a multiple of 9?
False
Suppose -3*n + 551 = -157. Does 12 divide n?
False
Does 3 divide 7 + (-5 - (-12)/3) - -29?
False
Let o(u) = -u**2 + 6*u + 10. Let v be (-2)/4 + 45/6. Suppose k = v - 0. Does 2 divide o(k)?
False
Let a be 1/(-3)*2*-3. Let q(m) = -m + 251*m**2 - 125*m**2 - 2 + 0*m**3 - 127*m**2 + 10*m**3. Does 21 divide q(a)?
False
Suppose 13*j - 11*j = 270. Suppose -b - 2*v = j + 42, 0 = -3*b + 3*v - 531. Let c = -112 - b. Is c a multiple of 10?
False
Suppose -4*j + p - 6*p = -3, -3*j + 5*p = -11. Let d be (12/4 + -3)/j. Suppose x + 21 - 93 = d. Does 36 divide x?
True
Let c be (-19)/((1/(-1))/(-1)). Let r = 34 + c. Is 15 a factor of r?
True
Suppose 63 = 2*u + u - g, 5*g = -4*u + 103. Let c(a) = a**2 - 13*a + 33. Is 33 a factor of c(u)?
True
Let y = -999 - -2679. Suppose -13*w + y = -8*w. Is 21 a factor of w?
True
Suppose 4 + 6 = 5*b. Suppose 0*f = 4*w - 2*f, 2*f = -2*w + 12. Suppose -3*y + 96 = -p, -129 = -b*y - w*y + p. Does 11 divide y?
True
Let z be (2/(-4))/(2/(-164)). Let j = 1883 + -1898. Let m = j + z. Is 10 a factor of m?
False
Let a(i) = i**2 + 2*i + 12. Let d be a(-9). Suppose d + 125 = 5*p. Does 20 divide p?
True
Let q(w) = -w - 2. Let j be q(-2). Suppose j = -l + 3*u + 15, -4*l - u + 3*u = -20. Let v = l - -97. Does 20 divide v?
True
Let l(r) = 120*r - 609. Is 39 a factor of l(21)?
True
Let t(d) = -122*d**3 + 2*d**2 + 2*d + 1. Does 3 divide t(-1)?
True
Is 25 + -18 + (3 - 3) + 2499 a multiple of 14?
True
Suppose 2*t - 3611 = 1229. Is t a multiple of 52?
False
Let x(w) = -217*w - 444. Is 71 a factor of x(-5)?
False
Suppose 17*v = 20*v - 6. Is 2 a factor of -9 - -12 - (0 - v)?
False
Suppose 0 = -10*b + 1513 + 5837. Is b a multiple of 7?
True
Suppose -6*g = 2*t - 4*g - 4438, -2*t + 4*g = -4462. Does 57 divide t?
True
Suppose 828 = 4*u + 40. Does 57 divide u?
False
Suppose -3*i - 19 - 57 = -g, 5*g = 2*i + 380. Suppose 0 = -7*r + 120 + g. Is 7 a factor of r?
True
Suppose 0 = 30*p - 25*p + 1980. Suppose 0 = 3*l + 10 + 11. Does 19 divide p/l + 3/7?
True
Let n = -16 - -20. Suppose 0 = -4*r - n*y + 152, r + 5*y - 42 + 16 = 0. Suppose 2*o - r = 43. Is o a multiple of 14?
True
Let x(i) = i**3 - 6*i**2 - 11*i + 11. Let r be x(9). Let c = r - 91. Is c a multiple of 16?
True
Is 0 + 174*13 - (-371 + 378) a multiple of 41?
True
Let z(j) = 25*j**2 + 10*j - 35. Suppose -101*l + 102*l - 3 = 0. Does 8 divide z(l)?
False
Suppose -4*f - 5*r = -396, -8*r + 297 = 3*f - 13*r. Is f a multiple of 10?
False
Suppose v - 2*m = -0*v + 1, 0 = 5*v - 3*m + 23. Let w(z) = -105*z - 40. Let q(l) = 15*l + 6. Let x(b) = 20*q(b) + 3*w(b). Does 24 divide x(v)?
False
Let f = 7 - 3. Suppose p - 2*k = -5*k - 26, 0 = f*p + k + 82. Let u = 30 + p. Does 5 divide u?
True
Let n = -1475 - -2436. Is 56 a factor of n?
False
Suppose -44*t + 39*t + 910 = 0. Let x = 257 - t. Does 19 divide x?
False
Is ((-6171)/11)/(15/(-70)) a multiple of 22?
True
Suppose -122 = -3*z - x + 43, 204 = 4*z - 4*x. Is 33 a factor of ((-154)/4)/7*z/(-3)?
True
Suppose -3*q + 10 = 2*q. Suppose 6 = 4*f - q. Suppose 4*p = -k + 65, 53 = f*k - 4*p - 89. Does 18 divide k?
False
Let u be 178/4 - (2 - 21/6). Does 2 divide (-2)/7 - u/(-14)?
False
Let j be 21/5 - 2/10. Let y = 7 - j. Suppose -6 + 321 = 3*g - y*b, -4*g + b = -420. Is g a multiple of 15?
True
Let o be (0/(-2))/1 - -1. Suppose -3*s - o = -10. Suppose s*g - 155 = -2*g. Is g a multiple of 19?
False
Let l(i) = 200*i - 4. Let f be l(2). Suppose 4*j = 10*j - f. Does 33 divide j?
True
Let r = -133 + 259. Does 8 divide (r - -15) + -1*4?
False
Suppose 5*m = 7*p - 11*p + 174, 5*p + 3*m - 211 = 0. Is 5 a factor of p?
False
Let y(u) = u**2 - u - 13. Let x be y(-11). Let n = 166 - x. Is 24 a factor of n?
False
Suppose -4*t + 4*z = -12, t + 4*z = -1 + 14. Suppose -t*f - 346 = -2*v, 4*v - 2*f + 0*f = 676. Is v a multiple of 12?
True
Suppose 0 = -4*y + 2*y - l + 643, 5*y + 5*l = 1600. Is y a multiple of 17?
True
Let r = -20 - -6. Let p(c) = 11*c - 10*c**3 - 8*c**3 - 3*c**3 + 20*c**3 - 8 - 13*c**2. Is 18 a factor of p(r)?
False
Let b(h) = -h**2 + 16*h - 18. Let u be b(16). Let f(p) = -p**2 - 18*p + 9. Is f(u) a multiple of 9?
True
Let h(u) = -u**3 + 10*u**2 + 10*u + 19. Let f be h(11). Suppose f*m - 1160 = 72. Is m a multiple of 63?
False
Let a = -4 + 18. Suppose -a*q = -9*q - 15. Suppose 0 = 3*w - 3*l - 42, q*l + 78 = 6*w - w. Is 3 a factor o