se -3*u + 3 = -z. Suppose 2*k - 4*f - f - 5 = 0, -5 = k - u*f. Does 4 divide k?
False
Let o(q) = -q**3 - 4*q**2 + q + 7. Let y be o(-4). Is 54*(25/y - -3) a multiple of 68?
True
Suppose -16 = -2*s - 6*s. Suppose -s*v - 5*f = -901, -2*v + 2*f = 3*v - 2238. Is 16 a factor of v?
True
Let w(j) = 114*j**3 + 4*j**2 + 72*j - 290. Is 32 a factor of w(4)?
False
Suppose 60*o = 3075159 - 210279. Is 277 a factor of o?
False
Let o = 20763 - 13959. Is o a multiple of 7?
True
Let h = -889 - -891. Is ((-952)/h)/(-3*6/36) a multiple of 34?
True
Let n be (-24)/(-4)*((-3)/2)/(-3). Let x be -6*3/n + -1. Does 20 divide (x/(-4))/7 - (-1318)/8?
False
Let r = -14 - -73. Let l = r - 46. Let h(y) = 10*y + 21. Is 10 a factor of h(l)?
False
Let n(p) = -p**2 + 28*p + 12. Let q be n(19). Suppose -322 = 2*h + 3*h + 4*g, 0 = -3*h + g - q. Let m = -21 - h. Is m a multiple of 5?
False
Let y = 98 + -58. Suppose -4*g = -2*w + 3*w + 6, -3*w - g = -4. Suppose -y = -0*a - w*a - 4*t, 50 = 3*a - 4*t. Does 18 divide a?
True
Is 15 a factor of (-87)/(-203) - 12807/(-7)?
True
Suppose -630*z + 186*z = -5314680. Is 95 a factor of z?
True
Suppose 4*v - 3094 = -9*v. Let f = 392 - v. Is 39 a factor of f?
False
Suppose -917266 = 260*n - 26*n - 3224038. Does 106 divide n?
True
Let w be ((-3)/(-18))/(4/162)*4. Suppose -4*v - w = -4*n - 3, -4*v = n + 9. Suppose -4*q + 468 = -2*k, n*q + 2*q + 4*k = 598. Does 8 divide q?
False
Suppose -3*b - 5*c + 33301 = 0, 2*c - 13173 = -4*b + 31233. Suppose b = 21*k - 8*k. Does 73 divide k?
False
Suppose 4*v + 48*a - 3 = 45*a, -2*v = 2*a. Suppose -v*o + 2756 = o + 4*q, q + 2731 = 4*o. Is o a multiple of 9?
True
Let g(v) = v**3 + 24*v**2 - 23*v + 60. Let n be g(-25). Is 4/n - (-17180)/50 a multiple of 34?
False
Suppose 5*q - 29884 = -q - 11398. Is 69 a factor of q?
False
Let m(h) = -47*h + 2. Let i(y) = y**2 + 6*y + 2. Let r be i(-6). Let u(b) = 187*b - 8. Let l(f) = r*u(f) + 9*m(f). Is l(-2) a multiple of 9?
False
Suppose o = 2*g - 5265, -g + 4*o - 10572 = -5*g. Is g a multiple of 3?
False
Suppose -4*y - 4*v + 17974 = 1970, -35 = -7*v. Is y a multiple of 12?
True
Let q(h) = 24*h - 248. Let f be (12/10)/2 + 1498/70. Is 4 a factor of q(f)?
True
Suppose -70*r = -80*r - 58803 + 353583. Is r a multiple of 102?
True
Let n be (288/(-3))/3 - 3. Let o = -32 - n. Is 30 a factor of (-4)/(101/34 - o)?
False
Suppose 0 = 2*u - 252 + 86. Let p = -5 + u. Suppose -442 = -5*n - q, 5*n - 4*n - 5*q = p. Does 11 divide n?
True
Let g = 687 + -372. Suppose -9*d = -14*d + g. Is 16 a factor of 3605/d + 4/(-18)?
False
Let c(p) = 11*p**3 - 3*p**2 + 2*p**2 + 2 - 3. Let m be (-252)/(-72)*8/14. Is 15 a factor of c(m)?
False
Let h be (63/((-6)/(-2)))/((-6)/(-292)). Suppose -26*g + h + 1370 = 0. Is g a multiple of 23?
True
Suppose a = 2*a - 4. Let x be ((-4)/48)/(11/(-18348)). Suppose -5*p - a*j + 7*j + x = 0, -3*p = -5*j - 93. Is p a multiple of 13?
True
Suppose 9*u + 6 = 11*u. Is 25 a factor of 230/u*4/((-24)/(-9))?
False
Let t(m) = m**3 + 31*m**2 + 24*m + 44. Let j be t(-30). Suppose 20*f = 22*f - j. Is f a multiple of 16?
True
Let x be -1*(-8)/(-2 - 2). Is 5*(x - -6) - -6 a multiple of 2?
True
Let g = 8924 - 4139. Is g a multiple of 15?
True
Suppose 15*l - 25116 = 14*l. Suppose -9*h + l = 12*h. Does 13 divide h?
True
Let x(h) = -850*h + 5898. Does 178 divide x(-39)?
False
Let o = 34284 + -12801. Does 26 divide o?
False
Let v(q) = 14*q**2 - 14*q + 24. Let i be v(-15). Suppose 0 = 3*t + 4*m - 2270, 5*t + m - i = 371. Does 13 divide t?
False
Suppose -n - 13*s + 15*s + 19446 = 0, -5*n = 4*s - 97314. Does 94 divide n?
True
Let w(n) = n**3 + 2*n**2 - 4*n + 2. Let z be w(-3). Suppose 0 = -z*v + 6*v - 38. Is 38 a factor of v?
True
Let k = -25502 + 38382. Is k a multiple of 28?
True
Suppose -1728*f = 3*l - 1730*f - 25840, -43073 = -5*l - 3*f. Is 3 a factor of l?
False
Let v(n) = -36*n + 2339. Is 29 a factor of v(-18)?
True
Let b(v) = 810*v + 3852. Is b(7) a multiple of 31?
False
Suppose 0 = n + 3*p - 108 - 336, 906 = 2*n - 3*p. Suppose 42*y = 17*y + n. Is y a multiple of 2?
True
Let j = 33 + -34. Let z be 5 + j - (-140)/7. Suppose z = 2*p + 4*p. Is p a multiple of 3?
False
Suppose -8*x - 3 = -4*x - 3*l, -2*l + 10 = 0. Let q be (-9)/(3/(-6) - 1). Is 2 a factor of q/9 - (-16)/x?
True
Let l = 53 + -63. Let p(h) = 9 - 2*h - 7*h - 3*h - 81. Does 12 divide p(l)?
True
Suppose 0 = -4*t + 4*a - 3044, -2*a + 4 - 2 = 0. Let m = t - -1154. Is 47 a factor of m?
False
Let t(d) = 4*d**2 + 9*d + 4. Let c be t(-2). Suppose -5*n + c*x + x + 1583 = 0, 2*n - 646 = -2*x. Is 11 a factor of n?
True
Let r = -3662 + 8048. Is 102 a factor of r?
True
Let m = -54 + 62. Suppose 13*y - 100 = m*y. Let l = 132 + y. Is 20 a factor of l?
False
Suppose -17*v + 8532 = -7414 - 2380. Is 14 a factor of v?
True
Suppose -473*o + 468*o - 3*g + 149681 = 0, 2*o + 2*g - 59866 = 0. Is 139 a factor of o?
False
Let w = 653 - -27771. Does 19 divide w?
True
Let a = -307 - -127. Let p = a - -876. Is p a multiple of 8?
True
Let s be 1*(-2043 + (-3 - -3)). Does 6 divide (-5 - s/3) + 8?
True
Let t = 5790 - 5118. Is t a multiple of 24?
True
Let d = 204 - 196. Suppose -3*u + 315 = b, 3*b - d*u - 1015 = -3*u. Is b a multiple of 55?
True
Suppose d = -2*c + 3398, 2*d - 4*c = 5345 + 1459. Is d a multiple of 25?
True
Is 148 a factor of (120848/(-312))/(0 - 4/24)?
False
Suppose 0 = -3*l + 169 - 160. Suppose -l*t + 459 = -123. Is t a multiple of 19?
False
Suppose 85*y - m = 81*y + 4443, -y + 1098 = 4*m. Does 7 divide y?
False
Suppose 3*m + 3*p - 4896 - 909 = 0, -2*p - 9640 = -5*m. Suppose 2*x + 306 - m = 0. Is x a multiple of 48?
False
Suppose 0 = 2*y - 5*p + 18, -y + 2*p = -3*y + 10. Suppose y - 6 = -5*j. Suppose -j + 33 = 4*i. Is 2 a factor of i?
True
Let t(s) = 3*s - 2. Let m be t(-2). Let x(n) be the third derivative of -n**4/2 - 11*n**3/6 + 15*n**2 - 3. Does 17 divide x(m)?
True
Let v = 13544 + 1058. Is 14 a factor of v?
True
Let n = 2 - 0. Let t be -3 + (6/n - 0). Suppose -2*y - 2*y = -4*x + 220, 2*x + 4*y - 140 = t. Is x a multiple of 13?
False
Is 9 a factor of (-2)/10 + ((-29113)/(-21) - (-4)/(-30))?
True
Let p(n) = n**2 + 25*n + 96. Let s be (-1 - 5) + (15 - (-22 - -1)). Is p(s) a multiple of 67?
False
Suppose -81*h = 208*h - 729220 - 443253. Is 13 a factor of h?
False
Let t = 114 - -29. Let z = t + -115. Is 4 a factor of z?
True
Suppose -5*u - 4*p - 405 = 0, -3*u - 4*p - 172 - 63 = 0. Let m be (-37 - (-2)/(-2))/(34/u). Suppose -m = -5*d + 3*n + 18, -25 = -d + 3*n. Does 5 divide d?
False
Suppose -6 = -3*o + 5*b, 0 = 6*o - 3*o - 3*b - 6. Suppose 270 = o*w - 50. Suppose -n - 610 = -4*c - 3*n, -n - w = -c. Does 18 divide c?
False
Suppose -6935 = 1172*s - 1177*s. Suppose 3*j - y = s, 4*j + 4*y - 1871 = y. Does 58 divide j?
True
Is 40 a factor of (4/2)/(17/19958)?
False
Let n(j) = j**2 + 2*j - 10. Let z be n(5). Suppose z*c = 2673 + 11277. Is 6 a factor of c?
True
Suppose -11*u - 30 = -140. Suppose u*n - 13897 = -2017. Does 11 divide n?
True
Suppose 4*t + c - 8436 = 0, 8*c - 8436 = -4*t + 5*c. Let q = t + -967. Does 42 divide q?
False
Is 9 a factor of ((-18)/(-12) + 1)*(-11)/(275/(-44510))?
False
Suppose -2*p + 3*b + 22218 = 0, 14*p + 355388 = 46*p + 2*b. Is p a multiple of 27?
False
Let p = -11 - -34. Let d = p - -6. Let b = d + -2. Is b a multiple of 3?
True
Suppose 0 = -34*z + 38*z - 1884. Suppose 4*t + z = y + 2*t, -952 = -2*y - t. Suppose 3*b = -4*m + y, -5*b = -2*m - m + 320. Is m a multiple of 19?
False
Suppose 5*s + 339 - 328 = 2*h, -9 = -2*h + 3*s. Let m be (5 + -2)/(3/2). Suppose -h*y + 314 = 3*q - 223, -m*y = -6. Is q a multiple of 16?
True
Let a = 416 + -413. Suppose -5*u + w = -645, a*u - w = 15 + 370. Does 18 divide u?
False
Let k be 1*-1 + (5292/14 - -6). Let x = 734 - k. Is 8 a factor of x?
False
Suppose -74 = -n - z + 53, 4*z + 548 = 4*n. Suppose n*y - 120 = 122*y. Is 2 a factor of y?
True
Let i = 490 + 1705. Is 58 a factor of i?
False
Suppose 4*r + 16 = -2*o, 4*o = -o + r + 15. Suppose 0 = o*s - 5*k - 98, 0 = 4*s + k - 2*k - 214. Is s a multiple of 6?
True
Suppose -4*r - 8*f = -3*f - 9785, -r - 5*f = -2435. Is r a multiple of 28?
False
Let s(y) = -y**2 + y. Let r be s(1). Suppose r*c + c = -8*c. Suppose c = 5*u - 294 - 256. Is u a multiple of 11?
True
Let y = 2995 - 1301. Is y a multiple of 9?
False
Let p be (18/24)/((-2)/(-8)). Supp