rue
Let t = 28 - -80. Is 27 a factor of t?
True
Suppose -125 = -2*p + 31. Is p a multiple of 12?
False
Let s be 0/(3 + -2 - 3). Let d be (-1 + s)*(-166 - 4). Suppose -5*v = -5*h + d, 2*h - 2*v = -3*h + 182. Is 12 a factor of h?
False
Let b = 235 - 120. Is 23 a factor of b?
True
Let i be 21/(-14)*8/(-6). Suppose 0 = -5*m - 25, -i*m = 4*j + 2*m. Suppose -a + j = -7. Is 4 a factor of a?
True
Let w(c) = -c**3 - c**2 + 4. Let r be w(0). Suppose 3*h + 3 = 2*f - 2, 0 = -2*f + r*h + 6. Is ((-4)/8)/(f/(-36)) a multiple of 12?
False
Let p(u) = 12*u**2 - 2*u - 3. Let y(n) = 6*n**2 - n - 1. Let d(v) = -2*p(v) + 5*y(v). Is d(1) even?
True
Suppose 94 = 4*f - 2*s, -f + s = -0*s - 22. Is f a multiple of 22?
False
Suppose -4 = -3*j - 1. Let s(i) = i + 1. Let a be s(4). Does 10 divide 2/j - (a - 27)?
False
Suppose 16 = 4*v - 4. Suppose -3*o + 37 = 2*x, -v*x - 7 = -3*o - x. Is o a multiple of 9?
True
Let z(g) be the first derivative of -g**4/4 - 10*g**3/3 - 11*g**2/2 - 5*g + 10. Is z(-9) a multiple of 4?
False
Does 14 divide (3 - 1)*(-86)/(-4)?
False
Let y = -149 - -213. Does 16 divide y?
True
Let g be 2/(-6) - 61/(-3). Suppose 2*p = -2*p + g. Is 2 a factor of p?
False
Is 35 a factor of (-923)/(-26) - (-1)/(-2)?
True
Suppose 0*c = -c + 4. Let a be 6 + (2 - 0 - c). Suppose 4 + 1 = b, 0 = a*w - b - 91. Does 13 divide w?
False
Let i be 558/(-21) + 9/(-21). Let o be (-24)/9*i/12. Suppose -3*r + 88 = -4*z, -3*r + z - o*z = -79. Is 14 a factor of r?
True
Does 3 divide (1 + 4 - 2) + 2?
False
Suppose -b - 98 = -3*n + 144, 0 = 4*n + 2*b - 316. Does 11 divide n?
False
Let m(n) = -n**2 + 14*n - 5. Is 7 a factor of m(10)?
True
Let p be (6/(-15))/(3/(-15)). Let x(b) = b**2 - 3*b + 3. Let m be x(p). Is 2 - (-1)/m*2 even?
True
Suppose -7*h + 168 = -0*h. Is h a multiple of 12?
True
Suppose -b - 2 = i, -2 = -3*b - 5*i - 12. Let r(l) = l**2 + 19. Let u be r(b). Let m = u + -10. Is 5 a factor of m?
False
Let c = -27 + 55. Is c a multiple of 14?
True
Suppose -4*n - 13 - 6 = 5*y, -n + 3*y + 8 = 0. Does 12 divide (-2)/(n/11*1)?
False
Let g be -2 + (13 - 3) + -4. Let k(f) = f**2 + 2*f - 2. Is 22 a factor of k(g)?
True
Suppose 2*w = -2*w + 156. Does 21 divide (-1 - 1) + 2 + w?
False
Suppose -h = 2 - 3. Let r = -4 + h. Does 19 divide (-80)/(-2) + 6/r?
True
Let g(h) = -6*h**2 + 10*h - 1. Let a(m) = -17*m**2 + 29*m - 2. Let l(t) = 4*a(t) - 11*g(t). Is l(3) a multiple of 2?
False
Suppose -3*z - 93 = -5*t, 2*z + 9 + 4 = t. Is t even?
False
Let c(w) = -w**3 - 2*w**2 - 6*w + 1. Is 19 a factor of c(-4)?
True
Suppose 0 = -2*n - 0*n + 12. Let w = n + -8. Let l(y) = -y**3 - y**2 - 3*y - 3. Is l(w) a multiple of 7?
True
Let f(a) = a + 4. Let l be f(9). Let k = -1 + l. Suppose -81 = -3*d - k. Is d a multiple of 9?
False
Let s(h) = h**3 - 3*h**2 + 2*h - 2. Is 6 a factor of s(4)?
False
Suppose 0*n = 4*n. Suppose n = 4*b + 5*s - 13, 0*s - 2 = -b - s. Let x = b + 31. Is 17 a factor of x?
False
Suppose -151 + 58 = -3*d. Does 31 divide d?
True
Suppose -3*a = 2*a + 110. Let u = -10 - a. Is u a multiple of 6?
True
Let a(f) be the second derivative of f**4/6 + f**3/6 + 2*f. Is 18 a factor of a(4)?
True
Suppose -j = -0*j - 15. Let a = j - -19. Is a a multiple of 17?
True
Suppose -2*w + 3 = 5. Let s be (-3 - w) + (1 - 9). Does 8 divide ((-36)/(-15))/((-3)/s)?
True
Let n(q) = -4*q - 24. Is 9 a factor of n(-16)?
False
Let z = -4 + 11. Suppose 2*s - 5*r + 12 = 0, s - 3*r + 0*r = -z. Is 14 a factor of (s - -2)/1 - -39?
False
Suppose -3*z + 4*z + 5 = 0, d - 3*z - 82 = 0. Is d a multiple of 13?
False
Suppose 12 = -5*o + 4*o. Let a = o - -40. Is 19 a factor of a?
False
Suppose 3*p - p = 8. Suppose 0 = -p*q - 5*m + 6, m = -4*q + 14. Suppose -i = q*i - 135. Is i a multiple of 20?
False
Suppose 31 = -4*s - 101. Let t = s - -63. Is t a multiple of 15?
True
Suppose -w - 4*s - 46 = -2*w, 3*s + 48 = w. Let t = -25 + w. Is t a multiple of 16?
False
Let h be (-410)/14 + (-4)/(-14). Let p = 47 + h. Is 8 a factor of p?
False
Let k(t) = 12*t**3 - 1. Let h be k(1). Suppose p + 0*p - h = 0. Is p a multiple of 11?
True
Let n = 23 + 8. Let x = n - -11. Does 21 divide x?
True
Let a = 35 + 27. Is 19 a factor of a?
False
Let l = 8 - 4. Suppose -3 - 1 = l*c. Is 3*c/(-3) - -15 a multiple of 16?
True
Let z = 8 - -20. Is z a multiple of 7?
True
Let y(f) = -f**2 + 8*f - 2. Suppose 3*p = 4*v + 8*p - 47, -2*v + 4*p + 4 = 0. Let u be y(v). Let l(g) = -7*g + 1. Does 15 divide l(u)?
True
Suppose n - 2 + 0 = 0. Suppose 5*r - 21 = n*r. Does 3 divide r?
False
Suppose 168 = 2*v - 158. Suppose -4*t + 194 = 5*w, -2*w - v = -3*t - 29. Does 21 divide t?
False
Suppose -93 = -5*s - 4*w, 0 = 4*s - w - 103 + 16. Is s a multiple of 7?
True
Let v(z) = -3*z + 7. Suppose 3*h + 2*i = -10, 2*h - 5*i + 6 + 26 = 0. Does 14 divide v(h)?
False
Does 3 divide (-18)/4*(-14)/21?
True
Suppose -3*n = 4*o + 59, 5*o + n = -3*n - 75. Let g = o + 33. Does 7 divide g?
False
Suppose 116 = 2*r - 202. Let a be r*-1*(-1)/(-3). Let w = a + 85. Does 10 divide w?
False
Let p(l) = -5*l + 1. Suppose 5*k + 5 + 20 = 0. Does 13 divide p(k)?
True
Let u(y) = 5*y - 4. Let v(d) = 14*d - 11. Let a(l) = -17*u(l) + 6*v(l). Is 7 a factor of a(-9)?
False
Suppose -16 = -3*c + 4*u, -u = 4*c - 0*u + 4. Let j(t) = -t**3 + t. Let z be j(c). Suppose 0 = 2*o - z*o - 48. Is o a multiple of 12?
True
Let w be 2 + 0 - (-1 - -1). Suppose -5*l + 119 = w*h, -2*l + 4*h + 62 = -0*h. Suppose d + 7*n - l = 2*n, -2*d + 5 = -5*n. Does 5 divide d?
True
Let a(w) = 2*w**3 + 9*w**2 - 17. Let k(b) = -b**3 - 5*b**2 + 8. Let h(n) = 2*a(n) + 5*k(n). Suppose -7 = -0*p + p. Is 6 a factor of h(p)?
True
Suppose -p + 85 = q, 0*q - 4*q + p = -320. Is 7 a factor of q?
False
Let j be 3/(2/8*6). Let l be 1 - (2 - j - 17). Suppose 0 = -0*g + 2*g - l. Does 6 divide g?
False
Let b(q) be the second derivative of -11*q**3/6 + q**2/2 - q. Let d be -2 + 4/2 + -2. Is 9 a factor of b(d)?
False
Let s(h) = 2*h - 7. Let u(o) = -o**3 - 9*o**2 - 8*o + 9. Let k be u(-8). Let p be s(k). Suppose -3*j = -4*j + p. Is 11 a factor of j?
True
Suppose -2*a = -a - 4*t - 39, 5*a = 5*t + 120. Let z = a - -13. Is 10 a factor of z?
False
Suppose -16 = -y - 0. Let l = 22 - y. Let x = -1 + l. Is 2 a factor of x?
False
Suppose -3*l + 4*x = -111, -l = -x - 3*x - 29. Does 16 divide l?
False
Let i be (-5)/(-2) + 4/8. Suppose -4*d = s - 35, s - 2*d = -i*s + 140. Does 22 divide s?
False
Let o = 6 + -4. Is 10 + ((-2)/o - -2) a multiple of 6?
False
Suppose 4*c = -16, -5*c = -a - a + 186. Is a a multiple of 12?
False
Let g = -1 + 36. Is 10 a factor of 2/2 + g + -6?
True
Suppose 2065 = 5*z - 0*z. Suppose 5*a - g = 515, -2*a + 6*a - g - z = 0. Let r = a - 64. Is 13 a factor of r?
False
Let p = -24 - -65. Suppose u - 3*d = p, -5*u + 213 = -d + 50. Does 16 divide u?
True
Is 53 + (2 - 7 - -1) a multiple of 20?
False
Let g(y) = -y**3 - y**2 + 9. Let c be g(0). Does 13 divide (2 - 15/c)*78?
True
Let q(c) = c**3 + 4*c**2 - 3*c - 5. Does 9 divide q(-2)?
True
Does 10 divide (3/(-2) - -1) + 148/8?
False
Let f(q) = -q**2 + 22*q + 40. Is 25 a factor of f(17)?
True
Suppose -4 = -2*q + 5*v, -22 = -2*q - 5*v + 22. Does 6 divide q?
True
Let v(z) = 2*z + 6. Is v(3) a multiple of 6?
True
Suppose -9 = 4*t + 3*a, 2 = 5*t - 2*t + 4*a. Let v(h) be the second derivative of h**5/20 + 7*h**4/12 + h**3 + 3*h**2/2 + 11*h. Is 3 a factor of v(t)?
True
Is (-144)/42*231/(-6) a multiple of 12?
True
Let k(b) = 2*b**3 + b**2 + b - 1. Suppose -d = 4*d - 5. Let v be k(d). Does 14 divide 26/2 - (2 - v)?
True
Suppose 5*a = 3*o + 153, 3*o + 7 - 4 = 0. Let s(z) = -17*z - 4. Let k be s(-3). Let l = k - a. Does 17 divide l?
True
Let g be 16/(-1 - -4 - 1). Let i = g - -2. Is 10 a factor of i?
True
Let w(g) be the third derivative of 0 + 0*g + 1/8*g**4 - 2*g**2 + 1/6*g**3. Is w(6) a multiple of 8?
False
Let d(i) = 4*i**2 + 4 - 4*i + 3 + 0*i**3 + i**3 - 2*i. Does 3 divide d(-5)?
True
Let m be (14/42)/(2/(-18)). Does 12 divide (3 - -15)/(m/(-2))?
True
Let p(i) = 39*i**2. Is 16 a factor of p(1)?
False
Let s be (-6)/21 + 458/(-14). Is 19 a factor of -1*((6 - 3) + s)?
False
Suppose 0*k - 3*k + 180 = 0. Suppose -4*v + k + 4 = 0. Does 16 divide v?
True
Let p = -13 + 33. Does 10 divide p?
True
Let v = -42 + 9. Let f = v - -65. Suppose 2*l - 2*y - 46 = 0, 26 = 2*l + 2*y - f. Does 16 divide l?
False
Let p = -153 + 248. I