4/24 + 13*h**3/6 + 2*h**2. Does 8 divide o(0)?
False
Is 17 a factor of 50 + 1 - (4 - 4)?
True
Let a(b) = b**2 + 5*b + b**2 - 6*b. Let g be a(-2). Does 5 divide 28/g*(-4 + 9)?
False
Suppose 2*t + 10 = t. Let a be -10*(1 + t/4). Does 14 divide -1 - 0 - -1*a?
True
Let c = -134 + 246. Does 8 divide c?
True
Let m = -23 + -19. Let b = m + 93. Is b a multiple of 18?
False
Suppose -38 = -2*b + o, 5*b - 59 = -5*o + 51. Suppose 0 = -t + 6*t - b. Is 9 a factor of -1 + 3 - t*-5?
False
Does 9 divide 75 + -77 - (0 + -1*137)?
True
Suppose 5*f = 3*u + 1239, -f + 86 = -u - 163. Let i = f - 170. Does 19 divide i?
True
Let o(i) = 6*i**3 - i**2 + i - 1. Let z = 0 + 5. Suppose -z*v + 3*g = -16, 4*v - 5*g = -2*g + 14. Does 19 divide o(v)?
False
Suppose 12 = -4*x + 3*l, l - 4 = 5*x - 0*x. Suppose -4*i + 49 - 5 = x. Is 8 a factor of i?
False
Suppose -6*c - 384 = -4*s - c, -2*s + 2*c = -192. Does 8 divide s?
True
Is (-2)/5 - (-7456)/40 a multiple of 51?
False
Let h be 256/20 - (-1)/5. Suppose 2*x = -k + 13, k - 4*x - h = -3*x. Suppose k + 15 = u. Does 14 divide u?
True
Suppose 3*g - 305 = 2*m, -4*g + 5*g = 2*m + 107. Does 9 divide g?
True
Suppose 4*f = 5*m + 3*f - 1654, -3*m + 1010 = -5*f. Is m a multiple of 30?
True
Suppose -2*h = 3*h + 420. Is 21 a factor of (2/4 + -1)*h?
True
Let y = -23 - -27. Suppose -210 = -4*s - f, 0 = -0*s + 2*s + y*f - 112. Is 14 a factor of s?
False
Suppose -5*a + 69 + 81 = 0. Suppose -2*o = o - a. Is 5 a factor of o?
True
Suppose 5*c - 3*i = -4*i + 16, 3*c = i + 16. Suppose 20 - 122 = -3*p + 3*f, p - 19 = c*f. Is 14 a factor of p?
False
Let y = 192 - 80. Is y a multiple of 19?
False
Let k be (-2)/9 + (-129)/27. Let h = -2 - k. Is 2 a factor of h?
False
Is 21/(-6)*(-336)/49 a multiple of 4?
True
Let f(d) = -36*d**2. Let x be f(1). Let l = 155 - 229. Let p = x - l. Does 19 divide p?
True
Let v = 23 + -9. Let h = 52 - v. Does 13 divide h?
False
Suppose -3*f + 6 + 3 = 0. Suppose 0 = 4*j + 3*z - 36, 4*z = -f*j + j + 18. Does 2 divide j?
False
Let m(d) = 6*d + 2 + 1 - 2*d. Let y be -9*-1*6/9. Is m(y) a multiple of 10?
False
Does 4 divide (4 - 2) + -1 + 4?
False
Let w(m) be the third derivative of -29*m**4/24 + m**3/6 + 2*m**2. Let g be w(-1). Suppose f = -2*f + g. Does 6 divide f?
False
Let j(y) = -4*y + 4. Does 26 divide j(-19)?
False
Let m = -51 - -88. Does 31 divide m?
False
Let x be 16 - (1 + 1)/(-2). Suppose 0 = i - x + 2. Is 5 a factor of i?
True
Let q(p) = -p + 2. Does 3 divide q(-8)?
False
Suppose -d + 77 = 5*w - 62, -w = 5*d - 23. Is 16 a factor of w?
False
Suppose 216 = -x + 3*x. Does 12 divide x?
True
Let z(g) = g**2 + 2*g - 3. Let f be z(-3). Suppose f*s = s - 2. Suppose 5*k - s*y - 181 = -21, 4*k - 5*y - 128 = 0. Is 16 a factor of k?
True
Let q be -26*9/6*-1. Suppose 5*m = 124 - q. Is 17 a factor of m?
True
Suppose 0 = -3*l - l - 24. Let y(m) = -9*m - 9. Let b be y(l). Suppose 0*q = q - b. Does 21 divide q?
False
Suppose -159 = -5*p + 131. Let a = 110 - p. Is a a multiple of 26?
True
Let m(n) = -n**2 + 4*n**2 + 8 + n**2 - 5*n - n**3 + 4*n**2. Is 6 a factor of m(7)?
False
Let v(w) = w + 11. Suppose -4*h - h = -10. Suppose -h*f = -7*f - 25. Is v(f) a multiple of 4?
False
Suppose -364 = -4*o + 3*b, -b = 2 + 2. Does 27 divide o?
False
Suppose -4*i + 2*h = 4, 0 = -h + 6 - 4. Suppose -5*s + 7 + 48 = i. Is s a multiple of 11?
True
Let a(n) = 11*n**2 - n + 1. Does 2 divide a(1)?
False
Suppose i = j - 3*j + 57, -1 = -j. Suppose 5*s = i + 30. Suppose b = -p + 35, 5*b = 3 + s. Is 18 a factor of p?
False
Suppose -5*g = 21 + 459. Let o = -56 - g. Does 14 divide o?
False
Let v = 0 + 3. Suppose -v*k = c - 15, -5*c + 5*k - 14 = -3*c. Suppose -5 = -c*x + 43. Does 10 divide x?
False
Let j(h) = h + 11. Let x be j(-8). Suppose o - x*o = 5*y - 41, 5*o = -5*y + 95. Is 10 a factor of o?
False
Suppose -3*i = -i - 50. Suppose -3*o = 2*o + i. Is 2/5 + (-78)/o a multiple of 6?
False
Suppose 2*f - 10 = 7*f. Let q be (-9)/2 + (-3)/f. Let w(k) = -6*k - 1. Does 17 divide w(q)?
True
Let d = 3 + -3. Let j(c) = 3*c**2 - 3 + 2 + d - 2*c. Is 8 a factor of j(-2)?
False
Let m be (-3)/18*-3*0. Let f be (-195)/(m + 3)*-1. Suppose 4*b - f = 47. Is b a multiple of 14?
True
Let b be 2/5 + (-92)/(-20). Suppose -5*f + b = -10. Is 2 a factor of f?
False
Let j(l) = -l**2 + 26*l + 3. Is j(9) a multiple of 26?
True
Let g(k) be the third derivative of -k**4/4 - k**3/3 + 3*k**2. Is 2 a factor of g(-2)?
True
Suppose 0*s - s + 71 = 0. Suppose 5*t = -5*v + 95, 7*t - v - s = 3*t. Does 7 divide t?
False
Let q(d) = -5*d - 6. Let l = -10 - -6. Does 5 divide q(l)?
False
Let k(q) be the third derivative of -q**6/120 + q**5/15 + q**4/4 - q**3/3 - 5*q**2. Is k(5) a multiple of 3?
True
Let z be ((-5)/(-4) + -2)*-4. Suppose 25 = w - 5*u, 5*u - z*u = 5*w - 33. Suppose 0 = -w*a + 4*a + 23. Is 7 a factor of a?
False
Let r = 41 + 7. Is r a multiple of 21?
False
Let z(l) = l**2 + 4*l + 2. Is z(-5) a multiple of 7?
True
Suppose g + 7 = 25. Is 9 a factor of g?
True
Let j(y) be the first derivative of 11*y**2/2 - 10*y - 5. Is j(8) a multiple of 26?
True
Let u = -38 + 42. Is u a multiple of 3?
False
Let i(u) = 2*u**2 - 4*u + 5. Does 7 divide i(4)?
True
Let g be (-1*17)/((-3)/3). Is 13 a factor of -1 + g*2 + -2?
False
Suppose 3*x + 11 - 5 = 0. Let y = x - -4. Suppose a + a = -y, -3*f = 3*a - 45. Is 11 a factor of f?
False
Let p be (-74)/14 - (-2)/7. Suppose 4 = -4*n - 0. Does 12 divide 1*n + (-110)/p?
False
Let h = 3 - 2. Suppose 5*a - 3*r - 19 = 128, h = r. Is 15 a factor of a?
True
Suppose -20*y = -11*y - 1089. Does 11 divide y?
True
Suppose 0 = -5*k + k + 16, -k = 3*u - 181. Is 23 a factor of u?
False
Let r be 6/12 - (-1)/(-2). Suppose r = 5*h + 20, -3*i - 4*h = -1 - 85. Let s = 63 - i. Does 14 divide s?
False
Let j(m) be the first derivative of m**4/4 + m**3/3 - m**2/2 + 14*m - 3. Let w(o) = -o**2 + 1. Let q be w(-1). Does 8 divide j(q)?
False
Let k = -22 - -46. Is 4 a factor of k?
True
Let d(v) = v**3 + 12*v**2 + 12*v - 5. Let g be d(-11). Let h = 31 + g. Is 15 a factor of h?
True
Let b(v) = -v**3 + 6*v**2 + 4*v + 1. Let w be b(7). Is (3/(-2))/(15/w) a multiple of 2?
True
Suppose 2 = 5*o - 8. Let v(r) = r - 2 + 2*r**o + 1 + 3. Is v(-2) a multiple of 5?
False
Let q = 23 + -33. Is 7 a factor of 66/5 + (-8)/q?
True
Let z = 9 + -5. Suppose -5*o - 5*f + 252 = -f, z*o = 3*f + 183. Is o a multiple of 22?
False
Let x(h) = -h + 2. Let g be x(3). Let z(b) be the second derivative of -b**5 + b**4/12 - b**2/2 + 6*b. Does 20 divide z(g)?
True
Suppose -12 = 4*j - 4*s, 2*j + 8 = 5*s - 13. Suppose -10 = j*a - 34. Is 4 a factor of a?
True
Suppose 0*z - 3*z = 9. Let j be 30 - (0/z + 2). Let b = -17 + j. Does 4 divide b?
False
Let v = -2 + -11. Let p = v + 43. Is 12 a factor of p?
False
Suppose -r = h - 27, 4*r - 22 = -5*h + 81. Does 8 divide r?
True
Let w(l) = -l**3 + 3*l**2 + 6*l - 6. Let u be w(4). Suppose 0*o = u*o - 4. Suppose 4*q + 5*x = 93, x = o*q + q - 84. Is 13 a factor of q?
False
Let s(a) = a**3 + 4*a**2 + 3*a + 4. Let v be s(-3). Suppose -3*k = -v - 14. Is k a multiple of 6?
True
Let j = -23 - -18. Let a = 13 - j. Is a a multiple of 18?
True
Let w(n) = -2*n**3 - 3*n**2 - 11*n - 12. Does 14 divide w(-2)?
True
Let k(t) = 5*t + 3. Let g be k(4). Is (10 - g)*(0 - 1) a multiple of 5?
False
Is 22 a factor of (-6684)/(-38) - (-4)/38?
True
Let x(n) = 2*n**2 + n + 1. Does 7 divide x(-3)?
False
Suppose -n - 30 = -3*n. Suppose l + n = 2*l. Does 7 divide l?
False
Suppose -2*d = -z - 20, 3*d - 2*z - 9 - 22 = 0. Is 14 a factor of 2/d + (-1004)/(-18)?
True
Suppose 4*k = -5*x + 16, 8 = 3*x + 2*k + 2*k. Suppose n = 2*n + 4*w + 4, -x = -2*n - 2*w. Suppose r = 5, 0 = -n*a + r + r + 86. Is a a multiple of 12?
True
Let q be (2 + (2 - 5))*1. Is (q/2)/((-1)/38) a multiple of 9?
False
Let q = 244 + -109. Is q a multiple of 29?
False
Let z(l) = -l**3 + 4*l**2 - 2*l - 1. Let u be z(2). Suppose -4*m + 0*f + 91 = u*f, 5*m - 111 = -f. Does 13 divide m?
False
Suppose -6*h + 228 = -2*h. Suppose h - 8 = 4*v + g, -v + 8 = -4*g. Is v a multiple of 12?
True
Let r be 0 + 0 + -3 - 1. Let q(c) = -8*c - 3. Does 13 divide q(r)?
False
Suppose -2*g + 5*p = -55, 34 = g - 4*p + 2. Does 20 divide g?
True
Let p(b) = b**3 - 6*b**2 - 7*b + 6. Let f = -22 - -45. Suppose 4*n + 0*c - 3*c = 16, 0 = -n - 4*c + f. Does 6 divide p(n)?
True
Let b = 7 + -5. 