- 4*y, 0 = 7*q - 3*q + 2*y - 1678. Suppose 239*m + q = 240*m. Is m a multiple of 42?
True
Let q = -2408 + 2785. Does 12 divide q?
False
Suppose 0 = -61*u + 236*u - 3175200. Does 162 divide u?
True
Let l(t) = 29*t - 44. Let d be l(4). Suppose d*w = 94*w - 2288. Is w a multiple of 26?
True
Let x(s) be the second derivative of 37*s**6/120 - s**5/30 - 5*s**4/24 + 11*s**3/6 + 28*s. Let z(u) be the second derivative of x(u). Is 13 a factor of z(-1)?
False
Is 1*(0 + 0 - -1) + (1788 - -1337) a multiple of 28?
False
Suppose d = 10*d - 54. Suppose 17 = d*a - 1. Suppose -l = -4*j + a*j - 24, 0 = -l + 5*j + 44. Does 19 divide l?
True
Let d(i) = 8*i**2 + 18*i - 3. Let y be d(4). Suppose -y - 307 = -2*l. Is 36 a factor of l?
True
Let j be 21/1 + 9 + -10 + -2. Suppose -15 = j*u - 23*u. Suppose -u*n + 54 = -447. Does 35 divide n?
False
Suppose -112320 = 680*k - 776*k. Is k a multiple of 38?
False
Let y(c) = -3*c**3 + 5*c**2 + 4. Let h be y(4). Let d = h - -109. Let k = 23 + d. Is k a multiple of 6?
True
Let n be 36/(-108)*(572 - (0 + -1)). Let s = n + 334. Does 19 divide s?
False
Let f(v) = -6*v + 71. Let h be f(13). Let i(r) = 0*r + r + 3 + 2*r + r**2 - r. Is 19 a factor of i(h)?
True
Let o = 266 - 254. Suppose f = -5*c + o, -21*c - 153 = -4*f - 20*c. Is f a multiple of 18?
False
Let t = -3901 - -15771. Does 46 divide t?
False
Let m = 21787 + -33091. Is m/(-120) - ((-12)/(-10) + -2) a multiple of 12?
False
Let s(h) = 3*h**3 - 42*h**2 + 47*h. Is 10 a factor of s(15)?
True
Let f = 23443 - 21971. Does 7 divide f?
False
Suppose -4*y - 3*u = -92708, -107*u = 2*y - 102*u - 46354. Does 43 divide y?
True
Is (-430)/(-215) - 11743*-1 a multiple of 15?
True
Let g(c) = 5*c**3 + 5*c**2 - 8*c + 19. Let i be g(-7). Let f be -1 - (-4 - i/(-5)). Suppose -2*s - 456 = -5*k, 4*s = 4*k - k - f. Does 9 divide k?
True
Let r(p) = p**3 - 6*p**2 + 2*p. Let f be r(6). Suppose -s - 2*s = -f. Does 2 divide 12*-2*s/(-24)?
True
Let s = -174 + 126. Does 31 divide (-1 - 99)*(s/30)/2?
False
Suppose c - 3*c + c = 0. Suppose 2*d = -c*d + 2. Does 14 divide 1 - -52 - (-3)/d?
True
Let h be 10 + (-1 + -1)*9/6. Is 15 a factor of 1 + h + -6 - -1378?
True
Let c = 11872 - 9712. Is c a multiple of 24?
True
Does 53 divide 12/22 - (-3805416)/748?
True
Let l = -15 - -12. Let r = l + 5. Suppose -14 = -q - r. Is q a multiple of 7?
False
Let k = 26961 - 12630. Does 82 divide k?
False
Let w(q) = -q**3 - q**2 + 8*q - 5. Let a be w(5). Suppose -802 = 16*f + 1089 + 813. Let p = a - f. Is p a multiple of 6?
True
Let s(k) = -37*k - 91. Let f(i) = -336*i - 820. Let o(r) = 3*f(r) - 28*s(r). Is 44 a factor of o(11)?
True
Let i = -312 + 317. Suppose 4*k + 3*m = 397, k = -3*k + i*m + 405. Does 6 divide k?
False
Let n(c) be the second derivative of 23*c**6/80 - 3*c**5/40 + c**4/6 + 4*c**3/3 - 44*c. Let j(u) be the third derivative of n(u). Does 8 divide j(1)?
False
Suppose -6*x + x = -65. Let i(t) = -8*t - 3 - x - 12. Is i(-8) a multiple of 6?
True
Suppose 3*v - 11628 = -4*w, 9*w - 11*w = -v + 3876. Is v a multiple of 68?
True
Suppose 0 = 4*a + 5*t + 56, -t = 3*t + 16. Let q(x) = 17*x + 158. Does 2 divide q(a)?
False
Let o(q) = q**2 - 17*q + 66. Let z be o(11). Suppose z = -10*s - 414 + 2104. Is 13 a factor of s?
True
Let w = -49 - -52. Suppose 232 = w*a - 4*h, 5*a - 364 = 2*h - h. Is 10 a factor of (a/10)/(6/(-45)*-1)?
False
Suppose 2*y = 10, -3*k + 14*y - 17*y = -25722. Is k a multiple of 41?
True
Let n(f) = -210*f - 78. Let s(m) = -210*m - 79. Let w(d) = 2*n(d) - 3*s(d). Is 39 a factor of w(5)?
True
Let t be (6/4)/((-405)/72 - -6). Does 29 divide (4 + -381)/(-5 + t)?
True
Let i = 79 - 76. Let n be -3 - (-480 + 4/(-2) + i). Suppose -4*p + n = 2*v, v = 3*p - 4*v - 383. Does 11 divide p?
True
Let p(h) = -119*h - 267. Let k be p(-10). Let q = -59 + k. Is q a multiple of 8?
True
Let o(d) = 55*d + 307. Let p = 15 - 4. Does 16 divide o(p)?
True
Let r(o) = o**2 + 3*o - 1. Let m be r(2). Is 13 a factor of 1 + (-11)/m + 21620/414?
True
Suppose 116*f = -148*f + 3910784 + 3174976. Does 11 divide f?
True
Is (3820/(-16))/(9/(-144)) a multiple of 7?
False
Let s = -3083 - -4536. Does 22 divide s?
False
Let c(m) = -3*m - 3. Let q be c(-2). Suppose -k + 1264 = 5*l, q*l - 5*k = 598 + 166. Does 12 divide l?
False
Let y(p) = -316*p**3 + 3*p**2 - p - 1. Let i be y(1). Let u = 535 + i. Does 20 divide u?
True
Suppose -d - s - 17 = -0*s, 41 = -3*d + 2*s. Let f be 4 + 3/(d/(-55)). Suppose -26 = -16*h + f*h. Is h a multiple of 13?
True
Let p be (-16)/12*3 + -20. Let t be -2*15/p*8. Suppose t*x = 5*x + 1120. Is 14 a factor of x?
True
Let y = 468 - 98. Let p = y - 191. Is p a multiple of 12?
False
Let z(c) = -1 + 12 - 46*c - 53. Is z(-9) a multiple of 26?
False
Let y(i) = 422*i - 93. Let v be y(11). Suppose 20*d - 751 - v = 0. Is d a multiple of 5?
True
Let c(h) = 766*h + 290. Is 113 a factor of c(8)?
False
Let f(v) = 177*v**3 + v**2 + 2*v - 3. Let g be f(1). Let s = g + -168. Is s a multiple of 2?
False
Let d(n) = 17*n - 6. Suppose -7*i = -4*i - 2*u - 16, -u = i - 7. Does 15 divide d(i)?
False
Let r(v) = 0*v - 371 - 370 - v**2 - 369*v**3 - 4*v + 738. Is 54 a factor of r(-1)?
False
Let u(n) be the third derivative of 5*n**4/24 - 13*n**3/3 - n**2. Let v be u(5). Does 18 divide v/2 + (-392)/(-16)?
False
Suppose 2*h - 2 = 5*m, -2 = -2*h - 0. Let g(j) be the third derivative of -j**6/120 + j**5/60 + j**4/24 + 18*j**3 + j**2 + 19. Is 27 a factor of g(m)?
True
Let m be (28*2)/2 - 2. Suppose -n = 5*r - 34, 0 = -r + n - 6*n + m. Let t = r + 68. Is 35 a factor of t?
False
Suppose 0*g + 5*g + 10 = 5*y, -2*y = 2*g - 20. Let q be ((-4)/y)/(18/(-189)). Suppose 4*l - q*l + 405 = 0. Is l a multiple of 15?
True
Suppose 5*k - 25279 = 4*m, -5*k + 37*m - 42*m = -25270. Is k a multiple of 4?
False
Let a(s) = 2693*s - 327. Is a(11) a multiple of 16?
True
Let w(b) = 15*b**3 - 8*b**2 + 11*b + 90. Is w(6) a multiple of 111?
True
Suppose -4*j - 16 = -5*c - 67, 4*j = 4*c + 52. Let h = j + -24. Is 18 a factor of 210/4*(-24)/h?
True
Let d(a) = 77*a + 2212. Is 7 a factor of d(-16)?
True
Is 3*-4 + (-39 - -7549) a multiple of 23?
True
Let h(l) = 6*l**3 - 10*l**2 + 9*l. Let n(y) = 6*y**3 - 9*y**2 + 8*y - 1. Let v(i) = -5*h(i) + 6*n(i). Let r = 476 - 472. Is 49 a factor of v(r)?
False
Let k = -134 + 139. Suppose k*n + 82 = m - 30, -5*n + 284 = 2*m. Is m a multiple of 12?
True
Let o(y) = 7*y**2 - 5*y - 5. Let f(t) = 7*t**2 - 6*t - 6. Let c(k) = 3*f(k) - 2*o(k). Is c(10) a multiple of 18?
True
Is (-360876)/(-34) - -4*(-1)/((-6)/(-6)) a multiple of 7?
False
Suppose -t - t = -f - 16, -5*t + f = -37. Suppose 7*y - 42 = -t*y. Suppose 2*r + 0*r - 214 = 2*c, -99 = -r - y*c. Does 35 divide r?
True
Let h = 1662 + -116. Is -3 - (-8)/(16/h) a multiple of 70?
True
Suppose -11*u + 14997 + 59748 = 0. Does 9 divide u?
True
Suppose g - 4 = -6*w + 11*w, -4*w = g + 5. Does 18 divide (4 + 259 - -3) + (-4)/g?
True
Let p(m) = 197*m**2 - 4*m. Let h be p(-1). Let s = h - -26. Suppose 0 = -7*d + 25 + s. Is 36 a factor of d?
True
Let j be 3*-1*12/18. Is (-10 + 484/16)/(j/(-8)) a multiple of 5?
False
Suppose 0 = -4*h - 5*s + 8, 2*h - 2*s + 7*s - 4 = 0. Does 15 divide ((-45)/h)/(6 - 200/32)?
True
Suppose 2*w + z = -3*z + 52, -5*w + 2*z + 70 = 0. Suppose w*q + 447 = 19*q. Suppose -m + 214 + q = 5*j, 5*j = m + 357. Is 24 a factor of j?
True
Let a = 69 - 69. Let r be (-9 + 9)/(2 - a). Is 2 + (r/3 - -40) a multiple of 7?
True
Is 189 a factor of (-9)/(-675)*10 - ((-626563)/15 - -2)?
True
Let s = -40 - -40. Let b(n) = n**2 - 2*n + 5. Let o be b(s). Suppose -3*u - 42 = -3*z - 5*u, u = o*z - 70. Is 3 a factor of z?
False
Let r = -77662 + 129761. Is 11 a factor of r?
False
Suppose 5*t = -2*j - 7368 + 61126, -4*t = 4*j - 43016. Is 25 a factor of t?
True
Let x(s) be the second derivative of s**5/20 + 7*s**4/4 + 11*s**3/6 + 25*s**2/2 - 257*s. Let i = -32 - -12. Is 41 a factor of x(i)?
True
Let q = 5503 + -5030. Is q a multiple of 11?
True
Let m = -47 - -47. Suppose -5*l - 4*q + 232 = m, 0*q - 2*q + 50 = l. Suppose 0 = -5*c - 3*a + 212, -2*c + 3*c - a = l. Is 4 a factor of c?
False
Suppose -23*j = 2*j - 89600. Is j a multiple of 12?
False
Suppose -a = -j + 3, j - 3*a - 5 + 0 = 0. Suppose -j*r = -2*o - 438, o - 2*o = r - 227. Does 7 divide r?
False
Let y = -2609 - -4409. Is y a multiple of 5?
True
Let u(d) = -d**2