(p) = -193*p - 64*p + 583*p - 23. Is 64 a factor of u(2)?
False
Is 44/(165/(-15)) + 3664 a multiple of 11?
False
Let a(f) = -93*f**2 + 64*f - 88. Let o(k) = -31*k**2 + 22*k - 29. Let z(l) = -4*a(l) + 11*o(l). Is 9 a factor of z(3)?
True
Let p(k) = 29*k**2 - 75*k - 837. Is p(-10) a multiple of 42?
False
Let r = -19 + 10. Let o = r - -201. Suppose b + o = 4*d, 4*b = 2*d - 0*b - 110. Does 6 divide d?
False
Let l(y) = -9*y + 6 + 9 - 66 + 27*y**2 - 8*y. Is 81 a factor of l(-3)?
True
Let u(m) = -11*m + 268. Let c be u(-32). Let l be (-4 - (0 - 2))*-46. Suppose -c + l = -8*w. Is 33 a factor of w?
True
Let x(l) = l**2 - 19*l + 38. Let v be x(17). Suppose -23*u + v = -22*u. Suppose 1 = 2*k - 3, u*p - 2*k = 336. Does 44 divide p?
False
Suppose 0 = -14*k + 1030 + 146. Suppose k*g + 10650 = 114*g. Is g a multiple of 23?
False
Suppose 4*c - 1180 = 2*z, 1 = -z + 5. Let i = -165 + c. Is i a multiple of 3?
True
Suppose -5*u + 3 = -107. Let z(a) = -a**2 + 9*a - 16. Let q be z(12). Let p = u - q. Is p a multiple of 13?
False
Let o(x) = -x**3 + 32*x**2 - 87*x - 3. Let r be o(29). Let g(b) = -27*b**3 + b**2 + 2*b + 22. Is g(r) a multiple of 58?
True
Suppose -22*q = -38*q + 109728. Is q a multiple of 35?
False
Let i be -10 - -11 - (-1 - -63). Let c = -180 - i. Let g = 229 + c. Is g a multiple of 10?
True
Suppose -114*d + 89*d = -24450. Is d a multiple of 119?
False
Let z be -3 - (-6 + 5) - 93/(-3). Suppose -z*f - 3120 = -32*f. Is 23 a factor of f?
False
Let z = -133 + -20. Let u = 378 + z. Is u a multiple of 15?
True
Suppose 0 = -4*y - g + 3342, 5*y + 5*g = 3871 + 314. Is 9 a factor of y?
False
Let x = -557 - -557. Suppose 3*w - 4*v - 1782 - 359 = 0, w - v - 714 = x. Is w a multiple of 18?
False
Suppose -12*b + 6055 + 2957 = 0. Let o = b + -383. Suppose -x = x - o. Is x a multiple of 23?
True
Let n(t) = 43*t**3 + 802*t**2 + 4*t + 29. Is 16 a factor of n(-17)?
True
Does 87 divide 31/(1240/60) + 49935/2?
True
Does 27 divide -1872*(319/44 + -8)?
True
Let g = 13250 + -6037. Does 21 divide g?
False
Let q = -705 - -586. Is 7 a factor of q/51*(0 - 24)?
True
Suppose 32384 = g - 2*z, 3*z - 4*z = -3*g + 97117. Does 83 divide g?
True
Suppose -4*p = 16, -5*p + 6*p = -4*s + 520. Let h = 58 + s. Is h a multiple of 21?
True
Let n = -257 + 287. Is (-1 - 33)*(-15)/n a multiple of 10?
False
Let d(v) be the third derivative of -11*v**4/3 - v**3/3 + 19*v**2. Let p be d(-1). Let y = -69 + p. Does 2 divide y?
False
Suppose 57*i + 77900 = 7*i. Let p = i - -2571. Is 47 a factor of p?
False
Let d(f) = 371*f**3 + 2*f**2 - 3*f + 2. Is 5 a factor of d(1)?
False
Suppose -8*r + 7*r + 23 = 0. Let s(n) = -n + 50. Is 8 a factor of s(r)?
False
Let z(s) = 20*s - 205. Let k be z(11). Suppose 482 + k = d. Does 16 divide d?
False
Let g = -338 - -347. Is 8 a factor of (21636/20)/g - (-1)/(-5)?
True
Let k(w) be the third derivative of w**5/60 - 3*w**4/8 + 62*w**3/3 - 79*w**2. Is k(33) a multiple of 32?
False
Let h(r) = 128*r**2 + 158*r - 2537. Is h(23) a multiple of 88?
False
Let b = 7230 - 6684. Is 5 a factor of b?
False
Let c be ((-45)/10)/(6/(-4) + 1). Suppose z + 247 = -5*y, -4*y - 3*z = -c*y - 239. Let i = y + 103. Is 6 a factor of i?
True
Let t(w) = 16*w - 57. Suppose 20*i + 12 = 152. Is t(i) a multiple of 55?
True
Let a(c) = -c**3 + 6*c**2 + 3*c - 3. Let r be a(6). Let i be (-446)/(-6) + 10/r - 0. Suppose -5*s = 10 - i. Is s a multiple of 3?
False
Suppose 128*v + 213 = -54*v + 8221. Is 4 a factor of v?
True
Let g = 78 + -71. Suppose -189 = -2*b - 5*q, -5*q - 321 = -g*b + 4*b. Does 62 divide b?
False
Let k(t) = 10*t**2 + 5*t - 48. Let m = 252 + -260. Is k(m) a multiple of 24?
True
Is 12 a factor of ((4 - 12)*(35 + -8))/((-2)/127)?
True
Let h(f) = 3*f - 67. Let a be h(23). Let b(u) = 73 - 23 - 23 - u**3 + 5*u - 3*u**a - 26. Is 9 a factor of b(-7)?
True
Suppose 291*k + 469422 = 1206236 + 1251880. Is 2 a factor of k?
True
Suppose -27 = 8*c + 13. Let f(j) = -j**2 - 8*j - 17. Let z be f(c). Let q(o) = 27*o**2 - 2*o - 7. Does 23 divide q(z)?
False
Let f = -3057 + 7083. Does 11 divide f?
True
Let s = -402 + 704. Suppose 4*z - 20 = 0, 0 = -3*u - 3*z + 205 + s. Is u a multiple of 5?
False
Let w(p) = p**3 + 3*p**2 + 3*p + 9. Let y be w(-3). Suppose 0 = 5*j, y = -5*c + 7*c - j - 566. Is c a multiple of 39?
False
Let i be (-6 - (-3 - 1))*-2. Suppose 0 = 5*g + z + 21, -5*g - 8 = -2*g - i*z. Does 4 divide (19/g - -3)/((-2)/8)?
False
Suppose -5*w - n = -494, 2*w + w - 5*n = 274. Suppose 3*b = -3*s + 5*s + 58, 5*b - w = 2*s. Is 15 a factor of b?
False
Let g = 13 - 10. Suppose g*c = 3 + 6. Suppose 0 = c*s + 15, -2*u + 102 = -5*s - 117. Is u a multiple of 10?
False
Let o be 536/12 + 3 + (-66)/18. Suppose -924 = o*d - 51*d. Is 6 a factor of d?
True
Let t = -19 + 19. Suppose 3*d - 11 + 5 = t. Suppose -4*o = 4*x - 60, -5*o - 2*x + 70 = d*x. Does 5 divide o?
True
Let u = -7433 - -7879. Is u a multiple of 82?
False
Suppose -5*m + 2*m = m - 8276. Is m even?
False
Suppose -521*g = -524*g - 1071. Let u = 804 + g. Is u a multiple of 14?
False
Let g(v) = 315*v - 140. Is 35 a factor of g(12)?
True
Suppose -c - 793 = -8*i + 4*i, 3*i = 4*c + 598. Suppose i = 2*f + 76. Is f a multiple of 4?
False
Suppose 0 = -74*l + 42*l + 110080. Let h = -2336 + l. Is h a multiple of 12?
True
Let d(g) = -8*g. Let q(j) = -21*j - 173. Let t(p) = -3*d(p) - q(p). Does 70 divide t(12)?
False
Suppose 11*y - 1080 = 9*y. Suppose 0 = 2*f + 4*p - y, 2*f + 3*p - 540 = -0*f. Let l = f - 181. Is l a multiple of 13?
False
Suppose 4*p = 17*b - 19*b + 12274, -4*b + 2*p = -24538. Does 50 divide b?
False
Suppose 13*i - 5*i - 3456 = 0. Let b = i - 285. Does 7 divide b?
True
Let d be (4 + -11)*(-132)/42. Suppose 0 = d*w - 21*w. Suppose w = -3*j + 619 + 161. Is 52 a factor of j?
True
Is (20/(-12))/(245/90 + -3) - -584 a multiple of 4?
False
Suppose 0 = -3*k + 2*k - 5*n + 8828, 0 = 5*n - 5. Is 17 a factor of k?
True
Suppose 0 = n + 4*p - 3*p + 9, -3*p + 3 = 0. Let x be 184/n - (3/5 - 1). Is (x/(-3))/((-15)/9 - -2) a multiple of 8?
False
Suppose 0 = -21*n + 11698 + 12557. Does 11 divide n?
True
Suppose -5*l + 3*p + 32 + 6 = 0, 5*l - 70 = -5*p. Let y be l/6*(1 + 2). Suppose -y*a + 3*a + 5*w + 84 = 0, -2*a = 3*w - 68. Does 21 divide a?
False
Let c = -15 - -52. Suppose 8*p - c - 371 = 0. Is p a multiple of 12?
False
Let w be (4 + (-4 - -2))/((-3)/9). Let c be ((-120)/8)/(2/w). Is 22 a factor of 12/c*579 + 6/(-15)?
True
Let i(j) = 237*j**2 + 877*j - 5244. Is i(6) a multiple of 10?
True
Let m = -7304 + 10009. Is m a multiple of 5?
True
Let b(m) = m**3 + 19*m**2 + 16*m - 39. Let i be b(-18). Let r = 11 + i. Is r a multiple of 8?
True
Let n(g) = -g**3 + 7*g**2 + 2. Let b be n(7). Suppose 5*k - 184 = -t, b*k - 76 = -2*t + t. Suppose 2*d - 3*x + 22 - 82 = 0, 3*x = d - k. Does 18 divide d?
False
Let d be 15 - (-3)/(-6)*-2. Suppose -6*a = 10 - d. Is 8/(8/159) - 3/a a multiple of 15?
False
Suppose -1746 = -4*r + 2*i, 0*r + 5*r - 2155 = -3*i. Let s = r - -459. Does 18 divide s?
False
Let i = 239 - 238. Is 25 a factor of (-6732)/(-216) - (1/6)/i?
False
Suppose 0*t - t + w + 7 = 0, -11 = -3*t - 2*w. Let f be 11 + ((-100)/(-4))/t. Does 9 divide (-1608)/(-20) + f/(-40)?
False
Suppose -67*g = -225*g + 299252. Is g a multiple of 78?
False
Suppose -64 = 3*j + p, -4*j + p - 112 = j. Let k = j + 18. Is 10 a factor of ((-21 - k) + 6/(-2))/(-1)?
True
Let q(b) = -b**3 - 12*b**2 + 352*b - 51. Is 81 a factor of q(-30)?
True
Suppose 0 = m + 2*b - 584, -2*m + 2*b + 971 + 197 = 0. Let k = 14082 - 14078. Suppose -k*a + 431 = -a + 4*r, 0 = -4*a + 4*r + m. Is a a multiple of 24?
False
Suppose -7*g + 8 = -27. Suppose 987 = 3*w - g*r + 2*r, 657 = 2*w - 3*r. Is w a multiple of 30?
True
Let m be (-7)/(-21) + 2/(-6). Suppose m = -3*o - 6*o. Suppose 5*j + 11*f - 35 = 6*f, j + 3*f - 1 = o. Is j a multiple of 4?
False
Suppose 6*v - 215 = 31. Let x = 42 - v. Is 10 a factor of (-16*1 + x)*(-8)/3?
True
Let w = 11288 + -8826. Is w a multiple of 14?
False
Let n be (-1)/(-2 - -1) + -2. Let g(l) be the first derivative of -21*l**4/4 - 2*l**3/3 + l - 38. Is g(n) a multiple of 4?
True
Let j(l) = -2623*l - 3176. Is j(-2) a multiple of 8?
False
Suppose -5*i = -2*q - 8*i + 61, 0 = -2*q + 5*i + 21. Suppose 2265 = q*x - 18*x. Let g = x - 274. Is 32 a factor of g?
False
Suppose 2*c - 5*r = 16244, -27327 + 3007 = -3*c