15. Let u(r) = 5*r**2. Is 3 a factor of u(o)?
False
Let x be -92 - 2/(2 - 0). Let o = -27 - x. Is 22 a factor of o?
True
Let i be (-1 - 1) + 48/4. Let r(p) = p**2 - 5*p - 12. Is 13 a factor of r(i)?
False
Let z(w) = -17*w + 1. Is z(-7) a multiple of 40?
True
Let q(h) = -h + 2. Let p be q(3). Let w(g) be the first derivative of -7*g**2/2 + 1. Does 3 divide w(p)?
False
Suppose -2*y + 4*y - 132 = a, 0 = 2*y - 5*a - 116. Is 34 a factor of y?
True
Suppose -2*z - 2*z = -200. Suppose -4*o + z = 14. Is 9 a factor of o?
True
Let v = 85 + -37. Suppose 4*l + 4*d = -d + 19, 3*d + v = 3*l. Does 11 divide l?
True
Let l(h) = -h**2 - 5*h - 3. Let j be l(-2). Suppose 14 + 10 = j*t. Suppose -2*i + 16 = -5*w, -i - t*w + 8 = -4*w. Is i a multiple of 3?
False
Suppose -5*p + i = -183, p = 4*p - 2*i - 114. Is p a multiple of 9?
True
Suppose 0 = 4*r - 4*h - 352, 0*r + 268 = 3*r - 2*h. Is r a multiple of 12?
False
Suppose -3*r + 2*r = -2. Suppose r*v - 5 = 49. Does 10 divide v?
False
Let z = -5 - -5. Suppose z*r - r + 8 = 0. Is 6 a factor of r?
False
Let z = -9 + 15. Let o be z/4*(4 + -2). Suppose -o*t = -x - 5, 0*x + x + 8 = 4*t. Is t a multiple of 3?
True
Suppose -3*m = 12, y - 3*m + 3 = 43. Is 12 a factor of y?
False
Let u be (2 - 0)*(-1 - -2). Let c = -36 - -66. Suppose u*r = 7*r - c. Is 3 a factor of r?
True
Suppose -4*o + 133 = -19. Does 17 divide o?
False
Let q(u) = 4*u**3 - u**2 + u - 2. Is 15 a factor of q(2)?
False
Suppose -7*t = -6*t, t + 340 = 5*z. Is z a multiple of 17?
True
Suppose 4*n = 8*n - 252. Does 22 divide n?
False
Let f = 215 - 118. Suppose f = 3*q + 2*u, 5*u = q + 4*u - 39. Does 14 divide q?
False
Suppose 0*l + 48 = 3*l. Let s = l - -16. Suppose 0*j - j = 2*c - s, -c + 16 = 5*j. Does 16 divide c?
True
Is (42/(-56))/((-1)/48) a multiple of 6?
True
Let o(y) = -y**2 - 10*y - 3. Let x be o(-9). Let b = -41 + x. Let t = b + 56. Does 9 divide t?
False
Let r be (20/(-6))/((-1)/6). Suppose 27 + r = 3*n + 4*b, -69 = -4*n + b. Does 6 divide n?
False
Let t = -10 + 13. Let o(y) = 3*y**2 - 3*y + 1. Does 6 divide o(t)?
False
Let x be (24/(-2))/(2/5). Does 15 divide (x/(-4))/((-5)/(-10))?
True
Suppose -4*f = -0*y + 2*y - 64, 3*f = -y + 37. Let d = 42 - y. Is 5 a factor of d?
True
Suppose -3*h - 2*n = -278, 0 = 5*h - 3*n + 152 - 647. Does 6 divide h?
True
Let k(t) = -24*t. Suppose -4*s - 14 = -3*d, -3*d = d - 8. Is k(s) a multiple of 24?
True
Let w be 18/1*14/4. Let j = w - 30. Is 11 a factor of j?
True
Let d be (-17 + 5)/((-4)/50). Is 4 a factor of d/20*(-8)/(-10)?
False
Suppose 0 = -n + 5*m + 49, -148 = -4*n - m + 5*m. Is 12 a factor of n?
False
Suppose 0 = 4*j - 4*w - 160, -200 = -2*j - 2*j - 4*w. Is j a multiple of 17?
False
Let b(m) = 12*m + 4. Let p be b(-4). Is 20 a factor of (-1)/(2*1/p)?
False
Suppose -151 = -6*p + 233. Is p a multiple of 4?
True
Let l = -36 - -63. Is 9 a factor of l?
True
Let h(q) be the third derivative of -2*q**2 - 2/3*q**3 + 1/15*q**5 + 0 + 0*q + 7/24*q**4 - 1/120*q**6. Does 3 divide h(5)?
True
Let i(z) = 3*z**2 - 13*z + 8. Is i(8) a multiple of 16?
True
Suppose -3*q = 5*o + 88, 2*q - 76 + 8 = 3*o. Let d be (o/12)/(2/(-6)). Suppose 18 = d*j - 3*u, 4*j - 34 = j - 4*u. Is 6 a factor of j?
True
Let z = 1 + 13. Is z a multiple of 14?
True
Suppose -2*s + s = -3. Suppose 2*u = 6*m - m - 4, -s*u = -4*m + 6. Suppose m = -q + 8 + 4. Is 8 a factor of q?
False
Suppose -2*o + 3*i + 19 = 0, -2*o - 4*i = -0*i - 12. Suppose o = -4*q - 20. Let t = 11 + q. Is t a multiple of 2?
True
Suppose g = q + 9, -5*g + 4 + 1 = 3*q. Suppose 0 = -4*v + 20, 0 = -3*o - 8*v + 3*v + 25. Suppose -g*c = -w - o*w - 19, -4*c - 3*w = -7. Is 3 a factor of c?
False
Let r(p) = 9*p**2 + p. Let t be r(-2). Let k(o) = -2*o - 3. Let x be k(-3). Suppose 56 + t = x*v. Is 15 a factor of v?
True
Let i be -3 - ((-2)/(-6))/((-1)/3). Let g = 48 - 87. Is 9 a factor of ((-12)/(-18))/(i/g)?
False
Let u(m) = -m**2 + 8*m - 6. Let g be u(7). Let j(p) = 9*p**2. Let x be j(g). Let h = x + -5. Is h a multiple of 4?
True
Suppose -w - 15 = -4*w. Suppose -b - 17 = 4*p, b + 22 = w*b - 2*p. Let f(z) = -z**3 + 3*z**2 + 2*z - 1. Does 2 divide f(b)?
False
Is (2 + -1)/((-12)/(-492)) a multiple of 20?
False
Let i(t) = t**2 - 11*t - 3. Is i(-5) a multiple of 7?
True
Let d = -9 + 17. Let f(y) = y**3 - 7*y**2 - 5*y - 9. Let r be f(d). Suppose r = g + 4*g. Is g a multiple of 2?
False
Suppose -2*a - 8 = 2*w - 122, -2*w - a + 112 = 0. Does 11 divide w?
True
Let j = -38 + 71. Is j a multiple of 2?
False
Suppose 0 = -0*c + 7*c - 609. Is c a multiple of 11?
False
Let t = 295 - 181. Is 19 a factor of t?
True
Suppose 6*u + 51 = 7*u. Let v = u + -31. Is v a multiple of 8?
False
Let y(b) = b**2 - 4*b + 4. Let r be y(3). Suppose w - r = 4. Suppose -w*v + 10 = -4*v. Is v a multiple of 7?
False
Suppose j - 4*j + 18 = 0. Suppose -3*n - j = -5*n. Does 3 divide n?
True
Let s be 3 + 0 - (-2)/(-2). Let f(k) = -703*k. Let w(j) = -16*j. Let x(c) = 3*f(c) - 133*w(c). Is x(s) a multiple of 19?
True
Suppose -4*o + 0*o + 4*y + 36 = 0, -o + 27 = 5*y. Is o a multiple of 6?
True
Let g(p) = p. Let k(b) = b**2 + b**3 + 2*b - 2 - 5*b + 27. Let a(i) = 3*g(i) + k(i). Is 10 a factor of a(0)?
False
Let c(h) be the second derivative of h**5/10 - h**4/6 - h**3/6 + h**2/2 + h. Is c(2) even?
False
Let n(p) = -4*p**3 - 6*p**2 + 4*p**3 + 2 - p**3. Let d be n(-6). Suppose 3*k + 185 = 4*w, -2*k - d*k + 120 = 3*w. Does 22 divide w?
True
Let s(c) = c**2 - 6 + 2*c + 4*c - 2*c. Suppose -2*m - 6 = -3*m + 4*y, -5*m - 5*y - 45 = 0. Does 6 divide s(m)?
True
Suppose z = 2*z. Let g be ((-4)/(-6))/(2/6). Suppose -2*u - g*u + 52 = z. Does 8 divide u?
False
Suppose -119*z = -118*z - 204. Does 17 divide z?
True
Let s be (-8)/(-4)*(-9)/(-6). Let a be ((-1)/s)/(5/(-165)). Suppose a + 7 = w. Is 17 a factor of w?
False
Suppose 5*i + 3*p + 45 = 0, 2*i + 2*p = -p - 18. Let j = i + 29. Is 10 a factor of j?
True
Suppose 4*i - 2*i = 0. Suppose 6 = 3*v - i*v. Suppose -7*x + 2*x - 2*j = -96, 0 = -v*j - 4. Is 8 a factor of x?
False
Let i = 187 + -105. Is 20 a factor of i?
False
Let p = 6 + -2. Suppose 3*a + 2*d = 184, -2*d + 363 = p*a + 115. Suppose 4*j - a = -3*t, j + 14 = 3*j - 3*t. Is j a multiple of 4?
False
Let k = 38 - 23. Suppose -d + 39 = k. Is d a multiple of 13?
False
Let q(y) = -15*y. Let m be q(-2). Suppose a - 19 = m. Is 15 a factor of a?
False
Let n(p) = -10*p**2 + p - 4. Let u(v) = -3*v**2 - 1. Let a(f) = 4*n(f) - 14*u(f). Is 22 a factor of a(4)?
False
Suppose -5*g = j - 8, 5*j + 2*g - 10 = 7*g. Suppose -n + 72 = j*n. Is 18 a factor of n?
True
Suppose 5*t - 135 = -i, -2*i - 7*t + 2*t = -270. Is i a multiple of 27?
True
Does 6 divide (-9)/(-1) - (-5 + 4)?
False
Let q(l) be the first derivative of 5*l**2/2 - 4*l + 1. Let z be -3 + -2 + 11 + -2. Is q(z) a multiple of 8?
True
Suppose 0 = -10*r + 5*r. Suppose r = -2*c + 3*c - 53. Is 15 a factor of c?
False
Let c(b) = -b. Let j be c(0). Is j/((-4)/(-1)) - -15 a multiple of 4?
False
Suppose 5*c + 5*p = 25, 0*p = 4*c - 2*p - 20. Suppose -23 = -5*t + 157. Suppose -3*r + c*r = -4*f + 82, 0 = -2*f + 4*r + t. Does 14 divide f?
False
Let t(l) = -l**2 - 7*l - 7. Let g be t(-5). Let p = g - 1. Is 6 a factor of (-3 + p)*2*-6?
True
Let t = -3 - -5. Let g(v) = 3*v**t - 2*v**2 - 3 - 5*v + 4*v. Is 10 a factor of g(6)?
False
Let g(x) be the first derivative of x**2/2 + 16*x - 4. Is 12 a factor of g(0)?
False
Suppose 7*z + 197 = 1492. Is 18 a factor of z?
False
Let w(m) = -14*m - 92. Does 6 divide w(-16)?
True
Let r = 146 - -15. Is r a multiple of 13?
False
Let n be -2 + 1 + 2 + 1. Let h(g) = -4*g**2 + 6*g**3 + 5*g**n + 2 - 5*g**3 - g. Is h(2) a multiple of 7?
False
Let n(c) = c**3 - 4*c**2 - 5*c - 5. Does 8 divide n(6)?
False
Suppose -2*n + 5*n - 12 = 0. Let p = n - 2. Is p even?
True
Let l = -71 + 108. Let k = l - 25. Does 12 divide k?
True
Does 8 divide -3*1/(-1) - -7?
False
Let q = 82 - 162. Let g = -52 - q. Is 12 a factor of g - (4/2 - 5)?
False
Suppose 0 = -2*o - 3 + 103. Is o a multiple of 10?
True
Let i = 3 - 2. Let h be (5/(-2))/(i/(-2)). Suppose 0 = 5*m + h*b - 215, -2*b + 0 = 6. Is m a multiple of 19?
False
Let j(i) = -4*i**2 - 11*i - 2. Let m(h) = 2*h**2 + 5*h + 1. Let w(s) = 2*j(s) + 5*m(s). Is w(-3) a multiple of 10?
True
Suppose -2*k - 20 = -6*k. Suppose 2*s = k*o - 2*s - 252, o - 46 = 3*s. Suppose -3*m - 5*g