1 - j - (1 - 2) a multiple of 2?
False
Let b be 28/6 + 4/(-6). Suppose 3 = -t + 9. Suppose -4*o - b*u = -24, -4*o - t*u + 23 = -u. Does 3 divide o?
False
Let i(m) = 2*m + 16. Suppose 0 = o - 0*o - 12. Does 9 divide i(o)?
False
Suppose -y + 31 = 5*q - 25, -3*q - 48 = -y. Is y a multiple of 17?
True
Suppose -4*r + 210 = -54. Suppose r = a + a. Let q = a - 13. Is q a multiple of 13?
False
Suppose r - 61 + 11 = 0. Suppose r = p + p. Does 14 divide p?
False
Let l(j) = -2*j - 2*j + 0*j + 0*j + 6. Is l(-3) a multiple of 18?
True
Let j = 248 - 148. Let v be -3*2*10/(-20). Suppose -v*g = -g - j. Is g a multiple of 18?
False
Let w(s) = -1. Let h(v) = 5*v + 11. Let j(c) = h(c) + w(c). Let f be (-8)/6 - 50/(-6). Is j(f) a multiple of 15?
True
Does 6 divide (-48)/(-14)*168/48?
True
Suppose -5 = -3*b - 2. Suppose -o + b = -2*o. Let k(z) = -10*z**3 + z**2 + z. Is 5 a factor of k(o)?
True
Let w = 12 - 10. Suppose 0 = 2*p + 8, w*g - 5*p - 40 = -12. Is 2 a factor of g?
True
Let d(b) = -2*b - 1. Suppose 0 = -4*x + l - 17 - 34, 5*x = 3*l - 55. Is d(x) a multiple of 8?
False
Let q be (-6 - -6) + (-276)/(-2). Suppose -3*j - l = -q, l - 57 = -j - 9. Does 15 divide j?
True
Let f be (-25)/1 + 1 + 0. Let k = 50 + f. Is k a multiple of 13?
True
Let s(z) = -z**3 + 6*z**2 + 5*z - 7. Let y be s(5). Let x be (-24)/(-5)*110/(-33). Let v = x + y. Is 15 a factor of v?
False
Let x be 106/8 + 21/28. Let y be (-568)/(-28) + (-4)/x. Is 17 a factor of (-308)/(-10) - (-4)/y?
False
Suppose -5*o - 28 = -u - 5, -2*o = -2*u + 14. Is o/(-8) - (-321)/6 a multiple of 17?
False
Let z = -39 - -41. Let v = 27 + 10. Suppose -3*u = -z*u - 5*o - v, 5*u = o + 89. Is u a multiple of 11?
False
Let z(b) = b**3 + 14*b**2 + 14*b + 18. Let f be z(-13). Let m = 12 - f. Let l = m - -4. Is l a multiple of 4?
False
Let l be 104/28 + 4/14. Let u(o) = o**3 - o**2 - 4*o + 4. Does 12 divide u(l)?
True
Suppose -q = q - 4. Is 3 a factor of q/3*27/2?
True
Is 6 a factor of (-326)/(-22) + 10/55?
False
Let u(l) = l**3 - 5*l**2 + 9*l + 9. Is u(6) a multiple of 3?
True
Suppose -9*t + 6*t = -66. Does 9 divide t?
False
Let w(y) = 2*y + 42. Is w(-6) even?
True
Does 6 divide (-3 - -8 - -16)/((-1)/(-2))?
True
Let w be ((-8)/(-20) - 1)*-45. Suppose 3*v = 3 + w. Is v a multiple of 10?
True
Let j(q) = q**3 - 10*q**2 - 14*q + 5. Let v be j(11). Let c = -10 - v. Does 6 divide c?
True
Suppose 116 = -4*i - 96. Is 10/30 + i/(-3) a multiple of 18?
True
Let m = 7 + -4. Suppose -m*x + 6*x = -3. Does 14 divide (14/2)/(x/(-2))?
True
Suppose 3*b = -2*b + 20. Suppose 0 = b*j - 38 - 86. Let l = 0 + j. Does 13 divide l?
False
Let i = -5 + 4. Let m be (i - -3) + (7 - 5). Suppose 0*l - 40 = -m*l. Is 10 a factor of l?
True
Let p be 6/(2 - 1)*8. Suppose 3*o + o = p. Suppose -o = 5*s - 52. Does 8 divide s?
True
Let m = -52 + -23. Let n = -113 - m. Let f = n - -74. Is 18 a factor of f?
True
Let z(f) = 4*f**2 + 3*f + 4. Is z(-3) a multiple of 31?
True
Let y(f) = 27*f**2 - f + 1. Let d = 7 + -1. Let o be (2/4)/(3/d). Is 20 a factor of y(o)?
False
Let b(c) = -2*c - 4. Let s be b(-5). Let h = s - -29. Does 24 divide h?
False
Let x = -45 - -22. Let q = -11 - x. Is 3 a factor of q?
True
Suppose 4*y - 3*y = 2. Suppose 3*l - y*h = 2, 0*l - h + 10 = 4*l. Is (9 - (-1 - -2))/l a multiple of 3?
False
Let g(s) = -s - 4. Let k be g(-4). Suppose k = -4*m - b + 97, -4*b + 10 = -10. Suppose -5*z + 58 + m = -3*q, 0 = 4*q - 12. Does 9 divide z?
True
Let l(a) = a - 2. Let f be l(5). Suppose -3*g + 45 = -f*o, 0 = -5*g - 0*o - 4*o + 102. Does 14 divide g?
False
Let i = -401 - -576. Is i a multiple of 25?
True
Let p(l) = -l**3 + 6*l**2 + 3. Let d be p(6). Suppose -5*w + d*b + 58 = -w, -5*b = w - 3. Does 11 divide w?
False
Suppose 3*w - 8 = 2*a, w = -a - 3 + 9. Is 2 a factor of a?
True
Does 34 divide ((-51)/(-6))/(1/10)?
False
Let q(d) = 10*d**2 + d. Let h be q(-1). Let u(l) = -l**2 + 9*l + 8. Is u(h) a multiple of 8?
True
Suppose -14 = -2*q - 4. Suppose -u = -q*u + 128. Does 17 divide u?
False
Does 4 divide (1 + 34/8)/(15/320)?
True
Suppose 21 = 3*p - 3*d, -7*d + 35 = 2*p - 2*d. Let m = p - -16. Is 11 a factor of m?
False
Suppose 107 = 3*j - 256. Does 25 divide j?
False
Suppose -5*f + 2*u = -367, 5*f + 2*u = 2*f + 233. Does 7 divide f?
False
Let x(n) be the second derivative of n**6/120 + n**5/5 - n**4/12 + 11*n**3/6 - 2*n**2 + 2*n. Let t(s) be the first derivative of x(s). Does 11 divide t(-12)?
False
Suppose 2 = 4*t - 2. Let p = t - -1. Does 2 divide p?
True
Suppose -2*a = -1 + 3. Does 24 divide (11 - a)*(-18)/(-4)?
False
Suppose 0*q + 576 = 6*q. Does 32 divide q?
True
Suppose -2*x = -r + 5*r - 192, r = -2*x + 192. Is x a multiple of 12?
True
Let a = 3 + -3. Suppose -2*s + 3 + 1 = a. Suppose g + s*j - 5 = 0, -4*g + 4*j + 94 = 14. Is 9 a factor of g?
False
Let r(l) = l**3 + 10*l**2 - 12*l - 7. Let d be r(-11). Suppose -d*k + 3 = -3*k. Suppose 0 = -k*o - 2*o + 110. Is 16 a factor of o?
False
Let b(m) = -7*m - 2*m - 3*m**2 + 4*m**2 + m - 5. Is 4 a factor of b(9)?
True
Suppose 4*m + 0*m - 128 = 0. Let c(q) = q**2 - 6*q - 5. Let o be c(6). Is m/o*(-8 + 3) a multiple of 16?
True
Let u(a) = a**3 - 15*a**2 - 43*a + 18. Is 8 a factor of u(18)?
True
Let t(h) = 2*h**2 - 2*h - 4. Let l be t(-3). Let g = 33 + l. Does 16 divide g?
False
Suppose 0 = -w - 3, -3*l = -2*w - 79 - 8. Is l even?
False
Suppose 0*h + 2*h + 6 = 5*t, 4 = 2*t. Suppose 11 + 14 = 5*u. Suppose 2*c - 11 = h*x - 33, u*x = c + 47. Is 3 a factor of x?
True
Suppose -10*h + 9*h = -5. Suppose t = h*t - 12. Is t even?
False
Suppose -2*g + 12 = -36. Is g a multiple of 6?
True
Suppose 0*r = 4*r - 68. Suppose 0 = -3*v + 34 + r. Does 8 divide v?
False
Let x be (-80)/(-50) - 6/10. Does 8 divide (x - -26) + (-3)/(-1)?
False
Let j be 0 - (10 - 8/(-4)). Let r(z) = -z**2 - 16*z. Is 16 a factor of r(j)?
True
Let r(k) = 4*k. Let i be r(1). Suppose 2*d + 0 - 33 = -5*z, i*d = 2*z + 30. Is 9 a factor of d?
True
Let h be (-4)/(-10) - 26/(-10). Suppose h*u - 2 = 2*u. Does 13 divide (-1 + u)*39/3?
True
Let n be ((-616)/(-21))/((-2)/(-6)). Is (8/(-16))/((-2)/n) a multiple of 9?
False
Suppose 0 = o - 196. Is 28 a factor of o?
True
Let q = -7 + 7. Suppose 7*j - 4*j + 2*g = 0, q = -2*j - 5*g. Suppose j = -5*o, 5*l + 2*o - 145 = 6*o. Does 12 divide l?
False
Let z(f) = 2*f**2 + 11*f + 4. Let t be z(-7). Suppose b - 2*b = -t. Is 6 a factor of b?
False
Let i = 208 - 148. Does 30 divide i?
True
Suppose -5*h - 43 = i, -5*h + 25 = -7*h - 3*i. Let d = h + 17. Is d a multiple of 9?
True
Is 2 a factor of (-29 - -41)/(1 + 1)?
True
Suppose 2 = -2*v + 6. Suppose v*i + 2*i + 56 = 0. Let x = i + 57. Is x a multiple of 12?
False
Let u(k) be the first derivative of -3*k**2/2 - 8*k - 3. Does 13 divide u(-7)?
True
Suppose 13 = -4*t - 3, -l - 4*t = -127. Suppose -4*x = -3*m - l - 91, -x = 2*m - 53. Is 15 a factor of x?
False
Let r = 49 + -5. Let i be r/12 - (-1)/3. Does 23 divide 23 + 0*(3 - i)?
True
Let m(p) = -p**3 + 13*p**2 - 20*p + 14. Is 13 a factor of m(10)?
False
Let z be (3/(-3))/((-1)/2). Suppose -y - 194 = -5*x, 16 = z*x + 3*y - 48. Is x a multiple of 19?
True
Suppose -3*d + 2*o = -118 - 852, -4*o + 4 = 0. Is 36 a factor of d?
True
Suppose 4*u - 116 = 4*w, -u + 3*w - 6 = -31. Does 8 divide u?
False
Suppose i = s + 5*i + 9, -3*i = 2*s + 3. Suppose s = n - c + 3*c, 0 = -3*c + 6. Does 11 divide (-6)/(-3)*n - -16?
False
Suppose 8*h = 4*h - 3*r - 1, 0 = -2*h - r + 1. Let o(j) = -h*j + 8*j + 0 - 5 - 2. Is o(6) a multiple of 14?
False
Suppose 3*m - 3*o = 21, m - 14 = 3*m + 5*o. Suppose -m*x - x = -240. Is 16 a factor of x?
False
Let j = 64 + -16. Is 3 a factor of j?
True
Let j = -52 + 112. Is 20 a factor of j?
True
Let r = -7 + 7. Suppose -3*q + r*q + 4*b + 121 = 0, -217 = -5*q - b. Is 12 a factor of q?
False
Let s(t) = -t - 2. Let n(w) = -w + 1. Let y(o) = -3*n(o) + s(o). Let h be y(5). Suppose -4*q = -k - 41, 4*k + h + 9 = q. Is 5 a factor of q?
True
Suppose 2*y - 27 = -1. Suppose -3*h - 4 + y = 0. Suppose -p = -6*p - h*j + 106, -2*p + 5*j + 61 = 0. Is 23 a factor of p?
True
Suppose 0*a + 60 = 5*a. Does 4 divide a?
True
Let b(y) = -y - 4. Let g be b(-9). Suppose 2*h + 6 = 5*u - 6, -2*u = g*h - 28. Suppose -3*m - 3*k = -8*m + 166, 0 = -h*m - 4*k + 152. Is 9 a factor of m?
False
Let d(k) be the first derivative of k**4/4 + 4*k**3/3 - k**2/2 - 2*k - 2.