ltiple of 8?
False
Is 13 a factor of (2562/21 + -21)/(1/13 - 0)?
True
Suppose -112398 = -294*y + 268*y. Is 35 a factor of y?
False
Suppose -58*l = 85*l - 399399. Does 19 divide l?
True
Let i(f) = -14*f**3 - 7*f**2 - 28*f + 30. Is i(-8) a multiple of 22?
True
Let b(z) = z**2 - 28*z - 38. Let q(p) = -5*p**2 + 112*p + 152. Let c(y) = 9*b(y) + 2*q(y). Is 24 a factor of c(-11)?
False
Let q = -82 - -81. Let r = q - 80. Let b = r + 90. Is b even?
False
Suppose -3*c + 7*c - 13052 = -v, -5*c = -2*v - 16328. Suppose 17*p - 25*p + c = 0. Is 24 a factor of p?
True
Suppose -11 = r - 4*c + 26, 0 = -2*r + 4*c - 82. Let b(l) = l**3 - 14*l**2 + 15*l + 13. Let v be b(12). Let g = r - v. Is g a multiple of 11?
False
Suppose 24*m - k - 113997 = 19*m, -2*m - 2*k = -45606. Is m a multiple of 12?
True
Suppose 2*l = -2, -2*k + l + 1169 = -626. Does 15 divide k?
False
Let o(n) = 1 + 6*n - 13 + 7 + 7*n - 8. Let s = 0 + 7. Does 13 divide o(s)?
True
Suppose 13*p - 23*p = 2940. Let s = p - -746. Does 27 divide s?
False
Let n be 1/(4/11)*36/9. Suppose -n*y + 2745 = -115. Suppose -3*o = -5*x - y, -5*o = -0*o + x - 452. Is o a multiple of 39?
False
Suppose -3*b - 172 - 401 = 3*l, 2*l = -5*b - 964. Let q = b - -376. Is q a multiple of 13?
True
Suppose 0 = 16*r - 11*r - 5*d - 54595, 2*r - 5*d - 21835 = 0. Is 120 a factor of r?
True
Let a(k) = k**2 - 13*k - 2. Let w be a(13). Let v be w/(-11) - 286/242. Is -2 + v + 7 + 42 a multiple of 6?
False
Suppose -35*u + 3015744 = 227*u + 16*u. Does 32 divide u?
True
Is (2397/(-188))/(12/(-2752)) a multiple of 43?
True
Let r(p) = -5711*p - 18543. Is r(-9) a multiple of 16?
False
Let b = -25 - -385. Is 60 a factor of b?
True
Suppose 386*t = 390*t - 3188. Let l = t - -274. Is 65 a factor of l?
False
Let p be 2/(3/((-27)/15))*-10. Is 2*1350/p - (-4)/(-2) a multiple of 27?
False
Suppose -143*x - 52749 = -5*f - 140*x, 4*f + 2*x = 42186. Does 22 divide f?
False
Let g = -124 - -208. Suppose -40*s - 4400 = 40*s. Let h = s + g. Is h a multiple of 29?
True
Suppose -66*j = -61*j + 35. Let k(h) = 2*h**3 - 6*h**2. Let a(u) = 5*u**3 - 18*u**2 - 1. Let s(n) = 3*a(n) - 8*k(n). Is 9 a factor of s(j)?
False
Let o = -18 + 22. Suppose 3*i + 5*c + 12 = 0, -o*i + 3*i = -4*c + 4. Does 12 divide (-478)/i + (-12)/24?
False
Let l be (16/6 - 2) + 76/12. Let p(d) = -d**3 + 2*d**2 + 45*d - 5. Is 4 a factor of p(l)?
False
Let w(j) = 2*j + 90. Let x be w(14). Does 18 divide (-10 + x)*1/6*22?
True
Let d be (2 - 908) + (48/(-4))/4. Let v = d - -1448. Is 24 a factor of v?
False
Suppose 5*s = -424 - 1306. Let y = -286 - s. Is y a multiple of 12?
True
Suppose 0 = 4*y - o - 5631, -1358 = 3*y + o - 5576. Does 7 divide y?
True
Suppose 6*b - 39863 + 12365 = 0. Let f = b - 2805. Is 40 a factor of f?
False
Let a = -3 - -8. Suppose 3*h + j - 238 = 0, -3*h - a*j + 230 = -0*h. Is ((-144)/h)/((-1)/10) a multiple of 6?
True
Let i(y) = y**3 - 7*y**2 - 7*y + 10. Let l be i(8). Suppose 4*v - p - 3*p = 0, p - l = -5*v. Does 3 divide 4/2 - 3*v/(-3)?
False
Suppose 3 = -2*u + 9, -5*q + 1011 = -3*u. Let s(d) = 4*d**3 + 21*d**2 + 5*d + 3. Let n be s(-5). Is 6 a factor of n*(-8)/q - 618/(-51)?
True
Let j = -1473 - -2561. Does 34 divide j?
True
Suppose l - g - 22 = -3, -4*g + 44 = 4*l. Suppose 19*n - l*n - 112 = 0. Is 4 a factor of n?
True
Let r = 8325 - 8394. Let q = 21 + -45. Let s = q - r. Is s a multiple of 15?
True
Let i = -417 + 418. Does 13 divide (11 - i)*(-364)/(-8)?
True
Let i(y) = y**3 - 19*y**2 + 4. Let p be i(-4). Let t = p - -487. Is t a multiple of 18?
False
Let c(n) = 26 - 31*n + n**2 + n**2 + 8*n + n. Is c(15) a multiple of 14?
False
Suppose 3*f = -3*r + 1730 + 517, -f + 5*r + 737 = 0. Does 9 divide f?
True
Let d(y) = -y**3 + 32*y**2 - 64*y + 50. Let v be d(30). Suppose 712 = -4*l + 80. Let r = v - l. Does 11 divide r?
True
Let c be (-54)/(-8)*((-32)/(-12) - 0). Is 73 a factor of (-84)/c*(-2415)/10?
False
Let r = 26 - 23. Suppose 15 = 3*p, -g - p + 14 - r = 0. Suppose 2*b = g*b - 512. Is 30 a factor of b?
False
Let s be -2 - (-5 + 0 + -84)*87. Suppose 0 = 12*b - 791 - s. Does 17 divide b?
False
Let b = 30 + -65. Let v be (-6)/((-5)/(b/(-3))). Suppose 3*s - v = 76. Is s a multiple of 6?
True
Let v = 129 + -125. Suppose -301 = 15*n - 19*n - i, -4*n = v*i - 292. Is n a multiple of 29?
False
Let w = 348 - 346. Suppose -w*o - 2*o + 3*b + 189 = 0, 5*b - 5 = 0. Is 27 a factor of o?
False
Let t(h) = 11*h**3 + 3*h - 2. Let b be t(1). Let f be (0*(-3)/b)/(2 - -1). Suppose 0*x - x + 3*i = -27, f = -4*i - 12. Is 17 a factor of x?
False
Suppose -4*b + 26 = 4*d - 5*d, 29 = -d + 5*b. Let j(k) = -74*k - 135. Is j(d) a multiple of 17?
True
Is 179753/42 + (-21)/(-126) a multiple of 3?
False
Suppose -359*k + 27163 + 7866 = 3796. Is 41 a factor of k?
False
Suppose 7*r - 6*r + 2939968 = 72*r. Is r a multiple of 36?
False
Let o = 280 - 124. Let k be (-3)/7 + 0 - o/(-21). Suppose -k*c - 96 = -8*c. Does 14 divide c?
False
Let q be (-7 + (-99)/(-18))/(1/(-2)). Suppose -332 = -7*f + q*f. Does 9 divide f?
False
Suppose 4*w - 5 - 23 = -5*n, -w + n = 2. Let f(o) = 34*o**3 + 2*o - 21*o**3 - 3*o + 23*o**3 + 2*o**w - 1. Is f(1) a multiple of 12?
True
Let s(i) = 4*i - 33. Let o(j) = 2*j - 16. Let p(a) = 7*o(a) - 3*s(a). Is 3 a factor of p(20)?
True
Suppose 1 = -28*d - 671. Is 7 a factor of 21/((-36)/(-27)*(-2)/d)?
True
Let l(b) = 4*b**2 - 39*b - 1588. Is 58 a factor of l(-30)?
False
Let d = 327 + -307. Suppose d*z - 21026 = 4714. Does 11 divide z?
True
Let c(i) = 28*i**2 - 48*i + 514. Is c(16) a multiple of 32?
False
Let w be 2/6 + 5890/114. Suppose 234 - w = 7*k. Does 13 divide k?
True
Let c(l) = l**2 - 5*l - 10. Let m(w) = -25*w**2 + 3 + w**3 - w + 17*w**2 + 1. Let o be m(8). Is c(o) a multiple of 5?
False
Let n(y) = y**3 + 3*y**2 + 6*y + 28. Let c be n(-3). Suppose -112 = 8*s - c*s. Does 3 divide s?
False
Let u be (-9)/(20 - 11)*6*-2. Does 17 divide (1672/u - 7)*6?
False
Suppose -557*l = -555*l - 4*t - 8886, t + 5 = 0. Is 13 a factor of l?
True
Let f(g) = -g**3 - 6*g**2 - 7*g - 10. Let s be f(-5). Suppose -7*l + 6 = -5*l. Suppose l*j = 5*o - s*j - 751, -o = 3*j - 143. Is 38 a factor of o?
False
Let q(r) = 85*r - 59. Let o(g) = -258*g + 178. Let a(h) = 4*o(h) + 11*q(h). Does 11 divide a(-4)?
True
Suppose 3*l - 11182 = 3*b - 316, 0 = 4*l - 3*b - 14494. Does 8 divide l?
False
Suppose 153 = -40*w + 49*w. Suppose -w*b + 23*b - 288 = 0. Is 12 a factor of b?
True
Suppose 0 = -4*b - 2*z + 10 + 2, -5*b - 4*z = -9. Suppose b*i - 20 = -5. Suppose -145 = -i*o - 46. Does 10 divide o?
False
Let x(s) = s**2 + 11*s + 24. Let n be x(-7). Let i be 3*((-114)/(-9) + n). Suppose 1674 = -20*q + i*q. Is 38 a factor of q?
False
Let s = -2477 - -2479. Suppose 83 - 31 = 2*d. Suppose u + d - 173 = -2*p, s*u + 2*p - 296 = 0. Does 39 divide u?
False
Let c = 231 - 7. Let q = c + -164. Is q a multiple of 5?
True
Does 31 divide (876/(-30))/((-6)/930)?
True
Let p(q) = -7*q + 48. Let d be p(7). Let n be d/((-1)/(-8)*-2). Suppose 0 = -t - 2*t - 12, -724 = -5*y - n*t. Does 13 divide y?
False
Let v(w) = 11*w + 18*w - 28*w - 5 - 5. Let b be v(15). Let h = b - -38. Does 10 divide h?
False
Let y(w) = -3*w**3 - w**2 - 33*w - 172. Is y(-9) a multiple of 97?
True
Let l = -2 + 15. Suppose -l*k - 2*k = -720. Is k a multiple of 2?
True
Let l(c) = 3*c**2 - 16*c - 10. Let k be l(6). Let p be ((-3)/k)/(11/((-88)/3)). Is (-1)/2 - (p - 1736/16) a multiple of 7?
False
Suppose 2*g - g - 2 = 0. Let u = -536 + 679. Suppose 31 = -g*o + u. Is o a multiple of 14?
True
Let n = 73 + -73. Suppose -2*p + 6 = n, 5*y + 9*p - 324 = 11*p. Is y a multiple of 19?
False
Suppose 0 = -2*b - 4, 4*y + b - 12055 + 1193 = 0. Is 14 a factor of y?
True
Let j(q) = -240*q - 39. Let f be j(3). Let g = f + 859. Does 4 divide g?
True
Let w = 26 + -32. Let g be (-13 + 1)*2/w. Does 41 divide 1 + 544/g + 4?
False
Let u(y) be the first derivative of -y**4/4 - y**3/3 - y**2/2 + 24*y - 20. Is u(0) a multiple of 12?
True
Suppose 0 = k + 5*s + 52, -3*k + 3*s + 41 = 197. Let c = 82 + k. Suppose -c + 73 = l. Does 43 divide l?
True
Suppose -g + 42 = 40. Let d be 38/(-5 - -10 - (g + 2)). Let z = d - -86. Is z a multiple of 31?
True
Suppose -208320 = 15814*r - 15828*r. Is 120 a factor of r?
True
Suppose -63*u + 86*u = 1104. Is 2 a factor of u?
True
Let p(a) = 24*a**2 - a. Suppose 0 = -7*i + 5*i -