-6*d = -2*o - 2*d + 304, 2*o + 5*d - 313 = 0. Does 40 divide o?
False
Is 6 a factor of 23 + (4 - 4/4)?
False
Suppose 2*m + 2*d - 12 = 0, 4*m - 16 = -0*m + 4*d. Suppose -8 = m*j + 2. Is j/((-4)/(-6))*-2 a multiple of 6?
True
Let x(t) = -2*t**3 - 5*t**2 - 2*t - 1. Does 3 divide x(-3)?
False
Let u(s) = s**2 + 2*s + 8. Is u(-7) a multiple of 23?
False
Let z(h) = -11*h - 1. Is z(-1) a multiple of 5?
True
Let q(r) = -r**2 - 9*r - 6. Let v be q(-8). Suppose 0 = -3*z - 4*s - v + 11, -5*z + 3*s + 44 = 0. Does 7 divide z?
True
Suppose 5*u - 260 + 31 = -2*n, 0 = -n - 5*u + 102. Let a = -69 + n. Does 21 divide a?
False
Let l be (-1 + 1 - -1)*47. Let x = l + -13. Is 17 a factor of x?
True
Suppose 3*c + 124 = 7*c. Is c a multiple of 11?
False
Let b(y) = -1 - 4*y**2 + 3 + 5*y**2 - y. Is 8 a factor of b(-2)?
True
Let k(m) = m**2 - 3*m + 1. Let z be -5*(-3 - 8/(-4)). Does 11 divide k(z)?
True
Suppose -3 = 2*b + 1. Let t be 50/(-4) + 1/2. Let a = b - t. Is 6 a factor of a?
False
Let b be ((-6)/(-3))/((-2)/(-4)). Let o = b - -1. Suppose 0 = -4*s + 4*t + 88, -o*t = -3*s + 91 - 15. Is s a multiple of 8?
False
Let z be (-10)/(-2 + (-101)/(-50)). Is (-16)/(-56) - z/14 a multiple of 19?
False
Let o = 194 - 130. Suppose 2*b - o = -4*x, -5*b - 2*x = 110 - 302. Does 17 divide b?
False
Let y = -4 - -4. Suppose y*k - k = -2. Is 10 a factor of k*(0 + (-46)/(-4))?
False
Let l be (-3)/5 + 224/40. Suppose y = -4*c - 8, 2*c + 52 = l*y - c. Is y a multiple of 2?
True
Let s(b) = -3*b - 6. Let t(i) = 4*i - 3. Let p be t(2). Let u(g) = -1. Let x(v) = p*u(v) - s(v). Is x(1) a multiple of 2?
True
Suppose 4*u + 5*m - 265 = -u, 5*m = u - 71. Does 23 divide u?
False
Suppose 0 = 3*x + 5*x - 712. Is x a multiple of 10?
False
Does 21 divide (-754)/(-6) - 18/(-54)?
True
Let v(j) = -j + 4. Let h be v(4). Suppose 0*o + o - 5 = h. Suppose o*i - 57 = 8. Is 13 a factor of i?
True
Suppose 5*l - 43 = 4*l. Let i = l - 4. Is 13 a factor of i?
True
Suppose 0 = 5*q, 4*q - 133 = -k + 3*q. Does 17 divide k?
False
Does 12 divide (-252)/(8/(-2)) + -3?
True
Suppose x = -2 + 6. Suppose 4*j - x*c - 109 = 111, -5*c + 211 = 4*j. Suppose -4*f + f + j = 0. Is f a multiple of 18?
True
Suppose -s + 3*y - 3 = 0, 5*s = 4*y + 47 - 7. Is s a multiple of 10?
False
Does 17 divide (-204)/(-18)*(-6)/(-4)?
True
Suppose 2*x - 3*x = 0. Let k = 2 + x. Suppose -c + k = -15. Is 6 a factor of c?
False
Suppose 0 = -6*n + 2*n + 48. Is n a multiple of 12?
True
Suppose -z + 0*z = 5*g + 27, 3*g = -15. Does 4 divide 3 - 2*1/z?
True
Suppose 2*z - 68 = -0*z. Is z a multiple of 17?
True
Suppose 3*s + 2*s + 655 = 0. Let v = s + 197. Is 22 a factor of v?
True
Let g(z) = 8*z**2 - 1. Let r be g(-1). Let h = r - 3. Is 14 a factor of h/(2 + (-33)/18)?
False
Suppose -2*w - 20 = -g, 7*g - 3*w - 72 = 2*g. Is g a multiple of 2?
True
Suppose 2*t = h + 4*h - 16, 2*h + 5 = -3*t. Let o(m) = 1 + 6*m + 0*m - 4 + 0*m. Does 9 divide o(h)?
True
Let d(s) = s**3 - 4*s**2 + 4. Let n be d(4). Suppose 0 = -8*k + n*k + 152. Does 19 divide k?
True
Let t = 538 - 266. Is 26 a factor of t?
False
Let k = 11 - 8. Let p = -3 - -8. Suppose p*f + 2*z - k*z = 35, f = -2*z + 18. Is 4 a factor of f?
True
Suppose c + 2*c = 4*b - 506, -254 = -2*b + c. Is 38 a factor of b?
False
Is 42 a factor of ((-16)/(-4) - -16)/((-6)/(-15))?
False
Suppose 0 = -c + 8 - 24. Suppose g = 4*z + 10, -2 - 4 = z - 2*g. Let u = z - c. Is u a multiple of 14?
True
Suppose 2*z + 286 = 3*b, b - 107 = -0*b + 3*z. Is b a multiple of 29?
False
Suppose -42 = 2*z - 192. Is 15 a factor of z?
True
Let u(c) = 3*c - 4. Let l be u(-10). Let m be 4*(-3)/30*-125. Let d = m + l. Is d a multiple of 16?
True
Let r(x) = 2*x**3 - 5*x**2 + 6*x - 5. Is 7 a factor of r(3)?
False
Suppose 4*f - 35 = -f. Suppose -3*r - f*o + 1 = -2*o, 2*r = -2*o + 2. Suppose -2*w = r*u - 0*u - 70, -49 = -2*u + 5*w. Does 11 divide u?
False
Suppose 0 = -4*n + 5*n - 8. Suppose -n*q - 12 = -10*q. Does 5 divide q?
False
Suppose 3*l = -l + 8. Suppose -l*x - 2*c + 7*c = -30, 2*x - 2 = -2*c. Does 5 divide x?
True
Let x be (42/(-4))/((-18)/48). Suppose 2*q = 4*z - 0*q - x, 3*z = -5*q + 21. Does 2 divide z?
False
Suppose 2*i + 111 = 3*i. Is 23 a factor of i?
False
Let c(s) be the second derivative of -s**5/20 - s**4/12 + 19*s**2/2 - 4*s. Is c(0) a multiple of 11?
False
Let d(s) = 3*s - 4. Let u be d(3). Suppose -2*t - 25 = 5*k + 3*t, 5*k + 5 = u*t. Let p = k + 17. Is 7 a factor of p?
True
Suppose 0 = 2*i - 0*i - 4. Let u be (7/(-14))/(2/(-568)). Suppose -39 = -2*x - i*m + 17, 3*m = -5*x + u. Is x a multiple of 11?
False
Suppose -o = -1 - 0. Is -7*(2 + o)*-1 a multiple of 21?
True
Let f(t) = -t + 10. Let y = -31 - -23. Does 6 divide f(y)?
True
Suppose -4*i - 5*y + 11 = 0, -3*i + 0*i + 13 = -y. Let j(v) = 3*v - 6. Is 3 a factor of j(i)?
True
Let a be 2/(-3)*33/(-2). Let g = 15 + a. Suppose 2*n = -3*y, -5*n + 2*y + g = -2*n. Does 6 divide n?
True
Suppose -4*n = 4*c - 232, -2*n - 6*c = -2*c - 120. Is 18 a factor of n?
False
Let i(j) = -2*j - 3. Let c(u) = u**2 + 7*u + 4. Let f(d) = -2*d**2 - d + 1. Let k be f(-2). Let n be c(k). Is i(n) a multiple of 8?
False
Suppose -3*j - 2*m + 176 = 0, 5*j = 5*m + 184 + 126. Does 10 divide j?
True
Let a = 28 - -12. Is 6 a factor of a?
False
Let n(m) = m - 1. Let d be n(4). Suppose 0 = -3*s - d*x + 117, 5*x + 85 = -0*s + 3*s. Is s a multiple of 9?
False
Suppose 4*q - 372 - 524 = 0. Is 28 a factor of q?
True
Let l = 3 + -1. Suppose 4*s + 54 - 158 = 4*o, -o = -l. Is 14 a factor of s?
True
Let t(h) = -10*h - 12. Is 6 a factor of t(-6)?
True
Let k(b) = b + 5. Let c be k(4). Suppose 0 = -i + c + 4. Let d = i - -13. Is 11 a factor of d?
False
Does 12 divide ((-3)/(-3) + 62)/(18/60)?
False
Suppose -10*l = -37 - 33. Does 5 divide l?
False
Let h be -2 + -303*(-2)/3. Let c(k) = k**3 + 4*k**2 - 4*k + 5. Let l be c(-5). Suppose -5*p = -l*p - h. Does 16 divide p?
False
Suppose -z = -3*d - 8, 0*z + 2*d = z - 6. Suppose -x - z*x + s = -113, 2*s = -10. Is 18 a factor of x?
True
Is (-7 + 120/16)*(298 + 0) a multiple of 10?
False
Suppose -2*z + 3*n - 5 = -2, 0 = 3*z + 2*n - 15. Let s = z - 1. Suppose 0 = 2*d + s*d - 16. Does 4 divide d?
True
Suppose 22*j + 35 = 23*j. Is j a multiple of 15?
False
Suppose 5*m = n + 217 - 80, 0 = -3*m + 5*n + 69. Is m a multiple of 14?
True
Suppose 2*y - 13 = 27. Suppose m - 39 = -5*r, -m - 3*m = -2*r + y. Is 5 a factor of r?
False
Let z = -8 + 3. Let m be z/(-1 - 0/(-3)). Suppose m*h + 16 = 91. Is h a multiple of 14?
False
Suppose 5*z + 3*f - 4*f = 58, 0 = -4*z + 2*f + 50. Is z a multiple of 4?
False
Suppose d + 5*c = -17 + 1, 0 = 2*d - 4*c - 24. Is 15 a factor of (-61)/(-4) + (-1)/d?
True
Is (3 - 3/4)*40 a multiple of 23?
False
Let x(p) = -3*p + 79. Is x(23) a multiple of 10?
True
Let q(f) = -13*f**3 - f**2 + f + 1. Let t be q(-1). Suppose -4*x + 4 = -t. Suppose -49 = -x*d + 39. Does 12 divide d?
False
Is (-18)/(-2 + 0) - 1 a multiple of 2?
True
Is (15/(-10))/(3/(-222)) a multiple of 37?
True
Let k(b) = -b**2. Let l(w) = w**2 + 5*w - 2. Let t(o) = -2*k(o) - l(o). Suppose 2*i = -0*c + 4*c + 2, -3*i = -c - 18. Is 10 a factor of t(i)?
False
Suppose -2*r = o + r + 1, 5*o = 2*r - 22. Is (-3)/(36/39)*o a multiple of 11?
False
Let x = -15 + 47. Suppose -4*k = -72 - x. Is k a multiple of 13?
True
Suppose 4*f - 4*w - 4 = 0, 5*f + 0*f - 23 = -4*w. Suppose 3*t + 5*h = 97, 76 - f = 2*t + 5*h. Is t a multiple of 24?
True
Let a = 21 - 11. Suppose 0 = h - 4*y + a, 4*y - 25 - 15 = -4*h. Is 3 a factor of h?
True
Suppose 4*z - 3*z - s = 0, 0 = -4*z + 5*s. Suppose 2*v + z*v = 6. Suppose a + a + 3*u = 5, -v*a - 5*u + 6 = 0. Does 3 divide a?
False
Let i(r) = 5*r**2 - 3*r + 4. Is i(2) a multiple of 6?
True
Is 21 a factor of 3318/15 + ((-16)/(-4))/(-20)?
False
Does 14 divide 5/((-20)/(-292)) + -3?
True
Let f(l) = l**3 + 8*l**2 + 3*l - 1. Let t be (-1*10)/2 - -2. Does 17 divide f(t)?
False
Let x(d) = 27*d**2 - 4*d - 5. Let y(r) = 82*r**2 - 11*r - 14. Let v(t) = -11*x(t) + 4*y(t). Let b = 2 - 3. Is 15 a factor of v(b)?
True
Suppose -4*a - 55 = -4*u - 203, -4*a + 173 = u. Does 14 divide a?
True
Let j be (2/(-3))/(2/6). Let g = 1 - 0. Does 15 divide (-46)/(1/(g/j))?
False
Let b = 390 - 220. Suppose -25*l + 20*l + b = 0. Is 7 a factor of l?
False
Let v(h) = h**3 - h**2 + 3*h + 3. Let s be v(4). Let m = -37 + s. Let i = -17 + m