 of 3?
False
Let h(d) = -23*d**2 - 2*d. Let o(u) = u. Let l(a) = -h(a) - 3*o(a). Let t = -8 + 9. Is l(t) a multiple of 22?
True
Suppose -4*r = -3*k - 156, -r + 41 = -5*k - 15. Does 7 divide r?
False
Let i(k) = k**3 + 10*k**2 + 8*k - 11. Let f be i(-9). Is (-6)/9*93/f a multiple of 12?
False
Let r = 61 - 35. Let x = 23 + r. Suppose 2*a = -s + 34, -x + 3 = -2*a - 4*s. Is 6 a factor of a?
False
Let a(q) be the third derivative of -q**4/8 - 4*q**3/3 + q**2. Is a(-6) a multiple of 5?
True
Suppose -7 = -4*t + 49. Is 16 a factor of (-8)/t + (-228)/(-7)?
True
Suppose -3*h + 5*w = -16, 0*h - 2*w - 13 = h. Let t be (-3)/(-1*(-3)/h). Suppose -t*q = 3*d - 12, 5 + 8 = 3*d + 4*q. Is d even?
False
Let y be (-3 - 44/(-8))*6. Let h = 6 + y. Is h a multiple of 7?
True
Let x be (4 + -8)*(-1)/2. Let n = 21 - x. Is n a multiple of 11?
False
Is 3 - (-21)/(-3) - -68 a multiple of 11?
False
Let j(y) = 4*y + 2. Let z be j(-3). Does 3 divide ((-24)/20)/(2/z)?
True
Let s(w) = w**2 + 3*w - 4. Let p be s(-4). Let x(r) = -2*r + 17. Is 4 a factor of x(p)?
False
Let l be (3 + -2)/(1/(-2)). Does 8 divide 1 - (-2 + -15 - l)?
True
Suppose 4*p + 0*p - y + 8 = 0, 2*p - 6 = -2*y. Let o be -1*(1 - 22) - p. Suppose -3*v + 5 = -o. Is v a multiple of 9?
True
Let f(y) = 3*y**2 + 4*y - 5. Let z = 8 + -12. Is f(z) a multiple of 7?
False
Suppose h = n + 40, -5*h - 3*n + 156 + 12 = 0. Is h a multiple of 7?
False
Suppose -l = -3*w + 2*w + 65, 2*w = -2*l + 130. Does 31 divide w?
False
Let y(w) = w**3 + 11*w**2 + 10*w + 12. Is 12 a factor of y(-10)?
True
Let p = 45 + -22. Let i = p + -13. Suppose 0 = 4*h - 22 - i. Does 4 divide h?
True
Let b be 3 + (-2)/(4/(-10)). Does 12 divide (-50)/(-3) + b/(-12)?
False
Let j = -2 + 7. Suppose 5*b + 405 = -j*z, -2*z + 4*b - 138 = -0*z. Let u = z + 111. Does 18 divide u?
False
Let t = 27 + -29. Is ((-92)/(-8))/(t/(-4)) a multiple of 23?
True
Suppose 0*g - 10 = -2*g. Is g a multiple of 5?
True
Suppose 0 = 2*o + 2*d - 104, 117 + 95 = 4*o + 2*d. Does 12 divide o?
False
Suppose 2*q = -0*q - 2*v - 2, -4*q = -2*v - 26. Suppose r + 30 = q*r. Is r a multiple of 3?
False
Let s be 20279/(-35) + (-3)/5. Let g be (2/4)/((-5)/s). Let d = 91 - g. Is 20 a factor of d?
False
Let u(a) = -407*a - 143. Let k(x) be the third derivative of 17*x**4/24 + x**3 + 3*x**2. Let g(t) = -143*k(t) - 6*u(t). Is g(1) a multiple of 4?
False
Suppose -5*p + 5*c = -575, 2*c + 351 = 3*p - 3*c. Does 14 divide p?
True
Let c be 6*((-3)/(-2) + -1). Let g(z) = z**2 - z - 3. Let m be g(c). Suppose 0 = -m*b - 2 + 17. Is 2 a factor of b?
False
Suppose 5*i - 69 = -x, -i + 2*i - x - 15 = 0. Is i a multiple of 7?
True
Is 21 a factor of ((-35)/21)/((-2)/126)?
True
Suppose 4*j = 3*r - 40, -4*j + r = 42 - 10. Let c(z) = -z + 8. Does 15 divide c(j)?
True
Suppose 5*m + 6*p - 461 = 8*p, -5*m - p + 467 = 0. Does 15 divide m?
False
Let m(d) = -d - 8. Does 8 divide m(-16)?
True
Suppose 3*p + 4*l = 138, p + p = 4*l + 72. Does 4 divide (6/(-9))/((-2)/p)?
False
Let m(z) = -z + 1. Let f be m(-2). Suppose 18 = -5*j + f. Is (1 - j)*(-22)/(-4) a multiple of 11?
True
Suppose -430 = 2*u - 7*u. Suppose 4*w - u = -2*a, 5*a + 9 - 80 = -4*w. Is 14 a factor of w?
False
Let a be (-1)/(-2)*0 - -10. Is 7 a factor of (-45)/a*(-2 + 0)?
False
Let p be 0 - (0 + 2*-1). Let z be 1/((-7)/(-2) - 3). Suppose 4*u = 3*v + 48, 36 = 3*u - p*v - z*v. Is 6 a factor of u?
True
Let g(j) = j - 4. Let t be g(9). Suppose 4*r + 4*v - 100 = -0*v, -4*r = t*v - 99. Is 9 a factor of r?
False
Suppose 1770 = 2*u + 3*u. Is 59 a factor of u?
True
Let c(p) = 29*p**3 - p**2 + p. Let r(k) = 1 + k**3 - 4*k**3 + 4*k**3. Let x be r(0). Is c(x) a multiple of 10?
False
Let f(o) = -5*o**3 - 4 - 2*o + 6*o**3 + 0*o**3 + 10*o**2 - o. Suppose -5*l = -3*p - 45, -3*p - 4*l = -4*p - 22. Does 9 divide f(p)?
False
Let v(u) = u**3 - 2*u**2 - u. Let d be v(-1). Let k(y) = y**3 + 4*y**2 + 3*y + 3. Let b be k(-3). Is 38/(b*d/(-3)) a multiple of 11?
False
Let g = 27 - 27. Let w = 19 + g. Is 19 a factor of w?
True
Let r be (-2)/3 + 20/(-15). Is 34 a factor of 1*108 + (0 - r)?
False
Suppose 5*a - 52 - 8 = 0. Is 8 a factor of a?
False
Suppose 3*y = -0 - 6, -5*m + 5*y + 235 = 0. Does 5 divide m?
True
Let q = 304 + -141. Is q a multiple of 23?
False
Let c(y) = 2*y + 1. Let p be c(4). Does 10 divide 24/p*45/12?
True
Suppose -15*g + 210 = -9*g. Is 7 a factor of g?
True
Suppose 5*f - 16 + 1 = 0. Let v = f + 6. Is v a multiple of 6?
False
Let r(w) be the third derivative of -w**6/120 - w**5/12 - w**4/8 + w**3/3 + 4*w**2. Is 6 a factor of r(-5)?
False
Suppose 0*t + 3*t + 9 = 0, 5*q + 3*t = 521. Does 13 divide q?
False
Let l = -7 + 4. Let q(g) = -10*g + 1 + 4 - 2. Is q(l) a multiple of 16?
False
Suppose d + 8 = -d. Let x = d + 81. Is x a multiple of 14?
False
Suppose 9 = 3*i - 3. Suppose -i*f = -5*p + 243, -109 = -4*p + 5*f + 89. Is 16 a factor of p?
False
Suppose 2*j + 4*k = 4, -3*k + 2*k + 2 = j. Is 9 a factor of j/8 - (-107)/4?
True
Is 17 a factor of ((-7)/14)/((-1)/170)?
True
Is 11 a factor of 2*3/(-24)*-164?
False
Let b be (2*1)/((-10)/(-15)). Suppose 0*n - b = -n. Suppose 0 = w - 4 - n. Is w a multiple of 7?
True
Suppose 1424 = j + 3*j. Suppose j - 152 = 4*w. Suppose -i + w = 4*u - 48, 0 = 3*u + 5*i - 53. Does 14 divide u?
False
Suppose -5*f - 31 = -o - 3*f, 0 = -2*o - 4*f + 54. Suppose -o = -2*u + u. Does 29 divide u?
True
Suppose -5*d = -9*d - 32. Does 13 divide 4/(-16) - 106/d?
True
Is (-17 + -2 - 1)*-3 a multiple of 10?
True
Let h be 1/((3/27)/1). Let b be 2/h + (-1148)/(-18). Is 12 a factor of b/3 + (-2)/6?
False
Let m be (-4)/(-10) + (-54)/(-15). Let w(a) = -a + 25 + m*a - 4*a. Does 13 divide w(0)?
False
Let j(t) = -t**3 - 4*t**2 + 3*t - 6. Let a be j(-5). Suppose -18 - 6 = -4*x. Suppose 2*w - x*w + 2*m = -104, -a*w - 3*m = -104. Is 10 a factor of w?
False
Let g(s) = s**2 + 6*s + 6. Let c be g(-5). Let m be (((-6)/(-3))/2)/c. Let i = m - -2. Is 3 a factor of i?
True
Let y(p) = -p**2 + 10*p + 9. Does 12 divide y(7)?
False
Suppose 3*x - 5*a - 13 = x, -68 = -4*x - 4*a. Let z = x + 31. Does 16 divide z?
False
Let m = 1 + -1. Let u(f) = -f + f**2 + m*f**2 - 12 + 31. Does 9 divide u(0)?
False
Let m be 3 + -4 + 2 - -30. Suppose 5*f - 85 = 3*b, 0 = 4*f - 2*f - 3*b - 43. Let n = m - f. Is n a multiple of 13?
False
Suppose 0*u = -5*i - 3*u + 874, -4*i = 2*u - 700. Is i a multiple of 44?
True
Let w(s) = s - 5. Let q be w(6). Let i(r) = 4 - 5 - r + 5*r. Does 2 divide i(q)?
False
Let j = 35 - -5. Does 10 divide j?
True
Let h be (-3)/(1 + 2) - 6. Let u = -3 - h. Suppose 3*p = u*r - r + 117, -4*p = 2*r - 144. Does 14 divide p?
False
Let v(b) be the first derivative of 3*b + 3/2*b**2 + 2 - 3/4*b**4 - 2/3*b**3. Is v(-2) a multiple of 5?
False
Suppose t = -4*t + 80. Suppose -t = -2*g - 0. Does 2 divide g?
True
Suppose 8 = -3*d - 10. Let i = -2 - d. Suppose -i*z - 46 = -126. Is 10 a factor of z?
True
Let o(p) = -p**2 - p. Let h(j) = -2*j**2 - 2*j - 3. Let l be (-2 - 18/(-10))*-5. Let a(m) = l*h(m) - 4*o(m). Is a(-4) a multiple of 12?
False
Suppose t = -10 + 39. Suppose -b + 3*b = k - t, 0 = -5*k - 5*b + 160. Is 16 a factor of k?
False
Let u(w) = 4*w**2 - 6*w - 4. Is 29 a factor of u(-4)?
False
Let x be ((-78)/5)/(1/(-35)). Suppose x = 5*w + 71. Suppose -3*o + w = 2*o. Is o a multiple of 8?
False
Let m(z) = z**2 + 4*z + 1. Let k be m(-8). Let s = 51 - k. Is 6 a factor of s?
True
Let k(n) = 2*n - 2. Let j be k(2). Suppose 3*s - 33 = -3*l, 2*s + 61 + 1 = 4*l. Does 8 divide j + -3 + l - -2?
False
Let w(c) = -2*c**2 + 8*c - 4. Let a(j) = -j**2 + 4*j - 2. Let p(k) = 5*a(k) - 3*w(k). Is 6 a factor of p(6)?
False
Suppose 4*q - 47 + 3 = 0. Suppose -q = -4*k + 5. Does 4 divide k?
True
Suppose 3*p - 4*p = -8. Does 8 divide p?
True
Let d be 7/2*(-44)/(-2). Let v be (-654)/14 + 6/(-21). Let a = v + d. Is 19 a factor of a?
False
Let o(z) = 2*z + 8. Let n be o(-4). Let j be 3 + (-1 - 0 - 0). Is (j - n) + (14 - 0) a multiple of 12?
False
Let z be -2 + -14 + (-3)/(-3). Let l = z - -29. Suppose 4*p - l = 18. Does 8 divide p?
True
Let g = -14 + 24. Suppose 4*w - g = -w. Let a = w - -7. Is a a multiple of 4?
False
Let r be (-4)/((-2)/(-3) - 1). Suppose 15 = -5*d + 5*h, 2*h + r = 4*d + 6*h. Suppose -3*o + 5*m + 16 = -0*o, o - 4*m + 4 = d. Is 5 a factor of o?
False
Let u(i) = -231*i - 6. Let z be u(6). Let g be (6/4