6/(-9))/2. Let n be (19 + (-2 - b))/2. Is k(n) a multiple of 22?
False
Let z(f) = f**3 + 13*f**2 - 20*f + 7. Let y be z(-14). Suppose 0 = k - y + 23. Is 34 a factor of k?
True
Suppose 3*p - 5*a = -56, -5*p = -4*p - a + 16. Let m = -4 - p. Does 5 divide m?
False
Let r = -5 - -10. Suppose -2*s = r*h - 3*s - 50, 3*h = s + 32. Let w = h - -4. Does 13 divide w?
True
Suppose -3*u + 33 = -9. Is 4 a factor of u?
False
Suppose -5 = -5*t + 10. Suppose 4*p - z + 15 = 0, 0 = 5*p - t*z + 6 + 4. Is 5*5 - (-10)/p a multiple of 9?
False
Let v(m) be the third derivative of -m**4/6 + 7*m**3/6 - m**2. Is 17 a factor of v(-11)?
True
Let d(i) = i**2 + 7*i + 11. Does 35 divide d(-10)?
False
Let b be 7/(-7)*(-2)/(-2). Does 13 divide (-392)/(-10) + b/5?
True
Suppose 7*z = 4*z + 24. Suppose w - 74 = -2*c, 26 = c + 3*w - z*w. Is 13 a factor of c?
False
Let f = 7 + 0. Let q(s) = s**2 - 7*s + 3. Let w be q(f). Suppose -w*l = -l - 18. Is l a multiple of 5?
False
Let k(t) be the first derivative of 1 + 2/3*t**3 - t - 3/2*t**2. Does 13 divide k(-2)?
True
Suppose 3*c - 299 = -4*p, 0 + 2 = -2*p. Is c a multiple of 12?
False
Let k(v) = 10*v - 2. Let u be k(8). Let s = u + -37. Is 18 a factor of s?
False
Let z = 9 - 5. Let x = -14 + 19. Suppose v - 5 = -l, -z*l - 4*v = -3*l - x. Is l a multiple of 3?
False
Suppose 3*f - c = -165, -f - 2*f + 2*c = 165. Let j(l) = l**2 + 11*l - 4. Let r be j(-6). Let u = r - f. Does 17 divide u?
False
Let c be (-10)/(-30)*(-618)/4*2. Suppose -3*h + 94 + 51 = -2*n, 0 = n + 4*h + 78. Let b = n - c. Does 8 divide b?
False
Let d = 128 - 74. Does 27 divide d?
True
Suppose -7 = z - 6*z + 4*t, 22 = 4*z + 5*t. Does 15 divide (-1 - 55/z)*-3?
False
Let v = 44 + -42. Suppose 6*f + 15 = 4*b + 3*f, 3*f = -2*b + 21. Let m = b + v. Is m a multiple of 6?
False
Let p = -5 + 4. Is 7 a factor of (p + 12 - 3)/1?
False
Let k = 37 - 23. Is 7 a factor of k?
True
Let x = -12 + 23. Is x even?
False
Let n(i) = -i**2 - 9*i - 14. Let t be n(-6). Let l be (-9)/2*20/(-2). Suppose -t*a + l = a. Does 9 divide a?
True
Let t(h) = 11*h + 3. Let w be t(7). Suppose 0 = 6*p - 2*p - w. Is p a multiple of 10?
True
Let d be (0 - (-4)/10)*10. Is (-32)/(-6) - d/(-6) even?
True
Let k = -20 - -29. Is 3 a factor of k?
True
Let m(k) = -34*k + 4. Does 7 divide m(-1)?
False
Suppose 0 = -3*m + m + 4. Let o(l) = -l**3 + 2*l**2 + 1. Let s be o(m). Let w = s + 7. Is w a multiple of 4?
True
Let i(p) be the third derivative of -p**6/120 + p**5/10 + p**4/6 + 2*p**2. Is 8 a factor of i(6)?
True
Suppose 0 = 2*w - x + 13, 3*w - 5*x = -2*x - 21. Let d(r) = -9*r - 6. Does 12 divide d(w)?
True
Suppose -14*r - 3*r = -221. Is 2 a factor of r?
False
Suppose 3*n = v - 38, -1 - 5 = 2*n. Does 8 divide v?
False
Let w = 382 - 247. Suppose -5*f + a = -w, -15 = 3*a - 0*a. Is f a multiple of 8?
False
Let w = 36 - 21. Is w a multiple of 7?
False
Let q = -27 - -6. Let t = -10 - q. Let p = t + -5. Is 3 a factor of p?
True
Is 26*1 + 0/8 a multiple of 26?
True
Suppose 103 + 17 = 3*t. Does 8 divide t?
True
Suppose -5*o = 31 - 291. Does 29 divide o?
False
Let b = -33 + 87. Is 18 a factor of b?
True
Let n be (-2)/(-1) + -14 + -3. Does 14 divide (-212)/(-10) + 3/n?
False
Let s = 51 + 60. Suppose 0*y = -3*y + s. Is y a multiple of 11?
False
Suppose -3*j + 6 + 0 = 0. Suppose -5*h + 180 - 65 = 5*k, -k - j*h = -22. Does 24 divide k?
True
Let u = 3 - -3. Is 3 a factor of u?
True
Suppose f + 40 = -3*b + 2*f, -3*f + 45 = -4*b. Let h = b - -18. Does 2 divide h?
False
Is 36 a factor of -1 - (-5)/7 - (-7874)/217?
True
Suppose -7 = i - 1. Let r be (1 + i)*(-6 - 4). Let d = r + -10. Is d a multiple of 11?
False
Suppose p + 357 = 3*h, -2*h + p + 237 = -0*h. Is h a multiple of 4?
True
Suppose 4 = -2*a, 5*d = -0*d - 5*a + 70. Let s = d - 7. Is 6 a factor of s?
False
Let k(b) = -b + 10. Let n be k(11). Let z be -66*1*n/2. Let a = z - 18. Is a a multiple of 11?
False
Suppose -4*x + 7 = -2*j - 1, -20 = -3*x - 2*j. Suppose -43 = -x*y - 11. Is y a multiple of 8?
True
Let a = 4 + -6. Is 79/4 + a/(-8) a multiple of 10?
True
Let j(g) = g**2 - 4*g. Let q be j(3). Is (108/(-28) + q)*-7 a multiple of 16?
True
Suppose -3*c = -2 - 19. Suppose 5*r = 2*s - 103, c*s = 2*s + 5*r + 235. Is s a multiple of 20?
False
Suppose -10*h + 6*h = 16, -426 = -2*n - h. Is n a multiple of 13?
False
Suppose -12 = -17*q + 14*q. Is 2 a factor of q?
True
Let x(y) = 0*y + y - y**3 + 57 - 9. Is 12 a factor of x(0)?
True
Let r be (2 + (-9)/2)*2. Let g be 5*r*-1 + 0. Let u = g - -3. Does 19 divide u?
False
Suppose -a - 3*o = -99, -3*a + 2*a + 102 = 2*o. Is 18 a factor of a?
True
Suppose m + 4*j - 54 = -m, 0 = 4*m + 3*j - 113. Suppose 2*o + 3*o + 3*n - m = 0, -7 = -o - n. Suppose 0 = x - 0 - o. Does 4 divide x?
True
Let w(s) = 13*s**2 - 1. Let r be w(1). Suppose 4*b = b + r. Suppose l - b*f = -3*f + 22, -3*l + 68 = -4*f. Is 10 a factor of l?
True
Let u(o) be the third derivative of -o**6/60 - o**5/15 + o**4/6 + 7*o**3/6 + o**2. Let d be u(-5). Let q = -92 + d. Is q a multiple of 17?
False
Let t = 33 + -47. Let c(f) = f**3 + 14*f**2 - f - 4. Is c(t) a multiple of 6?
False
Does 9 divide 4/(-2)*(-162)/12?
True
Let i(h) = 2*h**3 + 2*h**2 - h + 6. Is 39 a factor of i(3)?
False
Let o be (3/(-5))/((-2)/10). Let n(t) = -5 + 0*t + o + 0*t + t. Does 4 divide n(6)?
True
Suppose 28*u - 26*u - 38 = 0. Does 4 divide u?
False
Let s be 2 + (-136 + 0)*-1. Let x = s - 17. Suppose -3*z - 2*f = -86, -5*z + 18 + x = -f. Is z a multiple of 14?
True
Let f = -16 - -10. Let j = f + 8. Does 20 divide ((-8)/3)/(j/(-15))?
True
Let f be ((-74)/4)/((-3)/6). Let c(d) = d - 2. Let g be c(5). Suppose 8*t - g*t = 3*j - f, 2*t = 4*j - 54. Is 14 a factor of j?
True
Let s = 138 + -82. Is 27 a factor of s?
False
Is ((-74)/(-6))/(2/6) a multiple of 8?
False
Let d = -187 + 466. Does 31 divide d?
True
Suppose 5*i - 1686 + 377 = -2*l, -2*l + 787 = 3*i. Is i a multiple of 22?
False
Let v(r) = r**3 - 13*r**2 + 12*r - 3. Let f be v(12). Is 14 a factor of 8/(f + (-92)/(-28))?
True
Suppose -5*p + 10 - 55 = 0. Let b = 10 - p. Let l = 51 - b. Is l a multiple of 21?
False
Does 11 divide ((-110)/(-25))/(1/10)?
True
Let q(v) = v**2 - 8*v - 7. Let g be (-7)/(-35) + 108/10. Is 9 a factor of q(g)?
False
Let r = -228 + 358. Suppose -r = -3*q + 4*f, 0 = -2*q + q + f + 44. Is 12 a factor of q?
False
Suppose 2*g = 4*d + 217 + 19, 0 = -3*g + 4*d + 350. Suppose -g = -0*n - 3*n. Is 12 a factor of n?
False
Let w = -207 - -366. Is w a multiple of 44?
False
Suppose 0 = -3*b + 2*b + 137. Let a = -95 + b. Is a a multiple of 9?
False
Let l be 22/6 + 1/3. Let m(a) be the first derivative of a**4/4 - a**3 + a**2 - 5*a + 4. Is m(l) a multiple of 14?
False
Suppose 2 + 2 = -4*i, -4*o - 2*i + 382 = 0. Is o a multiple of 8?
True
Suppose 3*x - 4*r - 4 = 6, -3*x - 4*r + 2 = 0. Let a be (-1 + 3 - 0)/x. Does 17 divide a - -30 - (1 - -2)?
False
Let d(j) = 26*j + 1. Let m be d(-1). Is 12 a factor of (-5 - -4)/(1/m)?
False
Let x(d) = d**3 - 6*d**2 + 5*d + 2. Let h be x(5). Suppose -p + h*p = 31. Is p a multiple of 10?
False
Let b(o) = -116*o**3 + o**2 + o. Is 10 a factor of b(-1)?
False
Let q(t) = t**3 - t**2 - 5*t + 6. Let w be q(4). Does 13 divide w*1 + (0 - 3)?
False
Suppose 2*w = -2, -3*s - w + 107 + 60 = 0. Let n = 78 - s. Does 6 divide n?
False
Suppose 2*w = -1 + 65. Does 16 divide w?
True
Let a = 17 + -19. Let q(s) = 3*s**2 - 3 + s**2 + 1. Is 14 a factor of q(a)?
True
Suppose 2*d + 30 = 5*d. Is 5 a factor of d?
True
Suppose -2*m + 60 = 3*m. Suppose -20 = -5*p + 3*q, 3*p + 4*q - m = 3*q. Suppose -5*l = p*a - 104, 2*a + 126 = 4*l + 22. Is l a multiple of 12?
True
Suppose 4*o = 6*o + 6. Let h be 3/o*(0 + 7). Does 9 divide (4 + h)/((-2)/6)?
True
Suppose -2*b - 5*v - 24 = -176, 434 = 5*b - v. Let h = 102 - 154. Let g = b + h. Does 12 divide g?
False
Let v(n) = -n**2 - 6*n. Let d be v(-5). Suppose -6 = -6*h + d*h. Does 4 divide h?
False
Let p be 1*3 + (2 - 0). Suppose 2*i - p - 9 = 0. Let o = 13 + i. Does 15 divide o?
False
Let g = 2 + 0. Let k = g - -1. Suppose 0 = 2*s + k*s - 10, -4*a + 74 = 3*s. Is 17 a factor of a?
True
Suppose -7*q = -3*q + 12. Let a(l) = 4*l**2 + l. Let b be a(q). Suppose -g - w = -0*g - b, 2*g - 4*w = 42. Is 17 a factor of g?
False
Let f = -92 + 121. Does 6 divide f?
False
Let m = 41 + -23. Is m a multiple of 18?
True
Suppose f - 5