e k*a - 128 = -2*a. Suppose 0 = -6*f + 8*f - a. Is 16 a factor of f?
True
Let q = 659 - -115. Suppose q = 28*u - 22*u. Is u a multiple of 13?
False
Let t be 0*1/4 - (-6 - -10). Does 8 divide (-6384)/(-30) + 0 + t/(-20)?
False
Suppose -5*w - 13 = -4*z, 2 = 72*w - 74*w. Let m(v) be the first derivative of v**3/3 + 5*v**2/2 - 6*v - 1. Is m(z) even?
True
Suppose 2*g = 4*x + 1472, 0*x + 8 = 2*x. Suppose 3*m - 2*i = 779 + 353, 2*m - g = 4*i. Is m a multiple of 95?
True
Let i = -188 + 438. Is ((-53)/(-53))/(1/i) a multiple of 50?
True
Let y(u) = -32*u**2 - 2*u**3 + 42 - 357*u - 343*u + 675*u. Is 17 a factor of y(-16)?
True
Let j(g) = -g**3 - 34*g**2 - 64*g + 1. Let a be j(-32). Let d(s) = 214*s**2 - 3*s. Is d(a) a multiple of 10?
False
Suppose -12500 = 2*h - 4*h + 10556. Is h a multiple of 44?
True
Let f(p) = -480*p + 11. Let k be -27 + 24 + 1 + 1. Is 43 a factor of f(k)?
False
Suppose -4*t = -6*g + 2*g - 24, 2*t - 3*g - 8 = 0. Let b(j) = -j**3 + 14*j**2 - j - 5. Is b(t) a multiple of 55?
True
Suppose -10*r = 474026 + 472094. Is 19 a factor of (1 - (-5)/(-2))/(327/r)?
False
Let j be (-3 + (-9)/(-3))/1. Let b(x) = 16*x + 12 + 6 - 27*x + 9*x. Does 18 divide b(j)?
True
Let m = -207 + 360. Let l = m - 290. Let k = l + 195. Is 15 a factor of k?
False
Let k(l) = 2*l**2 + 8*l + 8. Let t be k(-4). Suppose -t*j = -5*j - 6. Suppose 72 = u - j*r - 10, r = -5. Is u a multiple of 23?
False
Suppose 29653*y - 29652*y = 15980. Is 85 a factor of y?
True
Let w be (8 + -4)*-1 + 1 - -5. Is 449 + 16*(-1)/w a multiple of 21?
True
Suppose 0*r + 1533 = -4*l + 3*r, -5*r + 362 = -l. Let q = l + 656. Is 4 a factor of q?
False
Let t(g) = g**2 - 5*g - 66. Let o be t(0). Let b be 12/o - -57*(-1)/(-11). Suppose -2*v - 3*v + 127 = 3*d, 0 = b*d - 4*v - 261. Is 9 a factor of d?
False
Does 18 divide (-1948518)/(-330) - (1 + 4/(-10))?
True
Let n(k) = 27 + 8*k + 2*k**2 + 48 - 86. Is n(-9) a multiple of 33?
False
Let c = -3545 - -20430. Does 55 divide c?
True
Let i = 386 - 8. Let h = i - 182. Does 11 divide h?
False
Let d = -204 + 15484. Is 18 a factor of d?
False
Let c = 4258 - 2646. Does 52 divide c?
True
Suppose 13 - 8 = l. Suppose -l*z = -5*t - 60, 2*t = t - 3*z - 20. Is 15 a factor of (-42)/(-84) + t*26/(-8)?
False
Let o = 223 + -94. Let a(z) = -2*z**3 - 8*z**2 + 6*z - 8. Let u be a(-7). Let s = u - o. Does 17 divide s?
False
Let m = -1731 + 5487. Is 55 a factor of m?
False
Suppose -952*p + 971*p - 23142 = 0. Is 14 a factor of p?
True
Let q be -2*3/(-14) + (10476/(-63))/(-4). Suppose -3*o + 153 = 657. Is q/o - ((-1206)/(-8))/(-3) a multiple of 17?
False
Let k(r) be the third derivative of -r**6/60 - r**5/30 + r**4/24 + 245*r**3/3 + 59*r**2. Is 35 a factor of k(0)?
True
Let g = 211102 - 134142. Does 219 divide g?
False
Let m(o) = -5*o - 40*o**2 - 53 + 57 + 41*o**2 + 131*o**2. Let z be m(2). Suppose j + 4*j - z = -3*s, 4*j - 4*s = 424. Does 35 divide j?
True
Suppose 4*b + 2*b + 8*b = 658. Suppose 11 = -y - 0*y. Let w = b + y. Does 9 divide w?
True
Let d(x) = 7*x - 76. Let q be d(7). Does 5 divide (528/36)/(-2*3/q)?
False
Let p = -448 - -629. Let r be p*(-2)/(4 + -2). Let m = -69 - r. Is m a multiple of 14?
True
Let j = -4985 - -21877. Is j/22 + (-36)/(-198) a multiple of 64?
True
Let z be (-2 - -38)/(30/45). Does 3 divide (-81)/z - (-21)/2?
True
Suppose -3*j = -3*r - 4704, -76*r = 5*j - 83*r - 7844. Is j a multiple of 9?
True
Suppose 4*g + 6*d = 11*d + 3527, -4*g + 3524 = -4*d. Suppose -879*o + g*o = -480. Does 16 divide o?
True
Suppose q + 112 = 4*j + 408, 286 = q + j. Suppose -2 + 7 = y. Suppose -2*t = -y*s + 366, -5*t - q = -4*s - t. Is 5 a factor of s?
False
Is (4520/(-28))/(-21 - 12336/(-588)) a multiple of 14?
True
Let o = -18 - -4. Suppose 103 = 6*j - 149. Is 13 a factor of 3/(j/(-4)) + (-1278)/o?
True
Let g(a) = 11*a**2 - 16*a**3 - 48*a + 18*a**3 + 17*a + 18. Does 24 divide g(5)?
False
Let v(t) = -7*t - 2. Let q = -45 - -40. Let i be v(q). Does 32 divide i + -2*(-1)/(-2)?
True
Suppose 0 = -2*h + h + 1. Let w be (8/h)/((-12)/84). Let u = w - -121. Is 13 a factor of u?
True
Suppose -4*t - 2*a = -6*a + 3844, t - 5*a = -969. Let i = t + 984. Does 4 divide i?
False
Suppose 14*a - 7713 + 4185 = 0. Is a a multiple of 63?
True
Let s = -8621 - -20903. Does 35 divide s?
False
Let p be (-2914)/(-8) + 3/(-12). Suppose -8*t = -p + 44. Suppose 4*n + 8 = t. Is n a multiple of 8?
True
Suppose u = 6*u - 2690. Suppose 0 = 238*q - 248*q + 3220. Let m = u - q. Is m a multiple of 9?
True
Let m(v) = 2*v**2 - 10*v + 28. Let d be m(6). Suppose -10*w = -6*w - d. Suppose -w*i = -60 - 1620. Is i a multiple of 28?
True
Let q be (4/5)/(9192/(-1840) - -5). Suppose 5*w - 2*z - 3888 = q, -4*w - 3*z = -3253. Suppose -4*n = 16, 5*n - w = -4*j + j. Is j a multiple of 49?
False
Let k = 27 - -46. Let n = -67 + k. Does 16 divide n/18 - 1*569/(-3)?
False
Let m(y) = 120*y + 1812. Is m(85) a multiple of 132?
True
Let t(i) = -69*i**3 - 5*i**2 + 43*i + 159. Does 24 divide t(-4)?
False
Let a(g) be the third derivative of -73*g**4/24 + g**3/2 + g**2. Let i be 17 + (-8)/(120/285). Is a(i) a multiple of 10?
False
Let t(h) = h**3 + 3*h**2 + 2*h + 1. Let j be t(-1). Is 9/j - (5 + -6) even?
True
Let w(d) = -655*d**3 + 10*d**2 - 27*d - 124. Does 16 divide w(-4)?
True
Let y = 27989 + -4976. Is 5 a factor of y?
False
Let c be (827/3)/(10*(-9)/(-270)). Let s = c + -452. Is s a multiple of 25?
True
Suppose 0 = 9*c - 3*c - 60. Suppose -4*s - c = -5*s. Suppose s = 5*k, -4*n + 2*n - 2*k + 20 = 0. Is 4 a factor of n?
True
Suppose 0 = -6*m + 2*x + 17642, 4*m + 6*x - 9*x = 11758. Is m a multiple of 7?
False
Let z = 196 + -184. Is 328 - (-7)/((-28)/z) a multiple of 13?
True
Suppose -2*w + 89 = 81. Suppose 49 = -w*u + 1. Does 4 divide 0 + (-141)/u - (-1)/4?
True
Suppose 4*h - 160 = r, -r = 2*r - h + 458. Let z be 4 + (-3)/3 - 218. Let f = r - z. Does 7 divide f?
True
Let b(g) = 101*g + 5178. Is b(90) a multiple of 29?
True
Let w be 1/(-2) + 675/2. Suppose 0*p - 2*p + 4*q - 16 = 0, 0 = -4*p - 4*q + 16. Suppose p = 2*s + 3*d - 223, 2*s + w = 5*s + 5*d. Is s a multiple of 13?
True
Let g be 280/88 + (-4)/22. Suppose -54 = 3*c - g*d, 0*c + 2*d = -3*c - 64. Is 12 a factor of ((-8)/(-20)*-12)/(2/c)?
True
Let u(n) = n**3 - 15*n**2 - 18*n + 37. Let h be u(16). Suppose 0 = -h*q + 4*y + 43 - 11, -6 = 2*y. Suppose -3*c = q*c - 56. Is c a multiple of 8?
True
Is ((135/18)/(189/(-168)))/(1/(-243)) a multiple of 3?
True
Suppose -134*u - 1236 = -136*u. Does 62 divide u/4 + (-37)/(-74)?
False
Let h(g) = g**3 - 4*g**2 + 3*g - 2. Let f be h(4). Let r be 5 - 1*f/2. Suppose r = 3*l + 2*l, -3*x + l + 120 = 0. Does 20 divide x?
True
Is 10 a factor of (-13)/(-39) + (-6491)/(-3) + 6?
True
Let b = -2 - 4. Suppose 4*k - 624 = -35*k. Does 34 divide -36*(k/b - 3)?
True
Suppose 2*c + 160 = 6*c. Suppose 5*s - 48 = 22. Let f = c - s. Is 13 a factor of f?
True
Let c(w) = -5*w**2 - 19*w + 10. Let l(i) = -6*i**2 - 18*i + 10. Let t(o) = -4*c(o) + 3*l(o). Let f be t(-11). Is 2*5/f*-52 a multiple of 17?
False
Let p = -35314 + 39874. Is p a multiple of 60?
True
Suppose 1799677 = 10809*c - 10762*c. Is 23 a factor of c?
False
Suppose 24*d + 4788 = -36*d - 492. Let y(z) = -29*z**2 + 2*z. Let j be y(2). Let t = d - j. Is t a multiple of 12?
True
Suppose 109*u = -8*u + 527319. Does 4 divide u?
False
Let k(s) = -5*s - 10*s - 59*s - 16 + 44*s**2 - 21*s**2 - 20*s**2. Is 7 a factor of k(25)?
False
Let n be (-1)/(3 - 0)*-18. Suppose -8*s = -3*s + m - 732, 0 = -4*s + 5*m + 574. Is 17 a factor of s/3*9/n?
False
Suppose -5*i = -3*m + 1942 + 3248, 2*m = -4*i + 3460. Is 10 a factor of m?
True
Let w(t) be the third derivative of 1/3*t**5 + 9*t**2 + 0*t + 0*t**3 + 0 + 1/24*t**4. Does 13 divide w(-2)?
True
Let k(r) be the third derivative of r**5/60 - r**4/4 - 3*r**3/2 - r**2 + 68*r. Let w = 8 - -1. Does 18 divide k(w)?
True
Let r be 148/(-5) - 1/(10/4). Let d be (-1 - 1)*r/12. Suppose d*j - 935 = 3*k - 276, 0 = -j + 5*k + 123. Is j a multiple of 14?
False
Let c(t) be the third derivative of -1/2*t**4 + 1/60*t**5 - 2/3*t**3 + 0 + 0*t + 14*t**2. Is 12 a factor of c(16)?
True
Let h(l) = 1345*l**3 - 6*l**2 + 7*l + 11. Is 11 a factor of h(2)?
False
Let p(t) = -t**3 + 3*t**2 - t. Let w = 53 - 51. Let j be p(w). Suppose 4*x - 205 = -5*o, j*o + 5*x = -o + 110. Is o a multiple of 5?
True
Suppose -2