 + 561 = -k. Does 12 divide m?
False
Suppose -3*h = -4*h + 17*h - 519264. Does 223 divide h?
False
Let m be (-2919)/(-39) + -6 + (-480)/(-78). Suppose m + 559 = a. Is 13 a factor of a?
False
Let o(d) = -2*d**3 - 3*d**2 - d. Let c = 54 - 54. Suppose c = z - 9*z - 24. Is 4 a factor of o(z)?
False
Let y = 38 - 38. Let d be 1 + 7 + -1 + y + 3. Let s(h) = h**3 - 10*h**2 + h + 19. Is s(d) a multiple of 14?
False
Let y = -2807 - -2903. Is 12 a factor of y?
True
Let r = 243 + -240. Suppose -r*v - 2951 = -5*c, -3*c + 3*v + 1096 = -677. Is 4 a factor of c?
False
Let i = -823 + 515. Let s = i + 1096. Does 17 divide s?
False
Let r(d) = -d**2 - 5*d + 22. Let g be r(-8). Let i(b) = 2*b**2 + 22*b + 6. Let f be i(-11). Is 6 a factor of 0 - (f/g + -51)?
True
Let i = -7093 + 27819. Is i a multiple of 43?
True
Suppose 3*l - 2*p = 9, 5*l + 34*p = 29*p + 15. Suppose -3*s - 241 + 661 = l*m, -3*m - 120 = -s. Does 15 divide s?
True
Suppose 0 = 10*k - k + 54. Let t(i) = i**3 + 10*i**2 + 12*i + 18. Let c be t(k). Let u = c + -82. Does 4 divide u?
True
Does 55 divide -1760*(-6 - (-85)/20)?
True
Let q = 17624 + -7640. Is q a multiple of 48?
True
Is 44780*(-12)/(-20) + -6 a multiple of 121?
True
Let c(d) = 10 + 20 - 11*d - 23. Let x(r) = 10*r - 7. Let y(f) = -4*c(f) - 6*x(f). Is y(-5) a multiple of 19?
False
Is (-20)/6*3 - -1383 a multiple of 4?
False
Suppose -2*s - 49 = 3*t + 32, 0 = t - 1. Does 16 divide (-15680)/s + 10/6?
False
Suppose -5*q = -v - 46, q - 4*q = -2*v - 22. Suppose -4*g - j - q = -g, -8 = 2*j. Does 7 divide g/1*((-1764)/8)/9?
True
Is 25 a factor of 586145/60 + 1/30*5/(-2)?
False
Let v = 94 - 85. Let l(i) = -19 + 2*i + 60 + v. Is 6 a factor of l(0)?
False
Let d be 195/(-5 - 65/(-10)). Is 3 + (52/d - (-3063)/5) a multiple of 15?
False
Let m(y) be the second derivative of y**5/20 - 3*y**4/4 - y**3/2 + y. Let x be (-1)/(-4 - -39*(-2)/(-20)). Is 8 a factor of m(x)?
False
Let p(i) = i**3 + 3*i**2 - 9*i - 12. Let h be p(-5). Let r(q) = -36*q - 62. Let m(s) = -12*s - 21. Let w(n) = h*m(n) + 6*r(n). Does 19 divide w(-7)?
False
Suppose -37*y - 30 = -31*y. Does 15 divide (-2208)/(-16) + -1 + y?
False
Let d(b) = -b**2 - 27*b + 48. Let w(o) = 4*o + 20. Let j be w(-12). Let x be d(j). Suppose 8*p = x*p - 1512. Is p a multiple of 7?
True
Let v(b) = b**3 + 8*b**2 - 12*b - 19. Let n be v(-9). Suppose n*j + 152 = 12*j. Let d = 91 - j. Is 32 a factor of d?
False
Let q(t) = 477*t + 1. Let v be q(5). Suppose -l = -4*l + 9, 2*s + 2*l - v = 0. Suppose -u = -11*u + s. Is 15 a factor of u?
False
Suppose -u - 167 = -m, u + 168 + 4 = -4*m. Let o be u/78 + 2 - 37592/26. Is 4/22 - o/33 a multiple of 44?
True
Let g = -29 + 44. Let p = 59 + -40. Suppose p*t - 16 = g*t. Does 4 divide t?
True
Suppose -4*c - 3*v = 1057, -264 = -c + 2*c + v. Let b = 440 + c. Is b a multiple of 10?
False
Let k = -343 - -586. Suppose 0 = -2*b - k + 1443. Suppose -b = -8*x + 3*x. Does 12 divide x?
True
Suppose 609720 = 26561*i - 26531*i. Does 19 divide i?
False
Suppose 0 = -2*l - 2*i + 38764, 588*l + 5*i = 590*l - 38750. Is l a multiple of 228?
True
Let i(b) = -9*b - 21. Let t be i(-5). Does 61 divide t/(-6)*(-549)/12?
True
Suppose -2*i - 9589 + 13165 = 0. Is i a multiple of 18?
False
Is 15 a factor of 1/(2/14) - (-17650 + 54/27)?
True
Suppose 62*x = -212*x + 74*x + 1960000. Is 14 a factor of x?
True
Let d(y) = 60*y + 60. Suppose 104 = -2*h + 15*h. Does 12 divide d(h)?
True
Let m(d) = 459*d**3 + 6*d**2 - 6*d - 6. Let w be m(2). Suppose -18*f + w + 5916 = 0. Does 13 divide f?
True
Let y(s) = 24*s**2 - 6*s + 2. Let a = -35 + 35. Suppose -13*h + 6*h + 14 = a. Is y(h) a multiple of 5?
False
Let d(s) = s**3 + 13*s**2 - 34*s + 43. Let o be d(-12). Let a = o - 211. Is 24 a factor of a?
True
Let i(y) = 460*y**2 + 8*y + 1. Let k be i(-1). Suppose -3*v - 5*h + k = -2*h, 5*h + 337 = 2*v. Suppose v = -14*r + 16*r. Is r a multiple of 8?
False
Let m(n) = n**3 - 4*n**2 + 16*n + 6. Let y = -66 - -72. Is 6 a factor of m(y)?
True
Let q(u) = 4*u**2 + 25*u + 55. Does 7 divide q(-13)?
True
Let l = 471 - 456. Suppose -2*k - 162 = -2*n, n - 64 = -k + l. Is 2 a factor of n?
True
Let j be (-2)/(-7) + (-259)/49. Let z be 190 + j/(25/(-20)). Let t = z - 98. Is 16 a factor of t?
True
Let k(g) = -3*g + 12. Let r be k(3). Let f be r*((-36)/(-42))/(18/(-28)). Is (-1)/f + 1/((-24)/(-1866)) a multiple of 12?
False
Let b(r) = 58 - 31 + 290 + 223 - 6*r - 10*r. Is b(0) a multiple of 34?
False
Let r(f) = -19*f**2 - 4*f - 7. Let l(h) = -18*h**2 - 5*h - 7. Let o(m) = 5*l(m) - 6*r(m). Let z be o(4). Let u = z - 251. Is u a multiple of 45?
False
Suppose -5*t + 21 = -t - r, 0 = -2*t - 4*r + 24. Suppose t*l = 2264 - 752. Does 28 divide l?
True
Let h(u) = u - 1. Let o(s) = -4*s**2 + 13*s - 1. Let a(y) = 2*h(y) - o(y). Let v(z) = -z**2 - z - 1. Let b(g) = -a(g) - 3*v(g). Is 5 a factor of b(5)?
False
Let v = 14 + -9. Let i = -80 - -91. Suppose -576 = v*d - i*d. Does 8 divide d?
True
Let q(h) = 12*h**2 + 12*h + 36. Let y be ((-88)/77)/((-3)/(-21)). Is q(y) a multiple of 33?
False
Let i be (-4)/10 - 6188/(-20). Let o = 897 - i. Is o a multiple of 21?
True
Let d(c) = 9*c**3 - 2*c**2 + 15*c - 2. Let n(o) = -o**2 + 13*o - 39. Let t be n(7). Is d(t) a multiple of 10?
False
Let t be ((-7)/3)/((-9)/81). Let p be -1 - ((-2)/(-6) - t/9). Let f(k) = 281*k**2 + k - 3. Does 31 divide f(p)?
True
Suppose -39*z + 35*z = f - 16618, 4*f - 66556 = 5*z. Is f a multiple of 10?
False
Let g = 945 - 609. Suppose 4*o = 3*o - 2*d + g, -15 = -5*d. Is o a multiple of 33?
True
Let r be (-22)/(-8) - 2 - (-345)/20. Suppose 175 = 25*j - r*j. Let t = 56 - j. Is t a multiple of 4?
False
Suppose -45 = -5*q + 5*y, 0 = q + y - 1. Suppose -382 = 4*v - 0*v + c, v + q*c + 105 = 0. Let o = -42 - v. Is 7 a factor of o?
False
Suppose 0 = -3*q + 5 + 7. Suppose l + 252 = 2*m, -q*m + l + 33 = -469. Is m a multiple of 20?
False
Suppose 3*o + h = 5*o - 68, -4*h + 25 = o. Suppose -34*g = -o*g - 1120. Does 16 divide g?
True
Suppose -111*z - 23700 = -5*m - 106*z, -5*z = 2*m - 9473. Is m a multiple of 7?
True
Let k(h) be the first derivative of -7*h**2 - 206*h + 62. Does 10 divide k(-27)?
False
Suppose -35*l - s + 144138 = -31*l, l = -2*s + 36024. Does 39 divide l?
True
Let z = -7 - -19. Let i be (-3)/((-63)/z)*7. Suppose -i*b + 334 = 94. Is 6 a factor of b?
True
Let h = 30848 - 16537. Is h a multiple of 6?
False
Let h(b) = -b**2 - 11*b - 26. Let v = 116 + -120. Let p be h(v). Suppose 4*w = 4*y + y + 455, -p*w + 230 = -2*y. Is 40 a factor of w?
True
Suppose 0 = 3*d - 50 + 56. Does 15 divide (-1 + 0 - -3) + (-596)/d?
True
Let w = 41740 - 3107. Does 81 divide w?
False
Let b = 50 + -46. Let g be b/18 + (-14)/63 - 0. Suppose g = 10*w - 237 - 273. Does 17 divide w?
True
Let t(v) = -16*v**2 + 11*v + 25. Let p be t(-4). Let r = p - -587. Is 21 a factor of -74*((-420)/r + 4/(-26))?
False
Suppose 0 = -83*i + 12*i + 22720. Is i a multiple of 4?
True
Let s = 106 - -251. Let v = s - 338. Is v a multiple of 3?
False
Let z(a) = a. Let w(f) = f. Let n(x) = -3*x - 4. Let k(s) = -4*n(s) + 12*w(s). Let i(p) = -k(p) + 6*z(p). Does 20 divide i(-7)?
False
Is (-150)/10*3186/(-30) a multiple of 2?
False
Let g = -37 + 47. Suppose 1794 = 16*r - g*r. Let o = 439 - r. Is o a multiple of 28?
True
Suppose 2*d - 12 = 3*u, 4*d + 11*u - 7*u = 4. Suppose 0 = m + d*f - 0*f + 23, -3*m - 3*f - 45 = 0. Let i(l) = -11*l - 2. Does 10 divide i(m)?
False
Let n = -10952 + 19547. Does 111 divide n?
False
Suppose 6 = -0*u + u. Suppose j = 5*a - 44, 2*a + j - 6 = u. Let q = a - -3. Is 11 a factor of q?
True
Suppose -16*u = -52907 + 14491. Is u a multiple of 7?
True
Is (-2)/(-38) + (-17394615)/(-3591) a multiple of 13?
False
Suppose -762*z - 195362 - 281118 = -782*z. Is 20 a factor of z?
False
Suppose -2*h + 12 = -2*r, -10*h = -5*h - 4*r - 29. Let d(s) = 4*s - 3 + 3*s**3 + 5*s**2 - s**3 - 3*s**3. Is 4 a factor of d(h)?
False
Let j(t) = 4*t**2 + 39*t - 5. Let f be j(6). Suppose -7*l + 159 + f = 0. Does 3 divide l?
False
Let k(b) = 0 - 7 - b**2 + 15*b + 7. Let c be k(15). Suppose 35*l - 33*l - 246 = c. Is l a multiple of 24?
False
Let d = 655 - 290. Let r = -293 + d. Does 2 divide r?
True
Let m(a) be the first derivative of -a**4/12 - 4*a**3 + 12*a**2 - 10*a - 9. Let k(o) be the first derivative of m(o). Is 22 a factor of k(-18)?
True
Let l = 180