)/n)/((-1)/30)?
False
Suppose 0 = -2*f - 0*y - 2*y + 700, 2*f - 3*y - 725 = 0. Is f a multiple of 12?
False
Suppose k = -4*k. Suppose k*w = 3*w. Suppose w = x - 28 - 7. Is x a multiple of 17?
False
Let c = -37 - -97. Suppose 0 = -4*k - k + c. Is k a multiple of 11?
False
Suppose 5*j - 328 = -3*j. Is 19 a factor of j?
False
Suppose -6*x = -3*x - 75. Let d = x - 11. Does 14 divide d?
True
Is 5 a factor of (-1573)/(-78) - 1/6?
True
Let d(f) = -f**2 + 10*f + 3. Suppose 3*s + 30 = i + 2*i, 38 = 5*i - 2*s. Suppose 0 = -5*m + 3*n + 41, -4*n - i - 30 = -4*m. Does 11 divide d(m)?
False
Suppose -5*i = -18 - 2. Is 4 a factor of i?
True
Suppose 3*l - 2*x = 2*x + 134, -l - 5*x = -32. Is l a multiple of 21?
True
Suppose 5*y - 2*y = 5*n - 25, -3*n + 3*y = -15. Suppose 9 + 11 = n*f. Suppose -f*l + 3 = 3*h, -l - 2*h = -7*h - 18. Is 2 a factor of l?
False
Let p(b) = -2*b + 22. Is p(0) a multiple of 22?
True
Let f(t) = t**3 + 18*t**2 + 14*t + 15. Is f(-17) a multiple of 11?
True
Suppose 0 + 3 = j. Suppose -3*i + g - 3*g = -15, j*i - 15 = g. Suppose -16 - 59 = -i*u. Is u a multiple of 6?
False
Let r(m) = 2*m**2 + 7*m - 4. Let u be r(5). Is 15 a factor of u/6 - (-6)/4?
True
Let p(r) = r + 20. Let b be p(-14). Let m be (1/(-2))/((-2)/8). Suppose -23 = -b*j + j + m*q, j - q - 4 = 0. Is 2 a factor of j?
False
Let k(s) = 5 - 5 - 11*s. Let a be (-4)/14 + 48/(-28). Is k(a) a multiple of 11?
True
Suppose 135 = -u + 6*u. Is u a multiple of 9?
True
Let g = -14 + 8. Let b be 22/(g/(-1 + -2)). Suppose b = w - 3. Does 11 divide w?
False
Let s(m) be the second derivative of 7*m**3/6 + 5*m. Is 12 a factor of s(3)?
False
Let v(z) be the second derivative of 0 + 2*z + 0*z**2 + 7/3*z**3. Is 14 a factor of v(2)?
True
Let p = -110 - -160. Suppose 7*a - 2*a - p = 0. Is 10 a factor of a?
True
Let i(y) = 6*y - 14. Is 14 a factor of i(7)?
True
Let q(g) = -g + 6. Does 2 divide q(4)?
True
Suppose 5*w - 29 = -4. Let p = 28 - 9. Suppose w - p = -g. Is 8 a factor of g?
False
Suppose 90 = 4*s - 38. Suppose 5*a - s = 4*a. Is a a multiple of 8?
True
Let x be (-5802)/(-21) - (-6)/(-21). Suppose -11*s + x = -7*s. Is 23 a factor of s?
True
Let v = -161 + 227. Is 32 a factor of v?
False
Let j(a) = -8*a**2 - a**2 - a**3 - 3 + 8*a**2 - 2*a. Does 2 divide j(-2)?
False
Let r(j) = -j + 1. Let b be r(0). Does 4 divide 8/b - 0/3?
True
Let b(y) = -y**2 + 8*y - 6. Suppose -5*a = 4*i + 65, -2*a - 4*i - 30 - 8 = 0. Let h = 15 + a. Does 4 divide b(h)?
False
Let w(k) = k**2 + 7*k - 16. Does 17 divide w(-11)?
False
Let g(x) = 2*x**2 + 5*x + 5. Let f be g(-2). Let m = 5 + f. Does 2 divide m?
True
Let m = -24 + 33. Is 3 a factor of m?
True
Let l(n) = -3*n - 1. Suppose 12 = 4*m - 16. Let d = -13 + m. Is l(d) a multiple of 10?
False
Suppose 0 = -3*c - 2*b - 10, -b = -6*b - 25. Suppose x = 15 + 8. Is x*((c - 1) + 2) a multiple of 12?
False
Let b = -11 + 107. Is 9 a factor of b?
False
Suppose -2*l + 2*m = 54, l - 4*l = m + 81. Let t = l - -47. Is 20 a factor of t?
True
Does 5 divide (-6)/(-4) + 2 + (-716)/(-8)?
False
Let z(k) = k**3 - 2*k - 1. Let i be z(2). Let d = -4 - -5. Does 4 divide d - (-4*6)/i?
False
Let n be 8/(-14) + 188/(-14). Is 5 a factor of (-895)/(-35) + 8/n?
True
Let m(z) = -3*z + 3. Suppose -4*x - 16 = 0, -5*l - 102 + 27 = 5*x. Is m(l) a multiple of 12?
True
Suppose -6*z - 38 = -4*z. Let v = z + 71. Is 19 a factor of v?
False
Suppose -3*o = -3*r - 27, 2*o - o + 31 = -4*r. Let f = r - -12. Suppose f*y = -3*k + 19, -23 = -5*k + 2*k - 2*y. Does 9 divide k?
True
Suppose 0 = -x + 8 - 4. Suppose -d = 3*d - j - 122, -x*d + 5*j = -114. Does 17 divide d?
False
Suppose 4*q = 8*t - 3*t - 102, -4*t + 4*q = -84. Is 9 a factor of t?
True
Let o(v) = 8*v - 2. Let b be o(6). Suppose 3*m = -4*i + 110, -b = 4*i - 3*m - 168. Does 13 divide i?
False
Let b(r) = r**3 - 2*r**2 - 6*r - 6. Let v(d) = -d**3 + d**2 + 5*d + 5. Let c(j) = 3*b(j) + 4*v(j). Let a be c(-2). Does 12 divide -2 - (1*a - 12)?
True
Let a = 23 - 3. Does 15 divide a?
False
Suppose -s + 3*o + 89 = 34, 0 = 2*s + 2*o - 126. Let q = 1 - 44. Let n = q + s. Is n a multiple of 8?
False
Let v(y) = 3*y - 6. Is v(3) even?
False
Is 23 a factor of (-5785)/(-52) + 6/8*1?
False
Suppose 3*l = 10 + 23. Let p = l - 3. Does 8 divide p?
True
Let i be 2/(-4) + (-6)/(-4). Suppose v = i + 7. Is 4 a factor of v?
True
Suppose -4*q = -19 + 3. Suppose -5*g + 40 = -v - 65, -q*g + 84 = 3*v. Is 7 a factor of (-6)/9*3 + g?
False
Let g(m) = -9*m**2 - 2*m. Suppose -b + 2 = -0*b. Let v be g(b). Let o = v + 58. Is 18 a factor of o?
True
Let b(o) = -43*o. Let y be b(1). Let u = y + 74. Is u a multiple of 13?
False
Suppose 10 = -x + 5*a, 2*x + 40 = -x + 5*a. Let l = x - -37. Is 11 a factor of l?
True
Suppose -4*h + 64 = -192. Does 21 divide h?
False
Suppose -d - 300 = -5*d. Does 15 divide d?
True
Suppose 2 = 5*t - 118. Suppose 0 = 2*b - 4*b + t. Suppose b + 2 = a. Is 13 a factor of a?
False
Suppose -1 = -3*o + 2*q + 1, -3*q + 4 = -o. Does 7 divide -32*(o/(-4) - 0)?
False
Does 3 divide -7*((-18)/(-14) + (-18)/6)?
True
Suppose -4*q - q = -90. Suppose -2*n + q = n. Does 6 divide n?
True
Let u be 1 + ((-4)/1)/(-1). Let w = u - -39. Suppose 4*j = -c + 47, -w = -c + 5*j + 12. Is c a multiple of 17?
True
Suppose -2*b + 150 = -0. Suppose -2*i + b = 3*i. Let o = -8 + i. Does 2 divide o?
False
Let a be -6*(-1)/3*1. Let n(y) = 4*y**2 - 7 + 9*y + 0 + a - 2*y**2. Is 16 a factor of n(-7)?
False
Does 8 divide (-1057)/(-35) - 3/15?
False
Let t be 10 - (2 - 0)/2. Let l(o) = o**2 - 7*o - 4. Is l(t) a multiple of 14?
True
Suppose 4*b = 35 + 61. Is 3 a factor of b?
True
Let b(d) = 47*d + 1. Does 12 divide b(1)?
True
Let j = -181 - -322. Is j a multiple of 25?
False
Let h(n) = 0 + 3 + 13*n - 4. Suppose 4*r = -0*r + 4. Is h(r) a multiple of 12?
True
Let l(w) = w**2 + w - 171. Let v be l(0). Let n be -1*(v/(-3) - -2). Let b = n - -87. Is 14 a factor of b?
True
Does 13 divide 368/132*15 - (-2)/11?
False
Let a(n) = 2*n**2 + 7*n + 21. Is a(7) a multiple of 7?
True
Let n be 1/(((-28)/8)/(-7)). Suppose -6 = -n*s + 42. Does 8 divide s?
True
Let g(k) = -k**3 - 9*k**2 - 2*k + 2. Is 5 a factor of g(-9)?
True
Suppose 74 = b - 3*p, -7*p + 370 = 5*b - 4*p. Is b a multiple of 11?
False
Suppose 4*q - 59 = -5*z, 4*z = 3*z - 2*q + 13. Does 11 divide z?
True
Suppose -a - 16 = 3*g, 2*g + 32 = -g - 5*a. Let i(z) = -z**2 - 6*z - 6. Is i(g) a multiple of 2?
True
Suppose 0 = 4*b - 7*b + 234. Does 26 divide -1*(-2 + 1)*b?
True
Suppose -4*h - 4*m - 46 = 154, 110 = -3*h + 5*m. Let b(o) = 2*o**2 - 11*o - 5. Let c be b(10). Let u = h + c. Is u a multiple of 20?
True
Suppose -4*y + 44 = -0*y. Suppose -2*b = 1 - y, 4*j = -4*b + 304. Does 28 divide j?
False
Suppose -78 + 12 = -s. Suppose -s = -5*t + 9. Is 10 a factor of (18 + -2)*t/20?
False
Let p = -4 + 4. Suppose -19 = -c - p*c. Let j = -10 + c. Is 5 a factor of j?
False
Let z(h) = h**2 - 3*h - 7. Let o be z(5). Let g = 10 - -11. Suppose m = 5*m + 2*k - 14, g = m - o*k. Is 4 a factor of m?
False
Let c(v) be the first derivative of v**4/4 + 2*v**3 - 5*v - 2. Is c(-4) a multiple of 24?
False
Suppose 0 = -5*z - 5*i + 50, 2*z + 28 = 4*z + 4*i. Let g(j) = j**2 - 5. Let n be g(5). Let d = z + n. Does 13 divide d?
True
Suppose -3*q = -l + 54, 0 = -2*q - 0*q - 6. Suppose l - 5 = 4*f. Is f a multiple of 5?
True
Let h = 92 - 46. Does 23 divide h?
True
Let h = -7 - -34. Let t = h - 9. Is t a multiple of 9?
True
Suppose 5*d + 0*f = -f, 0 = -d - 2*f. Suppose -5*o + 2*b + 0*b = 5, 3*o - 2*b + 3 = 0. Is 12 a factor of d - 78/(o + -2)?
False
Suppose 34*g - 38*g + 372 = 0. Is 31 a factor of g?
True
Suppose -c + 3*t = 8*t - 29, -2*t = 3*c - 35. Is 25 a factor of ((-50)/2)/((-3)/c)?
True
Suppose -4*a - 7*o + 3*o = -16, 3*a = -2*o + 13. Let g = a - 0. Is 2 a factor of g?
False
Suppose -5*l + 51 = -3*c, -3*c = 2*l + 5 + 25. Is 13 a factor of ((-8)/c)/((-2)/(-111))?
False
Let h(b) = 2*b - 8. Let a be h(6). Suppose 6*x - 118 = a*x. Does 20 divide x?
False
Suppose -4*m = -5*m - 5. Is 14 a factor of (2 + 3)*(-42)/m?
True
Suppose 3*y = 8*y - 700. Is 35 a factor of y?
True
Let q(x) = x - 3. Let v be q(5). Does 5 divide (-78)/(-4) - v/4?
False
Let l(m) = 0*m**2 + 3 + 3*m**2 + 2*m - 5*m**2. Let q be l(-5). Is 1 - (-1)/((-3)/q) a multiple of 10?
True
Let m = 175 - 119. Is 14 a factor of m?
True
Let p = 149 - 95. Is p