 Is b(-27) a multiple of 21?
True
Let v(f) = 282*f**2 + 44*f + 27. Is 29 a factor of v(5)?
False
Suppose -5*l - 3*t - 2*t = -145, -5*l - 4*t = -149. Let s = l + -39. Is 23 a factor of (-898)/s + (-10)/15?
False
Let b(d) be the third derivative of -d**5/60 - 37*d**4/24 - 14*d**3/3 + 264*d**2. Is b(-26) a multiple of 43?
True
Suppose -2*q = 3*w + 2*w - 6, -q - 5*w = -3. Let y be q - (-1 - -30)*-1. Suppose 2*t + y = 72. Does 14 divide t?
False
Suppose -14*q + 769 = -309. Let s = q + -73. Is (101 - (7 - s))*2 a multiple of 22?
False
Let a(n) = -2*n**3 - 3*n**2 + 2. Let t(u) = 5*u + 6. Let p(h) = -h**2 + 11*h - 2. Let x be p(11). Let c be t(x). Is a(c) a multiple of 19?
False
Let s(y) = -y**3 - 27*y**2 + 29*y + 33. Let q be s(-28). Does 16 divide 1 - 13/((-112)/22 + q)?
True
Suppose 5*n = -41*q + 45*q + 13775, 10999 = 4*n + q. Does 21 divide n?
True
Is 12 a factor of (-12)/26 - (-39)/(11661/12022031)?
False
Let d(y) = 3*y + 163. Let g = -558 + 548. Does 7 divide d(g)?
True
Suppose 565*g - 58982 = 605*g - 458222. Is 29 a factor of g?
False
Let h(z) = 4*z + 175. Suppose -711 = 4*u - 775. Is h(u) a multiple of 7?
False
Let l = -1556 + 4195. Does 47 divide l?
False
Let w = -18 + 22. Suppose -5*g = -3*v + 35, 2*v - w*g = -12 + 38. Suppose c - t - 18 = -4*t, -v*c - 2*t + 90 = 0. Is 3 a factor of c?
True
Let u be (3 + 1)*(-2300)/(-16). Let x be (-2 + 1 - -2) + u. Suppose -15*b = -18*b + x. Is b a multiple of 32?
True
Let u(s) be the first derivative of s**6/360 - s**4/24 + 3*s**3 - 23. Let a(k) be the third derivative of u(k). Is a(-5) a multiple of 9?
False
Suppose -1176 = -m + 56. Does 88 divide m?
True
Let t = 245 + -135. Let f = t + -106. Suppose -f*j - 3*o + 466 = 0, 5*j - 4*o - 290 = 277. Does 23 divide j?
True
Let g be ((-1 - -11)/5)/(-1). Let q be g/(-7) + 1122/42. Suppose -3*d = -y - 0*y + q, 4*y - 144 = 3*d. Does 3 divide y?
True
Let o = -439 - -130. Let b(a) = 34*a - 189. Let f be b(0). Let n = f - o. Is 8 a factor of n?
True
Suppose 0 = -23*w + 27*w - 3*a - 17367, 3*w - 13027 = 4*a. Is w a multiple of 42?
False
Let d(g) = -g**3 + 32*g**2 - 14*g - 4. Let s be d(31). Let k = 694 - s. Is k a multiple of 19?
True
Suppose 3*i + 0*s = -s + 19, 3*i - 5*s - 49 = 0. Let x be ((-75)/20 - -3)*i. Does 6 divide (-31)/(-1) + 12/x?
False
Let q = -50 + 70. Suppose 2*h = -h, k = 5*h. Suppose -u + 12 = -m - q, 2*u - 3*m - 66 = k. Is u a multiple of 2?
True
Let r be (-3)/(-12) - 124/(-16). Let d be ((-4)/r)/(2/(-12)). Suppose -4*q + 426 = 2*t - 328, 181 = q + d*t. Is 44 a factor of q?
False
Let n(j) = 3*j**3 - 4*j**2 + 3*j + 2. Let l(u) = 10*u**3 - 12*u**2 + 8*u + 5. Let h(a) = 2*l(a) - 7*n(a). Does 24 divide h(-4)?
True
Suppose -4*d - 8 = -8*d. Suppose d*n = -w + 45, n - 40 = -5*w + w. Suppose -5*y + 165 + 33 = 2*x, -5*x = -n. Is 26 a factor of y?
False
Let y = 3139 + -2049. Let l = -712 + y. Is (1 + 0)/(((-36)/(-6))/l) a multiple of 15?
False
Let m(f) = 1235*f + 405. Is m(5) a multiple of 20?
True
Let y(x) = -x**3 + 15*x**2 - 29*x. Suppose 0 = -2*u + u + 2*o + 23, 18 = u + 3*o. Suppose u = 4*z + 3*f - 21, f = -2. Does 14 divide y(z)?
True
Suppose -12*h + 38*h = -28*h + 240570. Is 11 a factor of h?
True
Let n be ((-4)/6)/((-4)/24). Suppose 2*i = -n*i + 12. Suppose 3*c = -i*c + 550. Does 22 divide c?
True
Let i(p) = -12*p**2 + 5*p + 18. Let a be i(8). Let c = -143 - a. Is 10 a factor of c?
False
Suppose -23*m = -4*v - 20*m + 31, -m = -3*v + 22. Suppose v*f - 1910 = 526. Is 23 a factor of f?
False
Let s = 3685 + -850. Does 21 divide s?
True
Let f(s) = -s**2 - 16*s - 48. Let w be f(-4). Suppose w = 32*d - 22*d - 3000. Does 20 divide d?
True
Is (0 + (230 - 2))/(42/560) a multiple of 80?
True
Suppose -1850 = -6*p + 3622. Is p a multiple of 12?
True
Suppose 4*d - 4*a - 45 = -3*a, 2*a = 2*d - 18. Is (3/(-6))/((d/136)/(-3)) a multiple of 8?
False
Let j(y) = -10*y**3 + 24*y**2 - 34*y + 19. Let c(t) = -16*t**2 - 5 + 7*t**3 - 1 + 23*t - 7. Let n(p) = 7*c(p) + 5*j(p). Does 22 divide n(6)?
True
Let a(c) = c - 17. Let v be a(12). Let t(z) = -2*z**3 - z**2 + 3*z + 20. Let w be t(v). Suppose 2*q = -2*p + w, -5*q - 159 - 274 = -4*p. Does 28 divide p?
True
Let t = 28829 + -12322. Does 17 divide t?
True
Let x(n) = -2*n**3 + n**2 - 3*n - 3. Let j(u) = u**3 + 2*u + 2. Let i(r) = -5*j(r) - 3*x(r). Let t be i(0). Is 14 a factor of (t - 11)*39*(-6)/18?
False
Let z be 14/(84/(-18)) + 10. Let i(m) = 106*m + 38. Does 15 divide i(z)?
True
Suppose 4*y + 166 - 718 = 0. Suppose -m = m + 4*h - y, 2*m - 153 = h. Let g = m - -43. Is 24 a factor of g?
False
Let n = 12062 + -8270. Is 18 a factor of n?
False
Let j = 2454 + -1739. Is 11 a factor of j?
True
Is 18 a factor of (-5664)/(2/(-48)*(-28 + 50)/11)?
True
Suppose j = a + 2, 11 = -a - 5*j + 39. Suppose a*l + l + 2*n - 22 = 0, 5*l + n - 20 = 0. Suppose l*v = -0*v + 567. Is v a multiple of 21?
True
Let p be 0/((-3)/(-3)) + 15. Suppose 0 = 2*x - p*x + 4199. Is x a multiple of 7?
False
Suppose 4*u - y - 137 = 0, -2*u + 4*y + 91 = -y. Let g = -23 + u. Let j = 18 - g. Is 7 a factor of j?
False
Let t(m) = m**2 - 17*m + 18. Let x be t(28). Suppose -10*h + 9*h = 4*k - x, 5*h - 2*k - 1718 = 0. Is 17 a factor of h?
False
Suppose -5*m + 5*j = -6 - 49, 4*j = -2*m + 34. Suppose -m*d + 10*d = 84. Let s = d + 30. Is s even?
True
Let b = -456 + 765. Let k = -216 + b. Suppose -4*d = -k - 71. Does 10 divide d?
False
Let z(b) = 103*b + 2807. Is 142 a factor of z(22)?
False
Suppose 0 = 3*p + 5*y - 119647, -9*p + 4*p + 199422 = -2*y. Does 74 divide p?
False
Let k be 9/((-1)/(-2443)*7). Suppose m = -5*b + k, b + m - 397 = 228. Is 17 a factor of b?
True
Suppose 0 = 192*w - 197*w + 50. Suppose 0 = -f + w*f - 1431. Is f a multiple of 2?
False
Let m(o) be the second derivative of 9*o**4/4 + 2*o**3 + 3*o**2/2 + o. Suppose 81*b = 46*b - 49*b - 168. Is m(b) a multiple of 7?
False
Let i = 3817 + -2584. Is 137 a factor of i?
True
Suppose -3368 = 5*n - 32588. Does 14 divide n?
False
Suppose 23*o - 49769 = 7487 + 230842. Is o a multiple of 23?
False
Let j be ((-4)/(-4) + -13)*(-28)/8. Let q = j + -42. Suppose q = -5*b + 77 + 193. Is 3 a factor of b?
True
Suppose -24 = -8*v + 5*v. Is 11 a factor of -9*(4 + -2)/(v/(-244))?
False
Let s = 2877 - 2871. Let z(b) = -b + 6*b - b - 4 + b**2. Is 13 a factor of z(s)?
False
Let a = -19247 + 21510. Is a a multiple of 8?
False
Suppose -278716 = -35*c + 41394. Is 16 a factor of c?
False
Let o(g) = -g**2 + g + 8. Let q be o(3). Suppose -d + q*f = d - 20, -3*f = d + 2. Is d a multiple of 2?
False
Suppose 6293 = 28*a - 307 - 120. Is 5 a factor of a?
True
Let i be 15294/(-21) + -8*(-3)/84. Let a = -510 - i. Does 10 divide a?
False
Let o be (-38108)/(-49) - 6/63*-3. Let j = -497 + o. Let t = j - 81. Is t a multiple of 40?
True
Let g = -132 - -236. Let n = g - 34. Let j = 94 - n. Is j a multiple of 24?
True
Let v(f) = 26*f + 46. Suppose 0 = -4*u - t + 41, 4*u + u = -2*t + 55. Let q be v(u). Suppose -6*m + 13*m = q. Is m a multiple of 10?
True
Suppose 4*r + a = r + 1484, 3*a - 2476 = -5*r. Suppose 6*k - 10*k = 3*t - 1484, 2*k = -t + r. Does 27 divide t?
False
Suppose -3*x = -l + 2855, -4*l = 10*x - 8*x - 11406. Is l a multiple of 23?
True
Let f(y) = -2*y**2 - 12*y - 3. Let x be f(-6). Let b = x + 9. Suppose -b*v + 388 = -2*v. Does 26 divide v?
False
Let r(w) be the third derivative of -w**5/60 - w**4/2 + 5*w**3/2 - 13*w**2. Let c be r(-13). Suppose g - 6*g - 5 = 0, -c*l = -2*g - 194. Does 13 divide l?
False
Let z = 55 + -106. Let j be (51/z)/(32/34 - 1). Is 17 a factor of (-12)/10*-10*j/2?
True
Suppose -55*i + 492 - 3132 = 0. Does 74 divide 11544/i*(-4 + 0)?
True
Let o(q) = 31*q - 573. Is 3 a factor of o(20)?
False
Let g = 94 + 68. Let t be 0 - -1*(4 + 87). Let y = g - t. Does 11 divide y?
False
Does 3 divide (-128)/(-576) - 114744/(-27)?
False
Suppose 5*r - 1985 = 1230. Suppose 0 = -2*d + 3*d - 5, r = 4*f + 3*d. Let m = f + 13. Does 10 divide m?
True
Suppose -9*p - 9 = -0. Let z be -106*(9/(-6) - p). Let b = 94 - z. Is b a multiple of 10?
False
Let x = -30204 - -50968. Does 12 divide x?
False
Suppose 11*x = 15*x - 28. Suppose -x*c + 1738 + 1461 = 0. Does 53 divide c?
False
Let z = -1602 - -952. Let b = z + 1022. Suppose 3*m = 3*c + b, 0*c - 3*c = -m + 132. Is m a multiple of 20?
True
Suppose 2*g + 260 = 4*j, 0*j - 2*j - 2*g = -118. Let o = j 