5. Does 6 divide x?
False
Suppose 2*n - 1480 = -3*n. Is 37 a factor of n?
True
Suppose 203*f - 2070 = 185*f. Is f a multiple of 23?
True
Let b = 1 + 1. Suppose 2*d = b*t - 268, 0 = -3*t + 3*d + 2*d + 412. Is t a multiple of 21?
False
Let s be (-4)/1 - 8/(-2). Suppose 0 = -5*c, -15 = -3*f - c - s*c. Suppose -2*p = 5*l - 17 - 2, -f*p + 115 = -l. Does 4 divide p?
False
Suppose 0 = -4*z + 6 + 6. Let p(d) = 11*d + 3. Does 12 divide p(z)?
True
Let b(v) = -4*v + 5*v - 2*v**3 + 120 + 3*v**3 + v**2. Does 30 divide b(0)?
True
Let m(k) = 11*k**2 + 5*k + 4. Let q be m(3). Is q*(7/6 + (-2)/3) a multiple of 3?
False
Suppose 0 = -3*b + 25 + 113. Let l be (-9)/(-3) + (-4 - -5). Suppose -p - 97 = -5*x, l*p - b = -2*x + 2*p. Is x a multiple of 5?
True
Is 83 a factor of 2*-4 - (-12 - 520)?
False
Suppose -3*i - 12 = -0*i. Let l(j) be the first derivative of -j**4/4 - 4*j**3/3 - j**2/2 - j + 6. Is l(i) a multiple of 2?
False
Suppose 0 = -2*n - 5*n + 315. Let t = n - 6. Is 13 a factor of t?
True
Let d(v) = -8*v + 20. Let r be d(17). Let q be (36/8)/(-9)*r. Is q + (1 + -4)*1 a multiple of 19?
False
Let g(v) = v**3 - 20*v**2 + 85*v + 46. Does 3 divide g(17)?
True
Is 12 a factor of (-11634)/(-35) - 6/(-10)?
False
Let d be 4 - (0 - (-81 + 0)). Let t = 139 + d. Does 14 divide t?
False
Let m(j) = j + 8. Let p be m(-6). Suppose -2*h = h + 3*g - 3, -3*g + 3 = 4*h. Suppose 2*f = -4*n + 118, h*f + 2 = p*f. Is n a multiple of 15?
False
Suppose 3*u + 82 - 229 = 0. Is u a multiple of 23?
False
Suppose 0 = -2*l + 5*l - 2*o - 1923, -3*l - 2*o = -1911. Is l a multiple of 71?
True
Suppose -a = 2*a - 963. Suppose j + 2*x = 83 - 14, 4*j = x + a. Does 16 divide j?
False
Suppose -i + 3060 = 14*i. Does 5 divide i?
False
Suppose b - 350 = -0*b. Is b a multiple of 14?
True
Let y be (-10)/25 + 632/5. Let g = 282 - y. Is 11 a factor of g?
False
Suppose 4*z = 4*i - 5772, 4*z = -5*i + 9150 - 1962. Does 120 divide i?
True
Suppose -n = -0*n - 2. Suppose 3*l + n = 4*l. Suppose -a = -l*a + 33. Is a a multiple of 14?
False
Suppose 0 = -5*v - 20, -2*i - 5*v + 166 = -3*v. Suppose 3*s = s - l + i, -4*l - 30 = -s. Is 5 a factor of s?
False
Let n be (-2)/(-4)*2*-2. Let h(i) = 10*i - 3. Let f(j) = j - 1. Let s(m) = 3*f(m) - h(m). Is s(n) a multiple of 6?
False
Suppose -6*m = -m - 15. Suppose -m*r - r - 12 = 0. Does 8 divide (-8)/(-6)*(3 - r)?
True
Let r = 6 + -7. Let i be 60 + (0 - r - -1). Let l = i - 39. Is l a multiple of 23?
True
Let x = 655 + -617. Does 10 divide x?
False
Suppose l - 3*m - 44 = 0, 2*m = 4*l + m - 220. Let a = l - 7. Is 7 a factor of a?
True
Let t(y) = -39*y + 19. Let a be t(-13). Let f = a - 346. Is f a multiple of 30?
True
Let f be (-52)/(-3)*(-6)/(-8). Let v = 31 - f. Is 9 a factor of v?
True
Let a(y) = 44*y + 10. Is 23 a factor of a(2)?
False
Let g = 67 - 42. Let j = 0 + g. Is 25 a factor of j?
True
Suppose 0 = w - 1, 2*w = 5*p + w - 49. Suppose 8*g = p*g + 14. Let f(n) = -n**3 - 5*n**2 + 6*n + 8. Is f(g) a multiple of 16?
True
Let f = -233 - -534. Does 19 divide f?
False
Let s(y) = -y + 16. Let k be s(7). Suppose -5*d + 29 = k. Suppose -d*z - 16 = -44. Is z a multiple of 5?
False
Suppose 0 = -5*s + 3*s + 10. Suppose -4*c + 79 - 325 = -s*a, 0 = 5*a + 5*c - 255. Is 25 a factor of a?
True
Suppose -563 = -6*o + 469. Let b = o - 62. Does 27 divide b?
False
Suppose -5*i - 31 = -771. Does 37 divide i?
True
Suppose 1503 = 22*z - 13*z. Does 15 divide z?
False
Suppose 2*y = 77 + 103. Suppose -s = s - y. Is s*(2 + (-8)/5) a multiple of 8?
False
Suppose 0 = -19*y + 18*y + 3. Let j(w) = 24*w + 8. Is j(y) a multiple of 20?
True
Suppose 16*d - 4 = 15*d. Let z = -5 + d. Does 4 divide 20 + (-2 - (0 + z))?
False
Suppose 2*m - 20 = -3*m. Suppose -a - 5 = -f, -m*a = 2*f - 14 + 4. Suppose -u + 5*r = -29, a = -u + 2*u - 2*r - 44. Is 27 a factor of u?
True
Suppose i - 368 = -4*s + 109, 3*s = -4*i + 348. Let n = 210 - s. Does 15 divide n?
True
Suppose 0*l - 3*l - 3 = k, k + 5*l + 11 = 0. Let m = 39 - 36. Is 12 a factor of ((-20)/(-3))/(m/k)?
False
Let a(i) = -3*i**3 - i**2 - 4*i - 3. Suppose 3 = -2*x - 3, 5*g + 2*x = 24. Suppose -g = -0*y + 3*y. Does 11 divide a(y)?
False
Let k be (-28)/(-12) - (-2)/(-6). Suppose -h + 60 = x, 76 = -5*h + k*x + 376. Is h a multiple of 30?
True
Let t(u) = u**2 - 8*u - 1. Let l be t(8). Let c be (-4)/((-4)/3) + l. Suppose i = -2*m + 64, 70 = c*m + m - 5*i. Does 6 divide m?
True
Let u(c) = 2*c - 24. Let k be u(12). Suppose 73 + 101 = 2*x - 2*h, -3*x - 4*h + 289 = k. Does 13 divide x?
True
Let v be (12/(-8) + 2)*8. Suppose 0*f + v*c = -5*f - 4, 4 = 3*f - 4*c. Suppose f = 2*k - 29 - 79. Is k a multiple of 16?
False
Let d = 1 + 4. Suppose d*o - 3*b = 116, 0 = -4*o + o + 2*b + 69. Is 25 a factor of o?
True
Let x = -2 + 4. Suppose -x = -2*i + 2*g, -2*i - 3*g + 0 + 7 = 0. Suppose -i*w + k + 103 = 0, -w - 55 = -2*w + 4*k. Does 15 divide w?
False
Let q(m) = 3359*m**3 + 11*m**2 - 14*m + 4. Does 35 divide q(1)?
True
Suppose -b = 6*b + 14. Is (14/(-16))/((-3)/(-36))*b a multiple of 21?
True
Suppose o + 65 = -5. Let b = o + 88. Does 9 divide b?
True
Let u(o) be the second derivative of 7*o**4/12 + 11*o**3/2 + o**2 - 14*o. Is 4 a factor of u(-7)?
False
Let k = 32 - 17. Let l = k - 13. Suppose -l*o + 32 = 5*r, 2*o - 4*r = -3*r + 20. Does 11 divide o?
True
Let j = 2139 + -3149. Let a = 666 + j. Is 12 a factor of (-2)/7 + a/(-28)?
True
Let s(k) = 4875*k**2 + 4*k - 3. Is s(1) a multiple of 53?
True
Suppose v = 2*s - 1182, -s - v + 584 = 2*v. Suppose d - 2*d - 5*t + 94 = 0, 0 = 5*d + t - s. Does 17 divide d?
True
Let s(j) = j. Let p be s(-2). Let c(z) = -13*z**3 + 3*z + 2. Does 20 divide c(p)?
True
Suppose -20*i + 55 = -9*i. Is i a multiple of 3?
False
Suppose 3*j - 4*j - 1 = 0. Let m be j + 5 - (3 - 1). Suppose 0 = -m*d - 3*d + 80. Does 15 divide d?
False
Let g be 2 + (-2)/(-1) + -2. Suppose 2 = 2*c - g. Suppose -c*h = -58 - 108. Is h a multiple of 23?
False
Let i(p) be the third derivative of 5*p**4/24 + p**3/3 - 2*p**2. Let v = 244 - 240. Is i(v) a multiple of 22?
True
Let f(y) = y**3 - 4*y**2 + 7*y. Let b(u) = 1 + 4*u**3 + 28*u - u**2 - 15*u**2 + u**3. Let i(k) = -2*b(k) + 9*f(k). Is 10 a factor of i(-6)?
False
Let f(s) = 5*s + 128. Is f(-4) a multiple of 18?
True
Suppose 20 + 0 = 5*f. Let l(i) = 2*i**2 - 5*i + 6. Does 9 divide l(f)?
True
Let r(z) = 3*z**3 + 6*z - 5*z + z + 2*z**2 - 2. Is 34 a factor of r(2)?
True
Suppose -3*v = -b + 1 - 9, 2*v + b - 12 = 0. Let q be 144/24*(-5)/(-2). Suppose 4*h - q = -3*f + v*f, -2*h + 3 = -5*f. Does 4 divide h?
True
Let j be 11/(154/144) + 4/(-14). Suppose -657 + 2087 = j*m. Does 12 divide m?
False
Is 6 a factor of (-9)/(-3 + (-14430)/(-4820))?
True
Suppose -2*q - 3*q + 2*g + 84 = 0, -2*q + 2*g = -30. Let i = -14 + q. Is 4 a factor of i?
True
Let h(x) = 2*x**2 - 8*x**2 + 5 - 2 + 0 + x**3. Let y be h(6). Suppose -y*t + 137 = 17. Does 13 divide t?
False
Let h = -3 - -4. Let m = 6 - h. Suppose -3*j = 0, 0 = c + 3*c + m*j - 64. Does 8 divide c?
True
Let r be (-2)/7 + 4/14. Suppose r = -2*d - h - 2, 2*d + 3*h + h = -14. Suppose 3*u - 17 = -2*a, -3*u - 34 + d = -3*a. Does 4 divide a?
False
Let a(d) = -101*d - 831. Does 141 divide a(-18)?
True
Let j(u) = -3*u + 5. Let b be 1/(119/(-120) - -1). Let w be b/(-16)*4/6. Does 10 divide j(w)?
True
Suppose 9*q - 887 = 1084. Is 23 a factor of q?
False
Suppose 2 = 5*t - 23. Suppose -3*g - x + 0*x = -207, 0 = 4*g - t*x - 295. Does 14 divide g?
True
Let y(n) = n**2 - n. Let w(p) = -5*p**2 + 15*p + 12. Let h(m) = w(m) + 4*y(m). Does 3 divide h(11)?
True
Is ((-828)/72)/(1/(-44)) a multiple of 5?
False
Let o be 117 + 1/(-3) + 11/33. Is 20 a factor of 9451/o - 6/(-27)?
False
Let z(m) = -m - 5*m + 2*m + 5*m + m**2 + 3. Is 15 a factor of z(3)?
True
Suppose 4*p - j - 277 = 0, 2*p - j + 143 = 4*p. Does 20 divide p?
False
Let n = 82 + 255. Is n a multiple of 16?
False
Let g(j) be the third derivative of j**5/20 + j**4/12 + 29*j**3 + 7*j**2. Is 15 a factor of g(0)?
False
Let w(l) = 18*l - 15. Let g(m) = -90*m + 75. Let q(u) = -5*g(u) - 24*w(u). Is 21 a factor of q(9)?
True
Let x(h) = 69*h**3 - 4*h**2 + 5*h + 4. Is 50 a factor of x(2)?
True
Let h(b) = 9*b**2 + 30*b + 105. Is h(16) a multiple of 9?
True
Let c = -522 + 1455. Is 14 a factor of c?
False
Suppose 0 = -5*i + 25, -i = -4*p + 3*i + 236. Let b = p - 32. Is 15 a facto