actor of l(8)?
True
Suppose -5*i = 4*n - 1007, -i + 747 = n + 2*n. Is n a multiple of 43?
False
Is 42 a factor of (-7392)/(6 + 2)*-3?
True
Suppose -4*r + 1 = -15. Suppose -4 = -p + r. Suppose 222 = p*x - 34. Does 16 divide x?
True
Let d = -35 - -55. Suppose 4*w + 10 = 3*n + 6*w, -2*n = 4*w - d. Suppose 5*s - 56 - 4 = n. Is 12 a factor of s?
True
Let t(i) = 34*i**2 + 1107*i - 86. Is t(-39) a multiple of 19?
True
Does 27 divide (-148328)/(-16) - 98/28?
False
Let a be 4266/(-216)*(-18 - 2/1). Suppose 0 = -a*h + 387*h + 6272. Is h a multiple of 16?
True
Is 3 a factor of (1 + (19 - 0))*4554/165?
True
Suppose -4*j = -36*l + 31*l + 215913, 0 = 3*l + j - 129524. Does 42 divide l?
False
Let c = -1383 - -3105. Is c a multiple of 82?
True
Let y be 295/4 - 42/56. Suppose -2*o + 713 - y = 0. Suppose -5 = 7*j - o. Does 9 divide j?
True
Let l(x) = -7*x + 65. Let v be l(10). Let p be (-160)/2 + 5/v. Is p/(-135) - 477/(-5) a multiple of 11?
False
Let c be (8/(-6))/((-2)/(-6)). Let a(o) = -36*o + 22. Let w(h) = -49*h + 22. Let q(t) = -5*a(t) + 4*w(t). Does 6 divide q(c)?
True
Let h be 2*5/(-3)*6/4. Let c be ((-1)/(-4))/(h/(-60)). Suppose -4*b - c = -187. Is b a multiple of 3?
False
Let a be (-1)/(-1*(1 - 0/5)). Is 35 a factor of (141 - a)*(-40)/(-16)?
True
Let r(x) = -387*x + 9155. Is r(22) a multiple of 3?
False
Let v be 9/12 + (-561)/(-68). Suppose 645 = v*i + 105. Does 6 divide i?
True
Let h(q) = -q**2 + 48*q - 183. Let y(t) = 3*t**2 - 18*t - 7. Let z be y(8). Is h(z) a multiple of 34?
False
Suppose 5*w + 2*x + 9170 = -3*x, 5*w + 4*x = -9169. Let p = 2651 + w. Does 37 divide p?
False
Let c = 5477 - 2081. Is c a multiple of 46?
False
Let u(x) = -1845*x - 261. Is 18 a factor of u(-3)?
True
Let q = -21779 + 31575. Is 14 a factor of q?
False
Let b(v) = 9 - 28*v**2 - 3 + 29*v**2. Let r be b(-3). Is 46 a factor of (-170)/r*4*-3?
False
Let y be 406/4*(0 - (-5 + 3)). Suppose 3*n + h = y, 4*n - 2*h = -6*h + 284. Is n even?
True
Let m be (-39)/(-9) + (-1)/3. Suppose -l + 5*c + 69 = 0, 0 = 3*l - l + m*c - 110. Is 10 a factor of l/2 - 12/(-24)?
True
Let r be -14*(-2 + 4)*(-4)/16. Suppose 249 = -r*z + 10*z. Suppose 2*p = n - z, 4*n = 5*p + 163 + 157. Does 43 divide n?
False
Suppose 3*y - 120 = -5*q, -3*q - 3*y = -50 - 28. Does 7 divide q?
True
Let v = -15649 + 25364. Is 28 a factor of v?
False
Let w = 658 - -3137. Is 23 a factor of w?
True
Suppose -132788 = -4*r + 2*d, -74738 + 8332 = -2*r - 2*d. Is 86 a factor of r?
False
Let w = 416 - 137. Suppose l - 2*j - 273 = 0, -4*l - 4*j + w = -3*l. Is l a multiple of 25?
True
Let u(v) = 11*v**2 - 15*v + 38. Let g be u(5). Does 83 divide (7592/511)/(4/g)?
False
Suppose -9*p - 12656 = -64909 - 48376. Does 40 divide p?
False
Let p be ((-5293)/(-134))/(2/(-2424)). Is 31 a factor of p/(-63) + (-22)/(-231)?
False
Let j(f) = f**3 + 31*f**2 - 360*f - 123. Does 4 divide j(-34)?
False
Suppose -15 = -3*w, 24*z - 22*z - 21325 = -9*w. Is 95 a factor of z?
True
Suppose -39*k + 50*k = 165. Suppose 2*x - 7*x - 2*v = -461, -5*v + k = 0. Is 7 a factor of x?
True
Let u(q) = 4*q. Let a be u(1). Suppose -4*z + 2*b = -2*z - 110, -a*z + b = -232. Let k = z - 40. Is k a multiple of 19?
True
Let z(m) = -m**2 + 12*m - 11. Let f(g) = -g + 14. Let a(b) = 3*b - 42. Let l(y) = 2*a(y) + 7*f(y). Let t be l(4). Is z(t) a multiple of 9?
True
Let c be ((-2)/4)/((-2)/16). Suppose 8 + 8 = c*q. Suppose 5*v - 83 = q*v. Does 15 divide v?
False
Let b(j) = 2*j**2 - 115*j - 268. Does 13 divide b(70)?
True
Let x(d) = -371*d - 121. Does 20 divide x(-9)?
False
Let m(s) = -s**2 - 8*s - 11. Let l be m(-5). Suppose 2 + 6 = -l*c, c + 362 = 4*x. Suppose -8*w + 3*w = -x. Is 6 a factor of w?
True
Suppose -23304 = -5*h - 12*w + 9*w, -7*h + 5*w + 32644 = 0. Does 126 divide h?
True
Suppose 77*u - 22670 - 283603 = 250745. Does 67 divide u?
False
Suppose 145*s + 25868 = 3*b + 146*s, 3*b - s - 25852 = 0. Is 10 a factor of b?
True
Suppose 0 = 3*u - 4*u, -4*q - 2*u + 16 = 0. Let a(o) be the first derivative of 15*o**2 - 15*o + 7256. Does 18 divide a(q)?
False
Let n(y) = 60*y**2 + 353*y + 2755. Does 9 divide n(-8)?
True
Let l be 13/3 + 80/120. Suppose -l*u + 2085 = 5*f, u - 251 = -3*f + 160. Is u a multiple of 15?
True
Let x(u) = 16*u - 16. Let t be (-5)/15 - (-37)/3. Let a be 1*-27*t/(-36). Is 32 a factor of x(a)?
True
Let k = -39 - -19. Let b = k - -20. Suppose b = 5*p - 25, 0*c - 4*p + 32 = 4*c. Is c a multiple of 2?
False
Suppose 22 = -5*v + 7, 5*v - 310 = 5*p. Let o = p + 53. Is 28 a factor of (4/o*2)/((-2)/420)?
True
Suppose -24 = -3*l - 9. Let f(t) = -t**3 + 32*t**2 + 31*t + 66. Let g be f(33). Suppose -i - l*i + 132 = g. Does 4 divide i?
False
Let c(t) be the second derivative of t**5/20 + t**4/6 - t**3/6 + t**2 + t. Let x = -1503 + 1506. Does 6 divide c(x)?
False
Let x(u) = 1473*u + 1318. Is 136 a factor of x(10)?
True
Suppose -4*t = 203 + 3817. Let b = 2512 + t. Does 56 divide b?
False
Let y = 2154 - 1335. Suppose 21*t - y = 8*t. Is 7 a factor of t?
True
Is 87 a factor of (21 - -3721) + 7 + -8?
True
Let c(u) = u**3 + u**2 - 9*u - 5. Let l be c(-3). Suppose 4370 = 5*t - 5*h, 5327 - 1871 = 4*t + l*h. Is t a multiple of 57?
False
Suppose v - 11 = 2*v - z, 0 = -3*v + 5*z - 37. Let g(q) = 20*q + 27. Let n be g(v). Let i = n + 282. Is i a multiple of 15?
False
Let w be 9/6 + -2 + (-44)/(-8). Suppose 11*f - 432 = -w*f. Is 27 a factor of f?
True
Suppose -3*b + 18*b = 16260. Is b a multiple of 35?
False
Suppose -89310 + 149762 = 44*p - 435868. Is p a multiple of 20?
True
Let w be -20*(8/14)/(7/49). Let i = 530 + w. Does 6 divide i?
True
Let q be 12/(4 - (4/(-8) + 3)). Suppose -q*d = -6*d - 10. Suppose 3*c = d*g + 303, -c + 95 = 4*g - 23. Does 25 divide c?
False
Let h(u) = -7*u - 81. Let s be h(-19). Suppose -s*k + 2450 = -45*k. Is 10 a factor of k?
True
Let z = 1202 - 809. Suppose y + 63*g - z = 60*g, 4*y = -2*g + 1612. Does 27 divide y?
True
Let u(j) = j**3 + j + 76. Let d be u(0). Suppose 4*b = -5*o + 468, 0 = b - 2*b - o + 116. Let g = b - d. Does 4 divide g?
True
Let f be 18*1/((-18)/(-4)). Suppose 5*s - 5*w = -f*w - 123, s + 15 = -3*w. Does 11 divide (-76)/(-6) - (-16)/s?
False
Suppose 2*g + 24748 = z + 7*g, -2*g = 2*z - 49528. Does 9 divide z?
True
Suppose 3*m - 4*m = -5*v + 13, -5*v - 3*m = -1. Suppose -3*w - 9 = -6*w - 3*f, 0 = f + v. Suppose w*b + 19 = -6, 0 = k - b - 97. Is 23 a factor of k?
True
Let b(d) = d**3 - 38*d**2 + 44*d - 20. Let i be b(37). Let p = -219 + i. Is p even?
True
Let d = 156 + 1274. Suppose 9*w = d + 730. Is 24 a factor of w?
True
Let v = 50 + -45. Let i(q) = -v*q**2 + 13*q + 9*q**2 + q**2 - 4*q**2 + 2. Is 19 a factor of i(-21)?
False
Suppose 45*p - 5274 - 4120 = 2486. Is 33 a factor of p?
True
Let j(y) = -99*y**3 + 3*y + 2. Let r be j(-1). Suppose -f + r = -3*f. Let g = 81 + f. Is g a multiple of 8?
True
Let s be 6814795/(-2065) + (-2)/(-28)*2. Is 18 a factor of (-1)/(3/s) + (-4 - -2)?
True
Let u be (3510/14 - (-36)/126) + 1. Suppose -4*l = 12, 4*v - 3*l = -u + 2717. Does 32 divide v?
False
Suppose -3*x + 2*x + 391 = -2*o, 0 = -3*x + 3*o + 1176. Let n = x - -417. Is 13 a factor of n?
False
Let m = 2256 - -881. Does 17 divide m?
False
Let j = 11484 + -9774. Is j a multiple of 4?
False
Let s(c) = 20*c**3 + c**2 - 3*c + 3. Let g be s(2). Let r = g - 26. Is 3 a factor of r?
True
Suppose -11*x + 675 = -260. Suppose 0*d + 5*d = 5*o + x, -33 = -2*d + 3*o. Does 14 divide d?
False
Let p(o) = o**2 - o - 22. Let j be p(-6). Suppose -48*a + 2828 = -j*a. Is a a multiple of 4?
False
Suppose 2*f = -4*y + 20, 0*y + 3*y + 11 = 5*f. Suppose 5*k - 28 = 4*m + k, -f*k + 8 = -2*m. Let d = 38 - m. Is 12 a factor of d?
True
Let w(d) = -d**3 - 5*d**2 - d. Let p be w(-5). Suppose 7 = 4*q - 6*q - 5*b, 23 = p*q - b. Suppose -3*k = q*v - 347, 69 = -4*v - k + 422. Is 14 a factor of v?
False
Suppose 104 = -o + 29. Let n = o - -79. Suppose -2*p + n*p = 2*k - 90, 141 = 3*k - 5*p. Does 4 divide k?
False
Let f(v) = v**3 - 35*v**2 - 5*v - 81. Let x be f(35). Suppose 912 = 3*j - 618. Let o = x + j. Is o a multiple of 15?
False
Let m be (-2)/(-9) - 2948/(-99). Let x = m - -114. Does 16 divide x?
True
Let l(v) = -308*v**3 + 4*v**2 + 7*v - 9. Is 19 a factor of l(-3)?
True
Suppose 3*c - 30738 = 109*y - 104*y, 3*y = 18. Is 42 a factor of c?
False
Let i(f) be the first derivative of -f**5/20 - 