7?
True
Let i be ((8/2)/2)/(4/94). Let o = i - -21. Does 68 divide o?
True
Let c(t) = t**3 + 42*t**2 + 31*t + 569. Is c(-27) a multiple of 76?
False
Suppose 77 = 5*n + 2*n. Suppose -15*q + n*q = -484. Suppose 2*t - q = -w, -2*w + 2*t = 7*t - 243. Is 22 a factor of w?
False
Let m = -82 + 89. Let z(g) = -8 + g**2 + m*g - 17*g + 3*g. Does 3 divide z(-4)?
True
Suppose 13*a - 108243 = -1571 + 342413. Is 35 a factor of a?
True
Let o(h) = -h - 6. Let v(b) = 10*b + 130. Let a(m) = -8*o(m) + v(m). Does 13 divide a(19)?
True
Let r be 7 - (2 - 1)*(-12)/(-4). Suppose 0 = -4*v + 3*l + 628 + 217, -r*v - 4*l = -824. Is 19 a factor of v?
True
Suppose 4*k + 228 = 84. Is 19 a factor of ((-189)/k)/((-4)/(-96))?
False
Let x(r) = 2*r**2 + 8*r - 50. Let n be x(4). Does 32 divide n/(-21) - 5478/(-9)?
True
Let f = -548 - -950. Let q = f - 203. Is 18 a factor of q?
False
Suppose 0 = -10*x + 16*x - 1314. Let o = 469 - x. Does 16 divide o?
False
Let d be (-5)/((-10)/(-4)) - -38. Let x be (d/10)/(0 + 12/(-40)). Let l = 13 - x. Does 5 divide l?
True
Let a = 105 + 88. Let r = a - 99. Is r a multiple of 3?
False
Let m(v) = -v**2 + 4*v + 2. Let s be m(4). Suppose y - 2 = -0. Suppose -w - 2 = -s*r - y*r, -4*r = -12. Does 2 divide w?
True
Let g = 290 - 30. Does 11 divide 244/(-3)*(-13)/(g/30)?
False
Let n be (19 - -61)*(-17)/2. Let f = -387 - n. Is f a multiple of 4?
False
Suppose 0 = -3*j + 4*x - 16, 2*j = 3*x - 5*x + 8. Suppose b - 5*v - 356 = j, 0 = -4*b - 4*v + 410 + 966. Does 11 divide b?
False
Suppose 7*i - 9 - 19 = 0. Suppose -i*q - 76 + 236 = 0. Is 2 a factor of q?
True
Suppose 94*d = -114*d + 853768 - 7208. Is d a multiple of 7?
False
Suppose 13*m - 11*m = -s + 8761, 2*s + 2*m - 17518 = 0. Is 63 a factor of s?
True
Let i be (-4)/(-12) + 46/(-3). Let t(d) = -8*d**2 + 24*d + 8. Let v(n) = -11*n**2 + 37*n + 13. Let a(s) = 7*t(s) - 5*v(s). Is a(i) a multiple of 21?
True
Let y = -4899 + 11239. Does 209 divide y?
False
Does 4 divide -2*(33/(-10) - -4) - 223419/(-35)?
False
Let z = -287 - -479. Let r = 215 - z. Is 7 a factor of r?
False
Let a(x) = 3*x**2 - 16 + 4*x**2 + 4*x - 5*x**2 - x**2. Suppose 0 = 5*q - 5*n - 5, n = -5*q + 3*n + 17. Is 8 a factor of a(q)?
False
Let s(a) = 2*a**2 + 11*a + 1. Let q be s(8). Let z = 585 - 582. Suppose 4*p = 5*i + 389, -5*i - 76 = -z*p + q. Is 13 a factor of p?
False
Is 2991 - (-3*(-2)/(-5))/((-192)/1280) a multiple of 22?
False
Suppose -78*n + 133*n - 82*n = -1056105. Is n a multiple of 246?
False
Let w(n) = n**3 - 22*n**2 - n + 39. Let f be w(22). Suppose -22*y = -f*y - 830. Is y a multiple of 14?
False
Suppose -13999 = -3*x + 4*i, -2*x - 4*i + 2456 = -6890. Suppose x = -12*k + 19*k. Is 30 a factor of k?
False
Let p(a) = -a**3 + 25*a**2 + 52*a + 62. Let t be p(27). Is 9 a factor of (-3)/t + (-7830)/(-144)?
True
Let r(l) = 3*l**2 + 5*l - 3. Let o be r(-4). Let k = o - -94. Does 21 divide k?
False
Let y = 91 + -59. Suppose 8*s - y = 4*s. Let r(l) = -l**3 + 10*l**2 - 5*l - 4. Does 14 divide r(s)?
True
Let l = -1035 - -2670. Is 109 a factor of l?
True
Let y(x) be the second derivative of 5*x**3 - 6*x**2 - 2*x. Let m be y(5). Let q = m + -82. Is q a multiple of 14?
True
Suppose -5*s - 1 = -411. Let i = -94 + 164. Let z = s - i. Is 6 a factor of z?
True
Suppose 6*z = -103 + 127. Suppose -3*m - f = -94 - 155, 324 = 4*m + z*f. Is 4 a factor of m?
True
Let g(m) = -55*m - 49. Let x(j) = 2*j**3 - 29*j**2 + 13*j + 10. Let n be x(14). Is 16 a factor of g(n)?
False
Let x(b) = 31*b - 19. Let t be x(1). Does 4 divide (7 - t/4) + 4?
True
Let l = 14805 + -6482. Is 41 a factor of l?
True
Let k(z) = 219 - 10*z - 2*z + 17*z - 3*z + 3*z. Is k(-36) a multiple of 13?
True
Suppose 0 = 6*d + i - 53998, 0 = 3*d - 314*i + 315*i - 26998. Is d a multiple of 30?
True
Suppose 0 = -q + 73*p - 75*p + 4040, -3*q + 12125 = p. Is q a multiple of 18?
False
Let p = 209 + -174. Let o be (-6 + 0)*(-36)/(-8). Let q = o + p. Is q a multiple of 4?
True
Let u(n) be the third derivative of 0 - 1/24*n**6 + 1/8*n**4 + 18*n**2 + 0*n + n**3 + 1/15*n**5. Is u(-3) a multiple of 14?
True
Is 39 a factor of 2 - ((-45227)/39 - (0 + 2/(-3)))?
False
Suppose -n + 388 = t, -4*n + 6*t + 1552 = 5*t. Suppose -3*u + u + n = 2*v, -u + 5*v + 170 = 0. Is 10 a factor of u?
True
Let t be -76 + 71 - (0 - -1). Is t + ((-320)/(-4) - -3) a multiple of 20?
False
Let l be (1 - 0)/((-15)/405). Let d = 29 + l. Does 9 divide 46 - 10 - (1 - 6/d)?
False
Suppose -3*b + 166*g - 165*g = -1021, 5*g + 1685 = 5*b. Is b a multiple of 3?
True
Let h(k) = -13*k - 79. Let n be h(-20). Suppose a + n - 615 = 0. Is a a multiple of 62?
True
Suppose -2*s + n + 30835 = 0, 12*n - 10*n = 6*s - 92500. Is 13 a factor of s?
False
Suppose -766*a - 6510847 = -27882247. Is 62 a factor of a?
True
Suppose -28*o = -413633 - 482955. Is 41 a factor of o?
True
Suppose 5*c + 2 = z - 17, c + 2*z = 5. Does 2 divide 1/c + (-13)/((-39)/502)?
False
Let x(p) = -19*p**2 - p + 14. Let o(y) = -57*y**2 - 3*y + 41. Let j(i) = -6*o(i) + 17*x(i). Let z be j(-3). Suppose 6*m + z = 11*m. Is m a multiple of 4?
True
Suppose 0*r = 12*r + 108. Let h(o) = 2*o**3 - 12*o**2 + 3*o - 9. Let f(d) = 3*d**3 - 23*d**2 + 5*d - 19. Let k(y) = -3*f(y) + 5*h(y). Is k(r) a multiple of 6?
True
Let d(i) = 126*i - 3955. Is 23 a factor of d(124)?
False
Suppose -3*n + 3600 = -7308. Suppose -2*w = 3*c - 1793, -4*w - c = -5*c - n. Suppose -w = -4*t - 288. Is 23 a factor of t?
False
Suppose -2*q + 12 = p + 3, -17 = -3*q + 2*p. Suppose 94 = q*n - 611. Is n a multiple of 10?
False
Let q(i) = 1 + 34*i - 10*i - 4*i - 3*i. Is 35 a factor of q(2)?
True
Suppose z + 92 = 107. Let k = 27 + -17. Is 21 a factor of -3*k/z + 132/3?
True
Let s(p) = 5*p - 27. Let j be s(5). Is (-24)/(-15)*j*(-55)/2 a multiple of 4?
True
Let q(i) = -19*i**2 - 50 + 25 - 68 - i + 20*i**2. Is 6 a factor of q(13)?
False
Suppose 143 = a - 2*m - 1037, 2405 = 2*a + 5*m. Does 68 divide a?
False
Let m be 2*(-1)/4*(-9 - -7). Let u(a) = -a + 1. Let p be u(m). Suppose 5*b + 10*b - 270 = p. Is b a multiple of 5?
False
Is 67 a factor of ((-12618)/(-30))/(81/(-45) - -2)?
False
Suppose 0 = -4*c + b + 36718, 11560 = 2*c - 3*b - 6804. Is 137 a factor of c?
True
Let w = -3 - -2. Let a(d) = -46*d**2 - 1. Let p be a(w). Is p/16*(-56)/14*16 a multiple of 27?
False
Let f = 21 + -13. Let s be (9/(-3) - -4) + f. Suppose -s*g + 826 = -857. Does 17 divide g?
True
Let v(r) = 1 + 3*r + 1 - 4*r - 1. Let n(p) = p + 5. Let j(s) = n(s) + 4*v(s). Is j(-14) a multiple of 10?
False
Is 13 a factor of (291/6 + -4)/(4*(-6)/(-624))?
True
Suppose 1941*h = 1911*h + 647640. Is h a multiple of 28?
True
Let x be 38*(-3 - (-63)/6). Let s = 11 + x. Does 8 divide s?
True
Let z(d) = 238*d**2 - 10*d - 15. Does 3 divide z(-3)?
True
Let z be 3228/(-8)*(-48)/36. Suppose -z = -2*k - 5*v, -v - 1318 = -k - 4*k. Does 66 divide k?
True
Let h(m) = -4*m**2 - 11*m - 1. Let k = 65 - 60. Let x be h(k). Does 6 divide (-3)/2 + x/(-8)?
True
Suppose 0 = -7*z + 1100 - 358. Suppose 5*h - 1850 = 820. Suppose -4*k = z - h. Is 15 a factor of k?
False
Let r = 2009 + -1322. Suppose -4*n + 3*n - 3*t + r = 0, 4*n = -4*t + 2764. Suppose -n = -5*o - 83. Is o a multiple of 21?
False
Suppose 0 = 2*j - g - 20, -6*g + 2*g = -8. Suppose 0 = j*t + 15*t - 1170. Is 15 a factor of t?
True
Suppose 56 = 3*a - 0*a - l, -4*a + 3*l + 83 = 0. Suppose 4*x - h - 8 = 9, 4*h + a = -x. Suppose -x*i = -9*i + 1668. Does 42 divide i?
False
Let h = -57814 - -103972. Is 314 a factor of h?
True
Suppose 2362 = 2*d + 2*t, -19*t = 2*d - 15*t - 2364. Does 52 divide d?
False
Suppose -94*p - 19*p + 6566140 = 27*p. Is p a multiple of 207?
False
Suppose -4*t = 5*l - 3760, 2*t - 51*l - 1862 = -49*l. Is t a multiple of 11?
True
Let b(f) = 141*f**2 - 110*f + 2020. Is b(15) a multiple of 245?
True
Let v = -34659 - -56877. Is 46 a factor of v?
True
Let n(j) = 3*j**3 - 34*j**2 - 29*j + 225. Is 69 a factor of n(20)?
False
Let v be -6737*3/21 + (-12)/(-28). Does 31 divide v/(-4) - (-189)/126?
False
Let g = -18944 + 33194. Does 25 divide g?
True
Suppose -6*r = -4*b - 5*r + 19, -5*r + 10 = b. Suppose -2*l = 3*l + m - 982, -212 = -l + b*m. Is l a multiple of 20?
False
Let b = 1342 - -490. Does 10 divide b?
False
Let k = -57 - -62. Suppose -j - 706 = -2*s, -3*j - 2303 + 537 = -k*s. Does 14 divide s?
False
Let w(v) be the first derivative