5, -g*k + 5 = -7. Let d = 43 - o. Is d a multiple of 18?
True
Let l = -12 + 20. Suppose -2*b + 176 = 4*o, -35 = -o - l*b + 3*b. Suppose v - o = -4*v. Is v a multiple of 4?
False
Suppose 0 = -2*c - 0*c + 4*m + 18, 0 = -2*c - 2*m + 18. Let s = c - 5. Is s a multiple of 4?
True
Let u(z) = z**2 - 7*z - 34. Does 10 divide u(12)?
False
Suppose -13*p - 176 = -9*p. Let n = -11 - p. Does 15 divide n?
False
Suppose -2*y = 5*t - 355, 4*t = 2*y + 3*y + 317. Is 22 a factor of t?
False
Let j be (-8 - (1 + -1)) + 0. Let x be (26/j)/(1/(-4)). Suppose -3*v + x = -23. Is 6 a factor of v?
True
Let n(f) = 2 - f**3 - 5*f**2 + 2*f**3 + 3*f + 1. Let i be n(4). Is ((-2)/(-6))/(i/(-66)) a multiple of 11?
True
Let y = 1 + -3. Is 11 a factor of 20*(28/10 + y)?
False
Suppose 129 = -4*n + 1069. Suppose 8*p - n = 3*p. Is 17 a factor of p?
False
Is 6/(-2) + -10 + 40 a multiple of 5?
False
Let s be (-9)/27 + 50/6. Is 6 a factor of (-20)/5*(-26)/s?
False
Let m(o) = -4*o**2 + o + 7. Let t(p) = -5*p**2 + 8. Let g(i) = 7*m(i) - 6*t(i). Let j = -4 - 1. Is g(j) a multiple of 6?
False
Let v = -13 + 69. Is 22 a factor of v?
False
Let r = 21 - 6. Does 15 divide r?
True
Is 13 a factor of (5 + -1)*(-218)/(-8)?
False
Let f(k) = -k + 54. Let q be f(0). Suppose -s + 0*s = -4*z + 140, 0 = z - 5*s - q. Is z a multiple of 14?
False
Suppose -9*o = -10*o + 70. Does 10 divide o?
True
Suppose 226 = 2*s + 78. Is 26 a factor of s?
False
Let j be 54/12*(-4)/(-6). Suppose 0*l = j*l - 63. Suppose 0 = -x - 2*y + 18, 0*x = x - y - l. Is 10 a factor of x?
True
Let h(g) = g - 5. Let l be h(7). Suppose 28 + 76 = 4*s. Suppose -3*j = -l*j - s. Is 13 a factor of j?
True
Let s be (-2)/(-7) + 4/(-14). Suppose -3*q = -3*t + 9 - s, -6 = q - 2*t. Let j(h) = h**3 - h + 11. Does 11 divide j(q)?
True
Is 24 a factor of -3 + (100 + -3 - -2)?
True
Suppose 6*f = 2*f + 240. Does 15 divide (2 + 24/(-15))*f?
False
Let b(g) = -g - 7. Let v be b(-7). Let c(q) = -q + 4. Let n be c(v). Suppose n = y, 39 = 4*m + 5*y - 85. Is 13 a factor of m?
True
Suppose 0 = -3*d + 5*d - 46. Let k = d + -14. Does 3 divide k?
True
Let f be 5240/(-25) + 4/(-10). Is 16 a factor of 6/(-39) + f/(-13)?
True
Let v(g) = 3*g + 6. Let a be (-1*1)/((-7)/21). Does 4 divide v(a)?
False
Let y(i) = -6*i - 5. Let x(o) = o + 1. Let d(c) = -5*x(c) - y(c). Let h be d(5). Suppose -3*s + 5*b + 48 = -5, -h*s + 85 = -5*b. Does 9 divide s?
False
Let u(v) = 13*v - 33. Is u(6) a multiple of 15?
True
Suppose 2*p = -0*p + 20. Suppose -u = u + p. Let s(t) = t**2 + 2*t - 3. Is s(u) a multiple of 7?
False
Let p = 6 - -3. Let n = 14 - 12. Suppose n*a - p = -a. Is a even?
False
Suppose 14*z = 16*z - 110. Does 5 divide z?
True
Is 38 a factor of 5/25*-54*-30?
False
Let z = -13 + 21. Does 2 divide (0 - 3)*z/(-12)?
True
Let s(v) = v - 28. Let h be s(0). Let q be 2/(-7) - 1576/h. Suppose -2*k = -6*k - i + 112, -2*i = 2*k - q. Is 14 a factor of k?
True
Let v = 118 + -78. Suppose -4*k + v = -0*k. Is k a multiple of 5?
True
Suppose -3*y + 2 = -7. Suppose -29 = -h + 5*d, d = 2*h - y*d - 28. Suppose -h*w + 48 = -0*w. Does 7 divide w?
False
Let k be -20*(9/3)/(-3). Suppose 4*n = k, 4*g + 3*n + 50 = 121. Is 14 a factor of g?
True
Suppose 5*z - 490 = 510. Is 9 a factor of z?
False
Suppose -i + 0*d + 1 = d, -4*i + 5*d + 40 = 0. Let x = i - -4. Is x a multiple of 4?
False
Let j = -9 - -6. Let x = -3 - j. Suppose 4*w - 198 + 14 = x. Does 23 divide w?
True
Suppose -m = -5*j + 21, 0 = 4*j - 2 - 2. Let o = m - -28. Is o a multiple of 4?
True
Let q = 5 - 7. Let l = 16 + -17. Is 2 - 25*l - q a multiple of 12?
False
Let c = 8 - 3. Suppose -2*v + 5*y + 21 = v, 39 = 2*v + c*y. Is 8 a factor of v?
False
Let x(d) = d**2 - 9*d. Let c be x(10). Let f be -4 + 5/(c/6). Let o = f - -15. Is 9 a factor of o?
False
Let t = -33 + 8. Is t/(-2) - 5/(-10) a multiple of 13?
True
Suppose -8*x + 36 = -636. Does 42 divide x?
True
Suppose -5*i + 56 = -3*t - 7, 2*t = 5*i - 47. Let d = t - -30. Is d a multiple of 7?
True
Let h = 223 + -131. Does 27 divide h?
False
Suppose 0*p = 2*p + 3*v, -2*v = -4*p. Suppose 5*k - 3*f + f = 24, p = -2*k + 4*f. Is k a multiple of 6?
True
Suppose -3*s = s - 8. Suppose -f = s*c - 32, -3*c - 24 = -2*f + 12. Does 12 divide f?
True
Suppose -57*s + 56*s = -84. Is 18 a factor of s?
False
Let a be 60 + 1/2*4. Suppose 4*h + 6 = a. Does 5 divide h?
False
Is 272/(-16)*-1*1 a multiple of 7?
False
Suppose 2*v - 25 = -4*s + 11, -2*v + 31 = 3*s. Is v a multiple of 2?
True
Let v(x) = -x**2 - 7*x - 3. Is 3 a factor of v(-5)?
False
Let z = -2 + 8. Is 261/21 + z/(-14) a multiple of 12?
True
Suppose 2*y = 5*c - y - 133, -2 = 2*y. Does 15 divide c?
False
Let k(v) = 20*v + 126. Does 6 divide k(-6)?
True
Let n = 23 - 45. Let m = n - -40. Is 10 a factor of m?
False
Suppose 0 - 3 = -b. Let p(t) = -t**2 + 4*t + 1. Let k be p(b). Suppose -m - 4*v + 3*v = -16, -k*m + 4*v = -48. Does 14 divide m?
True
Suppose -192 = -t - 3*t. Does 12 divide t?
True
Let z(t) = 4*t**2 + t. Is 6 a factor of z(-2)?
False
Let s(o) = o**3 + 9*o**2 - 4. Let j be s(-9). Does 8 divide -1 + j/((-8)/18)?
True
Let s(r) = -r**2 + 5*r - 7. Let x be s(5). Let w be -1*(-1 + -1 + x). Suppose -5*o + w - 34 = 0, o = -u + 25. Is u a multiple of 18?
False
Let n(a) = 2*a**2 - 4*a + 4. Let x(b) = b**2 - 4*b + 4. Let p = 0 + 2. Let c(h) = p*n(h) - 3*x(h). Is 3 a factor of c(-6)?
False
Does 5 divide (-2094)/(-22) + 0 - 2/11?
True
Let i(y) = -5*y**3 - 2*y**2 - 4*y - 2. Let w be i(-2). Suppose 14 = -4*a + w. Is a a multiple of 2?
True
Let y = -3 - -6. Suppose 136 = 5*t - j, 5*t + 3 = y*j + 141. Does 16 divide t?
False
Is -17*(2 - (-3)/(-1)) a multiple of 9?
False
Let l(r) = -19*r + 4. Let j be l(2). Let n = 64 + j. Does 10 divide n?
True
Let v(l) = l - 1. Let r be v(1). Suppose 0 = -3*z - r*z + 171. Does 18 divide z?
False
Suppose 296 = -2*v - 2*v. Let x = v - -124. Does 23 divide x?
False
Is 19 a factor of (-1 + 2 - -37)*6/12?
True
Let l(f) = f**2 + 3*f + 3. Is l(-9) a multiple of 16?
False
Let t be 12*(-4)/6 - -2. Let m = -50 - -79. Let d = t + m. Is 14 a factor of d?
False
Let h(z) = z - 1. Let a be h(-3). Let b = 9 + a. Suppose -o + 33 = b*d, 4*o - 3*d - 2*d - 157 = 0. Is 19 a factor of o?
True
Suppose -4*o = -10 - 6. Let p(v) = o*v**2 + 0*v - 3*v**2 + 5*v + 6. Does 6 divide p(-5)?
True
Let r = -105 - -111. Let i(a) = a + 1 - a + 9*a. Is i(r) a multiple of 24?
False
Suppose -110 = -4*d - t, 4*t + 46 = 2*d - 0*t. Does 9 divide d?
True
Let q(a) = a**2 + 4*a - 12. Does 13 divide q(7)?
True
Suppose -t - 60 = -5*t. Suppose -t = -z + 5*r, -z - 2*r = -3*z + 14. Suppose -5*w = -v - 78 + 6, -z*w + 69 = -2*v. Is 15 a factor of w?
True
Let t be (-16)/(-24) - 10/(-3). Suppose -4*a + 512 = -0*a. Suppose t*l - 70 = -2*j - 6, a = 4*j + l. Is 16 a factor of j?
True
Let z = 128 - 44. Is z a multiple of 28?
True
Suppose -3*i + 206 = -b, -4*i - b + 6*b = -282. Does 19 divide i?
False
Is 15 + 1 + 1 - -3 a multiple of 20?
True
Suppose -3*p - 2*f = -8 - 2, 0 = p + 4*f - 10. Is 32*(p - 9/12) a multiple of 20?
True
Suppose 5*r + 558 - 153 = 0. Does 20 divide r/(-2) + (-4)/8?
True
Let k be (-106)/(-10) + (-6)/(-15). Let v = k + 44. Let r = v + -23. Does 16 divide r?
True
Let y(r) = 15*r**2 - 9*r. Let s(c) = 7*c**2 - 4*c. Let i(u) = 9*s(u) - 4*y(u). Suppose -o + 2*o + 1 = 0. Is i(o) a multiple of 3?
True
Let m(f) = -1 - 4*f + 4 + 21*f**2 + 6*f + 2*f. Let y(q) = -20*q**2 - 3*q - 2. Let r(d) = -3*m(d) - 4*y(d). Is r(1) a multiple of 6?
False
Let s = -212 - -120. Let h = -65 - s. Does 8 divide h?
False
Suppose 0 = -k + 1 + 2. Does 4 divide 25*((-12)/5 + k)?
False
Does 8 divide (-420)/(-26) + (-6)/39?
True
Suppose 0 = 5*h - 5, -n = -2*h - 4 - 5. Is n even?
False
Suppose -5*d + 1 = -9. Suppose d*j - j - 38 = 0. Is 18 a factor of j?
False
Suppose -2*p + 0*p + 8 = 0. Suppose -2*u = -16 - p. Is 8 a factor of u?
False
Let q = 4 - 4. Let i(r) = -r + 64. Let w be i(q). Suppose -3*z + b + 2*b = -33, 5*z = 2*b + w. Is z a multiple of 14?
True
Let m(c) = c**2 - 4. Let w be m(5). Suppose 3*h - 17 = 4*h - 3*n, n = -3*h - w. Let g(y) = -y + 1. Is g(h) a multiple of 9?
True
Let n be (-1)/(-3) - (-3)/(-9). Suppose -3*m - 4*k + 110 = n, 3*m - 4*m + 4*k + 26 = 0. Let a = m + -18. Is 10 a factor of a?
False
Suppose 7*t - 136 = 5*t. Is 19 a factor of t?
False
Suppose 2*q - 6*k + 2*k + 140 = 0, -18