8 = 0. Is 19 a factor of p?
False
Let o be (-18)/5 + (-10)/25. Let b = o - -6. Suppose -108 = -4*h - 2*y, -b*h + y + 74 = -3*y. Is h a multiple of 6?
False
Let v(c) = -64*c**3 - 6*c**2 - 6*c - 1. Is 29 a factor of v(-2)?
False
Let m = -9 + 8. Let o be 12*m/(-14)*-35. Let g = 93 + o. Does 18 divide g?
False
Let b(c) = c**2 - 10*c + 6. Let k = 11 + 2. Is 3 a factor of b(k)?
True
Suppose 6*s - s = -2*y - 76, -62 = 4*s + y. Let f(z) = -5*z - 24. Is 28 a factor of f(s)?
True
Let u = -224 + 376. Is 67 a factor of u?
False
Suppose -4*k + 115 - 35 = 0. Let h(c) = c**3 - 19*c**2 - 11*c - 20. Is h(k) a multiple of 27?
False
Suppose -2*s + 3*f = -0*s - 3, 0 = -s - 2*f + 12. Let t be (-45)/(-55) - s/(-33). Is (t + 8)/(6/30) a multiple of 11?
False
Let o(l) = -22*l + 33*l - 67*l. Does 12 divide o(-3)?
True
Let p(w) = 7*w**2 + 4*w - 2. Let i be p(-4). Suppose 2*j = i + 32. Is 21 a factor of j?
True
Suppose 135 = -0*c + c - 4*w, -2*w = -2. Let y = c - 10. Is y a multiple of 35?
False
Let r = 5 + -8. Let n = r - -26. Is n a multiple of 10?
False
Suppose -3*d = -16 + 10. Does 63 divide (1 - d)/(24/(-5064))?
False
Let f(o) = -o + 2. Let a be f(5). Is 6*(44/8 - 2) - a a multiple of 3?
True
Let g(n) = -n**2 + 23*n - 15. Let v be g(14). Is 14 a factor of (v/(-6))/((4/(-1))/16)?
False
Let p be ((-20)/15)/(4/(-486)). Suppose 0 = 5*z - 78 - p. Let w = z - 26. Is 5 a factor of w?
False
Suppose -5*c - 376 = -7*c - 3*o, 774 = 4*c - 5*o. Is c a multiple of 17?
False
Let o(v) = v**2 - 10*v + 34. Is o(4) a multiple of 9?
False
Let x = 329 - 257. Is x a multiple of 2?
True
Suppose 2*z - 2*o - 38 = 12, -3*z + 45 = 3*o. Let s be 5*(504/z - -2). Suppose -4*u = r - 110, -u - 2*r + s = 4*u. Is u a multiple of 6?
False
Suppose 0 = -s - 0 - 2, -2*t = 2*s + 290. Let k = t + 248. Does 15 divide k?
True
Suppose -41*n = 3*p - 45*n - 956, 4*n - 1572 = -5*p. Is 27 a factor of p?
False
Suppose -5*v - 11*d = -10*d - 3299, 2*v + 4*d - 1316 = 0. Does 114 divide v?
False
Let d = 87 + -165. Let l = d - -96. Is l a multiple of 6?
True
Let z = 987 - 655. Is 12 a factor of z?
False
Suppose w = 3*k + 305, 4*w - 299 = 3*w + k. Is 7 a factor of w?
False
Let w = -780 - -1104. Does 48 divide w?
False
Suppose -2528 = -5*m - 4*t, -2*m = 2*t - 5*t - 1002. Does 13 divide m?
False
Suppose 5*v - 3*v - 5*s - 15 = 0, 3*s + 9 = -2*v. Suppose v*g = -g - 25. Let y = g - -61. Does 9 divide y?
True
Suppose -2*n - 3*n - q = -28, 0 = -3*q + 9. Suppose 3*p - 188 = -z, -2*p = -p - n*z - 84. Does 16 divide p?
True
Suppose a = -4*h + 22, 26 = 3*a + 4*h - 0*h. Let x be 2 - (a + -3 - 7). Suppose 5*j + 150 = x*j. Is 30 a factor of j?
True
Let y = 2879 + -1742. Is y a multiple of 3?
True
Suppose -o + 11 - 7 = 0. Let j = 33 - o. Is j a multiple of 3?
False
Let s = 25 - 20. Suppose 5*a = 10 + s. Suppose a*b - 58 - 119 = 0. Does 12 divide b?
False
Let i(j) = 41*j - 2. Let n be i(1). Suppose -6*h + 201 = -n. Is h a multiple of 10?
True
Let c = 407 + -200. Let m = c - 141. Does 9 divide m?
False
Let w be 5 + -2 + -2 - -136. Suppose -a + w = -2*x + 2*a, 66 = -x + 4*a. Let c = x - -100. Does 10 divide c?
True
Suppose 7*r - 5*r - 78 = 0. Let o = 22 - r. Let u = 19 - o. Is u a multiple of 18?
True
Let i(a) = -48*a**3 - a**2 - a. Suppose 3*w = w - 2. Is 16 a factor of i(w)?
True
Let m be -1 + 6 + (1 - 3). Let d(f) = 4*f**2 + 3*f + 4. Let k be d(m). Suppose o = -5*l - 4 - 3, 3*o = -l + k. Does 11 divide o?
False
Is 12 a factor of 218/((-150)/160 - -1)?
False
Let b be (-270)/(-25)*(-1 + 6). Suppose b = -15*f + 18*f. Is f a multiple of 18?
True
Suppose -a - 4*a = 2*l + 5, 3*a - 16 = -5*l. Suppose -l*t + y = -111, 2*t - 20 = -y + 30. Does 13 divide t?
False
Let o be -2*((-2)/(-5) - 7/5). Suppose 4*q - 4*p = 244, o*q - q = -2*p + 70. Is q a multiple of 16?
True
Suppose -7*t = -2*t - 5. Suppose -t = -o - 8. Let s(c) = c**2 + 3*c - 9. Does 13 divide s(o)?
False
Suppose -2*i - 17 = 3*s + 19, s + 52 = -4*i. Let w(b) = 4 + 1 + 10 + b. Does 3 divide w(i)?
True
Let r(c) be the second derivative of -c**4/12 - 7*c**3/6 - 3*c**2 + 5*c. Let l be r(-5). Suppose l*a - 2*g = 152, 64 = 4*a + 3*g - 68. Does 9 divide a?
True
Let p = 7 - 5. Suppose 3*y + p*b + 5 = -0, 3*y + 15 = 3*b. Is -2 + y/((-3)/34) a multiple of 8?
True
Let j(k) = -13*k**2 - 37*k - 4. Let z(w) = 7*w**2 + 19*w + 2. Let d(a) = 6*j(a) + 11*z(a). Let f be d(12). Does 8 divide (-4)/(-18) - f/18?
False
Is 28 a factor of (-89352)/(-255) - 6/(-10)?
False
Let b(s) = s**3 - 4*s**2 + 6*s - 6. Let m be b(3). Suppose m*o = -3*c + 21, -35 + 9 = -3*c - 4*o. Is 6 a factor of (-20)/(-4) - (-6)/c?
False
Let f(r) = r**2 - 5*r - 9. Let w be f(7). Suppose w + 13 = 3*p. Is 3 a factor of 12*(22/p + -3)?
False
Suppose -4*l = -2*g + 398, 0 = 5*g + 3*l - l - 971. Does 9 divide g?
False
Let r(o) = -1. Let x(c) = 3*c + 7. Let n(l) = 5*r(l) + x(l). Let g be n(0). Is 3 + 88 + 0 + g a multiple of 21?
False
Suppose 0 = -5*n + 2*s + 550, 33*s - 438 = -4*n + 35*s. Is n a multiple of 25?
False
Let f be (-12)/4*(-210)/18. Suppose 39*a = f*a + 384. Is 24 a factor of a?
True
Suppose -3*g - 5*o = -1942, -4*o = 3*g - 2*g - 652. Suppose -4*i - 1540 = g. Does 11 divide 12/(-20) + i/(-10)?
False
Let d(i) = 5*i**2 - 9*i + 152. Does 25 divide d(-15)?
False
Let z = 105 + -92. Let u = z - -16. Does 29 divide u?
True
Suppose 3*s - 88 = -3*g + 263, 5*s - 558 = 4*g. Is s a multiple of 7?
False
Let f be (-1376)/(-10) - 6/(-15). Suppose 2*j = -c - 2*c + f, j = -c + 68. Does 22 divide j?
True
Suppose -t + 35 = -5*w, -3*t + 6 = -w - 29. Let z be 587/3 - t/15. Suppose 2*b - z = -3*b. Does 13 divide b?
True
Let i(r) = -r**3 - 5*r**2 - 8*r + 2. Suppose 5*w + 17 = -3*k, -2*k - 4 = -6*k. Is 3 a factor of i(w)?
True
Let i = -31 + 179. Is i a multiple of 9?
False
Let r = -3 + 8. Suppose 0 = -q - 8 + r. Is (-2 - q/3) + 19 a multiple of 18?
True
Let o be (-100)/30*3/(-1). Is 168/(-9)*(-15)/o a multiple of 4?
True
Let g(t) = -t**3 + 9*t**2 - 1. Let i be g(9). Is 49 + 0 + -3 + i a multiple of 9?
True
Does 31 divide 6/9*1032 + -1?
False
Suppose 11*r - 9*r - 284 = -4*u, 4*u - 5*r - 284 = 0. Does 3 divide u?
False
Let a(z) = 22*z + 14. Let y be a(4). Suppose -5*k + 214 = 2*w, w + 4*k - y = -k. Is w a multiple of 28?
True
Let q = -12 - -14. Suppose 37 = q*y - 1. Does 2 divide y?
False
Let f = -67 - -107. Let q be (f/(-15))/((-2)/3). Is 12 a factor of (1/(-2))/(q/(-192))?
True
Let q = -296 - -541. Does 4 divide q/6 - (-35)/(-42)?
True
Let r be 4/8*2 - -197. Let n(k) = r + 7*k**2 + 3*k - 199 - 6*k. Does 21 divide n(-2)?
False
Let x(a) = 7*a**2 - 11*a + 6. Let d be x(10). Let t = d - 380. Does 36 divide t?
True
Suppose 70 + 446 = -3*c. Let h = 253 + c. Does 7 divide h?
False
Suppose -2*d + 4*c - 126 = 0, -2*d - 2*c - 49 = 53. Suppose -5*b + 104 = 559. Let q = d - b. Is 10 a factor of q?
False
Suppose -v + 3*v + 3*i - 28 = 0, -4*i = 4*v - 64. Suppose 25*d - v*d - 180 = 0. Does 12 divide d?
True
Suppose 0 = h - 3*v - 70, -4*v - 13 - 61 = -h. Does 13 divide h?
False
Let w(g) = 16*g**2 + 4*g + 30. Is 20 a factor of w(-5)?
False
Let l be 3/((2 - -1)/3). Suppose b + a = 145, -2*b - 137 = -l*b + a. Does 8 divide b?
False
Suppose 9*d - 17 + 8 = 0. Is 6 a factor of (-20*d)/(6 + 222/(-36))?
True
Does 3 divide ((-5)/((-60)/27))/((-15)/(-1360))?
True
Let q(t) = 26*t**2 + 2*t + 2. Let n be q(-1). Let r = n + 62. Is r a multiple of 11?
True
Let x(d) = -2*d - 3. Let a be x(-2). Suppose 0 = -h + 45 + a. Does 20 divide h?
False
Let a be 954/(-24) - 1/4. Let z = a + -7. Let f = -30 - z. Is 5 a factor of f?
False
Suppose -4*v + 3*r = -1987, 0 = 5*v + 4*r - 2438 - 38. Let j = -280 + v. Does 24 divide j?
True
Suppose 0 = 4*f - 143 - 505. Is 9 a factor of f?
True
Is 24/(6 + 21/(-4)) a multiple of 24?
False
Suppose -4*u + 1 - 5 = 0. Let w(y) = 49*y + 1. Let h be w(u). Is 6 a factor of (1/2)/((-1)/h)?
True
Let d(t) be the second derivative of t**5/4 + t**4/4 - 5*t**3/6 - 7*t**2/2 + 4*t. Does 20 divide d(3)?
True
Is 12 a factor of (-19884)/(-72) - -1*(-1)/6?
True
Let a(b) = 54*b**2. Does 11 divide a(7)?
False
Let t(j) = -j - 4. Let z be t(-5). Suppose 0 = -6*c + 17 + z. Suppose -3*h = -c*r + 4*r - 127, 0 = 2*r + 3*h - 248. Is 29 a factor of r?
False
Suppose s = -81 + 64. Let c be (0 + 4/(-6))*39. Let w = s - c. Is 3 a factor of w?
True
Suppose 6*u - 18 = 3*u. Suppose 0 = -2