2. Is i a multiple of 11?
True
Suppose -4114*f + q = -4110*f - 57890, 0 = 5*f + 3*q - 72354. Does 6 divide f?
True
Is (6478/6)/(12/(-720)*-20) a multiple of 41?
True
Let n(i) = 1. Let t(y) = -3*y + 25. Let m(a) = 6*n(a) - t(a). Let u be m(6). Let q(r) = -16*r - 4. Does 3 divide q(u)?
True
Suppose -6*y + 110 = -40. Is 2095/y - 3/(-15) a multiple of 30?
False
Does 4 divide (3/(-4))/(((-1908)/(-334608))/(-53))?
False
Suppose -3*c = -3*f + 2*f + 2, -14 = -2*f - 4*c. Suppose 4*x - f*s - 654 = -197, -3*s - 231 = -2*x. Does 9 divide x?
True
Let i = 27 + 22. Let x be 244/(-6) - 0 - (-98)/147. Let v = x + i. Does 3 divide v?
True
Let b = -799 - -3789. Does 65 divide b?
True
Let b = 4 - -2. Let i(f) = -34*f + 2 + 52*f - 14. Does 16 divide i(b)?
True
Does 14 divide ((-2149)/(-28))/(3/(-1368)*-6)?
False
Let n be 6 - (-2 + (-5 - -13)). Suppose 24*m - 22*m + 3*t - 2103 = n, 0 = 2*t - 10. Is m a multiple of 12?
True
Let p = -3 - -9. Let y(a) = a**2 - 3*a - 14. Let w be y(p). Suppose -4*x = -j - w*j - 145, -5*x - 3*j + 172 = 0. Does 5 divide x?
True
Let s(m) = 1616*m - 768. Does 9 divide s(6)?
True
Let k(c) = c**3 + 14*c**2 - 78*c - 502. Does 5 divide k(-12)?
False
Suppose 0 = -h - 4*h - u + 495, 4*h - 5*u - 367 = 0. Let j = -94 + h. Does 8 divide 114 - (j - 0) - -5?
False
Let v(c) = 325*c - 169. Let g be v(19). Is 10 a factor of 1/(g/1200 + -5)?
True
Let l(b) = -2*b**2 - 30*b + 3. Let q be l(-15). Suppose -40 = -q*z + 68. Suppose -10*m + 8*m + z = 0. Is m a multiple of 2?
True
Let r(m) = -8*m - 2. Let l be r(-7). Let o = 110 - l. Let z = o + -38. Is z a multiple of 18?
True
Let g = 70 + 2126. Suppose v = -3*v + g. Does 27 divide v?
False
Let a(o) = -49*o - 11. Let s be a(-7). Suppose -4*c = p - 2*c - 164, -2*c = 2*p - s. Is 14 a factor of p?
True
Suppose y + 70 = -i + 571, 4*y + i - 1986 = 0. Does 9 divide y?
True
Let g(a) = -a**3 + 9*a**2 + 5*a - 39. Let b be g(10). Let d be (197/1)/(1 - 0). Let u = d + b. Is u a multiple of 12?
True
Suppose 9 + 59 = 4*m. Suppose -m*s + 13*s + 288 = 0. Is 8 a factor of s?
True
Let r(d) = 2189*d**2 - 63*d + 168. Is r(5) a multiple of 43?
False
Let y = -94 - 83. Let l = 209 + y. Is 16 a factor of l?
True
Suppose -5*q + 4*q + 5439 = -4*b, -3*b - 10888 = -2*q. Does 12 divide q?
False
Let l(r) = 19*r**2 + 61*r + 33. Does 7 divide l(-10)?
True
Suppose 12*v + k + 13 = 13*v, -3*k = -v + 5. Suppose -13*d + v*d = 720. Is d a multiple of 36?
True
Let i be (-1 - (-8 - -4))/3. Let b be 314/1 + -8 + 4 + i. Let x = b - 178. Does 13 divide x?
False
Suppose 7 = -5*p + 67. Suppose p*t - 820 = 8*t. Suppose 2*x = 4*s + t + 203, 3*x + s - 640 = 0. Is 53 a factor of x?
True
Let i(x) = -x**3 - 2*x**2 - 37*x - 32. Is i(-14) a multiple of 11?
True
Let w be 11/((-55)/(-1280)) - -9. Let q = 1147 - w. Is 14 a factor of q?
True
Let r = 5464 - 139. Is 71 a factor of r?
True
Suppose -24*g + 50*g + 1393878 = 45*g. Does 61 divide g?
False
Let k be 0 + -2 - 7/(-1). Suppose 433*m + 2398 = 455*m. Suppose -59 = k*r - m. Does 10 divide r?
True
Let v(c) = -19*c + 3. Let b be v(1). Let r(l) = -l**2 - 18*l + 16. Is 48 a factor of r(b)?
True
Suppose 58*c + 370627 - 641035 = 472920. Is 18 a factor of c?
True
Let a = -107 - -19. Let h = a - -128. Does 13 divide h/12*(-4 + 1 - -24)?
False
Let y(v) = -1383*v**3 + 12*v**2 + 39*v + 68. Does 7 divide y(-2)?
True
Suppose -239*q + 6399808 = 4713992 - 8848587. Is 236 a factor of q?
False
Let g be 2548 + 1/1 + (-28 - -27). Suppose -580 = 6*c - g. Is c a multiple of 8?
True
Let j be (1 + 21/(-12))/((-18)/48). Suppose i - 5 = -m - 3, 0 = j*m. Suppose 20 = 3*y - i*y. Does 4 divide y?
True
Suppose 24 = -a + 12. Let z(o) = -o**2 - 11*o + 15. Let k be z(a). Suppose k*s + 87 = 591. Does 21 divide s?
True
Suppose 55320 = 32*a - 12*a. Does 18 divide a?
False
Suppose 2*c + 890 = m, 0*c = 2*c - 5*m + 898. Does 4 divide (-6 + (-3 - -8))*(c - 3)?
False
Suppose -4*p + 5*p = -4*d + 7, 3*p - 6 = 3*d. Let w(z) = 11 + 0 + 4*z + p + 5. Is 11 a factor of w(6)?
False
Let t(g) = -g**3 + 30*g**2 - 11*g + 43. Let k be 28/(-1)*(-2 + 4 + -3). Does 21 divide t(k)?
False
Let i(z) = 3*z**2 + 13*z + 35. Let j(w) = -7*w**2 - 27*w - 70. Let y(k) = 9*i(k) + 4*j(k). Let n be y(11). Let l(t) = t - 4. Is 7 a factor of l(n)?
False
Suppose 2*i + 2*i = -3*f + 12, 0 = -2*i - 3*f. Suppose -12 = o - i. Is (-458)/o + 3/(-9) a multiple of 12?
False
Let a(h) = h**2 + 2*h + 20. Let q = 64 + -73. Let v be a(q). Let m = 94 - v. Does 6 divide m?
False
Let t(u) = 14*u**3 - 24*u**2 - 43*u - 329. Is 18 a factor of t(17)?
True
Let t be (-82)/(-16) + (-2)/16. Suppose -3*a + 5 = -7*p + 2*p, 3*a = -t*p - 5. Suppose a*b = -2*b + 152. Is 19 a factor of b?
True
Let w = -9650 + 3116. Does 19 divide (-4)/6*(3 + w/12)?
True
Let t(s) be the third derivative of -s**6/120 - s**5/15 + s**4/3 + 4*s**3/3 + 3*s**2 - 10*s. Is 23 a factor of t(-9)?
False
Let m be 14/4*(-2)/(-1). Suppose 4*j + m*j = 605. Does 2 divide j?
False
Let g(a) = -10*a**3 - 18*a**2 + 68*a - 129. Let d(p) = -7*p**3 - 12*p**2 + 46*p - 86. Let l(q) = -7*d(q) + 5*g(q). Is 4 a factor of l(-10)?
False
Let a = 1759 + -789. Does 3 divide a?
False
Let w(c) = -c**3 + 3*c**2 + c - 4. Let i be w(3). Let n be 3/((0 - i) + 0). Suppose -n*u + 48 = 4*s, u = -5*s + 20 + 51. Is s a multiple of 3?
True
Suppose m - 831 = 5*b, -3*m - 368 = 4*b + 293. Suppose 227 = -4*q - 153. Let t = q - b. Does 9 divide t?
False
Suppose 3*r + 4*m = -42 - 34, 2*r + 4*m + 52 = 0. Is -2*(522/r)/((-3)/(-2)) even?
False
Let z(r) = 70*r - 71. Let s(x) = -23*x + 24. Let f(k) = 11*s(k) + 4*z(k). Let v be f(6). Suppose 4*j - 5*j = -v. Does 16 divide j?
False
Let d be (-171)/6*(28/(-12) - -1). Suppose -4*u + b = -2*b + 79, 2*u - b = -37. Let w = u + d. Does 3 divide w?
False
Suppose -3*p + 4*n + 60460 = 0, 12*p - 9*p + 4*n - 60428 = 0. Is 69 a factor of p?
True
Suppose 10*g - 5*g - 12 = 3*f, -4*g + 4*f = -16. Suppose 3*o - 4*b = -g*o + 267, -b = -5*o + 445. Does 12 divide o?
False
Let t(o) = -o**3 - o**2 + 12*o + 1. Let m be t(-6). Suppose -115 = -2*j + 5*u, -3*j = 4*u - m - 121. Is 7 a factor of j?
True
Let r be 797/1 - (13 - 11). Let v = r - 781. Is 5 a factor of v?
False
Let i be ((-21)/(-4))/((-2)/(-8)). Suppose 22*f - 25 = i*f. Does 5 divide f?
True
Let v = 5780 + -5100. Is 17 a factor of v?
True
Suppose r - 13387 = -2*q, 3*q + 9*r - 20079 = 7*r. Does 47 divide ((q/(-30))/(-13))/(7/42)?
False
Let o(p) = p**3 + 10*p**2 + 7*p - 5. Let q be o(-9). Let z = q + -35. Let y = z - -60. Is 38 a factor of y?
True
Suppose -83*c + 50*c + 564300 = 0. Is 76 a factor of c?
True
Let o(l) = 1308*l + 2. Let c be o(1). Suppose -c = 5*r - 2*z, -z + 525 = -0*r - 2*r. Does 41 divide 4 + r/(-5) - -4?
False
Let l be (-2390)/(-60) - 10/12. Let b = 372 + l. Does 7 divide b?
False
Let u be 145 + 6*(54/12 + -5). Suppose -6 - u = -2*n - r, -r = 4*n - 298. Is n a multiple of 5?
True
Let h(b) = 2*b**3 + 29*b**2 - 8*b - 20. Let w = -11 - 24. Let z = w + 21. Is 24 a factor of h(z)?
True
Let o = 1856 - 1000. Suppose -o = -8*u + 960. Is u a multiple of 12?
False
Let d(k) = 147*k - 716. Does 5 divide d(12)?
False
Let r(a) = -a**3 + 21*a**2 - 19*a - 21. Let w be r(20). Is 32 a factor of (256/w)/(6/(-21))?
True
Is 16 a factor of ((-8)/(-20))/((-4)/(-75450)*3)?
False
Let x(g) = 3*g + 123. Suppose -l = -l + 2*l. Let y be x(l). Is 17 a factor of 1/(-1)*(6 + -7)*y?
False
Is ((-586487)/(-22))/37*10 a multiple of 16?
False
Let a(m) = -7 - 15*m - 8 + 123*m. Does 21 divide a(6)?
False
Let b = 112 - -12. Suppose 5*p - 4*p - b = 0. Let g = p - 32. Is 23 a factor of g?
True
Suppose 10*w = 2*j + 11*w - 4684, -7047 = -3*j - 5*w. Is j a multiple of 16?
False
Suppose 0 = -x, 23*l - 3*x - 7146 - 1629 = 18*l. Is 4 a factor of l?
False
Let a be (5 - 5)/(-2)*4/(-8). Suppose -3*w = j - 269, -w - j = -a*w - 89. Is 30 a factor of w?
True
Let g be (6/3)/(-2)*149*1. Let v = g - -162. Does 12 divide v?
False
Suppose -3*a - 7*t + 1701 = -442, 2*a = 5*t + 1477. Is a a multiple of 11?
True
Let b = 19493 + -15050. Does 2 divide b?
False
Let z be (4/10)/(1/10). Suppose z*w - 716 = 2*w + 4*p, -4*w + 4*p + 1420 = 0. Is w a multiple of 8?
True
Let l = 84 + -88. Is 12 a factor of -1834*(18/l)/9?
False
Suppose 5*u + 4*a - 2322 = 0, 5*u - 8*a = -5*a + 2301. Is 6 a factor of u?
True
Let h = -171 + 412. Suppose -4*a = -5*w - 1014, -