 = -o + 1. Does 8 divide n?
True
Let b be (3 - 6)*38/6. Let h = 52 - 62. Let p = h - b. Is p a multiple of 5?
False
Suppose 12*c = 11*c + j + 4, -7 = -4*c - 5*j. Let o(n) = -n**2 - 2 + 0*n + 6 + 5*n. Is o(c) a multiple of 6?
False
Let t = 243 + -20. Let o = -102 + t. Suppose 3*f = o + 56. Is f a multiple of 16?
False
Let m be 355 - (2 + (0 - 2)). Suppose 14*n = -27 + 97. Suppose 94 = z - 4*j, -n*z + m = 2*j + j. Is z a multiple of 18?
False
Let q(j) = -2*j**2 - 12*j + 34. Is 20 a factor of q(-7)?
True
Suppose -4*r = 5*p - 107, -4*p + 2*r + 135 = 39. Suppose -x - 5*a + 47 = 0, -2*x - p = -3*x + a. Is x a multiple of 9?
True
Let k = 11 + -30. Let y = k - -41. Does 10 divide y?
False
Let t(m) = -5*m - 23. Let u(z) = -2*z + 1. Let j(k) = -2*t(k) + 6*u(k). Is 9 a factor of j(-10)?
True
Suppose -8*u = -7*u - 19. Suppose 0 = 21*a - u*a - 506. Is 13 a factor of a?
False
Let k(a) = 4*a**3 - 3*a**2 - 4*a - 47. Does 16 divide k(5)?
False
Suppose -80 = 5*v - 4*s, 8*s = 4*v + 11*s + 33. Let p(l) = l**3 + 12*l**2 - 11*l - 16. Is p(v) a multiple of 17?
False
Suppose 10*u - u - 4032 = 0. Is 15 a factor of u?
False
Let s = -11 + -22. Let n be s/(-55) - 17/(-5). Suppose 0 = -4*a - p - 4 + 17, 0 = 2*a + n*p + 4. Does 2 divide a?
True
Let c(u) = u**2 - 4*u - 9. Let r be c(6). Suppose r*l = 3*n - 375, 4*n - 211 - 304 = l. Is 10 a factor of n?
True
Let s(g) = 42 - 18*g - 2*g**2 + 3*g**2 + 10*g. Is 18 a factor of s(12)?
True
Suppose -3*f - 3*r = -786, -6*r = -5*f - 3*r + 1310. Is f a multiple of 8?
False
Let z(t) = t - 9. Let w = 0 + -9. Let c be z(w). Is 2 a factor of 1/(-6)*4*c?
True
Suppose 0 = 6*r - 3679 - 1721. Suppose 0 = 12*i - 18*i + r. Does 6 divide i?
True
Let z be (11 - 9)/(1/(-106)). Let v = -68 - z. Suppose 20*a + v = 24*a. Does 12 divide a?
True
Let h(r) = r - 1. Let g be h(-1). Let c(y) = 2*y + 1 - 1 - 2*y**2 + 11*y**2. Is c(g) a multiple of 16?
True
Let a(s) = -2*s + 283. Is a(-45) a multiple of 33?
False
Let b = -245 - -347. Is b a multiple of 34?
True
Let b(z) = z**3 - 11*z**2 + 24*z - 24. Is 36 a factor of b(14)?
True
Suppose 3*j + 4 = -2, -4*v + 4*j = -28. Suppose -v*z - h - 5 = -20, 27 = 3*z - 3*h. Suppose z*u - 39 + 3 = 0. Is u a multiple of 4?
False
Suppose -3*l = 3*s + s - 5, 4*s = 4*l + 12. Suppose 0 = -s*j - 20 + 100. Let y = j + -25. Is 10 a factor of y?
False
Let h(d) = 2 - 8 + 8*d + 6*d - d**2. Does 8 divide h(9)?
False
Let w be 2/8 + (-56)/(-32). Suppose -c - 3*d = -7*d - 31, 5*c = -w*d + 67. Is c a multiple of 3?
True
Let h be 943 - ((-2)/(-2))/1. Suppose 5*g - m = h, -15 + 6 = -3*m. Does 35 divide g?
False
Let m be (-56)/(-28) - 36*-3. Is ((-84)/5)/((-22)/m) a multiple of 14?
True
Suppose 3*p = -4*d + 6596, 3*p = -0*p + 5*d + 6578. Is p a multiple of 9?
True
Let f(n) = -n**2 + 3*n + 3. Let z be f(0). Suppose -4*u + v = 2*v + 8, 5*u = -z*v - 3. Is ((-28)/(-3))/(-1)*u a multiple of 14?
True
Suppose -h - 4*l + 221 = 0, -2*h - 8*l = -6*l - 442. Is h a multiple of 12?
False
Let d = 8 + 414. Suppose 4*v + 2*r = 3*v + 109, 4*v + r - d = 0. Does 21 divide v?
True
Let q = 546 + -358. Is q a multiple of 3?
False
Let o(v) = v**3 - 21*v**2 - 18*v - 2. Is o(23) a multiple of 6?
True
Suppose -295 + 19 = -3*s. Let r = s - -34. Is 18 a factor of r?
True
Suppose -5*d - 2*a + 69 = -45, -3*a = -6. Let u = -20 + d. Let o(s) = 9*s**2 + 1. Is o(u) a multiple of 16?
False
Let f(s) = 2*s**2 + 7*s - 28. Let a(i) = 5*i**2 + 15*i - 57. Let v(k) = 6*a(k) - 13*f(k). Does 13 divide v(-8)?
True
Let m = 25 - 25. Suppose -2*r + 3*b + 163 = m, -4*r - 3*b = -311 + 12. Is 14 a factor of r?
False
Let l be (-1)/(-4) + 11/4. Suppose 4*i - 3*i = y + 9, -l*i = 2*y - 27. Is i a multiple of 2?
False
Is 1664/13 - (-9 + -1) a multiple of 7?
False
Let j(s) = -16*s - 56. Is 6 a factor of j(-20)?
True
Suppose -26*w + 23*w = 4*l - 843, 3*w = -l + 834. Is w a multiple of 54?
False
Let i be 173 + (-2)/(2/3). Let o = i + -32. Let m = o - 94. Is m a multiple of 10?
False
Let j be 10*(-5)/((-75)/6). Let r(y) = -y**2 + 5*y - 2. Let c be r(1). Suppose c*o = j*o - 48. Does 24 divide o?
True
Let m(c) = c + 4. Let a be m(0). Suppose a = 4*n, -4*y - 3*n + 2*n - 11 = 0. Is 8 a factor of 32 + 0/(-1 + y)?
True
Suppose -13*s - 8520 = -23*s. Does 10 divide s?
False
Let a(u) = -60*u - 4. Is 7 a factor of a(-5)?
False
Suppose 5*j - 1425 - 755 = 0. Suppose 0 = -v + j - 68. Is (v/(-96))/((-1)/6) a multiple of 18?
False
Let k(w) = -w**2 + 8*w + 23. Let v be k(10). Suppose -h + 20 = v*h. Suppose -t = h*c - 2*c - 52, -51 = -t - 2*c. Is t a multiple of 19?
False
Let q be (-7 + 5 - 0)*26/(-4). Suppose -5*z + q = 3*j, -4*j + 48 = -0*j - z. Is j a multiple of 11?
True
Does 34 divide (-3)/(-2) - (-54276)/24?
False
Let j = 357 + 448. Is j a multiple of 35?
True
Suppose 3*y - 3*q = 60, -2*y + 60 = y + 2*q. Suppose -2*b = -4*b - y. Is -35*((-14)/b + -3) a multiple of 19?
False
Let z(b) = 3*b**2 - 115*b - 102. Is z(50) a multiple of 103?
True
Let p(u) = -10*u + 12. Let w be p(0). Let d be -3*(2 + (-20)/6). Let j = w - d. Is 4 a factor of j?
True
Suppose 40 - 5 = 7*x. Suppose -2*r = -x*r + 192. Does 21 divide r?
False
Let d = -893 - -1495. Does 22 divide d?
False
Let h(q) = q**2 - 9*q - 6. Let x be h(10). Does 7 divide 90/4 + (-6)/x?
True
Suppose -t + 6*t = j - 1598, 6411 = 4*j - t. Is j a multiple of 16?
False
Suppose 492 = 5*z - 3*a, -3*z + 296 = -4*a + 2*a. Let y(g) = 5*g - 33. Let l be y(-7). Let t = z + l. Is t a multiple of 9?
False
Is 33 a factor of ((-366)/6)/(-1) + 5?
True
Let f = -88 + 69. Let p = 82 + f. Does 9 divide p?
True
Let c(f) = 4*f + 30. Let l be (0/(-1))/(-5 + (1 - -1)). Is c(l) a multiple of 15?
True
Let q(d) = d**2 - 15*d + 14. Let h be q(14). Suppose -2*b - 2 = h, 115 = 5*n - 3*b - 33. Is n a multiple of 12?
False
Let q = 21 - 16. Suppose x = 3*u - 18 - 30, q*u - 4*x - 87 = 0. Suppose 18*s = u*s + 24. Is 2 a factor of s?
True
Let o(l) = 4*l**2 + 23*l - 20. Let w(i) = i**2 + i + 1. Let c(h) = -o(h) + 5*w(h). Is c(21) a multiple of 8?
True
Let g(m) = -28*m + 1. Is g(-12) a multiple of 114?
False
Suppose 7*b + 402 + 585 = 0. Let k = b - -180. Is 5 a factor of k?
False
Let b(n) = n**2 - 3*n + 8. Let t(g) = -g**2 - g - 1. Let x(q) = -b(q) - 4*t(q). Is x(-6) a multiple of 15?
False
Suppose 80*w = 90*w - 950. Is 4 a factor of w?
False
Suppose -5*p + 303 = 4*y, y - 2*p = -y + 138. Does 9 divide y?
True
Let t(w) = 0*w**2 + 49*w**3 + 0*w + 2*w - 1 - w + w**2. Is t(1) a multiple of 10?
True
Suppose 0 = -11*c + 12*c - 180. Is 30 a factor of c?
True
Suppose -19*z = 22732 + 4932. Does 36 divide z/(-10) + (-75)/125?
False
Let a(s) = -8*s - 1. Suppose 0 = -d - 3*m - 8, 1 = -d + 5*m - 15. Does 13 divide a(d)?
False
Suppose -110 = -2*l - 132. Let s = 44 - 26. Let q = s + l. Does 2 divide q?
False
Let l(c) = 2*c**3 - 7*c**2 + 17*c - 4. Is l(7) a multiple of 11?
False
Suppose 6*c = 33*c - 2754. Is c a multiple of 17?
True
Suppose -2*l + 552 = 2*p - 524, 2*p + 3*l = 1079. Does 35 divide p?
False
Let k(y) = y**3 + 4*y**2 - y - 7. Let a be k(-3). Suppose -g + 100 = 2*h - 0*h, a*g = -h + 68. Is 8 a factor of h?
True
Let h(b) = 70*b - 7. Does 21 divide h(4)?
True
Let n(t) = 67*t**2 + 3*t + 2. Is n(-2) a multiple of 33?
True
Suppose 0 = 2*x - 4*x + 18. Let d = 11 - x. Suppose d*h + 2*c = 16, -4*c - 32 = -2*h + 8. Is 9 a factor of h?
False
Let i(s) = -s**2 - 32 + 162*s - 14 - 135*s. Is 4 a factor of i(22)?
True
Let k(u) = -u**3 + 18*u**2 + 59*u + 22. Is 5 a factor of k(19)?
False
Let z = -2264 + 5260. Is 67 a factor of z?
False
Let x(l) = l**3 - 7*l**2 + 8. Suppose 2*s - 3*t + 7 = 3*s, -5*t = 0. Let n be x(s). Let g(u) = 8*u - 4. Is g(n) a multiple of 20?
True
Let z = -16 - -22. Let x(u) = -z + 0*u - u - u. Is x(-9) a multiple of 6?
True
Let s = 57 - 48. Suppose s*p = 4*p + 20. Does 2 divide p?
True
Let h = 212 + -440. Let a = h + 329. Is a a multiple of 8?
False
Let y be ((-64)/(-80))/((-2)/(-25)). Let t = y - 5. Suppose -g = -t*g + 4*h + 156, -2*h - 162 = -4*g. Does 14 divide g?
True
Let q = 504 - 339. Does 22 divide q?
False
Is 3/(-15) - (-9457)/35 a multiple of 10?
True
Let w be ((-18)/(-15))/((-1)/35). Let r = w + 69. Does 5 divide r?
False
Suppose -7*d = -5 - 23. Suppose -k + 0*k - d*j + 75 = 0, -k + j = -65. Does 18 divide k?
False
Suppose i + 244 = 3*i - 5*w, -532 = -4*i - w. Does 8 divide i?
False
Let i 