 r be v(-4). Suppose r = t - 5*t + 116. Does 12 divide t?
False
Let c(z) = -z**3 + 9*z**2 - 17*z + 3. Let g be c(7). Does 9 divide 76/2 + g + 19?
False
Suppose -4*w = w + 3*j + 33, 0 = -3*j - 3. Is 4/w - (-119)/3 a multiple of 25?
False
Let l(c) = c**3 + 10*c**2 + 3*c + 12. Let p be l(-11). Does 10 divide 2/(-7) - p/7?
True
Suppose 1 = -a + 5. Suppose 5*s = a*n + 74, -5 = 4*n + n. Is s a multiple of 4?
False
Let j = -1 + 5. Suppose q - 4*v = 2*q - 21, -q + j*v = -13. Is 8 a factor of q?
False
Suppose 9 = -b + 3*c, b + 0*c = 2*c - 7. Let q = 7 - b. Is q a multiple of 10?
True
Suppose -a = -2*c + 254, -c - 2*a = -0*a - 127. Is 42 a factor of c?
False
Let z(p) = -2*p**2 - 15*p - 13. Let s(l) = 4*l**2 + 31*l + 27. Let w(c) = -6*s(c) - 13*z(c). Let y(v) = -v**2 - 5*v. Let k be y(-6). Does 9 divide w(k)?
False
Suppose 0 = w - 1, b + 2 = -4*w + 105. Does 33 divide b?
True
Let g be (27/(-6))/(2/(-20)). Let j = -22 + g. Does 15 divide j?
False
Let u be (-4)/14 - (-253)/77. Suppose -85 - 150 = -3*n - 4*w, -u*n - 3*w + 240 = 0. Does 23 divide n?
False
Let n(b) = b + 7. Let d be n(10). Suppose -12*a - 135 = -d*a. Does 6 divide a?
False
Suppose 5*q = 3*q + 120. Suppose 5*z - q + 5 = 0. Is 11 a factor of z?
True
Suppose -10*y - 80 = -15*y. Is 10 a factor of y?
False
Let r(o) = -o**2 + 9*o - 10. Let n be r(8). Let x be (2/4)/(n/20). Does 3 divide (-2)/x + 84/15?
True
Suppose -2*t + 0*t - 6 = 0. Let j = -3 - t. Suppose j*p + 19 = p. Does 7 divide p?
False
Let h be 696/44 - 4/(-22). Suppose a + z + h = 0, 2*z - 4*z = 3*a + 53. Let v = -7 - a. Does 7 divide v?
True
Suppose 0 = -3*m + m - 2. Let x = m + -47. Let y = -18 - x. Does 16 divide y?
False
Let g(m) = -m**3 - m**2 - m. Is g(-2) a multiple of 2?
True
Let k = 51 + -47. Is 2 a factor of k?
True
Let n be (6/(-5))/((-2)/(-20)). Let f = 20 + n. Is f a multiple of 7?
False
Suppose 4*j + 5*f - 190 = 0, j - 43 = -4*f + 5*f. Let x = j + -30. Is x a multiple of 15?
True
Suppose 2*b = -j - 6 + 1, 0 = -2*b - 8. Let h = 6 - j. Does 3 divide h?
True
Let t(g) = -g**3 + g + 7. Is t(0) a multiple of 7?
True
Let a(c) = c**3 - 11*c**2 + 5*c + 3. Is a(11) a multiple of 15?
False
Suppose -8*y + 2*y = 228. Let d = 25 - y. Is d a multiple of 16?
False
Let n(u) = 6*u + 68. Is n(15) a multiple of 53?
False
Suppose -4*p - 525 - 22 = -3*t, -3*p + 696 = 4*t. Does 21 divide t?
False
Suppose 18*n = 23*n - 60. Is n a multiple of 6?
True
Let g = -10 - -13. Does 2 divide g?
False
Let o(h) = 2*h**2 - 4*h - 2. Let z(s) = -s - 4. Let g be z(-9). Is 14 a factor of o(g)?
True
Suppose -2*r - 12 = 2*r, 3*d = 2*r + 138. Does 11 divide d?
True
Suppose -3*w + 40 = -w. Is 9 a factor of w?
False
Suppose -3*y + 186 = 5*b, 5*y - 2*b - 338 = -b. Is 7 a factor of y?
False
Suppose 6*h - 2*h = 148. Does 37 divide h?
True
Is 2 a factor of 28/(-42) - 23/(-3)?
False
Suppose w + 3*w = 4*j + 4, -5*j = -3*w - 5. Suppose 3*i = 9, 5*z - 7 = j*i + 296. Does 20 divide z?
False
Let b(o) = -2*o**3 + 2*o**2 + o + 1. Let i be b(2). Let k = 2 + i. Is 22 a factor of (1/(-2))/(k/210)?
False
Let o(l) = 27*l**2 - 4. Is o(-2) a multiple of 26?
True
Let h be -3 + 0 - (10 - 2). Let l(m) = -m**3 - 9*m**2 + 14*m - 1. Is l(h) a multiple of 29?
True
Is 12 a factor of 90 + 2/(2 - 1)?
False
Let z = -5 - -9. Let a = 22 - z. Does 13 divide a?
False
Suppose -6 = d - 2*d. Let g be ((-3)/d)/(1/36). Let a = -3 - g. Does 6 divide a?
False
Let a(n) = -70*n - 7*n + 3 - 47*n + n. Let z be a(-3). Is (-2)/(-9) - z/(-27) a multiple of 14?
True
Let z = -10 + 15. Does 5 divide z?
True
Does 15 divide (-10)/(-6)*(5 - -10)?
False
Let j(n) = -n**2 + 15*n - 6. Suppose 2*y - 6*f = -f + 37, -3*y = -5*f - 48. Does 19 divide j(y)?
True
Let x = -11 + 59. Does 16 divide x?
True
Let v(n) = n**3 + 4*n**2 - 5*n + 3. Let c be v(-5). Suppose 3*i = -x - 304, 88 = -3*i - 2*x - 220. Is 4 a factor of (-2)/c + i/(-15)?
False
Is (0 + (-22)/4)*(-8)/1 a multiple of 6?
False
Let j(g) = g**2 - g. Let z(q) = -2*q**2 - 3*q - 3. Let p(b) = 5*j(b) - z(b). Let k be p(-3). Is (k/15)/((-1)/(-10)) a multiple of 16?
True
Let v(g) be the second derivative of -7/6*g**3 - g**2 + 0 + 2/3*g**4 + g - 1/20*g**5. Is v(6) a multiple of 11?
False
Let s(u) = u**2 + 7*u. Let k be s(-7). Let z be (k + 4)/(-3 + 4). Suppose 15 = -3*j, -4*a + z*j + 101 = -a. Is a a multiple of 11?
False
Suppose -5*x - 1 = -461. Is 15 a factor of x?
False
Let n(d) = -d**2 + 6*d - 2. Does 3 divide n(4)?
True
Suppose -5*w - 5*i + 2*i = -13, -i + 1 = 0. Let a(s) = -2 - w - 4*s + 3. Is a(-1) even?
False
Let g be (0 + 0)*(-2)/(-4). Let a be 9/15 + 51/15. Let u = a + g. Does 4 divide u?
True
Let p(g) = g**3 + 5*g**2 + 2*g - 2. Is p(-4) a multiple of 6?
True
Let c(f) be the second derivative of -7*f**3/6 + f**2 - 3*f. Is 16 a factor of c(-2)?
True
Is 11 a factor of (16/(-40))/((-1)/90)?
False
Suppose d + 12 = -3*d, -5*h - 2*d = -204. Suppose 2*o = -2*b + h, -45 = -2*b - 0*o + o. Is 12 a factor of b?
False
Let u be 2/((-352)/(-178) + -2). Let c = -53 - u. Is 18 a factor of c?
True
Let h = 7 + -1. Does 23 divide ((-34)/(-3))/(2/h)?
False
Suppose 0 = -u + 3*z + 21, 0 = -0*u + u - 4*z - 24. Is 4 a factor of u?
True
Is (280/(-7))/((-2)/2) a multiple of 9?
False
Let c = -2 + -3. Let l(h) = h**3 + 7*h**2 + 2. Let f(x) = -x**3 - 8*x**2 - 2. Let d(r) = 2*f(r) + 3*l(r). Is d(c) even?
True
Let a be 6/(-30) + (-11)/(-5). Suppose o = -a*o + 9. Is 11 a factor of (-64)/(-6) - (-1)/o?
True
Let j(k) = k**3 - 7*k**2 - 8*k + 10. Suppose -7*f + 3*f = 4*u - 52, 2*u + 9 = 5*f. Is 10 a factor of j(u)?
True
Let z = -3 + -6. Let h = z + 7. Is (0 - h)*(24 + -1) a multiple of 18?
False
Let w(b) = -b**2 + 4*b + 7. Let t be w(5). Suppose 3*n = -t*n + 295. Is 25 a factor of n?
False
Is 9 a factor of ((-5)/(-10))/(1/90)?
True
Let s(o) = 16*o - 6. Is 16 a factor of s(6)?
False
Let g be (-42)/(1 + (0 - 3)). Suppose 3*v - 4*v + 121 = 5*q, -q - v + g = 0. Does 13 divide q?
False
Let y(u) be the third derivative of -u**5/60 + u**4/12 - u**3/6 - 2*u**2. Let z(k) be the first derivative of y(k). Is z(-5) a multiple of 4?
True
Let b(w) = 8*w**2 - 5*w + 14. Is 35 a factor of b(5)?
False
Suppose -r - 2*s = -3*s - 7, 4*s - 8 = -2*r. Suppose 0 = p - r*p - 5*f + 185, -2*p - f = -73. Is p a multiple of 19?
False
Let h be (-150)/(-4)*24/9. Let n = h - 24. Is n a multiple of 22?
False
Let i(q) = q**3 + 4*q**2 - 6*q + 1. Is 3 a factor of i(-5)?
True
Suppose 0 = 4*x - d - 231, 123 = 2*x + 4*d - 3*d. Let z = x - 13. Is z a multiple of 17?
False
Let l be ((-45)/4)/((-1)/(-8)). Is (-12)/9*l/4 a multiple of 15?
True
Let q be 9/(-36) + 63/(-4). Does 8 divide q/(-40) - (-118)/5?
True
Let g = -31 - -19. Is (4/g)/(1/(-81)) a multiple of 27?
True
Let t be 0/(-2) - (-1 - -1). Let w = -53 - -57. Let r = w + t. Is r a multiple of 4?
True
Let i = -121 - -136. Does 2 divide i?
False
Let p(h) = h**3 - 6*h**2 - 7*h + 7. Let m be p(7). Let w(c) = c**3 - 6*c**2 - 7*c - 6. Let r be w(m). Let t(s) = s**2 + 4*s + 5. Is 7 a factor of t(r)?
False
Let j(p) be the first derivative of 3*p**2/2 + p - 4. Is j(6) a multiple of 8?
False
Does 10 divide 43 - 15/10*2?
True
Let h = -76 + 22. Does 12 divide 9/h - (-205)/6?
False
Let h = 220 + -148. Does 24 divide h?
True
Let h(z) = 6*z**2 - 8*z - 7. Let u(q) = 3*q**2 - 4*q - 3. Let d(i) = 4*h(i) - 7*u(i). Is d(5) a multiple of 16?
True
Suppose k - 13 = -2*f, -4*f + k = -4*k + 9. Let q be 50/15 + (-2)/(-3). Suppose -f*v + 2 = -2, 46 = q*r + 2*v. Is r a multiple of 11?
True
Let g(u) = 5*u**2 + 10 - 3*u**2 + 5*u - 15*u. Suppose 4*j - 23 = 5. Is g(j) a multiple of 19?
True
Let d = -40 - -130. Is d a multiple of 18?
True
Suppose 5 = -v + 11. Suppose -v*f + 405 = -f. Is 27 a factor of f?
True
Let j = 8 - -8. Does 8 divide j?
True
Is 8 a factor of (63/6)/(-7)*-18?
False
Suppose -4*f + 4*a + 36 = 0, 1 - 18 = -2*f + 3*a. Suppose -4*q + 4 = 3*m - 7, 0 = -3*q - 4*m + f. Suppose -3 = b, 157 = q*i - 3*b + 40. Does 18 divide i?
True
Let y = 156 - 77. Is 12 a factor of y?
False
Let g(q) = 4*q**3 - 2*q**2 + q - 2. Let l be g(2). Let y(i) = -2*i. Let j be y(-4). Let t = l - j. Does 16 divide t?
True
Let y = 13 - 10. Suppose 2*h + y = -1. Let w = h - -4. Is w a multiple of 2?
True
Suppose 0*f - i = -f + 1, f + i = 7. Suppose -n = f*n - 255. Is 17 a factor of n?
True
Suppose -5*b + 3*h = -44 + 15, -2*b + 20 = 3*h. Doe