 6. Is 2 a factor of d?
True
Suppose v = 5*v + n - 273, -4*v + 5*n = -267. Let g = 48 - v. Let a = g - -50. Is a a multiple of 15?
True
Suppose -5*l = -157 - 23. Is 5 a factor of l?
False
Let k(h) be the second derivative of -h**3/6 + h**2 - h. Suppose 2 = -5*l - 18. Is k(l) a multiple of 3?
True
Let v = -2 - -1. Let n(x) = 9*x + 1. Let l(k) = -k + 1. Let z(u) = 2*l(u) - n(u). Does 12 divide z(v)?
True
Let j = 17 + -18. Is 21 a factor of (2/(-4) - j)*42?
True
Does 2 divide 153/6 - ((-1)/(-2))/(-1)?
True
Suppose m - 4*d = -11, -2*m + 6*d + 6 = 5*d. Let p(z) = z - 3. Let k be p(m). Suppose -k*r - 2*v + 11 = v, 3*r - 54 = 3*v. Is r a multiple of 13?
True
Let u(a) = 4*a - 2. Suppose -5*n + 23 + 2 = 0, o + 11 = 4*n. Is u(o) a multiple of 24?
False
Suppose -3*c + 39 + 105 = 0. Does 16 divide c?
True
Suppose -182 = -a - 64. Is a a multiple of 23?
False
Let v = 1 - -43. Is v a multiple of 22?
True
Let n = 5 - 8. Is 13 a factor of (-1640)/(-28) + n/(-7)?
False
Suppose 0*w - 8 = -4*w. Suppose 0 = -z + 2 + w. Suppose 3*u - 16 = -2*p, z*p - 2*u - 91 + 27 = 0. Does 5 divide p?
False
Suppose -5*v + 795 = 5*b, -12*v + 5*b - 167 = -13*v. Is v a multiple of 20?
False
Suppose 0 = 5*d - 2*g - 367, -6*g = 5*d - g - 395. Is 19 a factor of d?
False
Let l = -148 + 191. Is 9 a factor of l?
False
Let w be 34/(-6) + 2/3. Suppose 53 = 4*d - 3*f, 7*f + 37 = 3*d + 2*f. Let p = d - w. Does 8 divide p?
False
Suppose -3*w - 3 = -4*w. Suppose 0*a - 2*a + 30 = -w*i, -40 = -4*a - 4*i. Does 6 divide a?
True
Suppose 2*g = -8, -b - 13 = 4*g - 2. Suppose b*k - 94 = 2*m, 3*k + 22 = 5*m + 67. Is k a multiple of 10?
True
Let d be (1/(-3))/((-1)/24). Let b(t) = t**2 - 3*t - 6. Is b(d) a multiple of 17?
True
Suppose -s + 2 + 5 = g, -s = -4*g + 3. Suppose -4*f + s*f = 115. Suppose -q + 4*q - 57 = -v, 5*q - 5*v - f = 0. Is q a multiple of 16?
False
Suppose i + 5*r + 25 = 0, -3 - 7 = 2*i + 2*r. Let z = 2 - i. Suppose 2*d + 4*h - 6 + 0 = 0, -z*d + 18 = h. Is 11 a factor of d?
True
Is 25 a factor of -3 - (63 - 1)/(1/(-4))?
False
Let l(c) = -2*c + 10. Let g be l(5). Suppose -6*n + 8*n - 134 = g. Is n a multiple of 20?
False
Suppose 3*u = -2*u + 10. Suppose -u*v = -174 + 22. Does 19 divide v?
True
Suppose -24 = -y + 4*y. Let w(q) = 7*q - 1. Let g be w(-3). Let d = y - g. Does 10 divide d?
False
Suppose 4*s = 10 - 2. Suppose -s*u + 5*y = -108, 5*u - 2*y - 289 = y. Does 21 divide u?
False
Let q(x) = 32*x**2 - 2*x - 1. Is 11 a factor of q(-1)?
True
Suppose -l + 21 = -c + 2*l, -5*l + 25 = 0. Let a = 10 + c. Suppose 5*i = a*g + 66, 3*i - 2*g - 42 = g. Is i a multiple of 5?
True
Suppose 0 = -37*w + 32*w + 150. Is 15 a factor of w?
True
Suppose -2*q + 6*q = 0. Does 12 divide (0 - 2 - q)*-19?
False
Let k = -4 - -10. Let h(v) = 3*v - 6. Is h(k) a multiple of 6?
True
Let b be 1/3 - 21/9. Let g = 5 + b. Does 2 divide g?
False
Let x = -7 + 18. Does 7 divide x?
False
Suppose 3*b + 4 + 14 = 0. Does 13 divide 1253/49 + b/(-14)?
True
Suppose -3*i = 2*o - 6, 2*o - 3*i - 4 = -10. Let a(y) = 4 - 2 + o*y + 12*y. Is a(2) a multiple of 9?
False
Suppose 2*c + 771 = 5*s - c, 3*s = 5*c + 453. Is 17 a factor of s?
False
Let t be 2*(-3)/((-6)/4). Suppose t*a - 107 + 43 = 0. Is 7 a factor of a?
False
Does 5 divide 2/(((-28)/1386)/((-1)/3))?
False
Let k = 49 + -33. Suppose 0 = 2*u - 0 - k. Is 8 a factor of u?
True
Suppose 130 = 5*t - 5*b, -86 = 5*t - 8*t - b. Is 11 a factor of t?
False
Let n be (9 - 0)/((-3)/(-9)). Let a = 60 - n. Let h = a + 15. Does 16 divide h?
True
Suppose 9 = 4*d - 3. Suppose d*a = 5*k - 3*k + 98, k + 59 = 4*a. Let p = k + 72. Is 13 a factor of p?
False
Suppose -5*m + 228 = -4*h, -3*m + 237 = 2*m - h. Suppose -2*y - m = -3*y. Does 24 divide y?
True
Let d be (-1 - (0 + -4)) + -13. Does 19 divide 40/(-16)*152/d?
True
Let g = -35 - -65. Let z = -12 + g. Does 6 divide z?
True
Let i = -12 - -21. Is 3 a factor of i?
True
Let b(w) = 5*w - 3. Is 14 a factor of b(9)?
True
Let c(s) = s**3 + 4*s**2 + 2*s + 3. Let g be c(-3). Suppose -62 = g*m - 8*m. Is 10 a factor of m?
False
Let r(m) = m + 4. Is r(8) a multiple of 4?
True
Let q = -33 + 225. Is 43 a factor of q?
False
Let i = 9 + -4. Suppose i*p = -5*v + 95, -3*v + 3*p + 65 = 8*p. Is 15 a factor of v?
True
Let m(a) = 8*a**2 + 15*a + 4. Does 12 divide m(-4)?
True
Let y be (1 + 0)/((-3)/(-9)). Suppose 6 = -0*j + 3*j. Suppose -y*x + j = -76. Is 13 a factor of x?
True
Suppose 7*c - 41 - 1282 = 0. Is c a multiple of 9?
True
Let s be 2/8 + 95/20. Suppose 3*y = 7*y, 0 = c - s*y - 7. Does 7 divide c?
True
Let b(w) = -3 - 11*w + 12*w + 6. Suppose s - 49 = -4*s - t, -2*t - 2 = 0. Is 4 a factor of b(s)?
False
Let n(f) = f**3 + 5*f**2 + 4*f. Let t be n(-4). Suppose t = -i + 5*p + 49 - 185, -2*i = -2*p + 240. Does 9 divide (i/6)/(8/(-12))?
False
Suppose -k + 5 - 3 = 0. Suppose 2*m = 4*t - 17 - 5, k*t = 4*m + 2. Suppose -2*s + t*s - 10 = 0. Is 2 a factor of s?
True
Is 3 a factor of (1/(-3))/((-354)/(-72) + -5)?
False
Let h(x) be the second derivative of -x**4/12 - 5*x**3/2 - 7*x**2 + 4*x. Is 11 a factor of h(-10)?
False
Suppose a + 3*w - 388 = 5*a, 0 = a - 5*w + 114. Let m = 146 + a. Is 13 a factor of m?
True
Let c be (8 + -10)*2/(-2). Is 12 a factor of (c + -3)*1 - -25?
True
Let y(m) = -m**3 + 3*m**2 + 3*m - 2. Suppose -82 = -4*t - 3*f, -t + 0*f = -f - 17. Suppose -3*u = 5*z - t, 23 = u + 4*u + 4*z. Is 4 a factor of y(u)?
False
Let o be (1 - -5) + -2 + -1. Suppose 111 = o*p - 0. Is 10 a factor of p?
False
Suppose 5*k = 245 + 15. Let j = -24 + k. Does 11 divide j?
False
Let p = 1 + 2. Let f be p/(-6) + 126/4. Let n = 43 - f. Is n a multiple of 9?
False
Let o be 9 - (-3)/(9/6). Suppose -o - 65 = -2*r. Is 19 a factor of r?
True
Let o(l) = l**3 + 13*l**2 + 7*l - 5. Is 20 a factor of o(-6)?
False
Let k = 21 - 15. Is k a multiple of 6?
True
Let n(b) = 9*b + 5. Let i be n(3). Is i/6*12/8 a multiple of 8?
True
Suppose 3*r + 64 = 5*r. Is r a multiple of 32?
True
Suppose -5*u = -8*u + 99. Does 11 divide u?
True
Suppose -4*b + 67 = -21. Let m = b - 16. Is m a multiple of 6?
True
Let c(h) = 2*h**2 - 5*h - 4. Let d be c(4). Let q = -1 + d. Is q even?
False
Suppose 4*r - 1028 = 2*h, -3*r + 2*h + 0*h + 771 = 0. Does 26 divide r?
False
Let m(t) = -4*t - 1. Suppose 2*j = -5*k - 9, 27 = -3*k - k + 5*j. Is m(k) a multiple of 4?
False
Suppose 0 = -p - 4*p - 50. Let s(q) = -q**3 - 11*q**2 - 9*q + 14. Does 2 divide s(p)?
True
Let k = -4 + 7. Suppose -r + 33 - k = 0. Does 15 divide r?
True
Is ((-266)/21)/((-2)/3) a multiple of 10?
False
Suppose 2*w - 23 = 1. Is 3 a factor of w?
True
Let t(f) = f**2 + 8*f + 2. Suppose -2*g = 13 + 3. Let y be t(g). Suppose -m = -y*d - 22, 4*m - 159 + 41 = -2*d. Does 8 divide m?
False
Let h = 2 - -5. Suppose 5*x = 5*u - 10, -3*x = -3*u - h*x + 13. Does 2 divide u?
False
Suppose 0 = -4*q - 14 - 22. Does 13 divide 29 - q/3*-1?
True
Let p = -40 + 56. Is p a multiple of 4?
True
Let t be (-6)/(-15) + 669/15. Suppose -2*b = 13 - t. Does 8 divide b?
True
Suppose -4*a = 3*m - 0*m - 49, 4*a + 5*m - 39 = 0. Does 5 divide a?
False
Let t(b) = 6*b**2 - 2*b. Suppose -5*q = -4*n - 10, 6 = -0*q + 3*q - 4*n. Is t(q) a multiple of 10?
True
Suppose 0 = -5*l + 3*l + 78. Suppose l = 3*b - 3. Let u = b - 10. Does 4 divide u?
True
Suppose 17*g - 42 = 14*g. Is 3 a factor of g?
False
Suppose -4*z - 2*j + 5 = 3, 0 = -3*z - 5*j - 9. Let t(d) = 2*d**3 - d - 2. Let k be t(z). Let p = -2 + k. Is 8 a factor of p?
False
Let f = 6 - -10. Is f even?
True
Let m(f) = 2*f - 1 - 1 + 1 - 3*f. Let b be m(-1). Suppose -39 = -l - b*l. Is 13 a factor of l?
True
Is 9 a factor of 29 - (-4 + (-24)/(-4))?
True
Is 6/(-10) - (-312)/20 a multiple of 5?
True
Let z(h) be the second derivative of -h**4/12 + 8*h**3/3 - 9*h**2/2 + 7*h. Is z(7) a multiple of 18?
True
Let c be 2/(-5) + 921/15. Let v = 2 + -44. Let u = v + c. Does 10 divide u?
False
Let d = -44 + 98. Is d a multiple of 27?
True
Let t be 0/2 - 1 - 1. Let a be -113*(-3 + (t - -4)). Let p = a - 62. Is p a multiple of 20?
False
Suppose -15 = -7*b + 2*b. Suppose -s - b*s + 24 = 0. Is 2 a factor of (2/s)/(4/84)?
False
Suppose 2*q = -3*q + i + 197, 145 = 4*q - 5*i. Is q a multiple of 8?
True
Suppose -40 = -3*c + 5*p, -4*p - 10 = -4*c - 6*p. Suppose -j + 3*a + 0*a + 26 = 0, 215 = c*j + 2*a. Does 7 divide j?
False
Let k = 176 - 69. Suppose -v - 3*v + i + k = 0