pose -5*q + 24964 = -5*f - 50331, 0 = q - 4*f - 15074. Does 193 divide q?
True
Let i(s) = 10*s - 12 - 17 - 34*s - 11. Is i(-5) a multiple of 8?
True
Let i(a) = a**3 + 14*a**2 - 6. Let k(s) = -4*s - 50. Let d be k(-11). Is 9 a factor of i(d)?
False
Let v be (-12 - -11) + 9/(-3) - 18. Is 1042 - 1 - (27 + v) a multiple of 74?
True
Let b(p) = -2*p**3 + 11*p**2 + 20*p - 29. Let o be b(7). Is 1 + 15/(-12) + (-37557)/o a multiple of 38?
False
Let t(p) = p**3 + 8*p + 5. Let o(k) = 2*k**3 - k**2 + 9*k + 5. Let i(v) = 2*o(v) - 3*t(v). Let u be i(4). Suppose u*d = 18 + 21. Is d a multiple of 12?
False
Suppose -5*n = 5*t - 25415, -4*t = 2*n + 7570 - 27906. Let f = -3371 + t. Is f a multiple of 11?
False
Suppose -14*s + 13*s - 23*s + 112392 = 0. Does 41 divide s?
False
Suppose 45*k - 51*k + 24 = 0. Suppose -11270 = k*c - 27*c. Does 41 divide c?
False
Let d = 4 - -258. Let c(j) = 2*j**2 + 57*j + 51. Let w be c(-26). Let v = d + w. Does 36 divide v?
False
Let u(q) = q**3 + 12*q**2 + 11*q - 1. Let x be u(-11). Let t be (18/x)/(4 + (-65)/20). Let w = -18 - t. Is 2 a factor of w?
True
Let b(x) = 42*x + 10450. Does 11 divide b(0)?
True
Let v = -13 - -46. Let b = v - -11. Let m = 152 - b. Does 12 divide m?
True
Is 89 a factor of (-45636)/(-7) - (1/(-14))/((-72)/432)?
False
Is 182 a factor of -3 + 24576 + -28 + 25?
True
Let y(a) = -30*a**3 + 3*a**2 + a - 2. Let m be y(-1). Suppose -32*t - m = -798. Is 8 a factor of t?
True
Suppose 176*a - 60*a - 79*a - 650238 = 0. Is 101 a factor of a?
True
Let m be 1/((-19)/19 - 1850/(-1848)). Let r = 1921 - m. Is r a multiple of 61?
False
Let b(k) = 689*k + 4093. Is 139 a factor of b(14)?
False
Suppose 5*d + 859 = m, -2*d - 9*m + 6*m - 330 = 0. Let b(l) = 2*l**3 + l - 4. Let k be b(-5). Let t = d - k. Does 11 divide t?
True
Suppose 0 = -4*t + 2*w - 20, -6*t - 4*w = -4*t. Is 31 a factor of (t + -2 - -1)*236/(-10)?
False
Suppose -4*l = 3*g + 1622, -1439*g + l - 2711 = -1434*g. Let q be (0 - 1)*(837 - -1). Let x = g - q. Is x a multiple of 17?
False
Let d(h) = 9704*h + 956. Is d(2) a multiple of 10?
False
Suppose -5*v - 21 = 34. Let o(t) = -11*t - 45. Let r be o(v). Suppose -78*d + r*d + 120 = 0. Does 10 divide d?
True
Let j(y) = 2*y**3 - 6*y**2 + 4*y + 1. Let c be -4 + 4*(2 - 0). Let w be j(c). Suppose h - w = -o - 5, 3*h - 3*o = 108. Does 10 divide h?
True
Let t = 1864 + -1123. Suppose -s = -4*p - t, -2*p + 2167 = 3*s - 0*p. Is 32 a factor of s?
False
Suppose 11*m - 182 - 16 = 0. Is (6/m)/((-2)/(-1494)) a multiple of 43?
False
Let p be 1/((-9)/(-78)) + (-3)/(-9). Suppose -9 = 3*l - p. Suppose 2*n + l*n - 76 = 0. Is n a multiple of 10?
False
Suppose 7*j = -22001 + 161189 + 21735. Is 169 a factor of j?
False
Suppose 4872 = 4*f - 4*m, 6094 = 10*f - 5*f - 4*m. Let w = f + -442. Is 65 a factor of w?
True
Let a be 4 - 1/(5*5/25). Does 13 divide (1/a)/((-1)/(-1599))?
True
Let l = 264 + -532. Let s = 273 + l. Is s a multiple of 4?
False
Suppose -19*g - 14010 = -24*g. Suppose 10*u + 1885 = 12*u + 3*r, 4*r = 3*u - g. Is 20 a factor of u?
False
Suppose -12*y + 16*y = 2*m + 37136, 5*y - 2*m - 46418 = 0. Is y a multiple of 21?
True
Suppose 5*n - 11 = -4*p + 29, 0 = 4*p + n - 24. Let i = 17 - p. Suppose 10*a = i*a - 30. Is a a multiple of 2?
False
Let b = -17191 + 25021. Does 58 divide b?
True
Let p = -24 - -59. Let d = -26 - -54. Is (d/p)/(2/(-5)) - -36 a multiple of 10?
False
Let d(p) = 7*p**3 + 85*p**2 - 7*p - 34. Is d(-8) even?
True
Suppose 7 = 3*h - k - 5, 12 = 5*h + k. Suppose 11 = -2*r - 3*w, 0 = -5*r + h*w + 2 + 2. Is 28 a factor of ((-99)/(-6) - r)*(5 + 3)?
True
Suppose 32538 = 3*r + 8*z, -84*z + 43384 = 4*r - 80*z. Does 58 divide r?
True
Suppose 28*b - 113408 = 12*b. Is 13 a factor of b?
False
Suppose 255*w + 27*w - 3856993 = -5*w. Is w a multiple of 67?
False
Let r(a) = a**3 + 58*a**2 + 8*a - 223. Does 39 divide r(-25)?
True
Let a = -23975 + 43279. Does 35 divide a?
False
Suppose 20*r = 19*r - 4. Let c(w) = -w**2 - 3*w + 1. Let j be c(r). Does 10 divide (-1 + j/(-9))/(4/(-282))?
False
Suppose -4*k - 4*h - 8 = -2*k, 0 = 2*k - h - 2. Suppose -19*l + 23*l - 728 = k. Suppose -n - 15 = -2*x + l, -4*x + 3*n = -391. Is x a multiple of 25?
True
Let j(w) = w**3 - w**2 - 2*w + 34. Let n be j(0). Suppose -3*m - n = 20. Let r = m - -54. Is 18 a factor of r?
True
Let n(q) = q**3 + 6*q**2 - 17*q - 13. Suppose -2*z + 3*r = -z + 3, z = r + 1. Suppose z*h = 7 - 28. Is 6 a factor of n(h)?
False
Let w(n) = -n**3 + 6*n**2 + 26*n + 164. Is 129 a factor of w(-11)?
True
Let q = 14016 - 8221. Is q a multiple of 26?
False
Let a = -390 - -394. Let p = -6 + 9. Suppose a*h = 71 - p. Is 5 a factor of h?
False
Let k = 39013 - 11758. Is k a multiple of 133?
False
Let h = -76 + 85. Suppose 4*o = 2*v - 34, h = 3*v - 4*o - 32. Is v a multiple of 7?
True
Suppose -24*l + 18*l = -30. Suppose -l = -5*o - 10, -5*o - 105 = -2*r. Is r a multiple of 8?
False
Is 6 a factor of (-3 - -4)*(-10*6/15 - -7336)?
True
Let q(p) = 2*p**2 - 58*p + 126. Is 46 a factor of q(-34)?
False
Let v(s) = s**2 - 29*s - 5. Let g be ((-980)/(-7))/4 + -5. Is 5 a factor of v(g)?
True
Let f(q) = -6*q + 27. Let t(o) = 12*o - 55. Let w(d) = 7*f(d) + 4*t(d). Let y be w(5). Is 294/8 + (-4)/(16/y) a multiple of 17?
False
Suppose -134619 = 23*o - 279637 - 713940. Is 71 a factor of o?
True
Suppose 70080 = -4*i + 14*i. Does 146 divide i?
True
Let w = -58106 - -86904. Is w a multiple of 238?
True
Let d(q) be the first derivative of -13*q**2/2 - 32*q + 68. Does 12 divide d(-8)?
True
Suppose -2*g + 4*w = -4072, 5*g + 340*w = 336*w + 10208. Is g a multiple of 40?
True
Let s = 3028 + -2050. Is s a multiple of 37?
False
Let x = 4 + 1. Let u be 11 - 3/x*(1 - -4). Suppose u*k = -141 + 1317. Is k a multiple of 49?
True
Suppose 0*i = -i - 5*t + 29, -5*t - 27 = -3*i. Let x(q) be the second derivative of q**5/20 - 7*q**4/6 + 4*q**3/3 - 21*q**2 + 2782*q. Is x(i) a multiple of 14?
True
Let w(f) = -f**2 - 34*f + 75. Let g be w(-21). Does 29 divide (15/(-4))/(-1*3/g)?
True
Suppose -j = 2*o + 3*j + 12, 6 = -5*o - 2*j. Suppose 8*k - 174 - 290 = o. Is 21 a factor of k?
False
Suppose 16 = -4*x, -10*x = 5*o - 8*x - 15002. Is 2 a factor of o?
True
Suppose -57*s + s = -106*s + 295200. Is s a multiple of 72?
True
Suppose 4*m + 14*q - 15*q - 122672 = 0, m = -3*q + 30668. Does 34 divide m?
True
Let g(b) = 25*b + 140. Let k be g(-5). Is (1 + -266)*k/(75/(-10)) a multiple of 41?
False
Suppose 3*z + 2*t - 8163 = 0, -3*z - 73*t = -70*t - 8169. Does 13 divide z?
True
Suppose -80*m = -83*m + 582. Suppose -4*w - m = -2*g, -4*g = 22*w - 21*w - 397. Does 99 divide g?
True
Suppose 9*z + 327 = -285. Let b = z + 303. Is b a multiple of 21?
False
Is 16 a factor of ((-285)/(-25))/(((-40)/(-8))/525)?
False
Suppose 8*g + 19*g - 13*g = 0. Suppose -4*m + 11107 - 2951 = g. Is 32 a factor of m?
False
Let v = -19 + 13. Let m = 2183 + -2177. Does 44 divide 176/v*1/(m/(-9))?
True
Suppose -15*i - 24 = -21*i. Suppose 5*l = -2*t - 105 + 307, 204 = 5*l + i*t. Let w = l + -4. Is 6 a factor of w?
True
Suppose 5*c - 3 = 12. Suppose -s + 4*x + 99 = x, 0 = -s + 5*x + 93. Suppose 5*r + 17 = -2*l + s, -c*r - 3*l + 60 = 0. Is 9 a factor of r?
False
Let v be 0*5/(-10)*1. Suppose 5*r = -5*f - v*r + 1300, -2*r = 0. Is f a multiple of 10?
True
Does 19 divide (27216/(-96) + (-6)/4)*498/(-10)?
True
Suppose 44426 = 2*y + 4*a, -4*y - 11*a + 88860 = -7*a. Is y a multiple of 76?
False
Suppose 180*n + 605449 - 5482729 = 0. Is 17 a factor of n?
False
Let h = 56 + -4. Let t = h + -37. Suppose t*i = -1136 + 4871. Is i a multiple of 32?
False
Let u(o) = -o + 1. Let a be u(0). Is (9/7 - a) + (-13651)/(-119) a multiple of 7?
False
Suppose -11*a + 12*a - 10 = 0. Let b(q) = -q**3 + 11*q**2 - 10*q + 17. Let z be b(a). Let k = z - 13. Is k a multiple of 3?
False
Let t(y) = y**3 + 2*y**2 - 5*y - 2. Let o be t(5). Let d = -96 + o. Suppose -55*w + 39 = -d*w. Does 5 divide w?
False
Let l be 4 + (2721/6 - (-20)/8). Suppose 3*b - 7*b + l = 3*o, 0 = 2*o. Does 4 divide b?
False
Let a(r) be the second derivative of 19/6*r**3 - r + 0 - 29/2*r**2. Is a(13) a multiple of 20?
False
Let d = -69 + 75. Suppose -5*b + d*b = 2. Is (-17)/51 + (-10)/(-3) + b a multiple of 2?
False
Let a(w) = 7*w**3 - 11*w**2 - w - 28. Let q be a(-8). Is (2 + q/21)*56/(-12) a multiple of 16?
False
Suppose 0 = -3*d - 3*w -