
False
Suppose 0 = -556*t + 1081*t - 543*t + 70848. Does 41 divide t?
True
Let y = -197 - -190. Is 25 a factor of 60/105 - 171/y?
True
Let n = -117 + 205. Suppose 3*g + n = 418. Is (72/(-60))/(1 - 112/g) a multiple of 11?
True
Suppose 1846*n + 616512 = 967*n + 918*n. Is 32 a factor of n?
True
Is (18 + 76)/((-69)/46*(-2)/123) a multiple of 171?
False
Let x be (-344)/(-6)*((15 - 12) + -6). Let v = 263 + x. Is 2 a factor of v?
False
Let a(j) = 194*j**2 - 2*j + 76. Is 39 a factor of a(-9)?
False
Let k be 20/(-6)*(2 + (-28)/35). Let t(r) be the third derivative of r**6/120 + r**5/12 - r**4/4 - 7*r**3/6 - r**2. Is t(k) a multiple of 6?
False
Suppose 43*o - 39*o - 22052 = -4*u, 0 = 4*u - 3*o - 22017. Is 9 a factor of u?
True
Let c = -1187 + 1261. Does 25 divide c?
False
Let q(j) = -53*j + 6. Let c(o) = -1. Let g(h) = -2*c(h) + q(h). Is 21 a factor of g(-6)?
False
Let g be (-4)/(-8)*-15*-2. Suppose 10*i + g = 445. Is i a multiple of 10?
False
Let v be ((-1)/3)/(3*4/(-55656)). Let n = -1016 + v. Is n a multiple of 13?
False
Let j = 5 + 4. Let r be ((-12)/j)/(((-8)/(-12))/2). Let d(f) = 5*f**2 - 8. Does 24 divide d(r)?
True
Let o = 249 - 242. Suppose -o*w - w = -1064. Is w a multiple of 8?
False
Does 17 divide (-256 - -2)*(3335/(-58) + 15)?
True
Is (((-1)/(-3))/(-1))/((-926)/142730862) a multiple of 147?
False
Let c be (-5)/10*1*-6. Suppose m + 62 = -5*i, 0 = -4*m - c*i + 103 - 300. Let g = m - -146. Does 9 divide g?
True
Let r = -19 + 23. Suppose 4*s = 4*f - 0*s - r, 0 = 2*f + 5*s - 30. Suppose 2015 = 8*u + f*u. Is u a multiple of 31?
True
Let c(p) = p**2 - 3*p + 15. Suppose -4 = -8*f - 100. Does 5 divide c(f)?
True
Let f = 4749 + -3364. Is 5 a factor of f?
True
Suppose 2*x + 2*x - 92 = 4*i, -3*x = -9. Let p be ((0 - 0) + 26)*(-10)/i. Is (-3 - (-37)/p) + 2786/26 a multiple of 17?
False
Let g(w) = 3 - 14*w + 2 - 3 + 12*w. Let r be g(1). Suppose r*i - 162 = -2*i. Does 27 divide i?
True
Let c = 65 - 39. Suppose c = g + 19. Suppose 14 = q - g. Is 8 a factor of q?
False
Suppose 5*w - 2*f + 65 - 478 = 0, 0 = 3*w - 2*f - 251. Let a = w + -84. Is 18 a factor of (3/a*68)/(-3 + 1)?
False
Let v be ((-45)/(-4))/(30/(-320)). Let l = v - -198. Is 10 a factor of l?
False
Is (2 - (-63)/(-6))*(-689 - -3) a multiple of 17?
True
Let d = 69 + -66. Suppose 40 = 5*t + 3*r, 3*t = d*r - 2*r + 24. Suppose -1 = -y - a, -t - 7 = -3*y + a. Does 2 divide y?
True
Suppose 12*u - 18 = 9*u. Suppose 0 = 5*l + 2*b - 819, 4*l - 2*b = -u*b + 648. Is l a multiple of 24?
False
Let r be (351/6)/3*8/6. Let k be r/(-1 - (-12)/(-20))*4. Let j = k + 144. Does 23 divide j?
False
Let b = 1014 - 473. Does 15 divide b?
False
Let c(z) = -40*z - 49. Let b be c(4). Let n = 937 + b. Is 8 a factor of n?
True
Suppose 0 = -46*g - 24124 + 299112. Is 98 a factor of g?
True
Suppose -416*g - 4922 = -439*g. Let z(o) = 6*o**3 - o**2 + 1. Let k be z(1). Is 7 a factor of g/20*k - (-1)/(-5)?
False
Suppose -15 = -3*m, -m = 5*t - 3647 - 8088. Suppose n = 5*x + 316, -2*x - 793 = 5*n - t. Is 49 a factor of n?
False
Suppose -3*a - 8 + 20 = 0, 2277 = -5*m - 2*a. Let r = m - -619. Does 16 divide r?
False
Let j(n) = 0 + 53*n**2 - n - 27*n**2 - 5 + 84*n**2. Does 19 divide j(-2)?
True
Suppose -48*i + 42*i = -30. Suppose 2*u = -i*r + 8692, -r + u + 4*u = -1760. Is r a multiple of 88?
False
Let x(n) = 10*n**2 + 2*n + 22. Let o(v) = 3*v**2 + 7. Let a(p) = -21*o(p) + 6*x(p). Let k be a(3). Does 22 divide 9/2*(-88)/k?
True
Let b = -26735 - -28266. Is 8 a factor of b?
False
Let j be 1 - -2 - (742 + -21). Let n be 0 + j/(-9) + (-2)/(-9). Suppose -265 + n = -x. Is 36 a factor of x?
False
Let a be 108/(-270) - (-4)/10. Suppose a = 9*y - 4*y + b - 171, -b + 35 = y. Is 34 a factor of y?
True
Suppose -2*c + 24*m + 80 = 23*m, 40 = c - 5*m. Is 4 a factor of 127 - 10/4*c/50?
False
Let r = -27 + 29. Suppose -f + r*z + 2*z = 7, 3*f + 5*z = 47. Suppose -89 + 539 = f*k. Does 10 divide k?
True
Suppose 24*w - 15362 - 38782 = 0. Suppose j = 5*j - w. Is 18 a factor of j?
False
Is (((-32)/10 - 1) + 1)*(220 - 860) a multiple of 32?
True
Let k(s) = s**3 + 13*s + 20*s**2 + 8 + 27 + 69 - 2*s**2 - 3*s**2. Is k(-13) a multiple of 61?
False
Does 33 divide 35*-7*(-2244)/170?
True
Suppose -2*d - 2*d = 192. Let l = 57 + d. Suppose -l*o + 0 = -540. Is 20 a factor of o?
True
Suppose 5*u + 3*c - 18434 = 9913, -5*u - 2*c = -28348. Does 9 divide u?
True
Suppose -26*w - 27754 = 3654. Is -3 + w/(-12)*(-18)/(-12) a multiple of 10?
False
Let a = -160 + 164. Suppose 0*m + 16 = x + 2*m, -4*x - a*m + 68 = 0. Does 6 divide x?
True
Let b(c) be the first derivative of c**4/4 + 14*c**3/3 - 36*c + 32. Is 19 a factor of b(-13)?
True
Suppose -t + 21393 = 4*q - 13040, 103315 = 3*t + 4*q. Is 52 a factor of t?
False
Does 11 divide (-48430)/(-7) - 20/((-140)/3)?
True
Suppose -43649 + 8297 = -12*g. Suppose -77*d + 83*d - g = 0. Does 7 divide d?
False
Let t = 10017 + 5351. Does 226 divide t?
True
Suppose -107 - 322 = 3*d. Let q be (-30)/9 - (-2)/6 - d. Suppose 9*m - q - 76 = 0. Is m a multiple of 8?
True
Let p be (-8)/44 + 680/110. Suppose -4*n = -p*j + 2*j - 3156, -2*n = -j - 1573. Is 8 a factor of n?
True
Suppose -c - 103025 = -66*c. Is 5 a factor of c?
True
Let m(u) = -u**3 + 2*u**2 + 9*u. Let n = -255 - -258. Is m(n) a multiple of 18?
True
Let s(f) = 148*f + 176. Let j be s(-8). Let z = 1498 + j. Does 14 divide z?
True
Suppose 4*m = 5*z - 38756, 2*z + 8*m = 7*m + 15505. Does 136 divide z?
True
Suppose -60*u = -38*u - 118272. Is u a multiple of 12?
True
Let f be -1*3 + (-6)/2. Let r(t) = 5*t**3 - 11*t**2 + 17*t + 23. Let v(z) = 11*z**3 - 22*z**2 + 35*z + 46. Let y(j) = -13*r(j) + 6*v(j). Does 13 divide y(f)?
False
Let a = 26768 + -2239. Is 25 a factor of a?
False
Let r = 10 - -135. Suppose -2*v + r = 5*i, 6*i - 2*i = -12. Is v a multiple of 5?
True
Let m(s) = -s + 4. Suppose -3 = -3*c + 12. Suppose l - c*k + 14 = -l, -k = -2. Does 6 divide m(l)?
True
Let p be (13/(-26))/((-1)/2528). Suppose 908 = 12*z - p. Does 18 divide z?
False
Let l(n) = -n**3 - 8*n**2 - n - 3. Let h be l(-7). Let x = h + 21. Is 24 a factor of x*(2 + -1 + -3)?
True
Let a(y) = 171*y**2 + 28*y + 92. Is 91 a factor of a(-11)?
True
Let f = 11483 + -7976. Is f a multiple of 7?
True
Suppose 3*v - 7158 = -u, -2186*u + 3*v + 35808 = -2181*u. Is 31 a factor of u?
True
Let p be -15*3*2*(-24)/36. Suppose 17*t - 20*t = p. Is 7 a factor of 107 + t/(-1 + -3)?
True
Let i(s) = 7*s**3 - 2 - 4*s**3 - 2 + 3*s**2 + 3*s - 4*s**3. Let p be i(-4). Let y = p + -42. Does 18 divide y?
True
Let m(z) = 19*z**2 - 22*z - 318. Is m(-10) a multiple of 45?
False
Let i = -37 - -50. Suppose -q = -37 - i. Suppose 4*j - q = 4*h - 366, 5*h + 4*j = 404. Is 10 a factor of h?
True
Let c(u) = 2*u**2 - u - 8. Let n be (-5 - -4)/(51/(-24) + 2). Is 86 a factor of c(n)?
False
Is (-4)/2 - (-8 - (5 - -2246)) a multiple of 57?
False
Suppose -10 = -2*o, 5 = 3*p - o + 1. Suppose -3*y - 295 + 831 = -d, d - 544 = -p*y. Does 36 divide y?
True
Is (9/(243/198))/(6/13554) a multiple of 114?
False
Is 23 a factor of 68 + 19789 - (6 - (-1 + -1))?
True
Suppose -34*n + 32*n + 3712 = 0. Suppose -2*r - 2498 = 19*w - 23*w, 3*w + 2*r = n. Is w a multiple of 12?
False
Let l(c) = 2*c**2 - 11*c - 13. Let s be l(-8). Suppose 4*i - p = 257, p - 11 + s = 3*i. Is 10 a factor of i?
False
Let s = -938 - -947. Let l(j) = 15*j + 30. Is l(s) even?
False
Let t(c) = 46*c**2 + 18*c + 169. Is 8 a factor of t(9)?
False
Let n(s) = -s**2. Let u(w) = 5*w**2 - 11*w + 46. Let c(y) = 4*n(y) + u(y). Let o be (-18)/(-9) - (47 - 54). Is c(o) a multiple of 14?
True
Suppose 243*g = 113*g + 248820. Is 29 a factor of g?
True
Is 157 a factor of 3167084/434 + 12/21?
False
Let z(v) = 77*v**2 - 100*v - 120. Does 13 divide z(14)?
True
Suppose 12*v = 15*v + 6. Does 13 divide 278 - (4/v - 3)?
False
Let a = 3628 - -1598. Is 74 a factor of a?
False
Let b(q) = -38*q - 5. Let u be b(1). Let x = u + 397. Is 59 a factor of x?
True
Let t = -222 - -132. Let f = t - -131. Is -4*(-1 - -2) + f a multiple of 35?
False
Let b(c) = 2158*c - 70. Is 10 a factor of b(3)?
False
Let x(r) = 6*r + 50. Let h be x(35). Suppose 15*w = 4750 + h. Does 4 divide w?
False
Let g be (-2)/6*(-49 - -7). Suppose -g*v - 162 = -11*v. Let x = 88 + v. Is x a multiple of 34?
True
Let x = 70 + -13. Suppose 0 = -4*w - 2*b - 202, -14*w + 11*w - 119