 - 68. Suppose 14*v + p = 16*v. Does 5 divide v?
False
Let r = 4854 + -3846. Is 56 a factor of r?
True
Does 64 divide (-30 - (-50 - -17)) + 8703 + 0?
False
Suppose 0 = 131*v - 1930184 - 4746886. Is v a multiple of 16?
False
Suppose -2*h + 4 = r, 0 = -h + 2*r - 6 + 3. Is ((5 + -745)/(-10))/(h/14) a multiple of 37?
True
Suppose -31*a - 4*r + 29296 = -27*a, 14620 = 2*a - 5*r. Is a a multiple of 61?
True
Suppose 150033 = 20*m + 1713. Is m a multiple of 103?
True
Is (-129)/(-344) + 267145/40 a multiple of 18?
False
Suppose -350 = 16*w - 78. Let b(t) = -t**2 - 25*t - 4. Does 22 divide b(w)?
True
Suppose -122*a + 117*a + 18126 = -x, -10870 = -3*a + 2*x. Does 7 divide a?
True
Let y(r) = 410*r - 2466. Is 51 a factor of y(9)?
True
Suppose 35*w - 15 = 30*w. Suppose -n - w*v + 23 = -8*v, v + 13 = 3*n. Suppose n*a = 98 + 49. Is 7 a factor of a?
True
Let q be (1 + (-7 - -3)/4)/1. Let i be ((-3)/21*q)/(1 + -3). Suppose w + 9*w - 2650 = i. Is w a multiple of 35?
False
Let r be 6 + 1/(-2)*(-2)/(-1). Suppose -2*z = -6*k + k + 61, r*z - 62 = -4*k. Let g = 136 - k. Is g a multiple of 41?
True
Suppose -15*q = -19*q + 16. Suppose q*p - 217 = -v, -3*p = -2*p + 3*v - 57. Is 3 a factor of p?
True
Let n(z) = 44*z + 11. Let p(k) = 86*k + 21. Let g(m) = 7*n(m) - 4*p(m). Suppose -x - 25 = 4*x. Does 41 divide g(x)?
False
Suppose 3*z = 5*d - z - 76, -4*z = -3*d + 52. Let t be ((-16)/d)/(4/(-24)). Suppose -t = -0*l - l. Does 3 divide l?
False
Let b be (-9)/(-27)*14*(11 - -1). Let c = b - 3. Does 2 divide c?
False
Suppose 14*m - 12*m - 15*m = -79287. Is 45 a factor of m?
False
Suppose -105*y = 131*y - 1733667 - 1041693. Is y a multiple of 112?
True
Let q(p) = -11*p - 9. Let u be q(-4). Let o be (5/u - 1)*(-2 - 334). Suppose -3*i + 5*m + o = 0, -3*i + 144 = -m - 144. Is 12 a factor of i?
True
Is 11 a factor of (-321565)/(-45) + (-1)/(-9)?
False
Suppose -4*s = 3*i - 49, 2*i - 7*s + 2*s = 25. Suppose 0 = 7*d + i*d - 6534. Is d a multiple of 33?
True
Suppose -k + 25910 - 5990 = 0. Is 166 a factor of k?
True
Let u = -81 - -99. Suppose -5*m - 32 = -r - 11, -5*m - 2*r = u. Let c(z) = -23*z + 7. Is c(m) a multiple of 14?
False
Let n be (24/5)/(21/(-70)*-1). Is 2804/(n/4) - 7 a multiple of 68?
False
Let i(q) = 6*q - 38. Let o be ((-12)/9 - -1)/(2/(-42)). Let p be i(o). Suppose -p*f + 0*w - w + 138 = 0, -f + 5*w = -24. Does 16 divide f?
False
Let t(a) = 635*a - 1. Let y be t(1). Suppose 5*g - 2*i - 3042 = 0, -y + 3071 = 4*g - 5*i. Suppose -188 + g = 7*b. Is 5 a factor of b?
True
Let b = 205 - 201. Suppose 0 = -b*m + 4*k + 764, -3*k - 2*k - 766 = -4*m. Is m a multiple of 7?
True
Let c = -2998 + 9196. Does 12 divide c?
False
Let k be 2/(-5) - (-433)/(-5). Suppose -2*j - 1180 = -4*l, -5*l + 985 + 497 = j. Let r = l + k. Does 11 divide r?
True
Let g = -180 - -285. Let o = 350 - g. Let f = o - 133. Does 28 divide f?
True
Is (1057/4 + 3/(-4))/((-11)/(-418)) a multiple of 17?
True
Suppose -4*d - 14*o + 45 = -13*o, 0 = -2*o - 6. Suppose d*f = 1106 + 3946. Does 40 divide f?
False
Suppose -3*j = -0*n + 5*n + 181, 2*n + 60 = -j. Let z = 99 - j. Does 23 divide z?
True
Let y(n) = -684*n - 627. Is y(-10) a multiple of 28?
False
Is 100 a factor of (-5)/(60/(-398409)) - (1 - (-12)/(-48))?
True
Suppose 4*r + 3*t = r + 12, 0 = -3*r + 2*t + 17. Suppose -18*v + 78 = -r*v. Suppose -g = 2, -v*i = -2*i + g - 378. Is i a multiple of 19?
True
Suppose 63*f - 82*f + 113582 = 0. Does 49 divide f?
True
Suppose -279 - 41 = -5*v. Suppose 659*s + 180 = 650*s. Let u = s + v. Does 9 divide u?
False
Let w be 2/((1 + 1)/1). Suppose 4*s = h + 2*s - 3, -h + 4*s + w = 0. Suppose 2*n - 364 = 2*v - v, -h*v - 380 = -2*n. Does 20 divide n?
True
Let g(x) = -3*x**3 + 11*x**2 - 2*x - 16. Let n be g(8). Does 61 divide (-1)/(2/n) - (29 - 31)?
False
Suppose 14*g = 12*g - 290. Let q = 178 + g. Does 33 divide q?
True
Let n = -40738 + 98826. Does 106 divide n?
True
Let h(v) = -v**3 + 6*v**2 + 5*v + 4. Let q be 4/(-5) - (-11)/(55/(-296)). Let o = -55 - q. Does 7 divide h(o)?
False
Suppose -32*q + 20 = -27*q. Suppose q*r = 2*w - r - 726, -1788 = -5*w - r. Is 23 a factor of w?
False
Suppose 7*z = -0*z - 63. Is (-1818)/(-42) - z - (-6)/(-21) a multiple of 5?
False
Is 215736/18 + 9/(-27) a multiple of 85?
True
Suppose 2*p + 5*y - 9725 = 0, 17*y = -2*p + 15*y + 9746. Is p a multiple of 7?
False
Let m(j) be the first derivative of 2*j**3/3 + j + 16. Let d be (5 - 1)*(-45)/(-36). Is m(d) a multiple of 17?
True
Let t(c) = -577*c**2 + 7*c - 8. Let o be t(1). Let y = -364 - o. Is 3 a factor of y?
False
Let j = -41 - -103. Let c = j + -61. Is c*(-3 + (45 - 1)) a multiple of 11?
False
Let j(k) = 5*k - 14. Let d be j(3). Is (228/95)/(d/75) a multiple of 10?
True
Let i be (651/12)/(4 - (-217)/(-56)). Let b = i - -219. Is b a multiple of 26?
False
Let o(c) = -c**3 - 64*c**2 - 270*c + 88. Is o(-60) a multiple of 4?
True
Let c be -18 - (-6 + (1 - 1)). Let i(o) be the second derivative of o**4/12 + o**3/2 + 2*o**2 + 4*o. Is i(c) a multiple of 40?
False
Let t be (6/9*-1)/((-2)/924). Let i = t + -134. Let h = i - 102. Is h a multiple of 12?
True
Suppose 976 = 9*g - 194. Let k = 208 - g. Does 6 divide k?
True
Let o(z) = -860*z**3 + z**2 - z. Let l be o(-1). Let a = -538 + l. Is a a multiple of 54?
True
Let b(a) = -2962*a + 5139. Is 263 a factor of b(-6)?
False
Suppose -4*p = 5*u - 3906, -22*u - p + 1563 = -20*u. Is u a multiple of 35?
False
Let y(m) = 1865*m + 13853. Is y(-7) a multiple of 43?
False
Let j(d) = 29*d**2 + 5*d. Suppose 3*m + 11 = 4*n, -5*m + 5*n + 17 = 27. Is j(m) a multiple of 23?
True
Let y(m) = -2*m**3 - 41*m**2 - 439*m + 38. Does 15 divide y(-23)?
True
Suppose 1014 = -5*l + c, -5*l + l - 815 = 3*c. Let n be (-6934)/(-22) - (-6)/(-33). Let o = l + n. Does 14 divide o?
True
Suppose -124*j + 475020 = 16*j. Is j a multiple of 117?
True
Let n = 116 + -116. Suppose n = -7*a + 499 + 3043. Is 23 a factor of a?
True
Suppose 5 = 5*b - 10. Let u be 78 - b*1*2/(-2). Let l = u - 69. Does 4 divide l?
True
Let m = 240 + -235. Suppose v - 2*x + 133 = 2*v, 613 = m*v - 3*x. Does 45 divide v?
False
Suppose 126*s - 7090079 + 3615848 - 5586555 = 0. Does 21 divide s?
False
Let o = 2111 + -186. Suppose -5*d - j + o = -d, 4*j = -2*d + 980. Is 12 a factor of d?
True
Let h = -41 + 271. Suppose -37*c - h = -42*c. Let a = 91 - c. Does 19 divide a?
False
Suppose -4*g = 4*o - 2*o - 8, 0 = -5*o - g + 20. Let d(x) = 2*x**2 - 3*x - 8. Let s be d(o). Does 23 divide 8/s + 2778/18?
False
Let c(j) = -3318*j + 147. Is 45 a factor of c(-1)?
True
Let x be 111/2*(-4)/(-3). Is 2 a factor of (x/(-6) + 1)*-3?
True
Suppose -8*w = -15032 + 936. Is w a multiple of 6?
False
Suppose 37 = 5*l - 2*v, -32 = -2*l - 2*l + v. Let c = 40 + l. Is 2 a factor of c?
False
Suppose -144438 = -66*r + 93092 - 27980. Is r a multiple of 24?
False
Let v(r) = 6*r**2 - 266*r - 2. Is v(47) a multiple of 28?
False
Suppose -7*p - 292 = -11*p. Let t = -74 + p. Is 3 a factor of (4 + (11 - 5))/(t/(-3))?
True
Let r(t) = t**3 + 12*t**2 + 5*t - 18. Suppose -11*u = -18*u - 49. Is 8 a factor of r(u)?
True
Does 73 divide -5*((-40016)/40 + -7)?
True
Suppose 57*d - 62*d = 0. Suppose d*t - 3*t = 3. Is t/8 - 11577/(-136) a multiple of 17?
True
Suppose 4*w - 186 = 3*x + 599, 0 = -4*x + 20. Is 19 a factor of w?
False
Let r = 802 - -2321. Is 145 a factor of r?
False
Let u(p) = 13*p**2 + 17*p - 16. Let r be u(-6). Is 8 a factor of (2 - 5 - 2) + r?
False
Let l be 1*-1 - (32 + -838). Let m = l + -462. Does 31 divide m?
False
Suppose 191 - 596 = -9*f. Let i = -45 + f. Suppose -3*g - 17 = -3*q - q, i = -4*q - 4*g + 24. Does 3 divide q?
False
Let z be 52578/42 - (-6)/42. Let g = z + -697. Is 15 a factor of g?
True
Suppose -3*g + 810 = -18*g. Let n = -54 - g. Is (3 - n) + (10/(-2) - -37) a multiple of 35?
True
Suppose -6*j + 590 = -2182. Let n = 654 - j. Is 32 a factor of n?
True
Let j be (-725912)/(-132) + 2/(-6). Suppose j + 7866 = 11*y. Is y a multiple of 20?
False
Let v(u) = 315*u - 5565. Does 15 divide v(67)?
True
Suppose -9*t = -2762 - 5869. Suppose -27*m + 20*m + t = 0. Is 5 a factor of m?
False
Suppose 359*n - 367*n = -53048. Does 133 divide n?
False
Suppose -12*y = -0*y + 9*y - 313404. Does 26 divide y?
True
Let l = -272 + 3957. Is 8 a factor of l?
False
Suppose 2334*p - 2327*p - 129248 = 0. Is 5 a factor of p?
False
Le