(v)?
False
Let r(h) be the second derivative of h**4/6 + 2*h**3/3 + 7*h**2/2 + 42*h. Let y be (15/(-10))/((-6)/(-16)). Is r(y) even?
False
Suppose 5*k = 20, 5*v - 5*k = 9356 - 106. Suppose -25*g = -19*g - v. Does 10 divide g?
False
Let d = 28 + -28. Suppose -4*q + 6*q - 8 = d. Let m(g) = -g**3 + 6*g**2 - 3*g + 5. Is m(q) a multiple of 6?
False
Let l(k) = -868*k**3 - 8*k**2 + 16*k - 2. Let s(y) = 434*y**3 + 4*y**2 - 9*y + 1. Let t(i) = -3*l(i) - 5*s(i). Is t(1) a multiple of 32?
False
Suppose -23*w - 398 = 62. Is ((-7)/(70/(-102)))/((-2)/w) a multiple of 4?
False
Let f = -504 + 508. Suppose 2*s + 5*o = 4*o + 1151, -f*s + 2306 = -2*o. Is 12 a factor of s?
True
Suppose -100 - 68 = -14*f. Suppose 0 = -15*y + 12*y - f, -3*k - y + 2828 = 0. Is k a multiple of 16?
True
Let x(s) = 2*s + 23. Let h be x(-8). Suppose 18*a - 44 = h*a. Is 25 a factor of (10/a - 2) + 1197/6?
True
Is -8 + (-665792)/303*90/(-8) a multiple of 40?
False
Suppose 0 = -2*a + s + 10158, 4*a + 2*s - 11251 = 9073. Does 28 divide a?
False
Suppose -461*f + 7079 = -460*f - 4*s, 14103 = 2*f + 3*s. Does 39 divide f?
True
Let u(s) = 11*s**2 + 16*s - 291. Is u(13) a multiple of 148?
True
Let u be (-4)/(-7)*14/4 - -184. Let d = 359 - u. Is 8 a factor of d?
False
Suppose 0 = 1154*w - 1153*w - 5814. Is w a multiple of 9?
True
Let t(j) = 57*j + 1867. Does 5 divide t(17)?
False
Let v be (-2)/(-12) + -1 + (-17)/(-6). Suppose -130 - 135 = -y + 3*l, 0 = v*y + 5*l - 486. Is 10 a factor of y?
False
Let u = 1479 - 787. Suppose u = a - 4*s, a = -a - 2*s + 1364. Suppose 9*t = 5*t + a. Does 19 divide t?
True
Let y = 739 - 693. Let z be -37*(2 + 1 + -2). Let x = z + y. Is 3 a factor of x?
True
Suppose -f - 3 - 2 = 0, -2*f - 75 = -5*m. Let o = 58 + m. Suppose -4*n = w - 2*n - o, 0 = w - 4*n - 65. Does 23 divide w?
True
Is 16 a factor of 9040 + (-10 - (3 - 13))?
True
Let h = 30032 - 3632. Is h a multiple of 220?
True
Let v be (-18)/(-8) + (-1)/4. Suppose -125*d - 407 = -124*d. Is 45 a factor of d*(-5)/45 + v/(-9)?
True
Suppose -10 = 4*g + u, 0*g = -3*g + u - 4. Let w be (4/6)/((12/g)/(-18)). Suppose -w*i + 7*i - 3*o - 281 = 0, 0 = -5*o + 15. Does 11 divide i?
False
Let k be -2 + ((-8)/4 - -4). Suppose k = 80*q - 76*q - 160. Does 28 divide q?
False
Is (-1170)/1053 + 295896/27 a multiple of 58?
False
Let x = 4681 - -2497. Is x a multiple of 74?
True
Let p(q) = -368*q. Let x be p(-2). Let s(k) = -18*k**2 + 87*k - 7. Let f be s(-3). Let y = f + x. Is y a multiple of 34?
True
Suppose -38 = -5*d - 13. Suppose -780 = d*h + 275. Let v = h + 327. Is v a multiple of 45?
False
Suppose r = -m - 2*m + 318, m = -4*r + 95. Suppose -c - m = c - s, -2*c = -5*s + 103. Is 3 a factor of (-252)/c*(3 - 0)?
False
Let d(a) = 2*a**3 + 11*a**2 - 21*a. Let m be d(-7). Suppose m = 12*s - 1370 + 134. Is 6 a factor of s?
False
Let v be -2 + (-208)/(-3 - -1). Suppose 3*o - v = -5*u - 0*u, -4*u = 3*o - 99. Suppose -2 = x - o. Does 18 divide x?
False
Let h = 149 - 154. Is 8 a factor of (-764)/(-2) - (h + (-27)/(-9))?
True
Let f = -242 - -158. Let z = f + 70. Does 10 divide (-1 + -9)/(1/z)?
True
Let d(l) = l**2 + 10*l - 43. Let q be d(5). Suppose -q*p + 8139 - 1867 = 0. Is 14 a factor of p?
True
Is 30 a factor of -11*(-36)/132 + 2*4151 + 2?
False
Suppose 9879 = -4564*g + 4567*g. Is 121 a factor of g?
False
Let y(b) = 14*b**2 - 70*b + 1210. Is 259 a factor of y(-37)?
False
Let y be 22/(1/18*-3). Let j = 220 + y. Suppose -3*v - 3*d + 50 = -4*d, 4*d - j = -4*v. Is v even?
True
Suppose -2*y - 33444 = -4*l, -2*y - 16298 = -3*l + 8786. Does 76 divide l?
True
Suppose 0 = -4*g + 4 + 8. Suppose -5*s + r + g*r = 3, -3*s - 1 = -2*r. Is (-3 - s/(-1))*(6 - 11) a multiple of 10?
True
Let m be 6 - ((-30)/6 - -9). Let q(i) = 22*i**3 - i**2 + 2*i - 1. Is q(m) a multiple of 5?
True
Suppose 31675 - 19691 = 8*n. Is 4 a factor of n?
False
Let b = 57 - 22. Let i be 24*4*(b/(-16) + 2). Let k(t) = -2*t + 44. Is 40 a factor of k(i)?
True
Let o = 8249 - 6247. Is o a multiple of 7?
True
Suppose -26322 = -31*j + 8460. Is j even?
True
Suppose -6*w + 0*w + 13389 + 3453 = 0. Does 26 divide w?
False
Let h(u) = -4*u - 3. Let w be h(-2). Suppose 42*i - 38*i + 11 = 3*b, -4*b = -4*i - 16. Suppose -s - 2*q = w - 3, 4*s = -b*q + 4. Is s a multiple of 4?
False
Let c be (6/4)/(1/128*-3). Let z = c + 107. Is z a multiple of 43?
True
Suppose 648*l + 349860 = 655*l. Is (l/56)/((-1)/(-2)) a multiple of 21?
True
Let g = 173 + -173. Suppose g = -r - 70 + 262. Is r a multiple of 23?
False
Suppose 2*f + 37 + 9 = 0. Let l = 49 + f. Suppose -l*j - 252 = -30*j. Is j a multiple of 7?
True
Suppose 16 + 4 = 5*d. Suppose -d*p - 1292 = -3*c + 675, 1330 = 2*c + 2*p. Suppose 3*o - 3*h - 387 = 0, 8*o - h = 3*o + c. Does 7 divide o?
True
Let y = -2351 - -19795. Does 49 divide y?
True
Let j(v) = 6*v**3 - 2*v**2 - 5*v - 16. Let i(g) = 7*g**3 - 3*g**2 - 4*g - 16. Let r(k) = -3*i(k) + 2*j(k). Is r(-4) a multiple of 87?
False
Suppose 3*k = -12, -2*j - 2 = 8*k - 5*k. Suppose 0 = -b - 3*m - 428, -4*m + 2208 = -j*b - 2*m. Let q = 637 + b. Is 12 a factor of q?
False
Let i(v) = v**2 + 7*v + 10. Let a be i(-6). Let q be 262 - 3*a/12. Suppose 6*b - q = 3*b. Is 12 a factor of b?
False
Suppose -19*k - 420 = -22*k. Let v = k + -138. Suppose -v*r = -15*r + 572. Is r a multiple of 27?
False
Suppose -4*p + 4*b - 12 = 0, -9*b + 10*b + 3 = 0. Is p/2 + (-16)/(192/(-5868)) a multiple of 6?
True
Let h be (-1323)/105 - (-3)/5. Let t(d) = d**2 - 7*d + 43. Is t(h) a multiple of 14?
False
Suppose -23769 = 3*s - 66*s + 544995. Is s a multiple of 90?
False
Suppose 103*w + 172267 = 134*w. Does 10 divide w?
False
Let s(i) = -3*i + 98. Let y(g) = -5*g + 97. Let c(n) = -6*s(n) + 5*y(n). Does 4 divide c(-31)?
False
Let q = 38296 + 253. Is 77 a factor of q?
False
Let a(r) = -4*r**2 - 28*r - 28. Let m be a(-6). Let l(x) = x**2 + 4*x + 5. Does 5 divide l(m)?
True
Suppose -26*n = -20*n + 108. Suppose 0 = -2*s - 0*s + 100. Let u = s + n. Is u a multiple of 7?
False
Suppose 147*a = 109*a + 212306. Is a a multiple of 37?
True
Suppose -14*r = -18*r + 5792. Suppose -r = -0*j - 8*j. Is j a multiple of 16?
False
Let k = 663 + -654. Does 33 divide -7 + (-4431)/(-6) + k/(-6)?
False
Let l = -8 + 82. Let j(m) = -7*m - 8. Let i be j(-8). Is 33 a factor of (-2 + l/4)/(8/i)?
True
Suppose 4*q = -x + 1780, -2*q + 31*x + 904 = 35*x. Is 4 a factor of q?
True
Let k(j) = -j**3 + 7*j**2 - 4*j + 6. Let x be k(6). Let q = x - -61. Let y = -58 + q. Does 8 divide y?
False
Let j = -35 - -36. Suppose -2*y = u - 25, u - j - 4 = 0. Is 11 a factor of 862/6 - (y/15 + 0)?
True
Let j(a) = -10*a - 13. Let v = 45 - 53. Let m be j(v). Let c = m + -19. Does 8 divide c?
True
Suppose -4*a - 2*n + 183 = n, 2*n + 133 = 3*a. Suppose -x - 2*s + a = -122, -3*x + 507 = 3*s. Is 17 a factor of x?
False
Suppose 2078*m - 13697829 = 1815*m. Is m a multiple of 81?
True
Suppose -3*p = -4*p + 5*b - 28, 5*p - 10 = -5*b. Let q be 1/(8/(-6) - -1). Is 5 a factor of ((-5)/q)/((-1)/p)?
True
Let i be -51 + 51 + 5*1. Suppose -492 = -2*u + 11*d - 10*d, i*u - d = 1227. Is 5 a factor of u?
True
Suppose 40195 = 4*l + f, -442*l - 4*f - 10019 = -443*l. Is 16 a factor of l?
False
Let c(n) = 106*n**3 - n**2 + n + 1. Let b = -29 + 30. Does 32 divide c(b)?
False
Suppose 7*m + 144 = 5*m. Let w = m - -256. Let u = -26 + w. Does 21 divide u?
False
Let g be -441 - ((-5 - -4) + 1). Is (-1)/((-6)/g)*(-100)/15 a multiple of 35?
True
Let r(f) = 12*f**3 - 58*f**2 + 70*f - 45. Is 17 a factor of r(15)?
False
Let k(i) = i**3 + 7*i**2 - 18*i - 18. Let x be k(-9). Let c be x/12 + -3*111/(-6). Suppose 5*q = 3*r + 117, -2*q + 4*r - r = -c. Is q a multiple of 4?
False
Suppose -g - 5 = -2*g, 3*g + 254 = p. Suppose q + q = -t + 183, 3*q = 4*t + p. Does 4 divide q?
False
Suppose 6*l - 1784 = 5*l. Suppose -3*q + 4395 = -11*p + 16*p, 0 = -2*p + 4*q + l. Is p a multiple of 63?
True
Suppose -85*p = -78*p - 49. Suppose -q - 2251 = -4*b + 438, -p*b + 4705 = -q. Does 31 divide b?
False
Let i(a) = -22*a - 29. Suppose -4*s + 16 = -f, 3*s + 1 = f + 3*f. Suppose s*c + 33 = 3*u, -6 = -9*c + 11*c - 3*u. Is i(c) a multiple of 19?
False
Let p(j) = -j**2 + 17*j - 13. Let v(u) = 4*u**2 + u + 2. Let s be v(-2). Let a be p(s). Suppose -g - 3*g = -x - 291, -a*x = -3*g + 216. Does 12 divide g?
False
Suppose 24*i - 13*i = 5610. Suppose 2*o - 