e of m(z). Does 2 divide w(-12)?
True
Is 20 a factor of (-26)/(65/25 - 3)?
False
Let x(o) = -10*o + 16. Is x(-4) a multiple of 9?
False
Suppose 0 = -2*q, -3*b - 3*q = q - 3. Suppose m = -2*z + 10, -4*m - 2 - 2 = -3*z. Is 7 a factor of b*14/z*6?
True
Suppose -2*t + 28 = -112. Suppose v = -v + t. Does 12 divide v?
False
Let y(s) be the third derivative of -s**4/6 - 19*s**3/6 - 2*s**2. Is y(-8) a multiple of 3?
False
Let p(u) = u**3 - 5*u**2 + 3*u + 3. Let d be p(3). Let q be 1 - (0 + d) - 2. Suppose -4*l + l - 14 = -q*a, -2 = -l. Is 2 a factor of a?
True
Suppose -14*z + 128 = -12*z. Is z a multiple of 8?
True
Suppose 12 = 3*y, 3*x = -4*y + 141 + 46. Suppose 32 + 72 = 4*i + 4*s, 2*i + s - x = 0. Is i a multiple of 13?
False
Suppose -6*a = -a + 585. Let s = -83 - a. Does 12 divide s?
False
Let f = 47 - 34. Suppose -3*y - 1 = -f. Is 21 a factor of 1/y - 1215/(-20)?
False
Suppose 5 = 8*q - 3*q, -3*w + 1 = -2*q. Let n be 0/((w + 0)/1). Suppose 60 = -n*g + 2*g. Is g a multiple of 12?
False
Suppose 2*s - 180 = -0*k - 2*k, -2*k = -5*s + 478. Let y be (-6)/15 - s/(-10). Suppose n = -y + 27. Is n a multiple of 14?
False
Let d(o) = o + 1. Let w(m) = 10*m - 2. Let h(f) = -f. Let b(a) = 2*h(a) + w(a). Let k(p) = -b(p) + d(p). Does 19 divide k(-5)?
True
Let r = 86 - 2. Is 12 a factor of r?
True
Suppose 3*y - 4*y + 117 = 3*q, -2*q + 2*y = -78. Is q a multiple of 13?
True
Let v be -4*(-2)/4 - 1. Suppose -5*h - 2 = -f + v, -5*h + 29 = 3*f. Suppose -40 = -f*n + 3*n. Is n a multiple of 8?
True
Is (296 - -6) + -1*(0 + 3) a multiple of 13?
True
Suppose 12 = -4*s - 0. Is 1*42 - (s + 2) a multiple of 14?
False
Suppose 712 = 4*y - c, -167 = -y + 2*c + c. Let o = y + -104. Suppose 2*v = o + 25. Does 17 divide v?
False
Let p(u) be the third derivative of 0 + 1/3*u**3 + 1/24*u**4 + 0*u + 2*u**2. Is p(6) a multiple of 8?
True
Is 13 a factor of 3/(-18) - 547/(-6)?
True
Let o = 8 + -6. Suppose -k + 9 = -o. Does 5 divide k?
False
Suppose -n = f + n - 1, -5*n + 5 = 5*f. Let i(a) = 16*a**2 + a. Is 17 a factor of i(f)?
True
Let z be 2/4*(-10 - -2). Let j = z + 9. Suppose 54 = -2*t + j*t. Is t a multiple of 11?
False
Suppose 4*w + 0*p + 2*p - 18 = 0, 5*w + 4*p = 27. Suppose -5*b + 5*f + 33 = -232, -4*b + w*f = -215. Does 20 divide b?
False
Suppose 0 = -5*a - 0*j + 3*j + 10, 0 = -4*a - j + 8. Let y be (-4 - 4)/2 - -8. Suppose 4*t = y*w + 24, -a*t - 2*w + 20 = -0*t. Is 4 a factor of t?
True
Let m = -13 - -10. Is (3 + m/(-1))*6 a multiple of 12?
True
Suppose 2*j - 268 = -2*g, -492 = -4*g - j + 35. Suppose 4*t - g = y, 3*y = -0*t + 2*t - 53. Does 13 divide t?
False
Suppose -5*t = -3*t, -q = -3*t - 17. Is q a multiple of 6?
False
Let s be 669/(-27) - 2/9. Let t be ((-15)/s)/((-2)/(-10)). Suppose -4*d = -t*d - 20. Does 10 divide d?
True
Suppose 3*a - 1 + 4 = 0. Let s(k) = 5*k - 6*k - 1 - 10*k - 2*k. Is 12 a factor of s(a)?
True
Let a(p) = 3*p**2 + 8*p - 5. Is a(-6) a multiple of 17?
False
Let g(c) = -c**3 - 21*c**2 + 23*c + 40. Does 6 divide g(-22)?
True
Suppose -2*g + 5*u + 7 = -7, g - 5*u = 12. Let s = -2 - -2. Suppose s = g*h - 4*h + 60. Does 18 divide h?
False
Let z(b) = b - 6. Let q be (-21)/(-2)*(-20)/(-15). Does 2 divide z(q)?
True
Does 5 divide 591/45 + 2/(-15)?
False
Suppose 3*j - 189 = -3*m - 48, -215 = -4*j + 5*m. Does 15 divide j?
False
Suppose -2*h + 66 + 64 = -2*v, -2*h + 5*v + 121 = 0. Does 17 divide h?
True
Let n(b) = -14*b - 2. Is n(-2) a multiple of 7?
False
Suppose 0 = f + 2, 7*f = 5*r + 2*f - 715. Is 22 a factor of r?
False
Let x = 2 - 5. Is 4 a factor of 20*(-2)/12*x?
False
Let n(t) = t**3 + t**2 - 2*t + 17. Suppose 0 = -3*c + b + 3*b + 8, b = c - 2. Is n(c) a multiple of 4?
False
Let c(n) = 3*n**2 - 5*n + 4. Let h = 11 + -8. Does 6 divide c(h)?
False
Let v = 250 + -100. Does 30 divide v?
True
Let b = 3 - 2. Let k(j) = 2*j**3 - j**2 + j - 1. Let d be k(b). Is (15/(-6))/(d/(-6)) a multiple of 15?
True
Let x(s) = s**3 - 20*s**2 + 20*s + 38. Is x(19) a multiple of 9?
False
Suppose -5*w - 21 = -6. Does 16 divide 13/1 - w/1?
True
Suppose -5*m - 3*s = -1816, 2*m - 2*s = -3*m + 1806. Is m a multiple of 42?
False
Suppose -p + 54 = -32. Is 10 a factor of p?
False
Let p = 5 + -9. Let v(y) = -y**2 - 4*y. Let f be v(p). Suppose f = -i + 13 + 23. Is i a multiple of 18?
True
Let p(j) = 85*j + 3. Is p(1) a multiple of 8?
True
Let z = -15 - -6. Is z/(-6) - 198/(-4) a multiple of 17?
True
Suppose 0*y + 2*z - 109 = -y, 2*y - 4*z - 194 = 0. Let c = 181 - y. Suppose 7*p = -5*v + 2*p + 70, -5*v + c = p. Does 14 divide v?
False
Let n(s) = -s**2 - 8*s - 7. Suppose 0 = 5*h + 5, 26 = 4*z - 3*h + h. Let w be (-26)/z - (-2)/(-3). Is n(w) a multiple of 8?
True
Let c(k) = 110*k - 30. Is c(3) a multiple of 20?
True
Suppose 6 = m - 20. Does 18 divide 3 - ((-3 - m) + -2)?
False
Let f = -24 - -56. Is f a multiple of 25?
False
Let j(t) = t**2 + t + 310. Does 13 divide j(0)?
False
Is 2 a factor of 71/6 - (5 - (-124)/(-24))?
True
Let k = -6 + 9. Let q(l) = 4*l + 4*l**3 + 0*l**2 - 4*l**2 - 3*l**3. Does 2 divide q(k)?
False
Suppose -a + 81 + 36 = 0. Is 38 a factor of a?
False
Let y = -7 + -1. Let b be (-1*15)/(12/y). Is 12 a factor of b/18*3*21?
False
Let j = 103 - 45. Is 29 a factor of j?
True
Let a(g) = 3*g**3 - 3*g**2 + 4*g - 2. Is a(3) a multiple of 25?
False
Let k(c) = -c**3 - 12*c**2 + 14*c - 9. Is 26 a factor of k(-14)?
False
Let c(z) = 2*z - 6. Let k be c(5). Suppose 6 + 2 = k*a. Is 2 a factor of a?
True
Let u = -15 - -24. Suppose 4*l = 103 + u. Is l a multiple of 14?
True
Let k(n) = -n**2 + 15*n - 4. Does 25 divide k(6)?
True
Let g = 1 - -1. Suppose -5*z - g + 87 = 0. Is 11 a factor of z?
False
Let y(w) = -58*w - 1. Let t be y(-2). Suppose 0*x - 4*x - 328 = 0. Let m = x + t. Is 15 a factor of m?
False
Let a = 15 + -12. Suppose -2*y + 4*f = -184, -a*y + 126 = f - 115. Is y a multiple of 25?
False
Let z be 1*(10 + (2 - 2)). Suppose -4*b - 113 = -549. Suppose 0 = 5*r - 5*n - 260, 2*r + z - b = 3*n. Is 22 a factor of r?
False
Suppose 0 = 5*y - 1855 + 375. Is y a multiple of 57?
False
Let d(i) = -i**3 + 15*i**2 - 13*i - 12. Let z be d(14). Does 5 divide -1*(1 + z)*-3?
False
Let a be 34/10 + 4/(-10). Suppose -a*n - 43 = 5*b + 36, -4 = -2*n. Let f = b + 32. Is f a multiple of 7?
False
Suppose -3*f - 1 = v - f, -2*v + 19 = -3*f. Suppose 2*g - 22 = 3*h - 88, -v*g = -h + 35. Is h a multiple of 12?
False
Let b be (1*2)/(14/(-35)). Does 9 divide ((-3)/2)/(b/90)?
True
Let f(x) = x**3 + 4*x**2 - 14*x + 4. Is f(-6) a multiple of 5?
False
Let u be (54/14 + -3)*-7. Is 45/(-2 + (-21)/u) a multiple of 10?
True
Suppose 316 = v - 2*d + 114, 3*d = 4*v - 828. Does 21 divide v?
True
Let i = -2 - 3. Let l = i - -10. Suppose -101 = -3*b - l. Is b a multiple of 16?
True
Let t = -13 - -13. Suppose 2*v - 3*g - 87 = -0*g, -3*v + 5*g + 128 = t. Is 17 a factor of v?
True
Let n be 4 + (-4 + 2)/(-2). Suppose -n*c + c + 216 = 0. Is 14 a factor of c?
False
Suppose -5*b - 2*y - 10 = -2*b, -20 = -4*b + 4*y. Is -1 + b + -2 + 50 a multiple of 15?
False
Let u = 60 + -24. Suppose u = 2*h + h. Does 4 divide h?
True
Is 4 a factor of (12/9)/(4/12)?
True
Let o = 19 - 47. Let t(y) = 7*y + 3. Let h be t(-3). Let i = h - o. Is 10 a factor of i?
True
Does 25 divide 22 + 1 - (7 + -9)?
True
Let v(o) = -1 - 8 + 3 + 7*o. Is v(4) a multiple of 11?
True
Suppose 3*p - 4*m + 6 - 77 = 0, 4*p - 2*m - 98 = 0. Let s(i) = i**2 - 5*i - 5. Let j be s(5). Let u = p - j. Does 10 divide u?
True
Suppose 0 = q + 4*q - 15. Suppose 13 = q*f - 23. Is 6 a factor of f?
True
Let l(q) = -11*q - 9. Let j be l(-3). Suppose 2*s = t - 2*t + 16, -4*t = 4*s - j. Is 6 a factor of s?
False
Suppose 3*p + 792 + 183 = l, 0 = -5*p + l - 1625. Let z be p/(-10) + (-1)/(-2). Does 8 divide -5*(-1 + z/(-15))?
True
Let o(s) = -7*s**2 + 21*s - 12. Let x(l) = 3*l**2 - 10*l + 6. Suppose -8 = p + 3*p. Let a(n) = p*o(n) - 5*x(n). Does 10 divide a(4)?
True
Let o(h) = -h + 8. Is 20 a factor of o(-12)?
True
Suppose 0 = -5*i - 4 + 69. Is i even?
False
Is 4 a factor of 26/5*35/14?
False
Let p(a) = a**2 + a. Let h(n) = -2*n**2 - 3*n + 5. Let j(g) = h(g) + 3*p(g). Is j(-7) a multiple of 18?
True
Let l = -39 - -82. Is 13 a factor of l?
False
Suppose 5*m - 728 = m. Does 39 divide m?
False
Suppose 4*g - 3 = 21. Suppose -4*b = -b - g. Suppose 30 = 3*o + b*k, -18 = -o - 2*o + 2*k. Is 3 a factor of 