 + -8. Suppose -4*c + 50 = c - m*a, 3*a = -r*c + 25. Does 5 divide c?
False
Suppose 0 = 3*v - j - 323, v - 15*j = -14*j + 107. Let i = 9 + 2. Suppose 7*m = i*m - v. Does 14 divide m?
False
Suppose -60 = 4*o + 4*t, 2*o + 34 = 2*t + 4. Let b be ((-18)/o)/(9/30). Suppose -2*x + 29 = 5*r, -x - b*r = -5*r - 11. Is x a multiple of 3?
True
Let c = 7785 - -423. Is 19 a factor of c?
True
Suppose 4*x - 2*x = -5*h + 199, 2*h - 80 = -x. Suppose -h*k + 38*k = -4. Suppose -r - k*o = -189, -5*r + 7*o + 1045 = 2*o. Is r a multiple of 20?
False
Let m(v) = -2*v + 3. Let l be m(0). Suppose 13*j - 318 = 1034. Is 12 a factor of j + (-42)/(-9) + (-2)/l?
True
Let b = 10698 - 6298. Suppose 30*w - b = 19*w. Does 20 divide w?
True
Suppose -3*d = -846 - 84. Suppose 0*g - d = 5*l - 5*g, 4*g + 355 = -5*l. Let i = 111 + l. Does 7 divide i?
False
Let y(n) = 5*n**2 + 41*n - 185. Is y(8) a multiple of 46?
False
Let y = -11 + 17. Let p = -83 - -145. Suppose y*a - 214 - p = 0. Does 5 divide a?
False
Let g(n) = -6*n**2 - 19*n + 18. Let o(t) = -4*t**2 - 13*t + 12. Suppose 0 = -4*y - y - 40. Let h(m) = y*o(m) + 5*g(m). Is 15 a factor of h(-9)?
True
Let w = 159 + -143. Suppose -2*z = 2, -5*y - 6*z + w = -2*z. Is y a multiple of 4?
True
Suppose 0 = -5*r - 5*h, -3*h + 8 = -3*r + 2*r. Let i be 548/(-64)*r - 1/8. Is 2 - 5 - i*-5 a multiple of 41?
True
Let n = 88 + -63. Suppose -2*k + 2 = 0, -43 = -i + 5*k + 6. Let h = i - n. Is h a multiple of 10?
False
Let w(g) = -4*g - 6*g + 24*g - 152 + g + 10*g. Is w(8) a multiple of 5?
False
Let k be 0 + (44/(-5) + -4)*-60. Let i = k + -395. Let u = i + -147. Is u a multiple of 30?
False
Suppose 4*y + 815 = 127. Let g = y - -304. Is g a multiple of 7?
False
Suppose 2*j + 94 = 10. Let f be 570/9 - (-1)/(-3). Let s = f + j. Does 7 divide s?
True
Let d(b) be the third derivative of -b**5/30 - 49*b**4/12 - 8*b**3 + 4*b**2 + 8. Is 36 a factor of d(-42)?
True
Suppose -9 = -4*k - 25. Does 16 divide -1*16*8/k?
True
Is 42 a factor of (14 - 5910/120)*(-216)/1?
False
Suppose 4*j - 40830 = 5*r, -3*j - 58*r + 30636 = -55*r. Is j a multiple of 164?
False
Suppose 28*d = -6508 - 1892. Let h = d - -384. Does 14 divide h?
True
Let s(w) = 2*w**2 - 7*w - 72. Is 18 a factor of s(26)?
True
Let n(j) = 20 + 8 - j + 12 - 15. Is 16 a factor of n(5)?
False
Let i(q) = 8*q - 16. Let h be i(5). Suppose 19*n - h*n + 45 = 0. Does 7 divide 31 - (n + -2 + -4)?
True
Let t = -33 - -37. Suppose -x - t*x + 5*g + 305 = 0, -x + 2*g = -62. Does 10 divide x?
True
Is (-114)/(-9)*93 - 2 a multiple of 27?
False
Let m(r) be the third derivative of -r**6/120 - r**5/20 - r**4/8 + r**3/2 + 21*r**2. Let n be m(-5). Let c = -48 + n. Does 20 divide c?
True
Let i be 4/(-10) - 3/(105/(-154)). Suppose 145 = 5*q - i*h - 710, -q = h - 171. Is q a multiple of 26?
False
Suppose -2*z - 1310 = 3*z. Suppose -2*c - 5*o + 3 = -109, 0 = -c + 3*o + 56. Is z/(-14) - (-16)/c a multiple of 10?
False
Let j(w) be the first derivative of 2*w**3/3 + 3*w**2/2 + 11*w - 1. Let d be j(-11). Let q = d + -99. Is q a multiple of 26?
False
Let p = -5 + 7. Suppose 3*n = -3*k + 21, p*n = -3*n - 2*k + 47. Let s = n - 4. Is s even?
False
Suppose -14*w = -204 + 22. Is 14 a factor of 5*(w + 5) - 6?
True
Is 180/144 - 185839/(-4) a multiple of 12?
False
Suppose x - d - 7 = 0, 3*x + 6*d = d + 13. Let w be (x/(-15))/(4 - (-1143)/(-285)). Suppose -2*q = j - 126, 2*j + w = -5*q + 290. Is j a multiple of 18?
True
Let r = 32321 - 22667. Does 10 divide r?
False
Suppose -19 = 3*u - 34. Suppose 4*o - 3*o - 136 = 0. Suppose -u*c + c = -o. Is 17 a factor of c?
True
Let w(j) = 2*j + 47. Let l be w(-21). Suppose -3*r = -x - 5*r + 1, -l*r - 5 = -5*x. Is 590/60 + (-2)/(x*-12) a multiple of 2?
True
Let c(b) = -4*b - 47. Let t(a) = 32*a + 376. Let l(u) = -51*c(u) - 6*t(u). Is 5 a factor of l(17)?
True
Let y(n) = 16*n**3 + n**2 + 2*n - 1. Let w be y(1). Suppose w*j = -15*j + 18612. Is j a multiple of 12?
True
Suppose 108*d = 117*d - 16506. Does 4 divide d?
False
Suppose 3 - 43 = -5*a. Suppose -3*v = -2*z - a - 7, 4*z = -3*v + 15. Suppose -68 = -v*s + 4*s. Does 17 divide s?
True
Let l(c) = 145*c + 1473. Is l(6) a multiple of 11?
True
Let y be 16/(-40) + 54/10. Let z(u) = u**3 - 9*u**2 - 6*u + 54. Let n be z(9). Suppose n*p + p + y*j - 58 = 0, -2*p - j + 71 = 0. Is 11 a factor of p?
True
Suppose -2*a - 974 = -0*a - 2*h, a + 475 = -3*h. Let o = 902 + a. Does 22 divide o?
True
Let c(a) = a**3 - 29*a**2 + 32*a - 34. Let o be c(29). Let l = o - 366. Suppose 13*w - l = 7*w. Does 19 divide w?
False
Suppose 5*z + 245 = r, 7*r = 10*r - 4*z - 702. Let g = 37 + -20. Suppose -r = -g*u + 12*u. Is u a multiple of 8?
False
Let c be 6/(-21) + (-45265)/(-35). Suppose 970 = 3*l - 6*q + 7*q, -q = 4*l - c. Does 17 divide l?
True
Let m(r) = 6*r**2 + 3*r - 7. Let l be m(4). Suppose 2*v - 3*w - l = 0, 2*w + 3*w = 5*v - 250. Is v a multiple of 7?
True
Suppose z - 157 = n - 3, -2*z = 2*n + 288. Let v be (-62)/(-4)*10/1. Let w = v + n. Is 2 a factor of w?
True
Suppose 3217 = -10*x + 937. Does 3 divide (-2)/(-6) - 29564/x?
False
Suppose 4*n - 2 = -2*o, o - 54 = -59. Let b = 477 + -255. Suppose 3*p - b = n. Is p a multiple of 23?
False
Suppose 3*t + 13*t - 43809 = 53743. Is 67 a factor of t?
True
Suppose 4*w - 7377 = -4*t + 3327, -t = -w + 2684. Suppose 7*c - 36 = w. Is 13 a factor of c?
False
Suppose -305*t + 523729 + 1330551 = -3*t. Is 6 a factor of t?
False
Let q = 5186 - 1988. Does 6 divide q?
True
Let h(m) be the third derivative of 1/20*m**5 + 0*m + 0 - 1/6*m**3 + 13*m**2 - 1/6*m**4. Does 14 divide h(3)?
True
Let b(p) = -111*p**3 - 7*p**2 + 35*p + 96. Is b(-3) a multiple of 87?
False
Let v be ((-606)/(-15))/(3/15). Suppose 5*r = v - 32. Suppose 0 = -32*k + r*k - 150. Does 13 divide k?
False
Is 110 a factor of 3/8 - (247330/(-80) + -26)?
False
Suppose -5*s = 77*b - 72*b - 49795, b - 29895 = -3*s. Does 4 divide s?
True
Suppose 28*f - 618204 = -41*f + 69243. Is 4 a factor of f?
False
Let o(v) = 293*v - 3176. Is 28 a factor of o(16)?
True
Suppose 197*y = -144*y + 2834775 + 2432311. Is y a multiple of 35?
False
Suppose 2*g - 5 = 1. Suppose -55 = s + 2*q, -g = -3*q - 0. Let o = 60 + s. Is 3 a factor of o?
True
Suppose k = -3*j + 204, 2*k - 269 = 4*j + 169. Does 4 divide k?
False
Suppose 5*n + 16 = 326. Suppose 0 = 8*m - 14 + n. Is (176/m)/(34/(-51)) a multiple of 11?
True
Let p be 12/(-7)*124509/(-154). Suppose -2942 = -8*q + p. Is 35 a factor of q?
False
Let q = 39 - 27. Let o = -7673 + 8592. Suppose 0 = q*x - 89 - o. Is x a multiple of 21?
True
Let g(f) = -3*f**3 + f**2 - 5*f - 1. Let y = 79 + -83. Is 20 a factor of g(y)?
False
Suppose -12*r = 65*r - 633325. Does 19 divide r?
False
Let t = 12762 + -8635. Does 11 divide t?
False
Let q(g) = 22*g**2 + 484*g + 2. Is q(35) a multiple of 16?
False
Suppose 171*l - 90*l = 87*l - 69972. Is l a multiple of 14?
True
Suppose -5*i + 23*l - 25*l + 13391 = 0, -3*i + 8031 = 3*l. Is i a multiple of 47?
True
Suppose 1899920 = 67*h + 1436822 - 2764560. Is h a multiple of 42?
True
Let v be (60/(-9))/5*-1*3. Suppose 0 = -v*y + 3*d + 63, -d = -4*y + d + 62. Suppose -y = -5*i, -5*k + 57 = -i - 0*i. Does 3 divide k?
True
Suppose -15*b + 1092 = -b. Let g = b + 47. Is g a multiple of 17?
False
Suppose -2*b + 2 = -2. Suppose -b*r = 16 - 26. Suppose -y = 2*m - 137, 0 = 7*m - 3*m - r*y - 295. Does 14 divide m?
True
Suppose -3*k = 10*j - 5*j - 5541, 3*k = 5*j - 5529. Suppose -3*h - 3*f = 471, 5*h - f - 328 = -j. Let t = 235 + h. Does 14 divide t?
False
Let d = 12373 + -11456. Is d a multiple of 7?
True
Let h = 27071 + -24320. Is 7 a factor of h?
True
Suppose 3*k = -3*o + 1251, 911 + 742 = 4*o + k. Is 35 a factor of o?
False
Suppose -b + 2*p - 7 = 0, 0 = 8*b - p + 13 + 103. Let n(g) = -10*g - 16*g**2 + 5 - 8*g - 3*g**3 + 2*g**3. Is 25 a factor of n(b)?
True
Let b = -445 + 451. Is 1 - 8558/(-12) - 1/b a multiple of 42?
True
Let t(x) = 491*x + 1982. Does 2 divide t(-4)?
True
Suppose 3*q - 12738 = -4*n + 7955, q - 2*n - 6891 = 0. Is q a multiple of 83?
False
Let x = -1910 + 2084. Is x even?
True
Suppose -3*z + 582 = -6333. Does 5 divide z?
True
Suppose 2*s - 3*j + 6*j = 4963, 10 = 2*j. Suppose s = 2*a - 2*x, 2454 = 2*a + 2*x - 0*x. Suppose -o + a = 3*o. Does 41 divide o?
False
Suppose -4*g = -4*w + 2*w + 8, 3*g = -4*w + 5. Suppose -3*i + w*s - 382 = s, -s =