Let i = f + -147. Let b = i + -45. Is b a multiple of 15?
True
Let y(u) = u**3 + 6*u**2 + 9*u + 6. Let i be y(-4). Suppose 4*k = c - 11, -4*k + 0*k = i*c + 2. Does 50 divide 458/(3 + c/(-3)) + -2?
False
Suppose 62*p = 64*p - 3*w - 106, 5*p = 5*w + 260. Suppose p*m - 5094 = 32*m. Does 10 divide m?
False
Let t(s) = 5 + 50*s + 5*s - 3*s + 10*s. Does 12 divide t(3)?
False
Is 1088718/435 - (-8)/(-10) a multiple of 4?
False
Let s(g) = 271*g - 1385. Does 27 divide s(15)?
False
Let x be (-1)/2 - (-99425)/50. Suppose x = 14*w - 1064. Does 12 divide w?
False
Suppose 0 = -75*g + 2717563 - 353788. Does 15 divide g?
False
Let t(v) = v**2 + 3*v + 6. Let a = -28 - -25. Let m be t(a). Does 7 divide (32 + 13)*8/m?
False
Let q(g) = 18*g**2 - 416*g + 69. Does 2 divide q(24)?
False
Let z = 1077 + 64. Is z a multiple of 24?
False
Let w = -1743 - -3279. Is w a multiple of 41?
False
Let u = 11733 + -3583. Is 13 a factor of u?
False
Suppose 15342 = p + 4*b, -111*b = p - 112*b - 15322. Is p a multiple of 97?
True
Suppose 0 = -4*o - 164 - 272. Let i = o + 156. Is i a multiple of 22?
False
Let k(o) = o**3 + 14*o**2 + 14*o + 11. Let x be k(-13). Let v(s) = -s**3 + s. Let p be v(-1). Is -3 - (p + x - -19)*-7 a multiple of 14?
False
Let n(b) = b**3 - 85*b**2 - 31*b - 198. Is n(88) a multiple of 26?
True
Let b(z) = -14*z**2 + 4*z + 6. Let s(v) = -14*v**2 + 5*v + 7. Let o(k) = -5*b(k) + 4*s(k). Suppose -6 = 11*f - 28. Is 9 a factor of o(f)?
True
Suppose 0*g + 248 = 4*g. Let j be ((-18)/(-27))/((-2)/9). Let r = j + g. Does 8 divide r?
False
Let z(v) = v**3 - 6*v**2 + 16*v - 21. Is z(12) a multiple of 15?
True
Let u = -445 - -418. Let h(c) = -8*c - 205. Is 2 a factor of h(u)?
False
Suppose -121*a = v - 120*a - 2117, 0 = -v - 3*a + 2129. Does 135 divide v?
False
Let o(c) = 116*c - 31*c - 22*c - 30*c - 9*c + 14. Does 14 divide o(7)?
True
Let g = 19889 - 15726. Is 6 a factor of g?
False
Suppose 4*s + 43069 = 19*s - 22466. Is 73 a factor of s?
False
Suppose -3*p - 5*s + 12968 = 0, -p - 2*s - 836 + 5160 = 0. Is p a multiple of 52?
True
Let r = -2250 - -2481. Is r a multiple of 77?
True
Let o = -181 + 190. Suppose o*a - 13*a + 376 = 0. Is a a multiple of 28?
False
Let w be ((-6)/(-9))/((-7)/3381). Is (-4)/(-46) + (-23156)/w a multiple of 12?
True
Let w be ((-12)/8)/((-24)/64). Let h(p) = 29*p**2 + 12*p - 10. Is h(w) a multiple of 13?
False
Let i = -3302 + 7054. Does 8 divide i?
True
Let n(l) = -3*l - 30. Let y be n(-10). Suppose y = -3*g + 2*g - 8. Is 28 a factor of -1 + 4/g + (-187)/(-2)?
False
Let r = -107 - -22. Let n = r + 107. Is n even?
True
Suppose -5*r + 2*r = -q + 606, 0 = -4*r + 4. Let j = q - 122. Does 38 divide j?
False
Suppose 4310 = 4*q - 2*q. Let b = -1520 + q. Does 5 divide b?
True
Let t be (-12)/9 - 91/(-3). Let i = 55 - t. Suppose -3*l + i = -5*u - 100, -u = -3*l + 126. Is 14 a factor of l?
True
Suppose 402 = 19*v - 111. Let x(w) = 2*w**2 - 3*w - 107. Does 78 divide x(v)?
False
Let t = 421 + -397. Suppose 10454 = t*n + 2102. Does 29 divide n?
True
Let c = -12832 - -19725. Is c a multiple of 15?
False
Let g(p) be the second derivative of 30*p + 7/6*p**3 - 11*p**2 + 0. Is g(10) a multiple of 6?
True
Let a be 5*2/5 + 3/1. Let c = -31 - 5. Is c/(1 + 2)*(2 - a) a multiple of 8?
False
Let d be 1/(-2)*9652/19. Does 44 divide (d/6)/(2/(-6))?
False
Suppose 14*h - 4320 = -31*h. Is 22 a factor of h/336 - (-523)/7?
False
Suppose -n = -5*c - 106, -5*n = -6*c + 7*c - 634. Suppose n + 99 = 5*i. Is i a multiple of 10?
False
Suppose 3*c - 24938 = 17*t, 4*c = 3*t + t + 33400. Is 129 a factor of c?
False
Let t = 1670 - 1021. Let g = -235 + t. Is g a multiple of 16?
False
Let n be (-5 + 5 + 2)*-94. Let y = n + 306. Suppose o - y = 5. Is 9 a factor of o?
False
Let s = 187 - 182. Suppose -253 = -q - s*d, -5*q + 262 = -4*q - 4*d. Is 26 a factor of q?
False
Let f = -303 + 307. Does 36 divide (-1294)/(-4) - f/(-16)*2?
True
Is (114454/12 - 1) + (-626)/(-3756) a multiple of 11?
True
Let h be 0/(-16)*(-2)/4. Suppose 4*z - 9*z + 545 = h. Does 13 divide z?
False
Suppose 5*s - 31 = -i, 0*i = 4*i + 3*s - 39. Suppose -p = -i*p + 70. Let g = p - -1. Is 8 a factor of g?
False
Suppose -4*t = 0, -2424 = -2*a - 5*t + 2372. Suppose 24*s + a = 16222. Is 12 a factor of s?
True
Let a be 1*3 - -4*47/2. Suppose 5*h - 2*h = 4*i + 137, -3*h + a = 4*i. Is h a multiple of 21?
False
Let q(u) = u**3 - 14*u**2 - u + 18. Let p be q(14). Suppose 3660 = 97*h - 36*h. Suppose -p*v + 72 = 2*s, 3*v + 4*s + h = 7*v. Is v even?
False
Let n(a) = -a**3 + 33*a**2 + 17*a - 4. Let g be n(32). Suppose -5*m + 2*d = -1848, 5*m - d = g + 280. Is m a multiple of 23?
True
Let c(j) be the first derivative of 3*j**4/2 + 4*j**3/3 - 2*j**2 - 2*j + 22. Let q be c(2). Is 10 a factor of ((-630)/q)/(-1 + 2/3)?
False
Let k be -3*((-3)/9)/((-1)/(-2)). Let f be -8*(-3)/3 + k. Suppose 0 = -n + f - 5. Is n a multiple of 2?
False
Let g(l) = 12*l + 7. Let y be g(1). Suppose 6*i - y = -73. Let b = i + 161. Does 16 divide b?
False
Let i = 210 - 207. Is 2 a factor of i/(1/7*(11 + -10))?
False
Suppose -18*l + 56032 = -14*l + 30*l. Does 13 divide l?
False
Suppose 2*o + n - 48822 = 0, 23*o - 3*n = 24*o - 24401. Does 117 divide o?
False
Let k = 239 + -234. Suppose 0 = -b - 2*z + 22 + 4, 74 = 3*b + k*z. Is b a multiple of 3?
True
Suppose 102*u - 1122867 = -70*u - 7*u. Is 41 a factor of u?
True
Suppose 5*d - 2034 = 5*u + 5061, -2*d + 2830 = 2*u. Let k = -169 + d. Is k a multiple of 39?
True
Let f be 54*((-52)/(-12) + -4). Let l = 27 - f. Suppose -h + 42 = -l. Does 17 divide h?
True
Suppose -m - m + 2*o = -118, -4*m = -2*o - 230. Is 27 a factor of (-16)/28 - (-45392)/m?
True
Let h = -147 - -165. Suppose -g - 1445 = -h*g. Is 13 a factor of g?
False
Suppose -5*c + 2*k + 32 = 0, 0 = c + 3*c - 4*k - 28. Suppose t + c = q + 2*q, 4*q + 3 = 5*t. Suppose -q*p = -52 - 128. Is 12 a factor of p?
True
Let z = -41 + 46. Suppose -c + z*g + 168 = c, 290 = 3*c + 2*g. Let o = -59 + c. Is 7 a factor of o?
True
Does 24 divide (((-693)/35)/(-11))/((-6)/(-19860))?
False
Let d = -18567 - -24003. Is d a multiple of 7?
False
Let k(a) be the first derivative of a**3/3 + a**2/2 + 10*a - 53. Is k(10) a multiple of 12?
True
Let l(p) = p**3 + 26*p**2 - 77*p - 860. Is 5 a factor of l(-14)?
True
Let y(w) = -21*w + 138. Let d be y(-7). Suppose 3*b + 9 = 0, -3*b - 2*b + d = 5*z. Is 5 a factor of z?
True
Suppose 0 = -12*j - 9381 + 108093. Is 10 a factor of j?
False
Let t(s) = s + 2. Let v be t(5). Let k = 73 + -45. Suppose 0 = -v*w + 3*w + k. Does 7 divide w?
True
Suppose 25*p - 48570 = 6*p + 165750. Is 193 a factor of p?
False
Let h be (-4)/14 + (-304)/(-133). Suppose -2*t - 2*o - 3*o - 10 = 0, 2*o = -2*t + h. Suppose -5*y + 418 = 4*z, -t*z + 5 = -5. Is 16 a factor of y?
False
Let k(h) = h**2 - 13*h + 32. Let g be k(13). Let t = g - 30. Suppose -t*b + 4 = 6*o - 2*o, -5*o = 3*b - 8. Is b a multiple of 6?
True
Let g(z) = -1275*z**3 + 13*z**2 + 15*z + 26. Is 28 a factor of g(-2)?
True
Suppose 0 = 2*k + 3*a + 151, 0*k = 5*k - a + 369. Does 3 divide 4*((-15)/(-10))/((-12)/k)?
False
Let j be (-1)/((3/(-18))/(15/(-18))). Let r = j - -12. Does 5 divide r?
False
Let y(w) = -4*w - 93. Let q be y(-22). Is 5/q - -44*12/8 a multiple of 5?
True
Suppose 19*g + 13*g - 130594 = 113662. Does 25 divide g?
False
Suppose -33*w + 34*w - 493 = 0. Suppose -z = 3*b - w, z - 5*b = -z + 953. Is z a multiple of 44?
True
Suppose u - 4*n = 6, -4*u = -3*n - 24 - 26. Let o(d) = d - 14. Let x be o(u). Does 22 divide 3 + 67 + 4/4*x?
False
Suppose -3*a + 9*a + 2742 = 0. Does 23 divide a/(-2) - (-111)/74?
True
Suppose -2*q - r = q - 1274, 5*q - 3*r = 2128. Is (-4)/34 - (-14925)/q even?
False
Is (-217)/(-28) + -8 - (-7561)/4 a multiple of 9?
True
Suppose 4*a - 9 = 3*n, 7*n + 15 = -5*a + 2*n. Suppose -5*z - 2 - 8 = a. Does 9 divide z/13 - (1 - 1068/13)?
True
Let y be 27/6 - (-7)/(-14). Suppose -y*b = -4*p + 3*p - 38, -2 = -p. Suppose -32 = -i + b. Is 7 a factor of i?
True
Let j = 24856 - 12415. Is 46 a factor of j?
False
Let x(v) = -6*v**3 - 9*v**2 - 3*v. Let c be x(-8). Suppose -2*k + c = 6*k. Is k a multiple of 9?
True
Let n = -3703 + 8409. Does 10 divide n?
False
Let c be (-1120)/(-15)*9/6. Suppose 0 = 22*l - 878 - c. Is l a multiple of 15?
True
Let s = -581 - -711. Suppose -3*p = -2*z - 1660, 3*z - s = -145. Is 25 a fac