
True
Let a = 36737 + -19135. Is a a multiple of 58?
False
Suppose 3*g - 5*r = -0 + 59, 94 = 5*g - 4*r. Suppose -12 = 10*k + g. Is 8 a factor of k/(-12)*(145 - -3)?
False
Let k = 11362 - 10114. Does 6 divide k?
True
Let v(x) = x**2 + 36*x + 54. Let m be v(-16). Let o = 73 - m. Does 21 divide o?
False
Let w(j) = 38*j - 20. Let o be w(3). Let s = -92 + o. Suppose 0 = 5*n - 2*u - 30 - 47, 0 = s*n - 3*u - 33. Is n a multiple of 3?
True
Let j(p) = p**2 - 3*p - 58. Suppose 8*w - 374 = -9*w. Does 24 divide j(w)?
True
Suppose -6485 = -4*z - z. Suppose 0 = -16*o + z - 241. Does 21 divide (-22)/8 + (-5)/20 + o?
True
Let f(l) be the third derivative of -1/6*l**3 + 5*l**2 + 0*l + 67/60*l**5 + 1/8*l**4 + 0. Is 23 a factor of f(1)?
True
Let v be (4 - (-16)/(-6))/(8/18). Suppose -11*w + t = -13*w + 444, v*w - 640 = 5*t. Is 44 a factor of w?
True
Let g = 204 + -189. Does 16 divide (-282)/(-9) + 10/g?
True
Let u = -2888 + 3003. Is 12 a factor of u?
False
Is 9 a factor of 609519/135 + 20/450?
False
Let j = 6889 + 26159. Does 72 divide j?
True
Let u(y) = 6*y + 59. Let j be u(-9). Suppose 5*w = -2*d + 1421, d = j*w + 2*d - 1423. Is 19 a factor of w?
True
Let a(m) = -m**3 + 35*m**2 - 66*m - 3. Let y be a(33). Is 24 a factor of (-1156)/y*(132/8)/11?
False
Let r = 6729 + 7723. Does 7 divide r?
False
Suppose m = -3*t + 28368, 147*t - 142*t - 47300 = -5*m. Does 53 divide t?
False
Let b = -5670 - -12786. Is b a multiple of 37?
False
Suppose 5*y - 2973 - 10057 = -5*s, 0 = -5*y + 5*s + 13070. Is 87 a factor of y?
True
Let u be 2 + (-1 + (-9)/(-6))*0. Is 669 - (9/(-18))/(u/12) a multiple of 8?
True
Suppose -35*v = -34*v + 1. Let o be v/((-3)/(48/4)). Suppose 0 = 2*n - o*k - 44, 4*n + k - 88 = 3*k. Is 11 a factor of n?
True
Let a(s) = 9*s**3 + 3*s**2 - 2*s. Let r be a(1). Let i be ((-2)/r)/((-1)/25). Suppose 112 = 2*h + i*q, 0*h + 5*q - 51 = -h. Is h a multiple of 6?
False
Let m = -478 + 9523. Is 181 a factor of m?
False
Suppose 31*q - 397 = -304. Let r be (1 - 2)*9/(-1). Does 19 divide (r*q)/((-33)/(-176))?
False
Let p(s) = s**2 - 2*s - 4. Let z be p(-6). Let m = -41 + z. Suppose -m*c = 3*c - 114. Is 2 a factor of c?
False
Suppose -4*q + 2*y = -66, -11*y = -2*q - 15*y + 18. Does 22 divide 3/(7/16625*q)?
False
Suppose f + a = -188 + 857, 4*f = -2*a + 2686. Suppose -15*o + 16 = -f. Is 4 a factor of o?
False
Let k be (-29951 - 9)/(-8) + -1. Suppose -469*j + 485*j - k = 0. Is j a multiple of 2?
True
Suppose 0 = 463*h - 421*h - 71694. Does 44 divide h?
False
Let c = -35 - -28. Let d be (4 - (1 - 2))/(c/(-7)). Suppose 462 = d*j - 88. Does 14 divide j?
False
Let o(y) = -y**3 + 19*y**2 + 7*y - 29. Let i(v) = 3*v + 3. Let k be i(-3). Let l(q) = 2*q**2 + 10*q + 7. Let c be l(k). Is o(c) a multiple of 7?
False
Suppose -2*d + 5*m + 23071 = 0, 14*d - 10*d = -5*m + 46127. Is 19 a factor of d?
True
Let x be (6/9)/(3/((-1215)/10)). Is 5 a factor of (-375)/x - 3/(-27)?
False
Suppose 27 = i + 5*w, -9*i - w - 1 = -12*i. Suppose 4*y + 3*h - 1175 = -i*h, -2*y + h = -577. Is y a multiple of 5?
True
Let x = -177 + 175. Does 46 divide ((-1288)/(-112))/(x/(-56))?
True
Let w be 20/16*3*16/(-12). Let n = 387 + w. Is 27 a factor of n?
False
Let s = -3634 + 10358. Does 91 divide s?
False
Let d(w) = -w**3 + 6*w**2 + 7*w - 3. Let n be d(7). Let i be (16/12*n)/(-1). Suppose -4*z = -4*a + 140, 4*a - 148 = -0*a - i*z. Is 4 a factor of a?
True
Let p be -2*(-4 + (-3)/(-2)). Suppose -149 = -3*n - p*q, -n - 5*q + 33 = -0*n. Suppose 5*o - n = 142. Is o a multiple of 20?
True
Let o(p) = -p**2 + 16*p - 18. Suppose 5*q = -z + 83, z = -3*q + 5*q - 29. Let i be o(q). Let w(d) = -d**3 - 19*d**2 - 22*d - 40. Does 8 divide w(i)?
True
Suppose -3*b - 94 = -5*t + 313, b + 129 = 3*t. Let z be (-865)/8 + (-18)/b. Let y = z + 113. Is 2 a factor of y?
False
Let x(v) = -11*v**3 + 22*v**2 - 28*v - 28. Let d(w) = 9*w**3 - 22*w**2 + 28*w + 27. Let j(k) = -6*d(k) - 5*x(k). Does 31 divide j(-23)?
True
Suppose -5*t = -2*q - 9220, 1239*t - 9250 = 1234*t - 4*q. Is 38 a factor of t?
False
Let i(a) = a**3 + 27*a**2 + 9*a - 33. Let g be i(-25). Let p = -64 + g. Is p a multiple of 15?
False
Let s(g) = -2*g**2 - 2*g + 2. Let i be s(0). Suppose -i*x - b - 163 = 4*b, -b + 367 = -5*x. Let j = 72 - x. Is j a multiple of 28?
False
Suppose -23*b - 4 + 73 = 0. Suppose 2*m - 1449 = -b*x, 2154 = 3*m - 5*x + 3*x. Is 30 a factor of m?
True
Let f(v) = 12*v + 1772. Does 3 divide f(-61)?
False
Suppose 82080 - 18432 = 10*q + 24*q. Does 7 divide q?
False
Let y = -77 - -79. Suppose 0*s + y*s = 96. Is s a multiple of 16?
True
Let z be (2/(-5))/(((-24)/(-80))/(-3)). Suppose 3*w - w + 3*o - 37 = 0, -z*w + 82 = -2*o. Suppose 10 = -5*b, b + 70 + w = m. Is 11 a factor of m?
True
Let r = 1073 + -1016. Suppose 0*l = 3*l - 411. Let j = l - r. Is 10 a factor of j?
True
Suppose 4*k + 25 = p + 3, 0 = -4*k. Suppose 13*r = p*r - 1872. Is r a multiple of 8?
True
Suppose -w - 187 = 2*v, 5*w + 359 = -2*v - 2*v. Let b be (51 + 0)*(-13 + 8). Let p = v - b. Is 28 a factor of p?
False
Let l = 7170 - 988. Does 11 divide l?
True
Let f(w) = 1 - w - 3 + 16*w**2 + 0 + 20*w**2. Suppose -3*n + 7 = -5*m, 2*m - 4*m - 5*n - 9 = 0. Is f(m) a multiple of 18?
True
Does 11 divide 56/(-126) - 13567/(-9)?
True
Let u(n) = 22*n - 19. Let i be u(1). Suppose i*o - 139 = 4*z - 783, -5*z + 5*o = -805. Is z a multiple of 4?
False
Suppose i + 84 = 88. Suppose -16*p + 11*p + i*u = -4932, 4*p - 5*u - 3942 = 0. Does 19 divide p?
True
Suppose 2*h - 2*p + 10 = 0, -69 + 54 = -5*p. Let o(f) = -1. Let u(c) = 101*c - 10. Let a(i) = 4*o(i) - u(i). Is a(h) a multiple of 21?
False
Suppose -k = -9*k - 88. Is (-332)/k - (7 - (-150)/(-22)) a multiple of 10?
True
Suppose -5724 = 5*b - 14*b. Suppose 3*j = b + 390. Is j a multiple of 19?
True
Let d(x) = -x**3 + 2*x**2 - 2*x + 1688. Let y be d(0). Suppose -30*t + y = -22*t. Is 29 a factor of t?
False
Let w(t) = 151*t + 164. Let x be w(19). Suppose 4*i = 3*z + 6051, -4*i = -2*i + z - x. Does 76 divide i?
False
Does 115 divide (-8 - -12) + 11/((-11)/(-4596))?
True
Let r(n) = 17*n**2 - 9*n - 18. Let s be r(-4). Suppose 4*c - 5*j - 197 = s, 4*c = -3*j + 527. Is 39 a factor of c?
False
Does 37 divide (9474/4 + 1)*(-602 - -604)?
False
Let d = 25 - 24. Let p be 0 + d - 2/(-2). Suppose -g + 5*t = -51, 5*g - t + p*t = 359. Is 20 a factor of g?
False
Does 47 divide 0 + 10340/(-10 + 21)?
True
Suppose g = -4*r + 14 + 8, 2*g - 14 = -2*r. Suppose -194 = -a + r*z + 11, a + z - 211 = 0. Is 5 a factor of a?
True
Let p(v) = v**3 - v - 3. Let y be p(0). Let i be (-16)/(-5*(-8)/180*y). Suppose -i*k = -25*k + 10. Does 10 divide k?
True
Let v = 3 + 38. Let r = v + -36. Is 40/(-50) + 244/r a multiple of 39?
False
Let x(q) = 192*q**2 - 9*q - 28. Is x(4) a multiple of 94?
True
Suppose 0 = 17*h - 27*h + 12140. Is h a multiple of 11?
False
Suppose -108 = -4*z + 820. Let b = z - -158. Suppose -5*w + 5*o + b = 0, 4*w - 309 = -0*w + o. Is w a multiple of 11?
True
Let x be (-2 - (-364)/35) + (-4)/10. Suppose -4*g = -x*g + 148. Suppose -92 - g = -3*s. Is 8 a factor of s?
False
Let x = 37 - 26. Let w(y) = y**2 - 8*y - 16. Let o be w(x). Let f = o + 109. Does 18 divide f?
True
Suppose -6*i + 0*i = 2*g - 144, 4*i + g = 97. Is 5 a factor of i?
True
Suppose -16*q + 51456 = -8*q. Does 12 divide q?
True
Let r(z) = -8 - 7 - 37 - 847*z + 15. Is 15 a factor of r(-1)?
True
Suppose 0 = 4*t + 1 - 17. Let z = 76 - -509. Is 15 a factor of t/8 + z/2?
False
Suppose -2*f + 74 = -m, -3*m = 2*m - f + 415. Let n be 42/8 - (-21)/m. Suppose 0 = -n*d - 2*a + 550, 2*d = -5*a + 148 + 51. Is d a multiple of 39?
False
Is -15*2584/(-170)*((-2 - -19) + -2) a multiple of 10?
True
Suppose 61*f - 60*f - 14364 = 5*b, 3*f = -4*b + 43206. Is f a multiple of 133?
False
Let p(n) = n**2 + 4*n + 2. Let h(k) = -3*k + 2*k**2 + k - k**3 - 4 - k**2. Let v be h(0). Does 2 divide p(v)?
True
Suppose 2*d - 14 = 2*k, 5*d + 1 = -k - 0*d. Let g be (2 - -4) + (-9 - k). Suppose 252 - g = 3*f. Is 12 a factor of f?
False
Let c be (-2)/9 - 175639/(-423). Let n = c + -275. Is n a multiple of 10?
True
Let d(u) = u**2 + 69*u - 1097. Is 10 a factor of d(51)?
False
Suppose 2*s + 2*c = -84 + 674, s + 4*c = 289. Is 8 a factor of s?
False
Let j(v) = -178*v + 191. Let n be j(-5). Let u = n + -473. Is 32 a factor of u?
True
Suppose -310*k = -237*k. Let o be -