l(p) = 161*p + 11. Let d be l(5). Suppose 0 = -5*y + 2*y + d. Does 26 divide y?
False
Suppose 4*c + 2*u = 5*u + 24, 5*c - 11 = -u. Suppose 4*d - 741 = -2*f - 47, 1047 = 3*f + c*d. Is 7 a factor of f?
False
Let d be (-2)/(-4)*1 - (-30)/12. Suppose 0 = -d*m + 2*n - 27, 3*m + 19 = -m - 3*n. Let v(u) = u**3 + 11*u**2 + 9*u - 12. Is 11 a factor of v(m)?
True
Let m(p) = -4 + 30*p - 5*p**3 - 28*p**2 - 17*p**2 + 38*p**2 - 9*p. Is 37 a factor of m(-7)?
True
Suppose -x - 24750 = -2*o, -39*x - 37120 = -3*o - 40*x. Is o a multiple of 35?
False
Suppose -8*c + 61 = 29. Does 7 divide 5/(-110)*c + 1091/11?
False
Let c(h) = 26*h - 152. Let p be c(7). Let k = 22 + p. Is k a multiple of 18?
False
Let j(b) = -b**3 + 16*b**2 - 54*b - 20. Let q be j(15). Let h = 1711 + q. Does 36 divide h?
False
Suppose -2*t = -t - 3. Suppose -t*k + 2*c = 3*c - 374, 5*c - 382 = -3*k. Is 10 a factor of k?
False
Suppose -6*i = 2*l + i - 1223, -4*i = -5*l + 2950. Is l a multiple of 13?
False
Let q(h) be the second derivative of -h**3/6 + 3*h**2/2 + 18*h. Let f be q(-7). Suppose 7*m - f*m = -450. Is m a multiple of 30?
True
Let k(a) = -2988*a + 128. Is k(-2) a multiple of 56?
True
Suppose -6*d + 46 - 10 = 0. Is -2 + 18*7 + d a multiple of 10?
True
Suppose 60*s = 81*s + 11760. Let z = s - -1050. Does 7 divide z?
True
Suppose 17698040 = -75*d + 708*d + 3225128. Is d a multiple of 15?
False
Suppose 0 = -5*d + 8*d + 12, -5*b + 5*d = 45. Is ((-119)/(-28))/(b/(-780)) a multiple of 15?
True
Let m be (1 + -3)/(4/(-10)). Suppose 0 = -4*z + j + 18 - 4, 4*z - 18 = 3*j. Suppose l - 2*l + 17 = -z*o, m*o = -3*l - 5. Is l a multiple of 2?
False
Suppose -2150 = 13*y - 18*y + 2*u, -25 = -5*u. Is 16 a factor of y?
True
Is (260/70)/((-5)/(-1645)) a multiple of 22?
False
Let w(s) = -66*s + 471. Let k(j) = -35*j + 235. Let r(z) = -5*k(z) + 3*w(z). Is 3 a factor of r(10)?
False
Let f be 1 + -2*1 - -4. Suppose 0 = -2*q + 2*s + 140, -68*s + 70*s - 371 = -5*q. Suppose 0 = -3*w - 5*r + 88, f*w = -4*r + 13 + q. Is 3 a factor of w?
False
Let v = -53 - -55. Is 8 a factor of (-12 - 1)*(v - 3)?
False
Let p = -1591 - -2054. Is p a multiple of 7?
False
Let a = 31687 - 19220. Does 7 divide a?
True
Let h(d) = -d**3 - 2*d**2 + 8*d - 10. Let y be h(2). Is (75/y - -7) + (-1706)/(-4) a multiple of 45?
False
Is 38 a factor of (-3 - -8)/(((-38)/(-38))/(315*1))?
False
Let z be (7 + -3 + 41)*-2. Is 10*(-9)/z - 1*-251 a multiple of 18?
True
Is 4835 - (-1)/(-1 - -2) a multiple of 31?
True
Let t = -26960 + 37492. Is t a multiple of 69?
False
Let p(j) = -1 + 2 - 4 + 6 - 117*j. Let t be p(-4). Let l = t - 266. Is l a multiple of 53?
False
Let t(g) = -5 - 26 + 36*g + 6 - 3. Does 8 divide t(3)?
True
Let m(g) = g**3 - 18*g**2 + 23*g - 9. Let c = 151 - 134. Is 11 a factor of m(c)?
False
Let k = -3023 + 4271. Suppose 1412 = 19*t - k. Does 14 divide t?
True
Let d(v) = 4*v**3 - v**2 - v. Let s be d(2). Suppose 18*m - 106 - 2 = 0. Let h = s + m. Does 8 divide h?
True
Let t = -133 + 144. Suppose -t*m + 1822 = -730. Is 6 a factor of m?
False
Suppose 5*v + 3*o - 2*o = 9, -2*v - 4*o + 18 = 0. Let n be 540/240*(49 + v*-1). Suppose 0 = b - 0*b - n. Is 18 a factor of b?
True
Suppose -4*g + 52 - 268 = 0. Let i = g + 58. Suppose -i*t + 142 = -2*t. Does 14 divide t?
False
Let h(s) = -78*s - 149. Let j be h(-3). Suppose 0 = g + 2*d - 184, -j*d + 83*d - 766 = -4*g. Does 38 divide g?
True
Let g = 1426 - 603. Let q = g + -482. Is 11 a factor of q?
True
Let c = -91 - -96. Suppose 0 = -5*m - 10, -21 = -5*d + 4*d - c*m. Suppose -3*g + 4*g = d. Does 8 divide g?
False
Let k(p) = 143*p**2 - 98*p + 6. Does 106 divide k(8)?
True
Let v(a) = -a**3 - 8*a**2 + 38*a + 10. Let z be v(-11). Let y be (18/(-1))/(z/(-780)). Let u = y + 536. Does 39 divide u?
False
Suppose 3472*s - 3412*s - 72720 = 0. Is 3 a factor of s?
True
Let q(g) = 3*g**2 + 31*g - 8. Let t(i) = 2*i**2 + 21*i - 5. Let d(b) = 5*q(b) - 7*t(b). Is 4 a factor of d(-15)?
True
Let k(b) = b**3 + 23*b**2 + 19*b - 7. Let l be k(-22). Let w be l*(0 + -1)*-1. Suppose -a + w - 19 = 0. Is a a multiple of 10?
True
Suppose 0 = 8*r + 13*r - 147. Let f(y) = y**3 - 6*y**2 - 9*y + 17. Is 2 a factor of f(r)?
False
Suppose -145*c = -149*c + 724. Is c a multiple of 29?
False
Suppose 204*t - 5632806 + 482418 = 0. Is t a multiple of 237?
False
Let r = 3441 - -6367. Is r a multiple of 13?
False
Let d(w) = -7 + 2*w**2 + 7 - w**3 - w. Let f be d(1). Suppose -3*k - 5*y + 113 + 38 = f, 2*y + 210 = 4*k. Is k a multiple of 17?
False
Is 158 a factor of 2/(((-6)/216*-9)/((-40606)/(-4)))?
True
Suppose -43*z - 1148445 = -224*z. Does 12 divide z?
False
Does 34 divide ((-535743)/(-78))/(3/2)?
False
Is (9 - 1) + 31015 + 6 + 9 a multiple of 301?
False
Let q(f) = -9*f**3 + f**2 - 1. Let l be q(-1). Suppose x + l = 13. Suppose -3*h = x*h - 392. Does 46 divide h?
False
Let s(o) = o**2 - 2*o + 2. Let u be s(2). Suppose 37*w - 709 = 1020 + 1231. Suppose -5*k = 3*y - 388, k + w = u*k + 3*y. Is 7 a factor of k?
True
Let d = 4176 - -1182. Does 32 divide d?
False
Let g = 411 + 5479. Does 9 divide g?
False
Suppose -4*f + 3*r + 80085 = -57434, -3*r - 34391 = -f. Is f a multiple of 8?
True
Let y = 52992 + -26962. Is y a multiple of 137?
True
Let p(v) = -301*v - 124. Let d be p(-4). Suppose -44*g = -59*g + d. Does 13 divide g?
False
Let h = 1712 - -3720. Does 40 divide h?
False
Suppose 6*j + 5*p - 154524 = -4012, -3*p - 25070 = -j. Is 45 a factor of j?
False
Let z(q) = -134*q - 2620. Is z(-39) a multiple of 247?
False
Suppose 2*p - 433 = 2*d + 57, 4*d = -p - 955. Is -4 + (-5 - d) + 2 a multiple of 11?
False
Let q(f) = -8*f + f**3 - 24 - 6*f**2 + 12*f + 7*f. Is q(7) a multiple of 3?
True
Let u(i) = i**3 + 17*i**2 - 77*i + 28. Let v be (1 + 0)/(22/(-418)). Is 15 a factor of u(v)?
False
Let n be (12/18)/(16/(-552)). Is 650/8 + n/92 a multiple of 3?
True
Suppose -33*t + 35*t + 434 = 2*s, -4*s - 5*t + 886 = 0. Let f = -115 + s. Does 26 divide f?
True
Suppose -3*s = -6*s. Let a(w) be the third derivative of -w**5/30 + w**4/24 + 17*w**3/2 - 2160*w**2. Does 17 divide a(s)?
True
Suppose 2041 = 2*m - k, 4*k - 586 = 3*m - 3650. Is 5 a factor of m?
True
Suppose -q - 16 = 4*h, -4*q + 1 - 5 = h. Let v(d) = 22*d**2 + q*d - 3*d - 1 + 2 + 4*d. Is v(1) a multiple of 24?
True
Let a be -264 + (-1 + 2)*(-8)/4. Let k = a + 415. Suppose b + 4*z - k = -z, -114 = -b + 2*z. Does 25 divide b?
False
Let c(h) = -h**3 + 13*h**2 - 9*h - 34. Let k be c(12). Suppose -10*m = -t - 9*m + 408, 3*m = -k*t + 806. Is t a multiple of 7?
True
Suppose 4*c + 4*a = 164, a = -2*c + 43 + 35. Suppose -5*r = 4*j - 314, r - c = -39. Is 5 a factor of j?
False
Let g(z) = 48 + 32*z**2 + 23*z**3 - 12*z - 25*z - 15*z**3 - 7*z**3. Does 12 divide g(-33)?
True
Let o = -65 + 67. Suppose 2*s + o*s = 5*s. Suppose s = -5*z - 228 + 868. Is z a multiple of 27?
False
Let s = 16118 + -15106. Is 46 a factor of s?
True
Let l(b) = 34*b - 12. Let r(x) = 69*x - 23. Let c(y) = 7*l(y) - 4*r(y). Is 5 a factor of c(-4)?
True
Let p = -636 + 1112. Suppose -7*k + p = 56. Does 20 divide k?
True
Let b(m) = -m**3 + 10*m**2 + 42*m - 9. Does 35 divide b(8)?
True
Let z(t) = -77*t + 547. Is 15 a factor of z(-29)?
False
Suppose 13*f - 8*f - 305 = -5*z, 296 = 4*f - 9*z. Does 65 divide f?
True
Is 19 a factor of 608/3*(-319 - -388)?
True
Suppose -859*y = -866*y + 30940. Is 68 a factor of y?
True
Does 16 divide (0 - (-12)/10)/(10/1128000*20)?
True
Is 20 a factor of 34/(-12) + 3 + (-862953)/(-234)?
False
Suppose -504*s + 510*s = 1896. Suppose -s*r + 6321 = -309*r. Does 21 divide r?
True
Is (1171163/(-49) - 0)*-2 + 33/77 a multiple of 185?
False
Is 14 a factor of (-94 - -3)/13 + 0 + 24535?
True
Let u(f) = -236*f + 2038. Is 74 a factor of u(0)?
False
Suppose 21*p = 3*p + 7434. Is p a multiple of 3?
False
Suppose 0 = 4*o + 5*k + 4, -3*o - o + k = -20. Suppose 4*x = 8*x + o. Does 22 divide 216/(-135)*(326/(-4) + x)?
True
Let i = 26154 + -14469. Is i a multiple of 15?
True
Let k = -28357 - -52044. Is k a multiple of 107?
False
Suppose 333*v - h - 24847 = 332*v, 10 = 2*h. Is v a multiple of 228?
True
Let r(u) = 126*u - 6. Let z be r(1). Suppose -9*d = -4*d - 3*q - z, -5*d + 5*q + 120 = 0. Is 15 a factor of ((-4)/(-3) - 1)/(d/2520)?
False
Suppose 2*z + 15 - 21 = 0, 2*z = 5*c + 6. Suppose -q = 5*m - 250, 3*m = -2*q - c*q + 500. Is q a multiple o