5/84)/(l/(-20)). Does 11 divide 345/z*-1*5?
False
Let c = 6091 + -5275. Is c a multiple of 24?
True
Suppose -2*o = -5*q - 698, 5*o - 4*o + q = 342. Let k = o - 84. Is k a multiple of 13?
True
Let l = 231 + -21. Suppose 0 = -2*y + 3*v + 405, 2*v = -3*y + l + 404. Is y a multiple of 12?
True
Let g(a) = -163 + 15*a - 22 - 53*a - 12. Is 35 a factor of g(-15)?
False
Let z be (-2)/(-6) + 11/(-33). Suppose z = -5*u + 86 - 651. Let k = 292 + u. Is 12 a factor of k?
False
Is (1/3)/(-16 + 9 + 225543/32220) a multiple of 28?
False
Suppose 9*s + 18*s = 37*s - 11070. Is 41 a factor of s?
True
Let j(l) = 44*l**2 + 33*l - 995. Is j(-32) a multiple of 134?
False
Suppose 11*c + 5*o - 165 = 9*c, c + o = 78. Suppose -4*u - c*k = -72*k - 286, -211 = -3*u - 4*k. Does 73 divide u?
True
Suppose -5*a + 20*a = 180. Suppose 2*s - 29 = p, -2*p - 2*p - a = 0. Suppose -s*l = -3*l - 50. Is l a multiple of 4?
False
Suppose 40522 = 4*m - y + 6*y, 0 = m - 2*y - 10137. Is 118 a factor of m?
False
Suppose -19*y - 24645 = -80162 - 50028. Is y a multiple of 4?
False
Is (15/30)/(1/(-7))*-218 a multiple of 14?
False
Let s(o) be the first derivative of -o**7/840 + o**6/36 + o**5/40 + 3*o**4/8 - 2*o**3 - 8. Let t(z) be the third derivative of s(z). Does 16 divide t(10)?
False
Let d(b) = 19*b**2 + 28*b - 21. Let z be d(-6). Suppose -4*i = t - 3027, z = -4*i + t + 3516. Is i a multiple of 27?
True
Let y = 30 - -30. Does 4 divide 6050/y + (-2)/(-12)?
False
Let t = -147 - -142. Is (-30)/t + 209 - -5 a multiple of 9?
False
Does 11 divide (1230/25 - 7)/(-3 + (-498)/(-165))?
True
Let t be 2 - (8 + -7)*0/3. Let y = t - -1. Suppose 2*m = y*c + 362, -5*m - 5*c = -8*m + 542. Is 46 a factor of m?
True
Suppose 4*q - 310 = -2*t, -t + 0*t + 173 = -4*q. Let m = -63 + t. Does 4 divide m?
False
Suppose 0 = -14*t + 19*t - 60. Suppose 8*k - t*k = -624. Does 13 divide k?
True
Let m = 1661 - 938. Suppose m = 10*l - 1147. Let o = -52 + l. Is o a multiple of 22?
False
Let o(a) = -76*a**3 + a**2 + 2*a - 5. Let z(s) = 60*s**2 + 1 + s**3 + 61*s**2 - 121*s**2. Let r(d) = o(d) + 6*z(d). Is r(-1) a multiple of 7?
True
Let a = -14118 + 15525. Does 21 divide a?
True
Let g(d) = 10*d + 94. Let s be g(-32). Let p = s + 299. Is 7 a factor of p?
False
Suppose -1366630 - 802934 = -261*i - 443310. Is 8 a factor of i?
False
Suppose -90314 = -30*s + 85186. Is s a multiple of 39?
True
Let x(t) = -t**3 + 25*t**2 - 25*t - 11. Let y be x(24). Is (-55)/(-5) + -10 - (y - 1) a multiple of 8?
False
Let k(b) = b**3 - 6*b**2 + 2*b - 13. Let y be k(6). Is 3202/16 + y/8 a multiple of 4?
True
Is (672/(-64))/((-6)/140) a multiple of 2?
False
Let q be 25/3 + 539/(-231). Suppose b + q*b - 2380 = 0. Does 10 divide b?
True
Let t(a) = a**3 + 13*a**2 + 10*a - 19. Let d = 17 - 12. Suppose d*l - p + 51 = 0, -3*p - 4 = -2*p. Is 25 a factor of t(l)?
False
Suppose 3*n + 12 = 2*c + 7*n, 3*c - 2*n - 2 = 0. Does 67 divide c/((-1)/(94*-2))?
False
Let s be (12/2)/((-99)/(-30) - 3). Let h(u) = -15 - 60*u + s - 13 - 3. Does 3 divide h(-1)?
False
Let b(g) = -8 + 8*g**2 + 2*g**2 + 3*g**3 + 6 + 2*g + 0*g**3 - 2*g**3. Does 13 divide b(-6)?
True
Let i = 72282 - 22904. Does 252 divide i?
False
Suppose q + 7 = 4*x + 2*q, -x - q = 2. Let l(i) = -32*i - 8*i**x + i**2 + 4 + 3*i**2 + 39*i. Does 46 divide l(-2)?
False
Let t(f) = 35*f**2 - f. Let m = -304 + 301. Is 28 a factor of t(m)?
False
Suppose -a = 5*r - 14532, 2*a + 888*r - 885*r - 29050 = 0. Is 106 a factor of a?
True
Suppose -12*c + 13*c - 2851 = 0. Suppose 0 = 4*s + 48*f - 51*f - c, -4*s + 2845 = -5*f. Is 26 a factor of s?
False
Let s = -6816 + 9637. Is s a multiple of 10?
False
Let y = -18503 + 32207. Is 63 a factor of y?
False
Is 7 a factor of 489568/32 + -22 + 4?
True
Let i(h) = 2282*h + 1539. Is i(4) a multiple of 12?
False
Let q(p) = -127*p**3 - 238*p**2 - 1217*p - 15. Does 21 divide q(-5)?
False
Let p(i) = i**3 + 7*i**2 + 8*i - 4. Let y be p(-5). Suppose 0 = -2*o + y*o - 4. Does 10 divide (3 - -67)/((o - -4)/5)?
True
Let h be (3 - 3)/(-1) + 15. Suppose -3*q = h - 27. Suppose 8*u = q*u + 152. Is 19 a factor of u?
True
Let j be -1 + (4 - 6) + 112. Suppose j = 7*d - 402. Let y = 105 - d. Does 4 divide y?
True
Let o(w) = -3*w**2 - 2. Let q be o(-6). Let g = q + 234. Is 8 a factor of g?
False
Suppose 4*g - 117815 = -3*d, 7*g + 30*d - 206195 = 31*d. Is g a multiple of 8?
True
Let d(c) = -5*c + 223. Let o be d(42). Suppose m - o*m + 19872 = 0. Is 23 a factor of m?
True
Suppose 0 = -3*p - 506 + 784 + 3904. Is 239 a factor of p?
False
Is 10056450/240 + (-6)/(-48) a multiple of 73?
True
Let n(y) = -6*y**2 - y - y + 10*y + y**3 + 10 - 10*y. Is n(10) a multiple of 26?
True
Let p(v) be the second derivative of v**5/20 + v**4/2 - 2*v**3/3 + 3*v**2/2 + 2*v. Let u(t) be the first derivative of p(t). Does 16 divide u(-6)?
True
Let f(q) = 5*q**2 - 16*q - 12. Let g(s) = -3*s**2 + 8*s + 6. Let k(h) = 4*f(h) + 7*g(h). Let x be 3500/(-595) + 2*1/(-17). Does 3 divide k(x)?
True
Let f(x) = 3*x - 37. Let n be f(17). Suppose 267 = i + 4*v, -n*v + 11*v - 1266 = -5*i. Is i a multiple of 51?
True
Let n(k) = 9*k**2 + 40*k - 6. Let t(y) = 8*y**2 + 40*y - 7. Let m(g) = 5*n(g) - 6*t(g). Is m(-13) even?
False
Suppose 0 = 17*h - 32*h + 5355. Let o = h - 23. Is o a multiple of 68?
False
Suppose -4*m = -n - 8, -3*m + 4*m = -3*n - 11. Does 39 divide m - 597*(-4)/6?
False
Let z = -22262 - -39834. Is 232 a factor of z?
False
Suppose -4*t = 3*y - 80897, -5*y + 40911 + 93910 = 3*t. Is 74 a factor of y?
False
Suppose 0 = 106*l + 126*l - 3332218 + 152426. Does 19 divide l?
False
Let m(u) = -u**3 - u**2 + u + 1. Let n be m(-3). Suppose 0 = -4*i + 4*o + 72, -o = i - n - 0. Let t = i - 15. Is t even?
True
Let d be 8 + -82 - (3/(-1) + -3). Is 42 a factor of 8394/8 - (-8 + (-493)/d)?
True
Let x = 88503 + -46373. Is x a multiple of 143?
False
Let p(w) = -153*w - 2448. Is p(-72) a multiple of 18?
True
Suppose -5*h + 119485 = 5*u, -h + 17351 + 6525 = 4*u. Is h a multiple of 32?
True
Let b(y) = -6*y**3 + 3*y**2 + 25*y + 278. Is b(-8) a multiple of 21?
False
Is 22 a factor of (27898 - -89) + 24/(-2)?
False
Let q be 3/(2 - 34/20). Is 6 a factor of 390/(-9)*(-3 + 12/q)?
True
Let q(m) = -2257*m + 24. Does 5 divide q(-3)?
True
Let k(p) = 130*p + 6060. Is 25 a factor of k(-37)?
True
Let i(m) be the third derivative of m**6/60 + m**5/15 - 5*m**4/12 - m**3/2 + 3*m**2 + 3. Does 8 divide i(2)?
False
Let k = 120 + -118. Suppose -5*q = -k*q + 177. Does 17 divide 5/((-1)/q - 0/1)?
False
Let q = -4267 - -4488. Is q a multiple of 17?
True
Suppose 3*t - 1573 = -4*z + 6*z, 3985 = -5*z - 3*t. Let q = z - -1244. Is q a multiple of 45?
True
Let l = -331 - -338. Let b(k) = 6*k**3 + 16*k - 17. Is b(l) a multiple of 11?
False
Let k(d) = 3*d**3 - 3*d**2 - 6*d + 10. Is 50 a factor of k(6)?
False
Let n = -35 + 150. Let c = 179 + n. Does 14 divide c?
True
Let s be (-1 + 1)/(-10 - -6). Suppose -2*j + j - 15 = s. Is 26 a factor of 108/j*(-200)/15?
False
Let r(n) = -10*n**3 + 4*n**2 - 2. Let l = 320 + -321. Does 5 divide r(l)?
False
Let l(d) = d**3 - 8*d**2 + 12*d - 3. Let j be l(6). Is 1/(j/822)*(-2)/4 a multiple of 10?
False
Let g(i) = 326*i**2 - 705*i + 30. Is g(14) a multiple of 116?
True
Suppose 35*a - 34*a + 9 = 0. Let b be 5/(a + 4)*-1*34. Let g = b + 0. Is 3 a factor of g?
False
Let b = 11742 - -3749. Is 116 a factor of b?
False
Let y(b) be the first derivative of -2*b**3/3 - 19*b**2/2 - 14*b + 47. Is 21 a factor of y(-7)?
True
Let z be (-12)/48 + 662/(-8). Suppose 27 = 5*a - 33. Let p = a - z. Does 7 divide p?
False
Let s = 27 - 18. Suppose -s*n + 13*n - 324 = 0. Is 27 a factor of n?
True
Suppose 0 = -5*q + 6*q + 3*p - 3793, -2*q + 2*p + 7594 = 0. Is 26 a factor of q?
True
Let b(i) be the second derivative of -17*i**5/20 + 5*i**4/12 - 5*i**3/6 - 29*i**2/2 + 3*i + 22. Is 10 a factor of b(-3)?
True
Let d = -175 - -177. Is (6 - (d + 2)) + -1 + 271 a multiple of 16?
True
Let b(d) = -19*d**2 - 23*d - 83. Let z be b(-4). Let j = z + 335. Does 12 divide j?
False
Suppose 2*r = -131 - 143. Let q = 715 - 795. Let k = q - r. Is 19 a factor of k?
True
Let d(k) = 12*k - 10. Let x be 954/24 - 1/(-4). Let n = -35 + x. Is d(n) a multiple of 11?
False
Suppose -2*g - 5*x + 2620 = 975, 0 = 3*x - 3. Is g a multiple of 164?
True
Suppose 28*m - 294 = 26*m. Is m + (8/(-4) - -2) a multiple of 