*3 + 6*h**2 + 24*h - 123. Is 64 a factor of v(10)?
True
Suppose -110*d + 108*d + 390 = 5*z, 4*z + 516 = 3*d. Is 9 a factor of d?
True
Let s = 1738 + 1048. Does 59 divide s?
False
Let d(u) = 17*u**2 - 132*u + 609. Is d(9) a multiple of 19?
True
Suppose -4*a = -2*m - 48, 5*a = 8*m - 5*m + 69. Is 17 a factor of (-1)/(2/1514*(17 + m))?
False
Let t(d) = -7*d + 79. Let m be t(11). Suppose -412 = -2*j + m*y, 5*j + y - 1058 = -y. Is 30 a factor of j?
True
Let g(n) be the third derivative of n**5/12 - 7*n**4/24 - n**3/3 + 172*n**2. Is 17 a factor of g(-11)?
True
Suppose 30 = -5*t + 8*t. Let d be ((-5)/t + 1)*20. Is 7 a factor of (-6)/d - 1689/(-15)?
True
Let j = 270 + -265. Suppose 3*r - 2*x = 281, -j*r - x + 296 + 168 = 0. Is r a multiple of 7?
False
Let p(x) be the third derivative of 113*x**5/30 - 7*x**4/24 - 4*x**3/3 + 2*x**2 + 2. Does 25 divide p(-1)?
True
Is 41 a factor of 37509/5 + (-1068)/(-890)?
True
Let y be 17 + -2*(-4)/(-8). Let t = y - 11. Suppose t*d - 411 = -51. Is 35 a factor of d?
False
Does 88 divide 38017/6 + 12/(-72)?
True
Is 64 a factor of (3258/(-24))/((-33)/16 + 2)?
False
Suppose -7*f = 24 + 74. Is 32 a factor of (8640/(-35))/6*f/3?
True
Let c(r) = -3*r - 17. Suppose 0 = -u + 3*u - h + 15, u - h = -9. Let b(x) = x + 6. Let k(t) = u*c(t) - 21*b(t). Is k(-12) a multiple of 6?
True
Suppose 10548 = 22*b + 14*b. Let v = 441 + b. Is v a multiple of 20?
False
Suppose -6*r + 4134 = -2*r + 3*k, -r + 999 = -5*k. Is 21 a factor of r?
True
Let m(l) be the third derivative of 13*l**4/12 - l**3/6 + 25*l**2. Let p(f) = 52*f - 1. Let d(h) = -14*m(h) + 6*p(h). Is d(-1) a multiple of 12?
True
Let h(b) = b**2 - 63*b + 582. Is 60 a factor of h(126)?
True
Suppose 4*v = v - 12. Let m be (-100)/30 + 4 + 4/3. Does 8 divide m + (-1482)/(-9) - v/12?
False
Let k(h) = -h + 48. Let f be k(-25). Let j be (-6)/(-4)*20/6. Suppose j*o - 5*d = 57 + f, 4*o = -2*d + 134. Is o a multiple of 9?
False
Let o = 181 - 189. Is 355 - (-1 + 3 - (o - -7)) a multiple of 16?
True
Let b(c) = c**2 - 5*c + 2. Let z be b(3). Suppose -680 = 3*q + r - 674, 0 = -4*q + 4*r - 40. Is z*38/4*q/8 a multiple of 19?
True
Let n = 16 - 14. Let u be (-507)/(-27) - n/(-9). Let y = 24 - u. Is y a multiple of 5?
True
Suppose -3*f + 5 = 2*m, m - 17*f + 14*f + 2 = 0. Is (m/(-3) - -1)/(30/25155) a multiple of 60?
False
Suppose -2*d - 701 = s, d + 4*d + 1735 = s. Let o = -223 - d. Is o a multiple of 25?
True
Let v = -1035 + 3443. Does 14 divide v?
True
Does 19 divide (2/4 - 0)*((-30055)/(-5) - 13)?
False
Does 2 divide (-35)/(-3)*44460/546?
True
Suppose 22*i - 6922 - 10843 = 11*i. Does 5 divide i?
True
Let b(u) = u - 2. Let p(k) = 53*k - 38. Let l(h) = 22*b(h) - 2*p(h). Does 71 divide l(-3)?
True
Let v(z) = 22*z**2 + 48*z + 27. Is v(-9) a multiple of 27?
True
Let p(a) be the first derivative of 4*a**3/3 - a**2 - 17*a - 43. Let f(n) be the first derivative of p(n). Does 11 divide f(3)?
True
Suppose -15 = i - 7. Let f(l) = 29*l**3 + 7*l**2 + l - 8. Let s(k) = -22*k**3 - 7*k**2 + k + 9. Let v(m) = 3*f(m) + 4*s(m). Is v(i) a multiple of 2?
True
Let u be (-3)/(-15)*-5*-1*4. Is (-4)/14 - (-18035)/140*u a multiple of 48?
False
Suppose -2*o = 2*u - o - 10, -u - 2*o = -8. Suppose -4*m = u*z - 164, 7*z = -2*m + 4*z + 83. Is 3 a factor of m?
False
Suppose -65*v + 64*v + 1099 = 0. Let h = v + -510. Does 24 divide h?
False
Suppose -2*n - 26 + 8 = 0. Let k = 11 + n. Suppose -4*v - 3*s + 403 = 0, -k*v + v + 4*s + 115 = 0. Is 19 a factor of v?
False
Suppose -45*l + 50*l = 14330. Suppose -9*i + 12946 = l. Is 14 a factor of i?
True
Let y(t) = 27*t + 132. Let z be y(-3). Let l = z + 1563. Is l a multiple of 12?
False
Let r(p) = p**2 + 6*p - 19. Let l be r(-9). Does 19 divide l + 4/(-1) - -10*11?
True
Suppose 4*y = 4*i + 13504, 54*y - 58*y - 4*i + 13552 = 0. Does 7 divide y?
False
Suppose -3*o + 53825 = 5*q, 490*o + q - 53821 = 487*o. Does 12 divide o?
True
Suppose 3*p - 1259 = -2*f - 0*f, -4*f = p - 403. Suppose p = -5*t + 2858. Is t a multiple of 18?
False
Let c = 3 + 15. Suppose -c*h - 160 = -13*h. Let q = -17 - h. Is 5 a factor of q?
True
Suppose 256*l - 11104 - 7328 = 0. Is l even?
True
Let g be (-2)/((-6)/9988*112/(-84)). Let y = -1250 - g. Does 20 divide y?
False
Suppose 7*a + 1 = 15. Suppose -5*i + q + 106 = 0, 0 = -5*i - a*q - 0*q + 103. Does 3 divide i?
True
Let a be (-1 - 0/6)*709. Let k = a + 1946. Does 16 divide k?
False
Let k = -15248 + 32916. Is 8 a factor of k?
False
Is 18 a factor of (-40)/(-24)*9*282?
True
Let b(v) be the first derivative of v**4/4 + 7*v**3/3 + 7*v**2/2 - 2*v + 7. Let g be b(-6). Does 29 divide 1/2 - (-3 + 1132/g)?
True
Let d = -68 + 97. Suppose -2*h + 29 = -5*i - d, -5*h + 2*i = -124. Is h a multiple of 4?
True
Suppose -14*y - 266 = -14. Let a(z) = z**2 + 23*z - 36. Let b(r) = -r**2 - 22*r + 37. Let i(v) = 4*a(v) + 5*b(v). Is 10 a factor of i(y)?
False
Suppose -2*k + 3*o = 41, -5*k + 5*o - 106 = o. Let c = k + 26. Suppose -c*d = -166 - 282. Does 20 divide d?
False
Suppose -3*p + 3*x - x = 908, -906 = 3*p - 3*x. Let f = p + 551. Let y = f + -124. Is y a multiple of 32?
False
Let w(x) = 6*x**2 - 26*x - 16. Let h = 291 - 299. Is w(h) a multiple of 18?
True
Let r(b) be the first derivative of -b**3/3 - 9*b**2 - 2*b - 4. Let y be r(-12). Let d = y - 18. Does 26 divide d?
True
Let g(t) = -2*t - 5. Let c be g(-4). Suppose -5*r = 2*i + c*i - 45, 2*i - 24 = -3*r. Suppose 3*j - 46 = 4*u, 2*j = 3*u - r + 38. Does 5 divide j?
True
Let a be (-2)/9 + 3*(-21970)/(-135). Suppose 1522 = 4*u + 3*y, a - 110 = u + 2*y. Is u a multiple of 24?
False
Suppose 68 = -11*s + 310. Let o = -7 + s. Suppose o*h - 20*h + 660 = 0. Does 17 divide h?
False
Let j(s) = -s**3 + 59*s**2 - 81*s - 1208. Is j(48) a multiple of 17?
False
Suppose 469 = 3*v - 281. Let m = -122 + v. Does 19 divide m?
False
Suppose 42*y - 45*y = 9. Let x(q) = 21*q**2 + 32*q + 83. Is x(y) a multiple of 16?
True
Let b = 532 + -461. Suppose b*m - 97*m + 5564 = 0. Does 31 divide m?
False
Let h be ((-32)/18*-12)/((-2)/(-45)). Suppose h*b + 3400 = 485*b. Is 10 a factor of b?
True
Let j(z) = -19*z + 4980. Let s be j(0). Does 40 divide s/25 + 32/40?
True
Does 11 divide ((-220)/(-40))/(6/2748)?
True
Suppose m - 15*k = -19*k - 22, -k - 8 = -m. Suppose 5*p + 6*c - 1815 = c, c - 1827 = -5*p. Is (5/1 + -4)/(m/p) a multiple of 30?
False
Suppose 0 = -j + 5, -2*k - 44 = -5*j - 1267. Suppose -k = -4*m + 4*l, -55*m + 337 = -53*m + 3*l. Is m a multiple of 67?
False
Suppose -4*h + 202 = -5*u - 1416, 2*h + 4*u - 822 = 0. Let t = 610 - h. Suppose t = 28*z - 21*z. Does 29 divide z?
True
Let b = -68 - -58. Does 9 divide 1/5 + ((-3996)/b)/2?
False
Let s be 8/(32/(-28092))*-1. Does 45 divide (-8)/((-136)/s) - 4/34?
False
Let z(u) = 41*u**2 - 45*u - 57. Is z(-11) a multiple of 14?
False
Let i be 7734/3 - (4 + (-4 - 2)). Is 26 a factor of ((-3)/15*6)/((-18)/i)?
False
Suppose -8*g + 30 = -2*g. Suppose g*r = -8 + 28. Suppose 227 = 2*z - h, -122 = -4*z - r*h + 362. Is 15 a factor of z?
False
Suppose 2*q = -5*a - 10, 19*a - 16*a + 5*q = -25. Suppose a = -71*l + 70*l + 738. Is 6 a factor of l?
True
Is 15 a factor of 1052365720/28200 + 14/(-15) + (0 - -1)?
False
Suppose 10689 = -5*k - 4*h - 759, -h + 11438 = -5*k. Is k/(-26) - 1*-1 a multiple of 25?
False
Let h = 7 - -351. Suppose -14*o = 8 - h. Is o a multiple of 18?
False
Let d(y) = y + 2. Let u(s) = 104*s - 56. Let i(r) = -5*d(r) - u(r). Does 70 divide i(-6)?
True
Suppose 2*x = 2*o + 12224, -17*x + o = -15*x - 12228. Does 11 divide x?
True
Suppose 3*a + 21 = 30. Suppose 4*c - 143*v = -142*v + 2522, a*v - 624 = -c. Is 63 a factor of c?
True
Suppose 4*n - 8*n + 16 = 0, -4*q + n = -48. Suppose 4*z = 7*x - 2*x - q, 0 = 4*z - 2*x - 2. Suppose 2*b - 120 = -z*b. Is b a multiple of 15?
False
Let i(x) = -x**3 - 10*x**2 + 13*x + 8. Let n be i(-12). Suppose -w + 5*w - n = 0. Suppose 5*g - 3*y - w = 0, -2*y - 4 = -3*g + 16. Does 3 divide g?
False
Suppose q - z - 168 = 0, -4*z = 3*q - 445 - 87. Suppose 159*m + 377 = q*m. Does 3 divide m?
False
Let f(q) = 14*q + 43. Let b be f(5). Let h = 142 - b. Does 14 divide h?
False
Let z(t) = -t + 1. Let m(d) = 14*d - 18. Let a(f) = -m(f) - 6*z(f). Let y = 67 + -70. Is a(y) a multiple of 7?
False
Is 1295117/33 - 940/(-31020) a multiple of 12?
False
Let a(m) be the second derivative of -m**3 - 3*m**