h + 3*h - 596 = -t, 166 = h - 4*t. Suppose -2*y = 4*z - h, -3*z = -5*z - 2*y + 70. Is z a multiple of 8?
True
Suppose -55*h + 19602 = -h. Does 11 divide h?
True
Let c(v) = 4*v**2 - 1 + 0 - 6*v + 3*v - 11. Does 27 divide c(5)?
False
Let p(y) = 5*y**2 + 7*y + 4. Is 12 a factor of p(11)?
False
Let r(y) = -5*y**2 + 11*y + 11. Let w(z) = -2*z**2 + 6*z + 5. Let k(q) = 3*r(q) - 7*w(q). Let b = -18 - -12. Does 4 divide k(b)?
True
Let d(c) = 10*c**2 + c + 2. Let h(n) = n - 1. Let l be h(4). Is 12 a factor of d(l)?
False
Let k = -316 + 139. Let w = 256 + k. Is 7 a factor of w?
False
Suppose 6*z - 8 = 2*z. Suppose 4*h - 107 = -c, z*h - c = 2*c + 71. Let t = h - 2. Does 13 divide t?
True
Let i = 119 + 373. Suppose -l = -13*l + i. Is 12 a factor of l?
False
Suppose 0 = -3*q - 2*t + 602 + 2766, 3*q = -t + 3364. Does 32 divide q?
True
Let t be (-5 + 115/20)*4. Suppose 3*i - 209 = 5*u - 11, 5*i - t*u - 330 = 0. Is 19 a factor of i?
False
Let l(s) = -2*s + 1 + 4*s + 1 + 2*s**2. Let k(q) = q**2 - 22*q + 24. Let v be k(21). Is l(v) a multiple of 19?
False
Let v be (8 + 0)*-2 + 1. Suppose -4*y + 5*y - 21 = 0. Let d = v + y. Does 6 divide d?
True
Suppose 2*j - 9*l - 711 = -12*l, -2*j + 4*l = -704. Is 41 a factor of j?
False
Let z be 18/27 - 338/3. Let a = z - -271. Suppose -188 = -4*b + 4*m, -5*m + 24 = -3*b + a. Is b a multiple of 20?
False
Let i(w) = -7*w + 20. Let a(d) = -6*d + 19. Let p(u) = 3*a(u) - 2*i(u). Is p(-7) a multiple of 15?
True
Let p be -7*(-4)/84*-6. Let d be (-4 - 9*p)/(-2). Is (-2 + -12 + 4)*d a multiple of 14?
True
Let a be (-12*6/(-9))/(-1). Suppose 0 = -3*n + 4*s + 55, 3*n - 2*n - s - 17 = 0. Let y = a + n. Is 2 a factor of y?
False
Suppose -5*m = 5*o - 95, -74 = -4*m - 3*o + o. Let i = -13 + m. Suppose 3*d = 2*y + 9, -d + i = 5*y - 3*d. Is y even?
False
Let f = 521 + -335. Is f a multiple of 4?
False
Let b be (-5 + -3 + 3)/1. Let a(n) = n**3 + 5*n**2 + 4. Let z be a(b). Suppose -2*c + z = 2*r, -2*c - c = 4*r - 1. Does 2 divide c?
False
Let l(a) = -a**3 + 19*a**2 - 16*a - 31. Let w be l(18). Is 3 a factor of (w - (-16)/(-3))*(-170 - 1)?
True
Suppose -3*a - 2*n - 32 = a, 32 = -4*a - 5*n. Let u(x) = x**2 + 9*x + 8. Let j be u(a). Suppose j = 2*v - 5*v + 96. Is 8 a factor of v?
True
Let q be 55/(-10)*(1 - 3). Let s be (-18)/(-8) + q/(-44). Let f(x) = 3*x + 1. Is 3 a factor of f(s)?
False
Suppose 5*s - 2 = 18. Suppose 0*v = -s*v. Suppose 2*d + 0*d - 2 = 0, 5*g + 4*d - 149 = v. Is 11 a factor of g?
False
Let k(v) = -471*v - 360. Does 147 divide k(-12)?
True
Suppose -5*n - 2*j = -216 - 257, -2*n + 182 = -j. Is 13 a factor of n?
False
Suppose -15*r = -341 - 3334. Is r a multiple of 7?
True
Suppose -5*c + 0 + 25 = 0. Suppose -2 = k - c. Suppose 3*g - 48 = -3*j, -k*g + 58 = -j - j. Is g a multiple of 6?
True
Suppose -7*q + 4512 - 872 = 0. Is q a multiple of 9?
False
Let m = -31 + 43. Let p = 16 - m. Suppose y = 3*r + 27 + 12, p*y - 208 = -r. Is 17 a factor of y?
True
Suppose -z = 5*m - 21, 0 = 2*z - 5*m - 5 + 23. Suppose -19 - z = -4*l. Is 7 a factor of ((-72)/(-20) - -2)*l?
True
Let z(p) = 6*p. Let u be z(-13). Let c(h) = h**2 - h - 3. Let m be c(0). Is 2 a factor of 1/m - u/18?
True
Let p = 39 - 35. Suppose p*k = 2*k + 124. Does 24 divide k?
False
Let x = 572 + -339. Suppose 830 = 3*k + x. Does 31 divide k?
False
Suppose -9 = -2*i + 7. Let z = -4 + i. Suppose -3*w = -z*r + 143, 0*r = r + 2*w - 22. Is 9 a factor of r?
False
Let p be 107*20/4 + 1. Suppose -2*w + 0*w = -4*m - 246, -4*w - 3*m + p = 0. Is 11 a factor of w?
False
Let h(v) = 33*v**2 - 2*v + 1. Let n be h(1). Suppose x + n = 5*x. Suppose x*g - 63 = 5*g. Is g a multiple of 10?
False
Let d(r) = 2*r + 10. Suppose 0 = -3*x - 2*x - 15. Is 2 a factor of d(x)?
True
Suppose 4*z - 569 - 47 = -4*f, 4*f - 3*z - 609 = 0. Does 9 divide f?
True
Let g = -27 + 31. Suppose 4*h - 280 = g*o, -2*h + 288 = 2*h + 4*o. Does 17 divide h?
False
Suppose -4*q + 2*g + 1133 = -713, 0 = 5*g - 5. Is 14 a factor of q?
True
Let f(r) = 115*r**3 + 5*r**2 - 16*r + 5. Let c(i) = -23*i**3 - i**2 + 3*i - 1. Let y be -22*(-1 - (-9)/6). Let l(q) = y*c(q) - 2*f(q). Is 12 a factor of l(1)?
True
Let o(r) = -37*r**3 + r. Let b be o(-1). Let j = b - 19. Does 8 divide j?
False
Suppose -2*m + m + 1 = 0. Let n(s) be the second derivative of 5*s**4/6 + s**3/3 - s**2/2 - 15*s. Is n(m) a multiple of 11?
True
Suppose -4*v + 3*r + 104 = -2*v, 0 = 2*v + 2*r - 84. Is 3 a factor of v?
False
Let s(w) be the second derivative of w**4/12 - w**3/6 + 253*w**2/2 - 2*w. Let o be s(0). Suppose o = 5*r - 77. Does 23 divide r?
False
Let l = -12 + 20. Suppose l - 4 = -4*j. Is 4 a factor of j/((-1)/(-7))*-1?
False
Let x be ((-10)/6)/((-4)/372). Suppose -5*o - 125 = -2*z, x = 3*z - 3*o + 2*o. Is 21 a factor of z?
False
Suppose 438*w + 8624 = 446*w. Is w a multiple of 77?
True
Let z be -4 + (0 + -58)*-1. Let i = z + 54. Is 46 a factor of i?
False
Suppose 15 = 5*a, -5*m - 2 = -3*m - 2*a. Suppose m*z = -5 - 1. Does 14 divide z/(-1) + 11 + 28?
True
Let s(o) = -3*o**2 + 16*o + 9. Let a be s(7). Let g = a - -40. Is 14 a factor of g?
True
Suppose 2 = 5*c - 4*c. Suppose -17*n - 41 = -7. Is -4*c*(-3 - n) a multiple of 2?
True
Let m(f) = 3*f**2 - 2*f - 6. Does 5 divide m(-4)?
True
Is 20580/16*(-144)/(-54) a multiple of 47?
False
Suppose 2*x - 7*d = -8*d + 91, -241 = -5*x + 2*d. Is x a multiple of 6?
False
Suppose -5*p = -5*r + 15, 5*r = -0*r - 25. Let i = -5 - p. Suppose -u - 46 = -i*u. Is u a multiple of 6?
False
Let m(y) be the first derivative of y**6/120 - y**5/6 + 5*y**4/24 + y**3 - 7*y**2/2 + 1. Let c(d) be the second derivative of m(d). Is c(10) a multiple of 14?
True
Let x = -7 + 2. Let s(i) = -2*i + 12. Is s(x) a multiple of 4?
False
Let c = -14 + 13. Let r be (-12 + 2)/(c - -3). Is 2*(0 - r/2) a multiple of 5?
True
Suppose -2*f + 2 = -f. Let u(x) = 21*x**2 + 3*x. Does 27 divide u(f)?
False
Suppose -31 + 133 = 17*d. Is (-94)/(1 - d/2) a multiple of 3?
False
Suppose 2*i + 10 = 2*v, i - 5*v + 15 = -2*i. Is ((-20)/(-5) + i)*-38 even?
True
Let m(x) be the third derivative of x**4/24 - x**3/6 + 40*x**2. Let p be ((-10)/(-4))/((-1)/(-2)). Is 2 a factor of m(p)?
True
Let i(t) = t**3 - 18*t**2 + 4. Let v be i(18). Let p = 16 - v. Is 3 a factor of p?
True
Let h(z) = z**2 + 4*z - 18. Let b be h(-6). Is (138/(-4))/(b - (-230)/40) a multiple of 46?
True
Let r be (-3)/(-3) - 4 - (-243 + 0). Suppose 0 = -7*i + i + r. Is i a multiple of 20?
True
Let z = 330 - 141. Is 27 a factor of z?
True
Suppose 32*c - 82384 = -44*c. Is c a multiple of 13?
False
Let r = -19 + 21. Suppose x + r - 5 = 0. Is (33 - 0)/(x/6) a multiple of 23?
False
Let g(o) = o + 16. Let l be g(7). Let p = l - 18. Is p*14/15*9 a multiple of 14?
True
Suppose 4*d - 2*n - 2 = n, 2*n = 3*d - 2. Suppose -3*u - 2*k = -1, -2*k + d = -4*k. Suppose 4*c = -t - u, 0 = 5*c + 1 + 9. Is 7 a factor of t?
True
Suppose -2*p + p - 150 = 0. Let m = 60 + p. Let k = 150 + m. Does 13 divide k?
False
Let d(a) = -201*a - 379. Does 16 divide d(-19)?
True
Suppose -33*x = -26*x - 14. Suppose -x*k + 0*k = -5*b + 94, -4*b + 70 = k. Is 18 a factor of b?
True
Let v(l) = -10*l**3 - 3*l**2 + 2*l - 1. Let g be v(-3). Let d = g - 142. Is 39 a factor of d?
False
Suppose 6*v - 2*v - 4*a - 760 = 0, -2*v - 2*a = -360. Let n = v - 86. Is n a multiple of 9?
True
Does 41 divide (92/(-10))/(-3 + 539/180)?
False
Let f = -8 + 12. Let t be (-2 + f + 7)/(-1). Is 10 a factor of (1 + 38)*(-8 - t)?
False
Suppose 8*a - 2 = 7*a. Is 37 a factor of (185 - 1) + a + (-1 - -2)?
False
Suppose -3*s = 11*w - 15*w - 11096, 14783 = 4*s - 3*w. Does 71 divide s?
True
Let t = 11 - 7. Suppose -t*h = -4*o - 50 - 94, 0 = h + 2*o - 27. Is 11 a factor of h?
True
Let u = 756 - -135. Is u a multiple of 11?
True
Let n = -402 - -822. Is n a multiple of 4?
True
Let w = 67 + -63. Suppose -w*r = c - 145 + 25, 0 = -4*r + c + 120. Does 6 divide r?
True
Let h(c) = -32*c + 3. Suppose g + 2*g + 12 = 0. Let j = 2 + g. Does 22 divide h(j)?
False
Let d(h) = 20*h + 2. Let p(n) = -n**3 + 8*n**2 + 8*n + 8. Let o be p(9). Let r be d(o). Let f = 26 + r. Is f a multiple of 8?
True
Let c(q) = -2*q**3 - q**2 + 5*q + 1. Let v be c(4). Let z = v - -205. Let k = z + -49. Is k a multiple of 27?
False
Let d(u) = u**2 - 3*u + 8. Let m be d(8). Let c = m + 31. Is c a multiple of 7?
False
Let a(f) be the 