- 6. Suppose -5 = r + 3*n + 3, -3*r = k*n. Is r a multiple of 2?
True
Suppose 0*y + 5*y = 180. Is 18 a factor of y?
True
Suppose -d - 3 + 16 = 4*l, -3*l + 3*d = 9. Suppose -5 = -2*s + h - 4*h, -l*h - 6 = 0. Is 7 a factor of s?
True
Let j(i) = -3*i - 1. Let h be ((2 - -1) + 1)*2. Suppose 3*c + 13 = 2*l, h + 1 = -3*c + 3*l. Is j(c) a multiple of 10?
True
Let i(f) = -f**3 - 9*f**2 + f - 6. Let v be i(-9). Let m be (-15)/2 + 1/(-2). Let z = m - v. Does 3 divide z?
False
Let y(r) = 64*r + 21 - 6 - 11 - 6. Does 20 divide y(1)?
False
Let n(k) = k**3 + k**2 - 12*k + 22. Does 14 divide n(5)?
True
Is 5/(-2)*(-24)/5 a multiple of 3?
True
Suppose 12 = 3*s - s. Let w(d) = d + 44*d**2 - s*d**2 - 1 - d + 2*d. Is w(1) a multiple of 20?
False
Let o(f) be the third derivative of -f**4/12 + 2*f**3/3 + 2*f**2. Is o(-8) a multiple of 14?
False
Let f be -1*((-2 - -2) + -1). Let n be -1*1*0/f. Suppose 0 = 5*a + i - 59, 4*i = -a - n*i + 8. Is a a multiple of 7?
False
Suppose 5*w = 2*w + 192. Suppose -w = -0*m - 2*m. Is 8 a factor of m?
True
Let m be (-7)/(-2) + 12/8. Suppose 2*t - 9 = m. Is t a multiple of 7?
True
Suppose -2*s + 0*s = -6. Suppose -7*q - k + 943 = -s*q, 0 = -4*k - 20. Suppose -4*y - t = -q, 2*y = -y + 3*t + 159. Is 23 a factor of y?
False
Suppose 4*j - 7*j + 36 = 0. Let y = j - -14. Does 13 divide y?
True
Suppose -3*t - 72 = -5*t. Is t a multiple of 12?
True
Let v(j) = 4*j**2 - 2*j**2 + 5 - 11*j + 6. Is v(8) a multiple of 9?
False
Suppose h + 6*h - 630 = 0. Is h a multiple of 30?
True
Let y = -175 - -303. Does 16 divide y?
True
Let f = -145 + 205. Does 32 divide f?
False
Let h(y) = y + 11. Let b be h(-5). Is 7 a factor of b + (1 - 0/4)?
True
Let k = 17 + 48. Is 13 a factor of k?
True
Suppose 15 = -3*p - 2*p. Let o(m) = -3*m + 3. Does 5 divide o(p)?
False
Suppose -2*t = -0*t. Suppose -f - 4*f + 200 = t. Is f a multiple of 17?
False
Suppose -5*s + 12 = 3*u - 11, -4*s + 21 = 5*u. Suppose s*f - 3*f + 5*d - 4 = 0, 0 = -5*f - 3*d + 108. Is 17 a factor of f?
False
Let i(z) = -z + 6. Let h be i(6). Suppose 0 = 2*u - 2, 0*c - 5*c + 5*u - 5 = h. Suppose c = -2*f - 5*v + 13, 3*v - 36 = 4*f - 101. Does 4 divide f?
False
Let d(c) be the first derivative of c**2 + 7*c + 2. Let w = -2 - -8. Does 7 divide d(w)?
False
Let p be 2 + 0 - (-2)/1. Let d be ((-2)/p)/(1/10). Does 15 divide 88/5 - 2/d?
False
Let b(w) = -8*w + 0*w + 2*w**2 - 5 - 3*w**2. Is b(-5) a multiple of 10?
True
Let d be (4/6)/((-1)/(-3)). Suppose -z - d*z + 42 = 0. Is z a multiple of 7?
True
Let i be 1 + 1/(2/4). Suppose 0 = -4*r + 3*q + 13, -5*q + q - 8 = -i*r. Suppose 0 = -r*z + 16 + 48. Is 8 a factor of z?
True
Suppose 3*r - 30 = 12. Is 7 a factor of r?
True
Suppose 14 + 15 = d. Does 29 divide d?
True
Let s(u) = 7*u. Let o(t) be the third derivative of -t**4/24 - t**3 - t**2. Let q be o(-9). Is s(q) a multiple of 12?
False
Let x be (1/2)/(2/148). Suppose 0 = -4*t + 3*q - 69, t - 3*t = q + x. Does 15 divide -1 - 1 - (t + 1)?
True
Is (-341)/(-3) + (32/12)/(-4) a multiple of 9?
False
Let d = 85 - 53. Is 15 a factor of d?
False
Suppose h - 1080 = -5*h. Is 16 a factor of h?
False
Let v(j) = -33*j - 1. Let c be v(1). Let r be 2/3 + c/(-3). Suppose x + r = 2*x. Is x a multiple of 12?
True
Suppose 15 = -2*v + 5*v, -4*m + v - 9 = 0. Let f = m + 19. Is 6 a factor of f?
True
Let b(j) = 125*j**2 + j + 1. Let v be b(-1). Suppose -l + v = 3*l + t, 148 = 5*l + 4*t. Does 16 divide l?
True
Suppose 3*j - 2 + 1 = 5*n, -6 = -4*n - j. Let z = 3 - n. Is (z - 0) + (1 - -11) a multiple of 7?
True
Let y(g) = -g**3 + 5*g**2 - g. Let j be y(4). Let b(u) = -u**2 - 11*u - 8. Let a be b(-7). Let q = a - j. Does 8 divide q?
True
Let o = -5 - -7. Suppose q = -z + 17, -3*z - o*q = 2*z - 73. Is z a multiple of 13?
True
Let k = 3 - -21. Does 24 divide k?
True
Let j = 5 + -4. Suppose 1 = 5*o + 2*s, 4*o - 1 = -2*s + j. Is 10 a factor of o + (69*1)/3?
False
Let s(n) be the first derivative of n**4/2 - 5*n**3/3 + 2*n**2 + n - 5. Is s(3) a multiple of 11?
True
Let n = 80 - 116. Is 16 a factor of (n/(-3))/(2/8)?
True
Let l(d) = -d. Let o be l(7). Let v = 9 - o. Is 12 a factor of v?
False
Suppose 4*z - 42 = 2. Suppose 4*w - z = 37. Is 3 a factor of w?
True
Let s = -8 + 5. Let r be (4 - s) + 0 + 0. Suppose r*y - 4*y = 51. Does 6 divide y?
False
Suppose 4*c - 3*q + 224 + 97 = 0, 0 = -3*q - 3. Let f = -47 - c. Suppose 2*x = 5*u + f, 0 = 4*x + u - 4*u - 82. Is x a multiple of 13?
False
Suppose -22 = -3*o - 2*n, -o + 0 = 4*n + 6. Suppose 9 = 5*q + 2*l - 17, 3*q + 4*l = o. Is 3 a factor of q?
True
Is 3 a factor of (8 + -6)/(2/31)?
False
Let g(m) = -m**3 + 1. Does 2 divide g(-1)?
True
Suppose -2*v - 2*m = -48, 0 = -2*v + 4*m - 20 + 74. Let f = 39 - v. Suppose f = 4*r - 2*r. Does 7 divide r?
True
Let q be 1 + (-20 - -4)*-1. Suppose -7*t + q + 4 = 0. Is 2 a factor of t?
False
Let l = 131 + -94. Let c = l - 19. Is c a multiple of 12?
False
Let b = 182 - 106. Is b a multiple of 19?
True
Let y be 1/(-3) - (-291)/9. Suppose x + 4*l - y = -4*x, x - 10 = l. Does 8 divide x?
True
Suppose 5*n + 5*z = 30, -5*n - 3*z = -2*z - 30. Let u(v) = -v**2 + 8*v - 6. Let m be u(n). Suppose -5*y = -3*i - 82, -y - m*i - 6 = -i. Is y a multiple of 6?
False
Let t(r) = -8*r - 8. Let o be t(-6). Suppose y + 4*p - o = 3, 2*y - 5*p - 34 = 0. Does 9 divide y?
True
Let d = -29 - -75. Let g = -28 + d. Does 9 divide g?
True
Suppose -4*a = 4*m - 814 + 262, -15 = 3*a. Is 45 a factor of m?
False
Suppose 11*v - 561 = -0*v. Is 13 a factor of v?
False
Let z(a) = -a**3 - 7*a**2 + a + 10. Let m be z(-7). Let w = 107 + -63. Suppose -r - w = -m*r. Does 11 divide r?
True
Suppose 3*w - 135 = -33. Is 12 a factor of w?
False
Suppose -117 = 2*a + 3*y - 32, 5 = y. Let x = -28 - a. Does 9 divide x?
False
Let c(d) be the third derivative of d**8/6720 + d**7/1680 + d**6/240 - d**5/60 - d**2. Let j(y) be the third derivative of c(y). Is j(-2) a multiple of 9?
True
Suppose 0 = -2*m + 2*w - 184, -2*w = -4 - 4. Let p = -59 - m. Suppose 4*l + p - 101 = 2*z, 0 = 4*l + 4*z - 84. Is 8 a factor of l?
False
Let f be (-1 - 0) + (5 - -282). Suppose -5*r + 15 = 0, 0*r = 4*k + 2*r - f. Is k a multiple of 18?
False
Let h(s) be the third derivative of s**4/4 + 7*s**3/6 - 10*s**2. Is 13 a factor of h(9)?
False
Let n(s) = 3*s**2 - 18*s - 9. Let t(b) = 2*b**2 - 12*b - 6. Let k(x) = 5*n(x) - 8*t(x). Let l be k(5). Let r = -2 + l. Does 5 divide r?
False
Let u(h) = -h**2 - 9*h + 1. Let o be u(-9). Is 15 a factor of ((-16)/3)/(o/(-3))?
False
Let d = -6 + 10. Suppose -2*g + d*g = 16. Is 4 a factor of g?
True
Is 22 a factor of 87 - (-2 - -1)*1?
True
Does 6 divide (2*12)/4 + 0?
True
Let y be 62 + -4*(-3)/(-6). Let u(w) = w**2 - w + 2. Let j be u(2). Suppose -i = j*i - y. Is i a multiple of 6?
True
Suppose -2*c - 4 = -2*i - 2*i, 0 = 4*c - 4*i. Let x(t) = 25*t**2 - 4*t - 9. Let q(d) = 12*d**2 - 2*d - 4. Let h(r) = 9*q(r) - 4*x(r). Does 15 divide h(c)?
False
Let b(t) be the second derivative of t**4/12 + t**3 - 3*t. Let l be b(-6). Suppose -4*a + 68 = -l*a - 4*w, 4*a = -5*w + 113. Is a a multiple of 11?
True
Let r be (-16)/(-6)*2*15. Suppose -5*n + 2*w + r = -70, -4*n + 5*w = -137. Is 18 a factor of n?
False
Suppose 0 = 3*t - 4*t + 104. Does 19 divide t?
False
Let n(h) = h**2 - 3*h + 3. Let a be 2/3 + 134/6. Suppose a = 5*u + 3. Does 6 divide n(u)?
False
Let i = -53 - -77. Let r be (i/(-9))/(4/(-6)). Suppose 3*k + k = -u + 21, 0 = -2*k + r*u + 6. Is 5 a factor of k?
True
Let m(a) = a**2 + 3*a + 2. Let i be m(-4). Suppose w + w + i = 0. Let b(v) = -2*v**3 - 4*v**2 - 2*v + 3. Is 11 a factor of b(w)?
False
Suppose 92 = -0*r + 4*r. Suppose 5 = -b - 0. Let v = r + b. Does 18 divide v?
True
Let g = 8 - -7. Is 200/g - 2/(-3) a multiple of 12?
False
Let k be 16/24 + 2/(-3). Suppose 13*j - 10*j - 12 = k. Is 4 a factor of j?
True
Let j(c) be the third derivative of c**5/60 - c**4/4 + c**3 - 3*c**2. Is j(7) a multiple of 13?
True
Let d(g) = 19*g**3 - g**2 + 3*g - 5. Is 19 a factor of d(2)?
False
Let o = 19 - 17. Suppose -o*i = 5*d - 35, 5*i - 5*d - 90 = 2*i. Is i a multiple of 13?
False
Suppose -2*q = 3*l + 2*q - 354, 0 = 3*l - q - 354. Does 14 divide l?
False
Suppose 0 = -3*r + 128 - 35. Let v(u) = 2*u + 26. Let w be v(-21). Let q = w + r. Does 15 divide q?
True
Does 5 divide 1/(-8) + (-153)/(-8)?
False
Suppose 9*a + 592 = 7*a. Is 12