 3*(-3)/g*h?
True
Let f(l) = l**3 - 3*l**2 - 7*l + 1. Let h = -3 - -8. Does 5 divide f(h)?
False
Let r be (3 - -7) + 2 - 2. Suppose 6*s - r = s. Suppose -s*q - q + 144 = 0. Is 16 a factor of q?
True
Let j = 51 + -22. Is 27 a factor of j?
False
Suppose -i + 0*i + 22 = -2*u, 5*i - 123 = -3*u. Does 5 divide i?
False
Does 7 divide 4/(-26) + 288/13?
False
Let o(b) = -6*b**3 + b**2 + 2*b. Is o(-2) a multiple of 24?
True
Let f(o) be the third derivative of -13*o**6/120 + o**4/24 - 2*o**2. Let v be f(1). Does 7 divide 15/(-9)*v/2?
False
Let m be 53 + 5/((-15)/6). Let g = m + -28. Let j = -11 + g. Is j a multiple of 6?
True
Suppose -5*s + 0 = -30. Let g(p) = -p**3 + 8*p**2 - 8*p + 3. Does 8 divide g(s)?
False
Let t be (-9)/(-27) + 41/3. Let q = t - 4. Is q a multiple of 2?
True
Let o(k) = -k**3 - 6*k**2 - 2*k - 6. Let j be (2 + -5)/1 + -4. Let h be o(j). Let c = h + -39. Is 6 a factor of c?
True
Suppose -3*c + g - 5*g + 427 = 0, 2*c = g + 281. Does 15 divide c?
False
Let z be 1*6/(-15)*-10. Let a be (1 - 1)/((-12)/z). Suppose a*v = -v + 32. Is 16 a factor of v?
True
Suppose 0 = -5*m - 4*u + 148, -3*m - 4*u + 52 = -32. Let q = -7 + m. Suppose 0*l - l + q = 0. Does 15 divide l?
False
Suppose -7*a + 164 = -249. Is a a multiple of 18?
False
Let m = 656 + -392. Does 21 divide m?
False
Suppose 93 = -8*s + 509. Does 30 divide s?
False
Does 4 divide 714/14 + (-6)/2?
True
Let a = 49 + 86. Is a a multiple of 15?
True
Is 14 a factor of 43 + (64/24 - (-2)/6)?
False
Let d(v) = v**3 - 6*v**2 - 6*v - 7. Let k be d(7). Let w(l) = l + 5. Let n be w(k). Let x(b) = b**3 - 5*b**2 + 5*b - 4. Is x(n) a multiple of 13?
False
Let w be 1/4 + 298/(-8). Let c = -5 - w. Does 16 divide c?
True
Suppose -z - 47 = -240. Does 23 divide z?
False
Suppose -52 = -4*z + 180. Is z a multiple of 30?
False
Let n(x) = x**2 - 7*x + 4. Let j be n(7). Let k be (j/10)/((-2)/(-40)). Suppose -k = 2*q, 4*r - 2*r = q + 18. Does 7 divide r?
True
Let h = -49 - -121. Suppose -h = -3*t + t. Does 12 divide t?
True
Is ((-4)/8)/((-2)/56) a multiple of 7?
True
Suppose 4*u - 67 = 2*u + 5*j, 4*j + 41 = u. Does 7 divide u?
True
Let v = -3 + 2. Let t(l) = l - l - 8*l - 7*l. Is 9 a factor of t(v)?
False
Let w(x) = 7*x - 4 + x - x - 3*x. Does 10 divide w(8)?
False
Suppose -2*o - 9 = -5*f, 4*o + 5*f - 27 = -0*f. Suppose -o*c - 3*n + 3 = 0, 5*n - 2 = 3*c + 3*n. Suppose 5*a - 24 - 86 = c. Is 17 a factor of a?
False
Suppose -2*z + 146 = 5*b - 3*b, -4*z = -2*b + 152. Is b a multiple of 37?
True
Let x(t) = t**3 + 4*t**2 + t + 4. Suppose -2*k - 2 = 2*p - p, -2*p - 9 = -k. Let a be x(p). Suppose -r + i + 5 + 15 = a, -24 = -r + 5*i. Does 6 divide r?
False
Let q = 0 - 4. Let u(y) = -16*y - 6. Let i be u(q). Suppose -4*f + 69 = 3*s + 15, -4*f - 5*s = -i. Is 10 a factor of f?
False
Let x(w) = w**2 - 6*w + 5. Let n be x(7). Let v = n + 27. Is 13 a factor of v?
True
Let n = -4 - -15. Suppose n = 5*t + 4*y, 2*t + 2*y - 11 = 5*t. Let r = 12 - t. Is 13 a factor of r?
True
Suppose -4*a + 19 + 13 = 0. Let r = a + -3. Suppose 0 = r*u + 15, -5 + 2 = g + 2*u. Is 2 a factor of g?
False
Suppose 0 = 2*n - 3*l + 13, 0 = -5*l + 6 - 1. Let s = -3 - n. Is s a multiple of 2?
True
Suppose 3*k - 1 = 86. Is 11 a factor of k?
False
Suppose 4*u = 4*n, -10 = -2*n - 0*n. Suppose -3*m + 41 = -0*v + u*v, 2*v = 3*m - 55. Let w = 41 - m. Does 15 divide w?
False
Let p = -26 + 51. Does 14 divide p?
False
Let c(v) be the third derivative of -v**4/8 + 3*v**3/2 + v**2. Does 11 divide c(-8)?
True
Is 16 a factor of (-330)/(-4) + ((-20)/(-5))/8?
False
Let u(g) be the third derivative of -g**4/24 + g**3/6 - g**2. Let x(t) = t + 5. Let c(b) = -6*u(b) + x(b). Is 13 a factor of c(2)?
True
Let f = -35 - -49. Is (-4)/f - (-7230)/70 a multiple of 21?
False
Suppose -6 = -l + 2*l. Let j(o) = 12*o + 1. Let x(y) = 12*y + 1. Let a(i) = l*j(i) + 5*x(i). Does 5 divide a(-1)?
False
Suppose -5*q + 291 = -2*q. Is q a multiple of 11?
False
Let z = -4 - -6. Let r(t) = t**3 - 2 + 0*t**3 - 8*t + 3 - 9*t**z - 2. Is 14 a factor of r(10)?
False
Let j = 233 + -157. Is j a multiple of 7?
False
Let w(l) = l**2 - l + 1. Let g be w(-2). Suppose -g*j = -3*j - 56. Does 14 divide j?
True
Let o = -88 - -152. Suppose -3*m + o = 5*i, i - 47 = -2*m + 2*i. Is 10 a factor of m?
False
Let p be 4/3*(-6)/4. Let d be 3 + p*3 + 3. Suppose d = -4*u - a + 61, 0 = -u + 2*a - 5*a + 29. Is 14 a factor of u?
True
Let d(k) be the second derivative of -k**5/20 - k**4/3 + 5*k**3/6 + 7*k**2/2 - k. Is d(-5) a multiple of 2?
False
Let t = 2 + 0. Suppose 2*p = 2 + 2. Suppose p*o + t*o = 128. Is 15 a factor of o?
False
Suppose 0 = 3*t - 2*l - 10, 2*l - 5*l = -3. Is t even?
True
Let w be 5 + (0/(-1) - 1). Suppose w*g = -0*g + 12. Is g a multiple of 3?
True
Let y(l) = -73*l - 11. Let k be y(8). Is k/(-30) - (-2)/12 a multiple of 16?
False
Let c(g) = -2 - 4*g**2 - 12*g + 2*g - 6*g**2 - g**3 + 3. Does 6 divide c(-9)?
False
Let s be (21/7)/((-6)/(-10)). Suppose z - 3 = 2*z, s*d - 17 = -z. Suppose -d*n + 34 = -14. Is n a multiple of 4?
True
Suppose -4*x - 20 = 0, x = -5*l + 8 - 23. Is 11 a factor of (-729)/(-45) + l/10?
False
Let b = 38 + -16. Is 11 a factor of b?
True
Let t(v) be the second derivative of v**5/10 - v**4/3 + 5*v**3/6 - 2*v**2 + v. Is 19 a factor of t(3)?
False
Suppose 0*l = 6*l - 750. Is l a multiple of 24?
False
Let d(x) = -x**2 - 7*x + 3. Suppose 0*t + 4 = 4*t. Let a be (t - (-10)/(-4))*4. Does 9 divide d(a)?
True
Let v(i) = 52*i. Suppose 0*r = -3*r + 3. Let f be v(r). Is 4 a factor of f/14 - (-4)/14?
True
Let z(o) = 19*o + 1. Let v(r) = -r. Let l(a) = -4*v(a) + z(a). Is l(1) a multiple of 8?
True
Suppose -d - o + 7 = 0, 4*d - 5*o + 11 = 3*d. Is d a multiple of 4?
True
Let m = -2 - -2. Suppose m = 4*z - 9*z + 190. Does 19 divide z?
True
Let h(f) = -2 + f**3 - 3*f**2 - 3*f**2 + 18*f**2 + 10*f. Is 4 a factor of h(-11)?
False
Suppose 57 = 3*i - 24. Suppose r - i = 21. Is r a multiple of 15?
False
Let j(r) be the first derivative of r**5/60 + r**4/24 - r**3/3 - r**2 + 1. Let m(d) be the second derivative of j(d). Is 12 a factor of m(-5)?
False
Suppose -2*v + 5*v = 12, 0 = -h - 3*v + 135. Is h a multiple of 21?
False
Suppose 44 = 8*p - 7*p. Is p a multiple of 22?
True
Let l(n) be the third derivative of n**5/60 + n**4/6 + 2*n**3/3 - n**2. Is 4 a factor of l(-5)?
False
Let p be (-4 - -6) + 2*1. Let y be (-184)/(-18) + p/(-18). Suppose 4*k - 46 - y = 0. Is 7 a factor of k?
True
Let f(h) = -14*h**2 + 6*h - 7. Let b(d) = 14*d**2 - 5*d + 6. Let y(l) = 6*b(l) + 5*f(l). Is y(-1) a multiple of 15?
True
Let i(w) = w + 4. Let x = 4 - -3. Does 11 divide i(x)?
True
Suppose 4*c - 10 = 6*c. Does 14 divide 56/c*(-5 + 0)?
True
Let f(s) = 5*s**2 + s - 6. Is 12 a factor of f(-3)?
True
Let n(s) = -2*s**2 + 6*s - 4. Let k be n(4). Is 15 a factor of ((-22)/6 - -2)*k?
False
Suppose 6*r - r + 150 = 0. Let a = 57 + r. Is 10 a factor of a?
False
Let o = -8 - -19. Is o + 1 - 18/(-6) a multiple of 5?
True
Let f(o) = o**3 - 9*o**2 + 3*o + 9. Let m(p) = -7*p - 5. Let l be m(-4). Let x = -14 + l. Is f(x) a multiple of 14?
False
Suppose -375 = -2*q - 115. Let d = q - 82. Does 16 divide d?
True
Suppose 0 = -2*k - 39 + 215. Does 22 divide k?
True
Let t(p) = 3*p**3 - p**2 - 3*p - 1. Let y be t(3). Suppose 3*x + y = 5*x. Let i = -16 + x. Is i a multiple of 6?
False
Let o(m) = 8*m**3 - 34*m**2 - 31*m - 42. Let u(q) = -3*q**3 + 11*q**2 + 10*q + 14. Let z(p) = -4*o(p) - 11*u(p). Is 14 a factor of z(-14)?
True
Let z = 69 - 39. Is z a multiple of 5?
True
Let c be 4 + -6 - (115 - -2). Let j = -77 - c. Is j a multiple of 14?
True
Let p = 3 + 2. Suppose 2*d = 4*j + 126, p*d - j - 166 = 149. Is 21 a factor of d?
True
Let k be (3 - 2)/((-6)/48). Does 8 divide 18/(2/(k/(-3)))?
True
Suppose -4*v = -5*l + 64, v + 28 = 2*l - 0*v. Let x be 52/l - 2/8. Suppose p = -x*o + 39 + 73, 0 = -3*p + 12. Is 17 a factor of o?
False
Suppose -5*b = -3*b + 3*n - 28, 5*b + 4*n = 56. Suppose -5*q - b + 78 = 0. Does 4 divide q?
False
Let a(p) = 7*p + 45. Let c(g) = -4*g - 23. Let u(m) = -3*a(m) - 5*c(m). Let h(z) = -z - 20. Let t(k) = 3*h(k) - 4*u(k). Does 10 divide t(0)?
True
Let a = 406 - 258. Is a a multiple of 5?
False
Let g(m) = -5*m - 28. Does 13 divide g(-10)?
False
Let m be 681/4*(-48)/(-18). Is m/6 + (-2)/3 a multiple of 25?
True
Let z be (-524)/8 - 2/4. Is 7 a fac