. Suppose -2*d - m = -4*d. Does 14 divide d?
True
Let d be 278/(-10)*-1 + 1/5. Suppose 92 = 5*w - 0*w - k, 3*k - d = -w. Is 9 a factor of w?
False
Let x = -14 + 14. Suppose x = -4*g - 3*d + 724 + 686, -g + 361 = 5*d. Is 16 a factor of g?
False
Let i(l) = 175*l**2. Let r(t) = -350*t**2 - t - 1. Let g(p) = 5*i(p) + 2*r(p). Does 44 divide g(-1)?
False
Let p = 385 + -275. Let i = -40 + p. Is i a multiple of 10?
True
Suppose 0 = 2*f + 5*v - 8, 6 = -3*f + v + 1. Let n = f - -5. Suppose n*m + 62 = 2*r, 4*m - 3*m = -2*r + 52. Is 9 a factor of r?
True
Let k = 1623 + -1115. Is 7 a factor of (-10)/45 + k/18?
True
Let t(m) = m - 14. Let c = 40 - 24. Is t(c) even?
True
Let k = -46 - -85. Is (k/26)/(6/236) a multiple of 7?
False
Suppose -111 = -4*h + 153. Suppose -3*r + h = -3*g, r - 6 = g - 4*g. Let k = 16 + r. Is 32 a factor of k?
False
Let o = -204 - -359. Is 10 a factor of o?
False
Let z(o) = o**3 - 15*o**2 - 14*o - 30. Let i be z(16). Let v(d) = 3*d + 14. Does 20 divide v(i)?
True
Suppose -3*g + 4*n + 568 = 0, 5*g - 8*g + n + 583 = 0. Is g a multiple of 27?
False
Suppose 3*m + 11 = -5*p, p - 13 = -3*m + 2*p. Is (m - 2)/((-3)/(-216)) a multiple of 24?
True
Let n = -7 - -14. Let i = 9 - n. Is 11 a factor of i + 2*18/4?
True
Let b = -7 + 1. Let p(t) = 3*t + 10. Let q be p(b). Let a = q - -83. Is a a multiple of 25?
True
Let r = 29 - 14. Let a be (6/(-9))/(4/(-132)). Let k = a - r. Is k even?
False
Let f(l) = 14*l - 5. Let w be f(3). Let g = w + 5. Is 14 a factor of g?
True
Let k be ((-5)/5 + 4)/((-1)/(-3)). Let r(s) = -8*s - 7*s + s + 2*s**2 - 8. Is 14 a factor of r(k)?
True
Suppose -10*q - 8 = -2*v - 8*q, 0 = v + 5*q + 2. Let x(m) = m**2 - m + 5. Let o be x(0). Suppose -35 + o = -v*i. Is 5 a factor of i?
True
Suppose -13*f - 23*f + 540 = 0. Does 5 divide f?
True
Let s(y) = -11*y - 1. Suppose d + d = -4*a + 14, 0 = -d + 5*a. Suppose 0 = 5*p + 2*c - 5, -3*c = d*p + 2*c - 20. Is s(p) a multiple of 3?
False
Suppose -7*h = -2*h - 25. Suppose -h*r + 84 = -p, 0*r = -2*r + p + 36. Is r a multiple of 4?
True
Let j(s) = s**2 + 6*s - 3. Let p be j(-7). Let m be 4*1/p + 1. Suppose m*y = 5*y + 5*g - 109, -y + 48 = 4*g. Does 7 divide y?
True
Suppose 0 = -2*z + 4*n + 38, -7*z - 3*n = -2*z - 30. Let h = -21 - -6. Let s = z - h. Does 12 divide s?
True
Suppose 0 = x + 16 - 82. Suppose -x = -3*z - 4*u + 84, 0 = z - u - 43. Is 6 a factor of z?
False
Suppose 0 = -3*u + s + 709, 6*u = u - 2*s + 1189. Is u a multiple of 49?
False
Let n be 6 - (-8 + (-12)/(-3)). Let o(x) = 4*x + 1 + 5*x - n*x + 0. Is 9 a factor of o(-8)?
True
Suppose 6*h + 4*h - 20 = 0. Suppose 0 = h*s - 156 + 54. Does 9 divide s?
False
Is 16 a factor of 2*(4 + (-6460)/(-8) - 5)?
False
Let x = 12 + -10. Let q(s) = -s**2 - 5*s**2 + 4 - s**3 + 2*s + 5*s**x + 0. Does 16 divide q(-3)?
True
Let o = 0 - 6. Let a be (-46)/4 + (-3)/6. Is 29 a factor of ((-118)/o)/((-4)/a)?
False
Suppose -78 = z - 4*o, -3*z + 5*o + 149 = -6*z. Let d = z - -106. Suppose -t = -4*t + d. Is t a multiple of 15?
False
Suppose 0 = -3*b - 9, 0*v + 2*v - 3*b = 15. Suppose 2*w - 3*w = p - 17, -v*p + w + 47 = 0. Does 8 divide p?
True
Let y be (-2 - 3)*(9 - 10). Suppose 2 - y = -z. Suppose 2*t - 2*i = 188, z*t = -3*i + 128 + 136. Is t a multiple of 19?
False
Suppose -41 = 2*o + 5. Let j(p) = 18*p - 3. Let l be j(2). Let v = o + l. Does 3 divide v?
False
Let x(m) be the third derivative of -m**5/60 + m**4/4 - m**3/6 + 2*m**2. Let u be x(4). Suppose 30 = -2*d + u*d. Does 2 divide d?
True
Suppose -3*j + d = -1155 - 891, -2*j - d = -1364. Is 26 a factor of j?
False
Let m = 1064 + -604. Suppose 0 = -4*d + 7*b - 4*b + 614, 2*b = 3*d - m. Is 19 a factor of d?
True
Let o(z) = -z**3 + 13*z**2 + 18*z - 16. Let b = -17 - -31. Is 10 a factor of o(b)?
True
Suppose -5*u - 12 - 63 = 0. Is 2 a factor of 2 - (-2 + -1)*u/(-9)?
False
Suppose -3*b + 51 = -b + 5*u, 0 = b + 2*u - 23. Suppose 2*i + 3 - 29 = 0. Suppose i + b = t. Is 15 a factor of t?
False
Suppose 5*f + k = 7909, 9478 = 6*f + 2*k - 4*k. Is f a multiple of 93?
True
Let o(l) = -78*l**3 - l**2 + 2*l - 18. Does 25 divide o(-4)?
True
Suppose -4*y - t + 11 = 0, -3*y - 11 = -6*y + 2*t. Suppose 5*s - 47 = -3*w, s = -y*w + 4*s + 87. Is 8 a factor of w?
True
Let u(z) = z - 12. Let n(v) = v + 6. Let w be n(3). Let m be u(w). Is 16 a factor of (-139)/m + 28/42?
False
Let n(z) = -2*z**3 - 21*z**2 - 13*z + 42. Is n(-15) a multiple of 13?
True
Suppose -27*z = -26*z + 18. Is (120/z)/(6/(-27)) a multiple of 6?
True
Let g = -9 - -10. Suppose -g = u - 0*u. Does 14 divide (-3 + (-39 - 0))*u?
True
Suppose -2*k + 13 = -21. Let h(l) = -l**2 + 8*l - 9. Let c be h(2). Suppose -c*j + k = -67. Does 8 divide j?
False
Let g(r) = 25*r - 266. Does 19 divide g(38)?
True
Suppose 14*n = 1426 + 1122. Is n a multiple of 4?
False
Let b be 38/(-3 - (-15)/6). Let p = 28 + b. Let s = p - -73. Is s a multiple of 7?
False
Let k = -17 + 55. Suppose -4*m = -d - 204, -m + k = 3*d - 0. Is 9 a factor of m?
False
Let v be 2/((-6)/(-3)*1/4). Is 12 a factor of (-394)/(-5) - -3*v/60?
False
Let x = 720 - -133. Does 50 divide x?
False
Let j(m) be the third derivative of m**5/30 + m**4/3 + 4*m**3/3 - 26*m**2. Does 14 divide j(-6)?
False
Let m(s) = 143*s**3 - 2*s**2 + 1. Let x(r) = 2*r + 19. Let p be x(-9). Does 16 divide m(p)?
False
Let z = -4 - 8. Let p be (z/36)/(1/(-6)). Let f = 18 - p. Does 8 divide f?
True
Let v = -1779 - -1818. Is 3 a factor of v?
True
Let j = -1416 - -1383. Let q(a) = 2*a**3 - 2*a**2 - 2*a + 2. Let s be q(-2). Let u = s - j. Is u a multiple of 9?
False
Let w(y) = -2046*y**3 + 2*y + 2. Does 78 divide w(-1)?
False
Let m(y) = -4*y + 5. Let f be m(0). Suppose 213 = t - 3*l + f*l, 4*l - 1059 = -5*t. Does 28 divide t?
False
Is 6335/6 + (-27)/(-162) a multiple of 24?
True
Let o = -4 - -4. Let m be -2*(-2 - o)*40. Suppose 2*s - 3*s = -4*f + 128, 5*f - 2*s - m = 0. Is 16 a factor of f?
True
Let x(y) = 7*y + 7. Let u be x(9). Let w = 62 - 20. Let s = u - w. Is 14 a factor of s?
True
Is (-11 - 28452/(-60))/((-1)/(-5)) a multiple of 113?
False
Let b = -73 + 85. Does 2 divide (5/(20/(-8)) + b)*1?
True
Let o(g) = -2*g**3 - 4*g**2 + 3*g - 1. Let b(n) = -n**2 - 1. Let r(y) = 3*b(y) - o(y). Let t be 18/5 + -6*(-6)/(-60). Is r(t) a multiple of 21?
False
Let k = -1713 + 2306. Is 17 a factor of k?
False
Let j(u) = u**2 + 14*u - 4. Let t be j(-15). Let p be (11/(-22))/((-2)/8). Does 29 divide 8631/99 - p/t?
True
Let w = -30 + -96. Let y = -58 - w. Does 7 divide y?
False
Let o be 0 - 0/(-3)*1. Suppose -6*s + 130 + 8 = o. Does 17 divide s?
False
Suppose 3*v = -v - 56. Let x(f) = 2*f**2 + 3*f**2 + 15 - 4*f**2 + 47*f - 34*f. Is 8 a factor of x(v)?
False
Suppose 4*k + 0*k - 774 = 2*f, 2*f = 5*k - 968. Let v = -84 + k. Is v a multiple of 23?
False
Let o = 2 + 1. Suppose 8*j - o*j - 15 = 0. Suppose -j*b = -9*b + 54. Is b a multiple of 4?
False
Let z(f) be the third derivative of f**4/2 + f**3/3 - 6*f**2. Does 4 divide z(1)?
False
Is 6 a factor of (-5)/75 - 22965/(-225)?
True
Let c = 2467 - 2216. Is 20 a factor of c?
False
Let b = -702 + 1245. Is b a multiple of 6?
False
Let r(u) = -39*u - 2. Is r(-12) a multiple of 46?
False
Suppose -901 - 18910 = -11*p. Is 59 a factor of p?
False
Let w = 52 + 50. Does 2 divide w?
True
Is 63 a factor of 27/(-45) - (-23996)/35?
False
Suppose 15*h - 6 = 13*h. Suppose -3*y + 5*b + 41 = 0, 4*y - 6*b - 73 = -h*b. Does 22 divide y?
True
Suppose 162 = 3*q - 5*c + 27, 2*c = -2*q + 74. Suppose 0 = 5*y - 4*y - q. Is 6 a factor of y?
False
Let f(y) = 9 + 8*y + 3*y + 9*y + 14*y. Is f(4) a multiple of 29?
True
Suppose 0*k = -2*k - 8. Let t = 9 + k. Is 5 a factor of t - (-5 + 3/1)?
False
Let j be (5 + -2)*(2 - 1). Suppose -571 = 6*i - 11*i + o, -j*o + 225 = 2*i. Is i a multiple of 5?
False
Suppose -8*o + 4*o - 994 = -3*j, -5*o = 3*j - 985. Is j a multiple of 7?
False
Let x be 9/2 + 18/36. Suppose 4*b + x*y = 8*b - 988, b = 4*y + 236. Is 35 a factor of b?
False
Let a = 16 + -13. Suppose 0 = -n - a*n + 64. Suppose -2*o - n = -3*o. Does 8 divide o?
True
Let q = 37 + -35. Suppose -2 = -2*y, 70 - 12 = 2*k - q*y. Is 6 a factor of k?
True
Let q(b) = -b**2 - 7*b - 1. Let p be q(-6). Let z(h) = -7*h - 42. Let f be z(-24). Suppose 0 = p*y - f - 4. Is y a multiple of 13?
True
Suppose 4*u + 2580 = 4504. Does 13 divide u?
True
Suppose -5*n - i + 7 - 