= -14*f - 36. Is x(-4) a multiple of 5?
True
Let q = 5 - 3. Suppose 3*o - q*b = 2, 0 = 4*b - 0*b - 20. Is o even?
True
Let h be -2*(-6)/5*-30. Let t = 107 + h. Is 21 a factor of t?
False
Let f(g) = 75*g + 2. Suppose 2*j + 0*j = -4. Let s be f(j). Is 2 a factor of s/(-28) - 2/7?
False
Does 5 divide (-10)/(-35) + 0 + (-54)/(-7)?
False
Let i be (3/2)/(3/(-20)). Is 4 a factor of (-2)/i - (-148)/10?
False
Suppose -2*p - 4 + 8 = 0. Suppose 2*c - 82 = z, -81 = -p*c + 4*z - 5. Does 21 divide c?
True
Let p(l) = 9*l + 5. Does 25 divide p(5)?
True
Let l(p) = -14*p. Let a be (-4)/5 + 11/(-55). Is l(a) a multiple of 7?
True
Let j(g) = g**3 + 5*g**2 - 6*g - 3. Let w be j(-6). Let b(h) = -h**3 + 3*h**2 + 2*h + 4. Let k be b(4). Does 7 divide (-54)/k - w/6?
True
Let t be (-2)/(-5) - (-6)/10. Let x(q) = 2*q**2 - 8*q + 2. Let c be x(6). Let p = c + t. Is p a multiple of 11?
False
Suppose 0 = 4*x - 5*z - 593, 5*x = x - 5*z + 543. Is 16 a factor of x?
False
Let o(l) = -l**3 - 10*l**2 + 11*l - 5. Let b be o(-11). Let m(n) = -3*n**3 - 5*n**2 - n**2 + 2*n**3 - 7*n + 1. Is 11 a factor of m(b)?
True
Suppose -4*j + 102 = -6. Is 5 a factor of j?
False
Let l(y) be the second derivative of y**4/12 + 2*y**3/3 + 7*y**2/2 - 4*y. Is l(-9) a multiple of 16?
False
Suppose -3*m + 2*m + 5 = 3*y, 5*m - 25 = 2*y. Suppose -2*h + l + 18 = -l, y = 2*h + 4*l. Does 4 divide h?
False
Suppose -2*j = -56 + 8. Is j a multiple of 24?
True
Let u be (-3)/(-3*3/6). Suppose -23 - 7 = -u*j. Suppose 0*f + f = j. Does 15 divide f?
True
Suppose -4 + 17 = n. Let v = n - 5. Is v a multiple of 4?
True
Let l(u) = -2*u - 9. Is 8 a factor of l(-14)?
False
Let w(v) = -v**3 + 7*v**2 - 7*v + 5. Does 5 divide w(4)?
True
Let f(r) = r**3 - 7*r**2 + 2*r + 4. Is 54 a factor of f(10)?
True
Suppose 3*u + 3*v = -0*v + 615, -404 = -2*u + v. Is 29 a factor of u?
True
Suppose 5*r = -2*n + 440, 0 = 3*r - 2*n - 209 - 71. Is r a multiple of 18?
True
Suppose -g + 37 = m + 6, -2*g + 91 = 3*m. Does 29 divide m?
True
Suppose -10 = 2*x - 6*x - 5*h, 2*x = 5*h + 20. Suppose 4*y + x*w = 2*y + 29, 0 = -y + 2*w - 8. Is 2 a factor of y?
True
Let c(x) = -x**2 - 14*x - 26. Is c(-11) even?
False
Let k(i) = -15*i**3 + 9*i**2 + i + 6. Let z(j) = 7*j**3 - 5*j**2 - 3. Let h(y) = 4*k(y) + 7*z(y). Is h(-2) a multiple of 29?
True
Let w(z) = -z + 3. Suppose 0*d + 3*d - 21 = -4*i, 5*d + i = 18. Let f be w(d). Suppose 4*c = -f*s + 2*s - 48, -2*c = 0. Is s a multiple of 17?
False
Let l(m) = 12*m**2 + 2*m - 2. Suppose -5*v - 12 = -2*v - 3*f, 4 = -4*v - 2*f. Is 21 a factor of l(v)?
True
Let w = -9 - -5. Let p = w - -10. Suppose -4*y + 2*z = -110, 4*y + p*z - z - 117 = 0. Is 14 a factor of y?
True
Let z(p) be the first derivative of p**2/2 + 8*p + 2. Let n be z(-4). Suppose -2*k = -4*r + 18, n*r - 25 = -0*r - 5*k. Is r a multiple of 5?
True
Let w(b) = b. Let q be w(7). Let u(o) = 7*o - 16. Is u(q) a multiple of 11?
True
Suppose 0*c + 8 = -c - 2*t, -2*t = 5*c. Let y(b) = -b + 3 + c - 4. Is 7 a factor of y(-7)?
False
Let m = 73 - 18. Is 16 a factor of m?
False
Let s be (-9)/((-1)/4*2). Let p = s - 13. Suppose 3*x - i - 55 = -5*i, 85 = 5*x + p*i. Is x a multiple of 13?
True
Suppose 0 = n - 2*n - 3. Let q be 12/9 + (-2)/n. Suppose g = q*g - 14. Does 14 divide g?
True
Let p(l) = 2*l - 13. Is p(12) a multiple of 4?
False
Suppose r + 4*z = 29, 2*z = 5*r - 116 - 95. Does 12 divide r?
False
Is 11 a factor of 0 - ((-60)/16)/5*88?
True
Let o = -3 - -35. Does 17 divide o?
False
Suppose 0*p + 2*p - 40 = 0. Suppose 0 = 2*i - 4*i + p. Is i a multiple of 5?
True
Let u(i) = 27*i - 31. Is 23 a factor of u(12)?
False
Let i(k) = 9*k**2. Let r be i(-1). Suppose -r - 163 = -4*v. Does 15 divide v?
False
Suppose -4*g - o + 2 + 11 = 0, 3*o - 15 = -4*g. Is 8 a factor of -3 + g + 18*1?
False
Let m(g) = g**3 + 7*g**2 - 2*g - 2. Let x be m(-7). Suppose 4*i + 4 = -12, 4*z + i - x = 0. Is z a multiple of 2?
True
Let j = 39 - 28. Let y = j - -6. Is 11 a factor of y?
False
Let k = -40 + 21. Let m = -10 - k. Is m a multiple of 9?
True
Suppose 8*f - 398 = 2402. Is 18 a factor of f?
False
Suppose 6*a - 4*a = -5*v + 166, -3*v + 102 = 2*a. Is 16 a factor of v?
True
Does 38 divide 2 + -6 - (-108 + -6)?
False
Let o(t) = -2*t**3 + 3*t**2 + 2*t + 3. Let j be ((-31)/2)/((-1)/2). Suppose 3 = 4*i + 5*z + j, 10 = -3*i - z. Is 21 a factor of o(i)?
False
Let j(p) = -5*p**2 + 3*p + 5. Let b(l) = 0 + 2*l + 2 - 3*l**2 + 0. Let i(m) = -7*b(m) + 4*j(m). Is 15 a factor of i(6)?
True
Does 4 divide -8*(2 - 4)/1?
True
Suppose -48 = -2*b - 3*d, 0 = -3*b + 4*d + 25 + 64. Is 9 a factor of b?
True
Let f(w) = w**3 - 9*w**2 + 22*w - 23. Is 18 a factor of f(8)?
False
Let f = 13 + -7. Let w be f*(-3)/18*-2. Suppose w*m - 5*x = 10 + 9, -5*m = -3*x - 57. Is 6 a factor of m?
True
Let n(p) = -2*p + 1. Let g be n(-3). Let l(v) = -v + 13. Does 4 divide l(g)?
False
Let g = 243 - 165. Is 5 a factor of g?
False
Let q be (2 - 16)*(-5)/10. Let n = 17 + q. Does 12 divide n?
True
Suppose -2*n + n - 9 = 0. Is 11 a factor of (6/(-4))/(n/150)?
False
Let m be -2 - (2 + (-18)/3). Suppose -k = -m*k + 14. Does 14 divide k?
True
Suppose -150 = -3*q - 2*m, 4*m = q - m - 67. Does 13 divide q?
True
Let p = 4 - 0. Suppose -3*l + 141 = -3*f, 0 = -4*f + p*l - 2*l - 190. Does 6 divide (2/(-2))/(3/f)?
False
Let j be 2/3*(-30)/20. Is 2 - -24*j/(-1) a multiple of 13?
True
Let c(n) = -n - 12. Let t be c(-11). Is 10 a factor of t + 1 - -5*3?
False
Let r(i) = i + 7. Let n(t) = -1. Let q(g) = -3*n(g) - r(g). Is q(-10) a multiple of 6?
True
Let x = -3 + 4. Let r be (2 - 2)/(x/1). Suppose r = 4*d + h - 64, -4*h = 2*d - 7*d + 80. Is 9 a factor of d?
False
Let t(a) = -a - 2. Let c(p) = -p**3 + 9*p**2 + 2*p - 4. Let y be c(9). Suppose -g - 10 = 2*v + 3, -v + 2*g = y. Is 3 a factor of t(v)?
True
Let i(y) = -2*y**3 + 18*y**2 + 12*y - 7. Is 10 a factor of i(8)?
False
Let t be 8/36 - 43/(-9). Suppose t*b - 4*b + 5*d = 1, 2*d + 37 = 3*b. Does 6 divide b?
False
Suppose 0*p - p - 841 = -4*y, 5*p = 5*y - 1070. Is 11 a factor of y?
True
Suppose 2*b = 444 + 116. Does 13 divide 1/(4/b) + -1?
False
Let w = 1 - -12. Suppose 33 = w*o - 10*o. Is 11 a factor of o?
True
Suppose 0 = 4*i - 4*o - 240, -7 = -4*o + 13. Is i a multiple of 5?
True
Let y(f) = -3*f**3 + 7*f**2 + 2*f. Let s(q) = -2*q**3 + 7*q**2 + 3*q. Let d(h) = 4*s(h) - 3*y(h). Is d(-4) a multiple of 12?
True
Suppose 0 = -6*b + 4*b - 26. Let a = b + -7. Does 27 divide (-5)/a + 622/8?
False
Let i(g) be the first derivative of 1/4*g**4 + 3/2*g**2 - 5*g - 5/3*g**3 + 1. Is i(5) a multiple of 10?
True
Suppose w + h + 7 = 0, 2*h = 2*w - 0*w + 10. Let i be (-3)/12 + w/8. Is (i + 0)/1 + 5 even?
True
Suppose 5*q - 3*m + 19 = 67, -q - 4*m + 28 = 0. Does 3 divide q?
True
Suppose 4*b = 0, 4*d - 4*b - 36 = b. Suppose 3 = 4*z - d. Suppose z*j + 2*j = 145. Is j a multiple of 14?
False
Let c(t) be the first derivative of 2*t**3/3 + 5*t**2/2 + 2*t + 3. Let m be c(-3). Suppose 108 = -2*k + m*k. Is k a multiple of 18?
True
Let o = 1363 + -900. Suppose -5*g + o = -0*g + i, -2*g + i + 188 = 0. Is g a multiple of 24?
False
Let o = -48 - -66. Does 4 divide o?
False
Let t(u) = -1. Let w(z) = -z**2 - 2*z - 3. Let v(o) = -4*t(o) + w(o). Let d be v(-5). Does 4 divide (d/(-3))/(10/15)?
False
Let c be ((-2)/(-1))/(4/6). Let j be 85/c + (-4)/(-6). Is 16 a factor of 1/1*(j - 1)?
False
Let y = -4 + 6. Suppose 0 = -y*v + 9 - 3. Let b(u) = -u**3 + 5*u**2 - u - 2. Is b(v) a multiple of 8?
False
Suppose 2*a = -2*a + 3*b + 23, 0 = -a + 4*b + 22. Let v be a/5 - (-46)/10. Suppose -h = -v*h + 88. Is 17 a factor of h?
False
Suppose -171 = -3*q - 5*b, 2*q - 5*b - 114 = -0*q. Is 19 a factor of q?
True
Let h(u) = -4*u**2 + 3*u**2 + 9*u - 2*u. Let g be h(6). Suppose 4*n + 2*l = 4*l + 24, -n + g = -2*l. Does 2 divide n?
True
Suppose 0 = r + 2*r. Suppose k + r*k - 27 = 0. Is k a multiple of 10?
False
Let w(y) = -y**3 - 5*y**2 - 13*y - 5. Is w(-5) a multiple of 15?
True
Suppose 0 = -7*o + 406 + 357. Is 24 a factor of o?
False
Let c = 145 + 20. Is 22 a factor of c?
False
Let i(n) = n**2 - 4*n + 1. Let t be (2*5)/((-2)/(-1)). Let w be i(t). Suppose 3*z - w = 3. Is z even?
False
Let t = -138 - -90. Let j = 81 + t. Is j a multiple of 11?
True
Let v = -41 + 67. Suppose v = -4*u + 10. Does 14 divide ((-12)/(-2))/(u/(-14))?
False
Let b = -7 - -5. Let s be (-2