s(2). Suppose 5*o + 9 = w. Does 10 divide o?
True
Suppose -232 = -3*m - 88. Is 12 a factor of m?
True
Suppose -16 = -3*o + 11. Is 6 a factor of o?
False
Let a = 105 + 23. Is a a multiple of 16?
True
Let a = 14 + -8. Let p(v) = v**3 - 3*v**2 - 9*v + 7. Is p(a) a multiple of 16?
False
Let l(q) = -2*q**3 - 4*q**2 + 6*q + 5. Does 9 divide l(-4)?
True
Suppose 2*f = -5*t - 60, 0 = 3*f - 4*t + 95 + 41. Suppose -u = -2*c - 58, 0 = -3*u + 2*u + 5*c + 46. Let q = u + f. Is q a multiple of 13?
True
Let s be 12/(-2)*(-1)/(-2). Let t = s + 3. Is t/1 + 6 + 0 a multiple of 6?
True
Is 8 a factor of (-316)/(-10) + 18/45?
True
Let h = -8 + 10. Suppose 2*a = -h*a + 76. Is 19 a factor of a?
True
Let j(a) = a**2 + 3*a - 6. Let w be j(-5). Suppose g = 2*z - 50, -5*z = -0*z - w*g - 131. Does 15 divide z?
False
Let d(g) = -6*g**3 - g**2 - g. Let z be d(-1). Is 19 a factor of 334/z + 8/(-12)?
False
Is -1 + 104 - 0*(-1)/(-7) a multiple of 9?
False
Is 8 a factor of 150 + ((-4)/14 - (-64)/28)?
True
Let k be (-3)/2*(-1 - 1). Suppose d + 4*u - k*u - 31 = 0, -d + u + 21 = 0. Does 13 divide d?
True
Suppose -2*x - l = -5*x + 10, -2*l + 10 = 4*x. Suppose 2*r = -x*a + 52, -5*a - 22 = 5*r - 107. Is 8 a factor of a?
False
Suppose c = -5*x + 16, 4*x = x + c + 16. Let l be (6/x)/(2/4). Suppose -l*d + 17 = -7. Is d a multiple of 8?
True
Suppose 0 = -z + 5 - 0. Suppose -g = -w - 17, w - 125 = -z*g - 40. Does 5 divide g?
False
Suppose 8*h - 368 - 64 = 0. Is h a multiple of 27?
True
Suppose -5*q + 28 - 3 = 0. Let w = -21 + q. Does 7 divide (7/(-2))/(4/w)?
True
Let l(g) = -23*g - 1. Is 27 a factor of l(-8)?
False
Let i be 57/(-4) - (-2)/8. Let f be (-32)/i + (-4)/14. Suppose -5*k - 5*t = -105, -f*k = -3*k + t + 23. Is k a multiple of 11?
True
Suppose -9*z + 2*z + 399 = 0. Is 9 a factor of z?
False
Let r be (-2230)/(-30) + (-4)/(-6). Suppose -5*v = -0*v - r. Is 9 a factor of v?
False
Suppose -4*h + 9 = -c, -4*h + 8 = 4. Let r(n) = n**2 + 4*n + 4. Is 9 a factor of r(c)?
True
Suppose i - 1 = -i + p, -4*i - 28 = 4*p. Let u(b) = -6*b. Is 4 a factor of u(i)?
True
Suppose -2*p - 3*r - r = 0, 4*p + 4*r - 4 = 0. Let b(h) = p*h - 1 + 3*h + 8*h. Is 9 a factor of b(1)?
False
Is 4 a factor of ((-24)/(-7))/((-2)/(-7))?
True
Suppose 333 = 3*a + 3*m, -5*a + 5*m = 40 - 585. Does 10 divide a?
True
Suppose 3*p = -4*c + 2*p + 305, -3*c + 3*p = -240. Is c a multiple of 12?
False
Suppose z = 5*z + 24. Is ((-2)/z)/((-2)/(-36)) a multiple of 4?
False
Let g be -1*1*(9 - 9). Suppose g = -5*q + 3*q + 40. Does 6 divide q?
False
Suppose 5*j = -2*g - 15, 2*g + 4*j = -0*j - 10. Suppose g*h + 10 = -4*d, -4*h - 5*d - 2 = 15. Suppose 0 = i - 3*i + h, 2*i - 17 = -k. Is k a multiple of 7?
False
Let v(s) be the first derivative of -s**4/4 - 7*s**3/3 - 7*s**2/2 + s + 2. Let h be v(-7). Suppose 5*z + 0*z - 5*p - h = 0, 0 = z + p - 4. Does 7 divide z?
True
Suppose -2*c = -3*c - 5*g - 19, 5*c - 20 = -2*g. Let i = 2 + c. Is i a multiple of 8?
True
Suppose -101 = -2*p - m + 6*m, 0 = -4*p - 2*m + 166. Does 5 divide p?
False
Suppose 5*n + 2*g = 15, 15 = 2*g + g. Suppose -13 = -3*t - b, t - b - 11 = -4. Suppose 15 = t*p - 5*m, -3*p + 8 + n = -2*m. Does 3 divide p?
True
Let z(s) be the first derivative of -5*s**2/2 + 2. Is z(-2) a multiple of 5?
True
Suppose l = 5 - 1, -l + 1054 = 3*v. Is 50 a factor of v?
True
Let n = 25 - 20. Does 2 divide n?
False
Suppose 15 = 3*a + 2*a. Suppose -a*l - 2*l = -300. Is 12 a factor of l?
True
Suppose -2*o + 76 = 2*o. Is 8 a factor of o?
False
Let h(w) = 15*w + 8. Is 8 a factor of h(5)?
False
Let w = 7 + -2. Suppose -w = -2*p + 31. Does 18 divide p?
True
Let j(m) = -m. Let a(l) = -l - 1. Let q(n) = 6*a(n) - 3*j(n). Is 8 a factor of q(-8)?
False
Suppose 7*m = 3*m - 12. Let r(v) be the third derivative of v**5/30 + v**4/8 - v**3/3 - v**2. Is 5 a factor of r(m)?
False
Let n = 28 - 17. Let i = -16 + 18. Suppose n = i*o + 1. Is 5 a factor of o?
True
Let r = 25 - -55. Suppose 3*l + 2*l - r = 0. Is 16 a factor of l?
True
Let h be (-1)/(2/(-2)) + 3. Suppose h*f + 31 = a, 2*a - 28 = a + f. Does 11 divide a?
False
Let i(p) be the third derivative of p**4/24 + 3*p**2. Let f be i(2). Suppose -2*v - 2*j + 64 = 0, f*v - 4*j + 4 = 86. Is v a multiple of 9?
False
Let m(i) = i**2 + i + 200. Is m(0) a multiple of 20?
True
Let j(g) = 5*g - 1. Let w(i) = i**2. Let r be w(2). Does 19 divide j(r)?
True
Let t be 1/(-4) + 54/24. Suppose -12 = -t*h - 0. Does 6 divide h?
True
Suppose 2*s - 56 - 54 = 0. Let c = s + -30. Is c a multiple of 10?
False
Suppose -w = -5*i - 39 - 43, 5*i + 25 = 0. Does 12 divide w?
False
Suppose -65 = -d - 6. Is 19 a factor of d?
False
Let u be 504/15 + (-8)/(-20). Let i = -21 + u. Is 13 a factor of i?
True
Suppose 1 = g - 3. Suppose 9 = g*q - q. Suppose 0 = -0*n + q*n - 3, n = 5*r - 94. Does 18 divide r?
False
Suppose 2 + 8 = -5*b, b = 5*u - 77. Is 7 a factor of u?
False
Is ((-142)/2)/(1 - 2) a multiple of 18?
False
Let a = 48 + -11. Does 37 divide a?
True
Suppose -4*n - 23 = 9. Let m = n - -22. Suppose -10 - m = -4*k. Is 3 a factor of k?
True
Let r = 288 + -129. Is r a multiple of 11?
False
Suppose 19*h - 22*h + 141 = 0. Does 32 divide h?
False
Let u(b) = b**3 + 7*b**2 + 5*b. Let d be -12*3*3/18. Is 3 a factor of u(d)?
True
Let u = 297 - 136. Does 23 divide u?
True
Suppose -7*l + 648 = 165. Is l a multiple of 13?
False
Let r(c) = 3*c - 4 - 2*c + 1 + 0*c. Is r(6) even?
False
Let w be (-8)/1*(-3)/2. Let v(u) = u + 4. Does 8 divide v(w)?
True
Suppose 0 = -3*m + 4*s + 83 + 2, -105 = -4*m - 3*s. Is m a multiple of 10?
False
Let b(q) = -q**3 - 7*q**2 - 7*q - 3. Let t be b(-5). Let l = -13 - t. Suppose 0 = -2*r - z + 40, -l*r - 4*z + 53 + 44 = 0. Is 7 a factor of r?
True
Let j = -45 + 14. Let b = j + 45. Is b a multiple of 7?
True
Suppose 4*m - 27 = -11. Suppose m*d - 128 = -0. Does 8 divide d?
True
Does 10 divide 132/(25/(-10) + 4)?
False
Suppose 3*a + 2*a - 15 = 0. Let m(d) = 9 - d + a + 2*d. Is m(0) a multiple of 6?
True
Let s(y) = -4*y**3 - y**2 - y - 1. Let g(d) = d**3 - 2*d**2. Let l be g(1). Let j be s(l). Suppose -x + 14 = -0*r + j*r, 0 = -x + 4*r + 49. Is 10 a factor of x?
False
Suppose m - 59 = -5*k, -4*m = 5*k - 10*k + 39. Is 5 a factor of k?
False
Let j(p) = -p + 1. Let a(d) = 3*d - 1. Let y(z) = -2*a(z) - 4*j(z). Is y(-3) even?
True
Let j(q) = -8 - 4*q**2 + 3*q**2 - 2*q - 7*q. Let f be j(-6). Is f/(1 - -1) - 0 a multiple of 5?
True
Let m be (-6 - -8)*5/2. Let k be (-2)/m + (-148)/(-20). Suppose 2*o = k*o - 135. Is 9 a factor of o?
True
Let l(z) = z + 12. Let b = 4 - 4. Let m be l(b). Suppose 0 = -0*k - 3*k - m, -x - 2*k = -22. Is x a multiple of 10?
True
Suppose 0 = -0*y - y - 7. Let d(q) = -2*q + 6. Let g be d(y). Let f = 28 - g. Is 8 a factor of f?
True
Let g be (-3485)/(-20) + (-1)/4. Suppose 0*m = -2*m + g. Is m a multiple of 22?
False
Suppose 38 = 2*a - 4*g, 0*a - 5*g = 3*a - 112. Is a a multiple of 5?
False
Let d be 178/(-26) + (-2)/13. Let o be d/(-7)*0/(-2). Suppose 4*c + q = 62, 0 = -c + q - o*q + 18. Is 8 a factor of c?
True
Suppose 3*w - w - 42 = 0. Does 16 divide w?
False
Suppose 5*x - 3*b = 7*x - 52, -4*b - 84 = -4*x. Is x a multiple of 4?
False
Suppose -s + 4*s = -5*k + 194, -5*s + 385 = -4*k. Is 17 a factor of s?
False
Suppose -2*j + 108 = -4*a, -a - 188 = -4*j - 0*a. Is 15 a factor of j?
False
Suppose 3*g + i - 6 = 0, -8 = g - 5*g + 3*i. Suppose -3*o + 64 = 5*k, o - 38 = -g*k + 6*o. Is 14 a factor of k?
True
Does 8 divide 14 + (-6 - (0 - 4))?
False
Let w = 23 + -13. Let l = w - 2. Is 242/l - (-2)/(-8) a multiple of 15?
True
Let v(j) = j**2 + 2*j + 5. Let a be v(-5). Suppose a = 5*x - 3*x. Is 8 a factor of x?
False
Suppose z = -4*v + 19 + 15, 0 = -z + 2*v + 28. Is 25 a factor of z?
False
Suppose 16*k - 7*k = 1251. Does 46 divide k?
False
Is -3 - ((1 - 4) + 1 - 50) a multiple of 10?
False
Let a = -36 - -68. Is 8 a factor of a?
True
Is 10 a factor of (-284)/(-6) + 3/(-9)?
False
Suppose -4*x + 100 = 4*q - 8*x, 2*q - 70 = -3*x. Suppose -2*g + 11 = -g - 5*d, q = 4*g - 5*d. Does 2 divide g?
True
Let z = 0 - 5. Let j = 0 - z. Is 2 a factor of j?
False
Suppose g = 8*g - 329. Does 18 divide g?
False
Suppose 12 = 5*v - v. Suppose 0 = 2*h + 5 + v. Does 13 divide 232/9 + h/(-18)?
True
Let u(v) = -v - 3*v**2 + 4*v**2 + 52 + v**3 + 3*v - 3*v. Let p be u(0). Suppose -3*w - 4 = -p. Does 8