5. Let y(w) = 3*w**2 - 16*w + 3. Is 7 a factor of y(t)?
False
Let g be (-20)/14*(-13 + 6). Is 26/(-1 + 14/g) a multiple of 19?
False
Suppose 0 = -2*u - 3*i - 3, 2*i = -3*u + 1 + 2. Suppose u*t - 112 = -5*m, -3*m + 62 = 4*t - 14. Does 10 divide m?
True
Suppose -24*m + 27*m - 5*u - 453 = 0, 5*m - 4*u - 755 = 0. Is 74 a factor of m?
False
Suppose 10*o - 1905 = 5*o. Is o a multiple of 13?
False
Let d be ((-1)/(-3))/((-9)/(-54)). Suppose -a - 4*i + 22 = -12, -4*i - 8 = -d*a. Is a a multiple of 7?
True
Let j = -2 + 6. Suppose -y - 5*o = -3*y - 10, 5*y + 42 = j*o. Let u = y + 24. Is u a multiple of 7?
True
Let b(o) = 110*o + 85. Is 56 a factor of b(2)?
False
Suppose 27*v - 1500 = 24*v. Is v a multiple of 25?
True
Let f be 4/(-2) - ((-3)/(-3) + -40). Let d = 46 - f. Is d a multiple of 5?
False
Let l = 621 + -357. Is 33 a factor of l?
True
Let p = -37 + 33. Let l be 0*(p/(-1))/12. Suppose 4*q + 0*q - 12 = l. Is 2 a factor of q?
False
Let g(n) = -6*n - 3. Let k be g(-4). Suppose 2*f - 5*j = 21, -4*f + j + 2*j = -k. Suppose q + 240 = 4*m, -f*q + 7*q = -4*m + 240. Is m a multiple of 14?
False
Let o(x) = 3*x**2 + x + 26. Suppose 7*c + 23 + 33 = 0. Does 14 divide o(c)?
True
Let f(h) = 54*h**2 - 16*h - 6. Does 26 divide f(-4)?
False
Suppose -4*r + 277 = -l, 5*r + 3*l = 166 + 193. Let f = r - 41. Does 9 divide f?
False
Suppose -4*u + 6586 = 2*n, 7*u - 3*n - 6581 = 3*u. Is u a multiple of 91?
False
Suppose -25 = 5*k - 10*k. Let c be (k/5)/(1/(-2)). Let i = c - -73. Is 18 a factor of i?
False
Suppose z - 7 = -10. Is (14/3 + z)/((-1)/(-66)) a multiple of 11?
True
Let t(r) = 27*r**2 - r + 2. Let z(v) = -26*v**2 + 2*v - 2. Let x(y) = 6*t(y) + 5*z(y). Is x(-1) a multiple of 15?
True
Let g(u) = -2*u**3 + 10*u**2 - 2*u + 7. Let i be g(5). Is 20 a factor of -9*20/(-6) - (-9)/i?
False
Let q(b) = -4 + 0*b + b + 3 - 20*b. Does 30 divide q(-7)?
False
Suppose -u - 38 = -4*w, -w - 5*u + 2*u + 3 = 0. Let g = -14 + 16. Does 9 divide (-2 + g + w)*1?
True
Suppose -8*t + 1137 + 343 = 0. Does 7 divide t?
False
Let s = -4 - -74. Let y = -19 + s. Does 17 divide y?
True
Suppose -3*k + k - 12 = 0. Let f = 216 - 203. Let p = k + f. Is p a multiple of 4?
False
Let f = -32 + 46. Suppose 5*n - 4 = -i, 4*n - 12 + 0 = 0. Let c = i + f. Is 2 a factor of c?
False
Suppose 3*v + 13 = -2, -m + 10 = -2*v. Suppose -4*d - 4*q = -4, -3*d + 8 = -m*q + 4*q. Is 3/3 + (-132)/d a multiple of 34?
True
Let a be (1/(-2))/(3/(-6)). Let v be a/4 - (-7)/(-28). Suppose 4*u - 29 - 87 = v. Does 17 divide u?
False
Suppose 7*z - 4025 - 469 = 0. Is z a multiple of 51?
False
Let v(g) be the first derivative of 1/2*g**2 + 9*g - 1. Is v(12) a multiple of 8?
False
Does 16 divide (-2 + 52/10)/(12/1680)?
True
Let y(i) = i**3 + 8*i**2 + 7*i + 3. Let v be y(-7). Suppose -v*l = -5*l + 68. Does 10 divide l?
False
Suppose d + 2 = 3*o - 3, -5 = -d + o. Let t(u) = u**3 - 11*u**2 + 2*u + 10. Let j be t(d). Is 20/6*(-2604)/j a multiple of 34?
False
Let o = 620 + -344. Does 12 divide o?
True
Let r be 6/8 + 17/4. Suppose -5*h = -3*b - 95, 4*b = -4*h + r*h - 2. Is 22 a factor of h?
True
Let n be 20/(-6)*(-9)/6*2. Let l(y) = -y + 34. Does 2 divide l(n)?
True
Suppose -4*m - 8*f + 4*f = -36, -6 = -m - 4*f. Let s = -8 + m. Suppose 23 = -s*r + 91. Is 17 a factor of r?
True
Is 37 a factor of 0/(1 - 5) + 2 + 72?
True
Suppose -5*q = -4*q - 168. Suppose -5*t + q = t. Does 11 divide t?
False
Suppose -2*i + 4 = -2. Suppose 0 = 3*x - 2*k - 115, -x + i*k = -8 - 28. Is 13 a factor of x?
True
Is 69 a factor of ((-5660)/(-40))/(1/4)?
False
Let q be (-3 - 8) + (2 - 0). Let y = q + 11. Is 17 a factor of y/(5/((-375)/(-6)))?
False
Suppose -5*i - 4*v = -6700, 4*v = 2*v - 10. Is 14 a factor of i?
True
Let y be (-6)/9*(1 - 286/4). Let m be 2/(-8) - (-54)/(-8). Let h = y + m. Does 20 divide h?
True
Let b(p) = 19*p + 8. Let o(x) = -20*x - 7. Let r(y) = 5*b(y) + 4*o(y). Is 21 a factor of r(16)?
True
Let z = -83 - -92. Suppose 2*c = -2*o - 2, 0 = 5*c - 0*o - 5*o - 35. Is c - -6*z/6 a multiple of 12?
True
Suppose 5*v + 2*n - 1255 + 122 = 0, 0 = -4*v + 5*n + 880. Suppose 5*c - v - 100 = 0. Is 29 a factor of c?
False
Let c(v) = 11*v**3 - 4*v**2 + 112*v - 440. Is c(4) a multiple of 36?
True
Let t = -2 - -440. Is t a multiple of 53?
False
Let u = 10899 + -7303. Is u a multiple of 78?
False
Let t be (16 + -1)/(4/(-3 + 7)). Suppose 31 = j - t. Does 23 divide j?
True
Let h be 8/6 + 6/9. Let u be ((-26)/6)/(h/(-6)). Suppose -5*x + u + 7 = 0. Is 4 a factor of x?
True
Suppose 4*c - 153*b = -151*b + 6194, 0 = 3*c - 3*b - 4641. Is c a multiple of 13?
False
Let m(k) = -35*k - 44. Is m(-11) a multiple of 26?
False
Is (144/60)/(-2 + 102/50) a multiple of 30?
True
Let p(q) = 4*q**3 - q + 1. Let i be p(1). Suppose 50 = -i*f + 9*f. Is 10 a factor of f?
True
Let q be (5 - 8) + -3 + 40. Suppose 2*b - 7 = -4*z + b, 5*b + q = 3*z. Suppose -z*n + 14 = -7. Is n even?
False
Let g(w) = w**2 - w - 2. Let s be g(0). Let x be 1*s*(-6)/4. Suppose 3*t - x*k - 63 = 0, 2*t + 11 - 59 = 4*k. Is t a multiple of 12?
False
Suppose -26 + 2 = -3*b. Is b a multiple of 8?
True
Let x(w) = -3*w**3 - 11*w**2 - 12*w - 7. Is x(-7) a multiple of 16?
False
Let y(a) be the first derivative of -a**3/3 + 11*a**2/2 + 198. Let f(j) = -9*j**3 + j**2 + j + 1. Let m be f(-1). Is 3 a factor of y(m)?
False
Let o = -2 - -6. Suppose 4*x + 277 - 105 = o*z, 0 = -3*z - 5*x + 121. Does 21 divide z?
True
Let i(b) = -b + 1. Let a be i(-2). Suppose -a*j + 4*m = 34, 0 = j - 2*m + 5*m + 7. Let r(l) = l**3 + 11*l**2 + 6*l + 7. Is r(j) a multiple of 17?
False
Suppose 52*f = 48*f - 180. Let v = 135 - f. Does 12 divide v?
True
Suppose -7 = 4*g + 2*u + 19, -g = 3*u + 4. Let o = g + 6. Is 20 a factor of ((-2)/(-6))/(o/(-117))?
False
Suppose 43*h = 28*h + 5640. Is 47 a factor of h?
True
Suppose -3*m = -0*g - 2*g - 235, -2*m + 593 = -5*g. Let c = g + 170. Is c a multiple of 17?
True
Suppose -6*a + 24 = -4*a. Suppose -17*n = -a*n - 150. Does 6 divide n?
True
Suppose 11 = 4*l + 3*r, -r + 0 + 7 = 2*l. Suppose -2*i - b = -112, -3*b = l*i - 56 - 223. Is i a multiple of 19?
True
Let i = 40 + 1157. Is i a multiple of 11?
False
Suppose 3*o - 11 - 19 = 0. Is (-18)/15*o*-5 a multiple of 15?
True
Suppose 5*n = -0*n + 5*z + 80, 3*z - 36 = -4*n. Does 5 divide (-8*(-22)/n)/((-1)/(-3))?
False
Suppose 5 = 5*k - 25. Suppose -2*u - 256 = -k*u. Does 15 divide u?
False
Suppose 3*n = 5*b - 89, 3*b - n - 2*n = 57. Is 8 a factor of b?
True
Let g(z) = -2*z**2 + 5*z - 27. Let x(d) = -d**2 + 3*d - 14. Let a(j) = -3*g(j) + 5*x(j). Does 18 divide a(-5)?
True
Let a(g) = 318*g**2 - 3*g + 2. Is 16 a factor of a(-2)?
True
Does 89 divide (987210/72)/7 - 6/8?
True
Let q(l) = -26*l**3 + 20*l**2 + 37*l - 4. Is 3 a factor of q(-2)?
True
Let j be ((-57)/2)/(21/(-6) + 3). Suppose 138 = 2*d - c - j, 4*d - 387 = c. Does 7 divide d?
False
Suppose 6*v - 420 = v. Is v a multiple of 4?
True
Let u be 0/(-1)*(-3)/(-6). Suppose -4*l - 155 = 3*t - 0*t, u = -l - 5*t - 26. Let g = 111 + l. Is g a multiple of 19?
False
Let l be 11*(4 - (3 + -2)). Suppose 5*z - 6 = -2*t, t - 3*z - 3 = -z. Suppose 2*w - t*w = -l. Is w a multiple of 10?
False
Let i = -40 - -42. Suppose r - i*h - 7 - 5 = 0, -h + 30 = 4*r. Is 4 a factor of r?
True
Suppose -3852 = -122*s + 119*s. Is 44 a factor of s?
False
Suppose 19*h - 5*h - 56 = 0. Let a(l) be the second derivative of 2*l**3/3 + 3*l**2/2 + l. Is a(h) a multiple of 14?
False
Suppose 3*q = -s + 133, 2*s - 3*q - 226 = q. Let h = s - 85. Is h a multiple of 18?
True
Suppose -2*z - 4*t = -18, -4*t - 24 = -3*z - 7*t. Suppose 3*g - 5*p = z*g - 13, -1 = -2*g + 3*p. Suppose 44 = g*f + 14. Does 15 divide f?
True
Let i be ((-1905)/7)/3 - (-6)/(-21). Let c = -47 - i. Does 16 divide c?
False
Let u = 64 - 63. Is 12 a factor of 2 - (-45 - u/1)?
True
Suppose 4*x - 3*d = -5*d + 288, 3*x - 214 = -2*d. Does 12 divide x?
False
Let k = -117 - -144. Is 27 a factor of k?
True
Let m(b) = b**3 - 5*b**2 - 7*b + 11. Let o be m(6). Suppose -o*p - 3*h - 213 = -543, 2*p - 132 = -h. Let y = p + 8. Is 15 a factor of y?
False
Suppose g + 34 = -g. Let k = -12 - g. Suppose -m + o = 3*o - 78, -o = k*m - 354. Is m a multiple of 11?
False
Suppose -3*l + 9*d = 14*d - 512, 2*l + 4*d = 338. Is 8 a factor of l?
False
Let m be -2*3/((-18)/15). Let s be (-290)/(-22) + (-2)/11. Suppose 2*n + 0*x 