?
False
Suppose -53*j + 75*j - 3366 = 0. Is 9 a factor of j?
True
Let z = 48 - -8. Does 5 divide z?
False
Suppose 5*f - 5*b + 14 = -6, 20 = 5*f + 5*b. Suppose 173 = 3*g + c, f*g - 2*c - 60 = -g. Is 9 a factor of g?
False
Let h(w) = -2*w + 0*w**2 + w**2 + 7*w**2 - 1 + 7*w**2. Is h(-1) a multiple of 2?
True
Let s be 6/2 - (-4 + 2)*1. Suppose -s*i - 20 = 0, -4*v + 187 = 4*i - 181. Does 12 divide v?
True
Let v(m) = m**2 - 10*m - 3. Let a be v(-7). Let y = -59 + a. Is y a multiple of 17?
False
Suppose -3*f + 65 = -250. Is f a multiple of 5?
True
Let f(u) = 19*u + 46. Let k be f(23). Let a = -323 + k. Does 32 divide a?
True
Let p(w) = 221*w - 26. Does 16 divide p(2)?
True
Suppose s + 558 = 5*i, 2*i - 339 = -i + 2*s. Does 26 divide i?
False
Let n be 6812/20 - 2/(-5). Suppose -3*t = -h + 103, -5*h + t = -2*h - n. Does 23 divide h?
True
Let h(g) = g**3 - 36*g**2 + 13*g - 76. Is 86 a factor of h(37)?
False
Let j = 1417 + -1215. Is j a multiple of 33?
False
Let z(s) = -s**2 + 4*s + 1. Let m be z(5). Let c(g) = -g**3 + g**2 + g - 1. Does 26 divide c(m)?
False
Let y = 5 + -5. Let n = 254 + -146. Suppose -j + 3*j - n = y. Does 18 divide j?
True
Let h be 2/6 + (-2)/6 + 1. Is (h - 47)*(36/3)/(-6) a multiple of 11?
False
Suppose 10*k = 322 + 1838. Is 6 a factor of k?
True
Suppose -i = -3*i + 30. Let w = i - -17. Is w a multiple of 32?
True
Let c(x) = 3*x**2 - 4*x + 2. Let w be c(4). Suppose -2*n + w = 2. Is 4 a factor of n?
True
Suppose 0 = 5*s - z + 435, s + 4*z + 1 = -107. Suppose -i + 3*l = -143, -3*l + 8*l = -4*i + 521. Let w = i + s. Is 11 a factor of w?
False
Suppose 31*s + 1452 = 37*s. Is 10 a factor of s?
False
Let p be 10/(-45) - (-1678)/18. Let r(l) = -l**3 - l + 59. Let f be r(0). Let o = p - f. Is o a multiple of 13?
False
Let i(r) = r**3 + 3*r**2 - 8*r + 12. Let l be i(-5). Suppose s = l*s - 238. Does 34 divide s?
True
Suppose -18*i + 14*i + 640 = 0. Does 16 divide i?
True
Let d = -32 + 34. Suppose 0 = d*w - 0*s - 5*s - 382, -3*s + 382 = 2*w. Suppose 0 = 5*u - 25, -4*m + u = -0*u - w. Is 14 a factor of m?
False
Let j = -13 - -78. Is 13 a factor of j?
True
Let q = -1 + 17. Is q a multiple of 8?
True
Suppose 0*c + 4*c = -3*b - 2, 0 = -b + 4*c + 10. Let h be (-9 - -9)*(1 - b). Suppose 2*f + 0*f = -2*z + 56, h = -3*z - 2*f + 87. Does 10 divide z?
False
Suppose -5*s = 5*s + 10. Is -28*1/s*(5 - 3) a multiple of 6?
False
Suppose 3*i + 235 = -4*d + 3*d, -2*i - 4*d - 150 = 0. Let a = -13 - i. Is 17 a factor of a?
False
Let i(g) = 632*g**2 - 2*g. Is 14 a factor of i(1)?
True
Suppose 0 = -4*w + 2*a + 550 + 184, -5*w + 2*a + 920 = 0. Is 11 a factor of w?
False
Suppose -6 = 2*y + 4*g, 4*g - 9 = -0*y + y. Does 7 divide (y - (-57)/3)*(-3)/(-2)?
True
Let w(c) = 59 + c**2 - 70 - 3*c + 33. Is 26 a factor of w(-9)?
True
Let b(f) = f + 233. Is 100 a factor of b(5)?
False
Suppose -5*j = -j - 8, -2*t - 3*j = -12. Suppose t*f + 191 = 2*h - 76, 0 = 2*h + f - 247. Is 18 a factor of h?
True
Let a(h) = -h**2 - 10*h + 3. Let y(u) = -2*u**2 - 29*u + 9. Let z(x) = -17*a(x) + 6*y(x). Is 11 a factor of z(-3)?
False
Let c = -52 + 52. Suppose -g - 5*s = -85, c = -4*g + 3*s + 319 - 2. Is 20 a factor of g?
True
Suppose 6 = 4*a - 10, -4*a - 168 = -4*p. Suppose 5*t + p = 346. Is 10 a factor of t?
True
Suppose -t = m + 3*t - 468, -5*m = 5*t - 2370. Suppose 9*n = 5*n + m. Is n a multiple of 10?
False
Let c(i) be the third derivative of -i**6/20 - i**5/12 + i**4/6 + 7*i**3/6 + 30*i**2. Does 61 divide c(-4)?
False
Is 27 a factor of ((-162)/(-10))/((-210)/(-700))?
True
Let w be 173 - (2 - 3)*-1. Suppose -r - 3*r = -w. Suppose -65 = -5*x + 2*g, 0 = 3*x + g - 3*g - r. Is x a multiple of 4?
False
Let s(r) = -4*r - 263. Let t(g) = -3*g - 175. Let m(w) = -5*s(w) + 7*t(w). Does 39 divide m(0)?
False
Let u = -73 + 285. Is 4 a factor of u?
True
Let h(u) = 9*u**2 + 13*u + 1. Let i(o) = -o + 1. Let m(v) = h(v) + 3*i(v). Does 10 divide m(-2)?
True
Suppose -4*b = 2*y - 6*y + 72, 3*b + 4*y + 89 = 0. Let z = b - -22. Is (z/(-2))/((-8)/(-128)) a multiple of 3?
False
Suppose 5771 = 9*d - 2923. Is 55 a factor of d?
False
Let l(w) = -3*w - 7. Let c be l(-5). Let m(r) = 5*r - 11. Let b be m(c). Suppose 2*j - 2*z = 26, -j + 0*z = 3*z - b. Is 17 a factor of j?
True
Suppose 2*b = 2*o + 7978, -3*b - 276*o + 11972 = -274*o. Does 95 divide b?
True
Suppose -2*t = -2*p + 1208, -5*t + 1329 = 4*p - 1078. Does 15 divide p?
False
Let x = 59 + -109. Let h = x - -102. Suppose 104 = 4*d - h. Does 10 divide d?
False
Let f be 42/12 + (-2)/4. Suppose 0 = 2*y - o - 111, o + 273 = 2*y + f*y. Suppose -9*j = -8*j - y. Does 18 divide j?
True
Suppose 5*l - 1185 = 4*b, -237 = 3*l - 4*l + 5*b. Does 15 divide l?
False
Suppose 16989 = 10*z - 11031. Does 12 divide z?
False
Let g(q) = 28*q + 28. Let v(m) = 14*m + 14. Let z(d) = -3*g(d) + 5*v(d). Let w be z(-8). Suppose 3*x + p = w, -102 = -3*x - 0*x - 3*p. Is x a multiple of 6?
False
Let d(k) = -k + 11. Let a(h) = h - 11. Let i(s) = -6*a(s) - 7*d(s). Let r be i(11). Does 4 divide 12 + 0 - r/3?
True
Let k be (2 - 2) + 2/1. Suppose 3*i - 380 = -k*a, -4*a - 10 + 2 = 0. Suppose 3*f - 4*p = i, -4*p = 3*f - 2*f - 16. Is f a multiple of 20?
False
Suppose 0*k - k + 4 = 0. Suppose -2*j - 64 = 120. Does 23 divide j*((-10)/k)/5?
True
Let w = -163 + 285. Let o = -74 + w. Is 8 a factor of o?
True
Let x = -270 + 446. Let c = x - 6. Let f = c - 102. Does 13 divide f?
False
Let d(i) be the second derivative of -5/2*i**2 + 7*i - 1/3*i**3 + 0 - 1/20*i**5 + 1/2*i**4. Does 10 divide d(5)?
True
Let j = -57 + 62. Is 7 a factor of (-4 - -2) + j + (-4 - -22)?
True
Let n = 2 + -14. Let t = 9 + n. Does 3 divide -1 + 3 - (t + 2)?
True
Let g = 80 - -103. Does 85 divide g?
False
Let x(r) = 3 + 0 + 16 + 4*r + 8. Let t be x(12). Does 28 divide 4*(1 + -2) + t?
False
Suppose 0 = 6*z - 16*z + 600. Does 15 divide z?
True
Let v = -55 + 57. Suppose v*l + 12 - 54 = 0. Is 7 a factor of l?
True
Let a = -236 - -562. Is 5 a factor of 24/(-108) + a/9?
False
Let q = -100 + 59. Suppose 3*m + 169 = 3*u - 98, m + 3*u = -81. Let d = q - m. Is 23 a factor of d?
True
Suppose r = 13 - 10. Let d be (-1)/r*(-11 - -11). Suppose d*k - k + 20 = 0. Does 11 divide k?
False
Let j be (-198)/(-45) - (-4)/(-10). Suppose -5*v = j*n - 3*n - 21, 3*v = -4*n + 16. Suppose v*p = 5*p - 34. Is p a multiple of 13?
False
Suppose 676 + 17 = -7*m. Let f = m - -151. Suppose -4*a - f = -8*a. Is 13 a factor of a?
True
Let o(m) = m**2 - 10*m + 9. Suppose -4*l + 25 = -3*p, -p = 4*l - 5*p - 24. Let s be o(l). Does 16 divide (-4)/s + 141/9?
True
Let q(h) = -41*h + 4. Is q(-5) a multiple of 11?
True
Let o = -128 - -69. Let a = o + 73. Does 4 divide a?
False
Let l = 44 + 17. Does 11 divide l?
False
Let s(q) = -197*q**2 + q - 3. Let o be s(1). Is 8 a factor of (-16 - o)*(-1)/(-3)?
False
Let k(a) = -3*a**2 + 4*a - 10. Let c(r) be the second derivative of r**4/12 + r**2/2 - 6*r. Let f(v) = 4*c(v) + k(v). Is 10 a factor of f(5)?
False
Let s(g) = -g + 3. Let a be s(7). Let i = 35 - a. Let c = 91 - i. Does 17 divide c?
False
Let c = 1005 - 474. Suppose -2*t - s + 317 = 0, -4*t + 108 + c = s. Is 14 a factor of t?
False
Let r(d) = 34*d - 254. Is 30 a factor of r(41)?
True
Suppose -21*h + 4232 = 2*h. Is h a multiple of 23?
True
Suppose -25 = -4*w + 27. Let y = w - 6. Does 2 divide y?
False
Suppose 3*f + 40 = -f. Suppose -5*v - 4*k = -71, 3*v + 2*k + 2*k - 49 = 0. Let c = v - f. Is 9 a factor of c?
False
Let m(j) = j**2 - j + 3. Suppose w + 5*c - 9 = 3*w, -4*w - 5*c = -27. Suppose 0 = -w*i - 7 - 2. Is m(i) a multiple of 3?
True
Let x(k) = k - 1. Let z be x(5). Suppose 5*v = -3*w - 39 + 111, -z*w - v = -96. Is 8 a factor of w?
True
Let p(h) = -11*h**3 + 4*h**2 - h - 6. Let l be p(-6). Let u be l/156 + (-2)/13. Does 8 divide u/(0 + (-4)/(-12))?
True
Let z(m) = -9*m. Suppose 4*k - 2 = -2*u, -u - u = 3*k - 1. Let c be z(u). Is 10 a factor of 104/6 - (-6)/c?
False
Let j(n) = 18*n**2 + 36*n - 174. Is j(6) a multiple of 23?
True
Let v be 2/((-12)/9 - -2). Suppose -v*x + 3 = 0, 0 = 5*i - 2*i - x - 14. Suppose -18 = -2*d - 2*l, l + 8 = i*l. Is 2 a factor of d?
False
Suppose -217 = -4*h - 5*x, -4*h + 5*x - x + 172 = 0. Is 8 a factor of h?
True
Let o(q) be the second derivative of -q**5/20 - 3*q**4/4 - 5*q**3/2 + 5*q**2 - 14*q. Does 20 divide o(-9)?
False
Let m(n) = -5*n - 11. Let u(v