16. Suppose 2*z - y*z + 10 = 0. Suppose -3*a - z*u = u - 81, 131 = 5*a + u. Does 13 divide a?
True
Let o = 7871 + -3898. Is 20 a factor of o?
False
Suppose -10*a + 6*a - 5*c + 1170 = 0, 3*a - c = 887. Suppose 22*t - 17*t - a = 0. Does 4 divide t?
False
Suppose 242 + 73 = 7*p. Let g = p - 40. Suppose -2 = -2*n, 2*h - g*h - 3*n + 87 = 0. Is h a multiple of 14?
True
Let l = 2646 - -3288. Does 129 divide l?
True
Suppose -17*p = -13*p + 24. Let n(h) = 8*h**2 - 26*h - 124. Is 8 a factor of n(p)?
True
Suppose 465671 + 22285 = 28*q. Does 37 divide q?
True
Let j = -3742 - -4434. Is 34 a factor of j?
False
Let n = -400 - -405. Suppose -n*b + 206 = -214. Does 12 divide b?
True
Let b(a) = 42*a**2 - 2161*a + 4. Is 24 a factor of b(52)?
True
Let t(w) = w**3 - 31*w**2 - 4*w - 77. Let k be t(31). Let n = k + 256. Is n a multiple of 5?
True
Let y(s) = -2*s - 20. Let h be y(-11). Let a be (-15)/(-10)*h - -2. Suppose -6*x = -a*x - 48. Is x a multiple of 14?
False
Suppose 5*s - h - 74658 = 0, -3*h + 14922 = -43*s + 44*s. Does 27 divide s?
True
Let f = 10982 - 7181. Suppose 22*n = 29*n - f. Is n a multiple of 37?
False
Suppose -5*j - 593*c + 174018 = -590*c, -2*c - 139188 = -4*j. Is 60 a factor of j?
True
Is 16 a factor of 2874718/6655 + 2/55?
True
Let x(m) = -m**2 - 6*m + 96. Let c be x(-13). Let d(h) = 105*h - 45. Does 48 divide d(c)?
True
Is 115344/192*(1 - -3) a multiple of 3?
True
Let f be -4*3/(-6)*3/6. Let r(s) = 4*s**3 + 6*s**2 - 2*s + 7. Let t be r(-5). Is f - t/7 - 57/(-133) a multiple of 26?
False
Let w(u) = 26 - 4 + 12 - 22*u + 29*u. Let x be w(-7). Let b = x - -45. Does 9 divide b?
False
Let k be 12/16*-4 + -64. Let s = -36 - k. Is 5 a factor of s?
False
Suppose 3*a = -3*o - 1608, -3*a + 495 = -4*o - 1614. Let z = 722 + o. Does 27 divide z?
False
Suppose 0 = 2*t - 5*q - 3, 8*t - 9*t - 3*q = 26. Let c be (t - -9)/((-2)/3). Suppose -c*x - 299 + 860 = 0. Does 17 divide x?
True
Suppose -14*u + 340 = -48*u. Is (1 - (-98)/u)/((-39)/2535) a multiple of 11?
True
Let v(g) = -162*g - 159. Let s be v(-1). Let b be (0 - 0) + 1*5. Suppose -b*r + 0*r - 70 = -3*u, 3 = s*r. Is u a multiple of 12?
False
Suppose 9*p + 17*p - 434700 = -19*p. Does 21 divide p?
True
Let x = -217 - -247. Is 25 a factor of 10446/x - 8/40?
False
Let m be (40/6)/(-4)*-6. Let i(w) = w**2 - 8*w - 24. Let h be i(m). Is 16 a factor of 1/(h*2/(-376))?
False
Suppose 2*y + 6 = 0, -19*w = -20*w - 5*y - 258. Let i = -111 - w. Does 12 divide i?
True
Let i = 142 - -29743. Is 210 a factor of i?
False
Let m(i) be the second derivative of 0*i**2 + 1/6*i**3 + 49/12*i**4 - 4*i + 0. Does 10 divide m(1)?
True
Does 15 divide (((-48)/(-20))/3)/(2*(-1)/(-44495))?
False
Let t be (-21 + -3)*(5/1)/1. Let v = t + 140. Does 3 divide (-1*v/7)/(9/(-63))?
False
Let b = -45 + 46. Let k(r) = 158*r**3 - r**2 + r. Let l be k(b). Suppose 5*w = 7*w - l. Is 17 a factor of w?
False
Let h be (1998/(-296))/((-3)/52). Suppose -o = h - 303. Does 31 divide o?
True
Suppose 0 = -4*h + 6*h - 5*y + 21, 3*h + 14 = 4*y. Let j be (2 - 0) + (h - 2). Suppose 0*z - 206 = -3*n - 2*z, 5*n - 338 = -j*z. Is 33 a factor of n?
True
Suppose 3*x = 3*a + 11532, -1780 + 21130 = 5*x + 21*a. Is x a multiple of 2?
False
Suppose -2229 = -10*k + 7*k. Suppose 2*y + 580 = b, 707 = -5*y + 5*b - k. Does 16 divide (-2 - (1 + 1))*y/40?
False
Suppose -3*w + 3 = 0, 3*l - 2*w - 1465 = 3639. Is (l/69)/((-2)/(-12)) a multiple of 7?
False
Let s be 6/36 + (-106)/(-12). Suppose 0 = -3*z + s*z - 264. Suppose -14*l = -10*l - z. Is l a multiple of 11?
True
Suppose -n - 11 = -14. Let o(d) = 4*d - 1. Let s be o(n). Suppose -4*r + s = -a + 103, 0 = -5*a - 5*r + 410. Is a a multiple of 21?
True
Let w(l) = l**2 - 2*l - 5. Let b be w(-5). Let g be -3 - (-16)/24*-3. Does 8 divide (-42)/(b/g)*(-120)/(-14)?
False
Suppose 0 = -334*h + 3713767 + 121889. Does 29 divide h?
True
Suppose 3*o = 5*l - 1470, 355 = l + 3*o + 79. Is l a multiple of 20?
False
Suppose 0 = j - 3 - 19. Suppose 21*r + 176 = j*r. Is r even?
True
Let t(v) = v**2 - 10*v + 19. Let w = 103 - 41. Suppose 8*m - 2 = w. Does 2 divide t(m)?
False
Let r = -32 + 35. Let z be -2 + r/((-6)/(-8)). Suppose -5*t - s + 161 = 0, -z*s - 126 = -4*t - 0*s. Is 23 a factor of t?
False
Let t be ((-1)/5)/((-10)/100). Suppose 3*i + 276 - 1347 = -t*c, -2*c = -5*i + 1769. Does 13 divide i?
False
Let s(x) = 3*x + 30. Let r be s(-7). Let h = 33 - r. Does 8 divide 11*(h/2 - 4)?
True
Let v be 0 - ((-14)/3 + (-4)/(-6)). Suppose 2*b = d - 0*d + 33, 31 = v*b + 5*d. Is 1328/b + (-3)/(-21) a multiple of 10?
False
Suppose 372 + 279 = 5*z - 2*z. Is z a multiple of 9?
False
Suppose 0*x - 2*x + 6 = -o, 5*x = 5*o + 5. Suppose -f + 2 = -o. Let t = f + 18. Is 8 a factor of t?
True
Let a = -2 + 5. Suppose 8 = -d + a*d. Suppose -4*x + 169 = -3*y, d*x - 2*y - 41 = 3*x. Does 12 divide x?
False
Suppose -26*p = -28*p + 4. Let v be (-16 - (p - 0)) + (6 - 5). Does 8 divide (5 + v + -2)*4*-1?
True
Let l(d) be the first derivative of 5*d**4/12 + 7*d**3/6 + d**2/2 + 15*d - 14. Let q(j) be the first derivative of l(j). Does 9 divide q(-5)?
False
Let k(s) = 2*s**3 - s**2 - s + 1. Let v be k(3). Let t be ((-4)/6)/((-12)/234). Suppose 0 = -2*m + v + t. Is m a multiple of 7?
True
Let f be (-2)/(-8) - (7164/16)/(-9). Suppose -29 = 2*y - i - 6, -4*y = 2*i + f. Is 2/y + 139/6 even?
False
Suppose 0 = -s - 4*y + 31376, 3*s = 91*y - 89*y + 94114. Is s a multiple of 44?
True
Let d(k) = -k**2 - 12*k + 78. Let b be d(-38). Let p = -330 - b. Does 58 divide p?
True
Let y be 678/14 + 33/(-77). Let v = y + -67. Let p = 28 + v. Is 2 a factor of p?
False
Suppose 4*u + 286 = 2*r, -4*u = -5*r + r + 296. Let w = u + 121. Does 3 divide w/9 - (-18)/81?
True
Let q = -12 + 12. Let a(r) = -r**2 - r + 73. Is a(q) a multiple of 3?
False
Let k(a) = 3*a**2 - 62*a - 80. Does 16 divide k(-40)?
True
Suppose -4*v - 3*x - 107 = 0, x + 4 + 1 = 0. Is 34 a factor of ((-51)/4)/(((-483)/(-224))/v)?
True
Does 26 divide ((-531)/(-354))/(3/692)?
False
Let q(o) = 17*o**2 + 32*o + 628. Does 66 divide q(-27)?
False
Suppose s - 1206 = x + 791, -10009 = -5*s - 3*x. Let i = -1116 + s. Is 26 a factor of i?
True
Let x = 1455 - 407. Let w = x - 528. Does 21 divide w?
False
Let q = -460 + 988. Suppose 4*c + 2*x = -2*x + 424, -5*c - 4*x = -q. Suppose -4*i = -2*i - c. Does 26 divide i?
True
Suppose -2*p = 5*z - 5*p - 10, 0 = -5*z - p + 10. Suppose f = 4*y - z*f - 17, 19 = 2*y - 5*f. Does 4 divide (3 - -16) + y + -2?
False
Let n(j) be the second derivative of -7/3*j**3 + 12*j + 0 - 1/12*j**4 + 19/2*j**2. Is 4 a factor of n(-15)?
True
Suppose 6449 = 6*s - 12847. Is s a multiple of 47?
False
Let a(h) = -3*h + 2*h + 174*h**3 - 352*h**3 + 15*h**2 + 179*h**3. Does 33 divide a(-6)?
True
Let c be 9/6 - 21/(-14). Let r = 42 - 42. Suppose 5*m - 3*l - 108 = r, -c*l - 4 = l. Does 2 divide m?
False
Suppose -4*v - 324 = -7*v + 5*n, -5*n = 0. Let h = v - 121. Let f = h - -73. Is f a multiple of 6?
True
Suppose -r + m + 7252 = 1490, 5*m = -5*r + 28780. Is r a multiple of 17?
False
Suppose -19*p = -28 + 9. Let l(o) = 172*o + 9. Is l(p) a multiple of 5?
False
Let h(c) = c**3 + 17*c**2 - 16. Let l be h(-17). Let j be 5*1 - (l - -17). Suppose j*d = t - 62 - 31, 3*t - 301 = d. Is 14 a factor of t?
False
Let k(u) be the second derivative of 11*u + 0 - 5/6*u**3 - 5/2*u**2. Does 10 divide k(-8)?
False
Let t(l) be the second derivative of -l**5/20 - l**4/3 + 10*l**3/3 - l**2/2 - 11*l. Let s be t(-7). Is 43*(7/s + 3/(-18)) a multiple of 4?
False
Let c(h) = h**2 - h + 1. Let n(m) = -3*m**2 + 43*m + 30. Let f(s) = 3*c(s) - n(s). Is 70 a factor of f(14)?
False
Let s(g) be the second derivative of -g**5/20 + 5*g**4/12 + g**3/3 - 7*g**2 + 241*g. Is 16 a factor of s(-5)?
False
Let j = 2425 - 709. Suppose -10*a = 2*a - j. Is 11 a factor of a?
True
Let m be (-24)/8 - 2/(-1). Let g(j) = -190*j**3 + 8*j**2 + 10*j + 2. Is 10 a factor of g(m)?
True
Let v(h) = -26*h + 203. Let z be (98/(-28))/(-3 + (-26)/(-8)). Does 27 divide v(z)?
True
Suppose -7698 = -4*l - k, l + 1918 = 2*l - 3*k. Is 190 a factor of l?
False
Suppose 30779 + 33207 = 46*c - 253736. Is 166 a factor of c?
False
Let w(j) = 828*j - 985. Is w(8) a multiple of 54?
False
Let s = -2771 + 5571. Is s a multiple of 14?
True
Suppose -4*m = -3*r + 13, 2*m = 3*r + 2*r - 3. Let t be -2 - r/((6/(-22))/(-3)).