5 divide f?
False
Let z(y) = 5*y - 10. Let x be z(8). Suppose 2*m + x = 2*j, 3*j - 5*m + m - 47 = 0. Is j a multiple of 13?
True
Suppose 0 = -0*k - 5*k - 5*l + 15, 2*l - 6 = 0. Suppose 3*w + k*m = -m + 90, m = 0. Is 10 a factor of w?
True
Suppose -r = -5, -5*n - 61 + 206 = -r. Is 17 a factor of n?
False
Suppose 3*s = -s + 20. Suppose -12 = -s*i + i. Is 7 a factor of 6/(-4)*(-14)/i?
True
Let m = 40 + -28. Let s be -1*(-3)/2*m. Suppose -5*g = -4*g - s. Is g a multiple of 12?
False
Suppose -20 = 3*m + m. Let v = -7 - m. Does 6 divide 2 - (-3 + v - 2)?
False
Let w(r) = r**3 - 3*r**2 + r - 1. Let s = 15 - 11. Let i be w(s). Suppose 37 = 4*j - i. Is j a multiple of 7?
True
Let i be (-2 - (-20)/4) + -3. Suppose 4*a - 215 - 133 = i. Is a a multiple of 24?
False
Let l(h) = -h**2 - 23*h - 7. Is 7 a factor of l(-9)?
True
Let n = -171 - -112. Let i = -40 - n. Suppose 2*v - 89 = -i. Does 16 divide v?
False
Suppose -y = -4*y + 9. Let g = y - 5. Does 25 divide (-9)/(-6) + (-47)/g?
True
Let t = 2 + -3. Let k be 18 - (-1 - -1)/t. Suppose 4*w - k - 122 = 0. Is w a multiple of 13?
False
Let j(g) = -g**3 - 8*g**2 + 8*g + 5. Suppose 5*h + 22 + 3 = 0. Let x(o) = 2*o + 1. Let f be x(h). Is j(f) a multiple of 14?
True
Let k = 26 + -12. Does 3 divide ((-14)/(-4))/(7/k)?
False
Let o = 120 - 86. Is 17 a factor of o?
True
Let b = -6 - -15. Suppose 2*z + 1 = -5*v - b, 8 = z - 4*v. Suppose -19 + z = -t. Is 9 a factor of t?
False
Let q(g) = g**2 + 10*g + 13. Let a be q(-10). Let v(h) = 3*h + 3. Let d be v(-4). Let p = d + a. Is 4 a factor of p?
True
Let l(u) = u. Let o(c) = 8*c. Let s(d) = 15*d - 1. Let n(b) = 11*o(b) - 6*s(b). Let k(f) = l(f) + n(f). Does 12 divide k(-6)?
True
Let a be 3 + -1*75/(-3). Let p = a - -28. Is 25 a factor of p?
False
Suppose 0 = -10*g - 33 + 1873. Is g a multiple of 46?
True
Suppose -12 = -2*s - 2*s. Suppose -s = -b + 2. Suppose -j + b*j = 48. Is j a multiple of 7?
False
Let k = 88 - -16. Suppose 0*m - k = -2*m. Is 13 a factor of m?
True
Let m(p) be the second derivative of -p**5/20 + p**3/2 - p**2 - 2*p. Is m(-3) a multiple of 8?
True
Let b(m) = -m**3 + 2*m**2 - 1. Let z be b(3). Does 15 divide (-1)/5 - 302/z?
True
Let x(t) = -t**2 - 4*t - 2. Let r be x(-3). Let n be (-2)/(r + (-57)/63). Let v = n + 50. Does 12 divide v?
False
Let h = -30 - 77. Let w = h + -1. Let q = 163 + w. Is 19 a factor of q?
False
Suppose -2*f = -94 + 4. Is 20 a factor of f?
False
Let a(j) = -4*j**2 - 3*j - 106. Let t(q) = -3*q**2 - 2*q - 71. Let w(z) = -5*a(z) + 7*t(z). Is 23 a factor of w(0)?
False
Let v = -98 - -176. Does 13 divide v?
True
Is 7/2*1*2 a multiple of 5?
False
Suppose -3*n + 2*n - 2*s = -16, 3*n - 28 = -2*s. Is 3 a factor of n?
True
Let p(j) = 6*j**2 + j - 2. Is 3 a factor of p(-2)?
False
Let m(g) be the first derivative of -57*g**2/2 - 3. Does 19 divide m(-1)?
True
Suppose r + 3*r = 632. Suppose 0*u + z = 4*u + 170, -4*u = 5*z + r. Let n = -28 - u. Does 7 divide n?
True
Suppose -210 = -2*w - w. Is w a multiple of 12?
False
Let s = 68 + -47. Does 6 divide s?
False
Let v(j) = -j**2 - 2*j. Let y be v(-2). Suppose 3*l - 3*w - 5 = 2*l, -w - 1 = y. Is 45/l*(-8)/(-10) a multiple of 6?
True
Let u = -4 + -11. Suppose f + 4*f = 170. Let v = f + u. Is 7 a factor of v?
False
Suppose 3*y + r + 12 = 0, -5*r - 30 = 5*y - 0. Let u(q) = 4*q**2 - q - 3. Let l be u(y). Suppose -46 = -5*n - i, i = -4*n - 0*i + l. Is 5 a factor of n?
True
Let s(k) = k**2 - 5*k - 4. Let m(o) = 5*o**2 + o - 1. Let y be m(1). Let q be s(y). Is (46/4*q)/(-2) a multiple of 13?
False
Let i = -6 - -10. Suppose -i*y + 2*c = 117 + 73, 3*y + 144 = c. Let z = y - -84. Does 10 divide z?
False
Let k(b) be the third derivative of -b**4/8 + 4*b**3/3 - 5*b**2. Is k(-3) a multiple of 6?
False
Suppose 0 = -5*p - w - 55, 3*p = p + 4*w. Let z be (2/5)/((-2)/p). Suppose -3*u + z*u + 14 = 0. Does 8 divide u?
False
Let q be (-1 + -59)/(3 - 4). Let n = -18 + q. Is 15 a factor of n?
False
Suppose -5*v = 146 + 44. Does 19 divide (v/(-5))/((-2)/(-10))?
True
Suppose 0*a + 208 = 4*a. Suppose -5*j + 17 = 2*d, -3*j = 4*d + j - a. Is 6 a factor of d?
False
Let c be (-4384)/(-56) - 4/14. Does 14 divide (-8)/(-3)*c/8?
False
Suppose -4*x + 43 = z, 3*z - 34 = -4*x + 5*z. Is 5 a factor of x?
True
Let q(d) = 3*d**2 - 6*d + 2. Does 2 divide q(3)?
False
Let z(l) = 1 - 4*l + 2*l**2 + 3*l - 1 + 39*l**3. Is 20 a factor of z(1)?
True
Suppose 0 = 6*u - 4*u + 36. Let t = u - -33. Is t a multiple of 15?
True
Suppose 6*a - 3*a + 6 = 0. Does 5 divide a/1 + 31 + 1?
True
Let t(f) be the first derivative of -f**7/840 + f**6/360 + f**5/60 - f**3 - 2. Let c(g) be the third derivative of t(g). Is 5 a factor of c(-2)?
False
Let c(z) = z**3 + 4*z**2 - 5*z - 5. Let p(s) = 3*s + 2. Let f be p(-2). Does 5 divide c(f)?
True
Suppose 4*h + 4 = 3*s - 5*s, -s = -3*h - 23. Is 8 a factor of s?
True
Suppose 117 = 2*k - c, -6*k - c = -5*k - 54. Does 6 divide k?
False
Suppose 52 = 2*q + 8. Is q a multiple of 9?
False
Suppose -2*h + 3 + 1 = 0. Suppose l + h*l = -12. Does 17 divide 468/28 + l/(-14)?
True
Suppose 0 = -0*z + z + 6. Let a(f) be the first derivative of -f**2 - 7*f - 3. Does 3 divide a(z)?
False
Suppose -10*o + 25 = -5*o. Does 4 divide o?
False
Let w(d) = 3*d - 7. Let t(r) = 2*r - 6. Let k(u) = -4*t(u) + 3*w(u). Is k(10) a multiple of 2?
False
Let f = -75 + 95. Is f a multiple of 6?
False
Let p = -18 + 74. Is 28 a factor of p?
True
Does 49 divide (-3)/3 + 594/6?
True
Let x(v) = -v**2 - 8*v - 1. Let l be x(-5). Suppose 3*f + 9 = 5*g - l, -2 = -2*g + 3*f. Is g a multiple of 3?
False
Let v(w) = -35*w - 4. Does 17 divide v(-2)?
False
Let c = 10 + 2. Let p(z) = -z**3 + 2*z**2 + 5*z - 4. Let t be p(3). Suppose 4 - c = -t*l. Is l even?
True
Let v(a) = a**3 + 6*a**2 - 5*a + 10. Is v(-6) a multiple of 10?
True
Let v be (-3)/(27/(-15))*-3. Let o = v + 2. Is 70/2 - (-3)/o a multiple of 12?
False
Let x be (-1)/(1*(-1)/4). Suppose -4*o = -d, -d - x*o = 2*d - 80. Is 5 a factor of d?
True
Suppose 2*s - 5*r - 69 = 0, -r - 4*r - 25 = 0. Let o = s + -7. Is o a multiple of 15?
True
Let d(p) = p**2 + 14. Is 8 a factor of d(4)?
False
Let v = -132 - -225. Is v a multiple of 22?
False
Let c(f) = 3*f**3 - f**2 - 2*f - 1. Let i be c(-2). Let x(g) = -g**3 + g**2 + g - 1. Let p be x(3). Let b = p - i. Is b a multiple of 4?
False
Let n = 11 - 6. Suppose n*d - 96 - 84 = 0. Does 15 divide d?
False
Suppose -x = -2*x + 2. Suppose 3*c - x*c = 3*r + 38, -10 = r - c. Is 3 a factor of (-60)/r - 6/21?
False
Suppose 2*m + 3 = 7. Suppose 2*b - 53 = -5*a + 34, m*a + 159 = 3*b. Suppose b = -4*q + 155. Is q a multiple of 12?
False
Let m(s) = s**2 - 8*s + 6. Does 19 divide m(11)?
False
Is -18*(-10)/8*2 a multiple of 4?
False
Let k(x) = x**2 - 2*x - 3. Let r be k(3). Suppose r = z + 1 - 15. Suppose 3*b + z = 4*b. Is 14 a factor of b?
True
Let m be 4*1/8*14. Let k(r) = r**2 - 6*r - 4. Let s be k(m). Suppose -b = -3 - s. Is b a multiple of 6?
True
Let v(b) = -b**3 + 10*b**2 + 2. Let y be v(10). Let t = 26 - y. Is t a multiple of 12?
True
Let o(d) = -8*d**3 + 3*d**2 - 3*d + 5. Let w be o(2). Let a = -25 - w. Is 14 a factor of a?
True
Let f(t) = -5*t - 2. Let g(d) = -4*d - 2. Let r(o) = 5*f(o) - 6*g(o). Let m be r(0). Let b(l) = 13*l - 2. Does 12 divide b(m)?
True
Let z(t) = -t**2 - t - 4. Let k be z(0). Suppose 19 + 44 = -3*f. Is 21 a factor of (k - f)/(2/4)?
False
Let i(m) = -2*m**3 + 4*m**3 + 3 - m**2 - m**3 - 5*m. Let j(b) = -b**2 - 4*b. Let t be j(-3). Does 6 divide i(t)?
True
Let o = 69 + -21. Suppose 3*c = 1 + 14. Suppose -2*y + 23 = 3*n - 34, 0 = -3*n - c*y + o. Does 11 divide n?
False
Let f = 20 + 36. Does 8 divide f?
True
Let k(x) = -x**2 + 4*x**3 - 3*x**3 + x**3 + 1. Let u be k(-1). Does 13 divide (1 + u/4)*74?
False
Suppose -5*a + 0*r + 41 = 3*r, 3*a - 29 = -4*r. Suppose 0 = 4*t - 3*c + 11, 0 + a = 2*t + c. Is 12 a factor of t/4 - 182/(-8)?
False
Suppose 0 = -7*n + 2*n + 25. Suppose n*y - 8 - 22 = 0. Does 4 divide y?
False
Suppose -3*q - q = -20. Suppose -2*n - 5 = 2*h - 5*h, h - q*n + 20 = 0. Is h a multiple of 4?
False
Suppose 2*l = -l + 63. Is l a multiple of 7?
True
Let l = 146 - 93. Is 7 a factor of l?
False
Let y = -78 - -172. Does 7 divide y?
False
Let d = -5 + 8. Is 18*d/((-27)/(-6)) a multiple of 12?
True
Let o(s) = 30 - 26 - s - 3*s. Is o(-8) a multiple of 12?
True
Let k(