tiple of 30?
True
Let a(n) = n**3 - 8*n**2 - 28*n + 18. Let r be a(9). Let o = r + 182. Does 12 divide o?
False
Suppose -24098 = -3*l - 127*m + 131*m, 12 = 3*m. Does 5 divide l?
False
Let d(u) = -366*u - 630. Is 18 a factor of d(-11)?
False
Let k = 267 + -259. Suppose 2*d - 5*j = 195, -4*d - k*j + 13*j = -415. Is 16 a factor of d?
False
Let f(n) be the first derivative of -n**3/3 + 2*n + 27. Let x be f(-2). Does 15 divide 25 - (5 + x - 8)?
True
Suppose 0 = 5*o + 4*f - 30640, 8*f - 12274 = -2*o + 10*f. Suppose -11*c - o = -18*c. Is 64 a factor of c?
False
Let i(x) = 18*x**2 - 4*x - 37. Let j(f) = -17*f**2 + 5*f + 37. Let m(r) = 3*i(r) + 2*j(r). Does 43 divide m(-5)?
True
Suppose 3*b = 5*h + 25, -2*b + 1 = -3*b - 3*h. Suppose b*w - 91 + 81 = 0. Is 17 a factor of (-1 + (w - 348/8))*-2?
True
Let z = -260 - -175. Let m = z + 178. Let g = 201 - m. Is 27 a factor of g?
True
Let u = -39 + 38. Is 5511/55 - 3/((-15)/u) a multiple of 43?
False
Let t be 1/(4/(-12)*6/(-10)). Suppose 0 = -m + 3*j - 6, 3*m - 8*m - t*j = -30. Suppose m*g + 4*s = 396, -g + 6*g - 5*s - 695 = 0. Is g a multiple of 23?
False
Let m(s) = -s**2 + 9*s + 12. Let p be m(7). Suppose 0 = 3*z - p - 19. Is 8 a factor of 5/(z/9)*52/4?
False
Let v = 35 - -47. Suppose 86*z = v*z + 148. Is 5 a factor of z?
False
Let y = -46 + 52. Suppose 0 = -y*n + 16*n - 90. Is n a multiple of 9?
True
Does 94 divide 9 - (102075/(-33) - (-28)/154)?
True
Let g = 67 + -63. Suppose -3*b - 144 - 96 = -g*i, i + 2*b = 60. Suppose 291 + i = 3*h. Is h a multiple of 39?
True
Let w(s) = -14*s - 29. Let x be w(-3). Suppose -x*n = -43*n + 17820. Does 27 divide n?
True
Suppose 3*m = 4*r - 52103, 2*m + 24666 = -5*r + 89812. Is 25 a factor of r?
False
Let c be (0 - -255)*(-64)/(-96). Suppose 5*h - 574 = -99. Let a = c - h. Is a a multiple of 13?
False
Let f be ((-31)/(1116/(-120)))/(2/249). Is 21 a factor of (30/6 - 6) + f?
False
Suppose 52 = -b - 14. Let a = b + 69. Suppose 5*f + 2*g = 762, f = -2*g + a*g + 158. Is f a multiple of 40?
False
Suppose z - 1158 = 3*o + 3061, o = 3*z - 12681. Is 28 a factor of z?
True
Let p be 1 + -101 + -1 + (-6)/(-2). Let n = 51 + p. Let w = -5 - n. Is w a multiple of 5?
False
Suppose 17*z + 4*n = 13*z + 36108, -3*n = z - 9017. Suppose 3128 = -16*j + z. Is j a multiple of 12?
False
Suppose -3*x + 981 = -1851. Let a be (-2 + 5/4)/((-4)/x). Suppose 2*l - a = 41. Does 16 divide l?
False
Let p = 10977 - 9128. Is 12 a factor of p?
False
Suppose 0*r = 6*r - 30. Suppose -5*m + 5 + r = -5*k, -m + 2*k = 1. Suppose m*d = 2*d + 270. Does 15 divide d?
True
Suppose -5*i + 16*i = 4*i. Is 126 - (8 - -5) - (-4 + i) a multiple of 58?
False
Suppose 0 = 5*w + 5, -1798 = -4*d + 2*w + 1084. Suppose -198*g + 196*g = -d. Is g a multiple of 40?
True
Let k be (-28)/(-15) - (-2)/15. Let v be (700/(-40))/(k/(-4)). Let q = 102 - v. Is 22 a factor of q?
False
Let q(r) = -r**2 + 13*r - 38. Let o be q(9). Is 3 a factor of o*(-4)/28 + (-11202)/(-42)?
True
Suppose 0 = -p + 3*p - 4*k - 18, 5*k = -p + 23. Let c(q) = q**2 - 11*q - 16. Let y be c(p). Let s(z) = z + 17. Is 15 a factor of s(y)?
False
Suppose 28 = 4*u, -64*u + 59*u + 136259 = 4*j. Does 129 divide j?
True
Suppose 0 = -246*u + 1281689 + 1878919. Does 39 divide u?
False
Suppose -10*a - 95884 = -2*o, 3*a = 1 - 19. Does 106 divide o?
True
Let x = -16481 + 26745. Is 13 a factor of x?
False
Suppose c + p - 809 = 0, c + 3*p - 1030 = -223. Is c a multiple of 27?
True
Suppose 3*q - 840 = 2*q + 2*a, 5*a = 4*q - 3366. Suppose -12*r = -8*r - q. Is r a multiple of 35?
False
Let u(i) = -50*i - 97. Let x be u(-16). Let k = x - 303. Is k a multiple of 25?
True
Let u(d) = 19*d - 10. Let z = -65 + 85. Suppose 8*l = 4*l + z. Does 28 divide u(l)?
False
Suppose -5*h = -4*h + 46. Suppose 36*o + 56 = 34*o. Let n = o - h. Is n a multiple of 4?
False
Suppose -8*f - 7 = 4*z - 3*f, -z = 5*f + 13. Suppose z*v - 3*p = 4*v - 85, 0 = 2*v + 2*p - 80. Does 5 divide v?
True
Suppose -13430 = -3*i - j, 0 = 3*i - 20*j + 25*j - 13426. Is 8 a factor of i?
False
Let q(j) = j**2 - 5*j - 15. Does 11 divide q(-20)?
False
Let q(o) = 68*o**2 + 388*o + 92. Is q(-14) a multiple of 9?
False
Suppose 3*b = r - 179, -1775*b = -1780*b + 10. Is r a multiple of 2?
False
Let u be (28/42)/((-1)/(-63)). Let b = 51 - u. Suppose b*k - 549 = -0*k. Does 6 divide k?
False
Is 1738/(-99) - -18 - ((-300272)/9 + -2) a multiple of 134?
True
Suppose 274 = 2*s + 5*g, -2*s - s = -g - 394. Let a = s + -132. Suppose d - 12*d + 1782 = a. Is d a multiple of 18?
True
Let i(p) = 8*p**2 - p**3 + 135 - 299 + 149 - 4*p**2. Does 15 divide i(-6)?
True
Let x(p) be the first derivative of 93*p**2/2 + 6*p + 1. Let k be x(3). Suppose 2*y - 31 = -2*r + 107, 0 = -4*y - r + k. Does 9 divide y?
True
Let q = 441 - 673. Let f = -34 - q. Is f a multiple of 18?
True
Let r = -203 + 87. Let x = -39 - r. Is 53 a factor of x?
False
Let a(s) = 119*s**2 + 11*s + 26. Does 10 divide a(-2)?
True
Suppose 7*t - 135 = -20*t. Suppose -6*v = -y - t*v + 180, 0 = -3*y - 3*v + 540. Does 9 divide y?
True
Let o(n) = 2860*n - 8616. Is o(12) a multiple of 252?
True
Let d(b) be the third derivative of b**8/10080 - b**7/360 + b**6/180 - b**5/30 + 12*b**2. Let r(n) be the third derivative of d(n). Does 7 divide r(10)?
False
Let o(s) = -3*s + 29. Let h be o(9). Suppose 0 = 4*g + h*x - 448, 6*g - 4*x = 2*g + 472. Is g a multiple of 15?
False
Let u = 30055 - 17908. Is 11 a factor of u?
False
Let i(k) = -k**3 - 160*k**2 + k + 27284. Is i(0) a multiple of 19?
True
Let t = 46 + -323. Let d = t + 563. Is 26 a factor of d?
True
Suppose -7*g + 2*g + 26 = 2*b, -19 = -g - 5*b. Suppose -2*l + 1606 = g*q, -2*l + 4*l + 10 = 0. Does 38 divide q?
False
Suppose -14668 = -4*c + 2*d, 0 = -39*c + 36*c + d + 10997. Is c a multiple of 37?
True
Let z(p) = -p**3 - 8*p**2 - 5*p - 4. Let u be z(-8). Let n = u + -33. Suppose n*k = 4*k - 108. Is k a multiple of 18?
True
Let p(o) = -3*o - 99. Let j(z) = -4*z - 96. Let s(f) = 5*j(f) - 6*p(f). Does 8 divide s(-14)?
False
Does 25 divide 30200/3 - (-1328)/(-498)?
False
Let t = 126 + -116. Suppose 4*z - 2*m = 10, 3*z = 2*m - 4 + t. Suppose 33 = -3*c + z*c. Is c a multiple of 10?
False
Suppose -f + 2*f - 3 = 0. Let x be 3 - (-3 - (f - 5)). Suppose x*k - 765 = -253. Does 16 divide k?
True
Let m(t) = t**3 + 9*t**2 - 24*t - 15. Let g be m(-11). Suppose -2*b + 0*b - 4*f = 0, 5 = -5*b - 5*f. Let v = b + g. Is v a multiple of 4?
False
Let a(m) = -4*m - 27. Let q be a(5). Let n = 63 + q. Suppose -6 = -2*b + n. Does 2 divide b?
False
Suppose -4*q + 11*q - 1408 = -9*q. Is q a multiple of 47?
False
Suppose 0 = 12*i + 8*i - 3*i. Suppose -3*b + 22*b - 3420 = i. Does 6 divide b?
True
Let i = 13450 + -12467. Is i a multiple of 31?
False
Let s(b) = -119*b**2 + b. Let w be s(1). Suppose -4*z - 3*i + 783 = 0, -5*z = 2*i - 179 - 805. Let r = w + z. Is 5 a factor of r?
True
Let q(u) = -u. Let x(n) = -4*n + 20. Let s(z) = 3*q(z) - x(z). Let d be s(22). Suppose b - 160 = -4*b - d*k, -5*b - 5*k = -175. Does 10 divide b?
True
Let u be (1 - (9 - 5)) + (-1 - -1). Let t(i) = 2*i**3 + 3*i**2 - i + 5. Let g be t(u). Let s = g - -105. Is s a multiple of 13?
False
Let x = 3118 + 1523. Does 22 divide x?
False
Suppose 85 = -5*j - 95. Is (-8)/6*270/j a multiple of 2?
True
Let j(x) be the first derivative of -x**5/20 - x**4/12 + x**3/2 - 4*x**2 - 21*x + 20. Let f(u) be the first derivative of j(u). Is f(-4) a multiple of 7?
True
Let x(c) = c**3 - 15*c**2 + 4*c - 48. Let n be x(15). Suppose n*z - 5 = 13*z, 3*z = 5*f - 5225. Does 21 divide f?
False
Suppose -x = 4*a - 5*x - 1516, -3*a + 1123 = 4*x. Suppose -a = -7*k + 6*k. Does 29 divide k?
True
Let p = 3140 - 2674. Is p a multiple of 3?
False
Suppose 0 = 4*a + 4*b + 1402 - 4574, 0 = a + 3*b - 785. Is 3 a factor of a?
False
Let s(o) be the third derivative of -o**5/60 + o**4/8 + 11*o**3/6 + 11*o**2. Let d be s(0). Suppose -2195 = -d*m + 280. Is m a multiple of 29?
False
Is ((-3624)/(-40))/((-13)/(-845)) a multiple of 18?
False
Let z(r) = -r**2 + 23*r - 55. Let b be z(16). Suppose b*o - 6264 = 39*o. Is 10 a factor of o?
False
Let o(g) = g**2 - 20*g + 11. Is 19 a factor of o(-8)?
False
Suppose 0 = -4534*b + 4509*b + 496575. Is 214 a factor of b?
False
Let v(r) = r**3 - 5*r**2 + 18. Let g be v(4). Suppose 5*q + 1215 = -4*b + 3603, -b = -g. Does 14 di