52. Does 6 divide 3/2 + x/(-6)?
True
Suppose 3*d + 49 = i, -5*d = -4*i + i + 159. Does 15 divide i?
False
Let o(v) = v**2 - 4*v. Let j = 9 + -13. Is o(j) a multiple of 16?
True
Suppose -3*q = -4*d + 67 - 11, 55 = -5*q - d. Does 11 divide (-1 + q + 2)*-1?
True
Let y(m) = 2*m**3 - 5*m + m - 3*m**3 + 2*m**3 + 6*m**2 + 5. Is y(-5) a multiple of 15?
False
Suppose -a + 26 = -5. Suppose 94 = 5*r + 2*w - 47, r = w + a. Does 5 divide r?
False
Let g(a) = -4*a**3 - 10*a**2 + 4*a - 4. Let k(c) = c**3 + c**2 + 1. Let l(t) = g(t) + 5*k(t). Is 13 a factor of l(5)?
False
Suppose 3*n - 4 - 2 = 0. Let x(s) = 22*s - 1. Let v be x(n). Let b = 64 - v. Is 13 a factor of b?
False
Let d = -5 + 27. Suppose -2*p = -5*z - 34, -4*z + 2*p + d = -6*z. Does 12 divide (z/6)/(2/(-36))?
True
Suppose 0 = -3*a + 80 + 145. Does 11 divide a/7 - (-14)/49?
True
Let r be ((-35)/14)/(1/(-2)). Suppose 2*a - r = 25. Suppose 2*v = 19 + a. Is v a multiple of 6?
False
Let z be 0*(-2)/(2*-2). Let q be z/(-5) + 144 + -2. Does 9 divide 3/12 - q/(-8)?
True
Let o = 31 - 13. Suppose -6 = -t + o. Suppose 2*x - t = -2*j, 0 = j - 2*x - 12. Does 5 divide j?
False
Suppose s + 4 = 2*s. Suppose s*f - 54 - 2 = 0. Is f a multiple of 7?
True
Let k(c) be the third derivative of c**5/60 + c**3/6 - 3*c**2. Let w be k(2). Suppose 5*u - 130 = 2*n, 7 = -w*u + 5*n + 137. Is u a multiple of 18?
False
Let g = 128 + -57. Is 9 a factor of g?
False
Let h be 1*(1 + 4/1). Suppose 4*x + 0*g - 31 = h*g, -4*x + 10 = 2*g. Is 4 a factor of x?
True
Suppose 2*p = -3*q + 78 - 19, 0 = -4*p - q + 123. Does 31 divide p?
True
Let u be 6/2*(-3)/(-3). Let f be -2*(-12)/8 + -2. Suppose 3*x = -u*z + 69, -3 - f = x. Does 9 divide z?
True
Let a(o) = o**2 + 6*o - 4. Does 6 divide a(-8)?
True
Let o(m) = -m. Let r be o(4). Is ((-3)/r)/((-5)/(-100)) a multiple of 15?
True
Let f = -1 - -1. Let v = 4 - -2. Is (2 + f)/(1/v) a multiple of 6?
True
Let g = -10 - -11. Suppose 0 = v - 34 + g. Is 11 a factor of v?
True
Suppose 0 = -5*y + 25, -4*c + 10 - 39 = -5*y. Does 16 divide 30 + -1*(c - -1)?
False
Does 57 divide 8/((-8)/(-345)) + -3?
True
Suppose 6*f - 3*f + 135 = 0. Let o be f/(-25) - 2/(-10). Suppose -o = 5*t + 3*z - 47, 0 = z + 5. Is t a multiple of 4?
True
Let d(i) = -i**3 + 2*i**2 + 2*i - 2. Let r be d(2). Let l be r/9 - 16/(-9). Suppose -l*q = 3*q - 80. Is 8 a factor of q?
True
Let a(h) = 16*h**3 + h**2 - h + 2. Let u be a(2). Suppose 0*d - 3*d + u = 0. Is (d/10)/((-3)/(-30)) a multiple of 14?
False
Is 40/8 - 0/1 a multiple of 4?
False
Let h(m) = 12*m - 22. Does 22 divide h(11)?
True
Suppose -4*l = -1 + 9. Let g(d) = -2*d + 2. Does 4 divide g(l)?
False
Does 14 divide 2 + 81 + (19 - 18)?
True
Let y(p) be the first derivative of p**4/4 + 7*p - 3. Let n be y(0). Suppose 2*g - 23 = n. Is g a multiple of 7?
False
Suppose -5*v = -4*u + 271, -3*v = -4*u - 15 + 288. Is u a multiple of 35?
False
Let k(g) = -7*g**2 - 2*g - 2. Let y(q) = -85*q**2 - 25*q - 25. Let l(c) = 25*k(c) - 2*y(c). Let a be l(-3). Let x = 80 + a. Is x a multiple of 18?
False
Suppose -3*j = -12, 24 - 10 = 2*q + 5*j. Is (104/(-12) + 2)*q a multiple of 5?
True
Let i(h) = h**2 - h + 13. Let m be i(0). Let p(g) = g - 9. Let t be p(m). Suppose z = -t*z + 140. Is z a multiple of 18?
False
Let a = 5 + -3. Suppose -11 = -a*y + 3. Does 2 divide y?
False
Let s(t) = t**3 + 2*t**2 - 3*t - 1. Suppose 0 = 5*c - 17 + 2. Is s(c) a multiple of 7?
True
Suppose 5*n + 2*j = 0, -3*j - 1 = 4*n + 6. Let i be 4/(-18) + (-20)/(-9). Suppose -z + 195 = 5*m - i*z, n*m = -3*z + 61. Is m a multiple of 10?
False
Let c = 38 + -27. Is c a multiple of 11?
True
Is 11 a factor of (-3)/(30/(-205)) + (-3)/(-2)?
True
Let o(g) = -3*g + 2. Let v be o(3). Let y(w) = -6*w - 4. Is 19 a factor of y(v)?
True
Let l = -583 - -846. Is 46 a factor of l?
False
Suppose 2*j - 40 = -6*b + 3*b, 0 = 4*b - 3*j - 42. Let p(u) = 2*u - 18. Does 3 divide p(b)?
True
Let a = 18 + -11. Let f be a*(0 - (-9 - 2)). Suppose -f = -5*t - 12. Is 13 a factor of t?
True
Suppose -p - 3*v + 90 = 0, -3*p + 226 = -v - v. Is p a multiple of 13?
True
Let l = 40 - 12. Suppose -3*b - 2*v = -6*v - l, -5*v - 50 = -5*b. Is b/((-2)/4 + 2) a multiple of 8?
True
Suppose -22*d - 168 = -26*d. Is 6 a factor of d?
True
Let d = -3 + 3. Suppose d*y + y = 0. Suppose 2*f - 32 = -y*f. Is 14 a factor of f?
False
Let t(h) = -h**2 - 15*h + 18. Is t(-14) a multiple of 23?
False
Let a = 13 + -10. Suppose -42 = -a*w - 3*i, 32 = -0*w + w - 5*i. Is 8 a factor of w?
False
Suppose -3*q + 15 = 3*o, 2*o + 6 + 4 = 0. Suppose -q = -5*p - 0. Suppose -v = c - 0*c - 51, -p*v + 2*c = -82. Does 18 divide v?
False
Let h be -1 - 1/((-1)/1). Suppose 19 = 3*p + 4*r, -2*p + r + 9 = -h*p. Suppose t = 4*x - p, -2*t = 4*x + t - 17. Is 2 a factor of x?
True
Let s(m) = -11*m + 27. Let o(v) = 6*v - 14. Let w(i) = -7*o(i) - 4*s(i). Let g be w(7). Suppose 3*f - 7 = g*k - 29, -13 = -k - 3*f. Is k a multiple of 7?
True
Let d be (-1)/(-2) - (-22)/(-4). Let q(m) = m + 9. Is q(d) a multiple of 4?
True
Let u(h) = -h**2. Let k(t) = 4*t**2 + 4*t + 3. Let y(l) = -k(l) - 3*u(l). Let n be y(-2). Let q = 14 + n. Is 5 a factor of q?
True
Let c(i) = 0*i**3 + i**3 + 28 - i + 2*i. Is c(0) a multiple of 14?
True
Is (-1 - 366/(-4)) + (-1)/2 a multiple of 9?
True
Let v = -4 + 7. Let n = 1 - v. Is n/(-7) + 61/7 a multiple of 5?
False
Let k be (-36)/15*(-1 - -6). Let z = 17 + k. Is z a multiple of 4?
False
Suppose 6 = 2*g - 2*s, -2*s - 6 + 0 = -3*g. Suppose 0 = -g*f - 2*f + 76. Suppose -3*l - 2*j + 64 = l, -l + 5*j = -f. Is 13 a factor of l?
False
Let k = 12 - 10. Suppose k*o + 4 - 70 = 0. Does 11 divide o?
True
Suppose 7*h - 95 = 2*h. Does 16 divide h?
False
Let l(q) = q**2 + 9*q + 12. Suppose -t = 7 + 1. Is l(t) even?
True
Let f(k) be the second derivative of k**4/12 + k**3/6 + 32*k**2 - 2*k. Is 11 a factor of f(0)?
False
Suppose -33 - 3 = 3*t. Is 11 a factor of 4/6 + (-184)/t?
False
Let s(a) = 2*a**2 + 5*a + 8. Is 7 a factor of s(-7)?
False
Suppose 0 = -5*y - 9 + 74. Let g = y + 0. Does 13 divide g?
True
Let a(r) = 2*r - r**2 + r + 2 - r. Let m be a(4). Does 19 divide (57/m)/(2/(-4))?
True
Suppose -i = i - 98. Is 28 a factor of i?
False
Suppose 5*u - 2*j + 133 = 0, 4*u = j - 2*j - 96. Is 13 a factor of ((-40)/u)/((-1)/(-15))?
False
Suppose 0 = 2*c - 0*c - 4*q + 16, -4 = 5*c - q. Let j = 2 + c. Does 5 divide (0 + 14)/(-1 + j)?
False
Suppose 2*b - 39 = 23. Let z = b + -13. Does 17 divide z?
False
Suppose 18*k = 15*k. Let p(g) = 17*g**2 - 2*g + 1. Let f be p(1). Is 16 a factor of (-2)/(-6)*k + f?
True
Let j = 50 + -30. Does 7 divide (2 - -5)/(5/j)?
True
Let t = 1 + 2. Suppose z - 38 = -5*p, -p + 14 = -0*z - t*z. Suppose -p = -i + 5. Is i a multiple of 6?
False
Let c = 6 - 13. Let v be c + -2 + (1 - -2). Is 4 a factor of -1 - v - 2/2?
True
Let y(l) = l**3 + 12*l**2 + 3*l - 1. Let p be y(-11). Let x = p + -57. Is x a multiple of 15?
True
Let d be (8/10)/((-10)/(-25)). Let c be -1 + (1 - d - -6). Suppose 0 = -2*b + c*b - 18. Does 9 divide b?
True
Let m(x) = 4*x + 2. Suppose -2 = 2*y, -3*t + 5*t = 2*y - 4. Let q be m(t). Let p = 14 + q. Is 3 a factor of p?
False
Suppose -3*y = 5*s + 13, 2*s = 5*y - 2*s - 40. Is y a multiple of 4?
True
Suppose -4*r + 8 = -3*r. Let v(d) = -d**3 + 7*d**2 + 15*d. Let g(i) = -i**3 + 7*i**2 + 16*i + 1. Let t(x) = -5*g(x) + 6*v(x). Is 6 a factor of t(r)?
False
Let t(u) = -u - 5. Let q be (-129)/15 + (-2)/5. Let c be t(q). Suppose 0 = h + 2*p + 3*p - 28, 0 = -c*p - 8. Is h a multiple of 19?
True
Let m(c) = c**3 + 7*c**2 + 5*c - 1. Does 11 divide m(-5)?
False
Suppose -2*z + 94 - 11 = -3*u, -4*z + 159 = u. Suppose -z = -m + 3*m. Does 8 divide m/3*12/(-10)?
True
Suppose 0 = -g + u + 159, -g + 456 = 2*g + 4*u. Is 39 a factor of g?
True
Let t(a) = a**3 + 6*a**2 - 4*a - 6. Let u be t(-6). Suppose m - 2 = u. Is m a multiple of 17?
False
Suppose -5*t + 5*z = 3*z + 319, -4*z = 2*t + 142. Suppose -32*g - 4 = -30*g. Let c = g - t. Does 27 divide c?
False
Let c(w) = -w + 5*w**3 + w**2 + 4*w + 15*w**3 + 1 - 5*w. Is 10 a factor of c(1)?
True
Suppose x = 7 - 2. Suppose -x*i + 0 = -10. Suppose z = -2*z - 3*s + 102, i*z - s - 71 = 0. Is 12 a factor of z?
False
Suppose 0 = 3*j - 2*w - 4, 4*j + 4*w - 9 = 3*w. Let v = 5 + j. Let s(i) = -i**3 + 8*i**2 - 3*i - 5. Does 14 divide s(v)?
False
Suppose -2*v + 16 = -5*u, 4*u