54 divide 2263/k + 125/50?
True
Let v(p) = -34*p**2 - 8*p - 8. Let c(i) = -37*i**2 - 9*i - 9. Let q(s) = 5*c(s) - 6*v(s). Is 33 a factor of q(-3)?
True
Let s = 5596 - -6726. Is s a multiple of 202?
True
Let j(t) = 3*t + 3. Let p(h) = -2*h - 2. Let u(g) = -3*j(g) - 5*p(g). Let r = 27 - 22. Does 6 divide u(r)?
True
Let a(y) = -y**3 + 18*y**2 - 27*y + 6. Suppose 5*q = 18 + 22. Is 20 a factor of a(q)?
False
Suppose 4*o + 5*l = -15 - 0, 2*o + 4*l + 6 = 0. Let r be (o/15)/(3/(-11106)). Suppose -9*j + 3925 = r. Does 18 divide j?
False
Let a = 48832 - 36034. Is 27 a factor of a?
True
Let m = -70 - -74. Suppose 0 = 5*n - 2*u + m*u - 152, u = -3*n + 91. Is 31 a factor of (n/(-8) - -3)*-84?
False
Let i(s) = 50 + s**3 + 107*s**2 + 0*s**3 - 84*s**2 + 47*s. Does 11 divide i(-20)?
False
Let k(y) = -2*y**3 + 3*y**2 - 18*y - 6. Let c(g) = 3*g**3 - 2*g**2 + 18*g + 6. Let a(j) = 3*c(j) + 4*k(j). Does 2 divide a(-8)?
True
Let c = 70 - 80. Is (-5 - c) + -2 + -5 + 194 a multiple of 6?
True
Let m be 116/(-145) - (-3964)/5. Suppose 8*a = 4*a + m. Does 22 divide a?
True
Suppose 3 = 4*o + 19. Let j = -2 + o. Is (3/j)/((-1)/218) a multiple of 19?
False
Suppose -266*w - 13150 = -282*w + 124850. Is w a multiple of 23?
True
Suppose -3*i = 2*i + 3*o - 37, -2*o + 38 = 5*i. Let f be 238/i + 2/8. Suppose 2*k = -k + f. Is k a multiple of 2?
True
Suppose -z + 1 = -1. Let q(d) = d**2 + d + 4. Let r be q(0). Suppose 0*m + 128 = r*m - z*p, 3*p = 0. Is 10 a factor of m?
False
Let c(g) be the second derivative of g**5/20 + 3*g**4/2 - 22*g**3/3 - 10*g**2 + 21*g - 1. Is 6 a factor of c(-20)?
True
Let n(w) = 4*w**2 + 21*w + 189. Does 11 divide n(12)?
False
Suppose 3*k + 4*m + 3 - 7 = 0, 6 = 4*k + 5*m. Suppose 0 = -k*f - 0*f + 56. Suppose f = 2*y - 10. Does 3 divide y?
True
Let f(y) = 572*y**2 + 0 + 384*y**2 + 30*y**2 + y - 168*y**2 - 1. Does 23 divide f(1)?
False
Let g(h) = -2*h**3 + 12*h**2 - 5. Let y be g(6). Is y - -12 - (3 - 830) a multiple of 28?
False
Let o = 25216 + -17296. Does 12 divide o?
True
Let p = -504 + 716. Let l = p + 18. Is 16 a factor of l?
False
Is (329/(-35) + 8)*-3070 a multiple of 28?
False
Let y(q) = -25*q - 10. Let g = -51 - -54. Suppose g*m = -4*p - 0*m - 36, 2*p = 3*m. Does 14 divide y(p)?
True
Let c = -411 - -413. Suppose t - c*o - 1130 = 0, t - 1310 = -3*o - 170. Is 11 a factor of t?
False
Let v(c) = 3*c**2 + 25*c + 74. Let p be v(-25). Let l = -946 + p. Is l a multiple of 9?
True
Let x be (6 - (-52)/(-6))*6/4. Let k be 49 - (-4)/(x/3). Let i = 50 - k. Is i even?
True
Suppose -2*t = i - 97, -17 = -t - 18. Suppose i*u = 96*u + 561. Is u a multiple of 11?
True
Let c be (-15)/10*(-2 + 3)*-2. Suppose -5*a + 4*m + 3746 = 0, 328 = -4*a - c*m + 3300. Suppose 9*n + 179 = a. Does 9 divide n?
True
Let v = -39 + 39. Suppose -c - 17 + 9 = v. Let g = 94 + c. Is 4 a factor of g?
False
Let h = 103 - -13721. Does 27 divide h?
True
Suppose 3*x - 17 = p, 4*x - 20 - 8 = 4*p. Suppose 3*l - 940 = 4*t, -x*l + 750 = -t - 828. Is l a multiple of 35?
False
Is 67 a factor of 87/261 - (-312352)/6?
True
Suppose 12*i - 311900 = -4*i + 234308. Does 101 divide i?
True
Is 96 a factor of -4320*(16 - 1392/72)?
True
Let n be ((-4)/(-6))/(4/18). Suppose -339 = -2*t + 5*h, -5*h - 185 - 316 = -n*t. Does 18 divide t?
True
Let f = 21036 - 19144. Does 15 divide f?
False
Is 39 a factor of -1*(8282/(-123))/(6/3303)?
False
Suppose 2*o = -o + 1968. Suppose -3*l - 4*q = -o, 2*q - 214 = -l + 3*q. Suppose 0 = -38*m + 34*m + l. Does 27 divide m?
True
Let j(v) = 208*v + 2352. Is 20 a factor of j(-9)?
True
Suppose -12*k - 2318 + 6182 = 0. Suppose -k = -4*h + 2*p, -2*h - 151 = -4*h - p. Is 39 a factor of h?
True
Let a = -3664 + 4400. Does 15 divide a?
False
Suppose 767*t - 786*t + 185725 = 0. Is 115 a factor of t?
True
Suppose 23*p - 20*p - 9 = 0. Suppose 5*f = -m + 3283, -p*f + 2*f - 5*m + 671 = 0. Is f a multiple of 9?
False
Let d(r) = 6*r**2 + 17*r - 17. Let s be d(7). Suppose 4*w - 96 = s. Is 19 a factor of w?
False
Let c = -8048 - -11458. Does 10 divide c?
True
Let f = -16 + 21. Suppose 4*z = -d + 449, 0*d - 469 = -4*z - f*d. Suppose z = 2*h + 23. Is h a multiple of 11?
True
Let o(z) = 3*z**2 - 45*z + 5682. Does 150 divide o(79)?
True
Suppose -h + 3*o + 172 = -86, 3*h + 4*o = 722. Suppose 8*x - 30 + h = 0. Is (-398)/(-4) - x/(-18) a multiple of 28?
False
Suppose -p - 3*p - 5*q = -722, 2*p + 2*q = 358. Is 3 a factor of p?
False
Let f(n) = -8765*n + 149. Is f(-10) a multiple of 86?
False
Let q = 37853 + -33585. Is 4 a factor of q?
True
Suppose 14*r - 154853 - 16981 = 11062. Is 284 a factor of r?
True
Let m(l) = -25*l - 7. Let w be m(-1). Let g = w + -150. Let j = 238 + g. Does 10 divide j?
False
Let d(b) = 3*b**2 - 12*b - 19. Let k be d(-16). Suppose -7*w = -389 - k. Is 12 a factor of w?
False
Suppose 2*u = -4*d + 12, -3*d + 12 = -3*u + 3. Suppose 0 = d*g + 6 - 3, -5*g = -5*z + 1560. Is 15 a factor of z?
False
Let t(x) = 2*x**2 - 42*x - 70. Let u be t(23). Let b(s) = -s + 47. Is b(u) even?
False
Let j(g) = -g**3 + 14*g**2 + 12*g - 20. Let n be j(9). Let k = n + -302. Is k a multiple of 24?
False
Let z = -2890 - -4197. Is z a multiple of 13?
False
Suppose 65625 = 63*d - 5987 - 109261. Does 33 divide d?
True
Let v = -234 + 372. Is 11 a factor of 160 - (-23)/(v/(-36))?
True
Suppose -d = 4, -18*b = -17*b + 5*d + 908. Let m = -657 - b. Is m a multiple of 11?
True
Let u(v) = 4*v + 8. Let z(n) = -7*n - 16. Let g(r) = 5*u(r) + 2*z(r). Let h(c) = 1. Let f(m) = -g(m) + 8*h(m). Does 27 divide f(-18)?
True
Let h(v) = v**2 + 21*v + 92. Let q be h(-5). Suppose 0 = -7*g - q*g + 5776. Is g a multiple of 38?
True
Let f(a) = -18*a + 120. Let d be f(6). Does 16 divide d/(-21) - (-13448)/14?
True
Let p(x) = 8*x - 156. Let z be p(20). Does 45 divide 6/44*z - 1405773/(-1199)?
False
Let d = 10 - 8. Let b(a) = -2 - d + 3 + 56*a. Is 9 a factor of b(4)?
False
Let l = -13664 - -25728. Does 13 divide l?
True
Let x be (-1 - 1*-6)*366/305. Does 12 divide (-40936)/(-56) - (1 - x)?
False
Let m = -12 + 18. Suppose -4*f + 2*f + m = 0. Suppose 4*v = f + 193. Is v a multiple of 7?
True
Let k be (4/(-3) - 0)*(-9)/3. Does 15 divide -26*(0/3 - 18/k)?
False
Suppose 0 = -2*z + 42 - 38. Let c = 2 + z. Suppose 0 = 7*w - 3*w + u - 140, -c*u + 35 = w. Is 7 a factor of w?
True
Let g(f) = -5*f**3 - 239*f**2 - 50*f - 62. Is 41 a factor of g(-48)?
False
Suppose d + 0*x + 143 = -2*x, -685 = 5*d - 5*x. Let o = -73 - d. Does 3 divide o?
True
Let w(m) = m**2 + 4*m + 4. Let a be w(-5). Suppose -2*l + 210 = 4*n, -5*n - l = -197 - 61. Let j = a + n. Does 12 divide j?
True
Suppose 36615 = -4*c + 18*c - 12777. Does 30 divide c?
False
Let q be -239*((-6)/9)/(4/(-36)). Is 6 a factor of q/(-16) - (-66)/176?
True
Let a be (2 + 0 + -7)*1. Let g be 1/a + 28/(-10)*1. Is 3 a factor of (-6 - g) + (-36)/(-2)?
True
Let x(b) = 7*b**2 - 6*b - 12. Let d be x(-6). Let j be (-2)/(-6)*18/2 + -7. Is (6/j)/(270/d - 1) a multiple of 15?
False
Let v(j) = -j**3 - 18*j**2 - 37*j - 28. Let u be v(-18). Suppose 0*n + u = 5*n - 2*w, 4*w = n - 124. Is 8 a factor of n?
True
Let h be 1/((-882)/442 + 2). Suppose -8*z - 40 = -72. Suppose z*q - 653 = -h. Is q a multiple of 20?
False
Let b(u) = 1357*u**3 - 2*u**2 - 18*u + 33. Does 134 divide b(2)?
False
Is 776 + -5 + -9 + (3 - 0) a multiple of 9?
True
Let j = 339 - 337. Suppose 274 = 2*p + 8*k - 4*k, 5*p = j*k + 745. Is p a multiple of 3?
True
Let s be 350 - (-8)/(-2 + 4). Suppose -z = -2*d + 358, 3*d - 3*z - s = d. Is d a multiple of 15?
True
Suppose -315*h + 3912494 = -1285006. Does 173 divide h?
False
Let n = 46844 + -29602. Does 37 divide n?
True
Let y(v) be the third derivative of 5*v**4/6 + 40*v**3/3 - 14*v**2. Does 41 divide y(9)?
False
Let t(x) be the first derivative of x**3/3 + x**2 + 9*x - 50. Does 9 divide t(-2)?
True
Suppose 15775 - 404955 = 5*g - 27*g. Is g a multiple of 58?
True
Let r(s) = 26215*s**2 - 41*s + 42. Does 232 divide r(1)?
True
Suppose 150 + 570 = 5*b. Suppose 0 = -5*g - 36 - b. Is 1134/g*(-12)/7 a multiple of 12?
False
Let d = -355 + 359. Suppose -1122 = -d*c + 558. Is 60 a factor of c?
True
Let f(v) = 83*v - 1. Let b be f(3). Suppose -2*m = 3*a - 227, 0*a = -2*m + 4*a + b. Suppose -s + m = s. Is s a multiple of 23?
False
Let l(x) = -x + 18. Let s be l(21). Let o be 17/s - 6/(-9). Let r(t) = -t**3 + 6*t + 1. Does