)/(0 + 1 + -2). Is 16 a factor of (-18 - (-3 + t))/(-1)?
True
Suppose 0*d = -2*b + d + 121, -2*b + 2*d = -120. Is b a multiple of 9?
False
Let y be (-12)/(-9)*(-6)/(-4). Let h be 6/(-4) - 66/(-4). Suppose -2*u - 84 = -3*b + y*u, -h = 5*u. Is 15 a factor of b?
False
Suppose -2*i = -5*r + 115 + 113, 5*r - 224 = i. Suppose 2*b + 2*d = r, 0*d + d = 4*b - 83. Suppose -b = -a - 4*c, -c = -2*a + 2*c + 31. Is a a multiple of 7?
False
Suppose -2*b + 0*b + 144 = 2*p, 0 = -3*b + 5*p + 192. Does 14 divide b?
False
Is 5 a factor of ((-26)/(-39))/(2/33)?
False
Let l = 101 - -160. Does 52 divide l?
False
Let b = -36 - -51. Is 15 a factor of b?
True
Suppose 0 = -2*o + 4, 5*g + 5*o = -0*g + 285. Is 11 a factor of g?
True
Suppose 0 = 4*a - 3*f - 208, -287 = -3*a - 2*a - 3*f. Is 12 a factor of a?
False
Let n = -46 - -65. Suppose -6 - n = -5*o. Suppose o*d - 33 = 27. Is d a multiple of 8?
False
Suppose 0 = -2*f + 15 + 5. Is f/5 - (0 - 1) a multiple of 3?
True
Let k(y) = 4*y**2 + y. Let v be k(1). Is 20/50 + 148/v a multiple of 6?
True
Suppose -x + 30 = 4*x - 5*o, 5 = -5*o. Suppose -x*h = -5*f + 290, -f - 3*h - 280 = -6*f. Does 23 divide f?
False
Let h(y) = -y**2 + 7*y + 4. Let w(n) = n**2 + 3*n + 1. Let l be w(-2). Let p be (l*2)/(6/(-21)). Is 3 a factor of h(p)?
False
Let k(l) = l**2 + 3*l**2 - l - l**2 - 1 + l**2. Is k(-3) a multiple of 10?
False
Let d(v) be the first derivative of -v**3/3 + 11*v**2/2 - 4*v - 1. Let o(k) = k**2 + 3. Let g be o(2). Is d(g) a multiple of 8?
True
Let d(a) = a - 8. Let t be d(6). Does 15 divide ((-9)/t)/(2/8)?
False
Suppose 2*w + 44 = 4*s, 2*s + 3*w = w + 16. Suppose -4 = y - s. Is y a multiple of 3?
True
Suppose -z = z. Let u = z - 0. Suppose j - 10 = -l, 0 = j - l - u*l. Is j a multiple of 2?
False
Let p(h) = -h**2 + h + 1. Let m be p(0). Suppose m = j - 15. Does 16 divide j?
True
Let n = 5 - 11. Let j = n - -8. Suppose l - 4 = 3*l, 5*r - j*l - 74 = 0. Is 14 a factor of r?
True
Suppose 5*y + 0 = 5. Suppose y = p + 27. Let s = -16 - p. Does 5 divide s?
True
Suppose -4*v + 19 = -y + 2*y, -12 = -4*y. Suppose -18 = -5*l + 5*a - a, -5*l = 3*a - 39. Does 12 divide (l/(-2)*v)/(-1)?
True
Suppose -3*t - 4*w - 18 + 104 = 0, -166 = -5*t - w. Let b = t - 12. Is 11 a factor of b?
True
Suppose 0 = 2*x - 55 - 161. Is 7 a factor of x?
False
Let r be 1*(-5)/((-15)/513). Suppose 4*b + 3*h = r, -64 = -5*b - 4*h + 150. Is b a multiple of 15?
False
Is (154 - 12) + 1*-2 a multiple of 24?
False
Suppose 2*p + 7 = 3*p. Is p a multiple of 7?
True
Let w = -27 - -32. Is w a multiple of 5?
True
Let j(v) = 3*v**3 - 9*v**2 - 9*v - 4. Let u(c) = 13*c**3 - 37*c**2 - 36*c - 17. Let p(d) = -9*j(d) + 2*u(d). Does 5 divide p(8)?
True
Let l(s) = -s**3 + 7*s**2 - 6*s - 1. Let r be l(6). Let t(v) = -9*v. Let i be t(r). Is (-3 + 33/i)*36 a multiple of 12?
True
Let z(w) = -14*w - 2. Is z(-1) even?
True
Let g(k) = -k**2 - 5*k + 3. Let c be g(-5). Suppose 3*r + 14 = -f - 3*f, 4*r - c*f = 23. Is 2 a factor of r?
True
Does 34 divide 3 - (632/(-4))/2?
False
Suppose 4*c + 69 - 9 = 5*b, b - 2*c - 18 = 0. Does 2 divide b?
True
Suppose -s = 2*s - p, 15 = 5*p. Suppose 2*r - 7 = s. Suppose -6 = -k - 4*v, 4*v = r*k - 2*k - 24. Does 4 divide k?
False
Is 28 a factor of 1/(2 - 55/28)?
True
Suppose 0 = -5*r - 3*m + 135, 0 = 2*r - 0*m + 3*m - 63. Suppose n = -2*n + r. Does 8 divide n?
True
Suppose 0*f = 5*f + 5. Let z be -1 - (3 + -2)/f. Suppose 5*k = -z*k + 75. Is 5 a factor of k?
True
Suppose 0 = z - 0 + 4. Let p(a) = -a**2 - 4*a + 5. Let d be p(z). Let q(m) = m + 6. Is 11 a factor of q(d)?
True
Suppose 519 = 5*q + 5*t - 2*t, -3*q - 3*t = -309. Is q a multiple of 35?
True
Let z(a) = a + 13. Let c be z(7). Suppose 3*d = -4*r + 2*r + 40, -3*d - c = -r. Is r a multiple of 5?
True
Is 532/10 - (-4)/5 a multiple of 18?
True
Let m(x) = x**3 + 1 + 7*x**2 - 10*x - 2 + 0 + 3. Let c be m(-7). Suppose -c = -4*a - 0*a. Does 9 divide a?
True
Suppose -12 - 10 = -2*h. Let o = -7 + h. Suppose -o*a + 4*l = -16, -2*a + 3*a - 19 = -4*l. Is a a multiple of 4?
False
Let z(x) = -2*x + 10. Let b(t) = -t + 1. Let f be 6/4*(-6)/(-9). Let i(s) = f*z(s) - 6*b(s). Is i(3) a multiple of 16?
True
Let f(h) = -64*h**3 + h**2 - 1. Does 11 divide f(-1)?
False
Is 10 a factor of (-42)/112 + 1830/16?
False
Does 13 divide 3/(-21) + (-5005)/(-49)?
False
Let p(k) = k**2 + 2*k - 10. Is 48 a factor of p(10)?
False
Suppose 196 + 128 = 4*r. Is 31 a factor of r?
False
Suppose i + 2*r - 754 = -3*i, -5 = r. Is i a multiple of 23?
False
Let d = 1 - 2. Let g be ((-21)/2)/d*8. Let z = g + -54. Is 14 a factor of z?
False
Let p = 711 - 367. Suppose 2*m - 202 + 42 = -w, 4*w = 4*m - p. Suppose 0 = -4*h - 2*z + 132 - 40, -3*h + m = -5*z. Does 12 divide h?
True
Suppose -4*n = 42 - 198. Suppose -p + 7 = -2*z, -n = -p - p - z. Is p a multiple of 6?
False
Let b(j) = 2*j. Is b(6) a multiple of 6?
True
Let k(g) = -g**3 + g**2 - g. Let m be k(2). Let t(s) = -s**3 - 6*s**2 - 2*s - 7. Does 5 divide t(m)?
True
Let l = -2 - -4. Let x = -13 - l. Is (-6)/x + 93/5 a multiple of 15?
False
Suppose 4*w - 6*i + i - 88 = 0, 0 = 4*w + 5*i - 128. Suppose 5*u - f = 31, 3*f = -4*u - u + w. Is 6 a factor of u?
True
Suppose 5*l - 2*a = 30, 0*a = 3*l + 3*a + 3. Suppose -l*u + 40 - 12 = 0. Suppose 0*n + n - u = 0. Does 7 divide n?
True
Let p(t) be the third derivative of 0 + 2/3*t**3 + 1/4*t**4 - 1/12*t**5 + 0*t - t**2 - 1/120*t**6. Is 2 a factor of p(-6)?
True
Let y be (2/(-5))/((-5)/(-150)). Let r be ((-8)/6)/(y/18). Suppose -r*p = -p - 25. Is p a multiple of 9?
False
Let v(h) = -h. Let i be v(0). Suppose i = 5*z - z. Let d = z + 16. Is d a multiple of 11?
False
Suppose -5*h = -0*h - 140. Let m = -1 + 1. Suppose m*t = 4*t - h. Is t a multiple of 4?
False
Suppose 6 = -d + 4*d. Suppose -y + d*y - 5 = 0. Is y a multiple of 5?
True
Suppose -5*b = -2*l - 803, 2*b - 2*l = 6*b - 646. Does 7 divide b?
True
Let n = 5 - 0. Suppose -n*d + 2*d = -108. Does 23 divide d?
False
Does 6 divide 9 + -11 - (-1)/(1/182)?
True
Let p(h) = h**3 - 6*h**2 - h + 2. Let f be p(6). Does 10 divide (-41)/(-2) + (-6)/f?
False
Let x(j) be the second derivative of j**5/20 + 17*j**2/2 - 3*j. Let g be x(0). Let q = g - -9. Is 22 a factor of q?
False
Let l = -17 - -38. Suppose 2*a + 2*s = 6, 2*a - 3*s - l = -a. Does 2 divide a?
False
Is 25 a factor of 1024/12 - (-2)/(-6)?
False
Let h(v) = v + 66. Is 22 a factor of h(0)?
True
Let y = 6 + -3. Does 15 divide -2 + 1 + y + 19?
False
Suppose 3*f + 9 = 84. Let g be ((-15)/f)/(2/(-10)). Suppose g*n = n + 16. Is n a multiple of 3?
False
Suppose 0 = -5*o - 4*n + 58, o + 0*n - 16 = -3*n. Is 3 a factor of o?
False
Let r = 170 + -63. Does 27 divide r?
False
Let k be (25/20)/(2/24). Suppose -k = -a - 3*a + 3*n, -2*n = -a. Is 6 a factor of a?
True
Suppose 0 = 2*z - 3*z + 1. Suppose -a - z - 3 = 0. Does 16 divide (-2 + (-14)/a)*18?
False
Let d = -504 + 780. Is 44 a factor of d?
False
Let c = 29 - 15. Is 7 a factor of c?
True
Let j = -12 + 20. Does 5 divide j?
False
Suppose 3*n + 5*i = 27, -2*i + 18 = -2*n + 5*n. Is (-4)/(-6)*54/n a multiple of 9?
True
Let w = 192 - 83. Suppose 0 = -4*u + w + 11. Is u a multiple of 23?
False
Let q(r) = 26*r**2 + r. Is q(1) a multiple of 9?
True
Suppose -3*m + 3*c + 168 = 0, m + 2*c - 21 - 32 = 0. Does 11 divide m?
True
Let h(v) = -7*v - 6. Is h(-7) a multiple of 7?
False
Suppose -i + 0*g + 43 = 2*g, i - 2*g = 31. Does 23 divide i?
False
Suppose 5*b = 9 + 6. Suppose -39 = -5*r - u, 0*r + 2*r + u - 18 = 0. Is b/7 + 200/r a multiple of 11?
False
Let p = 9 - 2. Suppose -2*w = 3 - p. Is 10 a factor of w + 1 + (-2 - -25)?
False
Let g be 3*(0 + 4/3). Suppose 0 = 3*a - 2*a + 3*h - 38, -5*h = g*a - 117. Does 8 divide a?
False
Let q(w) = -2*w**2 + 7*w - 5. Let m be q(4). Let r = 3 - m. Does 6 divide r?
True
Suppose 5*a + 2*a = 112. Is 9 a factor of a?
False
Let h(o) = o**3 + 7*o**2. Let w be h(-7). Suppose -4*p + 26 = -w*q + 2*q, -3*q = -9. Suppose 21 + 9 = p*s. Is s a multiple of 3?
True
Suppose 30 = -4*h + 254. Suppose -6*i = -2*i - h. Does 6 divide i?
False
Suppose -3*r - 2*r = -30. Let q(u) = 4*u - u**3 + 0*u - 4*u**2 + r*u**2. Is q(3) a multiple of 2?
False
Let k(p) = -20*p + p**3 + 1 + 1 - 10*p**2 + 11*p. Does 12 divide k(11)?
True
Let z be 16*(3/(-6) + 0). Let p = z + 24. Suppose 0 = -4*x + 68 - p. Is 13 a factor of x?
True
Let b(a)