1 a factor of f(k)?
False
Let z(n) = 198*n**2 + 1. Let w be z(1). Suppose 0 = 5*g + o - w, -2*g - 3*o + 75 = 2*o. Is 8 a factor of g?
True
Let p(w) = w**3 + 16*w**2 + 17*w. Does 26 divide p(-14)?
False
Let g(z) = -4*z. Let r be g(-2). Let q be (4/(-14))/(-1) + (-99)/77. Is 21 a factor of 71 + (-4 - r/q)?
False
Let y be (26/(-6) - -1)*6/(-4). Is 8 a factor of (-4)/20 + (191/y - -1)?
False
Suppose 1659 = 5*b + 3*s - 2182, 3*s = -4*b + 3071. Suppose 5*x = 10*x - b. Is 31 a factor of x?
False
Let h(q) = -q - 12. Let w be h(0). Let a = 0 + w. Is 4 a factor of -4*1/(-4) - a?
False
Suppose -5 = 4*s - 3*r, -s - s - 5 = -r. Let d be (-77)/s - (-6)/(-15). Suppose -y + 19 = -d. Is y a multiple of 17?
True
Suppose 2*h = 4*x - 1626, x - 184 = -4*h + 209. Is x a multiple of 6?
False
Suppose -4*b = -87 + 35. Suppose -6*k = -b*k + 56. Is k a multiple of 4?
True
Suppose 5*v = 2*d - 1963, 9*v = 3*d + 5*v - 2948. Does 114 divide d?
False
Let s be (32/12*-3)/(-2). Suppose 0*n = -4*l + 2*n - 2, 3*n = s*l + 7. Suppose m = -5*j - m + 39, -l*m = -4. Does 7 divide j?
True
Suppose 2*i = 3*i. Suppose i = -s + 5*s + 168. Is ((-56)/s)/(1/21) a multiple of 8?
False
Suppose 4*g = -q + 3*g, 5*q + 4*g = 2. Let u = -2 - -2. Suppose q*x - x - 7 = u. Is x a multiple of 7?
True
Suppose 14*s + 6*s = 10080. Is 24 a factor of s?
True
Suppose 2*z = -3*j + 1585, j - z - 638 + 118 = 0. Does 75 divide j?
True
Let q(v) = -15*v**2 + v + 6. Let r be q(3). Does 19 divide (-3)/((-21)/722) - (-18)/r?
False
Let v be 8 + ((-12)/4 - 0). Suppose -2*i + 1380 = -2*h, 0 = -0*i - i + 5*h + 706. Suppose i = 2*g + v*g. Does 14 divide g?
True
Let d(o) = 118*o - 2. Let s be d(-1). Is (1 - 2)*s*22/33 a multiple of 35?
False
Does 10 divide 4 + 184/10 + 2/(-5)?
False
Let f(u) = u**3 + 13*u**2 + 7*u + 106. Is 19 a factor of f(-7)?
False
Suppose 0 = 19*h - 17*h - 18. Suppose 0 = -7*u + h*u + 4*n - 330, 3*u + 2*n = 507. Does 21 divide u?
False
Suppose f = -6 + 8. Does 2 divide 3 + f - (-1 + 5 + -3)?
True
Suppose 0 = -s + 1 - 0. Suppose s = -3*b + 19. Let u(n) = -n**2 + 8*n - 3. Does 3 divide u(b)?
True
Let d(q) = 9*q**2 + 2*q + 1. Suppose 2*w + 3 = s - 4, 4*s - 4*w = 12. Let o be d(s). Let i(x) = -x**3 + 9*x**2 - 6*x - 1. Does 4 divide i(o)?
False
Suppose -2*q - 5*x - 25 = 0, x + 0*x = q - 5. Suppose 3*u - 9 = q, -3*m + 18 = 2*u + u. Does 3 divide m?
True
Let v = -1871 + 3094. Does 19 divide v?
False
Let b(i) = -i + 9. Let h be b(4). Suppose -2*j - 51 + 316 = h*c, -2*j = c - 245. Is 24 a factor of j?
True
Let c(g) = g + 6*g - 13 - 8*g. Let o be c(10). Let q = -3 - o. Is 7 a factor of q?
False
Suppose 0 = -2*z + 9 - 13. Let u(r) = -22*r - 9. Is 12 a factor of u(z)?
False
Let d(u) = -u**3 + 4*u**2 - u. Let v be d(3). Suppose 0 = t + 5*q - 40, 2*t - 3*q + v*q - 94 = 0. Is t a multiple of 24?
False
Is 1/(-3) - (6159/(-9) - -2) a multiple of 22?
True
Let s(y) = 4*y**2 + 6*y - 2. Let h(f) = 9*f**2 + 11*f - 3. Let b(a) = 2*h(a) - 5*s(a). Let j be (-4)/(8/7) + (-30)/60. Is b(j) a multiple of 4?
True
Suppose -5*m - 610 = 5*j, j + 0*j + 122 = m. Let h = j + 210. Let x = h - 43. Is x a multiple of 15?
True
Suppose z - 174 = -0*z + 3*c, 3*c = 4*z - 651. Suppose i + l - 6*l - z = 0, 0 = i + 4*l - 132. Does 36 divide i?
True
Let c = 19 + -19. Suppose c = -3*p - 15, 3*p = -u - 0*u + 46. Is 8 a factor of u?
False
Does 21 divide (-63)/147 - (8577/(-21) + 1)?
False
Let n = 74 + 1142. Is n a multiple of 38?
True
Suppose 3*s + 2*n - 3 = 0, 2 = -0*s + 2*s + 2*n. Does 11 divide 0 + 3 - (-41)/s?
True
Let j be 12/48 - 38/(-8). Let f = 15 - j. Suppose 14*h - f*h = 72. Is 15 a factor of h?
False
Let q = 6 + -1. Suppose -5*r = q*i - 55, -r = -3*i - 2*r + 43. Does 19 divide ((-69)/4)/((-4)/i)?
False
Suppose -c + 69 = -54. Let f = c - -40. Is 28 a factor of f?
False
Let x(u) = -3*u - 12. Let m be x(-6). Suppose 0 = m*q - 5*q - 132. Is q a multiple of 22?
True
Let b = 646 + -220. Is b a multiple of 71?
True
Let t = -720 - -1757. Is 17 a factor of t?
True
Let f(d) = d**3 - 8*d**2 + 35*d - 159. Does 13 divide f(7)?
False
Let c(i) = 7*i + 27. Suppose 6*k - 21 = 33. Is c(k) a multiple of 10?
True
Suppose 103766 - 29978 = 129*q. Does 17 divide q?
False
Let s = 16 - 14. Suppose 5*h + 28 = a + s*h, 4*a - 4*h - 112 = 0. Is a a multiple of 4?
True
Let o(t) = -37*t + 2. Let w(y) = 18*y - 1. Let m(f) = 2*o(f) + 5*w(f). Let n be m(-1). Let k = 42 + n. Is k a multiple of 11?
False
Suppose 4*z - 9*z = -6*z. Suppose 4*h = 0, 3*h + z*h - 288 = -4*u. Is u a multiple of 9?
True
Let t(a) = a**3 + 10*a**2 + 9*a + 2. Let l be t(-9). Suppose 0 = l*s - 1 - 17. Is 3 a factor of s?
True
Let a = 36 + -27. Suppose 2*b + b + a = 0. Is (2/(-3))/(b/54) a multiple of 4?
True
Suppose -8*i + 10*i = -28. Let w = -23 - i. Let c = -2 - w. Does 4 divide c?
False
Let j(i) = i**3 + 10*i**2 - 9*i - 6. Is 12 a factor of j(-7)?
True
Let j be 5/10 - (-2253)/6. Suppose -3*a + 44 = -j. Is a a multiple of 28?
True
Let a(v) = v**3 + 7*v**2 + 2*v + 19. Let o be a(-7). Is -2*(-38 - (-10 + o)) a multiple of 11?
True
Suppose 5*a + 0*a = 25, 4*a = -3*t + 20. Suppose -2*k - 4*k + 162 = t. Is 27 a factor of k?
True
Let l(p) = 2*p**2 - 30*p + 12. Let h be l(15). Let z = 38 + h. Is z a multiple of 50?
True
Suppose 136*d = 133*d + 216. Let o(a) = -48*a**2 - 2*a + 1. Let x be o(1). Let l = x + d. Does 13 divide l?
False
Let w be 0/(-19) - (-12 + (2 - 0)). Suppose -d = -x + 19, 0 = 5*d + 15 + w. Is x even?
True
Suppose 751 = -5*y + 4066. Is y a multiple of 13?
True
Let u = -100 + 412. Is 12 a factor of u?
True
Does 34 divide (-13)/((-130)/2760) + 3?
False
Let h = -13 - -18. Suppose 0 = h*p - 211 - 339. Does 11 divide p?
True
Suppose -25*o + 30286 = 536. Does 35 divide o?
True
Let d = 135 + 24. Let k be (3 + -8)*1*-1. Suppose 36 = k*p - d. Is 13 a factor of p?
True
Let j be (-9)/3*(-6)/9. Suppose 0*v = -5*v + 5*l - 35, 4*l - 16 = -j*v. Let i = 39 - v. Is 16 a factor of i?
False
Let o = -80 + 269. Is 10 a factor of o?
False
Suppose 5*c - 15 + 0 = 0. Suppose 5*g + 30 + 47 = 2*a, -c*g = 5*a - 146. Is 26 a factor of a?
False
Suppose 7 = 4*v + n, 2 = 3*v + 3*n - 10. Let j be v/(-3)*(-63)/7. Suppose -127 = -j*m + 59. Does 11 divide m?
False
Is ((-90)/(-35))/((-5)/(-385)) a multiple of 9?
True
Suppose 547 = -18*d + 2473. Is d a multiple of 22?
False
Let k(r) = -r**2 - 8*r + 25. Let o be k(-11). Let d(f) be the third derivative of -f**4/6 - 3*f**3/2 + 2*f**2. Is d(o) a multiple of 23?
True
Suppose -2*c + 20 = -7*c. Is 1680/44 - c/(-22) a multiple of 38?
True
Suppose 8*y = 129 + 399. Let s = y - 58. Is 8 a factor of s?
True
Suppose -1 = 2*k + 5. Let v be (2/k)/((-6)/45). Is (-3)/v - 73/(-5) a multiple of 7?
True
Let g = -29 - -69. Suppose 5*s + g = 10. Does 19 divide 152/3 - s/(-9)?
False
Let i(p) = -4*p + 31. Let t be i(7). Suppose 0 = t*q - 260 + 20. Is 12 a factor of q?
False
Let q(c) = -2 + 3*c**3 - 4 + 8*c + 3*c**2 + 7*c**2 - c**3. Let b be q(-6). Let z = -84 - b. Is 14 a factor of z?
True
Does 38 divide -338*(2/8)/((-13)/52)?
False
Let m(c) = c**3 + 15*c**2 + 14*c + 15. Let s be m(-14). Is 23 a factor of 5/(s/(-12)) - -70?
False
Let f = -66 - 91. Let r = 68 - f. Does 67 divide r?
False
Suppose 0 = 46*c - 12*c - 4250. Is c a multiple of 28?
False
Suppose 0 = 2*g + g + t + 471, 0 = 5*g + 3*t + 781. Is (g/(-6))/((-3)/(-27)) a multiple of 51?
False
Suppose 270 = y + 4. Is 23 a factor of y?
False
Let q(l) = -l**2 + 5*l - 3. Let w be q(3). Let c(g) be the second derivative of -g**5/20 + g**4/4 + g**3/3 + 3*g**2/2 - 83*g. Is 3 a factor of c(w)?
True
Let u = -112 - -122. Let v(d) = d**2 - 2*d + 39. Is v(u) a multiple of 17?
True
Let m be (-756)/(-81)*66/4. Let o = m + -40. Is o a multiple of 19?
True
Suppose -o + 59 = 4*w, 0 = w + 2*w - 2*o - 36. Let k = 8 - w. Let u(j) = -j**3 - 5*j**2 + j - 10. Is u(k) a multiple of 10?
True
Let i(s) = -s - 1. Let r(h) = 8*h + 18. Let x(l) = -3*i(l) - r(l). Suppose 24 = -5*p - 16. Does 24 divide x(p)?
False
Let j be 51/(-12) + (-1)/(-4). Is (4 - (-90)/j)*-4 a multiple of 10?
False
Suppose 4*o - c + 6 = -3*c, -c = -1. Let q(x) = -13*x - 6. Does 4 divide q(o)?
True
Suppose -5*c + 10 = -10. Suppose -255 = -7*l + c*l. Is l a multiple of 17?
True
Suppose -2*z - 229 = -3*m, -4*z = -z - 3. Is m a multiple of 6?
False
Is 30/20 + 190/4 a multiple of 14?
False
Let m be (12 - 1)*