0). Let x be p(j). Suppose 4*t - 149 = -5*w, 51 + x = 5*t + w. Is 18 a factor of t?
True
Let b(q) be the third derivative of q**6/60 + q**5/15 - q**4/6 + 5*q**3/6 - 6*q**2. Let n be b(3). Let p = n - 5. Is p a multiple of 9?
False
Let j(a) = a**3 + 9*a**2 + 8*a + 3. Let m(o) = -5*o**2 - o. Let v be m(-1). Let n be -2 + (v - (0 - 3)). Is 18 a factor of j(n)?
False
Is 36 a factor of (28 - 24)*(82 + -1)?
True
Suppose -12*q - 24*q = 38*q - 1099048. Does 188 divide q?
True
Is ((28672/20)/8)/(2*3/30) a multiple of 8?
True
Suppose -83*o + 24728 = -35650 - 32084. Is o a multiple of 2?
True
Let c(x) = -126*x + 1276. Does 20 divide c(-24)?
True
Is (84924/8)/((-92)/(-16) - 5) a multiple of 32?
False
Let n = 4188 - 2582. Suppose -3*a = -12*i + 7*i - n, 4*a - 2138 = 5*i. Does 76 divide a?
True
Let r = -19200 + 37134. Is r a multiple of 14?
True
Let k(m) = m**3 + 17*m**2 - 29*m - 16. Let u be k(-16). Is -4 + -4 + u + 4 a multiple of 5?
True
Let t(v) = 2*v**3 - 11*v**2 + 8*v + 117. Does 96 divide t(27)?
True
Suppose -4*p = 0, 0 = k - 12*p + 8*p - 2571. Does 145 divide k?
False
Suppose -o + 4 = 0, -5*b = 3*o - 4*o - 41. Let z be 82/6*2*b. Let c = z - 107. Does 19 divide c?
False
Suppose 5*a + 2*a = -7*a + 79730. Is 67 a factor of a?
True
Let z(o) be the third derivative of o**4/8 - o**3/2 - 62*o**2. Suppose -3*a + 33 = 3*j, -a + 0*j = 4*j - 20. Does 7 divide z(a)?
True
Suppose g - 6150 = -14*g - 10*g. Let c be 1*-4*(-112 + -2). Let z = c - g. Does 10 divide z?
True
Let n = 5665 + 11497. Is n a multiple of 389?
False
Suppose -5*a - 24*p = -26*p - 9975, p = 4*a - 7983. Is a a multiple of 20?
False
Is (-7008)/(-14) - (-8 + (-180)/(-21)) a multiple of 15?
False
Is 5 a factor of (-1081410)/(-660) + (-5)/2?
False
Let w(m) = -15*m + 105. Let k be w(24). Does 49 divide -1 - (-8)/10 - 25041/k?
True
Suppose 65228 = 90*l - 447311 - 418961. Does 15 divide l?
True
Let w = 32669 - 25251. Is w a multiple of 2?
True
Let k(b) = b**3 + 97*b**2 - 647*b + 127. Is k(-103) a multiple of 5?
False
Let c = -122 + 138. Let h(v) = -2*v**3 + 31*v**2 + 18*v + 4. Is h(c) a multiple of 12?
True
Suppose 4*f - 11*f = -49. Let h(p) = -10*p + 3 - 6*p**2 + 3 + 4*p + p + p**3. Is 5 a factor of h(f)?
True
Suppose -k + j = -4155, -2*j + 18457 = 3*k + 5977. Is k a multiple of 11?
True
Let g = -2241 + 5478. Does 12 divide g?
False
Let v(p) = -15*p + 375. Let u be v(23). Suppose -3*w - 3*n + 2175 = 0, -3*w - u*n + 35*n = -2207. Does 9 divide w?
True
Let z = 234 - -478. Let j = 1798 - z. Is 54 a factor of j?
False
Suppose 12*m - 1047 = -726 + 1311. Is m a multiple of 4?
True
Suppose -x + 2997 = 4*v, 0 = 2*v - 4*x - 598 - 914. Is 3 a factor of v?
True
Let n = -1419 + 1794. Is 67 a factor of n?
False
Suppose 4*j - 2 + 6 = 2*i, -2*i - 4*j + 44 = 0. Suppose i*y = 9*y. Suppose y = -q - 5*q + 342. Is 4 a factor of q?
False
Let a(k) = k**3 + 9*k**2 - 30*k + 12. Let o be a(-8). Suppose -3*w + 82 = -2*s + 281, o = 3*s - w. Is 10 a factor of s?
False
Let r = 5998 - -2702. Is 60 a factor of r?
True
Is -4*(-30)/(-40) - (-7632 - 1) a multiple of 35?
True
Let x(m) be the second derivative of 3*m**3 + 3*m**2 - m. Let p(i) = -1. Let t(w) = 4*p(w) - x(w). Is 20 a factor of t(-5)?
True
Let c = -26 - -21. Let g(w) = -6 + 9*w**3 - 4*w - 5 + w**2 - 10*w**3. Is 22 a factor of g(c)?
False
Suppose 5*c + 7*u - 9*u + 4610 = 0, 3676 = -4*c + 4*u. Let r = c + 1795. Is r a multiple of 34?
False
Suppose 3*r - 102 = 9*r. Let w(q) = -q - 19. Let p be w(r). Is 51 - (6/p - -2) a multiple of 13?
True
Suppose 5*l = 4*o + 3313, 5*l + 192*o - 3334 = 189*o. Is l even?
False
Let j = -12349 + 20539. Does 14 divide j?
True
Let f(i) = -i**3 - 4*i**2 + 7*i - 9. Let v be f(-6). Is (417 - -2) + 7/v*-9 a multiple of 52?
True
Let l(u) = -216*u**2. Let i(f) = 2*f + 17. Let g be i(-9). Let a be l(g). Is (-9)/(3*4/a) a multiple of 18?
True
Let k(j) = 123*j**3 + j**2 - j. Let p be k(1). Let l be (2 - 3)/(8/(-392)). Let c = p - l. Is 41 a factor of c?
False
Let t(m) = 22*m + 34. Let j be t(-10). Let a = 207 + j. Is a a multiple of 7?
True
Suppose 5*t - 51*t + 66700 = 0. Is t a multiple of 4?
False
Suppose 11*b + 2052 = 20*b. Suppose -l + 5*o + 84 = 0, -4*o + 9*o = -2*l + b. Is 8 a factor of l?
True
Let a(f) = -f**3 - 5*f**2 - 4*f - 3. Let o be a(-5). Suppose 0 = -4*j + 3 + o. Suppose w - 323 = -2*d, -w - 482 = 2*d - j*d. Does 38 divide d?
False
Let r(h) = 182*h**2 + 35 + 201*h**2 - 12*h - 344*h**2. Is 57 a factor of r(4)?
False
Let d(k) = -k + 11. Let f be d(7). Suppose 5*i - f*r - 780 = i, 5*i + 2*r = 1003. Does 14 divide i?
False
Let h(s) = s**3 - 13*s**2 + 74*s + 33. Is h(11) a multiple of 10?
False
Suppose 7*c - 14 = 9*c. Let s(x) = -x**2 - 12*x - 21. Let n(p) = 5*p**2 + 59*p + 105. Let a(l) = 2*n(l) + 11*s(l). Is 14 a factor of a(c)?
True
Let a be 3/(-2)*-52 + (-6)/(-2). Is 7*(-4)/((-12)/a) a multiple of 21?
True
Let k = 1502 - -1353. Does 17 divide k?
False
Let b(j) = j**3 - 19*j**2 - j + 19. Suppose 8*g + 2*l = 9*g - 23, 3*l = 3*g - 63. Let t be b(g). Suppose 3*p - 222 - 282 = t. Is p a multiple of 14?
True
Let t = 39 - 77. Let i = 148 + t. Suppose 4*u - i = -26. Does 3 divide u?
True
Suppose 0 = -b - 3*b. Suppose -4*c + 3*i - 2*i = -351, -2*c - i = -183. Suppose -2*u - 4*q + c + 59 = b, -u - 5*q + 65 = 0. Does 8 divide u?
True
Let r = -2754 + 5284. Is 23 a factor of r?
True
Let o(u) = u + 161. Suppose 0 = -10*h - 127 - 343. Does 57 divide o(h)?
True
Suppose -332 = 32*r - 23276. Is r a multiple of 13?
False
Suppose 262197 = 80*n - 221563. Is n a multiple of 28?
False
Suppose -22*p + 37211 = -53925 - 9712. Is 24 a factor of p?
True
Let s(t) = 2672*t - 3089. Is 9 a factor of s(5)?
False
Let l(n) = 197 + 109 - 2840*n + 2832*n + 40. Is 3 a factor of l(17)?
True
Let y be 50/15*(-15)/(-10). Is 39 a factor of (-34 - y)/((1 + 2)/(-12))?
True
Suppose 61*w + 9630 = -4943 + 87712. Is 17 a factor of w?
False
Let c = 32 + -31. Let n = c - -5. Does 13 divide (-1 + 4)/(n/104)?
True
Suppose 932 = z - 3*w, 2*z - 7*w = -10*w + 1900. Does 11 divide z?
False
Let z(j) = j**3 - 28*j**2 + 190*j - 89. Is 5 a factor of z(27)?
False
Is 34 a factor of (-12)/(-5)*(-26860)/(-12)?
True
Suppose -3*c + 16 = -8. Let d be (1870/40)/17*196. Suppose k = c*k - d. Is k a multiple of 7?
True
Suppose -3*j - 5 = -y, 0 = -5*j + j + 5*y - 3. Let k be (j - 2)/((-8)/18*3). Suppose 45 + 63 = k*a. Does 18 divide a?
True
Let q(l) = 25*l + 732. Let j be q(-30). Let a(y) = -y - 22 + 12*y + y**2 + 2*y. Is a(j) a multiple of 13?
False
Let b(r) = 1 - r + 0*r + 3*r + 40*r**2 + 155*r**2. Let o be b(-1). Let q = 271 - o. Is 11 a factor of q?
True
Suppose -4*v - 7 + 21 = 2*n, -4*n + 10 = -v. Let g be v/1 - -182 - (0 + 3). Suppose 2*y + 3*u = g, 3*u - 5*u + 10 = 0. Does 8 divide y?
False
Let m(s) = 20*s**2 + 7*s + 17. Let u be m(-2). Let w = 199 - u. Is 33 a factor of w?
False
Suppose 165*w = -8*w - 7*w + 11610900. Is 13 a factor of w?
False
Suppose 2*k + 5*h = 0, 17*k + 5*h = 16*k. Suppose 6*q = -4*n + 9*q + 2002, -2*q + 4 = k. Is n a multiple of 70?
False
Let t(w) be the second derivative of -3/2*w**3 + 3/2*w**2 + 7/12*w**4 + 0 - 1/20*w**5 - 7*w. Is t(3) a multiple of 3?
True
Let j(v) = -56*v - 2. Let x be j(1). Let a be x/(-3) + 14/21. Suppose a = 4*m, -2*q + 0*m - m = -167. Is 45 a factor of q?
False
Suppose 545 - 2629 = 5*s - 2*c, 0 = -2*s + c - 833. Let k = s + 193. Does 15 divide (-30)/k + (-6746)/(-30)?
True
Let j(n) = 83*n**2 + 112*n + 228. Is 2 a factor of j(-2)?
True
Let h = 31 - 10. Let u = h - 19. Suppose u*g = 4*i + 110, -i + 2*i = -g + 40. Is 8 a factor of g?
False
Let c be -7 + 13 + (0 - -1). Suppose 2280 = c*w - 457. Does 48 divide w?
False
Suppose 4*o + p - 17 = 0, o - 13 = -3*o + 3*p. Let a = -1583 - -2585. Suppose a = 3*v - m, -m + 984 = 3*v + o*m. Does 37 divide v?
True
Suppose -243 = -y + 4*b - 1217, -3*b = 9. Let f = 664 + y. Does 30 divide (-5)/((-1)/(-5) - f/(-1260))?
True
Suppose 0 = b - 0 + 3, -4*b = 5*f - 2683. Suppose 106 = 71*z - 18*z. Suppose -z*w - 5*w = -f. Is 22 a factor of w?
False
Let f(m) be the second derivative of -m**5/20 - 5*m**4/12 + m**3/6 + 9*m**2/2 + 2*m. Suppose -4*z + 2*t - 26 - 2 = 0, 5*z + 20 = -5*t. Is 2 a factor of f(z)?
False
Suppose 6*j + 9*j = 56490. Suppose 2*d + 4987 = -3*o, -4571 - j = 5*o - 3*d. Is 8/(-3)*o/30 a multiple of 8?
False
Let y = 