74. Let b be x(-10). Let s be -24*((-27)/2)/3. Let r = b - s. Is 18 a factor of r?
False
Let n be ((-6)/(-5))/3 - 92/(-20). Let v be (-3 - (-628)/2) + -6 + n. Suppose h - v = -h. Is 22 a factor of h?
False
Is 25 a factor of (59/2 + 2)*278*3/9?
False
Let f be 2/(((-16)/(-8))/(-722)). Does 23 divide (-381862)/f + 4/38?
True
Let k = 249 + -245. Suppose -k*o + 3*g = -772 - 464, -g - 1556 = -5*o. Does 6 divide o?
True
Let g = 103714 + -8470. Does 13 divide g?
False
Let g(w) = 48*w + 15. Let n be (-6)/((45/66)/(-5)). Suppose 0 = 5*r + 6*r - n. Does 23 divide g(r)?
True
Let v(l) = 28*l + 23. Let g be v(9). Suppose -7*y - g + 828 = 0. Is 9 a factor of y?
False
Let o(h) be the third derivative of -2*h**4/3 + 2*h**3 + 4*h**2. Let m be -33 + 35 - (6 + 1). Is 23 a factor of o(m)?
True
Is 143 a factor of 83/(498/113448) - (-9 + -1)?
False
Suppose -9*k = 33 + 12. Suppose 2*o + 1 + 1 = 0. Is 3 a factor of o/(((-4)/(-6))/(k - -3))?
True
Let h(u) = 10 + u + 8 - 3 + 5. Let i = -24 + 7. Does 2 divide h(i)?
False
Let o(w) = -24*w + 6. Let n(p) = 24*p - 5. Let r(i) = 3*n(i) + 4*o(i). Let y be r(-5). Suppose -y = -2*s - 3*b, s + 5*b - 82 = -0*s. Does 19 divide s?
True
Suppose 0 = -94*y + 85*y + 4455. Suppose 500*r - 1465 = y*r. Does 17 divide r?
False
Let p(l) = -1041*l - 1271. Does 19 divide p(-11)?
False
Is 0 + (-49)/(147/(-7740)) a multiple of 5?
True
Suppose -3*a - 2198 = -3*j - 809, -5*j - 2*a + 2357 = 0. Is 57 a factor of j?
False
Is 3/72*-8 + 246724/12 a multiple of 16?
True
Let u = -7 - -14. Suppose 5*j + 4*a - 1194 = 0, 4*j - 5*a + 706 = u*j. Is j a multiple of 11?
True
Let c = -13 - -10. Let l(n) = -n**2 + 2*n + 1. Let a(r) = 8*r**3 + 11*r + 1. Let d(q) = -a(q) + 4*l(q). Is d(c) a multiple of 48?
True
Suppose 4*k - 62923 = -5*c + 104059, c - 33366 = 3*k. Does 23 divide c?
False
Let y = -1711 + 8835. Does 7 divide y?
False
Let k = -3224 + 6243. Suppose -8*b - k = -12171. Is b a multiple of 9?
False
Let u = 236 - 234. Suppose 5*j + 945 = s, u*s = 5*s + 2*j - 2852. Is 12 a factor of s?
False
Suppose 44*l - 5 = 43*l, p = 2*l + 1120. Does 8 divide p?
False
Let i(m) = -m**3 + 31*m**2 + 2*m - 62. Let u be i(31). Suppose u = 4*y - 316 - 332. Is 7 a factor of y?
False
Does 30 divide (-503143)/(-430) - (9/(-10))/(-9)?
True
Let u be (0 - 5)*(-5)/(175/4606). Suppose 0 = 3*p - 7*p + 3*n + u, -5*n - 488 = -3*p. Suppose 30 = 4*r - p. Is r a multiple of 49?
True
Let y(o) = 8*o**2 - 1227*o**3 - 8*o**2 + 3 - 2*o - 160*o**3. Let m be y(1). Does 23 divide 2/(-5) + m/(-15)?
True
Suppose -o - 2*m - 3 = 0, 3 - 10 = o + 3*m. Suppose -o = s - 7. Suppose b = 2*b + 2*l - 18, 0 = -s*b - 3*l + 41. Is 2 a factor of b?
True
Let a(s) = 27*s - 310. Let c be (45/90)/((-2)/(-72)). Is 5 a factor of a(c)?
False
Suppose -2*d - 40 + 46 = 0. Suppose -608 = -5*v + 2*r - 4*r, d*r = 3*v - 369. Does 39 divide -2 + (v - -2) + -5?
True
Suppose 5*q = -2*r - 15, 2*r = 2*q - 2*r + 30. Let p be 4 + 2/(-2) + q. Is (p/(-4))/(14/1540) a multiple of 15?
False
Suppose -21*f - 23*f + 756052 = 0. Does 129 divide f?
False
Let y(p) = 50*p**2 - 6*p - 12. Let s be (-4)/(-3)*(-11)/((-176)/36). Is 41 a factor of y(s)?
False
Let d(c) = -2*c**3 + 11*c**2 + 2*c + 24. Let f be d(6). Suppose 3*m - 4*u - 1171 = f, -6 - 10 = 4*u. Does 13 divide m?
False
Let f(c) be the first derivative of c**4/4 + 7*c**3/3 - 4*c**2 - 13*c - 33. Does 3 divide f(-6)?
False
Let b(w) = 4*w**2 + w. Let s be b(1). Suppose i - 23 = s*p, 4*i + 3*p - 32 = 8*p. Suppose i*j = 7*j - 132. Does 33 divide j?
True
Let k(m) = -3*m - 12 + 67 - m. Let i be k(13). Suppose i*a - 11 = 382. Is a a multiple of 14?
False
Suppose 7*i - 21464 - 2889 - 8295 = 0. Does 18 divide i?
False
Let q = 61 + -38. Suppose -q = -5*s + 7. Is 18 a factor of s/(-4)*2664/(-54)?
False
Suppose -a + 2349180 = 179*a. Is 20 a factor of a?
False
Let b = -8946 - -16274. Is b a multiple of 8?
True
Let l(i) = i**2 + 26*i - 319. Let u be l(-49). Let n = -618 + u. Is 4 a factor of n?
False
Let c(y) = 2*y**3 + 64*y**2 + 71*y + 309. Is 21 a factor of c(-31)?
False
Suppose 0 = 19*v - 113 - 20. Suppose -k = v*j - 5*j - 205, 0 = -5*k - 3*j + 997. Is k a multiple of 5?
False
Let n(z) = z**2 - 3*z + 26. Let c be n(6). Suppose -142 = -46*u + c*u. Does 38 divide u?
False
Suppose 664735 + 392528 = 301*n - 63962. Does 149 divide n?
True
Let u(j) = 19*j**2 + 25*j + 25. Let z be ((-6)/4)/((-129)/(-602)). Is 11 a factor of u(z)?
True
Let g(s) = 31*s - 1. Let l(z) = 113 - 223 + 112 - 32*z. Let c(a) = 6*g(a) + 5*l(a). Does 29 divide c(2)?
False
Let t(c) = c**2 + 70*c - 455. Is 3 a factor of t(-82)?
False
Let f be (-1 + -3 + 0)*6/4. Let v(l) = 7*l**2 - 3*l + 4. Does 13 divide v(f)?
False
Let x(t) = 20*t - 7. Let o be x(-2). Let y = o + 65. Suppose y = l - 43. Is 16 a factor of l?
False
Suppose 12 = 3*r + 4*y, -2*r + 10 = 4*y - 2. Suppose -3*n - 24 = -r*n. Let w(v) = 2*v**2 + 9*v - 8. Does 12 divide w(n)?
True
Let w(t) = t**2 + 11*t - 15. Let m be w(-9). Let v be (-2)/((15/84)/(-5)). Let l = m + v. Does 6 divide l?
False
Suppose -5*q - y = 53 - 171, 0 = 5*q - 5*y - 130. Let z = q + 47. Is z a multiple of 2?
False
Suppose -252*p + 6440 = -224*p. Does 3 divide p?
False
Suppose 2*z = 5*n + 135, -z - 47 - 7 = 2*n. Let k = n + 45. Let t = k + 30. Does 12 divide t?
True
Let j = -19 - -9. Let p be (((-12)/j)/3)/(4/(-60)). Is (p - -2)/(-4) - (-108 + 4) a multiple of 21?
True
Let t be 6478/6 + (-11)/(-21 + -12). Suppose 0 = 119*l - 114*l - t. Is l a multiple of 36?
True
Let t = 449 - 446. Suppose -t*a + 2*q + 1243 = 0, -404 - 443 = -2*a + 5*q. Is 10 a factor of a?
False
Suppose 130*g + 55089 = 139*g. Is 38 a factor of g?
False
Let t = 40 - -626. Suppose i + 4*l - 237 = -0*i, -3*i = -3*l - t. Is i a multiple of 25?
True
Let y be 20/8*(0 + 2). Let x(u) = -u**3 + 5*u**2 + 7*u - 6. Let v be x(y). Suppose v*h - 24*h - 1240 = 0. Is h a multiple of 31?
True
Let k be (-6)/14 + (-1 - (-470)/35). Suppose -3*z + 836 = 2*g, -3*g + k*z = 9*z - 1284. Is 53 a factor of g?
True
Let g be 2 - (0 - -1*11). Let p be 0 + (-514)/(-9) + (-41)/369. Does 30 divide g/(-4)*1216/p?
False
Let j be 69/12 - (-3)/(-4). Let i = 657 + -173. Suppose 2*y - 184 = -g + 5*g, 0 = -j*y + 4*g + i. Does 10 divide y?
True
Let g = 28155 + 11325. Is g a multiple of 152?
False
Suppose 36*j - 3*z = 41*j - 2536, -2*j - 6*z + 976 = 0. Is 32 a factor of j?
True
Let b be 2/((-8)/6 + 801/621). Is b/(-7)*(30 + -23) a multiple of 6?
False
Let b = 44 + -97. Let d = b + 54. Does 9 divide -3 - (1114/(-12) - d/6)?
True
Suppose b + 3 = 6*b + 3*g, 0 = -2*b - 3*g - 6. Suppose j + p - 127 = 0, b*j - 4*p + 97 = 506. Is j a multiple of 39?
False
Suppose 0 = -41*z + 43036 + 11371. Is 38 a factor of z?
False
Let a = -65 + 109. Suppose 4 = -10*r + a. Suppose r*f = 5*f - 54. Does 9 divide f?
True
Let q = 89 - 82. Suppose 10*h + 13 + q = 0. Is ((-10)/(-8))/(h/(-16)) a multiple of 4?
False
Suppose -144*z = -150*z + 234. Suppose 355 = 4*n + z. Is 79 a factor of n?
True
Let p be 28/(-7) - 3/(1 - 2). Let h(q) = -1653*q**3 - 29*q - 30. Is h(p) a multiple of 118?
True
Suppose -199789 = -106*v + 289719. Is v a multiple of 15?
False
Suppose 0 = 4*u + 2*d - 20, 3*d + 4 - 10 = 2*u. Suppose 2*y = -y - u*y. Suppose 3*j = 3*o + 15 + 180, -j - 4*o + 50 = y. Does 4 divide j?
False
Let l = 1 + 60. Suppose -16*y + 531 + l = 0. Is 8 a factor of y?
False
Let k(b) = 44 - 28*b + 167 - 87. Is 10 a factor of k(-2)?
True
Let o be (-70)/4 - 33/(-22). Let k be (-52)/o + (-9)/(-12). Suppose p + k*p + 3*i = 137, -4*i = -4*p + 84. Is 18 a factor of p?
False
Let j(i) = -284*i + 6. Let c be j(-2). Suppose 7*h + c = -28. Is h/(-1) - (-3 - (1 + -6)) a multiple of 14?
True
Suppose 3*v = -2*j + 3240, -54*j + 50*j + 2160 = 2*v. Is 12 a factor of v?
True
Let n = 486 + -484. Does 30 divide n - (-146 + 1 + -5) - -3?
False
Let p be 4/14 + (-24)/(-14). Let u(d) = d + 20. Let l be u(-16). Suppose t + 44 = p*t - l*g, -5*t + g = -220. Is 29 a factor of t?
False
Is 14 a factor of 0 - 1*-8 - (-36053 + 81)?
True
Let x be (-22 + 25)/((-1)/5*-3). Suppose -x*p - 2 = -4*p. Is (p/(-8))/((-5)/(-3620)) a multiple of 33?
False
Suppose 12*c - 4 = 10*c. Suppose -b - c = -5, 3*a - 2*b - 264 = 0. Is a a multiple of 10?
True
Is (-40)/6*220662/(-1495) a multiple of 24?
True
Suppose 8450 = 138*t + 31*t. Is 2 a factor of t?
True
Let k(n) = -184*n