= -3898 + 7254. Does 31 divide x?
False
Is (-26 - -22) + 2432 + -3 a multiple of 14?
False
Let t(l) = 61*l + 5187. Is t(129) a multiple of 16?
True
Suppose -45326 = -14*g + 57972 - 23722. Is 73 a factor of g?
False
Let k(j) = -j**3 - 8*j**2 + 2*j + 25. Let f = -57 + 61. Let y be 1/f - 74/8. Does 28 divide k(y)?
False
Let d = -145 - -167. Suppose -d*y - 6689 = -22001. Is y a multiple of 7?
False
Suppose 3*h = 3, -a + h + 0*h = -491. Is a a multiple of 5?
False
Let r = 7682 - 194. Is 48 a factor of r?
True
Suppose 31707 = 6*f + 11013. Let y = f - 2203. Does 46 divide y?
False
Let r = 130855 + -89450. Does 245 divide r?
True
Suppose -5*y = x + 20, 3*y = y - x - 5. Let z be ((-126)/(-45))/((-2)/y). Suppose 100 = 8*h - z*h. Is 10 a factor of h?
True
Suppose -9 = -2*a - 5. Suppose -2*l = 5*u + 189, 213 = -a*l - 0*l + 3*u. Is 17 a factor of (l/(-15))/(58/(-20) - -3)?
True
Let b(w) = -7*w + 4. Let m be b(1). Let o be 287/7 + (m/(-3) - 2). Suppose 6*r = 2*r + o. Does 6 divide r?
False
Let w(z) = z**2 + 30*z + 31. Let a be w(-29). Suppose 3*q = -p + 2*p - 27, 52 = 4*p + a*q. Is p a multiple of 4?
False
Suppose -274*p + 276*p - 53451 = -5*r, 5*p + 10 = 0. Does 44 divide r?
False
Let c be 10*5/70*7. Suppose -3*p = -4*y + 163, 4*y - y = c*p + 114. Is 7 a factor of y?
False
Suppose 24226 = 5*z + w, -1248 = -z - w + 3598. Suppose -153 + z = 17*k. Is 46 a factor of k?
True
Let m(h) = -6*h - 29. Let y be m(-4). Let t(d) = 4*d + 22. Let u be t(y). Suppose 5*r - 175 = -4*j, 3*j = -u*r - 43 + 113. Is r a multiple of 7?
True
Let s(h) = -2*h**3 - 2*h**2 - 3*h + 2. Let p be s(-3). Suppose 2*u - 5*c = -6*c + 51, 0 = -2*u + 3*c + p. Suppose -u*n + 76 = -23*n. Is n a multiple of 38?
True
Suppose -4*n = -b + 2006, 13*n = 5*b + 10*n - 10081. Suppose 34*p - 3048 = b. Does 9 divide p?
False
Let k = -22962 - -41577. Is k a multiple of 174?
False
Let a(u) = 13*u - 80. Let d be a(6). Let v = -18 - -5. Does 3 divide (-2)/v - d/26*37?
True
Let v = -329 - -317. Let z(r) = -2*r**2 - 31*r - 35. Does 2 divide z(v)?
False
Let k(c) be the second derivative of -7*c**3/6 + 42*c**2 + 60*c. Is 21 a factor of k(-9)?
True
Let m be (15/20*-1)/(2/(-16)). Let u = m - -7. Let n(l) = l**3 - 14*l**2 + 18*l - 15. Does 31 divide n(u)?
False
Let y be (-2)/(-2)*(-5)/(25/585). Let o = 229 + y. Is o a multiple of 14?
True
Let r = 32042 - 22276. Is r a multiple of 19?
True
Let m(z) = 40*z**3 + z**2 + z. Let q be m(2). Suppose -3*l = 61 + q. Is 24 a factor of (l/4)/(12/(-32))?
False
Let l = -650 - -201. Let j = -223 - l. Is j a multiple of 27?
False
Suppose -a + 2 = -2*a + 3*v, 4*a - 4*v = -8. Does 17 divide ((-104)/(-65))/(a/(-510))?
True
Let w(m) = -m**3 + 7*m**2 - 7*m. Let f be (6/10)/((-18)/90). Let n(v) = -v**2 - 6*v - 4. Let k be n(f). Is 5 a factor of w(k)?
True
Let s(r) = -r**3 + 6*r**2 - 8*r - 38. Let h be s(-5). Let i = 554 - h. Does 40 divide i?
False
Suppose -5*p = 15, -5*g + g - 5*p = -185. Suppose 2*v - 960 = 2*a - g, 3*v - a = 1355. Does 9 divide v?
True
Let u(g) = -1 + 13*g**3 - g**2 - 10*g**3 + 4*g**3. Let v be u(1). Suppose j = -5*a + v*j + 225, 0 = -a + 2*j + 45. Does 45 divide a?
True
Let b(h) = -3*h**2 - 5*h - 6. Let v be b(-5). Let j = v - -52. Is 18 a factor of ((-27)/4)/(j*(-6)/(-896))?
True
Let h(o) = -o**2 + 20*o. Suppose t - 40 = -t. Let u be h(t). Suppose u = -p - 3*y + 109, -2*p - 2*y + 234 = -0*y. Is 17 a factor of p?
False
Let r(w) = 714*w + 946. Is r(62) a multiple of 74?
True
Suppose -10*y - 7 = 133. Is (1 + (-283)/(-1))*(-7)/y a multiple of 17?
False
Let q = 10943 + -4795. Is q a multiple of 43?
False
Let y(d) = 6 + 5*d**2 - 37*d + 1 - 3. Does 27 divide y(12)?
False
Suppose 3*b - b = 32. Suppose -2*p + b = -3*p. Let o(u) = -u**2 - 19*u - 13. Does 18 divide o(p)?
False
Let z(q) be the first derivative of -39*q**2/2 + 4*q + 29. Is z(-10) a multiple of 11?
False
Suppose -20 = -5*l, 1677*l = 5*s + 1680*l - 20137. Is s a multiple of 3?
False
Suppose -3*v = -3, v + v = -4*w + 8298. Does 60 divide w?
False
Let v = -367 - -360. Let u(z) = z**2 + 9*z + 28. Is 2 a factor of u(v)?
True
Suppose 2*p - 5*b - 73 = 0, -2*b - 60 = -5*p + 91. Suppose -10*a + p = -11*a. Let w = 39 + a. Does 5 divide w?
True
Let k(y) be the second derivative of -y**5/20 - 11*y**4/12 - 19*y**3/6 - 29*y**2 + 28*y. Is 8 a factor of k(-10)?
True
Suppose -102840 = -16*u + 5*u - 4*u. Is 13 a factor of u?
False
Let u be ((-2)/(-2)*2)/(2/6). Suppose 4*i - 4*x = -6*x - u, 4*x = -i - 19. Does 10 divide 1/i + 1089/11?
True
Let p be (-4)/22 - ((-1344)/132 + 7). Suppose -p*l = 6, 0 = -3*a - l + 1242 + 886. Is a a multiple of 71?
True
Let t(w) = -w**3 + 14*w**2 + 4*w - 48. Let x be t(14). Does 19 divide ((-1626)/x)/(27/(-72))?
False
Suppose 4*h + 4 = 16. Suppose x - 864 = -5*u + 4*x, 2*x = h*u - 518. Is u a multiple of 14?
False
Suppose -30*l + 10017 + 8313 = 0. Is 30 a factor of l?
False
Let m(v) = v**2 + 39*v - 242. Is m(13) a multiple of 14?
True
Suppose 2*b - 92 = -0. Let g be 7/(-140)*-4 + 48/10. Suppose g*v - 181 = -q - b, 2*q + 3*v - 242 = 0. Is q a multiple of 11?
False
Let h = 9029 + 2555. Is h a multiple of 16?
True
Let z = 3558 - -996. Is z a multiple of 33?
True
Suppose -799739 = -47*i - 2752025. Does 8 divide i/(-49) + 6/21?
True
Suppose 15*u - 24 = -84. Does 48 divide (-838)/16*2*u?
False
Suppose 0 = 237*c - 224*c - 11518. Is 2 a factor of c?
True
Let z(u) = 9*u + 18. Let r be z(-6). Let f(w) = 3*w**2 + 12*w + 4. Let g be f(-7). Let q = g + r. Is q a multiple of 17?
False
Let v = 23 + -28. Let y = 348 - v. Suppose -3*h = -2*q - 3*q + y, h = 5*q - 351. Is q a multiple of 12?
False
Let q = -22 + 27. Suppose a = -2*k + 3*k + 85, -q*a - k + 395 = 0. Is a a multiple of 8?
True
Let s = -144 + 148. Suppose 2461 + 587 = s*k. Let x = k - 453. Is 32 a factor of x?
False
Let p = 36 - 48. Let b be ((-6)/5)/(1/((-160)/p)). Is 30/(4/2) + (-18 - b) a multiple of 13?
True
Suppose 4*r - 16*r = -28320. Suppose 10*z - 14*z + r = 0. Suppose 0 = -5*x - b + z, 3*b - 7*b + 472 = 4*x. Is x a multiple of 16?
False
Let t(h) = -2*h**3 + 6*h**2 - 5*h + 2. Let y be t(2). Suppose y = -14*d + 11*d - 531. Let z = d - -251. Is 7 a factor of z?
False
Let t = -260 + 331. Suppose -4*r - 8 = 0, 0 = -8*d + 7*d - r + t. Is d a multiple of 8?
False
Let q(w) = 29*w - 13. Let p be q(-12). Let i = -329 - p. Does 2 divide i?
True
Let v(b) = -291*b + 7324. Is v(9) a multiple of 24?
False
Suppose 14*a = 11*a + 360. Suppose 0 = 3*k - k + 10, -3*x + a = 3*k. Let z = x + -33. Is z a multiple of 2?
True
Let n = 102 + -61. Let b = -40 + n. Is 12 a factor of (b - -9)*6/5?
True
Suppose -4*w - 10581 = -4*i - 3*w, 2*w = -5*i + 13236. Suppose -17*h = -3*h - i. Suppose h + 119 = 3*r + 4*x, -263 = -3*r + 5*x. Is 32 a factor of r?
True
Suppose 339*t = 343*t + 2*m - 3306, 2*t - 2*m - 1638 = 0. Does 4 divide t?
True
Is 50 a factor of (58320/(-189))/(6/(-280))?
True
Let b(j) = -j + 12. Let o be b(-7). Suppose -4*y + 16 = 4*k, -5*y = -k - o + 5. Suppose -2*z - 75 = -y*u, -5*z + 35 = u - 7. Is u a multiple of 12?
False
Suppose -38*f = -33*f. Suppose 4*r - 12 = f, r = -6*u + 4*u + 55. Suppose -3*t = 4*l - u, 4*l - 38 = -l - t. Is 2 a factor of l?
True
Suppose -u - 8 = -14. Let n be u/27*-6*(-15)/10. Is 50/(-75)*(-99)/n a multiple of 33?
True
Let c(v) be the third derivative of 1/10*v**5 + 1/120*v**6 + 0*v + 0 - 1/24*v**4 - 5/6*v**3 + 11*v**2. Is 14 a factor of c(-5)?
False
Suppose -10283 - 24521 = -14*m. Does 22 divide m?
True
Is (-1)/(-3) - 4582/(-474) - -12249 a multiple of 248?
False
Let s(k) = 9*k - 93. Let j be s(11). Let q(g) = 23*g**2 + 6*g - 14. Is q(j) a multiple of 34?
True
Is 566616/56 + 198/(-63) a multiple of 17?
True
Suppose 5 = 4*u - z, -3*u + u = 2*z - 10. Let i = u + 2. Suppose -2*x + 56 = -b - 17, 4*x + i*b = 140. Is 25 a factor of x?
False
Let g(d) = 18*d + 60. Let u be g(-13). Let x = -112 - u. Does 39 divide x?
False
Suppose 105*k = 94*k + 748. Suppose -3*i - 2*x + 33 = 0, -i + 4*x - 2*x + 3 = 0. Suppose 0 = -5*r + i*r - k. Is r a multiple of 5?
False
Suppose -74888 + 86744 = 58*a - 256104. Is a a multiple of 165?
True
Let n(d) = 50*d**3 - 2*d. Let w be n(-1). Let v = w + 258. Is 30 a factor of v?
True
Suppose -5*a + 2367 = -4*w, 6*w - w = 5*a - 2365. Let b = -271 + a. Does 14 divide b?
False
Let j(g) = -3*g**2 + 27*g + 11. Let q(l) = -3*l**2 +