+ p**3/6 - p**2. Suppose 39*s - 32*s + 7 = 0. Is 3 a factor of u(s)?
True
Let q(c) = 36*c**2 + 114*c - 45. Is q(15) a multiple of 31?
True
Let q(u) = 128*u**3 + 2*u**2 - 11*u - 13. Let a(c) = 64*c**3 + c**2 - 6*c - 7. Let p(b) = -7*a(b) + 4*q(b). Let y be p(-2). Is 6 a factor of 3*2/27 - y/27?
False
Let z = 245 - 257. Suppose -5 = 4*b + 15. Is 14 a factor of 83 - (-4 + b/(20/z))?
True
Suppose 8*r - 30*r + 220 = 0. Let u(t) = 94*t - 3. Does 20 divide u(r)?
False
Suppose -3282*f + 544356 = -3246*f. Does 257 divide f?
False
Suppose -i = 5*c - 311, -30*i - 2*c = -35*i + 1555. Let p = i - 63. Is p a multiple of 24?
False
Does 7 divide 1*1733*44/66*3/2?
False
Suppose 0 = 5*y + 8 + 2. Does 28 divide 274 - (y - (8 + -4))?
True
Let w = -471 - -322. Let y = 634 + w. Is 9 a factor of y?
False
Suppose -3020 = -4*s + 4*p + 1736, 3*p + 3 = 0. Suppose -6*o - 3*o = -s. Let u = o - 101. Is 4 a factor of u?
False
Let q(y) = y**2 - 6. Suppose 4*z = -3*d + 2*z - 17, d + 3*z + 15 = 0. Let k be q(d). Suppose -5*b + 255 = 3*t + 2*t, 5*t = k*b - 129. Is b a multiple of 16?
True
Let r(k) = 20*k + 50*k - 195 + 126*k + 109*k - 45*k. Is 78 a factor of r(6)?
False
Suppose 2*k - 4*p = -p + 14, -3*k - 17 = 5*p. Let f be (-88)/8*(-80 + k). Suppose 283 = 4*o - f. Does 18 divide o?
True
Let s(k) = k**2 + 13*k + 36. Let y be s(-7). Let c be (-558)/(-5) - y/15. Suppose -7*m = -8*m + c. Is m a multiple of 14?
True
Let i be (-24)/(-60) - 608/(-5). Let j = -90 + i. Is 4 a factor of j?
True
Let w = 38996 - 24936. Does 95 divide w?
True
Let c(x) = 2*x**2 - 136*x + 4137. Is c(118) a multiple of 10?
False
Suppose -3*p - 9 = -n, 5*n + 12 = -3. Is 10 a factor of (-318)/p - (4 + 27/(-6))?
True
Let l be (4 - 1) + (8 - -9). Suppose 0 = -r + 5*x + 6, l = 2*r - x - x. Let o = r + -5. Is 3 a factor of o?
True
Let f(r) = 96*r**3 - 6*r**2 + 31*r - 5. Is f(5) a multiple of 25?
True
Let c(d) be the first derivative of d**4/4 + 8*d**3/3 + 5*d**2 - d + 7. Let k be c(-5). Is 12 a factor of (-140)/(-5)*k/7?
True
Suppose 33*f = 15*f + 3330. Let a = 359 + f. Does 68 divide a?
True
Let w(k) = -k**3 + 45*k**2 + 163 + 3*k**3 - 57 - 80*k - 71. Is 4 a factor of w(-24)?
False
Suppose -q = 4*w - 15029, 57*w - 3*q = 52*w + 18816. Is 44 a factor of w?
False
Let l(g) = g**3 - 25*g**2 - 6*g + 30. Let r be l(25). Let z = r - -133. Does 3 divide z?
False
Let n be ((-3)/9)/(4/(-36)). Suppose -n*a + a = -a. Suppose 3*y - 222 = -a*y. Is 37 a factor of y?
True
Let x(l) = -3*l**3 + 38*l**2 + 2*l + 9. Let n be x(9). Suppose -23*r + n = -17*r. Is 9 a factor of r?
True
Suppose 2*d + 889 = -141. Is 3/((-15)/d) + -3 a multiple of 20?
True
Let l(q) = -2*q**2 + 108*q - 54. Is 14 a factor of l(37)?
True
Suppose -244 = -x - 3*x. Suppose x + 371 = 3*t. Does 6 divide t?
True
Let w(t) = -2*t**3 - t**2 - 4*t - 5. Let g be w(-2). Is (2 - g/(-6))*4/3 a multiple of 6?
True
Does 27 divide (-1)/(-2)*200*(-689)/(-26)?
False
Does 104 divide 39/(351/(-72)) - (-1985 + 1)?
True
Let v(g) = -862*g + 1822. Does 16 divide v(-10)?
False
Let o(g) = 18*g - 33. Let f be o(-7). Let i = f - -312. Is i a multiple of 7?
False
Suppose 5*g - 44*z = -41*z - 24, -z = 3*g + 6. Is ((-734)/(-1))/(g - -5) a multiple of 19?
False
Let f(h) be the second derivative of -h**5/20 + 19*h**4/12 - 8*h**3/3 - 9*h**2 - 124*h. Does 38 divide f(12)?
True
Let g = 4380 - 1468. Is g a multiple of 91?
True
Let g = -403 + 391. Is 13/((-39)/g) + 4 even?
True
Suppose -109*a - 78*a + 3007669 + 204056 = 0. Is 229 a factor of a?
True
Let m = 234 - 30. Suppose -3*v = t - m, -3*v - 2*t + 98 = -106. Let b = v - 50. Is 4 a factor of b?
False
Suppose 6*o - 4*r = o - 2886, -5*o + 5*r = 2885. Let x = o - -660. Is 33 a factor of x?
False
Let t be ((-11)/(44/16))/(1 - 3). Suppose 4*b - 56 = -2*d, -t*d + 5*b - 4*b = -76. Is d a multiple of 12?
True
Suppose -8*a = -31*a + 3128. Suppose 138*c - a*c = 288. Does 16 divide c?
True
Let u(i) = 49*i - 21. Let b be (((-1)/2)/(7/84))/(-1). Let j be u(b). Suppose 0 = 3*a - 3*g - j, -2*a - 6*g = -5*g - 191. Is 26 a factor of a?
False
Suppose 375 = 9*m - 30. Suppose -50*a = -m*a - 945. Is 5 a factor of a?
False
Let s(r) = -r**2 - 4*r + 23. Suppose -2*d - 37 = 5*i, -6 = 3*i + 2*d + 17. Let u be s(i). Suppose u*l = 21 + 1. Does 10 divide l?
False
Let k(v) = 251*v**3 + 3*v**2 - 24*v + 17. Is k(2) a multiple of 9?
True
Let q(w) = w**2 - 7*w + 4. Let t be q(8). Let n be 0/((-2)/4*2) + t. Suppose -13*l = -n*l - 33. Is 3 a factor of l?
True
Suppose b - 2*b = -y + 9, 3 = -3*y. Let k(x) = 24 - 561*x + x**3 + 561*x + 11*x**2. Does 14 divide k(b)?
False
Suppose 4*r = 3*m + 3824, 0 = -5*r - m + 453 + 4308. Let n = r + -562. Does 21 divide n?
False
Let n = 1488 + -2507. Let q = n + 1565. Is q a multiple of 42?
True
Suppose 3*r - 1 = 4*r. Let z be (0 - -1)*(15/3 + r). Is (2 - (-88)/4)*(z - 2) a multiple of 16?
True
Suppose 3*x = -z + 36637 + 50069, 5*x = -4*z + 144524. Is 17 a factor of x?
True
Suppose 3*x - 2769 = -2*q - 0*q, 2*x - 6 = 0. Is 46 a factor of q?
True
Let u(b) = b + 57. Suppose 3 = 7*k - 4*k - 3*f, -2*f = -3*k + 2. Is u(k) a multiple of 5?
False
Let z = -539 - -550. Suppose z*h - 5*h = 1698. Does 83 divide h?
False
Suppose 3*v + 107098 = 25*v - 138686. Is v a multiple of 57?
True
Suppose 16*z = 19*z - 12. Suppose -3*t + 207 = -z*o, o = 5*o. Does 5 divide t?
False
Let l = -312 + 320. Does 4 divide l?
True
Suppose 54 = 825*h - 816*h. Suppose -2*r - 4*o = -h, -10*r + 9 = -7*r - 2*o. Does 3 divide r?
True
Let n(j) = 35*j**3 + 2*j - 1. Let b(m) = -m**3 + 10*m**2 + 23*m + 13. Let a = -31 - -43. Let u be b(a). Is n(u) a multiple of 12?
True
Suppose -3025 - 3091 = -2*w. Suppose w = 30*a - 1982. Is a a multiple of 25?
False
Suppose 0 = 5*p + 82 + 23. Let s be ((-119)/p + -6)/(2/(-18)). Let c(t) = 15*t + 5. Is 12 a factor of c(s)?
False
Does 187 divide ((-30)/6)/((-2)/5908) + 1 + 2?
True
Does 23 divide ((3/18)/((-87)/3393))/(1/(-736))?
True
Suppose -i = -d - 74773, 48*i - 53*i + 4*d = -373858. Is 151 a factor of i?
False
Let a = 45 - 236. Let u = a - -346. Suppose -6*z - u + 515 = 0. Is 4 a factor of z?
True
Let n be 10088/(-182) + ((-10)/(-7) - 2). Let y = -37 + 109. Let v = n + y. Is v a multiple of 8?
True
Suppose -5*q + 23118 = 8*h, -4*q = 4*h - 10207 - 8285. Is 26 a factor of q?
False
Let l(t) = 156*t - 12. Suppose 9*v - 21*v = -12. Does 16 divide l(v)?
True
Suppose 0 = 2*y - 3*r - 8 - 9, 2*y - 2 = -2*r. Suppose -6*j + 192 = -y*j. Suppose 2*f - j = 4*q - 2*q, -3*q = -4*f + 196. Is 6 a factor of f?
False
Let c(j) = -j**3 + 13*j**2 - 10*j - 96. Let h be c(12). Let d = h + 701. Is d a multiple of 54?
False
Let u be 7 + (-6 - -5)*5. Suppose -5*c = -2*o + 966, 3*o + u*c + 271 = 1682. Is o a multiple of 11?
True
Let g(t) = 4*t**2 + 10*t - 288. Is g(12) a multiple of 51?
True
Suppose 6*w = -5*o + 12862, 16*w = 21*w - 3*o - 10704. Is w a multiple of 35?
False
Let o = 37 + -34. Let j be 0 + 15/(-9)*o. Let y(t) = -52*t - 32. Is y(j) a multiple of 17?
False
Suppose 2*c + 3*c = r - 13, -93 = -5*r - 3*c. Suppose -13*i + r*i = 20. Suppose 0 = 4*b - i*o - 876, 2*b - o - 436 = -0*o. Does 45 divide b?
False
Is (5488/32)/(4 - (-39)/(-10)) a multiple of 69?
False
Let n = 87 - 81. Suppose 4*p = -n*p + 120. Suppose 11*t + 4 = p*t. Is t even?
True
Let w(j) = 2*j**3 - 54*j**2 - 9*j + 250. Let a be w(27). Let g = 8 + -5. Suppose 0 = -g*q - a + 37. Does 5 divide q?
True
Let k = 41 - 37. Suppose 314 = -5*v + w, -185 = -2*v + 5*v - k*w. Let c = -18 - v. Is 5 a factor of c?
True
Let j(k) = 20*k + 222. Is j(15) a multiple of 9?
True
Suppose -5*f + 5*x - x - 31 = 0, -x = 4*f + 29. Let m(c) = c**2 + 14*c + 88. Does 11 divide m(f)?
False
Suppose -5*q = -77*g + 75*g - 7704, -2*q + 3*g + 3075 = 0. Is q a multiple of 36?
False
Is 55 a factor of 252/18 - 21 - (1 + -6003)?
True
Is 37 a factor of 11496/(-2)*(-40)/120?
False
Suppose -75023 = -633*o + 311*o + 309*o. Does 2 divide o?
False
Let q = -3783 - -5958. Does 15 divide q?
True
Is ((-63)/(-42))/(3/6616) a multiple of 11?
False
Let n = 41472 + -23935. Is n a multiple of 6?
False
Let s = -57 + 129. Let j = s + -67. Suppose 3*m - 368 = -i - 22, -4*i + 572 = j*m. Is m a multiple of 30?
False
Suppose -4*s + 5*u + 22345 = 0, 102*u - 99*u = -2*s + 11167. Does 62 divide s?
False
Let f(u) = u**3 - 12*u**2 + 13*u - 23. Let a be f(11). Let q be (-11)/a