 4*v, 3*g - 20 = -v. Let f(d) = -3*d + 1. Let u be f(-1). Suppose 27 = g*z - 2*z + 5*l, -4*l = -u*z + 36. Does 4 divide z?
True
Let w(m) = -42*m + 1. Let k be w(-2). Let s be 38 + (-1*6)/(-3). Suppose -5*g = -s - k. Does 14 divide g?
False
Let v be 22/(-4) + 2/4. Let z = -7 - v. Let r = 4 - z. Is 2 a factor of r?
True
Does 9 divide ((-27)/(-6))/((-2)/(-20))?
True
Suppose -1 - 9 = 5*m. Is (-9 - 3)/(m/3) a multiple of 9?
True
Suppose 16 = u - 48. Does 32 divide u?
True
Let b = -3 + 5. Let k be b/6 - 60/(-9). Suppose 0*v - v = -k. Is v a multiple of 7?
True
Suppose 455 - 131 = 3*h + 3*p, -6 = -2*p. Is h a multiple of 35?
True
Suppose 0 = -6*s - 4*s + 240. Does 13 divide s?
False
Suppose g - 4*g + 30 = 0. Does 10 divide g?
True
Let g(u) = -12*u. Let l be g(2). Let h = l + 40. Does 8 divide h?
True
Let p(q) = q + 1. Let c be p(-1). Suppose -2*n + 3*b + 32 = -b, -5*n + 4*b + 110 = c. Is n a multiple of 13?
True
Suppose 0*p + 583 = 4*p + o, 2*p - 296 = -2*o. Suppose j = 4*m + 19, 6*j = j - 5*m + p. Is j a multiple of 9?
True
Suppose 10*o - 1540 = -0*o. Does 22 divide o?
True
Let r(g) = -g**3 + 3*g**2 + 6*g - 6. Let t be r(4). Let n be (-2)/t + 43 - 1. Suppose -4*h + n = -2*u - 77, 74 = 2*h + 2*u. Is 16 a factor of h?
True
Let o(y) = 8*y**3 + y**2 + 4*y - 1. Let t(a) = -17*a**3 - 2*a**2 - 9*a + 2. Let p(j) = -13*o(j) - 6*t(j). Is 4 a factor of p(-2)?
False
Let u(z) = -2*z**2 - 3*z + 2. Let i be u(-4). Let w be (-6)/(-27) + (-1238)/i. Suppose 23 + w = 4*n. Is 22 a factor of n?
False
Let y(f) = -f**3 - 3*f**2 + 3*f - 2. Let t be y(-4). Suppose -6*r + 25 = -r. Suppose -i + r*u - 4 = -4*i, t*i = -4*u + 2. Does 2 divide i?
False
Suppose -2*i = 2*g + 2*g - 86, 0 = 3*g - 3*i - 60. Does 11 divide g?
False
Let o(z) = -z**3 - 3*z**2 + 2*z - 1. Let j(g) be the third derivative of -g**4/24 - 11*g**3/6 + g**2. Let s be j(-7). Is 3 a factor of o(s)?
False
Suppose -37 = -3*w + 56. Suppose 141 - w = 2*q. Let s = -30 + q. Is s a multiple of 14?
False
Suppose -3*u + 16 = u. Suppose h + 4*q = -3*h + 4, 4*h = u*q + 36. Suppose -45 = -h*v + 15. Is v a multiple of 12?
True
Let y(k) = -6*k**3 + k**2. Is 3 a factor of y(-1)?
False
Suppose -2*q + q - 6 = 0. Let s = 24 + -19. Is 12 a factor of 43 + q/(2 - s)?
False
Let i be (0 + 1 - 1)/2. Suppose 3*a + 12 = -i*a. Let r = a + 23. Does 9 divide r?
False
Does 25 divide (-140)/(-3)*3/2?
False
Suppose 3*g + 0*j = 3*j - 384, -3*g - 384 = j. Let s = -76 - g. Is 13 a factor of s?
True
Let i be (-19 - -1)/(2/4). Let w = -12 - i. Is w a multiple of 24?
True
Let b(r) = r**3 + r - 1. Let c be b(2). Let z = c - -18. Suppose 0 = -5*d + z + 43. Does 7 divide d?
True
Suppose 0 = -b - 2*y + 22, 3*b + 4*y = -b + 68. Is b a multiple of 12?
True
Suppose -5*s + 31 = j, -2*j + 2*s + 36 = -s. Let x be (15/(-6) - -2)*18. Let h = j + x. Is 6 a factor of h?
True
Let y = 45 - 15. Let b be (-1 + 1)/(2 + -4). Let x = b + y. Is 13 a factor of x?
False
Let g = 7 + -5. Suppose -3*w + 0*w = 5*d - 248, -g*d + w = -108. Does 14 divide d?
False
Suppose g = 4*r + 108, g = -0*g + r + 108. Let a = g - 64. Is a a multiple of 22?
True
Let h = 242 + -162. Is h a multiple of 20?
True
Suppose 5*k - 356 = -106. Let o = k - 30. Is o a multiple of 5?
True
Does 8 divide 0 - (-14 + 0 + 3)?
False
Suppose -177 = -3*k + 3*u, 5*k - 286 = 5*u - 3*u. Does 28 divide k?
True
Let a = -80 - -140. Is a a multiple of 23?
False
Suppose -4*q + 3 = -5. Let c(f) = 25*f - 2. Does 24 divide c(q)?
True
Suppose -4*k = -2*k. Suppose -r + k*r = 16. Let p = r + 28. Does 12 divide p?
True
Suppose -j = 5*a - 4*j - 208, -2*j - 80 = -2*a. Suppose 0 = -2*s - 2*s + 3*i + 53, -3*s - 2*i + a = 0. Is s a multiple of 11?
False
Let k = 41 + -124. Let i be 0 - k - (-1)/1. Suppose 2*m + 3*o = o + 60, 3*m - 3*o = i. Is 10 a factor of m?
False
Suppose 698 = -0*l - l. Does 13 divide l/(-18) + 4/18?
True
Let r(n) = 1 + n**3 + 9 + 9 - 13*n**2 + 2*n. Let a be r(13). Suppose 4*i - 5 = f, 5*f + 2*i - 40 = a. Is f a multiple of 10?
False
Suppose -5*o + 442 = -2*u - 326, -2*o + 4*u + 304 = 0. Is o a multiple of 12?
False
Let v(g) = 3*g**3 + 3*g**2 - 3*g + 5. Is v(2) a multiple of 14?
False
Let b(s) = -2*s + 6. Let h be b(4). Let r be -5 + 1 + (-5 - h). Let d = 16 - r. Is 10 a factor of d?
False
Let c = 18 - 4. Does 14 divide c?
True
Let v(z) be the third derivative of z**4/24 - 5*z**3/6 - z**2. Let d be v(8). Let t(c) = c**2 - 2*c + 2. Is t(d) a multiple of 3?
False
Suppose 0 = -2*t - 2*t + 12. Let y be (-98)/(-6) - 1/t. Suppose -4*k + y + 4 = 0. Is k a multiple of 2?
False
Let j(y) = 4*y + 9. Let z(i) = -i + 1. Let u(a) = j(a) - 3*z(a). Let h be u(-5). Let n = h + 59. Is 15 a factor of n?
True
Is (-124)/(-6)*54/4 a multiple of 16?
False
Let n be 7/2*8/14. Suppose 2 = -w - 4*v + 46, -w - n*v + 36 = 0. Is w a multiple of 7?
True
Is 7 a factor of (16/(-12))/(1/(-21))?
True
Let j be (1 + 0 - 2)*4. Let y(z) = -z**3 - 3*z**2 + 2*z + 5. Is y(j) a multiple of 10?
False
Let h(s) = -s**3 - 8*s**2 + s + 10. Suppose 0*n - i = -3*n - 20, 4*n + 44 = -3*i. Let l be h(n). Suppose -10 = l*z - 68. Does 13 divide z?
False
Let f = 198 - 80. Does 14 divide f?
False
Suppose 5*w + 2*x = 23, 4*w - 24 = 3*x - 6*x. Suppose 5*j + 55 = 3*q, 4*q - 9 = w*j + 68. Is q a multiple of 10?
True
Suppose -3*w + 4*w - 2 = 0. Suppose 413 = 5*a + 5*h - 292, -276 = -w*a + 4*h. Is 8 a factor of (3/2)/(15/a)?
False
Let m(b) = 40*b**2 + 3*b + 2. Let t be m(-2). Suppose 7*i = 3*i + t. Suppose -4*j = 3*f - 29, 3*f - i = 5*j + 26. Does 15 divide f?
True
Let l(y) = 7*y**3 - 3*y + 2. Let b be l(2). Let v = 84 - b. Suppose -2*a = 4*q - 7*a - v, -8 = -q - 5*a. Is 8 a factor of q?
True
Let w = 1 - -3. Suppose w*f = -0*f - 1104. Is 23 a factor of (2/(-3))/(4/f)?
True
Suppose 12 = 5*a - 2*a, -2*d - 4*a + 16 = 0. Suppose 3*k - 4*v + 25 = 0, 3*v + 2 = -5*k - 1. Is 22 a factor of k + 5 - (-42 - d)?
True
Suppose 0 = -f - 2*m + 3, 5*f - 26 = -5*m - 6. Let y = f + -3. Is 6 a factor of 11 - (-2 + y + 2)?
False
Suppose -q + 3*i - 115 = -2*q, 5*q = -4*i + 575. Does 5 divide q?
True
Let h be (-1956)/(-9) - 6/(-9). Is 7 a factor of 4/22 - h/(-11)?
False
Is 238 + -1*(-1 - -4) a multiple of 47?
True
Suppose 86 = -5*f + 551. Does 19 divide f?
False
Let g(z) = -z**3 + z**2 - 1. Let q(a) = 3*a**3 - 11*a**2 + 13. Let u(d) = 4*g(d) + q(d). Is 5 a factor of u(-7)?
False
Let p = -158 + 272. Is 19 a factor of p?
True
Let x(s) = 3*s**3 - 2*s**2 + 1. Let c be x(1). Suppose c = y + 4*v - 11, 5*y - 2*v = 21. Suppose -y*a = -88 - 77. Is a a multiple of 11?
True
Let z(k) be the first derivative of -k**4/4 - 4*k**3/3 + k**2 - 3*k - 1. Suppose 2 = -3*p - 13. Is z(p) a multiple of 6?
True
Is 15 a factor of 1 + 2 + 1 - -86?
True
Suppose 0 = -2*p + p + 2*n + 11, -5*p + 10 = 5*n. Is p even?
False
Let x = 523 + -285. Is 7 a factor of x?
True
Let n(x) = 4*x**3 + 2*x**2 - 5*x + 4. Is n(2) a multiple of 17?
True
Let s be (-1 - 1) + 2 + 2. Suppose 55 + 9 = s*o. Is 14 a factor of o?
False
Let r = -247 - -638. Is 16 a factor of r?
False
Let a(f) = 36*f**2 - 1. Let g be a(-1). Suppose 3*p + t = -g, -4*t + 5*t + 46 = -4*p. Let l = -1 - p. Is l a multiple of 4?
False
Let b(t) = 24*t - 13. Is b(2) a multiple of 20?
False
Let h = 21 + -129. Let j = 192 + h. Suppose 0 = -d - d + j. Does 18 divide d?
False
Let c = 188 + -107. Let t = c + -56. Suppose 5*i + t = 0, 3*i - 46 = -5*r - 11. Does 6 divide r?
False
Let s = -12 + 21. Suppose -2*h + s = h. Is 2 a factor of h?
False
Let p(r) = 6*r**2. Let w be p(2). Is 15 a factor of (34/2)/(8/w)?
False
Let j(y) = -y**3 - 6*y**2 + y + 6. Let d(a) = -a**3 + 1. Let i be d(2). Is 12 a factor of j(i)?
True
Let i(x) = -15*x + 69. Does 8 divide i(-7)?
False
Is 6 a factor of 2/(5/((-710)/(-4)))?
False
Let h(t) = t**3 - 5*t**2 - 4*t - 8. Let k be h(6). Suppose -5*u = -k*u - 5. Is 5 a factor of u?
True
Suppose -193 = -h - 3*z, 0*z = -z. Is h a multiple of 13?
False
Suppose 10 = -2*w - c - 37, -5*w = 3*c + 116. Let n = 1 - w. Does 26 divide n?
True
Let c(p) = -2*p**2 + 4*p + 13. Let f(b) = 5*b**2 - 9*b - 26. Let q(g) = 7*c(g) + 3*f(g). Let n be -5 + 5 + 3 + -1*3. Is 6 a factor of q(n)?
False
Let p = 407 - 237. Is p a multiple of 34?
True
Let n be (-15)/(2 - 9/3). Suppose -n = 5*u - 0, -4*w + 85 = u. Does 22 divide w?
True
Let n be (-2)/(-17) - (-8)/(-68). Let w = n - -36. Does 18 div