 - 29307, 4*d = 2*j + 39052. Is 7 a factor of d?
True
Let w = -241 - -243. Suppose -w*y - 426 = -4*t, 2*t - 223 = -16*y + 15*y. Is t a multiple of 3?
False
Let o = 22077 + -5927. Is 323 a factor of o?
True
Let o = 1152 + -685. Let y = 1343 - o. Does 17 divide y?
False
Suppose -714 = -3*f - 2*q - q, 5*q = -2*f + 485. Let k = f + -113. Is k a multiple of 3?
False
Let a be 2*(-1)/1*(-15)/6. Suppose 0 = i - b + a*b + 8, -4*i + b + 19 = 0. Suppose -597 = -i*o - 165. Does 12 divide o?
True
Is (1785/14)/(-17)*3*(-366)/45 a multiple of 4?
False
Suppose 21568 + 57840 = 56*k. Suppose -6*c - 2*z + k = -2*c, -3*c - 5*z = -1046. Is c a multiple of 18?
False
Suppose -5*k + 0 - 5 = 4*i, 4*k + 4 = -3*i. Suppose i = -8*v - 0 + 32. Does 13 divide v/((-4)/(-39)) - 2?
False
Let i be (-6)/(-9)*647 + (-7)/21. Suppose i + 49 = 5*p. Is 4 a factor of p?
True
Let n be -8*(2 - 20/8). Suppose -2*k + 451 = 5*b, 0*b = -k + n*b + 193. Is k a multiple of 61?
False
Suppose -3*k - x - 19 = -8*k, x = -2*k + 2. Suppose -k*r + 32 = 23. Suppose 4*h - 109 = 3*c, r*c - 115 = -4*h - 0*c. Does 5 divide h?
False
Let j = 74 - 61. Suppose 0 = j*q - 7*q - 24. Suppose 2*v + 2*t = 76, -v - q*v = -3*t - 150. Is v a multiple of 33?
True
Let z(h) = 42*h**2 + 4*h + 4. Let o(i) = 4*i**2 - 1. Let y be o(-1). Is z(y) a multiple of 35?
False
Let a = 295 + -293. Is 45 a factor of a/((-56)/180)*-7?
True
Let m(v) = 10*v**2 - 12*v - 408. Is 40 a factor of m(-14)?
True
Let b = -190 + 196. Let c(o) = 76*o**3 - o**2. Let n be c(1). Is (n/b)/(3/6) a multiple of 6?
False
Let v(s) = -s**2 - 16*s + 22. Let k(i) = 2*i**2 + 33*i - 45. Let p(a) = 6*k(a) + 13*v(a). Let u be p(7). Let f = 41 - u. Is 18 a factor of f?
True
Suppose 5484 = y - 4*b, 4*y + 0*b + 2*b = 21828. Is 91 a factor of y?
True
Suppose 4*l - 2752 = 5*i - 32036, -29304 = -5*i - l. Is i a multiple of 3?
False
Let i = -59 + 66. Suppose 0 = g + 5*n - 443, -4*n = 13 + i. Does 11 divide g?
False
Suppose -2*f = -6*f - 2*r - 2, 5*r + 5 = -2*f. Suppose f = 21*d - 19*d - 8. Suppose 0 = 3*h - 6, -o + 3*o - d*h = 106. Is 16 a factor of o?
False
Suppose -2264900 + 96873 = -282*f - 259451. Is f a multiple of 48?
True
Let v(g) = 7978*g**3 + g**2 - 6*g + 4. Let s be v(1). Suppose -10119 = -29*u + s. Is u a multiple of 26?
True
Suppose 2 = 3*n + 32. Is 2*-1*4305/n a multiple of 41?
True
Let r = -26606 + 37694. Is r a multiple of 33?
True
Suppose 167*x = 528020 + 54142. Is x a multiple of 26?
False
Let v = 1190 - 1244. Suppose g + j + 54 = 2*g, -3*j + 128 = 2*g. Let s = g + v. Does 2 divide s?
True
Let t = 4533 + 507. Suppose 42*g - t = 38*g. Is 33 a factor of g?
False
Suppose 1773 + 477 = 5*r. Suppose -21*d = -26*d + r. Does 8 divide d?
False
Suppose 3*f - 7*f + 4 = 0. Let c be f*-86*(-1)/2. Let o = c - 26. Does 2 divide o?
False
Let f = -199 - -343. Is 16 a factor of f?
True
Suppose 127 = 33*x + 28. Suppose 5*h = 6*j - 3*j - 1853, x*j = -4*h + 1844. Is j a multiple of 8?
True
Let s(g) = -21*g - 41. Let d be s(-8). Suppose -820 = -129*j + d*j. Is 41 a factor of j?
True
Suppose 4*s = 4*q - 172, -3*q + s = 75 - 194. Let l be (-1*(3 + -1))/((-10)/(-85)). Let g = l + q. Does 3 divide g?
True
Let g be 1 - (12/6 + -717). Let q = -313 + g. Let b = -105 + q. Is b a multiple of 23?
False
Suppose 0 = -43*h + 66*h - 113137. Is 6 a factor of h?
False
Let h(u) = 1177*u + 8809. Is h(5) a multiple of 158?
True
Let r = -128 + 131. Suppose -r*s - 410 = -1472. Does 18 divide s?
False
Let k(n) = 12 + 17 - 35 + 16 + 2*n. Let z be k(-3). Suppose z*d - 109 - 143 = 0. Is d a multiple of 17?
False
Suppose -3*s = -5*y - 0*s + 55, 0 = 4*s - 20. Suppose -3*q + y = -184. Suppose -5*f = 4*c - 23 - 109, 2*c - q = 3*f. Does 3 divide c?
True
Let d be 4/42 + (-82950844)/(-2163). Suppose 48*v = -2158 + d. Is 26 a factor of v?
True
Let q(y) = y**2 + 3*y - 13. Let m be q(20). Let w be 6 + -1 - (m - 2). Does 20 divide ((-94)/(-8))/(7 - w/(-64))?
False
Suppose z = -5*h + 9*h - 68270, 2*h + z - 34126 = 0. Is h a multiple of 60?
False
Suppose 5*f = -5*j + 55, -21 = -3*f - 9*j + 12*j. Is (3 - (-4 + f))*(-324)/8 a multiple of 27?
True
Suppose 2*g = -5*t + 193, -24*g + 20*g = 3*t - 113. Suppose 8*y + 31992 = t*y. Does 21 divide y?
False
Suppose 3*p + 7 = -4*l + 1, -5 = 5*p + 5*l. Let a(f) = 11*f + 6. Let b(k) = k + 1. Let v(z) = p*b(z) - a(z). Is v(-6) a multiple of 10?
True
Let g(t) = -t - 8. Let c be g(-17). Suppose -q - c*q + 30 = 0. Suppose -5*y + 137 + 322 = -2*d, 0 = 2*y + q*d - 176. Does 13 divide y?
True
Let i = -474 - -999. Let d = -375 + i. Is d a multiple of 10?
True
Let u(p) = -13*p + 3. Let m(c) = -7*c + 1. Suppose -4*i + 62 = -5*g + 21, 0 = 5*g + 2*i + 47. Let t(o) = g*m(o) + 4*u(o). Does 17 divide t(9)?
True
Let n(m) = m - 17. Let c be n(27). Let u(q) = 21*q + 11. Is u(c) a multiple of 34?
False
Is 7 a factor of (378/4)/(399/5054)?
True
Let t be (125/10 + -6)/(3/6). Let n be t/((-260)/528)*-40. Suppose -15*w - w + n = 0. Is w a multiple of 11?
True
Is 2 a factor of -3 - 0 - (-4 + 7)/(21/(-39872))?
False
Suppose 4*s + 44*f = 47*f + 15648, 5*s + 4*f = 19529. Is 101 a factor of s?
False
Suppose 15*r - 19*r = -5628. Suppose -14*k - 245 = -r. Is 9 a factor of k?
False
Suppose 5*w = 219 - 39. Suppose 35*u = w*u - 4*g - 96, 218 = 2*u + 5*g. Is 13 a factor of u?
True
Let k(v) = -2*v + 1. Let y(t) = 5*t - 3. Let j(f) = 7*k(f) + 4*y(f). Does 14 divide j(22)?
False
Let f(b) = -b**2 + b - 1. Let x(z) = -4*z**2 - 54*z + 19. Let r(t) = 5*f(t) - x(t). Is r(20) a multiple of 76?
False
Suppose 0 = 3*d + 138 - 150. Suppose 135 + 821 = d*f. Does 4 divide f?
False
Does 5 divide (1500 - 3) + 104/8?
True
Suppose 9*y + 4590 = -6*y. Let g = -169 - y. Does 10 divide g?
False
Let d(f) = -15*f**2 - 4*f - 8. Let j be d(-7). Let n be (-1)/(-2) - (-2)/((-20)/j). Suppose -5*o = n - 292. Is 22 a factor of o?
True
Suppose 8 + 0 = 2*x - i, -4*i = 16. Is 13 a factor of 1/(-2)*10 + 892/x?
False
Let q be (-3)/9*-2*6. Suppose -q*a + 8*a = 8. Suppose -a*j = -0 - 16. Is j a multiple of 4?
True
Let h = 8084 + -7508. Is h a multiple of 16?
True
Let g(d) = -3*d**3 - 9*d + 35 + 5*d**3 - 7 + 29*d**2 - 14. Is 22 a factor of g(-13)?
True
Suppose 4*s = 446 + 878. Let v = s + -230. Is 35 a factor of v?
False
Let m = 144257 - 101984. Is 10 a factor of m?
False
Suppose 504 = -2*q - l - 3*l, 5*q - 2*l = -1284. Let r = -201 - q. Is r a multiple of 5?
True
Suppose 81*q + y + 2645 = 83*q, -9 = 3*y. Is q a multiple of 12?
False
Suppose -3*h - 11*u = -1876, -4*u + 2*u = -2*h + 1232. Does 16 divide h?
False
Let z be -1 + 2 + (17 - 9). Is 24 a factor of 3060/16 - z/(-12)?
True
Let d(l) = l**2 + 2*l - 13. Let t be d(8). Suppose -54 = -m + t. Let n = 235 - m. Does 34 divide n?
False
Suppose 1635 = -4*t + 1635. Suppose 8316 = 36*y - t*y. Does 77 divide y?
True
Suppose 2*r - 11 = -w + 6*w, 4*r - 15 = 3*w. Let h be 0*w/3*1. Is 9 a factor of (-8 - -7) + 122/(2 + h)?
False
Let m = -212 - -212. Suppose -2*c = -4*k + 536, -2*k = -m*c + 2*c - 280. Is 13 a factor of k?
False
Suppose 0 = -i + 2, -104 = 3*x - 8*x + 3*i. Suppose 99 + x = -u. Let o = u + 247. Is 17 a factor of o?
False
Let g = -51 - -6205. Is 12 a factor of g?
False
Let p = -4077 + 6435. Is 9 a factor of p?
True
Let s = 50 + -51. Let c be 2/s + 1 + (-58)/2. Is 10 a factor of (-10)/c + 236/3?
False
Suppose -2*v + 2139 + 6026 = 5*t, 0 = -5*t - 35. Does 41 divide v?
True
Let h be (24/21)/((-2)/(-7)). Suppose 0 = 3*f, 8*c = h*c - f + 152. Let w = c - 26. Is w a multiple of 4?
True
Let d = 4066 - 2044. Is d a multiple of 75?
False
Suppose -p + 4*r = 6, -4*p + 2*r + 4 + 0 = 0. Suppose 2*g = z - 524, 5*z + g = p*g + 2620. Is 33 a factor of z?
False
Is ((-121)/(-33))/((-9906)/3303 + 3) a multiple of 11?
True
Let z(w) = -w**3 + 33*w**2 - 36*w + 123. Is z(31) even?
False
Let i(f) = -f**3 + 26*f**2 - 15*f + 23. Let m be i(25). Suppose 6*u - 1713 = -m. Does 16 divide u?
True
Let c = 45 - 44. Let p be (0 - 1185/5)/c. Is 5 a factor of p/(-6) + 2/4?
True
Let t(w) = 2*w**2 - 3*w - 78. Let o be (40/(-14))/(32/112). Is t(o) a multiple of 32?
False
Suppose w + 0*w = i - 1, -4*i - 4*w = -4. Suppose -v = -i + 5. Let h(m) = m**3 + 6*m**2 + 4*m + 4. Is 6 a factor of h(v)?
False
Let q(r) = -2*r + 3. Let g = 3 - 3. Let i be q(g). Suppose i*j = -5*t + 119, 6*j - 3*j = -2*t + 116. Does 6 divide j?
False
Suppose -4*l +