22/1)/r + -2?
False
Suppose 0*o - 10 = -2*o. Suppose -o*r = -10*r + 160. Is 16 a factor of r?
True
Suppose 2 + 10 = -4*l. Let d(y) be the second derivative of y**4/12 - 2*y**3/3 + y**2/2 - y. Is d(l) a multiple of 11?
True
Let p(z) = 5*z**2 - 32*z + 27. Let i(c) = -c**2 + 8*c - 7. Let y(v) = 9*i(v) + 2*p(v). Let o be y(-7). Let k = 32 + o. Is 8 a factor of k?
True
Suppose 0*m = -4*m + 12. Suppose k = m*k + 528. Does 9 divide k/(-15) - (-4)/10?
True
Is 31 a factor of (21/(-14))/((-3)/248)?
True
Suppose -3*c + 8*c - 25 = 0. Is c a multiple of 4?
False
Let q = -100 - -54. Let y = q - -110. Is y a multiple of 18?
False
Suppose 9 = -3*k, 5*k = -2*r - 5 - 6. Suppose -r*s + 24 = -0*s. Suppose -s = -x - x. Does 4 divide x?
False
Let q(m) = m**2 + m + 3. Let r be q(5). Let d(l) = l**3 + 8*l**2 + 4. Let c be d(-8). Let g = r - c. Is g a multiple of 14?
False
Let o(q) = q**3 - 5*q**2 + 5*q + 5. Let c = 0 + 5. Let n be o(c). Does 15 divide (n/(-12))/((-1)/6)?
True
Let o(t) = -t**3 - 7*t**2 + 4*t - 2. Let m be o(-7). Does 3 divide 18/(-10)*m/6?
True
Suppose -63 = -5*x - 8. Is x a multiple of 2?
False
Let b = 21 - 14. Let r be (2 + 0 - b)*-12. Suppose 8*h = 3*h + r. Does 6 divide h?
True
Let s(a) = 4*a + 4. Let x be s(-8). Let g = -5 - x. Does 15 divide g?
False
Let d = -1 + 4. Suppose 4*a + 5*n = 101, -3*a + d*n + 45 = -a. Is 12 a factor of a?
True
Suppose -2*y - 2710 = 3*y. Is 13 a factor of y/(-14) + 8/28?
True
Let i(s) be the second derivative of -5*s**3/3 + s. Let l = -7 - -6. Does 7 divide i(l)?
False
Suppose -3*h = -5*h. Suppose h = 2*x + x - 18. Is x a multiple of 6?
True
Let u(d) = d**3 - 4*d**2 - 5*d + 5. Let x be u(5). Suppose 0 = 4*p - x*p + 60. Is p a multiple of 13?
False
Let d = 9 + -5. Suppose 2*u - 6 = -d*l, -l + 1 = -5*u - 3*l. Is 1 - u/(-1)*-5 a multiple of 5?
False
Suppose 119 + 17 = -4*a. Let g be (-4 - 0)/(2/38). Let o = a - g. Does 14 divide o?
True
Suppose 0*r = -3*j - 2*r + 2, j + 5*r = 5. Suppose -2*b - b + 48 = j. Is (3 - (8 + -2)) + b a multiple of 13?
True
Let a = 81 - 53. Suppose -11 = r - 5*n + 10, -4*n = 2*r - a. Does 26 divide r/(-2) + 56/2?
True
Let g = -72 + 122. Does 25 divide g?
True
Suppose -4*t = -3*t - 4. Suppose 0*f + 20 = t*f. Does 4 divide f?
False
Let n(u) = -u**3 - u**2 + 2*u + 287. Is n(0) a multiple of 26?
False
Let s(q) be the second derivative of 7*q**4/3 + q**2/2 - 2*q. Is 13 a factor of s(-1)?
False
Let x be (3/(-3) - 22) + 1. Is (-1)/(1/x) + -1 a multiple of 7?
True
Let c be 70/3 + (-1)/3. Let j = c + -1. Is 16 a factor of j?
False
Let j(m) = 4*m**2 - 2*m - 18. Does 6 divide j(-4)?
True
Suppose 2*m + m - 19 = -5*u, -2*m + 10 = 2*u. Suppose 2*f - 3*p - 2 = -0*p, -10 = -4*f + m*p. Does 5 divide (5 + -1)*14/f?
False
Let k(o) = 10*o**2 - o - 1. Is 4 a factor of k(-1)?
False
Suppose -3*z = z - 36. Let p be -23 - 3*3/z. Let n = -17 - p. Does 7 divide n?
True
Let k(o) = -o**2 - 2*o. Let i be k(5). Let t = -19 - i. Is t a multiple of 16?
True
Suppose 132 = 6*k - 60. Does 9 divide k?
False
Let m = 0 + 21. Does 16 divide m + -3 + (3 - 3)?
False
Let x(u) = -u**2 - 2*u - 6. Let p be x(-4). Let n = p - -18. Is 2 a factor of n?
True
Suppose 2*o + 384 = -2*y + 4*y, 3*o + 970 = 5*y. Does 6 divide y?
False
Let w(p) = 4*p**2 - 6*p + 7. Is w(5) a multiple of 16?
False
Let f = 32 - 24. Suppose -10*i + 36 = -f*i. Does 18 divide i?
True
Let r(b) = -b + 7. Let l be r(0). Let u = l - -7. Is u a multiple of 7?
True
Suppose k - 4*k = 0. Suppose k*c + 45 = 3*c. Is c a multiple of 7?
False
Let h = -83 - -49. Let i = -17 - h. Is 10 a factor of i?
False
Suppose -4*h = -2*h - 18. Is 8 a factor of h?
False
Suppose 2*g - 4*t = 22, 0*g - 2*t + 1 = 3*g. Suppose -g*l = 5*q - 18, 0 = -4*q + q. Does 3 divide l?
True
Let b be (-2)/3*-3 - -1. Suppose -b*t + 81 = -15. Is t a multiple of 16?
True
Let m(y) = -y**3 + 2*y**2 - 4*y + 45. Is 23 a factor of m(0)?
False
Let c(l) = -5*l**2 + 9*l - 5. Let n(b) = b**2 - b + 1. Let h(v) = c(v) + 6*n(v). Let r be h(-3). Suppose r = 2*m - 35. Does 9 divide m?
True
Let r(u) = -90*u + 1. Let m(y) = -y. Let d(b) = 5*m(b) - r(b). Let v be d(1). Let t = v - 54. Is 14 a factor of t?
False
Let y = -34 - -74. Is y a multiple of 10?
True
Let g = 82 - 62. Is 20 a factor of g?
True
Let t be 6/(-21) + (-60)/(-14). Suppose -3*f - i + 7 = -1, -2*i + 10 = t*f. Suppose 60 = 3*m + f. Is 13 a factor of m?
False
Let f(q) = q**3 - 6*q**2 - 1. Suppose 0 = 3*w - 7 - 11. Let z be f(w). Let o = z + 23. Is 11 a factor of o?
True
Let n(q) be the second derivative of 5*q**4/12 + q**2 + 2*q. Let v(c) = c**2 - 7*c + 4. Let d be v(6). Is n(d) a multiple of 11?
True
Let l(f) = 16*f**3 - f**2 + f. Suppose 2*y + 5*r = 7, y = 5*y - r + 19. Let g be (-6)/y - 3/6. Does 8 divide l(g)?
True
Let z = 5 + -1. Let t be (-4)/(-16) + 1/(-4). Suppose -2*i - 102 = -3*g + i, z*i + 4 = t. Does 11 divide g?
True
Let r(q) = -14*q + 33. Is r(-18) a multiple of 15?
True
Let k = -17 + 10. Does 10 divide (-2)/k + 556/14?
True
Suppose 4*c + c = 0. Suppose -2*z - 3*v + 30 = -4, c = -z + 2*v + 31. Is z a multiple of 12?
False
Suppose 4*l - 3*o = -9 - 4, -23 = 5*l + 3*o. Let n(f) = -f - 7. Let b be n(-5). Does 7 divide (b*2)/(l/8)?
False
Let w = 112 - -58. Is w a multiple of 23?
False
Suppose 5*y - 2*p - 10 = 0, 5*y = -0*y + p + 5. Let f(d) = -24*d**2 + 23*d**2 - 9 + 29 + d. Is 10 a factor of f(y)?
True
Let d(i) be the third derivative of 0 + 0*i + 2*i**2 - 1/6*i**4 - 1/3*i**3. Is d(-3) a multiple of 5?
True
Suppose -5*n - 87 + 11 = -k, -n + 388 = 4*k. Does 32 divide k?
True
Let n(g) = 6*g - 15. Is 6 a factor of n(6)?
False
Let j(x) = -x**2 - x + 2. Let m be j(0). Suppose -u - 30 = m*u. Is 10*(16/u)/(-4) a multiple of 4?
True
Let a = 61 + -100. Let i = a - -72. Is 15 a factor of i?
False
Let u = -21 + 15. Let q(z) be the first derivative of -z**4/4 - 5*z**3/3 + z**2 - 5*z - 2. Is q(u) a multiple of 8?
False
Is 9 + (3/2 - 3/6) a multiple of 3?
False
Suppose 41 - 11 = 2*i. Let g = -1 + i. Does 7 divide g?
True
Let y = 4 + -7. Let u = y - -1. Is -1 + (-2 - -39) + u a multiple of 17?
True
Let u be 1 + 27/33 - 14/(-77). Let x be 1/3 + (-22)/(-6). Suppose -w = 2*w + u*m - 86, 5*m + 130 = x*w. Is 14 a factor of w?
False
Let m(g) = g**2 + 3*g + 5. Let l be m(-2). Suppose 0 = 2*n + 2, 2*u + l*n - 4*n - 7 = 0. Is u a multiple of 2?
False
Suppose 0 = 4*z + 5*f - 46, f + 7 = z - 9. Suppose 3*s - z - 4 = 0. Suppose -2*g + 0 = -s. Does 2 divide g?
False
Suppose -5*z + 0*z - 55 = -3*p, -z = -4. Does 25 divide p?
True
Suppose -2*p - 2 = 2*u + 4, u + 3 = -3*p. Let j = p + 7. Is j a multiple of 7?
True
Suppose -360 = -3*s - 3*s. Does 41 divide s?
False
Suppose -2 = y, -5*j - 5*y + 2 = -3. Suppose 0 = 3*s - 4*l - 20, 5 = 4*s + 4*l - j. Is 3 a factor of s?
False
Let a be 3/((-36)/213)*-4. Suppose -2*z + a - 25 = 0. Let o = z + -5. Is 18 a factor of o?
True
Is (-3185)/(-117) - (-2)/(-9) a multiple of 4?
False
Suppose 5*o + 8 = -12. Let h = 7 + o. Suppose 3*n - 5*k = 52, 0 = -3*n + 4*k - h*k + 68. Is 17 a factor of n?
False
Suppose -k - 4 + 6 = 0. Let p = 5 - k. Suppose 2*d - 161 = -3*d - b, 0 = -p*d - 3*b + 99. Does 10 divide d?
False
Let n(v) = v**3 + 4*v**2 + v + 1. Let q be n(-4). Let t = q - -6. Suppose t*b = 2*h + 61, 4*b = -4*h + 8 + 60. Is b a multiple of 19?
True
Suppose 0 = -b + 109 + 5. Is 38 a factor of b?
True
Let n(b) = 2 + 6 + 1 - b**2 - 10*b. Let l = -3 - 5. Does 20 divide n(l)?
False
Let f(s) = s**3 - 2*s**2 - 6*s + 11*s**2 + 5 - 2*s**3. Is 14 a factor of f(8)?
False
Suppose 4*d + 3*f - 273 = 0, -d = -0*d + 5*f - 47. Is d a multiple of 18?
True
Let g(k) = k**3 - 8*k**2 + 7*k + 5. Let d be g(7). Let v = d - 5. Suppose v*z + 5*z = -4*p + 97, -13 = -p - 5*z. Does 14 divide p?
True
Suppose 0 = 3*a - 2*a + 4. Let w(u) = -6*u + 3. Let t be w(-3). Let x = t - a. Is x a multiple of 12?
False
Let c(m) = -m. Let j(a) = 7. Let i(f) = 3*c(f) - j(f). Let n be i(-5). Suppose -h + 10 = -n. Is 8 a factor of h?
False
Suppose -6*p = -13*p - 21. Does 13 divide (-1 - 0)*(p - 16)?
False
Let p(c) = -c**3 - 5*c**2 - 7*c - 6. Let m be p(-4). Suppose b + 1 = 2*t - m*t, t = -3*b + 30. Suppose 2*r = b + 1. Is r a multiple of 3?
True
Let x(o) = o**2 + 6*o - 3. Is 13 a factor of x(-8)?
True
Suppose -81 = -2*w - w. Is 27 a factor of w?
True
Is 15 a factor of 300/2*(2/(-5))/(-1)?
True
Let o be 1/3