 - -22. Does 10 divide s?
True
Suppose 4*p - 8 = -0*p. Suppose p*c - 4*o = 0, -4*o + 16 = -0*c + 2*c. Does 2 divide c?
True
Let p(x) = -5*x - 1. Let r be p(-1). Is 11 a factor of (198/r)/((-24)/(-32))?
True
Let m be (0 + 225)*8/(-20). Let y = -54 - m. Is y a multiple of 12?
True
Suppose -4*f = -f - 30. Does 3 divide f?
False
Suppose 3*m - 4*y = 143, 3*y = m - 39 - 17. Does 41 divide m?
True
Is (2 - 3) + (-75)/(-3) a multiple of 12?
True
Suppose -2*g = -40 + 10. Does 13 divide g?
False
Let u(a) = 8*a**2 - a + 2. Let h be u(-2). Does 4 divide (-9)/(h/(-40)) - 2?
True
Suppose s = 1, -s = 5*l - 2*s - 624. Is 16 a factor of l?
False
Let v be (-8 - -9) + (-1)/1. Suppose 3*t = -v*t + 36. Is 5 a factor of t?
False
Let w(h) = h + 5. Let t(p) = 1. Let j(l) = 15*t(l) - 3*w(l). Let c be j(-1). Suppose -c*z + 2*x + 4 + 6 = 0, -14 = -3*z - 2*x. Is z even?
True
Let v be 0 - -2 - (2 + -5). Let b(j) be the second derivative of j**5/20 - j**4/3 - 5*j**3/6 + 3*j**2 + j. Does 6 divide b(v)?
True
Is (560/(-21))/(2/(-6)) a multiple of 20?
True
Suppose -1 + 10 = o. Let q(y) = -y**3 + 10*y**2 - 4*y - 2. Let z be q(o). Suppose 0 = -4*w + 25 + z. Is 17 a factor of w?
True
Let q = 63 - -2. Suppose -q = -4*p - 13. Does 13 divide p?
True
Let t(r) = r**3 - r - 2. Let a be t(0). Let s = a - 7. Does 10 divide (-3)/s - 58/(-6)?
True
Suppose 0 = -5*x - 4*t + 89, -3*t - 2*t = -3*x + 46. Does 6 divide x?
False
Is 2/(-4) + (-1904)/(-32) a multiple of 11?
False
Suppose 3*v + 3*y = 0, v - 2*y - 1 = -13. Let q(c) = -c**3 - 5*c**2 + 2*c + 6. Let a be q(v). Let f = a - -39. Is 14 a factor of f?
False
Let v(g) = -g**2 + 4*g. Let q be v(5). Let r = q - -3. Is 6 a factor of r/((-4)/(-6)) - -14?
False
Suppose 2 = -0*p + p - 2*x, x + 1 = 0. Let g(h) = h**3 - h**2 + 9. Is g(p) a multiple of 9?
True
Let t be (-719)/(-7) - (-4)/14. Suppose -m + 94 = 3*g, -5*m + 8*m = 3*g - 90. Suppose t = 4*d + g. Does 9 divide d?
True
Let z = -17 + 53. Let y = -13 + z. Does 16 divide y?
False
Suppose 0 = 4*c + 4*i - 416, -3*c + 7*c - 2*i - 440 = 0. Is c a multiple of 18?
True
Let o(h) = -h**2 + 7*h + 9. Suppose s = -w - w - 3, 4*s = -2*w + 18. Is o(s) a multiple of 4?
False
Let r = 210 - 138. Is 18 a factor of r?
True
Let j = 130 + -87. Does 11 divide j?
False
Let p(v) = 4*v**3 - 2*v**2 - 11*v + 10. Does 27 divide p(5)?
True
Suppose z = -z - 5*p + 76, -4*p - 124 = -4*z. Is z a multiple of 11?
True
Suppose -3*a + 42 = -3*w + 6*w, w - 14 = 3*a. Is 11 a factor of w?
False
Is 86/6*(-9)/6*-6 a multiple of 16?
False
Let j = -12 + 16. Is j a multiple of 3?
False
Suppose 0 = -7*q + 80 + 186. Is q a multiple of 7?
False
Suppose 2*s = 5*t + 3, -5*t = 4*s - 50 - 31. Does 9 divide s?
False
Is 11 a factor of (-1 - 12/(-20))*-110?
True
Let x = -1 + 2. Let f be ((-1)/x)/((-3)/30). Suppose v - f - 4 = 0. Is v a multiple of 7?
True
Suppose 0*z + z - 14 = -4*a, 0 = 4*a + 20. Does 17 divide z?
True
Let y(c) = 5*c**3 - 2*c**3 - 5 - 2*c**3 - 8*c + 6*c**2. Let u be y(-7). Let h = 7 + u. Is 9 a factor of h?
True
Is 4 a factor of -3 + 3/2*(-156)/(-18)?
False
Suppose v - 5*o - 53 = -0, 2*v = -4*o + 92. Is v a multiple of 18?
False
Let c(h) = 4*h**3 - 7*h**2 - 1 - 8*h**3 - 7*h + 3*h**3. Let y be c(-6). Let l(s) = s**3 - 3*s**2 - 5*s + 3. Does 14 divide l(y)?
True
Suppose 2*k - 2 = -12. Let q(h) be the third derivative of h**5/20 + h**4/6 + 7*h**3/6 - 24*h**2. Does 17 divide q(k)?
False
Let j be (-2)/(-12) - (-5)/(-30). Let o(a) = 6*a + 6. Let i be o(-4). Let n = j - i. Is 9 a factor of n?
True
Let n(v) = 2*v + 1. Let b be n(-6). Let y = b + 26. Is 15 a factor of y?
True
Let j be -1 - 0 - 2/(-2). Suppose -4*y - y = 2*h - 38, j = -h + 4. Does 5 divide y?
False
Suppose -2*s - 2 = -2*c - 70, -5*s - c + 182 = 0. Does 36 divide s?
True
Suppose 13*u - 18*u + 170 = 0. Suppose 0 = -2*d - 12 + u. Is d a multiple of 3?
False
Let y(h) = 7*h - 11. Let m be y(8). Suppose 2*r - m = -3*r + 2*k, -2*k = 5*r - 45. Does 7 divide r?
False
Suppose 0*h - 20 = -5*z - h, -z + h = -10. Is 4 a factor of z?
False
Suppose r = 6*r - 270. Does 14 divide r?
False
Let m be (-4)/(-16) + 38/8. Suppose 93 - 268 = -m*q. Is 17 a factor of q?
False
Let d be (1/2)/(2/(-48)). Let u = d + 18. Suppose -m - u = -2*m. Does 3 divide m?
True
Let g = -113 - -192. Does 17 divide g?
False
Suppose 0 = -6*p + 459 - 27. Is p a multiple of 12?
True
Suppose -2*f + 2*r = 16, r - 5 + 1 = 0. Does 18 divide (-1 + 0)*(-41 + f)?
False
Suppose 4*u + 53 = 461. Is 5 a factor of u?
False
Is ((-148)/3 + -4)/((-2)/6) a multiple of 20?
True
Suppose 4*u = -2*v + 114, -2*v + 7*v - 313 = -3*u. Is v a multiple of 11?
False
Let p(v) = v**2 - 2*v + 10. Is 18 a factor of p(9)?
False
Suppose 9*r - 4*r - 31 = -3*n, -4*r = n - 22. Is 17 a factor of (-5 - -2)/(n/(-14))?
False
Suppose -b = -m, -2*b - 5*m + 17 = 3. Let o(p) = 2*p**3 - 3*p**2. Let n be o(b). Suppose -5*h - 4*s = -35, -n*s = 2*h - 9*s - 14. Is h a multiple of 4?
False
Let u be (-6 + 11)*(-2)/(-2). Does 11 divide 22/(-4)*(-11 + u)?
True
Suppose h - 59 = -14. Is 5 a factor of h?
True
Let r(c) be the third derivative of 13*c**4/12 - c**3/6 + c**2. Is r(3) a multiple of 24?
False
Let s(v) = -v - 8. Let a be s(-7). Let d = 4 + a. Let n(h) = h**2 + h + 1. Does 5 divide n(d)?
False
Let x = 166 - 42. Does 51 divide x?
False
Let h be 98/((-1)/(3/(-6))). Suppose 0*b = 2*b - 3*p - h, -b = 5*p - 31. Does 16 divide b?
False
Let x be 4/(-14) + (-37)/(-7). Suppose -x*j + 102 = 2*r - 2*j, 0 = 3*j - 6. Suppose 4*p - 81 = p + 3*f, -2*p = -5*f - r. Is 11 a factor of p?
False
Let a = 282 - 198. Does 6 divide a?
True
Suppose -5*q = -2*q + 2*n - 208, 5*n - 340 = -5*q. Let d = q - 25. Does 14 divide d?
False
Let v(r) = -10*r - 2. Is v(-2) a multiple of 3?
True
Let v = -194 + 296. Is 34 a factor of v?
True
Is 12 a factor of (-969)/(-76) - (-2)/8?
False
Suppose -2*j + 2*p + p = -38, 30 = 2*j - p. Let k(n) = 3*n - 5. Does 17 divide k(j)?
True
Suppose 0*q - q = 0. Let x be (-1)/(2/(-4)) - q. Suppose 3*a + 26 = 5*n, -n + 10 = -5*a + x*a. Is n a multiple of 4?
True
Does 5 divide ((-420)/50)/(2/(-10))?
False
Does 40 divide ((-42)/2)/(66/(-770))?
False
Suppose -4*f + 2 + 6 = 0. Let z(n) be the first derivative of 5*n**2 - 3*n + 2. Does 17 divide z(f)?
True
Suppose 3*i = 5*i. Suppose -2*k + 3*w + 6 = i, 4*k + 24 = 8*k - 3*w. Is k a multiple of 6?
False
Let f = 3 - -26. Suppose f + 208 = 3*y. Let z = 131 - y. Is 26 a factor of z?
True
Let t be (6/(-12))/((-2)/24). Let l be (60/(-9))/((-4)/t). Let b = l + 1. Is b a multiple of 6?
False
Suppose 32*y - 28*y = 288. Is y a multiple of 12?
True
Suppose 0 = 3*a - 7 - 8. Let t = a + -16. Does 9 divide -4*t*3/12?
False
Let y(o) = -o**3 - 4*o**2 - 3*o + 4. Is 4 a factor of y(-3)?
True
Is ((-161)/(-3))/((-1)/(-3)) a multiple of 23?
True
Let u(x) = -8*x - 4. Let d(j) = j**3 + 3*j**2 + 2*j + 2. Let l be d(-3). Is u(l) a multiple of 11?
False
Suppose 3*p - 24 = -p. Suppose -4*y - p = -v - 3*y, -3*y = v - 6. Is v a multiple of 6?
True
Let b be (-4)/(-10) + (-14)/10. Is 94/((-4)/(2/b)) a multiple of 12?
False
Let u(r) = -r**3 + 2*r**2 + 5*r - 5. Let g(f) = -f**3 + f**2 + 5*f - 4. Let a(m) = 6*g(m) - 7*u(m). Is a(9) a multiple of 22?
False
Let i be (-129)/(-27) + (-14)/(-63). Suppose -i*f + 22 = -3*f. Is 11 a factor of f?
True
Let g be (-8)/(-5)*285/6. Suppose -s + g = 2*z, -3*z + 41 = -3*s - 64. Does 20 divide z?
False
Suppose 2*x = -x. Is 12 a factor of 2/(2 - x) + 11?
True
Let f = -87 - -169. Is f a multiple of 19?
False
Let y be (3 - -174)*1/3. Suppose -13 = -2*s + y. Is s a multiple of 18?
True
Let c = 146 - 103. Let k = 10 + -8. Is c + (k - (2 - -2)) a multiple of 15?
False
Let n(m) = -m**3 - 5*m**2 - 6*m - 5. Let v be n(-4). Suppose 4*d = -34 + 154. Suppose 3*h - 4*z - 4 = d, z = -v*h + 44. Does 14 divide h?
True
Suppose -w - 3*w + 3*q - 49 = 0, -4*w + q = 51. Let y = 28 + w. Is y a multiple of 5?
True
Let u be ((-16)/(-3))/((-22)/(-165)). Suppose -o = -3*o + 4*t + u, 2*t - 84 = -3*o. Is 13 a factor of o?
True
Let h be -2*3 + -2 + 1. Is (24/(-7))/(1/h) a multiple of 24?
True
Does 24 divide 48*(-4 - -1 - 1)/(-2)?
True
Let a(b) = b**3 - 9*b**2 + 2*b - 10. Is 5 a factor of a(9)?
False
Suppose 3*k - 21 - 9 = 0. Let f(h) = -h**2 + 11*h - 1. Is 9 a factor of f(k)?
True
Let d(h) be the third derivative of h**6/40 - h**5/30 + h**4/24 + h**2. I