(-2) - i/(-2). Is 10 a factor of (-5)/((5/(-4))/r)?
True
Suppose 54 = 5*h - 171. Does 15 divide h?
True
Suppose -45 = -3*p + 51. Suppose -h = -2*h + p. Does 16 divide h?
True
Is 2/9 - (-87136)/252 a multiple of 16?
False
Suppose -8*s + 12*s - 128 = 0. Is s a multiple of 3?
False
Let j = 2 + 5. Is 4 a factor of j?
False
Is 5 a factor of 3*(6 - (-4 + 0))?
True
Suppose -6*z + 2*z + 5*w = -115, -z = w - 31. Is z a multiple of 16?
False
Is 5 a factor of (-4)/(-6)*(-522)/(-12)?
False
Let b(g) = -2*g + 3. Let p be b(-4). Let u(a) = a**2 + a + 1. Let h be u(0). Suppose -z - h = -p. Does 4 divide z?
False
Let g(m) = -m**2 + 11*m - 5. Is 8 a factor of g(5)?
False
Suppose -5*r - 4*g = -313, -2*r - r - g = -192. Suppose -4*w + 87 = -r. Does 19 divide w?
True
Suppose 2*t - j + 60 = 5*t, -5*j = -2*t + 57. Is 14 a factor of t?
False
Suppose 788 = 14*g - 1312. Does 10 divide g?
True
Suppose 0 = l + 2*g - 258, -2*g = g + 3. Suppose 0 = -4*p + 5*d + l, 5*p - 320 = -2*d + 7*d. Is 15 a factor of p?
True
Let j(l) = 18*l**2 - 2*l + 1. Suppose -2*r + 16 = -4*p, 4*r + 0*r - 3*p - 17 = 0. Suppose r*t + 2 + 0 = 2*q, -t + 4*q = 7. Is 17 a factor of j(t)?
True
Let l = -79 - -129. Is l a multiple of 12?
False
Let z(x) = x + x**3 - 4*x - 3 - 7*x - 10*x**2. Let b = -2 + 13. Is z(b) a multiple of 8?
True
Let y = 10 - 0. Let h = 4 + y. Is 14 a factor of h?
True
Let k(n) = 4*n**2 - 3*n - 1. Does 13 divide k(-2)?
False
Suppose -4*a + 2*d + 542 = 0, 198 + 98 = 2*a + 4*d. Does 40 divide a?
False
Let d = -12 - -18. Let w = 8 - d. Suppose j = 24 - w. Does 10 divide j?
False
Let f = -4 + 11. Is f/3 + (-11)/33 even?
True
Suppose -10*a = 1 + 9. Let m(f) be the first derivative of -6*f**4 + f**3/3 + f**2 + f - 1. Is 12 a factor of m(a)?
True
Let i = -38 + 65. Is i a multiple of 9?
True
Is 30 a factor of (2 - -150) + (-3 - -1)*1?
True
Is 240/36*(-96)/(-10) a multiple of 16?
True
Let u(t) = 0*t**2 - 5*t**2 + 0*t + 6*t**2 + 37 - t. Does 13 divide u(0)?
False
Suppose -3*h = -7 - 11. Is h a multiple of 6?
True
Let k(v) = v**2 - 7*v + 3. Let c be k(7). Suppose 4*m - c = 5. Suppose 18 + 22 = m*u. Is 6 a factor of u?
False
Suppose 5*k = 2*m + 62, k - 2*m + 10 = 2*k. Is 3 a factor of k?
True
Let x = 244 - 156. Is 11 a factor of x?
True
Let s(m) = -m**3 + 5*m**2 + m + 3. Does 6 divide s(4)?
False
Suppose -3*m + 640 = -32. Is 43 a factor of m?
False
Suppose 0*p + 2*p = 4. Suppose -p*o = -9 - 5. Is 19 a factor of (-51)/(-2) + o/14?
False
Let p(d) = d + 7. Let i be p(-10). Let n = 8 - i. Let y = n - 0. Does 4 divide y?
False
Let g = 9 - 4. Let r be 6/(-3) + (1 - -2). Suppose -r + 35 = 3*n - g*m, 5*n + 4*m - 32 = 0. Is 4 a factor of n?
True
Let k(c) = 2*c**2 + 12*c. Is k(5) a multiple of 8?
False
Let v = 84 - -73. Suppose -c = -3*t + 4*c + v, 5*c = 4*t - 216. Is 16 a factor of t?
False
Let d = 89 - -7. Suppose 4*i = -0*i + d. Does 8 divide i?
True
Let p be -6 - 1/(-1) - -1. Let x(t) = -7*t - 4. Is x(p) a multiple of 16?
False
Let a = 2 + -14. Let y be (a/4)/(6/(-4)). Suppose 0 = y*o, -2*k + o - 7 + 25 = 0. Is 8 a factor of k?
False
Suppose -r + 54 = 3*r - d, -4*d - 6 = -r. Is 5 a factor of r?
False
Is 7 a factor of (14/35)/(1/20)?
False
Suppose 0 = -4*v + v + 15. Suppose -a + 15 + 18 = 4*q, 3*q - 12 = -v*a. Is q a multiple of 9?
True
Let c = 25 - -265. Does 16 divide c?
False
Suppose -4*o = -3*x + 13, -x + o + 0*o + 5 = 0. Suppose 3*z + 268 = x*z. Is 32 a factor of z?
False
Suppose 17*p - 1258 = 850. Is 14 a factor of p?
False
Let u(r) be the first derivative of -r**4/4 + 10*r**3/3 - 7*r**2/2 + 2*r - 3. Does 10 divide u(9)?
True
Let x(o) = -o**3 + 14*o**2 + 15*o - 3. Let m be x(15). Let k(y) = 3*y**2 - 3*y - 1. Is 7 a factor of k(m)?
True
Suppose 2*k - k - 7 = -2*b, 2*k = -3*b + 13. Suppose -k*i + 71 = -24. Is 19 a factor of i?
True
Let j(n) = 2 + n - 4 - 3 + 7. Suppose p + 3*w - 18 = -3, p = -4*w + 18. Does 4 divide j(p)?
True
Let h = 37 + -21. Let v = 30 - h. Is v a multiple of 6?
False
Is (-602)/(-4) - (-1)/(-2) a multiple of 25?
True
Let b(f) be the second derivative of f**4/3 + f**3/6 - 2*f**2 + 2*f. Is 8 a factor of b(-3)?
False
Suppose 3*r - 2 = -p - 0*p, -5*r = 20. Does 14 divide p?
True
Suppose 2*v - 64 = -3*x + 62, -2*x = -5*v - 84. Is 4 a factor of x?
False
Let j(w) = -w**3 + 2*w**3 + 3*w + 11 + 2*w - 6*w. Is 6 a factor of j(0)?
False
Let g = 777 + -377. Does 50 divide g?
True
Is 27 a factor of 71*3 - (0 - 3)?
True
Suppose 5*h = 4*l + 2, -2*h + 4 = l - h. Suppose l*x + 2*x - 64 = -4*f, -3*x + 3*f = -60. Suppose 2*o = -o + x. Is 5 a factor of o?
False
Suppose 3*b + g - 222 = b, -5*b - 2*g + 557 = 0. Suppose 21 = -2*a + u + 152, 0 = -2*a - 5*u + b. Is 16 a factor of a?
True
Let a = 26 - -3. Is a a multiple of 4?
False
Let j be (3/2)/(21/28). Suppose 0*o - j*o = -10. Let u = 35 - o. Is u a multiple of 15?
True
Let p(y) = -6*y - 5. Is 10 a factor of p(-14)?
False
Suppose -20 = -2*j - 2*j. Suppose -j*u - 1 = -131. Does 15 divide u?
False
Suppose 10*d = 7*d + 627. Is 19 a factor of d?
True
Let h(j) = -j**3 + 7*j**2 - 4*j - 3. Let r(l) = l**2 - 3*l - 6. Let q be r(5). Does 29 divide h(q)?
True
Let x = -3 - -48. Is x a multiple of 3?
True
Let u = 11 + -35. Is (4/6)/((-4)/u) a multiple of 2?
True
Does 12 divide -2 + 48/28 + (-596)/(-28)?
False
Suppose 9 + 26 = 5*y. Suppose 47 - 11 = 3*g + 4*l, 0 = -g - 3*l + y. Is 16 a factor of g?
True
Suppose -i = -4*l + 11, -2*l + 16 = 5*i - 17. Suppose -2*t = -t - i*x - 32, 4*t + 3*x = 13. Is t even?
False
Let y be 3/6 + (-9)/2. Let w be y/((-4)/15) + 2. Let d = w + 6. Does 12 divide d?
False
Suppose 2*l = -s - s + 16, -2*l + 32 = -2*s. Is l a multiple of 6?
True
Let k = 67 + -40. Let x be 372/k + 4/18. Suppose 3*z - x + 2 = 0. Is z a multiple of 3?
False
Let y be 2/(-8) + (-69)/12. Let l = y + 15. Is l a multiple of 9?
True
Let l be -21 - (-2 - 0 - 1). Let k = l - -36. Is k a multiple of 11?
False
Suppose -4*b = 9 - 25. Suppose 0 = h - b. Is h a multiple of 4?
True
Suppose -4*y + 2*b = 288, y - 5*b = -3*y - 276. Let r = 42 + y. Is 5 a factor of 0 - 2 - r/2?
False
Does 4 divide (-1 - 2)/(5/(-65))?
False
Let k(q) be the second derivative of q**5/20 - 5*q**4/12 + q**3 - 3*q**2 - 4*q. Let p be k(4). Suppose 2*i - 5 + 31 = 4*w, 5*i + 17 = p*w. Is w a multiple of 6?
True
Let k be (-2)/9 + (-1520)/(-36). Suppose 3*y - f - f = 23, -3*y + 11 = f. Suppose y*w - 18 = k. Is 7 a factor of w?
False
Let z(l) = 50*l + 1. Let s be z(3). Suppose s + 50 = 4*p + 5*c, -4*p + 186 = 2*c. Suppose -3*y - y = -p. Is 11 a factor of y?
True
Let s(w) = 2*w - 1. Suppose -v + 7 = -0*m + 3*m, -4*v + 12 = -4*m. Is s(v) a multiple of 4?
False
Is 17 a factor of (-8)/6 + 212/6?
True
Let s(n) = 11*n. Is 22 a factor of s(6)?
True
Let t(b) = -23*b**3 - b**2 - 2*b - 1. Let n be ((-1)/2)/(2/4). Let g = n - 0. Does 14 divide t(g)?
False
Let q = -11 - -22. Suppose q*y - 6*y - 360 = 0. Does 12 divide y?
True
Let t(o) be the third derivative of o**5/30 - 5*o**4/24 - 5*o**3/6 - 6*o**2. Does 10 divide t(5)?
True
Suppose 2*r = 4*w - 14, -r - r + 11 = w. Suppose 2*z - r*j = 83, -88 = -2*z + 4*j - 2*j. Suppose 0 = 5*n - 3*u - z, -2*n - 4*u + 19 = -11. Is n a multiple of 9?
False
Let p(w) = w**2 + 11*w + 9. Let m be 17*1*(-5 + 4). Let j = -28 - m. Is p(j) a multiple of 9?
True
Suppose z - 3 = -7, 4*v + 40 = -3*z. Let m be (1 - 6)*(-24)/10. Let r = m + v. Is r a multiple of 2?
False
Let k(m) = 62*m + 8. Is 17 a factor of k(2)?
False
Let p(m) = -6*m - 13. Is p(-6) a multiple of 7?
False
Let n = -3 - -4. Let c = n + -2. Is 8 a factor of -2 + (11 - (0 - c))?
True
Suppose -o + 16 = 3*o. Suppose 30 = -9*w + o*w. Let v(m) = m**3 + 8*m**2 + 7*m + 4. Is 21 a factor of v(w)?
False
Let p(u) be the first derivative of 5*u**3/3 - 2*u**2 - 7*u - 1. Is 25 a factor of p(5)?
False
Let g = 131 + -59. Let p = -36 + g. Is p a multiple of 22?
False
Let r be 4*(-3 - (-45)/12). Suppose -5*h = -u + 106, -r*u + 224 + 22 = 3*h. Suppose -t - u = 2*w - 6*w, -18 = -w + 2*t. Does 9 divide w?
False
Suppose -5*u - 245 = 5*s, 61 = -3*s + 5*u - 126. Suppose b + 4*h - 73 = 0, 0*b - 328 = -4*b - 4*h. Let j = b + s. Is 12 a factor of j?
False
Suppose 0 = -2*v - v + 165. Does 13 divide v?
False
Suppose 3 = 2*a + s, -3*a + 5*s + 5 = -6. Suppose 0*m + a*m - 34 = 0. Let o = 2 + m. Is 11 a factor of o?
False
Let i(t) = t**2 - t - 1. Let d be i(-