r - r + 29 = -2*t, -2*t - r = -1. Let s = t + 4. Is 3*-15*s/(-9) a multiple of 10?
True
Suppose 0 = 5*u + y - 88, u + 4*y + 4 - 33 = 0. Suppose u = -4*g + 161. Is 18 a factor of g?
True
Suppose 6 = 4*i - 3*j - 16, 4*j = 4*i - 24. Let h = 8 - 5. Is ((-3)/i)/(h/(-48)) a multiple of 12?
True
Let a = 485 - 337. Is a a multiple of 37?
True
Suppose 0 = -2*z - 7 + 247. Does 12 divide z?
True
Suppose 6*h - 3*h = 2*t - 95, 4*h = -2*t + 116. Suppose -5*j + 11 = -a + 2, 4*a + 4 = 4*j. Is 10 a factor of (-1 + t)*j/6?
False
Suppose 5*b - 3*i = 761, b - 3*i - 76 - 81 = 0. Is 18 a factor of b?
False
Let v(q) = 5*q**3 + q**2 - q - 10. Let b(s) = -s**3. Let p(y) = -4*b(y) - v(y). Let k be p(0). Suppose -d + 11 = -2*h, -5*d = 2*h - 53 + k. Is 8 a factor of d?
False
Suppose -5*q + 5*d + 430 = 0, -320 = 3*q - 7*q - 2*d. Suppose -q = -7*o + 5*o. Does 7 divide o?
False
Does 14 divide (-443)/(-5) + (-12)/20?
False
Let m(x) = 11*x + 6. Is 5 a factor of m(3)?
False
Let i(p) = p**2 + 8*p - 5. Let u be i(-7). Let m be (u/2)/(5 + -7). Suppose 0*k + 48 = m*k. Does 16 divide k?
True
Let q(f) = -f**3 - 5*f**2 - 10*f - 7. Let h be q(-6). Let z = h + -13. Let u = 107 - z. Is 11 a factor of u?
False
Let d = 0 - -10. Suppose 5*g + f - 5 = -4*f, 2*f - d = -4*g. Does 4 divide g?
True
Let i(q) = -2*q + q + 0*q - 14 - 13*q. Is i(-7) a multiple of 19?
False
Let w(k) = 2*k**2 + 14*k - 9. Is w(-11) a multiple of 22?
False
Let q(m) = -3*m. Let u be q(-1). Let k be 10/3*(0 + u). Let s = k - 3. Is 7 a factor of s?
True
Suppose 4*g + 3*y - 103 = 0, -5*y = -6*g + g + 85. Is 9 a factor of g?
False
Suppose 0 = z - 5*z + 160. Is z a multiple of 10?
True
Does 3 divide ((-308)/(-55))/(2 + (-8)/5)?
False
Suppose -2*g = -22 - 4. Let z = 22 - g. Is (-6)/4*(-30)/z a multiple of 2?
False
Suppose -5*o - 10 = 0, -82 = -7*w + 3*w - 5*o. Is 5 a factor of 4/4 + -4 + w?
True
Let v = -63 + 142. Is v a multiple of 11?
False
Suppose 3*n - 13 = -163. Does 10 divide (-3)/(-5) - 1470/n?
True
Let f be 2/(-8) + (-1926)/(-24). Suppose 4*b - f = -0*b. Is b a multiple of 11?
False
Suppose 17 = 3*c - 19. Is c a multiple of 10?
False
Suppose -5*n - 5*f + 45 = 0, -5*n - 5 = -7*f + 2*f. Suppose n*z - 16 = -4. Suppose 0 = 2*d - z - 31. Does 6 divide d?
False
Suppose -y - 2*y - 36 = 0. Let t = 5 + -9. Let v = t - y. Is v a multiple of 8?
True
Let y(h) be the first derivative of 2*h**3/3 + 2*h**2 + h - 2. Is 3 a factor of y(-3)?
False
Let d(u) = 19*u**2 + 3*u + 1. Let g be d(-2). Let n = g + -40. Is n a multiple of 21?
False
Let s = 11 - -25. Does 12 divide s?
True
Is (2 + 9/(-1))*96/(-7) a multiple of 17?
False
Let b(q) = 3*q**3 + 2*q**2 - 2*q + 1. Let j be b(1). Let t(p) = -p**2 - 5*p. Let g be t(-3). Let x = j + g. Is 8 a factor of x?
False
Suppose -4*n = -5*n + 5. Suppose -20 = -0*i - n*i. Suppose -1 = -d + i. Is d a multiple of 4?
False
Let f(s) = 8*s + 3. Let p(q) = q**2 - 3*q - 2. Let b be p(5). Does 18 divide f(b)?
False
Suppose -9 = -r - 23. Let x = 43 + r. Is 11 a factor of x?
False
Suppose 0*v - 2*v = -18. Let t be (-32)/6 + 3/v. Let j(m) = m**3 + 5*m**2 - 3*m + 7. Does 11 divide j(t)?
True
Is 10 a factor of 2/12 - (-1196)/24?
True
Does 19 divide (-1)/(6003/15295 + 4/(-10))?
True
Let s(q) = -q**2 + 17*q + 12. Is 18 a factor of s(14)?
True
Let s be 4/((-48)/(-28))*-6. Let k be (4/(-6))/((-4)/6). Let g = k - s. Is 7 a factor of g?
False
Is ((-24)/(-32))/(2/16) even?
True
Suppose 4*z + 90 = 9*z. Does 16 divide z?
False
Let n(z) be the third derivative of 19*z**5/60 + z**3/6 + 2*z**2. Is 10 a factor of n(1)?
True
Let b be (1/3)/((-8)/(-48)). Suppose b*r = 3*n + 25 + 54, 2*n + 170 = 4*r. Does 22 divide r?
True
Let h be (10/(-15))/(2/(-6)). Suppose 3*g = h*g + 4, t = -5*g + 84. Is 16 a factor of 18/6*t/6?
True
Suppose -1 - 11 = -3*k. Is k a multiple of 3?
False
Is 5 a factor of ((-168)/70)/(3/(-10))?
False
Let j be 5/(15/6) - 0. Suppose 10 = j*s - 6. Suppose 3*c - z = -s + 28, 5*c + z = 36. Does 3 divide c?
False
Let z = 33 + -27. Is z a multiple of 4?
False
Suppose p - 2*p + 10 = 0. Let o = -6 + p. Is o even?
True
Suppose -6*t + 38 = -5*t. Does 38 divide t?
True
Does 5 divide (-1254)/(-14) - (-3)/7?
True
Let z(a) = -a**3 + 5*a**2 + 2*a - 3. Let t be z(5). Suppose t = -2*k - 5. Is 17 a factor of ((-12)/8)/(k/136)?
True
Let p be 1592/32 + 2/8. Suppose 0 = -d + 3*d - p. Is 17 a factor of d?
False
Suppose 5*b - 20 = 5*x, -23 = -5*b - x + 3*x. Let v(f) = f - 5. Let z be v(b). Suppose 3*h - h - 18 = z. Is 9 a factor of h?
True
Suppose c - 10 = -4*c. Let t be (-2)/(0 - (-4)/(-10)). Suppose -y = -5*o + 35, c*o = -o + t*y - 1. Does 4 divide o?
True
Suppose 22 = l - 25. Let w be (-2)/8 - (-2)/8. Suppose 2*m - l - 23 = w. Does 13 divide m?
False
Let g(k) = -k**2 - 8*k + 3. Let z be g(-8). Let p be (97 + 1)/(z + -2). Let n = -69 + p. Is n a multiple of 11?
False
Let y(l) be the second derivative of -2*l**2 - 1/3*l**3 + 0 - l. Is 5 a factor of y(-7)?
True
Let o(a) = 4*a**3 - 3*a**2 - 3*a - 3. Let g be o(3). Suppose 4*s = -5*p - 6 + g, 3*p - 4*s - 57 = 0. Does 5 divide p?
True
Let l(c) = 40*c**2 - 2*c - 1. Is 15 a factor of l(2)?
False
Let q(i) = i**3 - 5*i**2 - 2*i - 3. Is q(6) a multiple of 19?
False
Let t(s) = -10*s**2 + s - 1. Let h be t(1). Let c(k) = 3*k + 15. Let g be c(h). Let r = g - -21. Does 2 divide r?
True
Let c(n) = n**3 - 4*n**2 - 3. Let m(p) = -2*p. Let i be m(-2). Let q be c(i). Let u = q - -8. Is 5 a factor of u?
True
Let z = -5 - -4. Suppose 4*y = r + 12, 4*y = 2*r + 14 + 2. Is 159/6 + z/y a multiple of 9?
False
Let r(h) = -2*h + 4*h + 4*h**2 - h**3 + 6 - 4*h. Let l be r(4). Let s(g) = -12*g - 1. Is 13 a factor of s(l)?
False
Suppose -2*h = 2*k - 50, -3*k - 5*h = -9 - 74. Suppose -1 = -3*o + 113. Let n = o - k. Does 7 divide n?
False
Suppose -3*y + 2*y = 1. Let b(w) = 24*w**2 - w. Is b(y) a multiple of 7?
False
Let g = 24 + -7. Is g a multiple of 7?
False
Let x be 2/8*2*6. Suppose x*s - 72 = 30. Let n = s + -7. Is 18 a factor of n?
False
Let n(a) = a**3 + a**2 + a + 23. Let g be n(0). Suppose 4*v + 0 - 44 = 0. Let x = g - v. Does 6 divide x?
True
Suppose -5*n = 5*t + 5, -7*t + 2*t - 11 = 2*n. Let g(l) = -n*l + 3 + 1 + 18*l**3 - 3. Does 12 divide g(1)?
False
Suppose 5*r - 207 = -4*d, -203 = -5*d - 4*r + 49. Is d a multiple of 7?
False
Let b be (-14)/(-3) + 10/(-15). Suppose -42 - b = -s. Is 23 a factor of s?
True
Let y = -6 + 3. Let g = 9 - y. Is g a multiple of 4?
True
Let w = -34 + 64. Suppose 3*n - 3*i - 46 + 1 = 0, -2*n + w = 3*i. Suppose 0 = 3*r + n, -2*r + r - 18 = -j. Is 10 a factor of j?
False
Suppose -5*a + 3*s = -167, a - 4*s - 23 = -6*s. Is a a multiple of 2?
False
Let m(p) = -p**2 - 10*p - 10. Let o be m(-8). Suppose -4*t - o*c + 26 = -3*c, -4*t + 2*c = -16. Suppose 0 = 4*i - t*i + 17. Is i a multiple of 5?
False
Suppose -2*d = -54 - 14. Suppose 4*j - d = 46. Suppose j = 5*w - 10. Does 5 divide w?
False
Suppose -5*l + 10 = 4*h - 5, -13 = 3*l - 2*h. Is 4 a factor of -2 + 8 + 0 + l?
False
Let k(p) be the first derivative of 7*p**3/3 + p - 3. Is k(1) a multiple of 4?
True
Suppose -5*a - k - 1 = 0, -2*a + 0*k = -3*k - 3. Suppose a*n - 5*n = -10. Suppose -3*s = 4*r - 9*r - 19, -2*r - 10 = -n*s. Is s a multiple of 3?
True
Let w(s) = -s**3 - 10*s**2 - 9*s - 2. Let c be w(-9). Let a be -2 + 4 - c/2. Suppose 2*t = a*t - 45. Is t a multiple of 18?
False
Let h(v) = 2*v**3 - v**2 - 2*v - 1. Let d be h(2). Let a = -19 + d. Let p = 30 + a. Is p a multiple of 13?
False
Let y = -28 - -57. Suppose -2*x + 4*c + 1 + y = 0, 5*x = 5*c + 50. Suppose -2*g = 5*n - 116, -5*n - x*g + 10*g + 130 = 0. Does 17 divide n?
False
Suppose -k - 4*k = 215. Let b = k + 71. Is 10 a factor of b?
False
Suppose -2*t - 3*o = -23, 5*t + o + 0*o - 38 = 0. Is (6/(-4))/(t/(-42)) a multiple of 3?
True
Suppose 5*p - 108 = 252. Suppose k - 34 = 2. Let l = p - k. Does 12 divide l?
True
Let i = -17 - -34. Does 3 divide i?
False
Let h be 4/(-18) + 38/9. Is 12 a factor of -2 - h*(-7)/2?
True
Does 12 divide 8/(-6) + 660/9?
True
Let q(t) be the first derivative of 2*t**3/3 + 3*t**2/2 + 7*t + 5. Is 24 a factor of q(-5)?
False
Let v(s) = -5*s - 1 - 6*s - 4*s. Let c be v(-2). Suppose 9 = -2*f + c. Is 4 a factor of f?
False
Suppose 5*j - 103 = 32. Does 9 divide j?
True
Let r = 12 - 12. Let m(d) = -d**2 + 10 + 23 + d - 2*d. Is 13 a factor of m(r)?
False
L