?
False
Suppose 6 = 2*k + 2. Let w be 52/(-8)*k/(-1). Suppose w = s - 0*s. Does 5 divide s?
False
Let m = -19 + 25. Is 6 a factor of m?
True
Suppose -4*a - 184 = -2*r, 3*r - 278 = a + 4*a. Does 19 divide (-2)/(-3 - (-285)/r)?
False
Let v = -73 + 125. Is 13 a factor of v?
True
Suppose -5*a - h = -956, -a - 2*a + h = -580. Suppose -3*s = -6*s + a. Suppose -s = -5*y + i, 2*i + 0*i = 5*y - 63. Is 13 a factor of y?
True
Let p(r) = -r - 1. Let x be p(-3). Suppose -x*j + 0*j = -136. Let d = j - 47. Is d a multiple of 21?
True
Suppose 5*m - 138 = 2*m. Is m a multiple of 10?
False
Let g be (43/(-2))/(6/12). Let c = -28 - g. Does 4 divide c?
False
Let l(j) = j**3 + 5*j**2 - 5*j + 8. Let p be l(-6). Suppose 0 = -0*g - p*g + 64. Suppose -z = 1 - g. Is 11 a factor of z?
False
Let v = -53 - -65. Does 7 divide v?
False
Let g be 11/4 - 2/(-8). Suppose g*u - z = 2*u, -12 = -5*u - z. Suppose 2*p = b - 42, -81 = -b - u*b - 3*p. Does 19 divide b?
False
Suppose -2*l - 32 = -4*y, -y + 4*l - 4 = -5. Let s(g) = -7*g**2 - g + 1. Let c(x) = -6*x**2. Let h(t) = -6*c(t) + 5*s(t). Is 19 a factor of h(y)?
False
Let n(m) = 4*m**3 - 2*m**2 + m. Let o be n(1). Suppose -2*q = -10, -o*f = 4*q + q - 79. Is ((-8)/10)/(f/(-1035)) a multiple of 17?
False
Let q = 3 + -3. Suppose q = -3*i - n - 4*n - 7, -2*i - n = 7. Does 12 divide -1*i/6*36?
True
Let h be 43/(-4)*(0 - 4). Suppose -g + h = 10. Is g a multiple of 11?
True
Suppose -2*j + 18 = -58. Let m = -19 + j. Is 13 a factor of m/1 - (-1 - 0)?
False
Let y(b) be the first derivative of b**4/4 - 2*b**3/3 + 5*b**2/2 + 2. Let c be y(5). Suppose 3*g - g = -3*k + 84, 0 = -2*g + k + c. Does 22 divide g?
False
Suppose o + 3 = z, 0*z - 6 = 5*o + 4*z. Does 14 divide 46*o/8*-2?
False
Suppose -a + 1 = -23. Suppose 0 = 4*u - u - a. Does 4 divide u?
True
Let g(f) = 3*f**3 - 2. Let h be g(-2). Let l = h - -67. Is l a multiple of 25?
False
Suppose 0 = 5*z - 5. Suppose -z + 5 = 2*v. Suppose 5*b - v*u = 83, -2*u + 7 = b - 0. Is b a multiple of 6?
False
Suppose 4*u - 10 = 6. Is 4 a factor of (-8)/6*(-18)/u?
False
Let u = 84 - 35. Is 11 a factor of u?
False
Let o(v) = 3*v + 52. Is o(-12) even?
True
Suppose 0 = -5*i + 9*i - 24. Suppose 143 = i*s - 43. Is 12 a factor of s?
False
Let d = 2 + 11. Does 4 divide d?
False
Let j be (-8)/12 - 158/6. Does 3 divide (j/(-6))/((-6)/(-8))?
True
Suppose 0 = 7*z - 3*z. Suppose 4*l = -0*o + 3*o - 192, z = 3*o - 2*l - 192. Does 16 divide o?
True
Suppose 6*h - 3*h + 7 = -k, 4*h = 2*k - 26. Suppose -3*l - 30 = -k*l. Is l a multiple of 5?
True
Let d = 16 - 24. Let i = 3 + d. Let u(r) = -r + 3. Is 5 a factor of u(i)?
False
Suppose -5 = -o - 3. Suppose -4*v + 5*x = 2*x - 91, -85 = -5*v - o*x. Let l = v - -11. Does 9 divide l?
False
Suppose -d = -5*i + 705, -5*d + 27 = 2. Does 25 divide i?
False
Let c(s) = s**2 + 6*s + 3. Let k be c(-11). Let i = -28 + k. Is 15 a factor of i?
True
Let g = 497 - 352. Does 27 divide g?
False
Suppose 2*a = 8*j - 3*j - 773, 5*j = 5*a + 785. Does 9 divide j?
True
Let c(s) = -13*s. Suppose 6*l - 4*l = 0. Suppose t + t + 5 = 3*v, l = -2*t - 8. Is 13 a factor of c(v)?
True
Let r be -2*(-3 + 45/6). Let w(a) = -a**2 - 11*a - 5. Is 6 a factor of w(r)?
False
Suppose 0 = -m - m + 10. Suppose -7 = -m*c - 4*v, -v = -3*c + 7 + 4. Let f = c + 7. Is f a multiple of 10?
True
Let r(z) = 2*z**3 + 53*z**2 - 32*z + 1. Does 17 divide r(-27)?
True
Suppose 3*q = 39 + 57. Suppose 0*z - q = -z. Is 12 a factor of z?
False
Let g = 133 + -78. Let r = g + -28. Is 5 a factor of r?
False
Let d be (-69)/(-9) - (-2)/(-3). Is (30/d)/((-2)/(-14)) a multiple of 10?
True
Let m(x) = -x**2 - 8*x - 4. Let p be m(-7). Let c = p + 0. Suppose c*w - 4*r = 17, -59 = -6*w + w - r. Does 5 divide w?
False
Suppose -6*d + 296 = -2*d. Let p = d + 14. Let v = 124 - p. Is 12 a factor of v?
True
Let b(h) = -37*h - 2. Is 16 a factor of b(-2)?
False
Let o(f) = -f + 409. Let s be o(0). Suppose 3*j = -1297 + s. Is 14 a factor of j/(-7) - 4/14?
True
Let l(a) be the second derivative of a**4/6 + 2*a**3 - 9*a**2/2 - 2*a. Is 15 a factor of l(-9)?
True
Suppose 0 = 5*z + 3*g + 168, g + 40 = -z + 6. Let k be (-1941)/z + 2/11. Let f = -33 + k. Is f a multiple of 16?
False
Suppose 2 = -t - 2. Let h be 4/(-8) + (-2)/t. Suppose 2*p - 2 = 0, -5*b + p + 0*p + 89 = h. Is 9 a factor of b?
True
Suppose 0*i - 15 = -r - 2*i, 11 = r + i. Suppose -78 = -5*q + 2*w - w, q = -w + 12. Let c = q - r. Does 8 divide c?
True
Suppose 2*s + 127 = 3*c, -s - s + 233 = 5*c. Let y = c - 21. Does 8 divide y?
True
Let u(x) = -2*x. Let i(f) = -f - 8. Let a be i(-6). Does 4 divide u(a)?
True
Let q = 26 + 77. Is q a multiple of 10?
False
Let u(m) = -m**3 - 8*m**2 - m - 10. Let j be u(-8). Is 27 a factor of ((-2 - 52)/j)/1?
True
Suppose i - 286 = -i. Does 13 divide i?
True
Suppose -3*r + h + 184 = 0, 2*r - h = -2*h + 116. Does 15 divide r?
True
Let g(x) = 2*x**3 - 4*x**2 + 4*x - 3. Let s be g(2). Suppose 5*q = -s*d + 3*d + 52, 5*d + 2*q = 88. Is d a multiple of 6?
False
Let t(x) = 7*x**2 - 11*x - 8. Is t(6) a multiple of 19?
False
Let d be (34/(2*-1))/(-1). Suppose 6*c = c - 2*y + d, 3*c = -y + 10. Is c/3*2 + 17 a multiple of 7?
False
Let z(u) = -3*u - 7. Let h be z(-3). Suppose -o + 55 = k, -h*o - 3*k + 116 = 2. Is o a multiple of 17?
True
Let z = -6 - -12. Suppose 3*h - 118 = -u, z*h + 4*u - 152 = 2*h. Suppose y + 4*y = h. Is 8 a factor of y?
True
Let h(o) = 8*o**3 + 3*o**2 - 3*o + 3. Is h(2) a multiple of 14?
False
Suppose 15 = 5*p + 3*h - 5, -p = 5*h - 4. Let i = 4 - p. Does 6 divide (-2 - -10) + (i - -1)?
False
Suppose -11 = -4*z - 4*c + 101, -z = 5*c - 12. Is z a multiple of 16?
True
Suppose -z + 4*z = -b, -4*z - b - 1 = 0. Does 8 divide (z/3)/((-1)/69)?
False
Let s(h) = -h**3 + 4*h**2 - 4. Let c be s(4). Let y = 10 + c. Is 3 a factor of y?
True
Suppose 2 = q - 3. Is q even?
False
Suppose 70 = -27*w + 29*w. Does 4 divide w?
False
Let j be (1 + (-1)/1)/(-1). Suppose j = 3*h - 2*h - 22. Is h + 3 + -3 + -3 a multiple of 9?
False
Does 14 divide 0 + 118 - (-13 + 10)?
False
Let a(u) be the second derivative of 5*u**3/3 + u**2/2 + 3*u. Does 16 divide a(2)?
False
Let n(y) = y**2 - y - 4. Is n(3) a multiple of 2?
True
Let r(n) = -n**3 - 6*n**2 + n + 6. Let p be r(-6). Suppose -2*j = -5*d - p*d - 6, 4*j - 12 = d. Suppose -l - 1 + 5 = d. Is l a multiple of 2?
True
Suppose -48 + 198 = 5*u. Is u a multiple of 15?
True
Let t = 83 - 75. Is 8 a factor of t?
True
Suppose -3*c + 0 = -3. Suppose 4*j - c = 7. Suppose -j*v + 144 = v. Does 16 divide v?
True
Let h(k) = -3*k + 4 + 18*k**3 + k - 5 + 2. Let z = 2 - 1. Is h(z) a multiple of 17?
True
Let p(c) = c**3 + 10*c**2 + 12*c + 20. Is p(-8) a multiple of 16?
False
Suppose j - 160 = -3*j. Is j a multiple of 12?
False
Let q(p) = -25*p + 9. Is q(-6) a multiple of 22?
False
Let w be (2/(-2) - -4) + 56. Suppose -w = -2*y - 7. Does 12 divide y?
False
Suppose 5*x - 3*o = 1135, -5*x - 3*o = -52 - 1083. Does 30 divide x?
False
Let m = -22 + 153. Is m a multiple of 12?
False
Let r(f) = -f**3 - f**2 + f + 2. Let n be r(-2). Does 26 divide 1 - -92 - 0/n?
False
Let c(y) be the second derivative of y**3 + 4*y + 0 + 0*y**2 + 1/6*y**4. Is c(-6) a multiple of 18?
True
Let l = 115 - 69. Is 7 a factor of l?
False
Let t(j) = 5*j + 5. Is t(0) a multiple of 5?
True
Let v = -19 + 21. Suppose v*w + 73 = p - w, 0 = -3*p + 2*w + 191. Does 22 divide p?
False
Is 15 a factor of 45 + (-1 - (-3 - -2))?
True
Suppose 2*s + 3 - 7 = 0. Suppose 0*v - 4*v + j = 0, 0 = -s*j. Suppose v = -w - 0*w + 32. Is w a multiple of 16?
True
Let i be (-8)/10*90/(-18). Suppose -z + 98 = i*z + 4*q, -q - 52 = -3*z. Is 8 a factor of z?
False
Let b(l) = 8*l**3 - l**2 + l. Let i be b(1). Suppose 0 = -2*c - 5*d - 2, 0*c + 2*d = -3*c + i. Suppose -101 = -c*u + 3. Is u a multiple of 13?
True
Let f = 34 + -55. Is (-4)/14 + (-594)/f a multiple of 28?
True
Suppose -6*p + p + 90 = 0. Suppose 2*o = 2*q + 20, 2*q = 4*o - p - 24. Is o a multiple of 10?
False
Suppose -4*x - 1056 = -12*x. Is x a multiple of 22?
True
Let y = -4 + 11. Suppose -5*h - y = -2. Does 6 divide (8*h)/(4/(-6))?
True
Is -6*3/12*-4 a multiple of 3?
True
Suppose 3*j = -4*f + 47, 0*j - 21 = -4*j + 3*f. Is 7/((-42)/(-20))*j a multiple of 13?
False
Let l = 5 - 0. Suppose 149 = l*b - 21. Let z = b + -10. Does 12 divide z?
True
Suppose 2*q = -5*y + 14,