 - 2*h(u). Is a(11) a multiple of 22?
True
Let r = 488 - -7212. Is r a multiple of 25?
True
Let r be (-6936)/15 + 16/(-10) + 2. Is 26 a factor of (-6 - -5) + r/(0 + -1)?
False
Let m(o) = o**2 - 9*o - 15. Let q be m(13). Suppose q*n = 35*n + 6. Suppose -n*y = 8*p - 4*p - 67, 0 = -y - 4*p + 17. Is y a multiple of 5?
True
Suppose -5*o = -61 - 244. Let u = o - -75. Let v = u + -119. Is 14 a factor of v?
False
Let z(g) = -g - 3. Suppose x - 4*p = -2*p, 5*p = 2*x + 2. Suppose 13*v - x*v + 153 = 0. Does 4 divide z(v)?
False
Suppose 3*q + q - 56 = 0. Suppose -q*y - 3*y = -918. Is y a multiple of 34?
False
Let h(y) = -32*y + 27. Let n = 53 + -62. Is h(n) a multiple of 63?
True
Is (-756)/216 - 89750/(-4) a multiple of 45?
False
Let h(b) = -b**2 - 12*b - 12. Let u be (-30)/9*(-120)/(-50). Let k be h(u). Suppose -k*y + 4*y + 4560 = 0. Does 57 divide y?
True
Let x(u) = -36*u**3 - 2*u**2 - 2*u - 1. Suppose -5*q + 2*v - 5 = 0, 0*q + 1 = -q - v. Is x(q) a multiple of 25?
False
Let w = -278 - -2735. Does 21 divide w?
True
Let b(r) be the first derivative of -3*r**2 + 41*r - 17. Is 13 a factor of b(-20)?
False
Suppose -54*o + 50*o = -16. Suppose -4*i = 16, 27*n - 22*n = -o*i + 424. Does 44 divide n?
True
Suppose -26*v + 31*v = 35. Let k = 22 + -14. Suppose k*c - v*c - 52 = 0. Is c a multiple of 13?
True
Let t(d) = 4*d**3 + 4*d. Suppose 3*a + x = 15, 5*x - 23 = -4*a + 2*a. Let l be t(a). Let f = l + -172. Is 10 a factor of f?
True
Let c(m) = 2*m**2 - 4*m - 13. Let y be c(14). Let l = y + 145. Is l a multiple of 39?
True
Let p(y) = -2*y**3 + 12*y**2 - 51*y + 14. Let i be p(7). Let r = -47 - i. Is r a multiple of 19?
False
Let f(b) = -10*b**3 - 8*b**2 - 12*b + 10. Is 10 a factor of f(-3)?
False
Let j(y) = 14*y**2 - 19*y + 136. Let i(a) = 10*a**2 - 13*a + 91. Let r(c) = 8*i(c) - 5*j(c). Is 8 a factor of r(7)?
False
Suppose 21 = 10*a - 29. Suppose a*t + 3*x - 2709 = 0, -9*t - 4*x = -7*t - 1092. Is 7 a factor of t?
False
Let y = -537 + 574. Suppose 18675 = -12*f + y*f. Does 31 divide f?
False
Let z = -7723 + 12083. Does 40 divide z?
True
Suppose -2*n - 2 = j + n, j + n = 2. Suppose 3*k - 2*i = 11, 5*k = -2*i - 0 + 13. Suppose 0 = -j*x - 4*d + 732, -x = -k*x + 5*d + 373. Is 14 a factor of x?
False
Let d(z) = 6*z**2 + 12*z**3 - 8 + 1 - 11*z**3. Let q be d(4). Let y = 265 - q. Is y a multiple of 14?
True
Let u = -175 - -154. Let x = u + 81. Is 10 a factor of x?
True
Suppose -20*c + 21*c = -s + 11846, c + 4*s - 11849 = 0. Is 45 a factor of c?
False
Suppose 4*d - 8 = 0, 0 = l + 2*d + 202 + 158. Does 10 divide (-7488)/l + (-3)/((-21)/(-4))?
True
Is 90 a factor of (5992/224 - (-3)/(-24)*2)*70?
False
Let l be (-54)/(-5)*(189 + 26). Is (-1)/(-2) + (-10)/((-120)/l) a multiple of 2?
True
Suppose -322*x = -368*x + 761024. Is x a multiple of 11?
True
Suppose -15327*p + 15319*p + 28536 = 0. Is p a multiple of 29?
True
Let o = -14 - -77. Let n = 65 - o. Suppose 5*t - 43 = -4*l, t = n*l - 8 - 3. Is l a multiple of 3?
False
Let t = -89 + 84. Let a(s) be the first derivative of s**4/4 + 7*s**3/3 + 3*s**2/2 - 4*s + 6. Does 10 divide a(t)?
False
Suppose 36 = 3*r + 27. Suppose 3 = 2*i - r. Suppose -810 = -i*l - 2*l. Is l a multiple of 18?
True
Suppose 161 = 3*a + o + 4, 0 = -5*o - 10. Let k = 57 - a. Suppose -f + 101 = 5*x, -k*f + 5*x - 134 = -438. Is 27 a factor of f?
True
Suppose -3*o - 4*z - 3 = 0, 2*o + 1 = o + 4*z. Let d(r) = -r**2 - 2*r + 36. Let f be d(-7). Is (-6 + f)*o + 53 a multiple of 8?
False
Suppose -5*p + 3*v + 1 = -118, 5*v = 10. Suppose -4*i + 18 = -s + 106, 5*i = p. Is s a multiple of 18?
True
Let k = -112 - -115. Let n(d) be the third derivative of d**6/40 - d**5/20 + d**3/3 - 12*d**2. Does 30 divide n(k)?
False
Is 79 a factor of -9 + (-18495)/(-36)*4?
False
Suppose -5*w - 9 = -3*m + 9, -5*m + 5*w + 30 = 0. Let x(r) = 5*r**2 - 22*r + 18. Is x(m) a multiple of 22?
True
Suppose 26*v - 66680 = -v - 13*v. Is 5 a factor of v?
False
Let i(x) = x**3 - 9*x**2 - 6*x + 12. Let l be i(10). Suppose -2*q + 76 = -l. Does 6 divide q?
False
Let w = 118 + -106. Let z = -12 + w. Suppose -4*t + j + 343 = z, t - 4*j = -3*t + 328. Is t a multiple of 23?
False
Let d = 225 - 221. Suppose -o - 381 = -3*r - d*o, 2*o - 380 = -3*r. Is r a multiple of 9?
True
Let a(i) = i**3 + 6*i**2 - i + 3. Let k be a(-6). Let o = -7 + k. Suppose 26 = 3*t + o. Is t a multiple of 2?
True
Suppose -8*d - k + 2655 + 479 = 0, 0 = -5*d - 4*k + 1952. Is 7 a factor of d?
True
Does 23 divide (8 - (-390754)/195) + 2/15?
False
Let c be -3*(-8)/(-10)*80/(-6). Let k(w) = 11*w + 102. Is 46 a factor of k(c)?
False
Suppose 2*s - 56286 = 3*b, -173*s + 176*s = 4*b + 84432. Does 306 divide s?
True
Suppose -289*m = 93*m - 6417600. Is 14 a factor of m?
True
Let y(m) = -5*m. Let j be y(-1). Let f(b) = -127*b**2 - 20*b + 17. Let z(k) = -235*k**2 - 39*k + 34. Let o(r) = 11*f(r) - 6*z(r). Does 20 divide o(j)?
False
Suppose h - 21695 = -37*p + 33*p, -2*p = 5*h - 108601. Does 80 divide h?
False
Let k(v) be the third derivative of 0*v - v**3 + 0 + 10*v**2 + 5/12*v**4 - 3/20*v**5 + 1/120*v**6. Is k(8) a multiple of 10?
True
Let z = 888 + -478. Does 27 divide z?
False
Let z be (-57)/(-6)*(-2100)/(-21). Let h = z - 549. Is 7 a factor of h?
False
Suppose -5*g + 16121 = 2*h, -37*h + 39*h + 13*g = 16113. Is h a multiple of 31?
False
Suppose 4*p + 9 = 3*u, 2*u - 6 = p - 4*p. Let z = 1 + -1. Suppose z = w - 4*f - 2, 2*f = u*w - 8*w + 32. Is w a multiple of 2?
True
Is 47 a factor of ((-9)/((-72)/(-40)))/(-1) - -67534?
True
Suppose -j + 3*j = -2. Let u(x) = 45*x - 1. Let k be u(j). Let n = 115 + k. Is 23 a factor of n?
True
Let m = -259 + 373. Suppose -28 = -m*f + 110*f. Does 7 divide f?
True
Let k(s) = s**3 + 5*s**2 + 4*s + 1. Let t be k(-3). Suppose -t*w = 203 - 1575. Suppose 8*q - w = 4*q. Is 7 a factor of q?
True
Let z = 783 - 786. Does 3 divide (-110)/35 - z - 2059/(-7)?
True
Suppose -184*w + 83536 = 65*w - 138572. Does 11 divide w?
False
Let d = 13195 - 6187. Is 96 a factor of d?
True
Let a = 76 + -75. Let s be -283 + (6 - a)/5. Let w = s - -427. Is 29 a factor of w?
True
Let o(y) = -49*y + 401. Does 20 divide o(-19)?
False
Suppose 0 = 32*p - 3544 - 2248. Is p even?
False
Let m be 163 - 6/(1 + 1). Suppose 3*p + m = -23. Let h = 129 + p. Is 15 a factor of h?
False
Let c be -3*((-10)/(-15) - 1)*-52. Suppose -53 = 4*l - 1. Does 7 divide 419/4 + l/c?
True
Suppose -2*f = 5*k + 244 + 128, -4*f - 722 = -k. Let z be f/(50/80 + (-3)/(-8)). Is 19 a factor of ((-3 + z)/(-2))/1?
False
Let q be (-338)/(-8) + 54/72. Let b = q + -41. Is 9 a factor of (-414)/(-12) - (-1)/b?
False
Suppose 4*b - 728 = 2*s, -3*b = -2*s - 145 - 403. Suppose -4*w = -7*w - b. Is 2 - ((4*w)/4 - 1) a multiple of 11?
False
Let f(c) = 9*c**3 - c**2 + 5*c. Let b(t) = 2*t**3 + t**2 - t. Let x(u) = 5*b(u) - f(u). Does 6 divide x(-5)?
False
Suppose 5*r - 18 = -3*n, 2*n + 8 - 1 = 3*r. Suppose s - r*g = 97 + 98, 3*s = -5*g + 627. Suppose -5*a = -8*a + s. Is 13 a factor of a?
False
Does 3 divide ((-15998256)/(-145))/54 + (-11)/5 + 2?
True
Let o(f) = 2000*f - 2844. Is 46 a factor of o(8)?
True
Suppose -q + 36358 + 14187 = 10*q. Does 118 divide q?
False
Suppose a + 4616 = 5*m, -2*a - 64 + 974 = m. Is 28 a factor of m?
False
Let u = -23 + 35. Let l(o) = -o - 2*o - 6 + u. Does 11 divide l(-22)?
False
Suppose 2*q = 5*z + 7*q - 1285, 5*q + 528 = 2*z. Suppose -z = 3*o + 4*o. Let p = o - -60. Is p a multiple of 5?
False
Suppose 86357 + 255321 = 16*k + 99198. Is 35 a factor of k?
True
Suppose 24396 = 5*z - 2*r, 5*z - 24384 = -0*z - 2*r. Is 18 a factor of z?
True
Is 26 a factor of (12/(-8))/(62381/15598 - (1 + 3))?
False
Suppose -5*k - 2*i + 169 = 2*i, -i - 78 = -2*k. Let b = k + -38. Is 10 a factor of (-20)/(-32)*50*(b - -5)?
False
Let u = 1174 - -8762. Is 19 a factor of u?
False
Suppose 4*l - 5*j = -573 + 3018, 3*j - 9 = 0. Let y = l + -405. Suppose 14*o = 7*o + y. Does 6 divide o?
True
Let o(y) = y**3 - 13*y**2 - 16*y + 35. Let v be o(14). Suppose 4*u - v*u = -6. Suppose -u*a - a = -45. Does 15 divide a?
True
Suppose -9 + 4 = p. Let j(s) = -s**2 + 3*s + 5 - 2*s + 3*s**2. Is j(p) a multiple of 12?
False
Let n(g) = g + 6299. Is 16 a factor of n(-91)?
True
Suppose -5*f - 3*o = -18709, 34*f - 18717 = 29*f + o. Suppose f - 1347 = 4*s. Is 83 a factor of s?
False
Is 42 a factor of 75184/10 - (-6)/(-2