1113)/28)/((-2)/8). Suppose 4*a + 23 = d. Is 2 a factor of a?
True
Suppose 905*j - 914*j = -123903. Is 63 a factor of j?
False
Suppose -19 - 7 = -13*f. Does 34 divide (-2 + 30/9)/(f/399)?
False
Is 2 a factor of 15/(165/1232) - -9?
False
Let i = -80321 - -114290. Is 79 a factor of i?
False
Suppose -5*l = 4*k - 8180, 5*k - 7*k + 4088 = 2*l. Suppose -4*p - 844 = 3*y - k, -397 = -y - p. Is y a multiple of 14?
True
Does 12 divide 48/(-56)*(-4886)/(-3)*(0 + -9)?
True
Let s be (26/39)/(3/(-45)). Let g(u) = u**3 + 10*u**2 + u + 22. Is 2 a factor of g(s)?
True
Is 12/126 + ((-1369257)/(-504) - 2/(-16)) a multiple of 13?
True
Let s = 78 - -8. Suppose -2*z - 2*l + 46 = 0, 135*z - 132*z - 4*l = 62. Let m = s - z. Does 16 divide m?
True
Let o(j) = 8*j**3 + 83*j - 252. Is o(3) even?
False
Let s = -5 + 7. Let m be (201/4 - s) + (-12)/(-16). Suppose -m - 83 = -3*c. Does 15 divide c?
False
Suppose 955552 = -46*x + 150*x. Is x a multiple of 14?
False
Suppose -3*w + 18 = 78. Suppose -d + 2*d + 5*y = -90, 0 = -2*d - 3*y - 145. Let o = w - d. Does 15 divide o?
True
Suppose 3801*l - 24360 = 3786*l. Is 14 a factor of l?
True
Suppose 9*i = 758 - 245. Let w be (-28)/(-3) - (-9)/(-27). Let n = w + i. Is n a multiple of 28?
False
Let r be ((-1)/(3/10))/(108/(-162)). Suppose -4*x = 2*g - 48, r*g = -2*x + 124 - 36. Suppose -g*m + 23*m = 1022. Is 20 a factor of m?
False
Suppose 2*f - f = 0. Let t be ((-5523)/5)/(66/(-110)). Suppose 4*c + 3*c - t = f. Is 39 a factor of c?
False
Suppose -8*h + 6050 = 17*h. Is h a multiple of 22?
True
Suppose -2*k - 2*z + 72 = 0, -11 - 25 = -k + 4*z. Suppose 4*a + m = 31, -5*m + k = 3*a - 0*a. Is (a + 1)/((12/(-8))/(-3)) a multiple of 8?
True
Suppose -74085 = -19*y + 59675. Suppose -16*j + 0*j + y = 0. Does 15 divide j?
False
Let f be -9 + (-31842)/(-63) + 8/14. Suppose -f = n - 8*n. Is n a multiple of 16?
False
Let q = -2152 - -3690. Suppose 3*f + 5*o = 684 + 866, 3*f + 2*o = q. Is f a multiple of 15?
True
Let j = 16331 + -16082. Is j a multiple of 14?
False
Suppose 0 = 10*z - 90 + 70. Is 38 a factor of (-26 - 12)*(z + -3)?
True
Let w(h) = h**3 + 7*h**2 - 12*h + 16. Let f be w(-10). Let i = f - -344. Does 15 divide i?
True
Let a(o) = -o**3 + 17*o**2 + 16*o + 6. Let b be a(16). Let v = b - -62. Is 20 a factor of v?
True
Let l(d) = -d**3 + 5*d**2 - 3*d - 3. Let o be l(3). Let c be (-3)/(-2) - (o/12 + -1). Suppose c*t - t = 24. Does 12 divide t?
True
Let l(c) = -c**3 + 4*c**2 - 8*c + 1. Let a be l(5). Let k = a - -70. Suppose 455 = k*v - v. Is 16 a factor of v?
False
Suppose 3*w = -3*j + 74145, -5*j + 27532 = -2*w - 96099. Does 41 divide j?
True
Let x(j) = -3*j - 2*j - 30 + 8*j. Let d be x(6). Is 15 a factor of (-12)/(-16) - 819/d?
False
Let v(f) = f + 24. Let q be v(-19). Suppose -2*n = -0 + 4, -q*x + 49 = 3*n. Suppose 2*l = l + x. Is 5 a factor of l?
False
Let f(d) = 359*d**2 - 349*d + 3515. Is 25 a factor of f(10)?
True
Let w = 1882 + -1773. Does 7 divide w?
False
Suppose 7*k - 81 = -4. Let i(r) = -16*r**2 - 79*r + 94. Let c(m) = 3*m**2 + 16*m - 19. Let a(t) = k*c(t) + 2*i(t). Is a(-21) a multiple of 6?
True
Suppose 6*v = 42 + 6. Suppose 4*l - 5*l + 8 = -3*q, -l - q + v = 0. Does 4 divide 6*(l/2)/(7 - 1)?
True
Let w be (-6)/4 - ((-768894)/(-4))/(-21). Suppose 1358 - w = -18*g. Is 26 a factor of g?
False
Let t(g) = 143*g - 274. Is 92 a factor of t(54)?
False
Is ((-1368)/(-288))/(6291/6288 + -1) a multiple of 143?
False
Let o = -2323 + 3097. Is o a multiple of 43?
True
Let w(b) = 5*b**2 + 4*b + 2. Let t be w(-1). Is (t/(-4))/(24/(-2592)) a multiple of 9?
True
Suppose -10302 = -5*o - 6*u + 9*u, 4*o + 3*u - 8247 = 0. Is 18 a factor of o?
False
Suppose 224606 - 443769 = -67*p + 236705. Is p a multiple of 12?
True
Suppose -2*x = -0 - 4. Let s = -2477 - -2480. Suppose s*c + 0*u = x*u + 37, c - 27 = -3*u. Is c a multiple of 3?
True
Let p = 604 - 580. Suppose -a - p*c + 25*c + 1364 = 0, c - 2740 = -2*a. Is a a multiple of 87?
False
Suppose -14*i + 15029 - 343 = 0. Suppose w = 5*c - 1327, 184*c + i = 188*c - 5*w. Does 6 divide c?
False
Let r = -97 + 223. Let x be (-1514)/22 + 6/(-33). Let n = x + r. Does 19 divide n?
True
Suppose -2*a + 1560 = -16029 - 1261. Is a a multiple of 13?
True
Suppose -5*i + x + 80 = 0, 43 = 2*i + 2*x - 1. Let f(w) = -w + 14*w + w**3 + w + i*w**2 + 8. Is f(-16) a multiple of 8?
True
Does 23 divide 13/(-156) + (-3143101)/(-156)?
True
Let u be 32/14 - (-2)/14*-2. Suppose u*j = d - 168 + 1262, -3*j = -2*d - 1642. Does 39 divide j?
True
Let x be (-6)/(-1)*-33*16/(-36). Suppose 13*v - 24*v = -x. Does 2 divide v?
True
Let l(y) = 3*y**2 + 8*y - 7. Let u be l(-5). Suppose 3*j - 4*a = j + 56, -5*j = -4*a - 164. Let r = u + j. Is r a multiple of 8?
True
Let m(f) = -45*f - 34. Let t(s) = -90*s - 68. Let c(g) = -7*m(g) + 3*t(g). Is c(5) a multiple of 72?
False
Is 50 a factor of (-3 - 33296/48)/((-2)/51)?
False
Suppose -259 = -3*w - 4*t + 59, 2*w - 235 = 5*t. Suppose w*x = 102*x + 1728. Is 3 a factor of x?
True
Suppose 5*o - 15 = z - 2*z, 0 = -z - 5. Suppose 0 = o*h - 391 - 349. Does 10 divide h?
False
Let p(o) = 13*o**3 - 14*o**2 - 19*o + 20. Let h = 97 + -92. Let y(k) = 9*k**3 - 9*k**2 - 13*k + 13. Let q(f) = h*p(f) - 7*y(f). Does 15 divide q(6)?
True
Let v(a) be the first derivative of a**4/4 - 10*a**3/3 + a**2/2 + 17*a + 27. Let m be v(8). Let k = 178 + m. Does 12 divide k?
False
Let c(v) be the third derivative of -1637*v**6/120 + v**5/60 + v**4/12 - v**3/6 + 53*v**2 + 1. Does 15 divide c(-1)?
True
Is 2910/(-5335) + (-413414)/(-22) a multiple of 5?
False
Suppose 4*g + 4*o = 19704, g + 4*o = 5*o + 4912. Does 3 divide g?
False
Let w(r) = r**2 - 42*r + 21. Let b(j) = -2*j**2 + 42*j - 21. Let a(s) = 3*b(s) + 4*w(s). Let p be ((-32)/(-12))/(-2*(-2)/(-30)). Is a(p) a multiple of 3?
False
Let f = -43 - 128. Let u be (5/15)/(3/f). Let v = 4 - u. Is v a multiple of 23?
True
Let n(p) = -p**3 + 40*p**2 - 112*p + 40. Let z be n(37). Suppose -s + 93 = 2*b, 0 = z*b + 4*s - 38 - 99. Is b a multiple of 21?
False
Suppose 569338 = -18*j + 30*j - c, 4*j - 189772 = 4*c. Is j a multiple of 90?
False
Let f be 10/35 - (-2 + (-356)/28). Suppose -f*z = -4*z - 1650. Does 6 divide z?
True
Suppose 32*f - 41*f + 4410 = 0. Let d = -277 + f. Is d a multiple of 5?
False
Suppose 12*f + 701644 = 34*f - 315328. Is 30 a factor of f?
False
Let w(s) be the second derivative of 2/3*s**3 + 0 + 1/12*s**4 + 23*s + 21/2*s**2. Is w(-11) a multiple of 10?
False
Let a(l) = 43*l + 182. Let d(h) = h**3 + 15*h**2 - 21*h - 67. Let f be d(-16). Is 15 a factor of a(f)?
False
Let c(f) be the first derivative of 253*f**3 - 15*f**2 - 29*f + 285. Is c(-1) a multiple of 40?
True
Let j = -2361 + 4152. Suppose -30*o + 21*o = -j. Is o a multiple of 28?
False
Suppose 2*r = r - 1. Is r/6 - (-3)/((-54)/(-6969)) a multiple of 43?
True
Suppose 3*x = -6*u + 17268, -u + 4143 - 15685 = -2*x. Is x a multiple of 38?
False
Let x(l) = -189*l + 4916. Does 169 divide x(0)?
False
Let j = 403 + -395. Does 12 divide (100/(-6))/(j*(-14)/6048)?
True
Let k(l) = -5*l**3 - 4*l**2 - 3*l + 88. Let r(o) = -9*o**3 - 7*o**2 - 4*o + 177. Let m(y) = -7*k(y) + 4*r(y). Does 3 divide m(0)?
False
Does 23 divide (12/(-20))/((-1)/15711*147/245)?
False
Let r(z) = 124*z**2 - 208*z + 2113. Is r(9) a multiple of 124?
False
Suppose -2*d + 5*t = -13 - 1, 5*d - 5*t = 20. Suppose -4*c = -2*k + 16, d*k = 2*c - 6*c. Suppose -95 = -z + k*g + 34, -2*g = 2. Is z a multiple of 23?
False
Let m(l) = 762*l**2 - 452*l - 8. Is m(-4) a multiple of 66?
True
Let q(s) = 100*s**2 + 302*s - 52. Does 7 divide q(-17)?
False
Let f = 2575 + -1720. Is 15 a factor of f?
True
Let i = -18 - -22. Suppose -i = -10*o + 12*o. Does 7 divide 0/o + -4 - -25?
True
Suppose 0 = -z - 11 + 21. Suppose 6*y - 1136 = -z*y. Is 6 a factor of y?
False
Let g(o) = 6*o**2 - 28*o + 79. Is g(25) a multiple of 40?
False
Suppose 0 = -5*p - 4*k + 1 + 47, -45 = -3*p + 3*k. Is 25 a factor of (375/2)/(50/p - 4)?
True
Suppose -29 + 164 = -9*s. Let a be (-3)/s - (-18)/10. Suppose 3*f = -a*k + 132, -3*k - f - 3*f = -200. Is 14 a factor of k?
False
Let j = 62 + -60. Suppose 3*b + j*b = 3320. Let c = -464 + b. Is 20 a factor of c?
True
Suppose -3*a + 56114 = 6*x - 8656, 4*a = -16. Is 64 a factor of x?
False
Suppose 9118 = 4*w + y, 80*y - 85*y - 2290 = -w. Does 57 divide w?
True
Let l = -1