 - 80. Let f(u) = -14*u - 4. Let l be f(-6). Suppose i - y*i = -l. Is 16 a factor of i?
False
Let j(v) = 4*v**2 + 28*v - 87. Is j(-12) a multiple of 15?
False
Suppose -7 = -4*v + a + 662, 5*v - 837 = a. Does 14 divide v?
True
Let d be (-1)/(1320/(-1316) + 1). Suppose -9*c = -2*c - d. Is 6 a factor of c?
False
Let g = 542 - 341. Is g a multiple of 36?
False
Let u(n) = 28*n**2 - 18*n + 46. Is u(4) a multiple of 25?
False
Let c = 6 - 4. Suppose 0*s + 6 = c*s. Suppose 6*x - 36 = s*x. Does 12 divide x?
True
Let g(x) = x**2 - 10*x - 10. Suppose -83*o = -80*o + 18. Does 16 divide g(o)?
False
Suppose -v - 5*n - 12 + 31 = 0, 5*n = 5*v - 35. Let k = 13 - v. Suppose -d = 5*u - 28, -52 = -k*d + u + 60. Is d a multiple of 7?
True
Let z(d) = 4*d - 95. Let h(j) = -j - 1. Let n(v) = -5*h(v) - z(v). Is 17 a factor of n(-7)?
False
Let a(v) = 5*v + 3. Let i(b) = 31*b - 24 - 32 - 127*b. Let q(j) = -112*a(j) - 6*i(j). Is 4 a factor of q(1)?
True
Suppose 5*t + 5*z - 30 = 0, -2*t - 4*z = -1 - 7. Does 29 divide 7/((-14)/t)*-19?
False
Suppose 10 = -5*r + 35. Suppose -m = 4*f + f - 5, r = m + 3*f. Suppose -y = y + 10, -61 = -4*u + m*y. Is u a multiple of 9?
True
Suppose -3*y = 9*y - 2832. Is 4 a factor of y?
True
Let w(x) = 55*x + 42. Is w(6) a multiple of 36?
False
Suppose 3*x + 4*y - 31 = 0, x - 1 = y - 0. Suppose 64 = 4*z + 3*m + m, 0 = 3*z - x*m - 8. Is z a multiple of 7?
False
Let z = -2962 - -6757. Does 69 divide z?
True
Suppose 5*v - 5*y - 353 = -6*y, 0 = 5*y - 15. Is 15 a factor of v?
False
Let m be (3/(-6))/((-6)/60). Suppose i - 5 = 4*x, -i - m*x - 1 + 6 = 0. Suppose -4*o = -h - 6*o + 24, 3*h = -i*o + 71. Is 5 a factor of h?
False
Suppose -3*y - 2*h = -1371 - 548, 0 = 2*h - 2. Is y a multiple of 9?
True
Let o = -16 - -22. Let s be (-23)/(-5) - o/(-15). Suppose s*m - 4*w - 232 = 0, 0 = -5*m - 0*w + 2*w + 226. Is 11 a factor of m?
True
Let v = 3380 - 1940. Is 20 a factor of v?
True
Suppose 0*c = -2*c + 8. Let n = 49 + -41. Suppose -4*v + n = 0, -c*v = 6*u - u - 293. Does 25 divide u?
False
Let z = 0 + 6. Suppose f - z*f + 330 = 0. Suppose -4*v = -6*v + f. Does 9 divide v?
False
Let q(b) = -10*b - 6. Let h be q(-3). Suppose -i - 3*i = -h. Is i a multiple of 6?
True
Let k(n) = -n**3 + 7*n**2 + 19*n - 23. Is k(7) a multiple of 11?
True
Let p be (-3)/(-24) + (-124)/(-32). Let d be 2*2/p + 2. Does 17 divide (-70)/d*(-9)/3?
False
Suppose h - 2*j + 68 = -4*j, -2*h - 2*j = 136. Let g = h - -193. Is 13 a factor of g?
False
Suppose k - 11 = 4. Suppose 0 = -2*v + 5*u + 9, 5*v - 2*u = 3*u + k. Suppose -5*c + 134 = 2*q - 4*q, 0 = c + v*q - 34. Does 7 divide c?
True
Let x = -901 + 1173. Does 10 divide x?
False
Let y = 1 - 1. Let g = 102 - -8. Suppose 5*z + y*z - g = 0. Is z a multiple of 20?
False
Let i = 167 - 112. Suppose f = -0*f + i. Does 7 divide f?
False
Let m(x) = 2*x**3 - 48*x**2 - 16*x - 10. Does 34 divide m(26)?
True
Let i = -24 - -22. Let t = 62 + i. Is t a multiple of 15?
True
Suppose -w - 2*s = 3*s - 48, 4*w + 5*s - 132 = 0. Is (-470)/(-4) - (-14)/w a multiple of 21?
False
Suppose -16*y = -22*y + 462. Does 2 divide y?
False
Let y = -284 - -292. Is y a multiple of 2?
True
Let q(f) = 11*f**2 + 14*f - 1 - 3*f**3 - 15*f - 12*f**2. Is 3 a factor of q(-2)?
True
Let u(t) = 120*t**2 + 36*t - 6. Does 15 divide u(-4)?
True
Let m = 43 + -46. Does 19 divide (4/m)/(7/798*-4)?
True
Let z = 13 + 6. Does 11 divide 0 + 4 + z + 2?
False
Let c(h) = -h**2 + 6*h - 4. Let b be c(3). Suppose -b*u = -5*x + 75, 3*u + 25 = 2*x - 9. Does 12 divide x - 10 - (1 + -26)?
False
Let y be (16 - -153) + 5 + 0. Let b = y + -159. Is 2 a factor of b?
False
Let r(h) = 2*h - 4. Let w be r(2). Suppose w = -3*v + 3*p + 15, -v + 14 + 1 = -3*p. Suppose 2*m = -v*m + 34. Does 17 divide m?
True
Let q(c) = 2*c**2 - 4*c - 4. Does 44 divide q(-16)?
True
Let g = 40 - 51. Let o = g - -101. Is 6 a factor of o?
True
Let s(r) = 66*r**3 - 2*r**2 + 6*r + 1. Does 27 divide s(2)?
False
Let f(g) = -34*g + 78. Let a(x) = 11*x - 26. Let w(d) = -7*a(d) - 2*f(d). Does 31 divide w(-15)?
False
Let s(v) = 6*v**3 - 3*v**2 + 7*v - 10. Is 4 a factor of s(2)?
True
Is -709*48/(-20) - (-36)/90 a multiple of 15?
False
Suppose 152 = 2*y + 52. Let l be 1*(2 - -3)*(6 + -5). Is ((-24)/(-15))/(l/y) a multiple of 5?
False
Suppose 20*l + 4194 = 18094. Is l a multiple of 48?
False
Suppose -4*o - 13 - 7 = 0. Let j be ((-63)/(-6))/(o/10). Let i = -11 - j. Is i a multiple of 10?
True
Suppose 12*b - 15*b = -5*l + 2691, -l + 528 = -4*b. Does 18 divide l?
True
Let g = -196 - -200. Suppose 5*u = 4*s - 0*s + 2326, 3*u = -s + 1382. Suppose -x - u = -5*t, 4*t = -t - g*x + 452. Is 23 a factor of t?
True
Let d = 1691 - 702. Is d a multiple of 23?
True
Let h(s) be the first derivative of 13*s**2/2 + 4*s + 4. Let i be h(3). Let w = i + -22. Is w a multiple of 13?
False
Does 43 divide 107593/153 + -2 + 4/(-18)?
False
Suppose -1521 = 3*c - 6*c - 3*r, -4*c - r + 2037 = 0. Is c a multiple of 30?
True
Let j(c) = 20*c**2 - 4*c - 3. Is 15 a factor of j(3)?
True
Is 2 + 1859 + 0 - -1 a multiple of 11?
False
Let b = 17 - 49. Let y be b/(-40)*5/2. Suppose -51 = -a - y*i, -162 = -3*a - 2*i + 5*i. Does 27 divide a?
False
Let b = -53 - -58. Suppose 0*w = 3*m + 3*w - 246, -b*m - 3*w + 416 = 0. Does 17 divide m?
True
Let c(n) be the first derivative of -14/3*n**3 + 4*n + 0*n**2 - 1/4*n**4 + 14. Is 3 a factor of c(-14)?
False
Is ((-29)/116)/(1/22)*-50 a multiple of 11?
True
Let w = 12 + -13. Does 2 divide 6/w*11/((-132)/8)?
True
Suppose -8*p = -7*p - 667. Does 26 divide p?
False
Suppose 3*c - 38 = -3*p - 14, 5*c - p = 16. Suppose 0 = c*l - 3*n - 404, 29 + 79 = l + n. Does 18 divide l?
False
Let z(p) = p**3 - 13*p**2 - 6*p. Let l(c) = -c**2 - c. Let y(j) = 6*l(j) - z(j). Suppose -4*a - d + 24 = 2*d, -a + 2*d = -6. Does 12 divide y(a)?
True
Let z = 1577 + 343. Is z a multiple of 15?
True
Is -9 - -192 - (3 + -3)/(-2) a multiple of 61?
True
Does 100 divide (-97155)/(-36) - 10/(-8)?
True
Suppose -5*t = -4*d - 228, 0 = 5*t - d - 103 - 134. Let s = 21 + -16. Suppose -s*i + 3*i = -t. Is i a multiple of 12?
True
Let f be 3*(-2)/(-24) + (-924)/(-16). Suppose -f + 148 = 6*n. Does 2 divide n?
False
Suppose -10*c - 40 = -6*c. Does 10 divide c/12 - -1 - (-143)/6?
False
Let t(c) = c**2 + 17*c. Let v be 6026/(-299) - 1*2/(-13). Does 5 divide t(v)?
True
Let w(p) = -337*p + 261. Is 11 a factor of w(-7)?
False
Let n = -66 + 68. Suppose -n*g = 3*v - 269, 3*g + 6*v - 3*v - 408 = 0. Is 28 a factor of g?
False
Suppose -3*y + 4345 = -5*t + 1250, 4*y = 5*t + 4130. Does 45 divide y?
True
Let s(w) be the third derivative of -w**4/3 + 7*w**3/6 + 5*w**2. Is s(-9) a multiple of 14?
False
Let c = 14 - 11. Suppose -3*s - 17 = 2*a, c*s - 2*s - 68 = 5*a. Let j = a - -55. Is j a multiple of 23?
False
Let t(b) = b + 16. Let l be t(-14). Let n(k) = l*k**2 - k**2 - 2 + 81*k - 81*k. Does 13 divide n(7)?
False
Suppose 0 = 5*j - 3*l - 901, -42*j + 361 = -40*j - l. Is 14 a factor of j?
True
Let o = 899 + -442. Does 8 divide o?
False
Suppose 15953 = 5*p - v, 6374 = 2*p + 60*v - 58*v. Does 27 divide p?
False
Is 18 a factor of ((-627)/11)/((-5)/30)?
True
Let c(g) = -g + 15. Let n be c(8). Let s(b) = b**3 - 6*b**2 + 6*b - 1. Is s(n) a multiple of 15?
True
Let y(n) = -5 + 2*n**3 + 9*n**2 + 7 - 10*n - 3*n**3. Let h(a) = 8*a - 1. Let c be h(1). Does 7 divide y(c)?
False
Suppose 4*a + 4*a = 0. Suppose a = -17*j + 13*j + 240. Is 16 a factor of j?
False
Let p be 2/7 + 47/7. Let r be (-2)/p + 304/(-14). Let f = 44 - r. Is f a multiple of 17?
False
Let v(l) be the first derivative of 1 + 3*l**2 + 5*l + 1/3*l**3. Is 4 a factor of v(-7)?
True
Let i(k) = -k**2 - 46*k - 212. Does 4 divide i(-39)?
False
Suppose -4*h = -h. Suppose h = 6*w + 11 - 41. Suppose 0 = -2*l + 3*t + 2*t + 5, w*t = -2*l + 55. Is 5 a factor of l?
True
Let d = 323 - 58. Let k = 36 + 19. Suppose -5*o = -d - k. Is o a multiple of 16?
True
Let w(i) = 4*i**2 + 11*i - 110. Let k be w(-10). Suppose 3*y + 102 = -s - y, -2*s - y = 204. Let h = k + s. Is h a multiple of 26?
True
Suppose -7*f = -8*f + 2. Suppose -4*s - 77 = -p, 4*p + 2*s - 26 - 192 = 0. Suppose -f*l + 23 = -p. Is 20 a factor of l?
True
Suppose -13 + 11 = -5*q + 2*y, 0 = 2*q + 4*y - 20. Suppose 2*w = -5*z + 94, z - 94 = -q*w + 2*z. Is w a multiple of 15?
False
Let y(r) = -r**3 + 3*r**2 + 6*r - 6. Le