). Let h = f + -43. Does 8 divide h?
True
Suppose -2667*p - 4140 = -2687*p. Is p a multiple of 11?
False
Let w(c) be the second derivative of 0 - c**2 + c**3 - 1/20*c**5 - 5/12*c**4 + 3*c. Is 18 a factor of w(-7)?
True
Suppose 5*i + 4*q = 16, -5*i - 6*q + 12 = -3*q. Suppose i = 5*k + h - 19, -3*h + 21 = 3*k - 0*h. Does 17 divide k - 56/12*-3?
True
Let k(l) be the third derivative of l**6/40 - l**5/12 - l**4/8 + 4*l**3/3 + 23*l**2. Is k(5) a multiple of 28?
False
Suppose 2*f - 90 = 4*y + 80, 0 = 2*y - 4. Is 13 a factor of f?
False
Let v(i) be the second derivative of -1/3*i**3 + 19/6*i**4 + 1/2*i**2 - 7*i + 0. Does 11 divide v(1)?
False
Let m(f) = -f + 9. Let p be ((-12)/(-9))/(-2) + (-110)/15. Is 6 a factor of m(p)?
False
Is 14 a factor of 0/(3/(9/12)) - -938?
True
Let g(f) = 41*f + 13. Does 8 divide g(4)?
False
Suppose -5*g - 3*t = 2*t - 3795, 16 = -4*t. Suppose 4*s - 69 = g. Let x = -128 + s. Is x a multiple of 20?
True
Suppose -r + 3*m + 424 = 0, -m + 6*m = 0. Suppose 2*s = 6*s - r. Does 53 divide s?
True
Suppose -c + 4*c - 3 = 0. Let u be (-2 + c)/(3/6). Is 7 a factor of ((-7)/(-2))/(u/(-4))?
True
Let v(c) = 22*c - 110. Is v(54) a multiple of 14?
True
Does 61 divide ((-24)/(-2))/(60/5840)?
False
Let r be 4/(-10) - 24/(-10). Suppose 3*i = -4*f + 2*i + 33, -f + 10 = r*i. Suppose 46 = m + 3*u - f*u, 116 = 4*m - 3*u. Does 7 divide m?
False
Suppose -4*q + 2*y = -496, 2*q - 4*y = 298 - 38. Is q a multiple of 20?
False
Suppose -195917 + 647465 = 148*f. Is f a multiple of 75?
False
Let c be ((-18)/(-15))/((-4)/(-80)). Let p = -1 + -13. Let l = p + c. Is 10 a factor of l?
True
Suppose 2*c + 0*c - 44 = 0. Let s be (24/14)/(134/45493). Is 4/c + s/66 a multiple of 4?
False
Is (-18)/42 + 6396/28 a multiple of 10?
False
Let h be 4/(-6) - 98/(-21). Suppose -h*w + 28 = -112. Does 7 divide w?
True
Suppose -793 = -3*p + w, -2*w - 530 = -2*p - 0*w. Is 88 a factor of p?
True
Suppose -3*w + 3 = -3. Let m = w - 11. Let f = m - -32. Does 10 divide f?
False
Suppose 396*i - 390*i = 4320. Is i a multiple of 48?
True
Let b(x) = 2*x**2 + 52*x - 158. Does 16 divide b(3)?
True
Let s = 6 + -3. Suppose -631 = -9*z + 755. Suppose s*j - 2*b = z, 12 = -2*j + 5*b + 133. Does 16 divide j?
True
Let q be (4 - 0) + (112 - -1). Suppose 0 = 4*o - 795 - q. Is 19 a factor of o?
True
Suppose -3*x + 6*x - 55 = -f, 1 = f. Suppose 0*u = -2*u + x. Suppose 4*d = u*d - 60. Is 4 a factor of d?
True
Suppose 7*p + 456 = 5*p. Let s = p - -382. Does 16 divide s?
False
Let s be (-16)/(-40) + (-114)/(-15). Suppose -s*w - 174 = -11*w. Does 16 divide w?
False
Let s = 73 - -492. Is 17 a factor of s?
False
Let p(r) = -4*r**2 + 9*r - 3. Let w(c) = -11*c**2 + 28*c - 10. Let l(f) = -8*p(f) + 3*w(f). Let x be l(6). Is 4 a factor of (-2718)/(-135) - 4/x?
True
Let o(s) = 24*s**2 - 101*s - 7. Does 19 divide o(-6)?
True
Let u(o) be the second derivative of o**5/20 - 17*o**4/12 - o**3/3 + o**2/2 - 4*o. Let x be u(17). Let n = 88 + x. Is n a multiple of 27?
False
Suppose l - 6*l = 410. Let a = 138 + l. Does 7 divide a?
True
Suppose -5*w + 47 = 32. Suppose w*t - 25 = 68. Is 31 a factor of t?
True
Let n = 63 + -51. Let y = 41 - n. Does 10 divide y?
False
Let b(u) = -u**3 - 4*u**2 - 5*u - 2. Let m be b(-3). Suppose 2*q + 158 = 3*w, -q = -4*w + m*q + 213. Is w a multiple of 13?
True
Let h(v) = v - 6. Let z be h(12). Suppose 4*j - 4*n - 24 = 0, -n = -z*j + j + 26. Is 15 a factor of (j/4)/((-5)/(-180))?
True
Let q(l) be the second derivative of -l**6/24 - l**5/15 + l**4/12 + l**3 - 2*l**2 - 10*l. Let p(c) be the first derivative of q(c). Is 31 a factor of p(-3)?
False
Suppose -12*a = -16*a + 1832. Is 14 a factor of a?
False
Suppose s = -l - 151, -3*s - 5*l - 566 + 119 = 0. Let y = s - -172. Is 9 a factor of y?
True
Suppose 5 = 3*d + f, 5*d - 3*f = -8*f + 25. Suppose 0 = j, -o - 4*j + 0*j + 74 = d. Is o a multiple of 14?
False
Suppose -4*k + 18 = -3*k - 5*a, 72 = 4*k + a. Let h(s) = s**3 - 19*s**2 + 20*s + 26. Does 12 divide h(k)?
False
Let k(f) = 165*f + 181. Is 12 a factor of k(1)?
False
Let d(t) = 4*t - 2*t**2 + 10*t**2 + 2*t**3 + t**3 - 4*t**3. Does 11 divide d(4)?
False
Let p = -37 + 41. Let n(z) = 52*z - 4. Does 17 divide n(p)?
True
Suppose -31*v + 6*v = -1750. Is v a multiple of 5?
True
Let d be 1/(-2 + (-132)/(-64)). Suppose 4*b + d = -m + 3*m, -m + 4 = 2*b. Is 3 a factor of m?
True
Let q(d) = 64*d + 214. Is q(17) a multiple of 14?
True
Let a(b) = b**2 - 10*b + 14. Let t be a(9). Suppose 0 = 2*z + t*k - 369 + 18, -2*z = 3*k - 341. Does 17 divide z?
False
Let f(l) = -231*l - 35. Is 20 a factor of f(-5)?
True
Let b(p) = p**2 - 10*p + 10. Let u be b(9). Let o(v) = -1 - 4 + u + 7*v - v**2. Is o(4) a multiple of 5?
False
Suppose -2*q = 3*q. Suppose -2*s + 4*s - 18 = q. Does 9 divide s?
True
Let x(d) = 10*d**2 + 5*d + 2. Is 52 a factor of x(2)?
True
Let j = -10 - -14. Let d = -2 + j. Is (-66)/(-4)*d - 2 a multiple of 7?
False
Suppose 0 = 5*m + 3*d - 2225, 3*d - 506 - 835 = -3*m. Does 22 divide m?
False
Suppose -11*q + 96 = -7*q. Is 4 a factor of (2 - (-18)/q)*4?
False
Let b = -229 - -325. Is b a multiple of 16?
True
Let z = -124 - -107. Suppose -1 = -4*w + 5*w, 0 = q + 3*w - 64. Let b = q + z. Is b a multiple of 18?
False
Let a be -3 - (2398/6)/((-4)/12). Suppose a - 476 = 4*x. Is 36 a factor of x?
True
Suppose 2 + 4 = 2*y. Suppose 2*r + y + 1 = 0. Let s = r - -33. Does 14 divide s?
False
Let c(z) = 62*z - 121. Is 19 a factor of c(3)?
False
Let n(l) = 14 - 4*l**3 - 9 + 18*l - 11*l**2 + 3*l**3. Is n(-13) a multiple of 14?
False
Let m = 19 + 779. Is m a multiple of 19?
True
Suppose -7*p + 2*p + 35 = 0. Suppose -4*q + 76 = 4*s, -s + 4*q = -7 - p. Is s a multiple of 9?
True
Let r be 2/(-7) - (-280)/(-49). Let o(v) = -9*v**2 - v + 2. Let p(s) = 11*s**2 + 2*s - 1. Let n(w) = -5*o(w) - 4*p(w). Is n(r) a multiple of 16?
True
Let q(s) = -2*s. Let k be q(-2). Let r be k/6 - (-889)/21. Let i = -20 + r. Is 23 a factor of i?
True
Let n(b) = b**2 + 12*b + 15. Let z be n(-7). Let v(u) = -u + 14. Is 12 a factor of v(z)?
False
Let w = -1 + -1. Let t be (-3)/w - (-1)/2. Suppose 0 = -5*a - t*l + 190, -3*l = -2*a - 6*l + 65. Is 20 a factor of a?
True
Suppose 4*o + 5*k = 2109, -2*o = 3*o - 5*k - 2670. Does 59 divide o?
True
Let z(b) = 242*b**2 - 24*b - 46. Does 5 divide z(-2)?
True
Suppose -42*f + 20*f = -19910. Does 5 divide f?
True
Suppose 2*u + 0*u - 4 = 0. Let t(q) = u - 2 + 2 + 4 - 2*q. Is t(-7) a multiple of 10?
True
Let m be (-30 + 12)*1/(-2). Let t(h) = h**2 - 11*h + 16. Let l be t(m). Is 12 a factor of l/11 + 13498/187?
True
Let h(y) = -y**2 - 11*y. Let t be h(-6). Let q be 6/5*t/12. Does 7 divide (4 + 17)/(q/2)?
True
Let j be 24/36 - 20/3. Is 12 a factor of ((-9)/j)/((-2)/(-44))?
False
Let t be 6/(-9) - 618/(-9). Suppose 2*f - 4*n - t = 0, -n - 108 = -5*f + f. Does 2 divide f?
True
Let x(y) be the first derivative of -y**3/3 + 23*y**2/2 - 16*y + 40. Is x(16) a multiple of 6?
True
Let j = -66 + 473. Does 12 divide j?
False
Let d(y) = 3*y**3 - 9*y**2 + 3*y + 2. Let q = 1 + -2. Let z(g) = -g**3 + g**2 - 1. Let i(u) = q*d(u) - 2*z(u). Is i(6) a multiple of 9?
True
Let v(m) = 4*m**3 - 17*m**2 + 14*m. Is v(6) a multiple of 16?
True
Let i = -91 - -258. Is 10 a factor of i?
False
Let y = -158 - -272. Suppose -5*p = -y - 146. Is 13 a factor of p?
True
Let r(k) = 79*k + 744. Is r(-5) a multiple of 2?
False
Suppose -29*f + 5*f = -60816. Is f a multiple of 19?
False
Suppose 2*y = -3*u + 80, -4*y = 4*u - 6*u + 64. Suppose -u = 4*l - 60. Is l a multiple of 4?
True
Let y(r) = -r - 4. Let c be y(0). Let a be (-5 - (0 - c)) + 0. Is (135/a)/((-1)/2) a multiple of 10?
True
Let n be (-37)/3 - 3*(-2)/(-9). Is 11 a factor of (-11)/(((-1)/(-3))/(n + 12))?
True
Let h = 253 + 458. Does 9 divide h?
True
Let a = -22 + 22. Suppose a = 4*w - w. Does 18 divide (w - (-27)/(-6))*-4?
True
Let t be (-1 + -1)*40/16. Let i(l) = l**2 - 4*l - 10. Let n be i(t). Suppose -4*d = -4*k + 3 - n, 0 = 2*d - 3*k - 18. Is 3 a factor of d?
True
Suppose -226*c = -222*c - 428. Let m(t) = -5*t**3 - 2*t**2 - 2*t - 1. Let p be m(-1). Suppose -p*u = -73 - c. Is u a multiple of 10?
False
Does 29 divide 65 - (-4 + 5)/(-3 + 2)?
False
Let c(d) = 2*d**3 - 136*d**2 + 154*d + 24. Is c(67) a multiple of 62?
True
Suppose x - 44 = -5*b, -4*b - 208 - 19 = -3*x. Suppose 0 = 3*i + 2*i + 