alse
Let l(s) = -s**3 - 7*s**2 - 9*s + 9. Let w be l(-5). Suppose -7*t = -w*t - 15. Suppose 2*c - z - 526 = -2*c, 0 = -4*c - t*z + 538. Is 17 a factor of c?
False
Let r be 2/(-5)*5*(-7)/14. Does 16 divide r/1 + 69*4/6?
False
Suppose 0 = -171*o - 4673 + 68627. Is o a multiple of 22?
True
Does 6 divide (11/((-99)/1011))/((-1)/3)?
False
Let n = 153 - 181. Is 18 a factor of 3/21*2 - 5788/n?
False
Let t be (-26)/((-96)/56 + (-4)/14). Suppose 8*j - 3 - t = 0. Suppose 2*m = 4*q - 668, -4*m + 133 = j*q - 201. Is q a multiple of 42?
False
Let x(r) = 122*r + 1864. Is x(34) a multiple of 90?
False
Suppose 0 = -5*w - 3*h + 23844 + 65477, 0 = 4*h - 28. Is 47 a factor of w?
True
Suppose 4*x = 9*x + 5*n - 1905, 5*n = 5*x - 1915. Suppose 2*b + 4*l = 630, -b + 3*l - 47 = -x. Is b a multiple of 16?
False
Let z(p) be the first derivative of 8*p**3/3 + 6*p**2 + 44*p - 50. Does 14 divide z(-10)?
False
Let f(t) = -7*t**2 - 11*t - 1. Let h be f(-4). Let s = -62 - h. Suppose 2*u + 3*a = 162, -4*a = -4*u - s*a + 312. Does 15 divide u?
True
Suppose -w - 3*n + 3311 = 0, 9835 = -7*w + 10*w - 5*n. Does 16 divide w?
False
Let j(t) = -t**3 - 7*t**2 + 3*t + 54. Let g be j(-6). Suppose g = -8*l + 6*l + 1014. Does 39 divide l?
True
Let z(y) = -3*y - 25. Let l be z(12). Suppose i - 50 = -2*g + 25, 2*i + 30 = g. Let d = g - l. Does 29 divide d?
False
Let q = 33 + 120. Let z = -21 - 15. Let n = q + z. Is 13 a factor of n?
True
Let x(p) = 1647*p + 15. Is x(3) a multiple of 40?
False
Suppose 23*s - 27*s - 3*u = 355, 3*s = -4*u - 275. Let b = s + 340. Is b a multiple of 17?
True
Let p(z) = 5*z**3 - z**2 - z. Let a be p(1). Suppose 285 = 5*o - 5*j, -j = -a*o - 3*j + 186. Is 28 a factor of o?
False
Let x(n) = -n**3 + 9*n**2 - 11*n - 16. Let r be x(7). Let k(i) = i + 20. Is k(r) a multiple of 25?
True
Suppose 3626 = r - 36*o + 41*o, 2*r = 2*o + 7192. Is r a multiple of 11?
False
Let v(s) = s**3 + 6*s**2 - 17*s - 20. Let j be v(-8). Let l be j/9*30/(-4). Is 754/l + 1 - 4/10 a multiple of 38?
True
Let r = -330 - -633. Let x = -262 + r. Is 4 a factor of x?
False
Suppose -48517 = -2*c - a - 16622, 20 = 4*a. Is 120 a factor of c?
False
Let o(f) = 11*f**2 + 3*f - 3. Let v be o(1). Does 15 divide (12/(-9))/(v/(1683/(-12)))?
False
Suppose 4*x = k + 26 - 680, 2*x = 3*k - 322. Let f be (x - -14)*(4/6)/(-1). Suppose -5*s - 3*a + 68 = 0, s = -4*s + 5*a + f. Is 4 a factor of s?
True
Let o(p) = 1608*p**2 - 29*p - 25 - 802*p**2 - 808*p**2. Let q(b) = b**3 - 5*b**2 - 7*b - 4. Let s be q(6). Is 7 a factor of o(s)?
False
Let j be 2 + -3 - (-3)/(3/5). Suppose i - j = -0*i. Is (18/5 - i/(-10))*27 a multiple of 36?
True
Let v(d) = 5*d**3 + d**2 - 3*d - 3. Let i = 10 + -2. Suppose 3*b - x = 10, b + 2 = x + i. Is 4 a factor of v(b)?
False
Suppose -m - 5*m = 13133 - 54533. Is 6 a factor of m?
True
Let b(g) = 197*g**3 + 24*g**2 - 74*g - 7. Is b(3) a multiple of 90?
False
Let f = -59 + 63. Suppose 4*r - 5*s + 3 = 0, -3*r + 4*s - f + 1 = 0. Is (-1 - r/12)/((-1)/60) a multiple of 18?
False
Let z(q) = 2*q**3 - 4*q**2 - 7*q + 7. Suppose -47*x = -33*x - 84. Is z(x) a multiple of 23?
True
Let l(y) = -2*y**2 + 69*y - 83. Let g be l(33). Suppose -a = g*a - 10251. Is a a multiple of 57?
False
Let q be ((-8328)/10)/(210/700). Let w = -1120 - q. Does 72 divide w?
True
Let z(v) = -v**2 + 10*v + 96. Let l be z(-6). Suppose l = -10*r + 6*r + 2*b + 3086, 761 = r + 3*b. Is 70 a factor of r?
True
Let t(p) = p - 11. Let c be t(4). Let q be 2/c + (-192)/112. Does 11 divide ((-4)/(-12))/(q/(-18)) - -19?
True
Suppose -14*b = -21*b - 504. Let l be b/16*(-3 + 1) + -4. Let j(m) = 2*m**3 - 4*m**2 + 4*m + 7. Is 10 a factor of j(l)?
False
Let u = -11819 - -20597. Suppose -294*k + u = -287*k. Does 38 divide k?
True
Let g(r) = 10*r - 20. Let z be g(8). Suppose -5*b - 20 = z. Is b/6*(-1230)/40 a multiple of 11?
False
Suppose 2*i - 2*k = -5*k + 188, 4*i + 4*k - 376 = 0. Let w(u) = -3*u**2 + 2*u + 7. Let c be w(5). Let y = i + c. Does 10 divide y?
False
Suppose 27*y = 37*y - 12580. Does 26 divide y?
False
Suppose -212*l + 214*l = 6. Suppose 2*p - l*s - 1654 = 0, 0 = 10*p - 7*p + 4*s - 2464. Does 25 divide p?
False
Let u = -11619 - -16486. Does 27 divide u?
False
Suppose -2*m + 25 = 45. Let d = m + 10. Is 14 a factor of ((-29)/(-2) - d)/(4/32)?
False
Let c(x) = -10 + 6 + 1 - 15*x - 8*x**3. Let v(b) = -7*b**3 - b**2 - 16*b - 3. Let q(p) = -6*c(p) + 7*v(p). Is q(-5) a multiple of 5?
False
Suppose 4292 = 2*m + 5*t - 4917, 2*t - 9224 = -2*m. Is 19 a factor of m?
True
Let d be (60 + 14)*(-1 - 3). Is 9 a factor of (-4)/20*-5 + -1 - d?
False
Suppose 5*g - 10 = 0, -375*g + 21655 = 5*p - 370*g. Is p a multiple of 111?
True
Let f be 54/135 - (-2)/(-5). Suppose 0 = -5*a - 5*z + 5855, f = 2*a - a - 4*z - 1196. Is 24 a factor of a?
True
Suppose -126*t + 133*t + 7 = 0. Is -290*(3 + -1)*t a multiple of 29?
True
Suppose -2*c + 27 = 3*g - 63, 0 = 5*c. Suppose -g = 5*q - 0. Is ((-14)/q)/((-14)/(-210)) a multiple of 9?
False
Is -49*2*(14640/12)/(-10) a multiple of 238?
False
Let m(c) = -c**3 - 18*c**2 - 30*c + 35. Let v be m(-16). Suppose 10*z - 483 = v*z. Is z a multiple of 3?
True
Is (-52)/((14/(-14))/84) a multiple of 56?
True
Let a(c) = 72*c**2 + 516*c + 46. Is a(14) a multiple of 15?
False
Suppose 0 = 121*l - 90*l - 208785. Is l a multiple of 15?
True
Suppose 0 = -89*s + 236689 - 48988. Does 50 divide s?
False
Let p(n) = 10*n**2 - 4*n + 6. Let o = 121 + -117. Suppose -4*x = 5*f + 45, o*f = -x - x - 30. Is p(f) a multiple of 12?
True
Let a(f) = -245*f + 564. Is a(-7) a multiple of 34?
False
Let h(b) = 19*b + 156. Let g be h(-7). Suppose g*k = -0*k + 11730. Is 17 a factor of k?
True
Is 3 a factor of (-1 + -278)/(-1) + (702/(-18))/13?
True
Let y be 279/54 + 2 + (-39)/18. Suppose 1702 = 4*h - 2*z, -z = y*h - 4*z - 2129. Is 16 a factor of h?
False
Let y(i) = -55*i + 7. Let j(x) = 6*x**3 - x**2 - 3*x - 3. Let q be j(-1). Let p be y(q). Suppose 3*d - 12 = 4*a + p, a = 5*d - 696. Is d a multiple of 26?
False
Let g(u) = 22*u + 23. Let a be g(-1). Suppose b = a, -4*s + b + 14 = -45. Does 5 divide s?
True
Let i(x) = 4*x + 130. Let k(t) = -2*t**2 + 23*t + 12. Let l be k(12). Let c be i(l). Suppose 0 = 2*h - c - 118. Is 31 a factor of h?
True
Suppose j = -3*u + 10, -5*u - 4*j = -10*u + 28. Suppose -9*o - u*z - 1028 = -12*o, 684 = 2*o - 4*z. Is 38 a factor of o?
False
Let s(z) = -11*z - 13. Let o(k) = k**2 - 12*k + 38. Let v be o(7). Suppose 3*u - 2*q - 3 = -6, v*u - 3 = 4*q. Is 14 a factor of s(u)?
False
Let s be -5 - 1648/(-20)*15/(-2). Let z = s + 833. Is 15 a factor of z?
True
Let k = 23599 - 14756. Is k a multiple of 12?
False
Is 2 a factor of ((-24)/156)/(5/(-1430))?
True
Let c = 31 + -111. Let k = 369 + c. Suppose 3*g - 2*s - k = -s, 5*g - 479 = 3*s. Does 11 divide g?
False
Is 45 a factor of (4 - 140/42)*(-17955)/(-1)?
True
Let b = 27 + -27. Suppose -x + 2*s = -3*x + 1018, b = s - 5. Suppose 8*k - 15*k = -x. Is k a multiple of 34?
False
Suppose 2*x + 140 = 2*r, -2*x + 350 = -7*x + r. Does 10 divide ((-69)/1)/(21/x)?
True
Is 34 a factor of ((-36)/(-10))/((-756)/(-847980))?
False
Let z(n) = n**3 + 3*n**2 - 12*n - 8. Let v be z(-5). Is 39 a factor of v/12*3043 + (-20)/120?
True
Let g = -198 + 429. Suppose -14*l + 358 + 1308 = 0. Let c = g - l. Does 14 divide c?
True
Let s be (-22)/33*255/2. Let a = s - -121. Does 11 divide ((-55)/2)/((-6)/a)?
True
Let b = 25 + -21. Suppose -3*o = o + b*y - 400, 4*o = -y + 397. Does 33 divide (4/((-4)/o))/(-1)?
True
Let y = -7547 + 8195. Is y a multiple of 108?
True
Let w(c) = 2*c**2 + 11*c - 164. Let k(u) = 26*u + 320. Let x be k(-13). Is w(x) a multiple of 22?
True
Let q = 6142 + 1048. Is q a multiple of 154?
False
Suppose 0 = -14*j + 4*j + 2760. Let u = 531 - j. Is u a multiple of 15?
True
Suppose -25023 = -4*w + 5*z, -303*w - 3*z - 31282 = -308*w. Is 81 a factor of w?
False
Suppose -1285*q - 69198 = -1287*q + 3*n, 3*q = -n + 103786. Does 186 divide q?
True
Let x = 557 + -199. Suppose -x - 537 = -5*p. Suppose -2*j = 4*q - 280, -4*q + p = 5*j - 107. Does 24 divide q?
False
Is 7 a factor of ((-8796)/14)/(5/(-35))?
False
Suppose 2*y - 4 - 2 = 0. Suppose 0 = -126*d + 125*d + 3. Suppose j = -4*j + k + 339, y*j - 207 = -d*k. Is 9 a factor of j?
False
Let i(n) = n**3 - 24*n**2 + 2*n + 3517. Is i(0) a multiple of 53?
False
Let n = 399