2*x + 0*x + 200 = 0. Suppose -212 = -4*i + 4*q, -3*i + 5*q + 49 = -x. Is 20 a factor of i?
False
Let y(x) = -x + 6 - 1 + 9. Does 3 divide y(8)?
True
Let b = 66 - 26. Is b a multiple of 9?
False
Let q be 5 - 2*3/3. Suppose -3*b + 66 = q*k, 10 = k + k. Is b a multiple of 17?
True
Let v be 176/(-6) - (-3)/9. Suppose -3*b + 3*q = -5*b - 20, 5*q - 10 = 0. Let s = b - v. Is 6 a factor of s?
False
Let c be 2/4*(-2 + 2). Suppose c*s = 3*s + 150. Let z = s + 92. Is 21 a factor of z?
True
Suppose 4*a = -11 + 87. Is a a multiple of 11?
False
Suppose -2*b + 4*b = -4*s + 84, 4*b - 113 = 3*s. Let t = b - 2. Is 10 a factor of t?
True
Suppose -7 = -y + 2*j, 2*j + 24 = 5*y - 3*y. Let b = y + -29. Let r = b - -42. Does 15 divide r?
True
Let g(x) = 40*x**2 + 2*x. Does 18 divide g(-1)?
False
Let t(k) = -k**2 + 24*k - 42. Is t(17) a multiple of 29?
False
Suppose r + 0*r = 3. Suppose w + 95 = r*k - w, 5*k = -3*w + 190. Is k a multiple of 9?
False
Let q(w) = w**3 - 8*w**2 + 4*w + 4. Let u(z) = z**2 - 1. Let c(x) = q(x) + 3*u(x). Is 24 a factor of c(6)?
False
Let c be (-2)/(-8) + (-141)/4. Let h = c - -57. Is ((-9)/(-6))/3*h a multiple of 6?
False
Suppose 5 = f + 4*w - 18, -5*f + w + 73 = 0. Is f a multiple of 15?
True
Let k(d) = -d**3 - 3*d**2 + 6*d + 4. Let v = 8 + -13. Does 12 divide k(v)?
True
Let f = 9 - 7. Is (16 - 3) + (4 - f) a multiple of 5?
True
Suppose -2*h + 4*t - 10 = 0, -3*t - 7 - 3 = -5*h. Is 2 a factor of h?
False
Let b(i) = 4*i**2 - 3*i - 4. Let l be b(3). Let p = -62 - -109. Let a = p - l. Does 10 divide a?
False
Let d = 6 + -8. Let l = d - -7. Does 3 divide l?
False
Suppose -3*k - 4*z - 1 = 0, -6*k + 2*k + z = -24. Suppose 3*c = 0, -7*c - 256 = -4*t - 2*c. Suppose u + t = k*u. Is u a multiple of 8?
True
Suppose 0*a + 4*a = 0. Suppose 25 = 5*h - a. Suppose 2*y + 4*v = 32, 0*y - h*v - 15 = -3*y. Is 10 a factor of y?
True
Suppose 4*c - 2*z = z + 157, z = c - 40. Is c a multiple of 9?
False
Let y(n) = -2*n**2 - 4*n. Let z(v) = v**2 - 1. Let p(l) = -y(l) - z(l). Is 6 a factor of p(-7)?
False
Suppose -n - 3*f + 7 = 0, 5*n - f + 13 = -0*f. Let d be 5 + (0/n)/(-3). Suppose o + 3*k = 7, -o = -d*o - 2*k + 18. Is 4 a factor of o?
True
Suppose -6*z + 392 = 2*z. Is 7 a factor of z?
True
Let i(n) = n**3 - 2*n**2 + 2. Let f be i(2). Suppose f*w - 20 = -3*w. Suppose 4*k = w*x + 164, 4*k - 3*x = -2*x + 158. Does 25 divide k?
False
Suppose 3*o - 11 = 70. Does 16 divide o?
False
Does 19 divide (-2)/(-4) + 300/8?
True
Let o = -167 - -292. Is o a multiple of 13?
False
Does 23 divide (-3 - (-20)/(-12))*(-414)/7?
True
Let w = 6 - 4. Suppose p + 0 - w = 0. Suppose 0*d - 3*d + 2*o = -14, -p*d = -5*o - 13. Is 4 a factor of d?
True
Let u(l) = 35*l + 3. Does 19 divide u(1)?
True
Let x = -1 - 0. Is 14 a factor of x*(-1)/2*34?
False
Let p(z) be the first derivative of z**3/3 + 9*z**2/2 + 3*z + 1. Does 13 divide p(-10)?
True
Suppose 2 = -c, 0 = -3*n + 4*c + 6 + 5. Suppose -25 = -2*h - 4*u + 147, -430 = -5*h + 4*u. Suppose h = 5*y + n. Is 8 a factor of y?
False
Suppose 0 = -3*a - 2*a - 4*k + 93, 0 = 4*a - 2*k - 90. Suppose i + 0*m + m - 7 = 0, a = 4*i - 3*m. Is 3 a factor of i?
True
Is -130*-3*(-6)/(-45) a multiple of 9?
False
Let u(s) = -s**2 - 5*s. Let o be u(-4). Suppose -o*w + v + 274 = 0, 2*w - 5*v = -0*w + 146. Does 13 divide w?
False
Suppose 0*p = -5*p + 35. Suppose 3*y = 5*g - 17, -p*y + 2*y = 5*g - 25. Is 15 a factor of 1/(3/93) - y?
True
Suppose 0 = 3*r - 7*r + 184. Is r a multiple of 13?
False
Let x(a) = -a**2 + 12*a - 12. Let z be x(6). Is (z/(-15))/2*-10 a multiple of 3?
False
Let c(x) = 2*x**2 + 8*x + 7. Let o(q) = -8*q**2 + 2*q - 1. Let t be o(1). Let z be c(t). Suppose 0 = -w - 12 + z. Is w a multiple of 14?
False
Suppose 0 = 4*u + 8, -5*n + 0 = -3*u + 214. Let d = n - -122. Is d a multiple of 23?
False
Let s = -3 - 5. Let f(r) = -7*r**3 - 7*r**2 + 17*r - 4. Let a(y) = 8*y**3 + 7*y**2 - 18*y + 5. Let n(z) = -6*a(z) - 7*f(z). Is n(s) a multiple of 15?
False
Let n(d) = -2*d**3 + 6*d**2 - 2*d - 7. Let k(o) = o**3 - 3*o**2 + o + 3. Let a(t) = -5*k(t) - 2*n(t). Let g be a(2). Is 12 a factor of -3 + (24 - -2) + g?
True
Let g = 32 - 16. Suppose 3*d + d - g = 0. Is 4 a factor of d?
True
Let k be (2 - -1)/((-4)/60). Let w = -17 - k. Let v = -8 + w. Is v a multiple of 10?
True
Let g = 38 - 26. Does 5 divide (8/g)/((-1)/(-12))?
False
Is (4 - 0)*65*(-4)/(-10) a multiple of 13?
True
Suppose -c = 3*c - 20. Suppose -3*d = -c*d + 34. Is 8 a factor of d?
False
Let i(o) be the second derivative of 14*o**3/3 - 2*o. Is i(1) a multiple of 14?
True
Suppose 0 = 4*d - 18 + 2. Suppose 3*z + 3 = 0, -4 + 2 = -2*b + d*z. Is (-54)/(-3) + 0/b a multiple of 18?
True
Let l(t) = -t**2 - 6*t + 1. Let c be l(-7). Let y = 28 + c. Is y a multiple of 22?
True
Suppose 2*p = 5*r - 12, 0*p + p = -2*r + 12. Suppose 2*w = p + 2. Is 50*(0 - w/(-6)) a multiple of 11?
False
Let y = 5 + -2. Let k(p) = 3 - 2*p - 5 + p + y*p**2. Is 8 a factor of k(2)?
True
Let u = 151 + -66. Does 21 divide u?
False
Let i(b) = -b**3 + 10*b**2 - 6. Let a be i(10). Let z be (a/(-9))/(1/(-18)). Is 3*z/(-2) + -1 a multiple of 13?
False
Suppose -2*l - 2 = 5*z, 3*l + 3 = -0*z + 5*z. Let b = 8 - l. Is b a multiple of 7?
False
Let l be 278/4 - 2/(-4). Let j = -38 + l. Suppose 3*w - 4 + j = c, 3*c + 2*w = 29. Is 13 a factor of c?
True
Let y = 105 + -85. Is y a multiple of 2?
True
Suppose 147 = -5*y - 3*x, -4*y + x - 102 = 19. Let f = 63 + y. Is 10 a factor of f?
False
Suppose 0*s + 627 = -s. Is 9 a factor of (-8)/36 - s/27?
False
Let l be (-3 - -3)/2 - -3. Let z(w) = 30*w**l - 11*w**3 + 3*w**2 - w**2 - w. Is z(1) a multiple of 10?
True
Let b = 13 - 11. Suppose 5*g + 2 = -3*f, g - 2 - 4 = f. Suppose 3*j - g*v - 56 = 0, -120 = -3*j - 2*j - b*v. Is 11 a factor of j?
True
Let u(i) = -3*i - 3. Let h be u(-2). Is 5 a factor of (10/h)/((-4)/(-6))?
True
Is 3 a factor of 10 - ((-6)/(-3) - -1)?
False
Suppose -c + 1 = -0*c. Let x be c*(4 - 1) + 25. Suppose -x - 20 = -4*p. Is p a multiple of 4?
True
Let v = 7 + -9. Let p = 25 - v. Is 14 a factor of p?
False
Let p(d) be the third derivative of -d**5/60 - 11*d**4/24 - d**3/2 - 7*d**2. Is 8 a factor of p(-9)?
False
Let b(j) = -j**3 - 7*j**2 + 5*j + 32. Is 8 a factor of b(-8)?
True
Let u = 11 - -3. Does 7 divide u?
True
Does 15 divide -2 - (-84 - 0/(-3))?
False
Let l(a) = 57*a - 12. Does 34 divide l(2)?
True
Let q = 3 - 5. Let z = 54 - q. Let h = z + -37. Is h a multiple of 8?
False
Let t(m) = -12*m + 6. Is t(-12) a multiple of 30?
True
Suppose -3*y + 4*u = -245 + 12, 3*u - 12 = 0. Let f = y + -44. Is 13 a factor of f?
True
Let g = 1 - -4. Suppose 58 - 393 = -g*p. Suppose -8*n + 3*n + v = -51, -5*n - 3*v = -p. Is 5 a factor of n?
False
Let v(t) = -t + 16. Is 7 a factor of v(-5)?
True
Let j(i) be the first derivative of 2*i**2 - 15*i + 2. Let u be j(12). Suppose d - 2*t = -0*d + u, -4*t - 23 = -d. Is 14 a factor of d?
False
Is -6 - -72 - 6/3 a multiple of 8?
True
Suppose -4*m + 333 = -3*q, -m + 5*m - 330 = 2*q. Is 27 a factor of m?
True
Suppose 5*o - 35 = -0*o. Let a(w) = 2*w**2 - 8*w - 9. Is a(o) a multiple of 11?
True
Let h = 465 + -209. Is 54 a factor of h?
False
Suppose 10 = -2*p + 4*p. Suppose -j - 3*m + 21 = 0, 0 = -p*j - 0*m - 2*m + 79. Does 12 divide j?
False
Is 9 a factor of 4535/25 - (-2)/(-5)?
False
Let b = 15 + -4. Is b even?
False
Does 4 divide (-1)/(0 - 4/52)?
False
Let w(y) = -67*y + 5. Is 12 a factor of w(-1)?
True
Let f be (-483)/12 + 3/(-4). Let s = -21 - f. Does 20 divide s?
True
Let d = -92 - -248. Does 26 divide d?
True
Let f(s) = 19*s - 4. Let x(v) = v**2 + 9*v + 11. Let h be x(-8). Is f(h) a multiple of 10?
False
Suppose -4*v + 626 = -46. Does 18 divide v?
False
Let h be (-3)/(-1)*(-2)/(-3). Suppose 135 = i + h*i. Does 18 divide i?
False
Let z = -27 - -52. Is 5 a factor of z?
True
Let f(q) be the first derivative of -q**4/4 - q**3/3 - q**2/2 - 3*q - 3. Let y be f(0). Let z = 15 - y. Does 9 divide z?
True
Suppose q = -q. Suppose q*t - t = -50. Suppose -t + 4 = -2*n. Is n a multiple of 11?
False
Let h = 12 + -8. Suppose -g - q = h*q - 81, -5*q - 51 = -g. Does 22 divide g?
True
Suppose 0 = -3*f - 4*x + 21, 31 = 4*f + 5*x + 3. Is f even?
False
Suppose 4*g - 3*r - 57 = -0*g, -4*r = -3*g + 34. Is 10 a factor of (9/g)/((-1)/(-30))?
False
Suppose -2*v - 2 + 8 = 0. Suppose 146 = 5*l - v