. Let u be 1/(-2) + (-13)/(-2). Is 14 a factor of (i/(-4))/(u/(-16))?
True
Let c(t) = 12*t + 1. Suppose 5*g = -2 + 7. Let d be c(g). Suppose -d + 109 = 4*i. Is 9 a factor of i?
False
Let d = 3 + 27. Suppose -28 = -u + d. Is 16 a factor of u?
False
Let a = 70 - -45. Suppose -3*r = -8*r + a. Is 23 a factor of r?
True
Let d be (-605)/(-10) - (-2)/4. Suppose 5*o = -5*h - 89 + 24, 63 = -3*h + 3*o. Let a = h + d. Is 16 a factor of a?
False
Suppose 4*j - 375 = -j + 3*a, -4*a - 225 = -3*j. Is j a multiple of 25?
True
Let u = 86 + -40. Is u a multiple of 23?
True
Let j(w) = w**3 - 5*w**2 - 8*w + 15. Does 2 divide j(6)?
False
Suppose 2*x - 3*t - 46 = 56, -3*t - 12 = 0. Is x a multiple of 9?
True
Let z = 31 + -18. Is 8 a factor of z?
False
Let q = 4 + -7. Let b be (-51)/(-12) + q/(-4). Suppose 5*j - 10 - b = 0. Is j a multiple of 3?
True
Suppose w = 5*z + 69 - 12, 278 = 4*w + 5*z. Is 10 a factor of w?
False
Let w = -20 - -29. Is w a multiple of 7?
False
Let v(m) = -m**2 - 37*m - 10. Does 16 divide v(-22)?
True
Let u(q) = -q**3 - 3*q**2. Does 15 divide u(-6)?
False
Let a(k) = 4*k + 1. Let u(r) = r + 9. Let z be u(-8). Let t be a(z). Suppose 169 = 4*g + 5*o + 26, 0 = g + t*o - 47. Is 16 a factor of g?
True
Suppose -4*i = -4*c - 4 - 8, 3*i - 4*c - 7 = 0. Suppose -3*z + 2*m + 222 = 7*m, i*z + 3*m - 370 = 0. Is z a multiple of 19?
False
Suppose 0 = -3*h - 2*v + 3, 3*h + 3 = 3*v - 7*v. Let z(p) = -6 - 2*p + 3*p - h*p**3 + 4*p**3 + 6*p**2. Is z(-5) a multiple of 7?
True
Suppose -j + 12 = -24. Does 12 divide j?
True
Let o = -6 - -5. Is (-153)/(-15) - o/(-5) a multiple of 5?
True
Let s(y) = y**3 - 7*y**2 + 9*y + 9. Is 16 a factor of s(7)?
False
Let f = -36 - -148. Let h = -79 + f. Is h a multiple of 11?
True
Let y(s) be the third derivative of -3*s**4/8 + 37*s**3/6 - s**2. Let v(z) = -5*z + 18. Let d(o) = -11*v(o) + 6*y(o). Does 12 divide d(0)?
True
Suppose 0 = 5*z - 24 + 4, -2*z - 5 = s. Let i = s + 31. Is i a multiple of 6?
True
Suppose 29*r - 10*r - 3800 = 0. Is 15 a factor of r?
False
Let x(y) = -y**2 + 4*y + 4. Let s be x(4). Suppose 5*h = r - 119, -s*r + 2*h + 366 = 4*h. Is 2 a factor of (-2)/9 + r/18?
False
Does 9 divide (3/6)/((-3)/(-288))?
False
Suppose 4*a - 8*a = -24. Does 10 divide (-10)/(-60) - (-215)/a?
False
Let q(k) = -2*k - 3. Suppose -16 = 2*x - 6*x. Let s be q(x). Let l = 18 + s. Is l a multiple of 7?
True
Suppose -5*o + 0*o + 170 = 0. Is 17 a factor of o?
True
Let c be ((-1)/(-2))/((-1)/46). Let i = 33 + c. Is i a multiple of 5?
True
Let u be 115/9 + 8/36. Suppose 3*a + u = -2*g, 0*g = -4*g - 2*a - 6. Is -2*(-15 - g/1) a multiple of 16?
True
Suppose 2*x + u - 253 = -x, -5*u = 2*x - 173. Suppose -56 = -5*o + x. Is o a multiple of 14?
True
Let t(n) be the first derivative of 8*n**3/3 + 3*n**2/2 + 3. Is 10 a factor of t(-2)?
False
Let w(j) = -2*j**3 - j**2 - 3*j - 4. Let h(z) = z**2 + 5*z + 3. Let x be h(-3). Is 15 a factor of w(x)?
False
Let w = 210 - 110. Is 8 a factor of w?
False
Suppose -z - 3 = -2*x - 0, 5*x - z = 12. Is x a multiple of 2?
False
Let p(k) = 43*k**2 - 1. Does 14 divide p(-1)?
True
Let k = -41 - -16. Let c = k - -9. Let q = 42 + c. Is q a multiple of 13?
True
Let b(f) = -2*f + 30. Is b(-6) a multiple of 21?
True
Is 4 a factor of (108/(-10))/((-6)/20)?
True
Let t = -6 - 0. Let b = 3 + t. Does 20 divide b/(2 - 3) - -17?
True
Let u(z) = 10*z**3 - 3*z**2 + 1. Does 3 divide u(1)?
False
Suppose -4*y + 5*b + 331 = 0, -4*b = -2*y - 5*b + 169. Is -2 + 1/(2/y) a multiple of 20?
True
Let y = 209 - 124. Is 17 a factor of y?
True
Let x be (8 - 6)/((-1)/26). Does 4 divide 2/(-3) + x/(-6)?
True
Suppose 16 = -c - 3*c. Let v(x) = 2*x**2 + 4*x. Let j be v(c). Suppose 0 = -4*b + j, 0 = -4*g - b + 20 - 4. Is g a multiple of 2?
False
Let h(n) = -n - 5. Let j be h(-7). Suppose -450 = -3*o - j*o. Suppose 5*s - 2*s = o. Is s a multiple of 13?
False
Suppose 0 = -5*s + 117 + 243. Does 19 divide s?
False
Is (1 + -5)/4*(-112 + 0) a multiple of 14?
True
Let c = -4 - -6. Suppose 0 = d - 0*d - c. Suppose -d*a + 3*a - 34 = 0. Is a a multiple of 17?
True
Let b(j) = j + 11. Is b(-9) even?
True
Let w be 0 + 87 + -3 + 5. Let d = w + -46. Does 12 divide d?
False
Let l = 2 - 0. Suppose 0*q + l*q = 8. Let c = q + 5. Does 9 divide c?
True
Let r = 10 - 7. Suppose 5*h + 3*q = 2, 0 = -2*h + h - 4*q - r. Is 8*h*(1 - 0) a multiple of 4?
True
Suppose -l - 5 = -5*t, -l + 0 = 3*t - 3. Suppose l = 3*r - 3*w - 45, 0*w = -2*r - 3*w + 55. Is r a multiple of 10?
True
Let y(i) = 12*i**2. Is 24 a factor of y(-2)?
True
Let s be 24 - 5/(10/6). Let h = -13 + s. Is 6 a factor of h?
False
Let y(j) = -j - 7. Let h(p) = -p - 6. Let w(u) = 7*h(u) - 6*y(u). Is w(-6) a multiple of 4?
False
Let h = -105 - -174. Let j = h - 31. Is j a multiple of 19?
True
Suppose -3*k + 4*p = -4*k + 24, -4*p = 3*k - 48. Is 3 a factor of k?
True
Let m be ((-8)/10)/((-5)/150). Suppose -m = u - 3*u. Does 11 divide u?
False
Let q(o) = 2*o**2 - 3*o + 3. Let s(z) = -z**3 + 5*z**2 + 2. Let r be s(5). Is q(r) a multiple of 4?
False
Suppose 0 = -13*m - 2 + 67. Is 5 a factor of m?
True
Let i(u) be the third derivative of u**5/30 - u**4/24 - u**3 - 2*u**2. Let q be i(5). Let f = q + -22. Does 17 divide f?
True
Suppose -2*h + 164 = -64. Does 10 divide h?
False
Let l be 85/25 + 3/5. Let g(u) = 2*u**2 - 5*u + 3. Is 6 a factor of g(l)?
False
Suppose 5*d + 5*k = -59 - 71, -4*d = -k + 119. Let y = 65 + d. Suppose -4*n + 84 = -y. Is 15 a factor of n?
True
Let b(h) = -h**2 - 6*h + 2. Let q be b(-5). Suppose 133 = 4*f - 11. Let x = f - q. Does 8 divide x?
False
Let w = -108 - -188. Is w a multiple of 16?
True
Let o(g) = 26*g**2 - 1. Let z be o(-1). Suppose -2*m - 5 = -z. Is m a multiple of 5?
True
Let h = 73 + 27. Is h a multiple of 10?
True
Suppose b - 45 = -20. Is b a multiple of 5?
True
Suppose w - 99 = -2*w. Is 16 a factor of w?
False
Suppose -15 = -3*f + 3*h, -2*f - 14 = -5*f + 4*h. Does 11 divide (-116)/(-3) + 2/f?
False
Suppose 0 = b + 7 - 34. Let t = 17 - b. Is t/35 - 282/(-7) a multiple of 11?
False
Suppose 0 = -p + 3, 3*o + 4*p = 432. Is 20 a factor of o?
True
Suppose 5*g + 2*c = 7*g - 20, 4*g - 25 = c. Suppose -g = 2*x - 27. Does 4 divide x?
False
Let b(p) = 2*p - 6. Let r be b(4). Suppose -3*k - r*l + 3 = -2*k, 0 = -2*k - 3*l + 5. Is k/(3 - 2) - -20 a multiple of 21?
True
Suppose c + c = 10. Suppose 15 = c*o + 4*k, o - 4 = -3*k + 2*k. Let q(d) = 13*d**2 + d. Is q(o) a multiple of 6?
True
Is 7 a factor of (-1 + -2)/((-25)/275)?
False
Suppose v = 5*v - 220. Is 11 a factor of v?
True
Suppose 0 = -5*j + 5*m - 0*m + 45, 2*m = -2*j + 18. Let y = -6 - -2. Let k = y + j. Does 2 divide k?
False
Is ((-6)/4 + 3)*16 a multiple of 8?
True
Let q be 9*4 + 0 + 0. Suppose -24 - 1 = -5*d. Suppose -3*p - q = -d*p. Does 9 divide p?
True
Let y(i) = -i**2 - 4*i + 5. Let w be y(-5). Suppose q + 2*q - 75 = w. Is q a multiple of 8?
False
Let u = -145 - -266. Does 9 divide u?
False
Let n = -7 + 10. Let w be (-2)/(-6)*n*-6. Is w*(0 + 33/(-6)) a multiple of 11?
True
Let o = 63 + -35. Is 2 a factor of o?
True
Let i be ((-38)/3)/((-16)/72). Let v = -27 + i. Is v a multiple of 5?
True
Let o(p) = -2*p - 2. Let l be o(-2). Let v be 1 + (2 - l - 0). Is 7 a factor of v/(1 - 18/21)?
True
Suppose 51 = -2*t - 53. Let k = t + 93. Is 34 a factor of k?
False
Suppose -9*y + 12*y = 132. Does 44 divide y?
True
Suppose -4*p + 16 = -2*w, 16 = p + p - 5*w. Suppose 4*u - p*j - 16 = 0, -j = -0*u + u - 4. Is u a multiple of 3?
False
Let o = -96 + 136. Does 8 divide o?
True
Let y be 1/(-3) - 116/3. Let m = -23 - y. Is m a multiple of 6?
False
Let g be 3 + (-3)/(-2 - -3). Suppose 2*a + 4*w = -3*a + 2, g = 2*a + w - 2. Suppose -3*l - 2*f + 52 + 64 = 0, 0 = -a*l + 5*f + 52. Is l a multiple of 12?
True
Suppose 0*u = u - 5. Suppose 5*n - 8 = -y + u, -y = -n - 7. Does 3 divide y?
False
Suppose 0*a - 15 = -3*a. Let b be (2 - a)/((-6)/92). Suppose -4*y + b = 6. Is 5 a factor of y?
True
Let m(n) = -2*n**3 - n**2 + n - 1. Let s be m(1). Let q = 7 + s. Is 9 a factor of 0 - -8*(q + -2)?
False
Let w be (-2)/9 + 295/(-9). Suppose -2*k - 26 = -0*k. Let o = k - w. Is 10 a factor of o?
True
Suppose 3*d - o - 181 = 354, -o - 712 = -4*d. Does 35 divide d?
False
Let l = 6 + -4. Suppose -2*t - 93 = -5*s + l*t, 5*s - 102 = t. Does 6 divide s?
False
Let u = 10 - 7. Suppose -5*q - u*n =