t s be (-20)/1 + 9 + -7. Let x be 8/36 - (-4)/s. Suppose 0*r - 2*r - 4 = x, -5*n + 18 = r. Is n a multiple of 3?
False
Let l(o) = -1 + 269*o**2 - 453*o**2 + 273*o**2 - 2*o. Let m = 3 - 4. Is 15 a factor of l(m)?
True
Does 57 divide (8 - -854) + -2 + -5?
True
Let d = 26 - 109. Does 5 divide (-12)/18 + d/(-3)?
False
Let l(x) = -98*x**3 - 2*x**2 - 2*x - 1. Let j = 10 - 11. Is 17 a factor of l(j)?
False
Let k be (1/(-3))/(3/(-2763)). Let w = k + -197. Is 11 a factor of w?
True
Is 30 a factor of (2/16 - 394/80)*-320?
False
Let t(p) = -p**3 - 3*p**2 - 1 + 0*p**2 + 2*p**2 + 2*p**2. Let k(a) = -4*a**3 + 5*a**2 + a - 4. Let c(l) = k(l) - 3*t(l). Is 11 a factor of c(-3)?
False
Suppose 82832 = 38*r - 7*r. Does 11 divide r?
False
Suppose -24*h + 58 = -62. Let a(g) = -2*g**2 + 0*g - 2*g + 3*g**2 + 7. Is a(h) a multiple of 11?
True
Let j = -1251 + 2109. Does 39 divide j?
True
Suppose 3*m = 112 + 29. Suppose 4*r = -s + 51 - 8, -2*r = s - m. Let v = s + -7. Is v a multiple of 10?
False
Let l(p) = p**2 - 10*p + 8. Let n = -11 - -23. Let d be l(n). Suppose -5*f - 3*z + 40 = -z, 4*f = -3*z + d. Is f a multiple of 7?
False
Let t(w) = -5*w**2 + w + 2 + 6*w**2 + w. Let h(j) = j**3 - 7*j**2 - j + 1. Let m be h(7). Is 11 a factor of t(m)?
False
Suppose -4*q - 12 = 2*k, 5*q + 25 = -k - 4*k. Is 876/(-8)*q + (-1)/(-2) a multiple of 24?
False
Let i(c) = -2*c**2 - 16*c + 4. Suppose u + 5 = b, -18 = -5*b - 4*u + 2*u. Suppose -4*y + b*g = 3*g + 30, -5*g = -10. Is 6 a factor of i(y)?
True
Let g(j) = -j + 4. Suppose -10 = 5*c - 10*c. Let z be g(c). Suppose 19 = z*m + 3*i, 2*i - 5 - 37 = -4*m. Is 11 a factor of m?
True
Let n(p) = 21*p**2 + 69*p + 15. Is 73 a factor of n(-9)?
True
Let d = 3 - 0. Suppose 4*v + 16 = -g, d*g = g. Is v/(-22) + 194/22 a multiple of 9?
True
Let c = -76 + 406. Does 5 divide c?
True
Let q(s) = 6*s**2 + 7*s - 18. Is q(-6) a multiple of 4?
True
Suppose 9*p - 273 = 8*p. Is p a multiple of 39?
True
Suppose -5*j - 2*n - 90 = 0, j + j - 5*n = -7. Is (-13 - j) + (0 - 67)*-1 a multiple of 15?
False
Suppose 4*i - 860 = -2*x + 388, -2535 = -4*x + 5*i. Does 6 divide x?
True
Suppose 45*k - 27310 = 35*k. Does 68 divide k?
False
Let f(w) = w**3 - 2*w**2 - 3*w + 3. Let v be f(3). Suppose v*a + 1 = 7. Does 5 divide a + 1 + -6 + 26?
False
Suppose 0 = 2*n + 3*d - 51, -4*d + 11 = 2*n - 45. Does 2 divide n?
True
Let a(t) = 32*t**2 - 6 - 6 - 20*t - t**3 - 49*t**2. Is 7 a factor of a(-16)?
False
Let b(y) be the second derivative of y**5/60 - 5*y**2 - 9*y. Let m(p) be the first derivative of b(p). Does 3 divide m(3)?
True
Suppose 3*q - 15 + 6 = -5*n, -q + 4*n = -3. Suppose 95 = s - q. Is 11 a factor of s?
False
Suppose 2*k + 13 = -133. Let o = k + 118. Is 9 a factor of o?
True
Let r(t) = 152*t**2 + 16*t - 3. Does 9 divide r(3)?
True
Suppose -2*c = 3*o + 12, 3*o + 2*o + 20 = 5*c. Suppose h = 5*f + 190 - 21, c = 4*f. Does 19 divide h?
False
Suppose 385*w - 398*w = -1287. Is 9 a factor of w?
True
Suppose -l + 3*l = 0. Does 21 divide (-2 + 23)/(l + 1)?
True
Let k(i) = -i**3 + 48 - 1 - 4 - i**2 - 4. Let a = -7 - -7. Is k(a) a multiple of 17?
False
Let c(x) = x**3 + 8*x**2 + 2*x + 4. Let j be c(-8). Let a(l) = l**2 + 4*l - 15. Let k be a(j). Is 12 a factor of k/(-36)*64/(-6)?
True
Suppose -85 = -5*p + i, 0*p = 3*p + 5*i - 23. Is 14 a factor of (p/8)/((-1)/(-1 + -63))?
False
Suppose 3*g + 170 = 2*n, -5 = 3*g + 7. Let i = n - 29. Is 9 a factor of i?
False
Let v be 1/(-3 - 56/(-20)). Let m = -3 - v. Suppose 2*x - 3*g = -x + 105, -2*g - m = 0. Is x a multiple of 6?
False
Let f(o) = -o**2 + 7*o - 10. Let t be f(5). Is (42 - t)/(9/12) a multiple of 11?
False
Suppose -h - 38 = -113. Suppose -r = 2*r - h. Does 9 divide r?
False
Let y(x) = x**3 - 9*x**2 + x - 7. Let i be y(9). Let h be (i + -2 - -56) + -4. Let z = h + -31. Is 13 a factor of z?
False
Let a = 1679 + -1013. Is a a multiple of 3?
True
Suppose 3 = -5*d + 5*u - 2, 3*d + 3 = -2*u. Is 7 a factor of (-18)/9*(-7 + d)?
False
Suppose -13*m - 41*m = -84132. Is 82 a factor of m?
True
Let m be 6/(-2) - (-3)/3*25. Is (m/4)/(3/78) a multiple of 7?
False
Let f(h) be the second derivative of h**4/12 - 2*h**3/3 + 7*h**2/2 - 2*h. Suppose 0 = -30*m + 37*m - 35. Is 12 a factor of f(m)?
True
Suppose 5*y + 2*z = 2027, 818 = -2*y + 4*y - z. Does 21 divide y?
False
Suppose 5*d + 5*r - 2345 = 0, -3*d + 5*r - r = -1379. Is 15 a factor of d?
True
Suppose 179 = 5*y + 2*o, -y = -4*y + 3*o + 120. Does 17 divide y?
False
Let z(y) = 27*y**2 + 52*y + 22. Does 12 divide z(-6)?
False
Let l = 51 + -75. Let i = -48 - l. Is 21 a factor of (-2019)/i - (-2)/(-16)?
True
Suppose a - 137 = -p, a = 4*p - a - 566. Is p a multiple of 20?
True
Let p(g) = -12*g + 72. Let j be p(-5). Suppose -12*b + 14*b - j = 0. Is b a multiple of 3?
True
Let o be (-2133)/18*(-2)/3. Suppose -o = -5*n + 3*w, 4*n + w + 0*w = 70. Let x = 65 + n. Is x a multiple of 13?
False
Suppose -8*b + 10*b = 196. Suppose -l - 1 + 5 = 0, -5*a = 5*l + 320. Let v = a + b. Does 16 divide v?
False
Let f be ((-575)/69)/((-1)/(-6)). Let v = 279 + f. Is v a multiple of 19?
False
Let c be 9 + -1 + 2 + -5. Suppose 90 = c*k - 750. Is 28 a factor of k?
True
Let j(p) = -p**3 + 7*p**2 - 3*p - 1. Let m be (2/3 + -1)*-27. Let o = -6 + m. Is j(o) a multiple of 13?
True
Suppose 48 = -3*h - 39. Let u = h + 52. Is 2 a factor of u?
False
Let c be -1*2*60/(-24). Suppose c*y - 221 + 6 = 0. Does 14 divide y?
False
Suppose 6*z = -5*z + 110. Let q = z + 44. Is q a multiple of 27?
True
Let q(u) = -u**2 - 3*u + 4. Let c be q(-3). Suppose 0 = -5*a + 15, c*a + 96 = 4*v - v. Suppose -v = -3*g + 54. Does 15 divide g?
True
Let z(m) = 4*m**2 + 8*m + 23. Is z(5) a multiple of 66?
False
Suppose 0 = -4115*o + 4110*o + 20. Suppose 0*s + 3 = s. Suppose 5*r = -s*p + 23, o*p - r = 2*r + 79. Is p a multiple of 14?
False
Let x(u) = 30*u**2 + u + 20. Does 24 divide x(4)?
True
Is 19 a factor of (-3 + -1)*-56 + 2 + 2?
True
Let o(h) = h**3 + 7*h**2 - 6*h + 22. Let v be o(-8). Suppose -9*n = -v*n - 402. Is n a multiple of 13?
False
Let g = 346 - 62. Let v = g - 124. Let q = v - 67. Is q a multiple of 31?
True
Suppose 5*r + 0*r = -85. Let h = -2 + r. Is h/(-38) + (-7)/(-2) a multiple of 4?
True
Is 5 a factor of (-9 + -1)/((-54)/243)?
True
Let v(u) = -u**3 + 4*u**2 + 2. Let i be (8/(-3))/((-4)/6). Let w be v(i). Is 126/9 + w/(-1) a multiple of 9?
False
Let b(c) = 131*c + 33. Is 5 a factor of b(17)?
True
Is (783/(-2))/(54/(-144)) a multiple of 58?
True
Let o(w) = w**2 + 11*w + 9. Let v(g) = -4*g - 3. Let r(z) = 3*o(z) + 8*v(z). Let h be 1 - (-1 - 1)/((-24)/36). Is r(h) a multiple of 5?
False
Let v(g) = 3*g**3 - g**2 - 7*g - 1. Let x(n) = n**3 - 5*n**2 - 15*n + 10. Let o be x(7). Is 6 a factor of v(o)?
False
Suppose -2*q + 2 = -6. Suppose -q*l + 7*g - 2*g = -15, -4*g + 24 = 4*l. Suppose -4*z = 2*r - 86, -5*r + 0*r + l*z + 155 = 0. Does 7 divide r?
True
Let z(g) = 40*g - 10. Let y be z(7). Does 3 divide (1/(-2))/((-27)/y)?
False
Suppose 114 = 2*w + 3*a, 118 = 13*w - 11*w + a. Does 20 divide w?
True
Suppose 15*m = 16*m. Suppose -4*x - 2*i + 11 + 23 = m, -x - 5*i + 22 = 0. Is x even?
False
Let h(j) = -2*j + 2*j - 4 - 2*j + 8*j. Let v be h(3). Is (54/7)/(3/v) a multiple of 12?
True
Let p be 3 - (2 + -1)*9. Is 28 a factor of 335/4 - p/24?
True
Suppose -r = -3*o - 2*r - 141, 0 = -3*r. Let t = o - -77. Does 5 divide t?
True
Suppose -5*x + 55 = -5*o, -2*o - x + 0*x - 7 = 0. Does 27 divide -3 - (-108 + o/2)?
True
Let z(a) = 53*a - 2. Is z(1) a multiple of 19?
False
Let g = -17 + 5. Let b = 17 + g. Suppose -b*d + 319 - 54 = 0. Is d a multiple of 10?
False
Let q(m) be the first derivative of m**4/6 - 5*m**3/6 + m**2 - 9*m + 9. Let b(c) be the first derivative of q(c). Is 2 a factor of b(3)?
False
Let n be (-56 + -1)/3 + 4. Is (-561)/n - 2 - (-22)/(-55) a multiple of 10?
False
Let l = 25 - 19. Let i(u) = u + 103*u**3 - 15*u**2 + u - 102*u**3 - l. Is i(15) a multiple of 15?
False
Suppose -4*u = -3*p - 5*u + 1148, 5*p + 3*u = 1908. Is 6 a factor of p?
True
Let v = 136 - 142. Let b(k) = -k**3 + k**2 + 10*k + 4. Does 30 divide b(v)?
False
Let r(t) = -t**2 + 7*t**3 - t**3 - 1 + 2*t - 2*t**3. Let c be r(1). Suppose -4*a + 133 = 3*m, -2*a = c*m - 7*a - 167. Does 16 divide m?
False
Let a(y) = 14*y + 124. Does 16 divide a(14)?
True
Suppose -104 + 624 = 5*j. Suppose -9*z +