ppose -3*h - b = b - 12, -5*b + 15 = 0. Does 5 divide 2784/176 - h/(-11)?
False
Let v be 238/18 + (-10)/45. Suppose v*t = 146 + 335. Is 3 a factor of t?
False
Suppose -2*o + 0*o + 4 = 0. Suppose g + o*k = -9, 4*k = -4*g - 0*k - 36. Let w = g - -19. Does 10 divide w?
True
Let v = 62 - 52. Suppose v*j + 5*j = 3285. Does 20 divide j?
False
Let p(t) = -t**3 + 37*t**2 + 52*t + 56. Does 49 divide p(38)?
True
Let a = 2163 - 1857. Is 9 a factor of a?
True
Suppose s = 5*g - 9*g + 19, -5*g + 24 = s. Is 6 a factor of s/(3 + 22/(-4))*390?
True
Let s(t) = t**2 - 2*t - 142. Is s(-25) a multiple of 41?
True
Let w be ((-10)/2)/((-8)/8). Suppose 0 = x - w*x + 184. Does 12 divide x?
False
Let j be 20/12 - (-2)/6. Let q(y) = -y**2 - y + 2. Let c be q(j). Is 31 a factor of ((-24)/c)/(2/31)?
True
Let b(k) = 2*k**2 - 11*k + 77. Is 31 a factor of b(8)?
False
Suppose 0 = -x - 4*x + 60. Suppose 9*i + 207 = x*i. Is i a multiple of 17?
False
Let i be (-101)/6 - (-2)/(-12). Let g be (0 + 0)/(18 + i). Suppose -92 = -g*p - 4*p. Does 23 divide p?
True
Let a(o) be the first derivative of o**4/4 + 5*o**3 + 5*o**2 + 34*o + 12. Is 18 a factor of a(-14)?
True
Let r(a) = 324 - 6*a - 20*a - 300. Is 30 a factor of r(-6)?
True
Let o(c) = -33*c - 3. Is o(-1) a multiple of 10?
True
Suppose 0 = -4*f + p + 1 + 16, -8 = -f + 4*p. Let a = -2 + f. Suppose s - 2*k + 9 = k, -k = -a*s + 7. Is s a multiple of 6?
True
Suppose 4*f - 9*f = -2*n - 65, 2*n = 3*f - 43. Suppose -69*z - f = -70*z. Is z a multiple of 11?
True
Let m(z) = z**3 - 30*z**2 + 61*z + 5. Is m(28) a multiple of 8?
False
Suppose -3*o - 2*o + 3*j = -19, -o = -5*j - 17. Suppose 140 = -x + o*x. Let r = -52 + x. Is r a multiple of 22?
True
Let a = 513 - 282. Is a a multiple of 13?
False
Suppose -3*n + 2*n = -357. Suppose 6*u - n = -u. Is u a multiple of 16?
False
Let z(n) = 2*n + 13. Let j be z(5). Suppose 2*r + 5 = -2*c + 25, 4*r + j = 5*c. Is 3 a factor of c?
False
Let j(q) = 3*q**2 + 4*q - 1. Let y = -36 - -33. Let m be j(y). Does 4 divide (-53)/(-7) + (-8)/m?
False
Let p(y) be the third derivative of -y**6/120 - y**5/60 + 6*y**3 + 12*y**2. Let c be (-2 - -2)/(2 - 0). Is 18 a factor of p(c)?
True
Suppose -46*r + 148988 = -4744. Is 53 a factor of r?
False
Suppose -4*o + 2*r + 0*r = 8, 0 = 2*r - 8. Suppose o = 5*u - 7 + 37. Is (u/12)/((-1)/102) a multiple of 17?
True
Suppose -21*p - 44 = -23*p. Suppose p = 2*r - 74. Is 6 a factor of r?
True
Suppose -1 = -f, -2*f + 9 = 3*a + f. Is (60 - a)*(-1)/(-2) a multiple of 17?
False
Suppose -l - 8 = -16. Let s(c) = -c**3 + 10*c**2 + 10*c - 1. Does 23 divide s(l)?
True
Let w = 1 + -1. Suppose w = -5*m - 2*c + 7 + 2, -4*m + 5*c - 6 = 0. Suppose 0 = 5*s - 2*j - 21, 8 = s - 2*j - m. Is 3 a factor of s?
True
Let t = -23 + 24. Let r be (-15)/(-5) + t*-8. Is (r/4)/((-1)/20) a multiple of 5?
True
Let l(f) = f**3 - 6*f**2 - 22*f + 23. Let a = -19 + 28. Is l(a) a multiple of 27?
False
Suppose 5*j + 3*s = 895, 5*j - 5*s - 855 = -0*s. Let v be (-45)/(-6)*2/3. Suppose -v*h + 496 = j. Is h a multiple of 30?
False
Suppose -8 = -4*n - 0. Let x be (16/n)/((-14)/21). Let f = 31 + x. Is 7 a factor of f?
False
Let n = -4 + 2. Is 6 a factor of ((-1)/n)/(8/576)?
True
Suppose 0 = 4*l - 518 - 1318. Is 16 a factor of l?
False
Suppose 2*l = 4*u + 312, -u = 9*l - 4*l - 736. Is l a multiple of 9?
False
Suppose -2*p - 175 + 2716 = w, 4*p = 2*w - 5058. Is w a multiple of 7?
False
Let z(f) = -f**2 - 12*f - 17. Let y be z(-10). Let u(v) = v**2 - v - 1. Is 5 a factor of u(y)?
True
Let y(s) = -47*s**3 - s**2 - s - 1. Let m(l) = l**2 + 9*l + 7. Let i be m(-8). Let r be y(i). Is r*1 - 4/(-2) a multiple of 11?
False
Suppose -3*v + 2*r + 150 + 13 = 0, v - 71 = 4*r. Let t = v - 34. Does 12 divide t?
False
Is 49 a factor of 5 - (-330 + -1 + -7)?
True
Let i(l) = -l**3 + 6*l**2 - 5*l. Let c be i(5). Suppose 5*n - 264 = 5*g - 69, -g = 3*n - 101. Suppose c = -6*j + j + n. Is j a multiple of 2?
False
Suppose 0 = -3*q - q + r + 5, 5*q + 5 = -r. Let g(c) be the first derivative of c**3/3 - c**2/2 + 11*c + 9. Is 2 a factor of g(q)?
False
Suppose -8*x = -x + 147. Is 10 a factor of ((-93)/(-9) + 3)/((-7)/x)?
True
Let i = 91 - 91. Is (-5)/((-25)/305) + (i - 1) a multiple of 37?
False
Let d be -3*(3 + ((-1576)/6)/4). Let h = 386 - d. Is 11 a factor of h?
True
Let g(s) = s**3 - 4*s - 3. Let a be g(-2). Suppose -5*p - 4*t = -8 + 33, 2*p + 22 = -4*t. Is a + 24/(1 - p) a multiple of 9?
True
Let m(d) = 4*d**2 - 13*d - 12. Is 11 a factor of m(6)?
False
Suppose -3*p + v - 2235 = -8*p, -1769 = -4*p + 3*v. Does 24 divide p?
False
Let v(j) = j - 4. Let d be v(1). Let n(m) = 2*m**2 - 2*m - 3. Is n(d) a multiple of 21?
True
Let l(i) = i**2 - 2. Let y be l(-2). Suppose 0 = -2*x - 3*w + 155, 0 = 2*x - y*w - 14 - 116. Is 13 a factor of x?
False
Suppose s = -4 - 10. Let t be 2/(-4) + (-189)/s. Does 19 divide 2 - t/(26/(-72))?
True
Let n(b) = -4 + 279*b - 273*b + b**3 + 16 + 11*b**2. Is n(-6) a multiple of 26?
True
Suppose 0 = -2*b - 2*b + 28. Let a be (-2)/4*182/13. Let k = b - a. Is k a multiple of 7?
True
Does 6 divide (-9)/18 + 1138/4?
False
Suppose -3 = 2*n - 9. Does 16 divide n - (4 + 3/(-1) + -126)?
True
Suppose 2*w - 5*l - 41 = -1, -3*l - 108 = -4*w. Let u = w + -26. Suppose 0 = -3*j + u*j - 63. Is j a multiple of 25?
False
Let w(j) = -5*j**2 - 4*j - 3. Let r be w(-1). Does 18 divide (-6)/r*1520/30 - 4?
True
Suppose 0 = -2*u + 1214 - 330. Is 34 a factor of u?
True
Let p(d) = -3*d**2 + 9*d. Let m be p(6). Let q = 41 + -79. Let r = q - m. Does 16 divide r?
True
Suppose 2 = -2*x + 3*x, -5*x = -3*h - 25. Let r = h + 9. Is 22 a factor of 44/(1/r*4)?
True
Let f = 41 + 54. Let m = f - 49. Does 23 divide m?
True
Suppose 4*g - g = 30. Let n be (52/g - 4)*135. Suppose 58 = k - 4*r, -n = -5*k + 2*r + 164. Is k a multiple of 22?
True
Let b(v) = v + 41 + 30 - 6*v**2 + v**3 - 64 + 0*v. Suppose -4*k + 8*k - 9 = -5*y, 18 = k - 4*y. Does 13 divide b(k)?
True
Let l = 4061 - 2207. Does 9 divide l?
True
Suppose 18*f = 9*f + 5148. Is f a multiple of 13?
True
Let i = 104 + -169. Let d = -30 - i. Does 12 divide d?
False
Let z(o) = -14*o**2 - 11*o - 18. Let u(b) = -5*b**2 - 4*b - 6. Suppose 2 = 5*p + 17. Let m(a) = p*z(a) + 8*u(a). Does 21 divide m(4)?
True
Suppose 4*l - 6096 = -4*m, m + 3*l + 486 - 2016 = 0. Is m a multiple of 39?
True
Let z = -7 + 4. Let h be (-208)/(-12) - (-1)/z. Suppose -2*d = h - 137. Is d a multiple of 20?
True
Let f(h) = h**2 + 5*h - 12. Let u be f(-9). Suppose 3*s = s - u. Is 10/((-14)/s + -1) a multiple of 10?
True
Suppose 0 = 5*x, 5*x + 4 = 3*g - 2. Suppose -5*d - 4*a + 1870 = 0, 8*d - 4*d + g*a = 1496. Is d a multiple of 22?
True
Suppose 2*k - 2*y + 38 = -k, -4*k - 51 = -3*y. Let t be ((-18)/(-8))/(k/(-32)). Let n(r) = -r**3 + 6*r**2 + 12*r + 8. Is 22 a factor of n(t)?
False
Let d = 7 + -2. Let b = 1488 + -1485. Suppose 117 = d*f + 3*l, f = -b*l - 0*l + 21. Is 8 a factor of f?
True
Let x be (-4 + 39)*1/1. Let j = x - 18. Suppose -4*t = -j - 23. Does 4 divide t?
False
Is 29 a factor of -6*379/(-14)*(-14)/(-2)?
False
Let f = 331 - 311. Suppose 2*l = 8, -l - 2 = 3*a + 18. Let o = a + f. Is o a multiple of 4?
True
Let r = 80 + -73. Let v(p) be the third derivative of p**6/120 - p**5/10 - 5*p**4/24 - 5*p**3/6 + 3*p**2. Is 7 a factor of v(r)?
False
Suppose 3*a - 6 = 18. Suppose s + p + 9 = 0, -4*p + 2 - a = -s. Does 21 divide (105/(-9) + 4)*s?
False
Let x(b) = -b - 3*b + 2*b + 0*b - 12. Let j be x(-7). Suppose -j*g + 51 = t, 3*g + 2*t = t + 74. Does 4 divide g?
False
Let t be -16*(1 - 2 - 1/1). Let w = t - 14. Is 2 a factor of w?
True
Let p be 146/(-1)*(-9)/(-6)*-1. Let d = -123 + p. Is 8 a factor of d?
True
Suppose -v = -2*n, 0 = -0*v + v + n - 3. Let q(t) = -5 - 12*t - v + 4 - 7. Is 19 a factor of q(-4)?
True
Suppose 646 = 31*o - 284. Does 30 divide o?
True
Suppose c = 6*c + 4*g - 578, -2*g - 110 = -c. Suppose -2*t = 2*m + m - c, 0 = -2*t + 5*m + 146. Does 11 divide t?
False
Is 111 a factor of 0 + 87508/30 - (-35)/525?
False
Let b(q) = 24*q - 7. Let m be b(4). Let y = 179 - m. Is 10 a factor of y?
True
Let z(t) be the first derivative of -t**4/4 + t**2 - 2*t - 13. Let j be z(0). Let x(b) = 15*b**2 - 2*b + 3. Is 18 a factor of x(j)?
False
Does 6 divide (14 + -20)*(-974)/6?
False
Suppose -4*x - 20 = 5*t, 0*t + 4*x + 20 = 4*t. Suppose 3 = -n + 12. S