 Suppose 45 = 5*j - 4*t, -i*j + 2*j = -3*t - 18. Let s = 14 - j. Is 4 a factor of s?
False
Let m = 321 - 250. Is m a multiple of 6?
False
Suppose 0 = -o - 5*z + 38, -4*o + 37 + 115 = -z. Suppose o = -4*g + 5*g + 2*u, 0 = 4*u + 20. Is g a multiple of 8?
True
Let g(k) be the second derivative of -k**5/20 + 5*k**4/12 + 3*k**2 - 3*k. Let n be g(5). Let m(x) = 4*x - 3. Is m(n) a multiple of 7?
True
Let f(c) = 15*c - 4. Let s be f(2). Suppose t = -2*t + 15, -4*q + 2*t + s = 0. Is 11 a factor of (-7 + 8)*q*4?
False
Let u be 44*(-1 + -4)/5. Let g = u + 179. Does 15 divide g?
True
Let c(l) = -97*l**2 - 2*l. Let g be c(-1). Let n = 155 + g. Is n a multiple of 28?
False
Suppose -2*q + 20 = q - 2*l, 3*q = -5*l - 8. Suppose -4*x + i = 2*i - 8, -4*x + 8 = -q*i. Suppose 5*m - 3*f - 278 = 0, x*m = -f - f + 108. Is 21 a factor of m?
False
Let c(d) = 10*d**3 - d**2 - 4*d - 8. Does 15 divide c(4)?
True
Is (11/((-55)/175))/(1/(-19)) a multiple of 35?
True
Let t(b) = -b - 2. Let k be t(-6). Let i(q) = -6*q**2 + 3*q - 4. Let d(n) = -19*n**2 + 8*n - 12. Let h(j) = 2*d(j) - 7*i(j). Is h(k) a multiple of 16?
True
Let p(r) = 7*r + 6. Let k(c) = 10*c**3 + c**2 - c. Let s be k(1). Let x(t) = t**2 - 10*t + 7. Let u be x(s). Does 14 divide p(u)?
False
Suppose 0 + 12 = f. Suppose -68*u - f = -71*u. Is u even?
True
Let j(v) = v + 9. Let c = 4 - 1. Suppose 0*g - 3*g = -4*y - 15, 5*g - c*y = 36. Does 9 divide j(g)?
True
Let a = 221 - -219. Does 16 divide a?
False
Let t(j) = j**3 - 7*j**2 - 9*j + 96. Does 9 divide t(12)?
False
Let s be (1 - -2)*(2 - -5). Let r be 2 + -4 + 2 + 3. Suppose -6*z = -r*z - s. Does 2 divide z?
False
Is (-12)/(-2*((-54)/960)/(-3)) a multiple of 40?
True
Let c be ((-672)/(-9))/((-4)/(-30)). Let k be 18/(-4)*c/(-15). Suppose 5*b - 5*w - 140 = 0, 2*b + 3*b + 2*w = k. Does 16 divide b?
True
Is 18 a factor of 84680/84 - (244/(-84) + 3)?
True
Suppose 7*o - 2*o - 205 = -2*n, 3*o - 105 = -n. Let u = n - 63. Is u a multiple of 19?
False
Let v(u) = 7*u - 19. Suppose -3*s = -2*s - 17. Does 20 divide v(s)?
True
Suppose 2 = 4*n - 6*n. Is 16 a factor of 5 + 2/(-2) - 76/n?
True
Suppose 5*b - 2*b = 6. Let z = b + -1. Suppose z + 9 = 2*o, 0 = w - 4*o + 3. Does 6 divide w?
False
Let q be (-6)/2 + (-39)/(-13). Suppose 0 = 3*t - 5*k + 11, 4*k - 26 - 5 = -5*t. Suppose q*s = -t*s + 117. Is 13 a factor of s?
True
Let b(a) = -a**3 + 1. Let d(h) = 6*h**3 - 4*h**2 - 19*h - 5. Let y(r) = 5*b(r) + d(r). Is 12 a factor of y(9)?
False
Let z = 745 - 608. Does 14 divide z?
False
Suppose -l - 19 + 71 = 0. Does 37 divide l?
False
Let o = 11 - 7. Let r be (-4)/(-3)*78/o. Suppose 0 = 2*i - 2, 2*s + 4*i + r = 64. Is s a multiple of 7?
False
Let d be (-6)/15*45/(-3). Let w be 4/d - (-6)/(-9). Suppose 2*a - 88 + 16 = 5*o, -3*a + 3*o + 90 = w. Is 13 a factor of a?
True
Suppose -2*d = -7*d - 5, -4*d - 304 = -5*t. Is 4 a factor of t?
True
Suppose 0 = -2*u + 16*z - 12*z + 1074, -5*z - 5 = 0. Is u a multiple of 6?
False
Let t(k) = -k**3 + 2*k**2 + 6*k + 66. Is 18 a factor of t(-10)?
True
Suppose 5*m - 3*l = l + 71, -3*m - 4*l + 49 = 0. Suppose m = s + 4*s. Suppose -g = s*g - 48. Is 12 a factor of g?
True
Let c(r) = -2*r**3 + 2*r**2 + 2*r. Let a be c(2). Let s(w) = 8*w**2 + w + 26. Let b(y) = 3*y**2 + 9. Let v(j) = 11*b(j) - 4*s(j). Does 17 divide v(a)?
False
Let b(n) = -n**3 + 7*n**2 + 5*n + 7. Let r be b(7). Let a be 1/(-2) - r/4. Is (-6)/33 - 629/a a multiple of 15?
False
Let q be 111/39 + 6/39. Suppose 55 + 143 = 2*x - y, -495 = -5*x - q*y. Is x a multiple of 26?
False
Let a = -479 - -1080. Is a a multiple of 11?
False
Suppose 3*g + 3896 = 5*z, 3*g - 6*g = -2*z + 1553. Is z a multiple of 18?
False
Is 8 a factor of 212/159*(-27)/(-2)?
False
Let t = -57 - -64. Does 6 divide (2 + t/(-4) - 2)*-20?
False
Let v(n) = -14*n - 26. Suppose -w = 2*k + 17, -2*w - 3*k - 50 + 21 = 0. Does 24 divide v(w)?
True
Is 40 a factor of 0 + (64 + 6 - 4)?
False
Let u = -804 - -1165. Does 19 divide u?
True
Let x(o) = o + 0*o**2 + 10*o**3 - 4 - o**2 - 8*o**3. Is x(2) a multiple of 9?
False
Let f(l) be the second derivative of l**4/4 - l**3/2 - 3*l**2/2 + 12*l. Is f(-3) a multiple of 6?
False
Suppose -z + 2*z = 71. Suppose d + 4*c = 26 - 8, 0 = -2*d - c + z. Is d a multiple of 16?
False
Let a(j) = -25*j + 7. Let c be a(-2). Suppose -3*h = 3 - c. Does 10 divide h?
False
Suppose 0 = -3*r - 3 + 9. Let p(t) = 11*t**2 - 2*t - 2. Let s be p(r). Let h = s - 23. Is 4 a factor of h?
False
Let g be 238/18 + 20/(-90). Let m = g + 35. Is m a multiple of 5?
False
Suppose -5 = -7*i + 2*i. Is 10 a factor of (-2)/(-1*i/20)?
True
Let i(k) = k**3 + 29*k**2 - 5*k. Is i(-4) a multiple of 7?
True
Suppose 2*o - 4*p - 4 = 16, 5*p - 74 = -3*o. Let n = o - -33. Is 17 a factor of n?
True
Let w(h) = 89*h + 167. Is w(5) a multiple of 10?
False
Let q = -223 + 574. Is 27 a factor of q?
True
Suppose -v - 282 = -4*v. Suppose 0 = -k - 3, v = 2*d - 0*k - 4*k. Is 9 a factor of d?
False
Let d be (2 - (-3 - -4))*972. Suppose -i - d = -5*i. Is 14 a factor of i?
False
Suppose -6*i + 2219 = -2*i - o, -5*i - 2*o + 2790 = 0. Suppose 5*j + 81 - i = 0. Is j a multiple of 8?
False
Suppose 0 = 80*x - 152989 - 220691. Is 126 a factor of x?
False
Suppose 2*g - 9 = -g. Suppose 8*l - 4*l = g*i + 20, 3*l + 3*i + 6 = 0. Suppose 4*s - 14 = -l*x, -x + 33 = 2*x + 2*s. Is x a multiple of 6?
False
Suppose -2*b + 4*b + 5*w = 1167, 4*w + 12 = 0. Does 12 divide b?
False
Let l(o) be the second derivative of o**5/60 - o**4/24 - 5*o**3/6 - o**2 - 2*o. Let c(g) be the first derivative of l(g). Is 10 a factor of c(-6)?
False
Let j(p) = -3*p**2 + 6*p + 70. Is j(0) a multiple of 10?
True
Let h be -5 - 4/(-1) - 24. Let f = h - -36. Does 2 divide f?
False
Suppose -8*f - 28 = -12*f. Suppose -3 = -3*r, 70 = g + 3*r + f. Is g a multiple of 20?
True
Let l(w) = 42*w - 176. Is 12 a factor of l(8)?
False
Let n be (27 - -1)*2*10/16. Let h = n + 0. Is h a multiple of 7?
True
Suppose -8 = -2*i + 6*i, -2*s - 3*i + 2 = 0. Suppose -t - t = -s. Suppose -4*y + o + 3*o = -152, -t*o - 199 = -5*y. Is y a multiple of 22?
False
Let i(y) = -y**2 - 9*y + 2. Let h be i(-9). Suppose -r + 5 = 2*p - 1, -h*r + 5*p = 6. Suppose r*t - 32 = -3*x, -3*t + 12 = 2*x - 16. Is 2 a factor of x?
True
Let d(i) = 12*i**2 - 4*i + 7. Let f be d(5). Suppose 0 = -3*x - 2*m + 275, -4*m = -6*x + 3*x + f. Does 28 divide x?
False
Suppose 5*h + 1 = h - 3*t, 2*h - 3*t = 13. Suppose -h*n - 29 + 429 = 0. Is 47 a factor of n?
False
Suppose -8*l + 3*l + 2*s + 2137 = 0, -4*s - 858 = -2*l. Does 3 divide l?
False
Suppose -10*z + 324 + 6186 = 0. Is 13 a factor of z?
False
Suppose -12*b = -8*b - 2160. Is b a multiple of 27?
True
Suppose 785 = -16*n + 113. Let w = 86 + n. Is w a multiple of 11?
True
Is (0 - 2*-605) + -4 a multiple of 67?
True
Suppose 0 = -2*u - 3*u - 4*r + 513, -3*u - r + 312 = 0. Is u a multiple of 5?
True
Let r(l) = -3*l + 2. Let y be r(-6). Suppose 2 = 5*j + 3*n - 5, -y = -5*n. Is 5 a factor of 0 + 5 - (j + -2)?
False
Let r be ((-5)/(40/12) + 1)*12. Is 171 + 3/9*r/(-2) a multiple of 8?
False
Suppose 5*j - 9 = -n + 3*n, -2*n + j = 5. Let x = -207 - -206. Is 12/n*2*x a multiple of 12?
True
Let z(n) = n**2 - 7*n + 5. Let h be z(8). Let v = h - 11. Is (-366)/(-12) + (-1)/v a multiple of 10?
True
Let j = 9 + -7. Suppose 4*d = -2*w + 164, -j*d + 2*w = -0*w - 76. Does 10 divide d?
True
Let d = -4 - -72. Let t = 170 - d. Is t a multiple of 6?
True
Suppose 2*p = -2*j + p - 105, p = -3. Let k = -37 - j. Is 7 a factor of k?
True
Suppose 2*p - 323 - 557 = 0. Suppose -i - p = -12*i. Is i a multiple of 4?
True
Let a(y) be the first derivative of y**4/4 - 4*y**3/3 - 13*y**2/2 + 4*y - 7. Let v be a(6). Let u(l) = 15*l**2 - 3*l - 5. Is u(v) a multiple of 17?
False
Let o = -1270 + 3564. Is o a multiple of 62?
True
Let v = 904 + -52. Is 71 a factor of v?
True
Let l = 463 + -329. Is 22 a factor of ((-3)/(-12)*l)/((-3)/(-12))?
False
Let a = -6 + 8. Suppose 1 = a*y - 7. Is (y - 1)*(4 + 2) a multiple of 9?
True
Let a(v) = 6*v + 10. Suppose -13 = 4*l - m, -2*m + 0*m + 8 = -2*l. Let f be a(l). Is 484/14 - f/(-14) a multiple of 11?
False
Let d(b) = 3*b + 2. Let p be d(-2). Let q be ((-2)/p)/(6/(-24)). Let s(i) = -23*i - 2. Is s(q) a multiple of 27?
False
Let m = 28 - 48. Let y = -7 - m. Suppose c - 18 = y. Does 6 divide c?
False
Does 2 divide (-11