 a multiple of 10?
False
Let n = -23 - -59. Is 12 a factor of n?
True
Suppose -3 = 4*o - 47. Is o a multiple of 3?
False
Let h(s) = 2*s**2 + 7*s + 3. Does 18 divide h(-5)?
True
Suppose -4*m + 454 = -5*n, -4*n - 352 - 10 = -2*m. Let u = n - -128. Does 19 divide u?
True
Let z(h) = h**3 - 5*h**2 - 7*h + 6. Let y be z(6). Let m = y - 0. Suppose 4*p - r = 24 + 66, m = -4*r + 8. Does 14 divide p?
False
Let n(w) = -w**3 + 13*w**2 - 6*w + 18. Is 18 a factor of n(7)?
True
Let s = 12 + -45. Let l be (-16)/(-9) + 2/9. Does 11 divide l*(-2)/(12/s)?
True
Let h(m) = 2*m**2 - 5*m + 18. Does 42 divide h(10)?
True
Let w(n) = 33*n - 8. Is 13 a factor of w(3)?
True
Suppose -122 = -4*d - 18. Suppose -10 = 2*x - d. Does 4 divide x?
True
Let q = -5 + 15. Suppose -g + q = -12. Does 10 divide g?
False
Let h be 2*1 - (1 + -2). Let d = -5 - -2. Is 12 a factor of (36/h)/((-2)/d)?
False
Let h = 158 - 69. Is 19 a factor of h?
False
Let p be (-15)/9 + 2/3. Let n be -1*(333/p)/3. Suppose -4*s + 2*c = c - n, 2*s = 2*c + 60. Is s a multiple of 15?
False
Let u(o) = -o**2 - 15*o + 6. Is u(-12) a multiple of 10?
False
Suppose 3*o - 228 = -o. Suppose -2*q + 51 = -o. Is 18 a factor of q?
True
Let j(h) = 5*h**3 + 4*h**2 - 4*h - 4. Let n(i) = i**3 - i**2 - i + 1. Let f(m) = j(m) - 4*n(m). Let v be f(-7). Suppose -3 = s - v. Is 13 a factor of s?
False
Let x = 10 + -5. Suppose -d + x*m = -32, -7 = 4*m + 9. Suppose -d = -2*f + 6. Is 5 a factor of f?
False
Suppose 0 = 3*h - 95 - 13. Does 6 divide h?
True
Let x be 1/(-1 - 12/(-11)). Let n(i) = -i**3 + x + i**2 + 4 - 1. Does 14 divide n(0)?
True
Let c(t) = -10 - 3*t + 1 - 1 + t**2. Let g be c(7). Is 18 a factor of g + -1 - (-4 - -3)?
True
Let k(r) = 2*r**2 + 4*r - 4. Suppose 3*w = -3, 5*p + 0*w - 19 = 4*w. Let a be k(p). Is 18 a factor of 21*(a/7 + -2)?
True
Suppose 2*q - 3 = q. Suppose -q*z = z - 164. Let b = z + -21. Does 13 divide b?
False
Suppose 3*a - 3*x = 369, -401 = a - 4*a - 5*x. Is a a multiple of 7?
False
Let z(o) = -19*o - 3*o + 4 - 7 + 2. Suppose 0 = 2*d - 6*d - 8. Does 14 divide z(d)?
False
Suppose -1059 = -z - 2*r, 2*z = -2*z + 2*r + 4206. Let f = -589 + z. Does 13 divide 4/18 + f/18?
True
Let t(v) = v**3 + 9*v**2 - v - 5. Let k be t(-9). Suppose -k = 3*b - 1. Let y(n) = -n + 1. Is y(b) even?
True
Suppose 0 = x + 2 - 3. Let t = x - -1. Suppose 0 = t*f + 2*f - 48. Is 12 a factor of f?
True
Let g = 24 - 26. Let h(n) = 15*n**2 + n - 2. Does 14 divide h(g)?
True
Does 7 divide (2 + -16)*(-9)/6?
True
Suppose 54 + 5 = -2*k - 3*p, 0 = 5*k + 4*p + 137. Let o = k + 46. Is 21 a factor of o?
True
Let l = 411 + -261. Suppose -2*p = 3*s - l, 6*p - 5*s = 2*p + 256. Does 23 divide p?
True
Let a(u) = -7*u - 26. Is 13 a factor of a(-7)?
False
Suppose 2*c + 2*c - 360 = 4*l, -5*c - 5*l + 430 = 0. Is 8 a factor of c?
True
Suppose 6*a + 5*q = 3*a - 84, -2*q + 17 = -a. Let z = a + 88. Suppose -47 = -4*c + z. Is c a multiple of 14?
True
Let f(v) be the second derivative of v**5/20 + 5*v**4/12 + v**3/6 - 2*v. Is 12 a factor of f(-4)?
True
Is 20 a factor of (-10)/(-40) - (-638)/8?
True
Let q = 41 + 39. Is 15 a factor of q?
False
Let r = -69 + 21. Let m = 92 + r. Does 14 divide m?
False
Let r(j) = j**2 - j + 30. Is 46 a factor of r(-14)?
False
Let p(k) = 21*k + 1. Let y be p(-1). Let x = y - -43. Is 7 a factor of x?
False
Suppose 3*i + 2*u = -2*u + 243, 0 = -5*i - 2*u + 391. Is i a multiple of 7?
True
Let p(k) = -k**3 - 3*k**2 - 2*k - 1. Let c be p(-3). Suppose x - 17 + c = 0. Is 3 a factor of x?
True
Let u(s) = 59*s + 30. Is u(4) a multiple of 14?
True
Does 28 divide 1*((-380)/(-7) - (-6)/(-21))?
False
Let m be ((-3)/(-3))/((-3)/(-9)). Suppose -42 = 2*l - 3*l + m*f, 2*l - 5*f = 88. Is l a multiple of 18?
True
Let x(d) = 51*d - 4. Is 10 a factor of x(4)?
True
Let x = -22 - -35. Let d(s) = -s + 0*s - x*s. Is d(-1) a multiple of 11?
False
Let a(g) be the second derivative of -g**5/20 + g**4/2 - 5*g**3/6 - g**2 - 2*g. Let t be a(5). Is 13 a factor of (-81)/(-1 + t) + -1?
True
Let o = 5 + 4. Let q be (-86)/(-4) + o/(-6). Let r = -3 + q. Is r a multiple of 9?
False
Let z = -3 + 5. Suppose -18 = -z*f - 5*v - 3, -4*f = 3*v - 9. Let r = 5 + f. Is 2 a factor of r?
False
Let k(m) = -m**2 + 5*m + 4. Let d be k(6). Is 4 a factor of 2/d + (-5)/(-1)?
True
Let j(m) = 17*m + 1. Suppose -2*i = -5*i + k + 27, 0 = -k + 3. Let n = i + -9. Does 18 divide j(n)?
True
Suppose -3*v - w + 104 = 0, -3*v - 5*w = -v - 65. Let a = v + 150. Suppose -4*q + a = q. Is q a multiple of 14?
False
Suppose 2*q = 100 + 56. Suppose 2*w = -w + l + q, -2*l + 119 = 5*w. Suppose 5*i = w + 30. Is i a multiple of 9?
False
Suppose -4*d + 136 = -4*k, -3*k + 104 = 4*d + k. Suppose d = 5*f + 2*u - 92, 25 = f + u. Is f a multiple of 7?
False
Let z(w) = 4*w**2 - 5*w - 4. Is z(5) a multiple of 10?
False
Let o = 107 - -13. Is 24 a factor of o?
True
Does 7 divide (-3 - -7)*22/8?
False
Let w(h) = h**2 - h + 2. Let m be w(2). Let t(q) be the third derivative of -q**6/120 + q**5/10 - 7*q**4/24 + 2*q**3/3 + q**2. Is t(m) a multiple of 7?
False
Let x be 5/1 - (-1)/1. Is (-1)/(3/x) + 37 a multiple of 14?
False
Let j(a) = -a**3 + 7*a**2 + 3*a + 1. Let c(v) = -2*v - 11. Suppose -5*y + 11 = o, 2*o + 3*o = 3*y - 57. Let t be c(o). Is 11 a factor of j(t)?
True
Suppose -b = -3 - 0. Let g be ((2 - 2)/2)/2. Suppose b*c - 45 = -g*c. Is c a multiple of 5?
True
Let x = -9 + 7. Let s be 1*x*9/(-6). Let w(c) = 4*c**2 - 4*c. Does 8 divide w(s)?
True
Suppose 126 = 5*d - 2*d. Is d + -4 + (3 - 2) a multiple of 8?
False
Let g be 9/(-11) - (-4)/(-22). Is 2 a factor of (14/8)/(g/(-4))?
False
Let b(w) = -5*w**2 + 2*w. Let t be b(4). Is ((-2)/3)/(4/t) a multiple of 11?
False
Let g = 7 + -7. Suppose g = -5*v + v + 152. Is 10 a factor of v?
False
Let t(a) = 4*a**3 - 6*a**2 - 2*a - 4. Is 9 a factor of t(3)?
False
Let o(y) = -2*y + y**2 + 6*y**2 + y**3 + 4 + 3*y. Is 17 a factor of o(-6)?
True
Suppose 3*y = -0*l - l - 1, 0 = -2*y + 2*l + 2. Suppose y*d + 4*d - 40 = 0. Is (-72)/(-10)*d/3 a multiple of 12?
True
Let f(g) = 6*g + 0*g - 6 - 4. Does 4 divide f(3)?
True
Let v be (0*(-2)/4)/(-1). Let r be (0 - v)/(-2) + 3. Suppose 0*n - 4*j = 2*n - 52, -r*j = -3*n + 33. Does 14 divide n?
False
Let o = -21 + 7. Let r = 43 + o. Does 15 divide r?
False
Does 4 divide (0 - (0 + 0 + -1)) + 28?
False
Let y(v) = v**3 - 5*v**2 - 2*v + 3. Let m(n) = n**3 - 9*n**2 + 9*n - 1. Let i be m(8). Is 26 a factor of y(i)?
False
Let k = -40 + 56. Let x = k + -3. Is x a multiple of 13?
True
Does 24 divide ((-129)/(-2))/(6/8)?
False
Let a(i) = -i**2 + 8*i - 5. Let g be a(7). Let t be ((-1)/g)/((-2)/(-28)). Is (t/(-2))/(2/4) a multiple of 7?
True
Let g = -12 + 18. Suppose 0 = c - g*c. Suppose f + 4*q - 5 = c, 28 = 3*f + 2*q - 3*q. Does 9 divide f?
True
Suppose -2*p + 4*p = -8. Let c be 10/3 - p/6. Suppose -2*h + 68 = c*s + 2*h, 4*h + 65 = 3*s. Is 11 a factor of s?
False
Let p(z) = 10*z + 1. Let h(j) = -j - 2. Let b be h(2). Let l(s) = s**2 + 3*s - 3. Let o be l(b). Is p(o) a multiple of 8?
False
Let a = 16 + -13. Suppose 2*d - 5 + 3 = 0, 4*d + 245 = a*l. Is l a multiple of 15?
False
Suppose -78 - 2 = -5*x. Is 7 a factor of x?
False
Let i(o) = -2*o**3 + 2*o**2 + 2*o - 3. Is 16 a factor of i(-3)?
False
Let y = 263 - 153. Suppose -q - 5*x + 56 - 18 = 0, -x = -4*q + y. Is 24 a factor of q?
False
Let x(h) = -h**2 - 19*h + 4. Is 9 a factor of x(-15)?
False
Suppose 2*u - 210 - 62 = 0. Is u a multiple of 26?
False
Let c(s) = 2*s**2 - 2*s + 2. Let r be c(2). Let j be -3*5/r*-4. Let l = -7 + j. Does 3 divide l?
True
Suppose 14 = -7*f + 77. Is f a multiple of 3?
True
Suppose 3*j - 717 = 3*v, -3*j - 260 = -v - 985. Does 23 divide j?
False
Suppose -5*w + 9*w - 44 = 0. Does 11 divide w?
True
Let a(k) = k**3 - k**2 - k - 3. Let c be a(0). Let n(w) = -4*w - 2. Does 5 divide n(c)?
True
Suppose k = 5*k - 60. Let s = -3 + k. Does 11 divide s?
False
Suppose 4*z + 2*d = 216, 0 = 2*z - 0*d - d - 116. Is 23 a factor of 16/z + (-159)/(-7)?
True
Let c = 19 - -2. Is c a multiple of 6?
False
Let c(r) = r**2 + 5*r - 3. Let g be c(-6). Suppose 2*a - g*a = -2. Suppose -19 + 4 = -a*z + l, z - 5*l = 12. Is z a multiple of 5?
False
Let v = -1 + 5. Let j be (2/v)/((-1)/(-6)). Suppose -j*b + 34 + 38 = 0. Does 15 divide b?
False
Let i(q) = 3*q**3 - q**2 - 7*q - 3. Is 24 a factor of i(3)?
True
Suppos