*-4*-25?
True
Let l be (-78)/18 + 4/(-6). Is 25/l*(-2 - -1) a multiple of 2?
False
Let c(d) = d**3 + 2*d**2 - 4*d - 1. Let l be c(-3). Let h(w) = -w - 4. Let y be h(-7). Suppose 5*r = l*z + 41, -r + 12 + y = 3*z. Is r a multiple of 9?
True
Let q(x) = x**2 - x - 1. Let s = -31 + 57. Let w be 4/14 + s/7. Is 11 a factor of q(w)?
True
Let x = 15 + 33. Is x a multiple of 16?
True
Suppose -i + 148 = 3*a, -5*a + 335 = -3*i + 65. Is 11 a factor of (a - 4)*(0 - -1)?
False
Suppose 25 = 10*j - 5*j. Does 3 divide j?
False
Let l be (1 - 0)*-1 - -5. Let b(f) = 2*f**3 - 7*f**2 + 4*f + 8. Let z be b(4). Suppose 0*w - z = -l*w. Is 6 a factor of w?
False
Let i(o) be the first derivative of 2*o**3/3 - 9*o**2/2 + 9*o - 1. Is i(6) a multiple of 9?
True
Let o be (51/6)/((-3)/(-30)). Let x = o + -58. Is 14 a factor of x?
False
Suppose -5*b = -2*b - 15, -5*o + 465 = 5*b. Is o a multiple of 41?
False
Let m = 70 + 4. Does 31 divide m?
False
Let t = 33 + 0. Is 11 a factor of t?
True
Suppose -36 = -17*u + 16*u. Does 3 divide u?
True
Let b = -1 + -1. Does 7 divide 225/33 + b/(-11)?
True
Let y = 386 + -139. Does 13 divide y?
True
Let a = 271 + -190. Does 20 divide a?
False
Suppose 5*o + n - 4*n - 73 = 0, -4*o + 3*n + 59 = 0. Does 4 divide o?
False
Let h = -78 + 143. Is 29 a factor of h?
False
Let g be (-1)/3*1*-3. Let d = 9 - 18. Is 3 a factor of g/2*(-1 - d)?
False
Suppose -5*x + 97 = -5*t - 23, -5*x + 100 = -4*t. Suppose 2*n - 9 = -5*b, 2*n - b = 3*n - 3. Let v = n - t. Is v a multiple of 8?
False
Let m(h) = h**2 + 115. Let s be m(0). Suppose s = -j + 6*j. Is 9 a factor of j?
False
Suppose 4*u - 15 = -d, -2*u = 4*d + d - 3. Suppose 0*z + u*z = 20. Suppose -25 = -z*q, -3*w - 4 + 3 = -5*q. Does 8 divide w?
True
Is 1/8*4*156 a multiple of 26?
True
Let c(h) = 6*h. Let u be 12/(-16) + 57/12. Is c(u) a multiple of 12?
True
Let w(n) = -12*n**2 + 2*n + 2. Let d be w(-2). Let a = d - -95. Does 18 divide a?
False
Suppose 11 = -2*a + 3. Is 14 a factor of 7/(2/a - -1)?
True
Let u(m) = -m**2 + 3. Let q be u(-3). Let r(w) = -w**2 - 7*w + 2. Let z be r(q). Let j = z - 5. Is j a multiple of 2?
False
Suppose 8*l = -132 + 580. Does 6 divide l?
False
Let m be 1/((-2)/12 + 0). Let g(j) = -4*j - 6. Let a(c) = 5*c + 7. Let r(u) = m*g(u) - 5*a(u). Is r(-3) even?
True
Suppose 0 = -l - 3*q + 70, -128 = l - 3*l - 3*q. Let g = l - 4. Does 14 divide g?
False
Suppose 5*w = b + 85, w + 0*b - 17 = 2*b. Suppose 0 = 2*l - 4*y + 16, 0 = 4*l - l + y + w. Let x = 8 + l. Is x even?
True
Suppose -5*h = 4*b - 580, 3*h + b = 100 + 241. Does 25 divide h?
False
Let z(r) = -91*r - 1. Is z(-1) a multiple of 10?
True
Let d(w) = w**3 - 7*w**2 - 7*w - 1. Let o be d(7). Let k = o + 100. Suppose -2*p + k = 2*t, 5*t - 5*p = t + 91. Is 14 a factor of t?
False
Suppose -2*h + 18 = 4. Let f = h - 5. Suppose f*u + 2*i = 26, i + 3*i = 2*u - 44. Does 10 divide u?
False
Let d(r) = -r**3 - 2*r**2 + 2*r + 167. Is 20 a factor of d(0)?
False
Let o = -5 + 5. Suppose o*w - 5*w - 330 = 0. Let z = -44 - w. Is z a multiple of 11?
True
Let r(f) = 2*f**2 + 4*f. Let v = 14 + -22. Let c = -12 - v. Is 6 a factor of r(c)?
False
Let k be 9 + -1 - (6 - 3). Let m(l) = l**2 + l - 1. Is m(k) a multiple of 18?
False
Is (6/4 + 3)*24/9 a multiple of 6?
True
Is 38 a factor of (0 - 6/(-3)) + 166?
False
Suppose -2*u = 3*u - 20. Let o(a) = 2*a**2 - 5*a + 5. Let q be o(u). Suppose -39 = -4*h + q. Does 7 divide h?
True
Let g(c) = 19*c - 12. Is g(3) even?
False
Suppose -6*d = -d. Suppose 68 = u - d*u. Is 21 a factor of u?
False
Suppose -4*l + 960 = 128. Suppose 5*t + 4*p = l, 5*t - 2*p + p - 223 = 0. Is t a multiple of 22?
True
Let y(z) be the first derivative of -z**4/4 - 2*z**3 - z**2/2 - z + 1. Let f be y(-6). Suppose -55 = a - 6*a + 5*t, 1 = -a + f*t. Does 7 divide a?
True
Let a be (2/6)/((-2)/(-24)). Suppose -5*i + 111 = 4*b, -a*b - 2*i - i = -121. Is b a multiple of 9?
False
Let d = 10 + -4. Let p = 32 + d. Does 9 divide p?
False
Let h = 8 + -5. Suppose 2*k + h*k - 36 = -4*n, 3*k = 5*n + 29. Let t = 26 - k. Is 11 a factor of t?
False
Suppose 576 = 4*o - 304. Suppose -2*z - 216 = -5*z. Suppose -o + z = -4*j. Is 14 a factor of j?
False
Suppose -r - 3 - 8 = 0. Let m = r - -25. Is 6 a factor of m?
False
Is 13 a factor of ((-32)/(-12) + -2)/(2/237)?
False
Let i = -4 + 9. Suppose -q - q + 9 = l, -i*l = 2*q - 13. Is ((-3)/(-9))/(l/9) even?
False
Suppose -4*z = -176 - 160. Does 32 divide z?
False
Suppose -q + 135 = 4*q. Does 11 divide q?
False
Let x = 72 - 23. Is 13 a factor of x?
False
Let o = 276 + -151. Is 17 a factor of o?
False
Suppose 0 = -d + 4*d + 3*a + 3, -5*a = 4*d. Suppose -3*p = -9, -v + 0*p + 14 = -2*p. Let w = d + v. Is w a multiple of 6?
False
Suppose 0 = 5*x + 3*x - 544. Is x a multiple of 12?
False
Let d(l) = -1 + 5*l**2 + 3*l + l**2 + 3*l**2 - 5*l**2. Is d(2) a multiple of 7?
True
Let h(t) be the second derivative of -t + 0 - 11/6*t**3 - 5/2*t**2. Is h(-4) a multiple of 16?
False
Let d = 115 - 60. Let g be (0 + -6)/((-10)/5). Suppose -g*c = -d - 41. Does 22 divide c?
False
Let g be -2*71/(-6)*-3. Let r = -48 - g. Let v = -14 + r. Does 9 divide v?
True
Let z be (-2)/(-7) - 46/14. Let b be -4 + (-9)/z - 2. Is (b*5)/(-3) + -3 even?
True
Is 13 a factor of 1/4*2*-13*-2?
True
Let t(s) = -s**2 + 18*s + 20. Is t(18) a multiple of 5?
True
Let a(j) = 12*j**2 + 2*j + 3. Let f be a(3). Suppose 39 - f = -3*o. Is o a multiple of 19?
False
Let l(g) = -g**2 - 3*g - 9. Let j be l(-6). Let f = j - -63. Suppose 3*n = 3*w + f, -2*w = -6*w + 8. Is n a multiple of 6?
False
Suppose 3*g = 2*v + 3*v - 94, 5*g - 70 = -3*v. Suppose -2*b = -12 - v. Is 13 a factor of b?
False
Let h = -92 + 66. Let p = 59 + h. Is p a multiple of 11?
True
Let j(w) = w**3 - 3*w**2 + w. Suppose 10 = 5*a - 5. Let o be j(a). Suppose 0 = -o*c + c - u + 36, 4*u + 77 = 5*c. Is c a multiple of 17?
True
Let f be (-1 + -5)/(6/(-16)). Suppose 4*i = -f, -i = -2*l + 4*i + 76. Does 18 divide l?
False
Suppose 0 = 2*o - 7*o + 3*i + 15, -i - 5 = 0. Suppose o = 4*g - 5*q + 55, 20 = -g - 2*q - 3*q. Let m = -8 - g. Does 6 divide m?
False
Let v(x) = -29*x - 2. Let t be v(-2). Suppose -4*i - t = -6*i. Is 11 a factor of i?
False
Suppose 0 = -0*w + 2*w - 22. Let q be (1 + -3 - -4) + w. Is 4 a factor of (q - 2) + (-2 - -1)?
False
Let k(z) = z**3 + 6*z**2 - 8*z - 9. Let g be k(-7). Let n = 4 - g. Is n a multiple of 3?
True
Let r = -4 + 3. Let f be (6/4)/(r/(-12)). Does 13 divide (-6)/(-27) + 464/f?
True
Let c = 7 + -51. Let f = c + 79. Is f a multiple of 17?
False
Let g = 11 - 19. Is 40 + (-16)/(g/2) a multiple of 22?
True
Let f(p) be the first derivative of p**2/2 + 77*p + 11. Is 24 a factor of f(0)?
False
Let i = 66 - 24. Is i a multiple of 6?
True
Suppose -4*g + 84 = -64. Suppose -4*r - 5*x + 5 = r, 0 = 4*r - 2*x - 22. Suppose -y + r*c + 12 = 0, -g = -5*c - 12. Does 12 divide y?
False
Let j = -10 - -23. Let z be 0*(1 - -1)/(-4). Suppose -l = -z*l - j. Is l a multiple of 9?
False
Suppose -5*k - 3*w = -1675, 0*w = -5*w - 25. Does 26 divide k?
True
Let c be (2 - (127 + -3)) + -3. Let s = c + 189. Suppose 0 = -4*i - s + 256. Is i a multiple of 16?
True
Suppose -5*j + 4*d + 74 = 6, -5*j - 5*d = -95. Suppose 14 = 2*z + 2*n, -2*z - 4*n + j = z. Is 12 a factor of z?
True
Suppose 0 = -3*x + 8 + 1. Suppose x*g - 80 = g. Is 20 a factor of g?
True
Let m be (-46)/3*3/2. Is 9 a factor of 3 - (0 + 1)*m?
False
Suppose 0 = -w - 2, 3*y - 2*w - w - 99 = 0. Suppose -y - 65 = -3*l. Does 16 divide l?
True
Is 3 a factor of (7/(-21))/(2/(-48))?
False
Let f(z) = -z**2 + 12*z - 6. Let x be f(5). Suppose 0 = -3*d - d + o + 19, -4*d = o - x. Does 6 divide d?
True
Suppose 5*i - 295 = -4*o, -o + 61 = -3*i - 0. Suppose 0*p + p = 4*r - 134, -2*r + 2*p = -o. Is r a multiple of 12?
False
Suppose 5*x - 144 = -24. Suppose 2*z = 4*z - x. Is 3 a factor of z?
True
Let a be 1/3*21 + 4. Suppose -a*y + 64 = -9*y. Is 16 a factor of y?
True
Let p(a) = -3*a**2 - 17*a - 3. Let j(i) = 2*i**2 + 9*i + 2. Let b(s) = 5*j(s) + 3*p(s). Let g be b(8). Let q = g - 4. Is 13 a factor of q?
True
Let t = -3 - -5. Let w be 74 - (-6)/(-2 + 5). Suppose w = 3*q + s, -t*s + 22 + 52 = 3*q. Is 13 a factor of q?
True
Suppose -23 = -5*z + a - 0*a, 4*a = 2*z - 2. Suppose -3 = -3*m - 2*p + 20, 0 = -2*m + z*p + 28. Is 6 a factor of m?
False
Is (15/6)/((-1)/(-32)) a multiple o