6 a factor of (5/((-20)/(-536)) - i) + -3?
False
Let q(h) = -6*h - 7. Let g(u) = 3*u + 4. Let o(d) = -9*g(d) - 4*q(d). Let j be o(12). Let m = 58 - j. Does 17 divide m?
True
Let p(q) = 201*q + 1685. Is 7 a factor of p(-7)?
False
Let g = 1148 - 743. Suppose -12*m + 699 = -g. Does 46 divide m?
True
Let p be ((-10)/4)/((-12)/24). Suppose w + 849 = 4*n, -p*w - 516 = -3*n + 108. Suppose -n = -2*t - 3*a - 3, -525 = -5*t + a. Is t a multiple of 35?
True
Let s = -121 - -124. Suppose -27 - s = -5*q. Suppose 5*c = -q*c + 803. Is c a multiple of 25?
False
Let o = -287 + 307. Suppose 0 = 2*p + o*p - 1364. Is 4 a factor of p?
False
Let f(h) = 3*h**2 - 4*h + 1193. Does 138 divide f(-55)?
True
Let o(n) = -90*n**3 + 2*n**2 + 2*n. Suppose -4*g = -5*k - 28 + 3, 0 = k + 2*g - 9. Is 6 a factor of o(k)?
True
Let p(m) = -1555*m - 94. Is p(-3) a multiple of 38?
False
Let c = -14 - -17. Suppose -c*k + 3*k = -k. Suppose y - 10 - 19 = k. Does 8 divide y?
False
Suppose -760*v = -766*v + 54. Let i(n) = 62*n - 117. Does 21 divide i(v)?
True
Let s(a) = -69*a - 166. Let l(o) = 37*o - 191. Let w be l(5). Is s(w) a multiple of 62?
True
Suppose -4*w + 5*i + 112 = -14, -3*i = 5*w - 176. Let z(q) = -3 - 5 - 20*q + w*q. Is z(7) a multiple of 15?
True
Let t(d) be the second derivative of -d**4/12 + 8*d**3/3 + 83*d**2/2 + 35*d. Let g be t(20). Suppose -5*n + g*n = -90. Is 6 a factor of n?
False
Let r be (-42)/(-35)*-116*(-5)/3. Let a = r - 68. Is a a multiple of 22?
False
Let q be ((-21)/15 - -1)/(4/(-40)). Suppose q*v - 644 = -5*d, -37*d + 5*v + 152 = -36*d. Is d a multiple of 38?
False
Suppose 0 = 2*l - 6*l - 160. Let x = 45 + l. Does 4 divide (-25)/(-3 + (x - 3))?
False
Suppose -1239*k + 1203*k + 2054556 = 0. Does 11 divide k?
False
Suppose -26354 = -45*p + 42*p + 2*z, -2*p = -z - 17569. Is 144 a factor of p?
True
Let v(y) = y - 1. Let r(j) = -4*j**2 + 14*j + 16. Let n(t) = -r(t) + 4*v(t). Is n(-8) a multiple of 17?
False
Suppose -9*y + 24 + 3 = 0. Suppose 2*a + f - 1154 = 0, y*a = 5*f + 1296 + 422. Is a a multiple of 48?
True
Suppose 66*p - 64*p = -4*l + 64126, 4*l + 4*p - 64136 = 0. Is l a multiple of 39?
True
Let s = 175 - -512. Suppose 1028 = 5*h - s. Does 49 divide h?
True
Let a be (-10492)/(-20) - -4 - (-3)/(-5). Suppose -a = 26*v - 16544. Is v a multiple of 22?
True
Suppose -3*f - 6*f = -18. Suppose 0 = -f*p + p + 38. Does 12 divide (-9)/(p/(-16) - -2)?
True
Let z = -3099 - -452. Let n = -1844 - z. Is n a multiple of 73?
True
Let f = -62 - -49. Let u = f - -20. Suppose -172 = 5*g - u*g. Is 8 a factor of g?
False
Let n(k) = -93*k + 14. Let h be n(-3). Suppose -79 = -4*i + h. Suppose -2*l + 57 = -i. Is l a multiple of 8?
False
Suppose 2*v + 417 - 643 = 0. Let d = 14 + v. Does 13 divide d?
False
Let k be (-62)/8 - 3/(-4). Let w = k + 68. Let v = w - 22. Does 27 divide v?
False
Let g be (-23 - -17)*(1 + 2/(-1)). Is (g + -7)*6/(-4)*1180 a multiple of 59?
True
Suppose 18*u + 32*u - 18250 = 0. Is 139 a factor of u?
False
Let v(f) = -370*f - 1355. Is v(-12) a multiple of 16?
False
Suppose 3*a - 2 = 2*r, -4*a - 3*r + 31 = -0*r. Let b(u) = 16*u**2 - 3*u - 2. Does 25 divide b(a)?
False
Let q(j) = -j**3 - 42*j**2 + 433*j + 47. Is 121 a factor of q(-59)?
False
Let p(b) = -4*b**3 - 95*b**2 + 9*b - 177. Does 67 divide p(-29)?
False
Let h be (-63)/(-9) + 4*(-2 + 1). Let c(f) = 11*f + 23. Does 8 divide c(h)?
True
Let l(m) = -424*m - 8206. Is 59 a factor of l(-38)?
True
Let p(x) = -x**3 + 22*x**2 + x - 18. Let z be 4/18 - 3*196/(-27). Let r be p(z). Suppose -y = -0*y + r*h - 97, 3*y - 2*h = 361. Does 9 divide y?
True
Let q = 3169 - -2770. Is q a multiple of 64?
False
Suppose 5*l + 652 = -6*c + 5*c, 4*c + 8 = 0. Is 366/((-234)/l + (-1)/(-5)) a multiple of 18?
False
Suppose 2413513 = 77*b + 197*b - 463487. Is 42 a factor of b?
True
Suppose 26*h = -8*h + 744766 - 143272. Does 14 divide h?
False
Let h be -40 + 271 + 3/(0 - 1). Suppose x - 7*x = -h. Suppose -218 = -3*c - x. Is c a multiple of 47?
False
Let q = -267 - -271. Let m be 10/(-2 + 15/6). Suppose -2*z = -z + q*f - 28, 0 = -4*f - m. Is 24 a factor of z?
True
Let g be 5/15*2 + 22/(-6). Does 58 divide g/((-18)/344) + 98/147?
True
Let k = -18 - -8. Let j = -4063 + 901. Does 62 divide (j/85)/(1/k)?
True
Suppose 5*b + f - 3218 = 2*b, -3215 = -3*b - 4*f. Let x = -554 + b. Does 11 divide x?
False
Is 158 a factor of 6/((-15)/(-13 + -2582))?
False
Suppose -32*h + 13*h - 844305 = -104*h. Does 68 divide h?
False
Let k = -337 - -337. Suppose 0 = 2*b - 3*x - 65, 3*b + 0*b - 2*x - 105 = k. Does 3 divide b?
False
Suppose 0 = -2*r - 59 + 67. Is 43 a factor of r/5 + 2568/15?
True
Let y be 4*((-36)/(-16) + -1). Suppose -y*u = 5*o, 0 = o + u + u + 2. Suppose 5*m + 3*p = 4*m - 10, -3*m + o*p = -14. Is m even?
True
Suppose 9*q = 14*q - v - 1749, 4*q - 1392 = -v. Let w = q + -333. Is w a multiple of 2?
True
Suppose -12*j - 2*j - 1106 = 0. Let v = j - -76. Does 10 divide 410/20*(-1 - v)?
False
Let t(j) = j**3 + 2*j**2 + 56*j + 6798. Is 11 a factor of t(0)?
True
Let h(d) = -221 + 61 - 81*d - 5*d. Does 14 divide h(-3)?
True
Suppose -o - 18 = -7*o. Suppose -2*z + 0*f + 78 = 4*f, -o*z = 4*f - 123. Suppose -8*s + 3*s + z = 0. Is s a multiple of 3?
True
Suppose 2*p - 6 = -2*d, p - 5*p = 0. Suppose -3*m - v - d*v = -44, v = 3*m - 19. Suppose 3*a - 76 = -4*q + m, 22 = q + a. Is q a multiple of 3?
True
Let m = 19670 + -13532. Does 44 divide m?
False
Suppose -1182 = -v - 358. Let g = 1132 - v. Is 52 a factor of g?
False
Suppose 5*v - 178729 = 2*t, -2*v - 2244 + 73726 = 4*t. Is 15 a factor of v?
True
Suppose -5*h - 4*s - 4 - 16 = 0, 10 = 4*h - 2*s. Let k be (3 + h)/((-9)/(-12)). Does 34 divide (k/(-6))/(4/(-780))?
False
Let t(x) = 330*x + 13. Let k be t(3). Suppose -2*i - 1009 = -5*s, -5*s - i = -0*i - k. Suppose w - 4*r = 6*w - 251, 0 = 4*w + 3*r - s. Is w a multiple of 17?
True
Let g = 10663 + -5209. Suppose 0 = 21*i - 21477 + g. Does 24 divide i?
False
Suppose 10*j - 57 + 7 = 0. Suppose 0*y = -y + j. Suppose 2*k - i = k + 150, 0 = y*k - 3*i - 744. Is 12 a factor of k?
False
Suppose -5*n - 57 = -3*k - 67, -k - 4*n + 8 = 0. Suppose -q + 4*t = -803, 30*t - 34*t = k. Does 8 divide q?
False
Suppose 19*y - 23542 - 1196 = 0. Is 8 a factor of y?
False
Let m(w) = w**3 - 30*w**2 + 42*w - 636. Is 78 a factor of m(31)?
False
Let k(y) = 3*y**2 + 17*y + 109. Let s(m) = m**2 + m - 5. Let w(n) = -k(n) + 5*s(n). Does 4 divide w(15)?
True
Suppose 23 = d + 25. Let p be 84/35 + (-4)/10 - d. Suppose -2*v - v = -5*b + 164, 0 = b - p*v - 26. Is 9 a factor of b?
False
Suppose -3*n + 18 = -i, -7*n + 3*i - 44 = -12*n. Suppose 5*b = -2*t + 5708, 0 = b + 9*t - n*t - 1148. Does 62 divide b?
False
Let w be ((2/2)/1 - 1) + 9425. Suppose -17*u + w = 8*u. Is 13 a factor of u?
True
Suppose 0 = -2*g + 3*y + 3 - 6, 4*g + 2 = 2*y. Is (6 - 468/(-2)) + g a multiple of 30?
True
Let o(r) = r**3 - 6*r - 5. Let t be o(-5). Let g = t + 181. Suppose -5*n - 2*h = -415 + g, n + h = 68. Is n a multiple of 13?
False
Suppose 0 = -68*h + 459742 + 519186. Is h a multiple of 56?
False
Let k(z) = 14*z**2 - 1. Let b be k(-2). Let a = b + 50. Let s = -93 + a. Is 12 a factor of s?
True
Suppose -5*m + 282396 = -g, -7*m + 508307 = 2*m + 4*g. Is m a multiple of 33?
False
Let k(r) = -r**3 - 17*r**2 + 14*r - 55. Let g be k(-18). Is 21 a factor of g - 11 - (0 - 306)?
False
Is 12 a factor of -1*(-2020)/10*72?
True
Let w(z) = 56*z**2 - 4*z - 6. Let l be w(4). Suppose -l = -14*o + 12286. Is o a multiple of 10?
True
Let k(g) = 6*g - 176. Let u be k(30). Suppose 2*a + u*h = 1342, 3 = -4*h - 5. Is a a multiple of 75?
True
Let k(c) be the second derivative of c**5/20 - 7*c**4/6 - c**3/6 + 9*c**2 - 9*c. Let t be k(14). Suppose 0 = t*d - 639 + 179. Is d a multiple of 23?
True
Let k be 2/(-5) - (1260/(-25) - -4). Suppose -5*j - 199 = k. Let y = j + 149. Is y a multiple of 17?
False
Let t(q) = -q**3 + 29*q**2 - 36*q - 10. Does 34 divide t(27)?
True
Suppose 5*x = -2*x - 56. Let o(r) = -r**3 - 10*r**2 - 18*r - 1. Let d be o(x). Suppose 4*y - d*y = -715. Is y a multiple of 13?
True
Suppose -q + 41 = 4*m + m, 3*m + 5*q = 7. Suppose -5 = 14*l - m*l. Is 14 a factor of 2 - ((l - (-1 - 2)) + -23)?
False
Let z be (7 - 5)/(2 + (-24)/15). Suppose 0 = z*j + 3*w + 36 - 162, -3*j + 74 = w. Does 18 divide -2 - (-4 + 8 - j)?
True
Let f = -43 - -42. L