-18)/(-8))/(12/256)?
True
Let y(z) = z**2 + 2*z + 1. Let k be (1/2)/(12/120). Does 8 divide y(k)?
False
Let j(p) = p**2 - 2*p + 115. Let x be j(0). Suppose -5*u + 4 = m - 14, -3*m + 3 = -2*u. Suppose 0 = 2*c - 4*n - 50, -4*c - m*n = -8*n - x. Does 16 divide c?
False
Let s(n) = -5*n**2 + n + 3. Let v(j) = -j**2. Let o(r) = -s(r) + 4*v(r). Suppose 19 = -5*m - 6. Is o(m) a multiple of 16?
False
Suppose 3*z + 3*s = 6, 0*s - 5*s = -2*z + 32. Suppose 3*j = -5*x - 0*j - 165, 3*j + 135 = -4*x. Does 6 divide (z/10)/((-2)/x)?
False
Suppose r - 332 = -5*j, 2*j = -j + 5*r + 188. Is 18 a factor of j?
False
Is 63/28 + -2 - (-479)/4 a multiple of 15?
True
Suppose 3 = -5*g + 8, 0 = 5*r + 4*g + 31. Let o(f) = -11*f**3 + f**2 + f + 1. Let h be o(-1). Let d = h + r. Is 4 a factor of d?
False
Is 6/2 - 6 - -22 a multiple of 9?
False
Let o(p) = -2*p - 9. Let w be o(-6). Suppose w + 5 = -2*k. Is (-12)/k*26/3 a multiple of 13?
True
Suppose 0 = -5*s - 5*t + 125, -s + 5*t + 21 + 22 = 0. Is 7 a factor of s?
True
Let f(u) = 55*u + 1. Is f(3) a multiple of 27?
False
Suppose -1 = -2*n + 2*j + 5, 2*n = -j + 6. Suppose 21 + n = 4*l. Does 3 divide l?
True
Let w = 2 + 0. Suppose 0*x - 5*x + 5*u = -20, -3*u + 30 = 4*x. Suppose w*z + x = 0, -3*o + 3*z = z - 108. Is 17 a factor of o?
True
Suppose -3*r + 4*v - 20 = 0, 5 = r + 4*v + 17. Is 12 a factor of 59/5 + r/(-40)?
True
Let m = 11 - 8. Suppose 2*o = -m*o + 930. Is 12 a factor of o/8 + (-2)/8?
False
Suppose -5*j = z - 269, 0 = 2*j - 3*z - 111 + 17. Let r = j + -32. Is 10 a factor of 267/r - 2/(-7)?
False
Let g be 3/(-2)*4/(-3). Let n(v) = v**2 + 4*v - 21. Let w be n(-7). Suppose 4*c = w, g*h + 4*c - 10 = 4. Does 5 divide h?
False
Let m(u) = u**2 - 5*u + 4. Let n be m(4). Suppose -5*y - 4*c + 55 = n, 4*y - 2*c - 33 = -3*c. Does 7 divide y?
True
Suppose 3*j - 5*m - 20 = 0, 5*m - 34 = -9. Let d be 2/(-3) - (-83)/3. Suppose h = -4*n + j, n + 18 + d = 3*h. Is h a multiple of 6?
False
Let d = 277 - 161. Is 29 a factor of d?
True
Suppose -7*r - 195 = -10*r. Does 5 divide r?
True
Let i(d) = 2*d**2 + 16*d - 14. Is i(-16) a multiple of 22?
True
Let q = 346 + -52. Does 21 divide q?
True
Suppose -110 = -3*t + 8*t. Let v be 4/t + (-400)/(-22). Let s = v - 7. Is s a multiple of 9?
False
Suppose -w - 3*w + 261 = 5*f, 3*f - 5*w - 127 = 0. Let i = f - -8. Is 23 a factor of i?
False
Suppose -3*t + 87 = -2*j, 4*t + 23 = -5*j + 116. Suppose 5*d - t = -7. Does 2 divide d?
True
Let t = 4 + -6. Let h(n) = -2*n + 1. Is h(t) a multiple of 5?
True
Suppose -205 = 3*g - 8*g. Is g a multiple of 28?
False
Suppose -l = -0*l + 17. Suppose -3*d - 4*u - 50 = -2*d, -5*d = 3*u + 165. Let p = l - d. Is p a multiple of 10?
False
Let t(s) = s**3 - 11*s**2 + 11*s + 9. Let n be t(11). Suppose -g = -w + 5*w - 113, 5*g - n = -5*w. Is 13 a factor of w?
False
Suppose 4 = 5*m - 21. Suppose m*o - r - 11 = 11, 2*r + 14 = 4*o. Suppose -5*a + 120 = o. Is 15 a factor of a?
False
Suppose n = g - 4*n - 17, 5*g + 2*n = 4. Suppose -2*b + 26 = d, 68 = 2*d - 2*b - g*b. Does 10 divide d?
True
Let r(s) = -5*s - 6. Let v be r(-5). Let p(h) = -4*h**2 + h - 2. Let l be p(1). Let u = l + v. Is u a multiple of 11?
False
Is (-4)/20 - (-322)/10 a multiple of 26?
False
Let x(k) = -19*k**3 + 4*k**2 + 2*k + 4. Is 37 a factor of x(-2)?
False
Suppose -2*z = -5*c + 4, 4*c = 2*c - z + 7. Suppose 2*v = -3*b - 13, -2*b = 3*v - 6*b + 11. Is (6/v)/(c/(-5)) a multiple of 3?
True
Suppose -1 - 1 = -2*d, 3*x - 4*d = -19. Let t(y) = y**2 + 4*y - 2. Is t(x) a multiple of 3?
True
Let z be 22/(-6) - (-3)/(-9). Let g be 6/z*80/(-24). Let y = g + -1. Does 4 divide y?
True
Suppose 212 = 4*l + h + h, 259 = 5*l + 4*h. Is l a multiple of 9?
False
Suppose 4*t + 25 = -3*k - 16, 25 = -5*t + 5*k. Is 14 a factor of 2 + (-4)/(t/78)?
False
Let c(s) = 3*s**2 + 5*s + 4. Does 18 divide c(-5)?
True
Is (2/(-6))/(1708/570 - 3) a multiple of 11?
False
Is (-300)/(-15)*(-2)/(-4) - -2 a multiple of 12?
True
Let y(v) = -v**2 - 14*v - 16. Is 10 a factor of y(-9)?
False
Let d(p) = -2*p - 7. Let h be d(-8). Does 14 divide 57 + h/(-3) + 0?
False
Let r(d) = d**3 + 3*d**2 - 7*d - 6. Let q be r(-4). Let i(b) = -b**2 + 13*b + 7. Is 10 a factor of i(q)?
False
Suppose 134 - 42 = -4*m. Let r = m + 36. Is 6 a factor of r?
False
Let f be 1/(-1 - (-16)/12). Suppose -5*w + 18 - f = 0. Is 2 a factor of w?
False
Let p be (-1)/((5/24)/(-5)). Let g(s) = -s**3 + 2*s**2 + s + 5. Let d be g(3). Let f = p + d. Is 15 a factor of f?
False
Let q be (1 + -3)*(0 + -2). Let x(r) = 2*r + 4. Does 12 divide x(q)?
True
Let c be 1/(-1) + 8 + 1. Is 10 a factor of (c/6 + 2)*3?
True
Is 21 a factor of (-6)/9 + (-8)/(-12) - -119?
False
Let f be (5/(-10))/((-1)/4). Is (-2)/(-3)*21/f a multiple of 7?
True
Let x = 24 + -4. Let m(l) = l**2. Let o be m(-1). Does 8 divide x + (o - 0) + 0?
False
Let m(o) = o**3 + 9*o**2 - 13*o - 14. Is m(-10) a multiple of 7?
False
Suppose -1 = 2*b + 3. Suppose -2*w = -d, -5*d - 3*w = -w. Does 10 divide (d - 1)*(b - 19)?
False
Suppose -139 = -4*u + 37. Does 11 divide u?
True
Let b = 37 - 8. Is 19 a factor of b?
False
Suppose -o + 1 = -1, -4*o + 188 = -5*c. Let s = c + 99. Is s a multiple of 21?
True
Suppose f + f - 64 = 0. Suppose -u + 0 - 19 = 5*s, -4*s = -2*u + f. Is -1 + u - (1 - 3) a multiple of 7?
True
Let q = -71 - -102. Suppose -h - 46 = -4*b, -2*b + q = b + h. Does 4 divide b?
False
Let j(w) = -2*w**3 + 6*w**2 - w - 2. Let n be j(4). Let p = -6 - n. Is 17 a factor of p?
False
Let a(u) = 8*u**2 + 2*u + 1. Is 10 a factor of a(-4)?
False
Suppose 5*d = -66 + 671. Is d a multiple of 13?
False
Let f(v) = 23*v**2 - v. Suppose 9*n + 13 = 3*l + 4*n, -l = -3*n - 7. Does 6 divide f(l)?
False
Let j be 1/2 - 1/(-2). Suppose j = -l + 3. Suppose l*m - 7*m = -255. Is m a multiple of 18?
False
Suppose 85 = -3*k + 112. Is k a multiple of 3?
True
Suppose -3*y + 136 = y. Suppose 2*u + 5 = q - 6, y = 4*q - 3*u. Is 4 a factor of q?
False
Let w = -16 + 54. Is w a multiple of 19?
True
Does 12 divide (-909)/(-9) + 3/1?
False
Let i(q) = -q**2 + 8*q. Does 15 divide i(5)?
True
Suppose 4*w - 34 = -i - 4*i, 5*w + 20 = 0. Is 4 a factor of i?
False
Suppose -16*l + 10 = -11*l. Does 29 divide (-183)/(-6)*4/l?
False
Suppose 25*n - 3066 = 784. Does 18 divide n?
False
Let q(m) = 4*m + 11. Is 8 a factor of q(6)?
False
Let z = 3 + 4. Suppose -z*t = -2*t. Does 4 divide 4/1*(1 + t)?
True
Let h(n) = -n + 3. Let z be h(3). Suppose z = c - 16 - 4. Is 8 a factor of c?
False
Suppose 4*p + 3*h - 3 - 12 = 0, -5*p + 17 = 2*h. Suppose p*z + z - 64 = 0. Suppose -2*d - z = -6*d. Is d a multiple of 4?
True
Let g(s) = s**3 + 8*s**2 + 8*s + 10. Let l be g(-7). Is 3 + l/((-3)/(-29)) a multiple of 13?
False
Let h(l) = l**2 + 0*l**2 - 7*l + 3*l - 10. Let s be h(7). Suppose 4*r + s = 95. Is 15 a factor of r?
False
Is 3/5*(31 - 6) a multiple of 8?
False
Let t = 30 - 18. Does 12 divide t?
True
Let u be 1*-2*(3 - 4). Suppose u*n = 7*n - 120. Is n a multiple of 12?
True
Let l be (-2)/(-9) - 32/(-18). Suppose -115 = l*v + 3*v. Let j = v + 45. Is j a multiple of 8?
False
Let z(h) = 364*h + 20. Is 16 a factor of z(1)?
True
Suppose 3*d - 249 = -0*d. Is 11 a factor of d?
False
Suppose -5*m = 4*k - 0*k - 67, 2*m + 33 = 3*k. Let b = k - 7. Suppose 180 = -p + b*p. Is p a multiple of 12?
True
Let z(d) = -5*d - 10. Let f(x) = x + 1. Let c(b) = 6*f(b) + z(b). Let q be c(4). Suppose q*g + 28 = 4*g. Does 3 divide g?
False
Let z(d) = d**2 - 9*d - 12. Let x be z(12). Does 21 divide 1084/x + 1/(-6)?
False
Suppose -n = -6*n - 5*r + 1145, 5*n = -2*r + 1133. Is n a multiple of 30?
False
Suppose -2*f + 1 = f + 2*g, 2*f - 3*g - 18 = 0. Suppose -f*i - 48 = -4*i. Is i a multiple of 24?
True
Let v be 57/2 + (-6)/4. Suppose t - 29 = -5*z, 0*t + v = 5*z + 3*t. Is 3 a factor of z?
True
Let g(l) = -69*l - 2. Is 17 a factor of g(-2)?
True
Suppose -5*s = -3*z - 312, -3*s + 185 = -0*s - 4*z. Does 7 divide s?
True
Let s(y) = 3*y**2 + 17*y + 23. Is s(-10) a multiple of 17?
True
Suppose 5*l - f = 2*l + 2, 4*l - 2*f = 4. Suppose 0 = 6*i - l*i - 438. Is 13 a factor of i?
False
Let q = -3 - 2. Let n be q/10 + 34/4. Is -1*n*(-3 + 0) a multiple of 12?
True
Suppose -31 = -2*r + 2*o + 113, -r = 5*o - 72. Does 31 divide r?
False
Suppose -3*s = -9, j + 5 = 2*j + 3*s. Let t = j - -6. Let b = 27 + t. Is 19 a factor of b?
False
Is 8 a facto