+ 4*k - 2. Let a be y(3). Is 5/15 - a/3 a multiple of 8?
True
Let y = -4 - -1. Does 12 divide y*53/(-3) + 3?
False
Suppose y + 9 = 2*y. Let q(b) = 3*b + 7. Let h be q(y). Suppose 4*n + 5*z = 136, h = 3*n - 2*n - 2*z. Does 22 divide n?
False
Let v(t) be the second derivative of t**5/20 - 2*t**4/3 + t**3/3 + 4*t. Is 7 a factor of v(8)?
False
Suppose 2*p + 0*p + 3*i + 20 = 0, -p - 9 = i. Let y(d) = d**3 + 6*d**2 - 10*d - 7. Is y(p) a multiple of 14?
True
Suppose -3*l + 12 = -0*l. Suppose l = -2*i + 2. Is i + 18 - 2/2 a multiple of 6?
False
Suppose -5*i = -3*i - 8. Let n be 34/4 + i/8. Suppose -2*v + n = -7. Is 8 a factor of v?
True
Suppose 2*v - 3*b = -3*v + 63, 0 = 5*v + 5*b - 95. Let i be (20/v)/(2/(-3)). Is (-35)/(-1) + (1 - i) a multiple of 13?
False
Suppose -5*i + 4*n - 218 = 3*n, 3*i - 5*n + 122 = 0. Let t = 19 - i. Is 21 a factor of t?
True
Let y(r) = -r + 3*r - r**3 + r**2 + 0*r**2. Let n be y(-4). Suppose 3*g + 0 - n = 3*i, 5*i = -3*g + 40. Is 7 a factor of g?
False
Let u(q) = 3*q - 10. Let s be u(8). Let y = -8 + s. Is y a multiple of 2?
True
Let a(w) = 2*w**3. Suppose 2*d + 9 = -2*x + 21, 5*x - 3 = 4*d. Is 18 a factor of a(d)?
True
Let t = -59 - -101. Suppose 2*i = -4*a + 2*a + t, 4*i = -3*a + 64. Does 6 divide a?
False
Let m = 26 + 165. Does 54 divide m?
False
Let j(c) = 3*c**2 + 5*c - 4. Is 32 a factor of j(5)?
True
Suppose -4*z + 3*n = 2*n - 17, -3*z - 5*n + 7 = 0. Let w = -22 - -23. Let k = z + w. Is 3 a factor of k?
False
Suppose 4*o = -5*v + 4*v + 80, 0 = -4*v - 2*o + 376. Is v a multiple of 24?
True
Suppose 8*m - 970 = 254. Does 46 divide m?
False
Let z(s) = 7*s**2 - 5 - 6*s**3 + s + 0*s**3 + 5*s**3 - 2. Is z(5) a multiple of 16?
True
Let j(r) be the third derivative of 0 + 0*r + 2*r**2 - 2/15*r**5 + 3/8*r**4 + 1/120*r**6 - 3/2*r**3. Is j(7) a multiple of 4?
False
Suppose -6*p + 108 = -612. Does 40 divide p?
True
Suppose 0*s = 2*s + 118. Let o = s + 82. Is o a multiple of 10?
False
Let i(b) = 11*b + 31. Does 12 divide i(12)?
False
Suppose -3*i + 7*k = 2*k + 39, -4*i - k - 52 = 0. Suppose -5*g - 7*a + 149 = -3*a, 3*g - 2*a = 107. Let y = i + g. Is 10 a factor of y?
True
Let y = 6 + -4. Let u be (2 - (y - -1)) + 1. Suppose u*b = -4*h + 4*b + 36, -b + 3 = 0. Is h a multiple of 12?
True
Is 17 a factor of (124/10)/(17/340)?
False
Let d(t) = t**3 + 7*t**2 + 7*t + 8. Let o = -22 - -16. Let n be d(o). Let b(j) = 2*j**3 - j**2 + 2*j. Is b(n) a multiple of 8?
True
Let o(f) = f**3 - 6*f**2 + f - 4. Let s be o(7). Suppose -4*b + 45 = -3*q - s, -b + 4*q = -8. Is 12 a factor of b?
False
Let k(i) = -i**3 + 4*i**2 - 4*i + 5. Let l be k(4). Let o = -8 - l. Suppose 13 = o*t + 4*b, -2*t - 3*b - 20 = -4*t. Does 3 divide t?
False
Let f(q) = 22*q**2 - 3 - 4*q + 2 + 4*q. Does 11 divide f(-1)?
False
Suppose 232 = -v - 3*v. Let s = v - -87. Is s a multiple of 10?
False
Let j = -48 + 134. Is 10 a factor of j?
False
Suppose -2*n + 3*o = 265, n - 9 = -5*o - 148. Does 17 divide n/(-8) - 1/(-4)?
True
Is ((-2)/(-4)*3)/(111/5624) a multiple of 11?
False
Let o be (-24)/10*(-160)/12. Suppose -2*f - 12 + o = 0. Is f a multiple of 10?
True
Let u(j) = 2*j**3 - 13*j**2 - 3*j - 5. Is u(8) a multiple of 13?
False
Is 21 a factor of -2 + (-3 - -3) - -107?
True
Suppose 2*a = 100 + 140. Is 24 a factor of a?
True
Suppose u - q - 30 = -u, 2*u + q - 26 = 0. Is u even?
True
Suppose 2*x - 6*a + 2*a = -34, -a + 5 = 0. Let w be 3*((-16)/(-12))/4. Let v = w - x. Does 8 divide v?
True
Let j = 57 + -42. Is j a multiple of 4?
False
Let d = 194 - 30. Suppose d = 4*t + 2*a, 0*a = 5*t + a - 202. Is t a multiple of 20?
True
Suppose -1 = -3*x + 8. Suppose 2*k + 0 = -x*q + 53, 2*k - 5*q - 29 = 0. Is 14 a factor of k?
False
Let c(q) = 39*q + 10. Is 44 a factor of c(2)?
True
Let i = 4 - 2. Suppose 3*u + 4 = -i. Let n = u - -9. Does 3 divide n?
False
Let m = -14 + 32. Does 14 divide m?
False
Let l(x) = 24*x - 1. Let w be l(1). Suppose -3*o = -8*o + 15. Suppose -6*b = f - o*b - w, -3*b = -5*f + 25. Does 3 divide f?
False
Suppose 5 = 4*d - 3*h - 19, 5*h = 0. Let b(o) = o**3 + o**2 + o + 1. Let l be b(-1). Suppose -2*x + 6 + d = l. Is 5 a factor of x?
False
Let j = 60 + -38. Is 11 a factor of j?
True
Suppose -4*i = -5*p - 179, 3*i - p - 84 = 42. Does 4 divide i?
False
Let x(n) = -n**3 + 4*n**2 + 8*n - 5. Let h be x(5). Let b(d) = d + 8. Let t be b(-6). Suppose -t*k = -7*k + h. Does 2 divide k?
True
Let y = 47 + 16. Let x = 89 - y. Suppose -2*o + 9 = -3*l - 7, 0 = 3*o - 5*l - x. Does 2 divide o?
True
Let j(g) = 2*g**2 - 8*g. Is 12 a factor of j(6)?
True
Let u = 153 + -41. Is 14 a factor of u?
True
Let x(u) = -u**2 + 17*u. Does 8 divide x(15)?
False
Let g be ((-2)/(-4))/(5/120). Is 10 a factor of (204/16)/(g/32)?
False
Suppose -47 = 4*h - 151. Let u = h + 13. Is 13 a factor of u?
True
Let y(v) = v**3 - 5*v**2 + 2*v - 2. Let b be y(5). Let a be (6/b)/((-6)/24). Let u = 7 - a. Is u a multiple of 6?
False
Suppose 0 = -5*s - 2*f + 114, 4*s + 3*f - 33 - 54 = 0. Is s a multiple of 12?
True
Let k = -17 - -19. Is ((-1)/(-1))/(k/100) a multiple of 25?
True
Suppose 3*w + w - 8 = 0. Suppose -4*s + 12 = 4*r, w*r - s = r + 13. Is 8 a factor of r?
True
Suppose c - 25 = 2*m - 7*m, 0 = c - 2*m + 3. Suppose -117 = -c*v + 103. Does 11 divide v?
True
Is 30 a factor of (2*(74 - 3))/1?
False
Let s(b) be the third derivative of -b**6/30 + b**5/30 - b**3/6 - 2*b**2. Let v(w) = w**3 + 8*w**2 + w + 7. Let m be v(-8). Is 2 a factor of s(m)?
False
Let n = -2 - -2. Suppose -8 = -2*m, -2*a = -6*a - 4*m + 32. Suppose 0 = -3*u - u - a*t, -5*u + t + 24 = n. Is 2 a factor of u?
True
Let w be 2 + -1*(-2 + 1). Let m(t) = -4*t**3 - 5*t**2 + 6*t - 4. Let o(c) = -c**3 - 2*c**2 + 2*c - 1. Let p(r) = 2*m(r) - 7*o(r). Is p(w) a multiple of 2?
True
Let c = 78 + -27. Let x = 76 - c. Is 14 a factor of x?
False
Let n = 106 + -50. Is n a multiple of 14?
True
Let j be 22 + 3/(-1) + 2. Let q = j + -4. Does 7 divide q?
False
Suppose 3*n - 118 = -5*i - 0*n, 3*i + 2*n = 71. Let a = i + -8. Let b = -7 + a. Is 4 a factor of b?
True
Let t = -7 - -5. Is 5 a factor of t/4 + 17/2?
False
Suppose 21 = 5*g + 81. Let k = g - -26. Does 7 divide k?
True
Suppose -6*l + 2*l = -200. Is 50 a factor of l?
True
Let r = -29 + 80. Is 7 a factor of r?
False
Let q(v) = 5*v. Let h(m) = m**3 + 6*m**2 + 5*m + 4. Let s be h(-5). Suppose -5*g + 20 = 0, -2*b + 4*g + s = 16. Is q(b) a multiple of 5?
True
Let c(r) be the third derivative of 5*r**4/12 - 7*r**3/6 + 2*r**2. Is c(3) a multiple of 23?
True
Suppose -81 = -z + 91. Suppose 6*q = 5*q. Suppose -4*x + 2*b + z = q, 2*x - b - 84 = b. Does 15 divide x?
False
Let g(y) = -y**3 + 14*y**2 - 10*y + 2. Let p(m) = 6*m + 1. Let x be p(2). Is g(x) a multiple of 11?
False
Let b = 2 - -13. Is b a multiple of 5?
True
Suppose 562 = -5*v - 23. Let m = 173 + v. Does 14 divide m?
True
Suppose 2*v + 5*r - 110 = 225, 10 = -2*r. Is v a multiple of 20?
True
Does 5 divide (159/(-9))/((-3)/9)?
False
Suppose k = -4*k + 5. Suppose -2*b + k + 40 = -5*n, 5*n - 74 = -3*b. Is -1 + b + (-3 - -1) a multiple of 10?
True
Let d(p) = 0 - p**2 - 3 - 2*p - 4*p + 2*p. Let c be d(-4). Is 17 a factor of 3*10/2 - c?
False
Does 30 divide (-2)/(-3) - (-1)/(6/518)?
False
Let q = 333 + -212. Is q a multiple of 27?
False
Let c(y) = y**2 - 5*y - 1. Let j be c(6). Suppose -2*i - j*d + 26 = 0, -5*i - d + 0*d = -88. Let f = 35 - i. Is 6 a factor of f?
False
Let b(p) = p**3 - p**2 - 2. Let x be b(0). Is (21/x)/((-3)/8) a multiple of 14?
True
Let v be 5/((-5)/2) + 2. Suppose -p + 0*p = v. Suppose -i + p*i = -38. Is i a multiple of 19?
True
Suppose -115 = -9*h + 4*h + 4*r, -2*h - 4*r = -46. Let w = h - 13. Does 10 divide w?
True
Let t be (11*-2)/(5 - 3). Is t/((-10)/4 + 2) a multiple of 11?
True
Let c = -4 - -8. Let f = c + 6. Is 10 a factor of f?
True
Let y(q) be the second derivative of q**4/12 + q**3/3 - 2*q**2 + q. Let s be y(-4). Suppose 0 = n + 1, -n + 2*n = -s*p + 63. Does 14 divide p?
False
Let z(d) = -d**2 + 9*d - 9. Let x(i) = 3*i. Let n be x(2). Does 3 divide z(n)?
True
Let h(y) = -2*y - 2. Let n be h(-2). Suppose q - 4 = -5*w - 0, 0 = 2*w - n*q + 8. Suppose m - 2 = -c - w*m, -5*c - 3*m + 14 = 0. Is c a multiple of 2?
True
Suppose -5*t = -4*p - 148, 3*p - 74 = -3*t - 2*p. Let m(r) = r**3 + r - 12. Let v be m(0). Let i = t + v. Is 12 a factor of i?
False
Let 