) - -5. Let o(s) = 274*s - 108. Is 5 a factor of o(l)?
True
Let v be 2*(-4)/2 - -4. Suppose -8 = -4*l - v*l. Let w = 20 + l. Does 22 divide w?
True
Suppose -q = -3*d + 9, 6*d - d + 2*q - 4 = 0. Let o(l) = 1 + 0*l**2 - 7*l**d + 19*l**2 + 11 + l. Is 13 a factor of o(4)?
True
Let f(l) = -l**3 + 2*l**2 + 3*l - 9. Let z be f(3). Is -3*(-6)/z - -17 a multiple of 2?
False
Let o be -3 + (-634)/(-12) + (-1)/(-6). Let i be 2/(-2) + 2 - o/(-2). Let f = i - -89. Is 11 a factor of f?
False
Let b be (2/2 - 6)/((-5)/6). Suppose 722 + 658 = b*o. Is 46 a factor of o?
True
Let z(d) = -37*d**3 - 2*d**2 - 8*d + 5. Is z(-4) a multiple of 80?
False
Let l(r) = -r**2 - 2*r + 21. Let d be l(-7). Does 34 divide (-82 - d)/((-4)/34)?
True
Let w = 6343 + 2225. Is w a multiple of 7?
True
Let r(a) = 78*a**3 - a**2 + 1. Let n be r(1). Let p be (-1)/((-1)/3) + (-3 - n). Let c = 135 + p. Does 15 divide c?
False
Let i(n) = -n**3 - 72*n**2 - 1047*n - 80. Does 24 divide i(-59)?
True
Suppose -4*w + 4929 = -d, -2*w = 2*d - 2771 + 309. Does 8 divide w?
True
Let s(o) = 575*o - 5160. Does 13 divide s(62)?
False
Suppose 3*b - 2*o = 40876, 4*o + 40892 = -26*b + 29*b. Is 42 a factor of b?
False
Suppose 0 = -50*v + 65870 + 53230. Is 6 a factor of v?
True
Let g be 13/(78/(-128))*6. Let q = g - -267. Is q a multiple of 20?
False
Suppose 4*w - 4*g - 8125 = 6747, 4*g - 18644 = -5*w. Does 20 divide w?
False
Let u = -279 - -96. Let j = -133 - u. Does 8 divide j?
False
Suppose 5*w - 23 = -203. Let a = w + 75. Does 9 divide (-2)/(-13) - (-1047)/a?
True
Suppose 12*p - 27827 = -7283. Suppose 8*z - 417 = -t + 13*z, 0 = -4*t - 2*z + p. Is t a multiple of 7?
True
Let s(h) = 66*h**3 - 5*h**2 - 138*h + 926. Is s(7) a multiple of 65?
False
Let z = 131168 - 69651. Does 202 divide z?
False
Suppose 3*x + 3*k - 27234 = 0, 0 = -2*x - k - 10249 + 28399. Does 252 divide x?
True
Let y(t) be the third derivative of t**5/20 - 5*t**4/24 + 4*t**3/3 - t**2. Let r be (-102)/(-357) - 26/(-7). Is y(r) a multiple of 9?
True
Let c = -6760 + 18809. Does 57 divide c?
False
Suppose v + 4*k = 14049, 46*k = -2*v + 47*k + 28044. Does 33 divide v?
True
Suppose -u - u + 3*z = 69, -5*u - 145 = -2*z. Let s be 12/(-30) + u/(-5). Suppose -376 = -4*t - s*k, 0*k + k = -t + 94. Is t a multiple of 22?
False
Let o(r) = -4*r**2 - 202*r - 86. Is 14 a factor of o(-44)?
False
Let q(n) = n**3 + 3*n**2 - 3*n + 2. Suppose 0 = 2*p + 5*k - 35, 14 = 5*k - 11. Let d(z) = -2*z + 13. Let g be d(p). Is q(g) a multiple of 20?
False
Suppose 1940 = j - 6*h + 10*h, 0 = 3*j + 3*h - 5838. Let g = j + -850. Is g a multiple of 61?
True
Suppose -664475 + 1460429 = 76*u - 1205582. Is u a multiple of 38?
False
Is 11 a factor of ((-4488)/816)/(2/(-708))?
True
Suppose -35917 = -9*z + 192223 - 35756. Does 19 divide z?
False
Let y(n) = -309*n + 974. Is 37 a factor of y(-35)?
False
Suppose -3*o = -5*a + a + 12, -5*a + 5*o = -15. Suppose a*n = 2 + 34. Suppose -n*i + 2386 - 970 = 0. Does 19 divide i?
False
Let t = -286 - -1359. Suppose -46*r = -17*r - t. Is r a multiple of 30?
False
Let s(i) = -12*i**2 - 21*i + 6. Let c be s(-6). Does 10 divide (0 + -3)/(6/c)?
True
Suppose 11*t = 6*t + 550. Let y = t + -95. Suppose -4224 = -k - y*k. Does 12 divide k?
True
Suppose -8351 = -71*s + 64*s. Suppose -4*j + s + 471 = 0. Does 12 divide j?
False
Let f = -302 + 1310. Is f a multiple of 24?
True
Let k(r) be the third derivative of r**6/120 - 3*r**5/10 - 5*r**4/8 - 7*r**3/2 + 7*r**2. Let x be k(19). Suppose a = -11 + x. Is 8 a factor of a?
False
Let r = 55104 + -38178. Is 97 a factor of r?
False
Suppose -119 = 3*h + 14*h. Does 23 divide (3 + 57/h)*(-322)/4?
True
Suppose -378 = -0*z - 3*z. Let d be (-33)/(-6) + (-2)/4. Suppose 44 = k + d*q - 14, 3*k = -3*q + z. Is k a multiple of 38?
True
Suppose -o = 3*x - 2112, -1368 = -o - 2*x + 740. Is 12 a factor of o?
True
Let t(j) = j**2 + 3*j - 4. Let r be t(1). Suppose r = -24*y - 23*y + 3760. Is 5 a factor of y?
True
Suppose 0 = 3*r - f - 17, 0*r = 3*r + f - 19. Let m be 5*8/12*r. Suppose m + 12 = 2*v. Does 4 divide v?
True
Suppose 135 = 3*x - 5*t, -x + 45 = -3*t + 2*t. Let q = -80 - -82. Suppose 0 = -c + q*o + x, -c - 5*o + 80 = -0*c. Does 5 divide c?
True
Suppose -39*w = 83*w - 198372. Is 14 a factor of w?
False
Let i(m) = 3*m**2 - 72*m - 464. Does 22 divide i(42)?
True
Does 8 divide (5005/(-20) - -8)*-1*4?
False
Let g(y) = 24*y + 110. Let f = 28 - 15. Is g(f) a multiple of 11?
False
Suppose 3*u + 2*h = 2404 + 662, -5110 = -5*u - 2*h. Suppose 1016*m - u*m + 1734 = 0. Is m a multiple of 17?
True
Let j(p) = -643*p - 2487. Does 25 divide j(-9)?
True
Suppose -3*v = 5*l - 956, v = 2*l - 284 - 94. Let k be ((-6)/(-14) - l/(-210))*3. Suppose -4*t = -13 - 7, 5*i = -k*t + 330. Is i a multiple of 5?
False
Let w(n) = 3*n**2 + 4*n + 92. Let o be w(0). Suppose -t + o = 3*b - 26, -3*b - 500 = -5*t. Is 3 a factor of t?
False
Let i(t) = 31*t + 281. Let o be i(-9). Suppose l - 7*y - 694 = -11*y, o*l + 4*y = 1396. Does 54 divide l?
True
Let d(k) = 2*k**2 - 4 - 58*k**3 - 2*k + 71*k**3 - 8*k + 4*k**2 + 1. Is 11 a factor of d(4)?
False
Let k(s) = -2*s**3 - 4*s**2 - 4*s - 4. Let u be k(-2). Suppose -3*v - 1612 = -u*j, 2*j = -j + 5*v + 1220. Does 40 divide j?
True
Is ((18/7)/(-3))/(2 + (-10502)/5250) a multiple of 3?
True
Suppose 3*a - 814 = -0*a + 4*n, 0 = 5*n + 20. Suppose 0 = -5*c + 49 + a. Is 24 a factor of 0 - (-820)/6 - 42/c?
False
Let j(t) = t**3 + 34*t**2 + 103*t - 84. Is j(-25) a multiple of 31?
False
Let m(l) = l**2 + 6*l + 3. Let v = -12 - -6. Let c be m(v). Suppose 93 - 522 = -c*f. Is 31 a factor of f?
False
Let x(t) = 2*t**2 + t + 1. Let l(k) = 3*k**2 - 13*k + 4. Let p(u) = -l(u) + 2*x(u). Does 21 divide p(-26)?
False
Let n(d) be the second derivative of -d**4/12 + 8*d**2 - d. Suppose 59*o = -3*o. Does 11 divide n(o)?
False
Let u(g) = 27*g + 1. Let s be u(1). Suppose 2*j - 6*b - 152 = 0, 2*j - b - 188 + 61 = 0. Let v = j - s. Is v a multiple of 11?
True
Let q = 19 + -15. Suppose 122 = -q*w + 186. Suppose -10*l - 42 = -w*l. Is 3 a factor of l?
False
Suppose 2*g + 9 = 17. Suppose -g*j = -j - 9. Suppose 5*x = t + 300, 2*t = -j*t. Does 30 divide x?
True
Let p = 13433 + 1123. Is 36 a factor of p?
False
Is (0 - (-655)/90 - (-6)/27)*222 a multiple of 111?
True
Let m(x) = 19*x**3 - 8*x**2 + 19*x - 39. Let o be m(4). Let g = o - -260. Is g a multiple of 75?
False
Let p = -67 + 73. Suppose p*w + 0*w - 30 = 0. Does 20 divide (114/(-4))/(w/((-40)/4))?
False
Let i(g) = -6*g + 30. Let v be i(5). Suppose v = -j - 11*j + 3060. Suppose 4*l - 1290 = r - j, -4*l + 1045 = r. Is 52 a factor of l?
True
Suppose -22*v + 55464 + 68776 = 40288. Does 3 divide v?
True
Let p(f) = -f**2 + 9*f - 16. Let u be (-6)/(-6 + 5) + -1. Let l be p(u). Is 4 a factor of 2 + l/(4/21)?
False
Let g(o) = -o**3 - o**2 - 3*o - 8. Let h(l) = -l**2 + 9*l + 18. Let b be h(11). Let f be g(b). Suppose -f = 38*d - 40*d. Is 16 a factor of d?
False
Does 31 divide (0 + 3)*-5*(-226 - (-126)/14)?
True
Let i be (11 - 231/22) + 10/(-4). Is ((-19)/i)/((-7)/(-1092)) a multiple of 10?
False
Suppose -13*k + 4190 = 602. Let j = 382 - k. Does 53 divide j?
True
Is (-174999)/6*(-12)/66 a multiple of 83?
False
Let t = 109 - 215. Let p = t + -12. Let h = -51 - p. Is 6 a factor of h?
False
Let c = -84 - 7. Let a = -219 - -385. Let v = a + c. Is 15 a factor of v?
True
Let w(o) = -383*o - 1343. Is w(-9) a multiple of 49?
False
Let o = 7 - 3. Let j(x) = -2*x**2 + 14*x - 11. Let g be j(6). Suppose n + o*q + g = 2*q, -n - 13 = 5*q. Is n a multiple of 2?
False
Is (-5)/((-160)/168076) - (-9)/(-24) a multiple of 108?
False
Let d = -164 - -842. Suppose 5*u - 3*u - 5*o = d, 2*u - 4*o = 682. Does 10 divide u?
False
Suppose -110*o = -93*o - 68816. Is 23 a factor of o?
True
Is 9 a factor of 71296/17 - (-486)/4131?
True
Let l = -613 - -642. Suppose -3514 - 3330 = -l*p. Is 4 a factor of p?
True
Let o(m) = m**3 + 19*m**2 + 17*m + 7. Let x be o(-18). Suppose -1920 = -27*q + x*q. Is q a multiple of 7?
False
Let z(d) = d - 1. Let x be z(2). Suppose -87*n + 92*n = -y + 3, 3*y - 9 = 0. Is 7 a factor of 39 - (-3)/x - n?
True
Suppose -35*s + 34*s - 5*n = -29565, 5*n - 118260 = -4*s. Does 17 divide s?
False
Let h = 15843 + -8283. Is h a multiple of 120?
True
Let p(j) = 2521*j + 9. Let b be p(1). Suppose -9*k + 1556 + b = 0. Does 59 divid