9. Is 11 a factor of f(i)?
False
Suppose 12*u - 3821 - 2911 = 0. Does 11 divide u?
True
Suppose 0 = 912*q - 359*q - 25305280. Is q a multiple of 13?
True
Suppose 0 = -13*c - 12*c - 18*c + 148350. Is c a multiple of 30?
True
Let o(z) = -z**2 + 3*z - 44. Let s be o(0). Let t = 48 + s. Is (6/t)/(4*(-5)/(-120)) even?
False
Is 29 a factor of (-248 + 254)/((-2)/(-6322))?
True
Let t(h) = -h**3 + 18*h**2 + 24*h - 80. Let r be t(14). Suppose 5*p = 3*k + 485 + 822, -4*p + k = -r. Is 7 a factor of p?
True
Let b be (-12)/(-24)*(1 - 1) + 6. Suppose -z - t + b*t + 52 = 0, 3*z = -4*t + 213. Is 17 a factor of z?
False
Is 7849 - -5 - ((0 - 3) + (8 - 4)) a multiple of 63?
False
Suppose 0 = 3467*s - 3481*s + 22792. Is 37 a factor of s?
True
Suppose -3*a - 3 = 0, 2*a + 4 - 12 = -2*w. Does 3 divide ((-27)/(-36))/(w/280)?
True
Let n(s) = s**3 + 20*s**2 + 26*s + 44. Let v be n(-13). Let m = -570 + v. Is 17 a factor of m?
False
Suppose -3*v - 16 = -4*p - 0*p, -p + 4 = v. Suppose -16*x + 17*x - 3 = v. Is 10 a factor of 12/(-18) + 182/x?
True
Suppose -8879 = -3*i - 2*g + 3226, 16144 = 4*i + 4*g. Is 20 a factor of i?
False
Let l(q) = 2*q**2 - 45*q - 21. Let u be l(23). Let f be (u/(-4))/((-23)/7866). Suppose 6*c + f = 9*c. Does 6 divide c?
False
Let d = 64261 + -4053. Is d a multiple of 16?
True
Let p = 310 + 896. Suppose -4*d + d + p = 5*f, f = -5*d + 228. Does 30 divide f?
False
Let a(o) = o**2 + o. Let l(f) = 6*f**2 + 5*f - 4. Let x(h) = 24*a(h) - 3*l(h). Suppose 26*d - 25*d + 4 = 0. Is 12 a factor of x(d)?
True
Let u(b) = 64*b**2 - 5*b - 1. Let r be u(-1). Suppose -y = 0, -4*i + r + 756 = -4*y. Suppose 0 = 4*w - 2*t - i, -2*w - 4*t + 20 + 58 = 0. Does 12 divide w?
False
Let j be (-5)/20*-2*(-4)/(-1). Suppose 520 = 5*y - j*p - 709, 4*p = -4*y + 1000. Is 56 a factor of y?
False
Let b(z) = 3*z - 7. Let i(k) = -k. Let q(t) = -b(t) - 2*i(t). Let s be q(3). Suppose s*r = 21 + 27. Is r even?
True
Suppose 601 + 8869 = 10*a. Suppose 0 = -k + 5*j + a, 5*k + 4*j - 4875 = j. Is k a multiple of 36?
True
Suppose 2067 + 645 = -12*d. Let k = -213 - d. Is 2 a factor of k?
False
Let g(d) = 36*d**3 + 14*d**2 - 91*d - 6. Is g(6) a multiple of 21?
True
Suppose -m - 2*h + 12 = m, 0 = -2*h + 2. Suppose m*q + 33 = -47. Let t = 94 + q. Does 35 divide t?
False
Let d be 8426/3 + (-8)/(-24). Suppose 0 = -3*g + 3*q + 2421, -q = 3*g + 400 - d. Suppose -h = 5*h - g. Does 32 divide h?
False
Is 28 a factor of (-22)/11*(3 - 997)?
True
Suppose -177*b - 267155 = -212*b. Is b a multiple of 17?
True
Let v(u) = 35*u**2 - 10*u**2 + 35*u - 37*u - 3. Let y be v(-2). Suppose 0 = -4*s + 2*l + 82, -3*s + 2*l + y = 2*s. Is s a multiple of 10?
False
Let j = -3501 + 12645. Is j a multiple of 9?
True
Let x = 1671 + 24250. Does 85 divide x?
False
Suppose 3*u = 2*o + 6*u, 5*o - 5*u = 0. Let d be o - -2 - 3 - 1*-47. Suppose -3*x = r + 19 - d, 3*x = 2*r - 54. Is r a multiple of 6?
False
Let m be (-106492)/(-36) - (-6 - 165/(-27)). Suppose -3*a + 4*x + 2946 = -x, x = 3*a - m. Does 36 divide a?
False
Let t(c) be the third derivative of c**5/20 - 9*c**4/8 + 43*c**3/3 + 79*c**2. Is 6 a factor of t(4)?
False
Let q = -492 - -499. Suppose -3*n + z = -45, -q*z + 3*z = 0. Is 15 a factor of n?
True
Let d = -17447 + 29169. Is d a multiple of 13?
False
Suppose 2*y - 45355 = -5*k + 35354, 80697 = 5*k - 4*y. Is k a multiple of 10?
False
Suppose 4*i - 6*i = 5*f + 157, 4*i - 5*f + 329 = 0. Does 41 divide (91/21)/((-1)/i)?
False
Let c(k) = k**3 + 9*k**2 - 6*k - 23. Suppose 4*m + 34 = o, -2*m = 3*o - 7*o + 24. Does 7 divide c(m)?
False
Let r = -531 - -999. Suppose 1 + 4 = z, -s = -5*z - r. Is s a multiple of 69?
False
Let n be 36/12 + (62 - 3). Let c be (10 + 0)*(4 + 0). Let k = n + c. Is 12 a factor of k?
False
Suppose 0 = 3*y - f - 9881, -183 = 3*f - 195. Is 45 a factor of y?
False
Let n(u) = -18*u - 21. Let k(z) = 850*z**2 - 9*z + z - 849*z**2 + 9. Let v be k(5). Is 9 a factor of n(v)?
False
Let f be (-33)/(-21) + (45/(-21))/(-5). Suppose 4*u + 80 = f*q + 5*u, 3*q - 4*u - 142 = 0. Does 7 divide q?
True
Let q(k) = 289*k + 6222. Is 36 a factor of q(78)?
True
Let j(m) = m**2 - 4*m. Let b be j(-3). Suppose 5*p + 69 = 5*f + 3*p, -4*p - b = -f. Does 3 divide f - -1 - (15/(-3) - -2)?
False
Suppose 108*p - 113*p = -180. Let i = p - 36. Suppose 0 = 3*m - i*t - 2*t - 398, 0 = -3*m + 3*t + 399. Does 33 divide m?
True
Let t = 5746 - -2284. Does 5 divide t?
True
Let x(f) = 11*f - 1 + 4*f - 5. Let l(c) = -c**2 - 42*c - 240. Let j be l(-7). Is 23 a factor of x(j)?
True
Suppose -t - 3*b + 10908 = 0, 2*t - 2*b - 12467 = 9325. Is 63 a factor of t?
True
Let i = 4728 - -6227. Is 78 a factor of i?
False
Let n(s) = s**3 + 34*s**2 - 24*s - 31. Is 74 a factor of n(-21)?
False
Let p be -2 + 210/100 + (-177)/(-30). Let v(o) = 9*o**3 + 7*o**2 - 46*o - 5. Is v(p) a multiple of 14?
False
Let x(c) = -8*c + 1 - 11*c**3 + 10*c**3 - 3*c + 4 + 12*c**2. Let h be x(11). Suppose h*n - 440 = -5*l, 0 = l - 6*l + 3*n + 472. Does 19 divide l?
False
Suppose 0 = 2*g + 175 + 55. Let n = g - -129. Is n a multiple of 6?
False
Suppose -34*w + 99699 = -39157. Suppose 3*u + 39*i - w = 35*i, 4*i + 5464 = 4*u. Does 62 divide u?
True
Suppose -5*q = -3*q - 4. Let n be q + -3 + 1 - -5 - 1. Suppose -3*w - 4*o - 12 = -n*w, -24 = -2*w - 5*o. Does 12 divide w?
True
Is 16 a factor of (-2 + -1 + 11)/(55/101200)?
True
Let y(u) = -2 + 6*u - 5 + u**2 + u**2. Let n(v) = 12*v + 138. Let p be n(-12). Is y(p) a multiple of 7?
False
Suppose 4*n + 5*l + 108 = 0, 12 + 8 = 5*l. Is 50 a factor of ((-1572)/(-15))/(n/(-80))?
False
Let u(g) = -20*g + 145. Let v be u(7). Suppose v*z - 508 = 792. Is 10 a factor of z?
True
Suppose -o + 5*w - 7 = 0, 39 = 3*o + 3*w + 2*w. Let b(s) = -10*s + s**3 + 7*s**2 + o + 0*s**2 + 2*s**2. Is 16 a factor of b(-8)?
False
Let z be 172/(-3)*(2 + -17). Suppose 5*s + 5*h - z = 3*h, 0 = 3*s - 4*h - 516. Is s a multiple of 27?
False
Let q be ((-50)/(-15) - 4) + (-4504)/(-6). Does 10 divide ((-54)/15)/((-9)/q)?
True
Let m = -7059 + 11187. Suppose 0 = -34*r - 14*r + m. Is r even?
True
Let h(k) = 2*k**3 - 5*k**2 + 8*k - 2. Let r(x) = 4*x**3 - 11*x**2 + 16*x - 3. Let p(j) = 7*h(j) - 4*r(j). Let v be p(4). Is 20 a factor of 24/v - 372/(-9)?
True
Suppose -75*y + 5*u - 18 = -79*y, 0 = -4*y - 2*u + 12. Let b(z) be the second derivative of 2*z**4/3 - 7*z**3/6 + 13*z**2/2 - 2*z. Is b(y) a multiple of 11?
False
Suppose -21*o + 23*o = 8. Suppose -c - 369 = -o*c. Does 5 divide c?
False
Let w = -25921 + 31447. Is w a multiple of 8?
False
Let v = 2 + 2. Suppose v*b = 4*o + 16, -2*o - o = 4*b - 9. Suppose 878 = 3*s + x + 222, -3*s + b*x = -660. Is 21 a factor of s?
False
Is 1/((-1)/55880)*(-3570)/8925 a multiple of 127?
True
Let s(p) be the second derivative of p**5/10 + p**4/6 + 5*p**3/6 - 19*p**2/2 - 35*p. Is s(5) a multiple of 17?
True
Let y be (7/(-2) - 0)/((-26)/572). Suppose b - y - 590 = 0. Does 7 divide b?
False
Let t be (-6)/3*7/(56/(-564)). Let k = 140 - t. Does 19 divide (-1780)/(-20) - 5/k?
False
Let v(s) = -38*s**3 + 5*s**2 + 22*s + 80. Is v(-6) a multiple of 62?
False
Let k = -525 - -1001. Let l(m) = m**2 + m + 5. Let b be l(0). Suppose k = -b*s + 9*s. Is s a multiple of 10?
False
Suppose -35*i + 182640 + 138150 = -20*i. Does 17 divide i?
True
Suppose -2*m = -p + 8, 2*p - m + 645 = 655. Let b(a) = 3*a + 2*a**2 - 9 - 2*a + 5*a**2. Is 5 a factor of b(p)?
False
Let a(q) = -3*q**2 + 0*q**2 + 607 - 1187 + 602 - 3*q + 6*q**3. Is a(7) a multiple of 26?
False
Suppose 15*i - 8 = 11*i. Suppose -76 = i*q - 162. Is q a multiple of 9?
False
Let n(z) = 46*z + 7625. Is 39 a factor of n(-131)?
True
Suppose -q + 2*s + 2*s = 6, -10 = -4*q - s. Let t(a) = -a**2 + 4*a + 2. Let d(h) = -2*h**2 + 5*h + 1. Let z(o) = -2*d(o) + 3*t(o). Is z(q) a multiple of 4?
True
Let a(i) be the third derivative of i**6/120 - i**4/2 + i**3/6 + 4*i**2. Let y = 454 + -449. Is 8 a factor of a(y)?
False
Let g be (-2)/(3/(12/8)) + 28. Suppose 0 = 35*w - g*w - 120. Is w a multiple of 4?
False
Suppose 0 = 3*b - 167 - 58. Let d = b - -13. Is d a multiple of 44?
True
Let j be (0 - 2)/(8/(-20)). Suppose -10 = s - 6, -t + 2*s = -11. Suppose -x = t, -j*x = -3*i + 8 + 91. Is i a multiple of 8?
False
Let w(t) = 4*t - 24. Suppose 48 = 37*z - 34*z. Let h be w(z). Suppose -28*o + h = -23*o. Does 8 divide o?
True
Let c(y) = 2*y - 30. 