 10, l*o + 4 = -4*n + 14. Let u(w) = w**3 + w + 32. Is 7 a factor of u(n)?
False
Let i be ((-3)/(-6))/((-2)/(-16)). Suppose i*p + p = -55. Let w(f) = -f**3 - 10*f**2 + 8*f + 14. Is w(p) a multiple of 14?
False
Suppose -w + 18 = 6*q - 3*q, -3*w = -5*q - 110. Is w a multiple of 2?
True
Let j be (44 - 0)*(-2)/(-4). Suppose 2*b + 3*q = 54, 0*q - 79 = -3*b - 4*q. Does 26 divide j + (-7)/(b/(-12))?
True
Suppose -2*s = -s - 4. Suppose -303 = -s*k - 27. Does 21 divide k?
False
Let q = 20 + -26. Let o(a) = 5*a**2 + 23*a - 8. Is 17 a factor of o(q)?
True
Let x be 6/(-10) + (-588)/(-35)*-13. Let c = x + 314. Is c a multiple of 5?
True
Let s(k) = -15*k**3 + 5*k - 2. Let z(x) = -x**2 + 9*x - 3. Let y be z(8). Let j(f) = -8*f**3 + 2*f - 1. Let q(w) = y*j(w) - 2*s(w). Is 6 a factor of q(-1)?
False
Let w(a) = a**2 + 6*a + 5. Let p be w(-5). Let v be p/(-3) + 202 - 2. Suppose -8*f + 0*f = -v. Is 6 a factor of f?
False
Suppose 2*f - 3*y = 175 + 63, 0 = -5*f - 3*y + 574. Let w = f - 61. Is 11 a factor of w?
True
Let j(m) = 3*m + 2. Let d be j(-4). Let s(f) = f**2 + 11*f + 7. Let u be s(d). Is 15*u/(-10)*4 a multiple of 6?
True
Let f = 9 - 6. Suppose 2*q - k = 255, 0*q + 370 = f*q + k. Suppose 15 = 5*a - q. Does 11 divide a?
False
Let a(g) = 36*g**2 + 9*g - 47. Is 23 a factor of a(4)?
False
Suppose 13 = -3*k + 28. Let b(c) = -2*c**3 + 1 - 6 + 3*c**3 - 5*c**2 + 5*c. Does 10 divide b(k)?
True
Let m(c) = -c**3 + 9*c**2 + 10*c - 14. Let v be m(7). Let d be (-2)/11 + 1106/v. Suppose 4*s + 117 = d*s. Is 10 a factor of s?
False
Let z = 6 + -6. Is -1 - -61 - z/3 a multiple of 20?
True
Let c be ((-77)/(-33))/(1/(-3)). Let h(f) = f**3 + 6*f**2 - 16*f + 1. Does 10 divide h(c)?
False
Is 328 - (-4 - (-5 + -3)) a multiple of 9?
True
Let h = 413 + 117. Does 10 divide h?
True
Let q = 1152 + -1138. Is 2 a factor of q?
True
Let c = 1553 - 2425. Does 26 divide (6/(-4) + 3)*c/(-6)?
False
Let m be 644/(-3)*(-45)/(-30). Let c = -221 - m. Does 13 divide c?
False
Suppose 0 = -2*y + 3*j - 47, y - j = -3*j - 6. Does 2 divide (y*(-7 - -8))/((-2)/4)?
True
Suppose -5*m - 2*k = -40, 0 = -3*m - 4*k + 30 + 8. Let n = m + 52. Does 23 divide n?
False
Suppose -8*x + 572 = -4. Is x a multiple of 8?
True
Suppose 0 = -2*z + 2*k + 2120, 4*z - 4433 = -3*k - 214. Is 111 a factor of z?
False
Let f = 220 + -214. Is 3 a factor of f?
True
Suppose -f = m - 206, -4*f + 456 + 158 = 3*m. Does 15 divide m?
True
Let x(d) = 27*d + 176. Is 34 a factor of x(30)?
True
Suppose -2*t + 182 = 4*y, -235 = -4*y - y - 5*t. Does 20 divide 2 + -6*1 + y?
True
Let i(f) be the first derivative of f**4/4 + 4*f**3 + 11*f**2/2 + 42. Does 13 divide i(-8)?
False
Suppose 16 + 5 = 7*p. Let b = 103 - p. Does 20 divide b?
True
Let i(g) be the first derivative of 23/4*g**4 + 0*g + 1/3*g**3 + 0*g**2 - 3. Is 6 a factor of i(1)?
True
Suppose 3*l - 17 = -8. Suppose -13 = l*f - 67. Suppose -3*c = -3*j - 65 - 37, c - 5*j - f = 0. Is c a multiple of 38?
True
Let h(k) = 9*k - 6. Let a be h(-7). Let o(w) = -w**3 - 12*w**2 + 3*w + 4. Let r be o(-13). Let s = a + r. Is 18 a factor of s?
False
Let i be (-32)/(-6)*72/3. Suppose -4*v + i = -0*v. Is 16 a factor of v?
True
Let r(t) = t + 730. Is 40 a factor of r(-50)?
True
Let u(s) = -21*s. Let c be u(-1). Suppose 0 = 4*b - 27 - c. Suppose -2*n + b = -n. Is 6 a factor of n?
True
Suppose -d + 2 + 0 = 0. Suppose -d*a - 60 = -3*a. Does 12 divide a?
True
Suppose -3*t - 5*c + 2835 = 0, -5*t - 2*c + 436 = -4308. Is 10 a factor of t?
True
Let s(o) = 29*o - 2. Let k be (-6 - -7)/((-1)/(-2)). Is s(k) a multiple of 14?
True
Let d = 31 + -35. Let o(i) = -9*i - 16. Does 20 divide o(d)?
True
Let a = -22 + -32. Let m be (-1)/(3/a*-3). Is (-104)/m*6/4 a multiple of 13?
True
Suppose 25*v - 23*v - 462 = 0. Is v a multiple of 17?
False
Let o = -27 - -14. Let t = 2 - o. Is t a multiple of 3?
True
Let z(n) = 2*n + 1. Let t(c) = 8*c + 5. Let p(o) = -6*t(o) + 26*z(o). Does 2 divide p(2)?
True
Let j = -21 + 23. Is 7 a factor of (-1 - j)*-1*396/27?
False
Let m = 27 - 39. Let z = -7 - m. Suppose 2*q = -2*q + z*h + 66, -4*h = 5*q - 62. Is 3 a factor of q?
False
Let p(w) = w**3 + 14*w - 6 + 2*w**2 + 8*w**2 + 13. Is p(-8) a multiple of 3?
False
Suppose -4*x = 5*n - 185, 165 = -4*x + 8*x + n. Is (5/(-3)*50)/(x/(-60)) a multiple of 25?
True
Is 451/(14/8*(-34)/(-119)) a multiple of 22?
True
Let i be 20 - (0 - 2)/2. Suppose 5*f = i + 39. Is 12 a factor of f?
True
Let s be (3 - (-4915)/(-45)) + (-2)/(-9). Does 6 divide s/(-6) - (-3)/9?
True
Let r(f) = -55*f + 200. Is 15 a factor of r(-19)?
True
Does 21 divide 0 + -1 - -5866 - (-4 - -10)?
True
Suppose -h - 4*y + 4 = 0, 2*h - 4 + 18 = 3*y. Let z(c) = 13*c**2 + 6*c + 2. Is 19 a factor of z(h)?
False
Let n = 672 + -8. Does 57 divide n?
False
Suppose 16*d - 19020 = -364. Is d a multiple of 106?
True
Let r(v) be the first derivative of -v**4/4 + 8*v**3/3 + 7*v**2/2 + 17*v + 6. Let d be r(7). Let z = -61 + d. Does 16 divide z?
False
Is 37 a factor of -3 + (-128)/(-48) - (-3934)/3?
False
Is 20 a factor of 1/(((-12)/(-1767))/4)?
False
Suppose 3*p = -a + 85, -4*a = -9*a - 4*p + 469. Let t = -53 + a. Is t a multiple of 11?
True
Let l(y) = 3*y**2 - y + 1. Let g be l(-2). Let f = g + -8. Suppose f*q - 2*q + d - 219 = 0, q = 2*d + 35. Is 11 a factor of q?
False
Let x(n) = -32*n + 17. Let t be x(-4). Let s = t + -55. Is s a multiple of 18?
True
Let b(p) = p**2 - p - 1. Let k(v) be the second derivative of 7*v**4/12 - 5*v**3/6 - v**2/2 - 6*v. Let m(l) = -3*b(l) + k(l). Is m(3) a multiple of 9?
False
Let u(v) = -4*v + 23. Let s(j) = 3*j - 22. Let f(y) = 5*s(y) + 4*u(y). Let w be f(0). Is w/(-15)*(31 - 1) a multiple of 18?
True
Is 27 a factor of (-3 + (-3)/(-6))*284/(-2)?
False
Let b = 192 + -178. Is b a multiple of 14?
True
Suppose 7249 = 8*p + 3*p. Is p a multiple of 35?
False
Suppose -24462 = 132*l - 150*l. Is l a multiple of 24?
False
Let i = -33 + 40. Suppose -6 - 204 = -i*b. Is b a multiple of 15?
True
Suppose 3*o = -3*h + 18, -o - 5*h = -3*o - 2. Suppose 2*u = -10 + o. Is 7 a factor of 196/12 + 4/u?
False
Suppose 0 = u + 214 + 87. Let s = u - -509. Is 26 a factor of s?
True
Let g = 226 + -183. Is g a multiple of 4?
False
Let c(r) = -r**3 - 6*r**2 - 6*r - 1. Let h be c(-5). Suppose -h*a - 14 + 2 = 0. Let y(f) = 2*f**2 + 2*f - 2. Is 2 a factor of y(a)?
True
Suppose -15*k + 295 + 515 = 0. Is 10 a factor of k?
False
Let v = 295 - -488. Does 5 divide v?
False
Let f(p) = 5*p**2 + 13*p - 48. Is 49 a factor of f(-9)?
False
Let b(t) = -t**2 - 5*t - 4. Let s be b(-3). Let f = -103 + 166. Suppose -i + f = s*i. Is 10 a factor of i?
False
Let k(x) = -x**3 - 6*x**2 + 6*x - 6. Let w be k(-7). Let f be (w/(-2) + 1)*4. Suppose -f*g - 229 = -6*h + h, -2*h + 92 = -g. Does 15 divide h?
True
Suppose -2*l + 6843 - 153 = 0. Does 26 divide l?
False
Let m(w) = 113*w - 4. Let j be m(2). Suppose 0 = -2*r + 3*h - 6*h + 131, 3*r - 4*h = j. Is 7 a factor of r?
True
Let t(b) = b**2 + 4*b - 3. Let f be t(3). Let c be ((-2)/3)/(4/f). Let z = c - -8. Is z a multiple of 5?
True
Let b be (2/(-6) - 512/(-6)) + 2. Is 13 a factor of ((-4)/(-14) + 15/21)*b?
False
Let v = -15 + 15. Let p be 1 + 20/(-5) - v. Let i(q) = -14*q - 4. Is 19 a factor of i(p)?
True
Let b(o) = 2*o**3 + 12*o**2 - 4*o + 1. Let f(z) = 4*z**3 + 25*z**2 - 9*z + 2. Let w(v) = -9*b(v) + 4*f(v). Is w(-6) a multiple of 24?
False
Let k = 1307 + -625. Is k a multiple of 31?
True
Is (-14)/35 - (-1288)/20 a multiple of 6?
False
Let o = 0 + -3. Let j(r) be the second derivative of r**5/20 + r**4/3 - r**3/6 + 3*r**2/2 - 17*r. Is 5 a factor of j(o)?
True
Suppose 2*b - 160 - 116 = 0. Suppose -3*t + b = 3*a - 261, 4*t + 701 = 5*a. Is a a multiple of 35?
False
Let s(k) = 82*k**2. Suppose n - 4*l = -2*n + 11, n + 5*l + 9 = 0. Let q be 1 + n - 60/20. Is s(q) a multiple of 33?
False
Suppose 2*n = -s - 7, -3*n + 4*s = -7*n - 20. Does 13 divide (-163)/(-2) - n - 1/2?
False
Let f be ((-6)/4)/((-12)/24). Let i be (6 - f)/(1 + 2). Does 6 divide (i - (-19)/(-7))*-7?
True
Let m = 137 - 134. Suppose 0 = m*z + 9, 6*z = -3*h + 3*z + 66. Is h a multiple of 8?
False
Let k = -3680 + 6738. Is k a multiple of 18?
False
Let v = -5 - -2. Let s be 2 + -6*v/9. Suppose -26 = -s*c + 70. Is 12 a factor of c?
True
Suppose -2*m + 7 = 31. Let r = 7 - m. Does 19 divide r?
True
Let f(p) = 3*p**3 + 3*p**2 +