ultiple of 3?
True
Let o(x) = x**2 + x. Let i be o(2). Suppose -t = -i*t + 225. Is 16 a factor of t?
False
Let d = 107 - 62. Is d a multiple of 9?
True
Let d = -20 - -9. Let r = d + 7. Is 22 - (r - 2)/3 a multiple of 12?
True
Let l = 13 + -8. Suppose 2*b + 1 = b + 3*i, -b + l*i = 3. Suppose 5*f + r - b*r - 92 = 0, -3*r + 104 = 5*f. Is 10 a factor of f?
False
Is 11 a factor of (100/(-6))/((-4)/6)?
False
Let r(v) = v**2 - 6*v - 26. Does 14 divide r(10)?
True
Let u = -5 + 6. Let y be 7*(0 + u + 2). Does 14 divide 4/(((-9)/y)/(-3))?
True
Let y = 25 - -98. Is y a multiple of 27?
False
Let m(y) be the third derivative of -y**4/24 + 5*y**3/3 - 4*y**2. Let z be m(8). Is z/7 - (-313)/7 a multiple of 22?
False
Let z(u) be the third derivative of 1/30*u**5 + 2*u**2 - 1/8*u**4 + 0 + 0*u + 1/3*u**3. Is z(2) a multiple of 4?
True
Suppose -3*k + 8*k - 85 = 0. Is 17 a factor of k?
True
Is 67 + (1 - 1) + -2 a multiple of 13?
True
Let g(n) = -n**3 - 7*n**2 + 4*n - 17. Is g(-8) a multiple of 9?
False
Does 9 divide 1/(-4) + (-289)/(-4)?
True
Let o = -16 + 34. Suppose 3*p - 2 + o = k, -2*p + 6 = -4*k. Let l = 34 - p. Is 20 a factor of l?
False
Let v = -13 + 54. Let u = 10 + -8. Suppose 4*s = 3*t + 128, v + 9 = 2*s + u*t. Is s a multiple of 11?
False
Suppose -f + 9 + 0 = 0. Is 1/(f/(-12))*-12 a multiple of 6?
False
Suppose -80 = -7*a + 74. Does 6 divide a?
False
Suppose 3*j - 18*j = -4590. Is j a multiple of 34?
True
Let h be 17/(-5) + 2/5. Let x be (1/h)/((-4)/(-24)). Let j = x - -24. Does 7 divide j?
False
Suppose -3*x + k - 16 = 2*k, -5*x = 4*k + 22. Let n be x - (-4)/(-1*2). Let r = n - -15. Does 7 divide r?
True
Let a(j) = -j**2 + 7*j. Suppose 2*c - 12 = 2*r, c - 3*r + 38 = 6*c. Suppose 22 = 2*m + 5*t + c, 0 = -m - 5*t + 10. Is 10 a factor of a(m)?
True
Suppose 2*n + 3*t - 32 = 259, -5 = t. Is n a multiple of 17?
True
Suppose -34*l + 39*l = 350. Is l a multiple of 5?
True
Let m(n) = 9*n - n**2 + 0*n**2 - 3 - 11*n + n**3. Is 3 a factor of m(3)?
True
Is 6 a factor of ((-248)/(-155))/((-4)/(-30))?
True
Suppose 12 = -4*v - 0*v. Let h = v - -2. Is (2 - h - 2)*6 a multiple of 3?
True
Let p be (-6)/15 + (-219)/15. Let c be p + (0 - (1 - 2)). Let w = 36 + c. Is w a multiple of 11?
True
Let j = -69 + 170. Does 28 divide j?
False
Let f(i) = i**3 - 4*i**2 - 3*i - 7. Let o be f(5). Is 15 a factor of (o - (-1 + -41))/1?
True
Let q = -2 - -22. Let m = q - 8. Does 6 divide m?
True
Let l = -8 + 13. Suppose -2*b - l*i + 5 = -3*b, 2*i = 5*b - 67. Is 3 a factor of b?
True
Is (-4 - -5) + (-42)/(-2) a multiple of 11?
True
Let w = 187 - 109. Suppose -5*n + w - 18 = 0. Suppose -6 = 2*y, -2*i - n = -3*y - 37. Does 5 divide i?
False
Suppose -v + 35 = -93. Let b be v/9 + (-2)/9. Is 5 a factor of 66/b - 6/(-21)?
True
Suppose -4 = 11*a - 13*a. Suppose m + 2*m - 3*h - 75 = 0, -a*m = -5*h - 65. Is m a multiple of 5?
True
Suppose 0 = 4*y - 5*v + 4, -5*y - 4*v + 38 = 2. Let k be (-16)/(-9) - 4/(-18). Suppose 0 = k*p - y*p + 26. Is 13 a factor of p?
True
Suppose 2*j - 101 - 275 = 0. Suppose 14*q = 10*q + j. Is 30 a factor of q?
False
Suppose -2*u + 228 = -4*q, -2*u + 194 = q - 24. Is 31 a factor of u?
False
Does 35 divide 290 - -8*(-1 - 4/(-8))?
False
Let b = -17 - -41. Is b a multiple of 5?
False
Let f = -81 - -167. Is 28 a factor of f?
False
Is 5 a factor of 14 - (-4 - (3 + -6))?
True
Let p(l) = l**2 - l + 4. Let x = -3 + 7. Suppose x - 19 = -5*o. Is 9 a factor of p(o)?
False
Suppose -2 = u + 4. Let f(r) = -r**3 - 5*r**2 - 7*r - 9. Is f(u) a multiple of 18?
False
Let c = -2 - -1. Let x(m) = -m**3 - 2*m**2 - 2*m - 1. Let z be x(c). Suppose -3*g + s + 71 + 14 = 0, 2*g + 2*s - 54 = z. Is 10 a factor of g?
False
Let d be 3/2*30/9. Let p be (8/(-6))/((-6)/9). Is 21/d + p/(-10) a multiple of 4?
True
Is (-1)/(2 + (-159)/78) a multiple of 13?
True
Suppose -3*q - z = 3*z, -2*q = 4*z. Let o be (-7)/(-7)*(0 + q). Suppose 4*a - a + w - 31 = 0, -w - 2 = o. Is a a multiple of 11?
True
Let z(k) = -13*k - 2*k - 7*k. Let s(i) = -i**2 + 2. Let d be s(2). Is z(d) a multiple of 17?
False
Let u(v) = v**3 - 7*v**2 - 9*v + 6. Let p be u(8). Does 3 divide p*(1 + (-7)/2)?
False
Let k be (0/(-1) - -124) + 2. Suppose 4*z - k = -5*x, 4*x + 137 = 5*z - 0*x. Is z a multiple of 17?
False
Let j(i) = i**2 + 2*i - 5. Suppose 0 = 4*m - 5*y - 35, 0*m + 2*y - 4 = -2*m. Does 8 divide j(m)?
False
Let a(f) = -2*f. Suppose -j + 1 = 7. Is a(j) even?
True
Suppose 2*x = 2*a + 6*x - 108, 0 = 5*a - 3*x - 335. Is 32 a factor of a?
True
Suppose -c + 6 = -4. Suppose -11 - c = -3*y. Let z = 21 - y. Is z a multiple of 7?
True
Let v(n) = 13*n - 15. Let d(b) = b**2 + 10*b + 6. Let o be d(-10). Is v(o) a multiple of 21?
True
Let x(p) = p**3 - 3*p**2 + 3*p - 4. Let i be x(3). Suppose 3*z - i*y - 72 = 28, y = -5*z + 120. Is 9 a factor of z?
False
Suppose 230 = 4*o - 1174. Is 27 a factor of o?
True
Let y(u) = -u**3 + 10*u**2 + 16*u - 5. Is y(11) a multiple of 10?
True
Let k(v) = v**2 - 6*v - 1. Let t be k(6). Let g be (-250)/(-8) + t/4. Let h = 47 - g. Is 8 a factor of h?
True
Let q(m) be the second derivative of -5*m**3/3 + m**2/2 + 4*m. Does 10 divide q(-3)?
False
Let n be ((-24)/(-10))/((-12)/(-40)). Suppose -y - 5*w + 0 = -2, 30 = 3*y + 3*w. Does 15 divide 129/2*n/y?
False
Suppose 3*m = u + 43, -3*m = -5*u + 3*u - 38. Let i = m + -11. Is 4 a factor of i?
False
Let p(y) = -y**3 + 12*y**2 - 4*y - 1. Is p(11) a multiple of 38?
True
Let z(g) = -g**2 + 8*g - 6. Let s be z(6). Suppose -10 = -l + s. Does 16 divide l?
True
Let b = -33 - -84. Is 17 a factor of b?
True
Suppose 0 = 3*b - 123 - 192. Is b a multiple of 15?
True
Let n(m) = m**3 + m**2 - m + 8. Let x be n(0). Let k = x - 13. Let b(o) = o + 11. Does 2 divide b(k)?
True
Let k = -6 - -9. Suppose -d + 6*d = 15. Suppose p - 147 = -3*p + k*z, -z = d*p - 107. Is 15 a factor of p?
False
Let y = -26 - -62. Does 9 divide y?
True
Let x(p) = 3*p**3 - 2*p**2 - p + 1. Let d be 2 - 0*1/(-3). Is x(d) a multiple of 5?
True
Let l = 6 + -11. Let z = l + 10. Suppose 0*u = -h + u + 5, z*h + 4*u = -2. Is h even?
True
Let x = -11 - -8. Does 10 divide (4 - -6)*(-1 - x)?
True
Is 9 a factor of ((-344)/(-20))/((-2)/(-10))?
False
Suppose 4*t + 63 = 415. Is t a multiple of 22?
True
Suppose -4*d + 4*r - 12 = 0, r + 12 = -3*d + 5*r. Suppose -5*m = -d*m. Is 6 a factor of 6 - (-2 + m + 0)?
False
Let h(l) = -20*l**3 + 2*l**2 - 1. Let g be h(1). Let q = 22 + g. Is q even?
False
Let n(o) = -39*o**3 + o**2 - o - 1. Let z = -13 + 12. Is 20 a factor of n(z)?
True
Let l(x) = x + 19*x**2 - 16*x**2 + 32*x**2 + 1. Let v = -3 - -2. Is 14 a factor of l(v)?
False
Is (-1 + 34/(-6))*108/(-10) a multiple of 9?
True
Let v(x) = x**2 + 7*x + 6. Let q be v(-5). Let s(r) = r**3 + 5*r**2 + 2*r - 2. Let u be s(-3). Let f = u + q. Does 3 divide f?
True
Let s(f) = -2*f - 10. Let g be s(-7). Suppose 0 = -3*m + 5*q - g*q + 20, -3*m + 10 = q. Suppose -4*y + 34 = 2*r, 5*y - 12 - 23 = m*r. Is y a multiple of 8?
True
Is 21 a factor of 17 + -12 + (114 - -1)?
False
Suppose 0 = -2*u + 118 - 26. Does 15 divide u?
False
Let a(s) = -s**3 - 9*s**2 + 8*s + 11. Let j be a(-10). Suppose d - j = -0*d. Does 18 divide d?
False
Suppose -5*d = -3*d. Suppose -2*x - 2*x + 44 = d. Does 11 divide x?
True
Suppose -2*y - 16 = -138. Suppose 5*i + 3*q = 59, 0 = -5*i - 3*q + q + y. Is 4 a factor of i?
False
Suppose i + 2*b - 5*b = 81, 3*i = -5*b + 243. Does 28 divide i?
False
Let w be -7*(14/(-2) - -2). Suppose -126 + w = -4*m + v, -5*m = 4*v - 98. Is m a multiple of 22?
True
Let h(p) = -p - 9. Let c(f) = -f**3 + 6*f**2 - 8*f + 3. Let g be c(5). Does 2 divide h(g)?
False
Let m = 1 + 2. Suppose 5*v - 15 = -t + 51, 2*t = m*v - 50. Is 12 a factor of v?
False
Let l(x) = x**3 + 2*x**2 - 5*x - 3. Let t be l(-3). Suppose -t*a = -8*a - 35. Let v = -4 - a. Is 3 a factor of v?
True
Suppose 0 = -0*t + 2*t - 16. Is (-2)/t + 45/4 a multiple of 11?
True
Let q(w) = 2*w**2 - w + 2*w**2 - 3*w + 1 + 2*w**3. Let v be q(-4). Is 15 a factor of (-2)/3 + v/(-3)?
True
Let o(v) = -v - 1. Let t be o(-6). Suppose 0 = -2*g - t*l + 82, -2*g = -2*l - 49 - 61. Is 13 a factor of g?
False
Is 3 a factor of 6 + -2 - 0/(-3)?
False
Suppose -6*c - 2*c = -168. Is 18 a factor of c?
False
Let y = 8 + -5. Suppose y*f + 2*d = 73, 3*f - 4*d - 80 = d. Does 20 divide f?
False
Let w = 1 + -3. Let r be (2 - (0 - w))/2.