 - 3*n = 55, 3*z = -0*z + v*n + 40. Is 4 a factor of z?
False
Does 17 divide ((-8)/2)/(1/(-17))?
True
Let a(k) = -k**3 + 5*k. Let y be 32/(-10) - (-2)/10. Is a(y) a multiple of 12?
True
Is 1*46*(-1 - (-24)/16) a multiple of 3?
False
Let m(u) = -u**3 + u**2 - u + 1. Let o(j) = 2*j**3 + 2*j**2 - j - 7. Let v(k) = -3*m(k) - o(k). Does 4 divide v(4)?
True
Let y(a) = a**3 + 12*a**2 + a. Does 10 divide y(-11)?
True
Suppose 0*c = 2*c - 66. Is c a multiple of 13?
False
Let z(n) = n**2 - 5*n - 9. Is z(-4) a multiple of 9?
True
Suppose -2 = 2*h + 4, -3*h = 2*q + 3. Let k(j) = 7*j - 3. Is 9 a factor of k(q)?
True
Suppose -4 = 4*y, -2*b + 3 = -6*b - 3*y. Let v(k) = -k**2 + 8*k + 6. Let u be v(5). Suppose b = -3*o - 3*a + 6*a + u, -35 = -5*o - 4*a. Is o a multiple of 7?
True
Let d = -198 + 287. Suppose 0 = -3*n + 4 + d. Does 12 divide n?
False
Let y = -28 + 52. Is 17 a factor of y?
False
Suppose -336 = -4*a + 3*f, -3*f - 579 + 159 = -5*a. Is 12 a factor of a?
True
Suppose -k = -2*d - 18, k = -k + 4. Let a(w) = 4 - 8*w - 9*w**2 - 4*w**3 + 2*w**3 + w**3. Is 4 a factor of a(d)?
True
Let b(a) = a**3 - 18*a**2 + 22*a - 4. Is 21 a factor of b(17)?
False
Let v(o) = 2*o - 11. Let q be v(8). Suppose 39 = -q*u + 9. Let z = u + 26. Is z a multiple of 9?
False
Let g be 7/3 - (-2)/3. Suppose 4*f - 11 = -g*m - 0*m, 2*m = f - 11. Suppose 0 = d + 2 - f. Does 2 divide d?
False
Suppose -185 = -24*v + 19*v. Does 6 divide v?
False
Let y(m) = -m**3 + 8*m**2 + 2*m + 5. Let g be y(6). Suppose -4*b = -59 - g. Is b a multiple of 16?
False
Suppose -39 + 9 = -p. Is p a multiple of 15?
True
Let k be 1/((10/(-8))/(-5)). Suppose 28 = k*w + 4. Let a(c) = c**2 - 2. Is a(w) a multiple of 17?
True
Let y = -14 + 26. Let l = y - -6. Is 12 a factor of l?
False
Let b = 0 - 2. Let i be 15/3 - (2 + b). Suppose 5*r = -t + 39, 0*r - 47 = -i*r - 3*t. Is 7 a factor of r?
True
Let i = -146 - -230. Is i a multiple of 12?
True
Let b(o) = -29*o + 6. Let h(i) = -15*i + 3. Let n(d) = -6*b(d) + 11*h(d). Is n(2) a multiple of 5?
True
Suppose -3*m + 6*m - 294 = 0. Suppose -4*r + m = -46. Is r a multiple of 9?
True
Let h = -31 + 21. Let g = 4 - h. Is g a multiple of 10?
False
Suppose 4*a = 2*w + 2*w, 3*a + 2*w = 10. Suppose -3*s = -a*s + g + 5, -4*s - 25 = 5*g. Suppose s = 2*n + 2*n - 104. Does 11 divide n?
False
Let t(q) = -11*q**2 + 2*q - 3. Let j(g) = 11*g**2 - 3*g + 4. Let d(f) = 4*j(f) + 5*t(f). Let s be d(1). Does 6 divide 18/1*(-8)/s?
True
Let r(t) = -4*t + t**2 - 4 + 0*t + 3*t - 2. Let c be r(5). Does 7 divide 7*(22/c + 1)?
False
Suppose 0 = 17*u - 20*u + 75. Does 13 divide u?
False
Suppose 0 = 4*y - 2*y - 124. Let o = -6 + y. Is o a multiple of 23?
False
Let a(u) = -7*u**3 + 6*u**2 - 12*u + 2. Let b(j) = -j**3 - j. Let r(d) = a(d) - 6*b(d). Let k be r(5). Does 6 divide 12 + (0 - (k - -1))?
False
Suppose -5*k + 3*a = -58 - 133, -4*k - 3*a = -169. Does 8 divide k?
True
Let f = 1 - 1. Suppose 5*s - 120 = -0*u - 5*u, 4*u - 5*s - 60 = f. Is (-8)/u - (-124)/10 a multiple of 12?
True
Let q = 0 - -2. Suppose 3*w = -5*h + 65, -w - q*h = 4*w - 121. Suppose -3*y = 2*y - w. Is y a multiple of 2?
False
Suppose 4*b + 4 = 2*b. Let h(y) = -y**3 - 3*y**2 - 3*y - 2. Let x be h(b). Let t(i) = -i**2 + 18. Does 14 divide t(x)?
False
Suppose 1085 = -0*y + 7*y. Is y a multiple of 34?
False
Suppose 5*y = 13 + 22. Let t be (y - 3)/((-4)/(-2)). Does 2 divide t/7 + (-40)/(-7)?
True
Suppose 0 = t - 4*t + 54. Let n = -13 + t. Does 5 divide n?
True
Let q = 5 - 2. Suppose 5*d - 6 = q*d. Suppose 110 = 2*u + d*u. Is 20 a factor of u?
False
Let u(c) = -c**3 - 6*c**2 - 11*c + 2. Is 28 a factor of u(-6)?
False
Suppose 18 = -q - 2*q. Let y(n) = 3*n + 9. Let d be y(q). Let u = d + 11. Does 2 divide u?
True
Suppose 5*w = z + 8, 3*z - 3 - 3 = 0. Suppose r + w*r = 60. Is 5 a factor of r?
True
Let z = -94 - -28. Let f = -40 - z. Is 13 a factor of f?
True
Let u(g) = 25*g - 29. Does 18 divide u(6)?
False
Let s(r) = 2*r - 5. Suppose -5 = 5*z - 40. Let b be s(z). Does 20 divide (-2)/b - 742/(-18)?
False
Let m(k) = 2*k + 5. Let l be m(5). Is 4/30 + 913/l a multiple of 13?
False
Suppose -56 - 48 = -f + 2*o, -5*o + 253 = 2*f. Is 38 a factor of f?
True
Suppose j + 8 - 52 = 0. Is 7 a factor of j?
False
Let o = -97 - -178. Is o a multiple of 12?
False
Let x = 146 + -100. Suppose -3*g = -14 - x. Is 7 a factor of g?
False
Suppose -2*k + 0*k = 4*j - 98, 210 = 5*k + 3*j. Is 13 a factor of k?
True
Let b = -119 - -344. Does 33 divide b?
False
Suppose 8 = -4*r, 0 = -5*u + 2*u + 3*r + 51. Is 3 a factor of u?
True
Suppose -3*j = j - 2*u - 6, -2 = -3*j + 2*u. Suppose -f = -0*f + 4*w - 13, 0 = -w - j. Is f a multiple of 13?
False
Suppose -5*s - v + 75 = -3*s, -s - 3*v + 40 = 0. Is 5 a factor of s?
False
Let z be (4/(-10))/(2/(-10)). Let d(w) = w**2 - 2*w + 2. Let l be d(z). Suppose 145 = 5*g - 5*r, r - 70 = -l*g - r. Is 12 a factor of g?
False
Is 2 + 33 + 2/(-4)*-2 a multiple of 12?
True
Let c = 92 - 64. Let r = c + -13. Does 9 divide 264/r - 4/(-10)?
True
Let j(d) = 3*d + 5*d**2 - 6 + 4 - d**3 + d. Is 9 a factor of j(5)?
True
Suppose 3*b + b + 4 = 0. Let v be 69/b - (-1)/1. Let s = -26 - v. Is s a multiple of 14?
True
Suppose -4*j - 2*g = -18, -g = j - 3*j + 3. Suppose -6*n - 16 = -q - j*n, -4*n + 72 = 2*q. Is 10 a factor of 272/q + (-2)/(-7)?
True
Suppose 5*l = 2*l + 6. Let r be (-12)/9 - l/(-6). Is r/(-4) + 19/4 a multiple of 5?
True
Suppose -4*d + 4 = -8. Does 3 divide d?
True
Let h = 7 - 5. Suppose 3*a - 4*g - 274 = -h*a, 0 = -2*a + 4*g + 112. Is 18 a factor of a?
True
Suppose 0 = 3*t, -70 = 5*l + 3*t - 6*t. Let z be 4/14 + (-276)/l. Suppose 3*m - z = -2*m. Is m a multiple of 4?
True
Suppose 205 + 19 = 7*s. Does 16 divide s?
True
Suppose -2*i + 2 + 2 = 0. Suppose -a - i = -5*m + 2*m, -a + m = -2. Suppose 0 = a*l - 3*w - 0*w - 27, 5*w + 31 = 2*l. Is 3 a factor of l?
True
Suppose 5*m - 20 = m, 5*c - 4*m - 1450 = 0. Is 21 a factor of c?
True
Suppose 2*u - 27 = -7. Let g be (-2)/(-5) + 28/5. Let p = u - g. Does 4 divide p?
True
Let w be (-24)/84 + 16/7. Suppose 5*k - w*n = n + 90, 2*n = 4*k - 70. Does 5 divide k?
True
Does 5 divide -11*10/15*-3?
False
Suppose 3*t - 25 = 8. Does 6 divide t?
False
Let y = 9 + -5. Suppose m - 2*j = 21, -m + j - y = 4*j. Is 3 a factor of m?
False
Suppose -3*c - z = -236, z - 77 - 5 = -c. Is c a multiple of 12?
False
Suppose -4*k + 34 + 74 = 4*l, -l - 66 = -2*k. Suppose -73 = -4*a + k. Is 13 a factor of a?
True
Suppose -2*w = -3*w + 4. Suppose -2*c - 9 - 79 = 4*h, 5*h - w*c = -123. Does 11 divide 9/(-3) + (2 - h)?
True
Suppose a - 11 = -2*a + d, 4*d = a. Let c be -4 + 5 - -19*4. Suppose -3*v - a*i = -8*v + c, 4*v - 3*i = 61. Is 6 a factor of v?
False
Let d be 1*((-1 - -1) + 1). Let j be (-16)/(-2) + -1 + d. Does 16 divide ((-38)/8)/((-2)/j)?
False
Suppose -7*d + 4 = -5*d. Suppose -d*y - 2*y + 272 = 0. Suppose 0 = 2*w + 4*u - 37 + 9, -2*w + y = -4*u. Is 18 a factor of w?
False
Suppose t - 4*t + 366 = 0. Let q = 1 + -1. Suppose 114 = 4*w - q*i + 5*i, t = 4*w + i. Is 20 a factor of w?
False
Let a be 3*(3 - (-24)/(-9)). Let o be 112 + -3 + 2/a. Suppose -4*y + o = -y - 3*t, 0 = -5*y + 2*t + 179. Is y a multiple of 12?
False
Let w(s) = -s**3 - 11*s**2 + 7*s - 11. Is w(-12) a multiple of 13?
False
Let f(b) = b**3 - 2*b**2 + 3*b. Let d(o) = o - 4. Let n be d(6). Let s be f(n). Is (142/s)/((-4)/(-12)) a multiple of 20?
False
Let o(q) = -q**3 - 9*q**2 + 12*q + 14. Let r be o(-13). Does 14 divide 3/12 - r/(-8)?
False
Let r(d) = 79*d - 2. Let g be r(2). Suppose -258 = -5*q - 3*l, -2*q - q = 3*l - g. Suppose -j + 2*f = -q, 4*j + f = -j + 233. Is j a multiple of 20?
False
Let q = -92 + 163. Is 15 a factor of q?
False
Suppose -v = -0*v - 73. Suppose 2*k + 2*i = -i - v, 0 = k - 3*i + 41. Is 2 + 1/(-2)*k a multiple of 16?
False
Suppose 2*c - 5*v + 3 = 76, -2*v - 104 = -3*c. Is 7 a factor of c?
False
Let l = 6 - 8. Let o = l - -9. Is o even?
False
Let o(w) = 2*w**2 - 10*w + 8. Let p(d) = 2*d - 3. Let s be -6*3/(-6) + 2. Let k be p(s). Is 19 a factor of o(k)?
False
Let h(q) = q - 12. Let a be h(11). Let o(n) = -8*n + 1. Does 9 divide o(a)?
True
Suppose 16 = -6*n + 2*n, -4*i - 3*n - 16 = 0. Let y = 7 + i. Is 3 a factor of y?
True
Let m be 1/(-1) + 3 + 1. Suppose -2*s + 1 = -7, -2*i + m*s = -26. Is 7 a factor of i?
False
Let u(y) = 5*y**3 - y**2 + 