3127. Does 26 divide x?
False
Let f be 31869/54 - 2/12. Let m = f + -307. Is m a multiple of 20?
False
Let r = 46 - 23. Let v(s) = 13*s + 191. Let g be v(-8). Suppose -r = 4*l - g. Does 4 divide l?
True
Let l(f) = f**3 + 21*f**2 - 15*f - 227. Is l(-19) a multiple of 26?
True
Let q be 4/10 - 2*(-1878)/60. Suppose j + q = 4*j. Is 3 a factor of j?
True
Suppose 66854 = 24*w - 49426. Is w a multiple of 15?
True
Is (-368*9/(-90))/(4/300) a multiple of 115?
True
Let m(i) = -3*i**3 - 9*i**2 - 41*i + 13. Is m(-13) a multiple of 39?
True
Is 52 a factor of ((910/45)/14)/((-2)/6)*-72?
True
Let i(z) = 15*z - 4. Let o be i(6). Suppose -4*g - 278 - o = 0. Let t = 21 - g. Is 10 a factor of t?
False
Does 105 divide 1944504/192 - (-1 - (-15)/24)?
False
Let o = -50 - -105. Let y = -7 + o. Let u = 78 - y. Is 5 a factor of u?
True
Let b(y) = -y**3 + 9*y**2 + 11*y - 8. Let m be b(10). Let x(s) = 0*s + m*s - 5*s + 4*s + 14. Is x(-5) a multiple of 4?
False
Let s(h) = -86*h**2 - 2 + 7 + 13 + 14*h + 85*h**2. Let x be s(15). Suppose x*l - 365 = -2*l. Is l a multiple of 18?
False
Let k = -10534 - -45589. Is k a multiple of 17?
False
Is 134 a factor of (-58)/(-261) + (-19288)/(-36)?
True
Let j(g) = 4*g**2 + 5*g + 1. Let i be j(-5). Let l = i + 76. Is l a multiple of 19?
True
Let m = 42 - 42. Suppose -q = -2*r - 2, m*r - q = -5*r - 8. Does 22 divide r*(-5 + (0 - 116))?
True
Let d(u) = 3*u**2 + 8*u + 8. Let o be d(-4). Suppose -31*q + 4165 = -o*q. Does 35 divide q?
True
Suppose -14 - 16 = -6*g. Suppose -z + 407 = 3*d - 612, 0 = -g*d + 2*z + 1702. Is d a multiple of 8?
False
Suppose -x + 8*x = 139003 - 29397. Does 17 divide x?
False
Suppose 5*q + 942 = m, 3*m - 25*q = -26*q + 2890. Let i = m - 512. Does 75 divide i?
True
Let g(m) = 109*m**2 - 12*m + 123. Does 6 divide g(-8)?
False
Let f = -64 - 11. Let a = f - -105. Is a a multiple of 4?
False
Does 6 divide (-5772)/(-555)*900/3?
True
Suppose 87*q - 41*q - 11988 = 40*q. Does 9 divide q?
True
Let y(c) = -405*c + 6. Let h be y(-1). Let d = 843 - h. Does 54 divide d?
True
Suppose 6*k - 3*j - 31 = k, k = -5*j - 5. Suppose 5*p - k*i = 1165, 3*i + 1279 = 4*p + 342. Let x = p + -138. Is 20 a factor of x?
True
Let a = -24746 - -25004. Does 2 divide a?
True
Is 348 a factor of (-1414)/(-606) + 133385/3?
False
Let t(q) = 29*q**2 + 18*q + 18. Let r(k) = 10*k**2 + 6*k + 6. Let p(i) = -17*r(i) + 6*t(i). Let s be p(-2). Suppose s*o - 729 = o. Is o a multiple of 26?
False
Let a(k) = 5*k - 20. Let d be a(4). Suppose d = -4*i + 24*i - 4040. Is i a multiple of 6?
False
Let x be 40/6*873/(-6). Let q = x - -1468. Let i = -274 + q. Does 12 divide i?
False
Suppose -7*z + 15 = -2*z. Suppose 3*c - 15 = -z. Suppose 0 = -c*k - 5*k + 468. Is k a multiple of 19?
False
Suppose 0 = v - d + 2, -4*v + 38*d = 33*d + 8. Let k(h) = -474*h - 49. Is 82 a factor of k(v)?
False
Suppose 223717 = 125*l - 453283. Is 26 a factor of l?
False
Let a(o) = -o**3 + 20*o**2 + 2*o + 104. Let q be a(20). Is (-12210)/(-27) + (-32)/q a multiple of 42?
False
Suppose 4*w - 98 = -5*o, -4*o - 112 = -5*w - 5*o. Suppose -6168 = -w*a + 19*a. Suppose a = -2*f + 10*f. Is 45 a factor of f?
False
Let u = 2347 - 2010. Is 11 a factor of u?
False
Suppose 1132 = -2*a - 2142. Let g = a - -2976. Is g a multiple of 13?
True
Let z be 29/7 - (-36)/42. Suppose -2*n - 2558 = -f - 3*f, 0 = -z*f + 2*n + 3198. Is 22 a factor of f?
False
Let k(q) = -19*q + 594. Does 11 divide k(0)?
True
Let i(p) be the third derivative of 1/20*p**6 + 0*p**3 + 0*p**5 + 14*p**2 + 1/24*p**4 + 0*p + 0. Does 15 divide i(3)?
True
Let v(k) be the second derivative of 5*k**3/3 - 95*k**2 - 37*k. Is 45 a factor of v(37)?
True
Suppose 0 = -15*x - 2393 + 60533. Does 15 divide x?
False
Suppose 4*p - 8 = -y, 2*p + y - 10 = -3*p. Let f be (-3 - -1)/(p/(-52)). Suppose -4*v + 0*v = -f. Is 6 a factor of v?
False
Does 27 divide (-108)/(-8)*(827 + -33)?
True
Does 100 divide (12110 + (0 - -4))*(-63 + 64)?
False
Suppose 4*o - 82 = 2*z, -o - 4*z = z - 15. Let h be (o/6)/((-1)/(-27)). Suppose 0*a - 4*j = a - h, 0 = j. Is 10 a factor of a?
True
Let v be (-108)/(-90)*(-20)/(-3). Is 3 a factor of (252/v)/(3/4)?
True
Let t = 100 + -103. Is 86 a factor of (7 + -5)*t - -694?
True
Suppose k - 8 = -3*k, 2*o + 5*k - 14 = 0. Suppose 162 = 5*r - o*r. Suppose 2*y = -2*d + 4*y + r, 2*y - 156 = -5*d. Is 15 a factor of d?
True
Let p(m) = -2*m**3 - 69*m**2 + 108*m + 164. Does 4 divide p(-36)?
True
Let x be (9/(-2))/(9/(-18)). Suppose x*w = w. Suppose -7*t = -2*t + 4*b - 480, 2*t + 4*b - 180 = w. Is t a multiple of 20?
True
Suppose 5*p = 7*k - 10*k + 1375, 0 = -4*k - 5*p + 1840. Suppose -i + k = -4*q - 575, 0 = -3*i + 3*q + 3093. Does 17 divide i?
False
Does 41 divide (52/78 - (-1)/((-6)/40)) + 1687?
True
Suppose 2*v = -r + 11, 8*r = 2*v + 5*r - 15. Does 33 divide (80 - 14)*21/v?
True
Let c(b) = 1441*b - 274. Does 53 divide c(11)?
False
Let w = 1015 + -566. Let o be (-57)/76*2*(-8)/6. Suppose 600 = 4*y + 4*r - r, o*r - w = -3*y. Is 21 a factor of y?
True
Is -2 + 15/6 + 846650/140 a multiple of 21?
True
Let r(f) = f**3 - f**2 - 21*f + 4. Let w be r(5). Let b be w/6*-3*80/5. Is 15 a factor of (-340)/8*2*b/(-10)?
False
Let q(d) = 236*d**2 + d + 28. Is 100 a factor of q(-4)?
True
Let k = 4013 + -1460. Does 37 divide k?
True
Let d(z) = z - 1. Let l be d(7). Suppose -14*b + 13*b + l = 0. Is (58/b)/(6/18) + 2 a multiple of 8?
False
Let w = 376 - 196. Let d = 306 - w. Let h = d + -74. Is h a multiple of 13?
True
Let y = 5743 - -8633. Does 76 divide y?
False
Suppose 6*h = 3 + 21. Suppose 0 = -3*u - 9, 4*q = -4*u + h + 8. Suppose q*x = x + 250. Is 10 a factor of x?
True
Suppose 2*j + 17*d - 10710 = 13*d, -10719 = -2*j - d. Is 12 a factor of 0/1 + j/3 - -4?
False
Suppose 0 = 2*p - 8, -5*n - 44 = -4*n + 2*p. Let l = n - -37. Let z = 7 - l. Is z a multiple of 4?
False
Let r(a) = 9*a**2 + 63*a - 305. Is 91 a factor of r(17)?
True
Let m = 113 - 44. Suppose -35 = 62*l - m*l. Does 5 divide l?
True
Let v(h) = 17 + 3*h + 56 - 4. Is 57 a factor of v(-4)?
True
Let w(j) = 233*j - 499. Is 21 a factor of w(8)?
True
Is 37 a factor of (-1045)/627*1332/(-5)?
True
Let c(t) = -t - 1. Let y be c(-7). Suppose -y = -4*z - 2*j, -3*z + 2*j = -3*j + 2. Is 11 a factor of (z/(-1))/(3/(-483))?
False
Suppose 25*k - 1508 = -27*k. Suppose -5*z - k*z = -11594. Is 23 a factor of z?
False
Suppose 0 = h - 232 + 118. Suppose 2*n = 26 + h. Is 10 a factor of n?
True
Let p be ((-5 + 4)*0)/5. Suppose -y + 105 = -2*i, 0 = 3*i - p - 15. Does 5 divide y?
True
Let n(w) = -14*w - 5*w**3 + w**3 - 48*w**2 + 5*w**3 - 21 + 59*w**2. Let i be n(-12). Suppose -4*q = i*v - 308, -5*q + 358 = -0*q - 3*v. Is q a multiple of 37?
True
Let v(i) = -2*i**2 + 95*i - 28. Let n be v(44). Is n/6*27/18 a multiple of 7?
True
Let a(d) = -4*d**3 - 6*d**2 + 11. Let l(u) = -u**3 + 9*u**2 - 8*u - 4. Let c be l(8). Is 9 a factor of a(c)?
True
Let q be -2 + 0 + 0 + 47. Let m be (36/(-16))/(5/80). Let n = m + q. Does 3 divide n?
True
Suppose 0 = -153*y + 157*y. Let l(r) = -r**3 - 9*r**2 - 14*r. Let c be l(-10). Suppose y*w - 3*w + c = 0. Is 20 a factor of w?
True
Let y(d) = -1466*d**3 - 20*d**2 - 2*d - 24. Does 9 divide y(-3)?
True
Let s(l) = 4*l**2 + 19*l + 309. Does 12 divide s(29)?
True
Let x(f) = -5*f - 35. Let o be x(-25). Does 36 divide (-30*o/(-35))/((-1)/(-14))?
True
Suppose 4 = -4*f + 24. Suppose -2*n + f*n - 8985 = 0. Suppose -13*u = -n - 1035. Is u a multiple of 54?
False
Let c be 0 + 4 - (-43 + -16). Let b = 211 + c. Suppose -38 - b = -4*j. Does 13 divide j?
True
Suppose -5*o = 2*w - 19, -8*o + 4*w = -3*o - 37. Suppose -4*g + o*y = -2*g - 1543, -5*y = 5*g - 3805. Is g a multiple of 57?
False
Let o(i) = -2*i + 10. Let u = -26 + 16. Let d be o(u). Suppose -d - 861 = -11*n. Is n a multiple of 19?
False
Suppose 4*o = o + 252. Suppose 4*q - 56 = o. Suppose -3*r = q - 125. Is r a multiple of 7?
False
Let j(c) = c**3 - 15*c**2 - 15*c - 24. Let o be j(16). Let a(z) = 6*z**2 + 7*z + 18. Is 71 a factor of a(o)?
False
Let f be -2*((-26)/(-4))/(-1). Let a be (-830)/(-13) - 2/f*-1. Let p = 113 - a. Does 15 divide p?
False
Suppose -g = 5*b - 139806, -3*b + g + 83886 = 4*g. Does 20 divide b?
False
Let j(n) be the first derivative of -n**3 + 5*n**2/2 - 3*n - 5. Let r(y) = 7*y**2 - 10*y + 7. Let i(g) = -9*j(g) - 4*r(g). Does 2 divide i(-4)?
Fals