 o(h) = h**3 - h**2 - 4*h + 1. Suppose 2*d - 4*t = 3*d - 15, 3*d = -2*t + 15. Does 7 divide o(d)?
True
Suppose d - 5 - 4 = 0. Let y = -6 + d. Suppose 121 = y*o + 25. Is o a multiple of 16?
True
Suppose -3*x + 6 = 8*a - 5*a, -3*x + 3 = 2*a. Does 3 divide 2783/55 + a/(-5)?
False
Let h(l) = l**3 + 4*l**2 - 3*l + 3. Let y be h(3). Let j = y - 9. Does 9 divide j?
False
Let s(a) be the first derivative of 4*a**3/3 + 2*a**2 + 3*a - 4. Let f be s(-2). Let g(y) = y - 7. Is g(f) a multiple of 4?
True
Let x be (-43)/(-86)*4*(-1 - -3). Suppose w - 21 = 4*m, 5*w - w + x*m - 64 = 0. Is 6 a factor of w?
False
Let p be (-6)/33 - 79/(-11). Suppose -4*m - 309 = -p*m. Is 22 a factor of m?
False
Suppose 0 = -5*s + 25*a - 27*a + 8585, -3*s + 5151 = 2*a. Is s a multiple of 101?
True
Does 12 divide (-2707)/(-8) + (-21)/56?
False
Let d(t) = 7*t**3 - 7*t**2 - 6*t - 3. Let q(s) = 8*s**3 - 8*s**2 - 7*s - 3. Let f(g) = -7*d(g) + 6*q(g). Is 6 a factor of f(-2)?
False
Let c(m) = -5*m**3 - 4*m**2 - 10*m - 42. Does 41 divide c(-5)?
True
Suppose -2*i + c + 3*c + 2830 = 0, -5*i - 2*c = -7099. Does 41 divide i?
False
Let x(q) = 6*q + 62. Does 3 divide x(-7)?
False
Suppose -3*r + 5*l - l = -16, 0 = 2*r + 3*l - 5. Suppose r*b - 6 - 6 = 0. Suppose 5*v - 17 = b*x + 106, 0 = -5*v - 5*x + 115. Does 12 divide v?
True
Let w(f) = -6*f + 17. Let u(q) = 11*q - 35. Let t(s) = 4*u(s) + 7*w(s). Let p be t(12). Suppose 5*x + o - 343 = 0, -p*x + 3*o + 213 = -0*x. Is 13 a factor of x?
False
Let v = -34 + 34. Suppose r = 136 - v. Does 17 divide r?
True
Suppose -2*v + 4*n = -1226, 5*n = -4*v + 6*n + 2417. Is 97 a factor of v?
False
Let n(u) = 2*u**3 - 10*u**2 + 10*u + 7. Does 15 divide n(5)?
False
Suppose 4*y + 4*f - 8*f - 28 = 0, 0 = -3*y - f + 1. Suppose 11 = a - 3*j, y*a = -0*a - 2*j + 6. Suppose 0 = -3*n + 3, 4*n + 4 + 132 = a*p. Does 28 divide p?
True
Is 42 a factor of 10/(-4)*-252*1?
True
Suppose 3926 = 10*x - 3184. Is 7 a factor of x?
False
Let a = 1346 - 476. Does 29 divide a/50*(-1 - -6)?
True
Suppose 6*p - 3*p - 327 = 0. Let g = p + -32. Suppose -g = -4*k + 171. Does 31 divide k?
True
Suppose 0*p = -4*q - 2*p - 18, -p = 3. Let a(v) = -3*v - 27. Let f(r) = -2*r - 14. Let b(j) = q*a(j) + 5*f(j). Is b(0) a multiple of 11?
True
Let b = 582 - 407. Does 4 divide b?
False
Let i = 93 - -521. Does 51 divide i?
False
Let b(s) = -s + 18. Let c be b(12). Suppose 5*f + 5*o = 290, 0 = o - c*o - 15. Let l = f - 30. Is l a multiple of 12?
False
Let t = 10 - 10. Suppose t = 2*w - 32 - 10. Suppose -j + 0*j = -w. Is j a multiple of 21?
True
Is -2*2/6 + (-92395)/(-51) a multiple of 10?
False
Let i be -1 - ((-4)/1)/4. Let x be 4*(1 - (-1 - i)). Let d = x - -11. Is 19 a factor of d?
True
Suppose 2*v = -i + 3*v + 51, 2*i - 103 = v. Suppose 2*x - i = 5*f, -2*x + 3*f = -f - 54. Is 31 a factor of x?
True
Let h(j) = -j + 11. Let a be h(4). Let l be (20/1)/(a/21). Suppose 4*i - l - 76 = 0. Is 7 a factor of i?
False
Let q(b) = b**3 + 4*b + 9 - 2*b - 10 - 2*b**2. Let t be q(2). Suppose t*y = k + y - 48, 4*k - 5*y - 177 = 0. Does 15 divide k?
False
Let i = 1628 + -1317. Does 98 divide i?
False
Does 3 divide 3073/14 - 2*(-4)/(-16)?
True
Let l be 2/(-4)*-3*2. Suppose 0 = -l*o + 4*o + 452. Is o/(-14) - 6/21 a multiple of 19?
False
Suppose 0 = -5*w - 3*w - 16. Let f(s) = 2*s**2 + 5*s + 5. Is 3 a factor of f(w)?
True
Let s(m) be the first derivative of 11*m**2/2 - 21*m + 6. Is 9 a factor of s(6)?
True
Suppose 0 = 9*k - 14*k + 735. Suppose -2*w + 6*w - 566 = 2*i, -w - 5*i = -k. Is 39 a factor of w?
False
Does 30 divide 1/(-3 - (-17150)/5715)?
False
Suppose 2*b + 3 = j, -3*j = 6*b - 3*b + 18. Let u be (-924)/18 - 4/6. Is 7 a factor of u/b + 6/9?
False
Let z = 9 - -8. Let q = 19 - z. Suppose -54 = v - q*v. Is 25 a factor of v?
False
Let o(f) be the first derivative of -f**3/3 - f**2/2 + 20*f + 2. Let t(w) = w**3 - 10*w**2 + 25*w - 6. Let u be t(6). Is 6 a factor of o(u)?
False
Is 106 a factor of ((1057 + 3)/(-5))/((-6)/105)?
True
Let r = -36 - -40. Is 13 a factor of (5 - (r + -1 + -1)) + 38?
False
Suppose -5*r + x + 3060 = 0, -30*x = 5*r - 25*x - 3060. Is r a multiple of 36?
True
Let d be ((-84)/35)/((-1)/(-15)). Let o = 142 + d. Does 13 divide o?
False
Suppose 5208 = 19*c + 2*c. Does 31 divide c?
True
Let n(y) = -y**2 + 8*y + 5. Let j be n(8). Let t be ((-2)/4)/(j/(-110)). Does 6 divide 2*4/8*t?
False
Suppose 5*x - 10*x + 20 = 0. Suppose 19 = 5*k - 1, 3*w - 1120 = -x*k. Suppose 5*g - w + 78 = 0. Is 38 a factor of g?
False
Let q(v) be the second derivative of v**5/20 - v**4/3 + 2*v**3 + v**2/2 + 21*v. Does 9 divide q(5)?
False
Suppose 0 = -2*u + u + 14. Let v = u - -62. Is v a multiple of 38?
True
Is 33 a factor of (2904/20)/((-16)/(-40))?
True
Let a(h) = 4*h**2 - 12*h - 12. Suppose -4*m - 6 = -6*m. Let p(b) = 3*b**2 - 11*b - 11. Let i(u) = m*p(u) - 2*a(u). Is 18 a factor of i(-6)?
False
Suppose -6*k = -10*k. Suppose -3*g = -0*g - 3*x - 66, -5*g - 5*x + 80 = k. Is 23 a factor of g - (-7 - -4 - 1)?
True
Let h(i) = i**2 + 9*i - 1. Suppose -2*j - 24 + 4 = 0. Let g be h(j). Is 222/g - (-2)/(-3) a multiple of 12?
True
Suppose -2*w = -3*b - 3*w + 344, 0 = 3*b - w - 340. Suppose 0*q + 3*q - t + 85 = 0, 4*q + b = 2*t. Let k = 46 + q. Is k a multiple of 5?
False
Suppose -746 = -3*m - 470. Does 10 divide m?
False
Suppose 0*p = -3*a + 2*p, -4*p = -2*a - 8. Suppose c + a = 6. Let m = 28 + c. Is 15 a factor of m?
False
Suppose -27*g + 23*g = -z + 78, g = 2*z - 128. Does 62 divide z?
True
Let p(h) = 106*h**3 - h**2 - 3*h + 2. Is p(1) a multiple of 31?
False
Suppose 4*v + 5*m = 33, -m - 4*m = -25. Suppose -2*c = 5*x - 284, x + 3*c - v*c = 55. Is x a multiple of 6?
False
Let j = -220 + 353. Let i be j - (-3 + 6 + -2). Suppose o + 3*o - i = 0. Is o a multiple of 11?
True
Suppose -d - 21 = -2*d. Let a be 14/d*(-6 - 0). Let y(s) = -12*s - 6. Is y(a) a multiple of 9?
False
Suppose 3*s - 1146 = 3*z, -3*s = -0*s - 2*z - 1142. Does 27 divide s?
True
Let y(g) = -2*g + 9. Let b(r) = r - 4. Let j be 2 + -6 + 1 + 0. Let d(h) = j*y(h) - 7*b(h). Does 9 divide d(-8)?
True
Let l(t) = t**3 + 7*t**2 + 9*t + 9. Let u be 3/(-3) + -2 + -3. Let z be l(u). Let i = 6 - z. Is i a multiple of 8?
False
Let t(j) = -j**2 - 7*j - 3. Let m be t(-6). Suppose m*f = -f + 56. Is f a multiple of 14?
True
Let d(i) = 3*i**3 - i**2 + i - 2. Let x be d(2). Let v = -32 + 18. Let t = x + v. Is 2 a factor of t?
True
Suppose 67*v + 17259 = 91227. Does 23 divide v?
True
Suppose 0 = 57*f - 54*f - 750. Suppose 3*y = 142 + 35. Suppose f = 5*u - 4*v, -u - 2*v + y = -v. Is u a multiple of 18?
True
Suppose 5289*v = 5296*v - 7462. Is v a multiple of 13?
True
Suppose 3996 = 8*y - 548. Suppose 4*m = y - 64. Is m a multiple of 21?
True
Let m = -50 + 49. Does 11 divide m/((-662)/2616 + (-2)/(-8))?
False
Let z = -87 + 68. Let y = z - -33. Is y a multiple of 3?
False
Suppose -3*u + 72 = 4*o, 5 = -2*o - 3*u + 35. Let i = 31 - o. Is i a multiple of 10?
True
Let m(n) = -n**3 + 6*n**2 - 7*n + 10. Let k be m(5). Does 9 divide -1*(-36)/(1 - (k + 0))?
True
Let k = 563 + -441. Is k a multiple of 55?
False
Suppose m + 32 = -4*v - m, v - m = -2. Let d(z) = z**3 + 6*z**2 - 4*z + 18. Is 14 a factor of d(v)?
True
Let b = 25 + -24. Let t be b + 4/(-4) - -3. Suppose 3*a - 2*a - 213 = -t*u, 0 = -2*u + 3*a + 153. Does 13 divide u?
False
Suppose -2*t = -134 - 242. Suppose 5*y = t + 172. Is y a multiple of 24?
True
Suppose 28 = -16*c + 13388. Is c a multiple of 3?
False
Suppose 56*p - 50*p = 3486. Does 54 divide p?
False
Let s(x) = -11*x**3 - 3*x - 2. Let p(j) be the third derivative of j**5/60 + j**4/3 - 5*j**3/3 + j**2. Let o be p(-9). Is 6 a factor of s(o)?
True
Let v = 8 + -5. Let i(s) = -s - 6. Let g be i(-7). Is 5 a factor of g/(3/45*v)?
True
Let l(t) = t**3 + 3*t**2 - t + 1. Let a(z) = -z + 1. Let s(m) = 3*a(m) + l(m). Let x be s(-4). Does 12 divide (73 - x)*1/3?
False
Suppose 603 = 7*c - 1259. Is c a multiple of 11?
False
Let a(p) = -6*p**3 - 5*p**2 + 16*p + 87. Does 3 divide a(-6)?
True
Let o(r) be the third derivative of 41*r**5/60 + r**3/6 - 2*r**2. Does 14 divide o(1)?
True
Let g = 9 + 45. Is 42 a factor of (-3)/(-2)*(g - -2)?
True
Let g be 8 - 6*3/6. Suppose 0*u - 85 = g*u. Let s = u + 29. Is s a multiple of 4?
True
Suppose h + 4590 = 5*m, 17*m - 15*m - h = 1839. Does 23 divide m?
False
Let f(v) =