 m/b - 362/(-4) a multiple of 23?
True
Let l(m) = -6 + 7 - 2 - 3 + 6*m + 4*m**2. Let x be l(-7). Suppose 0 = 3*b - 2*g - 134, 3*b - x = -3*g - 6. Is 32 a factor of b?
False
Does 87 divide (-46 + (7 - -17))*(-173 - 1)?
True
Let c = -10 - -9. Suppose 0 = -7*o + 305 + 87. Let u = o + c. Is u a multiple of 11?
True
Let z = -4 - -24. Suppose -125 = -5*d - 4*s + 91, 0 = -d + 5*s + z. Is 40 a factor of d?
True
Let q = -9593 - -9659. Is q a multiple of 14?
False
Let x(j) = 103*j**3 + 3*j**2 - 13*j + 10. Is x(2) a multiple of 10?
True
Let n(q) = 13*q**2 - 142*q - 41. Is n(17) a multiple of 42?
True
Let i = -282 - -282. Let k be (14/(-3))/(3/(-108)). Suppose -5*r - f + k = i, -f = 4*r - 5*f - 120. Is r a multiple of 33?
True
Let p(i) = 6*i**3 + 9*i**2 + 2*i + 1. Let k(r) = -6*r**3 - 8*r**2 - r - 2. Let o(x) = 5*k(x) + 4*p(x). Let q be o(-5). Suppose -43 = -4*j + q. Does 24 divide j?
True
Let c(k) be the third derivative of -k**4/12 + 19*k**3/6 - 8*k**2. Let s be c(10). Let b(y) = -29*y**3 - 4*y**2 - y + 2. Is 19 a factor of b(s)?
False
Let y(m) = 10*m - 7. Let g be y(1). Let s be (-1 - -3)/(g*(-4)/(-7470)). Is (-4)/12 - s/(-9) a multiple of 29?
False
Suppose 230*g - 13743 = 203*g. Let o = g - 78. Is o a multiple of 6?
False
Is ((-184)/(-18))/((-536)/(-417276)) a multiple of 9?
False
Let i(y) be the first derivative of 13*y**2/2 - 90*y - 82. Is i(8) a multiple of 7?
True
Let k(f) = f**2 - 19*f - 154. Let r be k(25). Let c = r + 329. Does 25 divide c?
True
Let h(p) be the first derivative of p**3/3 - 29*p**2/2 + 156*p + 122. Does 13 divide h(39)?
True
Suppose 0 = 16*t - 34 - 3086. Is 5 a factor of t?
True
Let i be ((1*-2)/(16/216))/(-1). Suppose -b + i = -91. Let z = -45 + b. Does 7 divide z?
False
Suppose -6*r - 44 + 8 = 0. Let y(d) = 2*d**2 + 8*d + 4. Let z be y(r). Is 28 a factor of z*(3 - 2 - (1 - 4))?
True
Suppose -8*y + 3564 = -4*y. Suppose 2*x = -7*x + y. Does 8 divide x?
False
Suppose -3*h + 5*o = 5, h + 2*o = -3*o + 5. Suppose d - 6 - 22 = h. Is 15 a factor of ((-105)/d)/((-3)/84)?
True
Let k(p) = -2*p - 159. Let f(j) = -3*j - 317. Let z(t) = -3*f(t) + 5*k(t). Let y(d) = d**3 - 12*d**2 - 14*d + 13. Let g be y(13). Is z(g) a multiple of 12?
True
Suppose 2*r + 20 = -3*x + 2*x, 2*x - 2*r + 52 = 0. Suppose 3*v = 4 - 22. Does 20 divide (x - -6)*20/v?
True
Suppose 0 = 4*o + 4*v - 16948, -5*v + 8439 = 2*o - 10*v. Is 8 a factor of o?
True
Let n(v) = 23*v + 28. Suppose -11*u + 14 = -19. Is 6 a factor of n(u)?
False
Suppose -4*u - 3*d + 31847 = 0, 0 = 5*u + 79*d - 75*d - 39808. Does 18 divide u?
False
Let i = -591 + 301. Let h = i + 780. Is h a multiple of 49?
True
Let f(x) = x**3 - 17*x**2 + 2*x + 60. Let o be f(11). Let m = o + 1316. Does 32 divide m?
True
Suppose 3*b = 205*j - 203*j + 22708, -5*b + 2*j + 37848 = 0. Is b a multiple of 53?
False
Let b(g) = 2*g**3 - 3*g**2 + 17*g - 5. Let i be b(3). Let t = i - 23. Is t a multiple of 15?
False
Let r = -179 + 127. Let k = r - -56. Suppose 122 = n - k. Is n a multiple of 49?
False
Let l(m) = -m**3 + 43*m**2 - 18*m + 218. Is l(36) a multiple of 69?
False
Suppose 4*i + 18035 = 5*c, -16*c - 2*i + 18035 = -11*c. Is c a multiple of 40?
False
Let y = -387 - -400. Let m(b) = -b**3 + 18*b**2 - 10*b + 26. Is m(y) a multiple of 39?
True
Let x = -1588 - -25725. Is x a multiple of 20?
False
Is 331 + 2 - -1 - (7 - 13) a multiple of 34?
True
Suppose -n + 48 = -9*n. Let q be (53 - -13)/(n/(-32)). Is 8 a factor of (-10)/4*q/(-10)?
True
Suppose 3 = -v + 2*v. Suppose -20 = 4*f - 3*g + 5*g, 2*f + v*g = -2. Is 108/21*f/(-2) a multiple of 6?
True
Suppose 16*p - 2295 - 10472 = 11169. Does 17 divide p?
True
Suppose 0 = -94*m + 86*m + 4080. Suppose -2*i + h - 5*h = -m, -4*h = i - 249. Is i a multiple of 4?
False
Suppose -5*r - 48 = -r. Let i be r/(-16) + ((-11494)/(-8))/7. Suppose -3*y + 4*u = -454, -5*y - 5*u = -951 + i. Is y a multiple of 15?
True
Let y = -605 - -635. Suppose -61*i + y*i = -33449. Is i a multiple of 63?
False
Let t be (-6)/24*188/(-1). Let k = t + 184. Suppose -2*v + r + 123 = 0, 3*r - k = -2*v - 2*v. Is v a multiple of 20?
True
Let w = 76 - 0. Let u = 36 - w. Is 21 a factor of (-5)/(u/28)*30?
True
Let d be -3 - 8/4*-4. Suppose -a - 10*s + 8*s = -36, -188 = -d*a - 2*s. Is a a multiple of 12?
False
Let j = -715 - -1817. Is j a multiple of 37?
False
Let o(p) be the third derivative of 47*p**5/60 - 7*p**4/12 + 2*p**3 - 13*p**2 + 8*p. Does 5 divide o(-3)?
False
Suppose -r = -28 + 1. Let y = r + -23. Is y/14 - 495/(-7) a multiple of 22?
False
Suppose 0 = -3*a + 4*c + 5328, -3*c = 2*a + 2*c - 3552. Is a a multiple of 16?
True
Suppose 2*v + 2 = -2*j - 20, 19 = -5*v + 4*j. Let m(b) = b**2 + 7*b + 40. Is m(v) a multiple of 9?
False
Let m(k) = -k**2 + 8*k + 3. Let u be m(8). Suppose -u*v = -2*v + 74. Is 9 a factor of (v/(-3))/(24/36)?
False
Suppose 29*l - 308346 + 27017 = 0. Is l a multiple of 43?
False
Suppose 0 = -u - 5, -4*d + 3*u - 35624 = -u. Is (-1)/(70/245 - (-2553)/d) a multiple of 19?
True
Let v = -29 - -89. Let p = 65 - v. Suppose -64 - 66 = -4*t - 3*o, -4*t + 146 = -p*o. Is 7 a factor of t?
False
Suppose -5*l = -4*s - 37176, -26*s + 14884 = 2*l - 31*s. Does 108 divide l?
False
Let v(g) = 3*g + 9. Let f be v(-6). Let c(w) = -8*w - 36. Let q be c(f). Let h = -16 + q. Is 4 a factor of h?
True
Let c(y) = -3*y + 22. Let v be c(6). Suppose v*q = -0*q - 5*d + 2423, 2*d + 1823 = 3*q. Suppose -8*n = -q - 65. Is n a multiple of 6?
True
Suppose 4*t + 13*t - 119 = 0. Suppose 2*w + 2*z + t = -1, 3*z = 4*w + 2. Does 11 divide w*597/(-12) + (-6)/12?
True
Let v(b) = 288*b + 4953. Is v(39) a multiple of 13?
True
Let n be 3/(-1) - 19/(114/(-66)). Is 1/n + (-4692)/(-96) even?
False
Let x(k) = -3*k**3 + k**2 - 4*k + 36. Let c be x(6). Is 4 a factor of (c + 0)*(-26)/65?
True
Let g be (36/15)/(9/30). Suppose 1408 = g*b - 32. Is 10 a factor of b?
True
Suppose 4*o - 4*d = 24, -5*o = -3*d - 14 - 12. Suppose -20 = -4*g + j - 2*j, o*g - 20 = 3*j. Is 4 a factor of g?
False
Suppose -25*o + 56*o = -31*o + 337776. Is 6 a factor of o?
True
Suppose 74*q - 13824 = 68*q. Suppose -7*w = -39*w + q. Is 24 a factor of w?
True
Suppose -32 = -14*k + 18*k. Is 14 a factor of (-158)/k - (-21)/(-56)*2?
False
Let i be 4 - (0 - 3/3). Let x be (-2)/(-5)*i - 1*-2. Suppose m = -2*f - 2*f + 60, -5*f + 96 = -x*m. Is f a multiple of 16?
True
Let q(t) = t**3 + 2*t**2 + 2*t + 40. Let j be q(0). Let d = j + 40. Let f = 64 + d. Does 20 divide f?
False
Suppose -37 = 4*h - 21, 174 = 9*y - 3*h. Let w be 1*(2 - (2 + 2)). Let t = y - w. Is 3 a factor of t?
False
Let w = 132 - 125. Is 1 - (3 + (w - 807)) a multiple of 19?
True
Suppose 0 = -3*s + q + 704, -932 = -4*s - q + 4*q. Does 59 divide s?
True
Suppose 0 = -113*y + 392*y - 7615021 - 566933. Is 91 a factor of y?
False
Let c be 3/(-1)*(3 - (-5)/15). Let t(q) = q**2 + 9*q - 5. Let o be t(c). Is 23 a factor of (-58)/(-1)*(o + -3)*1?
False
Suppose -87*w + 176*w = 9345. Does 7 divide w?
True
Let i(c) = c**2 + 4*c - 19. Let o be i(-7). Suppose -o = -5*f + 4*f. Is 4*((-174)/8)/((-3)/f) a multiple of 15?
False
Let z = 16318 + -14924. Does 5 divide z?
False
Suppose 4*s - 5*n = 29 + 136, 0 = 3*n - 9. Suppose 26*i - 27*i + s = 0. Does 4 divide (54/i)/((-6)/(-20))?
True
Let y(m) = -2303*m - 3458. Does 37 divide y(-6)?
True
Let z = 8 - 2. Suppose z*b - 231 = -b. Suppose m + 0*m - b = 5*n, 0 = 2*m + 4*n - 10. Is 13 a factor of m?
True
Suppose 0 = 341*r - 357*r + 6688. Is 5 a factor of r?
False
Suppose 3*d - l = -2, 3*d - 2 = -4*l - 9. Let z be 0/(d + (6 - 2)). Does 18 divide 2*((76 - z) + -4)?
True
Does 33 divide 7718/3 - (-11)/((-132)/(-16))?
True
Suppose -19*u = -22*u - p + 106899, -3*u = -4*p - 106929. Does 147 divide u?
False
Let f(s) = 3*s + 22. Let o(k) = 3*k + 21. Let z(r) = 7*f(r) - 6*o(r). Let d be z(-8). Suppose 0 = d*l - 4*p - 128, -2*p + 81 = l + 2*l. Is l a multiple of 5?
False
Suppose 3*r = -d + 2866, -3*d = -0*d - 3. Let m = -396 + r. Does 6 divide m?
False
Let d(g) = 4*g**2 - 14*g - 13. Let p be d(7). Let c = p - 65. Suppose -3*b + 253 = -3*u - 95, -4*u = -c. Is b a multiple of 11?
True
Suppose 0 = -14*v + 3*v + 119130. Suppose -v + 4174 = -16*m. Is m a multiple of 13?
True
Is 6/((-10)/34180*-4) a multiple of 22?
False
Let u(i) = -i**3 - 4*i**2 + i + 1. Let h be u(-6). Let b be 120 + 1 + (-5 - 3). Let s = b - h. 