e
Let l(i) = -i**2 - 20*i + 22. Let a be l(-21). Let k be 6 - (6 - 2/a). Suppose h - 43 - 18 = -3*y, 3*y + 158 = k*h. Does 28 divide h?
False
Suppose t + 8 = 5*t. Suppose 6*g = -t + 14. Does 15 divide 0 + g/(-8) + (-7210)/(-40)?
True
Let r(u) be the second derivative of -u**5/20 + 11*u**4/12 + 7*u**3/6 + 27*u**2/2 - 36*u. Is r(-5) a multiple of 49?
True
Let d be (15/(-30))/((2/(-64))/1). Suppose d*k + 69 = 725. Does 7 divide k?
False
Suppose 5*s + 8*t - 3*t - 1955 = 0, 381 = s + 3*t. Suppose -3*n - 3*r + s = 0, 2*n - 5*r - 187 - 70 = 0. Is 31 a factor of n?
False
Let q be (-15)/5*(-6)/9. Is 12 a factor of 1289/6 + 1 - q/(-12)?
True
Suppose 108*o + 150 = 111*o. Suppose 2*z + 6 = 0, r = 4*z + 6 + o. Is 22 a factor of r?
True
Suppose 87*v - 721936 = 84989. Does 35 divide v?
True
Let a(z) = -4*z**2 + 20*z + 31. Let k(o) = -o**2 + 7*o + 10. Let w(m) = 2*a(m) - 7*k(m). Let c be w(-7). Suppose -c*r + 199 = -677. Does 12 divide r?
False
Let s be (-460)/12 - 4/6. Let y = -159 + 234. Let b = s + y. Does 9 divide b?
True
Let g(i) = 56*i**2 + 5*i - 4. Let j be g(1). Suppose 0 = 2*h - 495 + j. Is 8 a factor of h?
False
Suppose -5*x + 1071 = -2*j, 0 = -9*j + 10*j - 3*x + 535. Let w = j + 752. Does 18 divide w?
False
Let r(s) = 5*s**2 - 10*s. Suppose 2*y - 25 = -3*y. Let b be r(y). Suppose 0 = 5*i - 90 - b. Is i a multiple of 13?
False
Let w(l) = -34*l - 1. Let k be w(-4). Let n(q) = q**2 + 9*q - 8. Let u be n(-10). Suppose 5*t - k = -2*r, 5*t + 29 + 96 = u*r. Does 7 divide r?
False
Let x = 19759 + -4693. Is 9 a factor of x?
True
Let s(r) = -7*r + 66. Let o be s(-6). Suppose 6*g = o + 2262. Is 25 a factor of g?
False
Let y = -2434 - -6939. Is 85 a factor of y?
True
Let k(o) = 15*o**2 - 132*o + 210. Does 38 divide k(-24)?
False
Let k(d) = d**2 - 2*d - 13. Let r be k(-4). Let b = -71 + r. Is 13 a factor of (-15)/b - 203/(-4)?
False
Suppose 0 = 4*v - 5*k - 0*k - 142, 4*k = -2*v + 58. Suppose -v = 5*l - 218. Does 8 divide l?
False
Let k(h) be the first derivative of h**3/3 + 25*h**2/2 + 12*h + 147. Is k(-27) a multiple of 6?
True
Let f(b) = -b**2 - 2*b - 22. Let t be f(26). Let x = 1755 + t. Is x a multiple of 33?
False
Is (2 + -4)*2/(8/(-33510)) a multiple of 30?
False
Let r(s) = 7*s**2 + 32*s - 872. Is r(-60) a multiple of 8?
True
Let d(f) = -f**2 - 9*f + 8. Let j be d(-15). Let l = 84 + j. Suppose -288 = l*m - 5*m. Does 34 divide m?
False
Let j = 260 - -320. Suppose -385*r = -380*r - j. Is r a multiple of 2?
True
Let w(f) = -f**3 + f**2 + f + 30. Suppose 4*u = 3*q - 8, -2*q + 6 = -q - 3*u. Let m be w(q). Does 26 divide 1*13*m/15?
True
Let h = -3194 + 10255. Is 7 a factor of h?
False
Let p(c) = 148*c**2 - 865*c + 51. Does 126 divide p(19)?
True
Let p = 2951 + -1277. Let u = p - 1149. Is 21 a factor of u?
True
Let m(y) = 30*y**2 - 33*y - 359. Is m(-8) a multiple of 131?
False
Let b(q) = q**3 - 16*q**2 - 18*q - 14. Let f be b(18). Let m = 108 + f. Suppose 0 = 6*i - m + 70. Is i a multiple of 31?
False
Suppose 0 = -3*t + 3, -5*t = 3*b - 17470 - 12898. Is 29 a factor of b?
True
Let z = 132 + -75. Let r = z - 27. Suppose r*d - 35*d + 145 = 0. Does 6 divide d?
False
Suppose 182*w = 173*w + 442081 - 103384. Is 13 a factor of w?
False
Let y(t) = -21*t - 13. Let u be y(-2). Is -3*u/(-1 - 15/(-24)) a multiple of 9?
False
Suppose -31*g + 9 = -28*g. Suppose 4*u + 568 = g*x, 2*x - 5*u = 4*x - 348. Is x a multiple of 46?
True
Let j = -3805 - -4405. Does 6 divide j?
True
Let j be 1/((-2)/(-20))*(-71 - -72). Suppose 5841 = g + j*g. Is g a multiple of 11?
False
Let n = -41169 + 58417. Does 24 divide n?
False
Let f = 2 + 58. Suppose 4*i - 17*j - 611 = -12*j, -5*i = 3*j - 810. Let w = i - f. Is w a multiple of 12?
False
Let n(w) = w**2 + 4*w. Suppose -4*q - 4*q = 40. Let g be n(q). Let t = 49 + g. Is 22 a factor of t?
False
Let x = -164 + 146. Is 5456/26 - (-11)/((-1287)/x) a multiple of 42?
True
Suppose -f - 29 = r, -5*f = 6*r - 2*r + 115. Let q(c) = c**2 + 9*c + 14. Let y be q(-6). Let k = y - r. Is k a multiple of 2?
True
Let s(i) = -16*i**3 - 10*i**2 - 22*i - 47. Is s(-6) a multiple of 8?
False
Is (-882)/(-14 + -4)*350 a multiple of 175?
True
Suppose 4*q + 118*g = 116*g + 26566, 0 = -4*q + g + 26545. Is 63 a factor of q?
False
Let i(f) = -6*f**3 - 30*f**2 + 28*f - 29. Let n(b) = 16*b**3 + 89*b**2 - 84*b + 86. Let g(d) = -11*i(d) - 4*n(d). Does 3 divide g(12)?
False
Suppose 2*b = -4*l + 19028, -2*b - 4*l = -13*l - 19028. Is 134 a factor of b?
True
Is ((-9 - 0)/9 + 4)*(-22983)/(-9) a multiple of 87?
False
Suppose 2*d + 131*b - 127*b - 7436 = 0, 5*b = 3*d - 11099. Is 36 a factor of d?
True
Suppose 183679 + 225426 - 41293 = 102*k. Is 22 a factor of k?
False
Suppose 4*b = -0*b - 12. Let u be ((-7)/b - (-10)/(-15))*9. Is 6 a factor of 36/(u/(-6) - -4)?
True
Suppose -h - 4*h + w + 4307 = 0, 2*h + w - 1727 = 0. Does 7 divide h?
False
Suppose -4*t = 183 + 313. Let o = t - -268. Is 36 a factor of o?
True
Let g be (973/14 + 1)/(9/228). Let c = g + -1099. Is c a multiple of 63?
False
Let c = -825 - -840. Suppose 4*h = 14*t - c*t + 184, -5*h + 980 = 5*t. Does 5 divide t?
True
Suppose 2811*c = 2802*c + 32414 + 32476. Is 10 a factor of c?
True
Let f(i) = -809*i - 5731. Is f(-24) a multiple of 35?
True
Let j(n) be the first derivative of 20*n**2 + 40*n + 175. Does 45 divide j(8)?
True
Is ((-598)/(3 + -1))/((-2)/14) a multiple of 9?
False
Let z be (180/117)/(-10) + 134/26. Suppose f = 2, 13*a - 8*a = z*f + 130. Is 14 a factor of a?
True
Let g be -4*((-2)/(-20) + (-2)/(-5)). Let u = 8 - g. Suppose y = -5, -5*y = -0*h + h + u. Is h even?
False
Let l = 58 + -49. Let c(a) = -a**3 + 14*a**2 - 6*a - 47. Is c(l) a multiple of 11?
False
Does 92 divide 1 - -8 - 19/((-760)/305080)?
True
Let c be (-28)/8 - ((-9)/(-6))/(-1). Let q be (c - 373)*(-5)/(-15). Let s = -59 - q. Does 9 divide s?
False
Is (233523/90 - 4/(-5)) + 8/16 a multiple of 59?
True
Does 6 divide ((-6)/1 + -210)*(-108)/8?
True
Suppose 35*y - 311615 + 118135 = 0. Does 12 divide y?
False
Suppose -6*s = -67 + 1. Let w(v) = -4*v + 147. Is 66 a factor of w(s)?
False
Suppose 2*t - 19920 = -4*h, 27754 - 77534 = -5*t - 5*h. Does 32 divide t?
True
Let m = -301 - -305. Is (51/(-4))/(m/(-16)) a multiple of 4?
False
Let c be 3/(-2)*(2 - 552/9). Let x be 12*(4 + 5/(-4)). Suppose p = c - x. Is p a multiple of 8?
True
Let g = -217 - -709. Suppose 4*d - g = -3*o, 3*o - 7*o + 675 = -d. Is o even?
True
Let a = 74 + -50. Let u be 2*3*140/a. Suppose 5*g - u - 85 = 0. Is g a multiple of 8?
True
Let m(i) = i**2 + 2*i + 4. Let v be m(4). Suppose -6 = 2*k, 5*x + 3*k + 187 = -267. Let p = v - x. Is 26 a factor of p?
False
Suppose 1368 = -5*h - 3*h. Does 21 divide ((-28)/3)/(19/h)?
True
Let n be 156*(-9)/(189/(-28)). Suppose 206*k + 1824 = n*k. Is 19 a factor of k?
True
Let w = 41616 - 4081. Is 62 a factor of w?
False
Let y(s) = 74*s**2 - 7*s - 23. Let i be ((-4)/(-10))/((-9)/(-90)). Does 11 divide y(i)?
True
Let u = -12675 + 14147. Does 4 divide u?
True
Suppose -47*b = -50*b + 342. Does 67 divide (1*603/(-6))/((-19)/b)?
True
Suppose -4*k - 4*j = -84, -5*j + 99 = 5*k - 6*j. Suppose -29*d = -k*d - 2619. Is 17 a factor of d?
False
Suppose -2*t + 0*b = b - 16796, 2*b + 8 = 0. Suppose -8*k + t = -0*k. Is 21 a factor of k?
True
Suppose 2*s - p = 339, 681 = 6*s - 2*s - p. Suppose 0 = -4*o + s + 2805. Is o/16 - (-2)/(-4) a multiple of 12?
False
Let d(u) be the second derivative of 29*u**3/6 + 69*u**2/2 + 74*u. Does 10 divide d(8)?
False
Let p be (-9 - 9)*2/(-9). Suppose -92 = -r - 0*r - 5*q, -p*q - 110 = -r. Does 9 divide r?
False
Let l = 217 - 88. Let c = l - 19. Does 10 divide c?
True
Let y be ((-2)/(-4))/(53/14204). Suppose 142*w = y*w + 512. Does 2 divide w?
True
Suppose 5*m = -3*i + 86, -4*i + 4*m = 9*m - 123. Let a(l) = 8*l - 2. Let s be a(7). Let d = s - i. Is d even?
False
Suppose 0 = 8*j - 6*j + 338. Let k = -85 - j. Is k a multiple of 4?
True
Suppose -3*u + 4*r = -12320, 78*r = 3*u + 75*r - 12315. Is 50 a factor of u?
True
Suppose -8 + 76 = 4*x. Suppose -5*z = x*z - 2090. Is z a multiple of 19?
True
Let n = 342 - 45. Suppose 0 = s - n - 87. Does 6 divide s?
True
Let u(n) = -2*n**3 + 38*n**2 + 18*n - 118. Is 112 a factor of u(17)?
True
Does 7 divide (-439890)/(-1075)*(-45)/(-2)?
False
Suppose 5*p + 2*o - 20 = 0, 3*p + 4*o = 3 + 9. Suppose 0*d - 2175 = -5*c 