 - 55 = f*w. Is 24 a factor of w?
False
Suppose -3*l = 4*d - 500, 0 = l + d + 21 - 188. Suppose 16*f - l = 13*f. Suppose 9*a - f - 16 = 0. Is a a multiple of 7?
False
Suppose 10 = -12*h - 62. Let d = h - -11. Suppose 0 = i + 3*j - 126, i + 2*j + 574 = d*i. Does 29 divide i?
False
Let b(k) be the first derivative of k**4/2 + 2*k**3/3 - k**2 - 2. Let h be b(-2). Is 2 a factor of (h - -11) + -5 + (0 - 0)?
True
Let l(r) = r**3 - 8*r**2 + 16*r + 2. Let x be l(4). Suppose p + c + x*c + 10 = 0, -5*c - 26 = 4*p. Does 11 divide (99/p)/((-54)/(-8) + -7)?
True
Let z(l) = 3*l - 9. Let o be z(3). Let c(a) = a**2 - 2*a + 52. Does 28 divide c(o)?
False
Let v be 2/(-22) + (-96)/(-88). Let c(j) = 363*j**3 + j**2 - 2*j. Is c(v) a multiple of 23?
False
Suppose 7*j + 76491 = 2*d, 17*d - 22*d + 2*j = -191181. Is d a multiple of 15?
True
Suppose 0 = -8*c - 12*c. Suppose c*f + 2044 = 4*f. Is 45 a factor of f?
False
Let n(f) = -12*f + 56. Let b = 83 - 83. Let t be n(b). Is 8 a factor of (3 + -12)*5/((-60)/t)?
False
Let m(j) = j**3 + 4*j**2 + 5*j + 4. Let g be m(-3). Let u(i) = -66*i**3 + i**2 + 2*i. Is 66 a factor of u(g)?
True
Suppose 0 = 131*a - 190*a + 176410. Is a a multiple of 5?
True
Let j(p) = -7*p - 23. Let z be j(-8). Let o = z + -35. Does 19 divide (o/4)/((-9)/864)?
False
Suppose 0 = -4*t - 5*k + 27175, -3*t + 23*k - 26*k = -20379. Is 5 a factor of t?
True
Is 25 a factor of 6721 - 7/((-77)/(-88))?
False
Let j be 3 + 1946/26 + (-54)/(-351). Let k = 232 - j. Is k a multiple of 22?
True
Let g(u) = 95*u**2 - 59*u - 267. Does 7 divide g(-13)?
True
Let o(q) = -11*q**2 - 2*q**2 - q + 15*q**2 + 21*q**2. Let z be o(-2). Suppose -3*i + z = k, 96 = i + 2*i + 3*k. Is i a multiple of 21?
False
Let p be ((-36)/30)/(2/(-2135)). Suppose 8*z + 33 = p. Does 6 divide z?
True
Suppose 3*v - 7845 = -3*z, 0*z - 5*v + 5248 = 2*z. Is z a multiple of 33?
False
Suppose 4*s = 24, 3700 = f + s - 7094. Is f a multiple of 62?
True
Let c = 46232 + -14388. Is 76 a factor of c?
True
Let w(o) = o + 9. Let k be w(-9). Does 4 divide 219 + -1 + 0 + k/(-4)?
False
Suppose -10738 = -18*k + 1862. Let r = k - 316. Does 23 divide r?
False
Suppose -9*n + 4*n + 855 = 0. Let z = 307 - n. Let h = -60 + z. Does 20 divide h?
False
Let t(b) = 27*b**2 - 6*b - 23. Let o(n) = -25*n**2 + 7*n + 22. Let g(c) = -4*o(c) - 3*t(c). Does 17 divide g(-4)?
False
Let h = 8438 + 16157. Does 5 divide h?
True
Suppose 3*j + 9*b - 90816 = 6*b, 3*j - b = 90832. Is 6/(-9) - j/(-54) a multiple of 24?
False
Let s = -51 - -36. Let q(r) = -2*r - 28. Let m be q(s). Suppose -k - m*k + 72 = 0. Is k a multiple of 24?
True
Let g = -37 - -53. Suppose 5*a - 4*y = -0*a - g, -a - 5*y + 20 = 0. Suppose a = 6*p - 14*p + 608. Is p a multiple of 19?
True
Let w(b) = 333*b - 13425. Does 7 divide w(75)?
True
Let c(l) = 8*l**2 - 350*l + 2466. Is c(7) a multiple of 11?
False
Let b be (3/(-6))/(1/16). Let o(z) = -z**2 - 11*z - 16. Let a be o(b). Suppose -n + a*n = 63. Does 8 divide n?
False
Let z = 10 + 118. Suppose -2*j - 5*q + z = 0, -2*j - 2*q + 144 = -q. Is j a multiple of 37?
True
Suppose 4*u + 4*s = -s + 1344, -2*s = 4*u - 1344. Suppose -828 = u*k - 340*k. Is 10 a factor of k?
False
Suppose -3*r = -2*f + 165 - 3990, 12750 = 10*r - 2*f. Does 8 divide r?
False
Let h(t) = -28*t + 208. Is 26 a factor of h(-78)?
True
Let l(d) = -d**3 + 34*d**2 + 629*d + 84. Is 5 a factor of l(46)?
False
Let y = 43 - 39. Suppose -y*k = 3 - 11, 2*k = -3*p + 46. Suppose -221 = p*i - 1691. Is i a multiple of 35?
True
Let p = -7700 + 13504. Is p a multiple of 24?
False
Let n be (-38)/((6 + -4)*-1). Let b(l) = -n - l + 2*l + 0*l + 7*l. Does 4 divide b(14)?
False
Suppose u = 5*v + 15015, 5*u + 34679 = -4*v + 109928. Is u a multiple of 8?
False
Suppose -29*v - 65 = -152. Is 14 a factor of (1 - (-1796)/8)/(v/6)?
False
Let i be (1 + (1 - 1))*(-1 + 6). Suppose -i*w = 56 - 481. Suppose 2*h + 13 = w. Is h a multiple of 4?
True
Suppose 0 = -s - 3*c + 234, 20*c - 18*c = -6. Is s a multiple of 69?
False
Suppose -f = 3*f. Suppose f*y + y = 5. Suppose -y*d - 10 = 0, 4*a - 4*d - 149 = -53. Does 11 divide a?
True
Suppose -113*d = -553053 - 588699. Is 24 a factor of d?
True
Let r = 43 + -45. Let n be 6/27 + (-3337)/(-9) + r. Suppose -a - 317 = -3*m - 39, a = 4*m - n. Is m a multiple of 11?
False
Is 15 a factor of -6 - ((-23)/(-6)*-146)/((-65)/(-195))?
False
Suppose 0 = 28*m - 29*m + 21. Suppose -z - 2 - 10 = 4*k, -2*z + m = -k. Suppose -11*v + z*v = -336. Does 4 divide v?
True
Suppose -24539 = -83*b + 80*b - 2*t, 5*b - 40895 = -4*t. Does 29 divide b?
False
Let w be ((-45)/(-10))/(3/(-4)). Does 67 divide (-268)/(w - (-52)/9)?
True
Suppose -5*j - 33754 + 7050 = -4*r, -20047 = -3*r - j. Is r a multiple of 60?
False
Let h = 11 + 19. Let m = -26 + h. Suppose -m*y = -9*y - 5*w + 80, -2*y + 52 = -2*w. Is 7 a factor of y?
True
Let p(h) = 72*h**2 + 3*h + 47. Is p(-12) a multiple of 18?
False
Suppose -v = 2*c + 7, -3*c + 4*v + 1 = -2*c. Does 11 divide (c*(-10)/(-30))/(1/(-330))?
True
Let g(j) = -16*j**2 + 8*j + 26. Let f(x) = -15*x**2 + 7*x + 22. Let o(s) = -5*f(s) + 4*g(s). Is 6 a factor of o(6)?
True
Let m(v) = -v**2 - 228*v + 2394. Is m(-84) a multiple of 126?
True
Suppose 1642 = -3*j + 1663, 2*z = j + 3093. Does 25 divide z?
True
Let a(o) = 81*o + 3050. Is a(124) a multiple of 72?
False
Let x(j) = 2996*j - 736. Is 104 a factor of x(10)?
True
Let r(h) = -2*h**3 - 34*h**2 + 233*h - 33. Is 59 a factor of r(-26)?
True
Suppose -456 = -18*c + 14*c. Does 16 divide (c/(-18) + 1)*-12?
True
Suppose -3*j - 4*p + 30 = 0, -3*p - 55 = -5*j - 5. Let d = j - 6. Suppose 4*q = -0*q, -d*b - 3*q = -192. Is b a multiple of 8?
True
Let h be 216/21 + (-8)/28. Suppose -h*z = -z - 1260. Is z a multiple of 12?
False
Let i = 47 - 24. Let h = i - 23. Suppose 5*w - a = 330, -4*a + 9*a - 25 = h. Does 17 divide w?
False
Suppose 100 = 2*u + 3*u. Suppose 6*h - 16 = u. Suppose h*z - 374 = 652. Does 22 divide z?
False
Let f(l) = -130*l - 900. Is f(-15) a multiple of 21?
True
Let u(t) = 2012*t**2 + 167*t - 1. Is 30 a factor of u(-4)?
False
Suppose 30*w = -78*w + 27*w + 1199772. Is w a multiple of 92?
True
Is 88 a factor of ((-278)/(-18) + -2)*12*(82 - 16)?
True
Suppose 0 = -4*q + 94 + 186. Let k = q + 305. Is 8 a factor of k?
False
Let f = -38 + 43. Let a be (52 + (2 - f))*1. Is a/(((-20)/5)/(-4)) a multiple of 6?
False
Suppose 6*z + 12718 - 18565 = 23469. Is z a multiple of 46?
False
Let c = 9912 + -123. Does 7 divide c?
False
Does 2 divide 4/4 + 477 + -9?
False
Suppose -2*o = -4*o + k - 91, -5*o - 4*k - 221 = 0. Is ((-324)/o - 3)*10 a multiple of 42?
True
Let u(p) = 2*p**3 + 21*p**2 - 42*p - 1. Let c(y) = -3*y**3 - 31*y**2 + 63*y + 1. Let d(v) = 5*c(v) + 8*u(v). Is d(-14) a multiple of 19?
True
Suppose -126*q - 3510 = -165*q. Is 9 a factor of q?
True
Suppose 5070 = n - 2*g, 52*n - 54*n - 4*g = -10140. Is 130 a factor of n?
True
Let c(h) = h**2 + h - 3. Suppose j + 56 = 4*p - j, -6 = 3*j. Suppose 2*b = -6, 2*s - p = -0*b + 3*b. Is 2 a factor of c(s)?
False
Suppose 374*p = 378*p - 204516. Is p a multiple of 9?
True
Let x = 5088 + -2428. Does 11 divide x?
False
Let u(j) = 17*j**2 + 1 + 12*j**2 - j + j**2. Suppose -8*i = 2 - 10. Is u(i) a multiple of 13?
False
Is 10 + -12 + (16 - 3) + 3163 a multiple of 6?
True
Let b be 2*(55/(-10) - -2). Let m = b - 45. Let q = 57 + m. Is q even?
False
Suppose 3*y + 4 = 3*j - 14, y - 9 = -2*j. Let a be ((-24)/16)/((-2)/692). Suppose -a - 21 = -j*s. Is s a multiple of 18?
True
Suppose -10*o + 9*o = -2. Let z be (-21*1)/(-3) + (5 - o). Suppose g = z + 58. Does 14 divide g?
False
Suppose 3*n - m - 13 = 0, 2*m = -5*n + 7*m + 35. Suppose -6*p + 4*p + 1611 = 5*a, 805 = p + n*a. Suppose 5*o + 824 = 4*f, 8*f - 4*f - o = p. Does 30 divide f?
False
Let b(n) = -3*n**2 + 7*n - 7. Let s be b(1). Let z(o) = -98*o - 3. Is z(s) a multiple of 16?
False
Let z(l) = -6*l**3 + 3*l**2 + 6*l - 12. Let n(d) = -7*d**3 + 2*d**2 + 5*d - 13. Let t(r) = 4*n(r) - 5*z(r). Is 4 a factor of t(6)?
True
Let z = -2 + 4. Suppose 0 = 2*i - z*g + 3*g - 14, g - 24 = -4*i. Suppose -3*d + 5*c + 466 = 0, -443 = i*d - 3*c - 1193. Does 7 divide d?
True
Suppose 2*l + 1955 = 2*q - 1577, 5*l - 5250 = -3*q. Is 2 a factor of q?
True
Let j(w) be the first derivative of -w**4/4 + 19*w**3/3 + 12*w**2 - 37*w + 86. Does 9 divide j(20)?
False
Su