factor of l?
True
Let n = 2 + 5. Does 3 divide (162/(-63) - 3/n) + 18?
True
Suppose 5*i = 33 + 1207. Let n = -116 + i. Is 11 a factor of n?
True
Let t(q) = q**3 + 5*q**2 + q. Let z be t(-5). Does 29 divide ((-14)/(-3))/(1748/348 + z)?
True
Suppose 3*t - g = 874, 10*t + 5*g + 1460 = 15*t. Is 76 a factor of t?
False
Let b(w) = 5*w**3 - 7*w**2 - 16*w - 11. Let g(d) = d**3 - d**2 - d - 1. Let c(a) = b(a) - 4*g(a). Is c(6) a multiple of 19?
False
Let z(h) be the first derivative of 8*h**2 + 2*h + 5. Does 9 divide z(1)?
True
Is 23 a factor of 9/18 + (-833)/(-2)?
False
Suppose -g + 1 = p + 2*g, 100 = 5*p - 4*g. Is (3 + (-69)/(-12))*p a multiple of 32?
False
Is (240/(-45) - -4)/((-2)/108) a multiple of 12?
True
Suppose 4*x = -4*j + 4, 2*j + 0 = -5*x - 4. Let h(d) = -3*d**2 + 10 - 10 - d**j. Is h(-4) a multiple of 6?
False
Let m = -390 + 730. Is m a multiple of 17?
True
Let l = 1772 + -1243. Is l a multiple of 23?
True
Suppose -15*a + 3152 = a. Is 6 a factor of a?
False
Let r be (-12)/24 - ((-550)/4 + 1). Suppose r = 2*d - 26. Is 9 a factor of d?
True
Suppose 7 = 4*k + 15, h + 3*k - 156 = 0. Suppose 0 = 161*v - h*v + 304. Is v a multiple of 16?
True
Let c(m) = 2667*m + 6. Is 18 a factor of c(1)?
False
Let q be (-6)/9*(-30)/4. Suppose -4*y + 36 = q*l, -4*l + 2*l = 5*y - 28. Suppose -y*h = -8, -3*k - 34 = -7*k - h. Does 8 divide k?
True
Suppose -5*b + 0 = -0. Suppose b = 3*k + v - 107, v = 4*k - 4*v - 130. Is 7 a factor of k?
True
Suppose -5*t - 4*i - 2 = 0, 4*t - 2*i - 17 = i. Suppose -3*h + 4*m = t*h + 14, 2*h + 9 = 5*m. Let u = h + 5. Is u a multiple of 3?
True
Let n(u) = -4*u - 5*u + 7*u. Is n(-12) a multiple of 12?
True
Suppose -9*b - 28 = -82. Suppose 5*z = -b*r + 4*r + 716, 2*z = -r + 286. Is z a multiple of 18?
True
Suppose -16*p + 28*p = 384. Is p a multiple of 3?
False
Let h = -13 + 451. Suppose -16*x + h = -13*x. Is 35 a factor of 0 - 3 - x/(-2)?
True
Suppose 0 = -5*s + 72 + 18. Let d = s - 13. Suppose g + 0*k - 56 = d*k, -2*g = -4*k - 94. Is g a multiple of 16?
False
Suppose 0 = -4*a - 70 - 566. Let m = a - -222. Is 20 a factor of m?
False
Let u = 144 + -179. Is 12 a factor of ((-7)/5)/(1/u)?
False
Let v(a) = 142*a + 13. Let f be v(10). Let i be f + (2 + -1)*-3. Is i/35 + 2/14 a multiple of 21?
False
Let p = -18 - 33. Let y = 98 + p. Is y/7 + (-26)/(-91) even?
False
Let i = -1657 + 986. Does 5 divide (-1)/3 - i/33?
True
Let l = -1168 + 1384. Is 18 a factor of l?
True
Let c = 527 - 438. Does 32 divide c?
False
Is 4536/6 + (-30)/3 a multiple of 23?
False
Suppose -30*r - 2304 = -34*r. Does 72 divide r?
True
Let k be (0 - 1)*4*3/4. Does 11 divide 48 + (k - -1) + -2?
True
Suppose -2712 = -8*t - 4*t. Does 6 divide t?
False
Let o be 2*(2 + 3)*5/5. Suppose -f = 5*h + 3, f + h - o = 7. Does 7 divide f?
False
Suppose 0 = -3*y + 3 + 3. Let h be (-790)/(-4) + 1/y. Is 11 a factor of (6/(-18))/((-2)/h)?
True
Let p = 59 - 56. Suppose 7*d = p*d + 36. Is d a multiple of 3?
True
Let j(r) be the third derivative of r**6/360 + 4*r**4/3 - 5*r**3/6 + 4*r**2. Let y(f) be the first derivative of j(f). Is y(0) a multiple of 12?
False
Let p = -23 - 2. Let g = 28 + p. Let i = 24 - g. Is i a multiple of 7?
True
Let d = -502 + 667. Is d a multiple of 33?
True
Suppose 2*r = -3*c + 1239, c - 3*c = 2. Does 57 divide r?
False
Let b(n) = n**3 - n**2 - 2. Let v be b(2). Suppose 0 = 2*y + y + v*m - 115, 5*y - 193 = -3*m. Suppose -s = -11 - y. Does 13 divide s?
True
Suppose 6*f - 36 = 8*f. Is 13 a factor of (f/(-15) - 2)/(4/(-520))?
True
Suppose 0 = 3*q - 3. Let x be 0 - (4 - q*-8). Is -18*(56/x - -4) a multiple of 2?
True
Let z(b) = b**3 - 2*b**2 - 2*b - 1. Let a be z(3). Suppose -s + 12 = a*s. Suppose 91 = s*r - 17. Does 9 divide r?
True
Suppose 0 = -2*g + 6*g, -b - 3*g = -2327. Is 46 a factor of b?
False
Let t = -71 + 75. Suppose t*o - 2*c = 22, 2*c - 9 = -2*o + 5*c. Does 6 divide o?
True
Suppose 0 = a - 3*q - 12, 3*a - 12 = 5*q + 40. Does 2 divide a?
True
Suppose -3*i - 8*w + 6*w = 25, -20 = 4*w. Does 39 divide 156 - 0/(3/(i - -2))?
True
Let f = 1134 + -725. Does 6 divide f?
False
Let i = 810 - 555. Is i a multiple of 15?
True
Suppose -5*f = 4*n - n + 84, 5*n = 5*f + 60. Is 13 a factor of (-984)/f + -1 - (-4)/10?
True
Suppose -37*f = -45*f + 632. Is f a multiple of 3?
False
Suppose o - m - 4 = -7, -5*o - 6 = 4*m. Let b = 1 - o. Suppose b*t = -3 + 21. Is t a multiple of 6?
True
Suppose c + 4*b = 1178, 0 = 3*c + 2*c + 4*b - 5842. Does 11 divide c?
True
Suppose -8*t - 110 = -13*t. Suppose 0 = 2*v + 4, 2*s - 5*v - t = -2*s. Suppose -2*i = n + 25 - 88, s*n - 165 = 2*i. Is 16 a factor of n?
False
Let z(y) = -6*y**3 + 2*y**2 + 6*y + 3. Let m be z(-2). Suppose 8*w = 281 + m. Does 5 divide w?
False
Suppose 5*u + 62 = -238. Let h = u + 85. Suppose -3*i - 7 = -h. Is i a multiple of 6?
True
Is 24 a factor of 6 + (-5 - (-4 + 4 - 496))?
False
Suppose 6*f - f = 25. Suppose -f = -2*l + 4*i + 161, 4*l + 3*i = 343. Is l a multiple of 13?
False
Is 12 a factor of ((-225)/(-10))/((-3)/(-120) - 0)?
True
Let o(k) = -k**3 - 9*k**2 + 2*k - 9. Let h be o(-9). Let a = h + 87. Is a a multiple of 20?
True
Let r(c) = -c**2 + 18*c - 11. Let l = 63 - 58. Is r(l) a multiple of 18?
True
Let s = 6008 + -3348. Is 133 a factor of s?
True
Let p(j) = -j**2 + 1. Let s be p(1). Suppose 0 = 5*r + 4*o - 25, -4*o + o = s. Suppose r*t = t + 112. Is t a multiple of 7?
True
Let r = 563 + -329. Does 35 divide r?
False
Let n(k) = -4*k + 62. Is 5 a factor of n(9)?
False
Let m(q) = -q**3 + 15*q**2 + 2*q - 4. Let n be m(15). Let u = 42 - n. Does 11 divide u?
False
Let l = -17 + -3. Does 9 divide ((-16)/l)/(2/100)?
False
Suppose 0 = -q - 4*i - 0*i + 15, -5*q = 5*i - 75. Is 6 a factor of 2*q/10 - -33?
True
Let j = -144 - -147. Is j even?
False
Let p be (1/(-2))/(2/4). Let i(f) = 15*f**2 + 2*f + 1. Let s be i(p). Is 7 a factor of s*((-3)/2 + 2)?
True
Let r = 845 - 358. Does 18 divide r?
False
Suppose -56*f = -55*f - 420. Is 13 a factor of f?
False
Suppose 0 = 14*t - 12*t + 24. Let n be 42/4*(-80)/t. Suppose -84 = -3*i - 3*z, -3*i - n + 168 = -4*z. Is 11 a factor of i?
False
Suppose 26*s - 1861 + 197 = 0. Is 17 a factor of s?
False
Let h(b) = 2*b**2 + 7*b - 3. Let i be h(-6). Suppose -57 = -3*k - u - 7, 2*k - u - 40 = 0. Let n = i + k. Does 15 divide n?
True
Let f(l) = -160*l + 1. Let u be f(-11). Suppose 4*q - w - u = 0, 0*w + 1 = -w. Suppose 5*d = 4*r - q, -2*r + 2*d = 2*r - 428. Is 27 a factor of r?
False
Suppose -55 + 8 = -u + j, -46 = -u + 2*j. Let h = u - 24. Does 12 divide h?
True
Let x(y) = -y**3 - 12*y**2 - 2*y - 15. Is x(-13) a multiple of 45?
True
Suppose -r + 745 = 5*a + 2*r, -4*a = r - 596. Is 10 a factor of a?
False
Suppose 2*b = -5*h + 5, -b - 4*b = 3*h - 3. Let r = h + 26. Is 26 a factor of r?
False
Let m(c) = c**3 + 27*c**2 + 2*c - 32. Is 15 a factor of m(-25)?
False
Is (-305)/(7/2 - 4) a multiple of 61?
True
Let r(z) = 2*z**2 - 22*z + 8. Suppose a - 21 + 7 = 3*m, -3 = 3*m. Is 8 a factor of r(a)?
True
Let k be ((-6)/4)/(2/(-4)). Is k - 0 - (-4 - -1) a multiple of 2?
True
Let p(i) = i**3 + 10*i**2 + 9*i + 2. Let t be p(-9). Suppose 0 = 2*h - 6, -c - t*h = c - 132. Suppose 6*s = c + 93. Is 13 a factor of s?
True
Suppose t - 9 = -25. Suppose -8*b = 8*b - 64. Does 10 divide (-184)/t - (-2)/b?
False
Let w(f) = f**3 + 18*f**2 - 20*f - 13. Let m be w(-19). Suppose -5*r = m*g - 2*g - 1528, 0 = -3*r - 3*g + 918. Does 21 divide r?
False
Suppose 7*z = -2*z - 648. Let n = z - -99. Does 27 divide n?
True
Suppose -4*i - 15 = -9*i. Let k(j) = 3*j**i - 59*j - 2 - 2*j**2 + 2 + 63*j. Is k(2) a multiple of 12?
True
Let l(d) = -d**2 + 8*d - 4. Let w be l(7). Let p be ((-9)/(-2))/(w/36). Let z = 77 - p. Is z a multiple of 11?
False
Let o(x) = -x**3 - 4*x**2 + 4*x - 1. Let l = 8 - 13. Let q be o(l). Suppose 0 = -q*u - 5*v + 91, -2*v - 73 = -3*u - v. Is 8 a factor of u?
True
Let m be 140/(-15) - 5 - 4/6. Let k = 5 - m. Is 20 a factor of k?
True
Let o(p) = p**2 - 3*p - 71. Is 5 a factor of o(-28)?
False
Let j = -5 + 6. Let w = 37 - 39. Is 17 a factor of (j/3)/(w/(-222))?
False
Let v = 169 + 923. Is 26 a factor of v?
True
Suppose -5*v + 38 = -2*q, 0*v - 3*q + 6 = 3*v. Suppose 0 = v*h + 57 - 417. Is h a multiple of 17?
False
Suppose 4508 = -16*m + 23*m. Is 95 a factor of m?
False
Let c(m) = 18*m + 6. Let y = 23 - 19. Suppose -l + 17 