= b + 4*l - 26, -k = -4*b - l + 20. Is b even?
True
Let v(x) = 4*x - 17. Let g be 2 + -3 + (2 - (-15 - 3)). Is v(g) a multiple of 7?
False
Suppose -r + 3*l = -3645, -5*r - 6*l + 18285 = -9*l. Is r a multiple of 38?
False
Let c be (2 - (-35)/(-25)) + 756/(-10). Let h(a) = a**2 - 2. Let m be h(-2). Is 16 a factor of ((-1530)/c)/(m/5)?
False
Let l = -66 + 56. Does 15 divide (-9 - -27)*l/(-3)?
True
Let l(t) = -t**2 - 3*t - 2. Let i be l(-2). Suppose 4*d - 20 = -3*m - d, -2*d + 2 = i. Suppose 0 = -u - 4*n + 62, -u + 2*u - 66 = -m*n. Is u a multiple of 30?
False
Let s be (-1)/3 - 1/(-3). Let t(m) = -m**3 + m**2 + 2*m + 185. Is 40 a factor of t(s)?
False
Suppose -17*v + 2*v = -30. Does 9 divide v - (-32)/(-20) - (-3772)/20?
True
Let z = -96 - -146. Let o = -10 - -12. Suppose o*j - 4 = z. Is j a multiple of 10?
False
Suppose 0 = 5*k + 4*t - 82, 2*t + 71 = 4*k + 7*t. Is 7 a factor of k?
True
Let l be (-178)/6 - (-28)/(-21). Let c = 19 + l. Let g = c + 25. Is g a multiple of 13?
True
Let h(q) = 2*q + 16. Let n be h(-10). Let v(y) = -46*y - 7. Is 31 a factor of v(n)?
False
Let r = -24 + 34. Suppose 79 = -13*v + 365. Is 722/v + r/55 a multiple of 11?
True
Let b be 6/(2 - -1) + -2. Let t be 3 + b/(-2 + 3). Suppose -t*z + 3*x + 65 = -4, 0 = -2*z + x + 47. Is 8 a factor of z?
True
Let m = -34 - -35. Is 6 a factor of (m + 0)/((-6)/(-42))?
False
Is 24 a factor of (-116920)/444*(-9)/2?
False
Suppose -c - 3*p = c - 49, 4*c + 3*p = 95. Suppose -c*o + 28*o - 130 = 0. Is o a multiple of 5?
False
Is 14 a factor of (21/(-2))/(13/(-442))?
False
Suppose -3*h = -20 - 25. Suppose -h = -t + 39. Is 27 a factor of t?
True
Let q(r) = 20*r**2 + 11. Does 18 divide q(-6)?
False
Does 98 divide 8/(-28) + -6*(-35522)/84?
False
Let x(p) = p - 1. Let c be (-392)/(-63) + 2/(-9). Let q be x(c). Suppose 10 = 2*n - q*j - 72, -39 = -n + 3*j. Is 17 a factor of n?
True
Suppose -o - x + 605 = 0, x + 2405 = 4*o - 0*x. Is 135 a factor of o?
False
Let p = -271 + 97. Let y = 79 - p. Suppose y - 29 = 4*r. Is r a multiple of 18?
False
Let s(o) = 42*o + 69. Is 12 a factor of s(0)?
False
Suppose m + 21 = -2*m. Let y(b) = -b**3 - 6*b**2 + b + 6. Is 24 a factor of y(m)?
True
Suppose 126 = 3*b - 9*b. Let j = b + 26. Suppose -j*q + 7*q - 14 = 0. Is 2 a factor of q?
False
Suppose 9 + 10 = b. Let l = b - 15. Suppose 0 = -2*o - l*j + 80, -9 = -4*j + 7. Is 21 a factor of o?
False
Suppose -4*s = -m + 1422, -5*m - 3*s = -0*s - 6995. Is 18 a factor of m?
False
Let d(m) = m**2 - 13*m + 15. Let r be 4/((-4)/(-19)) - 5. Does 17 divide d(r)?
False
Suppose -w - 2*g = 0, 2*w = -7*g + 2*g - 3. Suppose -3*d + w = -0*d. Suppose u + 15 = m, d*u = -3*m + 4*u + 41. Is 11 a factor of m?
True
Let h(v) = v**3 - 2*v**2 + 2*v - 1. Let d be h(2). Suppose -44 - 7 = -d*j. Suppose -13 = 5*b - 8*b - 5*r, 4*r - j = -3*b. Is 11 a factor of b?
True
Let g(f) = -f**3 - f**2 + 9. Let i be g(0). Suppose i*j = 4*j + 305. Is 10 a factor of j?
False
Let d(a) = 106*a + 76. Is 14 a factor of d(15)?
True
Suppose 11 = 2*l - p, -3*l + 0*l = 3*p - 30. Let w be (3/(-4))/(l/56). Does 5 divide (-2 - (w + 1)) + 20?
False
Suppose 0 = -3*h - 6*t + 4*t + 1530, -4*h - 5*t = -2040. Suppose -4*n = 4*r - 708, -4*r = -4*n - 174 - h. Is 36 a factor of r?
False
Does 5 divide 152 - ((-20)/(-4) - 6)/(-1)?
False
Let m(z) = 12*z**2 - 13*z - 12. Let u be m(9). Suppose -3*i + u = -3*w + 282, 6 = 2*w. Is 19 a factor of i?
True
Suppose -p = -z + 10, 2*z + 0*z = p + 16. Suppose -k - k = -z. Suppose 28 = k*l - 68. Is l a multiple of 12?
False
Let q(t) = -6*t**2 + 47*t - 75. Let f(v) = -2*v**2 + 16*v - 25. Let x(a) = 8*f(a) - 3*q(a). Does 16 divide x(7)?
True
Let m(l) = -3*l**3 - 22*l**2 + l + 24. Is 15 a factor of m(-9)?
True
Let g(b) = b + 106. Is 25 a factor of g(19)?
True
Let n(d) = -2*d + 6. Let l be n(3). Suppose l = 3*y + 15, -2*q + 4*y = -6 - 0. Does 8 divide 1610/49 - 1/q?
False
Let c = -372 - -532. Is 29 a factor of c?
False
Let u = 18 - 19. Let p be 3 - (2 - 0 - u). Suppose -3 = 3*r, c - 2*r + r - 87 = p. Does 22 divide c?
False
Is 19 a factor of 2*-2 - (-3)/(15/2015)?
True
Let p = -1 - -1. Suppose p = -3*c + 3*i + 15, 5*c = 4*i - i + 19. Suppose c*w - 5*a = -0*w + 6, -4*w + 60 = 2*a. Is w a multiple of 13?
True
Suppose -53106 = -32*m + 18126. Is 106 a factor of m?
True
Let t = -65 - -134. Does 23 divide t?
True
Suppose 17 = 2*u + 5*d - 11, -12 = -3*d. Suppose 0 = 2*s + 6, -u*s - 2 = -t + 21. Is t a multiple of 2?
False
Let i = -21 + 15. Let w be (-4 + 1)/(i/8). Is 1374/24 - 1/w a multiple of 19?
True
Let z be -4 + (-3)/(-6)*14. Suppose 5*l - 8 = l. Suppose z*a = -l*a + 140. Is a a multiple of 13?
False
Suppose 549 = 5*h + d, 0*h - d = -2*h + 214. Suppose -h = -t - 22. Is 11 a factor of t?
False
Suppose -55*z = -71*z + 6720. Is z a multiple of 12?
True
Is 15912/(24/3) + (-20)/(-4) a multiple of 23?
False
Let q(v) = v**2 - 16*v + 172. Is 23 a factor of q(-19)?
False
Let w(k) = 2*k - 12. Let x be w(8). Suppose -5*p = 3*t - x*t + 11, -t + p = 1. Is 16 + (-3)/(1 + t) a multiple of 16?
False
Suppose -10*w - 64260 = -28*w. Is w a multiple of 70?
True
Let y be (4/(-6))/(5/(-45)). Let c(s) = y*s + 11 - s - 2*s + s**2. Is c(-5) a multiple of 7?
True
Is (-16030)/(-8) + ((-4025)/92)/(-35) a multiple of 12?
False
Suppose 0 = b + 3*i + 7, 4*i + 20 = -i. Suppose b*w - 16 = -o, 42 = 4*o + 4*w - 22. Does 12 divide o?
False
Suppose 989 = -7*o + 13029. Does 61 divide o?
False
Let x(r) = -2*r - 2. Let z be x(-2). Let c be 4/(1 - 0)*33/66. Suppose -z*b - 32 = -c*q, -b = 4*q - 66 + 12. Is q a multiple of 7?
True
Suppose 5*r = -2*x + 2770, 4*x - 1651 = -3*r + 5*x. Is 63 a factor of r?
False
Is ((-1788)/16)/((-1)/((-16)/(-6))) a multiple of 21?
False
Let g(r) = -115*r - 850. Is 35 a factor of g(-8)?
True
Let x = 31 + -32. Is ((-2 + 9)/x)/(-1) a multiple of 3?
False
Let v(p) be the second derivative of -10*p**3/3 + 6*p**2 + 33*p. Does 31 divide v(-7)?
False
Let k = 5 + -2. Suppose -k*i = -6*i + 60. Suppose -16 = -y + i. Is 18 a factor of y?
True
Let v = -1214 - -1550. Is 16 a factor of v?
True
Let x = 36 - 43. Is (2/x)/1 + 256/14 a multiple of 6?
True
Let n(a) = -2*a + 2. Let p be n(-4). Suppose 2*v - 7*v + p = 0. Suppose 2*m + 29 = v*g - 21, 0 = 5*m - 10. Is 27 a factor of g?
True
Suppose 3*h = 6*h. Suppose -2*o - 5*k + 217 = h, 3*o - 406 = k - 55. Is o a multiple of 13?
False
Suppose 6 + 29 = 5*b. Suppose b*n + 44 - 226 = 0. Is n a multiple of 13?
True
Suppose -21*t - 473 = -32*t. Is 8 a factor of t?
False
Suppose -4*b + 6*o + 32 = 2*o, 0 = -5*b + 3*o + 34. Let t = -3 + b. Suppose 0 = a + k - 8 - 11, -3*a + t*k + 62 = 0. Does 5 divide a?
True
Let f(g) = -g**2 - 2*g + 6. Let s be f(6). Let x = -37 - s. Is 7 a factor of (-236)/(-10) + 2/x?
False
Suppose 5*q - 25 = 3*a - 12, 5*a = -4*q + 3. Suppose 0 = 3*w + q*w. Let x(n) = -2*n**2 + n + 22. Does 9 divide x(w)?
False
Suppose 0*z + 296 = 2*z. Suppose -5*q - 2*r + 352 = 0, 3*q - z - 56 = -3*r. Is 9 a factor of q?
True
Let w be -10*-3*192/45. Is ((-28)/(-16))/(2/w) a multiple of 16?
True
Suppose -4*m + 12 = 0, -3 = -4*o + 3*m + 8. Suppose -2*x - x = -o*q + 121, -3*q - 3*x + 63 = 0. Is q a multiple of 23?
True
Let w(o) = -12 + 3*o + 13 - 2*o**3 + 6*o**2 + 2*o. Is w(-3) a multiple of 11?
False
Let g = -14 - -19. Is 10 a factor of g + 450/5 - -5?
True
Suppose -2*z - 5*d - 19 = 0, 4*d + 23 = z - 0*d. Suppose -42 = -z*y + 81. Is 9 a factor of y?
False
Let s(g) = 39*g**2 + g + 8. Does 48 divide s(3)?
False
Let q(z) = -4 - 4*z**3 + 4*z**3 - z**3 - 6*z**2 - 3*z. Let a be q(-5). Is 7 a factor of (0 - a)/(8/12)?
True
Let k(z) = -650*z**3 + z**2 - 3*z - 4. Is k(-1) a multiple of 65?
True
Suppose 0 = 5*m - j - 71, m - 4*j = -m + 14. Let k be (-1)/3 + (-545)/(-15). Suppose 13*g + k = m*g. Is 9 a factor of g?
True
Suppose 3*y + 2*i = 7, y + 5*i + 15 = -0*i. Suppose -y*p - 5*s - 25 = 0, -p + 2*s + 7 = -s. Is 24*2/(8 + p) a multiple of 8?
True
Let k(l) = -l + 73. Let f(x) = -x**2 - 25*x - 24. Let w be f(-24). Does 21 divide k(w)?
False
Suppose 0 = 4*g + 44 - 52. Is g/(-4) + -8 + 1234/4 a multiple of 24?
False
Let i = 1392 - 912. Suppose -a - i = -9*a. Does 9 divide a?
False
Let c = 7 - 27. Let d = c - -15. Does 13 divide (2/d)/(1/(-40))?
False
Suppose -4*p - 12 = -p. Let a(n) = 3*n + 13. Let t be a(p). Is 135/9 + (t - 4) a multiple of 11?
False
Let