-53 = 4*h - y, 8*y = 4*y + 20. Does 3 divide d(h)?
False
Let y(j) = j**2 + 21*j - 26. Let g(t) = t - 1. Let x(z) = 6*g(z) - y(z). Is x(-10) a multiple of 14?
True
Let n(z) = 2*z**3 + 94*z**2 + 50*z + 11. Is n(-46) a multiple of 33?
False
Let q(j) = 5*j**2 + 3*j + 2. Let a(g) = -g**2 - g. Let r(y) = -6*a(y) - q(y). Is r(-6) a multiple of 16?
True
Let x be (-2)/(-5) + 39/15. Let g(b) = -x + 38*b - 24*b + 5*b**2 - 19*b. Does 12 divide g(4)?
False
Let f(n) = -n**3 + 5*n**2 - 4*n + 11. Let t be f(5). Let y = 15 + t. Suppose -6 = -y*l + 5*l. Is l a multiple of 6?
True
Suppose 530 = 3*a - 13*a. Let s = -26 - a. Is s a multiple of 3?
True
Let a(s) = -s**3 - 8*s**2 + 8*s + 18. Let w be a(-6). Let k = w - -146. Is k a multiple of 7?
False
Suppose -3*o = 5*b - 6 + 19, 15 = -5*o - 5*b. Let g(n) be the third derivative of -3*n**6/8 + n**4/12 + n**3/6 - 10*n**2. Is g(o) a multiple of 12?
False
Is ((-124)/(-3))/((-61)/(-183)) even?
True
Suppose -4*y = -2*y - 256. Let g = 258 - y. Is g a multiple of 26?
True
Let k(y) = -2*y**2 - 100*y + 67. Does 21 divide k(-49)?
False
Let i(m) = -7*m + 4. Let w(b) = 15*b - 9. Let n(y) = -13*i(y) - 6*w(y). Let d be n(0). Does 3 divide -2*(-2 + (-3)/d)?
False
Suppose 12 = 2*v - 3*v - 5*h, -5*v - 4*h = -3. Let q = -1 + 3. Suppose -2*k - 50 = -5*n - 0*k, -v*n + 26 = -q*k. Is n a multiple of 9?
False
Let k be (4 - 4)*-1*1. Suppose j = -k*j. Suppose -3*d + 4*d = -l + 31, -5*l - d + 175 = j. Is l a multiple of 19?
False
Let o(n) = n**3 + 9*n**2 + 3*n + 2. Let x be o(-4). Let a = x + -40. Is 5 a factor of a?
True
Let s = -3 + 5. Suppose 3 = s*d - 3. Does 10 divide d - 74*(-2)/4?
True
Let j(h) = -h - h**3 - 3*h + h - 4 + h**2 + h. Does 6 divide j(-2)?
True
Suppose -94*a - 1476 = -100*a. Is 41 a factor of a?
True
Suppose 4*z = -5*r + 2652, 3*r - 7*r - 3*z = -2121. Is 11 a factor of r?
True
Let u = 94 - 44. Suppose -2*p - p = 270. Is 40/u*p/(-4) a multiple of 9?
True
Suppose 3*v = 22 + 5. Let o be -4*(v/12 + -2). Suppose o*a + n + 0*n - 215 = 0, -a - n + 47 = 0. Is a a multiple of 7?
True
Let j = -2 - -4. Let d(q) = 3 + 0*q + q**j + 7*q - 11*q. Is d(6) a multiple of 5?
True
Let b = -1291 - -2420. Suppose 271 = -6*f + b. Let k = -50 + f. Is 31 a factor of k?
True
Suppose -2*z = -29 - 43. Is 6402/z + -3*(-1)/18 a multiple of 10?
False
Suppose -29 = -3*o + y, 0*o - 9 = -o + y. Suppose o = -4*q - q. Let a = 15 - q. Is 5 a factor of a?
False
Suppose 2*s = -314 - 0. Let k = -66 - s. Does 13 divide k?
True
Suppose 7*r - 3*r - s = 166, 0 = -5*r + 5*s + 215. Let o be 2/(-6*1/27). Let y = o + r. Is 32 a factor of y?
True
Let w(z) = -z**3 + 31*z**2 - 15*z - 42. Is 66 a factor of w(30)?
False
Suppose 3842 = 4*k + 3*v, -4*k + 9*k - 4812 = v. Is 59 a factor of k?
False
Let x(y) = -5*y**2 + 135*y + 46. Is x(27) even?
True
Let q = 59 + -163. Let f be (-13)/q - 47/(-8). Does 4 divide 9/4*16/f?
False
Suppose -5*x + 3*x + 24 = 0. Suppose 3*v + 6 = x. Suppose 123 = v*f + y, -f + 0*f = -3*y - 58. Is 15 a factor of f?
False
Let w(m) = 4*m**2 + m. Let j be w(-2). Let p = j - 32. Is 4/p + (-173)/(-9) a multiple of 7?
False
Let a(t) = 3*t + 14. Is 2 a factor of a(-2)?
True
Let k(p) = 2. Let n(q) = -q - 1. Let a(w) = -2*k(w) - 3*n(w). Let o = -1 + 14. Is a(o) a multiple of 19?
True
Let r(j) be the first derivative of j**4/24 - 11*j**3/6 + 9*j**2/2 - 6. Let i(u) be the second derivative of r(u). Does 9 divide i(20)?
True
Let u(s) = s**2 - 4*s - 4. Let v(h) = -h - 3. Let y be v(1). Does 7 divide u(y)?
True
Let a = 3 - -23. Suppose o - 16 = -t + a, 4*t - 2*o = 150. Does 13 divide t?
True
Let o(a) = 2*a**2 + 68*a - 58. Is o(-35) a multiple of 6?
True
Is 21 a factor of -6 - -744*1 - 3?
True
Suppose 263*b + 420 = 264*b. Does 6 divide b?
True
Let d(y) = 0*y + 13 - 16*y + y - 5*y + y**2. Is d(22) a multiple of 16?
False
Suppose -3*z + 0*z + 3*q = -2688, -5*q = 0. Is 56 a factor of z?
True
Let f(z) = -13*z. Let h(w) = 39*w - 1. Let d(m) = 7*f(m) + 2*h(m). Does 7 divide d(-5)?
True
Let u be 33/(-12) - -2 - (-1105)/(-20). Let p = u - -88. Is 2 a factor of p?
True
Suppose 3*h - 10669 = -2*s - 3*s, 5*h = 5*s - 10685. Is 61 a factor of s?
True
Let s be 0 + 2/4 + (-851)/(-46). Let w(z) = -z**2 + 20*z + 26. Is w(s) a multiple of 9?
True
Suppose 0*f - 2*v + 66 = 4*f, -5*f + 4*v = -50. Let a = f + -11. Suppose z - a = 30. Does 11 divide z?
True
Let w(k) = -k**2 + 6*k - 6. Let m be w(3). Suppose -260 = -4*c + 3*h, 0*c + m*h = -c + 65. Suppose -95 = -5*f - 2*u + 3*u, 3*f + u - c = 0. Does 5 divide f?
True
Let c be (-119 - (5 + -3))/(-1). Let i = -106 + c. Does 15 divide i?
True
Suppose 1438 + 114 = 8*n. Suppose u = -43 + n. Suppose c = -3*c + i + u, 5*c = 3*i + 187. Is c a multiple of 8?
False
Let c be (9/(-21))/((-1)/7). Suppose 4*f = 7*f - c*v + 90, 2*v - 150 = 5*f. Let n = -25 - f. Is 4 a factor of n?
False
Let q(f) = -64*f + 615. Is 22 a factor of q(7)?
False
Let d(q) = q**2 - 9*q + 4. Let w(z) = -z**3 + 6*z**2 - 5*z - 6. Let b be w(5). Let s = 8 - b. Is 23 a factor of d(s)?
False
Let t(q) = -q**3 + q + 4. Let c be t(0). Is 20 a factor of 159/2 + 2/c?
True
Let i(s) = -s**3 - 16*s**2 - 28*s + 9. Let t be i(-14). Does 4 divide (-4 + (-28)/(-4))*15/t?
False
Let a = 38 + 47. Is a a multiple of 13?
False
Let l be -1 - -1 - (0 + -1). Let k(z) = 0*z**3 - 1 - 3*z**2 + 0*z**2 + 4*z**2 + 44*z**3. Is k(l) a multiple of 11?
True
Let g(j) = -11*j + 2*j**2 + 323 + 5*j**2 - 332. Is 15 a factor of g(-4)?
False
Let g(m) = 179*m + 2. Does 41 divide g(10)?
False
Suppose 61 = 2*y - 39. Suppose 7*r = 211 - y. Does 6 divide r?
False
Suppose -5714 = -18*k + 550. Does 11 divide k?
False
Let g be (12/5)/(2/5). Suppose n = -0*n - g. Let w(v) = v**2 - 4*v - 8. Does 14 divide w(n)?
False
Let a be (-2 + 0 - 3) + -1. Let v(s) = s**3 + 8*s**2 - 4*s - 12. Let f(k) = -k**2 + 1. Let j(l) = -3*f(l) - v(l). Is j(a) a multiple of 10?
False
Suppose -7*k + 522 = -997. Suppose -k = -3*b - 4*s, -3*s + 7*s - 142 = -2*b. Does 5 divide b?
True
Suppose 14*w - 4489 - 1503 = 0. Is 107 a factor of w?
True
Let f(m) be the second derivative of m**4/6 + m**3/6 + 2*m**2 - m. Let b be f(-6). Suppose 0 = 2*r + 4*z - b, -2*z - 110 = -3*r - 7*z. Does 15 divide r?
True
Is 41 a factor of (5 - 1)/((-88)/(-32472))?
True
Let k be 23/6 - 4/(-24). Suppose -r + 18 = -s, -k*s + 10 = -2*s. Is 4 a factor of r?
False
Suppose 0 = 104*f - 109*f + 900. Is 36 a factor of f?
True
Suppose -55*d + 62*d = 2548. Does 13 divide d?
True
Let s = 6795 - 4571. Is 7 a factor of s?
False
Does 23 divide (-32)/192 + (-1934)/(-12)?
True
Let f be (-12)/(-5) + (-6)/(-10). Suppose -4*r + t + 2*t = -58, -2*r - f*t + 38 = 0. Is 4 a factor of r?
True
Let k be -1 + -1*(31 - 0). Suppose -710 + 151 = -13*l. Let w = l + k. Is w a multiple of 3?
False
Suppose 4*q = -2*v + 2*q + 256, -v + 122 = -5*q. Let x = v + -76. Is x a multiple of 17?
True
Let l = -215 + 344. Suppose -5*p - 68 = -d, 0 = 2*d - p - 2*p - l. Suppose -3*a = -d - 129. Is 22 a factor of a?
False
Does 5 divide 553 - 2/(-4)*8?
False
Suppose 2*x = -71 + 5. Let l(h) = -h**3 + 3*h**2 + 4*h - 4. Let i be l(6). Let w = x - i. Is 18 a factor of w?
False
Suppose -6*z + z + a + 561 = 0, 0 = 3*z - a - 337. Suppose -3*p + z = 43. Is 10 a factor of p?
False
Is 9 a factor of (-69)/4*(-21)/(504/64)?
False
Is 597 - (4/(-6))/((-2)/(-3)) a multiple of 18?
False
Suppose 0 = -0*j - 4*j - 328. Let y = 142 + j. Is y a multiple of 8?
False
Let z(b) = -b**3 - 19*b**2 - 14*b + 16. Is 9 a factor of z(-19)?
False
Let z = -23 - -28. Suppose 5*o - 93 = 3*i, 2*o - z*o - i = -53. Is 11 a factor of o?
False
Suppose 15*o - 603 - 252 = 0. Is o a multiple of 4?
False
Let c be (3 - (-21)/(-6))*-2. Let y(a) = -3*a - 1. Let m be y(c). Is 16 a factor of (-26)/(-2*(-2)/m)?
False
Suppose -5*g - b = 1391, b + 3*b - 552 = 2*g. Let z = g + 389. Is 22 a factor of z?
False
Suppose -v + 12 = 26. Let x(f) = -f**3 - 14*f**2 + 20. Does 7 divide x(v)?
False
Let z = 1 - -9. Suppose 2*s - 14 + z = 0. Suppose x + 118 = s*f, -2*x + 0 = -4. Is 15 a factor of f?
True
Let m = -165 + 324. Let i = -20 + m. Is i a multiple of 8?
False
Suppose 11*x = 22*x - 7744. Is x a multiple of 22?
True
Is -5 - 2*(572/(-8) + -3) a multiple of 24?
True
Suppose 2*v + 3*k = -3*v - 2565, 0 = -5*v - 5*k - 2565. Let i = 827 + v. Is 16 a factor of i?
False
Suppose -3*c - 5*t + 4*t = 