False
Suppose -4*q + w + 2070 = -4437, 5*w = 3*q - 4859. Does 74 divide q?
True
Suppose -6*m - 33 = -3*m. Does 16 divide m/((3/(-4))/3)?
False
Let h be ((-3)/(-2))/((-21)/448). Let w = h + 26. Is 7*(w/(-2) + -2) a multiple of 6?
False
Suppose 3*f - 9 = 3*r, -3*r + 17 = -6*r + 5*f. Is 19 a factor of (r - (-56 + 0)) + 0?
True
Let a(i) = i**2 + 2*i + 84. Let d = -5 + 5. Does 21 divide a(d)?
True
Let k = -1311 - -2052. Is k a multiple of 13?
True
Suppose 9*a - 316 = 5*a. Suppose 0 = 7*d - 8*d + a. Is 20 a factor of d?
False
Suppose 0 = 7*l - 1517 - 149. Is l a multiple of 17?
True
Suppose -a + 11 = -0*a. Suppose a*i - 6*i = 450. Does 15 divide (i/(-24))/(2/(-24))?
True
Is 45/(-4)*(-24)/(-18)*-3 a multiple of 3?
True
Let s(u) = u**3 + 9*u**2 + 7*u - 2. Let a(z) = z**2 - z. Let j(c) = -a(c) + s(c). Let p = -3 + -3. Is j(p) a multiple of 11?
True
Let y = -86 - -1238. Is y a multiple of 38?
False
Suppose 81*i - 4598 = 62*i. Is i a multiple of 4?
False
Let o(y) = y**3 - 6*y**2 + 5*y + 5. Let f be o(5). Let s(q) = q**3 - 7*q**2 + 3*q - 10. Let d be s(f). Is -1 + 0 - (d + 5) a multiple of 16?
False
Let i = 21 - 16. Suppose -i*h + 4*y = -0*y - 476, -y = 5*h - 481. Does 24 divide h?
True
Let h(d) = d**3 + 14*d**2 + 17*d + 28. Let j be h(-13). Let n = j + 41. Is 8 a factor of n?
False
Let m(i) = i**2 + 29*i - 3. Let v be m(-25). Let b = -89 - v. Is b even?
True
Let w = 235 + 85. Is 64 a factor of w?
True
Suppose 0 = -4*q + 21 + 15. Let l(y) = -y + 13. Let f be l(q). Suppose 96 = c + c + f*u, -5*c = 5*u - 240. Is 15 a factor of c?
False
Let t be (-24)/4*2/(-3). Suppose -5*s + t*k + 11 = 0, 5*s - 15 = s - 3*k. Suppose s*c = -18 + 93. Is 13 a factor of c?
False
Suppose -6*y + 1532 + 2404 = 0. Does 164 divide y?
True
Suppose 2*d + 5*n = 45, -3*d = -0*d - 2*n - 58. Let q be (-1)/((-237)/39 + 6). Suppose q + d = 3*m. Is 11 a factor of m?
True
Let h = 2089 - 1465. Is 14 a factor of h?
False
Let w = 14 + -3. Let u(i) = -5*i + w*i + 4 - 9*i. Is u(-10) a multiple of 17?
True
Let o(f) = 14*f**3 - 4*f**2 + 8*f. Is o(4) a multiple of 54?
True
Let b(y) = -2*y - 13. Let l be b(5). Let o = 140 + l. Does 9 divide o?
True
Let w(s) = -s**3 - 20*s**2 + 21*s + 7. Is 28 a factor of w(-22)?
False
Let g(w) = 4*w**2 + 6*w + 3. Let m(y) = y**2 - 1. Let f(u) = -g(u) + 6*m(u). Does 9 divide f(-6)?
True
Let b(r) = -35*r - 24. Is b(-21) a multiple of 40?
False
Suppose -6*n - 765 = -n. Let h = -29 - n. Is h a multiple of 21?
False
Let r(p) = 6*p - 5. Let l be r(-13). Does 13 divide (-2)/(l/130 - (-33)/55)?
True
Let l = 1479 - 567. Does 48 divide l?
True
Let p = 294 - 456. Let f = -90 - p. Is 9 a factor of f?
True
Let x be (1 - -1 - 9)*-1. Let c(u) = 7*u**2 - u**3 + 2*u + 4 - 2*u - 8 + 2*u. Does 4 divide c(x)?
False
Suppose 0*x - 31 = -t - 2*x, 0 = 5*t - x - 144. Let h = t - -41. Is 16 a factor of h?
False
Suppose 7*m = 11*m + 8. Does 17 divide ((-228)/m)/1 - (-6)/(-6)?
False
Suppose -118 - 300 = -2*p. Does 11 divide p?
True
Let j = 3188 - 846. Does 54 divide j?
False
Let l = -124 + 71. Let z = 93 + l. Is z a multiple of 9?
False
Does 6 divide (388/(-6))/((-26)/78)?
False
Let d(h) = -923*h - 10. Is d(-1) a multiple of 83?
True
Let x(u) = 53*u**2 - 3*u - 3. Let h be x(-1). Suppose 2*w - m = h, 3*m = -w + 5 + 4. Is w a multiple of 6?
True
Does 17 divide 5*(36/(-5))/(-2)?
False
Suppose 231 = 3*i + 21. Is 7 a factor of i?
True
Suppose 0 = 5*u + 5, 0 = a - 5*a - 3*u - 3. Suppose -2*s = -3*r - a - 30, -2*s = 4*r - 44. Is 304/9 - (-4)/s a multiple of 5?
False
Suppose -o - 2 - 5 = 5*l, 0 = 3*o - 5*l - 19. Suppose -14 = -o*p + 4. Does 3 divide p?
True
Suppose -3*y = 173 + 4. Let n = y + 87. Let p = 7 + n. Does 17 divide p?
False
Let v(p) = 7 - p + 7 + 6 - 10. Is v(-12) a multiple of 22?
True
Suppose -3*i = -9, 0 = 5*q - 4*i - 11 - 7. Let z be ((-45)/q)/(6/(-20)). Suppose 0 = -2*m + z + 43. Does 17 divide m?
True
Suppose -3*k = 10*k + 1729. Is 9 a factor of -2 + -1 + (5 - k)?
True
Let m = 203 + -101. Suppose 36 + m = 3*l. Is 23 a factor of l?
True
Suppose 0 = -4*y - 2*f + 680, -8*y + f + 692 = -4*y. Suppose 2*u + t - 4*t - y = 0, 20 = -5*t. Is 9 a factor of u?
False
Let t = 152 - -234. Does 57 divide t?
False
Let l(u) = -u**3 - 44*u**2 - 7*u + 101. Is l(-44) a multiple of 54?
False
Suppose 0 = 4*a - 16, -3*d + 16 = d + a. Suppose -s + d*k = -36, -5*k + 0*k = 4*s - 59. Does 7 divide s?
True
Let b(h) = 374*h**2 + 4*h - 8. Is 68 a factor of b(2)?
True
Let t(g) = -g**2 - 5*g. Let s be t(-5). Suppose 4*i + 2*m + 2 - 10 = s, -3*i + 11 = 4*m. Is (i - 1) + -2 + 28 a multiple of 6?
False
Let d(l) = -l**3 - 11*l**2 - 11*l + 2. Let i be d(-10). Suppose 4*w = 3*s - i, -3*w + 2*w - 2*s = -8. Suppose -4*b + 8*b - 188 = w. Does 15 divide b?
False
Let n = -326 - -979. Suppose -4*f + n = 5*z, -3*f + 4*z + 482 = -0*z. Is 17 a factor of f?
False
Suppose -5*x = 2*i - 1288, -4*x + 1029 = 4*i - i. Is x a multiple of 6?
True
Let c(l) = l. Let a be c(1). Let d(h) = 18*h**3 - h**2 + 1. Let s be d(a). Is 1/6 - (-321)/s a multiple of 18?
True
Let h(y) = -5*y - 8 + 3*y + y. Let f be h(-8). Suppose -3*p + 4 + 5 = f. Does 3 divide p?
True
Suppose -y + 58 = 2. Suppose -6*l = -4*l - y. Suppose 4*g + 2*i = 6*i + l, -5*g = 3*i - 27. Is g a multiple of 2?
True
Suppose 77*s = 13*s + 7616. Is 37 a factor of s?
False
Let f(x) = 6*x - 6. Let j = 5 + 0. Suppose 0*b - 46 = -3*b - 2*l, -35 = -5*b + j*l. Does 19 divide f(b)?
False
Let k = -1687 - -2178. Is k a multiple of 50?
False
Let a = -10 + 310. Suppose 13*g - a = 8*g. Is g a multiple of 14?
False
Let d(q) = 6*q**2 - 2*q. Suppose -3*g = -7*g + 3*o - 13, -18 = 3*g - 5*o. Is 4 a factor of d(g)?
True
Let k be (12/(-5))/(1/(-35)). Suppose 14*j - 10*j - 476 = 0. Let y = j - k. Does 9 divide y?
False
Let a = 324 + -207. Does 39 divide a?
True
Let r = -8209 - -11905. Is r a multiple of 16?
True
Let x = -6 + 22. Let f = x + 1. Does 17 divide f?
True
Suppose 0*t - 41 = -t + 4*r, 2*t - r - 61 = 0. Suppose t = a - 4. Does 4 divide a?
False
Suppose 14*u - 16*u - h + 1977 = 0, -h = -4*u + 3963. Is u a multiple of 5?
True
Let r = -21 - -29. Suppose -3*d + r*d = 175. Does 5 divide d?
True
Suppose -2*b + 5*b + i = 1277, 421 = b - 2*i. Is 56 a factor of b?
False
Suppose 2*a = 5*i + 1121, -2*i = 9*a - 5*a - 2302. Does 11 divide a?
False
Suppose -6*m + 320 = 86. Let f be 5*(115/25 + -1). Does 27 divide 18/((m/f)/13)?
True
Let b(p) = -p**3 + p**2 + p. Let m(y) = -5*y**3 - 20*y**2 + 38*y + 5. Let q(w) = 4*b(w) - m(w). Does 44 divide q(-25)?
True
Is (-81 + -4 - -4)/(2 + -3) a multiple of 9?
True
Let m = 771 - 374. Is 6 a factor of m?
False
Suppose -3 = -2*x + x. Let p be (-2)/((-7)/2 + x). Let g(h) = -h**3 + 6*h**2 + 5. Does 10 divide g(p)?
False
Does 12 divide (-1)/(-1 + (-835)/(-840))?
True
Suppose -6 + 22 = 4*h, 3*h - 3684 = -3*x. Does 68 divide x?
True
Let s be -28 + 1 - -1 - -4. Let y = 52 + s. Is y a multiple of 15?
True
Suppose -3*l - 7 + 13 = 0. Suppose l*q + z - 60 = 0, -31 + 91 = 2*q - 3*z. Does 6 divide q?
True
Let z be 4 + -2*(-3)/(-6). Suppose 0 = 4*f + 7 + 5, -z*t + 4*f = -51. Suppose 0*p - p + t = 0. Is 10 a factor of p?
False
Let m(c) = 3*c + 9. Let i be m(-3). Suppose i = 5*x + 5, -4*x + 809 - 133 = 5*o. Does 8 divide o?
True
Let v = 32 - 40. Let f(w) = -2*w + 2. Is f(v) a multiple of 7?
False
Let o be (5/((-30)/4))/((-4)/270). Suppose 25 = 5*d - o. Is d a multiple of 2?
True
Let d(p) = 22*p - 19. Let w be d(1). Suppose 2*z = -3*z + 30. Suppose -w*r = -z*r + 15. Does 5 divide r?
True
Suppose 2*z + 4306 = 5*d + 762, 4*z = -2*d + 1432. Is 38 a factor of d?
False
Let j = 13 + -11. Suppose 0 = 4*k + 3*t - 128, j*t = -t + 12. Suppose -2*m - 3*u + k = 0, 0 = -0*m - 5*m + 2*u + 63. Is m a multiple of 13?
True
Suppose -w + g = -143, -w = -5*w + 3*g + 569. Is w a multiple of 5?
True
Let n = 69 + -69. Suppose n = -12*b + 19 + 605. Does 4 divide b?
True
Suppose 0 = 18*y + y - 5320. Is y a multiple of 8?
True
Let p(j) = 2*j**2 - 6*j - 18. Let o be p(7). Let v = -31 + o. Is v a multiple of 3?
False
Let w = 10 + 5. Does 32 divide (-267)/2*(-10)/w?
False
Suppose -9*w = 2*w - 1760. Is 20 a factor of w?
True
Let y(j) = 665*j**2 - 2*j + 3. Is y(1) a multiple of 37?
True
Let x = -13 - -22. Let o(z) = -z**3 + 9*z**2 + 2*z. Let c be o(x). Let l = c - 6. Is l a multiple of 6?
True
Let g be (52/12 + -4)*3. S