7*s + 3. Is 8 a factor of q(4)?
False
Suppose -5*a + 17 = 7. Let b(j) = 16*j**2 + 3*j - 2. Is 20 a factor of b(a)?
False
Let k(p) = 3*p**2 + 49*p - 21. Is k(24) a multiple of 23?
False
Let o(q) = -q**2 + 1 + 452*q + 0*q**3 - 453*q - 2*q**3. Is o(-2) a multiple of 5?
True
Suppose 129*r = 117*r + 11376. Is 79 a factor of r?
True
Let r = -15 + 17. Suppose 4*i - 267 = 5*k, r*i + 3*k - 139 = -0*k. Does 17 divide i?
True
Suppose -6*h - 228 = -10*h. Let x = h - 25. Is x a multiple of 16?
True
Let h(s) = s**3 + 7*s**2 - 21*s - 44. Is h(-8) a multiple of 4?
True
Let u(v) be the first derivative of -v**2/2 + 17*v - 4. Is u(-11) a multiple of 28?
True
Does 5 divide (-152)/(-5) + 44/(-110)?
True
Let k(a) = -14*a - 4. Let b be k(2). Is (-120)/b*(-16)/(-3) a multiple of 3?
False
Suppose o + 2*z - 127 = 271, -2*z - 1186 = -3*o. Is o a multiple of 33?
True
Let n = 327 + -262. Is n a multiple of 2?
False
Suppose 5*t + 171 = 5*o - o, t - 114 = -3*o. Is (6/4)/(o/2392) a multiple of 20?
False
Let q(u) = 3*u**2 + 72*u + 42. Is q(-32) a multiple of 10?
True
Is (600 - (0 - (8 + -6))) + -7 a multiple of 35?
True
Let f(x) = x**2 - 6*x + 15. Let p be f(5). Let r(h) = 8*h - 36. Is r(p) a multiple of 9?
False
Let p = 23 - 14. Let a be p/(6*2/8). Does 11 divide 129/a - (-2)/4?
True
Suppose -6*c = 13*c - 1254. Is c a multiple of 33?
True
Suppose 2628*w - 2624*w = 6912. Is 64 a factor of w?
True
Suppose -5*q + 40 - 95 = 0. Let t(s) = s**3 + 12*s**2 + 10*s - 12. Let v be t(q). Does 6 divide (37/v)/(-17 + 16)?
False
Let j be (-4)/(-1 + 0 + 0). Suppose 3*u - 2*y - 216 = 0, -j*u + 5*y + 72 = -3*u. Does 9 divide u?
True
Let q be -4 - 2/2 - -3. Let l = q - -6. Suppose 4 = l*o, -5*z + 5*o = -z - 107. Is z a multiple of 28?
True
Let y = -464 + 765. Is y a multiple of 43?
True
Is 3 a factor of (2/6)/(17/521781*13)?
False
Let o = 35 - 33. Suppose -10 = p - 4*m, -o*p + 25 = m - 0*m. Is 6 a factor of p?
False
Let d(x) = 5*x + 33. Let n(h) = 2*h + 16. Let v(g) = -3*d(g) + 7*n(g). Let p be v(9). Suppose 1 = r - 3, -p*w = -3*r - 196. Is 11 a factor of w?
False
Let y(j) = -4*j**3 + j**2 - j + 3. Let g be y(-2). Suppose w - g = 79. Is 30 a factor of w?
True
Suppose 2*m - 19 = 2*v + v, 4*v + 20 = 0. Suppose -m*s = -3*s - 4. Is 12 a factor of (-1183)/(-52) - 1/s?
False
Suppose 175 + 4280 = 5*i. Is 81 a factor of i?
True
Let f = -15 + 44. Let z = -17 + f. Is z a multiple of 2?
True
Let q(o) = o + 6. Let y(h) = -h**2 + 5 - h**2 + 3*h**2 + 2*h - 4. Let t be y(-5). Is q(t) a multiple of 11?
True
Let z = -5 - -16. Suppose 4*p + z*p = 60. Does 4 divide p?
True
Let q(a) = 2*a + a**3 + a - 10 - a - 8*a**2. Let w be q(8). Is 22 a factor of (8/(-10))/(w/(-165))?
True
Let b = -24 + 36. Suppose 5*v - 78 - b = -5*f, 4*v = 5*f + 27. Does 3 divide v?
False
Let w(z) = 21*z**2 + 30*z + 19. Is 6 a factor of w(-4)?
False
Let m = 77 - 75. Is 12 a factor of 2039/13 - 2 - m/(-13)?
False
Suppose r - 4 = -2. Suppose -r*w + 4*i + 40 = 0, -2*w + 4*w + 5*i + 5 = 0. Is ((-12)/w - -3)*5 a multiple of 5?
False
Let z(s) = s**2 + 4*s - 5. Let q = -14 - -11. Let o be z(q). Let b = 33 - o. Is b a multiple of 15?
False
Is 0*5/15 + 903 a multiple of 12?
False
Is 12/((-96)/2428)*1*-10 a multiple of 21?
False
Suppose 0 = 20*v - 903 - 1057. Is v a multiple of 23?
False
Suppose 4*p - 4*n = -4, 3*p - p + 3*n = 8. Let k be (-4)/p*(-2)/4. Suppose 0 = -k*y + 14 + 16. Is 13 a factor of y?
False
Let z(q) = q**3 - 8*q**2 - 11*q - 6. Is z(10) a multiple of 4?
True
Let w = 288 + -15. Does 21 divide w?
True
Let q = 11 - -80. Is 37 a factor of q?
False
Suppose 5*v + 146 = 4*w - 26, -3*v = 3*w + 114. Is ((-16)/2)/(v/486) a multiple of 27?
True
Suppose -6*k + 1160 = -5152. Is 29 a factor of k?
False
Suppose -315 = 5*i + 5*m, -4*i = -6*i + 3*m - 131. Let o = 178 + i. Does 19 divide o?
True
Let n(t) = 21*t**2 - 1. Let u be n(2). Suppose -16 = v - 2*s + s, 0 = -3*v - 4*s - u. Let w = -7 - v. Does 7 divide w?
True
Let g = 2060 - 1895. Is g a multiple of 4?
False
Suppose 4*h - 7 - 11 = -f, -2*f + 81 = -h. Is 38 a factor of f?
True
Let m be ((-32)/12)/(2/(-111)). Suppose 12*x - 1136 - m = 0. Does 16 divide x?
False
Let k = 73 + -73. Suppose 8*n + k*n = 1856. Is n a multiple of 51?
False
Let d(u) = u**3 - 2*u - 2. Let l be d(-3). Let w(i) = 3*i**2 + i - 1. Let f be w(-2). Let a = f - l. Is 18 a factor of a?
False
Let d(k) = k**3 + 30*k**2 + 56*k + 29. Let g be d(-28). Suppose 0 = 5*z - z - 8. Suppose -3 = -y + 2*i + g, z*y = -4*i + 56. Does 6 divide y?
True
Let t(l) = -l**2 + 4*l - 3. Let u be t(3). Suppose 96*b - 91*b = 0. Suppose -5*c - 2*h + 52 = -b*h, 4*c - 3*h - 37 = u. Is 5 a factor of c?
True
Let h = -655 - -692. Is 4 a factor of h?
False
Let k(i) = i**3 + i + 1. Let w be k(-1). Let p(l) = -6*l**3 - l**2 - l - 1. Let n be p(w). Does 8 divide 4/(-5) + 164/n?
True
Let t = -79 - -111. Let r = t + -27. Suppose 2 + 108 = 4*p - 2*g, 2*g = -r*p + 124. Is 7 a factor of p?
False
Let u = -439 - -685. Is 4 a factor of u?
False
Suppose 5*u = 3*o + 1373 - 9980, -2858 = -o - 2*u. Does 16 divide o?
True
Let x(c) = 2*c**2 - 4*c + 2*c - 1 + 3*c - 5*c. Let h be x(3). Suppose 0 = f + h*i - 18, -f + 32 = 4*f - 4*i. Is f a multiple of 6?
False
Let s be (6/(-5))/((-1)/5). Let l(t) be the first derivative of 5*t**2 + 13*t + 82. Is l(s) a multiple of 18?
False
Suppose -27*t - 27*t + 17604 = 0. Is t a multiple of 3?
False
Let w = -184 - 74. Let r be 1 - w - (-8 - -6). Suppose -3*q + 6*q - r = 0. Does 27 divide q?
False
Suppose 4*r + 0*r - 19 = -i, 0 = -2*r + 5*i - 7. Suppose 0*t - 672 = -r*t. Is t a multiple of 42?
True
Let t be (-30)/(-7) + (-34)/119. Suppose -19 + 3 = -t*l. Suppose -2*a + 8 = -l. Is a a multiple of 2?
True
Suppose 2*k = 6 - 2. Let q(m) = -11 + 11 + m + 12*m**k. Is 13 a factor of q(1)?
True
Let l = -4847 + 7637. Is l a multiple of 16?
False
Suppose y + 4*y - 725 = -3*w, -5*w + 2*y + 1229 = 0. Is w a multiple of 25?
False
Let r = 750 - 511. Let c(d) = d**3 - 2*d**2 - 5*d. Let q be c(4). Does 21 divide q/(-16) - r/(-4)?
False
Let m = -46 - -50. Suppose 0 = 4*c - 2*d - 0*d - 64, m*c = 3*d + 60. Is 9 a factor of c?
True
Let w be (-3)/6*2 - -7. Let i(x) = 0*x + w + x + 5. Is 7 a factor of i(5)?
False
Suppose -i + 39 = 5*g, -2*i - 42 = -5*g - 0*i. Let b = 12 - g. Suppose b*s - s - 15 = 0. Does 2 divide s?
False
Suppose -2*a = 4*l - 6*l + 32, -a - 3*l + 4 = 0. Let g(f) = f**2 - 6*f - 15. Does 43 divide g(a)?
True
Suppose 7*r + 6159 = 35804. Is r a multiple of 55?
True
Let a be (-8)/24*-1*21. Suppose a*d + d = 2784. Does 12 divide d?
True
Let g = 90 + -158. Let c = 178 + g. Is 10 a factor of c?
True
Suppose -570 = -5*j + 635. Let v = j - 61. Is 20 a factor of v?
True
Suppose -5*o = -241 - 479. Is 9 a factor of o?
True
Suppose -4*x - 26 + 10 = 0. Let d(a) = -2*a**3 - 7*a**2 - 5*a. Let l be d(x). Is (-10)/4*l/(-10) a multiple of 3?
True
Let f = 3564 + -1890. Does 9 divide f?
True
Let p = 901 - 873. Does 7 divide p?
True
Suppose 7*p = 5*p + 32. Is -125*((-2)/(-5) + p/(-20)) a multiple of 10?
True
Let d = -405 - -412. Is d a multiple of 5?
False
Let k(b) = 11*b**3 + 4*b - 11. Does 8 divide k(2)?
False
Let i = -19 - 5. Let z be 77/3*i/(-8). Let o = -47 + z. Is 15 a factor of o?
True
Let h(m) = -2*m**3 - 2*m**2 - m + 3. Let l be h(-3). Is 14 a factor of 1/2*(l - 6)?
False
Suppose -2*r + 8 = -2*m - 2, -4*r - 5*m = -11. Suppose -5*g - r*i - 56 = -7*g, 2*i = -5*g + 152. Let h = g - 18. Is h a multiple of 4?
True
Suppose -5*o = -5*d - 3495, 4*d = 5*o - 8*o + 2111. Is o a multiple of 23?
False
Suppose 7*g + 50880 = 39*g. Does 8 divide g?
False
Is (-2 - -4)*8/(16/1157) a multiple of 89?
True
Suppose 14*c = 10*c + 24. Does 3 divide c/(-27) - 92/(-9)?
False
Does 50 divide 1357 + -7 + 0/(-12)?
True
Suppose d = -0*d + 39. Suppose -d = -u + 222. Suppose 5*l - 3*w - 324 = 0, 0*l - 4*l + u = -3*w. Is l a multiple of 21?
True
Let x = -299 - -544. Is 13 a factor of x?
False
Let d = 564 - -444. Does 72 divide d?
True
Is 12 a factor of (812 - -4)*5/10?
True
Is 4 a factor of (-558)/(-15)*30*10/45?
True
Let v be (12/8)/((-3)/36*-3). Suppose p - 4 = -v*y + 2*y, 0 = -2*p - 4*y + 24. Is 12 a factor of p?
False
Let l(x) = x - 1. Let b be l(1). Suppose b = 4*o - o - 4*p + 139, -168 = 4*o - p. Let z = o - -58. Is z a multiple of 17?
True
Let z(v) be the third derivative of v**4/24 + 1