 -h - 3*i - 8, -4*h + 2*h = -3*i - 2. Let t(j) be the first derivative of -2*j**2 - 2*j + 2. Is 3 a factor of t(h)?
True
Let u(w) = -w - 5. Let p be (-4)/(-18) + (-87)/27. Let m be u(p). Is (2 + (-9)/2)*m even?
False
Let d = 136 + -80. Does 7 divide d?
True
Suppose -4*p - 3*t = -35, 0 = -4*p - 4*t + 8 + 32. Suppose p*s - 98 - 117 = 0. Is 21 a factor of s?
False
Let y = -19 + 33. Does 3 divide y?
False
Let c(b) = 4*b**2 - 2*b. Is 7 a factor of c(3)?
False
Let c = 11 - 3. Let q = 43 + c. Does 11 divide q?
False
Let i = 88 + 27. Is 14 a factor of i?
False
Suppose -4 = -4*s + 2*b - 0*b, -5*s = -4*b - 2. Suppose -2*d = s*d. Suppose 4*i - 28 - 4 = d. Is 6 a factor of i?
False
Let h(z) = -z - 3. Let w be h(3). Is 2 a factor of w/(-12) + 7/2?
True
Suppose -4 = 2*c + 6. Let z = -3 - c. Suppose -15 = -3*s + z*s. Is s a multiple of 10?
False
Let i be 1*-2 - (2 + -3). Let p(w) = -3*w. Let x be p(i). Suppose 3*o + 5*j - j = -7, -15 = -o + x*j. Is o even?
False
Does 9 divide 3/(-24) + (-578)/(-16)?
True
Let v be (-1)/(-3) + (-16)/(-6). Suppose -v*s - 8 = -7*s. Is 23 a factor of (-23)/(-1*(3 - s))?
True
Suppose -3*i = -p + 91, 5*p = -4*i - 0*i + 550. Is 20 a factor of p?
False
Suppose -m + 193 = 59. Let z be 2 - (0 - -94)*-1. Let g = m - z. Does 16 divide g?
False
Let a = 104 + -72. Suppose 0*g - 4*g + a = 0. Is g a multiple of 5?
False
Is 2/2*(-57)/(-1) a multiple of 13?
False
Let g(y) = 10*y**2 + 20*y + 20. Let x(s) = s**2 + s + 1. Let d(l) = -g(l) + 20*x(l). Is d(-1) a multiple of 5?
True
Let p(z) = -2*z**3 - 4*z**2 - 1. Let m be p(-3). Suppose 2*q + m + 19 = o, -5*o + 212 = -2*q. Suppose 2*l = 6*l - o. Is 9 a factor of l?
False
Let n = -10 + 9. Let b = n + 8. Is b a multiple of 7?
True
Let q be (1/(-1))/((-4)/4). Let p be q*-2 + 2 + -5. Does 13 divide 189/15 + (-2)/p?
True
Let b(g) = g. Let a(n) = 4*n. Let f(l) = 2*a(l) - 9*b(l). Is 3 a factor of f(-6)?
True
Suppose 0 = -4*m + 6*m - 120. Let r(s) = 2*s**2 - 2*s + 1. Let c be r(2). Suppose -3*v + m = 5*q - 0*q, -c*q + 60 = v. Is 6 a factor of q?
True
Let f be (-4)/2 + 0 + 2. Let v be -3*((-124)/6 + f). Does 15 divide v/4 - (-2)/4?
False
Is (-216)/(-14)*(9 - -5) a multiple of 12?
True
Suppose -4*v + 153 = -v. Let d = 219 + -130. Let u = d - v. Is u a multiple of 13?
False
Let m = -7 - -31. Is m a multiple of 24?
True
Suppose 4*o - 3*o - 3 = 0. Suppose -o*k + 113 = x, -2*x = -2*k + 2*x + 66. Does 15 divide k?
False
Suppose 0*d = 2*d + s - 53, 71 = 4*d - 5*s. Is 8 a factor of d?
True
Let w be (-3)/(-5) + (-6303)/55. Is 15 a factor of (-3)/(-2) + w/(-4)?
True
Let c(q) = 4*q**2 + q. Let x be c(-1). Let n(a) = a**2 - 2*a + 3. Let k be n(x). Is (-1)/(3/k) + 13 a multiple of 11?
True
Let l be 2/(-2) + 1 - -1. Let d(p) = p**3 + 5*p**2 - 2*p - 7. Let z be d(-5). Suppose -w - l = -5*u, 0 = -4*u + 9 + z. Is 7 a factor of w?
True
Let w(x) = -2 - x**2 - 4 - 6*x + 0. Let k be w(-4). Suppose -k*a + 52 = -5*m, -5*m - 115 = -3*a - 2*a. Is 15 a factor of a?
False
Let w = 5 + -3. Suppose -w*u + 2 = -14. Is u a multiple of 3?
False
Is 10 a factor of (-604)/(-10) + (-6)/15?
True
Suppose 0 = -3*w + 9, 0 = -4*f - 3*w - 69 + 194. Let k = f + -21. Does 8 divide k?
True
Suppose 3*l + 2*j = -l + 98, 5*j = 4*l - 77. Does 23 divide l?
True
Let p be ((-1 - -1) + 0)/1. Suppose p = -5*q - 58 - 87. Let i = q + 53. Is 21 a factor of i?
False
Let k(t) = 20*t + 4. Suppose 0 = 5*w - 3*y - 13, 0 = -4*w - y - 3*y + 4. Is k(w) a multiple of 11?
True
Let g(m) be the first derivative of 2*m**3/3 - 7*m**2/2 - 4. Does 34 divide g(-5)?
False
Suppose -3*h - 2*o - 6 = -2*h, -2*o - 8 = 0. Let v be 1 - (h + 1 + -4). Suppose -12 = -4*n + 4*p, -5*n + 11 = v*p + 3. Is n even?
True
Let w(m) = 3*m**2 + 2*m + 3. Let b(v) = -v**2 + 4*v + 3. Let s be b(4). Suppose 9 = -s*d + 3. Does 11 divide w(d)?
True
Suppose -5*c + 43 + 46 = 2*y, 4*c + 220 = 4*y. Suppose 5*i - 162 = -y. Suppose -5*x + 62 = i. Is 8 a factor of x?
True
Let i = 6 - 8. Let h be i + 39 + (-2)/2. Let r = -23 + h. Does 10 divide r?
False
Is -6*5/(-10) - (-2 + -22) a multiple of 27?
True
Let i = 1 - -47. Let r be (3/(-2) + -1)*-2. Suppose 2*u - r*u + i = 0. Does 8 divide u?
True
Let h = -1 - -3. Let j(n) = -3*n**h + 4*n - n**3 + n**2 + 0*n**2. Does 5 divide j(-4)?
False
Suppose 0 = -8*j + 5*j, 5*j = -5*s + 405. Is s a multiple of 9?
True
Let b(n) = -2*n - 8. Let x = 4 + -1. Let z(o) = o. Let i(k) = x*z(k) - b(k). Does 14 divide i(6)?
False
Is 18*((-10)/(-6))/5 even?
True
Suppose 3*z + 6 = -2*r + 7*z, r - z = -6. Let i be 2/r + 9171/81. Suppose 0 = 4*l - 55 - i. Is l a multiple of 14?
True
Suppose -5*l + 25 = 5*z, -3 = l + 2*l - 3*z. Let q(s) = 17 + s**l + 1 - 2*s**2. Is q(0) a multiple of 12?
False
Let y = -25 - -50. Does 15 divide y?
False
Let u = -4 - -8. Suppose 2*p = u*p - 12. Is p a multiple of 3?
True
Let v(h) = -h + 7. Let p be v(7). Suppose 0*s + 3*s - 61 = 5*z, p = 5*z + 25. Does 12 divide s?
True
Let x = 2 + 17. Does 18 divide x?
False
Suppose -3*n - 27 = -105. Let m = n + -3. Let j = 38 - m. Does 5 divide j?
True
Let p(u) = 2*u + 223. Let z be p(0). Suppose 0 = -5*v - g + z, g = 2*g - 3. Is 10 a factor of v?
False
Let f(z) be the first derivative of z**2/2 + 7*z - 3. Is f(10) a multiple of 17?
True
Let d(k) = -k + 1. Let v be d(2). Is 3 a factor of 2/((-10)/(-6) + v)?
True
Let y be 12/(-42) - (-94)/(-14). Let m = y - -11. Suppose 32 = m*s - 20. Is s a multiple of 13?
True
Let f(l) = l**3 - 8*l**2 + 7*l + 10. Let x = 1 - -4. Let y(h) = -h**2 + 6*h + 2. Let n be y(x). Is f(n) a multiple of 10?
True
Suppose 2*d + r = -2*d + 24, 0 = 5*r + 20. Is d even?
False
Suppose -3*l + l + 6 = 0. Suppose z - 153 = -5*f, -z - 2*f + f = -149. Suppose -z = -p - l*p. Does 17 divide p?
False
Let q be (-1)/2 + 30/(-4). Let d be q/5*10/(-4). Suppose d*x + x + 29 = j, -5*j + 3*x = -35. Is j a multiple of 3?
False
Is 25 a factor of -1 - -5 - -46 - 0?
True
Let b be (-21)/14*(-8)/3. Suppose -q - 5*a + 29 = -0, 5*q = -5*a + 65. Suppose -i - q = -b*i. Is i a multiple of 3?
True
Suppose 5*s - 2*h + 73 = h, -26 = 2*s + 2*h. Let b = s - -23. Does 5 divide b?
False
Let i(g) = 207*g + 7. Let m be i(-5). Is 18 a factor of m/(-16) + 2/(-8)?
False
Let t be -15 + 2 + (-4 - -1). Is 11 a factor of 12/t*(-37 + -3)?
False
Let o(w) = -w**3 - 12*w**2 - 11*w + 9. Let h be o(-11). Let k = h + 59. Is k a multiple of 34?
True
Is (-763)/(-21) + (-15)/(-9) + -2 a multiple of 36?
True
Let m(b) = -23*b**3 - 4*b**2 - 2*b + 4. Is m(-2) a multiple of 15?
False
Is 8 a factor of 4/((-16)/(-9))*4?
False
Let b = 443 + -163. Does 16 divide b?
False
Let q be 7/((-21)/(-6)) + 8. Let m(c) be the third derivative of c**4/8 + 3*c**3/2 - c**2. Does 16 divide m(q)?
False
Let o = 9 - 6. Let x be -3*1/9*o. Is (-6 + 5)/(x/41) a multiple of 11?
False
Suppose -5*t = -t - 28. Suppose 8 = 3*l - t*l. Does 4 divide (15/9 + l)*-15?
False
Let t(n) = 2*n**3 + 7*n**2 + 5*n. Let s be t(-5). Is s/2*2/(-5) a multiple of 15?
False
Suppose -40 = -3*n + 11. Does 6 divide n?
False
Let g be (-4)/(-2) + (0 - -2). Let m be 2/4*(2 - 2). Suppose g*s + 5*o - 48 = m, 3*o = -2*s - s + 36. Is 6 a factor of s?
True
Let k(f) = f**3 + f**2 + 2. Let v be k(0). Suppose 0 = 8*x - 10*x + 14. Suppose -x*d + 60 = -v*d. Does 12 divide d?
True
Let h be (-6)/(-15) - 13/(-5). Let p(s) = 3*s**2 + 2*s + 3. Let x be p(h). Suppose z - x = -2*w, -3*w + 5*w - 78 = -2*z. Does 17 divide z?
False
Let s(b) = b**3 - 4*b**2 + 5*b - 3. Let p be s(3). Suppose -p*j + 173 = 4*t, -3*j + 5*t = -8*j + 280. Is 17 a factor of j?
True
Suppose 2*z - 2 = 0, 5*j - 2*z = 20 + 18. Let i = 18 + j. Does 5 divide i?
False
Is 7 a factor of 504/10 - (-12)/(-30)?
False
Let n(d) = d**2 - 9. Is n(8) a multiple of 20?
False
Suppose 0 = -2*g + 3 + 3, 4*o - 2*g - 6 = 0. Let n = -58 + 106. Suppose 7*m - o*m - n = 0. Is 8 a factor of m?
False
Let g(z) = z**2 - z + 1. Let i(t) = -t**3 - 9*t**2 + t - 10. Let k(a) = 6*g(a) + i(a). Let d be k(-6). Is 8/(-12) + d/3 a multiple of 22?
True
Suppose 182*a - 185*a + 564 = 0. Is 36 a factor of a?
False
Suppose 0 = -4*m - 0*m - 5*r + 235, -2*m + 5*r = -95. Suppose 0 = 4*w - 5*f - m, -2*f = -7*f + 5. Is w a multiple of 3?
True
Suppose -2*q - 4 = -3*h + 5, 3 = q. Suppose 0*l + 10 = -l + h*v, 0 = l + 5*v + 10. Is 6 a factor of 4/6*(-165)/l?
False
Let s = 34 - -22. Is s a multiple of 14?
True
Sup