3403 - 189747 = -16*p + 279160. Is 11 a factor of p?
True
Suppose 4*w - 238 = -3*v, -2*v + 91 = 2*w - 29. Suppose -224 = -62*t + w*t. Is 14 a factor of t?
True
Let g be 3/9*2*3. Let k(v) = 13 + 2 + 0 + 26*v - 3 + 0*v. Is k(g) a multiple of 7?
False
Let c = 16550 + -15569. Does 109 divide c?
True
Suppose -99*h = 17*h - 506733 - 397951. Is h a multiple of 167?
False
Suppose -2*w + 27792 = 4*n, -2*n - 23*w + 28*w + 13920 = 0. Does 12 divide n?
False
Suppose 0 = -2*l + 23 + 23. Let n = l + -21. Is 2 a factor of ((-1)/4)/(n/(-16))?
True
Let g(r) = r**3 + 41*r**2 - 47*r - 67. Let x be g(-31). Suppose 0 = -17*z + x - 3486. Is 34 a factor of z?
True
Suppose 0 = 16*h - 18794 - 17978 - 4156. Is h a multiple of 37?
False
Suppose 5*u - 13877 = t, -3*t + 2*t - 11101 = -4*u. Suppose 5*q - u - 59 = 0. Does 7 divide q?
True
Suppose 0 = -4*k - 3*h + 743, k + h - 160 - 25 = 0. Let u = k + -1. Is u a multiple of 11?
True
Suppose -1799015 + 238481 = -47*j - 271794. Is j a multiple of 97?
False
Let l be 3/(-9) - (-4)/12. Suppose 3*a + 0*k + 4*k = 17, l = -4*a + 2*k - 14. Does 13 divide -32*3/6*a?
False
Let v(n) be the first derivative of n**3/3 - n**2 - 11*n + 57. Let w = -13 - -21. Does 37 divide v(w)?
True
Suppose 22*x + 27*x = 12*x + 1569540. Does 60 divide x?
True
Let g be (-4 + (-48)/(-18))*39. Let y = -40 - g. Is y a multiple of 9?
False
Does 2 divide 11 + 1 + 598 - (-2)/2?
False
Suppose -11*v + 626 = -4687. Suppose 441 = 2*z - v. Is 66 a factor of z?
True
Suppose 0 = -3*i + b - 4682, -3*i + 3*b = 88 + 4598. Let c = i + 2340. Does 13 divide c?
True
Suppose -20*g = 3*g - 5865. Is 15 a factor of g/((-8 + 9)*(0 + 1))?
True
Suppose 4*l = 2*r + 38, 4*r - 11 = 5*l - 63. Let u be ((-4)/l)/((-4)/40). Suppose 140 = 5*m - u*k, 0 = -m - 3*k + 25 + 19. Does 8 divide m?
True
Suppose 0 = -i + 2*a + 2940, -3*i - 46*a + 8820 = -41*a. Is 15 a factor of i?
True
Suppose -13*g + 11*g = 6, -4*h + 3*g = -22009. Is h a multiple of 105?
False
Let s(y) = 4*y**2 - 5*y + 15. Let x(o) = o**2 - o. Let l be 5*1 + 2 + -4. Let g(v) = l*x(v) + s(v). Is g(6) a multiple of 45?
False
Let u(v) = v**2 + 5. Let r be u(0). Suppose 3*q - 50 = -5*j, q + 29 = 3*j + 3*q. Suppose -r*l + 87 + j = 0. Is 5 a factor of l?
True
Let t = 2 + 14. Let p be 114/(-8)*t/(-6). Let i = -4 + p. Is 3 a factor of i?
False
Let b = 926 + 2788. Suppose p - 747 = -j, -6*p + 4*p - b = -5*j. Let s = j + -487. Does 22 divide s?
False
Does 14 divide (-1991162)/(-76) - ((-6)/9)/((-4)/3)?
False
Let x = 1857 - 1043. Let k = 60 + x. Is 10 a factor of k?
False
Suppose 757*l - 24 = 753*l. Suppose w = -2*v + 765, 2*v = -l*w + 8*w - 1530. Is 15 a factor of w?
True
Let c = 37 + 4. Let f be 3 - (37 + -1 + 0). Let a = c + f. Is 8 a factor of a?
True
Let i = -209 + 201. Does 3 divide (-142)/(-5) - i/(-20)?
False
Let f(a) = 9*a + 13. Let n(z) = -4*z + 2*z - 2*z + 65 - 72. Let y be n(-3). Is 11 a factor of f(y)?
False
Suppose 11*g - 9*g - 8 = 0, -2*z - 3*g = -28. Suppose 3*b = 2*c + 3532, z*b = 7*b - 5*c + 1183. Does 62 divide b?
True
Let f = 19788 + -14060. Is 179 a factor of f?
True
Let o be (-136)/(-476) - (-132)/(-21). Let q be 2 - 0 - (3 + -3). Is (o + q - (-138 + 1)) + -1 a multiple of 22?
True
Suppose 63 = -4*h + 7*h. Is 5 a factor of 28/h + 4 + 3/(-9)?
True
Let z be (4*(-4)/48)/((-1)/21). Suppose z*x = x + 1080. Suppose -u + x = 5*f - f, 0 = 5*f + 4*u - 236. Does 22 divide f?
True
Suppose 0 = 77*l - 74*l + 222. Let c = l + 94. Is 18 a factor of c?
False
Let w be (-2 + 3)/(-4 - (-57)/15). Let q(m) = 4*m - 29. Let n(d) = 3*d - 19. Let s(z) = w*q(z) + 7*n(z). Is 28 a factor of s(20)?
False
Let i(y) = -1274*y + 74. Is i(-9) a multiple of 79?
False
Let f(a) = a**2 - 17*a + 19. Let h be f(16). Let d(p) = 58*p - 7 - 30*p - 29*p + h*p**2. Is 17 a factor of d(5)?
False
Let p be (4 - (-119)/(-14))*52/6. Let u = p + 299. Is 65 a factor of u?
True
Let d be 12/(-40)*-22 + (-3)/5. Suppose 3*u - 4*u = 33. Is 10/55 - 494*d/u a multiple of 10?
True
Let m be (-3 + (-195)/25)*(-1230)/9. Suppose -4*c - 2*f = -9*c + m, -3*c = f - 879. Does 42 divide c?
True
Let q(o) = -5*o - 41. Let j(b) = 2*b + 21. Let k(z) = -5*j(z) - 3*q(z). Suppose 4*r - 16 = 2*m, 7*r - 6*r - 5*m = 4. Is 37 a factor of k(r)?
False
Let s = -409 - -434. Suppose -s*f + 20*f = -6485. Is f a multiple of 15?
False
Let g(h) = -h**2 + 21*h - 6. Let y be g(15). Let v(j) = j + y - 3*j - 103. Is 3 a factor of v(-14)?
True
Let s(i) be the third derivative of i**6/360 + i**5/3 - 17*i**4/24 - 18*i**2. Let b(y) be the second derivative of s(y). Does 4 divide b(-12)?
True
Suppose 5*f - 131850 = 4*w, 92*w - 93*w = 5*f - 131850. Does 15 divide f?
True
Let o(a) = -11*a**3 - 2*a + 9. Let h(r) = 9*r**3 - r**2 + r - 9. Suppose -14*q + 8*q + 30 = 0. Let d(t) = q*h(t) + 4*o(t). Is 32 a factor of d(9)?
True
Let s(w) be the first derivative of -3*w**4/4 + w**3 - 3*w**2/2 - w + 18. Let i be s(3). Let m = 62 - i. Is 42 a factor of m?
True
Let u(p) = -p**3 - 8*p**2 - 6*p + 9. Let d be u(-7). Let o be d/14 + 136/28. Suppose -f + 8 + 11 = r, f + o*r - 11 = 0. Is f a multiple of 4?
False
Suppose 2956 = -3*n + 6*n - 4*q, 6 = 3*q. Does 79 divide n?
False
Let x be (-1338)/30 - 4*(-2)/(-20). Let i be (-23766)/x + (-2)/15. Suppose 18*y - 22*y + i = 0. Does 33 divide y?
True
Let l(w) be the first derivative of 2*w**3/3 + w**2 - 11*w - 23. Let p be l(3). Let s = p + 13. Is 13 a factor of s?
True
Let m(w) = w**3 - w**2 + 3*w + 1555. Let u be m(0). Suppose 0 = 5*i - 840 - u. Let o = 789 - i. Is 62 a factor of o?
True
Suppose -3*x = -4*g + 384, 0*g + 485 = 5*g - 5*x. Suppose -3*s + g = -2*s. Suppose s = -5*n + 318. Is n a multiple of 15?
True
Let l = -100 + 108. Suppose -g + l*g + 336 = 0. Let s = 172 + g. Is s a multiple of 31?
True
Let z(b) = -1364*b + 58. Let h(i) = -341*i + 14. Let p(s) = -26*h(s) + 6*z(s). Does 13 divide p(1)?
False
Let a = 138 + -128. Suppose -a*m + 4*m = -1152. Is m a multiple of 32?
True
Let f be (-56)/105*141*(-10)/4. Let r = f - 180. Is 2 a factor of r?
True
Let g = -874 - -3362. Suppose g + 4393 = 7*m. Does 40 divide m?
False
Suppose -434 = -12*q + 4462. Suppose -q = -2*n - n. Suppose 0 = -0*y - 8*y + n. Is y a multiple of 2?
False
Is 77502/4 + (-1417)/(-218) a multiple of 22?
True
Let j(p) = -30 + 19 - 26*p + 23. Let m be j(-3). Let l = m - 48. Is l a multiple of 6?
True
Let m = 141 - 316. Let v = m - -346. Is v a multiple of 19?
True
Let o(k) = 223*k**2 + 52*k + 104. Is 4 a factor of o(5)?
False
Let m = -287 - -292. Suppose 12753 = 34*p + m*p. Does 44 divide p?
False
Let c(b) = 2*b**3 + 19*b**2 + 7*b - 12. Let f be c(-9). Let q be (-1 + 10/6)/(f/288). Let a = 20 + q. Does 7 divide a?
False
Suppose -o + 20 = -48. Let g be (15/(-45))/((-734)/366 + 2). Let v = o - g. Is 3 a factor of v?
False
Let w(f) = 1857*f - 3488. Is w(8) a multiple of 7?
True
Let y(p) = p**3 + 1. Let i(j) = -8*j**3 - 2*j**2 - j + 5. Let v(n) = i(n) - 6*y(n). Let o be (1 - 1)/(-3) + -1 - 1. Is v(o) a multiple of 29?
False
Suppose 9*x + n = 4*x - 5, -5*x - 15 = 3*n. Let d(q) = -54*q + 171. Is d(x) a multiple of 19?
True
Does 57 divide (-4)/14 - 14/((-686)/156569)?
False
Let u(q) = -47*q - 21*q - 33*q - 126 + 52. Does 16 divide u(-3)?
False
Let w(j) = -3*j - 21. Let v be w(-9). Let p = 501 + -234. Suppose -v*f + 129 = -p. Is f a multiple of 17?
False
Let z(p) be the third derivative of 3*p**4/8 + 67*p**3/6 - 17*p**2 + 2*p. Is 5 a factor of z(-2)?
False
Suppose -l - 2*l + 3*w + 15 = 0, -l = w + 1. Suppose -l*b = -4*b - 2*y + 24, 0 = 5*y + 10. Is b a multiple of 14?
True
Suppose -4*k + 1036 = z, 3*z - 4*z + 1038 = 5*k. Let f = -218 + z. Is 56 a factor of f?
False
Let x = -56 - -66. Suppose -x*v + 555 = -125. Let w = v - -30. Is w a multiple of 22?
False
Let v(f) be the third derivative of 19*f**4/24 + f**3/2 - 9*f**2 - 3*f. Does 20 divide v(17)?
False
Suppose -761316 = -27*n + 629724. Is 184 a factor of n?
True
Let a = 864 + -864. Suppose a = -2012*r + 2014*r - 1790. Is r a multiple of 89?
False
Let t be 7 + (-3 - -2) - (1 + 0). Suppose t*h = -41 + 666. Is h a multiple of 19?
False
Let g = -47 - -51. Suppose -3*f + g*p = -155, -f + 5*p = -36 - 34. Does 7 divide f?
False
Suppose -409 = 8*c - 1129. Does 2 divide 38 + ((-2)/10 - (-18)/c)?
True
Let b = -2009 - -2279. Does 18 divide b?
True
Does 21 divide 1/(1/5058)*(-36)/(-432)*4