-8 - -1. Let i(m) = -7*m + 9. Does 30 divide i(q)?
False
Let n = 3262 + -832. Does 18 divide n?
True
Let n = -1104 - -2919. Is 29 a factor of n?
False
Let p(k) = -k + 12. Let z be (22/2)/(8 - 7). Let x be p(z). Is 22 a factor of (-3)/x - (-12 - 35)?
True
Let w(k) = 2*k**3 - 7*k**2 + 13*k + 4. Let t be w(4). Suppose 7*p = p + t. Is p a multiple of 7?
False
Suppose -2*f = 2*v - 1456, -4*v + 1065 = 2*f - 385. Does 52 divide 6/(-14) + f/7?
True
Let x = -1548 - -2172. Is x a multiple of 13?
True
Let d = -412 + 1169. Is d a multiple of 21?
False
Suppose 0 = -27*s + 24*s + 861. Let l = s + -193. Is l a multiple of 13?
False
Does 8 divide (-8)/2 - (101 + -302)?
False
Let w be -17 + 19 - 4/2. Suppose 4*o - 449 - 23 = w. Let u = o + -77. Is 10 a factor of u?
False
Is 14 a factor of (-35820)/100*(-210)/18?
False
Suppose -3*u + 578 = 4*w, -5*u = -4*w + 613 - 1555. Is 27 a factor of u?
False
Let j(i) = -i**3 + 4*i**2 + 3*i - 3. Let z be j(3). Let s(d) = d**2 + 2*d - 2. Let p be s(5). Let b = p - z. Is b a multiple of 6?
True
Let r(q) = q**2 + 21*q + 115. Is r(-16) a multiple of 7?
True
Let g(q) = -2*q + 19. Let k be g(7). Suppose m + 479 = k*p, p - m - 93 = 2*m. Is 19 a factor of p?
False
Suppose -2121*p + 2131*p = 10500. Does 25 divide p?
True
Suppose 0 = -15*o + 18*o - 96. Is o a multiple of 8?
True
Let p(r) = -18*r - 7. Let o(y) = -y**2 - 5*y + 6. Let v be o(-7). Let f be p(v). Let n = -97 + f. Is n a multiple of 12?
False
Suppose -5*w + 9162 = -4*w. Does 19 divide -2*w/(-48) - (-2)/8?
False
Let k(j) = 115*j**3 - 13*j + 10*j**2 - 114*j**3 - 4 + 2. Is 11 a factor of k(-10)?
False
Suppose j + 90 - 650 = 0. Suppose 6*b = -g + 4*b + 133, 0 = -4*g - b + j. Is g a multiple of 11?
False
Suppose 18 = 4*l - 10. Let v(u) = 2*u + 5. Does 7 divide v(l)?
False
Let b(q) = -q**3 + 33*q**2 - 22*q - 56. Is 33 a factor of b(32)?
True
Is 66 a factor of 2*(104 + -3) - 4?
True
Let h = -786 - -1134. Is 12 a factor of h?
True
Let w = 189 + -181. Does 8 divide w?
True
Let k = 1036 - 576. Does 17 divide k?
False
Suppose 4*a - 13076 = -5*r, 197*r - 194*r - 2*a = 7850. Is 8 a factor of r?
True
Suppose p + 4*g = 5 - 54, -p = -4*g + 41. Let z be p + -4*(-1 + 0). Let d = z + 65. Is 12 a factor of d?
True
Let c = -6 + 8. Suppose -c*z + z = -5. Suppose -z*p + 0*v = 3*v - 231, v - 47 = -p. Does 20 divide p?
False
Suppose 963 = -20*f + 23*f. Let v = -137 + f. Is v a multiple of 23?
True
Let r(t) = -15*t - 6. Let x be r(-3). Suppose 0 = 2*l + 42 + 24. Let m = x - l. Does 37 divide m?
False
Let b(x) = 197*x**2 - 4*x - 9. Is b(-3) a multiple of 48?
True
Let u(d) = -d**2 + 11*d - 9. Let p(q) = q**2 - 2*q - 1. Let z be p(-2). Does 2 divide u(z)?
False
Let z(j) = 12*j**2 - j + 7. Let o be z(-7). Suppose 5*v = -t + o, 95 = v + 5*t - 35. Suppose -2*u = -7*u + v. Does 12 divide u?
True
Suppose 0 = -3*t - 4*t + 770. Is t a multiple of 10?
True
Let i be 5*(-3 + (-22)/(-10)). Let q be (-1)/(-2) + (-110)/i. Suppose -m + 2*y + q = 0, -m - 4*y - 128 = -6*m. Is m a multiple of 7?
False
Suppose 5*k = -4*n + 35, 0*n + 21 = 2*k + 3*n. Suppose 9 = k*l - 117. Suppose -f + 2*t + t + l = 0, -2*f + 2*t + 64 = 0. Is 13 a factor of f?
False
Suppose 5*a = -3*b - 10, -b - 4 = -5*b + 2*a. Suppose -152 = -h + 3*f - 23, h - 2*f - 127 = b. Is h a multiple of 41?
True
Let g(s) = s**3 + 10*s**2 - 10*s - 17. Let n = -2 + -15. Let u = n + 7. Is g(u) a multiple of 14?
False
Let u be 0*((-12)/(-4))/6. Suppose -w + 1 = -n, u*n + 4*n = 3*w - 1. Suppose -w*b + 49 = -50. Is b a multiple of 15?
False
Let j(k) = -k + 8. Let w be j(6). Suppose -w*a - 8 = 4*n, 4*a - n - 12 = -2*n. Suppose a*z - 13 - 23 = 0. Is 9 a factor of z?
True
Let c = 9 + -10. Let m(i) = -14*i**2 + 2*i + 2. Let n(v) = v**2. Let y(f) = c*m(f) + 4*n(f). Does 13 divide y(2)?
False
Let r(s) = 517*s**2 - 6*s + 16. Is r(2) a multiple of 41?
False
Let l be 7/14 + 7/2. Suppose -88 = -3*o + c - 3*c, -l*o = 4*c - 124. Does 16 divide o?
False
Let h(k) = k**2 - 21*k - 97. Let v be h(25). Let y be (-104)/(-2) + -1 - 1. Suppose -v*g + y + 19 = 0. Does 12 divide g?
False
Suppose -57 - 39 = 2*m. Suppose 3*t - 4*a + 0*a + 242 = 0, 0 = t + 4*a + 54. Let j = m - t. Does 13 divide j?
True
Let p = -493 - -1142. Is p a multiple of 7?
False
Let o(r) = -28*r**2 + 7*r + 3. Let y be o(4). Let w = y + 620. Is w a multiple of 36?
False
Suppose -3*v + 15 = -9. Suppose v*p = 2*p + 300. Is 10 a factor of p?
True
Suppose 3*b = -46 + 58. Is (-1*b)/((-26)/104) even?
True
Let u = 10 + 19. Is ((u - -1)/(-6))/(1/(-23)) a multiple of 23?
True
Suppose 4*s - 2*h = 170, s + h + 12 = 59. Suppose -3*z + 6*z = -3*g + 42, s = 3*g + 5*z. Is g a multiple of 11?
False
Let m be ((-72)/27)/(2/(-30)). Let j = m - -20. Is 6 a factor of j?
True
Suppose -5*x = -6*x + 77. Suppose 4*c = x + 87. Let r = c + -10. Does 31 divide r?
True
Let y = 57 + -29. Let n = 32 - y. Suppose -8 = -4*t + n*o + 84, t + 2*o - 26 = 0. Is t a multiple of 8?
True
Suppose -3*i - 4*d + 8 = 0, -4*d + 4 = -5*i - 2*d. Suppose 4*y - 86 - 78 = i. Does 6 divide y?
False
Let t = -18 + 18. Suppose t = -7*k + 692 - 244. Is k a multiple of 16?
True
Let o = -9 - -31. Let p = o - 15. Suppose 0 = p*m - 15 - 104. Does 17 divide m?
True
Suppose 5*m - 377 = 53. Suppose 8 = -2*w, -5*q = 4*w - m - 338. Is q a multiple of 11?
True
Suppose -3*q = -197 - 64. Let k = q - 41. Is k a multiple of 11?
False
Let f be (222/(-5))/(3/(-10)). Suppose 5*p - 3*r - 153 = 0, 0 = -5*p - 3*r + r + f. Suppose p = 3*n - 60. Is n a multiple of 6?
True
Suppose 0 = -5*w - 5*i + 890, w - 5*i + 2*i - 186 = 0. Is 45 a factor of w?
True
Is (-6 - 132/(-21)) + 8214/14 a multiple of 10?
False
Let n = 10 + -16. Let p be 28/n*-1*-30. Does 14 divide p/3*36/(-30)?
True
Let q be (3372/(9/3))/2. Suppose -62 + q = -5*s. Let d = s + 158. Is d a multiple of 12?
False
Suppose -3*q = -o + 280, -o + 178 + 110 = -5*q. Does 56 divide o?
False
Let o be (-1)/3 - (-50)/6. Let z be (-6)/o + (-24)/(-32). Suppose z = 5*j - m - 252, 0 = 2*m - 0 - 6. Does 17 divide j?
True
Let i(n) = 14*n + 25. Let k(c) = 11 - 3 + 0*c + 5*c. Let p(x) = -3*i(x) + 8*k(x). Is 5 a factor of p(-8)?
True
Suppose 29*a - 30*a = y - 13, 5*a - 61 = -y. Is 3 a factor of a?
True
Let n = 820 - 1190. Let w = -200 - n. Is w a multiple of 17?
True
Suppose 11*g - 10920 = -2835. Does 18 divide g?
False
Suppose 51*i - 54*i + 897 = 0. Is i a multiple of 23?
True
Suppose 2*l - 1238 = -33*d + 31*d, -1238 = -2*l - 5*d. Is l a multiple of 51?
False
Suppose -3*m = 2*m - 5*g - 1300, -5*m + 1295 = -4*g. Suppose 6*n + 8 = 2*n, -l = 2*n - m. Is l a multiple of 12?
False
Suppose 3*h + 1025 = -2*h. Let n be (-6)/(-12) - h/2. Suppose 5*k - 2 = n. Does 7 divide k?
True
Let p be (24/(-36))/(4/(-4170)). Suppose -2*r - r = 3*j - 501, -4*j = -5*r - p. Suppose -10*q - j = -15*q. Is 9 a factor of q?
False
Let s(c) = -2*c**2 - 25*c - 78. Let d be s(-15). Suppose -338 - 391 = -3*g. Let w = d + g. Is 18 a factor of w?
True
Let z(k) = k**3 - 16*k**2 + 16*k - 12. Let i be z(15). Let y(x) = 8 - 4*x**3 - i - 14*x - 5*x**3 + 10*x**3 - 13*x**2. Does 2 divide y(14)?
False
Suppose 0 = -i + 5*g + 235 + 822, -2*i - g = -2147. Does 18 divide i?
False
Let n be 4 - (1 - 0/3). Let w be ((-2)/6)/(n/(-45)). Is (28/w)/((-2)/(-5)) a multiple of 7?
True
Suppose n = 3*s, 0*n + 2*s + 14 = -4*n. Let g = 16 + n. Does 13 divide (0/2 + g)/1?
True
Suppose 3*k = 2*t + 2*t - 101, -5*k + 31 = t. Is 10 a factor of (t - 2)*5/4?
True
Let c(g) be the third derivative of g**8/2240 - g**7/2520 - g**6/180 - 3*g**5/20 - 7*g**2. Let t(b) be the third derivative of c(b). Is t(-2) a multiple of 9?
True
Let n be (5750/20)/(2/4). Suppose 4*v = -v + n. Is v a multiple of 31?
False
Let v be ((-3)/2)/((-15)/(-20)). Let b = 18 + -6. Is (b/18)/(v/(-63)) a multiple of 21?
True
Suppose 2*p - 5*b + b - 182 = 0, -3*p - 3*b = -309. Does 3 divide p?
True
Let j = -2 - -6. Suppose 0 = -4*k - 3*m + j, 0 = -0*k + 3*k + 3*m. Suppose -k*c + 7 + 133 = 0. Is c a multiple of 9?
False
Suppose -y = 3*o - 5, 4*o = -o + 20. Let s(r) be the first derivative of -5*r**2/2 + 4*r - 3. Is 13 a factor of s(y)?
True
Suppose -1136 = -3*p + n + 162, 3*p - 5*n = 1306. Does 12 divide p?
True
Let r be 0*(4 - 5 - 0). Suppose r = -o - 7*o - 128. Is o*(3/6 + -2) a multiple of 6?
True
Suppose -4*k + 5*r = 2*r - 78, 5*k + r = 107. Suppose -2*d 