 Does 13 divide d(h)?
False
Let d = 667 - 462. Is d a multiple of 5?
True
Suppose 5*g - 5712 = 4*z, 5*z - 1588 = 4*g - 6154. Is 11 a factor of g?
True
Suppose -5*z - 4*v + 55 = 0, v - 4*v + 22 = 2*z. Suppose 5*u + 4*h - 8*h - 31 = 0, -5*u - 2*h + 7 = 0. Suppose -2*d = -u - z. Does 2 divide d?
False
Let u(x) = -x + 12. Let s be u(9). Let i be -3 + s/((-3)/(-3)). Let b(q) = -q**3 + 22. Is 9 a factor of b(i)?
False
Let w(m) = 31*m + 2. Suppose -5*t + 5*f = -45, 4*t - 27 = -f + 2*f. Let g be w(t). Let n = g + -134. Is 14 a factor of n?
False
Suppose -3*u = 3*q - 912, -3*q - q + 1196 = -u. Let s = -188 + q. Is 39 a factor of s?
False
Let w be (-1)/((-2)/6) + -3. Suppose -m + 0 + 3 = w. Suppose 3*y - 38 = -s, -2*s - 2*s + 143 = m*y. Does 13 divide s?
False
Let b be 15/(-10)*(-158 - 0). Suppose -358 = -5*y + b. Is y a multiple of 14?
False
Let f = 646 - 471. Is f a multiple of 35?
True
Let u be (-24 + 0)*90/27. Is (-11)/33 - u/6 even?
False
Suppose 17*d - 178 = 2559. Is d a multiple of 23?
True
Does 114 divide (-2 - (-5 - -1)) + 20734/7?
True
Suppose -659 = 7*g - 3942. Is g a multiple of 10?
False
Suppose 574 = 2*v + 4*g, -3*g + 281 = v + 2*g. Is 4 a factor of 2/(-4) + 0 + v/6?
True
Suppose 3442 + 1178 = 4*b. Is 35 a factor of b?
True
Suppose -12*h - 16095 = -41*h. Is 15 a factor of h?
True
Let b(r) = 5*r**2 - 6*r - 4. Let u be b(3). Suppose 0 = 3*v + t, -4*v + 5*t = u - 4. Is 7 a factor of ((-49)/(-14))/(v/(-2))?
True
Let f(h) = 6*h**3 + 4*h**2 - 4*h + 2. Let s = 18 - 16. Is f(s) a multiple of 11?
False
Does 9 divide (4 - (-384)/(-15))/(6/(-120))?
True
Let j = 29 - 117. Is (j/10)/((-4)/10) a multiple of 8?
False
Let u be ((-8)/(-80)*-8)/((-2)/10). Is 7 a factor of -1 - -1 - (0 + u + -158)?
True
Suppose -3824 = -11*a - 5*a. Does 12 divide a?
False
Suppose 2*b = -b. Suppose -2*n + 4*n = 84. Suppose b = 4*v - n + 14. Is 3 a factor of v?
False
Suppose -a - 2*a = 0. Let y be (3/9 - a)*0. Suppose 3*w - 2*f - 132 - 74 = y, -2*w = 3*f - 120. Does 22 divide w?
True
Let x be (-4)/1 + 5 + -38. Is (2 - 0) + -3 + 4 - x a multiple of 40?
True
Let n(y) = y**2 + 2*y - 3. Is 39 a factor of n(10)?
True
Suppose 0 = -2*t - 0*t. Suppose 5*q + 0*q = 20. Suppose t*w + 276 = q*w. Is w a multiple of 23?
True
Let w(n) = -n**3 + 15*n**2 - 20*n + 7. Let s be w(14). Let u = s - -116. Does 17 divide u?
False
Suppose 4*q - 8 = 0, 21 = 5*o - 2*o + 3*q. Let h(y) = -y**3 + 9*y**2 - 9*y + 10. Does 29 divide h(o)?
False
Let u(k) = -k**3 + 6*k**2 + 18*k - 12. Does 4 divide u(8)?
True
Let d(i) = 57*i + 69. Is 39 a factor of d(7)?
True
Suppose h - 13*n - 1126 = -11*n, 2*h - 5*n = 2257. Is 9 a factor of h?
True
Let v be 65*(4/5 - 2). Let b = v + 132. Is 9 a factor of b?
True
Does 18 divide 12/(-90)*-35*387/6?
False
Let f be 5 - -247 - (2 - 0). Suppose 11*k - 146 - f = 0. Is 6 a factor of k?
True
Let l(k) = 3*k**3 - 2*k**2 + 2*k - 7. Let v be l(3). Suppose 0 = 2*i - v - 0. Let z = -4 + i. Is z a multiple of 9?
True
Let z(h) be the first derivative of -h**4/4 + 4*h**3/3 + h**2/2 - 2*h + 1. Let k be z(4). Suppose -k*j + 60 = j. Does 4 divide j?
True
Suppose n = 5*t + 467, 2*n + 4*t + 2440 = 7*n. Suppose 4*c = -2*c + n. Suppose 2*s = -4 + c. Is 12 a factor of s?
False
Let x(m) = -m**3 - 9*m**2 - 12*m - 8. Let a(q) = -3*q**2 - 3*q - 2. Let z = -6 - -4. Let l be a(z). Is 12 a factor of x(l)?
True
Suppose 12*r - 904 = 188. Is 13 a factor of r?
True
Suppose 0 = 18*r - 22*r + 212. Is 14 a factor of r?
False
Suppose -12*d + 7886 = -7*d - 2*a, 5*a = 2*d - 3167. Is d a multiple of 23?
False
Suppose 0 = 5*i - 3*a + 595, 2*i + 98 = -2*a - 140. Let f = -50 - i. Is f a multiple of 23?
True
Let u(p) = 1 - 3*p + 7*p**3 - p**2 + 2*p + 0*p. Suppose -2*s = 5*f - 3, -3*f + 5 = 4*s + 6. Is 2 a factor of u(f)?
True
Let h(v) = v**3 + 4*v**2 - v + 4. Let p be h(-3). Suppose 5*s - p = s. Suppose -s*m = 4*x - 0*x - 216, 4*x - 198 = 5*m. Does 13 divide x?
True
Does 57 divide ((-1 + -23)/(-6) - -315) + -5?
False
Let c be -93 - 0*(0 - (-4)/8). Let w = 136 + c. Does 29 divide w?
False
Let s = -300 - -179. Let p = s + 192. Does 13 divide p?
False
Let z be (-2)/4 - (-63)/18. Suppose 2*i - i - z = 0, -i = -q - 3. Suppose 2*m + m - 45 = q. Is m a multiple of 5?
True
Suppose 20*t = 4*t + 3424. Is 5 a factor of t?
False
Let w = 111 + -111. Suppose -p + 5*j + 35 = 9, w = p - 2*j - 14. Does 6 divide p?
True
Suppose -l - 4*l - 2*t = 123, -3*t + 3 = 0. Let a = 49 + l. Is (-16)/a + (-41)/(-3) even?
False
Let n be 3*-17*11/(-3). Let y(v) = -v**2 - 25*v + 26. Let p be y(-26). Suppose -5*s + n = -p*s - a, -5*a = -15. Is 7 a factor of s?
False
Suppose 0 = 9*l - 23 + 95. Is 3/(-4) + (-478)/l a multiple of 17?
False
Suppose 2*p = 2*c + 7*p - 28, -4*p = -5*c + 4. Let j = 12 + -7. Suppose j*o + 4*k = 49, c*o - 16 = -3*k + 23. Is o a multiple of 9?
True
Let q be ((-1)/(-2))/(2/404). Let y = 173 - q. Does 6 divide y?
True
Let r(y) = -y**3 + y**2 + 2*y. Let u be r(2). Suppose u = -0*h - 4*h + 220. Does 11 divide h?
True
Let c(u) = -u**3 + 7*u**2 - 5*u - 6. Does 15 divide c(3)?
True
Let o be 1/(((-8)/(-10))/(-4)). Let l be o/((-15)/6) - 10. Does 16 divide l/(-10)*(-290)/(-4)?
False
Suppose -5*b + 10 = 0, 0 = -22*c + 26*c + 4*b - 624. Is 11 a factor of c?
True
Let n be 6*8/(-6)*-1. Is 6 a factor of -21*(n/(-28))/1?
True
Let w(x) = -x**3 - 2*x**2 + 3*x - 11. Let m = 61 - 65. Is 2 a factor of w(m)?
False
Let u(l) = l**3 + 24*l**2 + l + 19. Is u(-23) a multiple of 15?
True
Let b(u) = 159*u**2 + 7*u + 6. Let v be b(3). Suppose -q + v = 8*q. Is 27 a factor of q?
True
Let u be 2 - 2 - 0/(-5). Suppose -3*n + 9 + 3 = u. Suppose -265 = -n*o - 37. Is o a multiple of 19?
True
Suppose 8*d - 6*d = -12. Let x = -10 - d. Is x + 3 + 0 + 20 a multiple of 19?
True
Suppose -4*d = -3*q - 1, 4*q = -5*d + 16 + 24. Suppose -12 = -d*k, 8*i - 42 = 7*i + k. Does 9 divide i?
True
Let r be (12/(-9))/((-2)/(-6)). Let n be 98/(1/(-2)*r). Does 9 divide 608/14 + 28/n?
False
Suppose 7*s - 17376 = -89*s. Is 15 a factor of s?
False
Suppose -485*s + 479*s = -918. Is s a multiple of 2?
False
Let z = 8 + -5. Suppose 10*x - 5*x = 4*d + 93, -x = z*d + 84. Is -42*-3*(-6)/d a multiple of 14?
True
Let t = -19 + 23. Let q(r) = -4*r**3 - 9*r**2 - 9*r + 1. Let o(f) = -5*f**3 - 10*f**2 - 10*f + 1. Let p(y) = 5*o(y) - 6*q(y). Is p(t) a multiple of 15?
True
Let w(k) = 29 + 11*k - 19 - k**2 - 14. Is 5 a factor of w(10)?
False
Let r = 580 + -320. Is r a multiple of 20?
True
Suppose -1725 = -9*a + 4*a + 2*c, 2*a - 4*c - 706 = 0. Suppose -9*f = -a + 109. Is 6 a factor of f?
False
Let g(h) = -h**2 + 14*h - 13. Let n be g(13). Suppose n = -w - 4*w. Suppose -8*i + 2*i + 132 = w. Is 12 a factor of i?
False
Let w be -6*-1*(-1)/(-3). Let s be 5/10*(38 + 0). Let b = s + w. Is 10 a factor of b?
False
Suppose -5*n = 2*r - 350, 201 = 5*n + 4*r - 159. Let s = n - 26. Does 22 divide s?
False
Let h be (-1)/((-12)/8)*21. Let c be (-15)/(-35) - (-162)/h. Let j = c + 22. Does 12 divide j?
False
Let a be 35 + -42 + 3*1. Does 6 divide (a - 11)/((-3)/5)?
False
Let n(b) = -b - 5. Let u be n(0). Let g = u - -1. Does 12 divide g - -3 - -3*17?
False
Suppose 0 = 5*c - 3 + 23. Let t = -25 + c. Let n = t - -43. Is 7 a factor of n?
True
Let z(s) = -1. Let c(u) = -4. Let m(l) = -6*c(l) + 21*z(l). Let a(f) = f - 1. Let w(r) = 2*a(r) + 2*m(r). Is w(6) a multiple of 16?
True
Suppose 150 = 2*q + 4*a, 203 = 5*q + 4*a - 172. Suppose -13 = -4*j + q. Is 12 a factor of j?
False
Let c = 67 - -82. Let s = c + -71. Is s a multiple of 8?
False
Let x = 60 - -395. Does 5 divide x?
True
Let i be 6/(-14) + 72/21. Suppose 2*z - 6*n - 42 = -8*n, -2*n - 63 = -i*z. Does 11 divide z?
False
Let a be (-512)/10 + (-4)/(-20). Is 17 a factor of ((-28)/(-21))/((-1)/a)?
True
Suppose -8*p - 4384 = -26216. Is p a multiple of 72?
False
Suppose h = -3*h + 1808. Suppose -4*n + 4*u + h = 0, -3*n - u + 343 = -2*u. Suppose l + n = 5*f, -2*f = 2*f + l - 101. Is f a multiple of 12?
True
Suppose 0 = -4*d + 3*x + 11, 4*d - x = 3*x + 12. Let f be -9 + (1 - (d + 3)). Let j = f - -24. Is j a multiple of 3?
False
Let j = 17 - 10. Suppose -5*r = 3 + j. Let z(l) = 13*l**2 + 3*l + 2. Is z(r) a multiple of 24?
True
Let m(j) = -j - 6. Let g(v) = -1. Let z(a) = 6*g(a) - m(a). Let d(q) = 3*q. Let w(f) = 6*d(f) - 26*z(f). Is w(-3) a multiple of 12?
True
Suppose 43 = -3*