-4*a + 5, k + y*a + 6 = 3*k. Let l(g) = g. Is 11 a factor of l(k)?
True
Let u = 184 - 114. Suppose 16 = 4*a, -7*w + 5*a = -2*w - u. Is 4 a factor of w?
False
Suppose 5*y - 892 = -57. Let r = -100 + y. Does 17 divide r?
False
Let b(u) = u**3 - 26*u**2 - 22*u + 9. Is 36 a factor of b(27)?
True
Suppose -2275 = -3*t - 2*t. Suppose 3*n - z - t = -3*z, 4*n - 2*z - 630 = 0. Suppose -4*a + 3*k = -283, -3*k + n = 2*a - 0*k. Is 14 a factor of a?
False
Let j be 7*9*(-10)/(-21). Is (36/20)/(9/j) a multiple of 3?
True
Let h(f) = 3*f + 28. Suppose -2*a + 15 + 15 = 0. Let t be h(a). Let p = -39 + t. Does 32 divide p?
False
Let a(q) = 32*q**3 + 3*q**2 + 3*q. Let o be a(3). Let k be o/14 - (-22)/(-77). Let t = -36 + k. Does 14 divide t?
True
Let t(h) = -69*h - 9. Let d(s) = s**3 - 5*s**2 + 6*s - 10. Let z be d(4). Is 17 a factor of t(z)?
False
Suppose 0 = -6*u - 3*u + 17082. Is 73 a factor of u?
True
Let g(l) = -61*l**2 + 1. Let m be g(1). Let d be 2/(-3*8/m). Suppose c - 2*o - 28 = 0, d*c + 0*o - 140 = -3*o. Is 7 a factor of c?
True
Let p(j) = j**3 + 6*j**2 - 15*j - 4. Let h be p(-8). Let c = h - -24. Is c a multiple of 6?
True
Suppose 3*x + 10 = 7. Let z(j) = j**2 - 2*j - 1. Let c be z(x). Suppose 192 = 2*v - 4*m, c*v = 3*v - 5*m - 87. Does 20 divide v?
False
Let t(f) = -12*f**3 + 2*f + 1. Let d be t(-1). Suppose -4*m + d*z + 148 = 6*z, 2*z = 5*m - 202. Is 19 a factor of m?
False
Let u = 51 + -117. Let f = u - -46. Let c = f - -52. Does 16 divide c?
True
Suppose -15*c + 5*c = 760. Let y = 163 + c. Is 13 a factor of y?
False
Let l be 19/3 - (-30)/45. Let r = l - 2. Suppose -2*i - 5*a = 12 - 56, 0 = -r*a. Does 11 divide i?
True
Let g(j) = 2*j**2 + 62*j + 64. Let x be g(-30). Let q = -58 - -183. Suppose -9 = x*t - q. Is t a multiple of 20?
False
Suppose 94 = -5*i + 6*i. Suppose 4*h - i = -z, z + h = -z + 188. Let j = z + -56. Does 13 divide j?
False
Let u = -34 - -24. Is 242/10 - (-2)/u a multiple of 6?
True
Suppose 5*p + 2*x = -2*x + 3, 3*p + 3*x = 0. Suppose 8 = 5*c + p. Does 3 divide c + (-1 + 7 - -1)?
False
Suppose -37*o = 20*o - 5985. Does 5 divide o?
True
Let k(g) = -g**2 + 2*g. Let w be k(-4). Let u be w/(-56) + (-22)/(-14). Suppose -5*v = u*m - 56, -4*m + 76 = v - 0*v. Is 9 a factor of m?
True
Suppose -2500 = -12*n - 8*n. Is 5 a factor of n?
True
Let i be 2/(-4) - (-24)/48. Suppose i = 8*a - 24 - 8. Is a a multiple of 2?
True
Let y(p) = p**3 - 3*p**2 - p - 8. Suppose 7*q - 4*q - 15 = 0. Is 6 a factor of y(q)?
False
Let q be (-3 - 0) + 2 + -1. Suppose -4*r + 3*r = -69. Is 25 a factor of r/(0 + 3) - q?
True
Let t(p) = 2*p**2 - 25*p. Let v be t(11). Let d = v - -49. Let l = d + -2. Does 2 divide l?
True
Let w be (-1)/3*-3 - 3/(-1). Is 12 a factor of (w/(-12))/(-2 + (-641)/(-321))?
False
Suppose 0 = -5*b + 3*s + 70, -b = 3*b + 3*s - 56. Let o be 3/(2 + (-4)/8). Suppose 3*l - b = o*l. Does 10 divide l?
False
Let l(x) = -x**2 - 11*x - 4. Let w be l(-11). Let v be 1*(5 + (w - -1)). Suppose 15 = -f - 2*f, 3*f = v*j - 97. Is j a multiple of 9?
False
Let k(t) = t**2 - t - 31. Let y be k(0). Let p = 224 - y. Is 15 a factor of p?
True
Let t(o) = o**2 + 5*o - 5. Let w be t(-8). Let n be w/(1/4*-1). Is -21*(n/28 - -1) a multiple of 10?
False
Let c(m) = 2*m**2 + 20*m - 8. Let b be c(-15). Suppose b = 4*a - 642. Does 25 divide a?
False
Let y = 8 - -31. Suppose h - y = 4*f, h + 3*f = 4*h - 153. Is 3 - (0/(-1) - h) a multiple of 13?
False
Let a(t) = t**3 - 25*t**2 - 16*t - 18. Does 82 divide a(28)?
True
Let v be -123*(3 + 2)/5. Let u = -39 - v. Does 12 divide u?
True
Suppose -4*q = -4, 2*d + 1 - 2 = 3*q. Suppose -6*p = -d*p - 232. Is p a multiple of 5?
False
Let o(t) = 6*t**3 - 2*t**2 - 16*t + 77. Does 11 divide o(4)?
False
Let n(f) = f**3 + 24*f**2 - 9. Does 50 divide n(-23)?
False
Let c = -7 + -68. Let v = 140 + c. Is v a multiple of 15?
False
Let u = 396 + -128. Let d = u - 154. Is 15 a factor of d?
False
Let k(j) = -5*j**2 + j**3 + 11 + 6*j - 6*j - 7*j. Let i be k(6). Suppose -5*p + i*w = -105, 5*p = -5*w + 3*w + 91. Is 4 a factor of p?
False
Let n(q) = 26*q + 268. Does 112 divide n(50)?
True
Suppose 15 + 18 = 2*r - 5*a, 0 = r - 4*a - 24. Is (-4 + 45/r)*(1 + 3) a multiple of 4?
False
Is (-4 + -3 + 10)/(3/172) a multiple of 43?
True
Is -1 + (2 - 0) - (-9 + -470) a multiple of 12?
True
Suppose 35 = 8*g - 3*g. Is g a multiple of 7?
True
Let c(n) = -n**2 + 14*n + 1. Let t be c(14). Let f(x) = 118*x + 5. Is f(t) a multiple of 28?
False
Suppose -5*d + 5*u = -5, -u + 3 = -3*d + 12. Suppose -3*v = 2*t - 4*t - 117, d*v + 4*t = 176. Is 41 a factor of v?
True
Suppose 5*q + 4 = -6, -5*q - 5 = 5*k. Is k/(-4 + (-762)/(-190)) a multiple of 19?
True
Let f(t) = 5*t**2 + 3*t + 106. Does 24 divide f(-10)?
True
Let l(j) = -16*j - 56. Does 4 divide l(-11)?
True
Suppose 5*h + 33 = -17. Let a(j) = -3*j - 21. Does 8 divide a(h)?
False
Let l = 26 - 22. Suppose 5*r - 105 = 2*q - l*q, 0 = 4*q. Does 2 divide r?
False
Suppose -33*p - 6*p + 32019 = 0. Does 24 divide p?
False
Suppose -5*b = -5*d + 7*d - 1032, 4*d - 2042 = b. Is d a multiple of 7?
True
Let q = -2268 - -4168. Is q a multiple of 10?
True
Let z = 108 - 108. Suppose z = 12*k + 6*k - 522. Is 11 a factor of k?
False
Suppose 4*n - 55 - 141 = 0. Suppose 7*t - 112 = n. Does 23 divide t?
True
Let c(y) = -51*y + 1. Let n be c(-5). Let h be (-6 + 676/(-8))*2. Let q = n + h. Is q a multiple of 40?
False
Is 23 a factor of (-1050)/750 - 137/(-5)?
False
Let m be (-1 + -3 - 15) + 1. Let w(h) = -9*h - 37. Does 25 divide w(m)?
True
Let l = -31 - -31. Suppose 4*b - 109 = -b - 2*j, -4*b + 4*j + 104 = l. Is b even?
False
Does 47 divide (-262200)/95*(0 + -1)?
False
Let d be 1*(1 + 1) + (-203)/(-1). Let b = -99 + d. Does 9 divide b?
False
Suppose -27 = -2*y - y. Let f be 2*(y/(-6) + -3). Let x = f + 43. Does 7 divide x?
False
Let h be ((-222)/9)/((-3)/18). Suppose h = -4*r + f, 5*r = -0*f + 5*f - 185. Let a = r + 58. Is 8 a factor of a?
False
Does 5 divide (39/4)/(30/200)?
True
Let p(o) = 4*o - 87. Let j be p(-6). Let b = j - -147. Does 19 divide b?
False
Does 6 divide (-414)/(-10) - (-3 - 136/(-40))?
False
Let g(w) be the third derivative of 2*w**4/3 + w**3/6 - 5*w**2. Let z be g(-5). Let x = z + 111. Is 12 a factor of x?
False
Let p(m) = 25306*m**2 - 2*m. Let l be p(-1). Does 22 divide l/96 + (-6)/(-16)?
True
Suppose 44 = 2*s + 16. Suppose s = 2*x + 4. Suppose h + 184 = x*h. Does 17 divide h?
False
Let d(x) = -x**2 - 11*x + 44. Let f be d(-14). Does 9 divide (1 - f/5)*45?
True
Suppose 2*v - 126 = v + 2*g, 4*v - 4*g - 500 = 0. Suppose t - v = -3*t. Let a = t - 19. Does 9 divide a?
False
Suppose -4*b = -j - 2, 4*j + 0 + 8 = 2*b. Does 15 divide j/(-5) + 3665/25?
False
Suppose -16*d + 28665 = -3*d. Is 62 a factor of d?
False
Let y be (-2)/(-10) - ((-46)/(-5) - 4). Is 7 a factor of 1248/65 + 1/y?
False
Suppose 0 = 19*n - 62 - 52. Does 17 divide 1902/8 + n + 184/(-32)?
True
Let t(q) = -5*q + 10. Let o be t(5). Is -643*1/(-5) + (-6)/o a multiple of 36?
False
Let z = -51 + 74. Is 9 + z - (-1)/((-2)/(-4)) a multiple of 10?
False
Suppose -5*h + 8 = -i, 0 = -5*i - 2*h + 7*h. Suppose -2*l + i*b - 3*b + 17 = 0, -5*b = -l + 36. Is 5 a factor of l?
False
Suppose 4*r - 2*r - 946 = 0. Suppose -5*u - 4*d = -r, -2*u - 3*d + 99 = -u. Is u a multiple of 31?
True
Let k be 4/12 + ((-274)/3 - -1). Let i = k - -157. Is i a multiple of 9?
False
Let s(c) = 227*c + 11. Let f be s(5). Is 1/(-2) + f/12 a multiple of 19?
True
Let n = 0 + 3. Let x = -30 + 36. Suppose -g + x*f - n*f = -53, -2*g + 116 = -f. Is g a multiple of 17?
False
Let v = 1140 + -919. Is 38 a factor of v?
False
Let z be -3 + 4 + (-2)/(-4)*2. Suppose z*h = 3*f - 106, -7*h + 10*h - 3 = 0. Is f a multiple of 6?
True
Let q = 798 + -572. Is q a multiple of 3?
False
Let k(p) = 13*p**3 + 6*p**2 + 3*p. Is 23 a factor of k(3)?
True
Let t(r) = 19*r + 2. Let l be t(10). Let h = l - 112. Suppose 0*a - 2*a + h = 0. Is 20 a factor of a?
True
Let k(m) = -7*m**2 + 2*m - 248. Let r(v) = 3*v**2 - v + 124. Let g(z) = 2*k(z) + 5*r(z). Is g(0) a multiple of 23?
False
Let b be 0/(-5) + 95*1 + 0. Let n = -89 + b. Does 4 divide n?
False
Let b(p) = 2*p**3 + 9*p**2 - 3*p - 8. Let y be b(-4). Let f = -18 + y. Is f a multiple of 2?
True
Let g be (-54)/(-90) - (-44)/10. Suppose 3*l - k - 566 = 0, 0*l - 5*k = g*l - 950. Does 63 divide l?
T