s 2 a factor of i(-8)?
False
Suppose -2*d + 3*j + 73 = 0, 4*j = -j + 25. Does 36 divide d?
False
Let a = -12 + 21. Let q = -2 + a. Suppose 3*u - q = 2*u. Is u a multiple of 3?
False
Let n(k) = -k**3 + 3*k**2 + 8*k + 4. Let q(z) = z**3 - 2*z**2 - 7*z - 3. Let u(v) = -3*n(v) - 4*q(v). Let h be u(-4). Let g = h + -12. Is g a multiple of 10?
True
Suppose -4 + 8 = 2*c. Suppose 55 = 3*d - c. Is 12 a factor of d?
False
Let k(o) = o**3 + 5*o**2 + 2*o + 5. Let m be k(-5). Let l = 7 + m. Suppose 0 = g - 30 - l. Is g a multiple of 16?
True
Let f = 0 + -2. Let n(u) = -8*u - 5. Is n(f) a multiple of 4?
False
Suppose 3*u - 7*q + 2*q - 19 = 0, 20 = 2*u + 4*q. Let i(s) = 6*s + 9. Is 19 a factor of i(u)?
True
Let a(p) = 18*p**3 + 2*p**2 + p - 2. Does 2 divide a(1)?
False
Let f be 202/8 + 9/12. Let d = f + -10. Is 11 a factor of d?
False
Let m(q) = -2 + 3 - 2*q**2 - 5*q + q**2. Let s be m(-6). Is 1 - s/((-15)/(-18)) a multiple of 7?
True
Let f = 10 + 26. Does 12 divide f?
True
Let u = -7 - -9. Suppose -4*l = -s - s + 46, -2*s + u*l = -50. Does 13 divide s?
False
Suppose 26 = 2*f + 6. Is 23 a factor of 684/15 + 4/f?
True
Let f(p) = -25*p - 4. Is f(-12) a multiple of 33?
False
Let v(j) = -j**3 - 2*j**2 - 3. Let i be v(-3). Let p(t) = -5 + t**2 - t - 2*t + 3 - t. Does 10 divide p(i)?
True
Let z(n) = -n + 5. Let p be z(9). Let g(r) = 4*r + 6. Let i be g(p). Does 14 divide (3 + -1)*(-95)/i?
False
Let t = 3 + -7. Let k = -11 - t. Let u = k + 29. Does 11 divide u?
True
Suppose 0 = -2*c - 4*q - 260, -3*q + 4*q - 280 = 2*c. Let f = -79 - c. Does 15 divide f?
False
Let y(g) = -g**3 - 16*g**2 + 9*g + 39. Does 35 divide y(-17)?
True
Let n(s) = s**2 + 9*s + 8. Let u be n(-8). Suppose 5*y + u*y = 55. Is 4 a factor of y?
False
Let j = 533 + -155. Is j a multiple of 14?
True
Suppose -4*g + 0*m + 71 = m, 92 = 5*g - 2*m. Is 14 a factor of g?
False
Suppose -c + s = 6*s - 186, 3*c = s + 526. Suppose -c = -3*d - d. Is d a multiple of 13?
False
Let p be -1*(1 - (-1 - -2)). Let n = p - -2. Is n - (0 + 0) - -40 a multiple of 17?
False
Suppose -w - w + 30 = 0. Is 15 a factor of w?
True
Let k = -71 + 100. Does 18 divide k?
False
Is 12 a factor of 2/(-11) + (-134)/(-11)?
True
Let r(f) = f**2 + 6*f - 2. Let i be r(-7). Suppose 5*q = 5*a - 40, -i*a - 3*q = -0*q - 56. Is 4 a factor of a?
False
Let k(q) = q**3 + 2*q**2 + 38. Does 12 divide k(0)?
False
Suppose -48 = -6*t - 6. Is t a multiple of 2?
False
Let r(w) = -w**3 + 9*w**2 - 9*w + 5. Is 27 a factor of r(4)?
False
Suppose -18*u = -14*u - 20. Is u a multiple of 4?
False
Let m = -58 - -92. Is m a multiple of 7?
False
Let r(f) = -f**3 + 5*f**2 - 10*f + 26. Is 2 a factor of r(4)?
True
Does 2 divide 9 + (-4)/(-4 + 8)?
True
Suppose -l - 4*f = -96, 5*f + 192 = l + l. Is 32 a factor of l?
True
Let b = 25 - 18. Is 5 a factor of b?
False
Let k = 151 - 38. Is k a multiple of 44?
False
Let l(p) = p**3 + 8*p**2 + 7*p + 2. Let w be l(-7). Suppose 0 = j - 2*j + w. Suppose -t - 4*t - g = -25, 0 = t + j*g + 4. Is 6 a factor of t?
True
Let o(k) = -2*k**3 - 2*k**2 + 3*k + 3. Suppose -4*g + 18 = 2. Suppose 5*a = -3*u - 1, 3*a = g*u + 1 + 10. Does 4 divide o(u)?
False
Suppose 3*j = 4*g + 437, -88 - 26 = -j - 5*g. Does 11 divide j?
False
Let t = -62 + 107. Suppose -s + 6*w - 2*w + t = 0, 5*s - 202 = -3*w. Is 15 a factor of s?
False
Suppose 2*l = -0*l + 46. Is l a multiple of 7?
False
Suppose -2*w - 2*i = -175 - 219, -5*w + 2*i = -1013. Does 5 divide w?
False
Let g(p) = -p**3 - 9*p**2 - 12*p - 6. Does 13 divide g(-8)?
True
Let a be 5/(40/(-12))*-22. Let u = -14 + a. Is 11 a factor of u?
False
Suppose 4*y + 4 = 0, -5*v + 2*y - y = 4. Let r be (-384)/18 - v/3. Let q = r - -44. Does 17 divide q?
False
Does 18 divide -4 + (-681)/(-3) + -1?
False
Let u(o) = 6*o**2 + 7 - 3*o**2 + 7*o - 4*o**2 - o. Let s be u(7). Suppose -3 = -k - s. Does 3 divide k?
True
Is 1 - -69 - (14 - 10) a multiple of 22?
True
Suppose 0*s - 2*s = 16. Let g(v) = v + 13. Let i be g(s). Suppose i*m = -2*k + 39, -4*m = k - 9 - 21. Is 3 a factor of m?
False
Let p = -136 + 256. Suppose -97 - 79 = -5*f + 4*r, 4*f + 2*r = p. Does 16 divide f?
True
Suppose -5*x - 5 = -4*t, -2*x = -4*t + 3 + 11. Suppose 3*n + 2*q - 55 = 144, -5*q - 340 = -t*n. Is 21 a factor of n?
False
Suppose 5*x - 36 = x. Let j = 23 + x. Does 16 divide j?
True
Let s(b) = 3*b**2 + 3*b + 3. Is 9 a factor of s(5)?
False
Let b(m) = 8*m + 2. Let l(o) = -17*o - 3. Let v = -18 - -13. Let x(y) = v*b(y) - 3*l(y). Is x(3) a multiple of 16?
True
Let o(n) be the third derivative of -n**3 + 0*n - 4*n**2 - 11/24*n**4 + 0 - 1/60*n**5. Is 4 a factor of o(-9)?
True
Let a = -12 + 18. Let u(j) = 4*j**2 - 8*j - 1. Is 22 a factor of u(a)?
False
Let r(h) = h**3 - h**2 + 2*h - 2. Let m be r(3). Is (-1 - -3) + 1*m a multiple of 17?
False
Let j = 4 - -10. Let f = j + -7. Let a = -2 + f. Is a a multiple of 5?
True
Let x(i) = 92*i - 2. Does 12 divide x(1)?
False
Suppose 3*z = 4*b - 9*b + 50, 2*z + 5*b - 25 = 0. Does 9 divide z?
False
Let x be ((-122)/(-8))/(1/8). Suppose 4*w = -8, x = 4*s - w + 4*w. Is 16 a factor of s?
True
Let s(n) = -n**3 + 4*n**2 - 2*n + 1. Let b be s(3). Suppose b*a + 41 = 161. Is 10 a factor of a?
True
Let t(r) = r**3 + 7*r**2 - 5*r + 5. Does 20 divide t(-5)?
True
Let b = -18 - -52. Is b a multiple of 16?
False
Suppose -10*f = -5*f - 50. Is 9 a factor of f?
False
Let w = 4 + 1. Let z(y) = -y**2 + 6*y - 3. Does 2 divide z(w)?
True
Let y = 37 - 23. Let r be (-10)/(-4) - 1/2. Suppose -3*c = -r*c - y. Does 12 divide c?
False
Let m(g) = 19*g + 9. Does 21 divide m(3)?
False
Suppose 2*d - 2*q + 464 = 6*d, -5*d = 4*q - 586. Does 19 divide d?
True
Is 20 a factor of (-15)/10 - 166/(-4)?
True
Let b = 186 + -124. Suppose -z - z + b = 0. Does 20 divide z?
False
Suppose c = -4*i + 308, 5*c - 1489 = -0*i - 3*i. Is c a multiple of 37?
True
Suppose 15 = 4*l + 7. Let n(b) = 11*b - 3. Is n(l) a multiple of 7?
False
Is (10/(-3))/((-5)/405) a multiple of 15?
True
Suppose -4*n + 3*n = 0. Is n - 1*(-9)/3 a multiple of 2?
False
Suppose -5*q - 53 = 5*g - 188, 3*q = -5*g + 139. Is 5 a factor of g?
False
Let l(j) = j**3 - 6*j**2 + 2. Let n be l(6). Suppose -3 = 3*q - n*q. Let s(a) = a**3 + 4*a**2 + 2*a + 2. Is s(q) a multiple of 2?
False
Suppose 16 + 6 = -o. Let t = o - -66. Is 8 a factor of t?
False
Let u be 1/(-3 + (-10)/(-3)). Let v be -101 - u/(-9)*0. Is 8 a factor of v/(-5) + (-1)/5?
False
Suppose 4*y + 3 = 5*y. Let n be 31/2 + y/6. Suppose -3*u = -4*u + n. Is u a multiple of 8?
True
Suppose -4*z = -3*o - 18, -3*o - 2*o - 3*z = 1. Is ((-1)/o)/((-9)/(-72)) a multiple of 4?
True
Suppose -3*o + 3 = -4*o. Let c = o + 3. Suppose 2*l + 5*f = 48, 4*l - 2*f - 144 = -c*f. Is l a multiple of 13?
False
Let h(f) be the first derivative of 5*f**3/3 + 2*f**2 + 2*f - 7. Let b be (-2)/(-5) - 24/10. Does 7 divide h(b)?
True
Is -2*(-106)/(-4)*-1 a multiple of 35?
False
Is 6 a factor of (-182)/(-6) - (-2)/(-6)?
True
Let v be (32/(-10))/((-4)/10). Suppose 4*f - 8 = v. Is 3 a factor of f?
False
Let d(o) = o**3 - 6*o**2 + 7*o + 6. Let h be d(6). Suppose a - h = -3*a. Is 5 a factor of a?
False
Let p(t) = t**3 - 13*t**2 - 8*t + 3. Is p(14) a multiple of 29?
True
Let m = 0 + -1. Let t(f) = -f + 4. Let v be t(3). Is v + (-27)/(m*3) a multiple of 10?
True
Suppose -2*w + 92 + 198 = 0. Suppose -i - 4*i = -w. Is i a multiple of 10?
False
Suppose -19 = -3*r + 5. Is 4 a factor of r?
True
Let k be 84/(3 - 6) - 3. Let z = -19 - k. Is z a multiple of 6?
True
Let f(a) = a**3 - 3*a**2 - 2*a - 3. Let d be f(4). Suppose -d*v - 520 = -w, 3*w = -0*v - 4*v - 435. Is 18 a factor of (-1)/(-2 - v/53)?
False
Suppose 12 = -4*c + 4*t, 2*c + 6*t - 8 = t. Let q be 4/2*c - -7. Suppose x + 2*z = -0*z + 30, -q*z = x - 45. Does 10 divide x?
True
Suppose z - 23 - 41 = 0. Is z a multiple of 16?
True
Suppose 0 = -9*p + 4*p. Let k(l) = l**2 - 5*l - 7. Let b be k(6). Does 5 divide b + (2 - -9 - p)?
True
Let y(s) = -10*s. Suppose -6*i - 20 = -i. Is y(i) a multiple of 15?
False
Let l(d) be the second derivative of d**4/12 + d**3 + 3*d**2/2 + d. Is 10 a factor of l(-7)?
True
Let d = -9 - -13. Suppose -5*n = -3*n - d*o - 8, 0 = 5*n + 5*o - 80. Let z = 47 - n. Does 18 divide z?
False
Let s be ((-6)/15)/((-6)/15). Let d(k) = 18*k**2 - 1. Let y be d(s). Let f = 39 - y. Is f a multiple of 6?
False
Let b be (-10)/35 - (-