 a factor of u?
False
Let n(k) = 2*k - 35 + 7 + 6 - 1. Let i be n(13). Suppose i*h + l = 37, -2*h = -5*l - 7 - 12. Is h a multiple of 12?
True
Suppose -4*r - 17*o + 20*o = -1097, 5*r - 1345 = -5*o. Does 5 divide r?
False
Let g be 2/14 + (-4)/(-224)*104. Is 92 a factor of (-15776)/(-48)*(-6)/(-8)*g?
False
Let w = -30 - -78. Suppose 64 = 4*c + w. Is 22/(4 + (-8)/c) a multiple of 8?
False
Let p be 2/4 + 107/2. Let v = 2665 - 2523. Let j = v - p. Is j a multiple of 45?
False
Suppose 0 = -166*z + 106*z + 526260. Does 49 divide z?
True
Let v(k) = -4 + 5 - 13 + 13*k**2 - k**3 - 2*k - 10. Is 71 a factor of v(9)?
True
Let o = 159 - 156. Does 3 divide 9*o/(-9)*-1 - -19?
False
Suppose -4*o - 3*u + 8 = 0, -5*u + 2*u + 17 = -5*o. Let a be ((-2)/(-5) + o)*-285. Suppose -3*h + i + a + 19 = 0, -i = 1. Is 7 a factor of h?
True
Suppose 4721 = 6*w + 761. Is w a multiple of 110?
True
Suppose 0*c + 6*c = -666. Let j = 160 + c. Is j a multiple of 5?
False
Let o be (22/(-33))/(2/(-21)). Let s(i) be the second derivative of -i**5/20 + 3*i**4/4 - i**3/3 - 3*i**2/2 + i - 25. Is 6 a factor of s(o)?
False
Let t(i) = -16*i**2 - 13*i + 15. Let k be t(4). Let h = -150 - k. Is 11 a factor of h?
True
Let s = 2918 + -1351. Is s a multiple of 14?
False
Let m = -277 - -2296. Is 13 a factor of m?
False
Suppose 5*g - 1595 + 634 = -2*w, -5 = -g. Does 9 divide w?
True
Suppose -5*s = -20608 - 12912. Suppose 4*l = -2*m + s, 3*l - 2*m - 5289 = -254. Is l a multiple of 39?
True
Let x = -1383 - -1836. Is 12 a factor of x?
False
Let j = 2791 - -2123. Is j a multiple of 91?
True
Suppose b - 2 = 0, h + 8*b + 109 = 13*b. Let d = h + 808. Is 13 a factor of d?
False
Let h(p) be the first derivative of -p**4/4 + 16*p**3/3 - 9*p**2/2 + 37*p - 1. Let n be (-18 - 48/(-2) - 12) + 7*3. Is 9 a factor of h(n)?
False
Suppose -76*g = -t - 75*g + 1630, -3*g = 5*t - 8166. Is 12 a factor of t?
True
Suppose 12 = 9*c + 12. Suppose -n + 3*w - 101 = c, -5*n + w = -4*n + 91. Let x = n + 215. Is 43 a factor of x?
True
Suppose -21*c - 137*c + 20224 = 0. Is 8 a factor of c?
True
Let d(m) = -39*m + 20. Let g(p) = -193*p + 100. Let q(i) = -11*d(i) + 2*g(i). Is 18 a factor of q(8)?
True
Let t(z) = 15*z + 10. Let a(v) = -4*v - 2. Let w be a(-6). Suppose -5*n + 28 = -w. Is 16 a factor of t(n)?
True
Let z(p) = -2*p + 42. Let o(m) = -m**3 - 2*m**2 + 7*m - 1. Let y be o(-4). Suppose -y*g + 6*g = -63. Is z(g) a multiple of 10?
False
Let m(p) = 48*p**2 - 82*p + 69. Is 38 a factor of m(6)?
False
Let g = 34 + -37. Let n(h) = -12*h**3 - h**2 - 4*h - 12. Does 35 divide n(g)?
True
Suppose 0 = 4*g + 220 - 612. Suppose 90 = 2*n - g. Is n a multiple of 3?
False
Let r(d) = -d**3 + 4*d**2 + 16*d - 18. Let g be r(6). Let p(u) = 16 - g + 39*u**2 - 4 - 5. Is p(1) a multiple of 8?
True
Let b = -9738 + 12312. Is 99 a factor of b?
True
Let y(n) = n**2 + 8*n - 18. Let l = 43 - 39. Let h be y(l). Suppose 0*q + h = 5*q. Is q a multiple of 4?
False
Does 18 divide 2084*(2 + 0) + 312/39?
True
Suppose -9 = -7*v + 5. Suppose 7560 = v*w + 10*w. Does 32 divide w?
False
Suppose 14*x - 13601 = 5077 + 362. Is x a multiple of 16?
True
Let u be (-3 - (-3 + 61))*-3. Let w = u - -80. Does 23 divide w?
False
Suppose 2*o = 2*k - 22, -4*k + 5*o = 5 - 51. Is 60/36 + (2 - (-9687)/k) a multiple of 9?
True
Suppose -4 = -5*u + 11. Suppose 19 + 26 = u*b. Does 5 divide b?
True
Is 6 + (-80)/(-150)*-3*-17715 a multiple of 35?
True
Suppose o - 55 = -4*o. Suppose -o*u + 2 = -10*u. Suppose 0 = r - u*r + 5. Is r a multiple of 5?
True
Does 31 divide 0 - 7142/(-18) - 54/(-243)?
False
Let b = -5 + 9. Suppose 4 = -b*k, k = -2*a - 2*a - 113. Let n = a + 52. Does 8 divide n?
True
Suppose -3*i + 10434 = 13*s - 9*s, -s - i + 2607 = 0. Is s a multiple of 109?
False
Suppose -5*z = -2*w + 1776, -78*z + 77*z - 888 = -w. Does 37 divide w?
True
Let t(c) = -2*c + 5. Suppose -13*g - 48 = 108. Is 9 a factor of t(g)?
False
Let q = -45893 - -69413. Is q a multiple of 168?
True
Does 115 divide 2856/(-612)*1/(4/(-5394))?
False
Suppose 0 = 5*f + 192 - 907. Let m = f + -116. Suppose 217 = m*h - 26*h. Is 31 a factor of h?
True
Suppose -101*n + 92*n + 30087 = 0. Does 19 divide n?
False
Let y be ((-9)/(72/(-16)))/(2/5). Suppose 4*f = 3*r - 20, -2*r + 10 = -2*f - 3*r. Does 8 divide 8*(-3 - f/(y/4))?
True
Suppose -5*c - 2 + 27 = 0. Suppose -2*m + 565 = -5*r, 5*r = -c*m - 0*m - 530. Let n = r - -335. Is n a multiple of 27?
False
Let v(a) = 12*a + 18. Suppose -24*c - 85 = -23*c. Let f = -79 - c. Is v(f) a multiple of 6?
True
Let c be (-15)/5 - -5 - 2. Suppose 5*f - 20 = -c. Suppose -2*o = -4*o - f*d + 216, 0 = o - 3*d - 123. Is 19 a factor of o?
True
Let v = 14555 - 11772. Is 23 a factor of v?
True
Let d be (-65)/(-39)*-3 - -4. Let c(v) = 14*v. Let b(w) = 69*w. Let n(m) = -5*b(m) + 24*c(m). Does 3 divide n(d)?
True
Let y(i) = 3*i**2 - 20*i - 1. Let o be y(7). Suppose 3*d + o = 21. Suppose d*x - 2*k - 394 = 0, 4*x - 5*k = -2*k + 311. Is x a multiple of 22?
False
Let b = 656 + -198. Let l = b + -416. Is l a multiple of 21?
True
Suppose -2*s + 2*w - 230 = 0, 23*w - 18*w + 487 = -4*s. Is 26 a factor of -7 - (-3)/(-6)*s?
True
Let j(t) = 535*t - 1237. Is 3 a factor of j(7)?
True
Let g(h) be the first derivative of h**3 + 7*h**2 - 6*h - 94. Is 25 a factor of g(5)?
False
Suppose 6*c = -4*c + 30. Suppose -w + 185 = -3*k, -c*w - 4*k + 398 = -183. Does 21 divide w?
False
Let k(o) = -7*o**2 - 5*o**2 - 19*o + 13*o**2 - 13 - 3. Let l be k(20). Suppose 885 = 4*y - u, 3*y - l*u + 0*u = 654. Does 37 divide y?
True
Let b(l) = 16*l + 432. Is 24 a factor of b(18)?
True
Let u(i) = -14*i + 11. Let k be u(-4). Let n = -39 + k. Let l = n - -109. Is 15 a factor of l?
False
Suppose -137*g + 55*g + 330733 = 87*g. Does 86 divide g?
False
Suppose 7*c = -3*b + 2401, 3*b - 361 = -2*c + 325. Suppose 0 = -c*w + 352*w - 6048. Does 32 divide w?
True
Let g = -33313 + 35164. Does 48 divide g?
False
Let f(y) = y. Let n(c) = c + 5. Let h(v) = -3*f(v) + n(v). Let j be h(6). Does 21 divide j/((-7)/65) - 2?
True
Let c(x) = 28*x + 14. Let h be c(5). Let m be 998/(-8) + 3/(-12). Let p = h + m. Does 12 divide p?
False
Suppose 5*c + 30 - 50 = 0. Let i be 1 + 1 - (-5)/(c + 1). Suppose b - 36 = -d, 119 + 45 = 5*b - i*d. Is b a multiple of 34?
True
Suppose 2*f - 36 = -i, -4*f = -2*i - 0*f + 40. Let u = i + -23. Suppose 3*s - 64 = -u*s. Is 2 a factor of s?
True
Let k be 1/(5/30) + -4. Suppose k*i - 111 = -15. Does 8 divide i?
True
Let w = 168 + -171. Does 10 divide w/(-12) + (-5595)/(-20)?
True
Suppose 14*l - 60 = 11*l. Suppose -4*f + l = -j - 9, 5*f - 39 = 4*j. Suppose f*y = 11*y - 104. Is y a multiple of 13?
True
Suppose 20*g - 2620 = 16*g + j, 2*j - 1320 = -2*g. Does 16 divide g?
True
Let z(h) = h + 9. Let j be z(-4). Suppose x - 3*g - 403 = 0, -3*g + j - 2 = 0. Does 17 divide x?
False
Suppose 0 = -4*t - l + 758, 2*l = -2*t + l + 380. Suppose -3*a + t = -5*x + 2*x, -124 = -2*a + 4*x. Suppose -a + 13 = -3*v. Is 17 a factor of v?
True
Suppose 457806 - 428564 - 1576483 = -131*h. Is 28 a factor of h?
False
Let k = 6289 + 9251. Does 148 divide k?
True
Let w = 2001 + -1833. Does 42 divide w?
True
Let s(c) = -c**3 + c**2 - c - 10. Let a = 1 + -6. Let w be s(a). Suppose 2*t - w = -15. Is 13 a factor of t?
True
Let r(z) = -443*z + 10733. Is r(20) a multiple of 85?
False
Let i(u) = 64*u**2 + 31*u - 19. Is i(3) a multiple of 65?
True
Let r = -70 - 83. Let l be (0 + 1)/(9/r). Does 4 divide (l/(-2))/((-20)/(-40))?
False
Suppose -2*s = 5*x + 18, -5 + 3 = -3*x + 2*s. Let a be -30*x/(6/(-9)). Let n = 135 + a. Is 21 a factor of n?
False
Let t = -38 + 36. Let w(n) = -n**3 - n**2 + n. Let f be w(t). Suppose 42 = f*j - 102. Is 18 a factor of j?
True
Suppose -2*b + 3*z + 19824 = 0, -2*b + 19848 = -z + 4*z. Is b a multiple of 58?
True
Let d = 203 - 163. Suppose 4*u = 5*w - d + 163, 3*w = 3. Is 5 a factor of u?
False
Suppose -23*r + 1140232 = 26*r + 382839. Is 304 a factor of r?
False
Suppose 7*x = -2*x + 4*p + 54801, 4*x + p = 24331. Is x a multiple of 15?
False
Suppose 0 = 8*a - 27 - 13. Suppose -2*b = a*g + 72, 5*g - g - 5*b + 51 = 0. Does 9 divide 1/2 + (-483)/g?
False
Let o(a) = 5*a**2 + a - 3. Suppose -50*b - 14 = -48*b. Does 10 divide o(b)?
False
Suppose -6*c + 2*o + 4534 = 0, -8*c - 4*o = -12*c + 3036. Is c a multiple of 29?
True
Suppose -1245*c - 1724 = -1