?
True
Suppose 5*o = -2*s - 13, -3*s - 21 + 64 = -5*o. Suppose 4*m = -3*u - 6 - 31, -m + 5*u - 15 = 0. Let p = s - m. Is 16 a factor of p?
True
Suppose 3*h = 7*h - 540. Let i = h - 50. Suppose 2*r = 3*r - i. Is 17 a factor of r?
True
Let g(s) = s**3 - 3*s**2 + 6*s - 6. Is 18 a factor of g(8)?
False
Let b = -4 - -7. Suppose 152 + 184 = b*i. Is i a multiple of 16?
True
Suppose 2*x - 714 = 9486. Does 14 divide (1/(-2))/((-17)/x)?
False
Let g(h) = -h**3 - 2*h**2 + 2*h + 80. Suppose 0 = -i + 4*r - 20, -5*i - 5 = 2*r - 3*r. Is 8 a factor of g(i)?
True
Let t be ((-78)/(-8) + -2)*4. Let r = 45 - t. Let s = -4 + r. Is s a multiple of 10?
True
Let i = 69 - 30. Let d = i + -23. Is d a multiple of 4?
True
Suppose -34045 = -51*v - 2017. Is v a multiple of 2?
True
Let u(x) = -x**3 - 4*x**2 + 5*x + 2. Let b be u(-5). Suppose -12 = -2*a - b*a. Suppose -a*m = -4*m + 3*n + 71, -5*n = -3*m + 193. Does 11 divide m?
False
Let a = 1012 - 270. Does 14 divide a?
True
Let v(d) = 39*d - 188. Is v(18) a multiple of 32?
False
Suppose 0*p + 2*p = 3*x + 35, 5*x = -4*p + 15. Suppose -4*o - 5*d + 18 = -p, -d + 21 = 3*o. Is o even?
False
Suppose -x + 230 = -3*p, -204 = 2*x - p - 639. Does 74 divide x?
False
Is ((-6)/(-2))/(2/160*4) a multiple of 15?
True
Let c(j) = j**2 - 5*j - 12. Let r = -18 + 18. Suppose -3*g + r*z - 11 = z, -2*g - 26 = -4*z. Does 19 divide c(g)?
True
Let x(c) = -c**2 - 8*c - 3. Let p be x(-6). Is 25 a factor of (-528)/(-5) - p/15?
False
Suppose -17*o + 4077 + 207 = 0. Does 7 divide o?
True
Let p be 0 + 3 + 0 - 3. Suppose -4*m + 5*n - 9 + 104 = 0, p = -3*m - 4*n + 110. Is m a multiple of 27?
False
Suppose 0 = 15*b - 17*b. Suppose 0 = 5*s - 2*y - 120, b*s + 3*s - 2*y - 72 = 0. Is s a multiple of 24?
True
Suppose -3*s = -592 - 7778. Does 28 divide s?
False
Let a = 15 - 13. Suppose -4*v - 2*k = -v + 98, a*k = 3*v + 118. Does 8 divide v/(-7)*(-49)/(-14)?
False
Let d = 167 - 181. Suppose 0 = 3*t - 8*t, 220 = -5*b + 2*t. Is 1/(-3 + b/d) a multiple of 3?
False
Does 4 divide (11/(-3) + 4)/((-1)/(-84))?
True
Let f = 330 - -1151. Is f a multiple of 55?
False
Suppose 14 = -2*z - 4*i, 3*z - 4*z - 5*i = 22. Let c(b) = 27*b**2 + 9*b. Is c(z) a multiple of 15?
True
Suppose -9*z + 4 = -7*z. Suppose -z*p = -3*p - 1. Does 18 divide 35 + 4 + 0 + p?
False
Suppose 7*d - 127746 = -40*d. Does 6 divide d?
True
Let h(d) = 39*d - 33. Does 17 divide h(10)?
True
Let q = 89 + 483. Does 22 divide q?
True
Let u be (2 - 2) + (-5)/(-5). Let f(m) = 5*m - 3*m + 2 - 3*m**3 + u. Is 26 a factor of f(-3)?
True
Let i = 34 + -30. Is 5 a factor of i/18 - 52/(-9)?
False
Suppose 2*y - 3924 = -5*r, r = 2 + 2. Is y a multiple of 61?
True
Suppose -3*p + 15 = -5*h, -5*h - 2*p - 32 = 8. Let j(c) be the first derivative of c**4/4 + 7*c**3/3 - 3*c**2/2 - 2. Does 19 divide j(h)?
False
Let o(x) = -x**3 + 2*x**2 - 7*x + 10. Let v be o(-7). Suppose -m + v = 3*m. Suppose 5*j - 275 = m. Does 21 divide j?
False
Suppose -5*m = -3*g - g - 8, 0 = 2*g + 2*m - 14. Suppose g*l + v - 4*v = -6, -l + 3*v + 6 = 0. Is 6 a factor of (2 + l/4)*20?
False
Let x(p) = -637*p - 429. Is x(-8) a multiple of 14?
False
Suppose 4*q - 5*d = -705, 5*q - 2*d + 174 = 4*q. Is 28 a factor of (-1 - (-33)/5)/((-6)/q)?
True
Let w(g) = -79*g - 19. Is 24 a factor of w(-3)?
False
Let q be (-2)/(-3) - (-30)/9. Suppose -5*o + o - 24 = -2*x, -5*x = q*o - 4. Let z = o + 19. Does 4 divide z?
False
Let x = 2962 - 2740. Is x a multiple of 73?
False
Let u(m) = -68*m - 535. Is u(-17) a multiple of 27?
True
Let h = 24 - 61. Let b = 20 + 27. Let j = b - h. Is j a multiple of 14?
True
Suppose -2*a = -5*t + 24, -t = a + a. Suppose -171 = -s + 3*n, -5*s + 708 = -s - t*n. Does 6 divide s?
True
Suppose -272 = -2*s + 4*k, -5*s + 516 = 3*k - 216. Let o = -45 + s. Is o a multiple of 11?
True
Let d(u) = 8*u**2 + 3*u - 1. Let l be d(-1). Is 3 - (114 + 0)*(-2)/l a multiple of 15?
True
Let h(g) = -5*g + 45. Does 5 divide h(-14)?
True
Suppose 3*g + 7*d - 3*d + 27 = 0, -4*g - 46 = 2*d. Let b = g - -34. Suppose 17*l - b*l = -348. Is l a multiple of 29?
True
Is 32 a factor of 6/(-21) - 5/((-105)/1896)?
False
Let f(a) be the second derivative of -a**7/2520 - a**6/48 + 7*a**5/60 - a**4/3 - 4*a. Let m(u) be the third derivative of f(u). Is m(-13) a multiple of 20?
True
Let o be (-1)/(1*(-3)/6). Let t = o + 1. Suppose 4*k - k - 165 = t*l, k = 2*l + 57. Is k a multiple of 14?
False
Let b(l) = 21*l**3 - 16*l**2 + 7*l - 4. Is b(3) a multiple of 22?
True
Let c = 137 + -52. Suppose -3*y - 69 = h + 49, -46 = y - 3*h. Let b = c + y. Is 14 a factor of b?
False
Let y(a) = 1666*a**2 - a - 5. Is y(-1) a multiple of 6?
True
Let p(x) = -x**3 + 29*x**2 - x + 28. Let v be p(29). Is 37 a factor of (-6 + 4 + -35)*v?
True
Suppose 171 = 4*k - o, 31 = 2*k - o - 56. Is k a multiple of 31?
False
Let w(s) = -15*s**3 - 2*s**2 - 3*s - 4. Let j(d) = 22*d**3 + 3*d**2 + 4*d + 6. Let g(r) = 5*j(r) + 7*w(r). Suppose 285*b + 8 = 289*b. Is g(b) a multiple of 22?
True
Let u be ((-24)/20)/(2/(-30)). Let j = u - 9. Does 3 divide j?
True
Let k = 544 - -389. Is 9 a factor of k?
False
Let t = -5 - -3. Let f(w) = -2 + 1 - w**2 + 5*w - 2*w**3 - 8*w. Is 8 a factor of f(t)?
False
Let c(k) = -k**3 + 9*k**2 + 10*k - 45. Let f be 24/36*(-1 + (-23)/(-2)). Does 11 divide c(f)?
False
Let r(y) = y - 3. Let v be r(9). Let s be 8 - (-4 + (v - -2)). Suppose s*j - 5*b - 103 = 155, b = -2*j + 136. Does 16 divide j?
False
Suppose 4*b = 3*v - 5524, 2*b + 429 = v - 1415. Does 33 divide v?
False
Let o(b) = b**3 + 7*b**2 + 8*b + 15. Let g be o(-6). Suppose -4*v = -3*p + 139, g*v + 94 = 2*p - v. Does 5 divide p?
True
Suppose 0 = 4*y - 4, -3*y = 5*f - 0*f - 13. Suppose 5*k - 2*j - 558 = 0, -k + 3*k - f*j = 228. Let w = k - 41. Does 19 divide w?
False
Let x = -4 - -7. Suppose -41 = -x*d + 2*d. Suppose -p + 5*c = -d, -4*p + 5*p - 3*c = 31. Does 8 divide p?
True
Let w be (16 - 3)*(-2 + 6/(-3)). Let p = w - -96. Is p a multiple of 27?
False
Suppose -25*y + 4393 = -11132. Is y a multiple of 38?
False
Suppose 4*h - 1874 + 78 = s, -3*s = -4*h + 1788. Suppose 5*m - 90 - h = 0. Is m a multiple of 18?
True
Suppose m + 5 - 35 = 5*j, -2*m + 2*j = -20. Suppose -20 = -k - m*f, 5*k + 5*f = -0*f + 140. Suppose -30 = -g - 5*u, -g - 6*u = -2*u - k. Is 15 a factor of g?
True
Let t be (6/10)/((-1)/5). Let a be (-2 - t)/(4/(-176)). Is 11 a factor of 3/(-5)*(a + -1)?
False
Let r(g) = 2*g**2 + 6*g + 5. Let b be r(-4). Suppose -3*k + 2*k = -9. Let c = b + k. Is 11 a factor of c?
True
Suppose 2*w - 5*r = 21 + 23, w - 5*r = 17. Is w a multiple of 24?
False
Let x be -8*(-4)/(-16)*-6. Suppose 140 = 3*l - 238. Suppose -x*f = -10*f - l. Is f a multiple of 18?
False
Suppose 3*w + 2*k + 3 = -2, w - 4*k = -11. Does 16 divide w/((-15)/563) - 12/20?
True
Let n = -8 - 2. Let s = 13 + n. Is 6 a factor of s - 2*(-5 + 3)?
False
Let c = 33 - 23. Suppose y + c*r + 1 = 5*r, y = -4*r. Suppose y*m + 4*g = -0*g + 184, -3*m + 114 = -5*g. Is 7 a factor of m?
False
Suppose 5*k = -2*k. Suppose 0 = 4*l - 16 - k, 2*l = q - 64. Is q a multiple of 24?
True
Suppose 0 = 5*z - 830 - 340. Is 6 a factor of z?
True
Suppose 0 = 3*j - 217 + 46. Is j a multiple of 3?
True
Suppose -496 = -2*u - 2*a, 757 - 259 = 2*u + 4*a. Is u a multiple of 13?
True
Let g = -2 - -6. Suppose 4*h = -5*o + 321, -201 = -g*h + 3*o + 144. Is h a multiple of 9?
False
Let i(h) = 10*h**2 + 41*h + 152. Is 44 a factor of i(-12)?
True
Let h = -4 + 9. Let l(q) = -q**3 + 3*q**2 + 10*q + 5. Let a be l(5). Suppose w + 0*w + 108 = a*n, 120 = 5*n + h*w. Does 22 divide n?
True
Let w(x) = 7*x**2 + 28*x - 7. Let u(n) = 10*n**2 + 42*n - 11. Let m(f) = -5*u(f) + 7*w(f). Let o be (165/(-35) - 4) + 8/(-28). Is 17 a factor of m(o)?
True
Is 18 a factor of 193 + (0/1)/1?
False
Let i be 2/6*(760 + -1). Suppose i = 7*l - 111. Is 13 a factor of l?
True
Suppose -4*v = -n + 86, v + 206 = 3*n - 74. Suppose 0 = -7*t + n + 1131. Is 37 a factor of t?
False
Suppose -11 = 4*t + 13. Let r be 6/9*(363 - -3). Is 10 a factor of (-8)/12 - r/t?
True
Suppose 2*q + 245 = 3*q. Suppose -3*k - y + 428 = 0, 3*k - 180 = -4*y + q. Suppose -k + 26 = -3*b. Does 13 divide b?
True
Is 9 a factor of -8 + 6 + -2 + 16?
False
Does 34 divide 4*(1 + -2)*9424/(-32)?
False
Let v = 29 + 52. Let r = v + -33. Is r a multiple of 8?
True
Suppose -24*l = -45 - 459. Does 2 divide l?