= v - 121, o*v = -5*j - 143 + 441. Does 31 divide j?
True
Suppose -5*y = -2*g - 125, 3*y - 75 = -7*g + 4*g. Suppose -y = 3*b - 8*b, -5*u - 4*b + 20 = 0. Let n = 49 + u. Is 13 a factor of n?
False
Let n = 47 + -50. Let g(y) = -21*y - 3. Is g(n) a multiple of 10?
True
Suppose 5 = -3*i + 2*i. Let b = -2 - i. Suppose 2*y + b*n = 23, -5*y + 2*n + n + 47 = 0. Is y a multiple of 5?
True
Let h(n) = -20*n - 6. Let i(m) = 39*m + 12. Let w(r) = 5*h(r) + 2*i(r). Is 25 a factor of w(-3)?
False
Suppose 2*h - 4*h = 6, 2*h - 150 = -4*c. Let w = 3 + c. Does 20 divide w?
False
Suppose 2*o - 3 = o + p, 4*p + 7 = 3*o. Suppose 0 = -c + o*n + 5, n - 15 = -3*c + 2*n. Suppose -3*l + c*j - 4*j + 1 = 0, -3 = -4*l + j. Is l a multiple of 2?
True
Let a be (-4)/(-7) + 647/7. Let o be 2/5 + a/5. Let s = 19 + o. Is 8 a factor of s?
False
Does 29 divide (-1)/(-5) - ((-3657)/15 + 12)?
True
Let q = 850 - 562. Does 8 divide q?
True
Let z = -329 - -364. Is z a multiple of 2?
False
Suppose -99*l = -95*l - 1236. Is l a multiple of 21?
False
Suppose 0 = 34*f - 36*f - 32. Let p(q) = -4*q - 46. Does 10 divide p(f)?
False
Let q(o) = -o - 10. Let c be q(-12). Suppose 0*d = -c*d + 10. Does 18 divide 75/d - (1 - 4)?
True
Let n(h) = h**2 + 11*h + 16. Let b be n(-13). Suppose 3*u = -5*t + 32, 0*u - 3*u - 3*t = -b. Let p = 21 + u. Is 10 a factor of p?
True
Suppose -2 = -s + 3. Suppose -33 = -6*g + s*g. Is g a multiple of 11?
True
Does 12 divide (-2997)/(-21) + 1 + 10/35?
True
Let a(z) = -z**3 + 4*z**2 - z. Let b be a(3). Suppose m = b*m - 30. Suppose j - m*j = -60. Is j a multiple of 11?
False
Let p(w) = 6 - 4*w + 9*w - 4*w. Let d be p(-3). Suppose 2*c - y + 18 = d*c, -3*c = 5*y - 60. Does 5 divide c?
True
Let g be -2 + 7/((-21)/(-12)). Suppose -3*b = 3*u - 192, 3*b + 46 = -g*u + 176. Is u a multiple of 9?
False
Suppose -39 = 2*b + 3*r - 12, -19 = -b + 5*r. Let m(y) = -y**3 - 5*y**2 - 12. Is m(b) a multiple of 10?
False
Let v = 667 - 981. Let y = -162 - v. Does 8 divide y?
True
Let h(w) = -6*w**2 - w + 6*w**2 + w**3 - 6*w**3. Let l be h(2). Let v = -12 - l. Is 5 a factor of v?
True
Let y(g) be the second derivative of -g**4/12 - g**3 + g**2 - 2*g. Let w be y(-6). Suppose -i + 50 = 2*i + w*b, 0 = 5*i + b - 81. Does 10 divide i?
False
Is (3/5)/((-33)/(-24585)) a multiple of 25?
False
Suppose 2*p = 4 + 138. Suppose -d = -p - 6. Is d a multiple of 7?
True
Let o be (0 + 2/(-6))*0. Suppose o = 5*r + 25, -4*t - 2*r + 4*r = 194. Let u = -36 - t. Does 15 divide u?
True
Let d = 243 + -62. Does 7 divide d?
False
Let j be 10/4*4/5. Suppose -g - j = -2*g. Is 2 a factor of g/((-4)/(-10))*1?
False
Let h(n) = -n**3 - 5*n**2 + 7*n + 5. Suppose -2*l = l + 18. Let i be h(l). Let v = i + 35. Is v a multiple of 14?
False
Let i = 13 - 14. Is (i + -55 - 0)/(-2) a multiple of 14?
True
Suppose 2*m = -6, 2*m + 818 = 21*t - 25*t. Suppose -5*j - 2*o + 6*o = 419, -5*j + 5*o - 420 = 0. Let z = j - t. Is z a multiple of 24?
True
Let v = 41 + -38. Is 6 a factor of 161 - (-2 + -1)/v?
True
Let x = -15 - -13. Let b be (-21)/(-7) - 2/x. Is 26*(-3 - (-14)/b) a multiple of 13?
True
Let l be (2/6)/(0 + (-2)/(-12)). Suppose 2*d + 3*d - 28 = -l*s, -2*s + 5*d = -68. Is s a multiple of 9?
False
Let s(u) = -6*u + 276. Is s(32) a multiple of 4?
True
Let z(m) = 24*m**3 + 2*m**2 - 68*m + 203. Is 19 a factor of z(3)?
True
Let r(i) = -6*i + 46. Let c be r(7). Suppose -5*z + c*x + 112 = -123, 3*z + 3*x - 141 = 0. Is z a multiple of 4?
False
Let q(l) = 2*l + 2*l - 4*l - l. Let n be q(-3). Let i(j) = 11*j - 2. Is 9 a factor of i(n)?
False
Is 8 a factor of ((-155)/15)/(4*(-2)/384)?
True
Suppose 16*f + 6*f = 35068. Is 18 a factor of f?
False
Let b = 2872 - 1734. Does 16 divide b?
False
Let q = -22 - -22. Suppose -5*d + 20 - 10 = q. Suppose 0 = d*f - 6*f + 32. Is f a multiple of 4?
True
Suppose 2*n - 110 = 4*k, 117 = -4*k - 0*n - 5*n. Let f = k - -59. Is f a multiple of 3?
False
Suppose 8*m - 9*m - 4*x = -3914, 2*m + 3*x = 7803. Is 11 a factor of m?
True
Let f = 763 + 1457. Does 30 divide f?
True
Let j(g) = -14*g + 6. Let r(w) = -w + 1. Let c(n) = -j(n) - 5*r(n). Is 29 a factor of c(5)?
False
Let w = 72 - 67. Suppose 0 = -w*f + 231 - 36. Is 37 a factor of f?
False
Suppose -5*b - 5*o = -5, -o + 8 = 5*b - 1. Suppose -b*t - 4*w = 2*t - 124, -13 = -t + 5*w. Is t a multiple of 14?
True
Suppose 5 = -i, i = -4*c - c - 5. Let u be (-18)/(-63) + 26/7. Suppose 0*w - u*w - 3*t + 124 = c, 0 = 3*w - 3*t - 114. Is w a multiple of 6?
False
Suppose -c = -u + 1324, 5*c - 1300 = 9*u - 10*u. Does 60 divide u?
True
Suppose 3*i - 76 - 155 = 0. Is i a multiple of 11?
True
Let m be 16/6*351/6. Let y = 221 - m. Does 13 divide y?
True
Let v be (-3 + 6)/(4/(-76)). Let b = 23 - v. Is 20 a factor of b?
True
Does 4 divide -2*(110/(-4) - 7)?
False
Suppose r = 4*t - 2519, -3*r = 45 - 48. Is t a multiple of 105?
True
Is 734/6 - (14 + 369/(-27)) a multiple of 12?
False
Let w(y) = -55*y - 3. Let o(v) = -167*v - 12. Let f(u) = 2*o(u) - 7*w(u). Let d be 2/3*(-3)/(-2). Is 12 a factor of f(d)?
True
Let s be (-366)/(-5)*(3 + (-33)/(-9)). Suppose 120 = -2*k + s. Is k a multiple of 23?
True
Let o = 224 + 76. Suppose 2*k - o = -3*k. Suppose -3*n + k = -27. Is n a multiple of 13?
False
Let k(m) = 66*m**3 + m**2 - 2*m + 1. Let y be k(1). Suppose -2*w = -y - 54. Does 19 divide w?
False
Suppose -3*r + 174 = m - 4*r, 5*r = -2*m + 362. Is 44 a factor of m?
True
Suppose 0 = r + v + 46, 163 = -4*r + 3*v - 0*v. Let x = 76 + r. Does 15 divide x?
False
Let t = 2079 + -2022. Is t a multiple of 19?
True
Let o(r) = 7*r + 9. Let m(d) = -35*d - 44. Let j(v) = 2*m(v) + 11*o(v). Let n(h) = 6*h + 11. Let z(p) = 3*j(p) - 4*n(p). Is 4 a factor of z(-5)?
True
Let a = -40 - -69. Suppose a = 4*k + 1. Is k a multiple of 6?
False
Let a(q) = q**3 - 2*q**2 - 507. Let s be a(0). Let u = 773 + s. Is 19 a factor of u?
True
Let y = 910 + -316. Does 99 divide y?
True
Suppose 0 = 28*i - 29*i - 21. Let u = 8 - i. Is u a multiple of 10?
False
Suppose a + 108 = 5*a. Suppose -3*v + a = -36. Suppose 2*w - z = z + 78, w + 5*z - v = 0. Is 15 a factor of w?
False
Suppose 0 = -5*k - 3*i + 204, -k + 5*i + 28 + 24 = 0. Is k a multiple of 5?
False
Let x = -4016 - -8016. Is 125 a factor of x?
True
Let u(o) = 17*o. Let p be u(2). Suppose 3*g + 4*k = 5*g - 32, 2*g - 5*k - p = 0. Suppose -b = -20 - g. Is 8 a factor of b?
True
Let h be 613 + 1 + -4 + 0. Suppose 0 = -22*b + 12*b + h. Is b a multiple of 5?
False
Let m be (1/(-3))/((-1 + -2)/27). Suppose 0 = b - 3*q - 46, 250 - m = 5*b + 2*q. Is b a multiple of 7?
True
Let w(j) = 2*j**2 + 9*j + 5. Let q be w(-6). Let o = q + -19. Suppose -p + o = -68. Is p a multiple of 18?
True
Let d be ((-2)/(-3))/(18/81). Suppose 4*o - d*f - 104 = 46, -4*f - 80 = -2*o. Does 9 divide o?
True
Suppose 5*t - h = 11, 0 = -3*t + t - h + 3. Let m(c) = -3*c - 2. Let y be m(-5). Let v = t + y. Does 10 divide v?
False
Suppose r + 5 = t, 3*t = 4*t + 4*r + 20. Let f be 1270/14 - 4/(-14). Suppose -3*s + 3*b + 57 = 0, t*b - b + f = 4*s. Is 17 a factor of s?
False
Suppose -3*z + 40 = 2*j + 2*z, -j = -5*z - 35. Does 5 divide j?
True
Let s(v) = -2*v**2 - 11*v - 9. Let d(t) = t**3 - 4*t**2 - 3. Let g be d(2). Let o be s(g). Let q = -61 - o. Does 23 divide q?
True
Let i = 14 - 9. Suppose -i*s + 0*s = -395. Does 19 divide s?
False
Suppose 977 = -7*g + 4694. Does 27 divide g?
False
Suppose -3*x - 3*r - 166 = -40, x - 3*r + 62 = 0. Let c = x + 83. Is 18 a factor of c?
True
Let h = -33 - -169. Suppose v = 5*v - h. Is v a multiple of 13?
False
Let k be (99/(-6))/(-3) - (-3)/(-2). Is -98*2/k*-5 a multiple of 23?
False
Let d(o) = -o**2 - 4*o - 2. Let s be d(-2). Suppose 3 = 2*n - 1, -s*a + 22 = 5*n. Let g(p) = p**3 - 4*p**2 - 6. Is g(a) a multiple of 12?
False
Let r(j) = j**2 + 6*j - 22. Let q be r(12). Let p = 338 - q. Is 12 a factor of p?
True
Let j be (3 - 1)/((-4)/(-10)). Suppose -s - 152 = -j*w, 2*w = -0*w - 3*s + 54. Suppose -4*z + 3*d + 57 = 0, 5*z - 2*z - w = -2*d. Is z a multiple of 8?
False
Suppose 2*j = -0*j + 536. Suppose j = u - 4*b, -4*u - u + 1265 = 5*b. Suppose 224 = 5*d - u. Is 24 a factor of d?
True
Let o = 1099 + -248. Is o a multiple of 10?
False
Let q(y) = y**3 - 16*y**2 - 33*y + 44. Does 4 divide q(18)?
False
Suppose -4*u = 3*n - 242, -3*u + 4*u = -3*n + 56. Suppose k + 4*z - 38 = 0, z = -2*k + u + 7.