Is 12 a factor of y?
True
Let t = 4 - -1. Suppose 219 + 91 = t*k. Let j = 96 - k. Does 17 divide j?
True
Suppose -71 = -2*b - 23. Let m = b + -8. Suppose 1 - m = -t. Does 15 divide t?
True
Let y = -11 + 5. Let x = -3 - y. Does 13 divide (-2)/(x/((-279)/6))?
False
Let h be ((-34)/4)/((-3)/(-6)). Suppose 3*j + 97 = 4*x, 2*x - j - 99 = -2*x. Let r = h + x. Is 3 a factor of r?
False
Let l be 5*(0 + 1) - 2. Let x be (-2 + l)/((-2)/8). Is x/14 + 200/14 a multiple of 8?
False
Suppose 4*t - 5 + 15 = 2*w, -5*w - 8 = t. Does 21 divide ((-2)/t)/(1/51)?
False
Let o(p) = -7*p - 15. Let h be o(-10). Suppose 5*d - 25 - h = 0. Does 8 divide d?
True
Suppose -u = 3*u - 2*t + 24, 12 = -2*u + 5*t. Let y = 9 + u. Suppose -136 = -4*f + 4*q, -5*f + y*q + 174 = 2*q. Is f a multiple of 17?
False
Suppose -3*p - 27 = 3*a, 0*p - 32 = 3*p + 4*a. Let j = p + 8. Suppose -j*i - 12 = -3*f - i, -f - 2*i = -4. Is f even?
True
Let n = 5 - 1. Is 21 a factor of 1*23 + -6 + n?
True
Let k be (32/4)/(0 - -2). Is 18 a factor of (-73)/(-2) + k/(-8)?
True
Suppose -4*p + 164 + 4 = 0. Is 21 a factor of p?
True
Suppose -5*m + 50 + 100 = 3*t, -3*m + 5*t = -56. Let j be (-6)/1*-1 + -1. Let o = m + j. Is 16 a factor of o?
True
Suppose 5*o - 8 - 17 = 0. Let v = -5 + o. Suppose 5*i - 176 - 9 = v. Is 19 a factor of i?
False
Let w(k) = 3*k**2 + 5*k - 1. Let y be w(2). Suppose -j + z = -2*j + y, -j + 30 = -2*z. Does 6 divide j?
True
Let y = -246 - -359. Is y a multiple of 13?
False
Suppose -4*d + 44 = -2*d. Is 6 a factor of d?
False
Let l(z) = z**2 + 4*z + 8. Let y be l(-7). Suppose 12 = h - y. Is 19 a factor of h?
False
Suppose -2*w = 8 - 124. Suppose w = -3*j + 5*j. Is 14 a factor of j?
False
Let b = 5 + -2. Suppose b*y = 7*y + 20. Let h(k) = -k**2 - 9*k + 1. Is 7 a factor of h(y)?
True
Let w be 4*-1*5/2. Let n be 22/5 + w/25. Suppose n*p = -2*t + 28, t - 2*t + 4*p + 26 = 0. Is 10 a factor of t?
False
Let h = -27 + 50. Is h a multiple of 8?
False
Let g = -44 + 68. Does 3 divide g?
True
Let d = 10 + 20. Suppose 10 - d = -5*a. Suppose 0 = -3*n, a*n = u - 5*u + 64. Is u a multiple of 8?
True
Let j(o) = 88*o**2 + o - 1. Let w be j(1). Suppose 2*s - w - 42 = 2*k, -3*k = -5*s + 323. Does 22 divide s?
False
Let f = -207 + 337. Suppose -w + f = 4*w. Does 13 divide w?
True
Let w be (-4)/(-4) - (-1 + -26). Let c = w + -43. Is ((-10)/c)/(1/33) a multiple of 11?
True
Let y be 2/2 - (-2 + -1). Suppose y*w - b = -0*b + 53, -2*w - b + 25 = 0. Suppose -g + w = -0. Is 13 a factor of g?
True
Suppose -29 = -u + h - 4*h, -4*u + 66 = 2*h. Suppose c + c = u. Is c a multiple of 7?
True
Let x(n) = n**2 + n. Let a be x(3). Is (8/a)/((-2)/(-81)) a multiple of 9?
True
Let g = -4 - -11. Suppose 13 = g*x - 43. Is 4 a factor of x?
True
Suppose 3*i + 36 = -i. Does 19 divide (38/(-3))/(2/i)?
True
Let r = -5 - -25. Does 3 divide r?
False
Suppose 5*w - 5*i + 55 = 0, 3*i - 1 = -2*w + 2. Let l = 25 - w. Is l a multiple of 16?
False
Let w(p) = p + 1. Let q be w(5). Suppose z - 3*z + q = 0. Suppose -56 = -7*d + z*d. Does 13 divide d?
False
Let y(o) = o**3 + 6*o**2 + 5*o - 7. Let p be y(-5). Suppose 1241 - 4946 = 5*r - f, -3*r + f - 2223 = 0. Does 15 divide r/(-21) + 2/p?
False
Let c = 7 - 1. Is c a multiple of 3?
True
Let k be 3 + 5/(5/(-4)). Is (-37)/k + (6 - 6) a multiple of 7?
False
Suppose 5*o = 3*o + 92. Does 14 divide o?
False
Suppose -10*s - 310 = -2380. Is s a multiple of 23?
True
Suppose 4*l - 93 - 115 = 0. Let m = 81 - l. Does 10 divide m?
False
Let o be (-34)/(-12) - 4/(-24). Is 11 a factor of o/(3/2) - -9?
True
Suppose 4 = -2*z - 2. Let p be 1*z*(1 + -2). Is 15 a factor of 45*((-22)/(-6) - p)?
True
Let u(v) = 3*v. Let d be 26/6 + (-3)/9. Does 12 divide u(d)?
True
Suppose 191 - 59 = 2*f. Is f a multiple of 6?
True
Suppose -4*k = -130 - 46. Is k a multiple of 4?
True
Let o(c) = 2*c - c + 7*c**2 + c**3 - 5 - 2*c**3. Let k be o(7). Suppose -f + 7 = -2*u + 40, -k*u + 36 = -2*f. Does 15 divide u?
True
Let m be 15*(48/(-15))/4. Does 6 divide ((-6)/(-9))/(m/(-522))?
False
Suppose 68 = 3*b - 73. Does 8 divide b?
False
Let i(o) = -o**3 + 7*o**2 - 10*o + 6. Let v be i(6). Is 3 a factor of 20/(-6)*v/15?
False
Suppose 0 = -d + 2*d - 5. Let o(k) = 9*k + d*k - 4 - 4*k. Is 26 a factor of o(3)?
True
Suppose -r = 3 - 2, -194 = -3*n - r. Does 23 divide n?
False
Let z(m) = -2*m**2 - 5*m - 9. Let l be z(-4). Let q = -14 - l. Is 5 a factor of q?
False
Let b = 6 + -4. Suppose -b*a + 12 - 2 = 0. Let y(d) = d**3 - 4*d**2 - 3*d - 7. Does 2 divide y(a)?
False
Suppose g + g + 5*v = 680, -5*g + 3*v = -1762. Does 50 divide g?
True
Suppose 4*y + y - 1 = v, -3*y + 4*v = -4. Let w = y + 2. Suppose -5*a + 72 = -w*o, 0*o = -3*a + o + 44. Does 8 divide a?
True
Is 12/(-3) - -4 - -53 a multiple of 17?
False
Let v = 4 + -13. Let r = v + 46. Is r a multiple of 10?
False
Let l = 1 + 9. Is l a multiple of 10?
True
Suppose 0 = w + 2*x - 4*x - 71, 2*w = -x + 142. Does 25 divide w?
False
Suppose -z + g = -207, -237 - 801 = -5*z + 4*g. Does 30 divide z?
True
Is 8 a factor of (-2)/3*405/(-10)?
False
Suppose -3*k = -4*k. Suppose k = t - 3, 2*r - 108 = -5*t - 39. Is 9 a factor of r?
True
Let h(w) be the third derivative of 2*w**2 + 1/60*w**5 + 0 + 1/3*w**3 + 0*w - 1/6*w**4. Is h(5) a multiple of 5?
False
Let u(y) = 2*y + 9. Is u(0) even?
False
Let y(j) = j**3 - j**2 - j + 1. Let b be y(-2). Is 4 a factor of (2/(-3))/(1/b)?
False
Suppose -6 = 2*m - 30. Does 7 divide m?
False
Let f(h) = -h**3 + 4*h**2 - 4*h + 2. Let y be f(2). Let w = y + -2. Let n = 8 + w. Is 3 a factor of n?
False
Suppose -33 = 3*l - 4*g, 2*g + 3 - 2 = -l. Is 22 a factor of 1/l - 1545/(-35)?
True
Let q(o) = o**2 + 5*o + 2. Let x be q(-5). Suppose -x*s - m + 27 = 0, 28 + 3 = s + 4*m. Does 10 divide s?
False
Let y(b) be the second derivative of -b**4/12 + b**3/2 - b. Let h be y(3). Suppose 5*f + 2 - 72 = h. Does 14 divide f?
True
Let z = -36 + 60. Let h = z - -16. Suppose h = 7*s - 3*s. Does 10 divide s?
True
Let u(s) = 20*s**2 + 25*s + 8. Let r(o) = 5*o**2 + 6*o + 2. Let w(f) = 9*r(f) - 2*u(f). Is 6 a factor of w(-2)?
False
Suppose -2*s - 75 = -5*s. Is s a multiple of 12?
False
Suppose 2*k + 18 = 3*b, -4*b + 7 = 3*k - 0*k. Let j(r) = -r**3 - 5*r**2 + 2. Let v be j(-5). Suppose -b*l + v*l + 32 = 0. Is 8 a factor of l?
True
Let x = -6 + 9. Let a(m) = m**3 - 4*m**2 + 3*m. Let z be a(x). Suppose -t + 5*f + 35 = z, -4*t + 124 + 141 = 5*f. Does 20 divide t?
True
Let w = -40 + 88. Suppose v - 3*v = -w. Does 15 divide v?
False
Suppose -y + 32 = -5*n, -28 = -0*n + 5*n + y. Does 10 divide (-1)/n + 118/12?
True
Suppose -j = 3*i + j - 105, 4*i - 136 = -4*j. Is i a multiple of 24?
False
Suppose -5*p + 484 = -3*p. Suppose -4*v + p = 2*t, -5*v + 3*t = -0*v - 319. Is v a multiple of 16?
False
Is ((-8)/6)/(2/(-15)) a multiple of 5?
True
Let c be 0/(1*(-2 - -3)). Suppose 2*m + c - 12 = 0. Is m/(-12)*(-10)/1 even?
False
Suppose 20 = -5*t + 110. Is t a multiple of 3?
True
Is (-3)/15 - 955/(-25) a multiple of 8?
False
Let a be 6/(-27) + (-148)/(-18). Suppose 3*k + 2*k + 74 = 4*z, -52 = 4*k + 4*z. Let i = a - k. Is 11 a factor of i?
True
Let o = -46 + 114. Is o a multiple of 17?
True
Let a(q) = q - 1. Let b be a(0). Does 13 divide -25*(b + 1 - 1)?
False
Suppose -19 = 2*u - 51. Is 15 a factor of u?
False
Let c(z) = z**3 - z**2 - 2*z - 2. Does 19 divide c(4)?
True
Suppose 0*j = -4*y + 5*j - 52, -12 = 4*y + 5*j. Is 97/4 + 2/y a multiple of 13?
False
Suppose 3*w - 3 = 2*t, 0 = -0*t + t - 2*w. Let r be (-23)/3 - t/9. Let p(g) = -g**3 - 8*g**2 - 7*g + 9. Does 9 divide p(r)?
True
Let q be (-279)/(-21) + 4/(-14). Suppose -3*r - 2*f = -q, -r - f = f - 3. Is r even?
False
Suppose -h + 3 = -2. Suppose -h*p - 4 = -d + 14, p = 2*d - 9. Suppose -2*q = -d*q + 10. Is q a multiple of 5?
True
Let v be 2010/45*(-6)/(-2). Suppose 5*i - v = -p - 2*p, 2*p - 4*i = 104. Is 11 a factor of p?
False
Does 7 divide (-3507)/(-84) - (-3 + 1)/8?
True
Suppose 3*u - k = 74, 4*u - 5*k - 21 = 63. Does 7 divide u?
False
Let l be 4/10 - (-296)/(-40). Let v = l - 4. Let b = v + 31. Is b a multiple of 20?
True
Suppose -192 = -2*n + 4*h, n + 4*h = -n + 208. Is 20 a factor of n?
True
Suppose -5*j + 0*j - 2*k = -10, -4*j - 5*k = 9. Let x be 22/j - 8/(-16). Is 2 a factor of ((-6)/(-3))/(x/21)?
False
Suppose 5*l = -6*l + 770. Does 10 divide l?
True
Does 18 divide 