 - 9. Is 12 a factor of h(p)?
False
Suppose b = 4*t - 89, 2*t - 2*b - 3*b = 49. Is 22 a factor of t?
True
Suppose 5 = 2*g - 3*g. Let a = 16 + g. Is a a multiple of 11?
True
Let r = 140 - 84. Does 11 divide (-1)/(-2)*-2 + r?
True
Let l(g) = -g**3 + 6*g**2 + 4*g - 4. Is l(6) a multiple of 10?
True
Let k = -3 - -15. Does 6 divide k?
True
Let r = 6 - 4. Let l(n) = n**3 - 1 - 6*n + 2*n - 6*n**r + 2. Is 12 a factor of l(7)?
False
Suppose -4*c = -2*c - 4*g - 26, 0 = -5*c + 2*g + 25. Suppose c*w - 86 + 344 = 0. Is 10 a factor of w/(-7) - 4/14?
False
Suppose 3*d = 4*d - 2. Suppose d*r - 3*k - 152 = -17, 0 = -4*r - 4*k + 220. Is 20 a factor of r?
True
Suppose 56 + 1099 = 11*d. Is d a multiple of 21?
True
Suppose -34 = -2*w - 2*h, -5*w + 4*h = -w - 84. Let a = w + -1. Does 3 divide a?
True
Let x(p) = 120*p + 1. Let l be (-2 + 1)/(0 - -1). Let n be x(l). Let b = -72 - n. Is 16 a factor of b?
False
Let t(u) = u**3 + 3*u**2 - 3*u + 1. Let g be -1*3/(-3) + -4. Is t(g) a multiple of 5?
True
Suppose -4*l = -w + 10, 0 = 4*w + 4*l + 20. Let j = 6 - w. Is 6 a factor of j?
False
Let i = -16 - -16. Let s(p) = -p**3 + p**2 - p + 18. Does 5 divide s(i)?
False
Let m = 209 + -134. Does 25 divide m?
True
Let a = 294 - 168. Is a a multiple of 37?
False
Let l(w) = w**2 + 4*w + 7. Suppose -2*g - 1 - 9 = 0. Does 4 divide l(g)?
True
Let n = -6 + 4. Let o(z) = -4*z**3 + 4*z**2 + 3*z + 1. Let l be o(n). Suppose 5*q - 1 = -2*w, -q = 4*w - l - 4. Does 6 divide w?
False
Let d = -1 + 6. Let t = d - -10. Does 5 divide t?
True
Let k = -3 + 4. Let d(q) = -7*q**3 - q**2. Let s be d(-1). Let j = s - k. Is j a multiple of 5?
True
Let z(t) = t**3 + 8*t**2 - 3*t - 6. Let m be z(-8). Let o = m - 32. Let y = -10 - o. Is 4 a factor of y?
True
Suppose -8*p + 4*p + 467 = 3*t, -5*p = -2*t - 601. Is p a multiple of 27?
False
Let g be (15 + 11)*(-2 - -1). Let l = -6 - g. Is l a multiple of 8?
False
Suppose 2*z - 8 = -2*z. Suppose 4*y = -3*y + 7. Does 4 divide 5 - 0 - (y - z)?
False
Let v(y) = -y**2 - 2*y + 4. Let x be v(-5). Let w = 32 + x. Is w a multiple of 6?
False
Let g = 83 - 55. Suppose 5*q - 2*h - 57 - 1 = 0, 2*q = 2*h + g. Is q a multiple of 10?
True
Let n(d) = 5*d - 3. Is 17 a factor of n(5)?
False
Suppose -4*u - 3 = -5*u. Does 22 divide (0 + (u - 2))*34?
False
Let f(p) be the third derivative of 0 + 0*p + 7/60*p**5 + p**3 - 11/24*p**4 - p**2 + 1/120*p**6. Does 15 divide f(-8)?
True
Suppose 5*g = 4*y + y + 75, -3*g + 5 = 5*y. Let n = g + -5. Does 2 divide n?
False
Let d(b) = -b**3 + 9*b**2 - 6*b + 25. Is d(5) a multiple of 38?
False
Let f be (3*1)/((-15)/(-20)). Suppose f*c - 20 + 4 = 0. Suppose 0 = -c*k + w + 53, k - 5*k + 71 = 5*w. Is 7 a factor of k?
True
Let o(h) = -h**3 + 13*h**2 - 8*h - 9. Does 13 divide o(12)?
True
Suppose 3*j - 5*y = -0*y - 10, 0 = -j - 3*y + 6. Suppose 4*b = -0*b + 64. Suppose -i + 2*l = 1, j = -4*i + l + 2*l + b. Is 6 a factor of i?
False
Let k = -25 - -52. Is k a multiple of 17?
False
Is 22 a factor of (-4)/36 + (-3567)/(-27)?
True
Let d(m) = -m - 3. Let s be d(-3). Suppose 4*i + o - 105 = s, -2*i - 16 + 73 = -o. Is 15 a factor of i?
False
Let j(k) = k**2 - 9*k - 4. Let y be j(9). Let b be ((-12)/(-18))/(y/(-642)). Suppose 2*t = 2*o - 0 - 42, 4*t = 5*o - b. Does 23 divide o?
True
Does 2 divide 10 + -2 + (-7 - -9)?
True
Suppose -y - 18 + 158 = 0. Does 15 divide y?
False
Is (81 - -2) + 3 + -2 a multiple of 12?
True
Let b(o) = o**2 + 9*o + 12. Let n be b(-8). Suppose 0 = -5*a + n*m + 23 + 198, 3*a + 2*m = 115. Is 13 a factor of a?
False
Suppose 3*c - 27 = -5*j, -4*j = 2*c - 3*j - 11. Let g be 12/9 - c/(-6). Suppose -3*o = -4*h + g*o + 141, -3*h - o + 82 = 0. Is 12 a factor of h?
False
Suppose 3*x = 5*x + 5*m - 41, 5*x - 3*m - 56 = 0. Is x a multiple of 3?
False
Let o be -9 - 1 - (-6 - -9). Suppose -4 = 4*y + 4. Does 5 divide -4 - y - o*1?
False
Let m(r) = 4*r**3 - r**2 - r + 1. Let z be m(1). Let o(q) = -3*q + 0 + 2 + q**3 + 9*q**2 + 0*q**z + 0*q. Does 19 divide o(-9)?
False
Suppose -2*d = 2*i - 0*d - 106, -2*d = -2. Suppose -3*n + 3*b - 12 = 15, 0 = -3*n + 4*b - 32. Let x = n + i. Is x a multiple of 14?
False
Let h(g) be the second derivative of g**3/6 - 3*g**2/2 - g. Let m be h(4). Suppose d - 3 - m = 0. Is d even?
True
Suppose -z = -r + 5, 5*z = 5*r - 4*r + 3. Let s = 10 + r. Is s a multiple of 17?
True
Let d = -5 + 5. Let v be 2 - ((d - 1) + 1). Suppose 2*q = o - 19, -v*o - 3*o + 127 = -2*q. Is o a multiple of 9?
True
Let u be ((-3)/(-9))/((-2)/42). Let o(h) = -h - 4. Let v be o(u). Let r = 6 - v. Is r even?
False
Let o(f) = f + 6. Let x be o(0). Let i(q) = q + 1. Does 7 divide i(x)?
True
Let r = 28 + -16. Suppose -156 = -4*o + 4*s, -5*o + 2*s + 189 = -0*o. Let i = o - r. Does 21 divide i?
False
Let f(u) = -u + 30. Let s be f(0). Let l = 8 + 1. Suppose l*v - s = 4*v. Is v a multiple of 2?
True
Is (-2 - (2 + -3))*-119 a multiple of 36?
False
Suppose 45 = -21*j + 22*j. Is j a multiple of 12?
False
Suppose 4*q + 0 = 8. Suppose 5*k = -5*s + 100, q*k - k - 4*s = 0. Suppose 3*a - 16 - 13 = -5*r, 4*r - k = -2*a. Is a a multiple of 9?
True
Let o = -83 + 236. Does 30 divide o?
False
Let c be (-24)/(-9) + (-2)/3. Let y be (c - 1)/(5/115). Does 19 divide (y + -1)/((-1)/(-2))?
False
Suppose 1065 = 15*i + 120. Does 21 divide i?
True
Does 9 divide 176/10 - (-14)/35?
True
Does 9 divide (-2 + (-38)/3)*-3?
False
Let a(y) = 19*y + 6. Does 4 divide a(2)?
True
Let r(t) = 71*t + 1. Let o be r(1). Suppose 0 = 4*h + 4*d - o, -5*h + 33 = 4*d - 55. Is 8 a factor of h?
True
Does 13 divide (-2)/8 + (-1305)/(-20)?
True
Suppose x = 4*y + 3 - 6, -3 = x. Let o(f) = -76*f - 1. Let k be o(-1). Suppose 3*m = -y + k. Is 8 a factor of m?
False
Suppose z - 5*z = m - 276, -3*m = -2*z - 814. Is 16 a factor of m?
True
Suppose -4*f + 3*f = -76. Is f a multiple of 10?
False
Let f(x) = 141*x**2 - x. Is f(1) a multiple of 20?
True
Let g = 119 - 70. Is g even?
False
Suppose 0*w + 5*w = -25, -2*z - 2*w + 104 = 0. Is z a multiple of 15?
False
Suppose -2 = -3*r + 7. Suppose -3*w = -n + 34 - 4, 0 = -5*n - r*w + 60. Is 5 a factor of n?
True
Let y be (-46)/12 + 6/(-36). Is 8 a factor of (-107)/y - (-8)/32?
False
Suppose -2*r + 7 = -7. Is 7 a factor of r?
True
Let x = -10 - -7. Does 7 divide ((-7)/x)/((-1)/(-9))?
True
Let d = -10 + 2. Does 11 divide (-222)/d - (-9)/(-12)?
False
Let x(j) = -j**3 - 7*j**2 - 15*j - 20. Is 15 a factor of x(-6)?
False
Let y(a) = 4*a**2 + 2*a - 12. Is y(-6) a multiple of 34?
False
Suppose -w + 2*w - 2*d - 12 = 0, 5*w - 3*d - 95 = 0. Is 17 a factor of w?
False
Let q = 4 - 0. Let u be 4/((8/7)/q). Suppose -s + u - 1 = 0. Is s a multiple of 13?
True
Let w(r) = -r**3 + 8*r**2 - 7*r + 2. Let m be w(7). Let a(k) = 7*k + 2. Let z be a(m). Suppose z = 4*s, -s = -5*p + 3*s + 59. Does 15 divide p?
True
Let x = 5 + -12. Let o(g) = -2*g**3 - 17*g**2 + 23*g + 15. Let h(a) = a**3 + 8*a**2 - 11*a - 8. Let m(t) = 5*h(t) + 2*o(t). Is m(x) a multiple of 2?
True
Does 10 divide (-8 + (-312)/(-4))/(0 + 1)?
True
Let j(k) = 4*k + 3. Let x(t) = -2*t - 2. Let w(n) = -3*j(n) - 5*x(n). Let a be ((-9)/2)/(1/2). Is w(a) a multiple of 11?
False
Suppose 30 = -2*t + 306. Let o = t - 93. Is o a multiple of 26?
False
Let g(c) = 23*c + 1. Let k be g(-1). Let i = 44 - k. Suppose 3*q = -21 + i. Is q a multiple of 6?
False
Let q = -2 - -15. Let h = q + -8. Is h a multiple of 5?
True
Is 13 a factor of ((-3)/(-15)*-8)/((-4)/330)?
False
Let r = -37 - -128. Suppose -3*v - r = -4*k + 36, -4*k + 137 = -5*v. Is 20 a factor of k?
False
Let p(y) = -y**2 - y + 1. Let o = 1 - 0. Let u(t) = -t**3 + 13*t**2 + 8*t - 3. Let j(f) = o*u(f) + 6*p(f). Does 7 divide j(7)?
False
Let c(m) = 0*m + 12 + 0*m + m. Suppose -u - 43 = -5*t, -u + 0*u + 20 = 2*t. Is c(t) a multiple of 21?
True
Let q(y) = 4 - 4*y + 4*y + 0*y + y. Is 3 a factor of q(6)?
False
Let r(z) = -146*z - 2. Is 12 a factor of r(-1)?
True
Suppose -6*x + 7*x - 14 = 0. Is x a multiple of 3?
False
Let b(v) = -v - 1. Let w(h) = -12*h - 6. Let a(n) = 3*b(n) - w(n). Is a(4) a multiple of 13?
True
Suppose -9*h - 64 = -7*h. Let r = h - -59. Is r a multiple of 22?
False
Let s = 6 - 5. Does 2 divide 7 - s - (10 + -13)?
False
Suppose 1 = 4*q - 3. Let y(o) = -2*o. Let r be y(q). Does 16 divide 345/10 - 1/r?
False
Suppose -3*a = m + 79, a - 50 = 3*a - 2*m. Let r = -3 - a. Is r a multiple