e 0 = 18*c - 22*c + 100. Is c a multiple of 3?
False
Let h(q) = q - 1. Let i be (-3 + 7)/(-8)*-36. Is h(i) a multiple of 3?
False
Let j = 1049 - 449. Is 24 a factor of j?
True
Let d(g) = -g**2 + 10*g + 16. Suppose n = -5 + 16. Let m be d(n). Suppose -a + 217 - 55 = 2*p, 0 = -m*p - 5*a + 415. Is p a multiple of 17?
False
Suppose y - 1 = -4, -y = -4*q + 507. Does 9 divide q?
True
Let q = 21 - 15. Is 24 a factor of 1*76*q/12?
False
Suppose 0 = -3*w + 670 - 115. Suppose 5*v + 3*q - 17 = 0, -5*v + 15 = 6*q - q. Suppose v*l - w = -25. Is 12 a factor of l?
False
Let m = -473 + 488. Is m a multiple of 5?
True
Suppose 6*w - 4*w - 5*k = 607, -5 = 5*k. Is w a multiple of 13?
False
Let r be (-36)/(-30)*(-20)/2. Let m = r + 33. Does 7 divide m*(1 - 3/9)?
True
Suppose 0 = -4*d + 4*x - 109 - 31, -42 = 2*d + 5*x. Suppose 0 = -5*z + 2*z - 5*j + 161, 3*j = z - 35. Let n = z + d. Is 4 a factor of n?
True
Let n(l) = 5*l**2 - 7*l - 13. Suppose 4*w - 28 = 4*j, 2*j + 3*w + 2 = 3. Does 14 divide n(j)?
False
Let k = -52 - -166. Is 5 a factor of k?
False
Suppose -12 = -j - 4*k + 1, 2*k - 3 = 3*j. Is 13 a factor of (1 - (j - 8))/(4/30)?
False
Let a = -139 - -175. Is 2/(-4) - (-1206)/a a multiple of 3?
True
Let l be (2/6)/(((-5)/15)/(-1)). Let b(u) = -u**3 + 4*u**2 - 2*u + 2. Let v be b(3). Does 4 divide l/(((-20)/(-48))/v)?
True
Let p be 5 + 0/(9/(-3)). Suppose 0*w - 3 = 2*s - 3*w, 3*s = -5*w + p. Suppose -4*n + 113 + 31 = s. Does 10 divide n?
False
Let k be (-3)/9*(-15)/10*2. Is 21/(k + (-4)/(-8)) a multiple of 2?
True
Let i = 113 + 124. Is i a multiple of 11?
False
Suppose c - 64 - 12 = o, 0 = -3*c - 3*o + 228. Does 3 divide c?
False
Suppose -5 - 21 = -2*r. Let z = -30 - r. Let d = 68 + z. Is 5 a factor of d?
True
Let a be (1/2)/(2/(-4)). Let u(l) = 40*l**2 + l + 1. Is 10 a factor of u(a)?
True
Is 12 a factor of ((-288)/180)/(1*4/(-2880))?
True
Let d(n) = 9*n**2 - 3*n + 86. Is d(13) a multiple of 14?
True
Let k be ((91*-1)/1)/(-1). Suppose -5*x = -4*d - 245, -x = x - 3*d - k. Does 11 divide x?
False
Suppose -738 = 18*h - 4302. Suppose -a - 564 = 3*a. Let l = h + a. Does 26 divide l?
False
Let v(m) = 16*m**2 - 30*m + 10. Is 32 a factor of v(-6)?
False
Let j = 695 - 405. Does 12 divide j?
False
Suppose 0 = q - p - 110 - 25, -3*q - 2*p = -385. Suppose 5*i + 162 = 3*o, -4*o - 3*i = -q - 114. Is o a multiple of 19?
False
Let m be (3 + 3)/((-2)/3). Let a = 45 + m. Is a a multiple of 10?
False
Let a = 1383 - -1118. Is a a multiple of 20?
False
Let a = -46 + 66. Suppose -4*b + 3*b = a. Let l = 8 - b. Is l a multiple of 14?
True
Is 21 a factor of 4*9/(-12) - (-170 - 1)?
True
Let l = 2702 - 223. Does 37 divide l?
True
Let o be (-32)/(-20)*20/8. Let y = o + 4. Is y a multiple of 8?
True
Suppose -3*w = -5*c + 596, 0 = -4*c - c - 3*w + 614. Is c a multiple of 15?
False
Let q = 1790 - 998. Is q a multiple of 72?
True
Suppose n = 5*n - 160. Suppose n = 11*k - 7*k. Is (-76)/(-6) + k/(-15) a multiple of 12?
True
Let o(v) = -12*v - 6. Let k be o(-8). Let z = k + -19. Is 5 a factor of z?
False
Let w be (7/14)/(1/4). Suppose w*m - m + 4 = 0. Is 8 a factor of m/8 + 65/2?
True
Let j = -117 + 113. Let v(y) be the second derivative of y**5/20 + y**4/3 - 5*y**3/6 + y**2 + y. Is 9 a factor of v(j)?
False
Let b = -6 - 8. Let t = b - -21. Is t a multiple of 2?
False
Let g be ((-18)/(-14) - 1) + 162/21. Let t = 57 + g. Is t a multiple of 13?
True
Let q(k) = k**3 + 11*k**2 - 14*k + 13. Suppose 2*h + 3 = -21. Is 11 a factor of q(h)?
False
Let c(u) = 4*u**2 + 8*u - 44. Is 2 a factor of c(8)?
True
Let n = 0 - -5. Suppose 7 - 37 = -n*s. Let f = s + 28. Is 10 a factor of f?
False
Suppose -5*j + 1217 = 4*t - 149, 3*j - 802 = 2*t. Let m = j - 151. Suppose m = 5*l - l - 3*r, l - 24 = -5*r. Does 10 divide l?
False
Suppose -h + 778 = 3*k - 0*h, 5*h = k - 286. Is k a multiple of 13?
False
Let s = -66 + 320. Is s a multiple of 5?
False
Let s = 40 + 93. Let n = -69 + s. Is 14 a factor of n?
False
Suppose 0 = 4*y + 5*g + 23, 3*g - 8*g = 15. Is 11 a factor of ((8/(-12))/(-2))/(y/(-66))?
True
Is 3 a factor of 1/((-4)/(-280)) - (0 - -1)?
True
Let k be -1 - (-3)/6 - 2842/(-4). Suppose 0 = -4*a - 2*i + k, -173 = -4*a + 3*i + 512. Is a a multiple of 13?
False
Suppose 2*z + o = 2108, -13*z + 2108 = -11*z - o. Is z a multiple of 6?
False
Let p be 0/((4 - 11) + 5). Let u = p + 27. Does 24 divide u?
False
Is 11 a factor of ((-588)/24)/7*-250?
False
Let b be -2 - (-4)/((-20)/(-25)). Suppose -2*a - b*g = 7 - 82, -2*g = -2. Suppose -p + a = p. Is p a multiple of 6?
True
Let v be (-1 - 2)*(-1 + 3). Let p = 54 + -86. Does 23 divide (p/v)/((-4)/(-18))?
False
Suppose p - 29 = 2*g, -7 + 2 = 5*g. Suppose 0 = -2*o, f - p = -0*o - o. Let c = f - -10. Is 27 a factor of c?
False
Is 855 + (-16)/(-8) + -5 a multiple of 10?
False
Let f(r) = -2*r**3 - 10*r**2 - 9*r + 3. Suppose 2*o + 2*a = -24, -4*o + 0*a = 5*a + 53. Let c be f(o). Suppose -5*g + c = -88. Is 14 a factor of g?
True
Suppose -4*l = -3*r + 4*r - 77, 3*r = 4*l - 89. Let p = l - 26. Is 15/(-45) + (-314)/p a multiple of 13?
True
Let v be 0 - (-4 - -4) - -331. Suppose -268 = -4*r - 4*u, v = 5*r - u + 4*u. Suppose 3*d + 5*z - r = 0, 0*z - 5*z + 80 = 4*d. Does 5 divide d?
True
Suppose 4*c - 92 = 2*c. Suppose 2*t - 6 = -2. Suppose t*s - 4*z = -0*z + 36, -c = -3*s - 2*z. Does 16 divide s?
True
Let j(c) be the third derivative of c**5/20 - c**4/4 + 3*c**3/2 + 4*c**2. Let s be j(5). Suppose 2*g - s = g. Does 18 divide g?
True
Suppose 5*u = 2*s + 29, 5*u - 8 = 4*s + 25. Suppose t = v + 3, 3*v - u*t = -12 - 7. Suppose -i + v*c = -2*c - 52, i = c + 40. Is 12 a factor of i?
True
Let a(o) be the second derivative of -o**6/360 + o**5/8 - o**4/12 + o**3/3 + 2*o. Let p(n) be the second derivative of a(n). Is p(10) a multiple of 15?
False
Let n(w) = w + 14. Let j be n(-12). Is 18 a factor of (191/j + 4)*2 - 1?
True
Let c(r) = r**3 - 10*r**2 - 12*r + 13. Let q be (-18)/(-72) - (-43)/4. Let v be c(q). Suppose 4*h = v*l - 222, -309 = -3*l + 3*h - 5*h. Is l a multiple of 35?
True
Let u(t) = -2*t**3 + 12*t**2 + 11*t + 37. Let d(z) = z**3 - 6*z**2 - 5*z - 18. Let c(x) = 9*d(x) + 4*u(x). Let r be c(6). Does 22 divide 44/(-3)*30/r?
True
Let y(q) be the third derivative of -5*q**4/8 - q**3/2 + 26*q**2. Is 5 a factor of y(-2)?
False
Let f(q) be the first derivative of 5*q**2/2 + 8*q + 1. Let g be (-138)/(-36) + (-2)/(-12). Is f(g) a multiple of 9?
False
Let b(f) = 34*f - 7. Let c(x) = 69*x - 15. Let h(k) = 5*b(k) - 2*c(k). Does 20 divide h(2)?
False
Let x(v) = 5*v**3 - 5*v**2 + 20*v - 34. Is x(6) a multiple of 58?
True
Suppose 0*x - s - 4 = -x, -s - 7 = -2*x. Let w be (-3 - (x - 1))*-1. Suppose -p - 65 = -7*n + 4*n, 2*n + w*p = 49. Is 7 a factor of n?
False
Let d = 17 - 5. Suppose 2*y = -a + d, -2*y = y - 3*a - 36. Let u = y - -6. Is 13 a factor of u?
False
Suppose -5*v - 9 = -5*i + 1, 0 = -2*v + 3*i - 3. Does 16 divide (-2)/v + (-506)/(-33)?
True
Let f(g) = -10*g + 53. Let j be f(6). Suppose 12 = 4*h + 4. Let a = h - j. Does 9 divide a?
True
Suppose -3*b = 18 + 60. Let v = 5 - b. Let w = -25 + v. Does 6 divide w?
True
Let k = 182 - 98. Is k a multiple of 12?
True
Let c = 11 - 4. Let s = 10 - c. Suppose -s*r = -r - 32. Is 9 a factor of r?
False
Suppose -30*r - 441 = -31*r. Does 9 divide r?
True
Suppose 35*u = -1543 + 5183. Is 52 a factor of u?
True
Let h(k) = k - 8. Let j be h(10). Does 23 divide j*(26 - (-12)/(-4))?
True
Let p be (16 - 14)/(-1 + (-5)/(-6)). Does 4 divide 6/36 + (-346)/p?
False
Let x(k) = 3*k + 6. Let r = 15 - 11. Suppose -r = -s - 7*h + 3*h, 5*s + 5*h - 35 = 0. Is x(s) a multiple of 15?
True
Let j = -2 + -6. Let b = 4 + j. Is 144/81 - b/18 a multiple of 2?
True
Let g(u) = u + 25. Let y be g(-11). Let j be 10/35 - 18/y. Does 16 divide j/(-4 - 693/(-174))?
False
Suppose 0 = -2*r - 3*r + 30. Suppose -r*j = -j - 5. Does 2 divide ((-20)/(-4) - 0)*j?
False
Does 4 divide ((-3)/(-5) - 12945/75)/(-1)?
True
Suppose -5*j - 2*b = -11 - 5, 4*j - 5*b - 26 = 0. Let x(u) = u**2 + u + 6. Does 22 divide x(j)?
False
Suppose 4*n - 111 = -5*x, -n - 5*x = -0*n - 39. Suppose 0 = b - 0*b - n. Is 7 a factor of b?
False
Suppose 2*z + 48 = 4*z. Let m = z - 6. Does 3 divide m?
True
Suppose -3*g - f + 5*f + 2392 = 0, -4*f - 1592 = -2*g. Does 25 divide g?
True
Suppose 5*q + 5*l = 65, 0 = -11*l + 12*l. Is 13 a 