iple of 16?
True
Let a = -110 - -131. Is 7 a factor of a?
True
Let o be 3 + (5 - 1) + -2. Suppose o*d = b + 3*b + 10, 5 = -b. Let i = 21 - d. Is i a multiple of 6?
False
Let f = -1544 + 2279. Is f a multiple of 49?
True
Suppose -2*b + 3*m = 4*m - 23, 4*b + 4*m - 56 = 0. Suppose -b*s + 5*s + 296 = 0. Does 10 divide s?
False
Suppose o - 3330 = -135. Is o a multiple of 45?
True
Suppose c = 3*a - 8, -2*c + 5*a - 7 = 2*a. Let j be 243 + c*(3 - 6). Suppose j = 2*z + 3*z. Is z a multiple of 12?
True
Let s(v) = -v**3 - 6*v**2 + 5*v - 8. Let r be s(-7). Suppose 4*b - r = b. Is 3 a factor of ((-140)/10)/(b/(-1))?
False
Suppose -93*l - 12640 = -113*l. Is 8 a factor of l?
True
Let w(f) = f + 11. Let t be w(-9). Suppose v + t*d + 8 = -2, 0 = -d - 5. Let z = 10 + v. Does 6 divide z?
False
Suppose -5*h + 32 = 3*m, -m - 3*h = 4*m - 32. Suppose -m*t - 10 = -30. Suppose 4*j + 80 = t*j. Is 20 a factor of j?
True
Let u = -56 - -133. Is u even?
False
Let i = 45 + -67. Let l be 8/(-28) - (-188)/(-28). Let d = l - i. Is d a multiple of 7?
False
Suppose 188 = 4*d + 56. Suppose 707 + 1093 = 5*w. Suppose -37*h + w = -d*h. Is h a multiple of 12?
False
Let r = -57 + -217. Let x = 507 + r. Is x a multiple of 20?
False
Let j be 4 + (-498)/(-1 - -4). Let l = 286 + j. Let x = -84 + l. Does 20 divide x?
True
Let c = -89 - -175. Let w be -5*(14/10 - 2). Suppose -73 = -w*a + c. Is 18 a factor of a?
False
Let u(n) = n**3 - 10*n**2 + 10*n - 5. Let t be u(9). Suppose 2*w = -t*v + 576, -v + 1 = -0. Suppose 0 = -3*b + f + 413, -2*f = 3*b - b - w. Does 36 divide b?
False
Let h = -38 - -110. Let v = h + -44. Is v a multiple of 13?
False
Suppose 0 = -9*b + 672 - 249. Is 14 a factor of b?
False
Let u(w) = -5*w + 2. Let r be u(-1). Let x(q) = q**2 + 2*q. Is x(r) a multiple of 19?
False
Suppose 49*n - 66 = 50*n. Let r = n + 153. Is r a multiple of 47?
False
Let j(d) = -3*d**3 + 2*d**2 - 5*d - 12. Suppose 5*h = -7 - 3. Is 2 a factor of j(h)?
True
Let p = -12433 - -18752. Let q = p + -1375. Is 16 a factor of 4/(-22) + q/88?
False
Let c = -7 - -10. Suppose 6*n = c*n + 15. Suppose 5*t - t = 4*r - 236, 0 = -2*r + n*t + 124. Does 19 divide r?
True
Suppose 2*c = 4*s - 1128, 0 = -5*s + 55*c - 54*c + 1404. Is s a multiple of 15?
False
Let a = -225 - -205. Let n(q) = 14*q**2 + q - 1. Let v be n(1). Let j = v - a. Does 7 divide j?
False
Let o(z) = -z**3 - 5*z**2 + 2*z + 4. Let j be o(-5). Let t = j + 22. Is t a multiple of 4?
True
Let k = -1105 - -1630. Is 39 a factor of k?
False
Suppose 2*r + o + 56 = -3*o, -116 = 5*r + 2*o. Is 5 a factor of 1/(-2) - 341/r?
True
Suppose 0 = -5*m, 0 = 2*o + 3*m - 126 - 14. Suppose -1 = 2*d - 13. Let w = o + d. Is 23 a factor of w?
False
Let g(c) = -4*c + 1. Let s be g(-5). Suppose 16*w = s*w. Suppose w = i + 3*k - k - 61, 5*k = 20. Does 16 divide i?
False
Suppose -5*c + 736 = 2*n + 76, -3*n = 2*c - 990. Does 3 divide n?
True
Suppose 2*b - 9*b = -420. Does 6 divide b?
True
Suppose -c - 5*v = -117, -4*c = c + v - 561. Is 14 a factor of c?
True
Let o(a) = 2*a**2 + 6*a - 1. Let r be o(-8). Let g = -56 + 191. Let m = g - r. Is m a multiple of 28?
True
Is (-8 - (-741)/6)*10 a multiple of 11?
True
Let r = 35 + -35. Suppose -7*x + 0*x + 595 = r. Is x a multiple of 29?
False
Let j = 568 + -496. Is 9 a factor of j?
True
Let z(h) = 17*h + 38. Is 16 a factor of z(10)?
True
Let s(i) = i**3 + 2*i**2 - 2*i - 5. Let w be s(-3). Let u(z) = z**3 + 7*z**2 - 10*z + 8. Is u(w) a multiple of 16?
False
Suppose 4*z - 3*l - 7 = 10, -2*z - 2*l = 2. Suppose -o + z = -29. Is o a multiple of 14?
False
Let s(d) = d**2 - d - 3. Let p be s(0). Let a = 156 + -282. Is (a/10)/(p/10) a multiple of 11?
False
Let b(q) = -10*q - 23. Let i be b(-4). Suppose d - i + 8 = 0. Is d a multiple of 9?
True
Suppose 2*t = 4*h + t - 153, -h + 3*t = -52. Does 7 divide h?
False
Is 16 a factor of -36*1/(-14)*77?
False
Let n be 3/9 + 51/9. Suppose -n*t + 240 = -4*t. Suppose 3*f - 3*a - t = 0, 5*a = -0*a - 20. Is f a multiple of 28?
False
Suppose -507 + 13791 = 18*i. Is 9 a factor of i?
True
Suppose 48 = -7*m - 1. Let j(v) = -v**3 - 7*v**2 + 4. Let s be j(m). Suppose -s*d + 15 = -61. Does 17 divide d?
False
Does 68 divide (-6)/(3 + (-540)/177)?
False
Suppose 319 = 7*l - 150. Let p = 132 - l. Is p a multiple of 22?
False
Let g be (-6)/(-14) + 24/(-56). Suppose -5*v - 3*x = -272 + 16, g = 5*x - 10. Is 10 a factor of v?
True
Is 9 a factor of 2/6 - 308876/(-444)?
False
Let l = 17 - 17. Suppose -2*a - q + 29 = -19, l = -2*a - 4*q + 48. Is 5 a factor of a?
False
Suppose 264 = 134*l - 132*l. Is 8 a factor of l?
False
Let i(c) be the third derivative of -c**5/12 - 7*c**4/24 + c**3/3 - 5*c**2. Let a be i(-7). Is 14 a factor of a/(-7) - (-2)/7?
True
Let b be 0 - 0 - 1*-57. Let o = 155 + -153. Suppose 0 = o*k - b - 83. Does 26 divide k?
False
Let f = 10 + -49. Let g = -23 - f. Let z = g - 2. Does 14 divide z?
True
Let j = 304 + 230. Is j a multiple of 8?
False
Let a = -71 + 169. Let x = a + 64. Suppose 5*z = 188 + x. Does 17 divide z?
False
Let w be (36/15)/(18/45). Is -3 + w + 124 + 4 a multiple of 15?
False
Suppose 9*o + 4206 = 12*o. Is o a multiple of 39?
False
Let p(i) = 33*i**2 - 3*i + 2. Let g be p(1). Let w = 45 - g. Let l = 27 + w. Is l a multiple of 13?
False
Let o = 38 - 50. Let m(t) = -t**3 - 13*t**2 - 18*t - 1. Does 24 divide m(o)?
False
Let v = 41 + -68. Is 9/(v/(-138)) - 4 a multiple of 14?
True
Let j(n) = 141*n**2 - 4*n - 7. Suppose 3*x = x - 4. Let q be j(x). Suppose -14*l = -9*l - q. Does 20 divide l?
False
Let x(b) = -b + 15. Let q be x(-7). Suppose -4 = -g + q. Is g a multiple of 13?
True
Suppose 584 = -804*r + 808*r. Is r a multiple of 9?
False
Let p = 235 + -117. Let l = -67 + p. Does 11 divide l?
False
Is (-118 + -2)*(-11)/(220/48) a multiple of 16?
True
Suppose 1 + 15 = 4*i. Let l = 182 - 52. Suppose 0 = -i*d + 78 + l. Does 13 divide d?
True
Is 5 a factor of 10/(-40)*-3 + 657/4?
True
Let o be 0 + 0 + (-7 - 135 - 0). Let v = -82 - o. Is 30 a factor of v?
True
Suppose 5*y = -4*u + 2, -y + 5*u - 8 = -20. Suppose 13 = 4*w - 3*a, -55 = -3*w - y*w - 4*a. Is w a multiple of 7?
True
Suppose 114 = 7*z + 282. Is (-108)/z*(0 - -10) a multiple of 15?
True
Let s = -60 - -76. Suppose -3*a + 35 = 2*a. Suppose s - a = k. Does 6 divide k?
False
Suppose 0 = 31*i - 27*i - 8. Is 3 a factor of 22/3*((-6)/(-1))/i?
False
Is 12 a factor of 2 + -3 - (-3 + 97*-6)?
False
Let n(y) = y - 12. Let g be n(14). Let d be (5 + -23)*(-1)/g. Suppose f = -0*f + d. Is 9 a factor of f?
True
Suppose -28*n + 25*n + 51 = 0. Let j = n + -12. Let p = j - -31. Is p a multiple of 6?
True
Suppose 0*n = 10*n - 300. Does 10 divide 411*(11/15 + n/(-75))?
False
Let l(n) be the second derivative of 0 + 4*n - 4/3*n**3 + n**2. Is l(-2) a multiple of 6?
True
Does 19 divide (-8)/4 - (-136)/17 - -1096?
True
Suppose 0 = 3*b + 4*l + 4 - 27, -5*b + 29 = 2*l. Let m(q) be the first derivative of 7*q**2/2 + q - 8. Does 18 divide m(b)?
True
Is 152/10*595/34 a multiple of 38?
True
Let x be (-79)/3 + (-1)/(-3). Let r = 94 + x. Is 34 a factor of r?
True
Suppose 0 = -4*n - w + 12, 0 = 4*n + 4*w + w + 4. Suppose 0 = -4*r, n*v + 2*r = 6*r + 44. Let o = v + 17. Is 13 a factor of o?
False
Suppose 3*b + o = -2*b + 1029, -5*o - 1005 = -5*b. Is b a multiple of 7?
False
Let l be ((-1)/2)/((-5)/160). Suppose 0*g - 16 = i - 4*g, -5*g = -10. Let j = i + l. Is j a multiple of 6?
False
Let l be 14/8 - (-2)/8. Let d be (-1 - 2 - -2) + 0. Does 8 divide 3 + 41 - (l + d)?
False
Let z be (-6 + -426)/((-2)/3). Is 2/10 + z/10 a multiple of 5?
True
Let h = 197 - 143. Let v = h + -18. Does 18 divide v?
True
Let n be 2/11 - 3904/176. Does 11 divide ((-57)/(-38))/((-3)/n)?
True
Let l(w) = 21*w**2 - 14*w + 75. Is l(5) a multiple of 10?
True
Is ((-96)/(-15))/(1 - (-156)/(-160)) a multiple of 32?
True
Let m(l) = -l + 2. Suppose -2*f - 6 = -3*j, j - f - f - 2 = 0. Let d be m(j). Suppose d = 2*t - t - 4*o - 12, 0 = -4*t + o + 33. Does 2 divide t?
True
Is (-8)/6 - 2125*17/(-51) a multiple of 4?
False
Let t(g) = -g**3 - 2*g**2 + g + 2. Let o(h) = 5*h**3 + 8*h**2 - 5*h - 8. Let x(a) = 2*o(a) + 9*t(a). Let i be 33/12 + (-1)/(-4). Is 2 a factor of x(i)?
True
Suppose 20 = 3*r - 4*q + 2*q, -r = 4*q + 12. Suppose -5*c - r*m = -312, 0*c + 306 = 5*c + 2*m. Is c a multiple of 12?
True
Suppose 4*d + 18 = 2. Let 