 - -4) + -84. Does 21 divide (-1 - -3)/((-2)/m)?
False
Let p be 14/(-28)*(2/2 - 1). Suppose p = -11*n + 416 + 112. Is n a multiple of 16?
True
Suppose 3*a = -2*b + 8132, 5*a - 2744 + 10828 = 2*b. Does 39 divide b?
False
Suppose -3795 = -3*m + 54 + 2319. Is 10 a factor of m?
False
Let a(c) = c**2 - 6*c + 24. Suppose -5*w + 2*g + 22 = 0, -9*w + 7*w = 2*g - 20. Let m be a(w). Suppose 96 = 3*v + m. Does 12 divide v?
True
Let q be -2 + 172/(-9 + 5). Does 45 divide (-12)/(-54) - 15470/q?
False
Suppose 2*h - 4*h + 3*p = -1743, h - 4*p - 874 = 0. Suppose -h = -13*b + 5331. Is 9 a factor of b?
True
Is 19 a factor of ((-102)/(-4)*1)/(10876/3624 - 3)?
False
Suppose 0*f = q - 4*f - 10, 4*q - 4*f = 16. Suppose 0 = 5*h - 3*l + 4, -l - 4 = 3*h - q*l. Is (1/h*-3)/(3/4) a multiple of 2?
True
Suppose 0 = -2*a + 2*b + 16, -a - 2*a - 3*b = 0. Let m be a*-3*(-25)/60. Let f(i) = -i**3 + 8*i**2 - i - 22. Is f(m) a multiple of 12?
True
Suppose 449*z = 421*z + 50176. Is 11 a factor of z?
False
Suppose -24*m + 7 + 41 = 0. Does 15 divide m*7*(14 + 14/(-4))?
False
Is 2416 + (4 - 4/32*4*-2) a multiple of 11?
False
Suppose -2*p + 4 = -8. Suppose 2*d + p*d = 72. Suppose -3*m + d = -36. Does 5 divide m?
True
Let z(w) = -35*w - 118. Let r be z(-7). Let s = r - -1044. Is s a multiple of 90?
False
Suppose -3*y = 2*t - 24 + 1, -2*t - 10 = 0. Let m be y/(-6)*-8 + 5/15. Suppose 66 = m*d - 13*d. Is 6 a factor of d?
False
Suppose -2*w + 193 = 3*w - 2*z, w - 2*z = 37. Let n = 38 + w. Let r = n + 73. Does 25 divide r?
True
Let r = 7691 - 6501. Does 10 divide r?
True
Let m = 173 - 6. Suppose 7*k = 15 + m. Suppose 5*a - 5*d = 210, -2*a + k = d - 49. Is 14 a factor of a?
False
Suppose 4*w - 3 = -5*o - 0, -4*o + 4 = 4*w. Suppose m = l - m - 556, -w*l + 1112 = -5*m. Does 55 divide l?
False
Suppose 4*w - 2*w = -z - 24, 0 = -2*w - 5*z - 24. Does 9 divide (20/5 - 39)*w/5?
False
Let r(j) = 4141*j - 400. Is 14 a factor of r(2)?
True
Let i(y) be the second derivative of 211*y**3/6 + 3*y**2/2 + 24*y. Is 15 a factor of i(3)?
False
Let l be (2 + (-120)/9)*(-102)/68. Is (-2)/(-9) + (24310/45)/l a multiple of 3?
False
Suppose 0 = -g - 2*o + 6*o - 137, -6 = -2*o. Let x(d) = 103*d - 1756. Let a be x(14). Let n = g - a. Is n a multiple of 27?
True
Let w = 335 + -174. Suppose -i + w = 2*o - 0*i, o = -5*i + 67. Is o a multiple of 2?
True
Let c(d) = -2*d**3 + 94*d**2 + 22*d - 62. Let p(o) = o**3 + o**2 - 24*o - 1. Let q be p(-4). Is 54 a factor of c(q)?
True
Let f be ((-13)/4)/((-726)/240 + 3). Suppose 0 = 2*k - 526 + f. Does 18 divide k?
True
Suppose -2*m + 2 = 0, 4*s + 4*m = 3*m + 701. Is s a multiple of 35?
True
Is (-207)/(-4)*480/(-135)*(-112 - -1) a multiple of 24?
True
Let v(r) = -r**3 + r**2 + 30*r + 1. Let j be v(-5). Let s(h) = h**3 - 8*h**2 - 5*h - 4. Let c be s(6). Does 15 divide (-4)/(j + 110/c)?
False
Suppose 15 = -5*p, 32 = 10*r - 6*r - 4*p. Suppose 0 = -5*s + 10, 21 = 4*a + r*s - 1129. Is 19 a factor of a?
True
Let s = -18 + 21. Let c be 5 - -6*(-2)/s. Is (-2*c/4)/((-7)/1120) a multiple of 10?
True
Let t(b) = b**3 - 3*b**2 + 16*b - 28. Let w be t(2). Suppose -2*j + 0*j + 2*s + 810 = w, 4*s + 405 = j. Does 15 divide j?
True
Let o be (-8 + 7)*-5 - (0 + 2). Is -3*o/(-18) + 4116/24 a multiple of 12?
False
Suppose 5*a = q - 1199, -4*q = 5*a - 49 - 4847. Is q a multiple of 53?
True
Is 546/84*(-25682)/(-13) a multiple of 43?
False
Suppose p + 14 = 4*t + 2, 3*t + 10 = -4*p. Is 2/(p/18 + 1840/7470) even?
False
Let f be (10 + 4)/(-7)*8. Let w(o) = 3*o**2 + 18*o - 77. Does 13 divide w(f)?
True
Suppose 4792*p + 685685 = 4827*p. Is 143 a factor of p?
True
Let i(w) = w**2 + 2*w - 49. Suppose -3*h - 1 = 2*x - 5, 2*h + 10 = 5*x. Let y be i(h). Let b = 18 - y. Is b a multiple of 23?
False
Let m = 11 - 6. Suppose -m*b + 3*h + 612 = -0*h, h - 476 = -4*b. Does 14 divide b?
False
Suppose -4*z + 2*z + 2 = -4*q, -4*q = -z + 1. Suppose q = -4*m - 16 + 256. Suppose -10*r + m = -5*r. Is 3 a factor of r?
True
Let h be (-7 - (-2584)/56) + (-3)/21. Let m = 458 + h. Is 4 a factor of m?
False
Is 286408*(-25)/(-200) + 25 a multiple of 80?
False
Let k(j) = -8*j**3 - 3*j**2 - 5*j - 2. Let u be k(-2). Let b be -10*(15/(-6))/5. Suppose 0*v = -b*v + u. Does 3 divide v?
True
Let h be (-2)/(15/30*1/(-82)). Suppose -h - 416 = -3*y. Is 12 a factor of y?
False
Let s(u) = u**3 - 8*u**2 + u + 4. Let w be s(3). Let c = -53 - w. Let o(p) = -2*p - 7. Is 5 a factor of o(c)?
False
Suppose -2*o = -5*a - 44869, o - 8491 - 13944 = 2*a. Is 58 a factor of o?
False
Suppose 2*c = -0*c + 8, -5*y = 5*c - 120. Suppose -y*s + 24*s - 20 = 0. Suppose -540 = -4*z - 2*m, -z + s*m + 169 = 45. Does 12 divide z?
False
Let l be 3 + -4*5 - 3. Let p = -15 - l. Suppose -p*x = 15, 3 = -q - 5*x - 0*x. Is q a multiple of 3?
True
Let n(c) = -c**3 + c - 315. Let a be n(0). Let m be 2/(955/a + 3). Let k = m - -114. Does 17 divide k?
True
Suppose 35*d - 30*d + 4*j - 1062 = 0, -831 = -4*d + 3*j. Does 105 divide d?
True
Let q(p) = -2*p**3 - 32*p**2 - 3*p - 94. Is q(-20) a multiple of 49?
False
Let j(o) = 2*o**2 + 3*o + 10. Suppose 5*p - 19 = 3*i, -5*i + 3*p - 4 - 17 = 0. Let b be -1 + (i - (-2 + 3)). Is j(b) a multiple of 15?
True
Suppose 5*d - 16 - 9 = 0. Suppose -5*b - 825 = -4*y, 0*y + 1038 = d*y - 4*b. Is 25 a factor of y?
False
Suppose 24*k + 1073 = -13*k. Let j(i) = -4*i + 129. Does 79 divide j(k)?
False
Suppose -4*w = 5*m - 600, -w = -2*w - 5*m + 150. Let g = w + -101. Is 3 a factor of g?
False
Suppose -47*w = -55*w + 64. Is (632/2 + -2)*4/w a multiple of 7?
False
Let z = -91841 - -133817. Is z a multiple of 24?
True
Is 70 a factor of 9567/(-6)*(-26)/(-117)*-9?
False
Suppose -4*h = 4*h - 2168. Let o = h + 61. Suppose -3*z - 5*n = -509, 7*z - o = 5*z + 4*n. Does 42 divide z?
True
Suppose 3*o - 15*o + 36 = 0. Let l(t) = -10 - 10*t**2 - t**o + 3*t - 5*t + 11*t + 6*t. Is 6 a factor of l(-12)?
False
Let q be (2 + 5/(-2))*-146. Let a = 23 - q. Let m = a + 61. Does 11 divide m?
True
Does 4 divide (1/(-6) - (-85652)/336)*(-2 - -6)?
False
Is 52 a factor of (-15 - 240/(-32))*18/15 + 17127?
False
Suppose 88670 = -6*r - 53*r + 316233. Is r a multiple of 29?
True
Suppose -21*u + 16*u = 30. Let r be 3 + (4/u)/((-3)/(-9)). Is 4 - (-175 - r/3*0) a multiple of 10?
False
Suppose 4*v + 0*m = m + 34244, 6*v = m + 51364. Is 40 a factor of v?
True
Let g = 16748 - -810. Is g a multiple of 16?
False
Let o(x) be the second derivative of x**5/20 - x**4 + 13*x**3/3 - 15*x**2 - 81*x. Is o(10) a multiple of 12?
False
Suppose 7542 = o + 79*l - 76*l, -l = 6. Is o a multiple of 7?
True
Suppose 3*t - 10 - 11 = 0. Let h(z) = 27*z - 21. Let y be h(t). Is 12 a factor of (y/15)/(2/20)?
False
Suppose 1839*o - 1809*o - 195690 = 0. Is o a multiple of 60?
False
Suppose -96*j - 551 = -115*j. Is 29 a factor of j?
True
Let s = 541 - 524. Let q be 0 - -118 - 1/1. Let h = q - s. Is 10 a factor of h?
True
Let t = -283 + 368. Suppose 90*f - 855 = t*f. Does 10 divide f?
False
Let h be 414/48 - (-6)/16. Suppose 31*d = 34*d - h. Suppose -2*w + 404 = -4*p, -2*w - 228 = -d*p - 629. Does 20 divide w?
False
Suppose -1 = -5*z + 19. Suppose -7 = -z*h + 1, -2*h = -d. Suppose -d*m + 2*u + 124 = -2*u, 0 = u + 1. Does 15 divide m?
True
Let n be (-15)/(-9)*-1*(15 + -165). Let o = n - 212. Does 16 divide o?
False
Let a(l) = -1099*l - 1464. Is a(-7) a multiple of 37?
False
Let q(t) = 2061*t + 3568. Is 109 a factor of q(8)?
True
Let j = 3 + 182. Let t = j - -669. Is 34 a factor of t?
False
Suppose -39 = -5*x - 49. Let k(r) = -84*r**2 - 3*r - 1. Let p be k(x). Let b = p + 553. Does 36 divide b?
False
Let k be (3 + -9)/((-6)/32). Suppose -48 = -5*a + 32. Suppose -k = -n + a. Is 24 a factor of n?
True
Let a(j) = -5*j**3 + 36*j**2 - 34*j + 8. Let n(w) = -11*w**3 + 73*w**2 - 69*w + 12. Let m(x) = 9*a(x) - 4*n(x). Is 55 a factor of m(31)?
True
Suppose -3*j - 4*i = -36, 4*j - 48 = -0*i + 4*i. Suppose -j*f + 9*f - 42 = 0. Does 10 divide (159 + 18)*(f/(-6) - 2)?
False
Let x(h) = -20*h**3 + h**2 - 45*h - 4. Let j(d) = -50*d**3 + 4*d**2 - 112*d - 10. Let w(q) = -5*j(q) + 12*x(q). Does 54 divide w(4)?
True
Suppose -36 = 5*w + 4*f, 4*w + 5*f - 18 = -54. Let c be 3/5 + (1776/(-10))/w. Suppose 3*n + 61 = 5*g + 14, 5*g - 5*n - c = 0. Is 10 a factor of g?
True
Let o(p) be the second derivative of 1/20*p**5 + 3/2*p**4 + 5/2*p**3 - 7*p - 11