f 4?
True
Let h(b) = b**3 + 14*b**2 - 2*b - 12. Let y = 11 - 7. Suppose -y*z = 2*j + 39 + 19, -j - 1 = 0. Does 16 divide h(z)?
True
Suppose 2*x + 1178 = 40*x. Is x a multiple of 2?
False
Let d = 193 + -127. Is 22 a factor of -5*d/(-21)*7/1?
True
Let s(a) = a + 1. Let k(j) = 16*j - 10. Let q(t) = -k(t) - 3*s(t). Does 9 divide q(-2)?
True
Suppose 0 = -3*d - 3*m - 2*m + 4050, 0 = -4*d + m + 5377. Is 13 a factor of d?
False
Let o = -464 - -798. Is 9 a factor of o?
False
Let r = 176 - -353. Let m = r + -360. Let a = m + -119. Is a a multiple of 13?
False
Let b(t) = -9*t - 8. Let y(q) = -q**3 - q**2 + 2*q - 2. Let j be y(2). Is b(j) a multiple of 41?
True
Let v(u) = u - 2. Let h be v(5). Suppose -3*x + 4 = -2*r - h*r, -x + 4*r - 1 = 0. Suppose 3*a = a - x*s + 1, a - 3 = -s. Is a a multiple of 3?
False
Let o be (8/14)/((-4)/(-28)). Suppose -3*g + b = -92, o*g - 87 = -b + 45. Suppose 4*p = -2*t + 80, -3*t + g = -3*p + 5*p. Does 9 divide p?
False
Suppose 5*u + 1751 = 3*g + 6*u, 0 = 5*g - 4*u - 2941. Is g a multiple of 58?
False
Let w = -253 - -804. Is 30 a factor of w?
False
Suppose 0 = 10*x - 3*x - 1729. Suppose 0 = -p + 5*p + 20, -2*j + p + x = 0. Is j a multiple of 11?
True
Let n be (62/(-5) - 1) + 9/(-15). Is 18 a factor of 2/(-7) - ((-5280)/n)/(-4)?
False
Let x = -5739 + 9963. Is 44 a factor of x?
True
Let k be (4 - 0)/(2/47). Suppose 53 = v + 3*u, 4*v - 2*v + 3*u = k. Let o = v + -15. Is o a multiple of 13?
True
Let r(c) = -2 + c - 2*c - c**2 + 2*c**2. Is r(4) a multiple of 4?
False
Let c(k) = -23*k - 2. Does 13 divide c(-21)?
True
Suppose 27*s + 36*s - 160272 = 0. Does 24 divide s?
True
Suppose -301 + 77 = 2*i - 4*p, 4*i + p + 484 = 0. Is 6 a factor of 11/((-55)/i)*1?
True
Suppose -o = 3*j - 2*o - 562, 3*j - 5*o - 554 = 0. Let f = -92 + j. Is f a multiple of 16?
True
Suppose -b = -4*o + 11, 0 = 4*o - 3*b + b - 14. Let k be (0 + o/(-6))*-12. Suppose k*z - 100 = -16. Is 21 a factor of z?
True
Let h(a) = -5*a + 12. Let n be h(-5). Let c = -11 + n. Does 8 divide c?
False
Let p(j) = -18 + 22 + 3*j**3 + 6*j**2 - 2*j**3 - 7*j. Let b be p(-7). Is b/(-8) + (-81)/(-6) a multiple of 9?
False
Let i(a) = a**3 - 16*a**2 - 15*a + 28. Does 14 divide i(18)?
True
Suppose -16*f + 21*f = -5, -5*r + 5*f + 2150 = 0. Does 39 divide r?
True
Suppose -12*c = 574 - 3346. Does 21 divide c?
True
Suppose 2*s + 4*o - 52 = 0, 5*o + 91 = 2*s + 2*s. Suppose u + b + 4*b = s, 5*u = -5*b + 140. Let z = -14 + u. Is z a multiple of 15?
True
Suppose -98 = -2*o + 5*k - 4*k, 0 = -o + 4*k + 35. Is o a multiple of 17?
True
Does 9 divide ((-1413)/5)/((-29)/145)?
True
Let w(y) = y + 2. Let v(i) = 2*i + 9. Let b(c) = -v(c) + 3*w(c). Suppose -z + 31 = -5*k, -z - 2*k - k - 1 = 0. Is 3 a factor of b(z)?
False
Let o be -2*3*(-2)/(-4). Let n(p) be the third derivative of -p**6/120 - p**5/60 + p**4/12 - p**3/2 - p**2. Does 3 divide n(o)?
True
Let i be -2 + -1 + 1 - 16. Let s be (i/12)/(1/(-18)). Let f = s + -13. Does 12 divide f?
False
Suppose 5*q - 15 = 5. Let v(r) = -r**3 - 2*r**2 + 5*r - 3. Let x be v(-4). Let l = x - q. Does 2 divide l?
False
Let t be ((-12)/15)/(3/(-15)). Suppose -d - 5 = t*d. Is 4*d/(-4)*38 a multiple of 14?
False
Let a(p) = -2*p**2 - 4*p**2 + 8*p - p - 6 + p**3. Let j be a(5). Suppose 0 = -j*u + 96 + 68. Does 31 divide u?
False
Let l(o) = o**2 + 7*o + 19. Let z be l(-5). Suppose 0 = -m + 35 - z. Is m a multiple of 13?
True
Let x be (-15)/(-45) + 424/6. Let b = 108 - x. Suppose -b = -r - 13. Is 12 a factor of r?
True
Let w(j) = j**3 + 10*j**2 + 6*j + 10. Let o be w(-9). Let g = -24 + o. Does 12 divide g?
False
Suppose 0 = -3*y + 73 - 304. Let l(p) = -p**2 - 6*p + 6. Let m be l(4). Let v = m - y. Does 16 divide v?
False
Let c = 852 + -424. Is c a multiple of 18?
False
Let g = 42 - 21. Let x(j) = -2*j. Let i be x(-2). Suppose -i*a + g = -a. Does 3 divide a?
False
Let b(y) = y - 10. Let c be b(8). Let a = -5 - c. Is a/(206/(-50) - -4) a multiple of 25?
True
Suppose -4*q + 59*o + 2596 = 55*o, 2*q - 5*o - 1295 = 0. Does 37 divide q?
False
Suppose c - 4*w - 7 = -19, -3*w = -3*c. Suppose -5*o = -2*x - 20, 5*o - c = 4*o. Suppose x = -2*p + p + 79. Is 21 a factor of p?
False
Is 4/8 + 3374/4 + 8 a multiple of 12?
True
Let u = -5 - -10. Suppose -u*w + 112 = -d - 123, 0 = 2*w - d - 97. Does 11 divide w?
False
Suppose u = -3*l + 1554, -7838 = -5*u - 7*l + 9*l. Does 43 divide u?
False
Let o(f) = 4*f - f - f + 9. Let w(b) = -b**2 - 5*b + 7. Let a be w(-5). Is 10 a factor of o(a)?
False
Let w(c) = 6*c**2 + 46*c + 521. Is w(-20) a multiple of 17?
False
Let o(k) = 3*k**3 - k**2 - k - 2. Suppose -5*q = -17 + 7. Suppose q = 2*n - 2. Does 8 divide o(n)?
True
Suppose -5*j - n - 7 = 0, -j - 3*n + n - 5 = 0. Let v = j - -10. Does 5 divide v?
False
Suppose 13*a + 175 = 45. Let y(g) = -g**3 - 10*g**2 - 8*g - 21. Does 38 divide y(a)?
False
Let b = -55428 - -16443. Is 57 a factor of b/(-105) - (-4)/(-14)?
False
Let g = 4327 - 1726. Is 9 a factor of g?
True
Does 40 divide (2 + 111 - -7)/((-1)/(-2))?
True
Let w(r) = 662*r**2 - 3*r + 1. Is 55 a factor of w(1)?
True
Suppose 3*f = -2*i + 363, -2*f + 2*i = -f - 129. Does 3 divide f?
True
Let c(z) = -2*z**3 + 5*z - 2. Let y(h) = 2*h**3 - 6*h + 2. Let p(r) = -r**3 + 5*r**2 + 5*r. Let m be p(6). Let n(w) = m*y(w) - 7*c(w). Is 10 a factor of n(2)?
True
Suppose -15*w + 152 - 32 = 0. Suppose s = -0 + 4. Suppose 28 = 3*c + d, c - 32 + w = -s*d. Does 3 divide c?
False
Let h = 512 + 144. Is h a multiple of 16?
True
Does 2 divide 1*(0 - -206 - 7) - 0?
False
Let q(m) = -2*m**3 - 2*m**2 + 24*m + 47. Does 7 divide q(-2)?
True
Let p(z) = -3*z + 45. Let u be p(19). Is (6*3)/((-18)/u) a multiple of 4?
True
Suppose -725 + 2701 = 4*m. Is m a multiple of 26?
True
Let v = -266 - -199. Suppose 2*j + 0*j + 242 = 0. Let a = v - j. Does 21 divide a?
False
Let q = 7 + -7. Let g(y) = -3 - 2*y + q + 4*y - 13. Is 10 a factor of g(13)?
True
Let g(u) = 6*u**3 - 2*u**2 - 2*u - 4. Suppose -v + 3*v = 3*s - 5, 0 = -5*s - 4*v + 23. Is 15 a factor of g(s)?
False
Let j be (-2 - 4/1)*(-13)/(-26). Does 31 divide 550/6 - 4/j?
True
Let y(d) = -d**2 + 1. Let g(m) = m**2 - 7*m + 8. Let w be g(4). Let q(v) = 3*v**2 + v - 9. Let k(p) = w*y(p) - q(p). Is k(4) a multiple of 4?
False
Is 22 a factor of (-2574)/(-65)*150/9?
True
Let f(g) = 2*g**2 - g - 6. Let x be 2/(-14) - (-108)/(-28). Does 10 divide f(x)?
True
Let p be (-6)/(-9) + 1*(-16)/6. Is (-2 + (p - -1))*-6 a multiple of 14?
False
Does 18 divide (158/10)/(28/(-10) + 3)?
False
Let y(v) = -88*v - 337. Is 2 a factor of y(-4)?
False
Let m = 369 + -1. Is m a multiple of 26?
False
Let n(k) be the third derivative of k**6/120 + 7*k**5/60 - k**4/3 + k**3/3 + k**2. Let q be n(-8). Let u(y) = 21*y - 3. Is 13 a factor of u(q)?
True
Let b = 25 + -31. Let t(u) = 2*u**2 + 9*u - 8. Is t(b) a multiple of 10?
True
Let i(d) = 3*d**3 + 3*d**2 + 4*d - 5. Let a be i(-4). Let c = -69 - a. Is c a multiple of 32?
True
Suppose 1 + 26 = 2*r - 3*d, 0 = 4*r - 5*d - 53. Suppose -3*x + r = -0*x. Is (5 - 25)*(-6)/x a multiple of 10?
True
Suppose -l + w = 4*w - 6, l + 2*w = 5. Suppose 211 = l*v - 2*j, -2*j = -1 - 1. Suppose 431 = 5*b + v. Does 24 divide b?
True
Suppose 2*h = -5*i + 42, 2*h + 4*i = 3*h - 34. Let y = 57 + -57. Suppose y*c + h = c. Is 9 a factor of c?
False
Let i(j) be the second derivative of -10*j**3/3 + 2*j**2 - 9*j. Let b(d) = 2*d - 1. Let q be b(-1). Is i(q) a multiple of 16?
True
Suppose -123 - 705 = -6*u. Is u a multiple of 2?
True
Let k(n) = -n**2 - 16*n + 15. Let o be k(-17). Let v(r) = -4*r**2 - 5*r - 4. Let f be v(o). Is (8/f)/((-1)/10) a multiple of 5?
False
Let o = 41 + -38. Suppose -x + 349 = 3*g - 2*x, o*g + x = 341. Does 11 divide g?
False
Suppose -17 = 4*o - 3*v, -2*v + 1 - 3 = 0. Let p be 23 - (2 + 5 - 4). Let j = p + o. Is j a multiple of 7?
False
Suppose 0 = 6*n - n + 25. Let q(t) = -2*t + 6. Is q(n) a multiple of 8?
True
Let s = -69 + 84. Suppose 10*r - s*r + 195 = 0. Does 23 divide r?
False
Suppose -5*b - 1025 - 171 = -i, -i - b + 1196 = 0. Is i a multiple of 13?
True
Suppose 12*j - j - 3564 = 0. Does 39 divide j?
False
Suppose 90*c - 94*c + 10320 = 0. Is 129 a factor of c?
True
Suppose 4*v + 10 = -j, j - 5*v - 32 = -6. Is (-4 - (-284)/2)/(j/8) a multiple of 14?
False
Suppose 0*a + 3*a = 2*o - 14, -a - 5*o - 16 = 0. Is ((-9)/a + -1)/((-3)/