tiple of 21?
False
Let o(u) = -2*u. Let t be o(-6). Let c(k) = k**2 - 3*k + 17. Let g be c(t). Suppose 0*y = -3*z + y + g, 5*y - 113 = -3*z. Is z a multiple of 8?
False
Let y = 825 - -39. Does 16 divide y?
True
Let f(z) = 7*z**3 - 2*z**2 + z - 1. Let c(x) = 8*x**3 - 3*x**2 - 1. Let t(k) = 2*c(k) - 3*f(k). Does 9 divide t(-2)?
False
Let a be 2/10*386 + 1/(-5). Let k = 94 + a. Is 52 a factor of k?
False
Let n(f) = -f**3 - 9*f**2 + f + 11. Let w be n(-9). Let k(s) = 19*s**3 - 4*s**2 + 3*s - 2. Does 24 divide k(w)?
False
Let y(g) = g**2 - 6*g - 11. Let i be y(8). Suppose 0 = -0*l - 3*l - b - 75, -5*l - b - 127 = 0. Let u = i - l. Does 31 divide u?
True
Let x(t) = t**3 + 18*t**2 - 13*t - 23. Does 8 divide x(-18)?
False
Let t(u) = u + 7. Let c = 38 + -29. Is t(c) a multiple of 16?
True
Let g be 454/(-2)*(-1 + 0). Suppose -f = -4*m + g, 3*m + 4*f + f = 153. Let x = m - -36. Is 23 a factor of x?
True
Suppose -722 = -24*n + 5*n. Does 4 divide n?
False
Suppose -90*q - 1487 = 43. Suppose 0 = 2*a - 180 + 12. Let l = a - q. Is l a multiple of 18?
False
Is 399/(-2)*(-5 + 12 + -9) a multiple of 7?
True
Let g be (-254)/7 - (-3)/21*2. Let v = 66 + g. Is v a multiple of 15?
True
Suppose -25 = 4*u - 5. Let m = u - -55. Does 17 divide m?
False
Let x be 4/(-1)*3/(-6). Suppose -x*b = -0*b - 314. Suppose b = 4*a + i, 2*i - 34 = -2*a + a. Is a a multiple of 12?
False
Is 52 a factor of (-2 + -31)/(-2*4/88)?
False
Let v = -55 + 79. Let s = -7 + v. Is 17 a factor of s?
True
Let l(k) = -274*k + 13. Is 54 a factor of l(-3)?
False
Let w(k) = -2*k**2 + 7*k - 1. Let q be w(3). Suppose r = 4*m - 128, -2*m - 4 = q*r - 78. Is 13 a factor of m + -3 + 0/2?
False
Let l = -29 + 80. Does 6 divide l?
False
Let n = 12 - 9. Let f = 65 - n. Is f a multiple of 16?
False
Suppose 5057 - 1967 = i. Does 10 divide i?
True
Let s = 52 - 49. Suppose 3*l + 2*x = 118, 5*l - 4*x + s*x = 188. Is l a multiple of 19?
True
Let x(m) = m**2 + 4*m + 2. Let a be x(-5). Let n(r) = -r**3 + 8*r**2 - 9*r + 2. Let i be n(a). Does 20 divide (62/6)/(i/(-36))?
False
Let n(b) = -19*b + 329. Does 12 divide n(11)?
True
Suppose -3*r = 3, 3*y + 2*r = -2*r - 4. Let p = y - -60. Is p a multiple of 8?
False
Let t(p) = 7*p**2 - 31*p - 559. Is 34 a factor of t(-12)?
False
Let t = -64 + 119. Let o(d) = d**2 + 6*d - 12. Let y be o(-9). Suppose -y = 2*w - t. Does 5 divide w?
True
Suppose 5*b + 5*f - 3150 = 0, 4*f + 1118 + 751 = 3*b. Does 11 divide b?
True
Suppose -106 = t + t. Let f(z) = 48*z + 6. Let m be f(-2). Let g = t - m. Is g a multiple of 10?
False
Suppose -a - a + 5*u - 239 = 0, 4*u + 520 = -4*a. Let p = a + 202. Does 8 divide p?
False
Let n = 6 + -3. Suppose f = -2*b + 104, -n*f + 244 = -f - 5*b. Is f a multiple of 28?
True
Let s = 85 - 81. Suppose 0 = -v + 4, 52 = h - s*v - 0*v. Does 17 divide h?
True
Let o(b) be the first derivative of b**4/4 + 8*b**3/3 - 5*b**2/2 + 2*b + 3. Let x be o(-8). Suppose 0 = -3*f + 2*f + x. Does 21 divide f?
True
Suppose 1 = -6*o + 5*o, -3*r = 4*o - 2669. Is r a multiple of 18?
False
Suppose -3*a - 340 = -7*a - 4*t, -2*t - 280 = -3*a. Is 9 a factor of a?
True
Let h = 51 - 49. Suppose -2*f - 3*l = -10, h*l - 10 = -2*f - 2*l. Is f even?
False
Let b = 334 + 524. Does 11 divide b?
True
Let b(q) = 3*q - 46. Let u(c) = 1. Let p(m) = -b(m) - 6*u(m). Is p(10) even?
True
Let p(h) = h**2 - 2*h + 1. Let k(t) = -t. Let b(z) = -7*k(z) + 2*p(z). Let v be b(5). Let y = 111 - v. Does 11 divide y?
True
Suppose -2 = 11*q - 12*q. Suppose -10 = -3*v - a + 3*a, 0 = -q*v + 3*a. Does 3 divide (-135)/20*(-8)/v?
True
Suppose 2*k - 68 = -5*f + 6*k, 5*k + 58 = 4*f. Suppose -3*a + f = a. Suppose a*u = -5*c + 285, -2*c + 7*c + u - 295 = 0. Does 20 divide c?
True
Suppose -19 + 6 = -k. Let s = k + -18. Let g = s - -9. Is g a multiple of 3?
False
Is 4 a factor of (-380)/(-10)*5 + 6?
True
Let k be 68/(-3) - 2/6. Let t = 711 - 628. Let z = t + k. Does 15 divide z?
True
Let i(g) = 20*g + 12. Let t be i(16). Let o = t + -156. Is o a multiple of 11?
True
Let o = 134 - 226. Does 34 divide o/(3/(-6)*4)?
False
Is 2250/(-20)*(-6 - 0) a multiple of 75?
True
Is (253/2)/(3 + (-136)/48) a multiple of 4?
False
Let f = -112 + 115. Suppose 2*u - 13 = u - 3*z, -4*u + 4*z + 4 = 0. Suppose -2*r - 224 = -u*v, f*v + 24 - 197 = 4*r. Does 15 divide v?
False
Let f(n) = 54*n**3 - 5*n**2 + n + 6. Is f(2) a multiple of 6?
True
Let n(r) = r**2 + 14*r + 11. Let j be n(-13). Let w(p) = 2*p**2 + 4*p + 2. Let b be w(j). Does 13 divide b/(-8) - (-1260)/48?
True
Let d = 13 - 3. Is ((-1)/1 + -1 - -1) + d a multiple of 3?
True
Suppose 2*n - 1216 = -4*q, 1 = -q + 2*q. Is n a multiple of 10?
False
Let d = 135 + -10. Does 18 divide d - (-5 - (-2 - 0))?
False
Suppose 1172 = 12*c - 3208. Does 11 divide c?
False
Suppose -2*r + 7*r + 225 = -a, 4*r - 4*a + 180 = 0. Let i be (-3123)/r + (-4)/10. Suppose -4*g - i = -3*u, 0 = 3*g - g. Does 6 divide u?
False
Let i(l) = 22*l**2 + l + 0*l + 31*l**2 + 1. Suppose 5*m + o - 3 = 0, -8*m + 2*o = -3*m - 9. Is 11 a factor of i(m)?
True
Suppose -36 = 4*w - 6*w. Let b = w - -5. Does 23 divide b?
True
Let r(i) be the second derivative of 19*i**3/6 + 2*i**2 - 6*i. Is 40 a factor of r(4)?
True
Let q be 38/171 - 16/(-9). Let f be q/(-9) + (-446)/18. Let b = 18 - f. Is b a multiple of 8?
False
Let a(n) = -12*n - 76. Is a(-18) a multiple of 14?
True
Let s(a) be the second derivative of 13*a**5/60 - a**4/12 + 4*a**3/3 + 6*a. Let r(z) be the second derivative of s(z). Is r(1) a multiple of 12?
True
Suppose 180 + 710 = -2*u. Let d = 250 + u. Let g = -120 - d. Does 15 divide g?
True
Suppose -16*o + 2*o + 7644 = 0. Suppose -6*s = -13*s + o. Is s a multiple of 5?
False
Let i(y) = y**2 - 5*y. Let m be i(5). Suppose m = -5*h + c + 1121, 3*h = -h - 3*c + 912. Suppose 19 + h = 4*d + z, 5*d - 4*z = 284. Does 24 divide d?
False
Let n(u) = -u**3 + 34*u**2 + 84*u - 107. Does 4 divide n(36)?
False
Let x(f) = -24*f + 18. Is x(-2) a multiple of 4?
False
Suppose 3 - 27 = -4*z. Let j = z - 1. Suppose j*q + 5*o - 125 = 0, 2*o + 89 = 3*q - 2*o. Does 14 divide q?
False
Let i be (-3)/(-9*1/(-12)). Does 28 divide (-5 + -51)/(i/18)?
True
Is (-4038*(-3)/(-6))/((-30)/20) a multiple of 49?
False
Let i(a) = a**3 - 3*a**2 + 8*a + 4. Is 10 a factor of i(6)?
True
Let o(g) = 2*g**2 - 29*g + 18. Let j be o(14). Suppose 0 = s - 2*a - 141, j*s + 3*a - 222 = 353. Does 6 divide s?
False
Suppose -13*n + 8*n = -1440. Is n a multiple of 72?
True
Let y(b) = -b - 4. Let u be y(5). Let d = u - -16. Is 7 a factor of d?
True
Suppose -19*z - 22*z = -2460. Does 5 divide z?
True
Let p(s) = 36*s + 36. Let r(c) = -9*c - 9. Let m be ((-6)/10)/((-3)/45). Let a(w) = m*r(w) + 2*p(w). Is a(-9) a multiple of 15?
False
Let k(n) = 3*n**2 - 6*n + 207. Does 11 divide k(17)?
False
Suppose 4*w + q = 1287, -q - 830 = -5*w + 772. Is 8 a factor of w?
False
Let h be 1 - (-2 - -7) - -264. Suppose 5*m - h = -5*d, -d - 2*m = -4*d + 146. Is d a multiple of 5?
True
Let n(w) = w**3 + 16*w**2 + 16*w + 21. Let d be n(-15). Suppose 87 + 81 = d*a. Is 9 a factor of a?
False
Suppose -2*a + 1601 = j, 2*a + 10*j - 1598 = 12*j. Is 10 a factor of a?
True
Suppose -3*b + 5 = -1. Suppose -5*i - 68 = -a - 22, b*i + 8 = 0. Is 13 a factor of a?
True
Let i(z) = z**2 + 25*z - 55. Is i(-35) a multiple of 59?
True
Suppose -4*w - w = -3*m - 4, -8 = -m - 3*w. Suppose -y - 2*s = -14 + m, -2*y = -s - 49. Suppose 74 = 4*k - y. Does 8 divide k?
True
Suppose -20*s = -16*s - 1504. Suppose 0 = l + 2*j - 94, -2*j + s = 8*l - 4*l. Is 21 a factor of l?
False
Suppose 3*y - 3*f = 1827, 1993 = 3*y - f + 160. Does 50 divide y?
False
Let h be 1/2*6340/(-10). Let p = -169 - h. Is p a multiple of 6?
False
Let m(s) = -13 + 32 - 16 - 5*s - 4*s. Let c = 5 + -13. Is 25 a factor of m(c)?
True
Suppose 29*m + 2859 = 5*i + 31*m, -3*i - m + 1716 = 0. Is i a multiple of 52?
False
Suppose 2*s + 5*n - 1648 = 0, -5*s + 4*n + 4871 = 784. Is s a multiple of 33?
False
Suppose -2*v + 13 = 5. Suppose -b = -2*q + 4*q + 19, -v*q - 26 = -2*b. Is ((-36)/(-16))/((-3)/q) a multiple of 5?
False
Let x = -17 - -9. Let m be (-4)/x*4 + 65. Let y = 141 - m. Is y a multiple of 20?
False
Suppose -55*b + 49*b + 1104 = 0. Is b a multiple of 13?
False
Suppose 8*o - 1869 - 51 = 0. Is o a multiple of 60?
True
Suppose -701 = -3*g - 80. Suppose 6*r = 213 + g. Is r a multiple 