ppose 24 = 3*m - m. Let r be (-12)/(-18)*-9*(-4)/8. Suppose 0 = -r*l + m, -g + 5*l + 75 + 12 = 0. Does 6 divide g?
False
Is (13/(-26)*-1130)/(1/1) a multiple of 85?
False
Suppose -115513 - 6617 = -115*n. Is 6 a factor of n?
True
Suppose 0 = 5*g + 2*b - 1075, 4*g - 2*b = 2*g + 430. Let f = g - 125. Is 5 a factor of f?
True
Is 32078/14 + 1 - (-100)/(-350) a multiple of 27?
False
Suppose 11*g = 1107 + 1016. Let w(r) = -2*r**2 - 1. Let h be w(-1). Let u = g + h. Is u a multiple of 19?
True
Let l be 216/168 - (-2)/(-7). Let a(q) = 93*q**3 + 3*q - 3. Does 17 divide a(l)?
False
Let o(h) be the second derivative of 281*h**5/20 - h**4/12 - h**3/6 + 3*h**2 - 6*h. Let a be o(2). Suppose 10*l - a = -308. Is 11 a factor of l?
False
Let x(d) be the second derivative of -d**3 + d - 5*d**2 + 3*d**3 - 16*d**2. Does 27 divide x(8)?
True
Let n = 238 + -274. Is 4/(n/(-1173)) - 2/6 a multiple of 10?
True
Suppose b - 163 = -3*u + 275, -5*b = 2*u - 2229. Does 2 divide b?
False
Let d be 268/(-5)*((-847)/22 - 4). Suppose -5*f + d = 3*k, -3*f + 3*k - 600 = -1962. Is f a multiple of 10?
False
Let q be 2*3*(-6)/(6*-3). Let d(v) = 89*v**3 - 1 + 9*v**q + 5 - 90*v**3 - 6*v + 3. Is 9 a factor of d(7)?
True
Let t = -1116 + 1680. Suppose 4*v = 1072 + t. Suppose 4*s - v + 118 = 3*o, 3*o = -s + 54. Is 14 a factor of s?
False
Suppose -5*c + 2*x + 70209 = 0, 4*c + 23*x = 19*x + 56184. Is c a multiple of 93?
True
Let o(r) = -3*r - 5*r**3 - 3 - 10*r**3 - 71*r**2 - 2*r + 66*r**2 - 2*r. Is 7 a factor of o(-3)?
True
Suppose 2*f - 58992 = 3*s, 0 = 1704*f - 1703*f - 3*s - 29508. Is f a multiple of 42?
True
Let n(d) be the second derivative of d**5/20 + d**4/2 + d**3 + 6*d**2 - d. Suppose 4*t - 2*z + 18 = 0, -84*z + 4 = -80*z. Is n(t) a multiple of 4?
True
Let a = -31836 - -62231. Is 10 a factor of a?
False
Let u(a) = 2*a**2 - 16*a - 46. Let t be u(10). Is (t/15)/(-1 - (-229)/230) a multiple of 4?
True
Suppose 106*z - 103*z - 4*p - 24847 = 0, 2*z - 5*p - 16553 = 0. Is 9 a factor of z?
True
Suppose -2*j + 254 = -2*x, 0*j + 3*x = j - 125. Let c = j - 113. Is c a multiple of 4?
False
Let k(z) = z**2 - 39*z + 2250. Does 238 divide k(-83)?
True
Let w(y) = y**2 - y. Let b(u) = -436*u**3 + 2*u**2 - 5*u + 2. Let h(s) = -b(s) + w(s). Is h(1) a multiple of 11?
False
Let t(a) = 2*a**3 + 15*a**2 + 10*a + 18. Let s be t(-6). Suppose 2*q - s = 2*c + 548, -4*q + 5*c + 1223 = 0. Does 13 divide q?
True
Suppose 16 = -4*w, -3*h + 3*w - 6*w = -726. Suppose -3*z - h = f, -4*z + 410 = -9*z - f. Let o = 3 - z. Is 14 a factor of o?
False
Let b = -245 - 670. Let s = 1380 + b. Suppose s = 4*t - 5*f, -5*t - 5*f + 375 = -2*t. Is t a multiple of 12?
True
Let n(r) = -24*r + 40. Let t be n(3). Is (-5643)/(-153) - (t/(-17) + -2) a multiple of 2?
False
Let d = 5974 - 580. Is d a multiple of 23?
False
Let m(q) = -3*q + 5 - 16 + 6*q + 8*q. Let g = 2 + 3. Does 30 divide m(g)?
False
Let j = -4987 + 9264. Is j a multiple of 13?
True
Let z be 63/(-18)*-1*8. Suppose 24*a - 1004 = -4*w + z*a, a - 761 = -3*w. Is w a multiple of 5?
False
Let u(w) be the second derivative of -w**4/12 - 2*w**3 + 15*w**2 + 9*w. Let h be u(-14). Suppose 0 = -5*a + v + 25, -h*a + 6*a = -5*v + 49. Is 4 a factor of a?
False
Suppose 25*w - 243600 - 46317 - 132358 = 0. Is w a multiple of 4?
False
Let b(h) = 111*h**2 + 155*h - 813. Is 119 a factor of b(5)?
True
Let c = -82 + 87. Suppose -u - 2*h + 272 = 0, 3*u + c*h - 1088 = -u. Is 22 a factor of u?
False
Suppose -14*c = 13041 + 553. Let a = -401 - c. Is a a multiple of 19?
True
Let y be (-4)/(-6) + (-120)/45. Let g be ((-1)/y)/((-2)/4). Is g + 1 + -1 - -78 a multiple of 11?
True
Let s(o) = 12*o**2 - 18*o + 8. Let m be s(16). Let a = -632 + m. Suppose 11*z - 2*z = a. Is 40 a factor of z?
True
Let h = 11411 + 10479. Is h a multiple of 22?
True
Let y(w) = -196*w - 4. Let q be y(-2). Let j = q - 94. Is 14 a factor of j?
True
Suppose -8*d + 9018 = -7*d - 2*s, -3*d + 27075 = s. Suppose -11*i = -19*i + d. Is i a multiple of 13?
False
Let t = -6142 - -7672. Is 45 a factor of t?
True
Let y be 1 + 21*(-4)/(-12). Suppose y*c - 949 = 1155. Is c - (4/6)/(2/(-9)) a multiple of 31?
False
Let i(j) = -j**3 + 10*j**2 + 22*j + 9. Let v be i(12). Let d = 308 + v. Is d a multiple of 53?
False
Suppose -3664 = -10*g + 1256. Suppose 2*i = -4*i + g. Is 2 a factor of i?
True
Is 80/32 + 92437/46 a multiple of 3?
False
Does 57 divide (0 + (-8)/(-6))*(-7 + 16 - -2421)?
False
Let a = 3157 + 327. Does 67 divide a?
True
Suppose 22*u - 18*u = 80. Suppose -14*c = -u*c + 858. Is 8 a factor of c?
False
Suppose -401 = 4*n - 39601. Is n a multiple of 140?
True
Let w(c) = 62*c - 2. Let f be (-4)/26 + 1355/(-65). Let y = -20 - f. Is 6 a factor of w(y)?
True
Suppose -8*l = 4*p - 12*l + 4, 4*l = p - 5. Is 5 a factor of -3*4/(-18) + (-118)/p?
True
Suppose 0 = -4*b - 3*t + 83359, -4*b + 90278 = 2*t + 6916. Is 241 a factor of b?
False
Suppose -288 = -21*f + 636. Suppose -418 = -6*b + f. Is 8 a factor of b?
False
Suppose -4903 - 7895 = -18*j. Is j a multiple of 79?
True
Suppose -12*u + 223652 = -118624. Is u a multiple of 15?
False
Let b = -119 - -137. Suppose b*q = 14*q + 500. Does 25 divide q?
True
Let c be 75/(4/80*-6). Let u = c - -149. Let v = 142 + u. Does 9 divide v?
False
Let u(c) = -3*c**2 - 5*c - 4. Let h(w) = w**2 - 1. Suppose -48*p - 16 = -52*p. Let x(z) = p*h(z) + u(z). Is x(-8) a multiple of 23?
False
Let r(d) = -4*d**3 + d**2 - d - 2. Is 39 a factor of r(-10)?
False
Let x(z) = 2*z**2 + 27. Let n(q) = -3*q + 27. Let v be n(8). Suppose 3 = -v*l, 2*y - 3*l + 14 = -1. Does 17 divide x(y)?
False
Let a(g) = g**2 + 1. Let m(y) = 4*y**2 - 5*y - 8. Let j(t) = -3*a(t) + m(t). Let z be j(6). Let d = 85 - z. Does 45 divide d?
True
Let g = 8511 + -2274. Is 33 a factor of g?
True
Suppose 120 = -8*z + 768. Suppose -2*x + 5 = n + 2*n, -8 = -2*x - 2*n. Suppose 0 = 8*i - x*i - z. Does 9 divide i?
True
Suppose 58*p - 56*p - 18 = 0. Suppose 13*m - 2178 = -p*m. Does 27 divide m?
False
Suppose -29*a - 1130358 - 28530 = -138*a. Is 174 a factor of a?
False
Suppose 3*p - 3*i + 150 = 0, -4*p + 2 = 4*i + 218. Let c = 52 + p. Suppose 6*l - 738 = -c*l. Does 31 divide l?
False
Let g = 2760 - 2015. Is 9 a factor of g?
False
Let t be (-2)/(20/(-2055))*(-1 + 3). Let m = t + 47. Is 21 a factor of m?
False
Suppose 0 = -3*n - 38 + 32. Let s be n/5 + 23/(-5) + 5. Suppose -4*b + 4*d + 24 = s, -2*b - 7 + 29 = 3*d. Does 3 divide b?
False
Let x = -27314 + 44306. Does 12 divide x?
True
Let d(b) = b**2 - 41*b + 78. Let y be d(39). Suppose g = -2*g + 15. Let v = g - y. Is v a multiple of 5?
True
Suppose -4*z = -8, 80*i - 78*i + 3*z = 4316. Suppose 3*p - 28*f = -27*f + i, -2*p - 3*f + 1455 = 0. Is p a multiple of 20?
True
Let g(q) be the third derivative of q**6/120 - q**5/15 - 7*q**4/24 + q**3 - 10*q**2. Let m be g(5). Let b(i) = -2*i + 12. Does 10 divide b(m)?
True
Does 10 divide 12/2 - (-31 + 10 - 1232)?
False
Let f(b) = -b**2 - 19*b + 6. Suppose 3*z = -5*p + 2*p + 63, 4*p - 89 = z. Let d = -41 + p. Does 6 divide f(d)?
True
Let z = -60 + 69. Suppose 0 = 2*v - 4*h - 41 + z, 3*v - 42 = 4*h. Does 7 divide v?
False
Let j be (-2)/((-12)/(-4) + 22/(-6)). Let m be (5 - j) + (1 - -1)*-1. Suppose m = -2*n + 11*n - 1764. Is n a multiple of 32?
False
Is 66/3 + -7 + 281 a multiple of 74?
True
Let s(k) = 0*k - 20*k + 21 - 3. Let z(j) = 2*j**3 + 71*j**2 - 38*j - 81. Let d be z(-36). Is s(d) a multiple of 25?
False
Suppose -g = 2*k - k - 5, 5*k + 31 = 3*g. Let y(h) = h - 6. Let s be y(g). Is (-297)/(-9)*s/3 a multiple of 2?
False
Let b = -12297 + 12290. Let a(q) = -q - 1. Let o(x) = 30*x + 32. Let n(u) = -3*a(u) - o(u). Does 20 divide n(b)?
True
Let a be 6238/10 + 3/15. Suppose -10*s = -7*s - a. Is s a multiple of 16?
True
Suppose -2 = -k - 2*v, 2*k + 1 = -5*v + 8. Is 19 a factor of k - -2 - 4 - -147?
False
Let h(a) = 108*a**2 + 47 - 22 - 19 + 3*a**2 - 5*a + 12*a. Is h(-1) a multiple of 6?
False
Suppose -p - 90*g + 86*g = -25838, 3*p - 77402 = 2*g. Does 187 divide p?
True
Let n = 6 + 17. Suppose 6858 + 14394 = n*p. Is p a multiple of 66?
True
Let y(o) be the first derivative of 4*o**3/3 - o**2 - 27*o + 182. Is 3 a factor of y(-4)?
True
Let j be -2*8/(-16) + 1. Suppose -5*g - 4*t = -2*t - 5915, -2355 = -j*g - 3*t. Is g a multiple of 96?
False
Is 15 a factor of (50/6)/((-1253)/630 - -2)?
T