 - -36. Is 16 a factor of r?
True
Let u be (-4)/(12/5)*-3. Let l = u - 0. Is 2 a factor of l?
False
Let v = 1 + 5. Does 3 divide v?
True
Let f be 1*8 + (0 - 0). Suppose -24*p + 22*p = 0. Suppose 5*v - 4*i - 59 - 26 = p, -i + f = v. Is 12 a factor of v?
False
Let t(y) = -3 + 5*y + y**2 - 4*y - y. Suppose a - 2 - 1 = 0, -2*z - 2*a = 4. Is 22 a factor of t(z)?
True
Suppose 40 = -3*q - q. Let p = 6 - q. Suppose r - 3*k = 35 - 2, -2*r = 4*k - p. Is r a multiple of 13?
False
Suppose 3*g + 7 - 1 = -2*o, -3*o + g = -13. Let f(a) = a**2 + a - 3. Is 9 a factor of f(o)?
True
Suppose -3*d = -6, -v - 5*d + 14 = -0*d. Let o = 29 + -38. Does 8 divide o/(-6) + 38/v?
False
Let h(p) be the second derivative of -p**5/10 - p**4/4 - p**3/3 - 3*p**2/2 + p. Let k be h(-2). Does 3 divide (1 + 1)*(k + -1)?
False
Is 8/(3/(24*1)) a multiple of 19?
False
Let n(t) = -t**3 + 5*t**2 + 12*t - 1. Is n(6) a multiple of 7?
True
Suppose 23 = a + 3*n, 2*a + 2*n = 4*a - 62. Is a a multiple of 13?
False
Let z = -2 + 17. Is z a multiple of 3?
True
Suppose -3 = -3*x + 6. Suppose 0 = -x*l + 6. Suppose -3 = l*h - 71. Is 18 a factor of h?
False
Let w(a) = 7*a**2 + 1. Is 16 a factor of w(3)?
True
Suppose 3*n - n - 18 = -5*p, 4*p = 5*n - 12. Let a = p + 6. Is 4 a factor of a?
True
Suppose -m + 0*m = -x + 5, -4*x - 5*m = -29. Suppose x*d - 4*d = 6. Suppose -d*i = -33 + 3. Is 3 a factor of i?
False
Suppose 8 = o + 2. Suppose h + 30 = o. Does 2 divide 2/(-5) + h/(-10)?
True
Let u(i) = 2*i**2 - 4*i - 14. Is 28 a factor of u(7)?
True
Let c(o) = o**3 + 9*o**2 - 3*o - 6. Let m be c(-4). Let g = m + -35. Does 13 divide g?
False
Let d = -189 - -324. Is d a multiple of 27?
True
Let h be 2/(-6) + (-5)/(-15). Suppose -5*o + 0*k + 4*k + 134 = h, -4*k + 22 = o. Is o a multiple of 13?
True
Suppose 16 = -24*g + 26*g. Is 4 a factor of g?
True
Suppose 0*p + 15 = p - 3*a, -3*p + 3*a + 15 = 0. Suppose d + p*d = 3*m - 131, 2*m = -d + 84. Does 23 divide m?
False
Suppose 4*j = -5*q + 45, 3*q + 5*j - 2*j - 30 = 0. Suppose 3*h + 38 = q*h. Suppose -h = -z - s, 39 = z - s - 2*s. Does 12 divide z?
True
Let g = 91 + -3. Suppose -2*m + g = 2*p, -2*p - 42 = -m - p. Is 20 a factor of m?
False
Let y(o) be the third derivative of o**5/60 + o**3/3 + o**2. Let k be y(3). Suppose -w + k = -0*w. Does 11 divide w?
True
Let t = 205 + -111. Does 12 divide t?
False
Suppose 0 = 8*z - 2*z - 894. Is z a multiple of 10?
False
Let g = -23 + 26. Suppose l + f + 276 = 0, 3*l - 6*f + f + 796 = 0. Is l/(-12) + g/9 a multiple of 10?
False
Suppose -4*a = 2*z - 10, -2*a - 3 = -3*z - 4. Let t be 501/18 + a/12. Let v = t - -8. Is v a multiple of 12?
True
Let f = 73 + -37. Is 4 a factor of f?
True
Is 13 a factor of (-1)/((-9)/2) - (-1060)/9?
False
Let z(i) = -i**3 + 8*i**2 - 4*i - 7. Let s be (-2 - 1) + 4 - -5. Is z(s) a multiple of 17?
False
Let k(g) = 25*g**2 + 2*g + 6. Is k(-2) a multiple of 34?
True
Let b = -49 - -209. Does 20 divide b?
True
Let k(b) = 39*b**2 + 2*b - 1. Is k(2) a multiple of 53?
True
Let n = -10 - -7. Suppose -5*g + 3*g = 0. Let p = g - n. Does 2 divide p?
False
Let q = -23 - -128. Is q/2 + (-6)/12 a multiple of 20?
False
Let a(l) = -l + 12. Is a(-7) a multiple of 11?
False
Let w = 45 + -5. Is w a multiple of 25?
False
Does 33 divide -3*(-4 + 5) + 326?
False
Let t be 1/6 + 946/12. Suppose 0 = 5*u - 4*f - 15 - 128, 0 = -3*u - f + t. Is 13 a factor of u?
False
Suppose -w - 3*w = 0. Let q be (15/(-6))/((-2)/60). Suppose 0*v = -4*l - v + 51, 5*l + 5*v - q = w. Does 6 divide l?
True
Let q = -3 - -23. Does 2 divide q?
True
Let x = -80 + -2. Let z = 164 - x. Does 13 divide z/9 - (-3)/(-9)?
False
Let n = 0 + 31. Is (-3 - -5 - 1) + n a multiple of 16?
True
Suppose 0 = 27*m - 25*m - 160. Is 13 a factor of m?
False
Suppose 6*u - 286 = 62. Is 31 a factor of u?
False
Suppose -5*d = -64 - 111. Let q = 62 - d. Does 9 divide q?
True
Let b = -175 + 179. Does 4 divide b?
True
Let u(k) = -k**3 - 4*k**2 - k. Let o be u(-4). Suppose 0*n + 40 = 4*n. Let i = n + o. Is 14 a factor of i?
True
Suppose 5*i - 600 = -i. Is i a multiple of 20?
True
Let p(q) = -18*q**2 - 7*q - 4. Let y(h) = -9*h**2 - 4*h - 2. Let c(m) = -6*p(m) + 11*y(m). Is c(2) a multiple of 17?
True
Suppose -15 = 3*p, p = 5*i - 65 - 10. Is i a multiple of 10?
False
Let s(i) = -5*i**2 + 4*i - 9. Let g(j) = -9*j**2 + 8*j - 17. Let t(w) = 6*g(w) - 11*s(w). Let f be ((-1)/2)/(3/36). Does 9 divide t(f)?
True
Suppose -d = 31 - 85. Does 25 divide d?
False
Suppose 4*w + 8 = 0, 0 = 2*q + 2*q + 3*w - 18. Suppose q = -14*p + 15*p. Is p a multiple of 3?
True
Let y = 41 + -31. Does 10 divide y?
True
Suppose -4*d + 153 - 65 = 0. Is 11 a factor of d?
True
Let r(t) = -t**3 - 4*t**2 + t + 4. Does 8 divide r(-5)?
True
Let n(v) = -247*v**2 - v. Let z be n(1). Is 6 a factor of 16/24 - z/6?
True
Let x = 41 + -10. Does 8 divide x?
False
Let g = -130 + 183. Is g a multiple of 18?
False
Let o = 39 - 21. Is 9 a factor of o?
True
Let k(h) = h**3 - 3*h**2 - 7. Is 11 a factor of k(5)?
False
Let y = 119 - 11. Is 18 a factor of y?
True
Let j(p) = 18*p**2 - 3*p + 3. Is j(3) a multiple of 43?
False
Suppose 0*t + 4*t = 24. Is t a multiple of 6?
True
Let b = 14 + 56. Does 29 divide b?
False
Is ((-342)/27)/((-2)/3) a multiple of 19?
True
Suppose -14*o + 99 = -13*o. Does 13 divide o?
False
Let h = -109 + 75. Let p = h - -67. Is p a multiple of 14?
False
Let n(z) = z**2 - 10*z - 4. Is n(12) a multiple of 20?
True
Let a(d) = 15*d**2 + 10*d - 1. Let i(z) = 8*z**2 + 5*z - 1. Let p(b) = 6*a(b) - 11*i(b). Let y be 504/(-81) + 2/9. Is p(y) a multiple of 19?
False
Let b(k) = -3*k - 8. Let z(d) = -3*d - 7. Let s(r) = 4*b(r) - 3*z(r). Does 12 divide s(-14)?
False
Let p = 7 + -17. Let q = 10 - p. Is 10 a factor of q?
True
Let m be 4/(159/(-165) + 1). Suppose y - m = -41. Suppose -j + 5*g - 11 = -2*j, 0 = 4*j - 5*g - y. Is 6 a factor of j?
False
Suppose -3*w + 88 = 19. Is w a multiple of 17?
False
Let r(k) = -4*k**2 + 2*k**3 - k**2 + 4 - 5*k**3 + 4*k**3. Let l be r(6). Suppose l = h + h. Does 17 divide h?
False
Suppose 0*x + x - 14 = 0. Suppose 0*g + 4*f - x = -2*g, 5*g = 2*f + 47. Does 4 divide g?
False
Let s(v) = -9*v - 3. Let j be s(-2). Let t = 1 + j. Is t a multiple of 8?
True
Does 6 divide 6 - ((-4)/(-4) - 2)?
False
Let x be -3*5 - 0/1. Let o = x + 27. Is 6 a factor of o?
True
Suppose -3*q - s + 83 = 0, -4*q + 23 = -3*q + 5*s. Suppose -3*f + 46 = -4*x, 2*f - 3*x - q = x. Is f a multiple of 9?
True
Is (-25)/(10/(-2))*13 a multiple of 13?
True
Let h(z) = -z**2 + 1 - 3*z**3 + 1 - 2*z - 3. Let u be h(-1). Let b(f) = f**3 - 2*f - 2. Does 19 divide b(u)?
True
Let p = 75 - 20. Is p a multiple of 5?
True
Let p = 162 + -43. Let l = -70 + p. Is l a multiple of 20?
False
Suppose -4*y + 2*y = 0. Let n(b) = b + 16. Is 16 a factor of n(y)?
True
Suppose 8*v - 15 = 3*v. Suppose -v*n = -2*f, 0*n - 4*f = -2*n - 8. Suppose n*q - 51 - 9 = 0. Is q a multiple of 15?
True
Is ((-192)/20)/(-8)*(-2670)/(-9) a multiple of 36?
False
Suppose -12 = -3*b, -t + 5*b = b + 9. Let u = t + -4. Suppose 4*v - 5*o - 115 = 0, -u*o - 147 = -v - 4*v. Does 10 divide v?
True
Let m(s) = s**3 + 7*s**2 + 8*s + 28. Let z be m(-7). Let l be (40/6)/((-4)/(-30)). Let j = l + z. Is 11 a factor of j?
True
Let i(v) = -v**2 + 15*v + 9. Let n(c) = c**2 - 5*c + 9. Let x be n(6). Does 2 divide i(x)?
False
Suppose 0 = -2*a - 4*d - 22, 4*a + 3*d + 54 = 5*d. Let r = 7 + a. Is (-3)/r*-2*-7 a multiple of 7?
True
Let z(g) = 3*g + 4*g - 9 + 8 + g. Is z(2) a multiple of 7?
False
Let a(y) be the third derivative of -y**5/60 - 5*y**4/24 - y**3/3 + 2*y**2. Let d be a(-4). Suppose -2*o - o - 3 = -3*q, -d*q = 4*o - 32. Does 4 divide q?
False
Let t be 1/5 + 18/10. Suppose 3*i - t*a + 14 = 0, 2*a + 4 = -4*i + a. Is 11 a factor of (-33)/((-7)/2 - i)?
True
Let u = -5 + 0. Let c be ((-12)/(-15))/((-2)/u). Suppose 28 = c*j - 5*b, -j + 1 = -2*b - 13. Is j a multiple of 14?
True
Let h(k) = k**2 + 4*k - 57. Is h(-13) a multiple of 4?
True
Let a = 143 - 106. Is 15 a factor of a?
False
Suppose h + 2*h - 6 = 0. Suppose 132 = 3*b - 3*f, -6*f + 12 = -h*f. Is b a multiple of 12?
False
Let u be (2 + -1)*-2 - -2. Suppose 64 = -u*w + 4*w. Does 8 divide w?
True
Let j(d) = -28*d + 4. Does 15 divide j(-2)?
True
Let f(m) = m**3 + 5*m**2 + 2*m + 3. Let p be (-1)/(1*(-2)/22). Suppose -i = -2, -5*z + 4 = 4*i + p. 