*k - 14. Suppose 4*m - m - 86 = b, 0 = k*m + 3*b - 102. Does 13 divide m?
False
Suppose -3*o + 133 - 26 = -5*q, -3*q = o - 17. Let m(g) = g**2 - 5*g - 438. Let s be m(23). Let u = s + o. Is u a multiple of 5?
True
Let q be (-5)/15 - (-200)/6. Does 15 divide 6/q - ((-1813)/11)/1?
True
Let w be 684/30 + 3/15. Let t = 68 - w. Does 16 divide t?
False
Let i(l) = l**3 + 3*l**2 - 9*l + 6. Let c be ((-5)/2)/((-4)/(-8)). Let g be i(c). Suppose -3*x = -5*n - 83, -x - 2*n + 34 + g = 0. Is 14 a factor of x?
False
Let s(j) = -3*j + 2*j**3 - 3*j**3 + 3*j + 4*j + 1 + 8*j**2. Is 33 a factor of s(8)?
True
Let g(n) = n. Let x be g(2). Suppose x*z + z - 3 = 0. Is 16 a factor of (64/(-6))/(z/(-3))?
True
Suppose 3*x - 2*x = -4*t + 59, 3*t + 102 = 3*x. Suppose c - x = -c - 5*u, -5*c = -2*u - 54. Suppose k - c - 20 = 0. Is k a multiple of 16?
True
Let v = 3 + 0. Suppose -6*t + t - 62 = v*y, 5*y = -t - 140. Let x = y - -74. Does 15 divide x?
True
Let d(r) = -5*r**3 + r**2 + r + 1. Let u be d(-1). Is 19 a factor of (u/5)/(18/1485)?
False
Let v = -334 + 406. Does 8 divide v?
True
Let p = -2194 - -3674. Does 40 divide p?
True
Suppose 0 = -3*f - 0*i + 4*i + 98, 0 = -f + 3*i + 41. Does 10 divide f?
False
Suppose 13 = 2*r - 2*c + c, -5*r = -c - 25. Suppose 5*y - r = 3*y. Suppose -3*v - y*v + 90 = 0. Does 4 divide v?
False
Suppose 0 = -5*l - 3*i - 17, l - 2*i = -l + 6. Let x be 6/(10/4 + l). Is ((-14)/x)/(3/(-18)) a multiple of 21?
True
Suppose 21*l = 136 + 32. Let w = 87 + -47. Is (l/(-10))/((-4)/w) a multiple of 6?
False
Let d(a) = -11*a + 3. Let j(g) = -4*g + 1. Let c(h) = -6*d(h) + 17*j(h). Let o = -14 - -10. Is c(o) a multiple of 2?
False
Let k be -2*(1645/10)/(-7). Suppose -k = -5*g + 128. Suppose -15 - g = -5*x. Does 9 divide x?
False
Let f(b) be the third derivative of -b**6/120 + 2*b**5/15 + 7*b**4/12 - 4*b**3/3 + b**2. Suppose 0 = -2*o - 2*o + 36. Is 16 a factor of f(o)?
False
Suppose -5*l + 6745 = 3*t + 1363, -l - 5382 = -3*t. Does 13 divide t?
True
Suppose 16 + 1808 = 8*a. Is a a multiple of 6?
True
Let s be ((-1)/(-2))/(11/66). Suppose v = s*r - 2*v - 21, 29 = 3*r - 5*v. Suppose 36 = 3*h - 0*a + r*a, 16 = h - a. Is 5 a factor of h?
False
Suppose 5*a + 5*t = 6625, -27*t + 25*t = -4. Is 64 a factor of a?
False
Suppose -5*y = -w + 304 + 229, 2*w = -3*y + 1105. Does 13 divide w?
False
Let f be 1 - -11 - (-11 + 11). Suppose f*n - 30 = 11*n. Is 6 a factor of n?
True
Suppose -5*m = -2*m - 75. Suppose 4*j = 87 + m. Let r = j - -8. Does 12 divide r?
True
Does 8 divide 5*(-18)/(-15) - (1 + -2056)?
False
Suppose v = 3*j + 985, 11*v + 4*j - 4925 = 6*v. Is v a multiple of 18?
False
Suppose -h = 4*l - 1593, -13*l + 14*l + 6304 = 4*h. Is 44 a factor of h?
False
Let q(a) = 4*a**2 - 9*a - 16. Let y be q(9). Let o = -155 + y. Is 24 a factor of o?
True
Let t be (-1 - -2)*(-45 + 9). Let l = -6 - t. Does 10 divide l?
True
Is 48 a factor of -44*(3/7 - 1342/616)?
False
Let x(b) = -b**2 + 16*b + 14. Let c = -18 + 32. Does 11 divide x(c)?
False
Let b = -126 - -83. Suppose 4*x = 3 + 57. Is (-5)/x + b/(-3) a multiple of 7?
True
Let d(c) = 23*c**2 - 4*c + 26. Is d(5) a multiple of 17?
False
Suppose 0 = t - 4*t - 27. Suppose -2*g - 2*w = 56, -2*g - 2*w = 3*g + 143. Let o = t - g. Is o a multiple of 10?
True
Let w(s) = 14*s - s**2 - 4*s**2 + 5*s**2 + 15 - s**2. Does 10 divide w(12)?
False
Suppose 8*z - 4*z = 0. Suppose -12 = -2*p + p + 5*j, z = 4*p + j - 6. Suppose -22 = -2*o - 4*m - m, -p*m + 60 = 4*o. Is o a multiple of 8?
True
Suppose 5*t + z = 6*z + 805, 0 = 3*z - 3. Does 7 divide t?
False
Let f = 640 + -528. Is f a multiple of 56?
True
Suppose -k - 5 = -0*k. Let f = k + 8. Does 3 divide f?
True
Suppose -17*w + 6431 + 1865 = 0. Is 15 a factor of w?
False
Let v = 192 + 730. Is v a multiple of 13?
False
Suppose 3*l - 155 + 19 = -5*d, -4*d - l = -106. Let b = 115 + -78. Let w = b - d. Is 11 a factor of w?
True
Suppose 28 = -2*s - 158. Let u = 39 + s. Is (-1)/2*u - 1 a multiple of 23?
False
Suppose 1644 = 4*x - 4*i, 395 - 1205 = -2*x - i. Is x a multiple of 4?
False
Let w(f) be the third derivative of -1/6*f**3 + 0 + 1/12*f**4 - 1/40*f**6 + 0*f + 5*f**2 + 1/60*f**5. Is 21 a factor of w(-3)?
False
Suppose 9 = 4*m - 3. Suppose -s - m*s = -1536. Is 8 a factor of (-2)/(-10) - s/(-30)?
False
Suppose -3125 = -2*o - 3*o - 5*m, -2*m = 8. Suppose -o - 251 = -2*c. Suppose 5*t + 3*t - c = 0. Does 10 divide t?
False
Does 32 divide (-12376)/(-42) - (2 - 4/3)?
False
Suppose 0 = -o + 10 - 38. Let r be 1 + 1 + o/(-7). Is 9 a factor of 382/r - 4/6?
True
Suppose 4*a + 313 = n, -6*a - 638 = -2*n - 4*a. Is n a multiple of 16?
False
Let x = 38 + -33. Let d be (x/(-3))/((-3)/(-81)). Does 6 divide (-1090)/d - 2/9?
True
Let y = 7 - 11. Suppose -2*j - 3*o + 24 = 0, 3*o - 19 = -4*j + 23. Let h = j + y. Is h a multiple of 2?
False
Suppose -2*l = -0*l - 3*g + 5, -5*g + 7 = -4*l. Suppose 5*d - 257 = -2*o, -l*o + 0*d + 262 = 4*d. Does 14 divide o?
False
Let i be ((-10)/(-6))/(30/36). Suppose -i*q + 4*o = 3*o - 67, -2*q + 79 = 3*o. Does 7 divide q?
True
Let p(q) be the third derivative of q**7/2520 + q**6/180 + q**5/120 + 11*q**4/24 - q**2. Let z(h) be the second derivative of p(h). Is z(-7) a multiple of 10?
False
Let k(r) = r**3 + 11*r**2 + 5*r + 2. Let l be k(-11). Let s = -37 - l. Is s a multiple of 16?
True
Let u = -12 - -10. Let p be (-4)/u + -6*1. Is 117/6*p/(-3) a multiple of 13?
True
Let q = -76 + 79. Suppose -q*b + 141 = -4*r - 0*r, -3*b = 5*r - 141. Does 21 divide b?
False
Suppose 0 = -13*b + 20 + 19. Suppose 2*n = -4*t + 188, -b*t - 79 = 2*n - 3*n. Is n a multiple of 11?
True
Let g = -91 + 462. Is g a multiple of 13?
False
Suppose -5*h + 559 = -2*r, -192 = -5*h + r + 365. Is 5 a factor of h?
False
Let m(x) = x**3 + x + 1. Let v(f) = 3*f + 1. Let p be v(-2). Let a(h) = 4*h**3 - 10*h**2 + 2*h - 5. Let s(i) = p*m(i) + a(i). Does 17 divide s(-10)?
False
Suppose -8 = -0*c - 4*c. Suppose -25 = -c*k + 213. Suppose -4*v + k = 27. Is 12 a factor of v?
False
Is 101*(-4 + 3)*-1 even?
False
Let j be (3 - -21)*(-2)/(-4). Suppose j*t - 20 = 8*t. Suppose -t*o + 70 = -3*o. Does 11 divide o?
False
Let v be 20/4 - (1 - (-1 + 0)). Suppose v*f - 84 = -f. Is 18 a factor of f?
False
Let t be (-11)/(27/30 + 4/(-10)). Does 18 divide (297/t)/((-3)/4)?
True
Let p be (0/5)/3*1. Is 46 - (-4 + (3 - p)) a multiple of 13?
False
Let a be 61/(-7) - (-8)/(-28). Let o = a - -13. Suppose 85 = o*t + 21. Is 9 a factor of t?
False
Suppose 5*k - 18 = -4*g + 2*k, -7 = -5*g + 4*k. Suppose -189 - 129 = -g*a. Suppose j + a = 5*r, 4*j + 26 = 2*r - 20. Does 7 divide r?
True
Suppose 4*t + 168 = -0. Let l = -32 - t. Is l a multiple of 10?
True
Suppose -g = 59*g - 41160. Does 14 divide g?
True
Suppose -4 = -2*h, -3*j + 5*h - 2*h = -582. Does 98 divide j?
True
Let j(h) = 53*h - 18. Is 17 a factor of j(9)?
True
Suppose -3*q = -8*q + 10. Let l(r) = 1 - 69*r**2 + 70*r**q - 3. Is 4 a factor of l(4)?
False
Let b(s) = -3*s + 22. Let p be b(-3). Suppose p*y + 240 = 37*y. Is 7 a factor of y?
False
Let r(t) be the first derivative of 7*t**2/2 - 7*t + 1. Let v(b) = 6*b - 6. Let y(a) = 4*r(a) - 5*v(a). Does 3 divide y(-1)?
False
Suppose 3*m + b = 2*b - 45, -5*b = -5*m - 65. Let o(r) = -r**2 - 17*r + 12. Is 14 a factor of o(m)?
True
Suppose g = s + 4*g - 1420, -3*g = -2*s + 2885. Is 41 a factor of s?
True
Let g be (-3054)/(-21) + -2 - (-12)/21. Suppose 4*r + 0*n - g = -4*n, -5*r + 180 = -5*n. Does 12 divide r?
True
Let v(y) = -y**3 - 4*y**2 - 5*y - 3. Let m be v(-3). Suppose m*j = -0*j + 18. Is 12 a factor of j*(0 - (-39)/9)?
False
Suppose -5*k - 4*y = -36, 2*k - 4*y - 4 = -3*y. Let z be 5/(-2)*(-8)/k. Suppose -2*g - 174 = 4*s - 7*s, z*s - 4*g - 288 = 0. Does 20 divide s?
True
Let s(a) = -a**3 + a**2 + 1. Let l(z) = -z**3 + 6*z**2 - 9*z - 7. Let g(p) = -3*p**3 + p. Let t be g(-1). Let x(w) = t*s(w) - l(w). Is 16 a factor of x(-6)?
False
Let z be (-8 - -2)*(-2)/3. Suppose -z*o + 444 = 2*x, -2*x - 340 = -5*o + 2*o. Suppose t + 3*t = o. Does 12 divide t?
False
Let b(g) be the first derivative of 13*g**2/2 - 37*g - 9. Does 9 divide b(6)?
False
Let q(z) be the third derivative of 0 + 0*z + 1/2*z**3 - 7/12*z**4 + 6*z**2. Does 10 divide q(-4)?
False
Suppose 7*n - 3*n - 64 = 0. Suppose 5*j + 25 = 4*o - 30, o - n = 2*j. Does 2 divide o?
True
Is ((-200)/(-15) - 4)/((-1)/(-54