*z + 5*l. Is z a multiple of 18?
True
Let l = -5774 - -6068. Is 98 a factor of l?
True
Let t be (-68 - 4)*(-186)/24. Let l = t + -341. Let a = -49 + l. Does 24 divide a?
True
Suppose 25*f - 2495 - 11680 = 0. Is f a multiple of 11?
False
Let w = 53 + -187. Suppose -2*s + 4*q = 880, 438*q = 439*q - 4. Let h = w - s. Is h a multiple of 14?
False
Suppose 2*y = -4*y - 2082. Let s = -123 - y. Suppose -5*w + 268 = -z, -w + 5*w = -4*z + s. Is w a multiple of 18?
True
Let y(u) = 104*u**2 - 78*u - 8. Does 92 divide y(3)?
False
Let o(u) be the third derivative of 3*u**6/10 + u**5/15 + u**4/12 - 7*u**3/3 - 30*u**2 + 2*u. Does 22 divide o(2)?
False
Suppose -211*w + 232*w = 298914. Does 92 divide w?
False
Suppose 2169720 = 75*b - 30*b. Is b a multiple of 42?
True
Suppose 13*c = 15*c + 2, 4*z = -2*c - 2. Let x = 296 - 59. Suppose z = -4*w - 65 + x. Is 25 a factor of w?
False
Let m = 18 - 12. Let j = -2 + m. Suppose -3*b = -5*b - j*t + 292, 5*b + 4*t = 736. Is b a multiple of 37?
True
Suppose 101*m - 2029294 = 518936. Is 21 a factor of m?
False
Suppose 2*s = 5*o - 16, -2*o = -6*o + 3*s + 10. Suppose 5*v = -0*v + 2*p + 2134, -o*v = 3*p - 1698. Does 32 divide v?
False
Suppose -2*m - 2*m = 2*h - 28, 3*m - 4*h - 10 = 0. Does 12 divide (-492)/((-8)/(32/m))?
False
Suppose 12 + 1 = 3*n - k, -n + 3*k + 15 = 0. Does 37 divide 4 + 31 + n + -1?
True
Let h be (2 + -1)*8/4. Suppose 0*k - h*k = -4. Suppose 3*r - 225 = -2*c, 3*c + k*r - 86 - 239 = 0. Is 23 a factor of c?
False
Let u(o) = -o**3 + 2*o**2 + 3*o. Let w be u(3). Suppose h + 0*h = 2. Suppose -366 = -3*p + v, w = -h*p - 3*v - v + 258. Does 11 divide p?
False
Let o = 844 - -3. Suppose o = 6*h - 431. Is h a multiple of 17?
False
Let k(a) = -a**3 + 7*a**2 + a + 12. Let f be k(7). Let n = f - 10. Suppose n*x - x = 1064. Does 22 divide x?
False
Suppose 22 = 10*u - 18. Suppose -3*m + u*l = -920, 0 = 5*m - 5*l + 205 - 1735. Is m a multiple of 38?
True
Suppose 5*m + 2 = -13, -2*y = m - 77. Suppose 10*h + 0*h = -y. Is 12 a factor of 46/(1 + 1) + h + 5?
True
Suppose -4*a + 14683 + 14957 = 4*f, 0 = -5*a - 25. Is 23 a factor of f?
False
Suppose -34*j - 705690 + 1185566 = -822664. Is 15 a factor of j?
True
Suppose 0 = -q - 1 + 5, 3*q - 285 = -3*b. Let n = 32 - b. Let u = n + 101. Is u a multiple of 3?
True
Let d = -35832 - -51738. Is d a multiple of 22?
True
Suppose -11314 - 3795 = -3*h + 12704. Is 15 a factor of h?
False
Let m(r) = -r**3 + 22*r**2 - 8*r - 23. Let p(g) = -3*g**3 + 65*g**2 - 24*g - 69. Let k(c) = 11*m(c) - 4*p(c). Is 12 a factor of k(18)?
False
Let o(a) = a**3 + 44*a**2 + 181*a + 31. Does 28 divide o(-17)?
False
Let y(v) = -7*v**3 - 14*v**2 - 27*v + 6. Let i be y(-8). Suppose -862 + i = 4*h. Is 46 a factor of h?
False
Let o = 45 - 33. Let a(w) = o + w**2 - w**3 + 15 - 3*w + 17 + 21. Does 23 divide a(0)?
False
Suppose -13 = -14*t + t. Suppose 4*h + 2*s = 22, 0 = -2*s + 3 - t. Does 3 divide h?
False
Suppose 3*c - 64*f = -66*f + 45978, 76656 = 5*c - f. Is c a multiple of 4?
False
Let f(u) = -149*u + 78. Let w(l) = 2*l**3 - l**2 + 3*l + 3. Let x be w(-1). Is 73 a factor of f(x)?
False
Suppose 2*z - 4*z = 4*d + 96, -3*d = -z + 67. Let r = d + 52. Suppose -r = -h - 5. Is 8 a factor of h?
True
Suppose 6*b + 47 = 77. Suppose 0 = -b*c + 1129 + 731. Is 31 a factor of c?
True
Let c be ((-14)/(-6))/7 - 8/(-3). Suppose c*v = -n + v + 144, 0 = v. Does 48 divide n?
True
Let p = 3985 - -487. Is p a multiple of 31?
False
Let t(g) = -53*g - 3. Let o be t(1). Is 1545/7 - (352/o - -6) a multiple of 13?
True
Let z(v) = -v**3 + 14*v**2 + 5*v - 62. Let a be z(14). Suppose a*c - 412 = 484. Does 9 divide c?
False
Let j = -12 + 14. Let d(x) = -19*x**3 - 3*x**2 - 5*x - 4. Let n be d(-2). Suppose 0 = j*w - 5*v - n, 2*w + v = -0*v + 134. Is 17 a factor of w?
True
Let b be ((-6)/(-7))/(-3 - 20/(-7)). Let y = 10 + -34. Is 41 a factor of ((-4)/b)/(y/(-5364))?
False
Let p(k) = 7*k**3 - 11 - 2*k**2 + 0*k - 6*k**3 + 3*k - k. Is p(6) a multiple of 29?
True
Let p = -188 - -541. Let a = p + -246. Is 4 a factor of a?
False
Suppose 0 = p + 5*i - 289, 14*p - 17*p = -5*i - 887. Suppose -34*k + 38*k - 291 = -x, -x - 5*k + p = 0. Is 31 a factor of x?
True
Let f(d) = 30*d - 18. Let k = 59 - 55. Let l be f(k). Suppose -3*t + l = -96. Does 10 divide t?
False
Let l be ((-3)/(-6))/(1/2). Let w = -11 - l. Let v(t) = -t**3 - 12*t**2 - t - 9. Does 2 divide v(w)?
False
Suppose 83863 - 70642 = 46*c - 162959. Is 11 a factor of c?
False
Suppose 66*p = 45*p + 4200. Let i = p - -808. Is i a multiple of 42?
True
Let m = 13059 + -2097. Does 126 divide m?
True
Let l(c) = -201*c - 1. Let s be l(-1). Let h be 4/(-8)*-16*(-3)/(-6). Suppose 4*j + s = h*k, 2 - 6 = -2*j. Is k a multiple of 13?
True
Let q(b) = -b**3 - 42*b**2 + 18*b + 639. Is 41 a factor of q(-45)?
True
Suppose -3*x - 11*v + 10*v = 11, 5*x - v + 5 = 0. Let f = 114 - x. Is 58 a factor of f?
True
Suppose -50 = p + p + 3*a, 4*a = -2*p - 54. Let n = p + 24. Suppose n*x + k - 307 = -3*k, x + 2*k = 65. Is 14 a factor of x?
False
Let h = 17728 - 12084. Is 34 a factor of h?
True
Let u = -5376 + 11408. Is 52 a factor of u?
True
Let a(b) = -832*b - 1. Let c be a(-1). Let t = c + -671. Does 20 divide t?
True
Let h(o) = 1421*o**3 - 3*o**2 - 4*o - 21. Does 279 divide h(3)?
False
Suppose 5*s + f = 21 + 7, 0 = -2*s - f + 13. Let m = s - 20. Is m/30 - 674/(-4) a multiple of 14?
True
Let u(y) be the third derivative of 11*y**5/60 - 5*y**4/12 + 49*y**3/6 - 8*y**2 + 3. Is u(7) a multiple of 8?
False
Suppose -56*w + 50867 = -103675 - 30426. Is 34 a factor of w?
False
Suppose 14*b = 22*b - 32. Suppose 2*g - b*n = 331 + 199, g - 4*n - 267 = 0. Is g a multiple of 33?
False
Let c = 74 + -71. Suppose -3*v - 7*y + 5*y = -10, -c*v = -2*y - 26. Suppose v*l - 49 + 7 = 0. Does 7 divide l?
True
Suppose 2*v - 5*b = -3*b + 13054, -2*b - 6520 = -v. Is v a multiple of 8?
False
Let b(r) = -78*r + 942. Is 56 a factor of b(-10)?
False
Let q be (70/(-8))/((-500)/496 + 1). Let z = -532 + q. Let s = z - 213. Does 23 divide s?
False
Let w be 4 - 0 - (-2)/2. Suppose 235 = -5*h - 2*y, -5*h - w*y - 183 = 67. Is -6*(h/10 + 3) a multiple of 9?
True
Let f(g) = g**3 - 92*g**2 + 113*g + 638. Does 26 divide f(91)?
False
Let d = -258 + 262. Suppose d*j - 2*a - 342 = 0, 3*j + 3*a + 106 = 358. Is 5 a factor of j?
True
Let i(n) = 3*n + 8. Let h(p) = -p + 13. Let a be h(15). Let q be i(a). Does 25 divide (9/(-18))/(q/(-172))?
False
Suppose 2*s = c - 16, 0 = 5*c - s - 25 - 10. Let r = 805 + -185. Suppose -y = -c*y + r. Is y a multiple of 8?
False
Suppose 13*d = 3*d + 630. Let c = d + -62. Is 22 a factor of c/((-3)/(-12)) + 161?
False
Let n(y) = 5*y**2 + 13*y - 7. Let l(t) = -3*t**2 - 6*t + 4. Let d(c) = -7*l(c) - 4*n(c). Let f = 28 + -16. Is 4 a factor of d(f)?
True
Let l = 83 - -1297. Is l a multiple of 12?
True
Let b be (0/2)/(3 + -1). Let x(l) = 0*l**2 - 4*l**2 + 0*l**2 + 5*l**2 - 2*l + l + 23. Is 3 a factor of x(b)?
False
Let z(o) = 5306*o**2 - 394*o + 791. Is 29 a factor of z(2)?
False
Let v(a) = -11*a**2 - 520*a + 81. Is v(-24) a multiple of 15?
True
Suppose 25435 + 1507364 = 37*h. Is 94 a factor of h?
False
Let c = -886 + 877. Let y = 171 - c. Does 18 divide y?
True
Suppose 2*v + 85 = -4*k + 745, v - 3*k = 330. Suppose 0 = i - 2*l - 500, 652 + v = 2*i + 5*l. Does 62 divide i?
True
Let i(a) be the first derivative of -35*a**3/3 - a**2/2 - a + 7. Let l be i(-2). Let m = l + 303. Is 41 a factor of m?
True
Let u = -651 - -259. Let a = u + 542. Does 15 divide a?
True
Let k(z) = -44*z - 257. Let u(o) = 22*o + 127. Let q(t) = -6*k(t) - 13*u(t). Is q(-7) a multiple of 19?
False
Let c(v) = -v**2 - 14*v - 2. Suppose -9*a = -8*a - 2. Suppose a*b - 4*f + 14 = 0, -b + f - 2 = 6. Is c(b) a multiple of 28?
False
Let t(o) be the second derivative of 1/6*o**3 + 7/6*o**4 + 1/2*o**2 - 1/20*o**5 + 0 + 13*o. Is 5 a factor of t(14)?
True
Suppose 8*u + 2 = 42. Let i(r) = 2 - 14*r + 6*r**2 + 6 - 2*r**2. Is 19 a factor of i(u)?
True
Suppose -3*y = -73 + 82. Is 27 a factor of 116 - y/((-12)/32)?
True
Suppose 2*q - 37*b - 124833 = -40*b, 4*b = -3*q + 187247. Does 15 divide q?
False
Let k be (5 - 1) + 18 + -6. Suppose k*z = 23*z - 560. Does 5 divide z?
True
Let t(g) = -g**3 + 60 - 16 + 24. Let y be t(0). Suppose -2*r + 6*r = y. Is r a multiple of 2?
False
Suppose 315085 + 192968 = 2