e
Let o = -54 + 54. Suppose -3*l + 75 = 4*f - 62, o = -2*f - 8. Suppose 2*w - l = -5*x, -4*w + 37 = 2*x + 7. Is 9 a factor of x?
True
Let q = 2493 + -356. Does 5 divide q?
False
Is 3 a factor of (-3)/(-1) - 2*7170/(-20)?
True
Let v(f) = 8*f**2 + 29*f - 1517. Does 20 divide v(-47)?
False
Let h be (3 + (-5)/2)*8. Suppose 61 = 3*w + h. Suppose -5*g - w + 452 = y, g + 4*y - 79 = 0. Is 29 a factor of g?
True
Let i be (-5)/(20/16) - (-1 + -3). Let k = 36 + i. Does 12 divide k?
True
Let w(a) = -27*a + 187. Let z be w(7). Let u(g) be the first derivative of 2*g**3 + 3*g**2 - 2*g + 4. Is u(z) a multiple of 3?
False
Suppose u + 3*x = -546 + 2631, -4*u - x = -8285. Suppose 12*k + 11*k - u = 0. Is k a multiple of 45?
True
Let h(w) = w - 27. Let v(u) = -2*u + 27. Let k(s) = 3*h(s) + 4*v(s). Let f be k(8). Let m = f - -33. Does 20 divide m?
True
Suppose 6*r = 1807*h - 1805*h - 38354, 2*h - r - 38344 = 0. Does 7 divide h?
False
Suppose -5*w + 76 - 491 = 0. Let u be 34/323 - (-17565)/95. Let n = u + w. Is n a multiple of 17?
True
Let r(b) = 13*b**3 + b**2 + 8*b - 8. Let n be 3 + (3 - 0) + -2 + -3. Is 2 a factor of r(n)?
True
Suppose 0 = 8*n + 7 - 111. Suppose h - 18 = w, -n*h + 8*h + 78 = w. Is 8 a factor of h?
True
Is 24 a factor of 13107/14*2 + 6/(-14)?
True
Suppose 0 = -6*s + 448 - 88. Suppose 3*n = -f + 5*f - 203, 6 = 2*n. Suppose -t = -f - s. Does 33 divide t?
False
Suppose 5 - 21 = -5*x + 4*h, 2*h = 2*x - 6. Suppose -x*w + 2531 = 155. Is 66 a factor of w?
True
Suppose 0 = 2*k + a - 626, 3*a - 618 = -2*k - 0*k. Is k*((-22)/88 - (-14)/24) a multiple of 21?
True
Let h(x) = 2*x - 12. Let g be h(8). Suppose 3*j - 6*u - 62 = j, 3*u + 106 = 4*j. Suppose g*w = -w + j. Does 2 divide w?
False
Suppose 2*k - 418 = y, 106*k = 107*k - y - 212. Is 21 a factor of k?
False
Suppose -13*k + 8*k = -j + 3515, 5*j = -k - 703. Let c = 1429 + k. Is 13 a factor of c?
False
Suppose -97*b - 51214 = -213*b + 87*b. Is 25 a factor of b?
False
Let n = -820 + 825. Is 7 a factor of 160*(-20)/(n + -9)?
False
Let r = 85 + -83. Suppose 5*n - 717 = 2*n - 3*b, r*b = -2. Is n a multiple of 29?
False
Let w(n) = -n**3 + 14*n**2 + 10*n - 29. Let x(b) = -b**3 - 3*b**2 + 7*b - 2. Let o be x(-5). Does 15 divide w(o)?
True
Suppose 382*k + 8440 = 387*k. Is k a multiple of 47?
False
Let y(i) = 2*i**2. Let z be y(-5). Let p = 150 - z. Suppose -2*o - 5*s + 99 = -p, 105 = o - 3*s. Is o a multiple of 18?
False
Suppose 9*g - 159 = -24. Suppose 13*h - g*h = -92. Let q = h + 59. Is 36 a factor of q?
False
Let j = -285 - -292. Suppose j*z - 221 = 94. Is 11 a factor of z?
False
Let c = 107 - 113. Does 11 divide (c - 1) + 6 - -353?
True
Let h(d) = -4*d**3 - 4*d**2 - 9*d - 2. Let p be h(-5). Let n = p + -343. Is 4 a factor of n?
True
Let g = -74 - -74. Suppose g = 5*y + 3*i - 215, 3*y - 5*y + 2*i + 86 = 0. Is y a multiple of 2?
False
Let c be 36/54 - 1534/6. Let g = -195 - c. Does 6 divide g?
True
Suppose -3*w - 3*y = -6069, 0 = -3*w + 4*y + 5325 + 730. Does 4 divide w?
False
Suppose 17022 = 5*j - 2*j - 8571. Is j a multiple of 19?
True
Suppose -352397 = -45*v - 8*v. Does 61 divide v?
True
Suppose -658905 = -34*g - 24*g + 60875. Is g a multiple of 5?
True
Let q be 16/10 + -6*2/20. Let l be (15 + -24)/(1 - q*2). Suppose -l*k = -7*k - 16. Is k a multiple of 5?
False
Suppose -f + 2059 = 4*w, -3*f - 645 = -2*w + 388. Is w even?
False
Suppose -12 = -4*f + 2*c, 9*c + 21 = f + 13*c. Is 13 a factor of (-2 - 174/(-9))/(f/15)?
True
Let l(n) = -n**3 + n**2 + 3*n + 570. Let c be l(0). Suppose 0 = 2*f + 5*i - c, f = -f + 4*i + 552. Is f a multiple of 20?
True
Let h(t) = -t**2 - 13*t + 14. Let a be h(1). Suppose a = z - 4*d - 415, -6*d - 869 = -2*z - 11*d. Does 9 divide z?
False
Suppose 50948 = 77*u - 30*u. Is u a multiple of 26?
False
Suppose w - 5 = -1. Suppose 0*h - 12 = w*h, -4*h = f + 12. Suppose f = -p + 2*n - 1 + 5, -n = -2*p + 20. Is 2 a factor of p?
True
Let y(s) = 2*s**2 + 24*s + 10. Let z be y(-10). Is 3 a factor of 81/(-6)*z*(-2)/(-2)?
True
Let u = 6725 + -3546. Is u a multiple of 11?
True
Suppose -i + 25 = -a, -2*a + 4*i - 127 = 3*a. Let j = a + 30. Suppose -6*t - 5*q = -3*t - 434, 0 = j*t - 2*q - 427. Does 11 divide t?
True
Let s(k) = -2*k + 11. Let r be s(2). Let t(w) = 34*w - 83. Is t(r) a multiple of 15?
False
Suppose -168 = 5*k - 11*k. Suppose k*n - 7192 = 20*n. Is 31 a factor of n?
True
Suppose -2*b + 11530 = 4*i, -2*b - 3355 - 2395 = -2*i. Is i a multiple of 36?
True
Let g(d) be the third derivative of d**5/10 + d**4/8 + d**3/3 - 3*d**2. Let f be g(-1). Suppose 10 = -f*o, 2*w + o = -0*o + 158. Is w a multiple of 10?
True
Let f(x) = 126*x + 25. Let m be f(5). Suppose 0 = -d - 10*q + 15*q + 160, 4*d - 5*q - m = 0. Is 33 a factor of d?
True
Let m be 12*(-7)/(-168) + (-22)/(-4). Suppose 3*s - m = -3*v + 150, s = -4*v + 214. Does 6 divide v?
True
Suppose 139 = -4*q + 355. Let z = -12 + -7. Let o = z + q. Is o a multiple of 17?
False
Suppose 0 = 3*m - 5*g - 25, 0 = -4*m - g - 0*g + 18. Suppose -m*z + 5 + 20 = 0. Suppose -z*w + 595 = 8*b - 3*b, 5*b - 99 = -w. Does 30 divide w?
False
Let k(s) = -2*s - 8. Let r be k(-5). Let n = 51 + r. Suppose o = n - 1. Does 13 divide o?
True
Let c(p) = 2*p**2 - 2*p - 26. Let o be c(5). Suppose -o*x = -21*x + 3717. Is 36 a factor of x?
False
Suppose 38061 = 5*y + 18*c, 171*y - 169*y - c - 15208 = 0. Does 39 divide y?
True
Let v be (-725)/(-15) + -4*(-1)/6. Suppose 0 = 4*j - 7*q + 2*q - v, -2*q - 4 = j. Suppose 3*h = j, -2*g = h + 4*h - 110. Does 4 divide g?
False
Suppose -3 = 16*j - 15*j. Is 15 a factor of 1/2 + 1635/6 + j?
True
Suppose -5*o = -2*v + 15860, 9734 = 4*v - 4*o - 21962. Does 99 divide v?
True
Let p be (4 - 3)*-38*(-6)/12. Let u(b) = 2*b**2 - 8*b - 64. Is 46 a factor of u(p)?
True
Let k(l) = -5*l + 72. Let r(m) = 1. Let o(p) = k(p) + 2*r(p). Is o(-25) a multiple of 50?
False
Suppose 22 = 5*n + 82. Let y(h) = h**2 + 10*h + 32. Is y(n) a multiple of 14?
True
Let i(z) = 42*z + 6. Let c = 17 - 11. Let v be i(c). Suppose v = 6*h - 18. Is 14 a factor of h?
False
Let z(d) = 23*d**2 - d - 24. Let q be z(9). Let m = q - 1090. Suppose -3*k + 207 = -v - 348, 0 = -4*k + 5*v + m. Is 29 a factor of k?
False
Is 61 a factor of -14 + -8 + (-16 - -16081)?
True
Let a(o) be the third derivative of -o**6/15 + o**5/12 + o**4/3 + 11*o**3/6 - 4*o**2 + 8*o. Is 21 a factor of a(-3)?
False
Suppose 0 = -7*r + 22 + 34. Does 5 divide (-165)/(-14 + r + 5)?
True
Let h(o) = o**3 + o**2 + 3*o + 3. Let j be h(0). Suppose -j*u - 17*u = -13180. Is u a multiple of 23?
False
Suppose -8*y + 16 = -2*d - 10*y, 4*d = 3*y - 11. Is 7 - ((-3 - 153) + d) a multiple of 24?
True
Suppose 63*j - j - 417312 = -46*j. Is 14 a factor of j?
True
Suppose 0 = -3*l + 2*b + 359, 2*l = 5*l - 4*b - 367. Let w = l + -53. Is w a multiple of 11?
False
Let p(t) = -t**2 + 32*t - 195. Let o be p(24). Is (-28 + 12)/(o/90) a multiple of 80?
True
Let r be (2/((-12)/(-354)))/(-1). Let s = r - -143. Is s a multiple of 28?
True
Let u(w) = 22 + 42*w**2 + 10*w - w**3 - 100*w**2 + 43*w**2. Does 5 divide u(-16)?
False
Suppose -6*u - 582 = -12*u. Suppose 101*k = u*k + 5712. Does 28 divide k?
True
Suppose 10551 = 4*b - 60*h + 57*h, 4*b = -5*h + 10511. Does 58 divide b?
False
Let j = -55931 - -92728. Is 228 a factor of j?
False
Let s = -98 - -100. Suppose 0 = -s*r + 781 - 237. Is r a multiple of 17?
True
Suppose r = -60*p + 56*p - 16, 0 = -4*r - 5*p - 86. Let s be -4*((-29)/(-4) + -2). Let d = s - r. Does 2 divide d?
False
Suppose -5*v - 5*s + 28465 + 73910 = 0, 5*v - s = 102375. Is 9 a factor of v?
True
Let b(x) = 58*x**2 + 3 + 7*x - 27*x**2 - 30*x**2. Let o be b(-7). Is 26 a factor of (-60 + -1 + o)/(10/(-15))?
False
Suppose 0 = -90*j - 11*j + 1469853. Is 11 a factor of j?
True
Suppose -14*y = -13*y - 13. Suppose -y = -4*x - 1. Suppose 0*o = -x*o - 12, -2*o + 157 = 5*p. Does 22 divide p?
False
Let m(n) be the third derivative of -19/24*n**4 - 19/60*n**5 + 10/3*n**3 + 14*n**2 + 0*n - 1/120*n**6 + 0. Is m(-18) a multiple of 25?
False
Suppose -4320 = -4*r - 3*y, 4*r + 5*y + 189 = 4517. Suppose 25*w - r = -302. Is w even?
False
Let f = 503 + -335. Suppose f*w + 76 = 169*w. Is 38 a factor of w?
True
Let w(x) = 23 + 23 + 3*x**3 + 20*x**2 + 1 - 4*x**3 - 8*x. Does 29 divide w(18)?
True
Let o(i) = 4*i**3 + 10*i - 9*i + 2*i**3 - 4*i**3. Suppose 4*g 