se
Let l(m) = 39*m + 432. Let t be l(-11). Suppose -3*k - 746 = -t*b - 137, -1012 = -5*b + 4*k. Is b a multiple of 4?
True
Suppose -284 = 4*o - d + 95, -3*o - 5*d - 313 = 0. Suppose -4*f + 619 = -3*i, -4*i + 3 - 7 = 0. Let m = f + o. Does 9 divide m?
False
Is 20 a factor of 1705/550 - (-15)/(-6) - (-23697)/5?
True
Let r(x) = -x**2 - 9*x - 15. Let m be r(-5). Suppose 3*i + 6 = m*p, -12 + 3 = -p - 2*i. Suppose -114 = -p*u + u. Does 6 divide u?
False
Suppose -339*d = -337*d + 190. Let r = 335 + -148. Let a = d + r. Is a a multiple of 17?
False
Let s(v) = -2*v**2 - 26*v + 240. Let p be s(15). Is 31 a factor of (-6)/3 + (3 - (3 + p))?
False
Let g = -28334 - -31913. Is g even?
False
Suppose -3*b + 7 = 1, u - 2*b - 81 = 0. Suppose -4*d + u = -927. Let j = 379 - d. Is 14 a factor of j?
True
Let b be (6/3 + 1)/1 - -5. Suppose -b*g + 1052 = -8548. Does 16 divide g?
True
Let m(p) = -43*p**3 - 31*p**2 - 11*p + 28. Does 46 divide m(-8)?
True
Let w(m) = 369*m + 36. Let c be w(2). Let x = 1198 - c. Is 8 a factor of x?
True
Let c be 4/26 + (-350)/(-91). Suppose -4 = -0*f + 2*f - c*m, -5*m = 15. Does 6 divide 5*f/(-20)*9?
True
Let y(s) = 8*s**2 + 40*s - 16. Let m(n) = 17*n**2 + 82*n - 32. Let p(w) = 6*m(w) - 13*y(w). Is p(-14) a multiple of 4?
True
Let n(w) be the first derivative of -w**2/2 + 7*w - 20. Let l be n(5). Suppose -43 - 21 = -l*z. Is z a multiple of 16?
True
Let w(g) = g**3 - 11*g**2 - 4*g + 28. Let l be w(12). Let j be ((-30)/(-4))/((-15)/(-90)). Let r = l - j. Is 20 a factor of r?
False
Suppose 4*k = 9*k - 4*c - 28485, 3*k - 17054 = -5*c. Is k a multiple of 12?
False
Suppose 0 = -3*g + 2*r + 11, 3*r = g + 1 - 0. Suppose -3*k = -5*u - 36, -k - g*u = -1 - 11. Suppose -k*w = -14*w + 86. Is w a multiple of 5?
False
Let f be 198/(-90) + 2/10. Does 10 divide 470 - (f + 2)/(-7)?
True
Suppose 0 = 13*f + 3*f - 32. Suppose -3*s + 114 = -4*b, -s + 38 = -f*b - b. Does 19 divide s?
True
Suppose -496 = -7*w + 337. Suppose 4*k + 9 = -w. Let z = 67 - k. Does 11 divide z?
True
Is (39 + -40)*28505/(-5) a multiple of 13?
False
Suppose 2*u - 3*t - 17458 = 23203, t + 81317 = 4*u. Is 11 a factor of u?
False
Let d(p) = 358*p**2 + 39*p - 135. Is d(3) a multiple of 12?
True
Suppose -6560 - 36 = -26*j + 7548. Is j a multiple of 38?
False
Let y = 1925 - -8374. Is 7 a factor of y?
False
Let h = -4745 - -8425. Does 80 divide h?
True
Let c(q) = 4*q + 58. Let o be c(-13). Let g(l) = l**3 - 4*l**2 + 19*l + 12. Is g(o) a multiple of 33?
True
Let v(r) = r**3 - 8*r**2 - 22*r + 25. Let y be v(10). Suppose x - p + 4 = -3, -y*x - 27 = 3*p. Is 9 a factor of (-36)/(0/(-2) + 4/x)?
True
Suppose -3*i = -8*i + 2*q + 14, 0 = -2*i + 2*q + 8. Suppose 14 = -0*x + 4*x + 3*f, i*x + 5*f - 14 = 0. Is 32 a factor of 3 + 160 - (-6)/x?
False
Let a(x) = x**3 - 16*x**2 + 53*x - 54. Is 7 a factor of a(13)?
False
Suppose -3*c - 77 = -0*c + 2*g, 4*c + 5*g + 112 = 0. Let w = 28 + c. Suppose -4*k = t - 371 - 426, -w*k - 5*t + 1015 = 0. Does 28 divide k?
False
Let k be ((-15)/18*-6)/((-1)/18). Does 9 divide (-2660)/6*k/75 - -5?
False
Suppose -20*m + 28253 - 11105 = -206792. Is m a multiple of 13?
False
Let w(z) = z**2 - 21*z - 31. Let j be w(23). Suppose -j*y + 405 = -10*y. Suppose -4*k - y = -g, 6*g - 4*g = -5*k + 188. Does 10 divide g?
False
Let q = 156 + -152. Suppose q*r = 44 + 280. Does 19 divide r?
False
Let j = -60 + 59. Let z be (9/(-6) - -2)/(j/14). Let k(t) = t**3 + 8*t**2 - 3*t - 10. Is k(z) a multiple of 36?
False
Suppose -27*w - 6 = -25*w. Let y(d) = -21*d + 13. Does 4 divide y(w)?
True
Suppose -99 = -i + 2*d - 5*d, -3*i = 5*d - 293. Let c = i + -166. Let t = c + 130. Is t a multiple of 20?
True
Let h(u) = u**2 + 3*u + 32. Let r be h(-7). Let z = r + 93. Is 9 a factor of z?
True
Let n = 83 - 104. Let r be n*(2 - 39/9). Suppose -65 - r = -3*v. Is 19 a factor of v?
True
Suppose -985193 = -40*u - 114713. Does 18 divide u?
True
Suppose -49*o = -o - 192. Suppose k + o*t - 1331 + 275 = 0, 0 = -4*t. Is k a multiple of 96?
True
Let i(t) = -48*t - 39*t + 117*t + 13 + t**2 - 40*t + 12. Suppose 0*b - b = -10. Is 17 a factor of i(b)?
False
Let r(i) = i**3 - 44*i**2 + 105*i + 337. Is 48 a factor of r(45)?
False
Let u be (-12)/3 - -2 - -8. Let a(m) = 5*m**3 - 14*m**2 + 5*m - 66. Let q(i) = -i**3 + 3*i**2 - i + 13. Let n(f) = -2*a(f) - 11*q(f). Is n(u) a multiple of 3?
False
Let d(p) = 1883*p + 1618. Is d(2) a multiple of 4?
True
Let q = -28 - -34. Suppose z + 4 = q. Suppose 0 = 5*f + 3*i - 738, -z*f = f + 5*i - 430. Is f a multiple of 30?
True
Let d = 408 + 175. Let m = -295 + d. Does 48 divide m?
True
Suppose -2*g + k + 4 = 3*k, 4*k = -8. Suppose -5*t + 1111 = z, g*t = -z - 0*z + 888. Does 17 divide t?
False
Let k = -4881 + 8277. Is 16 a factor of k?
False
Let u be (2 - 1) + (-2 - (-4 - 1)). Suppose 4*z - 9 = 3*r, -4*r + 4*z = 5 + 3. Suppose 20 = -u*b, r + 7 = h + b. Is h even?
False
Suppose -j - 27*c + 29*c = -4469, 5*c = -4*j + 17850. Is j a multiple of 69?
False
Let x(d) = -1879*d + 2063. Does 11 divide x(-3)?
True
Suppose -5*y + 3089 - 589 = -5*g, 2*y = -g + 1003. Suppose 4*q - 75 = -4*a + y, -5*a + 576 = 4*q. Is q a multiple of 5?
False
Let x(d) = 7*d**3 + 16*d + 8*d**3 - 40 - 13*d**3 - 63. Is x(6) a multiple of 17?
True
Suppose -26*o + 25*o + 501 = 3*h, -2*h + 342 = -2*o. Is h a multiple of 7?
True
Let x = 260 - 238. Let g(u) = -u**3 + 23*u**2 + 15*u + 73. Does 56 divide g(x)?
False
Let m be (-16)/(-44) + 64620/(-198). Let s = 484 - m. Is s a multiple of 54?
True
Let h be (-14)/6*(-1 + 4). Let a(o) = 6*o + 3 - 8 - 5*o - 12*o - 9*o. Is a(h) a multiple of 43?
False
Suppose -107 + 20 = -3*j. Let f = j + -32. Let r(u) = u**3 + 3*u**2 + 4. Does 4 divide r(f)?
True
Let w = 1539 - 1518. Let b(n) = -n**3 + 5*n**2 + 4. Let t be b(5). Is 3 a factor of w/4 - 1/t?
False
Let p = 281 + -258. Suppose -t - 2772 = -p*t. Is t a multiple of 14?
True
Let q(u) = 43*u + 4. Let w be q(-1). Does 58 divide (w/(-5) + -7)/((-2)/(-870))?
True
Does 13 divide (3922 - 403) + ((-2)/(4 - 2) - -6)?
False
Is ((-7)/4)/((-2)/(-12))*(-11978)/339 a multiple of 17?
False
Let h = -44 + -83. Let c = 197 + h. Does 5 divide c?
True
Let b(c) = c**2 - 22*c + 11. Let u be b(19). Let r be -6 - u/7 - (-2120)/14. Suppose -4*q = -2*x - 2*x + r, -3*x = 5*q - 146. Is x a multiple of 8?
False
Let d = 170 + -167. Suppose 505 = -d*n + 3064. Is n a multiple of 57?
False
Let a = -44 + 47. Suppose m + a*z = 36, 4*m - z - 151 = -6*z. Is m a multiple of 21?
False
Suppose -s = -3*f - 1340, 3*s - 6733 = -2*s + 4*f. Suppose -509 + s = 7*o. Is 10 a factor of o?
True
Let v be ((-96)/15)/4*(-45)/(-18). Is 348/(-14)*(v - (-3)/(-1)) a multiple of 58?
True
Suppose 1 = -3*q - 5*f, -q + 2*q + 1 = -2*f. Suppose 8 = q*r + 5, -1 = -n + r. Suppose -n*b + 94 = 5*d - 63, 0 = -2*b - 4*d + 152. Does 22 divide b?
True
Let i(o) = -16*o - 41. Let u(z) = -z - 2. Let t(m) = -i(m) - 4*u(m). Let a(d) = d**2 + 7*d + 13. Let y be a(-6). Is t(y) a multiple of 27?
True
Is 50 a factor of ((-909)/45 - -21)*(13564 + 1)?
False
Let d(v) = -2*v**3 - 36*v**2 - 19*v + 87. Is 9 a factor of d(-19)?
True
Suppose 4*z - z = 5*m + 28, -2*m = -3*z + 22. Let r be ((-108)/(-10))/(z/(-90)*-6). Suppose 4*c - 261 = r. Is 12 a factor of c?
True
Let i = -2060 + 2545. Does 16 divide i?
False
Suppose -6*r = -0 + 84. Let b(p) = p**3 + 16*p**2 + 14*p + 74. Is b(r) a multiple of 14?
False
Suppose -9*k + 217524 = 27*k - 24*k. Is 8 a factor of k?
False
Let m(w) = 2*w**2 - 8*w + 34. Let b be m(3). Suppose l = 58 - b. Is 10 a factor of l?
True
Let g(p) = 5001*p**2 - 19*p - 16. Does 18 divide g(-1)?
True
Let o = 50 - 45. Suppose -2*j + 1076 = o*s - 799, 2*j = 4*s + 1902. Suppose l - 13 = -5*v + j, -2*v + 390 = -3*l. Is v a multiple of 16?
True
Let u(o) = -2*o**2 - o + 8. Let j be u(-2). Suppose -882 = -4*a - b, 20*a + j*b = 25*a - 1096. Does 4 divide a?
True
Let s(i) = -4*i + 40. Let l be s(8). Let j(f) = f**2 - 3*f + 58. Is j(l) a multiple of 13?
False
Let d = -411 + 422. Suppose 25*y = d*y + 7056. Is 13 a factor of y?
False
Does 151 divide -1 - 9/(-27) - (-263661)/9?
False
Let k be 56/(-42) - (-4)/3. Suppose k = -3*g + 542 + 421. Is g a multiple of 13?
False
Let y(s) = s**2 + 4*s - 70. Let z be y(-8). Does 16 divide (-480)/(-6)*z/(-20)*4?
True
Let z = 2993 + -1956. Let f = z - 456. Does 9 divide f?
False
Suppose 38*