 Let r be a(-4). Suppose r = 5*b - 66 - 339. Suppose 3*y - 245 = 5*p, -y + p = -p - b. Is y a multiple of 17?
True
Suppose 0 = 9*h, -5*h - 9419 = -b + 6451. Does 46 divide b?
True
Let q(a) be the second derivative of a**6/36 - 7*a**5/30 - 4*a**4/3 - 18*a. Let y(c) be the third derivative of q(c). Does 9 divide y(5)?
True
Suppose -90911 = 62*k - 2234623 + 428482. Is k a multiple of 186?
False
Let b be ((2/8)/(-1))/((-13)/156). Is 28 a factor of 5*b*28/5?
True
Let o(a) = 7*a + 151. Let j be o(-19). Is (0 + (-8)/(-6))/1*j a multiple of 2?
True
Let d(t) be the first derivative of t**3/3 + 4*t**2 + 13*t - 24. Let f be d(-6). Is (-9 - f)/(3/(-27)*1) a multiple of 14?
False
Suppose -3*j + 10170 = -2*y, -2*y = 3*j - 9396 - 786. Is j a multiple of 35?
False
Let v = -89 + 53. Is 9 a factor of (-1 - -39)/(-3 + (-116)/v)?
True
Suppose -6*q + 3*q - n = 2, q = 4*n - 18. Is 3*(2 - q/((-6)/(-1001))) a multiple of 19?
True
Let h(t) = 66*t**2 - 5*t + 24. Let l be (-8 + 7)/((-1)/(1 + 2)). Is 67 a factor of h(l)?
True
Is 30 a factor of (0 + 386/3 - (-585)/(-351))*49?
False
Suppose 3*z = -2*s + 208, -5*s - z = z - 498. Let g = s - 112. Let b(n) = n**2 + 12*n + 24. Is b(g) even?
True
Suppose 5*r = 3*r + 4008 + 16488. Does 24 divide r?
True
Suppose 234*x - 203*x - 13051 = 0. Let h be (2 - 1)*(0 + 43). Suppose -3*m + x = h. Does 14 divide m?
True
Let q be (-50)/(-35) - 1 - (-158)/7. Let m be (q - 24) + 1*-1 + 40. Let d = 17 + m. Does 22 divide d?
False
Let r = -8051 - -11978. Is r a multiple of 104?
False
Let v(o) = 839*o + 3857. Does 44 divide v(6)?
False
Let s(g) = 2*g**2 - 36*g + 1. Let k be s(18). Is (-163 + 28)*k*-1 a multiple of 27?
True
Let f(c) = c**3 + 23*c**2 - 25*c + 47. Let w be f(-24). Let b = w + -70. Does 46 divide (-115)/(b - 15/10)?
True
Let k = -13606 - -20448. Is 22 a factor of k?
True
Does 12 divide 4*22/(-8)*32/(-176) + 2461?
False
Let v be -6 + (-4 - 0 - 1). Let h = 403 + v. Is h a multiple of 60?
False
Suppose 4*v - 2*v - c = 714, 5*c = -5*v + 1785. Suppose v = 6*h - 45. Suppose 2*x - h = -7. Does 9 divide x?
False
Let o(g) = -g**2 - 22*g - 15. Let m be o(-21). Does 8 divide 8/48 - (-149)/m - 1?
True
Let o(m) = -m**3 + 9*m**2 + 10*m + 5. Let x be o(10). Suppose 0 = 10*t - x*t - 25, 4*v - 4*t - 20 = 0. Is 10 a factor of v?
True
Let c = 4453 + -2138. Is 5 a factor of c?
True
Let y = 45616 - 30631. Is 11 a factor of y?
False
Let y(g) = 2*g**3 - 37*g**2 + 57*g - 114. Let t be y(17). Let b(m) be the third derivative of -m**5/60 - 2*m**4/3 - 13*m**3/6 + m**2. Is 7 a factor of b(t)?
True
Suppose 4*r + 3*q = 23, 4*q - 3*q = r + 3. Let f(v) = -v**2 - v**2 - 10*v + 8*v**r + v**2 - 9. Is f(-3) a multiple of 21?
True
Let b = -3227 - -7672. Does 127 divide b?
True
Let v(t) = t**2 - 14*t - 33. Suppose -3*m + 8 = -4. Suppose 4*o + 84 = m*r, -4*o - 44 = -2*r - o. Does 10 divide v(r)?
False
Is 18 a factor of ((-148)/(-111) - 7/12)/(12/516096)?
True
Let m be ((-405)/12)/(-9)*1000/2. Suppose -13*k + 2662 + m = 0. Does 31 divide k?
False
Suppose 0 = -3*y - 9, 5*j + 4*y + 1 = 4. Suppose 0 = 3*h + 5*o - 350, j*o + 2*o - 235 = -2*h. Is h a multiple of 23?
True
Suppose 24*k + 17496 - 109596 = 21012. Is 2 a factor of k?
False
Suppose -6796 + 2147 = -14*r + 7279. Does 9 divide r?
False
Let p = 254 - 200. Suppose 61*q - 3094 = p*q. Is q a multiple of 34?
True
Let u be (-3 - 1)/(-12)*15. Suppose 4*x - u*x + 36 = 0. Is x a multiple of 4?
True
Suppose -32 = -5*z + 3*z. Let x = z - 14. Suppose -5*h + 72 = -2*h + v, -120 = -5*h - x*v. Is 4 a factor of h?
True
Let r(t) = -16*t - 8. Let m be r(-2). Suppose 4*f - m = -2*f. Suppose -f*k + 4*n + 408 = 0, 3*k + 2*n - 314 = 7*n. Is k a multiple of 32?
False
Let r be 0 + -168 + 4 + -1. Let x = r + 309. Does 55 divide x?
False
Suppose -671*k + 326*k + 486648 = -318*k. Is k a multiple of 116?
False
Let m(k) = -k - 336 + 833 - 369. Let x be -2 - (-1 - 0 - 1). Is 26 a factor of m(x)?
False
Suppose -1756730 = -363*g + 6049948. Is 24 a factor of g?
False
Suppose 648 = 2*x - 4*g, -5*g - 333 = 4*x - 5*x. Suppose 200 = 2*l + l + 4*j, j + x = 5*l. Suppose 7*p + l = 1457. Is p a multiple of 15?
False
Suppose 45 = -13*b + 18*b + 2*i, 2*b - 2 = -4*i. Suppose 9 = n + 2*n. Let q = n + b. Is q a multiple of 2?
True
Suppose 0 = 5*p + u + 2269, -433 = -4*p + 5*p - 5*u. Let v = -281 - p. Is v a multiple of 30?
False
Suppose 15 + 13 = -7*a. Let q be (-1)/(a/(-12)) + 3. Is ((-48)/(-15) + 0)*(q + 5) a multiple of 5?
False
Let k(w) = -9*w + 3. Let r(f) = -10*f + 4. Let z(j) = 3*k(j) - 4*r(j). Let p = -40 + 43. Is z(p) a multiple of 5?
False
Suppose 7*i = -77 - 462. Let h = 204 + i. Is 6 a factor of -2 - h/(-7) - (-7)/(-49)?
False
Suppose -2*g - 1 = 7. Let l be g - -136*(0 + 4). Suppose 0*z - 9*z + l = 0. Does 12 divide z?
True
Let z = -9786 + 10110. Is 108 a factor of z?
True
Let o = 227 - 73. Let g = 180 - 260. Does 10 divide (g/(-56))/(2/o)?
True
Let c(p) = p**3 + 44*p**2 + 2*p + 91. Let n be c(-44). Suppose 0*k - n*k + 3*s = -1590, 0 = -2*s - 10. Does 25 divide k?
True
Suppose -138*b = 2*b - 1048829 - 1320391. Does 14 divide b?
False
Let v(u) = -u**2 - 5*u + 7. Let q be v(0). Suppose -2*y + 429 = x, -2*y - q = 1. Is 29 a factor of x?
False
Let h(g) = -7*g + 123. Suppose 45 = -5*w + 4*a, -5*w + a - 5*a = 45. Does 6 divide h(w)?
True
Let g = 58 + -51. Let y = 1 + 5. Suppose g*o - 48 = -y. Does 3 divide o?
True
Let s(n) = n**2 + 19*n - 20. Let v be s(-20). Suppose v = -3*q + 4*z + 527, -4*q + 433 + 267 = -4*z. Is 6 a factor of q?
False
Let g be 15/35 + 400/14. Suppose -35*x = -24*x + 154. Let y = g - x. Is y a multiple of 25?
False
Let w(i) be the second derivative of -i**5/20 - 5*i**3/3 - 15*i**2/2 - 22*i. Is 40 a factor of w(-5)?
True
Does 210 divide 14/(1750/25)*23685?
False
Let h = 100 + -102. Let n be 12/(h - -4) - 1. Suppose -1090 + 120 = -n*z. Is 17 a factor of z?
False
Let i = 647 - -108. Suppose 8*r + i = 2027. Is 10 a factor of r?
False
Suppose -3*g = -g - 2*m + 18, 5*g + 37 = 3*m. Let b = -12 - -11. Does 10 divide (b - g) + 26 - 0?
True
Suppose 5*f + 14 = 29. Suppose f*w = 15*w - 1512. Is 42 a factor of w?
True
Suppose -5*j + 2*g + 438848 = 0, -6781*j + 4*g = -6784*j + 263288. Does 414 divide j?
True
Does 74 divide 5999 + (-4 - (0 + 1) - 0/2)?
True
Suppose -t - 2*t = 8*t. Suppose 2*w + 4*r - 4 = t, 0 = 5*w - r - r - 10. Is w a multiple of 2?
True
Let k = -23 + 28. Suppose -4*c + 2*c - 10 = 2*a, -2*a - 13 = k*c. Let u = a - -23. Is 7 a factor of u?
False
Let g = -519 + 744. Let h be ((-44)/10)/((-5)/g). Suppose 5*d - h = 2*d. Does 11 divide d?
True
Let o = -23629 - -24669. Does 40 divide o?
True
Suppose -2003482 + 350649 = -287*c. Is c a multiple of 13?
True
Let a(y) = -3 - y**2 + 2*y + 2*y**2 - 7*y - 2*y**2 + 16. Is a(-4) a multiple of 17?
True
Let k(f) = 3*f**2 + 91*f - 893. Is 13 a factor of k(9)?
True
Let k(x) = -7*x**2 - 9*x + 9. Let c(s) = -5*s**2 - 9*s + 8. Let v(l) = 6*c(l) - 5*k(l). Is v(7) a multiple of 23?
False
Suppose 41*q - 11945 - 588098 = 163951. Is 7 a factor of q?
True
Let q(z) = 14*z**2 + 7. Let m be q(-3). Let y be 2/6 - (-8)/3. Suppose y*a - 68 - m = 0. Is 14 a factor of a?
False
Let o = 9 + -11. Let s be (-39 - o)*-1*4. Suppose 4*f = -0*f + 8, 5*u - f - s = 0. Does 27 divide u?
False
Suppose -22*c = 11*l - 18*c - 274417, 5*c - 49894 = -2*l. Is l a multiple of 40?
False
Let b(f) = -9*f**3 - 11*f**2 + 39*f - 15. Let k(r) = 5*r**2 - r + 8 + 5*r**3 - 18*r + 0*r**3. Let i(g) = -4*b(g) - 7*k(g). Is i(-11) a multiple of 15?
True
Suppose -2*i - 78 = -0*i. Suppose -2*l + 83 = -2*k - k, -3*k = 4*l - 211. Let c = i + l. Is c a multiple of 2?
True
Let t(v) = -v**3 - 3*v**2 - v + 8. Suppose -5*y + 2*z = -10*y - 31, -13 = y - 3*z. Is 11 a factor of t(y)?
False
Is (-128466)/195*(0 + 25/(-10)) a multiple of 25?
False
Let g(s) = -11924*s - 908. Does 27 divide g(-1)?
True
Let w = -29418 + 42376. Is w a multiple of 11?
True
Suppose 2*z = 7*z - 60. Let u be 12/(-4) + (-3)/(9/z). Let w(b) = -b**3 - 3*b**2 + 12*b - 16. Is 10 a factor of w(u)?
False
Let z(g) = -403*g - 16 + 63*g - 12. Is 79 a factor of z(-1)?
False
Suppose 4*h = -4*w + 988, -1239 = -5*w + 58*h - 62*h. Does 18 divide w?
False
Is 4 + (-46551)/(-9) - 240/180 a multiple of 14?
False
Suppose -442*y + 12800882 = -8269736 + 599830. Is y a multiple of 279?
True
Let j(k) = -1529 + 4*k