
Let n(t) = t**2 + 2*t - 4. Let z = -5 + 3. Let a(w) = -w + 1. Let h be a(z). Does 8 divide n(h)?
False
Suppose -2*y + 342 = 5*v - 0*y, 4*v + 2*y - 272 = 0. Is 16 a factor of v?
False
Suppose 0 = -0*j - 3*j + 9. Suppose -2*f + 6*f + 4*p - 24 = 0, -j*f + 18 = 2*p. Is (-2 - 0)*f/(-1) a multiple of 6?
True
Let h be (2 + -3)/((-1)/2). Suppose 4*k = n - 11, -3*n + 2*k = -4*n + 11. Suppose h = v - n. Is 10 a factor of v?
False
Let i(x) = 6*x**2 + 3*x. Let g be i(-3). Suppose -b = -3*t + 130, -4*t - 5*b + g = -103. Does 21 divide t?
True
Let j be ((-8)/6)/((-18)/189). Suppose s = 3*s - j. Is 2 a factor of s?
False
Let h = -166 - -187. Is 7 a factor of h?
True
Suppose 4*g + y - 9 = 0, 0*g - 5*g = 2*y - 12. Suppose -8*p = -7*p - 16. Suppose -m - g = -p. Is 14 a factor of m?
True
Let y = 64 + -45. Does 13 divide y?
False
Let n(l) = l**3 + 8*l**2 - 4*l + 6. Let x(p) = -p**3 + p**2 - p - 1. Let j(g) = n(g) + 2*x(g). Let d be j(4). Suppose 3*z = 196 - d. Is 17 a factor of z?
False
Let g = 48 + -5. Let f = g - -38. Is f a multiple of 27?
True
Suppose 8*f + 30 = 9*f. Is 15 a factor of f?
True
Let z be 1 + (-4)/(-1 - 3). Suppose 4*c - 4*f - 252 = 0, c + z*f - 63 = -0*c. Does 14 divide c?
False
Suppose v - 4*v + 909 = 2*x, -2*x = -4*v + 1198. Is 34 a factor of v?
False
Suppose -4*p = 23 - 7. Let f(j) = -2*j - 3. Let i be f(p). Suppose i*k - 11 = 34. Is k a multiple of 9?
True
Let b = 145 + -103. Is b a multiple of 18?
False
Let a be -5*14*4/(-10). Suppose s - 4*k - 72 = 0, -4*s + a = -3*k - 195. Does 13 divide s?
True
Suppose 248 = 4*u - 168. Is u a multiple of 26?
True
Suppose 259 = 7*i + 49. Is 6 a factor of i?
True
Let p(q) = -64*q - 7. Let i be p(-9). Suppose 5*n - i = -149. Suppose n = 5*c + 24. Is c a multiple of 8?
False
Let a = -384 + 599. Suppose -4*n + 9 = -a. Is n a multiple of 14?
True
Suppose 18 = 3*w - o + 2, 0 = 3*w - 3*o - 6. Let g(d) = -d**2 + 7*d + 15. Does 9 divide g(w)?
False
Let x(m) = 1 + 1 - m + 2*m**2 + 0*m**2 - 5*m. Is 13 a factor of x(5)?
False
Let y be (-1)/((5 - 2) + -2). Let x be y*(-2 - (-7 + 1)). Is 9 a factor of (x/4)/(2/(-36))?
True
Suppose 0*i - 4*i + 116 = 0. Is i a multiple of 9?
False
Let i(f) = -27*f**2 - 3*f - 1. Let b be i(-1). Let g = b + 45. Is g a multiple of 10?
True
Suppose x + 3 = 0, 2*j - 4*x - 759 = -x. Is 40 a factor of j?
False
Suppose 5*r - r = -64. Let i = 18 - 24. Let m = i - r. Does 4 divide m?
False
Let s = 28 - 5. Is 13 a factor of s?
False
Let z = -1 + 8. Let y = 10 - z. Suppose -88 = -y*g - 1. Is g a multiple of 15?
False
Suppose -1 = j - 4. Suppose j*u = -3*v + 81, -4*u = -2*v + 7*v - 132. Is 17 a factor of v?
False
Let h(c) = -c**3 + c**2 - 1. Let x be h(-3). Suppose 6 - x = -2*g - 3*j, 5*j - 4 = 3*g. Is g/2*2 + -2 even?
False
Is 5 a factor of (1 + 1)*(-720)/(-32)?
True
Let x(r) = -2*r**2 + 2*r - 1. Let w(d) = d. Let p(k) = -3*w(k) - 3*x(k). Let o be p(6). Suppose -o = -4*j - 25. Is j a multiple of 16?
False
Let q = 660 - 240. Does 14 divide q?
True
Suppose 0 = -3*m + 2*w - 3*w - 4, 5*m = w - 20. Let p be m/(-2)*1224/27. Let a = p + -29. Is 16 a factor of a?
False
Let s = -2 + 3. Suppose z + q - 12 = 0, -2*z + 2*q + 24 = -2*q. Is 6 a factor of (z - s) + 1 + -1?
False
Let p(l) = -l - 2. Let v be p(-5). Suppose 2*n = -2*n + 4*k + 112, -5*k - 80 = -v*n. Does 15 divide n?
True
Let v(x) = -x + 5. Let i be v(5). Let d = 5 + i. Is 2 a factor of d?
False
Let j(u) be the third derivative of -u**6/15 + u**5/60 + u**2. Let s be j(-1). Is 2 a factor of 29/s + 6/(-27)?
False
Let t(s) = -s - 1. Let q be t(-3). Let p = q - 0. Is p + (-2)/(4/(-14)) a multiple of 4?
False
Suppose 3*b - 4*o = 166, 48 = 5*b - 5*o - 232. Is b a multiple of 27?
False
Let v be ((-24)/(-10))/(2/15). Suppose 0 = 6*b - 4*b - v. Is 3/(3/b*1) a multiple of 9?
True
Let y = 190 + -102. Is y a multiple of 9?
False
Suppose 4*y + 12 = 4*m, 5*m + y - 10 = 23. Let n = 14 - m. Suppose n*b = r + 3*b + 12, r = b + 4. Is 5 a factor of r?
False
Let y(d) = 71*d**3 - 7*d + 2. Let n(r) = 36*r**3 - 4*r + 1. Let f(s) = -7*n(s) + 4*y(s). Does 11 divide f(1)?
True
Let f(j) = j**2 + 4*j + 5. Let n be f(-5). Let h(y) = -y**3 + 11*y**2 - 3*y - 12. Is 29 a factor of h(n)?
True
Let r = 62 - 44. Suppose 0 = 3*g + r - 63. Is 12 a factor of g?
False
Let p(y) = 1. Let m(o) = -2*o**2 - o - 2. Let l(q) = -m(q) - p(q). Is l(2) a multiple of 7?
False
Let d(q) = 1. Let n(h) = -6*h**2 + 2*h + 7. Let b(t) = 5*d(t) - n(t). Does 13 divide b(-2)?
True
Let v(f) be the third derivative of f**6/720 + f**5/30 + f**4/8 - 3*f**2. Let z(x) be the second derivative of v(x). Does 9 divide z(5)?
True
Let z(v) = v**3 + 6*v**2 + 3*v - 7. Let j be z(-5). Does 22 divide 130/j - (-8)/12?
True
Let k be (-55)/(-25) - 2/10. Let l = 8 - k. Is l even?
True
Suppose -3*q - 2*q - 5*p + 45 = 0, 24 = 3*q + 2*p. Is q a multiple of 3?
True
Let i(s) = -s**3 + 7*s**2 - 6*s + 4. Let q = -20 - -25. Is i(q) a multiple of 8?
True
Let f = -4 - -9. Suppose 5*r - 15 = 5*i, 5*r - r = f*i + 10. Suppose -7 + 57 = r*d. Does 9 divide d?
False
Let g(q) = -q**3 + 9*q**2 - 7*q - 2. Let n be g(6). Suppose 3*o + 0 = 168. Suppose -5*f + n = -o. Is f a multiple of 12?
True
Let b = -11 + 7. Let x(l) be the third derivative of l**5/15 - 2*l**3/3 - 45*l**2. Does 20 divide x(b)?
True
Let z = 11 + -4. Is 2 a factor of z?
False
Let i(x) = -2*x + 1. Let j be i(3). Let d be (-4)/((j + 3)/(-1)). Is 10 a factor of d/4*(-19 + -3)?
False
Let u(a) = -4*a**3 - 7*a**2 - 4*a. Is u(-4) a multiple of 32?
True
Let f(p) = -6*p**2 + 6*p**2 - 10*p**3 - 5*p**3. Is 6 a factor of f(-1)?
False
Suppose -15 = -5*t + 2*t. Suppose 1 = -t*j + 16. Does 2 divide j?
False
Let n = 272 - 181. Is 15 a factor of n?
False
Suppose 1 + 1 = t. Suppose -d = -1 - t. Suppose 2*c - h = -d*h + 50, -c + 35 = -h. Does 15 divide c?
True
Suppose 5*t + 2 = -8. Let f = -5 - t. Does 5 divide -5*2/3*f?
True
Let s = -2 - -3. Let g = 3 + s. Suppose g*x - 9*x - 3*r = -55, 41 = 2*x + 5*r. Does 5 divide x?
False
Let u = -61 - -88. Is 4 a factor of u?
False
Let d = 17 - 8. Is 9 a factor of d?
True
Let g = 51 - 32. Suppose 0 = p + 4, 3*x - 5*p - 8 + 21 = 0. Let r = g + x. Is r a multiple of 3?
False
Let x(b) = 0*b + 0 + 8*b - b**3 - 9*b**2 + 1. Suppose 2*n + 28 = -o - 3*o, 5*o = 2*n + 10. Is x(n) a multiple of 15?
False
Let g = 20 - -7. Is g a multiple of 14?
False
Let l = 8 + -10. Let z = l + 16. Is z a multiple of 9?
False
Let y be 27*(-1*3)/(-3). Let h be (-36)/(-21) - (-2)/7. Suppose -y - 1 = -h*c. Is 8 a factor of c?
False
Suppose 5*v + 18 + 7 = 0, -2*g + 218 = 2*v. Let k = g + -70. Is k a multiple of 10?
False
Let o(z) be the third derivative of -z**4/4 - z**3 + 7*z**2. Let b be ((-5)/(-2))/((-2)/4). Is o(b) a multiple of 12?
True
Suppose -12 = -2*l - 4*i, -2*i + 3 - 27 = -4*l. Let u = l - 8. Is 4 a factor of (9*-1)/(2/u)?
False
Suppose u + 11 = 2*u. Does 8 divide u?
False
Let y(t) = -t**3 + 11*t**2 + 8*t - 13. Let q be y(11). Is (-4)/(-14) + q/7 a multiple of 8?
False
Let q = -63 + 129. Does 17 divide q?
False
Suppose -h - h = -l + 1, 5*l + 6 = -h. Is ((-16)/6)/(l/6) a multiple of 8?
True
Suppose 0 = 45*a - 49*a + 96. Does 8 divide a?
True
Suppose -l - 12 = -3*l. Suppose 12 = l*q - 60. Does 4 divide q?
True
Let g(r) = 14*r**3 + 14*r**2 + 14*r + 43. Let z(s) = -5*s**3 - 5*s**2 - 5*s - 14. Let u(d) = 4*g(d) + 11*z(d). Is 18 a factor of u(0)?
True
Suppose 4*x + 216 - 656 = 0. Let c = 23 + -15. Suppose -x = 3*u - c*u. Does 12 divide u?
False
Let d(r) = r**2 + 5*r + 4. Let w be d(-5). Suppose 9 = -f + w*f. Suppose -2*z = -f*p - 36, 3*p - 42 - 12 = -3*z. Does 9 divide z?
True
Let h = 7 - 4. Let t(p) = p - 1. Is t(h) a multiple of 2?
True
Suppose -4*g + 4*r - 54 = -6*g, -5*g + 135 = 5*r. Let p = 8 - g. Let c = 41 + p. Does 11 divide c?
True
Suppose 3*f + f - 5*u - 17 = 0, -4*f + 4*u = -20. Let d(s) = -s**2 + 7*s + 10. Let x be d(f). Does 5 divide 7*x - (-10)/(-5)?
False
Is 22 a factor of (12/(-24))/((-1)/(-2))*-22?
True
Is ((-26)/4 + -1)*(-120)/25 a multiple of 12?
True
Let c = 5 + 3. Suppose c*h - 9*h = -42. Does 14 divide h?
True
Let g(m) = -m**2 + 3*m + 3. Let n be g(3). Suppose 4*w = 2*z + 19 + n, w + 11 = -5*z. Suppose 18 = w*l + 2. Is l a multiple of 4?
True
Let p(x) = 7*x - 7. Let n be p(5). Suppose 2*t + n = 4*u, 0*t + 3*u = -5*t - 44. Does 19 divide (-92)/(-5) + (-6)/t?
True
