((-16)/(-720)). Is 31 a factor of i(c)?
False
Suppose -1389 = -2*s + 1307. Suppose -2 = -i, -3*m - 4*i - 359 + s = 0. Suppose 5*r - m + 47 = 0. Is 14 a factor of r?
True
Let x(y) = -y**3 + 55*y**2 - 105*y - 41. Let p be x(53). Let q(k) = -k**3 + 6*k**2 - k - 2. Let c be q(4). Does 13 divide -18*(c/p)/((-1)/2)?
True
Suppose 4*w + 6*f = 3*f + 3524, -5*f + 4400 = 5*w. Suppose d = -d + w. Suppose d = 8*p + 82. Does 13 divide p?
False
Suppose -243*k + 237*k + 306 = 0. Suppose 3*w - k = -p + 390, 4*p - 1788 = -4*w. Does 25 divide p?
True
Let z(w) = 2*w**2 + 16*w + 35. Let c be z(-4). Is 28 a factor of (-36 - -34) + c/((-6)/(-340))?
True
Let o be (5 + -7)*(-1 - 6/(-4)). Is 57 a factor of (-5)/(-15)*o*-780?
False
Let w be (-4)/2*-2*1. Let p(g) = -3*g**3 + 6*g**2 + 21*g - 12. Let h(s) = s**3 - 3*s**2 - 9*s + 6. Let r(o) = -7*h(o) - 3*p(o). Does 6 divide r(w)?
False
Let n(v) = 7*v**2 - 10*v - 181. Suppose -y + 270 = 255. Is 68 a factor of n(y)?
False
Let g(a) = -3*a**2 + 3*a + 4*a + 0 + 687*a**3 - 6*a - 1 + 4*a. Is g(1) a multiple of 50?
False
Suppose -2 = -h, -3*s + 3*h + h + 1531 = 0. Suppose 5*l + 1333 = s. Let d = -97 - l. Does 13 divide d?
False
Suppose -61 + 133 = 3*j. Suppose 26*a = j*a + 560. Does 14 divide a?
True
Suppose 0*m - 24 = -2*m + 4*t, 17 = -4*m - 5*t. Suppose -368 = -4*d + m*x, 5*d - 758 + 304 = 4*x. Is d a multiple of 13?
False
Suppose -4*l = -5*t - 24 + 17, -4*t = 3*l - 44. Let w(f) = -4*f - 30. Let g(i) = -5*i - 30. Let v(s) = 5*g(s) - 6*w(s). Is 14 a factor of v(l)?
False
Suppose k - 36*j + 34*j - 28694 = 0, j = -k + 28685. Is 10 a factor of k?
False
Let p = -792 + 1758. Does 46 divide p?
True
Let c = 129642 - 92145. Is 13 a factor of c?
False
Let k be 3/(-12)*1 - (-126)/24. Suppose -k*t + 180 = -2*h + 3*h, -2*h + 345 = 5*t. Is 33 a factor of h?
True
Let a(n) be the second derivative of 33*n**4/4 - n**3/3 + n**2 + 1800*n. Let o = -2 - -3. Is a(o) a multiple of 11?
True
Suppose -3*q - 31 - 9 = 5*t, 2*t - q = -16. Let u be 34/4 + (-12)/t. Is 11 a factor of (776/u)/((-60)/(-150))?
False
Suppose -2*j + 1526 + 108 = 0. Suppose 4*f = -5*n + 1094, 3*n - j = -3*f + n. Is f a multiple of 47?
False
Let t(u) = u**2 + 10*u + 23. Let d be t(-5). Is 4 a factor of d*(9/2 - 5) + 169?
False
Let g be (-124)/(-16) + (-2)/(-8). Suppose t + g - 3 = 0, -2*x = -4*t - 24. Suppose 0 = -h + l + 70 + 68, x*h - 282 = -4*l. Is h a multiple of 17?
False
Let f = -703 - -4751. Is f a multiple of 184?
True
Is 47 a factor of 33/(14190/11438840) + 10/215?
True
Is 18 a factor of (-354096)/(-45) + 36/30 - 12?
False
Let k = -195 - -8151. Is k a multiple of 26?
True
Let v be 5/((-10)/(-8)) - -1. Suppose -9*g - 3*x = -v*g - 26, 0 = -x - 2. Does 4 divide g?
True
Suppose 5*t - 4*t = -29. Let i(s) = s**2 + 22*s - 367. Let n be i(-34). Let x = n + t. Is x even?
True
Suppose 444*j - 443*j = 7061 + 1354. Does 187 divide j?
True
Let k(g) = g**3 - 13*g**2 + 3*g - 5. Let v be k(12). Let r = -168 - v. Let l = r - -64. Is 5 a factor of l?
False
Let h(d) = -d**3 + 2*d**2 - 2*d + 221. Suppose 0 = -15*p + p. Is 9 a factor of h(p)?
False
Suppose 1341 = -30*j + 111. Let p = j - -90. Does 2 divide p?
False
Let q be 4/(-30) - 1155/(-225). Suppose -3*o = q*d - 188, 3*o = -d - 0*d + 208. Let u = 11 + o. Is u a multiple of 26?
False
Let n(w) = -13*w**2 - 27*w - 6. Let y be n(-7). Let v = 42 - y. Is 8 a factor of v?
True
Suppose -j + 4*q = 246, 0*j + 3*q = -j - 267. Let a be (j/(-4))/((-6)/(-12)). Is 12 a factor of 3*12/(-9) + a?
False
Suppose -3516 = -2*h - 4*v, 2*h + 20*v - 3508 = 24*v. Is h a multiple of 9?
False
Suppose 0 = -4*b + 2*n + 12, -3*n = -2*b + 2 + 8. Suppose 253 = 5*g - 2*q, -b*g + 100 = -4*q + 2*q. Is g a multiple of 11?
False
Let f = 60 - 50. Suppose 109 = m + f. Suppose 44 = 11*y - m. Is y a multiple of 8?
False
Let w(i) = i**3 - 10*i**2 - 23*i + 5. Let n be w(-8). Let z = n + 1397. Is 20 a factor of z?
False
Suppose -4*g + 36 = 4*b, -2*b = -15*g + 13*g + 10. Suppose -g*j + 12*j = 5*d - 1820, -2*j = 4*d - 1468. Does 23 divide d?
False
Suppose 8*r + 381 = -171. Let h be (-472)/6*r/46. Suppose 0*q = q - h. Does 59 divide q?
True
Suppose 2*n + 404 + 56 = 0. Suppose -m + 4*q = -367, m - 1755 = -4*m + 4*q. Let i = n + m. Does 39 divide i?
True
Suppose 0 = 8*i - 69 - 83. Let x(c) = i - 2*c + 5*c - 16. Is 4 a factor of x(12)?
False
Let p(o) = 78*o**2 + 6*o + 8. Is p(6) a multiple of 31?
True
Suppose 2*n - 12 = -j, 2*j - n = 6*j - 13. Suppose 0 = 3*c - 4*c - j*p + 10, 3*p + 35 = c. Let k = 23 + c. Does 4 divide k?
False
Suppose -78*c + 10 = -73*c. Suppose 2*f + s - 349 = 0, 5*f + c*s - 865 = -3*s. Is 2 a factor of f?
True
Let v(d) = 6*d - 151. Let j be v(26). Suppose 4*h = -u + j*u - 1256, -2*u = -3*h - 627. Is 45 a factor of u?
True
Suppose -4*y + 31463 = 15*y - 19609. Is y a multiple of 39?
False
Let j = 175 + -5. Let t = 310 - j. Does 10 divide t?
True
Suppose -205 = 4*w - 0*x + 5*x, -x = -5*w - 278. Let i = -57 - w. Is 3 a factor of 6/(-8)*i*(-38)/(-1)?
True
Let b = -1339 + 1966. Suppose 5*v - b = 638. Is v a multiple of 11?
True
Let z = -50 + 54. Suppose -z*r - 102 = 158. Let l = 99 + r. Is 34 a factor of l?
True
Let l be 187/(-34) + 1/2. Let n = 7 + l. Suppose -n*p = -8, 5*p = -r + 11 + 16. Does 6 divide r?
False
Suppose 9023*u + 25172 = 9037*u. Is u even?
True
Let i(l) = 171*l**2 + 305*l + 3816. Does 14 divide i(-12)?
True
Let i(r) = 9010*r**3 + 60*r - 61. Is i(1) a multiple of 33?
True
Let g(f) = f - 1. Let z be g(7). Suppose 508 = 2*s - z*s. Let m = s + 192. Is m a multiple of 13?
True
Let q = -110 + 113. Does 40 divide (-6)/q + 5 + -2 - -115?
False
Let s = 1876 + 354. Does 30 divide s?
False
Let b(r) = 785*r**2 + 43*r - 93. Does 3 divide b(3)?
True
Let j be 3/(-2)*((-240)/(-18))/(-10). Suppose 0 = -5*a + j*w + 2970, 0 = 5*a - w + 631 - 3601. Is a a multiple of 18?
True
Suppose 2*a + 18 = 5*m - 0*a, -28 = -4*m + 5*a. Suppose 5 = g + m. Suppose -4*v + 485 = -5*h, -2*v + g*h - 2*h + 235 = 0. Does 23 divide v?
True
Suppose -4*z - 22 = q - 8, 0 = 3*q - 5*z - 9. Let v be (q - (-3 + 3 + -4)) + 0. Suppose -11*k + 567 = -v*k. Is 7 a factor of k?
True
Let d(u) = 65*u**2 - 85*u - 1. Is 11 a factor of d(9)?
True
Suppose -5*s = 2*k + 97, 2*s + 4 + 6 = 0. Let l = k - -41. Suppose -4*m + 33 = 3*i, -l*m = -i + 2*i. Does 15 divide i?
True
Let g = -12664 + 19712. Is 8 a factor of g?
True
Let r = 1620 - 745. Does 3 divide r?
False
Is (1 + 2)*7/(7/480) a multiple of 16?
True
Let f(j) = 2*j**2 - 30*j - 244. Is f(-13) a multiple of 11?
True
Let u(v) = v**3 + 7*v**2 + 5*v + 2. Let r be u(-5). Let w(j) = 6*j + 115. Is w(r) a multiple of 31?
False
Suppose 2*l + 5600 = 10*l. Let m = -273 + l. Is m a multiple of 39?
False
Let j(w) = w - 1. Let o be j(9). Suppose u = -o*u + 396. Let z = 91 - u. Is z a multiple of 2?
False
Let q(g) = -7 + 10*g**3 + 5 - 4 + 6*g + 14 - 4*g**2. Is q(4) a multiple of 25?
False
Let w(d) = 3*d**2 + 5*d + 2. Let v be w(-2). Let q be (-3246)/(-9)*(-1 + 2 + -4). Is 10 a factor of q/(-9) - v/18?
True
Suppose 0 = -3*i + 4*i - o - 6632, -5*i = 4*o - 33133. Is i a multiple of 20?
False
Let f(k) = -k**2 - 2*k**2 + 2*k**2 + 14*k. Let v(q) = -34*q - 161. Let y be v(-5). Is 14 a factor of f(y)?
False
Suppose -538858 = -323*t + 253784. Is t a multiple of 31?
False
Is 24 a factor of ((-5976)/(-5))/(3 - (254/20 + -10))?
True
Suppose -1994 = 17*r - 61154. Is r a multiple of 29?
True
Let i(g) = -21*g + 5*g - 26 + 7*g + 2*g + 7*g**2. Is 5 a factor of i(-3)?
False
Let o(j) = 2*j**3 + 5*j**2 - 4*j - 5. Let m(a) = -3*a**3 - 10*a**2 + 8*a + 10. Let f(n) = 3*m(n) + 5*o(n). Let h be 20/50 + 28/5. Does 13 divide f(h)?
True
Let t = -32 - -41. Is (-3915)/t*-1 - -5 a multiple of 37?
False
Let l be 0 + 4 + 1*-4. Let p be (2 + l - (-1 + 4)) + 62. Let r = -54 + p. Does 7 divide r?
True
Let h be (8 - 1)*26*(-2)/(-4). Suppose -s + 47 = -h. Does 6 divide s?
True
Let q(d) = 19*d**2 + 29*d - 68. Does 6 divide q(12)?
False
Suppose -2076 = 4*b - 0*b. Let y be (-6)/(-8) + b/(-12). Suppose -2*l + y = 3*g, -g + 5*l + 16 = 2*g. Is 4 a factor of g?
True
Let a be -28*(-16)/(-10)*-5. Suppose 812*f - 156 = 760*f. Suppose -56 = -v + 2*o, 5*v + o + f*o = a. Does 24 divide v?
True
Is (16/(-136) + 2140/(-595))*-1967 a multiple of 13?
True
Let v(c) = 6*c + 110. Let y be v(-15). Is ((-170)/7)/(y/(-420)) a multiple of 