 Let f be ((-6)/(-4))/(1/(-2)). Is d(f) a multiple of 7?
True
Suppose 0 = 2*r - 5*v - 69, 3*v - v + 120 = 3*r. Let p be 1/(39/18 + -2). Suppose -r + p = -j. Is j a multiple of 18?
True
Let k be (7 - 12)*348/(-10). Let s = 250 - k. Does 13 divide s?
False
Is 7 a factor of (-68 + (-8)/2)*(-4)/3?
False
Let t be 2 - 2 - 2 - -4. Suppose 5*r = t*a - 10, 4*a - 2*r = a + 15. Suppose 2*h - 27 = a. Is 9 a factor of h?
False
Suppose -57 = -2*g + 3*v, 10 = -4*g + 2*v + 136. Is g a multiple of 11?
True
Suppose 3*s + 5*i + 5 = 0, -2*s + 3*i + 22 = -0*s. Suppose -3*d + 11 - s = 0. Suppose 3*t - 197 = 2*h, 5*h = d*t - 0*t - 113. Is 18 a factor of t?
False
Suppose 4*q = -3*j - 832, -279 = j - q + 2*q. Is j/(-28) + 1/(-7) a multiple of 5?
True
Let y(b) be the third derivative of -b**6/120 - b**5/20 + b**4/6 - b**3/2 + 4*b**2. Does 7 divide y(-5)?
False
Suppose 3*z - 2*q + 466 = 2*q, -2*z - q - 296 = 0. Let d be z/24 + 2/8. Let s = d - -22. Is s a multiple of 16?
True
Let f be 1/(2/4 + 0). Let n = -2 + f. Suppose n = -u - 0 + 7. Is 7 a factor of u?
True
Suppose -2*c + 190 = -2. Is c a multiple of 16?
True
Suppose 0*g + 5*q + 100 = 3*g, -4*g + 145 = 5*q. Is 7 a factor of g?
True
Let q be (-34)/(-85)*5*2. Let g = q - -13. Is g a multiple of 8?
False
Let c(r) = -3 + r - 9*r + r**2 + r**2. Is 13 a factor of c(7)?
True
Let n be (-12)/10*(-10)/3. Suppose n*z = -2*l + l + 40, z - 105 = -5*l. Is l a multiple of 20?
True
Let z(w) = -2*w**3 + w**2 - 2*w - 3. Let y be z(-4). Suppose 3*v = -14 + y. Is v a multiple of 15?
True
Suppose -h - 18 = -4*h - 3*d, -5*h + 26 = 4*d. Suppose 0*r + 36 = h*r. Is r a multiple of 18?
True
Let o = 3 - -2. Suppose s = -c + 18, -o*s - 4*c + 84 = -5*c. Is s a multiple of 14?
False
Let g(j) = -8*j - 13. Is 2 a factor of g(-4)?
False
Suppose 1 = 7*k - 237. Does 34 divide k?
True
Let l(v) = 4*v**3 + 6*v**2 + 2*v. Let r(p) = -5*p**3 - 6*p**2 - p. Let n(u) = 6*l(u) + 5*r(u). Is 26 a factor of n(5)?
False
Let l be ((-28)/10)/(6/(-15)). Let i(o) = -o**2 + 9*o - 9. Does 2 divide i(l)?
False
Let t be (-2)/(-2 + 4)*-2. Let l(r) = 7*r**2 - r + 3*r**t + 5*r**2. Is l(-1) a multiple of 16?
True
Let a be -4*101*1/(-4). Suppose 3*w - 5*i + 194 = -a, 4*i + 504 = -5*w. Let d = -70 - w. Is 20 a factor of d?
False
Suppose 0 = -4*m + 3*v + 35, 0 = 2*v + 4 + 6. Suppose -2*l - m*h = -144, 3*l + 4*h = 119 + 90. Let d = -47 + l. Is d a multiple of 9?
False
Suppose -3*r = -5*r. Let n(s) = r + s**2 + 0 - 4 + 9. Is n(7) a multiple of 20?
False
Suppose -5*d - 5*b = -0*d + 5, -d + 3 = 3*b. Let q be 27 + 3/d + -2. Let r = q - 13. Is r a multiple of 11?
True
Let p(n) = n - 5. Let d be p(4). Let m(h) = -7*h**3 - 1. Is m(d) even?
True
Let n be 2/(0 - 2/(-5)). Let r = 10 + 1. Suppose -49 = -n*p + r. Does 12 divide p?
True
Suppose -5*m - 19 = -64. Let g(n) = -19*n - 37. Let t(y) = -3*y - 6. Let s(r) = 6*g(r) - 39*t(r). Does 17 divide s(m)?
False
Suppose -v + 3 - 1 = 0. Does 2 divide v*(50/4)/5?
False
Let b = 33 - 12. Is 5 a factor of b?
False
Suppose 5*h - 51 - 9 = 0. Let f be (h/(-15))/(4/(-250)). Let u = f + -36. Is 7 a factor of u?
True
Let x be (2/(-3))/((-2)/159). Suppose 4*l + x = 185. Is l a multiple of 10?
False
Suppose 711 = 3*n + 3*p, -225 = -0*n - n + 5*p. Does 14 divide n?
False
Is (15/(-20))/(2/(-96)) a multiple of 5?
False
Let v(q) = -3*q + 3. Is 3 a factor of v(0)?
True
Suppose 2*p - 444 - 32 = 0. Is 14 a factor of p?
True
Let t(k) = 6*k - 8. Let l = 5 + -6. Let m be 8 - (l - 1)/(-1). Is t(m) a multiple of 17?
False
Let h = -283 + 425. Does 23 divide h?
False
Let i be (-1 + -3)*(-12 + 2). Is ((-6)/(-5))/(3/i) a multiple of 16?
True
Let k(x) = -x**3 + 2*x - 3. Let m be k(2). Let b(h) = h + 13. Let o be b(m). Is 14 a factor of (o*1)/((-12)/(-56))?
True
Let v = 6 - -4. Suppose v = 5*r - 0. Let q = r - -3. Does 5 divide q?
True
Suppose 0 = 5*q + 2*k + 13, -3*q + 3*k - 13 = -k. Let z(j) = j**3 + 5*j**2 + 4*j + 2. Does 8 divide z(q)?
True
Let v = 49 + -31. Is 9 a factor of v?
True
Let v(g) = g**3 + g**2 - 2*g + 4. Is 6 a factor of v(2)?
True
Does 22 divide 2/(2/(-176)*-4)?
True
Suppose -4*z - m = -11, 3*z = -4*m + 3 + 2. Is z a multiple of 2?
False
Suppose 2*f + 6 = 0, -4*f + 28 = 4*g - 8*f. Suppose -5*n = 2*i - 7*i - 70, -20 = -2*n + g*i. Does 18 divide n?
True
Suppose -126 = 2*b - 7*b + 4*p, -2*b = -2*p - 52. Is b a multiple of 11?
True
Suppose 2*h - 7*h - 10 = 0. Let t = 2 + h. Suppose 3*j + t - 48 = 0. Is 8 a factor of j?
True
Let l = 82 + -26. Suppose n - 5*n = -l. Is n a multiple of 6?
False
Let j(o) = -3*o. Let p be j(-1). Suppose 0 = -p*a + 4*z + 3, a - 8*z = -3*z + 12. Is 11 a factor of 1/(((-6)/62)/a)?
False
Suppose -9 = 3*r, -3*r = h - 3 + 8. Let o = 0 + h. Suppose -3*f = -o*f + 16. Is 9 a factor of f?
False
Let w = 42 + -15. Is w a multiple of 7?
False
Let d be (1/(-2) + 0)*0. Suppose 6*h - h + 15 = d. Is 20 a factor of h/9 - (-61)/3?
True
Is ((1 - 0)/(15/(-195)))/(-1) a multiple of 5?
False
Suppose 0 = -d - 4*d + 235. Let a = -29 + d. Is 9 a factor of a?
True
Suppose 4*i - 56 = 152. Does 10 divide i?
False
Is (4/6)/(20/270) even?
False
Suppose -3*k - 15 = 0, -z + 3*k + 9 + 6 = 0. Suppose h = -0*h + 2*f + 1, f - 3 = z. Suppose 3*q - h*q - 32 = -4*o, 0 = -4*q + 4. Is o a multiple of 4?
False
Let u = 131 + -7. Is u a multiple of 31?
True
Suppose 0 = -2*a - 19 + 109. Does 15 divide a?
True
Let i(m) = m**3 + 5*m**2 - 2. Let z be i(-5). Let k be 0/z*(4 - 3). Suppose -q + 20 = 4*h, 5*q + k*h - 4*h = 28. Is q a multiple of 3?
False
Suppose 6*q - 7*q + 48 = 0. Is 16 a factor of q?
True
Let u = 18 + -25. Let t = u - -43. Does 13 divide t?
False
Let w = 43 - 1. Does 10 divide w?
False
Suppose 3*z + 4 = -14. Suppose -101 = 4*x - 41. Is 88/5 + z/x a multiple of 14?
False
Suppose -4*s + 8 + 12 = 0. Suppose s*a - 24 = 2*a. Does 4 divide a?
True
Suppose 3*h - 14 = 13. Let o = h + -4. Suppose -o*w - 2*s = -215, w - 25 = -9*s + 5*s. Does 17 divide w?
False
Let a = 39 + -11. Does 11 divide a + (-3)/2*2?
False
Let a = 446 - 310. Is a a multiple of 20?
False
Let x = 10 - 7. Suppose 2*p = -x*p. Suppose -5*y + 204 - 34 = p. Does 12 divide y?
False
Let d(h) = -h**3 - 4*h**2 + 2*h + 2. Let b(f) = -f**3 - 3*f**2 + 3*f + 2. Let g(u) = 3*b(u) - 2*d(u). Does 15 divide g(-4)?
True
Suppose 7*r - 120 = r. Does 20 divide r?
True
Does 14 divide -2*(-363)/(-12)*-2?
False
Does 31 divide (-279)/(-6)*(-24)/(-9)?
True
Let f(p) = -68*p - 14. Is 22 a factor of f(-2)?
False
Suppose -9 = -8*a + 5*a, n - 65 = 4*a. Suppose n = 2*x - 5*q, 4 = 3*q + 1. Is 11 a factor of x?
False
Let o(q) = 40*q**3 - 2*q**2 + 3*q - 2. Is 13 a factor of o(1)?
True
Let f(h) = -20*h + 4. Let l be f(-3). Suppose -2*q - 3*r + l = 0, -2*r + 0*r - 128 = -4*q. Let a = q + -1. Does 13 divide a?
False
Suppose g = 5*b + 58, -94 = -4*g + g - b. Does 10 divide g?
False
Suppose 3*h + 2*h = 1080. Is 18 a factor of h?
True
Suppose -4*t = -16 - 12. Let u = 161 - 87. Is (7/t)/(2/u) a multiple of 10?
False
Let l(c) = -c**3 + 9*c**2 + c**2 + 3 + 0*c**2 - 11*c. Let n be l(8). Let x = -31 + n. Is 6 a factor of x?
True
Let r(n) = -3*n + 8. Let m(w) = -w + 3. Let q(d) = 8*m(d) - 3*r(d). Let p be q(2). Suppose -2*l = c - 1, -7 - 11 = -p*c + 4*l. Is c even?
False
Let i(x) = 3*x**3 - 31*x**2 - 14*x + 14. Let o(d) = 2*d**3 - 21*d**2 - 9*d + 9. Let w(r) = 5*i(r) - 8*o(r). Is 9 a factor of w(13)?
False
Let n = -197 - -399. Let f be (-15)/2*2/(-3). Suppose -n + 62 = -f*d. Is d a multiple of 14?
True
Let r(n) = 4*n - 2*n - 2*n + n**2 - n**3 + 6. Is r(0) a multiple of 6?
True
Suppose -9*k + 4*k + 75 = 0. Is 10 a factor of k?
False
Let r(v) = -v**3 - 5*v**2 + 6*v + 4. Let f be r(-5). Let p = 50 + f. Suppose i = q + 16, -2*i + 3*q = -3*i + p. Is 7 a factor of i?
False
Suppose 4*u + 40 = -3*v, 11 = 4*u - 9. Let f = 49 + v. Is 11 a factor of f?
False
Let u = -1 + 5. Is (-128)/(-6) - u/12 a multiple of 13?
False
Let r = -13 + 1. Is r/(-8)*148/6 a multiple of 25?
False
Let q(y) = -y**3 - 4*y**2 - 4*y - 1. Let l be q(-3). Suppose l*n - 16 = n. Suppose -4*b = -2*b - n. Is 5 a factor of b?
False
Let z = 16 + -11. Suppose -h = 4*h - i - 178, 4*h = -z*i + 125. Does 13 divide h?
False
Suppose 6*o - 553 - 785 = 0. Is o a multiple of 8?
False
Let c(w) = w**3 - 9*w**2 + 2*w + 2. Let j(b) = b**3 - 10*b**2 + 10*b. Let a be j(9). Let f be c(a). Let o = -10 + f. Does