23)/164). Let r(h) = 46*h**2 - 40*h + 3. Is r(d) a multiple of 10?
False
Let y be 6 - (-3 + 10 + -4). Suppose 8*c = -y*c + 33. Suppose -57 + 435 = c*f. Is 18 a factor of f?
True
Suppose -4*d + 1 - 1 = 0. Let q(r) = -r**3 + r**2 - r - 57. Let n(o) = -3*o**3 + 2*o**2 - 3*o - 113. Let a(c) = 2*n(c) - 5*q(c). Is 44 a factor of a(d)?
False
Suppose 0 = 2*m + 2*a, m = -5*a - 14 - 6. Is (0 - -2)/(m/50*4) a multiple of 3?
False
Suppose -118 = 4*f - 2*r, 24 = -f - 11*r + 6*r. Suppose -111 = -2*n + 51. Let s = f + n. Does 4 divide s?
True
Let j = -39 + 41. Suppose 2*p - 7 = 5*r, 5*p = 7*p - j. Is 34 a factor of (60 + -42)/(r/(-10)*1)?
False
Suppose -2640 = -8*k - 40. Let g = k + -135. Is 20 a factor of g?
False
Suppose 4*k = 10*k + 6. Let n be -1 - 2 - (k - 6). Suppose -62 = n*w - 346. Does 8 divide w?
False
Let n(c) = 5*c**2 + c - 4. Suppose -5*w = 0, -2*a + 5*w = -3*a + 6. Let j be (a + -2)/(-4) - -4. Is n(j) a multiple of 11?
True
Let z(n) = -24*n**3 - n**2 + 49*n + 249. Does 21 divide z(-6)?
True
Does 5 divide 5/3 + (-4)/(-12) + (-1932270)/(-435)?
False
Let m be 990/40 - (-1)/4. Let z = 30 - m. Suppose -z*b + 23 + 82 = 0. Is b a multiple of 7?
True
Let z(f) = -390*f - 21. Let r be z(-22). Suppose -80*t + r = -53*t. Does 52 divide t?
False
Is 54/(-72) + 42015/20 a multiple of 105?
True
Let x be 160/56*(10/4 + 1). Is (-4)/(((-13)/(-507))/(x/(-3))) a multiple of 65?
True
Let p(b) = 12*b - 40. Let v be -3 - -5 - (-19 - 1). Is p(v) a multiple of 28?
True
Suppose 2*l = x - 5*x + 186, 3*x + 4*l - 127 = 0. Let q = x - -56. Does 29 divide q/(-6)*(2 + 1 - 9)?
False
Suppose -113452 + 46717 = -5*r. Is 150 a factor of r?
False
Let h(a) be the third derivative of -10*a - 1/20*a**5 - 1/20*a**6 + 7/6*a**3 - 5/24*a**4 + 0 - a**2. Is 15 a factor of h(-3)?
False
Suppose 4*j - m = -574, j - 4*m + 156 = 20. Let u = j + 461. Suppose n - 5*g - 76 = 0, 4*g - 133 + u = 3*n. Does 7 divide n?
True
Let y(w) = -41*w + 238. Let i be y(-14). Let c = -114 - -689. Let g = i - c. Is 15 a factor of g?
False
Suppose 3*v = 3*m - 129, v + 39 = -0*m + 3*m. Is 23 a factor of (-7034)/(-18) - 10/v?
True
Let w(p) = -320*p**3 - p**2 - 3*p - 2. Let h(r) be the third derivative of r**4/12 - 17*r**3/6 - 15*r**2. Let l be h(8). Is 40 a factor of w(l)?
True
Let i(h) be the first derivative of 7*h**3/3 + 29*h**2/2 - h - 14. Does 15 divide i(9)?
False
Let s = 39 - 54. Let o(x) = 2*x + 33. Let r be o(s). Is 22 a factor of 6/(-10) - 643*r/(-15)?
False
Let v(f) = -f**2 - 23*f + 48. Let h = 239 - 98. Suppose -90 = 11*z + h. Does 10 divide v(z)?
True
Let u = -110 - -114. Suppose 5*j + u*a + a = 345, 4*a = j - 79. Is j a multiple of 9?
False
Suppose 7*p - 75 = 2*p. Let f be (-4)/(-12)*p + 2. Suppose 0*j + f*j = 1197. Does 38 divide j?
False
Suppose 4*y + 4*h = 8316, 4*h + 1511 = y - 548. Is y a multiple of 83?
True
Let i be (7/8)/7 + 3/(-24). Suppose -14*h + 13*h + 666 = i. Is 18 a factor of h?
True
Let r(f) = 2*f - 10. Let l be r(7). Suppose -p - l = 2. Is (p + 78)*-8*(-1)/6 a multiple of 8?
True
Let m(y) = -y**3 - 22*y**2 - 22*y - 17. Let k be m(-21). Suppose 5*p = s - 0*p - 185, -s - k*p = -140. Suppose 0 = -10*o + 510 + s. Is 7 a factor of o?
False
Let g(x) be the second derivative of -x**3/2 - 5*x**2 - 30*x. Let u be g(-4). Suppose 5*o - 5*z = 695, -4*o - u*z = -7*o + 412. Is 44 a factor of o?
False
Let n be (-24)/(-32)*(-8)/(-6). Let l = n + 0. Let k(t) = 24*t**3 - 2*t**2 + 1. Is 7 a factor of k(l)?
False
Does 22 divide -2 - (-1 - (-8 - (-3572 - 0)))?
False
Suppose 1602 = 2*s + 4*v, -s = -14*v + 13*v - 804. Is s a multiple of 21?
False
Suppose 457*f + 1921612 = 576*f. Is f a multiple of 55?
False
Suppose -3*i + 1012 = -5*k, 11*i - 4*k - 4626 = -3*i. Is 3 a factor of i?
False
Let v = 119 - -56. Let b = 260 - v. Let k = 13 + b. Is k a multiple of 5?
False
Is (-174207 + 443)/(-5 - -1) a multiple of 39?
False
Let v = 26 - 23. Is -5 + 2 - (v + -636) a multiple of 14?
True
Let g = -99 - -30. Let n = g - -78. Does 9 divide n?
True
Let m(p) be the first derivative of 11*p + 30 + 3*p**3 + p**2 - 12*p**3 + 10*p**3. Is m(-10) a multiple of 53?
False
Let i(n) = n - 12 + n - 6 - 4*n. Let d be i(-11). Suppose 2*p = d*p - 68. Is p a multiple of 17?
True
Let c(y) = 23*y + 23. Let g be c(-2). Let x = g - -24. Is 4/(-4) + 1/x + 39 a multiple of 3?
True
Suppose -4*r + x = -2881, 5*x = -5*r + x + 3575. Suppose -9*y = -388 - r. Is y a multiple of 41?
True
Let y = -142 + 147. Suppose -t - 2*m = -3*t + 880, -y*t + 2200 = 4*m. Does 12 divide t?
False
Suppose -14*o + 13*o + 2 = 0. Suppose 2*v + u - 428 = 0, -o*u = -3 - 1. Is v a multiple of 8?
False
Suppose 0 = 3*r - 77 + 95. Does 16 divide -48*r*(-3)/(-24)?
False
Suppose 399 = 4*s - 81. Suppose -4*i - 16 = -2*q, -28 = -37*q + 33*q + 4*i. Suppose q*t + 0*t = s. Does 3 divide t?
False
Suppose 2*h = -3*z + 593, 623 = 7*h - 5*h - 3*z. Let l(o) = o**3 - o - 2. Let b be l(2). Suppose b*u + h = 2*n, 3*u - 87 - 75 = -n. Does 25 divide n?
False
Let r(t) = 24*t - 67. Let q be r(3). Is 11 a factor of q/45 - (-10632)/54?
False
Let i(v) = -59*v**3 + 11*v**2 + 30*v + 20. Is i(-5) a multiple of 47?
True
Suppose 3*m - 574 = -3*u - 25, -3*m + 3*u + 567 = 0. Suppose 189*d = m*d + 450. Is 6 a factor of d?
True
Let m(f) = -f**3 - 9*f**2 + 10*f + 4. Let i be m(-10). Suppose -4*a + i = 88. Let o(c) = -4*c - 24. Is 10 a factor of o(a)?
True
Suppose 0 - 1 = 2*c - 5*u, 4*c + 15 = -3*u. Let z = 3 + c. Suppose -3*n = -g - 414, -3*g = -z*n + 2*n - 276. Does 37 divide n?
False
Suppose 0 = 101*j - 84*j + 10176 - 47440. Is j a multiple of 16?
True
Let p(x) be the third derivative of x**8/6720 + x**7/1680 + x**6/80 - x**5/30 + 28*x**2. Let b(i) be the third derivative of p(i). Does 15 divide b(5)?
False
Suppose 0 = 20*t - 0*t - 452923 - 17557. Is 9 a factor of t?
False
Does 66 divide (2 + 229)*(-110750)/(-3101)?
True
Let j(c) = 1181*c**2 + 8222*c + 12. Does 21 divide j(-8)?
False
Let k(h) = h**3 - 7*h**2 + 21*h - 49. Let z be k(5). Let t(l) = l**3 - 6*l**2 + 3*l + 5. Let y be t(4). Does 5 divide 51*((-20)/y - z/9)?
False
Suppose u = 2*d + 276, 2*u = 4*d + d + 550. Is -2 + u + (7 - 9) a multiple of 23?
True
Is -14 - (6 + 0 - 3497) a multiple of 19?
True
Suppose -s + 4*j + 1496 = 0, 0 = -s + 4*j - j + 1498. Let h = s - 633. Does 42 divide h?
False
Suppose 0 = 25*t + 107645 - 271520. Is 95 a factor of t?
True
Let k(h) be the third derivative of -h**7/315 - h**6/30 - h**5/20 - 4*h**2. Let l(j) be the third derivative of k(j). Does 25 divide l(-10)?
False
Let y(m) = -2*m**3 + 2*m**2 + m + 216. Suppose 25 = -4*s - s - 3*k, 0 = -k. Let i be s/((-5)/3) - 3. Is y(i) a multiple of 12?
True
Suppose 8*r - 1740 = 180. Let l = r - 54. Does 31 divide l?
True
Let n = -1849 - -3137. Suppose -147*l + n = -133*l. Does 92 divide l?
True
Suppose -17*x + 746 + 3692 = -458. Does 16 divide x?
True
Let a(n) = -n**3 - 28*n**2 + 30*n + 10. Let j be a(-29). Let d be 2*23 - 18/6. Let y = d + j. Is 8 a factor of y?
True
Suppose -3*f - 3*o = -0*f - 24, -50 = -5*f - 3*o. Let w(t) = -52*t + 53*t + 88 + 55 - 101. Is w(f) a multiple of 9?
False
Let w(u) = 2*u**2 + 79*u + 1233. Is 122 a factor of w(-53)?
False
Suppose 274549 + 775424 = 137*q - 220428. Does 11 divide q?
True
Suppose -20 = -13*d + 9*d. Suppose -2*j + o + 391 = j, d*j = -5*o + 645. Suppose j = -4*k + 450. Does 20 divide k?
True
Let f(i) = -24*i**3 + 2*i + 4. Let n be f(-5). Suppose 0 = 5*h + 2*d - n, -3*d - 576 = -4*h + 1833. Suppose 0 = 20*x - 16*x - h. Does 30 divide x?
True
Suppose -5*b + 4*z + 14398 = 0, b + 18*z - 14*z - 2870 = 0. Does 11 divide b?
False
Is 36 a factor of (-77)/35 + (-24805)/(-25)?
False
Suppose -n + 23972 = 2*s, 119*n + 4 = 118*n. Is s a multiple of 7?
False
Let b(s) = 9*s**2 + 15*s - 852. Is b(-29) a multiple of 6?
True
Let o(u) = -u**3 + 34*u**2 + 4*u - 207. Is o(14) a multiple of 23?
False
Suppose 0 = -4*d + l - 7, 4*d - 5*l = d - 1. Is 7 a factor of d/(-4) - 1837/(-22)?
True
Let s be (-2)/(-5) - (-3 + (-66)/(-15)). Is (s/(-2))/(2/76) even?
False
Suppose -14*t = -13*t + 55*t - 172032. Is 32 a factor of t?
True
Suppose -8*f + 4*f = 5*f - 3015. Is f a multiple of 3?
False
Suppose 130 = 4*h + 5*j, -4*h - 3*j + 18 = -116. Suppose h*d = 41*d - 1968. Is d a multiple of 16?
False
Let t = 147 + -51. Let j = -87 + t. Suppose 0*c - 747 = -j*c. Is c a multi