6*a**2. Is 14 a factor of i(6)?
True
Suppose -24*w + 817528 = 133381 - 437757. Is w a multiple of 14?
True
Let n(x) = 375*x - 3. Let g be n(1). Let q = -240 + g. Does 29 divide (-1)/(3/9) + 1*q?
False
Suppose -3728597 = -212*f + 4435311. Is f a multiple of 68?
False
Let h be 19 + 1 + (0 - 2). Suppose 0 = 6*s + 12 + h. Is 20 a factor of ((0 - -5)/s)/((-1)/137)?
False
Let a = -5528 - -7820. Suppose 39*m + a = 51*m. Is 3 a factor of m?
False
Let j be -3 + (3 - 0) - 63/3. Let k = 264 + j. Let s = k + -166. Is s a multiple of 7?
True
Suppose 0 = -9*c + 8*c + 3*j + 38312, 0 = 2*c + 4*j - 76614. Does 103 divide c?
False
Suppose 5*b + 2*a - 2323 = 7035, -2*b + a = -3745. Suppose -5*r + r + b = 0. Suppose 0*h + 117 = h + 2*s, -4*s - r = -4*h. Does 13 divide h?
True
Suppose 7*d + 15 = 8*d. Let q(t) = t**3 - 12*t**2 - 4*t - 51. Does 12 divide q(d)?
True
Suppose 31*c + 72 = 43*c. Suppose c*p - 3*p = 3057. Is p a multiple of 14?
False
Suppose -8*s + 152 + 56 = 0. Suppose -13 = -2*j + 3*h + 11, 0 = 5*j + h - s. Suppose -2*w - 145 = -5*z, -3*z + 2*z + 5*w + j = 0. Does 8 divide z?
False
Let c(u) = -250*u + 3944. Is c(6) a multiple of 47?
True
Suppose 0 = 4*b + 4*w - 52, 14*b - 4*w - 29 = 9*b. Is (272 + 2)/(b/45) a multiple of 41?
False
Let j(s) be the third derivative of -3*s**4/8 - 2*s**3/3 + 12*s**2. Let b be j(-1). Suppose 4*v - 164 = -q, 3*q - 210 + b = -5*v. Does 21 divide v?
False
Let a = 17121 - 6248. Is 4 a factor of a?
False
Let d = -113096 + 173485. Does 29 divide d?
False
Let h = -154 - -139. Is 6/h + (-39536)/(-40) a multiple of 13?
True
Let u(h) be the first derivative of -25/2*h**2 - 4 + 49*h + 1/3*h**3. Is u(23) a multiple of 3?
True
Let r = 172 + -169. Suppose j - 40 = -j. Suppose -r*z = -107 + j. Is 3 a factor of z?
False
Is 3 + (-4 - -4) + (5 - -23334) a multiple of 197?
False
Let o = -54 + -338. Let g = -185 - o. Does 9 divide g?
True
Let k(q) = -q**3 + 9*q**2 + 8*q + 8. Let o be k(10). Suppose -h + 2*w = 2, -3*h - 2*w - 44 = -22. Is o/2*(20/h + -4) a multiple of 11?
True
Let v(a) = -2*a**2 - 5*a. Let c be v(5). Suppose 25*k - 432 = 37*k. Let o = k - c. Is 6 a factor of o?
False
Suppose -h - 4*l - 41 = l, 2*l = 3*h + 38. Let r be (-18)/(-4)*h/(-6). Does 19 divide 10/(-6) + 2 - (-2744)/r?
False
Let v(f) = 2*f**3 + 25*f**2 - 3*f - 6. Let r be v(-12). Suppose -9*c = r - 2280. Does 13 divide c?
True
Let y(z) = 2*z**3 + 37*z**2 + 11*z - 32. Let r be y(-18). Suppose 3*x + 5*l - r = 0, -3*x - 2*l + 47 + 50 = 0. Does 24 divide x?
False
Let d = -1375 + 8345. Is d a multiple of 9?
False
Let d = -868 + 852. Let o be 15/(-10) + (-5)/(-2). Is 56 a factor of (-16)/o*292/d?
False
Suppose 501549 = 43*n - 556844 + 387163. Is n a multiple of 7?
True
Suppose -43235 = -31*n + 17432. Is 22 a factor of n?
False
Let c = -1113 + 773. Let d = c - -352. Is d a multiple of 12?
True
Let t(i) = -6*i**2 - 12*i - 30. Let o be t(-3). Is 24 a factor of (o/80)/((-1)/255)?
False
Suppose 68 = -79*l + 80*l. Suppose -3*z + l + 184 = 0. Does 28 divide z?
True
Let s = -1796 + 4970. Does 69 divide s?
True
Let j = -17 + 30. Let a(m) = m**3 - 14*m**2 + 12*m + 12. Let c be a(j). Is 13 a factor of 2 - c - (-16*3 + -1)?
True
Suppose 5*n = -11*v + 6*v + 10, -11 = -3*n + 2*v. Let j = 12 - 10. Is j - ((-1235)/20 - n/12) a multiple of 8?
True
Let k = -7227 + 10562. Does 29 divide k?
True
Suppose -86 = 2*y + 28. Let n be 12/9*(-99)/(-12). Is (-1 - y) + -11 + n a multiple of 19?
False
Suppose 17*d - 22676 = 30704. Does 48 divide d?
False
Let x(b) = b**2 + 13*b + 14. Suppose -10*y + 3*y = 168. Let w = -36 - y. Is x(w) even?
True
Let z(k) = -2*k**3 + 22 + 6*k**2 + 38 + 4*k**3 + k - 62 - k**3. Let g be -3*(0 - 1/(-1)). Does 11 divide z(g)?
True
Let f = 41 + -58. Let r be 53/(-3)*f/((-102)/(-108)). Suppose -r - 258 = -8*x. Is 19 a factor of x?
False
Let f(b) = -155*b + 16. Let n be f(-2). Suppose -n - 206 = -4*o. Is 19 a factor of o?
True
Let m = -29709 + 49731. Does 142 divide m?
True
Let a(k) = k**3 - 22*k**2 - 19*k - 3. Let r = 26 - 33. Let p(i) = -i**3 + 23*i**2 + 19*i + 2. Let u(s) = r*a(s) - 6*p(s). Does 17 divide u(17)?
False
Suppose -5*p = 5*x - 865, -3*p - 1097 = -5*x - 256. Is x a multiple of 9?
False
Let y be (-4275)/325 - 2/(-13). Let s(o) = o**3 + 15*o**2 - 11*o - 4. Is s(y) a multiple of 13?
False
Suppose -5*r = -m + 4*m - 165664, 0 = -r + 4*m + 33119. Is 27 a factor of r?
False
Let m(c) = -5*c - 38. Let z be m(-10). Suppose -z*r + 1932 = 2*r. Is 6 a factor of r?
True
Let x(o) = -o**2 - 23*o + 275. Let g be x(0). Suppose -g = -9*z + 571. Is z even?
True
Let h be (11 + -4 - 7)*(2 + -1). Let c(t) = -t**2 + 389. Is 38 a factor of c(h)?
False
Let p = -308 + 591. Suppose 7*l - p = 39. Is 4 a factor of l?
False
Let x = -197 + 355. Let f be 62*(-8 + 9)*-1. Let t = x + f. Is t a multiple of 16?
True
Let k(n) = n**3 - 4*n**2 - 1. Let g be k(4). Let u be 0 + (g - -2) - 4. Is 36 a factor of 181 + (-3)/u*-1?
True
Let h(r) = 2*r**3 + r**2 + r - 2. Let q be h(1). Let d be 6/(-4)*32/(-12). Suppose 4*u + q*w = 80, -d*u - u + 3*w = -100. Does 9 divide u?
False
Suppose -28*v = 34*v - 223634. Is v a multiple of 35?
False
Let a = 9361 + -4725. Is a a multiple of 122?
True
Suppose 0 = 5*b - 6 - 574. Suppose -2*d = -s - 232, -3*s + b = 3*d - 214. Suppose -u = -114 - d. Does 18 divide u?
False
Let w(u) = 2*u**2 - 46*u + 21. Let o be w(23). Suppose 0 = -22*k + o*k + 283. Is k a multiple of 9?
False
Suppose 0 = -15*j + 6891 - 1911. Suppose -j*k = -330*k - 482. Is 23 a factor of k?
False
Let m(v) = -v**2 - 21*v + 7. Let c be m(-10). Suppose -c*t - 209 = -118*t. Is 19 a factor of t?
True
Does 69 divide 3/5 + (-32785)/(-25) + -1?
True
Let l be 4/28 - ((-1304)/(-14) + 2). Let c = 80 - l. Is 15 a factor of c?
False
Let w(b) = 23*b**2 + 7. Let f = 101 + -97. Is w(f) a multiple of 15?
True
Let o = 14431 - 12527. Is o a multiple of 19?
False
Let z(b) = -b**2 - 26*b - 25. Suppose 0 = 8*i - 4*i + 100. Let x be z(i). Suppose -5*q + 513 - 8 = x. Is q a multiple of 18?
False
Is 89 + (-1)/(4/16) a multiple of 42?
False
Let i(x) = 2*x**2 - 177*x - 2097. Does 18 divide i(129)?
True
Suppose -6148 = -12*s + 3512. Is 35 a factor of s?
True
Suppose 0 = -6*l + 4*l - 144. Let q = l - -68. Is q - (6 + -2 + -92) a multiple of 14?
True
Let o = 14715 + 5150. Does 145 divide o?
True
Let i(k) = k**2 + 6*k - 13. Let h(n) = -n**3 - 6*n**2 - 7. Let d be h(-6). Let y be i(d). Let r(s) = s**2 + s - 2. Does 24 divide r(y)?
False
Let k = 17535 + -14327. Does 44 divide k?
False
Suppose 14*z + 9953 = -7*z + 30533. Is 49 a factor of z?
True
Let d(b) = -2*b**3 - 8*b**2 + 302*b + 10. Is d(-20) a multiple of 36?
False
Let n = 163 - 114. Suppose 16 = -4*g, -5*g + n = -9*w + 10*w. Does 5 divide w?
False
Let a be (4 - 11/2)*-2. Suppose o - 2*v = 3*o + 2, -a*o + 1 = 2*v. Suppose -o*z = -0*f + 4*f - 45, -4*f - 88 = -4*z. Is 4 a factor of z?
False
Let g(z) be the third derivative of z**5/10 + 22*z**3/3 - 79*z**2. Is g(0) a multiple of 2?
True
Let x(o) = -3*o + 33. Let v = 57 + -43. Let z be x(v). Is (84 + 0)/(z*(-4)/48) a multiple of 16?
True
Let q = -7365 - -15754. Does 12 divide q?
False
Suppose -547524 + 1853444 = 28*g. Is g a multiple of 40?
True
Does 60 divide 1/(35/14*1/3605)?
False
Let n(s) = -2*s**3 + 8*s**2 + 3*s + 43. Let t be n(8). Let x = 836 + t. Does 9 divide x?
False
Suppose -15*m + 10451 - 2171 = 0. Is 8 a factor of m?
True
Suppose 275 + 677 = -4*u - 4*w, -479 = 2*u + 3*w. Suppose 0 = -2*b + 7*b - 1670. Let m = b + u. Is m a multiple of 9?
True
Let o(p) = p**3 + 2*p**2 - 36*p + 12. Does 12 divide o(10)?
True
Suppose 3*t = 5*o + 119740, 0 = 3*t - 7*o + 9*o - 119684. Is t a multiple of 114?
True
Suppose -63*v = -13*v - 21*v - 90915. Is 14 a factor of v?
False
Suppose -31*q + 155657 = -12301. Is 129 a factor of q?
True
Suppose -3*d + 2*o = -25202, 6*d - 22*d + o = -134401. Does 28 divide d?
True
Let m = -86 + 128. Suppose 2*k + 216 = 5*k + 3*q, -5*q - m = -k. Let v = 117 - k. Is v a multiple of 25?
True
Suppose -77*b + 72*b = -9795. Suppose -654 + b = 5*j. Is 20 a factor of j?
False
Does 9 divide 1791 - 1 - 8 - (2 + 5)?
False
Let i = 5163 - 1651. Is 17 a factor of i?
False
Does 24 divide 4261/((-1 + -2)/(6/(-17)) - 8)?
False
Is 32 a factor of (-5)/30 + 865320/144?
False
Suppose 4*z = -4*q - 18 - 10, 4*z = q + 7. Let i(f) = f**2 - 6*f