Let w = v - 10. Is 13 a factor of w?
True
Does 2 divide (-3 + (-4)/(-1))*9?
False
Let g = -11 + 7. Let q = -4 - g. Let k(t) = t**3 - t**2 + 22. Is k(q) a multiple of 10?
False
Let f = 10 - 15. Let r = -5 - f. Suppose d + 17 = 3*c + 6*d, -4*c + d + 61 = r. Is c a multiple of 7?
True
Let o = -1 - -1. Let k = o + -6. Let y = 9 + k. Is 3 a factor of y?
True
Suppose 2*w + 5*q - 749 = 0, -2*q - 119 + 1259 = 3*w. Let s = w + -901. Does 9 divide (-4)/(-14) - s/21?
False
Let a = -32 - -78. Suppose 4 = k, 3*k = -2*c + 6*k + a. Is c a multiple of 11?
False
Let d(n) = -n**2 - 11*n - 13. Let h be d(-8). Suppose 16*y = h*y + 205. Is y a multiple of 10?
False
Let c(a) = -2*a + 0*a**3 + 3*a**2 + a**3 + 3 + 0*a**3. Is c(2) a multiple of 19?
True
Suppose 5*i = 44 + 161. Let h = 25 - i. Does 12 divide h*(-6)/(-4)*-1?
True
Does 10 divide (-4)/(-2) + 20 + 18?
True
Let y be (-110 + 2)/(-3) + 2. Suppose -4*w + y = -2*t, -w + t - 6*t = -4. Is w a multiple of 3?
True
Let v(s) = -s**2 - 25*s - 40. Is v(-20) a multiple of 3?
True
Suppose -l = -0*l. Suppose l*d + 30 = 3*d. Is 6 a factor of d?
False
Suppose -4*t + 4*c - 4 = 0, -2*t - 4*c + 16 = -0*c. Suppose t*j - 4*w = 61 - 15, 0 = 5*j - 2*w - 83. Is 7 a factor of j?
False
Does 22 divide 4/(-14) - 5/((-70)/928)?
True
Let q be (201/(-6))/(1/2). Let h = -22 - q. Is 20 a factor of h?
False
Let m(q) be the first derivative of -2 - 7*q + q**2 - 1/4*q**4 - 4/3*q**3. Is 6 a factor of m(-5)?
False
Suppose -5*d + 2*b = -65, -2*d = -b + 4*b - 26. Suppose -u + d = c, -4*c + 3*u - 67 = -9*c. Is c a multiple of 12?
False
Let v(q) be the third derivative of -q**6/120 - 2*q**5/15 + q**4/3 + 4*q**3/3 + q**2. Is 6 a factor of v(-9)?
False
Let c(q) = -41*q**3 - 1. Let v be c(-1). Let g = v + -1. Suppose -2*o = g - 111. Does 14 divide o?
False
Let b = 135 + -96. Is 7 a factor of b?
False
Let h(n) = 3*n**2 - 4*n**3 + 3*n**3 - 2*n**2. Let o be h(1). Suppose -4*k = -5*f - 143, k + 3*f + 0*f - 23 = o. Is k a multiple of 16?
True
Let a = 24 + -3. Suppose -60 = 5*k - k + 2*u, 24 = -2*k + 2*u. Let t = a + k. Is 6 a factor of t?
False
Suppose 5*u + 1 = 16. Let t(v) = -3*v + 5*v - 6 + 3*v**2 - v**3 + 2. Is t(u) a multiple of 2?
True
Let d = 104 + -149. Let i = d - -132. Let b = i + -57. Is b a multiple of 10?
True
Let k be (-2)/((-2)/4*1). Suppose i - 5 = -k*i. Suppose -a + 3 = -i. Is a a multiple of 3?
False
Suppose 2*a + 3 - 5 = 0. Is 3 a factor of (-1 + -4)/(-2 + a)?
False
Suppose -2*n - 122 = -2*j, -2*j + 71 = -j - 3*n. Let v = 94 - j. Does 19 divide v?
True
Let k be (-1)/3 + 37/3. Suppose 6*r - 3*r - 2*t = -9, 4*t = -4*r - k. Let v = 0 - r. Is 2 a factor of v?
False
Suppose -5*x + 0 = -5*v - 25, 5*x - 25 = 2*v. Suppose -3*t + 44 = 5*d + 10, -2*t - 4*d + 22 = v. Is 7 a factor of t?
False
Let a(k) = -2*k - 9. Let t be a(-11). Suppose 4*o - 5 + t = 0. Let h(i) = -5*i. Is h(o) a multiple of 4?
False
Suppose -i + 8 = 2*w - 8, 0 = -2*i - 2*w + 28. Suppose 2*r - i = -2*r. Suppose -r = -3*a, 0*a + 77 = 4*q + a. Is 18 a factor of q?
False
Let p(c) be the first derivative of -c**4/4 + 7*c**3/3 + 4*c**2 + 6*c + 3. Let d be p(8). Is 44/d + (-2)/6 a multiple of 3?
False
Let o = 3 + 3. Does 3 divide o?
True
Let m = -191 - -53. Let a = -46 - m. Is a*(-2)/(-4) - 3 a multiple of 11?
False
Suppose 2*w = w - 2. Let j be w/(4/(-6) + 0). Suppose 0 = -5*r - 0*l + 2*l + 137, 0 = j*r + 2*l - 79. Does 9 divide r?
True
Suppose -j + 3 = -2. Suppose 105 = 3*h - 5*d, -6*h = -h + j*d - 175. Suppose 0 = -4*q + 81 + h. Is q a multiple of 10?
False
Suppose -33 = -3*l - 5*h, 0*h + 2*h = -3*l + 42. Is 8 a factor of l?
True
Let y = 31 - 5. Suppose -b + 58 = -4*g - y, -2*b - 74 = 3*g. Let w = g - -42. Is 10 a factor of w?
True
Let g = 6 + 8. Does 14 divide g?
True
Let l(o) = o**3 - 3*o**2 + 7*o - 1. Let s(v) = -v**3 + 2*v**2 - 8*v. Let h(q) = 3*l(q) + 2*s(q). Let r be h(4). Is (-1 + 0)*(-37 - r) a multiple of 19?
True
Is 9 a factor of 23 + -1 - -1 - 1?
False
Suppose 9*o = 2*o + 70. Is 9 a factor of o?
False
Let c = 607 - 355. Is c a multiple of 26?
False
Let z = 120 - 40. Is 10 a factor of z?
True
Let c(z) = z**3 - 5*z**2 - 7*z + 3. Let g be c(6). Let k = g + 15. Is k a multiple of 4?
True
Let h be (3 - 2)/(-1) + 6. Suppose 5*y - 195 = -p + 29, -h*y - 3*p = -222. Is y a multiple of 15?
True
Let u be (-5 + 3)/((-4)/6). Suppose 2*b - 23 = -3*w, u*b + 0*b + 6 = 0. Let r = w - -1. Is 5 a factor of r?
True
Let d(o) = -3*o - 2. Let a(p) be the third derivative of -p**4/24 + p**3/6 - 3*p**2. Let r(f) = -3*a(f) - d(f). Is r(4) a multiple of 8?
False
Let z be 2 + 62 + 2 + 3. Let h = z - 40. Is h a multiple of 15?
False
Let p(f) = f**3 + f**2 - 5*f - 2. Let l be p(-3). Let q(z) = -8*z - 4. Let m be q(l). Let h = -24 + m. Does 12 divide h?
True
Let t(j) = -49*j**2 - 1. Let s be t(-1). Let r = s + 77. Is 7 a factor of r?
False
Suppose 2*o + 2*o + 3*c = 85, 2*c + 13 = o. Is o a multiple of 5?
False
Let c = 429 - 248. Is c a multiple of 19?
False
Suppose 21 - 9 = 4*h. Suppose 0 = -h*v + v + 10. Is 5 a factor of v?
True
Let x = 13 - 9. Suppose 0 = 5*y - 117 + 17. Let w = y + x. Is 12 a factor of w?
True
Suppose -d + 4*v + 24 = 0, -73 = -3*d + v + 54. Is d a multiple of 12?
False
Suppose 0 = 2*q - 0*q - 164. Does 27 divide q?
False
Suppose -n - 3*n = -8. Let z be 44/6 - n/6. Is -2 - z*3*-1 a multiple of 14?
False
Suppose -2*o + 4*g - 16 = 0, 0*g - 3*g = -3*o - 9. Suppose 0 = -m - o*m + 117. Is m a multiple of 13?
True
Let k(l) = l + 13. Let w be k(-9). Let b(a) = a + 6. Is 5 a factor of b(w)?
True
Let o(m) = m**2 - 7*m + 10. Let p be o(8). Suppose d - 4 = -5*n + p, -3*d - 2 = -2*n. Suppose -4*a - v + 137 = 4*v, d*v + 130 = 5*a. Does 14 divide a?
True
Suppose -353 = -4*x + 3*v, 0 = -2*x - 0*x + 5*v + 187. Is x a multiple of 18?
False
Let b be (5/(-2))/((-1)/2). Let l = b + -3. Let o(w) = 4*w - 1. Is 7 a factor of o(l)?
True
Let c = -8 - -10. Suppose c*u - 5 = 1. Is u a multiple of 2?
False
Suppose 5*s + 135 = -5. Suppose -2*c - 104 = -0*c. Let g = s - c. Is 10 a factor of g?
False
Let o(l) = -l**2 - 9*l - 5. Let m be o(-8). Suppose -2*p = 2*f + m*p - 44, 2 = -p. Suppose f = 3*i - 21. Is 8 a factor of i?
True
Suppose -4*f + 16 = -0. Let w = f - 2. Suppose 2*b + w*b - 12 = 0. Is b even?
False
Let k = 84 + -1. Is 7 a factor of k?
False
Let j = 11 - 9. Let b(y) = 5*y**2 + 2*y. Does 8 divide b(j)?
True
Suppose u = 4*z - u - 8, -2*z = -5*u + 4. Suppose -20 = -x - z*x. Let j = 38 + x. Is j a multiple of 12?
False
Let u(p) = 12*p - 3. Let n be u(5). Suppose 0*t + n = 3*t. Suppose -3*a = -5*g + a + t, 5*a - 55 = -5*g. Does 7 divide g?
True
Is 13 a factor of 104/(-16)*(-3 - -1)?
True
Suppose 5*x = 5*j + 1060, -2*x - 3*j = -354 - 65. Does 19 divide x?
False
Suppose 0 = 2*j + 3*h - 12, -3*j + 3*h = -8*j + 21. Suppose 4*n - 2*k - 260 = 0, -k + 94 = 3*n - 111. Suppose 5*p - n = j. Does 7 divide p?
True
Suppose -3*l + 11 = w, 15 = -5*w - 2*l + 5. Let k = -4 - w. Is 13 a factor of (6 + k + -2)*8?
False
Let p be 66 - (-2 - 1*-4). Suppose 2*o = -5*h + p, -o - 2*h - 2*h + 26 = 0. Is 21 a factor of o?
True
Suppose 4*t = 5*h - 21, -8*t - 19 = -3*t + h. Suppose -4*y + 0*d + d + 106 = 0, -y - d = -24. Let i = t + y. Is i a multiple of 11?
True
Let d(c) = 5*c**3 - 4*c**2 + 6. Let q be d(-3). Let r = -95 - q. Is r a multiple of 28?
False
Suppose 5*x + 50 = 5*k, 3 = 5*x - 7. Is 3 a factor of k?
True
Let j(x) = 27*x**3 + x**2 - x. Let p be j(1). Let w = p + -13. Let t = w - 4. Is 5 a factor of t?
True
Let p be -1 + 6 + -1 - -1. Suppose a = -3*x + 27, 37 = p*x - 0*x - a. Does 4 divide x?
True
Suppose 0 = 4*u + 20, 0*u + 4*u = b - 97. Does 22 divide b?
False
Suppose -81 = -4*j + j. Is j a multiple of 9?
True
Suppose -z - 4 = 0, 10*n - 5*n = 4*z + 136. Suppose -3*o + n = 15. Does 3 divide o?
True
Suppose 2*s - 111 = 129. Let c = 3 - -2. Suppose -c*r = -r - s. Does 15 divide r?
True
Let t be -1 - -2 - 33/(-3). Suppose 2 = b - t. Suppose 0 + 15 = 3*z, c + 2*z = b. Is c a multiple of 4?
True
Let u = 56 + -14. Let j = -10 + u. Does 12 divide j?
False
Let o(y) = -8*y. Let a be o(-6). Suppose -4*h + a = -h. Is 8 a factor of h?
True
Suppose 3*d = -5*z - 4, -10 = -d + 5*z + 22. Suppose d + 75 = 2*c. Suppose 44 = 2*b - 5*a, 3*b - c = -0*a - 5*a. Does 9 divide b?
False
Let m be (-1)/1*11/(-1). Let b = m + -3. Is 4 a factor of b?
T