) = -8*p - 12. Is 24 a factor of o(-12)?
False
Let c = 29 - 9. Let p = 9 + c. Is p a multiple of 5?
False
Let d = -22 + 44. Suppose -5*i + d = -p + 59, -5*p - 2*i = -50. Is p a multiple of 6?
True
Suppose 3*i - 36 = -4*c, 4*i - 3*c - 29 = -2*c. Let r be (i/6)/((-2)/15). Is 4 a factor of (2 - 1)*(1 - r)?
False
Does 38 divide (-8)/(-3)*(-738)/(-24)?
False
Suppose 0 = 3*h - 4*f - 232, -f + 302 = 4*h + f. Suppose -h - 74 = -3*z. Is z a multiple of 12?
False
Let b(z) = -9*z**2 - 8*z + 19. Let r(n) = 4*n**2 + 4*n - 9. Let s(p) = 3*b(p) + 7*r(p). Does 6 divide s(-6)?
True
Let b = 18 + -9. Let k(i) = i**3 - 10*i**2 + 13*i - 1. Is 16 a factor of k(b)?
False
Does 15 divide 48*(((-156)/(-8))/3 - 4)?
True
Let f(h) = 9 + 8*h + 0*h**2 + h**2 - h. Is f(-8) a multiple of 9?
False
Suppose 5*b = 3*b + 128. Does 8 divide b?
True
Let i(m) = 28*m**3 + m - 1. Is 14 a factor of i(1)?
True
Suppose 3*k = -15, -4*u - 2*k + 4*k = -162. Does 17 divide u?
False
Suppose -50 = -2*x - 3*d, x + 4*x - 136 = -2*d. Is x a multiple of 14?
True
Let h = -402 + 582. Does 36 divide h?
True
Let b(v) = v**3 + 2*v**2 - 2*v + 3. Let p be b(-3). Suppose p = -h + 6*h + 45. Does 8 divide 1*3/(h/(-24))?
True
Let j be ((-4)/8)/(4/1544). Let p = j + 295. Does 34 divide p?
True
Suppose -8*c + 3*c + 17 = 4*s, -5*s - 3*c = -5. Is 17 a factor of (-69)/(-2) + 1/s?
True
Let u be (6 + 0 - 0)/2. Suppose -s + 82 = -z + 3*z, u*s = 0. Suppose 0 = 4*p - 23 - z. Is p a multiple of 8?
True
Let p = -7 - 0. Let b(w) = -w - 7. Let s be b(p). Suppose -18 = -c - s*c. Is c a multiple of 8?
False
Let k = -29 + 20. Suppose 0*d - p + 29 = 2*d, 4*p + 76 = 4*d. Let t = k + d. Does 3 divide t?
False
Suppose -d + 2*d - 3*t + 9 = 0, 4*d - 5*t + 22 = 0. Let w = 8 + d. Suppose -5*u = -w*z - 55, -2*u + z + 13 = -7. Does 9 divide u?
True
Suppose 4*t + 3 = t, -2*i - 6 = 4*t. Let u(h) = 25*h**2 - 2*h - 1. Is u(i) a multiple of 13?
True
Let g be 0 - (3 + -26) - 3. Let o = 32 + g. Is o a multiple of 12?
False
Let j = -61 + 86. Suppose -6*q + 5*q = -j. Is q a multiple of 15?
False
Let m(j) = 10*j**3 + 2*j - 1. Let v = 0 + 0. Suppose 3*y - 3*f + 12 = -6*f, 3*f + 15 = v. Does 4 divide m(y)?
False
Suppose m - 45 = 6*m. Let d(q) = -2*q - 13. Is d(m) even?
False
Let k be (-2)/8 - 54/(-24). Suppose -3*w = 15, -3*x = -6*w + 4*w - 19. Suppose 0 = 2*h + x*h + k*n - 254, h - 58 = 2*n. Is 14 a factor of h?
False
Let o = -172 - -318. Suppose -6*u + o = -52. Does 14 divide u?
False
Let t(b) = -b**3 - 6*b**2 - 5*b - 2. Let f be t(-5). Let w(h) = 0*h + 7*h + 2*h**2 + 3 - 3*h. Does 3 divide w(f)?
True
Let c = -149 - -152. Does 3 divide c?
True
Suppose -2*h - 7*u + 191 = -6*u, 5*h - 2*u - 482 = 0. Suppose -h = -3*j - 0*j. Is 13 a factor of j?
False
Let x = 43 + -32. Is x a multiple of 4?
False
Suppose -l = -12*l + 1045. Does 27 divide l?
False
Suppose 0 = -5*y + 2*y + 9. Suppose -y*r - 5 = -29. Is 3 a factor of r?
False
Let h be (17 - 11)*1/2. Suppose -h*o = -117 - 39. Is 10 a factor of o?
False
Suppose -4*d + 395 = d. Suppose 3*l = p - 89, -2*l + 7*l + d = p. Suppose 3*c = 5*c - p. Is 26 a factor of c?
True
Suppose -h - 2*g - 10 = -0, -4*g = 3*h + 22. Let i(r) = -r**3 - 2*r**2 - 2*r - 1. Is i(h) a multiple of 3?
True
Let v(m) = -m - 3. Let j be v(-4). Is 29 a factor of (-9 + j)*(-170)/20?
False
Let z(v) = -v - 5. Suppose j + 2*j + 6 = 0. Let h(u) = -3*u - 19. Let w(c) = j*h(c) + 9*z(c). Is 3 a factor of w(-5)?
False
Let r = 72 - 49. Suppose -5*h + 2 = -4*h. Suppose -1 = -p + 2, h*s - r = -p. Does 10 divide s?
True
Let b be (48/(-32))/(6/(-32)). Suppose -7*t - b = -8*t. Is 3 a factor of t?
False
Let u be (-12)/3*1*1. Does 6 divide (-85)/u + 1/(-4)?
False
Suppose 31 = 4*k - 53. Let n = k + -12. Is n a multiple of 5?
False
Suppose 0 = 2*q - 43 - 41. Is q a multiple of 14?
True
Suppose 0 = -2*p + 3*t + 9, -2*t + 6 + 0 = 0. Let g(q) = -q**2 + 9*q + 13. Does 13 divide g(p)?
True
Suppose 2*x + 4*a = 2, -2*x + 11 = x - 2*a. Suppose -k + x*p + 10 + 23 = 0, 5*k - 4*p - 176 = 0. Does 9 divide k?
True
Is (189/(-2))/(84/(-224)) a multiple of 22?
False
Suppose 6*t + 6*t - 1800 = 0. Is 30 a factor of t?
True
Is (-268)/(-8) + (-1)/2 a multiple of 13?
False
Suppose 9 = 2*w - 9. Suppose 0 = a + 3*z - 0*z - w, 7 = a + z. Suppose 186 = 5*x + a. Does 18 divide x?
True
Let a(x) = -x - 6. Let z(o) = o + 6. Let g(w) = -2*w**3 - 2*w**2 + 3*w + 3. Let d be g(-2). Let y(t) = d*a(t) + 6*z(t). Does 6 divide y(6)?
True
Let j(t) = 23*t - 4. Let i be j(3). Let b = 28 - i. Let m = b - -76. Does 14 divide m?
False
Let r(t) = 2 - 2*t**2 + 2*t**3 - 9*t + 4*t**2 + 4*t**2 - t**3. Is r(-7) a multiple of 16?
True
Suppose 3*y + 2*y = 50. Let s be 2/y - (-2)/(-10). Suppose s = -3*k + 4*u + 25, u + 2*u = -5*k + 32. Is 7 a factor of k?
True
Let c(y) be the third derivative of y**6/120 - y**5/20 - y**4/3 + 4*y**2. Does 15 divide c(6)?
True
Let g(b) = b - 1. Suppose -4*j - 21 = -53. Is 7 a factor of g(j)?
True
Suppose -11*b - 126 = -14*b. Does 7 divide b?
True
Let x(d) = -d**2 - 5*d. Let h be x(-5). Suppose -4*w + 2 = 2*c - 0, -4*c + 2*w + 34 = h. Suppose 30 = c*p - 2*p. Is 3 a factor of p?
True
Is 160/(-6)*(25/(-10) + -5) a multiple of 8?
True
Let y = 32 - -17. Does 7 divide y?
True
Suppose -3 = u + 3. Let l = 8 + u. Suppose -g = l*g - 114. Is 13 a factor of g?
False
Let r(k) = -k + 6. Let i be ((-10)/4)/((-5)/10). Let v be r(i). Is 12 a factor of (1*36)/v - -3?
False
Let c(v) = 4*v**2 + 2*v - 1. Let x be c(-2). Let m = x + 13. Let l = m - 8. Is 16 a factor of l?
True
Is (-4 - -4) + 70 + -1 a multiple of 23?
True
Suppose -9 = -3*y, 4*z - 95 = -10*y + 5*y. Is 3 a factor of z?
False
Suppose -117 + 17 = -2*o. Suppose -o = a + a. Does 7 divide 136/10 + (-10)/a?
True
Suppose 6*p - 5*p - 21 = 0. Is p a multiple of 7?
True
Let v be (516 - 2)*(-1)/(-2). Suppose -5*f + v = -28. Is f a multiple of 19?
True
Let q = 200 + -51. Suppose -b + 3*b - 73 = -u, -4*b = u - q. Is 14 a factor of b?
False
Suppose -64 = -4*s + 5*o, o + 32 = 2*s - 4*o. Does 16 divide s?
True
Let r = -42 - -166. Suppose 3*g + 12 = 4*c, 0 = -2*g + g + 5*c - 15. Suppose -4*s - s - 4*y + 118 = g, -r = -5*s - 2*y. Does 13 divide s?
True
Suppose y + r = 33, -3*r + r = -y + 24. Let s = y - 52. Let n = s + 31. Is n a multiple of 9?
True
Suppose -3*f + z + 469 = 0, -2*z - 79 = -5*f + 703. Is 26 a factor of f?
True
Suppose -d + 8 = 1. Does 5 divide 2/d - 66/(-14)?
True
Let z(f) = 35*f**2. Is 4 a factor of z(1)?
False
Suppose -l = -3*q + q - 3, 3*q + 3 = l. Suppose q = y - 6 - 17. Is y a multiple of 6?
False
Let y = -4 + 6. Suppose 4*t = y*c - 50, 4*c = -0*t + t + 93. Is 8 a factor of c?
False
Suppose 0 = -3*f + 58 - 19. Suppose -3*r = q + 7, 3*q + 0*q = -r - f. Let k(v) = -6*v - 6. Does 9 divide k(q)?
True
Let q = -30 + 57. Let w = -11 + q. Is w a multiple of 16?
True
Let i(n) = 11*n + 5. Let l(o) = 22*o + 11. Let r(a) = 11*i(a) - 5*l(a). Is 16 a factor of r(2)?
False
Let t = -10 + 4. Let q be t/(-15) - 8/(-5). Suppose -21 = -q*h + 49. Is h a multiple of 16?
False
Suppose -28 = -3*l + 5. Suppose x - l = 7. Does 6 divide x?
True
Suppose -3*p - b = -26, 0 = -0*p - 2*p - b + 17. Is p a multiple of 6?
False
Suppose 4*g - 5*g - 4*h + 13 = 0, -4*g = -4*h + 28. Let j = g - -6. Suppose j*y + 0*y = 78. Does 14 divide y?
False
Does 9 divide (12/7)/((-8)/(-140))?
False
Suppose 3*x - 4*n = 352, 5*n = -4*x + 8*n + 460. Is 16 a factor of x?
True
Let t(n) = n**3 - 6*n**2 + 4*n - 2. Let q be t(2). Let m = 40 + q. Is m a multiple of 10?
True
Let p(a) = 2*a**2 + 9*a. Let b(u) = -2*u**2 - 10*u. Let x(d) = 6*b(d) + 7*p(d). Let k(z) = -z + 13. Let f be k(10). Is 12 a factor of x(f)?
False
Suppose -3*x = -x - 92. Let f = x - 26. Suppose 5*n + 3*a - 73 = 2*a, -f = -2*n - 5*a. Does 5 divide n?
True
Suppose 2*z = -0*z - 18. Let r(s) = -3*s - 7. Is 11 a factor of r(z)?
False
Suppose -15*v = -2977 - 68. Is 29 a factor of v?
True
Let j = 8 + -2. Is 8/j*(8 - -7) a multiple of 14?
False
Suppose 3*v + 3*f = f + 136, 0 = 2*v - 2*f - 74. Does 24 divide v?
False
Let f(g) = 2*g - 9. Let k be f(7). Let d be (-1*k)/(-1 + 0). Suppose -y = y - 3*q - 47, 5*y + d*q = 155. Does 14 divide y?
True
Let a(q) = -16*q**3 - 4*q**2 + 2*q + 1. Is a(-2) a multiple of 8?
False
Suppose 0*q + 3*m = q - 41, 3*m = -2*q + 100. Is 7 a factor of q?
False
Let c = 9 - 7. Let d = 7 - c. Is 3 a fac