 - 12. Is 7 a factor of s(3)?
False
Let m = 6 - 8. Let b be 8 + 0 + m - 3. Suppose 8 = -b*t + 68. Is t a multiple of 5?
True
Suppose 2*h - 3*q = -q + 5188, -2*h + q + 5187 = 0. Is 162 a factor of h?
False
Suppose -2*t + 0*v = v - 4, 0 = 5*t + 5*v - 5. Suppose -4*u - 8*o + 145 = -t*o, 0 = 5*o - 5. Is 10 a factor of 2/(-7) - (-2495)/u?
False
Let t(b) = -b**3 - 21*b**2 + 49*b - 44. Is t(-24) a multiple of 19?
False
Suppose 0 = -3*s - 4*v + 1587, -1352 = -5*s + 2*v + 1267. Is 25 a factor of s?
True
Suppose 18 = -2*z + 218. Is (-3 - -2) + (z - -6) a multiple of 11?
False
Suppose 2*l = -3*j - 4, -4*j - 5*l - 14 = -4. Let i(h) = -h**2 - 2*h + 30. Is 10 a factor of i(j)?
True
Let y(c) = -c**3 + 7*c**2 + c - 30. Is 92 a factor of y(-4)?
False
Let r = 71 - -164. Suppose 83 - 71 = 3*q. Suppose t = -q*t + r. Does 12 divide t?
False
Let b(p) = 65*p + 1. Let m be b(2). Let s = m + -82. Does 7 divide s?
True
Let w(f) = 7*f**3 - f**2 + f - 2. Let t be 0 + (3 - (1 + 17)). Let o = t + 17. Is 11 a factor of w(o)?
False
Suppose -18 = -6*n + 6. Suppose 156 = n*z - 5*c, -2*z - 5*c + 82 = z. Let d = z - 10. Does 11 divide d?
False
Is ((9 + 9)*-12)/((-2)/3) a multiple of 6?
True
Does 10 divide 5/(((-2)/8)/(-3 + -1))?
True
Suppose -f - 4222 = -4972. Is f a multiple of 8?
False
Let o(b) = b**3 + 2*b**2 - 4*b - 8. Suppose -5*k + p + 23 = 0, -3*p - 26 = -5*k - p. Does 32 divide o(k)?
False
Let s be (-12)/15*10/(-4). Let o be 2/s*-1 + -8. Let l(u) = -2*u + 3. Is 7 a factor of l(o)?
True
Is 3 a factor of (-720)/(-14) - (-9)/(-21)?
True
Let r(t) = 8*t**2 - t - 5. Suppose -11 + 2 = 3*x. Does 5 divide r(x)?
True
Let w be -7 - -8 - (-24 - -1). Suppose -2*r + 24 = -w. Suppose 2*h = 3*h - 4*a - 24, 4*a = -3*h + r. Does 8 divide h?
False
Suppose -19*c = -6*c - 91. Suppose c*u + 299 = 929. Does 6 divide u?
True
Suppose 0*m + m = -d + 200, -3*d + 4*m + 579 = 0. Let a = 381 - d. Is 46 a factor of a?
True
Let v(p) = -p**3 + 5*p**2 + 8*p - 9. Let l be v(6). Suppose 5*h = g + 377 + 214, l*h + 2*g = 352. Is h a multiple of 46?
False
Suppose l + 372 = -4*k, -k - 2*l - 100 = -0*k. Let w = -54 - k. Is 18 a factor of w?
False
Suppose 13*i = -12*i + 35750. Does 143 divide i?
True
Let w = -39 - -44. Suppose -u = 2*u - 3*k - 435, w*k = 2*u - 281. Is 37 a factor of u?
True
Let y = 1449 - 801. Is 27 a factor of y?
True
Let s(m) = -2339*m - 48. Is 100 a factor of s(-1)?
False
Let x(c) = c**3 - 12*c**2 + 10*c + 15. Let y be x(11). Suppose y*r = -5*d + 127, 5*d + 75 = 4*r - 22. Suppose v - r = -12. Is v a multiple of 15?
False
Let t be (-13)/((-39)/216) + 4. Let c = 261 - t. Is c a multiple of 19?
False
Let i(h) be the third derivative of -7*h**4/24 - 17*h**3/3 - 17*h**2. Is 6 a factor of i(-6)?
False
Let q = 874 + 2179. Is q a multiple of 34?
False
Let z = 368 - -32. Let i be (24/10)/(12/z). Let w = -29 + i. Is 18 a factor of w?
False
Let s(q) = q**3 + 7*q**2 + 12*q - 66. Is s(7) a multiple of 31?
False
Suppose 5*i + 152 = 4*w, 2*w + 0*i - 62 = -i. Does 27 divide w?
False
Suppose 11550 = 33*r - 3*r. Is r a multiple of 20?
False
Suppose 0 = -5*t + 22 - 7. Suppose 5*p - v - 239 = -2*v, 2*v = -t*p + 142. Is p a multiple of 16?
True
Suppose -5*z + 2 = v, -7*v + 3*v = -z - 50. Let j(c) = -c**3 + 15*c**2 - 26*c + 6. Does 18 divide j(v)?
True
Suppose 46*d = 58*d - 14160. Is 59 a factor of d?
True
Let z(w) = 8*w**2 + 51*w - 4. Does 11 divide z(-9)?
False
Suppose 4*b - 6*b + h = -1101, -4*h - 2754 = -5*b. Is 10 a factor of b?
True
Is 22 a factor of 5/4 + (-359)/(-4) - 1?
False
Let t(x) = 14*x**2 - 5*x**2 - 8*x**2. Let i be t(3). Suppose -i*b = -8*b - 48. Does 12 divide b?
True
Suppose -4*r + 63 = -5*a - 104, -a = 2*r - 73. Does 7 divide 16/40 + (-3)/((-15)/r)?
False
Suppose 0 = k + 2*k + 3*n + 9, 4*k = n + 3. Suppose k = 2*h + 2*h + 28. Is 28 a factor of (-591)/h - 6/14?
True
Let t(n) = -n**3 + 2*n**2 + 3*n. Let v be t(3). Is 3 a factor of (13 - 7) + -6 - (v + -30)?
True
Suppose -4*b - c + 15 = b, 0 = 5*b - 3*c - 15. Is 12 a factor of 3/(-6 + b) - -13?
True
Let s(a) = -254*a - 1 - 4 + 272*a. Is s(1) a multiple of 13?
True
Let c(l) = l**3 + 3*l**2 - 8*l - 5. Is 12 a factor of c(3)?
False
Let p = 517 + 55. Is p a multiple of 25?
False
Let u = 13 + -24. Let g(k) = -k**2 - 10*k - 6. Let q(x) = x - 1. Let h(z) = g(z) - 3*q(z). Is h(u) a multiple of 19?
True
Let j = 1147 + 446. Does 45 divide j?
False
Suppose 54*x = -39182 + 137300. Does 23 divide x?
True
Suppose -4*u = 4*u + 2*u. Is 986/8 + (5/(-20) - u) a multiple of 15?
False
Let o(m) be the second derivative of m**5/15 - m**4/8 + 7*m**3/6 - 6*m. Let g(f) be the second derivative of o(f). Does 13 divide g(6)?
False
Let b(x) be the third derivative of x**4/4 + 85*x**3/6 + 41*x**2. Is 7 a factor of b(0)?
False
Suppose -3*u - 3*w = 447, 3*u - 148 = 4*u + 2*w. Let l = -20 - u. Is 28 a factor of l?
False
Is (16/(-5))/(20/(-650)) a multiple of 7?
False
Let o(d) be the first derivative of 3*d**2 - 13*d - 19. Does 5 divide o(13)?
True
Let i(x) = x**3 - 4*x**2 + 3*x - 8. Let u be i(4). Suppose u*m - 342 = -2*q, -4*m = -4*q + 5*q - 163. Does 23 divide q?
False
Let m = 71 + -66. Suppose -3*v + 390 = -3*k, 4*v + m*k = -0*k + 511. Is 14 a factor of v?
False
Let p(s) = s**2 + 3*s - 2. Is p(2) a multiple of 8?
True
Suppose -4*u + 1011 = z, 5*u - 3*z + 653 = 1921. Is 73 a factor of u?
False
Let k(d) = 2*d - 14. Let z be (22/6)/((-6)/(-18)). Is k(z) a multiple of 4?
True
Is 50 a factor of (-2086)/(-3)*(-14 - (-592)/32)?
False
Suppose -p = -3*z - 36 - 29, p - 105 = 5*z. Let l = -15 - z. Let a = l + 22. Is a a multiple of 6?
False
Let y = 7 - 4. Let r = -1 + y. Is 10/r + 4 + -2 a multiple of 2?
False
Let f = -17 - -80. Suppose f*v = 59*v + 776. Is 28 a factor of v?
False
Let m(i) = -4*i**3 + i + 1. Let q be m(-1). Suppose -2*v - 3*v + q*l + 756 = 0, -4*l + 156 = v. Does 31 divide v?
False
Is 969 - 58 - (8 + 2) a multiple of 45?
False
Let c(v) = 44*v - 92. Does 49 divide c(12)?
False
Let l = -24 - -26. Suppose a + a - 10 = 0, -l*y = -3*a + 9. Does 3 divide y?
True
Suppose 0*s = -s - 4*v + 10, 3*v + 2 = 4*s. Suppose 0 = -4*g - s*d + 166, -5*g + d + 221 = -d. Does 14 divide g?
False
Let z = -16 - -16. Suppose -15 = -w - z. Is -1 - (w*-5 + -1) a multiple of 12?
False
Suppose 13 = 2*g - 219. Suppose -4*a = 2*z - 26, z - 6*z + 41 = 4*a. Suppose 0 = 2*h + 4*m - g, -a*m = 2*h - h - 68. Is 16 a factor of h?
True
Let s = -1719 - -3019. Does 8 divide s?
False
Let f be (-13)/(-52) + (-2497)/4. Let w be (-6)/(-4)*f/(-9). Suppose 0 = -4*y + 4 + w. Is 9 a factor of y?
True
Let i be 26/39 + 8/6. Suppose 25 = -i*s + 175. Does 13 divide s?
False
Suppose 0 = -5*l - 5*o + 1295, -3*l + 4*l + 4*o - 247 = 0. Suppose -d = 5*j - l, -5*j - 2*d = d - 259. Is 9 a factor of j?
False
Let s be (-10)/8 + 1551/44. Suppose -4*p + s = -30. Is 17 a factor of (-8)/p - (-103)/2?
True
Let h(c) = 113*c + 3. Let b be h(5). Suppose b = -10*f + 14*f. Does 14 divide f?
False
Let d be -2*1/1*-7. Suppose -d = 3*q - 26. Suppose -4*m + 6 = f - 6, 3*m = -q*f + 48. Is f a multiple of 3?
True
Suppose g = -4*a - 219, 2*g = -2*a + 29 - 131. Let l = 78 + a. Is l a multiple of 19?
False
Let j = -98 - -123. Suppose j = -z + 93. Is 9 a factor of z?
False
Let i(l) = l**2 + 4*l + 1. Let s(j) = -3*j + 13. Let u be s(6). Is i(u) a multiple of 6?
True
Let f(i) = -9*i**2 - 2*i - 1. Let s(x) = 18*x**2 + 3*x + 2. Let l(p) = 7*f(p) + 4*s(p). Let h be 4/(4/6*-3). Is 10 a factor of l(h)?
False
Let s = 736 - 384. Does 16 divide s?
True
Suppose -6*o = -o - 2*v - 845, 2*o - 4*v - 354 = 0. Suppose y - o = 5*c, -4*y + 727 = y + 2*c. Is 21 a factor of y?
True
Suppose -8*v = 440 - 1488. Does 2 divide v?
False
Let i be (-26 + 10)/(2/5). Let h = i - -70. Does 5 divide h?
True
Let s(q) = -35*q + 15. Let a(j) = 2 + 4*j + 13*j - 9. Let i(c) = -5*a(c) - 2*s(c). Is i(-3) a multiple of 26?
False
Let i = -196 - -340. Does 12 divide i?
True
Suppose 5*w = 4*c - 5, -c - 2 = 3*w - w. Let n be -19 - w*(-6)/(-2). Let q = 40 - n. Is 28 a factor of q?
True
Let d(o) = -5*o + 41. Does 4 divide d(-23)?
True
Suppose 6 = 5*g - 3*g. Suppose k + 232 = -q + 4*q, -236 = -g*q + 5*k. Let c = q + -50. Is 10 a factor of c?
False
Suppose 2*y - j = 18, -y - 16 = -2*y - 3*j. Suppose 5*u - y = -0*u. Suppose -2*v + 6 = 0, -2*i + 140 = u*i + 4*v. Is i a multiple of 8?
True
Let k = 