tor of ((-4)/(-8) - 1)*z?
False
Let g = 1 - -1. Let s(p) = p**3 - p. Is 4 a factor of s(g)?
False
Let y(l) = l**2 + 3*l + 3. Let a be y(-3). Suppose a*m = -78 + 249. Does 19 divide m?
True
Let l(d) = -d**3 - 20*d**2 - 3*d - 2. Does 4 divide l(-20)?
False
Suppose 0*q + 4*q = -16. Let u be (-1)/q - (-2)/(-8). Is u - (17*-1 - -1) a multiple of 8?
True
Suppose -2*p + 50 + 129 = 3*z, 0 = -4*p - 5*z + 355. Is p a multiple of 17?
True
Let x(g) = g - 3. Let k be x(3). Suppose -5*c + 6*c - 28 = k. Does 14 divide c?
True
Suppose 0 = -5*m - 0*m + 15. Suppose 5*f = -m*n + 72, -5*f + 64 = -f + 4*n. Is f a multiple of 8?
False
Let o(p) = p**3 + 10*p**2 + 11*p - 9. Let r be o(-9). Is 4/(-18) + (-141)/r a multiple of 3?
False
Let q(k) be the first derivative of -1 + 1/2*k**2 + 14*k. Is 7 a factor of q(0)?
True
Let d(g) = -11*g + 13. Is d(-3) a multiple of 10?
False
Suppose -5*i - 5*z = -i - 191, 3*i - 3*z = 177. Is 18 a factor of i?
True
Let a be 3*3/(-36)*-4. Is a/(-4) - 3878/(-56) a multiple of 20?
False
Suppose -10 = 2*n - 112. Does 17 divide n?
True
Let m = 8 + -4. Suppose 5*q = -1 - m. Is 7 a factor of (q - -2)/(1/14)?
True
Let u = -145 + 320. Is u a multiple of 25?
True
Let g(f) = f**2 - 7*f - 4. Let p be g(8). Let i(s) = 9*s - 4. Is 16 a factor of i(p)?
True
Let c(a) = -a**2 + 16*a - 7. Let q be c(6). Let f = -31 + q. Is f a multiple of 17?
False
Let c = 4 - 2. Let r be (c - 1)*(3 - 1). Is 2 a factor of 9/6*4/r?
False
Let a = -111 + 255. Is 24 a factor of a?
True
Let a = -647 - -1073. Is a a multiple of 20?
False
Suppose -3*q - 6 = 5*j + 2, 3*q = 3*j. Is 3 a factor of (7 - -1)/(j/(-1))?
False
Let j(h) = 2*h - 8. Let z be j(7). Let o = z - -2. Is 8 a factor of o?
True
Suppose -r - 3*r + 584 = 0. Is r a multiple of 15?
False
Suppose 3*f - f = -46. Let v = -11 - f. Does 6 divide v?
True
Suppose 8 = 4*i - 28. Let o = 18 - i. Is 5 a factor of o?
False
Let a(h) = h**2 - 7*h - 1. Let z be a(7). Let t(b) = -7*b**3 + b**2 + b + 1. Let o be t(z). Suppose 0*f - o = -2*f. Does 4 divide f?
True
Let r = 2 + 1. Suppose 0 = 4*c - f - 89, -r*c - 88 = -6*c + 5*f. Is 21 a factor of c?
True
Let d be 0 - 0 - -1 - 2. Does 30 divide 2095/25 - d/5?
False
Suppose -t = 2*h - 5, 1 = 2*h - 3*t - 0. Is (-1302)/(-24) - h/8 a multiple of 25?
False
Let y(q) = -8 - 5*q + 8. Let c be y(1). Let w = 11 + c. Is 6 a factor of w?
True
Let o = 20 - 13. Suppose 5 + o = 2*f. Is f even?
True
Suppose i = -p + 229, -4*p = -3*p + 2*i - 233. Is 15 a factor of p?
True
Let c = 1 + 2. Suppose -c*g - 28 = -5*k, 2*g - 3*k + 6 = -6*k. Let j(d) = d**3 + 7*d**2 + 3*d. Does 6 divide j(g)?
True
Let r be (-59)/(-2)*(0 - 2). Let m = 31 + r. Let y = m + 47. Is 19 a factor of y?
True
Suppose -5*i + 263 = -137. Is 20 a factor of i?
True
Suppose -2*f + 52 = 4*c, 6*f = 3*f + 3*c + 42. Is f a multiple of 9?
True
Let x(o) = o**2 - o + 91. Does 26 divide x(0)?
False
Let k = 5 + -31. Let v = k - -46. Is v a multiple of 10?
True
Is (110/(-10))/((-1)/3) a multiple of 4?
False
Let p = -20 + 20. Suppose p = n - 1 - 10. Is n a multiple of 4?
False
Suppose x - 16 = -4*v + 2, 3*x - 2*v + 16 = 0. Is (-48)/(-5 - x) - 2 a multiple of 5?
False
Let g be (1 - (1 + 2)) + 2. Let v = g - 4. Is 4 a factor of (-5)/(10/v) - -5?
False
Let d = 22 + -17. Does 5 divide d?
True
Let t(l) = 0*l + 3*l**2 - 4*l**2 - l + 26. Is 5 a factor of t(0)?
False
Suppose -u + 2*k = -106, -5*u - 9*k + 4*k = -560. Suppose 0*o + 4*c = o - 34, -5*o + u = -5*c. Is o a multiple of 9?
True
Let p = -1 + -4. Let x(k) = k**2 - 5*k - 6. Let q(c) = -4*c**2 + 14*c + 18. Let a(r) = -3*q(r) - 10*x(r). Does 8 divide a(p)?
True
Suppose 0 = -5*p - 2*v + 5, -p - 7 = 5*v - 3*v. Suppose 21 + 87 = p*h. Is h a multiple of 18?
True
Suppose -5*p = -3*s - 3, 3*p + s - 10 - 3 = 0. Suppose -21 = -h + p*a - 8, -3*a - 3 = 0. Is 10 a factor of h?
True
Does 9 divide (0 + -8)/32 + 1082/8?
True
Let g be 3/(-1) + 3 + 36. Suppose 2*y - g = y. Is y a multiple of 11?
False
Let a = -32 + 5. Is 4/18 + (-750)/a a multiple of 14?
True
Let o = -4 + 11. Let k(z) = z**2 - 4*z + 2. Is k(o) a multiple of 6?
False
Suppose -5*n - 53 = -4*q + 57, -5*q + 152 = n. Does 17 divide q?
False
Let h be (1 + 0)/(3/(-24)). Let x be (-12)/h - (-3)/(-2). Suppose o = 4*b - 48, -b = -x*o + o - 7. Is b a multiple of 11?
True
Let v(g) = -g**2 - 7*g + 12. Let f be v(-9). Does 17 divide (-500)/(-15) + (-4)/f?
True
Let t(y) be the first derivative of 7*y**2 + 10*y + 1. Let f be t(-9). Is f/(-14) + 8/(-28) a multiple of 3?
False
Let a(b) = b**2 + 10*b + 12. Let q be a(-10). Let k = q + 1. Does 11 divide k?
False
Let g = -38 - -61. Is g a multiple of 18?
False
Let j = -29 - -24. Let f(g) = g**3 + 4*g**2 - 12*g + 1. Is 9 a factor of f(j)?
True
Let p be 2/((-42)/38 - -1). Let s = 143 + -92. Let k = p + s. Is 14 a factor of k?
False
Let x(z) = 2*z**2 + z - 4. Let w be x(-2). Suppose 2*u - 201 = 5*y, -w*u + u + 98 = -2*y. Is u a multiple of 17?
False
Let w = 24 - -13. Let v = w + -11. Is v a multiple of 13?
True
Suppose -2*t + 20 = 4*r, 4 = 3*t - 5*r + 29. Suppose t*u - 4*u + 124 = 0. Is u a multiple of 11?
False
Suppose -4*r - 18 + 234 = 0. Is r/(-8)*(-40)/5 a multiple of 17?
False
Is 14 a factor of (-6)/24 + 1 + 890/8?
True
Let s be 8/44 - (-31)/11. Suppose -s*t + 0*t + 306 = 0. Suppose -q + 4*q = t. Is 17 a factor of q?
True
Suppose -10 = 5*m - 0*m. Let l(h) = -h - 1. Let x be l(-6). Let d = m + x. Is d a multiple of 3?
True
Let k = -22 - -45. Does 23 divide k?
True
Let x(y) = -3*y - 1. Let i be x(-2). Suppose -i = -2*r + 3. Is r a multiple of 2?
True
Let v(q) be the first derivative of 2 + 1/3*q**3 - 3*q + 2*q**2. Is v(-5) even?
True
Let n = 25 + -1. Is n a multiple of 6?
True
Let r be (1038/9)/((-2)/(-3)). Let a = r - 96. Is a a multiple of 22?
False
Let d(y) = 2*y**2 + 2. Let v be d(-2). Suppose 1 = -c + a + 10, 0 = 5*a - v. Is 11 a factor of c?
True
Suppose 0*k + 4*k = 0. Suppose -q = -k*q - 6. Is (-2 + q - -1) + -2 a multiple of 3?
True
Let i = -32 + 52. Is i a multiple of 4?
True
Let d(r) = 5*r**3 + 15*r**2 - 6*r + 1. Suppose -5*z - 21 - 14 = 0. Let p(w) = -3*w**3 - 8*w**2 + 3*w. Let g(s) = z*p(s) - 4*d(s). Is g(4) a multiple of 4?
True
Suppose -70 = 5*v + 25. Let p = v - -33. Does 6 divide p?
False
Suppose 3*c - 4*c + 15 = 3*f, f = -3. Is 6 a factor of c?
True
Is 3 a factor of (12/10)/(1/5)?
True
Let w = 4 - 2. Suppose -g - w*c + 6*c = -14, g - 11 = 3*c. Does 3 divide (-2)/((-5)/g + 2)?
False
Let g(x) = -x**3 - 6*x**2 - 7*x. Let q be g(-5). Let h = 14 - q. Suppose h*r = r + 102. Is 26 a factor of r?
False
Is 10 a factor of (-199)/(-5) + 1/5?
True
Let l(w) = w + 7. Let f be 99/15 - (-9)/(-15). Does 2 divide l(f)?
False
Let j be -69 - 3*1/(-1). Let k = -30 - j. Is k a multiple of 18?
True
Let k(n) be the first derivative of n**4/4 + n**3/3 - n**2/2 + n + 1. Let j(w) = 5*w**3 + 7*w**2 - 4*w + 6. Let f(q) = j(q) - 6*k(q). Does 4 divide f(-2)?
True
Let c(m) be the second derivative of m**6/144 - m**5/120 - m**4/6 + m. Let a(v) be the third derivative of c(v). Is 5 a factor of a(2)?
False
Let i be ((-10)/(-2))/(2/(-14)). Does 19 divide (266/i)/((-1)/5)?
True
Let w(k) = k**3 - 3*k + 6 - 2 - 2*k**3 - 5*k**2. Let y be w(-4). Is 12 a factor of y/(-1) + 23 - -1?
True
Suppose -1 = -4*g + 19. Is 3 a factor of g?
False
Suppose 5*f = 2*k + 25, -4*f + 4*k + 20 = k. Suppose 0 = a - 2*z - 15, -7*a + 2*a + f*z + 60 = 0. Is 8 a factor of a?
False
Let u = 2 + 0. Suppose 5*m = 4*m - 1. Does 8 divide m*(1 - u) + 15?
True
Suppose -445 = -3*z - 5*k, z + 3*k + 753 = 6*z. Is 9 a factor of z?
False
Let k(n) be the first derivative of -n**2/2 + 2*n - 1. Let a be k(2). Suppose a = -2*z + 36 - 8. Does 8 divide z?
False
Let w(c) = 19*c + 1. Let h(d) = -d**3 - 2*d**2 + 2*d - 2. Suppose 2*z + q + 8 = -2, 0 = 3*q + 12. Let s be h(z). Is 14 a factor of w(s)?
False
Is 2 a factor of -3 + (-105)/(-33) + (-40)/(-22)?
True
Let o be (-296)/(-36) - 2/9. Let h(r) = -2*r + 2*r**2 - r**2 - o - 2*r. Is h(6) a multiple of 2?
True
Let z = 3 + 13. Does 9 divide z?
False
Let i(o) = o**3 + 5*o**2 - 8*o - 9. Let w be i(-6). Suppose 0 = w*y - y - 26. Does 6 divide y?
False
Suppose x = -4*p - 5 + 18, -4*x + 7 = p. Let z(v) = 11*v - p + 5 - 4 + 3. Is 17 a factor of z(3)?
True
Let l = 37 + -16. Is l a multiple of 11?
False
Suppose -v = 3*s - 16, 5*v = 2*s - s + 48. Is 4 a