 be (-41)/(-4) + (-9)/(-12). Suppose n*h - 1078 = -0*h. Does 19 divide h?
False
Let j be 6/2 - 0/(-6). Suppose -o + 3*o - 3*m - 18 = 0, 5*m = -j*o - 11. Suppose -o*h - 45 = -6*h. Is 15 a factor of h?
True
Let h be 19*(-1 - -22) + -1. Let x = 665 - h. Is 17 a factor of x?
False
Suppose 5*h + 0*u = 4*u + 1795, -h - 4*u + 335 = 0. Suppose 0 = -w + 2*v - 3*v + 90, -4*w + h = 5*v. Is 12 a factor of w?
False
Suppose 3*x + 2*x - 15 = 0. Suppose -22 = -t + 3*l, x*l + 4 + 48 = 4*t. Suppose 0 = -0*r - r - d + 19, -r + t = -2*d. Is 4 a factor of r?
True
Suppose -28*q = -8275 - 1469. Is q a multiple of 12?
True
Let b(s) = s - 6. Let i be b(4). Let d be (-31)/(0 - (3 + i)). Suppose -4*l = -81 - d. Is l a multiple of 14?
True
Let l(o) = -o**3 + 12*o**2 + 10*o - 8. Is 12 a factor of l(6)?
False
Let i(n) = -4*n + 13 + 2*n - 8*n - 55. Does 28 divide i(-17)?
False
Let p(i) = 168*i - 119. Let l(f) = -14*f + 10. Let t(m) = 49*l(m) + 4*p(m). Does 14 divide t(-8)?
True
Let r(g) = 67*g**2 - 4*g - 1. Let s be r(4). Suppose 5*o + 0*a = 4*a - 1100, 5*o + 5*a = -s. Is o/30*40/(-6) a multiple of 16?
True
Suppose 4269 = -4*j + 17037. Is j a multiple of 24?
True
Let r(b) = -b**3 + 12*b**2 + 14*b - 3. Let q be r(13). Let d = 14 - q. Suppose d*l - 2*l - 18 = 0. Is l a multiple of 4?
False
Suppose 0 = x - 5*m + 258, -3*x - 2*x - 3*m - 1318 = 0. Let s = x + 373. Is s a multiple of 11?
True
Let f(r) be the first derivative of r**5/20 + r**4/24 - r**3/2 + 2*r**2 - 2. Let a(h) be the second derivative of f(h). Is a(-4) a multiple of 26?
False
Suppose 2*f + 3*z - 12 = 1, -3*z = 4*f - 23. Let y(r) = 2*r. Is y(f) a multiple of 10?
True
Let s(t) = 14*t**2 + 3*t + 7. Let a be s(5). Suppose -186 = -3*c + c - 5*j, 4*c - a = 2*j. Is 14 a factor of c?
False
Suppose -10*n - 3160 = -15*n. Suppose -4*q - 2*y = -n, 2*q - y - 308 = -0*q. Is 12 a factor of q?
True
Suppose 2590 = -4*j + 11*j. Is 37 a factor of j?
True
Suppose 17*y = 3*y + 70. Suppose y*a - 4*m = 107, -3 = a - 2*m - 28. Is a a multiple of 9?
False
Let x(o) = 2*o**2 - 2*o - 2. Let m be x(-1). Let s = -1 + -5. Is 6 a factor of (m - 0)*(-21)/s?
False
Is 73044/76 - 34/323 a multiple of 40?
False
Let n(l) = -l. Let q be ((-3)/(-4))/(1/(-4)). Let c be n(q). Does 22 divide (c/(-2))/(9/(-276))?
False
Let v be 1/2 - 3/(-6). Suppose -i + 0*i + v = 0. Is 10 a factor of (-24 + 2 + i)*-1?
False
Suppose -26 = -2*d + 2*y, d - 2 = -2*y - 1. Let f(t) = t**2 - 8*t + 3. Is 4 a factor of f(d)?
True
Let b = -1367 + 1927. Does 20 divide b?
True
Let z(p) = -2*p**3 - 2*p**2 - p + 2. Let k(d) = -3*d**3 - 3*d**2 + 3. Let t(j) = 4*k(j) - 5*z(j). Let l be -2 - (3 - (3 + -1)). Does 14 divide t(l)?
False
Let s(g) = -71*g**3 + g**2 + g + 1. Suppose -12 = -4*n - 16. Is 7 a factor of s(n)?
False
Let d be (-2988)/22 + (-3)/((-99)/(-6)). Is 27 a factor of 2 - 2 - d - -1?
False
Let b be ((-8)/6)/(4/6)*1. Let u(r) = 28*r**2 - 4*r. Is u(b) a multiple of 8?
True
Let i(q) = -q**2 + 54. Let l = 18 - 18. Is 18 a factor of i(l)?
True
Let c(n) be the second derivative of -n**4/12 + 2*n**3/3 + 151*n**2/2 - 19*n. Does 30 divide c(0)?
False
Suppose -3*v + 1210 = 5*b, -824 = -2*v - 0*b + b. Is v a multiple of 10?
True
Let u(x) = 5*x**2 + 18*x + 40. Is u(-14) a multiple of 16?
True
Suppose 2*c + 2*g = 2, -c = 3*c + 2*g - 4. Let v be 3/(-2 + 5) + c. Is v/(-2) + 28 + -3 a multiple of 6?
True
Suppose 5*t - 5*g - 5 = 0, g - 2 = -3*t + 5*g. Suppose -3*a + 137 = -5*b, t*a - 160 = -2*a + b. Is 4 a factor of a?
False
Suppose 0 = 5*v - 15 - 15. Let g = v + -4. Suppose 0*c - g*c + 168 = 0. Does 17 divide c?
False
Suppose -w = -3*l - 0*w + 229, 0 = -5*l - 3*w + 377. Let n = l + -39. Is 5 a factor of n?
False
Suppose -7 = p - 6*p + i, -p - 5*i = -17. Suppose -l = -p*l + 24. Is l a multiple of 12?
True
Suppose b = 19 + 11. Let l = 51 - b. Is 19 a factor of l?
False
Suppose 0 = 8*a + 9*a + 102. Let y(c) = c**3 + 8*c**2 + 3*c - 4. Is y(a) a multiple of 25?
True
Suppose -5*p = d - 197, -2*p - 5*d + 41 = -24. Is p a multiple of 8?
True
Is (-35)/(-10) - 5*15/50 even?
True
Let v(k) = 11*k**2 - 5*k - 2. Does 9 divide v(-2)?
False
Let g(w) = 3*w**2 - 20*w - 77. Is g(-9) a multiple of 17?
False
Let k = 91 - 90. Is (-1431)/(-36) + k/4 a multiple of 3?
False
Suppose -2*o = 5*g - 93, -4*o - 24 + 234 = 2*g. Suppose 0 = d - 0*d - o. Does 9 divide d?
True
Suppose -2406 = -73*p + 71*p. Is p a multiple of 21?
False
Suppose w + 2*m + 33 = 0, 6*w = 2*w + 2*m - 102. Let t be 1*(35 + (0 - -1)). Let q = t + w. Is 4 a factor of q?
False
Let s be (21/(-7))/(-2 + -1). Let g be 6/s + 0 + 3. Suppose 0 = -5*f + g*f - 40. Is f a multiple of 3?
False
Let y = -3811 - -5708. Does 25 divide y?
False
Let p(k) = k**3 - 13*k**2 - 9*k - 24. Is p(14) a multiple of 23?
True
Suppose -27*j + 32*j - 1305 = 0. Is 88 a factor of j?
False
Suppose -z - 6*a + a + 19 = 0, 3*z - 3 = 3*a. Let q = 0 + z. Suppose -5*f + c = -0*c - 117, -q*f + 2*c = -90. Is f a multiple of 8?
True
Let r(j) = j**2 + 5*j. Let a be r(-5). Suppose k + k = 4*v - 38, a = 2*k - 2. Is v a multiple of 10?
True
Suppose 16*q = -4*q + 4820. Is 81 a factor of q?
False
Let h(x) = x**3 - 11*x**2 + 5*x + 1. Let y be h(11). Suppose 371 = 5*i + y. Is i a multiple of 9?
True
Let w(h) = 25*h - 3 + 25*h + 5*h**2 + 16*h - 62*h. Does 6 divide w(1)?
True
Let v = 1986 + -1403. Is v a multiple of 53?
True
Let b(z) = z**3 - 3*z**2 - 3*z. Let r be b(4). Suppose 0 = r*w + 5*g - 68, 3*w = 6*g - g + 16. Does 6 divide 3/(-12) + 219/w?
True
Let p be (48/12)/(-1 + 0). Let o(f) = 3*f**2 - 3*f - 2. Let d be o(p). Suppose -y = 10 - d. Is y a multiple of 16?
True
Suppose 5*p + 349 = -2*a - a, 0 = -2*a - 3*p - 233. Let c = a - -74. Does 4 divide 2/11 - 344/c?
True
Let y(i) be the first derivative of -3*i**2 - 9*i + 12. Does 15 divide y(-4)?
True
Let w be ((-12)/(-16))/(1/88). Let s = w + -30. Is s a multiple of 18?
True
Let v(t) = 2*t. Suppose 0 = -5*u + 2*f + 10, 0 = -u + f - 0*f + 2. Let h(w) = -2*w + 1. Let m(d) = u*h(d) + 3*v(d). Does 8 divide m(3)?
True
Let w(d) = 2*d**2 - 18*d + 12. Let o = 0 - -4. Suppose q + t - o*t - 27 = 0, -2*q + 49 = -5*t. Does 28 divide w(q)?
True
Let t = -16 - -16. Suppose -3*i + 3 = t, i + 400 = 3*m - i. Is m a multiple of 32?
False
Is 19 a factor of (-1618)/(-2)*(-3)/(-3)?
False
Let l be 1*((-2)/(-1) - 2). Suppose -2*v + 88 = -0*v - 3*n, l = 5*n. Does 12 divide v?
False
Let g(f) = -102*f + 961. Is 5 a factor of g(-8)?
False
Suppose 4 - 1 = -t, -2*l + 601 = -3*t. Suppose 8*i = 4*i + l. Let a = -38 + i. Is 24 a factor of a?
False
Let a = 14 - -2. Suppose -4*d + a = -h, 4 = 2*h - 4. Let o(z) = z**3 - 4*z**2 - 3*z - 2. Is o(d) a multiple of 4?
True
Suppose 209 = 2*n + 4*o - 97, 5*o - 304 = -2*n. Is n a multiple of 7?
False
Suppose -392*i = -387*i - 10800. Is 16 a factor of i?
True
Let b(z) = -z**2 - 3*z - 2. Let y be b(3). Does 12 divide -5*8/y*9?
False
Let s(i) = -22*i - 6. Suppose 0*b - 4*b - 8 = -2*l, -2*b = -5*l - 4. Is 20 a factor of s(b)?
True
Let x(f) = -f**3 + f**2 - f + 1. Let t(w) = 5*w**3 - 3*w**2 + 4*w - 12. Let z(h) = -t(h) - 6*x(h). Is 3 a factor of z(5)?
True
Suppose -4*q + 64 = t, 0*t + t - q - 74 = 0. Is t a multiple of 18?
True
Let f = 8 - -271. Is f/15 + 0 + 8/20 a multiple of 8?
False
Let j be ((-10)/(-6))/(3/(-90)). Let m = j + 77. Is 2 a factor of m?
False
Suppose 9*m - 35 = 73. Is m a multiple of 4?
True
Let h be 54/(-15) - 2/5. Let q(v) = 3*v**2 - 4*v + 5. Let w be q(h). Suppose -5*m - w = -184. Is m a multiple of 10?
False
Let j(l) = 3*l**2 + 42*l + 7. Let h be j(-14). Is (h + 2 - 6)/(1/51) a multiple of 8?
False
Let w(x) = -x**2 - 17*x + 14. Let v be w(-12). Suppose 11 = s + 4*t, -5*t - 2 + 6 = -2*s. Suppose 4*d + f = 109, s*f = -4*d + 29 + v. Is 7 a factor of d?
True
Let q = 0 + 7. Let m(v) be the first derivative of -v**4/4 + 3*v**3 - 9*v**2/2 - 5*v + 5. Is 8 a factor of m(q)?
False
Let v = -30 + 93. Let r = v + 11. Is r a multiple of 37?
True
Let z(x) be the second derivative of x**3/6 - x**2/2 + 2*x. Let l(y) = -12*y + 3. Let r(n) = -l(n) - 2*z(n). Does 3 divide r(1)?
True
Let j = -50 + 40. Let o(i) = 1 - 3*i**2 + 5*i**2 + 9 + 15*i. Is 30 a factor of o(j)?
True
Let v = 11 + -11. Suppose -4*p + 8 + 8 = v. Let t = p - -20. Is t a multiple of 11?
False
Suppose -21 - 12 = -3*z. Suppose -z*y = y - 1920. Is 40 a factor of y?
True
Let y(x) =