
True
Suppose -b - 437344 = -80*b. Is 16 a factor of b?
True
Let c be (16/(-24))/((-5)/(-45)). Suppose 2*u = 5*w - 203, -u + 2 = u. Let s = c + w. Is s a multiple of 8?
False
Let d = 59 - 42. Let z = d - -1. Does 4 divide z?
False
Suppose 66 = 4*z - 66. Let d = z + -3. Is 15 a factor of d?
True
Let u(g) be the first derivative of -21*g**2/2 - g + 1. Let n be 66/(-110) + (-2)/5. Does 11 divide u(n)?
False
Suppose -2*h + 4*z = -3 + 7, 6 = h - 4*z. Let d be (28/35)/((-2)/h). Is 10 a factor of d/(-12)*(0 + -141)?
False
Let u be 17/(-85) - 1142/(-10). Let l = 294 - u. Is l a multiple of 20?
True
Let b(z) = -7*z**2 - 4*z - 13. Let u(i) = i**2 - i - 1. Let p(m) = -b(m) - 5*u(m). Is 11 a factor of p(-6)?
False
Is 23 a factor of (-6769)/(-21) - 4/12?
True
Suppose -42 = -2*m - 5*v, 0 = 4*m + 5*v - 3*v - 100. Suppose -14*w + 15*w = m. Is w a multiple of 7?
False
Let b = -104 + 264. Does 2 divide b?
True
Suppose 2*g - 6*g + 36 = 0. Let d = 40 - g. Is 7 a factor of d?
False
Let w be 0 + 1 + (8 - 44). Let i = 49 - w. Is i a multiple of 21?
True
Does 2 divide 2700/24 + 2/4?
False
Suppose x - 2*o = -152, 0 = -x - 4*o - 190 + 8. Let z = -54 - x. Is 36 a factor of z?
True
Suppose -16 = -3*f - 13. Let w be (-113 - 6/3) + -3. Is 13 a factor of w*((-2)/4)/f?
False
Suppose 2*f + 3*y = 1454, -3*f + 2194 = 5*y - 7*y. Is f a multiple of 20?
False
Suppose 0 = b - 2 - 0. Suppose s - 79 = -2*p, 0 = s + s - b*p - 128. Is 18 a factor of s?
False
Let h(d) = -7*d**3 - 13*d**2 + 6*d. Let t(k) = k**3 + k**2 - 1. Suppose 2*z + 18 - 6 = 0. Let v(u) = z*t(u) - h(u). Is 12 a factor of v(-7)?
True
Let z(g) = g**2 + 18*g - 42. Does 19 divide z(-22)?
False
Let w = -690 - -1202. Is 32 a factor of w?
True
Is 10 a factor of (6/8)/(6/2008)?
False
Let v = 54 + -52. Suppose 0 = v*j - 57 - 33. Is 7 a factor of j?
False
Suppose f - 4*f + 2*x = 3, 4*f = 5*x - 11. Let i be 300/12 + f + -5. Suppose 0 = -5*t + i + 174. Is t a multiple of 13?
True
Let s(i) be the first derivative of -2*i + 5/3*i**3 + 0*i**2 + 1. Is 14 a factor of s(2)?
False
Let j = 4014 - 990. Is j a multiple of 28?
True
Suppose -2*x - 14 = -4*p, -8 = -3*p + 3*x - 2*x. Is 102 + p/((-4)/8) a multiple of 25?
True
Is 1310/55 + 35/11 + -3 a multiple of 4?
True
Suppose -5*v + 381 = 51. Is v a multiple of 10?
False
Suppose -d + 0*d = 0. Let j = 93 - 69. Suppose -w + 12 + j = a, 5*w + 3*a - 186 = d. Does 8 divide w?
False
Suppose 4*i - 5977 - 4635 = 0. Suppose -7*c + 14*c - i = 0. Is 56 a factor of c?
False
Let o be 5/(-2)*(-12)/(-10). Let r(t) = 15*t + 2. Let k(d) = -d. Let h(j) = -18*k(j) - 2*r(j). Is h(o) a multiple of 8?
True
Let c(j) = -j**3 - 7*j**2 - 7*j - 5. Let o be c(-6). Suppose x + o = 3*l + 9, 5*l + 18 = -3*x. Does 16 divide 61/1 + l + 6?
True
Let l(g) = 303*g**3 + 2*g**2 + 2*g - 4. Does 25 divide l(1)?
False
Let r be 125/20 - 2/8. Suppose 0 = -r*b + b. Suppose -a + b = -5. Is 3 a factor of a?
False
Does 2 divide 10/(-15)*(-249)/2?
False
Let c(j) = j**3 + 11*j**2 - 34*j + 15. Is 40 a factor of c(-7)?
False
Let g(k) = 11*k**3 + 17*k**2 - 11*k + 8. Is 14 a factor of g(5)?
False
Let q be -2*((4 - 2) + -1). Let y(b) = b**2 + 2*b. Let p(c) = -2*c**2 - 9*c - 3. Let i(z) = p(z) + 3*y(z). Is i(q) a multiple of 2?
False
Is 60*(2 + (-3)/(-4)) a multiple of 15?
True
Let x(h) = -h**3 - 8*h**2 - 9*h - 6. Let t = 0 - 7. Let y be x(t). Is 14 a factor of (-62)/(-4) - 12/y?
True
Is 9 a factor of -5 - -2 - (-5 + -376)?
True
Let m(b) = b**3 - 6*b**2 - 6*b + 7. Let n be m(7). Suppose 2*y + 2 - n = 0. Suppose 3*g + 132 = y*g. Is g a multiple of 22?
True
Let l(t) = -2*t + 9. Suppose -i = 3*i - 8. Let s be (-6)/i*20/6. Does 8 divide l(s)?
False
Suppose 54 = -7*i + 600. Suppose 2*t - t - i = 0. Is t a multiple of 7?
False
Suppose -k + 40 = -38. Let g = 10 + k. Let t = -45 + g. Does 10 divide t?
False
Let j(z) = 5*z + 13. Let k(x) = -19*x - 52. Let h(p) = -9*j(p) - 2*k(p). Let y be h(-15). Let a = y - 8. Does 21 divide a?
True
Is 10 a factor of 92953/98 - (-1)/(-2)?
False
Let n = -1213 - -1421. Is n a multiple of 2?
True
Let l(s) = 3 + 1 - s**2 + 1. Let n be l(-3). Let j = 10 - n. Is j a multiple of 6?
False
Suppose -3*x = -211 - 296. Is 21 a factor of x?
False
Let l be 0 + 2 + 12/6. Suppose -l*m + 132 = -2*r, m = 3*m - 2*r - 62. Does 5 divide m?
True
Suppose -6*a + 256 = -1640. Suppose -i + 5*g + a = 2*i, i - 107 = 2*g. Is i a multiple of 14?
False
Let a(c) = c**2 - 2*c - 35. Does 20 divide a(15)?
True
Does 17 divide (2280/80)/(1/90)?
False
Suppose 3*l = 25 + 53. Suppose -l = -d + 68. Suppose -2*x - 2*j + d = 0, 2 = 4*j + 6. Is x a multiple of 8?
True
Suppose -f + 201 = 4*g, -4*f = -f + g - 658. Does 50 divide f?
False
Let t be ((-1)/2)/((-4)/576). Let y be 16/t - 68/(-18). Suppose 88 = 3*q + 5*k, -y*k = 3*q - q - 62. Is q a multiple of 7?
True
Let x(u) be the second derivative of u**5/20 + u**3/6 + 11*u**2 + 7*u. Let d be x(0). Is ((d + -2)/(-4))/(-1) a multiple of 4?
False
Let n(p) = 6*p**3 - 8*p**2 + 3*p + 1. Does 2 divide n(2)?
False
Let v be (8/3)/((-5)/(-15)). Suppose v*w - 2590 = 4*w - g, 5*w - 3246 = 3*g. Suppose 2*p - 8*p = -w. Does 14 divide p?
False
Suppose 0 = -8*f + 3*f + 25. Suppose f*s = -67 + 277. Is 14 a factor of s?
True
Suppose 2*d = d - 5, -4*p + 3*d = 69. Let x = -95 + 149. Let u = p + x. Is 11 a factor of u?
True
Let x = -37 + 37. Suppose 4*s - 40 - 68 = x. Does 5 divide s?
False
Let m be (-3)/(-1)*1398/9. Let f = m + -312. Is 11 a factor of f?
True
Let c(k) = 3*k - 10. Let o be c(4). Let i be o + -8 - 4/(-2). Is 3 a factor of (1 - -1)*(-6)/i?
True
Let d be (-2 - -1)*(-9 + (12 - 5)). Suppose d*y + 0*l - 388 = 4*l, 3*y = 2*l + 578. Does 30 divide y?
False
Suppose 5*f - 8*f + 111 = 0. Is 2 a factor of f?
False
Suppose -2*c = 2*y + 36, 0 = y - 6*y + 2*c - 76. Let r = -2 - y. Is 4 a factor of r?
False
Suppose 2*d - 4*d = 14. Let m be d*2/14*-6. Does 2 divide 77/15 + m/(-45)?
False
Let a(t) = t**3 - 4*t**2 + 5*t - 3. Let i be a(3). Suppose -k + 0*u = -3*u - 1, -i*k + 3*u = -3. Suppose m = k + 12. Is m a multiple of 11?
False
Suppose 2*b + 168 = 578. Does 10 divide b?
False
Let j = 5 - 17. Let g = 8 + j. Let c(s) = 2*s**2 + 4*s - 4. Is 6 a factor of c(g)?
True
Suppose 6 - 34 = -4*t. Suppose t*b - 2*b = -20. Let w(k) = -4*k. Does 5 divide w(b)?
False
Let r = 2911 + -1284. Does 73 divide r?
False
Suppose -2*b + 1092 = 4*x, 5*b + 4*x - 2690 = 2*x. Is 67 a factor of b?
True
Suppose 0 = -4*d + 3*g - 79, d + 3*d + 94 = -2*g. Let j = d + 34. Does 6 divide j?
True
Suppose 12*n - 14*n = 0. Suppose -300 = -5*j + 6*l - l, n = -3*j - 4*l + 166. Suppose -2*r + 34 = -j. Does 23 divide r?
True
Let h(b) = 7*b - 20. Is h(10) a multiple of 5?
True
Let k(i) = i**3 + 12*i**2 + 13*i + 16. Let a be k(-11). Let s be (-32)/a - (-1)/(-3). Suppose 93 = s*m - 52. Is m a multiple of 7?
False
Let m(y) = -y**2 + 9*y + 6. Let v be m(7). Let u(k) = -2*k**2 - 7*k - 13. Let n be u(-3). Is (-1052)/n + 16/v a multiple of 27?
False
Let g(y) = 4*y**2 - 19*y - 113. Is 10 a factor of g(12)?
False
Is 8/3*2/(20/645) a multiple of 7?
False
Let o(n) = -2*n**2 + 17*n + 12. Let u be o(9). Suppose -u*p + 225 - 9 = 0. Is p a multiple of 23?
False
Let h = -273 - -1178. Does 92 divide h?
False
Let i = -57 - -62. Suppose 2*h = -2*p + 46 + 84, 5*h - i = 0. Is 16 a factor of p?
True
Let h(g) = 2*g**2 + 2*g + 1. Suppose 0 = -3*t - 2 - 4. Let f be h(t). Suppose 4*x = 3*l + 44, -12 = -f*x + 3*x - l. Is x a multiple of 4?
True
Let n be 2/4 - (-37)/2. Suppose 3*f - n - 5 = -5*c, 2*c + 5*f = 2. Suppose -3*t + c = -k, -3*k + 2*k + 4*t - 11 = 0. Is 9 a factor of k?
True
Suppose -2*a - 279 = -59. Let d = a + 17. Let n = d - -141. Does 13 divide n?
False
Let j(k) = -k + 6. Let w be j(4). Suppose 0 = -3*g - 5*q + 49, 33 = 3*g - w*q - q. Let l(a) = a**3 - 13*a**2 + 3. Does 3 divide l(g)?
True
Let z(y) = y**2 - y - 3. Let f be z(3). Is 8 a factor of (-3 - -2)/(715/240 - f)?
True
Suppose 8 = 5*j - j. Suppose -z + 13 = -5*o, z + j*z - 39 = -5*o. Is z even?
False
Suppose -t - 3 = 0, k + 5*t + 26 = -0*k. Let u = k - -31. Is 13 a factor of (0 + 3 - u)*-3?
False
Suppose 0 = 3*w - 2*w + 102. Let r = 39 + w. Let s = -36 - r. Is 8 a factor of s?
False
Let z be -3 - (-1 - (-4 - -87)). Is 16 a factor of -1 + 1/(1/z)?
True
Let f(o) be the third derivative of o**6/120 + o**5/10 - 5*o**4/12 - 13*o**3/6 +