True
Let t = 194 + -196. Is (1*1/t)/(19/(-4788)) a multiple of 18?
True
Suppose 6*r - 12 = 4*r. Suppose o = -k - r, -4*k + 5*o - 8*o - 19 = 0. Is 13 a factor of (6 - -1)/((-18)/21 - k)?
False
Suppose 51 = 4*y + 39. Does 4 divide (y/(-2) - 3)/((-3)/304)?
True
Suppose 2*x = t + 51000, -10*t + 16*t + 25500 = x. Does 100 divide x?
True
Let d be ((-3686)/(-76))/((-2)/(-4)). Suppose -v + d + 71 = 0. Does 42 divide v?
True
Let v(w) = -2*w + 5. Let o be v(1). Let f(x) = -6*x + 22. Let z be f(o). Suppose z*a - 852 = -5*q, a - 189 = 3*q + 7. Is a a multiple of 16?
True
Suppose -4*f - 5*v + 6505 = 0, 6*f + 4*v - 15980 + 6240 = 0. Does 18 divide f?
True
Let j(q) = -23*q**2 + 23*q - 2. Let s be j(7). Let r = s + 1920. Does 37 divide r?
False
Let p(k) = 6*k - 28. Let x be p(8). Suppose w + s - 2*s - 463 = 0, -4*s = -x. Is 44 a factor of w?
False
Suppose 0 = 5618*u - 5584*u - 598604. Is u a multiple of 193?
False
Let d = -879 + 1857. Does 6 divide d?
True
Let v be ((-162)/63 - -3) + 43786/14. Suppose 0 = -8*o + 12*o - v. Is o a multiple of 34?
True
Let c = 5379 - 5115. Does 33 divide c?
True
Suppose 27445 - 24800 = -53*y + 147918. Is 6 a factor of y?
False
Let g(o) = 972*o**2 - 18*o + 42. Let b be g(3). Suppose -6*x - b = -27*x. Is 16 a factor of x?
True
Suppose 1 = -k, -18*o = -14*o - 3*k - 161163. Does 79 divide o?
True
Let f(k) = -k**3 + 63*k**2 + 23*k - 1404. Is 3 a factor of f(63)?
True
Let r = -6205 + 6629. Is r a multiple of 53?
True
Let j = 3 + 3. Let c be ((-92)/j)/(-1)*(-48)/(-32). Suppose 0 = -2*k - 5*v + 15 + 2, 2*k - c = -3*v. Is k a multiple of 8?
True
Suppose -3*f - 4*z + 822 - 3437 = 0, 4*f = -5*z - 3485. Let d = f - -1796. Is d a multiple of 82?
False
Is 13 a factor of (72/(-48))/(4*(-9)/447096)?
True
Let p(k) = -k**2 + 5*k + 1. Let c be p(-4). Suppose 3*r + 12 = 0, 4*i + 2*r = 4*r + 372. Let v = i + c. Is v a multiple of 8?
True
Suppose -3*p - 24945 = -3*z, -772*z + 767*z = 4*p - 41575. Is z a multiple of 26?
False
Let l(c) = -71*c + 38. Let x(v) = -v - 1. Let y be x(9). Is 47 a factor of l(y)?
False
Let d be 24/(-5)*30/4. Let l = d + 54. Is 3 a factor of l?
True
Let z(f) = -3*f**2 + 2*f**3 - 301 - 12*f + 312 - f**3. Let y be z(5). Is -5 + (-688)/(-4) + y + 1 a multiple of 13?
True
Suppose 0*w + 2175 = 5*w. Let t = -213 + w. Suppose t = 5*d - 2*d. Is d a multiple of 10?
False
Let d be 3/9 + (-2103)/(-9). Let p be -3 - (-5 + 2)/(-2 + 3). Suppose p = -3*a - 0*a + d. Is a a multiple of 16?
False
Suppose 0 = -5*q + 4*x + x - 135, -x + 79 = -3*q. Let j = q + 75. Is j a multiple of 9?
False
Suppose m - 3*u - 54923 = 0, 2*m + u - 92824 - 16980 = 0. Is 281 a factor of m?
False
Let x(a) = 261*a + 6176. Is 60 a factor of x(27)?
False
Does 25 divide ((-2826)/72)/(12/(-2544))?
False
Suppose -5*h = -2*i + 5297 + 12461, 5*i + 2*h - 44424 = 0. Is 59 a factor of i?
False
Let p(z) be the first derivative of -50*z**2 + 70*z - 260. Does 18 divide p(-2)?
True
Suppose 20 = 2*b + 5*h, -5*h - 14 = -4*b - 2*h. Suppose -3*v = -0*v + 15, 4*l - 7 = -b*v. Suppose 0 = l*x - 4 - 76. Is 5 a factor of x?
True
Let j = 163 - 128. Is 7 a factor of 7/j*0 + 133?
True
Let l(v) = v**3 - 46*v**2 + 33*v - 443. Is 4 a factor of l(46)?
False
Let h(s) = -17*s - 74. Suppose -g - 64 = -54. Is h(g) a multiple of 35?
False
Let g be (6/(-4)*(-2)/(-3))/1. Let a be 8/(-36)*g*6*3. Suppose 3*l - a*s = 11 + 36, s = -2. Does 2 divide l?
False
Let q be -10*((-36)/21)/((-90)/84). Is 84/q - -5 - (-2309)/4 a multiple of 62?
False
Suppose -1028 - 700 = -3*z - 3*u, 5*u + 1145 = 2*z. Let w = -400 + z. Let r = w - 124. Does 17 divide r?
True
Let i = 32 + 1. Let y(a) = -4*a**3 + 139*a**2 + 31*a + 169. Let q be y(35). Suppose q*o + 792 = i*o. Is 11 a factor of o?
True
Let m(x) = x**3 - 16*x**2 - 18*x + 23. Let a be m(17). Let w(n) = -n + 151. Is w(a) a multiple of 60?
False
Suppose -87 = 7*n + 25. Suppose 2*p - 5*t + 8 = 0, -3*p + 10 = 2*t + 3. Let y = p - n. Is 2 a factor of y?
False
Let u(b) = 20*b - 47. Let f(a) = 60*a - 141. Let m(i) = 3*f(i) - 8*u(i). Let j be (-22)/(-55) - (-3)/(60/152). Is 6 a factor of m(j)?
False
Suppose 7*g - 58 = -51. Let f(w) = 105*w**2 - 6*w + 7. Does 5 divide f(g)?
False
Let k(n) be the second derivative of 7*n**5/10 - n**4/4 + 2*n**3/3 - 16*n**2 - 62*n. Is k(4) a multiple of 31?
False
Suppose -67*s + 658 = -20*s. Suppose 4 = p, s*p - 230 = -f + 17*p. Is f a multiple of 47?
False
Is (8/132 + (-1246)/(-132))*720 a multiple of 8?
True
Let h be ((-16)/20)/((-2)/5). Is 14 a factor of h/((-5560)/(-1388) - 4)?
False
Let u(v) = -6*v**2 + v + 1. Let h be u(1). Is 40 a factor of (-5144)/(-16) - (-6)/h?
True
Suppose 21126 = -20*a + 241646. Does 136 divide a?
False
Let i be (-1 + 3)*(-51)/2. Suppose 0 = 8*y + 6*y + 490. Let j = y - i. Is j a multiple of 6?
False
Suppose -221 = 4*t + h, 0 = -4*t + 4*h + 62 - 258. Let b = -26 - t. Does 33 divide 1 + 2/2 + 2716/b?
True
Suppose -6*m = -7*m - 570. Let z be -3*(4 + m/9). Let b = -106 + z. Is b a multiple of 14?
False
Suppose 17*o - 28*o + 678224 = 86*o. Does 19 divide o?
True
Suppose -48 = 2*r - 6*r. Suppose 10*l + 270 = r*l. Suppose -l = -4*m + 369. Is m a multiple of 21?
True
Suppose -3*l = -4*u - 4718 - 2325, -u + 9435 = 4*l. Does 82 divide l?
False
Let h = 1023 + -533. Suppose -b + 5*f + h = 0, 5*b + 4*f = -384 + 2747. Suppose -5*v = 6*c - 2*c - b, 0 = -2*v - 2. Is c a multiple of 24?
True
Suppose 945*l - 48195 = 938*l. Is l a multiple of 85?
True
Let y = -284 - -135. Let w = 210 + 43. Let b = y + w. Is b a multiple of 13?
True
Let c(b) = -3*b + 4*b + 4*b**2 + b**3 + 193 - 3*b - 182 - 3*b**3. Is c(-4) a multiple of 94?
False
Let z(v) = 6*v**3 - 50*v**2 + v + 51. Is 74 a factor of z(11)?
True
Suppose 12907 = 3*x - 12*j + 11*j, 2*j - 17216 = -4*x. Suppose 14194 = 21*z + x. Does 52 divide z?
False
Let f = -1059 - -1925. Suppose 0 = 13*h - f - 1357. Does 14 divide h?
False
Let j be ((-2)/5)/((-7)/70). Does 43 divide j/18 - (2368168/(-72))/17?
True
Suppose 3*y - 12 = 3. Suppose -5*x - 27 = -3*j, y*j - 4*x = j + 28. Suppose 0 = -6*l + l + 5*z + 535, -l + j*z = -122. Is l a multiple of 17?
True
Suppose -6613 = -18*w + 5375. Is w a multiple of 6?
True
Let y(b) = 1. Let a(s) = 3*s + 25. Let t(n) = 2*a(n) - 10*y(n). Let h be t(-6). Is 8 a factor of 8*(5 + -4)*h?
True
Suppose 5*w + 30 = 50. Suppose -5*u - 5*q = -6 - 39, 3*u = w*q - 1. Suppose -4*v + 0*v = u*h - 917, -5*v - 4*h = -1144. Does 12 divide v?
True
Suppose -45775 = -25*p + 134625. Is 137 a factor of p?
False
Let l be 0/(-3)*51/(-153). Let q(m) = -m - 6. Let v be q(-9). Suppose -4*w + 4*j + 764 = l, 0 = 3*j - v. Is 16 a factor of w?
True
Let f = 8827 - 2720. Does 15 divide f?
False
Suppose 674116 = -85*d + 1879068 + 947503. Does 98 divide d?
False
Let j = 671 + -1469. Let m = j + 1166. Is m a multiple of 16?
True
Let r(m) = 286*m**3 + m**2 + 1. Let k be r(1). Let s = k - 138. Does 10 divide s?
True
Let b = 27594 + -8233. Does 12 divide b?
False
Suppose -2*g + 5*o + 21285 = 0, -4*g = -g - 4*o - 31917. Is 150 a factor of g?
False
Let q(p) = -p**3 - 9*p**2 + 26*p - 12. Let v be q(-11). Let t = v - -89. Is t*(-2 + -1 - -4) a multiple of 14?
False
Let g(z) = 2*z + 6. Let c be g(-3). Let m be -4 + 36 + -2 - c. Suppose 4*p + m = n, -n + p = -p - 28. Does 25 divide n?
False
Let a = -13 - -18. Suppose -l - 25 = -a*g, 0 = -5*l + 6*g - g - 45. Is (-89)/(-5) + (-1)/l a multiple of 18?
True
Does 37 divide (-1 + -7)/(-2 - -4)*(25 - 548)?
False
Suppose 4*y = -5*m, 3*m - 27 = y + 2*y. Let j(f) = 6*f**2 + 8*f + 23. Does 3 divide j(y)?
False
Let w(u) = u**2 + 8*u - 9. Let z = 58 - 67. Let s be w(z). Suppose 0 = -3*m - f + 374, 2*m - 4*m - 4*f + 246 = s. Does 25 divide m?
True
Suppose 23*a - 54 = 14*a. Is 16*((-1 - -6) + a) a multiple of 13?
False
Let f = -24309 + 47462. Does 19 divide f/26 + 5/2?
True
Let g(p) = -5*p**2 + 6 + 4*p**2 - 5*p + 2*p**2 + 0*p. Let i be g(5). Is i/18 - (-1 - (-292)/(-6)) a multiple of 11?
False
Suppose 7*d - 37*d = -72060. Suppose -15448 = -35*a + d. Is a a multiple of 17?
True
Let s(f) = f**3 - 11*f**2 + 13*f - 17. Let q(m) = -m**2 + 9*m - 4. Let b be q(7). Let g be s(b). Suppose 50 = g*h - 8*h. Is h a multiple of 4?
False
Let o be 1 + -2 - (-19 - -15). Suppose 0 = -3*n + o*r - 4221, -4*n - 5655 = 4*r + r. Is (n/75)/(4/(-10)) a multiple of 14?
False
Suppose 33 - 93 = -4*u. 