(-54))/((-2)/582)?
False
Let z(s) = s**3 - 5*s**2 + 4*s - 8. Suppose 4*l - 17 = 3. Is 12 a factor of z(l)?
True
Let s = 1220 + -548. Does 59 divide s?
False
Suppose 0 = -5*z - 3*z + 264. Suppose h - m = 2*m + z, 4*h - m - 77 = 0. Does 10 divide h?
False
Suppose -3*f = -7*f. Suppose -3*s - 19 = -6*n + n, f = n - 4*s - 14. Suppose -2*j - n*j + 80 = 0. Does 10 divide j?
True
Let v = -75 - -81. Is 34 a factor of (10/v)/((-8)/(-816))?
True
Let g = 9 + -12. Is 43 + g - (1 - 0) a multiple of 17?
False
Let k = -58 - -56. Let r(m) = 21*m**2 + m - 4. Is 26 a factor of r(k)?
True
Let p = 3 + 0. Let m(c) = c**3 - 2*c**2 - 5*c + 2. Let z be m(p). Is 30 a factor of (-2)/z*2486/11?
False
Let n = -319 - -339. Is 3 a factor of n?
False
Let v = -8 + 8. Let b be v/1 + (9 - 6). Suppose -2*p = b*p - 50. Is 3 a factor of p?
False
Let x be ((-15)/(-10))/((-3)/(-8)). Suppose 2*k - 105 = -5*b, -x*k + 177 = -0*k - b. Is k a multiple of 15?
True
Suppose -21*d + 23*d = 46. Let p = 20 - d. Let k = 11 - p. Does 14 divide k?
True
Let l = -730 + 1445. Does 11 divide l?
True
Suppose 5*a = 2*y + 13, -5 + 1 = -4*y. Suppose a*o = -o. Suppose -4*h - 2*l = -282, o*h = -h - l + 69. Is 18 a factor of h?
True
Suppose 4*y + f = -4, -2*y + f + 2 = -4*y. Let q(d) = 58*d - 59*d - 2*d**2 + 27*d**2. Is 13 a factor of q(y)?
True
Suppose 5*i + 3*j - 2704 = 0, i + 4*j - 1076 = -i. Suppose 32 = -5*l + i. Is 17 a factor of l?
True
Is ((-95270)/(-50) - -6) + (-2)/5 a multiple of 147?
True
Let d(c) = 290*c**3 - c**2 + 1. Let g be d(-1). Does 44 divide (0 + g - -5)/(-1)?
False
Let r = 39 - -21. Suppose 5*m = 2*q - 18 - r, 4*q + 4*m = 100. Suppose -4*p + q - 1 = 0. Does 7 divide p?
True
Is 25/(-4)*(-104 - -84) a multiple of 3?
False
Let b(h) = 4 + 5 + 14*h + 10*h. Let p be b(7). Let v = p - 114. Is 21 a factor of v?
True
Let d(v) = v**3 + v**2 + v + 16. Let q = -14 + 19. Does 22 divide d(q)?
False
Let d be (-8)/6*(-45)/30. Suppose 2*x + d*x = -768. Is 4 a factor of ((-1)/(-3))/((-4)/x)?
True
Suppose 2*q - 17 = -5. Suppose q = 2*o + 4. Is 5 a factor of o + 3 + (-22)/(-2)?
True
Let m be 0/(-1) + -2 - -4. Suppose 0*n = m*h + n - 58, 5*n + 61 = 3*h. Is h a multiple of 3?
True
Suppose -g - 5*t + 57 = 0, 0 = 2*g + 3*t - 15 - 64. Suppose g + 83 = l. Is l a multiple of 23?
True
Let t(x) be the second derivative of x**3/2 - 15*x**2/2 + 3*x. Is 9 a factor of t(8)?
True
Let o(n) be the second derivative of 5*n**3/2 + n - 10. Let z(q) = -q**2 + 6*q - 5. Let r be z(4). Is 15 a factor of o(r)?
True
Let o(h) = -5*h + 13. Let v be o(0). Let c(p) = p + 12. Is c(v) even?
False
Suppose 13*d = -13*d + 780. Is d a multiple of 2?
True
Let u = 4232 - 2120. Is 88 a factor of u?
True
Suppose -2*y = 3*s - 473, -5*s + 795 = -6*y + 8*y. Is s a multiple of 16?
False
Suppose -49 - 28 = -s. Let c = -17 + s. Is c a multiple of 5?
True
Suppose 2*h + 1055 = 3*f - 2099, -3*h = 2*f - 2094. Is f a multiple of 42?
True
Suppose 0 = -2*k - 8, 0 = -y + 3*y + 5*k + 24. Is 9 a factor of (331/2 - -3) + y/(-4)?
False
Let l(f) = 54*f**3 + f - 1. Let k(j) = -2*j + 3. Let v be k(1). Is 6 a factor of l(v)?
True
Let m(x) = 9 - 4 + 10*x + 0*x - x. Let l = -34 + 37. Is 16 a factor of m(l)?
True
Let i(y) = -23*y - 1. Let u be i(2). Let a = u - -70. Let h = a - -1. Is 13 a factor of h?
False
Let u(y) = y - 6. Suppose 0 = 2*k + 5*l - 13, -5*k + 3*l + 2*l = -15. Let z be u(k). Is 180/6 + z + 0 a multiple of 19?
False
Let v = 2237 + -1502. Is v a multiple of 34?
False
Let c(f) = -f**2 + 3*f + 4. Let p be c(3). Suppose -6*k + 9 = -3*k, -102 = -p*x - 2*k. Is 24 a factor of x?
True
Let a(q) = -q + 6. Let x be (1 - 5/2)*-4. Let c be a(x). Suppose 5*s + 2*k - 379 = 0, -2*s + k - 37 + 185 = c. Is s a multiple of 17?
False
Suppose -5*v - 4*j = -4977, -3*v - 88*j = -86*j - 2987. Is 47 a factor of v?
False
Suppose -5*u + 3*l - 4*l + 2565 = 0, -4*u + 2052 = 5*l. Is 15 a factor of u?
False
Suppose 3*f - 5*g = -79, -5*f - 96 = -g - 1. Let s = -9 - f. Does 2 divide s?
False
Does 56 divide 4062 + (6 - -10) + (1 - 0)?
False
Let f be ((-1)/(-2))/((-4)/8). Let t(x) = -63*x - 2. Does 8 divide t(f)?
False
Suppose -p - 3*z + 70 = 0, 0 = -p + 5*p - 4*z - 360. Is 11 a factor of p?
False
Let g(r) = r - 4. Let n be g(6). Let v be n*(-2)/(16/(-20)). Suppose -89 = -5*p + 3*u, 101 = 5*p - 2*u + v*u. Is p a multiple of 19?
True
Suppose -2*l = q - 9, 5 = -3*q + 2. Suppose 295 = -0*a + l*a. Suppose -2*w + 48 = 4*m, 5*w + 5*m - 56 = a. Is w a multiple of 11?
True
Does 93 divide ((-72)/(-90))/((-6)/(-8565))?
False
Let c(y) = -y**2 + 1. Let l be c(1). Suppose a - 8 = -2*i, 2*i = -l*a + 3*a - 64. Is a a multiple of 18?
True
Let w = 12 + 8. Suppose 0 = -f + 2*f - w. Suppose -5*b = i - 15, -5*b + f + 35 = 2*i. Does 14 divide i?
False
Suppose 0 = -1079*l + 1094*l - 38040. Is l a multiple of 44?
False
Does 3 divide 51 + -1*6/(-12)*-2?
False
Let c = 7 + 11. Suppose c + 24 = v. Let u = v + -22. Is 10 a factor of u?
True
Let n = 390 - 370. Is n even?
True
Let c(l) = -7*l - 2. Let h be c(-5). Let q = 25 - h. Is 15 + 6/q*-4 a multiple of 7?
False
Let n = -6 + 789. Does 5 divide n?
False
Suppose o + 2*o = 12. Suppose 3*l = o*g + 131 + 16, -2*g + 129 = 3*l. Is l a multiple of 5?
True
Suppose 25*d - 18682 = 12318. Is d a multiple of 35?
False
Suppose -135 = 2*n + 3*p - 484, 0 = 4*n + 4*p - 688. Let i = n + -109. Does 22 divide i?
False
Suppose 0 = 2*r + 35 - 7. Let z = -11 - r. Suppose -z*d + 36 = 6. Does 9 divide d?
False
Let n(c) = -c**3 - 14*c**2 - 12*c + 13. Let u be n(-13). Suppose -10*s + 12*s = u. Let m(o) = o**3 - o + 45. Is 17 a factor of m(s)?
False
Let z = -8 + 12. Suppose z*p + 8 + 140 = 0. Let a = 93 + p. Is 28 a factor of a?
True
Let n(v) = 7*v**3 + 11*v**2 + 3*v + 20. Let p(m) = -15*m**3 - 23*m**2 - 5*m - 41. Let z(t) = -13*n(t) - 6*p(t). Is 21 a factor of z(-7)?
True
Suppose 0 = -v + n + 2, -2*v - 1 = -n - 6. Let f(u) = 1 - 2 - u**2 + 0 + 3 + 5*u. Is 6 a factor of f(v)?
False
Let f = -168 + 646. Is f a multiple of 19?
False
Suppose m - l - 20 = 0, -9*m + 84 = -4*m - l. Let c = m + -1. Is c a multiple of 9?
False
Let g(k) = -k + 1. Suppose -4*z + 10 = -2. Let x be (-108)/8*2/z. Is g(x) a multiple of 5?
True
Suppose c - 1215 = -4*z, 13 - 38 = 5*c. Does 17 divide z?
False
Let t(y) = -2*y**3 - 8*y**2 - 8*y + 2. Suppose 2*a + 4*f = 8, f + 9 + 3 = -4*a. Is 18 a factor of t(a)?
False
Suppose 0 = 4*m + 2 + 2. Let h be (2 - 2)/m - 9. Is (-4 + 3 + 0)*h a multiple of 4?
False
Let b = 549 - 192. Is b a multiple of 12?
False
Let n(u) = u**3 + 25*u**2 + 63*u + 30. Is 12 a factor of n(-22)?
True
Suppose 9 = -2*s + 13. Suppose -5*i = -3*q + 7*q - 119, 4*i - q = 112. Suppose -3*d + i = -s*d. Is 9 a factor of d?
True
Suppose -29 - 22 = -3*t. Let r = 19 - t. Is 1/(r*(-1)/(-34)) a multiple of 9?
False
Let i = 245 - 199. Is i a multiple of 44?
False
Let i(p) = p**3 - 5*p**2 - 2*p - 2. Let s(u) = -u**2 - u. Let a(t) = i(t) - 3*s(t). Does 15 divide a(5)?
False
Let p = -7 - -9. Suppose 0 = a - 4*y - 85, 3*a + 2*y = -p*a + 425. Suppose 3*x + 16 - 1 = 0, -a = -5*v + 5*x. Is 4 a factor of v?
True
Is ((-30)/(-50))/(7/5250) a multiple of 61?
False
Suppose 3*l - 5 = 2*l, 11 = -3*g + 4*l. Suppose -4*n + g*n = 0. Suppose -3*i + w + 105 + 25 = n, w + 88 = 2*i. Is i a multiple of 21?
True
Let f = 193 + -109. Suppose 0 = 17*c - 13*c - f. Is c a multiple of 7?
True
Suppose -46*g = -164*g + 251930. Is 35 a factor of g?
True
Let g be 11 - 13 - 2*-2. Suppose -g*p = -z + 10, 0*p = -5*z - 4*p + 8. Suppose -2*x = 2*l - 114, 2*x + 53 = l + z*x. Is l a multiple of 16?
False
Suppose 2*q = d + 324, 4*q = -7*d + 6*d + 660. Is 24 a factor of q?
False
Let y = -1699 + 3226. Suppose 0 = 4*t + 3*j - 2*j + y, 5*t = 4*j - 1893. Is 19 a factor of 10/(-40) + t/(-4)?
True
Suppose -2*v = -18*v + 1008. Is 7 a factor of v?
True
Suppose -3*x - 389 = -4*x - y, -2*x + 5*y + 785 = 0. Is x a multiple of 47?
False
Let l be 7/5 + (-6)/15. Suppose -3*w + 0 = -3. Does 13 divide (l/w - -13)/1?
False
Suppose -y + 923 = q + 1, -3*q + y + 2762 = 0. Is q a multiple of 51?
False
Does 9 divide ((-10)/30)/1 - 1736/(-6)?
False
Let x be 74/14 - 8/28. Let n = 5 - x. Suppose n = -k + 4*d - 12, -2*k - 19 = -5*k + d. Does 8 divide k?
True
Let f(b) = -2*b - 9*b**2 - 7*b - 12 + 0*b**3 - b**3. Let j be f(-8). Is j + (4 - 1) + 14 a multiple of 4?
False
Does 11 div