8)/f)/((-4)/(-6))?
False
Suppose -2*b + 6*b - 200 = 0. Suppose -8 = 3*r - b. Is (r/4)/((-3)/(-6)) a multiple of 5?
False
Is 1 - ((-13598)/208 + (-6)/(-16)) even?
True
Is 26 a factor of 735 - (9 + 6/(-3))?
True
Let d(n) = 69*n - 69*n - 2 - 2*n**2 - 8*n**3 + 3*n**2. Let p be d(-2). Suppose 2*u + 0*u = p. Does 6 divide u?
False
Is 46 a factor of 2*2 + 27231/29?
False
Let q = 8 - 6. Suppose 3*c = -a + 28 - 1, a = q*c + 47. Is 11 a factor of a?
False
Let o(y) = y**2 - 9*y - 2. Let c be o(9). Let a be ((-1)/c)/((-13)/1768). Let d = a + 113. Does 10 divide d?
False
Let d(y) = -6*y - 20. Let r be 23/(-3) + (-3)/9. Is 4 a factor of d(r)?
True
Let q(h) = 2*h**3 + 3*h**2 - 10*h + 9. Let y(m) = -2*m + 10. Let d be y(3). Does 34 divide q(d)?
False
Suppose 10010 = -204*f + 215*f. Is f a multiple of 35?
True
Let k(i) = -i**2 + 3*i - 2. Let l be k(3). Let p(f) = -17*f**3 + f**2 + 3*f + 2. Is p(l) a multiple of 21?
False
Let y(d) be the third derivative of d**4/24 + d**3/3 + 14*d**2. Does 6 divide y(4)?
True
Let k(t) = -13*t - 1. Let a be k(-2). Suppose -2*i = q - 13, q - a = -5*i + i. Is 5 a factor of i?
False
Let z be (-2)/15 - (-186)/45. Suppose 2*c - z*n + 5 - 35 = 0, 40 = 4*c - 4*n. Suppose -3*y - 4*o + 42 = 0, -3*y + 39 = c*o - 2*o. Is y a multiple of 10?
True
Let n(m) = 10 + m**3 - 15*m**3 - 15*m + 5*m**3 + 10*m**2. Let s(o) = -5*o**3 + 5*o**2 - 8*o + 5. Let z(t) = 6*n(t) - 11*s(t). Is z(-4) a multiple of 11?
False
Suppose -560 = -q - 6*m + m, q + 3*m = 558. Does 31 divide q?
False
Suppose 0 = -a - 1, 11*t - 13*t + 337 = -a. Is t a multiple of 14?
True
Let s be (-92)/(-16) + 3/(-4). Suppose 4*j - s*j = 0. Suppose 0 = d - 3*u - 6, -5*d + 4*u + 63 = -j*u. Is d a multiple of 14?
False
Let v = 251 + -154. Suppose j = -7*s + 2*s + 107, j - 5*s - v = 0. Is 28 a factor of j?
False
Let p = 47 + -47. Suppose -6*z + z + 465 = p. Does 31 divide z?
True
Suppose i + 2*i = 5*v - 45, -2*v = 5*i + 75. Is 17 a factor of (-2 - 1)*170/i?
True
Let k be (2 - 5)/(-1) + -3. Suppose 2*l + 2*p = 8, -3*l = p - 8 - k. Suppose 4*j = -20, l*j - j = 4*h - 321. Does 21 divide h?
False
Is 3*-527*(44 - 45) a multiple of 31?
True
Does 33 divide (587 - (-30)/5) + 5 + 2?
False
Let d(c) = 8*c**2 - 6*c. Suppose 3*z + 3 = 0, -2 = x + 2*z + 4. Does 19 divide d(x)?
True
Let a = -22 - -26. Suppose -a*d - 4 = -m, 0*d - 2*m = -4*d - 8. Suppose d = -c + 9 - 4, 3*c + 5 = o. Is o a multiple of 10?
True
Suppose 32*p + i - 1387 = 28*p, -5*p - 2*i = -1736. Is 13 a factor of p?
False
Let x(p) = p**3 + 11*p**2 + 12*p + 5. Let y = -96 + 87. Is x(y) a multiple of 13?
False
Let p(z) = 5*z**2 - 101*z + 12. Does 76 divide p(-8)?
True
Suppose -5*o = -3*f + 5*f - 533, 2*o = -4*f + 210. Does 6 divide o?
False
Let l(j) = -2*j**2 + 37*j - 13. Let r be l(18). Let g(w) = -w**2 - 1. Let q(t) = 4*t**2 - 3*t + 2. Let i(v) = -2*g(v) + q(v). Is 35 a factor of i(r)?
False
Does 12 divide ((-40)/15 + 0)*-78?
False
Let t be 2/(-5) - (1 - (-35)/(-25)). Suppose t = 4*y + l - 223, l = 4*y - 4*l - 229. Is y a multiple of 7?
True
Suppose -1189 = 2*h - 5589. Does 50 divide h?
True
Let z(l) = 0*l**2 + 0 + 18*l - l**2 + 25. Let a be z(12). Suppose -4*q + 249 = -5*i, 3*q - a = q - 3*i. Does 14 divide q?
True
Suppose 3*g + 4*j = -18, 2*g - j + 6 = 5. Let f be -44 + (1 - g) + -1. Let i = -12 - f. Does 15 divide i?
True
Suppose -150 = -2*l + 526. Is 13 a factor of l?
True
Suppose 0 = -6*q - 359 + 1031. Does 28 divide q?
True
Let x be 15/((2 - 0) + -1). Suppose 0*m = 5*m - x. Is 3 a factor of m?
True
Suppose n - 9 = -2*n. Suppose 273 = n*t - 3*w, 0*w - 3*w = -2*t + 185. Suppose 0 = -5*r + r + t. Does 11 divide r?
True
Let w(y) = -7*y + 6*y + 4*y**3 + 3*y**2 - 4*y**2 + 2*y + 2. Does 16 divide w(2)?
True
Let z = 13 + -19. Let s(d) = -d**2 - 12*d - 12. Is 6 a factor of s(z)?
True
Let q be (60 - 3)*(-496)/(-24). Is (q/57)/(2/15) a multiple of 56?
False
Let o(s) = 14*s**2 - s - 2. Suppose l = -2*l - 3*x + 3, -3*l + 3*x = 9. Does 3 divide o(l)?
False
Let w(a) = 274*a**2 - 6*a - 5. Does 13 divide w(-1)?
False
Let f = 23 - 19. Suppose -2*j - f*d = -4*j + 338, -4*j + 624 = 5*d. Does 9 divide j?
False
Suppose 7 = -z + 4. Let g = z - -9. Suppose 2*m = u - g*u + 17, 4*m = u + 45. Is 11 a factor of m?
True
Does 33 divide (-110 + 74)*220/(-3)?
True
Suppose -p - 3*b = -175, 2*p - 3*b = -7*b + 360. Suppose -63 + p = i. Is i a multiple of 17?
False
Let r(o) = -2*o**2 - 3. Let p(d) = -2*d**2 - d - 2. Let t(g) = -3*p(g) + 2*r(g). Let m be t(-3). Suppose 0 = 3*q - 60 + m. Is 9 a factor of q?
False
Let a(n) = n**3 - 6*n**2 + 2*n - 2. Let z be a(6). Suppose -y = 4*y + z. Is 54 + (1 - y)/(-1) a multiple of 25?
False
Suppose 3478 + 622 = 20*d. Is 5 a factor of d?
True
Suppose -2*i - 6*i = 8. Let s be ((-27)/(-3))/3 - i. Suppose s*f - f = 111. Is f a multiple of 10?
False
Suppose 2*b = 2*y - 742, -4*b + 2*b - 372 = -y. Is 13 a factor of y?
False
Suppose 0 = -9*n + 292 + 23. Does 28 divide n?
False
Does 11 divide (69 - -1054) + 2*5?
True
Suppose 5*h - 3 = -t, 5*h + 3*t + 2*t = 15. Suppose -3*q + 13 = -17. Suppose -d + h*d = -q. Is d a multiple of 5?
True
Suppose 0 = -2*w - w. Suppose -3*j + 0*j - 6 = w, 0 = 3*k + 4*j - 748. Suppose 0*t = 6*t - k. Is t a multiple of 21?
True
Let k = 5 - 0. Suppose -2*n + k*c - c + 114 = 0, -5*n - 3*c + 285 = 0. Suppose 7*h - 4*h - n = 0. Does 6 divide h?
False
Let f(c) = -c + 8. Let j be f(3). Suppose 4*y + 2*u - 464 = 4*u, j*u = 4*y - 464. Is 27 a factor of y?
False
Let u(c) = 245*c**2 + c. Let l be u(1). Let a = l - 102. Does 19 divide a?
False
Let v(k) = -27*k + 5. Let a(i) = -13*i + 2. Let j(x) = -11*a(x) + 6*v(x). Let b be (27/(-36))/((-1)/(-4)). Is j(b) a multiple of 13?
True
Let x(b) = -2*b - 2. Let f be x(-1). Suppose f = -n - 4*d + 7*d + 10, 0 = 3*n + 5*d - 100. Does 3 divide n?
False
Let d = -1 + 4. Suppose 75 = 5*l - d*n + 9, 3*l - 4*n - 44 = 0. Does 4 divide l?
True
Suppose 4 = 2*f + 8. Is 50/4*(f - (-2 - 2)) a multiple of 7?
False
Suppose 4*c + 10*c = 4186. Let z = -202 + c. Is 6 a factor of z?
False
Let t = 27 - 77. Let s = t - -222. Does 32 divide s?
False
Let a = 11 + -11. Suppose -5*u + a = -15. Let y(l) = 7*l**2 - l + 2. Is 15 a factor of y(u)?
False
Let i = -20 - -51. Let f = -12 + i. Let a = f - 10. Is a a multiple of 4?
False
Let h(v) = -2*v**3 + 8*v**2 + 10*v + 19. Is 56 a factor of h(-6)?
False
Let n = -213 - -380. Let w = 251 - n. Is w a multiple of 21?
True
Let p = -199 + 340. Suppose 669 = 5*v + 2*n + n, 3*n = v - p. Does 15 divide v?
True
Let k(q) = 8*q + 63. Let u be k(-8). Let t(n) = -n**2 - 2*n. Let f be t(-2). Does 15 divide 1/(u/(-26)) - f?
False
Suppose -46 + 1382 = 4*s. Is s a multiple of 20?
False
Let m(g) = 3*g**2 - 2*g + 10. Let l be m(9). Suppose -3*z = 37 - l. Is z a multiple of 6?
True
Let a(c) = -6*c - 15. Is a(-12) a multiple of 3?
True
Suppose 0*x - x - 27 = 5*g, 2 = -g. Suppose 20*c - 4*c - 48 = 0. Is 7 a factor of (x/c)/(4/(-12))?
False
Suppose -12*c - 25 = -13*c. Is c a multiple of 25?
True
Suppose w + 12 = -2*t, 3*t + 13 = 2*w - w. Let q = 73 + w. Let f = q + -7. Is 14 a factor of f?
False
Let i(w) = -3*w - 14. Let h be i(-6). Suppose -450 = -t - h*t. Is t a multiple of 23?
False
Let v(g) = -2*g**2 + 13*g + 12. Let k(f) = -f**2 + 7*f + 6. Let y(o) = 13*k(o) - 6*v(o). Suppose 111 = 14*q - 43. Is y(q) a multiple of 14?
True
Suppose 0*q - 9*q + 756 = 0. Let t = q - 48. Does 18 divide t?
True
Let o(g) = -g**3 - 10*g**2 + 27*g + 13. Is 9 a factor of o(-14)?
False
Let k(w) = -3*w - 28. Let c be k(-8). Is 4 a factor of 38/c*-4*(-6)/(-4)?
False
Let p = 19 + -16. Suppose 1092 - 3 = p*k. Is k a multiple of 43?
False
Let v = 129 + 58. Is 17 a factor of v?
True
Suppose 3*f - 649 - 296 = 0. Does 24 divide f/(-28)*32/(-12)?
False
Let r = -23 - -38. Let l = 15 - r. Suppose 4*g - h - 344 = -53, 2*g + 3*h - 163 = l. Is g a multiple of 27?
False
Let p = 107 - 16. Suppose 93*r - 132 = p*r. Is 26 a factor of r?
False
Let a(k) be the third derivative of k**8/20160 + k**7/1260 - k**6/360 - k**5/12 - 6*k**2. Let f(s) be the third derivative of a(s). Is f(-6) a multiple of 10?
True
Let r(k) = -4*k**3 + 4*k**2 - 13*k + 6. Suppose 7*l - 5*l = -4. Let o(q) = q**3 - q**2 + 4*q - 2. Let a(x) = l*r(x) - 7*o(x). Is 7 a factor of a(3)?
True
Let v(y) = -y - 2. Let n be v(-5). Suppose n*g + 35 = 695. Suppose -40 