 factor of (-204)/l - (-3)/6?
True
Suppose -80 = -3*t - 2*t. Suppose -l = 6*p - 2*p - 54, 4*l = 3*p - 50. Suppose 3*x - p - t = 0. Does 8 divide x?
False
Suppose -3*u + 2*u + 12 = 0. Suppose i = 4*w - 2, 2*w + u = i + 4. Is i a multiple of 6?
True
Suppose -2*p + 81 = -g - 19, -3*p + 150 = -4*g. Is p a multiple of 11?
False
Suppose -4*d - 348 = 112. Let s = d - -73. Does 10 divide (s - -3)*2/(-6)?
False
Let j be (-498)/21 + 2/(-7). Let l = 44 + j. Is 10 a factor of l?
True
Let g(r) = r**3 - 7*r**2 + 6*r - 6. Let k be g(6). Does 25 divide 925/15 + (-2)/k?
False
Suppose -4*f + 125 = f. Does 8 divide f?
False
Suppose -4*a - 5*q = -4*q - 131, 4*q = 2*a - 52. Does 3 divide (a/(-48))/((-2)/9)?
True
Suppose -p - 2*x = -53, -p + x + 3*x + 23 = 0. Does 23 divide p?
False
Let o = 6 - 6. Suppose o = 6*t - 2*t + 12. Is -18*(10/t - -2) a multiple of 8?
True
Suppose -s + w + 12 = -4*w, 3*w + 6 = 0. Let o be s/7 - (-1452)/14. Suppose 0 = -5*i - t - 0*t + o, 3*t + 48 = 3*i. Is 10 a factor of i?
True
Let n(w) = w**3 - 3*w**2 + 3. Suppose -5 = g + 5. Let z = 14 + g. Is 11 a factor of n(z)?
False
Let a = 641 + -394. Does 26 divide a?
False
Let q be (-3)/(-2) - (-3)/6. Suppose k = -q*n + 6*k + 43, -2*n - 4*k + 34 = 0. Is 11 a factor of n?
False
Let s be 1 + (-12)/4 + 4. Suppose -2*g - s = -44. Is g a multiple of 7?
True
Suppose -4*a - 2 + 10 = 0. Let l(c) = -4*c + c**a + 7 + 4*c - 12*c. Is 7 a factor of l(12)?
True
Let b(k) = -3*k**3 - 6*k**2 - 4*k - 6. Let f(l) = l**3 + l**2. Let v(y) = b(y) + 2*f(y). Does 5 divide v(-4)?
True
Suppose -26 = -2*s - 5*q, -3*s = q - 3*q - 20. Is 14 a factor of 1 + -3 + 5*s?
False
Let d = -2 - -9. Let r be (4/14)/(1/d). Suppose 8*z + y = 3*z + 86, r*z + 3*y = 24. Does 18 divide z?
True
Let l(o) = o + 10. Let w be l(-7). Suppose -3*u + 2 = -2*u. Suppose -v - u*v + 8 = i, 0 = -w*v - 6. Is 7 a factor of i?
True
Suppose -2183 = 3*f - 215. Is 16 a factor of f/(-36) - 6/27?
False
Let s(o) = o**3 - o**2 - 3*o + 1. Let j(g) = -g**2 + 4*g + 7. Let d be j(5). Let l be s(d). Is 16 a factor of (16/(-12))/(l/24)?
True
Suppose 24 - 357 = -3*k. Is 30 a factor of k?
False
Suppose -5*t + 61 - 21 = 0. Is t a multiple of 4?
True
Suppose -5*s - 3*j + 349 = -6*j, s - 71 = j. Does 4 divide s?
True
Suppose 10*a - 300 = 4*a. Does 6 divide a?
False
Let p = 48 - -3. Does 26 divide p?
False
Let n(i) = 6 + 12*i + 2*i**2 - 3 - 3*i**2. Suppose 3*h + 42 = 10*h. Does 13 divide n(h)?
True
Let f = 0 + 4. Let u be 426/(-4)*f/(-6). Suppose -u = -4*w + 5*k, 24 = 2*w + 4*k - 18. Does 9 divide w?
False
Let z(v) = -v**3 + 11*v**2 + 10*v + 4. Is z(11) a multiple of 24?
False
Let x = 17 + -15. Suppose x*b - 48 = -b. Does 16 divide b?
True
Suppose -2*g + 227 = 5*q, -g - g - q = -247. Is g a multiple of 14?
True
Suppose -3*d = 15 - 66. Let i = d + 9. Does 13 divide i?
True
Let d = 2 + 7. Suppose 3*p - 15 = -5*s + 8*p, -d = -s - 2*p. Suppose -3*u + 80 = 5*k, s*k = -5*u + 83 - 3. Does 16 divide k?
True
Let h(o) = 5*o**2 - 9*o + 6. Let w be h(6). Suppose -4*b = -3*n + w, 4*n - 165 = 5*b - 0*n. Let c = b + 59. Is c a multiple of 13?
True
Let j = -18 - -96. Let s = 0 + 3. Suppose r - 5*r = -5*h - 69, 5*h - j = -s*r. Is r a multiple of 21?
True
Let m = -5 - -7. Suppose -q - m = -14. Is q a multiple of 12?
True
Suppose -12 + 2 = -5*k. Suppose 3*t - v = 13, 0*v = -4*v - 4. Suppose 58 = k*u - t*s, -4*u + 28 + 44 = 3*s. Is 7 a factor of u?
True
Does 25 divide (-1*4)/(5/((-3425)/10))?
False
Let l = 173 + -123. Is 8 a factor of l?
False
Suppose -4*v + 2*p - 12 = 0, -5*p + 20 = -3*v - 3. Does 3 divide (1/(-2))/(v/14)?
False
Let i(v) = -7*v**3 - 25*v**2 + 11*v - 30. Let r(m) = 11*m**3 + 38*m**2 - 16*m + 45. Let p(q) = 8*i(q) + 5*r(q). Is p(-11) a multiple of 9?
True
Suppose -5*s + 188 = 53. Is s a multiple of 9?
True
Suppose 4*v - 820 = -v + 2*u, 0 = -5*v + u + 815. Suppose v = 3*z + 2*i, -3*z - 3*i = -59 - 106. Suppose 5*m - z = 28. Is 5 a factor of m?
False
Suppose -4*x - 2 = 2*v, 3*v - 7*v = -3*x + 4. Suppose x = 8*w - 3*w - g - 135, 3*w - 64 = 4*g. Is w a multiple of 7?
True
Let i(h) = 16*h**2 - 3*h + 2. Is 15 a factor of i(1)?
True
Suppose -4*t + 4*w = -54 - 178, 2*t = 3*w + 117. Is t a multiple of 6?
False
Let k(h) = h**2 + 7*h + 10. Does 14 divide k(-12)?
True
Let k = 88 + -33. Does 17 divide k?
False
Let q = -9 - -44. Is q a multiple of 7?
True
Suppose 5 = a - 6. Is 5 a factor of a?
False
Is 16 a factor of 639/4 - (-3)/12?
True
Let h(y) = -22*y + 2. Let p be h(2). Does 7 divide (p/4)/(5/(-10))?
True
Suppose -g - 2*s = 3, -3*g - 2*s = g - 6. Let f = -1 + g. Is (-126)/(-15) - f/5 a multiple of 3?
False
Let n = 114 + -109. Does 5 divide n?
True
Suppose -d - 5*x = 4, 5*d + x + 4*x = -40. Suppose -2*z - 3 = 3*v + 2*v, -4*z = 16. Is 4 a factor of 1/(v*(-1)/d)?
False
Let l = 8 - 3. Let i(h) = h**2 - 5*h - 6. Let n be i(6). Suppose n*q - l*q = -75. Does 7 divide q?
False
Let h(s) = s**2 + 3. Let i be h(0). Is 2 a factor of 8 + -1 + (1 - i)?
False
Suppose -4*t - 5*h + 14 = 0, -5*h - 16 = 4*t - 5*t. Is t a multiple of 4?
False
Let g be (0/(-3))/(-1)*1. Let j(p) = 3*p - 3 - 1 + g*p. Does 4 divide j(4)?
True
Suppose -3*q = -0*q - 18. Let k = q + -3. Suppose k*d - 7*d + 28 = 0. Is 7 a factor of d?
True
Suppose 3*i - 3*m = 420, -4*i + m + 99 + 446 = 0. Does 13 divide i?
False
Suppose -3*i + 3*c + 132 = 33, -i - c + 23 = 0. Is i a multiple of 14?
True
Let h(l) = -4*l**2 + 28*l + 10. Does 2 divide h(7)?
True
Let z(w) = w**3 - w**2 - w + 39. Let v be 0/(3 + (-3 - 2)). Does 11 divide z(v)?
False
Let g(r) = -r**3 - 6*r**2 - 9*r - 8. Is 5 a factor of g(-5)?
False
Let r(i) = 21*i**3 + i**2 - 3*i + 3. Is 13 a factor of r(2)?
True
Suppose 0 = 2*j + 3*q - 7, -2*j - 3*q = -j - 2. Let v = j + 8. Is v a multiple of 13?
True
Let r(y) = 94*y + 1. Is r(1) a multiple of 11?
False
Let g(c) = -c**2 + 7*c + 3. Let n be g(7). Suppose -5*u + 15 = -5. Suppose -w + n*l - 5 + 18 = 0, -10 = -u*w - 2*l. Is w a multiple of 3?
False
Let t(n) = 16*n**2 - 2*n - 10. Does 10 divide t(4)?
False
Let b(q) = 5*q**3 - q**2. Let o be b(1). Is (-3)/(-6) - (-154)/o a multiple of 14?
False
Let n = -7 - -1. Does 3 divide n/(-2) + 3*2?
True
Let o be ((-36)/(-30))/(2/180). Suppose 8 = -2*w, 0*w = -q + w + o. Suppose -2*r = 4, -q = -6*l + l - 3*r. Is l a multiple of 11?
True
Let l(w) be the second derivative of -w**4/12 + 7*w**3/6 + w**2 - 4*w. Is 4 a factor of l(6)?
True
Let s(a) = -a**3 + 12*a**2 - 15*a + 16. Let u be s(11). Is (-651)/u - (-1)/(-4) a multiple of 6?
False
Suppose -4 = -2*s - 2*z, 0 = -2*s + s - 4*z - 10. Does 6 divide (40/s)/(2/3)?
False
Let f(c) = -c + 7. Let j be f(5). Suppose -j*v = 5*i - 164, 2*v - 130 = -4*i + v. Does 10 divide i?
False
Suppose 6*p - 40 = p. Suppose 0 = -5*y + t + 112, -y + 3*t - p = -22. Suppose 2*m - 3 - y = 0. Does 13 divide m?
True
Let c(p) = -p - 2. Let i be c(-2). Suppose 3*o = -3*u - i*o + 156, 4*u - 4*o - 248 = 0. Is u a multiple of 17?
False
Suppose 71 = o + n, -5*n + 223 = -3*o + 6*o. Let w = -14 + o. Is w a multiple of 13?
True
Let p = 534 - 300. Is p a multiple of 18?
True
Let o(h) be the second derivative of -h**4/12 + 7*h**3/6 - h**2/2 - 5*h. Is 3 a factor of o(5)?
True
Suppose 4*q = 16, o - 5*q + 8 + 4 = 0. Let t = o - 8. Suppose 4*a + 0*a - 36 = t. Is 3 a factor of a?
True
Suppose c - 209 = 3*a, 4*c + 7 = -9. Let v = -6 - a. Suppose 5*u - v = -0*u. Does 9 divide u?
False
Is (-2 + 3)/(4/52) a multiple of 13?
True
Let q be (6/(-4) + 4)*4. Let m = 8 - 6. Does 12 divide (10 - 7)/(m/q)?
False
Is 216/4 + (-32)/8 a multiple of 9?
False
Let c = -171 - -253. Does 17 divide c?
False
Let a(n) = 2*n + 4. Is 9 a factor of a(8)?
False
Let c(l) = -l**2 + l. Let f be c(-1). Does 9 divide ((-2)/(-2))/(f/(-34))?
False
Let j(f) = 6*f**2 + 1. Let r be j(1). Let d(q) = q**3 - 5*q**2 - 10*q + 9. Is 10 a factor of d(r)?
False
Let g(m) = m**3 - 5*m**2 + 4. Let o be g(5). Is 19 a factor of 10/o*(-6 - -14)?
False
Suppose -82 = -5*x + 3*x. Does 8 divide x?
False
Suppose 163 = -4*w + 595. Is w a multiple of 36?
True
Let z = 34 - 16. Is z a multiple of 10?
False
Let n(o) = 5*o**2 - 3*o + 135. Let r(k) = 2*k**2 - k + 45. Let y(g) = 3*n(g) - 8*r(g). Does 15 divide y(0)?
True
Suppose 3*i + 124 = 5*s, -2*s = -2*i - 2*i - 44. Suppose 5*h - 166 + s = 0. Does 14 divide h?
True
Suppose 0 = 4*x + 5*d - 22, -30 = -5*x +