+ 2403 + 3967 = 0. Let d = h + g. Is d a multiple of 59?
True
Let i = -204 - -207. Does 22 divide i/(-2)*4/6 - -433?
False
Let j = 5367 + -2441. Is 14 a factor of j?
True
Let h = 18550 - 10108. Is h a multiple of 14?
True
Suppose 5*w - 116 = -4*m, -15*w + 4*m = -12*w - 76. Is 23 a factor of (-57)/(8 - 200/w)?
False
Let p be 2/(-4)*-2 - 2 - -12. Suppose -2*m + 2*z - z + p = 0, 0 = -4*m + z + 19. Suppose -m*k + 207 + 81 = 0. Is 18 a factor of k?
True
Suppose 8*r - 3*r = 185. Suppose 0 = -3*u + b - r, -2*u + 3*b - 8 = 19. Does 2 divide -1*u/3*(-7)/(-2)?
True
Let g = -40 - -31. Is 48 a factor of 499 + (g/(-6))/(6/20)?
False
Suppose 0 = -v + 4*v + 273. Let p(i) = -2*i**2 - 307*i + 1541. Let a be p(5). Let t = a - v. Does 10 divide t?
False
Suppose j + 23 - 32 = 0. Is (12 - 0)*j/18 a multiple of 3?
True
Let r = 168 - 42. Suppose 4*t - r = 78. Does 21 divide t?
False
Let y be 1*(3/(-5))/(11/(-55)). Suppose -25 = -5*l, -4*l = -y*u + 1089 - 215. Is u a multiple of 25?
False
Suppose -90823 = -29*m - 14698. Is m a multiple of 34?
False
Let s(g) = 4*g + 4. Let l be s(-1). Suppose 91*z - 96*z + 20 = l. Suppose z*q = q + 126. Does 14 divide q?
True
Let i(g) = g**2 - g - 497. Let a be i(0). Let x = a - -353. Let o = -103 - x. Does 10 divide o?
False
Let z(x) = -40 + x - 5*x - x - 5. Let m be z(-10). Suppose 4*k + 298 = 5*c + k, -m*c + 318 = 2*k. Is c a multiple of 23?
False
Suppose -18384*g = -18414*g + 1802700. Does 30 divide g?
True
Let c(x) = 8*x + 0*x - 10*x + 23*x**2 - 21. Is c(6) a multiple of 30?
False
Suppose 5*p + 384 = 1074. Suppose -3*q + c + 357 = 0, -q + 4*c - 30 + p = 0. Is 60 a factor of q?
True
Does 38 divide 2919 + (-6)/3*1*(-27)/(-18)?
False
Let h = 25504 - 11022. Is h a multiple of 102?
False
Let l(a) = a**2 + 27*a - 1675. Is 11 a factor of l(-66)?
False
Let z(v) = 523*v**2 - v + 4. Let l be z(3). Is 17 a factor of 15/20 - l/(-16)?
False
Let m(i) = 1016*i + 190. Let k be m(-27). Is 25 a factor of k/(-159) - 4/3?
False
Let l(f) = 14*f**3 - 10*f**2 - 11*f - 6. Let y be l(-4). Let k be (-3 - (-18)/4) + y/4. Let i = -53 - k. Is i a multiple of 10?
True
Let c be 2 + 35/(-7) + 2047. Let u = -780 + c. Is 79 a factor of u?
True
Let f = 48 - 28. Suppose 0 = -f*j - 28*j + 33840. Does 6 divide j?
False
Let h = -5244 + 11647. Is h a multiple of 6?
False
Let k = -10535 + 17971. Does 10 divide k?
False
Suppose 0 = -3*n - 18 - 60. Let d = -15 - n. Suppose d*p - 194 + 29 = 0. Is p a multiple of 15?
True
Let p be -9 + (-20)/(-5) + -1 + 2. Is 21 a factor of p + -1 + (-5 + 665 - 4)?
True
Let j(l) = -3*l**3 - 11*l**2 + 4*l - 72. Let z(u) = -8*u**3 - 32*u**2 + 12*u - 217. Let w(g) = -11*j(g) + 4*z(g). Is 9 a factor of w(10)?
False
Let d(k) = -9*k + 251*k**2 + 4*k - 6*k + 6*k + 6. Is 18 a factor of d(1)?
True
Let y be ((-76)/(-114))/(1/6). Is 21 a factor of (-86)/y*(-54)/9?
False
Does 10 divide (726/132)/(1/2)*280?
True
Let d = 2957 + 9466. Is 17 a factor of d?
False
Suppose 13*y - 12*y = -3*b - 175, 851 = -5*y - 3*b. Let p = -100 - y. Is 4 a factor of p?
False
Let w = -1664 - -3054. Does 63 divide w?
False
Suppose 0 = -4*f + 3 + 17. Suppose 4*i - 1 = 2*i + 5*h, -3 = -i + f*h. Does 23 divide (-6)/i + 1 - -28?
False
Let h be (1 - (-5)/4)/((-5)/(-2020)). Suppose 1079 - h = 2*j. Does 11 divide j?
False
Suppose 45*b + 106890 = 87*b. Is 14 a factor of b?
False
Let s(f) = -162*f + 371. Does 7 divide s(-14)?
True
Suppose 0 = 153*l - 1025006 - 457105. Is 22 a factor of l?
False
Is (7 + -14)*(1 + 760/(-14)) a multiple of 11?
False
Is (-53 - 7)/4 + 3632 a multiple of 28?
False
Does 15 divide (83 + -73)/(4/42)?
True
Suppose -12 = 3*o, -3*x = -0*o - o - 4. Let b = x - -8. Suppose 175 = b*n - 161. Does 10 divide n?
False
Let l be (16 - 1)/(-2*2/28). Is 10/l - (-5674)/42 a multiple of 5?
True
Suppose 7*j = 61 + 93. Suppose 76 = -j*c + 23*c. Is 38 a factor of c?
True
Is (-82524)/(-60) + (-44)/10 + 4 a multiple of 55?
True
Let a(s) = 79*s + 69. Let d(n) = 242*n + 207. Let z(c) = -7*a(c) + 2*d(c). Does 11 divide z(-5)?
False
Let j = 319 + -325. Is 18 a factor of 0 - (42/j + -348)?
False
Suppose -3*g + x + 20 = 0, -5*g + 0*g - 5*x = 0. Suppose 0 = g*n + 5, 2*u + 2*n + 7 = u. Does 6 divide ((-5)/u)/1*29?
False
Let h(l) = l**3 - 16*l**2 + 83*l - 103. Is 4 a factor of h(10)?
False
Let t(c) = -c**3 + 27*c**2 + 57*c + 32. Let r be t(29). Suppose 3*g = -q + 169 + 690, -r*q = -4*g + 1128. Is g a multiple of 3?
True
Let b = -1296 + 80. Let f = 2212 + b. Is f a multiple of 12?
True
Let z = -6895 - -15715. Suppose 0 = -7*l + 25*l - z. Does 5 divide l?
True
Let t = 27 - 24. Let o be -14 - (t - 5) - 3. Is 22 a factor of -4 + (12*o)/(-4)?
False
Let i = -66 + 72. Suppose i*j - 8*j + 700 = 0. Does 25 divide j?
True
Let l(h) = 533 - h**2 - 79*h + 29*h + 26*h + 22*h. Does 28 divide l(0)?
False
Let j(o) = o**2 - 6*o + 1. Let n(a) = 2*a**2 - 34*a + 56. Let u(v) = -j(v) + n(v). Is 60 a factor of u(49)?
False
Let k(g) = g**2 + 6*g - 13. Let a be k(-9). Suppose -288 = a*r + 90. Let d = 90 + r. Is d a multiple of 16?
False
Suppose 34*t - 32*t - 4587 = -h, -5*h - 9195 = -4*t. Does 9 divide t?
True
Suppose b + g - 132 = 1167, 4*g = 2*b - 2574. Does 5 divide b?
True
Let j = -12 - -16. Suppose j*o + 3*s = 2 - 3, -5*s = -25. Is 12 a factor of 2/(-8) - (129/o - -3)?
False
Suppose -125 - 190 = -c. Suppose 0 = -3*o + 2*o + c. Is 20 a factor of o/6*(-2)/(-3)?
False
Let q = -1 - 3. Let d(o) = -o**2 + 6*o + 10. Let c be d(q). Let h = c - -108. Is 12 a factor of h?
False
Let r(v) be the second derivative of v**5/20 + 5*v**4/6 - v**3/2 - 19*v**2/2 + 57*v. Is r(-5) a multiple of 11?
True
Suppose -4*b + 3*b + 5*n - 2 = 0, -2*b + 4 = -2*n. Let o be 2/b + (-12)/(-9). Suppose -p = -3*u + 73, -o = u - 3*p - 21. Is u a multiple of 8?
False
Let u(t) = 4*t**2 - 5*t + 2. Let z be u(3). Suppose z*c - 28*c + 845 = 0. Does 9 divide c?
False
Is 16 a factor of 17*49/((-833)/(-35904))?
True
Let k = 28015 + -15001. Does 6 divide k?
True
Suppose 3*m = 9*m + 8*m. Suppose m = -6*x + 2661 - 15. Let j = -253 + x. Is 47 a factor of j?
True
Suppose 0 = 377*c - 361*c - 150832. Does 15 divide c?
False
Let p(k) = 20*k - 140. Let m(a) = -18*a + 139. Let j(t) = -7*m(t) - 6*p(t). Does 7 divide j(35)?
True
Suppose -20 = -c + 2*o, 2*o - 5*o = -c + 17. Suppose -c*p + 16544 = -4*p. Is 81 a factor of p?
False
Let p be -4 - 16/(-12)*3. Suppose 4*m - 2 - 38 = p. Is 904/m - 3*(-4)/20 a multiple of 7?
True
Suppose 4231*l - 4201*l - 163590 = 0. Is l a multiple of 41?
True
Suppose -305*h + 279*h = -106444. Is h a multiple of 89?
True
Let p(l) = -7*l**2 - 3 - 11*l**2 + 3*l + 22*l**2. Is 7 a factor of p(-2)?
True
Suppose -x - 8 + 11 = 0. Suppose -o - 4*t + 17 = -5*t, -4*o = x*t - 47. Suppose 0 = -3*c + o + 16. Is c a multiple of 2?
True
Let p(o) = -2*o**3 + 191*o**2 - 94*o - 403. Is 32 a factor of p(94)?
False
Let y(w) = 53*w - 1296. Is 18 a factor of y(57)?
False
Let y = -102 - -726. Suppose 0 = 2*d - 10*d + y. Let l = d - 18. Is l a multiple of 12?
True
Suppose 2*s - 8 = 2*j, -s + 5*j - 7*j = -16. Suppose 2*y = -s + 18, y + 210 = 5*m. Is 3 a factor of m?
False
Let u(a) = 11*a**2 - 110*a + 73. Does 20 divide u(22)?
False
Let a be (-4)/(-10) + (8259/15 - 2). Suppose -2*z + a = -97. Is z a multiple of 17?
True
Let n(y) = 370*y + 30. Let t(s) = -123*s - 10. Let u(c) = 4*c - 5. Let r be u(2). Let p(b) = r*n(b) + 10*t(b). Is 23 a factor of p(-1)?
False
Let f(a) = 38*a + 3. Let j be f(-4). Let y be -3 + j + (-3 - -3). Does 3 divide (-12)/(-66) - y/11?
False
Is 55 a factor of 5042708/165 + (-704)/120 + 6?
False
Is 11 a factor of 6/12 - (-7 - (-108714)/(-12))?
False
Let q be 8/40 + 1*1/(-5). Suppose q = 2*m, k = 2*k - 5*m - 65. Does 15 divide k?
False
Let a be (-78)/(-18) + 4/(-12) + -12. Is 3 a factor of (1 + 0)/(a/(-72) - 0)?
True
Let z = 14196 + -7963. Is 19 a factor of z?
False
Let p = 213 - 214. Does 4 divide (-5)/(-25) - ((-199)/(-5))/p?
True
Does 8 divide (416/(-10))/(1*((-84)/35 + 2))?
True
Let m = 1098 - 2099. Let o = m + 1945. Is 59 a factor of o?
True
Let v = 45725 + -27231. Is 34 a factor of v?
False
Is (-5)/(40/(-24))*120164/33 a multiple of 11?
False
Suppose 21055*f + 10931 = 21069*f - 40323. Does 7 divide f?
True
Suppose 5*h + 5*j - 1066 = 909, 0 = -2*h + 5*j + 783. Let x = 619 - h. Is 25 a factor of x?
True
Suppose -t = -0*t - 2, 4*t - 28 = -