-7*i + 2*i + 10 = 2*x, 2*i - 4 = 4*x. Suppose -2*t + 5*u = -129, -i*u = -0*t + t - 51. Is 21 a factor of t?
False
Let a(m) = -m**3 + 7*m**2 + m + 2. Let h be a(7). Let r be 50/(-15)*h*-2. Suppose -3*i + r = i. Does 12 divide i?
False
Let b(u) = 186*u**2 + 27*u + 111. Is 23 a factor of b(-5)?
False
Suppose -4 = 2*k - 8. Does 2 divide -6 + 9 + 1*k?
False
Suppose -q = 5*q - 66. Suppose 0 = 8*s - q*s + 42. Is s a multiple of 7?
True
Let v(n) = -42*n + 6. Is v(-12) a multiple of 17?
True
Suppose 0 = 4*o - 2*h - 12 - 8, 0 = -3*o + 5*h + 22. Suppose -4*i + 153 = -5*x, x - 171 = -o*i - 0*x. Is i a multiple of 10?
False
Suppose 4 = 2*i - i. Suppose -12 = -0*p - i*p. Does 17 divide ((-160)/(-6) + -4)*p?
True
Suppose 8*k + 30 = -130. Does 6 divide k/(-6)*15/2?
False
Does 67 divide (-36)/(-9) + 4/(-1) + 854?
False
Let u = 14 + -20. Let l(d) = -5*d**2 - d**3 - 3*d**2 - 7 - 4*d**2 - 10*d + 5*d**2. Does 6 divide l(u)?
False
Let b = 42 + -99. Let k = -24 - b. Does 29 divide k?
False
Suppose -o + 3*q + 5867 - 1916 = 0, -4*o + 4*q + 15828 = 0. Does 36 divide o?
True
Suppose m + 0*u = -2*u + 123, 246 = 2*m - 4*u. Suppose 4*x - 703 = -m. Is x a multiple of 29?
True
Let a be (-7)/(-4) - 5/(-20). Let n(j) = 5*j - 1 + 4 + 2 - 3. Does 5 divide n(a)?
False
Let d(n) = -n**3 + 3*n**2 - 4*n + 1. Let c be d(3). Let g = -232 - -255. Let t = c + g. Is t even?
True
Let o(q) = 61*q**2 + 4*q - 5. Let g be o(1). Let t = g + -40. Does 16 divide t?
False
Let f(u) = -6*u - 26. Let j be f(-5). Is (10 + j)*10 + 3 a multiple of 11?
True
Suppose -5*f = -4*f - 10. Let k = f - 6. Suppose -k*r = -16 - 20. Is r a multiple of 9?
True
Suppose -5*w = 3*a - 12979, 8*a - 2591 = -w + 5*a. Is w a multiple of 49?
True
Let s(m) = 24*m - 5. Let z be s(2). Let y = 91 - z. Does 19 divide y?
False
Is 8 a factor of 6 + 5 + 24 + 5?
True
Suppose 0*n - 3*t = -n, 2*n - 4 = 2*t. Suppose 0 = 3*i + n. Let o = 8 - i. Is o a multiple of 2?
False
Suppose -u = 2*c + 3, 5*u - 39 = 4*c - 12. Suppose -j = -u*j + 5*q + 51, 2*j - 46 = 4*q. Suppose 3*p - j = 8. Is p a multiple of 4?
False
Let b be ((-4)/6)/(42/1197). Let o = b - -40. Is 7 a factor of o?
True
Let m(f) = 54*f - 175. Does 9 divide m(11)?
False
Suppose -3*n - 19 + 3 = -5*x, -4*n = 8. Suppose -5*u = 5*t - 65, u - x = 4*t + 6. Suppose -5*s + u = -2*s, -4*j + s + 164 = 0. Is 14 a factor of j?
True
Let m(w) = w**3 + 13*w**2 + 9*w - 17. Let v = -40 + 13. Let s = v - -15. Is 8 a factor of m(s)?
False
Suppose -9*s = -6*s + 279. Let r = s - -168. Is r a multiple of 15?
True
Let a(o) = 21*o**2 + 37*o + 3. Is 66 a factor of a(6)?
False
Let k = -2344 + 4220. Is 14 a factor of k?
True
Let b = -6 - -8. Suppose -4*j + 22 - b = 0, f = 3*j - 12. Suppose -39 = -0*w - f*w. Is 4 a factor of w?
False
Suppose -2866 = -2*f - 2*s, 4*f - s - 5747 = -0*f. Let c = f - 900. Suppose 5*v + 4*n = c - 166, 2*n = 10. Does 29 divide v?
False
Let w be ((-14)/4 - -4)*66. Let n = w + -8. Is n a multiple of 5?
True
Suppose -5*z - 3*p + 4575 = 0, 3*z - 5*p = -316 + 3027. Does 19 divide z?
True
Suppose 0 = -333*q + 336*q - 9402. Is q a multiple of 92?
False
Let r(y) = -55*y**2 - 5*y**3 + y - 54*y**2 + 3*y + 110*y**2. Is r(-2) a multiple of 6?
True
Suppose 2*d + 2 - 6 = 0. Suppose -d*m - 3*m = -210. Let y = m + -10. Is y a multiple of 16?
True
Suppose 385 + 175 = 5*k. Suppose -k = -a - 3*a. Suppose 0*p = p - a. Does 14 divide p?
True
Suppose 16 = 3*k + 91. Let v = 21 + k. Is 16 a factor of (-2010)/(-25) + v/10?
True
Let q(v) = v**2 - 24*v - 69. Does 4 divide q(-13)?
True
Let a(c) be the second derivative of -c**4/12 - 13*c**3/6 - 7*c**2 + 10*c. Is a(-4) a multiple of 11?
True
Let p(d) = 2*d**3 - d**2 - 6*d - 1. Is 18 a factor of p(7)?
True
Suppose 3881 + 1686 = 19*c. Is 86 a factor of c?
False
Let n = 80 - 47. Let t(g) = 10*g + n*g**2 + 7*g - 1 - 16*g. Does 33 divide t(1)?
True
Let f = 598 - 400. Let k = 407 - f. Does 19 divide k?
True
Let x(p) = p**2 + p + 16. Let a be x(-13). Let o = a - 112. Suppose 3*b = 6*b - o. Does 15 divide b?
False
Let b = 44 + -35. Suppose -r + b*r - 112 = 0. Does 7 divide r?
True
Let q = -255 + 351. Does 16 divide q?
True
Suppose -3441 = 25*z - 36066. Is z a multiple of 37?
False
Does 49 divide -14*((-5)/1)/10*91?
True
Let j(b) = 4*b**2 - 20*b - 117. Does 10 divide j(-5)?
False
Let x(z) = 25*z**2 - 9*z - 32. Is x(8) a multiple of 44?
True
Is 3 a factor of 0 - (-177 - (-16)/(-4))?
False
Let v(m) = 5*m + 251. Is 5 a factor of v(20)?
False
Let k = -151 - -277. Does 7 divide k?
True
Let h be 4/(2 + 3 + -3). Suppose -5*w + 40 = h*l - w, -5*l = 5*w - 100. Does 12 divide 42/(4 + l/(-8))?
False
Let s = 1021 - 94. Is 42 a factor of s?
False
Let h = 24 + -13. Suppose -h*b = -5*b - 162. Does 9 divide b?
True
Suppose -119*l + 2220 = -116*l. Suppose -l = -2*s - w, 5 + 3 = -2*w. Is s a multiple of 62?
True
Let i(v) be the third derivative of -v**6/120 + 7*v**5/60 + 7*v**4/24 + 5*v**3/3 - 2*v**2. Let x be i(8). Does 20 divide (12/9 - x)*-30?
True
Suppose 5*z - 10*z - 3020 = 0. Let k = -354 - z. Is k a multiple of 25?
True
Let z(s) = -s**3 + 5*s**2 - 7*s + 1. Let c be z(3). Is -2*(10545/(-210) - c/(-7)) a multiple of 7?
False
Let b = 7605 - 4499. Is 78 a factor of b?
False
Does 26 divide 5*-2*(-1353)/165?
False
Let w(j) = -28*j**3 - j**2 - 14*j - 24. Is 16 a factor of w(-2)?
True
Let i(t) = 6*t**2 + 19*t + 41. Is i(-8) a multiple of 20?
False
Let s(y) = 15*y - 13 + 4 + 7 + 0. Is 22 a factor of s(6)?
True
Let x(c) = 24*c**2 + 2*c - 2. Let w be x(1). Suppose -3*v + w = 12. Suppose 0 = v*d - 4*z - 164, d = -d + 4*z + 76. Is d a multiple of 18?
False
Suppose 4*s + 470 = 3*c - c, -1131 = -5*c - s. Is c a multiple of 31?
False
Is 764/2 - 0 - (0 + -2) a multiple of 6?
True
Let w(y) = y**2 + 14*y - 12. Let m be w(-15). Suppose 3*u - 12 = 0, -q + 5*u = m*q - 320. Does 50 divide q?
False
Let d be (-2)/(-3) - 112/(-21). Suppose d*i = 2*i + 248. Let n = -36 + i. Does 18 divide n?
False
Let g be (6 - 0)*1111/(-202). Let i = -39 - -21. Let q = i - g. Is q a multiple of 8?
False
Let a(f) = 5*f**2 - 39*f - 37. Let q(h) = -2*h**2 + 13*h + 12. Let x(r) = 3*a(r) + 8*q(r). Is x(-8) a multiple of 3?
False
Suppose -2*b = -2*p + 530, -26*p = -22*p - b - 1063. Is 7 a factor of p?
True
Let t(r) = 19*r + 62. Is 16 a factor of t(6)?
True
Is 13 + -17 - -31*11 a multiple of 10?
False
Let x(y) = 4*y + 2. Let r be -1*((-1)/1 + -1). Let k be r + 2 + 2/(-1). Is x(k) a multiple of 3?
False
Let l(x) = -x**2 - 55*x + 170. Is 14 a factor of l(-43)?
True
Let i = 90 - -267. Is i a multiple of 21?
True
Suppose x + 3*u = 31, 5*x + u - 46 = 39. Suppose 14*t = x*t - 94. Is 9 a factor of t?
False
Let j be (-47)/3 - (-6)/(-36)*-4. Let f = j - -48. Is 14 a factor of f?
False
Let j = 3526 + -144. Is j a multiple of 42?
False
Let m = 77 - 72. Suppose m*x - 2*l - 324 = 0, 2*x + 3*l - 55 = 67. Is 7 a factor of x?
False
Suppose 350 = 2*s + 8*s. Is 18 a factor of s?
False
Suppose 2*p = 4*p - 66. Suppose -4 + 16 = 3*j. Suppose p = r + j*n, 2*r = -3*r + 4*n + 165. Does 26 divide r?
False
Let l(f) = 5*f**2 - 13*f - 117. Is 23 a factor of l(15)?
False
Is 15 a factor of (-12)/(-54) + (-6792)/(-54)?
False
Let n(a) = a**3 + 8*a**2 - 32*a + 19. Let q(z) = -z**3 - 5*z**2 + 21*z - 13. Let w(g) = -5*n(g) - 7*q(g). Is 12 a factor of w(4)?
True
Let o(t) = -6*t - 17. Let m be o(-3). Suppose 0 = v - 28 - m. Is v a multiple of 4?
False
Let o = -43 + 46. Let s = 11 - 6. Suppose 0 = -o*j + s*z + 55, 2*z + 9 = j - 2*z. Is 23 a factor of j?
False
Suppose -2 = -5*v + 2*z, -4*z + 8 = -2*v - 4. Suppose 8*k - 174 = v*k. Is 13 a factor of k?
False
Let i(d) = -10*d + 27. Let m be i(8). Let c = -35 - m. Is 2 a factor of c?
True
Is 12 a factor of (-2143 - 22)*(-9)/15?
False
Let r be (-2)/7 + 183/(-21). Is 24 a factor of (112/3)/(-7)*r?
True
Let r = 780 + -2468. Is r/(-56) + 1/(-7) - 4 a multiple of 2?
True
Suppose 2*v + 39 = 2*q - 57, v = 2*q - 93. Suppose -8*j + 3*j + q = 0. Does 12 divide (3/j)/((-1)/(-117))?
False
Let x = -11 - -11. Suppose 5*u = 4*d + 305, x*u + 90 = u + 5*d. Is 10 a factor of u?
False
Suppose -4*f = -8*f - 8, -5*f = -4*v + 542. Suppose -v = 2*c - 3*h + 6*h, 4*c + 258 = 2*h. Let w = -45 - c. Does 9 divide w?
False
Let u = -1355 - -5766. Does 11 divide u?
True
Let h be (2/4)/(1/(-38)). Suppose 0 = -7*f - 1838 + 1152. Let d = h - f. Is 13