iple of 39?
True
Let i(v) = -5*v**2 - 9*v - 12. Suppose 3*h + 0*h + 5*q = -26, -5*q - 24 = 2*h. Let r be i(h). Let t = 79 + r. Does 20 divide t?
False
Suppose 0 = -4*j + 20 - 4, 0 = 3*h - 3*j - 20316. Does 8 divide h?
True
Let c(x) = 622*x**2 - 92*x - 274. Is c(-3) a multiple of 5?
True
Suppose a = 0, 2*a = 2*h + 3*a - 4. Is 220 + (8 - 8 - h*-1) a multiple of 44?
False
Let c = 2 + 34. Suppose c = -3*q + 12*q. Suppose 0 = -2*y + 3*x + 21, y - 6 = 2*x + q. Is y a multiple of 6?
True
Suppose -4*j = 3*c - 9932, -c + 2*j = -2*c + 3310. Is c a multiple of 18?
True
Is (-354 - 150)*(-9)/2 a multiple of 63?
True
Let r be 4 - 4*2682/(-12). Let g = -835 + r. Is g a multiple of 9?
True
Let q(j) be the third derivative of j**5/60 + 2*j**4/3 + 35*j**3/3 - 66*j**2. Is q(-14) a multiple of 6?
True
Let x = -3632 + 7896. Is x a multiple of 104?
True
Let w = 44165 - 29005. Is w a multiple of 112?
False
Suppose 0 = -5*w + 16423 - 2853. Is w a multiple of 12?
False
Suppose -6*x - 4*v = -4*x - 14, 0 = -3*x + 2*v - 3. Let j be (x/(-5))/(1/(-15)). Suppose j*k - 5*k = -64. Is 7 a factor of k?
False
Suppose -33*i + 10 = -31*i. Suppose 0 = -3*u + u - 4*w + 2, -2 = u + i*w. Suppose -u*h - 2*r + 3 + 27 = 0, 4*h = -r + 45. Is h a multiple of 3?
True
Let p = -192 + 9. Let c = p - -458. Does 18 divide c?
False
Suppose 448 = -20*l + 12*l. Let x = l - -126. Does 70 divide x?
True
Suppose 282810 + 14950 = 40*f. Does 11 divide f?
False
Suppose -9*z + 11*z = 8. Let b be (8/z + -3)*112. Is ((-6)/4)/(21/b) a multiple of 3?
False
Let i(v) = 17*v**2 + 51*v - 87. Is 67 a factor of i(17)?
False
Suppose -4*f + 21624 = 4*j, -2*j - 4*f = -f - 10815. Does 52 divide j?
False
Suppose -5*z = 5*w - 9942 + 1757, w - 4*z = 1652. Is w a multiple of 41?
True
Let r(f) be the second derivative of -59*f**5/20 - f**4/6 - 2*f**3/3 - f**2/2 + 4*f. Let i be r(-1). Suppose -2*m + 86 = -i. Does 11 divide m?
False
Suppose 0 = 41*a - 42*a + 195. Let r = a - 120. Does 3 divide r?
True
Suppose 155 = -10*l - 825. Let f be (-2)/(-7) - (-616)/l. Is 27 a factor of f/30 - 366/(-5)?
False
Let h(k) = 4 + k + k - 3*k. Let p be h(1). Suppose -p*n - 45 = -150. Is 7 a factor of n?
True
Suppose 29 = a + 4*a - 4*u, 2*a - 3*u - 13 = 0. Suppose -a = 4*m - 17. Suppose 0*d = d - 5, -m*t = d - 53. Does 7 divide t?
False
Suppose 5*g = 10*g - 10. Suppose 2807 = 5*k + g*w, k - 821 + 262 = 2*w. Is 33 a factor of k?
True
Suppose 4*m - 34214 + 9002 = -5*y, -2*m = 4*y - 12606. Is m a multiple of 74?
False
Let i(p) be the first derivative of p**3/3 + 23*p**2/2 - 158*p - 80. Is i(13) a multiple of 6?
False
Let z = 61 - 60. Let s be 2*4/(8/273). Is (-1)/((-3)/(z*s)) a multiple of 13?
True
Let f = -20612 - -31806. Does 13 divide f?
False
Suppose 4 = t - 3*t, 5*x = -3*t - 126. Let b be (46/(-8))/(2*3/x). Suppose -5*q + 3*c + 255 = 0, -q + 2*c + 28 = -b. Is 17 a factor of q?
True
Does 99 divide 8277/(-124)*(2/(-2) + 569/(-3))?
False
Suppose 0 = 13*l + 2316 + 3235. Is 5 a factor of ((-14)/35)/(2/(l - 3))?
False
Suppose 5*n + s - 1070 = 0, -4*n + 191 = 3*s - 654. Is n - (2*3/(-2) + 4) a multiple of 10?
False
Let v(j) = -j**3 + 52*j**2 + 1671*j - 54. Is v(-29) a multiple of 57?
True
Let c(n) = -25*n - 65*n - 46*n. Let l be c(-1). Suppose 0 = 21*a - 25*a + l. Is a a multiple of 18?
False
Let j be -4*2*3/(-8). Suppose z = -j*y + 8*y + 201, 2*y + 442 = 2*z. Suppose -3*l - l - 3*n = -442, 2*l - z = n. Does 8 divide l?
True
Let j = -94 - -270. Suppose 50 - j = -3*x. Is 19 a factor of x?
False
Suppose -m + 29 = 3*s, 9*s - 5*m - 7 = 5*s. Suppose s*p - 1649 = 1479. Does 23 divide p?
True
Suppose 3*s - 2*m = 46980, -12 = 85*m - 83*m. Is s a multiple of 76?
True
Suppose 0 = -3*i + 764 + 139. Is i a multiple of 7?
True
Let y(s) be the second derivative of -29*s**3/6 - 3*s**2 - 13*s. Suppose -4*k + 3*k = -4*w - 9, -w - 5*k + 3 = 0. Does 4 divide y(w)?
True
Let m(f) = -1812*f - 282. Is m(-4) a multiple of 18?
True
Suppose g + y + 520 - 2929 = 0, -4*g + 5*y = -9627. Does 8 divide g?
True
Let g(v) = v**3 - 49*v**2 - 14*v - 71. Is g(50) a multiple of 54?
False
Suppose -3*m = 77*l - 72*l - 17252, 0 = 3*l + 4*m - 10371. Does 65 divide l?
True
Let u(a) = -2*a + 16*a + 15*a - 2. Suppose 30 = 5*o - 0*o - 2*d, -2*o = 2*d + 2. Is 14 a factor of u(o)?
False
Let y(h) = -4067*h - 20141. Does 40 divide y(-23)?
True
Let n(s) = -2*s**3 + 59*s**2 + 4*s - 115. Is n(28) a multiple of 5?
False
Suppose 5*k + 30*p = 37*p + 46880, -3*k = -3*p - 28122. Is k a multiple of 33?
False
Suppose y = -5*y + 5130. Suppose 4*q - r = -4*r + 685, -y = -5*q - 5*r. Is 39 a factor of q?
False
Let r = -14409 + 23267. Is r a multiple of 65?
False
Let w be ((-34)/8)/(2 - 9/4). Let x(m) = m**2 - 13*m - 41. Let i be x(w). Suppose 0 = -i*b + 22*b + 90. Is 2 a factor of b?
True
Let z = 272 + -189. Let u = z + -69. Suppose u*b + 380 = 1612. Is 44 a factor of b?
True
Suppose -v + 107 = 106, -5*q - 2*v + 1017 = 0. Does 7 divide q?
True
Let j = -7950 + 10811. Is 9 a factor of j?
False
Let g(c) = 3*c**3 - 96*c**2 + 52*c + 3. Is g(39) a multiple of 233?
False
Suppose 0 = 4*r - 496 - 320. Suppose -4*w = 5*z + 156, -4*w - r = w + 4*z. Let b = w + 141. Does 11 divide b?
False
Let l = 5649 + -1060. Suppose 25*w - l = 12*w. Is 22 a factor of w?
False
Let x(d) be the third derivative of -d**6/120 + d**5/3 - d**4/2 + d**3/3 + 2*d**2 + 442*d. Let y be ((-19)/(-4))/((-1)/(-4)). Is x(y) a multiple of 27?
True
Suppose 60 = -11*t + 13*t. Suppose -32*a + t*a = 110. Let c = 67 + a. Is 12 a factor of c?
True
Let c = -96 - -144. Let k = 45 - c. Let b = 4 - k. Does 7 divide b?
True
Let z = -31 + 51. Let j = z - 20. Suppose 0 = 4*c - j*c + 4*x - 52, -2*x = -5*c + 100. Is c a multiple of 6?
True
Let i = 72294 - 42021. Does 49 divide i?
False
Let q(x) = -6*x - 3 - 2*x - 10*x**2 + 12*x**2. Let t be q(6). Suppose -t = -5*v + 19. Is v a multiple of 4?
True
Let z be -15 + 17 + 1 + -27 - 0. Is 23 a factor of (-3783)/(-18) - ((-124)/z + -5)?
False
Suppose 0 = 47*w - 48*w + 2. Suppose 5*x = -3*j + j + 1613, -5*x + w*j = -1617. Does 36 divide x?
False
Let c(d) = 0 + 5 + 16*d**2 - d - 3*d**2. Let i be 4/(-18) + 2960/1332. Is c(i) a multiple of 13?
False
Let x(v) be the first derivative of v**4/3 - v**3/2 - v**2/2 + 17*v - 14. Let s(z) be the first derivative of x(z). Is s(-4) a multiple of 15?
True
Let h(s) = 4*s**3 - 201*s**2 - 95*s - 117. Is h(52) a multiple of 97?
True
Let m = -11378 - -28696. Is m a multiple of 211?
False
Let g = -1051 + 5820. Does 9 divide g?
False
Let g(s) = 161*s**3 - s + 2. Let i = 200 - 127. Let w = i + -72. Is g(w) a multiple of 27?
True
Suppose v = 5*k - 2, -2*v - 17 = k - 24. Let j be -58*-2*2/(-4). Does 21 divide 725/j*(-3 - (0 + k))?
False
Suppose 8*l - 21 = 11. Let i = l - -1. Suppose -3*b + 43 = t, 5*b - 40 = i*t + 5. Is b even?
False
Let l be (-1 - 1) + (-91)/(-13). Let f be (-33)/l + (-18)/45. Let g(y) = y**3 + 9*y**2 + 12*y + 12. Is 26 a factor of g(f)?
True
Let s(a) = 1533*a + 2679. Is 11 a factor of s(15)?
True
Suppose 0 = -12*p + 4*p + 5416. Let h = p + -429. Is h a multiple of 16?
False
Let c = -28 + 32. Suppose 4*a = -3 + 39. Suppose -a*w + 355 = -c*w. Is 45 a factor of w?
False
Let w = -8469 - -9605. Does 5 divide w?
False
Let v(j) = -j**3 - 7*j**2 - 2*j - 404. Does 3 divide v(-19)?
True
Let w be (369 - -2) + (-1 - -1). Let s(i) = 12*i**3 + 5*i**2 - 8*i - 4. Let t be s(-3). Let f = w + t. Does 16 divide f?
True
Does 188 divide (42/(-56))/((-18)/(-32)) + (-1106105)/(-105)?
False
Let x(o) = 75*o + 15. Let i(g) = 19*g - 147. Let m be i(8). Is x(m) a multiple of 39?
True
Let w = 4657 - 4105. Does 12 divide w?
True
Let f = -3562 + 7206. Is 47 a factor of f?
False
Suppose -26 - 22 = -16*f. Does 5 divide 2/(-3) + 68/f?
False
Let c(z) = 37*z**2 - z. Let m = 23 + -24. Let f be (3 - 3)/m - -1. Is 5 a factor of c(f)?
False
Suppose -l - 2*p + 8074 = 0, 4*p + 802 - 8868 = -l. Does 46 divide l?
False
Let h(t) = t**2 - 22*t + 3. Let l be h(22). Suppose -l*k - 963 = -6*k. Suppose -10*y + 13*y = k. Does 19 divide y?
False
Suppose 2228 = 6*t - 2*t + a, 0 = -4*t + 5*a + 2228. Let n = t - 330. Let p = -41 + n. Is p a multiple of 19?
False
Suppose 4*w - 2*d = 21480, 3*w - 338*d + 341*d = 16092. Is w a multiple of 61?
True
Let c = -693 + 793. Let h = c - 8. Is h a multiple of 27?
False
Let k = 75 - 46. Let y(s)