- 1)/1). Suppose -p = -d + 2*d - 60, 0 = 3*p - h*d - w. Is p a multiple of 27?
False
Suppose -5*l = 3*y - 6412, 189*l = -2*y + 188*l + 4277. Does 31 divide y?
True
Let y = -8099 + 10538. Is y a multiple of 48?
False
Let g = -44 - -76. Suppose 0 = 4*r - 6*r - g. Let s(v) = v**2 + 15*v - 5. Does 6 divide s(r)?
False
Let l(b) = b**3 - b + 6. Let u = 37 + -2. Let d = 38 - u. Is 30 a factor of l(d)?
True
Is -22 + 8 + -7 + 26640 a multiple of 27?
False
Suppose -2*v = 4*v - 48. Suppose -v + 44 = i. Let r = -1 + i. Is 6 a factor of r?
False
Let c(x) = x**2 - x. Suppose -2*h + 17 = 5*v, 4*h + 24 = 3*h + 4*v. Let r(q) = -7*q**2 - 5*q + 3. Let t(a) = h*c(a) - r(a). Is t(7) a multiple of 20?
False
Let d(i) be the second derivative of -5*i**3/3 - i**2 - 2*i. Let w be d(-2). Let z = w + 15. Does 7 divide z?
False
Let o(v) = 15*v - 25 - 61*v + 25*v. Is 5 a factor of o(-5)?
True
Let z(t) = t**3 + 96*t**2 + 276*t + 55. Is z(-93) a multiple of 10?
False
Let l = -31 - -76. Let v = -34 + l. Let p = 9 + v. Does 20 divide p?
True
Let o(q) = q**2 - 5*q - 9. Let r be o(7). Let f(t) = 7*t**2 - 26. Let b(p) = -p**2 + p. Let x(w) = r*b(w) + f(w). Does 11 divide x(6)?
False
Suppose 5*n = -t + 12, t - 4 = -3*t + 2*n. Let l(y) = -6 + t*y**2 - 40*y + 55*y - 4*y**2 + y**2. Does 9 divide l(12)?
False
Let h = -652 - -652. Suppose h = -22*x + 39*x - 4760. Does 5 divide x?
True
Does 66 divide 264*((-535)/(-20) + (-3 - 4))?
True
Let a = 4 - -9. Let v be -1 + 48 + (a - 12). Let g = v - 14. Does 2 divide g?
True
Suppose -6730 = -5*l + w, -99*l + 5*w = -97*l - 2692. Is l a multiple of 14?
False
Let x(n) = 5*n + 6*n + 5 + 26*n - 74. Is x(20) a multiple of 31?
False
Let x(s) = -s**3 - 36*s**2 + 75*s - 29. Let j be x(-38). Is 3 a factor of (-3)/4 + (-214)/(-8)*j?
True
Let j = -639 - -1625. Is j a multiple of 34?
True
Suppose 4*z + 1370 + 554 = 5*s, -2*s + 765 = 3*z. Does 3 divide s?
True
Let p = 8512 - 4648. Is p a multiple of 8?
True
Suppose 1254*v - 1246*v - 17680 = 0. Does 34 divide v?
True
Let i = -128 - -152. Is 9/(54/i) + (-1 - -447) a multiple of 25?
True
Let t(y) = -5*y + 7. Let j(z) = 6*z - 9. Let c(l) = 4*j(l) + 5*t(l). Let f be c(7). Does 13 divide f/(-6)*273/14?
True
Let b = 107 + -12. Let j = -25 + b. Does 6 divide j?
False
Let o(p) = -143*p + 104. Let m(k) = 423*k - 312. Let r(l) = 6*m(l) + 17*o(l). Does 3 divide r(4)?
True
Let u = 2289 - 1830. Is u a multiple of 9?
True
Let f be (6 - 29) + -3 + 1. Let a = 295 - 163. Let j = a + f. Is j a multiple of 12?
False
Let g(o) = -45*o - 2 + 2 - 23*o - 24 + 29*o**2 - 31*o**2. Is 14 a factor of g(-33)?
True
Is (1818/(-10))/(465/(-10850)) a multiple of 18?
False
Let s(d) = -50*d**3 - 10 + 13*d - 3*d**2 + 3*d**2 + 51*d**3 - 2*d**2. Is 11 a factor of s(5)?
False
Does 7 divide (-1727)/(-7) - 4 - 8/(-28)?
False
Suppose -17860 = 4*d - 22596. Does 16 divide d?
True
Does 8 divide -481*(-10 + 19 + -21)?
False
Let m be (-2)/(-14) - 157638/(-602). Suppose 2*j + 2*x - 60 = 0, 0 = 5*j + 4*x + 109 - m. Does 33 divide j?
True
Let p be (-28)/(-42) + 118/(-6). Let v = p + -109. Let m = v - -219. Does 25 divide m?
False
Let k(i) = -2*i**3 - 2*i**2 + 9*i + 41. Let j(x) = x**3 + 2*x**2 - 5*x - 20. Let d(z) = -5*j(z) - 2*k(z). Is 33 a factor of d(-9)?
True
Suppose 33*j - 25*j = 12394 - 746. Is j a multiple of 26?
True
Let q(z) = 3*z**2 + 5*z - 11. Let k be q(-16). Let y = k - 407. Is 5 a factor of y?
True
Let i(b) = -13*b + 184. Let q be i(14). Suppose -7*x + 6 = -4*x. Suppose 5*j - 320 = x*j + q*h, -j + 118 = 5*h. Does 27 divide j?
True
Is 43 a factor of (-28)/36*(-4)/14 + (-1421232)/(-216)?
False
Let y(r) = -5*r**3 - 8*r**2 + 164*r + 1024. Is y(-6) a multiple of 4?
True
Suppose 12*a + 429 = -21*a. Let h(m) = -m**2 - m - 1. Let u(x) = 4*x**2 - 2*x + 16. Let j(b) = -5*h(b) - u(b). Does 7 divide j(a)?
False
Let x be 1/(-4) + (-961025)/(-260). Suppose -81*l = -75*l - x. Does 28 divide l?
True
Let i be 739/3 - ((-10)/(-3) + -3). Suppose 73 = -4*b + 453. Let h = i - b. Does 49 divide h?
False
Does 9 divide ((-787)/6 - 4/(-6))*-286?
True
Let u(o) = 3*o - 30. Let d be u(10). Suppose d = l + m + 1, -4*l + 4 = -4*m. Suppose 0 = 5*r - 4*r + 5*i - 99, l = 5*i - 25. Is r a multiple of 12?
False
Let i be (20/(-16) - -2)/((-2)/8). Is i/((-15)/697) - (-27)/45 a multiple of 5?
True
Let g(n) = -37*n**3 + 8*n**2 - 4*n + 36. Does 13 divide g(-4)?
True
Suppose 0*f = -3*f + 66 + 69. Is 3 a factor of f?
True
Let n be (-21)/(-63) + (-2 - (-461)/3). Let c be 17/((-2)/n*-4). Suppose 0 = -4*d + c + 157. Does 15 divide d?
True
Suppose 5*q + 4380 = -2*v, 0*q + 3*v = -5*q - 4375. Let z be (-2)/(-5) - q/5. Suppose -3*h + 2*u + z = 0, 3*h - u - 233 = -h. Is h a multiple of 29?
True
Is (14808/(-240))/(4/(-40)) a multiple of 6?
False
Suppose 63803 = 36*z + 55*z - 36297. Is z a multiple of 20?
True
Suppose 22015 = 79*o - 40274 - 91287. Is o a multiple of 27?
True
Suppose -4*h + 51740 = 3*w, -2*w - 6*h + 34497 = -7*h. Is 22 a factor of w?
True
Suppose -4*y + 1104 + 840 = 4*w, -w = 2. Let i = y + -264. Does 35 divide i?
False
Suppose 0 = -67*g + 943 + 118183. Does 7 divide g?
True
Is (-44246725)/(-1900) + -5 + 5 + 3/(-4) a multiple of 6?
False
Suppose -7*t - 13039 = -91243. Is 57 a factor of t?
True
Let t(m) = -2*m**2 - 13*m - 30. Let o be t(-4). Is 8 a factor of 4 - (-49 + o/(-2))?
True
Suppose a + 2*i = 8, 2*a + 5*i = 14 + 3. Let l be (-128)/(-20) - a - (-998)/5. Suppose -3*k = -2*c - 580, c - 3*c = -k + l. Is 19 a factor of k?
True
Let p be -45*(912/18)/(-8). Suppose -633 = -3*f + p. Is 9 a factor of f?
True
Suppose 4*s - y - 46 = 10, s - 4*y = -1. Suppose -4*p + 1432 + 4376 = 0. Suppose 4*d = s*d - p. Does 15 divide d?
False
Let t(o) = -84*o + 3*o**2 + 80*o - 2 - 1. Is 23 a factor of t(-5)?
True
Let q be (36252/(-399))/((-2)/(-7)). Let a = 1026 + -558. Let o = a + q. Does 25 divide o?
True
Let q(w) = -31 - 2*w**2 + 31 - w. Let i be q(0). Suppose 5*t + i*y = y + 241, -y - 145 = -3*t. Is t a multiple of 12?
True
Suppose -2*n - 44 = -6*n. Let m = n - 6. Suppose 688 = 9*x - m*x. Does 23 divide x?
False
Let a = -27 - -49. Let x be (24/14)/(a/1155). Suppose x = d + d. Is 12 a factor of d?
False
Suppose 0 = -132*a + 35*a + 778716. Does 31 divide a?
False
Suppose -3*f + 52 = 5*b, 2*f + 5*b = -0*f + 43. Let d(w) = -20*w + 4*w + 5 + w**3 - f*w**2 + 0*w**2. Is 6 a factor of d(11)?
False
Let m(f) = -f**2 - 6*f. Let u be m(-5). Does 49 divide (-1596)/(-2) - (u + 1)?
False
Let o(m) = m**3 - 3*m**2 - 42*m - 21. Suppose 57*f - 58*f = -9. Does 29 divide o(f)?
True
Let w(a) = a**2 - 4*a + 2. Let h be w(3). Let b be -6*1*h/2. Suppose b*y = 12*y - 270. Is 30 a factor of y?
True
Suppose 46*j + 225559 - 433969 - 244230 = 0. Is j a multiple of 205?
True
Suppose -k + 14 = 2*g, 2*k + 0 + 8 = 2*g. Suppose g*x = -0*x + 3168. Suppose 3*f - 34 - 102 = -o, -4*o = -4*f - x. Is 23 a factor of o?
False
Suppose -5*o = 5*d - 156105, 5*o = 147*d - 150*d + 93659. Does 18 divide d?
False
Let o(a) = -18*a + 43. Let x be o(2). Is 6 a factor of ((13 - x) + -15)*-2?
True
Let z be ((-1)/2)/((-8)/16). Let w be (-50)/(-8) + z*3/(-12). Suppose -5*v - b = -617, -508 = 2*v - w*v + 4*b. Is 42 a factor of v?
False
Is 19776 - (15/(-21))/(26/(-182)) a multiple of 17?
True
Suppose 2*o - 3*x - 9460 = 0, -o - 21*x = -20*x - 4720. Suppose 41*a + 542 = o. Is a a multiple of 4?
False
Suppose -v + 634 = 4*m, -475 = -3*m + 170*v - 171*v. Is m a multiple of 5?
False
Suppose -2*o + 1850 = -4*l, -4*o + 3*l + 3682 = 4*l. Let t = o + -185. Is t a multiple of 16?
True
Suppose 13*r - 209 = -14. Does 16 divide 2/r - 1526/(-630)*21?
False
Is 33 a factor of (777612/(-1370))/((-4)/10)?
True
Suppose 39*n = 43053 + 44307. Is n a multiple of 112?
True
Let c = 89 + -69. Let t = -17 + c. Suppose -6*k + t*k + 321 = 0. Is k a multiple of 16?
False
Suppose -5*y + 44 = -2*j, 2*y + 3*j + 0 - 10 = 0. Suppose 0 = 35*c - 37*c + y. Suppose c*p - 52 = -4*d, 2*p - 16 = -0*d - d. Is 3 a factor of d?
False
Let c(i) be the third derivative of i**5/60 - i**4/24 - i**3/3 - 4*i**2. Let k be c(3). Let d(v) = 4*v**2 - 7*v + 8. Is 22 a factor of d(k)?
True
Suppose -3*y - p = -1106, 490 + 596 = 3*y - 3*p. Let c = y - -8. Suppose -c + 1245 = 5*w. Is 16 a factor of w?
False
Let c = -21985 + 43551. Is c a multiple of 50?
False
Suppose -147116 = 31*r - 385692. Is 104 a factor 