 16?
False
Suppose 4 = 3*j - 2. Let r = 4 - j. Suppose -52 = l - r*l. Is 22 a factor of l?
False
Suppose 6*b - 4*w + 282 = 11*b, 4*b = -4*w + 228. Is 21 a factor of b?
False
Let x(j) = -j - 3. Suppose -7*q + 3*q = -32. Let p be x(q). Let b = p - -34. Is 9 a factor of b?
False
Suppose a + 11 - 55 = 0. Is 11 a factor of a?
True
Suppose 0 = -3*p - 5*a + 566, 2*p - 3*a = -136 + 488. Does 33 divide p?
False
Suppose -n - 2*n = -5*x + 300, -x + 4*n + 60 = 0. Let f = -37 + x. Is 13 a factor of f?
False
Let x be 59/((-3)/24*-2). Does 21 divide (-3)/((-12)/x) + 4?
True
Suppose 2*b + 3*b = 0. Suppose 0 = -5*m - b*q - 3*q + 3, 5*m = -2*q + 2. Suppose m*z = -2*z + 58. Is z a multiple of 11?
False
Let d be (1 + 4)*(-4)/(-10). Is 6 a factor of d/4 + 360/16?
False
Let d = 29 - 12. Let f = d - 12. Suppose f*p = -1 + 21. Is 2 a factor of p?
True
Let v = -40 - -55. Is v a multiple of 5?
True
Let n(h) = h**2. Let u(i) = -i**3 - 7*i**2 + 7*i + 5. Let p be (-3)/9 - 8/12. Let s(k) = p*n(k) - u(k). Is s(-6) a multiple of 18?
False
Let g be ((-350)/(-2))/1 + 2. Suppose -3*o + g = -8*m + 4*m, 5*m = -2*o + 141. Is 21 a factor of o?
True
Suppose 0 = -t - 2*y - 4, -t + 4*y = 2*t - 28. Suppose -t*q + 40 = -4*m, -5*q + 80 = -q + 4*m. Is 12 a factor of q?
False
Let f(x) = 5 + 4*x - 2*x**2 + 0*x + 0*x**2. Let i be f(4). Let n(m) = m**3 + 10*m**2 - 14*m + 10. Is n(i) a multiple of 12?
False
Suppose -3*u + 54 = -2*f, 4*f + f - 36 = -2*u. Does 18 divide u?
True
Suppose 0 = 5*y - a + 29, 0 = 2*y + 5*a - 4 - 6. Let s(x) = 7*x**2 - 2*x - 6. Let c be s(y). Let q = c + -114. Does 23 divide q?
False
Let h = 75 + -41. Suppose -w = -3*p + h, -2*p + w + w = -20. Is p a multiple of 12?
True
Suppose 3*z + 7 = 1. Let c(s) = 4*s - 7. Let v be c(5). Let h = v - z. Is h a multiple of 6?
False
Suppose 14*v = 7*v + 77. Is v a multiple of 2?
False
Suppose -3*y = -2*y - x - 227, 0 = 3*y - 4*x - 682. Is 54 a factor of y?
False
Suppose -3*c + 12 = -2*q, 5*c + q - 6*q - 20 = 0. Suppose c*m - 72 = -0*m. Suppose 3*u - 4*o - 1 - 27 = 0, -u = 3*o - m. Does 6 divide u?
True
Let q(w) = 50*w + 8. Does 43 divide q(5)?
True
Suppose 104 + 66 = -5*z. Let y = z + 24. Let g = 0 - y. Is g a multiple of 5?
True
Let i be -3 + 1*(0 + -2). Let q be ((-4)/i)/((-12)/(-90)). Suppose 4 = n - q. Is 10 a factor of n?
True
Suppose 0 = -5*z - 2*b + 280, 3*b + 88 = 2*z - b. Is z a multiple of 54?
True
Suppose -75 = -4*p + 133. Does 14 divide p?
False
Let v = 49 - -71. Does 14 divide v?
False
Let p(o) = -2*o**3 - 2*o**2 - 7*o - 4*o**2 + 2*o**2 - 4. Let r be p(-4). Suppose 5*d + 2*c = 109, 5*c - r = -4*d + 3*c. Does 10 divide d?
False
Let g = -56 - -119. Does 5 divide g?
False
Suppose 3*x = -46 + 178. Suppose 268 + x = 3*a - 4*d, 3*a - 312 = -5*d. Is 22 a factor of a?
False
Let w(c) = c**3 + 6*c**2 - 6*c + 7. Let h(n) = -n - 3. Let k be h(4). Let t be w(k). Suppose -r = -t - 5. Is r a multiple of 3?
False
Let j = 27 - 14. Does 8 divide j?
False
Suppose 4*n - 5 - 3 = -4*v, v + 22 = 5*n. Let q(g) = 5*g**2 - g. Is 5 a factor of q(v)?
False
Let q(d) = d**3 - 16*d**2 + 18*d - 13. Is q(15) a multiple of 32?
True
Let t(r) = -25*r - 7. Let v be (-5 - -7) + -4 + -2. Is 26 a factor of t(v)?
False
Suppose -2*m = -3*m + 66. Is 19 a factor of m?
False
Suppose 0 = 2*p - 4*p - 3*v + 15, 2*p + 9 = 5*v. Suppose 0*q = -p*q + 60. Is 7 a factor of 1*q + (-2 - -1)?
False
Let s(w) = w**2 + 6*w - 6. Let p(n) = -n**2 - 6*n + 7. Let t(j) = -5*p(j) - 4*s(j). Let f be t(-9). Suppose 5*m - f = 4*m. Does 12 divide m?
False
Let y(q) = 4*q**2 - q - 2. Is y(3) a multiple of 28?
False
Let q be -9 - (-1 - -2)*-1. Let h be (6/q)/((-4)/16). Suppose h*x = -25 + 67. Is 14 a factor of x?
True
Suppose r - 1 = 17. Is r a multiple of 6?
True
Suppose -s - 302 = -5*d, -d - 22 = s + 250. Is 9 a factor of 2/(-11) - s/11?
False
Suppose 373 = -0*w - 4*w - 5*l, -2*w = 3*l + 187. Is w/(-6) - (-8)/12 a multiple of 4?
True
Let s(y) = 8*y + 29. Is s(8) a multiple of 31?
True
Suppose 4*c - 13 = 2*a + 5, 0 = 5*c - 4*a - 21. Suppose 5*v + 3*o - 340 + c = 0, 5*v - 325 = -o. Is 16 a factor of v?
True
Let s = -125 - -75. Let f = -30 - s. Does 11 divide f?
False
Suppose -356 = 5*a - 9*a. Is 9 a factor of a?
False
Let g = 27 - 3. Is 12 a factor of g?
True
Let m(x) = -x + 1. Let i be m(5). Let g = i + 10. Is (15/g)/(-1)*-2 a multiple of 5?
True
Suppose -95 = -c + 30. Suppose 2*p + 0 = 6. Suppose -49 = -p*u + c. Does 21 divide u?
False
Let h = -48 + 123. Does 15 divide h?
True
Let q(s) = -4*s. Suppose -28 = 4*h + 2*m, -3*h - m - 30 = -4*m. Is 6 a factor of q(h)?
False
Let f be ((-70)/(-15))/((-4)/(-30)). Suppose -2*c - f = -4*a + a, 0 = -3*a - 3*c + 45. Is a a multiple of 3?
False
Let m(l) = -l**2 + 19*l - 6. Is m(14) a multiple of 8?
True
Suppose -5*s - 4*d = -40, s + 5*d - 3*d - 14 = 0. Suppose -101 = -s*a + 195. Does 14 divide a?
False
Let b(k) = 11 - 7*k - 3 + 6*k. Let j be b(6). Suppose u + p - 11 = 0, u - 2*p = -0 + j. Does 8 divide u?
True
Let t(p) = -p**3 + 5*p**2 - 5*p + 5. Let q be t(5). Let h = q + 33. Suppose -c - h = -2*c. Is c a multiple of 13?
True
Let n(c) = -c + 2. Let o be n(3). Let d be (3 - -5)/(o/(-17)). Suppose 4*r = -2*j + 46, -6*j + j = 3*r - d. Does 19 divide j?
False
Let s(x) be the second derivative of x**6/360 + x**5/60 - x**4/6 - x**3/2 + 2*x. Let t(u) be the second derivative of s(u). Does 3 divide t(-4)?
False
Is (-1260)/(-25) - 2/5 a multiple of 22?
False
Let t(j) = 7*j - 32. Is 20 a factor of t(16)?
True
Let j(q) be the third derivative of -1/8*q**4 + 1/6*q**5 + 0*q - q**2 - 1/6*q**3 + 0. Is 19 a factor of j(-2)?
False
Let b(s) = -s**2 - s. Let z(a) = 5*a**2 + a + 20. Let n(l) = 4*b(l) + z(l). Does 20 divide n(8)?
True
Suppose -3 - 12 = 5*y. Is 28 a factor of 0 - (-53 - 0) - y?
True
Let v(s) = -s**2 + 4*s - 2. Let m be v(4). Let y(x) be the third derivative of -5*x**4/12 - x**3/6 - x**2. Does 12 divide y(m)?
False
Suppose -4*o = 5*t - 133, -4*o = 4*t + o - 101. Is t a multiple of 29?
True
Suppose 0 = -2*l - 0 + 14. Suppose 49 = 3*s + l. Is 10 a factor of s?
False
Let w = 0 - 5. Let k(z) = -z - 5. Let f be k(w). Suppose 2*t - 1 - 17 = f. Is t a multiple of 3?
True
Suppose 5*n - 3*n - v = 18, v - 6 = -n. Let y = 13 + n. Is 18 a factor of y?
False
Let s = -11 + 17. Suppose p = 4*n - 10, -3*p = -3*n - n + s. Suppose 3*w - 5*h = -0*h + 73, 33 = 3*w + n*h. Is 8 a factor of w?
True
Let r(i) = -3*i**3 - 4*i**2 - 1. Does 14 divide r(-3)?
False
Let b = 1 + 13. Let r = 23 - b. Is 9 a factor of r?
True
Let l = 9 + -7. Let w = 12 - l. Is 5 a factor of w?
True
Let p(c) = 2*c**2 + 10*c - 2. Let t(h) = -h**3 + 9*h**2 - 7. Let u be t(9). Is p(u) a multiple of 13?
True
Suppose -5*y + p + 8644 = -2*p, 3*p + 6917 = 4*y. Is 4/6 - y/(-33) a multiple of 9?
False
Suppose 0 = -4*y - 5*p + 193 - 574, 371 = -4*y - 3*p. Let f = -61 - y. Is f a multiple of 17?
False
Let i(l) = l**3 + 3*l**2 - 2*l + 3. Let m be i(-3). Let d be m/15 + (-154)/(-10). Let b = 2 + d. Does 9 divide b?
True
Suppose -5*n + 6 = -4. Suppose -n*w - 9 = w. Let j = w + 19. Is j a multiple of 8?
True
Let a(z) = z**2 + z + 1. Let l be a(0). Is 9 a factor of -3*l/((-1)/6)?
True
Suppose 0 = 5*i + k - 127, -2*i + 6*k = 3*k - 44. Let a(h) = h**3 - h**2 - 2*h + 3. Let b be a(3). Let q = i + b. Does 16 divide q?
False
Suppose 346 + 248 = 6*f. Is f a multiple of 11?
True
Let p(a) = -8*a + 2. Let v be p(2). Is 32 a factor of (-903)/v - (-2)/(-4)?
True
Let d be (-4)/22 - 105/(-33). Let y(b) = 9 - 4*b**d - 2*b + 3*b**3 - 4 - 4*b**2. Is y(-4) a multiple of 7?
False
Suppose -3*z - 136 = -7*z. Is z a multiple of 13?
False
Let t be 239/3 + (-1)/(-3). Let o = -53 + t. Does 12 divide o?
False
Suppose 2*i - 35 = -5. Is (-96)/(-18)*i/2 a multiple of 20?
True
Let b = 24 - 14. Suppose -6*c = -c - b. Suppose -3*x - p + 14 = -2*x, 4*p + 16 = c*x. Does 8 divide x?
False
Let c(m) = 3*m**2 + 9*m - 11. Let f be c(7). Suppose -4*o + f = -5*s, s = -3*o + 66 + 107. Does 28 divide o?
True
Suppose 0*b + 2*w = -5*b + 77, -4*b - w + 61 = 0. Let m be (-2)/((8/(-146))/2). Suppose -5*v + 171 = -4*g - b, -3*g - m = -2*v. Does 19 divide v?
True
Suppose 2*o - o + 4*w - 64 = 0, 2*o - 140 = 4*w. Does 17 divide o?
True
Let y(o) = 4*o**2 - o - 3. Let i(h) = 5*h**2 - 2*h - 3. Let k(g) = -3*i(g) + 4*y(g). Is 16 a factor of k(-7)?
True
Let z(p) = -2*p**2 + 9*