 3 a factor of 2/(-16) - (-1067)/v?
True
Let h be (-4)/(-8)*-2 - 74. Let f = h - -129. Is f a multiple of 18?
True
Let y = -21 + 26. Suppose -5*s + x + 78 = 0, y = s + 2*x - 15. Let w(j) = 9*j + 17. Does 41 divide w(s)?
False
Suppose 0 = -a + 5 - 0. Let s = -6 - -15. Is 9 a factor of (a - 3)*(s - 2)?
False
Suppose 6*f - 8*f = 4. Let u be ((-23)/(-3))/(f/(-6)). Let p = u - 14. Is p a multiple of 3?
True
Suppose -2 = -a + 2*a. Let i(p) be the third derivative of p**5/10 + p**4/12 + p**3/6 + 7*p**2. Is i(a) a multiple of 21?
True
Let j be -194*1/8*-4*7. Is (-11)/(-88) + j/8 a multiple of 17?
True
Let o = 16 - 19. Let s be 3 + o*39/(-9). Is 23 a factor of 623/9 + s/(-72)?
True
Suppose 0 = 6*z - 8*z - 90. Does 29 divide (-6498)/z - 3/(-5)?
True
Is 4 a factor of (-735)/(-9) + (-4)/6?
False
Let w(j) = -j**3 - 5*j**2 + 13*j. Let i be w(-7). Let n(a) = -5*a - 6*a**2 - 2*a**3 + 4 - 2*a**3 + 5*a**3. Is 11 a factor of n(i)?
False
Let h(z) = 0*z**2 - 4*z**2 + 8*z**2 - 7*z. Does 18 divide h(6)?
False
Suppose -7 = l - 4, -158 = -q - 4*l. Is q a multiple of 17?
True
Let m be (-152)/57*3/(-2) - -82. Suppose -4*d - 2*j - 114 = 0, -2*d + 2*j - 60 = -0*d. Let l = d + m. Is l a multiple of 19?
True
Let v(w) = -w**3 + 6*w**2 + 31*w - 7. Does 29 divide v(9)?
True
Is 61 a factor of 15/(-75) - 1332/(-10)?
False
Suppose 22*d + 324 = 6110. Is 28 a factor of d?
False
Let v = 347 + 72. Suppose 4*b = 193 + v. Is b a multiple of 22?
False
Suppose 2*r - 72 = 2. Let h be ((-12)/9)/((-6)/117). Let n = r - h. Does 11 divide n?
True
Suppose -4*q - 96 = -4*k, 0 = -q - 3*q + 3*k - 91. Let p = q - -137. Is p a multiple of 15?
False
Suppose -18*j - 1459 = 2879. Let s = 343 + j. Does 34 divide s?
True
Let i(z) = z**2 + 6*z - 5. Let h be i(-7). Suppose h*x = u - 32, -5*x = -u - 3*u + 131. Suppose 4*b = 3*v + 35, u = 4*b - 0*b - 2*v. Is b even?
True
Suppose -c + 16 + 44 = -4*k, -2*c - 5*k + 68 = 0. Is 11 a factor of 0*(-3 + 2) + c?
True
Let c = 4 + -12. Let j(u) = -u**3 - 8*u**2 + 5. Let x be j(c). Is 10/4*18/x a multiple of 2?
False
Let s be -124*(3*-2 - -3 - -2). Suppose 5*k + s - 384 = 0. Does 4 divide k?
True
Suppose f = 4*p - 16, 3*f + p + 3 = -2*p. Suppose 271*b = 272*b. Is (-224)/(-4) + b + f a multiple of 13?
True
Suppose -5*j = 13 - 3, 2*i + 4 = 3*j. Let p(t) = 11*t + 13. Let w(g) = -11*g - 12. Let q(b) = 5*p(b) + 6*w(b). Is q(i) a multiple of 16?
True
Let u = 988 - 588. Let g = u - 228. Is g a multiple of 29?
False
Let v(k) = -5*k - 4. Let j be v(0). Let n(x) = -7*x + 1. Let l(p) = -21*p + 2. Let y(t) = 6*l(t) - 17*n(t). Is y(j) a multiple of 9?
False
Let m be -4 - (-2124)/8 - (-2)/(-4). Suppose -m = -7*k + 544. Is 23 a factor of k?
True
Suppose 0 = -78*r + 20179 + 124979. Is 33 a factor of r?
False
Let w(u) = u**3 - 5*u**2 - 5*u - 2. Let x be w(6). Suppose -x*r - 9 = -r. Let z(y) = y**3 + 6*y**2 + 8*y + 3. Is 3 a factor of z(r)?
True
Suppose -12*y - 48 = -8*y. Let d(m) = -m**3 - 13*m**2 - 12*m - 1. Let p be d(y). Does 7 divide 4 - p*(27 + 4)?
True
Let c(f) = 5*f - 63. Let j be c(15). Let k(n) = -3 + 0*n + 4 + n + 0. Does 2 divide k(j)?
False
Let w(h) = h**3 + 2*h**2 + 3*h + 2. Let f be w(-1). Suppose -3*m + 5*m - 140 = f. Is m a multiple of 6?
False
Let t be 4/6*45/10. Let d(g) = 2*g**2 + 2*g**2 - t*g**2 + 49 + 16. Is 17 a factor of d(0)?
False
Let y be 38/6 - 4/(-6). Let f(p) = 2*p + 3. Let a be f(y). Let i = 12 + a. Does 20 divide i?
False
Suppose -5*t + 5*x + 2525 = 0, -x + 1479 - 454 = 2*t. Does 30 divide t?
True
Suppose -773 - 862 = -15*b. Let k = -32 + b. Is 11 a factor of k?
True
Let f be (-5 + 7)/((-6)/9). Let o be (f - 0)*(-4)/6. Suppose 2 = t - o*j - 15, -5*j = -4*t + 62. Is t a multiple of 13?
True
Let q = 920 + -135. Is q a multiple of 37?
False
Let q(l) = l**2 - 5*l + 4. Let g be q(3). Let w = g - -22. Suppose -3*f - 8 = -5*o, 5*f = -0*f + w. Does 4 divide o?
True
Let m(y) = -y**3 + 13*y**2 - 10*y - 12. Let j be m(12). Let z be (-3 - j)/(-3) + 0. Is (44/z)/((-4)/(-10)) a multiple of 7?
False
Let q = 653 - 379. Suppose q = 7*v - 573. Is 21 a factor of v?
False
Suppose -76 = -9*a + 203. Does 9 divide a?
False
Let s(f) = 32*f**3 + 2*f**2 - 9*f + 13. Is s(3) a multiple of 19?
False
Suppose -3*p + 0*r = r - 6550, -5*p + r = -10914. Does 103 divide p?
False
Is 3 a factor of 204/21 + 12/42 - 4?
True
Suppose -x - 3*b + 37 = 0, -3*b + 91 + 39 = 4*x. Is x even?
False
Suppose 3*c + 2*x - 698 = 7*x, -468 = -2*c + 2*x. Is c a multiple of 4?
True
Let z be ((-2)/(-4))/(5/(22*15)). Suppose -5*i = t - 274, 0 = -i + 2*t + z + 13. Is 9 a factor of i?
True
Let b be (-2)/(-15) + (49021/105 - 5). Suppose 7*n - 994 - b = 0. Is n a multiple of 52?
True
Let y = 23 + -13. Let w(n) be the third derivative of -n**5/60 + 5*n**4/12 + 2*n**3 + n**2. Is w(y) a multiple of 3?
True
Let j(x) = x**2 - 45*x + 42. Does 32 divide j(-19)?
False
Let c(r) = 4*r**2 - 6*r - 1. Let g be c(2). Suppose 2*a - 647 = -g*p, -a + 0*a - 859 = -4*p. Is 17 a factor of p?
False
Let f(y) = 14*y**2 + 10*y - 11. Is 28 a factor of f(-8)?
False
Suppose -3*a + 279 = -3*h, -5*a + 4*a + 3*h + 97 = 0. Does 4 divide a?
False
Let t(m) = 44*m**2 + 9*m - 8. Does 47 divide t(2)?
False
Suppose -p - p = -2*i, -p - 8 = -5*i. Suppose i*n - 5*n + 114 = 0. Is 7 a factor of n?
False
Let j = -3604 - -5146. Does 63 divide j?
False
Suppose -2*q + 5*m + 108 = -256, -4 = m. Is 43 a factor of q?
True
Suppose 3*u + 3*l = -0*l + 6, -3*l + 11 = 4*u. Suppose 21 = u*x - 2*x. Is 3 a factor of x?
False
Suppose 2*x + 5*m - 541 = 0, 6*m + 233 = x + m. Suppose 4*i + x = 7*i. Does 16 divide i?
False
Suppose -4*w + 4 = 0, 4*w - 326 = -5*q - 122. Let l = 109 - q. Does 8 divide l?
False
Let y = 6 + -3. Suppose 5*c + 3 = -3*f, -y*c + 3 = -5*f - 2. Suppose -3*p + c = -24. Is 3 a factor of p?
False
Suppose 2*v - 52 = -0*p + p, -5*v + 124 = -4*p. Let h be 2/1*(2 - 1). Suppose h*m = 4*m - v. Does 14 divide m?
True
Let m(c) be the second derivative of -3*c**3/2 + c**2/2 + 3*c + 1. Suppose 4*v - 2*d + 15 = -d, 0 = 5*v - 4*d + 27. Does 11 divide m(v)?
False
Let y(m) be the third derivative of -m**6/360 - m**5/12 + m**4/4 + m**3/3 - 3*m**2. Let x(o) be the first derivative of y(o). Is x(-5) a multiple of 31?
True
Let x = -515 - -1259. Is 74 a factor of x?
False
Let r(x) = 3*x - 6*x + 3*x - 5*x - 4. Let d be r(-3). Suppose 0 = 2*k + 5*h - 96, -2*k + 4*h - d = -71. Does 11 divide k?
False
Let v = 255 - 95. Is 20 a factor of v?
True
Let w = 31 - 29. Suppose -w*f = -7 - 5. Is f even?
True
Let m(h) = -h**2 + 10*h - 7. Let t be m(11). Let k = t + 19. Does 7 divide 18 - -3*(k + 0)?
True
Suppose 3*y - 501 = -3*j, 0 = -5*y - 2*j + 246 + 592. Is y a multiple of 8?
True
Let h(n) be the first derivative of -43*n**5/120 - n**4/24 + n**3 - 9. Let f(l) be the third derivative of h(l). Is f(-3) a multiple of 29?
False
Let v(z) = 384*z**3 - 2*z**2 + z - 6. Does 9 divide v(2)?
True
Let n(t) = t**3 + 13*t**2 + 11*t - 8. Let m be n(-12). Suppose 235 = 3*a + o - 2*o, 0 = -m*a - 3*o + 322. Is 30 a factor of a?
False
Suppose 0 = -4*b + 85 - 25. Let q = 31 - b. Is 38 a factor of (24/10)/(q/760)?
True
Let f(n) = -n**2 - 7*n. Let a = -2 + -5. Let d be f(a). Suppose d*p = 4*p - 160. Is p a multiple of 19?
False
Let g(c) = 12*c**2 + 15*c - 27. Is g(-6) a multiple of 45?
True
Let y(i) = 5*i**2 + 6*i - 7. Let l(x) = x**3 - 11*x**2 - 13*x - 19. Let k be l(12). Let u = -28 - k. Is y(u) a multiple of 8?
True
Let b(m) = 140*m**2 - 4*m + 3. Let j be b(1). Let q = j + -13. Does 39 divide q?
False
Suppose 9 = -b + 4*u, 0*b - b - u = -6. Does 44 divide 33/(b/4 + 0)?
True
Let j(q) = 90*q**2 - 24. Does 24 divide j(-4)?
True
Let w(b) = -b**3 + 4*b**2 - 2*b. Let q be w(3). Is 10 a factor of -37*(-4)/4 + q?
True
Is 54/(-15)*(5/(-5) - 94) a multiple of 73?
False
Let y(r) be the first derivative of -1 - 1/2*r**2 - 1/4*r**4 - 2*r + 2/3*r**3. Is y(-3) a multiple of 25?
False
Let g be 807/7 - 2/7. Suppose 5*v - g = 35. Is v a multiple of 10?
True
Suppose 4*b = -5*n - 27, -5*n - 6 = -3*b - 0*b. Let c be (-1020)/(-27) - ((-48)/(-27) + -2). Let g = c + n. Is 6 a factor of g?
False
Let o(p) = 2*p**2 - 2*p + 12. Let x be o(5). Let f = -15 + 19. Suppose x = 2*z + 5*i, -f*z = 3*i - 31 - 73. Does 13 divide z?
True
Suppose -f - 2*f + 990 = 0. Is f a multiple of 12?
False
Let c(y) be the third derivative of y**6/120 -