4. Is 9 a factor of k(s)?
True
Suppose -98 - 62 = -5*n. Is n a multiple of 32?
True
Is 5 a factor of 2*(-4 + (-116)/(-8))?
False
Suppose 4*x + 66 = 2*r, r = x + 7 + 11. Is (x/12 - -2)*4 a multiple of 2?
False
Let a = -8 - -11. Suppose -2 = -a*q + 4. Is q a multiple of 2?
True
Suppose 4*k - 400 = -96. Suppose -k = -4*x - y, -5*x = y - 140 + 45. Is 19 a factor of x?
True
Suppose -150*c + 152*c - 196 = 0. Is 14 a factor of c?
True
Let i(f) = f**3 + 10*f**2 + 6*f + 5. Is 18 a factor of i(-9)?
False
Suppose 7*t - 194 = 2*t - 4*y, 5*t - 3*y - 222 = 0. Is 7 a factor of t?
True
Suppose 0 = 2*u + u + 147. Suppose 148 = -2*f - 14. Let v = u - f. Is 16 a factor of v?
True
Let i(f) be the first derivative of 2 + 1/2*f**2 + 12*f. Does 10 divide i(11)?
False
Let l be 0 + (0 - 4*-1). Let b(x) be the first derivative of 3*x**2 + 3*x - 2. Does 15 divide b(l)?
False
Suppose 4*r = 0, -7*r + 12 = 4*j - 2*r. Suppose 3*o + v = 2*v + 47, 0 = 2*o - j*v - 22. Suppose 2*q + 5*h = 61, -q + o + 19 = -3*h. Does 11 divide q?
True
Suppose p - 6*p + 105 = 2*k, -2*k - 2*p + 114 = 0. Is 15 a factor of k?
True
Let h(q) = q**2 - 10*q + 7. Let m = 47 - 28. Suppose 5*v - 31 = m. Does 7 divide h(v)?
True
Suppose 2*b - 11 = -r, -5*b - 1 = -4*r - 48. Is 5 a factor of b?
False
Let b be (-2)/((-5)/(30/(-4))). Is 29 a factor of 2/b*24*-4?
False
Let b(p) be the third derivative of -19*p**4/24 + 2*p**3/3 + 2*p**2. Let d be b(-4). Suppose 3*m - m = -5*z + d, 0 = m. Does 9 divide z?
False
Suppose 4*m + 92 = 2*d, 4*m - 3*d + 70 = -24. Let n = m + -77. Is 7 a factor of ((-4)/(-6))/((-6)/n)?
False
Let a = 13 + -11. Suppose a*w - 30 = 90. Does 13 divide w?
False
Let c = 156 + -108. Is 18 a factor of c/9*27/4?
True
Let l(w) = -w**3 + 8*w**2 + 9*w + 5. Let m be l(9). Suppose 15 = 4*o + 5*h - 5, -3*o - 20 = -5*h. Suppose m*t = -o*t + 40. Does 6 divide t?
False
Let m be -5 + 4 + (-11)/1. Does 9 divide 66/8*(-32)/m?
False
Let g = 163 + -92. Suppose -2*l - b + 4 = -22, 4*b = -5*l + g. Is l a multiple of 11?
True
Let x = -37 - -79. Let l = -4 + x. Is 23 a factor of l?
False
Let r(y) = -2*y**3 - 5*y**2 - 1. Let a be r(-4). Suppose -a = -5*c + 3. Does 4 divide c?
False
Let c(p) = -p**3 + p + 21. Let h(s) = s**3. Let g be h(0). Suppose g = z + 3*z. Is c(z) a multiple of 21?
True
Let r = -20 - -44. Suppose -2*j + r = -6. Does 6 divide j?
False
Let f = 16 + -10. Suppose f*v = v. Is (-2 + v - -1) + 21 a multiple of 10?
True
Let x = -16 + 23. Is 5 a factor of x?
False
Let k(q) = q**3 + 12*q**2 - 13*q + 13. Does 2 divide k(-13)?
False
Suppose 2*y = -127 + 775. Does 12 divide y?
True
Let y be 15/(0 + 9/(-6)). Let u(n) = -n + 9. Let t be u(y). Does 14 divide -3 - (-3 - 0 - t)?
False
Let d(u) = 44*u - 34. Is 47 a factor of d(8)?
False
Let c = 7 + -2. Suppose 40 - 5 = c*n. Does 2 divide n?
False
Suppose -5*x + 4*x + 105 = 0. Is x a multiple of 21?
True
Suppose 14 = d - 8. Let h be (6/12)/((-1)/d). Let k = 28 + h. Does 6 divide k?
False
Let x = 121 - 67. Let v be 2052/21 - 2/(-7). Let g = v - x. Is g a multiple of 19?
False
Suppose -4*c + 60 = -c. Is 8 a factor of c?
False
Suppose 5*p = -4*t - 149, -73 = 3*t - 4*p - 0*p. Let x = 53 + t. Is x a multiple of 20?
False
Suppose 3*d = 3*w + 963, -3*d + 6*w = w - 969. Does 53 divide d?
True
Let a be 4/14 + 75/7. Suppose -2*f + a = 163. Let u = -46 - f. Does 15 divide u?
True
Let s = 16 - 0. Is 8 a factor of s?
True
Suppose 12*f - 2004 = -0*f. Does 40 divide f?
False
Let y(x) = x + 2. Let w be y(3). Suppose w = 4*o - 47. Does 10 divide o?
False
Let q be (-1)/(2/(-8)) + 1. Suppose -5*n = -q, -4*n + 24 = 2*h - 0*h. Let b(t) = t**3 - 10*t**2 + 3*t - 9. Is 8 a factor of b(h)?
False
Let j(x) = x + 21. Let i be j(-14). Let q(d) = 2*d - 10. Is 4 a factor of q(i)?
True
Suppose 5*l - 35 = -2*m, 4*l + 85 = 4*m + 9*l. Is m a multiple of 6?
False
Let m(n) = -4*n + 5. Let i(h) = -5*h + 5. Let c(d) = -5*i(d) + 6*m(d). Is 9 a factor of c(4)?
True
Let r(q) = 5*q + 2. Let f(n) = -9*n - 4. Let m(t) = 2*f(t) + 5*r(t). Is m(4) a multiple of 15?
True
Let n = -33 + 21. Let k = 18 + n. Does 3 divide k?
True
Let z(h) = h + 8. Let t be z(-7). Suppose -2*b + 5*l = -4*b + 11, -4*b - 3*l + 29 = 0. Does 9 divide t - b/((-2)/2)?
True
Let v be 3/(-2) + 1/(-2). Does 16 divide (8/(-6))/(v/24)?
True
Let m be 2 - (2 + -3) - -1. Let k(q) = -15*q - 2 + 4 - m. Is 23 a factor of k(-3)?
False
Suppose -52 = 2*m + 2*m. Let o = -5 - m. Let x = o + -5. Is x a multiple of 3?
True
Suppose 0 = -n - 2*h - 5, 2*h = -0*n + n + 1. Let m be 0/(n + -1 + 3). Is m + 0 - 38/(-2) a multiple of 19?
True
Let r(j) = 3*j**2 + 6*j - 5. Is r(4) a multiple of 20?
False
Let t = 15 - 11. Suppose t*p + 30 = 6*p. Is p a multiple of 7?
False
Suppose 0 = -l - 4*m + 43, -5*m = -4*l - 0*l + 151. Does 13 divide l?
True
Suppose -4*g + 2*g = -6. Suppose 3*n + 0*q + 5*q = 99, -g*q = 5*n - 149. Is 7 a factor of n?
True
Suppose -4*b + 3*b = -2*t, -4*b = 4*t - 24. Suppose 4 = t*a + 2*h - 0*h, -4*a - 3*h = -10. Is 2 a factor of a?
True
Does 16 divide (-2)/8 - (-394)/8?
False
Suppose -14*h - 308 = -15*h + u, 3*h - 5*u - 930 = 0. Does 61 divide h?
True
Suppose 0 = 12*s - 346 - 26. Does 6 divide s?
False
Let r be (-74)/(-14) - 2/7. Suppose 4*n - 12 = -3*f, -4*n + 7 + 5 = -3*f. Suppose 0 = -2*m - m + q + 26, r*m + 5*q - 50 = f. Is 4 a factor of m?
False
Suppose -102 = 2*q - 222. Is q a multiple of 20?
True
Is 392/8 + 1/1 a multiple of 25?
True
Let i(z) be the second derivative of z**5/20 - 3*z**4/4 + 5*z**3/3 + z**2 + 2*z. Is 5 a factor of i(8)?
False
Suppose 5*n - 460 = -4*v, 0*n + 5*n = -3*v + 455. Is n a multiple of 22?
True
Let f(m) = -8*m**2 + m - 1. Let v be f(2). Let z = -22 - v. Does 5 divide z?
False
Let z(f) = -6*f**2 + 21*f - 26. Let k(n) = n**2 - 4*n + 5. Let t(o) = -11*k(o) - 2*z(o). Does 16 divide t(5)?
True
Let q be ((-80)/25)/((-4)/10). Suppose -4*v - d = -227, 4*d - 252 = -4*v + q*d. Does 21 divide v?
False
Suppose b + 4*b = 0. Let v = 4 - b. Suppose v*t = 3*n + 120, 4*t + 2*n - 120 = -0*t. Is 15 a factor of t?
True
Let p(v) = 42*v**3 - 3*v**2 + 3*v - 3. Let o be p(2). Suppose 4*c - 3*i - 450 = 0, -3*i = 5*c - 2*c - o. Suppose 5*z = -c + 291. Does 16 divide z?
False
Let n be 4/(-16) + 522/8. Suppose 4*l - n - 8 = x, -58 = -3*l + 4*x. Let s = -8 + l. Is 6 a factor of s?
False
Let h(v) = -24*v - 3. Let x be h(4). Let b = x + 157. Suppose 0 = 3*o - 26 - b. Does 12 divide o?
False
Let a = 28 + -17. Suppose 0 = 5*m - a - 69. Is m a multiple of 16?
True
Let x = 65 - 39. Is 17 a factor of x?
False
Let d = -489 + 879. Does 30 divide d?
True
Suppose f - 3 = -0*f. Suppose -d = 4*x - 93, f*x + 0*x - 3*d = 51. Is 11 a factor of x?
True
Suppose 5*r = -3*f - 122, 4*r + 54 = -f - r. Let u = f - -75. Is 20 a factor of u?
False
Suppose 4*q - 256 = 184. Is q a multiple of 10?
True
Suppose 0 = -0*m + 2*m - 12. Let y be ((-3)/m)/(2/(-16)). Is 11 a factor of 111/y - (-1)/4?
False
Let a(r) = -3 - 37*r + 2 + 29*r. Let h = 2 - 4. Is a(h) a multiple of 6?
False
Let w(y) be the third derivative of y**4/24 + 5*y**3/3 + 9*y**2. Is w(14) a multiple of 12?
True
Suppose -13 - 3 = -4*p, 5*p - 35 = 5*g. Let a = 3 + g. Suppose 2*r - 3*r + 5 = a. Does 5 divide r?
True
Let t be (-18)/3*(-1)/(-2). Let i = 1 + t. Let a(o) = -8*o + 1. Is 10 a factor of a(i)?
False
Suppose s + s + 4*a = 14, 2 = a. Suppose 5*f = 2*y + 158, -2*f - s*y + 131 = 2*f. Is 8 a factor of f?
True
Let k(x) = -x**2 + 6*x + 4. Suppose -3*a - y = -14, -2*y - 18 = -4*a - 4*y. Is k(a) a multiple of 3?
True
Let n = -70 - -98. Is 3 a factor of n?
False
Let g = 44 - 21. Is 15 a factor of g?
False
Suppose -u + 1 = -0*u. Suppose 13 = -2*o - 2*m - u, 4*m - 12 = 0. Is 6 a factor of 2/1 - 2 - o?
False
Suppose -2*h - 3*u - 174 = u, 4*h = -u - 334. Let k = h + 130. Suppose -5*j + 0*j = -4*b + k, 3*b = 5*j + 39. Does 8 divide b?
True
Let o be (-33)/7 - (-6)/(-21). Let t = 19 + o. Is 7 a factor of t?
True
Let r = -266 - -399. Does 15 divide r?
False
Let l(u) = -34*u + 1. Let m be l(-1). Let s = 51 - m. Does 16 divide s?
True
Let z = 35 - -53. Does 22 divide z?
True
Let s(d) = -3*d**3 + 2*d**2 + 4*d + 3. Suppose -4*g + 4*j - 1 = -j, -j + 17 = -5*g. Let o = g - -2. Is 19 a factor of s(o)?
False
Suppose d + d = 0. Suppose d + 18 = 3*h. Is 3 a factor of h?
True
Let d(u) = u**2 + 8*u - 9. Let j be d(-9). Suppose 144 = -j