 = -16. Let f(u) = u**2 - 8*u - 15. Let j be f(10). Let d = k - j. Is d a multiple of 2?
True
Let b be (30/25)/((-4)/(-10)). Suppose -b = 3*f - 0. Does 9 divide 1/2*(27 - f)?
False
Let q(u) be the first derivative of -u**4/4 - 10*u**3/3 + 11*u + 2. Suppose -6*p + 2*p - 40 = 0. Is 4 a factor of q(p)?
False
Suppose 4*y + 5*s - 56 = 0, -4*s = y + y - 34. Suppose -r = 2 + 4. Let c = r + y. Does 3 divide c?
True
Let p be ((-6)/18)/((-2)/66). Suppose -37 = -4*c + p. Does 12 divide c?
True
Suppose 8*h - 180 = 3*h. Does 5 divide h?
False
Let v = -168 - -237. Suppose v = y - 105. Does 8 divide y/8 + (-2)/(-8)?
False
Does 13 divide ((-346)/(-4))/((-33)/(-66))?
False
Suppose 3*m - 250 = 2*z, -m + 340 = 3*m - 4*z. Is m a multiple of 10?
True
Suppose 0 = -2*u + 46 + 2. Does 8 divide u?
True
Let q(u) = 20*u + 2. Let c be q(-2). Let g = -20 - c. Let l = g + -9. Does 7 divide l?
False
Suppose -g + 14 = g. Suppose -2*t + g*t = 0. Suppose -w + 2*w = -4*l + 3, t = 3*w - 3*l - 24. Does 6 divide w?
False
Suppose 0*w - 2*t = -2*w + 114, 2*t - 102 = -2*w. Is w a multiple of 3?
True
Let d = -6 + 2. Is 11 a factor of (d/(-4))/(1/27)?
False
Let x be (40/(-14))/(14/(-49)). Suppose -3*h = 2*v - x, 4*v - 8 = -2*h + 3*v. Suppose h*d - 88 = 2*d. Is d a multiple of 11?
True
Let n = -16 + 89. Is n a multiple of 15?
False
Let d = 24 - 0. Suppose -2*w + d + 8 = 0. Does 11 divide w?
False
Let g(w) = w**2 + 5*w - 6. Let q be (-12)/(-1)*(-4)/6. Does 9 divide g(q)?
True
Suppose 0 = -4*l + 14 + 10. Suppose 57 = 2*i + 3*r, -2*r + l*r = -5*i + 160. Is 17 a factor of i?
False
Suppose 0 = 2*l - 8, l = -2*r + 4*l - 2. Is (-10)/25 + 22/r even?
True
Let v(z) = -11*z + 5. Is 9 a factor of v(-2)?
True
Let f(c) = -4 - 2*c - 2 + 1 + c. Let d be f(-6). Does 15 divide -3*(-6 - (-2 + d))?
True
Suppose 0 = -120*h + 117*h + 804. Is 33 a factor of h?
False
Does 9 divide ((-2)/2)/((-9)/189)?
False
Suppose v = -4*u + 80, 5*u = 4*v - 127 - 298. Is 19 a factor of v?
False
Let d(v) = 9*v**3 - v**2 - 4*v + 6. Is 38 a factor of d(3)?
True
Let s = -10 - -16. Is s a multiple of 6?
True
Let v = 107 + 6. Suppose 3*h - v = 7. Does 12 divide h?
False
Is (-8)/2 - -8 - -38 a multiple of 7?
True
Is 14 a factor of (63/(-6) - 0)*(2 + -22)?
True
Let u(z) = 3*z - 5*z + z + 4. Let t be u(7). Is 13 a factor of 3 + 31 + -1 + t?
False
Let v = 11 + -7. Let b(u) = 3*u**2 - 2*u. Is b(v) a multiple of 15?
False
Suppose 27*u - 30*u = 0. Let t(b) = b**3 - 4*b**2 + 7*b - 4. Let g be t(4). Suppose 3*x - g = -u. Does 4 divide x?
True
Let r(n) = -2*n - 2. Is 24 a factor of r(-13)?
True
Suppose 4*g = l + 3*l + 8, l = -3*g + 14. Suppose -g*p + 394 = p + 4*d, 5*d = 5. Suppose -5*r = 2*j - p, 3*r + 86 = 8*r + 4*j. Is r a multiple of 14?
True
Let y(a) = a + 1. Let z be y(-1). Suppose 2*x = -4 + 16. Suppose z = -f + x*f - 200. Is f a multiple of 14?
False
Suppose 13 = 3*s - 2*b - 3, -3*s + 22 = -5*b. Is (34 + -6)*3/s a multiple of 5?
False
Suppose 2*m = -2*d + 238, -2*m - 3*m - 3*d + 591 = 0. Is 13 a factor of m?
True
Let p be 1*0*(-2)/(-6). Suppose 0 = -p*z + 3*z - 198. Is 22 a factor of z?
True
Let a be 15 - 0/(2 + -1). Let z = a + -11. Suppose -u + z*o + 16 = -22, -5*u + 5*o + 205 = 0. Does 15 divide u?
False
Suppose 3*r - 108 = 4*a, -88 = -2*r + 3*a - 15. Is r a multiple of 9?
False
Let d = 12 - 7. Suppose d*l - 3*f = 374, 0 = l + 3*f - 53 - 11. Does 20 divide l?
False
Let p = -14 + 29. Is 4 a factor of p?
False
Suppose -2*b + 14 = -x, 3*b - 3*x = -0*b + 18. Suppose 0 = -n - 0*n + b. Does 8 divide n?
True
Let b = 6 + -9. Let t(h) = 6*h**3 + h**2 - h + 1. Let y be t(1). Let m = y + b. Is m a multiple of 3?
False
Let m be (-50)/(-8) + (-3)/12. Suppose -3*s + 0 = m. Does 7 divide ((-7)/2)/(s/4)?
True
Let k = -2 + -6. Let v = 26 + k. Does 18 divide v?
True
Let d = -120 - -85. Let c = -7 - d. Suppose 3*b - 20 = c. Is b a multiple of 8?
True
Suppose 3*h + 372 = 4*p, 0*p + 2*h + 93 = p. Is 11 a factor of p/9 - 2/(-3)?
True
Let k = 4 + -3. Let v(d) = -d**2 - 1. Let u be v(k). Is (-448)/(-20) + u/5 a multiple of 11?
True
Suppose 34 = -128*i + 129*i. Is i a multiple of 16?
False
Let j(f) = f**2 - 10*f + 2. Is 12 a factor of j(-9)?
False
Suppose 3*f - 104 = 73. Suppose -5*z + f + 36 = 0. Is z a multiple of 13?
False
Let n be ((-3)/(-2))/((-6)/(-20)). Let z = n - 7. Is 8 a factor of z - (0 + 1)*-10?
True
Let b(v) = v**3 - 7*v**2 - 9*v + 12. Let s be b(8). Suppose -s*a = -a - 54. Is 9 a factor of a?
True
Let h(f) = f - 3. Let y be h(5). Suppose 0 = -y*o + o - 3*q + 16, -q = -2*o + 32. Is 10 a factor of o?
False
Let c(o) = -22*o + 1. Let z be c(-1). Suppose -35 = -0*n - 5*n. Let j = z + n. Is j a multiple of 15?
True
Suppose 4*h + 4*v - 21 = 115, -68 = -2*h + 5*v. Does 18 divide h?
False
Suppose 3*t - 2*l = 7*t + 22, -t + 4*l + 17 = 0. Let a be 8/(-12) + (-8)/t. Suppose 4*w = a*x + 42, 0*x = x + 5. Is w a multiple of 8?
True
Suppose 0 - 1 = -n. Is n/(-2 + (-45)/(-22)) a multiple of 22?
True
Suppose -3 = -u + 9. Let m be (-642)/4*u/(-18). Suppose 0 = -4*c + i + m, 2*c + 3*c - i - 133 = 0. Does 10 divide c?
False
Let j(x) = x**3 - 2*x**2 - 3*x + 3. Let z be j(3). Suppose -z*c + 64 = c. Is c a multiple of 16?
True
Suppose 2*u - 26 + 9 = -3*a, -4*a - 64 = -4*u. Is 3 a factor of u?
False
Suppose 2*h = 5*f - 713, -5*f - 4*h + 719 = -0*h. Is f a multiple of 12?
False
Let r be -2*(-3)/4*2. Let d = r + -5. Let b(t) = -6*t**3 - 3*t**2. Is b(d) a multiple of 12?
True
Let r(o) = -o**3 - o**2 - 2*o. Let v(x) = 2*x + 5. Let i be v(-4). Is 12 a factor of r(i)?
True
Let r(h) = h**2 - 4*h - 4. Does 17 divide r(-10)?
True
Suppose -2*u - 32 = x + 4*x, 0 = 5*u + 5. Is (x/7)/(2/(-56)) a multiple of 6?
True
Suppose 0 = -4*c - 3*a - 21, -4*c - 5*a - 1 = -3*c. Let h(y) = -y**3 - 5*y**2 + y - 4. Is h(c) a multiple of 11?
False
Let u = 13 - 8. Let d(h) = h**2 - 3*h - 1. Let v be d(4). Suppose -4*f = -v*f - u. Does 5 divide f?
True
Suppose 3*d - w = 10 + 2, 0 = 2*w. Let g be 2/(0 - d/(-6)). Suppose i = 5*j - 141, 4*j - 2*i - 96 = g*i. Is j a multiple of 10?
False
Suppose 49 = w - 4*z, 0 = 2*z + 3 + 3. Let g be 1*((-6)/(-3) - 17). Let d = w + g. Does 12 divide d?
False
Does 17 divide 4/(16/(-12)) + 71?
True
Let i(v) = 1 + 1 + 12*v**2 - 7*v**2 + v**3. Does 18 divide i(-4)?
True
Let x(n) = 3*n**3 - 41*n**2 - 4*n + 47. Let q(d) = d**3 - 14*d**2 - d + 16. Let s(o) = 8*q(o) - 3*x(o). Is 11 a factor of s(11)?
False
Suppose 3*w = 2*w + 4. Let q(n) = n**2 - 5*n - 10. Let g be q(7). Suppose m - g*a + 2 + w = 0, 3*m = 3*a + 27. Is 7 a factor of m?
True
Let z(o) = -o**3 - 6*o**2 + 7*o. Let t be z(-7). Suppose t*q - 4*q + 52 = 0. Let b = q - 7. Does 3 divide b?
True
Let r be 0 + (1*-51)/(-1). Let v = -47 - -18. Let c = v + r. Is 11 a factor of c?
True
Suppose 0 = 2*r + t - 65, -t - 2*t = 4*r - 125. Is 5 a factor of r?
True
Let v(p) be the third derivative of p**5/60 - 5*p**4/12 + 3*p**2. Let d be v(6). Let k = 5 - d. Is 11 a factor of k?
False
Does 17 divide 6/5 + -1 + 5038/110?
False
Let k be 9 - 11 - 106*-1. Suppose 3*x + l = 3*l + k, -5*x + 148 = 3*l. Is 16 a factor of x?
True
Let h(y) = -y**3 - 6*y**2 - y - 3. Let w be h(-6). Suppose -3*i + 28 = -w*b - 2*b, -i + b + 6 = 0. Is 7 a factor of -15*i/((-10)/12)?
False
Suppose -4*c + 109 = c + 4*y, 4*y - 88 = -4*c. Suppose 53 = m - 5*x, m = 2*m + 5*x - 13. Let j = m - c. Is j a multiple of 6?
True
Suppose 0 = 5*i - 25, 0 = p - 5*p + i + 47. Is p a multiple of 3?
False
Let u(h) = 81*h - 33. Is 31 a factor of u(5)?
True
Let v = 39 - 26. Let h = v - -8. Is h a multiple of 8?
False
Let k be 38/8 - 1/(-4). Let j be (-3)/(-7) - 274/(-14). Suppose k*r = j, 4 = -p + 3*p - 5*r. Is p a multiple of 12?
True
Suppose -d - 3*i = -7 - 22, -2*d - 3*i + 61 = 0. Let q = d + -7. Does 5 divide q?
True
Suppose 0 = 2*v + 9 - 21. Is 3 a factor of v?
True
Let g = 4 - -256. Does 26 divide g?
True
Let z(m) = 35*m - 3. Let h be z(4). Let d = h - 86. Suppose 2*k + 2*s - 102 = -3*s, k + 4*s - d = 0. Is k a multiple of 18?
False
Suppose -5*r = -4*i + i + 12, -3*i + 12 = r. Let b(x) = -6*x + 4 + x**3 + i*x**2 + 5*x - 2*x**3. Is b(3) a multiple of 6?
False
Let h(g) = 48 - g - g + g. Let v = -31 - -31. Does 16 divide h(v)?
True
Let z(p) = -p - 6. Let i be z(-9). Let j = 1 - i. Let k = j - -7. Is k a multiple of 2?
False
Let x = 3 - -2. Suppose -3*i - 5 - 2 = u, -x*i 