21 - d/21 a multiple of 8?
True
Let c(q) = 10*q**2 - 3*q - 2. Is 18 a factor of c(-2)?
False
Suppose 0*v = 3*z - 3*v - 57, 0 = 4*z + 4*v - 116. Is z a multiple of 9?
False
Let g = 1 + 4. Suppose 5*y + h - 209 = 0, g*y = -6*h + h + 205. Is 21 a factor of y?
True
Let g(v) = 10*v**3 + v + 1. Suppose -w + 18 = -3*q + 4*w, -2*q = 4*w - 10. Let j be g(q). Let i = 22 - j. Is 12 a factor of i?
False
Let d be 4/(4*2/4). Let a be (d + -4)/((-4)/6). Suppose 3*v = 4*j + a - 32, -44 = -5*j - 4*v. Is 6 a factor of j?
False
Let m = 4 + -2. Suppose 3*c = -m*f - 2*f + 97, 4*f = 3*c - 89. Does 16 divide c?
False
Let d(p) = -p**3 - 8*p**2 - 8*p - 1. Let b = 29 - 8. Let t be (1 - 0)/((-3)/b). Is 3 a factor of d(t)?
True
Suppose b - 2*d + 8 = 0, 2*d = -4*b + 6 + 2. Suppose y = u + u - 109, b = 5*u - 4*y - 274. Suppose -4*i + 3*p = -4 - 152, -3*p = i - u. Is 15 a factor of i?
False
Let p(j) = 43*j**3 - j**2. Is 14 a factor of p(1)?
True
Suppose 4*n + 0*r = 3*r + 43, 5*n - 2*r = 59. Let z = n - -14. Is z a multiple of 9?
True
Let g = -24 - -40. Suppose g = 4*d + 4. Suppose 120 + 6 = d*s. Is s a multiple of 21?
True
Suppose -s = 3*n - 78, -3*s - n + 176 = -s. Is 29 a factor of s?
False
Suppose 2*d - 3*t - 213 = -0*t, 0 = d + 5*t - 126. Is 7 a factor of d/15 + 2/(-5)?
True
Is (14/(-6))/((-8)/240) a multiple of 14?
True
Suppose 6*v = 3*v - 4*o + 4, -4*v = 3*o - 10. Suppose -29 - 19 = -v*b. Is 5 a factor of b?
False
Is 23 a factor of ((-46)/(-3))/(8/24)?
True
Let o = 6 - -17. Let x = o + -8. Let t = x + -3. Is 4 a factor of t?
True
Suppose 0*l = 4*g + 2*l - 194, 0 = -2*g - 5*l + 117. Does 14 divide g?
False
Is ((-114)/(-4))/(18/120) a multiple of 38?
True
Let o be 2/(16/(-9) - -2). Let b = -1 - o. Is 15/(-2)*16/b a multiple of 12?
True
Let u(f) = 2*f**2 + 4*f + 4. Let o be (12/2)/((-3)/2). Let l = -7 - o. Is u(l) a multiple of 5?
True
Let k(s) be the first derivative of 2*s**3/3 + s**2/2 + 1. Is 2 a factor of k(1)?
False
Let p = 1 - -1. Suppose -t - 4*j - 12 = 0, p*t - j + 4*j = 1. Is t a multiple of 8?
True
Let h be 0 + (-5 - 0)*-24. Suppose h = -0*i + 3*i. Is 18 a factor of i?
False
Is 10 a factor of ((-10)/(-3))/((-11)/(-165))?
True
Let h be (8/16)/((-2)/(-140)). Let q = 64 - h. Is q a multiple of 8?
False
Suppose -y - 4 + 9 = 0. Suppose c = 2*n - 49, 0*n + 124 = y*n - 3*c. Is n a multiple of 10?
False
Suppose 0 = 3*g - 59 - 88. Does 13 divide g?
False
Let i(g) = g**2 + 4*g + 1. Does 13 divide i(-11)?
True
Suppose -g - g = -40. Suppose 0 = -3*h - 2*h + g. Suppose 2*u = h*u - 20. Does 10 divide u?
True
Suppose -3*l = l + 4*o - 256, 3*l - 200 = 5*o. Is l a multiple of 8?
False
Let g = -31 - -43. Suppose 2*p - g = -p. Suppose k - p*k = -15. Does 3 divide k?
False
Suppose m = 177 + 40. Does 31 divide m?
True
Is 3 a factor of (0 + 3)/(4 - 11/3)?
True
Let v = 88 + -56. Let z = v + -10. Is z a multiple of 11?
True
Let s(f) = -f. Let m be s(4). Does 2 divide (-64)/(-28) - m/(-14)?
True
Suppose -3 = r, -73 - 8 = -3*m - 5*r. Is 15 a factor of m?
False
Suppose -3*q + m = -7, q - 2*m = 6*q - 19. Let n(v) = -10*v + 3. Let r(k) = 41*k - 12. Let s(b) = -9*n(b) - 2*r(b). Is 10 a factor of s(q)?
False
Is 2 a factor of ((-24)/(-112)*7)/((-2)/(-12))?
False
Suppose 4*n + 4 = 2*v, v + 1 = 3*v - 3*n. Let m be v/10 - (-44)/10. Suppose 6 = o + m*j, -3*o + 3*j = o - 62. Is o a multiple of 7?
True
Let x(v) = -v**2 + 3*v + 94. Is x(0) a multiple of 22?
False
Let f(m) = m**2 - 6*m + 6. Let l be (-2)/(1 + 1) - -7. Is f(l) a multiple of 2?
True
Suppose p + 5*f - 4 - 6 = 0, -p - 4*f + 8 = 0. Let v(u) = -u**2 + u + 13. Does 13 divide v(p)?
True
Let d = 5 - 6. Is 7 a factor of (-3 - -3) + (-21)/d?
True
Let y(l) = -l**2 + 6*l + 6. Let h be y(5). Let c = 16 - h. Does 3 divide c?
False
Does 8 divide (-2)/3*360/(-10)?
True
Let w(j) = -j**3 - 9*j**2 - 2*j - 11. Does 4 divide w(-9)?
False
Let y(o) = 2*o**3 - 11*o**2 + 5*o + 6. Does 19 divide y(7)?
False
Let f(t) = 2 + 1 + 2*t - 3 - t**3 - 2*t**2 - 1. Let h be f(-3). Suppose 3*c = -m + c + 38, -166 = -5*m + h*c. Does 17 divide m?
True
Is -2 - -70 - (2 - (1 - -3)) a multiple of 15?
False
Suppose -h = -2*s + 56, 5*h + 28 = s - 0*h. Is s a multiple of 4?
True
Is -22*(-7)/4*2 a multiple of 18?
False
Let h = 11 + -5. Let i(z) = -z**3 + 6*z**2 + 3. Let u be i(h). Suppose -38 = -v + u. Is 16 a factor of v?
False
Let k be 4/12 + 22/6. Suppose -4*f = 5*x - 0*f - 241, k*x - 164 = 4*f. Does 18 divide x?
False
Let d(x) = -x**3 + 3*x**2 + 3*x + 2. Let q(s) = -2*s**3 + 5*s**2 + 5*s + 5. Let p(n) = -5*d(n) + 3*q(n). Is p(0) a multiple of 3?
False
Suppose 1928 = 5*v + 88. Is 46 a factor of v?
True
Let p(z) = z**2 - 5*z + 15. Is p(6) a multiple of 13?
False
Let o = 0 - -2. Suppose -o*z = 5*r - 26 - 9, -20 = 4*z. Is 3 a factor of r?
True
Does 25 divide 6/(-6) + -2 - -151?
False
Suppose p + 12 = 156. Is 24 a factor of p?
True
Let k(i) = 3*i**2 + 8*i + 2*i**2 + i**3 - 3*i + 3. Let g be k(-4). Does 8 divide (2/3)/g*-24?
True
Let a be 7 - (0 - -1 - 0). Does 16 divide 2/4 - (-171)/a?
False
Suppose 4*x = x, 78 = 2*r + 4*x. Is r a multiple of 6?
False
Let f = -355 - -509. Does 22 divide f?
True
Let h = -479 + 682. Is h a multiple of 52?
False
Let k(x) = -x**2 + 7*x + 8. Suppose 3*t = 6*t - 18. Is k(t) a multiple of 7?
True
Let y = 330 + -156. Is 29 a factor of y?
True
Suppose 1 = l - 1. Suppose -q + 39 = -n, -2*q - l*n + 93 = -5. Is q a multiple of 22?
True
Suppose -5*o = 4*z - 3*z + 18, 3*z + 3*o + 90 = 0. Is 2*z/(-3) + 4 a multiple of 13?
True
Let l(d) = -10*d + 12. Is 15 a factor of l(-4)?
False
Suppose 0*f - 8 = -2*f. Suppose -f*p = p - 55. Is p a multiple of 7?
False
Suppose 3*u - 908 - 370 = 0. Does 61 divide u?
False
Let j = -198 - -327. Does 43 divide j?
True
Suppose 8 = 4*n - 0*n. Let w = n - -7. Does 9 divide w?
True
Suppose 3*j - 2*j - 58 = 0. Suppose -5*z + 152 + j = 0. Does 15 divide z?
False
Suppose -312 = -4*j - 2*l, j - 5*l - 100 = -0*l. Does 16 divide j?
True
Let x(n) = 3*n - 9. Let z be x(8). Suppose -2*g = 2*g - 2*v - 4, 5*g - 6 = 3*v. Let l = g + z. Does 15 divide l?
True
Let v(f) = 5*f**3 - f**2 + 1. Let w be v(1). Suppose w*k = -3*x + 13, -4 = -2*k + 5*x + 26. Suppose k*a = -14 + 164. Is 17 a factor of a?
False
Suppose 6*a = 2*a + 296. Let v(m) = 47*m. Let d be v(1). Let h = a - d. Is 18 a factor of h?
False
Let x(s) = 5*s**2 - 3. Suppose -4*b + 2*g - 7 = 15, 4*b + 27 = 3*g. Does 14 divide x(b)?
True
Let l be (-18)/(-30) - 2/(-5). Let b = l + 33. Does 17 divide b?
True
Suppose 2*m + 2*m = -5*x + 235, 0 = -5*m. Is 16 a factor of x?
False
Suppose 0 = k - 2*p - 3 - 2, 4*p - 3 = k. Does 13 divide k?
True
Let n(s) = 6*s - 3. Let z(g) be the second derivative of g**3/3 - 5*g**2/2 - 3*g. Let a be z(4). Does 15 divide n(a)?
True
Is 11*(-4)/(-1 - 3) a multiple of 10?
False
Suppose 4*v = -0*v + 44. Let c = v + 13. Is 24 a factor of c?
True
Let d(r) = -r**2 - 10*r - 8. Is d(-6) a multiple of 8?
True
Let p(h) = 30*h. Let l be p(2). Suppose -4*b + l = -2*b. Is 14 a factor of b?
False
Suppose 15 = 2*b - 43. Let q be 3*b*(-4)/(-12). Suppose -2*y = -0*y + 2*d - 22, -4*d = 3*y - q. Is y a multiple of 15?
True
Let z = 7 + -5. Suppose -3*g + z*g + 28 = 2*w, -4*w = 5*g - 68. Is w a multiple of 3?
True
Let m(h) = 6*h - 4. Let r = 7 - 4. Is 7 a factor of m(r)?
True
Let z be 177/1 + -2 + 5. Suppose 4*x + 18 - 62 = -2*a, 5*a - z = 4*x. Is 16 a factor of a?
True
Let t(w) = w**3 - 7*w**2 + 8*w - 9. Let u be t(6). Let v = 5 - u. Suppose -16 = -v*z + 6. Is 6 a factor of z?
False
Suppose -228 = -2*a + 8*a. Is (-2)/(-4 + (-148)/a) a multiple of 8?
False
Let r be 204/16 + 2/8. Suppose -c = -3*l + 4, -8 + 2 = 3*l - 3*c. Suppose x + p + 1 = -l*p, 3*x - r = -4*p. Is 7 a factor of x?
True
Is (-35)/(-11) + 6/(-33) a multiple of 2?
False
Let c(t) = -t**2 - 9*t - 8. Let r be c(-7). Suppose 0 = -r*m + 3*m + 12, 5*x - 25 = -5*m. Is (x/(-2))/((-2)/64) a multiple of 16?
True
Let m(u) = 3*u**2 + 29*u + 9. Let b(g) = -4*g**2 - 43*g - 14. Let w(r) = -5*b(r) - 7*m(r). Is w(9) a multiple of 17?
True
Suppose 2*y - 6 + 0 = 0, 0 = -l + 2*y + 56. Is l a multiple of 16?
False
Let i be 4*(-1)/(4/(-119)). Let a = i + -84. Is 32 a factor of a?
False
Let w(u) = -u**3 + 7*u**2 - u + 10. Let z be w(7). Let g be (z + 19)*2/4. Suppose -13 = -4*o + g. Does 2 divide o?
True
Let c(z) = -2 - 11*z + 0 + 2*z**2 + 13*z.