16. Suppose 0 = -x*h + 140 - 10. Is h a multiple of 13?
True
Does 24 divide (-1383 + -9)*-2*(-3)/(-12)?
True
Suppose -2*x = -5*o + 3, -2*o = 4*x + x - 36. Let a(q) = 10*q - 43. Is a(x) a multiple of 6?
False
Does 32 divide (-48)/((-21)/(-6) + -5)?
True
Suppose -5*g + 37 = -3*f, 4*g + 0*g = -3*f + 35. Let o = g + 3. Suppose l - 2 = o. Is 8 a factor of l?
False
Suppose 165*m - 170*m = -12770. Is m a multiple of 10?
False
Let z(w) = -47*w + 7. Let t be z(-3). Suppose -261 = -2*x - i, x + 0*x - 3*i - t = 0. Is x a multiple of 35?
False
Suppose 455*a = 441*a + 22400. Does 40 divide a?
True
Suppose -3*y + w + 894 = 0, 2*y + 0*w - 595 = w. Does 39 divide y?
False
Suppose -7*t + 2111 - 165 = 0. Suppose 0 = -2*a + t + 80. Does 20 divide a?
False
Suppose -11*l = -8*l - 147. Suppose -53*t + l*t + 88 = 0. Let g = t - -23. Is 15 a factor of g?
True
Let p(z) = 17*z - 34. Is 17 a factor of p(10)?
True
Suppose -32*b = -22*b - 3990. Does 3 divide b?
True
Suppose 5*p - 9*p + 380 = 0. Suppose -2*s - 2*q + p = -69, 0 = 4*q + 16. Does 15 divide s?
False
Let g(t) = t + 0*t + 5*t**2 + t + 1 + 13*t**3 - 3*t**2. Let d be g(-1). Let s = -5 - d. Does 7 divide s?
True
Let g be 4 + ((-2870)/8 - (-4)/(-16)). Does 32 divide 4*(-5)/50*g?
False
Suppose 14*m = 8*m + 1188. Does 33 divide m?
True
Let m = -410 + 419. Does 3 divide m?
True
Is 19 a factor of -8*4/(-192) - 1823/(-6)?
True
Let b be (4/10)/(1/5). Suppose -t = -2*g + 2, 3*t + g - 5 = 10. Suppose t*q = b*i + 98 - 24, -q + 41 = -5*i. Does 8 divide q?
True
Let g(u) = -1. Let w(s) = -s**2 - 10*s + 8. Let r(f) = -6*g(f) + w(f). Let y be (11 - 25 - -11)*3. Is 23 a factor of r(y)?
True
Let o = -1 - -5. Let m(b) = 52*b - 10. Let c be m(o). Is c/(-2)*(-28)/42 a multiple of 16?
False
Let v(m) = -46*m - 99. Is v(-5) a multiple of 3?
False
Suppose -4*u - 114 = -3*y + 75, y - 62 = u. Is 8 a factor of y?
False
Let c(a) = 185*a - 108. Is c(4) a multiple of 14?
False
Is 37 a factor of (-777)/2*(-2)/3*3?
True
Let j(t) = t**2 + 4*t + 6. Let i(c) = -c**2 + 1. Let k(m) = 5*i(m) - j(m). Let f(s) be the first derivative of k(s). Is 27 a factor of f(-4)?
False
Suppose -5*n = -r - 13, -2*n + 3 = -2*r + 9. Let c = r - 4. Suppose c*w = -3*m + 81, -m + 0*m + 21 = -w. Does 8 divide m?
True
Let j(i) = -4*i - 18. Let n be (20/(-6))/((-5)/(-30)) - -3. Is j(n) a multiple of 10?
True
Suppose -31*x + 35*x = 272. Let m be ((-153)/x)/(1/4). Let r = 0 - m. Is 3 a factor of r?
True
Suppose -95*a = -94*a - 80. Is a a multiple of 27?
False
Let r(u) = u**2 + 12*u - 16. Let f be r(-14). Suppose 11*x - f = 8*x. Suppose -5*z + 529 - 97 = -3*m, -3*z = x*m - 265. Does 29 divide z?
True
Is 28 a factor of 4560/10 + -2 + (-1 - -1)?
False
Suppose 0 = -h - o - o - 21, h + 3*o + 20 = 0. Let q = h + 28. Does 2 divide q?
False
Let g(p) = -p + 4. Let x be g(2). Suppose 5*b + 3 = 8, -x*b = 4*a - 22. Suppose -h = -2*s + 16, 4*h = -s + a*h + 10. Is 4 a factor of s?
False
Let f = 11 - 38. Let v = f + -122. Let h = -104 - v. Is h a multiple of 13?
False
Suppose -3*y = 3*r - 109 - 47, 0 = 5*r - 3*y - 284. Suppose r = -5*p + 185. Is 5 a factor of p?
False
Does 9 divide (-1)/2 - 3738/(-12)?
False
Let q(u) = 2*u. Let x be q(8). Suppose 1 = -o, 3*a + x = -4*o + 147. Is a a multiple of 9?
True
Let i(g) = -8*g**2 + 1. Let x(b) = 10*b**2 - 1. Let t(p) = 6*i(p) + 5*x(p). Let z(a) = -a**3 - 6*a**2 - 5*a + 4. Let y be z(-5). Does 17 divide t(y)?
False
Let x(n) = -132*n - 192. Is x(-8) a multiple of 14?
False
Is (1806/(-28))/(3/(-46)) a multiple of 63?
False
Does 5 divide ((-4)/(-6))/(4/(-18)) - -421?
False
Let a be 4/14 + 2308/7. Let v = -77 + 79. Suppose 5*r + 324 = 3*p, -3*p + 5*r = v*r - a. Is p a multiple of 31?
False
Let m(l) = 11*l + 8. Let s be m(-4). Let o be ((-2)/6)/(2/s). Suppose -11*v = -o*v - 140. Does 14 divide v?
True
Let l(g) = -g**3 + 8*g**2 - 4*g - 14. Let r be l(7). Suppose -2*w = -r*w + 430. Is 17 a factor of w?
False
Let k(l) = l**2 + 3*l - 10. Let r be k(-4). Let x(y) = -y + 6. Is 12 a factor of x(r)?
True
Suppose -55*y + 1044 = -43*y. Is 6 a factor of y?
False
Let t(d) = -d**2 + d - 1. Let j be t(1). Let y = 7 - j. Does 6 divide y?
False
Let r = -703 + 1535. Is r a multiple of 13?
True
Let r(d) = -4*d + 24. Let w be r(7). Is 6 a factor of (0 + (-15)/12)/(w/208)?
False
Suppose 0 = 3*f + 2*f - 130. Is f + 2/6*-3 a multiple of 13?
False
Suppose -5*u - 395 = -s, -4*s - 4*u = u - 1705. Is s a multiple of 20?
True
Suppose 6 = h + h. Suppose 0 = -h*q + 84 - 30. Is 26 a factor of (-4)/18 + 1444/q?
False
Suppose -r - 2 = 25. Let m = -30 - r. Is (231/44)/(m/(-56)) a multiple of 14?
True
Suppose 5*d = 16*d - 583. Let j = d - -62. Is 14 a factor of j?
False
Suppose -10*x = -2488 - 1742. Does 9 divide x?
True
Suppose -42*w + 3924 = -40*w + 2*b, 3*w - 2*b = 5911. Does 12 divide w?
False
Suppose -v = 5*h - 970, -29*v + 31*v + 4*h - 1946 = 0. Is v a multiple of 39?
True
Let w(v) = -v**3 - 4*v**2 + 2*v. Let h be w(-6). Suppose -h = -2*t - 0*t. Suppose -4*r + t = -26. Is 3 a factor of r?
False
Let s(y) = 138*y**2. Suppose 4*c = -2 + 6. Let l be s(c). Suppose 0 = 3*k - l + 3. Is k a multiple of 15?
True
Suppose -t - 2*b = -7*b - 1014, 4148 = 4*t + 3*b. Is 22 a factor of t?
True
Let a(j) = -j**3 + 17*j**2 + 26*j + 10. Suppose -8*v + 23 = -121. Is a(v) a multiple of 14?
True
Suppose -100*h = -73*h - 10044. Is h a multiple of 12?
True
Let p(j) = -2*j**3 + 3*j + 1. Let o be p(-2). Suppose 1 + 1 = -l. Let v = o - l. Is v a multiple of 9?
False
Let r(m) = m**3 + 2*m**2 - 5*m - 5. Let f be r(-3). Is 19 a factor of 35/f - 0/9?
False
Suppose 338 = 2*o - 2*l, -11*o - 4*l = -10*o - 164. Is 6 a factor of o?
True
Suppose -5*i = -3565 - 6795. Is 23 a factor of i/49 - 2/7?
False
Suppose 5*q - 38 - 57 = 0. Let r be q + (2/(-1) - -3). Suppose 5*o = 205 - r. Is o a multiple of 12?
False
Let d(l) = 6*l**2 - 4*l - 3. Let p be d(-2). Is 13 a factor of p - -5 - (-4)/2?
False
Let u(q) be the second derivative of q**7/105 - q**6/720 - q**5/120 - 5*q**4/12 - 5*q. Let b(j) be the third derivative of u(j). Does 11 divide b(-1)?
False
Suppose r - 10*t - 166 = -6*t, -4*r + 4*t = -640. Is 13 a factor of r?
False
Suppose 5*c + 9 = -b + 131, 2*b = -c + 19. Does 5 divide c?
True
Let b = -15 + 15. Is 4 - b - 3 - -137 a multiple of 23?
True
Let v = -553 + 762. Does 11 divide v?
True
Let t(q) = 24*q**2 - 3*q - 1. Suppose -2 = 2*k, 5*w - k + 5 = 4*k. Is t(w) a multiple of 32?
False
Suppose 2 = -3*n + 11. Suppose 0 = -n*t - 15 - 0, 4*s = 5*t - 447. Let f = -66 - s. Does 13 divide f?
True
Let k be (-5)/(1 - (-4)/(-3)). Let i = -15 + k. Suppose 0 = -4*z - l + 195, i = -z + l + l + 42. Does 10 divide z?
False
Does 21 divide (-15)/((-45)/(-2))*-753?
False
Suppose -405 - 78 = -f - r, 1960 = 4*f - 3*r. Does 9 divide f?
False
Suppose -29*p = -34*p + 100. Suppose 0 = 4*i - p, 3*t + t = 5*i + 39. Is t a multiple of 8?
True
Let d(v) = v**3 + 8*v**2 + 14*v + 4. Let a be d(-6). Is 202/18 - a/(-36) a multiple of 3?
False
Let h(t) be the first derivative of 7*t**2/2 - 7*t - 11. Suppose -22 = -3*q - p, 0 = -2*q - q - 5*p + 38. Is 35 a factor of h(q)?
True
Suppose 2*a - 7 + 3 = 0. Suppose 2*f = a*s - f - 143, -25 = 5*f. Let j = -28 + s. Does 9 divide j?
True
Let j = 10 + -3. Let k(r) = r**3 - 3*r**2 - r - 9. Is k(j) a multiple of 20?
True
Suppose -4*c + 7*c - 63 = 0. Suppose -7*w = -35 - c. Does 4 divide w?
True
Let d(o) be the third derivative of 0*o + 0 + 1/60*o**5 + 0*o**3 - 7/24*o**4 - 12*o**2. Does 24 divide d(-6)?
False
Let b(m) = -24*m + 2*m + 1 - 13. Let x be b(-6). Is 8 a factor of ((-4)/5)/((-3)/x)?
True
Suppose 0 = -2*d - 3*y + 10, 0*d = -3*d - 4*y + 14. Suppose -4 = d*i, k - i + 20 = -k. Let q = 3 - k. Does 14 divide q?
True
Let l be 1*(-14)/(42/(-40) + 1). Suppose f = 6*f - l. Is 9 a factor of f?
False
Does 13 divide (-6060)/(-3) - (49 - 44)?
True
Let o be (-837)/(-18)*280/6. Does 12 divide (-4)/(-2)*o/28?
False
Suppose 0 = 11*y - 14*y + 738. Is y a multiple of 29?
False
Let s(p) = -p**3 - 34*p**2 + 33*p - 133. Is 31 a factor of s(-36)?
True
Let v be 4/(-18) - (-10)/45. Suppose 6*w - 561 - 69 = v. Does 21 divide w?
True
Suppose -d + 140 = 5*u, 48*d - 74 = -2*u + 44*d. Does 18 divide u?
False
Let y be 0/(1 + (-3)/(-3)). Suppose y = -3*l + 58 + 11. Does 3 divide l?
False
Let f(c) = c**2 + 4*c + 16. Let w be f(-8). Suppose