*m(v). Is d(-3) a multiple of 38?
True
Let f(u) = -u**3 + 30*u**2 + 245*u - 5932. Is 5 a factor of f(27)?
True
Suppose -153 + 1805 = x - 2*f, 1662 = x + 3*f. Does 18 divide x?
True
Does 11 divide (495/(-35) + 15)*2877?
False
Suppose -5*t - 17*t - 59950 = 0. Let x = t - -3958. Is 62 a factor of x?
False
Let z(o) be the first derivative of o**3/3 + 4*o**2 + 9*o + 298. Let w be (8/10)/((-1)/(-10)). Is 19 a factor of z(w)?
False
Suppose 5*i + 85*v - 88*v = 56967, -v = -3*i + 34177. Is i a multiple of 72?
False
Is 141 a factor of (-2)/6 - (-80)/(-30) - -24819?
True
Let b(p) = 36*p - 135. Let w = 298 - 283. Does 45 divide b(w)?
True
Suppose -4*z - 3*p + 147 = z, 3*z + 5*p = 101. Suppose -k = -2*q - q - 105, -100 = -k - 2*q. Suppose -z*j + k = -25*j. Is 14 a factor of j?
False
Let g(n) = 48*n - 139. Let r be g(-8). Let b = r - -928. Is b a multiple of 27?
True
Suppose 10825 = 4*f - 3*m + 124, 5 = m. Does 19 divide f?
True
Let n(c) be the first derivative of -2*c**2 - 68*c + 137. Is 28 a factor of n(-38)?
True
Let t be (-7)/28 + 2570/8. Suppose 3*b + t = -0*b. Let s = -98 - b. Is 2 a factor of s?
False
Let k(f) = -218*f - 3838. Is k(-35) a multiple of 12?
True
Let p = 657 + -533. Let k = 165 + p. Is 21 a factor of k?
False
Suppose -3*c = 5*z - 261, z - 4*c = -8*c + 42. Is (54/(-7))/(-2 - z/(-28)) a multiple of 8?
False
Suppose v - 2*h - 2 = 0, -5*h + 25 = -v + 6*v. Suppose -1 = -o + v. Suppose -3*r + o*y + 112 = 0, -40 = -3*r + 2*r - y. Is 13 a factor of r?
True
Suppose -2*h - 4*l + l + 173 = 0, 0 = 5*h - 3*l - 443. Suppose 3*v + h = 1168. Does 60 divide v?
True
Let n(w) = 3318*w - 5353. Is 15 a factor of n(23)?
False
Is 71 a factor of (-253520)/(-70) - (-15)/(-21)?
True
Suppose -4*m = 5*o - 3, 4*m + 1 - 13 = 4*o. Let x be 5 + o*6/(-4)*-2. Is 6 a factor of (1 - (3 + -4 + x)) + 94?
False
Is (-4285 + 1)*(110 + -112) a multiple of 7?
True
Suppose 52*t = 58*t - 90. Let k(n) = -4*n**2 + 18*n + 10. Let v(b) = 3*b**2 - 17*b - 11. Let f(p) = -2*k(p) - 3*v(p). Does 13 divide f(t)?
True
Let b(t) = 146*t + 5. Let o be (12/21)/((-4)/(-14)*1). Let s be b(o). Let u = -196 + s. Is u a multiple of 22?
False
Let y(h) = 14*h**2 - 10*h**2 + 16*h**2 + 0 - 3. Is y(2) a multiple of 5?
False
Let q(u) = -u**3 - 9*u**2 - 18*u + 2. Let f be q(-6). Let g be (2/(-2) + 6)*1. Suppose -5*p - g*d + 315 = 0, 5*p - 309 = -d - f*d. Is p a multiple of 20?
True
Suppose 4*h = 5*a, 5*h + a - 3 - 26 = 0. Let g be 9/h + 1/5. Suppose -g*u = -4*u + 52. Is 2 a factor of u?
True
Let q(c) = -9*c**2 + 4*c + 26. Let i(x) = 46*x**2 - 20*x - 129. Let h(j) = -2*i(j) - 11*q(j). Is h(-6) a multiple of 4?
True
Let a be 96/56*(-7)/(-2). Suppose -1324 = -5*n + 4*d, 5*d = 5*n + a*d - 1319. Does 8 divide n?
True
Suppose -339 = -5*z - 319. Suppose -5*d = -5*y + 1795, -5*y + 355 = -z*y - 3*d. Does 40 divide y?
False
Suppose -3*b + 2283 = -3*f, 0*f = 5*b + 2*f - 3840. Suppose 1 = q, -4*q = -0*x - 5*x + b. Is 7 a factor of x?
True
Does 11 divide -4 + 1822/(((-12)/(-144))/((-3)/(-8)))?
True
Let y be 22/4 + 1/2. Is 1195*(-6)/(-60)*y a multiple of 15?
False
Suppose 1 = -7*j + 15. Suppose -2*q = j*f - 198, 8*q = -5*f + 13*q + 455. Is 7 a factor of f?
False
Does 12 divide 11 - ((-12)/22 - 42228529/1771)?
True
Suppose -8*g - 11250 = -9*g - 2010. Does 21 divide g?
True
Suppose 5*v - 19234 = 4*z - 71765, -4*v = -z + 13119. Is 159 a factor of z?
False
Let c be -4 - 5/(35/(-9247)). Let w = c - 742. Does 23 divide w?
True
Let m be 2 + 8*(20/(-16) - -1). Suppose h - 94 - 224 = m. Does 33 divide h?
False
Suppose 0 = 22*t - 26*t + 2380. Suppose q - 984 = -5*d, -2*d - 4*q - t = -5*d. Is d a multiple of 8?
False
Let k(w) = -4*w**2 - 240*w + 152. Does 14 divide k(-43)?
False
Suppose 4*q = -6*v + 2*v + 448, 3*v + 5*q = 344. Let f = v - 56. Does 4 divide f?
True
Suppose -634*s + 659*s = 43400. Is 14 a factor of s?
True
Let i = 3186 + -2766. Is i a multiple of 35?
True
Let d = -1442 - -3584. Does 34 divide d?
True
Suppose 22*o + 12048 = 16*o. Is (-42)/84*o/2 a multiple of 15?
False
Let h be ((-32)/(-160))/((-6)/70)*-12. Does 4 divide (147/h + -6)*-64?
True
Let f(j) = -2*j**3 + 21*j**2 - 14*j + 8. Suppose 5*c + 9 + 22 = 2*p, 4*c + 44 = 4*p. Is 13 a factor of f(p)?
False
Suppose -4*y - 2 = -62. Let t be -1*498/(-9)*y. Suppose -21*o + 11*o + t = 0. Is 26 a factor of o?
False
Let o = -310 - -342. Does 8 divide 4/(o/7288*1)?
False
Let m(p) = -15*p - 7. Let g be m(-3). Suppose -6*x + 128 = g. Suppose -2*o + x + 85 = 0. Does 10 divide o?
True
Let z be (-267)/445 + -2 + (-56)/(-10). Let s(a) = a**3 - 2*a**2 - 15*a + 50. Is s(z) a multiple of 2?
True
Suppose -57*s + 171922 - 77693 = -540067. Is 13 a factor of s?
True
Let k(u) = -6*u - 13. Let r be k(-4). Let j = 31 - r. Does 10 divide j?
True
Let l(f) = 4*f - 47. Let m be l(12). Let i be (-262 - (-1)/m)/(3 - 4). Suppose 0 = -3*c + 5*p + 223, -i + 12 = -4*c - 3*p. Does 11 divide c?
True
Let y be ((-1008)/171 - (-4)/(-38))/(-2). Let u(g) = -g + 3. Let f be u(-3). Suppose -5*h = 4*j - 146, -f*h = -4*h + y*j - 64. Is 7 a factor of h?
False
Suppose 299*l = 2*o + 304*l - 26735, -3*o = -5*l - 40115. Is o a multiple of 10?
True
Suppose 5*o - 2262 = -29*o + 8142. Is o a multiple of 153?
True
Suppose -4*m = -4*b - 36, 0*m - m = 2*b + 3. Suppose -10*a = -9*a - m*p - 309, -p = -3*a + 913. Does 12 divide a?
False
Suppose -34*t + 30*t - 18050 = -5*s, 2*t + 18040 = 5*s. Suppose 1680 = 2*d - 2*w, 5*d - 3*w - 588 - s = 0. Does 54 divide d?
False
Let w(q) = -q**3 + 12*q**2 + 2*q + 21. Let z be w(11). Suppose -8*x = -6*x - z. Does 5 divide x?
False
Suppose 5*h - 3*h - 10 = 0. Suppose -51 = 35*w - 51. Suppose -5*b = c - 268, -h*b + c + 272 = -w*c. Is 36 a factor of b?
False
Let n(u) = 4 - 2*u**2 + 11*u + 2 + 62*u**3 - 14*u - 2. Let o be n(2). Suppose -h + o = 8*h. Is h a multiple of 18?
True
Suppose 5*m - 1782 = -422. Suppose -6*p + 1095 = -2*p + h, p + 2*h - m = 0. Does 20 divide p?
False
Suppose 16 + 8 = 6*k. Suppose k*i + i + 145 = 0. Let z = i + 40. Does 4 divide z?
False
Let s(j) be the second derivative of -5*j**3/3 - 15*j**2/2 - 3*j. Let t be s(-5). Suppose 0 = t*x - 38*x + 150. Is 6 a factor of x?
False
Suppose x + 4*c + 9 - 304 = 0, 0 = 3*x - 4*c - 805. Let w = -83 + x. Is w a multiple of 48?
True
Let t = -5641 + 28419. Is t a multiple of 69?
False
Let t(a) = -a**3 - a**2 + 4*a - 1. Let l be t(-3). Suppose 3*z = -l*z. Is 30 a factor of z - 3 - -37 - -3?
False
Suppose 8*b = -34 + 218. Suppose 4*t + 27 = b. Does 65 divide (t + -12)/((-17)/85)?
True
Let f = 209 - 556. Let s = -188 - f. Does 7 divide s?
False
Let i = 75 + -73. Suppose 0*r = -2*r + i*w + 3344, 1668 = r + 3*w. Suppose r = 8*z + 39. Is z a multiple of 51?
True
Let k be ((-90)/(-54))/(15/(-18)). Is k - -412 - (4 + (7 - 8)) a multiple of 11?
True
Suppose c = 7 - 17. Let b(y) = -y**2 - 23*y + 8. Let g be b(c). Let x = -86 + g. Is 20 a factor of x?
False
Does 23 divide (-21327)/(-16) - (-2)/32?
False
Let w(y) = -56 + 23*y**2 - y**3 - 26*y**2 + 2*y**2 - 16*y. Does 16 divide w(-9)?
True
Let i(k) = 3*k**2 + 2*k + 3. Let g be i(0). Suppose 0 = -3*y + 5*x + 3075, -g*y + 3*x - 2069 = -5*y. Is 12 a factor of y?
False
Let d(g) = -21*g. Let b be d(-3). Let h = 116 - b. Suppose h = -n + 73. Is n a multiple of 10?
True
Let p(d) = 30*d - 45. Let k be 5 + 15*(15/(-9))/(-5). Is p(k) a multiple of 17?
True
Let o = -6 - -41. Suppose 0 = -143*d + 151*d - 80. Is 6 a factor of 174/d + 21/o?
True
Let g(i) = i**3 + 30*i**2 - i - 6. Let q(o) = -2*o**3 - 58*o**2 + o + 12. Let v(c) = 5*g(c) + 3*q(c). Does 3 divide v(-24)?
True
Is (9/4 - (-288)/(-128)) + 21325 a multiple of 28?
False
Let w be 1*(9/(-3) - -7). Let j = w + -14. Let d(b) = -18*b + 40. Is 20 a factor of d(j)?
True
Suppose 3*z = 2*z + 2. Suppose 0 = z*n - p - 213, -5*n = -n - 5*p - 435. Let a = -56 + n. Is 35 a factor of a?
False
Suppose 53241 = 16*t - 63999 + 12184. Is 7 a factor of t?
True
Suppose 3*f + 4*b + 5 = 0, 0 = -f + 6*f + 4*b + 3. Let v be f + (12*127 - -5). Suppose 5*t - v = -10*t. Does 6 divide t?
True
Let p be 1*45 + 3*(-2)/3. Let k = 42 - p. Is 21 a factor of k - -103 - (-12)/(-4)?
False
Let n = 29676 + -28086. Is 15 a factor of n?
True
Let y = 15599 - 8306. Is y a multiple of 13?
True
Suppose 2*r + 3*k = 6*r - 2097, 0 = 3*k - 15. Suppose 23*i = i + r. Is -4 - ((-8)/i)/(2/1374) a multiple