*5/15 - n**4/12 + 2*n**2 - 11*n. Is 14 a factor of z(-6)?
True
Suppose 0 = 16*z - 6*z - 70. Suppose -3*u = -5*y + 2893, -5*y + z*u = 9*u - 2888. Does 34 divide y?
True
Let c(v) = 33*v**2 - 86*v + 17. Is 91 a factor of c(10)?
True
Let u = 378 - 233. Let y be (13/4)/(1/12). Let n = u - y. Is n a multiple of 26?
False
Let i be ((-180)/(-9) - 12) + 3*-2. Suppose i*y = 736 - 260. Is y a multiple of 46?
False
Suppose -27*x - 49 = -778. Suppose 32076 = 17*y + x*y. Is y a multiple of 27?
True
Is (-32)/48 + (-65514)/(-14) - (-12)/126 a multiple of 31?
False
Suppose 63*z - 8 = -b + 66*z, 3*b - 2*z - 10 = 0. Let t = 18 - 13. Suppose 0 = -t*p + 4*h + 12, 2*p - b*h = 2*h. Is p a multiple of 2?
True
Suppose 486 - 11214 = -12*x. Is 3 a factor of x?
True
Is (-2 + (-16614)/(-45))*30*3/6 a multiple of 18?
True
Suppose -2*h = 5*d - d + 36, 3*d + 16 = -h. Let g(x) = -51*x - 1 - 50*x + 22*x**2 + 99*x + x**3. Is g(h) a multiple of 2?
False
Let m = 5183 - 3451. Suppose 0*k - 3*k + r = -2588, 2*k + r = m. Is k a multiple of 53?
False
Suppose -x - 4*z = -18, z = -2*x + 3*x + 2. Suppose -x*q + q = -51. Suppose q = 3*d + 3*b, d + 2*b = 4*d - 56. Is 6 a factor of d?
True
Let h = -8360 - -22332. Is h a multiple of 7?
True
Suppose 4*m = 2*j + 86, -3*m + 15 = 5*j - 43. Let b = m + 3. Does 22 divide (-5)/((-20)/11)*b?
True
Let y be ((-13042)/(-12) - 10/(-60))*2. Suppose -976 = -9*p + y. Does 25 divide p?
True
Let f(h) = 27*h**2 - 98*h + 54. Is f(10) a multiple of 14?
False
Suppose -29*t = -31*t + 4*y + 56, -5*y - 84 = -3*t. Does 2 divide -3 + 88/t + (-111)/(-7)?
True
Let o(h) = h**2 + 11*h + 13. Let b be o(-10). Let r be (-3 + 3 - b) + (-4 - 1). Does 10 divide ((12/r)/(-3))/(4/848)?
False
Let h = -199 - -171. Let a = 97 + h. Does 23 divide a?
True
Suppose -14 = -4*y - 34. Let n(l) = -9*l**2 + 18*l + 13. Let i be n(y). Let v = i + 502. Is 15 a factor of v?
False
Is (-2)/(-2) - (-6)/5*(-4021075)/(-123) a multiple of 20?
False
Let i(d) = d**3 - 8*d**2 - 2*d - 2. Let b be i(9). Suppose 0 = -3*k + b + 92. Suppose 4*c + 100 = 2*o, -k = -5*o + 5*c + 219. Is o a multiple of 15?
False
Let p(v) = v**2 - 3*v - 38. Suppose 14 = -5*o - 3*b - 14, -12 = 3*o + 3*b. Is p(o) a multiple of 20?
False
Let d be -4 + (-5 - -37 - -1). Does 17 divide (-1)/(6/12)*d/(-2)?
False
Let g be (4/7)/(9/63). Let w be (-14)/(-21)*30/g. Suppose -4*l - 4*s = -256 + 20, 5*l - 335 = w*s. Is 21 a factor of l?
True
Suppose -2182 = -13*d + 8647. Let s = -567 + d. Is s a multiple of 19?
True
Let p = 2621 + 3819. Suppose -37*i - p = -57*i. Is i a multiple of 46?
True
Suppose 4*g - 3004 - 2684 = 0. Suppose 208 = -2*c - 2*f + g, 4*f = -3*c + 1822. Is 16 a factor of c?
False
Suppose -17*u + 12*u - 4920 = 0. Let b = u - -1380. Is 22 a factor of b?
True
Let w(g) = -655*g**3 - 5*g**2 + 12*g + 62. Is 146 a factor of w(-3)?
True
Suppose 1955 = 6*j - 13. Let v = -168 + j. Is v a multiple of 10?
True
Suppose w = t - 2*t + 1681, -6689 = -4*t + 3*w. Is 18 a factor of t?
False
Does 2 divide (-6)/(-81) + (-47124)/(-243)?
True
Let a be (-45)/(-2)*(70/15 - 2). Suppose -190 = -a*p + 58*p. Is 4 a factor of p?
False
Suppose -40*v - 3272 = -13072. Is v a multiple of 8?
False
Let x(z) = -z**3 - 13*z**2 - 46*z - 184. Is x(-25) a multiple of 51?
True
Let n(i) = 4*i**2 + 7*i + 6. Let j be n(-3). Let a(m) = 9*m - 57. Is a(j) a multiple of 10?
False
Let i(x) = 3*x - 29. Let f = -110 + 121. Let p be i(f). Is 25 a factor of (-581 - (1 + p))*(-2)/4?
False
Suppose -a + 3 - 1 = -3*h, 5*a - 40 = 5*h. Suppose 744 = 4*j + 2*s, 12*s - a*s - 742 = -4*j. Is j a multiple of 4?
False
Suppose -2*c = 5*z - 11710, 4*z + 31 - 15 = 0. Suppose 32*m - c = 2775. Is m a multiple of 33?
False
Suppose -2*b + b - 1 = 0, -4*b + 1311 = 5*i. Let z = i + 177. Does 40 divide z?
True
Let u be (2/11 + (-21626)/484)*2. Let x = 126 + u. Does 7 divide x?
False
Let m = -175 + 303. Suppose b = -5*o - 76, 5*b + 22 = o - 410. Let j = b + m. Is j a multiple of 14?
True
Suppose 4 = -2*r + q, -3*r + 0 + 1 = -5*q. Let s be r + -1 + 1 + 5. Let o(x) = 58*x**2 + 5*x. Is o(s) a multiple of 32?
False
Let b(u) = 17*u**2 - 2*u + 21. Let r be b(5). Let k = r + -220. Is 18 a factor of k?
True
Let s = 1125 - -21. Does 5 divide s?
False
Suppose -24*c + 35217 + 45831 = -2*c. Is 86 a factor of c?
False
Is 14 a factor of (-12569)/(-2) + 54/36?
True
Suppose 72980 = 13*x + 19069. Is x a multiple of 11?
True
Let d(n) = 3*n**2 + 2*n + 14. Let l be d(-19). Let s = -447 + l. Does 35 divide s?
False
Let n be (202/(-8))/((-22)/528). Suppose 2744 = -n*i + 608*i. Does 12 divide i?
False
Let m = -247 + 159. Let h = -126 - m. Is 16 a factor of h/5*(-39 - -9)?
False
Suppose 3*s - 4851 = -4*m, 14*s - 4*m + 1617 = 15*s. Is s a multiple of 11?
True
Suppose y - 27 = -8*y. Suppose -y*k - 5*x = -0*k + 17, -3*x = -6. Let q = 61 + k. Is q a multiple of 26?
True
Let t(c) = 364*c**2 - c + 2. Let a be t(2). Suppose 0 = -j + 3*r + 375, r + a = 4*j - 0*j. Is j a multiple of 33?
True
Suppose 2*m + 33*q - 1370 = 34*q, q + 4 = 0. Let u = m - 642. Is u a multiple of 2?
False
Suppose -o - 13 = -33. Let g be (0 - o)/(-1)*(-105)/(-84). Suppose 2*j - 136 = 2*f - 6*f, -g = -f - 5*j. Is f a multiple of 8?
False
Suppose -29*d = -27*d + 3*f - 2902, -4*d + 3*f + 5840 = 0. Is 6 a factor of d?
False
Let k(w) = 25*w - 19. Let m be k(-3). Let p = m - -189. Does 19 divide p?
True
Suppose 0 = 4*b - s - 103316, 3*b - 19*s = -15*s + 77474. Does 66 divide b?
False
Let c(k) = 79*k. Let h(n) = -n. Let g(t) = c(t) + 6*h(t). Let p be g(4). Does 15 divide (14 - 15)*p/(-2)?
False
Let k = 139 + -151. Let q(o) = o**3 + 19*o**2 + 9*o - 90. Is q(k) a multiple of 24?
False
Let r(x) = -3*x**2 - 6*x + 7. Let m be r(-5). Let k = 178 + m. Is k a multiple of 14?
True
Let i(q) = 30*q**2 - 74*q - 5. Is i(13) a multiple of 11?
True
Is 100 a factor of (-101 - -1)/(-5 + 1848/372)?
True
Let l(r) = -r - 30. Let s be l(-25). Let z be (8/20)/((-1)/s). Does 7 divide z/5 + (-356)/(-10) + 1?
False
Suppose -25488 = -5*p + 2*t, 2*p - 5*t = 6769 + 3422. Does 78 divide p?
False
Suppose 53*z - 74*z + 1659 = 0. Let g be (-122)/1*3/(-6). Let k = z - g. Does 17 divide k?
False
Let w(h) = 20672*h**2 - 384*h - 2. Is w(1) a multiple of 72?
False
Suppose 24 = 5*q - 1. Suppose 5*z + 2*a - 304 = 6*a, -q*z - 5*a = -340. Suppose -19 = 3*n - z. Is 3 a factor of n?
True
Let z(t) = 2*t**2 - 16*t + 14. Let u be (9/(-6))/((-4)/40). Is 8 a factor of z(u)?
True
Let d(s) be the first derivative of 7*s**3 - s**2 + 7*s - 7. Let z be d(3). Suppose 56*u - 51*u = z. Does 7 divide u?
False
Let j = 20868 + -13167. Is j a multiple of 17?
True
Let a(t) = 2*t**2 + 21*t + 42. Let w be a(-14). Suppose 2*b - 250 = 2*z, 2*z + 240 = 3*b - w. Is 13 a factor of b?
True
Suppose 3*v = 5*c + 1800, v = -c + 3*c + 601. Suppose -v + 24751 = 44*j. Is j a multiple of 61?
True
Let g(k) = -55*k - 1686. Does 97 divide g(-43)?
True
Suppose t - 6 = 0, -10962 = -3*u - u - 3*t. Does 18 divide u?
True
Does 153 divide 10 + (-196)/20 - (-76020)/25?
False
Let d(y) = -y**2 - 32*y - 61. Let h(w) = -2*w**2 - 33*w - 60. Let t(q) = 3*d(q) - 2*h(q). Is t(36) a multiple of 8?
False
Let z = 6842 + -5509. Is z a multiple of 40?
False
Let f(x) be the first derivative of -25*x**2/2 + 20*x + 5. Let h(g) = 1. Let z(y) = f(y) - 25*h(y). Is 15 a factor of z(-5)?
True
Let m = 162 + -166. Is ((-58)/(-6))/(m - 74/(-18)) a multiple of 11?
False
Let n = -224 - -226. Is 2*1647/4 + 1/n a multiple of 14?
False
Let r(s) = -42*s - 27 + 59*s - 42*s. Let g be r(-3). Suppose 9*j - 10*j = -g. Is j a multiple of 5?
False
Suppose -3*s + 10663 = 5*j, -5*s - 406*j = -407*j - 17725. Is s a multiple of 21?
False
Let x = -620 - -704. Let o = 9 - 4. Suppose o*b - x = 4*b. Is 12 a factor of b?
True
Let b(l) = -9*l + 4*l - 5*l + 11. Let w be b(8). Let j = -12 - w. Is j a multiple of 27?
False
Suppose -27 = 3*g + 15. Let x = g - -30. Suppose 3*j + 3*o - 408 = 0, -x = -3*o + 7*o. Is 14 a factor of j?
True
Let u(k) = -1563*k - 7701. Is u(-17) a multiple of 85?
True
Let r(y) = 18*y - 66 - 31*y + 16*y. Is 3 a factor of r(27)?
True
Let g(d) = -7*d**3 - 36*d**2 - 10. Let j be g(-5). Is 82 a factor of (-68868)/(-42) + (-10)/j?
True
Let u(y) = -y**3 + 49*y**2 + 7*y + 60. Let h be u(49). Suppose -168 = -2*x - 3*z, -11*x - z - h = -16*x. Does 12 divide x?
False
Let a = 19047 + 