Suppose 85959 = 21*n - 60852. Is n a multiple of 13?
False
Let x(o) = -247*o + 21. Let l be x(-3). Suppose 5*v + 101 = 4*r - l, -5*r - 2*v + 1087 = 0. Is 48 a factor of r?
False
Let n(t) = -t**3 + 18*t**2 + 22*t + 7. Let i be (-837)/(-3)*4/12. Suppose -i = 5*f - 188. Does 8 divide n(f)?
True
Suppose -m - 2*b + b + 68 = 0, -m + 62 = -2*b. Let q = m - 64. Suppose -280 = q*c - 6*c. Is 35 a factor of c?
True
Suppose 195 = t + 6. Let d = t - 52. Does 37 divide d?
False
Let b(n) = -5*n**2 + 6*n - 110. Let u(y) = y**2 + y + 1. Let i(s) = b(s) + 6*u(s). Does 65 divide i(14)?
True
Let z(l) = l - 10. Let p be z(13). Suppose 0*u + p = -r + u, -3*u = -4*r - 13. Does 18 divide (r/8)/((-4)/1440*2)?
True
Is 18 a factor of (6914 + 0 + -2)*80/160?
True
Let p = -83920 + 132565. Is p a multiple of 88?
False
Let s be (-20)/50 + (-98)/5. Is ((-2)/6)/(s/2460) a multiple of 3?
False
Let b(o) = -o**3 - 2*o**2 + 2*o - 7. Let p be b(0). Let r(h) = -8*h + 2. Let q be r(p). Let v = 88 - q. Is v a multiple of 30?
True
Let o = -457 + 369. Is (-11)/o - 4654/(-16) a multiple of 57?
False
Suppose 4156*c - 39662 = 4154*c. Is 31 a factor of c?
False
Let l = -113 + 117. Is 19 a factor of 2206/4 - l/8?
True
Suppose -3372*v - 75894 = -3386*v. Is v a multiple of 14?
False
Let q = 2295 - -425. Is 17 a factor of q?
True
Let c be -3 - -1 - (35 - 27). Let y(r) = 5*r**2 + 33*r + 28. Is 18 a factor of y(c)?
True
Let a(j) be the first derivative of j**4/4 + 28*j**3/3 + 2*j**2 - 30*j - 118. Is a(-27) a multiple of 30?
False
Suppose -10*c + 8*c + 8 = 0, -c = z + 860. Is (-5 - (0 + -3))*z/6 a multiple of 16?
True
Let y be (8 + -9)/((-8)/7 + 1). Suppose -3*s = -h - 470, -2*s + 3*h - 788 = -y*s. Suppose 0 = -0*g - 4*g + m + 221, -s = -3*g - m. Does 27 divide g?
True
Let u(y) = -y**3 + y**2 - 2*y - 7. Let c be u(0). Is 54 a factor of 2/(-8) - c/((-168)/(-3702))?
False
Let h = 176 - 125. Suppose -l - h - 9 = -3*y, 5*l - 4 = -y. Is y a multiple of 19?
True
Suppose 41 = 2*w - 15. Let p = w - -79. Let y = p - 66. Is 6 a factor of y?
False
Suppose 3*w = -n + 12, -2*n + 20 = 6*w - w. Let g be 3 - (-9)/(9/w). Suppose -18 - g = -a. Does 14 divide a?
False
Let c(o) = o**3 + 9*o**2 - 21*o - 7. Let i be c(-9). Let r = -57 - 53. Let q = i + r. Does 42 divide q?
False
Suppose p - 2 - 80 = 0. Suppose -6*c = -p - 998. Suppose 4*u = 7*u - c. Is u a multiple of 12?
True
Let x = 13 + 24. Suppose 0 = -36*p + x*p. Suppose p = -m - 4*m - r + 72, 0 = 5*m - r - 68. Does 14 divide m?
True
Suppose 3*m - 53 - 43 = -3*a, 0 = 3*a + 2*m - 98. Does 17 divide a?
True
Suppose -18*l + 129 = 75. Suppose -319 = -3*i + m - 63, i - l*m - 96 = 0. Does 21 divide i?
True
Let k(w) = 8*w**2 - 2*w - 56*w**3 - 33 + 57*w**3 + 9*w**2. Let v be k(-17). Is v + 0 + 4/(-2) + 43 a multiple of 21?
True
Let w(h) = 2*h**2 - 23*h - 6. Let x be w(12). Let o be 2 + (2/(-4) - (-3)/x). Suppose -5*l = 5*r - 400, 5*l - o*l + r - 240 = 0. Is 8 a factor of l?
True
Suppose -4*b = 12, -25*a + 4*b = -28*a + 37830. Does 60 divide a?
False
Let o(m) = m**2 + 4*m + 6. Let r be o(-2). Suppose -c + r = -0. Suppose -c = b + 2, l = -3*b - 8. Is l a multiple of 2?
True
Let o be ((-20)/12 - -2)*9. Suppose o*k = -2*s + 270, 4*s - 8*s = -k - 526. Does 4 divide s?
True
Let n be (-3 - 60/(-9)) + 1/3. Suppose -n*c + 5*x = -6227, 4*c - 4116 = 2*x + 2114. Does 86 divide c?
False
Let d(q) = 4*q - 26. Let t be d(7). Suppose -t*s = -9*s + 1211. Is 7 a factor of s?
False
Let i(f) = 228*f**2 - 27*f - 1137. Is i(-15) a multiple of 43?
True
Does 52 divide (-305006)/(-16) - (-15)/(-48)*(-4)/10?
False
Let m = -144 - -460. Let i = -228 + 42. Let z = i + m. Is 5 a factor of z?
True
Let r be ((-7)/21)/(2/(-42)). Suppose -r*b = 49 + 105. Is 9/6 - 2607/b a multiple of 15?
True
Suppose -268*h - 167256 = -369*h. Does 12 divide h?
True
Let n(r) = 23*r**2 + 5*r - 287. Is n(13) a multiple of 11?
False
Let j = -170 + 169. Is 1 + 4 + -5 + j + 336 a multiple of 24?
False
Let t(z) = -z**3 - 60*z**2 - 5*z - 517. Is t(-67) a multiple of 245?
False
Let x(v) = 4*v - 86. Let o be x(22). Suppose 36 = q - 3*u + 5, 0 = -3*q + o*u + 86. Does 7 divide q?
True
Suppose -681 + 55 = -2*v + 2*n, 4*v - n - 1249 = 0. Suppose j - 3*o - 78 = 0, 0 = -4*j + 8*j - 4*o - v. Does 51 divide j?
False
Let q be (36/15)/(3/65). Let g = 612 - q. Does 40 divide g?
True
Let u be (12/(-14))/(17/(-357)). Is 5*u/210 + 2658/21 a multiple of 17?
False
Suppose 5*s - 2*c = 10, s - 14*c = -11*c + 2. Suppose -s*i = r - 2*r - 1012, 0 = -r + 4. Does 16 divide i?
False
Let p be -6 + 6 - 10/(-2). Suppose 5*l + 7 = -4*c, 0 = 4*c - 4*l + 11 + p. Is (2/3)/(c/(-513)) a multiple of 15?
False
Let q(k) = -k**3 - k**2 + 10*k + 13. Suppose -157 - 120 = -4*o - x, 20 = 4*x. Let a = o + -73. Is q(a) a multiple of 7?
True
Let d(w) = -147*w - 382. Let a(q) = -37*q - 95. Let t(o) = 9*a(o) - 2*d(o). Does 7 divide t(-5)?
False
Let l = -9620 + 11350. Is 10 a factor of l?
True
Suppose 3*h - 108 = 741. Suppose 3*t = 2*c + 2*c + h, -5*c = -4*t + 377. Is 9 a factor of t/4 - 3/(-4)?
False
Let x = 7146 + -4304. Is 58 a factor of x?
True
Let t be 364/42 - 1/(-3). Suppose 0 = t*h - 282 - 726. Suppose 0 = -115*x + h*x + 153. Does 8 divide x?
False
Suppose 3*h = -4*u + 24, 4*h - 2*u = 62 - 52. Suppose h*y = w + 668, -2*w + 364 = 4*y - 316. Is 28 a factor of y?
True
Suppose 5*k = 4*g - 20, -4 = 4*k + 4*g - 24. Suppose -1113 = -2*t + l, 1671 = -k*t + 3*t - 2*l. Let a = t + -375. Is 36 a factor of a?
True
Let d be 6/12*(22 - 0). Suppose -l = 4*h - 5, -h + 3*l = 4 + d. Suppose h = 3*f - 323 - 142. Does 31 divide f?
True
Let c(w) = -w**3 - 2*w**2 + 36*w + 11892. Is 10 a factor of c(0)?
False
Suppose 28*v - 433639 = -26*v + 383111. Is 55 a factor of v?
True
Let s(a) = 2581*a**2 - 5*a + 16. Let w be s(3). Does 14 divide (-1)/3 + -1 + w/30?
False
Let z(w) = -3*w + 6. Let b(x) = -10*x + 17. Let a(d) = 2*b(d) - 7*z(d). Let l be a(8). Suppose -720 = -5*r - l. Is r a multiple of 36?
True
Let j = 3290 + -4697. Let s = j - -2193. Is 14 a factor of s?
False
Let o(g) = 18*g + 567. Let d be o(-31). Let s(h) = 11*h + 0*h - 4 + 1. Does 12 divide s(d)?
True
Let f be (-1*3/3)/((-10)/610). Suppose 2*k + f - 343 = 0. Is 47 a factor of k?
True
Let g(d) = d**2 - d. Let w(s) = s**3 - 3*s**2 - 2*s - 5. Let x be w(4). Let o be g(x). Suppose 0 = o*r - 435 - 615. Is 30 a factor of r?
False
Let x be (-8)/8*(-1 - -1). Suppose 8*f - 765 + 245 = x. Let s = f + -53. Is s a multiple of 3?
True
Let t = -2723 - -11048. Is t a multiple of 65?
False
Suppose 5082000 = 358*m - 182*m. Is m a multiple of 279?
False
Suppose -18*a + 5266 = 5*o - 22*a, -4*a = -4*o + 4208. Does 46 divide o?
True
Suppose 0 = -29*f + 450761 + 148089. Is f a multiple of 11?
False
Suppose 11*h - 1202 = 151. Let w = h - -353. Does 55 divide w?
False
Suppose -35*d + 36*d + 1 = 0, -f + 5*d + 40125 = 0. Does 136 divide f?
True
Let u = -10 + -8. Let h = 10 - u. Let k = -6 + h. Does 7 divide k?
False
Suppose 10*k + 3*n = 5*k - 1112, -5*n = 20. Let f = -214 - k. Does 6 divide f?
True
Let y = 19 + -12. Suppose 2*w - y = -2*a + 5, -4*a + 3 = w. Suppose -784 = -w*m - m. Does 21 divide m?
False
Suppose -5*c + 36739 = -j, 0 = 4*c + 17*j - 15*j - 29408. Is c a multiple of 149?
False
Let a = 2155 - 1165. Is 90 a factor of a?
True
Let z = -648 - -753. Is 75 a factor of (13 - -2)/(7/z)?
True
Let p be -2 - -1 - 6*-1. Let y be 6/(-3)*1221/(-74). Suppose 5*b = -s + y, 0*s - p*s - 3*b = -99. Is 7 a factor of s?
False
Let z = 83 - 81. Does 31 divide ((-5)/10)/(z/(-240))?
False
Does 243 divide (-18)/4*(27 - 119100/36)?
False
Suppose -86*h = 7482 - 169248. Is h a multiple of 19?
True
Let j(f) = f**2 + 5*f + 4. Let v be j(-5). Suppose -m + 12 = r + v*m, 4*m = 12. Is 3 + r + 22 - -2 a multiple of 4?
True
Is 2746/6 + (-365)/219 a multiple of 3?
True
Suppose 0 = 3*f + u + 11, 0 = 3*u + 2*u + 25. Does 10 divide 22*5/(1 + -21)*f?
False
Let l = 161 + -148. Suppose -3000 = l*j - 21*j. Is j a multiple of 25?
True
Suppose -3*u - 4*d + 2426 = -2662, 5*u - 8480 = -d. Is u a multiple of 16?
True
Suppose 6*i + 26*i - 344125 - 32323 = 0. Is 29 a factor of i?
False
Let h(g) = 2*g**3 + 27*g**2 - 6*g - 37. Suppose -3*m - 5*m = 104. Is h(m) a multiple of 30?
True
Let w(r) = -11*r**3 - 3*r + 2. Suppose -4*v - 26 = 2*z, -2*v + 0*v + 56 = -2*z. Let d = 21 + z. Does 8 divide w(