12*t**4 - 5*t + 0 + 3*t**2. Is 7 a factor of g(5)?
True
Let k = 1992 - 4125. Is 11 a factor of k/9*(-2)/6?
False
Let i = 32 + -7. Let r = i - 21. Suppose -5*w + k = -2*k - 200, -165 = -5*w - r*k. Is 10 a factor of w?
False
Suppose -16 = 8*u + 32. Let h be (u + -4)*14*(-1 - 0). Suppose -5*n = -x + h, 3*x + 3*n - 156 - 210 = 0. Does 19 divide x?
False
Suppose -5*a = -a + 24. Let h be 24*(-3)/a*(-4)/(-6). Suppose -h*i = -11*i + 432. Does 24 divide i?
True
Suppose 3*b = 3*z - 18, 3*b = 5*z - b - 33. Suppose -40 = z*f - 13*f. Suppose -11*o + 21 = -f*o. Is 6 a factor of o?
False
Let c(x) = -x**3 + 25*x**2 + 67*x - 77. Is 139 a factor of c(-18)?
True
Let c be (1/1)/(-1) + 8. Let a(l) = 125*l + 4. Is a(c) a multiple of 21?
False
Suppose 1796*u - 1806*u = -7960. Is u a multiple of 3?
False
Is (1924626/36)/11 + (-5)/30 a multiple of 4?
True
Suppose 6*f - 117 = -3*v + 3*f, 2*f = 2*v - 62. Suppose -v = -m + 33. Suppose 144 = 3*s + 4*t + 7, 0 = -2*s + 2*t + m. Does 11 divide s?
False
Suppose -n = 7*o - 3*o + 32, 3*n - 3*o + 21 = 0. Let h be n/27 + (-8)/(-18). Suppose h = -16*u - 243 + 1843. Does 25 divide u?
True
Let z(u) = -16*u - 16. Let p be z(-11). Let r = p + -120. Is r a multiple of 40?
True
Suppose -18*a + 14*a + 2*u + 20752 = 0, 5*u = -4*a + 20738. Does 91 divide a?
True
Let h = -339 - -13. Let q = h + 139. Let t = -93 - q. Does 10 divide t?
False
Let s(u) = -305*u**2 + 7*u - 10. Let k(p) = 152*p**2 - 3*p + 5. Let t(z) = -5*k(z) - 3*s(z). Does 30 divide t(3)?
False
Suppose 353268 - 71532 = 52*x. Does 42 divide x?
True
Suppose -44*r + 38*r = -12. Suppose -3*h + 1571 = 4*v, 2*h - 6*h + 2108 = r*v. Is 73 a factor of h?
False
Let v = 23 - 21. Suppose -2*s + 2*n = -v*n, 8 = 3*s - 2*n. Suppose -6*t + s*t = 3*b - 157, 0 = 5*t - 4*b - 450. Does 17 divide t?
False
Suppose 3*g + 6*f = 2*f + 57, -4*g + 51 = -3*f. Suppose t + 5*r - 24 = -t, t + r = g. Let u = t - -6. Is 8 a factor of u?
False
Let a(z) = z - 8. Let m(h) = -2*h + 8. Let o(l) = 2*a(l) + 3*m(l). Let x be o(4). Does 32 divide (-620)/x - 3/6?
False
Let h(w) = 9*w + 103. Let d be h(-12). Let b = 56 - d. Is 10 a factor of b?
False
Let r(h) = 8*h - 14. Let j be r(4). Let x(d) = d**3 - 15*d**2 - 47*d - 38. Does 13 divide x(j)?
False
Let k(o) = -101*o - 9. Let x be k(-3). Suppose -2*w = w - x. Suppose 5*y + w = 6*y. Does 19 divide y?
False
Let d = 303 + -298. Suppose p + 2*f = -2*f + 91, -245 = -3*p - d*f. Does 15 divide p?
True
Let v be (12 + 4)*(-3)/(-6). Suppose v*p - 7*p = 2. Does 8 divide (-24)/(3/(-12)*p)?
True
Suppose -r = 2*r - 4*r. Suppose r = -3*n - 3*n + 462. Does 17 divide n?
False
Let m = 14681 - 9380. Is 31 a factor of m?
True
Suppose -28*v = 3*u - 25*v - 45411, -4*u - v = -60563. Is u a multiple of 10?
False
Let u(z) = -22*z + 13. Let o be u(-1). Suppose 394 + 671 = 3*a. Suppose 5*p - a = -4*k, o = k - p - 65. Is 19 a factor of k?
True
Let w = 5994 + -5782. Suppose 15 = 2*z + 3*z. Is 6 a factor of (-3*w/(-12) - 2) + z?
True
Let a be (-4 + 5 - 4)/((-6)/10). Suppose 4*c - 5 = 3, t + a*c - 15 = 0. Suppose 2*o - 369 = -t*u, -2*u - 5*o + 0*o = -156. Does 13 divide u?
False
Let u = 4963 + -2137. Is u a multiple of 18?
True
Suppose -261*w + 257*w - 5*o + 35975 = 0, 20 = -4*o. Is 36 a factor of w?
True
Suppose 6*n = -0*n + 378. Let k = 70 - n. Let g(z) = 4*z**2 - 22*z - 5. Is 6 a factor of g(k)?
False
Suppose 20*m - 4662 = 98. Is 6 a factor of 44 + 4/14 + (-544)/m?
True
Let g(q) be the first derivative of 13*q**6/360 + q**5/60 - q**4/24 - 7*q**3/3 - 4. Let z(l) be the third derivative of g(l). Is z(1) a multiple of 10?
False
Suppose -3*c + 25*o - 30*o + 2356 = 0, c - 790 = 3*o. Let l = c + -435. Does 22 divide l?
True
Suppose -3*q + 5852 + 3697 = 0. Is q a multiple of 105?
False
Let l(p) = -p**3 + 9*p**2 + p + 1. Let j be l(7). Suppose 143 = 5*z - i, i + 28 = 3*z - 59. Let o = j - z. Does 45 divide o?
False
Suppose m + z - 2266 = 0, -2*m - 722 = -4*z - 5242. Does 22 divide m?
False
Let c(j) = j**3 - 9*j**2 + 15*j - 5. Let d be c(7). Suppose 6*n = d - 2. Suppose -5*q - r = -n*r - 314, q = -5*r + 82. Is 12 a factor of q?
False
Let u = -42 + 106. Suppose 2*w = -0*w - a - u, 166 = -5*w - a. Is 17 a factor of (w/3)/((-6)/9)?
True
Let l(n) = 20*n**3 - 3*n**2 - 5*n + 82. Does 35 divide l(4)?
False
Is 16 a factor of ((-150)/200)/(3/(-11916))?
False
Let q(r) = 1502*r + 6. Let v be q(2). Suppose -2*s - v = -5*g - 7*s, -606 = -g - 3*s. Suppose 2*t - 238 = -2*b, -9*t = -4*t + 4*b - g. Is 31 a factor of t?
True
Suppose -3*w + 0 = -18. Suppose w = -12*g - 90. Is ((-11)/4*3)/(2/g) a multiple of 13?
False
Suppose 0 = 5*n - 0*r - 2*r - 20, -8 = -2*n + 2*r. Suppose 0 = -3*k + n*j + 243, -j - 7 = -k + 74. Let u = k - 67. Does 11 divide u?
False
Suppose -d + 5961 = -903. Does 16 divide d?
True
Let m(f) be the first derivative of -266*f**2 - 4*f - 10*f + 250*f**2 - 26. Is 15 a factor of m(-3)?
False
Suppose 0 = 4*q + 2*g - 2 - 2, 0 = q + g - 3. Let f(t) = -13*t**3 - t**2 + t + 2. Let d be f(q). Let o = 19 + d. Is 26 a factor of o?
False
Suppose 39131 + 17107 = 7*g. Is 103 a factor of g?
True
Let p = 10774 - -1600. Is p a multiple of 21?
False
Suppose -57*r = 41*r - 35063 - 6097. Is 42 a factor of r?
True
Suppose 5*l - 18788 - 18870 = -9473. Is l a multiple of 26?
False
Suppose -v + 846 = 4*d + 185, -2*v + 326 = 2*d. Suppose 0 = -4*s + 578 + d. Does 62 divide s?
True
Let k = 69 + -76. Let d(c) = -186*c - 238. Does 56 divide d(k)?
True
Suppose -6*i - 45 = -3*i. Is ((-9)/6)/(i/2570 - 0) a multiple of 23?
False
Let r(t) = t**3 + 8*t**2 + t + 14. Suppose -3*w + z - 15 = 0, 3 = 2*w - 8*z + 3*z. Let v be r(w). Suppose -v = 9*m - 13*m. Is m even?
True
Suppose 324 = 9*w - 8*w + c, 0 = 5*w + 2*c - 1629. Does 29 divide w?
False
Let m = -282 + 281. Is (2/4)/(m/(-1512)) + 4 a multiple of 40?
True
Let z be (-6 + 4 - -8)*1. Is (-12)/(-9) - (-9364)/z a multiple of 22?
True
Suppose 44*o + 132*o - 8317908 = -2292372. Does 12 divide o?
True
Suppose -3338 = -17*w + 1082. Suppose -w*d + 263*d - 672 = 0. Does 8 divide d?
True
Suppose 0 = 5*c - 84 - 61. Let h(s) = 102 - 55 + s + c*s**2 - 46 + 3*s. Does 2 divide h(-1)?
True
Let o(d) = d**3 - 4*d**2 + 13*d - 47. Let x be o(4). Suppose x*v - 4*m = 1635, -m + 15 = -4*m. Is 49 a factor of v?
False
Let i(a) = -a - 9. Let y be i(-9). Suppose -7*t + 11 - 46 = y. Is 17 a factor of ((-18)/t)/(10/425)?
True
Suppose -66 = 140*v - 146*v. Suppose -v*w + 1665 = -8*w - 4*p, -4*w - 4*p + 2248 = 0. Does 11 divide w?
False
Let t(k) = -k**2 + 27*k + 4. Let q be t(27). Suppose -q*x + 398 = -2*w, -15 = 5*w + 10. Let j = x - 90. Does 2 divide j?
False
Suppose -158*f - 116725 = -5712453. Is 76 a factor of f?
True
Let k(s) = 5*s**2 - 3*s - 122. Is k(-20) a multiple of 78?
False
Let s = 865 + -866. Let n be (-2 - -1)/((-1)/(-2)). Does 21 divide 1044/12*(s - n)?
False
Let j = -3057 - -4344. Is 4 a factor of j?
False
Let h(p) = 4*p**2 + 39*p - 484. Is h(44) a multiple of 68?
True
Let s(y) be the first derivative of -y**4/4 - y**3/3 - 3*y + 11. Let g be s(-3). Let l(i) = 3*i - 9. Is 12 a factor of l(g)?
True
Suppose p = -2*x - 10, -6*p + 2*p - 2*x = 10. Suppose p = 3*w + w - 652. Suppose -w = -3*h + 5*o, -4*o = 4*h + h - 321. Is h a multiple of 25?
False
Suppose -56 = -t - 7*t. Suppose 4*g - t - 61 = 0. Is g a multiple of 3?
False
Suppose 640 = -5*w - 3*d, -3*w - 388 = 5*d - 4*d. Suppose 2*m + 0*t = -2*t - 542, -4*t = 2*m + 536. Let y = w - m. Is 29 a factor of y?
False
Suppose 56*j - 9*j - 203280 = -19*j. Is 20 a factor of j?
True
Suppose -131*r = 9*r + 37*r - 1214751. Does 12 divide r?
False
Suppose -r = 3*o - 20580, r - 27312 = -5*o + 6986. Is o a multiple of 22?
False
Let i(y) = 6*y**2 - 3*y + 1. Let v be i(-2). Suppose 2*a + 8 = 0, k - 2*a = -4 + 23. Let u = v - k. Does 5 divide u?
True
Suppose 0 = 7*c + 7*c + 70. Is ((-1404)/(-60))/((-3)/c) a multiple of 39?
True
Is 29 a factor of (2340/54)/(8/348)?
True
Let q(z) = 7*z**2 + 195*z - 32. Is 25 a factor of q(-56)?
True
Let o be (-2)/(2 - (-20)/(-8)). Suppose 0 = -t - 3, -o*u + 1170 = 3*t - 557. Let d = u - 232. Is 17 a factor of d?
False
Let f = 33 + -28. Suppose -2*x = -1 - f. Suppose x*p + 146 = 386. Does 20 divide p?
True
Let o = -42536 - -61492. Does 79 divide o?
False
Suppose 4*q - 6 = q. Let x(z) = -z**3 - 9*z**2 + 12*z + 12. Let a be x(-12). Suppose 5*f 