4*f**2 + f - 9. Is k(m) a multiple of 16?
False
Let x be (2 + 4)*(0 - (-2)/4). Suppose 0 = x*i - 27 - 117. Is i a multiple of 4?
True
Let l(s) = 9*s**2 - 19*s + 25. Does 10 divide l(13)?
False
Suppose 162554 = -1941*t + 1955*t. Is t a multiple of 17?
True
Is 35 a factor of 66/11 - (-3890)/2*4?
False
Suppose -i = -2, -k + 0*k - 2*i = 12. Let p be (-2360)/(-14) + k/28. Suppose -4*m + 5*q = -p - 77, m - 2*q - 62 = 0. Is 12 a factor of m?
True
Let j(z) be the third derivative of z**6/120 + 3*z**5/10 + 3*z**4/4 + 7*z**3/3 + 39*z**2. Let o be j(-17). Does 54 divide (-12)/1*(o + -28)?
False
Let c = 7739 + 1919. Suppose 11*b = 33*b - c. Is b a multiple of 31?
False
Let h(k) = k**3 - 9*k**2 + 9*k - 9. Let s be h(8). Let t be 8 + (1/s - -2). Let n = t + 19. Is n a multiple of 6?
False
Let s(c) = 9*c + 9. Suppose -7*q - 17 = m - 2*q, -18 = -2*m + 3*q. Let g be s(m). Is 19 a factor of (0 + -3)*3/(g/(-380))?
True
Let p(h) = h**3 - 14*h**2 + 11*h + 27. Let k be p(13). Let j be k/(-2)*19/((-38)/52). Suppose -16*m = -j*m - 855. Is m a multiple of 16?
False
Suppose -3*n - 148 = -5*g + 2238, 474 = g + n. Is g a multiple of 2?
True
Let d = 15230 - 2445. Does 8 divide d?
False
Let g(b) = 6*b**2 + 31*b - 164. Is g(29) a multiple of 18?
False
Let b(h) = h**2 + 11*h - 10*h + 8*h - 32. Let g be b(-12). Suppose -g*a = 0, -3*y = -2*a + 4*a - 255. Is 17 a factor of y?
True
Let l(s) = s - 6. Let t be l(8). Let j(x) = -2*x**3 - x - 4*x + t - 7*x**2 + 2*x. Is 11 a factor of j(-5)?
False
Let i = 965 - 965. Suppose -1178 - 651 = -5*p - x, i = p - x - 361. Is 5 a factor of p?
True
Suppose -g + 2*t + 418 = 3*t, -5*t = -20. Let y = g - -300. Is y a multiple of 17?
True
Let q = 1773 - 423. Suppose 0 = -7*t + 125 - q. Let u = -64 - t. Is u a multiple of 22?
False
Let q be (-2)/(2 + (-928)/466). Let v = q + 420. Suppose 544 = 191*x - v*x. Is x a multiple of 12?
False
Let w(u) = u**2 - 5*u - 17. Let r be w(8). Let f(o) = 2*o**2 - 9*o - 25. Let s be f(r). Does 32 divide (-67)/((-35)/s - -3)?
False
Let o be -1 - ((-39)/12 + 2)*4. Suppose -4*a - a - 856 = -o*k, 0 = 3*a + 12. Let f = -97 + k. Is f a multiple of 13?
False
Suppose -4*u - 6 = 5*d, -5*u - 11 = 9. Suppose 117 = d*p - 9. Is p even?
False
Let z(t) = -12*t + 1. Let u = 1 + -11. Is 11 a factor of z(u)?
True
Let z be 4/(-14)*14*-1. Suppose 4*t = -4*c - 0*t + 1128, 1110 = z*c - 5*t. Suppose -12*l + c = -68. Is 10 a factor of l?
False
Suppose -16*r = -21*r + 1085. Is 40 a factor of ((-186)/r)/((-1)/7) - -994?
True
Suppose 3*z - 1308 = 5*z + 4*n, 3*z + 5*n + 1964 = 0. Let m = z - -884. Is m a multiple of 33?
False
Let o be 345/30 - 1/2. Suppose o*z - 5*z = 1764. Is (-8)/10 + z/30 even?
False
Let i = 10837 + -6594. Is i a multiple of 17?
False
Let v(c) = 19*c**2 + 29*c + 78. Does 32 divide v(-3)?
False
Let l be (7 + -1 - 5) + -209. Is 23 a factor of (1768/l)/(2/(-116))?
False
Let o be (5 + -2)/((-12)/(-16)). Suppose o*x + 760 = -4*x. Let z = x - -167. Is 36 a factor of z?
True
Suppose -8*m - 2975 = -11327. Does 12 divide m?
True
Let p = 1486 + 1364. Is 19 a factor of p?
True
Let g(t) = 3*t**3 - 4*t**2 - 3*t + 23. Let r be g(4). Suppose -140*a + r*a = -306. Is 6 a factor of a?
True
Let b(g) = 2*g**2 + 11*g - 154. Let j be b(-17). Let v = -173 + j. Does 4 divide v?
True
Suppose 38*l = 13*l + 125. Is ((-142)/l)/((-392)/(-80) + -5) a multiple of 29?
False
Suppose -8*a - 4816 = -18472. Suppose 14*l = 1247 + a. Does 17 divide l?
False
Let q = 572 - 582. Let m(w) = 7*w**2 + 18*w + 180. Is m(q) a multiple of 25?
True
Suppose 2*o = 2*w - 18272, -4*w = -5*o - 25792 - 10747. Does 33 divide w?
True
Let n(h) = 20*h - 13. Let l(b) = 2*b**2 + 21*b - 17. Let u be l(-10). Let g = -21 - u. Is 11 a factor of n(g)?
False
Suppose 22*s + 44640 - 9242 = 0. Let m = s + 2259. Is 29 a factor of m?
False
Suppose -6*t - 7*t = -156. Let o(z) = -z**2 + 15*z - 40. Let l be o(t). Does 11 divide -506*(l + (-35)/(-10))?
True
Let p(x) = x**2 + x + 2. Let q be p(-1). Let h be q/(-2) + (26 - 3 - 2). Is 12 a factor of h/4*(-234)/(-10)?
False
Let u = -314 + 1. Let c = u - -628. Does 45 divide c?
True
Is (-46458534)/(-1928) + (-1 - (-18)/8) a multiple of 87?
False
Let z(f) = -455*f - 1816. Let m be z(-4). Let w(n) = 15*n**2 + 2*n - 5. Let k be w(4). Suppose 3*r = 4*r + 5*y - k, 0 = 5*r + m*y - 1278. Does 59 divide r?
False
Suppose -y - 3*y - l + 850 = 0, 0 = -3*l + 6. Suppose -4*i + v - 5*v = -y, 106 = 2*i + 4*v. Is i a multiple of 10?
False
Let w(c) = c**2 - 4. Let g(i) = i**3 + 5*i**2 - 7*i - 3. Let j be g(-6). Let t be w(j). Suppose 247 = t*s - 43. Does 16 divide s?
False
Suppose 49*h - 35316 = 356. Is 7 a factor of h?
True
Let v = 289 + 338. Let w = -304 + v. Does 17 divide w?
True
Let j(k) be the third derivative of -k**5/60 + k**4/6 + k**3/2 + 14*k**2. Let x be j(5). Is (-24 - -2)*1/x a multiple of 5?
False
Let w(x) = x**2 + 2*x. Let t(u) = -u**3 + 23*u**2 + 24*u + 34. Let f(b) = -t(b) + 2*w(b). Does 5 divide f(22)?
True
Let h = 32466 - 22205. Is h a multiple of 116?
False
Suppose -7*p - 168 = -10*p. Let z = p - 32. Suppose 9*b - 10*b = -z. Is 12 a factor of b?
True
Let x(r) = -1580*r - 850. Is 190 a factor of x(-11)?
True
Suppose 2*p = r - 12, 4*r - r = -5*p - 19. Suppose -t = 4*a - r*a, 0 = -a + 2*t + 10. Suppose 0 = -2*y - 2*b + 112, b = a*y - y - 56. Is 11 a factor of y?
False
Let b be 24/(-6 - 954/(-156)). Let v = b - 202. Is v a multiple of 2?
True
Suppose -18*o = -20*o + 48. Let u be (o/(-15))/(2/145). Does 10 divide ((-27)/(-18))/((-6)/u)?
False
Let w(u) = -29*u + 107. Let n be w(23). Is 16 a factor of ((-112)/10)/4*n/7?
True
Suppose 2*s = -3*t + 18787, -2*t + 5*s + 5513 = -7037. Does 4 divide t?
False
Let f(n) = -6*n - 8. Let p be f(12). Let v = 16 - p. Is 24 a factor of v?
True
Let s(y) = -8*y + 24. Let n be s(-6). Let u be (-2)/(-9) + (-32)/(-18). Suppose u*k = -8 + n. Is k a multiple of 17?
False
Suppose 0 = -4*q - 3*s + 48, 18*q + 3*s + 27 = 19*q. Suppose -5*m = q*m - 3080. Is m a multiple of 22?
True
Does 11 divide 48528/45 - 5*16/200?
True
Suppose -2*n + 3*w + 1937 = 0, -n - w - 193 + 1159 = 0. Suppose 1913 = 3*y + 5*d, -3*y + 5*d + 936 = -n. Is 34 a factor of y?
False
Let x(v) = 1145*v - 741. Is x(1) a multiple of 3?
False
Suppose -2*b + 0*p = -5*p - 1036, -5*p + 2072 = 4*b. Let m = b + -331. Is m a multiple of 17?
True
Suppose 1020223 + 311737 = 134*p. Does 26 divide p?
False
Let f be (4 - (-10483)/(-33)) + 2/(-6). Let p = 450 + f. Does 18 divide p?
False
Let s = 301 - 382. Let g = 269 - s. Is 25 a factor of g?
True
Let a(m) = 3*m**2 - 16*m + 9. Let k be a(5). Suppose -4*c + 622 = 22*j - 17*j, k*j - 3*c - 510 = 0. Is 14 a factor of j?
True
Let p(c) = 34*c - 69. Let i be 52/(-130) + (-87)/(-5). Does 25 divide p(i)?
False
Suppose 2*f = -3*q + 114, 0 = -2*f + 7*f. Let b = 41 - q. Suppose -b*v + 56 = -2*v. Is 14 a factor of v?
True
Is 27 a factor of ((0 + -28836)/4)/(-2*(-6)/(-16))?
True
Let m(l) = 987*l**3 - 2*l**2 + 3*l - 18. Does 11 divide m(2)?
True
Suppose 2*x - f = 7*x - 32279, 5*x - 4*f - 32284 = 0. Is 12 a factor of x?
True
Let i be (0/(-2))/((-15)/(1 + 4)). Suppose 0 = u - i*u + 115. Let t = -67 - u. Is 8 a factor of t?
True
Suppose 0 = -y - 5*l + 10242, -2*y - 26*l = -23*l - 20526. Does 86 divide y?
False
Let z(t) = 52*t**2 + 365*t + 6. Is 123 a factor of z(6)?
False
Suppose -4*k = 4*w + 1610 - 5194, w - 920 = 5*k. Does 9 divide w?
True
Let u = 2846 + -1706. Let d = -758 + u. Is 17 a factor of d?
False
Let t(c) = -c**3 + 19*c**2 + 23*c - 43. Let z be t(14). Let a = z - 792. Does 11 divide a?
False
Let q = -4979 - -5071. Does 3 divide q?
False
Suppose -12*v = -10005 - 42747. Does 29 divide v?
False
Let h(k) = 334*k**2 - 77*k + 244. Is h(3) a multiple of 19?
False
Let o(u) = 16*u**3 - 11*u**2 - 26*u + 45. Let k be o(9). Suppose 56*i - 28*i = k. Is i a multiple of 4?
False
Suppose 20 = 14*p - 4*p. Let v(q) = 6*q - 7. Let b be v(p). Suppose -b*h + 408 = -172. Does 26 divide h?
False
Suppose -5*l = 5*o + 10, o = -5*l - 2 + 8. Suppose -5*r + 2*a = -1706, a - 244 = l*r - 926. Suppose 3 = 5*b - r. Does 23 divide b?
True
Suppose -23*i - 2 = -27*i + 3*a, -3*a = 3*i + 9. Let m = 107 - i. Is m even?
True
Let b be (216/(-14))/(21/(-5978)). Is 8 a factor of (1/(-2))/((-4)/b)?
False
Suppose 3*d + 4482 = 3*m, 4*m + 25*d - 20*d = 6003. Let c = m - 577. Is