be 1606/14 - (-8)/28. Suppose -5*j = -k - 80. Is 24 a factor of j?
False
Is -1 + ((-4)/(-10) - (-9571)/85) a multiple of 6?
False
Suppose -5*n = v - 41, -2*n - v + 25 = n. Let b = n + -4. Suppose d - 4*d + 2*j = -44, b*j + 60 = 4*d. Is 7 a factor of d?
True
Suppose -o + 5*z = 4*z - 7, o = 5*z + 23. Suppose 4*w - 143 = o*j + 128, -4*j + 152 = 2*w. Is w a multiple of 25?
False
Let i = 13 + 11. Is 4 a factor of i?
True
Suppose -4*k + 9*k = 190. Does 5 divide k?
False
Let d(h) = -h - 1. Let u be d(-8). Suppose -2 = -3*s + u. Is s even?
False
Is (5 + -7)*(-130)/4 a multiple of 13?
True
Let l(k) = 15*k - 6. Let n(h) = h + 1. Let z(v) = l(v) + 2*n(v). Is z(5) a multiple of 27?
True
Let g = 4 - -3. Let v = g + 22. Is v a multiple of 15?
False
Let r = 0 + 2. Suppose -3*q = r*q + 120. Is 6 a factor of (1/2)/((-1)/q)?
True
Suppose -5*p + 10 = 2*b, 0 = 5*b - 4*p - 14 - 11. Suppose -b*u + 37 = -3*y - 99, 0 = 5*y - 15. Suppose -r = -2*r + u. Is r a multiple of 16?
False
Let l(n) = n**2 + n - 5. Let m be l(-6). Suppose -z = -6*z + m. Is z a multiple of 4?
False
Let b = -238 - -385. Does 7 divide b?
True
Let n = 9 - 5. Suppose -79 = -n*z - b, 2*z + b = -0*b + 41. Does 19 divide z?
True
Suppose t - 15 = 4*z, -141 = -5*t - 0*z - 2*z. Is t a multiple of 9?
True
Suppose -3*d + 8 = 5*a + 1, 2*d = -a. Let j(u) = 10*u**2 + 3*u - 2. Does 9 divide j(a)?
False
Let g be 3 + (0 - (-39)/1). Let i = g - 12. Is 15 a factor of i?
True
Let m(g) = -g**3 - 3*g**2 + 4*g + 1. Let i be 1/2*(-8)/1. Let f be m(i). Let z = f + 3. Is z a multiple of 2?
True
Suppose 3*g = -2*k + 34, -4*g - 19 + 64 = 3*k. Let w = g + -2. Is 10 a factor of w?
True
Suppose 0 = 6*a - 2*a + 56. Let n(q) = -q**3 - 13*q**2 + 13*q - 7. Is n(a) a multiple of 7?
True
Suppose 0 = 4*z - 0*z. Let w(o) = -o**3 + o**2 + 12. Does 6 divide w(z)?
True
Let k(j) = -4*j + 4. Suppose -w + 1 = -1. Suppose w = 2*p + 10. Does 20 divide k(p)?
True
Suppose -3*s = r, -3*r - 2*r = -3*s. Let j = s - 0. Suppose j = -3*w + 8 + 13. Does 7 divide w?
True
Let q = -3 + 3. Suppose -o + 5 = q, 5*s - 2*s = 5*o + 20. Is s a multiple of 10?
False
Let g be 4/(-18) - 58/(-18). Let n be (g - 3)*(-1)/2. Suppose -3*f - 3*m + 0*m + 69 = 0, -2*f - 4*m + 44 = n. Is f a multiple of 12?
True
Let z(l) = -l**3 + 12*l**2 + 14*l + 3. Does 16 divide z(13)?
True
Let k(i) = i**2 - 11*i - 7. Suppose -2*o - 3*o - 135 = 0. Let r = -15 - o. Does 2 divide k(r)?
False
Let j be (2 + (3 - 6))*-6. Let z be ((-2)/(-3))/(j/(-90)). Let t = 26 - z. Does 15 divide t?
False
Let b = 393 - 258. Is b a multiple of 15?
True
Let x = 6 - 2. Suppose -22 - 26 = -x*d. Is 6 a factor of d?
True
Let k = 32 - 14. Does 9 divide k?
True
Let k be ((-1)/3)/((-2)/30). Suppose k*t + 4 = 34. Does 6 divide t?
True
Let m(j) = -j**3 - 7*j**2 + 17*j - 25. Is m(-10) a multiple of 21?
True
Is 10 a factor of ((71 - -4)/((-3)/(-2)))/1?
True
Let s be (-1 - 0) + -1 + 5. Let v(u) = 0*u**2 - 5*u**3 - u**s - 1 + u**2. Is v(-1) a multiple of 3?
True
Let k = 76 + -40. Is k a multiple of 12?
True
Suppose -x + 253 = 84. Let k = x - 119. Is 12 a factor of k?
False
Let j = -7 - 1. Let r = j - -11. Suppose r*x = 2*x - 2*c, -3*c + 9 = 3*x. Is 6 a factor of x?
True
Suppose 0 = 6*r - 50 - 142. Is r a multiple of 6?
False
Suppose 1224 = -3*k + 6*k. Does 31 divide k?
False
Let x(h) = -10*h**3 + h. Does 3 divide x(-1)?
True
Let s(l) = -l**3 + 6*l**2 - 2*l - 5. Let q be s(5). Suppose 0*y = 2*y - q. Does 2 divide y?
False
Suppose 4*u - 4*y + y = -37, 0 = -u - 3*y + 2. Let w = 1 - u. Is w a multiple of 4?
True
Let l be (3 + 1)*2/4. Suppose -31 = -3*v - 2*t + 32, l*v + t - 42 = 0. Does 7 divide v?
True
Let l(p) = -p**3 - p**2 - p + 37. Does 37 divide l(0)?
True
Let z(x) = -x**2 + 3*x - 1. Let u be z(2). Suppose -4*i + 3 = -u. Suppose 25 = o - i. Is 13 a factor of o?
True
Let k(f) be the third derivative of f**5/60 + f**4/3 + f**3/3 + f**2. Let i be k(-8). Suppose 4*a = -i*v - 2*v + 44, 4*v - a - 44 = 0. Is 4 a factor of v?
False
Let p be 3 + (-2 + 3 - 1). Let a = -3 + p. Suppose -3*f = -a*f - 99. Does 9 divide f?
False
Let o be (63/(-14))/((-6)/80). Suppose 4*s = -o + 212. Is 13 a factor of s?
False
Let q(d) = 5*d**2 + d - 4. Suppose 3*i - 16 = 2*m, 3*m + 22 = 4*i - 0*m. Let t be q(i). Let j = t + -48. Does 13 divide j?
False
Let n = -7 - -63. Is 14 a factor of n?
True
Let c(m) be the second derivative of m**4/6 + m**3 - 7*m**2/2 - 2*m. Does 9 divide c(-5)?
False
Suppose -2*y - 12 + 2 = -c, 15 = 5*y. Is (-10)/(-3)*(-10 + c) a multiple of 5?
True
Suppose 0 = 4*k - 3*v - 24, 3*k + 0*v - 3*v - 18 = 0. Let s(j) = 4*j**2 - 7*j. Let r(d) = d**2 - 1. Let m(f) = -2*r(f) + s(f). Does 11 divide m(k)?
False
Is 10 a factor of 10696/105 - 2/(-15)?
False
Suppose 5*b - d = 149, -3*d = -3 - 0. Suppose 6*k + b = 8*k. Does 4 divide k?
False
Is 2 a factor of 28/12*3*1?
False
Let s = 182 + 77. Is s a multiple of 37?
True
Suppose -4*f - 13 + 1 = 0. Let g be (-1 - f)*(-1 - -2). Suppose 5*r = -v - g*v + 207, 16 = 4*v. Does 15 divide r?
False
Let z be (-359)/(-4) + (-10)/(-40). Suppose 0*o + 5*o - 3*p - 234 = 0, -z = -2*o + 3*p. Does 16 divide o?
True
Let i(h) = -h**3 - 8*h**2 - 11*h - 16. Is i(-8) a multiple of 9?
True
Let a(q) = -q - 8. Let j be a(-8). Let x(p) = p**3 - p + 17. Is 14 a factor of x(j)?
False
Let r be -8 + 1 - 0/(-2). Let a(t) = t**3 + 7*t**2 - 4*t + 8. Is 25 a factor of a(r)?
False
Let h(m) = m**3 - 5*m**2 + 5. Let r be h(5). Let s be 2/1 - (-1 - 2). Suppose -24 = -2*p + r*j, -4*p + s*j - 2*j + 76 = 0. Is p a multiple of 22?
True
Let t be 3*(-3)/(-9) - -1. Let d be 2 + 4*t/4. Suppose k - d*w - 10 = -0*k, 3*k - 5*w - 51 = 0. Does 11 divide k?
True
Let o(n) = -n + 1. Let z(s) = -5. Let l(a) = -3*o(a) - z(a). Is 9 a factor of l(11)?
False
Let c(k) = -k**2 - 1. Let i be c(0). Let b(j) = -3*j + 4*j + 33*j**2 - 6*j**2. Does 13 divide b(i)?
True
Let s = 72 - 238. Is (2 + s/8)*-4 a multiple of 26?
False
Suppose -2*u - 50 = -7*u. Does 5 divide u?
True
Let f = 27 + -11. Does 4 divide f?
True
Suppose 22 = -f + 98. Suppose 24 = 2*m - f. Is m a multiple of 18?
False
Is 21 a factor of ((-294)/(-8) - 2)*4?
False
Let v be ((-4)/3)/((-8)/12). Let n = v + 26. Is 14 a factor of n?
True
Suppose -5*m = -5*n - m + 838, -4*n - 2*m = -660. Is n a multiple of 30?
False
Suppose 9 = -2*t + 25. Suppose t*m - 15 = 3*m. Suppose 0 = -c - f + 16, -3*c = -2*c - m*f - 36. Does 11 divide c?
False
Suppose 2*q = 6 + 4. Suppose 4*a = 4*c + 5 + 123, 2*c = -q*a + 160. Is 16 a factor of a?
True
Let x(f) = f**2 - 4*f + 4*f. Let o be x(-2). Suppose 5*m + 8*n - 21 = 4*n, 0 = 4*n + o. Is 5 a factor of m?
True
Let x = 13 - 8. Suppose x*v = 3*r + 217, 5*r - 2*r + 215 = 4*v. Let w = r + 113. Is w a multiple of 14?
False
Let s(x) = -x**2 + 3*x + 7. Let v be s(4). Suppose -27 = -p + 4*b, -8*b - 48 = -2*p - v*b. Is 6 a factor of p?
False
Is 415/15 - 2/3 a multiple of 10?
False
Let b be 0 + 1 - (-32)/2. Suppose f - b = -8. Is f a multiple of 9?
True
Suppose 15 = 2*m + 3. Does 5 divide m?
False
Let t(h) = -6*h - 7. Let r be t(-7). Suppose r + 29 = 4*i. Suppose -i = -2*c + 4. Is c a multiple of 6?
False
Suppose 10 = -2*q - 42. Is 5 a factor of (-77)/(-15) + q/195?
True
Does 13 divide 1/2*416/8?
True
Let g = 20 + -7. Is g a multiple of 13?
True
Let a(y) = -41*y**3 - y**2 - y - 1. Suppose 0 = -m + 5*q + 25, -4*m - 3*q = -m + 15. Suppose -1 = o - m. Is a(o) a multiple of 20?
True
Suppose -5*q + 1277 = p, 5*q - 930 - 337 = 4*p. Suppose 0 = -5*r + 4*d + q, -1 - 4 = d. Is 22 a factor of r?
False
Let d = 43 + -25. Suppose -o + d = -0*n - 2*n, -72 = -5*o + 4*n. Is 12 a factor of o?
True
Suppose j + 2 = 7. Is (3/j)/(3/15) a multiple of 2?
False
Let i(r) = 2*r**2 + 4*r - 3. Let z(g) = -5*g**2 - 9*g + 7. Let v(n) = -7*i(n) - 3*z(n). Is 5 a factor of v(-4)?
True
Suppose -3*k = k + 108. Let h(g) = 16*g + 1. Let i be h(3). Let w = i + k. Does 11 divide w?
True
Is 10 a factor of 40/6*6/4?
True
Suppose 0 = 3*i - 5*i + 592. Does 33 divide i?
False
Let y(x) = -2*x + 2. Let d be y(6). Let w be 4/d + 64/10. Suppose -f + 17 = -w. Is f a multiple of 9?
False
Suppose -2*o + 20 = 2*o. Suppose -3*m - o*h = -26, -4*m = -m - 5*h - 76. Suppose 0 = -4*z + 55 + m. Is z a multiple of 18?
True
Suppose 151 = 3*v + 43. Is 6 a factor of v?
True
Let a = 105 + -14. Does 22 divide a?
False
Does 36 divide ((864/(-2