es 59 divide k(7)?
True
Suppose 7*s + 150 = 2*s. Is 10 a factor of 18/(-27)*(0 + s)?
True
Suppose -10*h = -15*h + 15. Suppose 1 = h*j - 8. Suppose 1 + 17 = j*u. Is 6 a factor of u?
True
Let j be (-8)/(-36) - 2/9. Suppose 4*d + j*d = 20, 5*d = -5*i + 20. Is (-4)/(2*i/4) a multiple of 8?
True
Suppose 3*v = 0, 5*p - 29449 = -2*v - 12049. Is 15 a factor of p?
True
Suppose 2*l = -2*k, -5*k + 2*l + 2*l = -9. Let i = k - -11. Does 12 divide i?
True
Let m(y) = 90*y - 12. Let u be m(4). Suppose -a + 261 = 2*a + 4*i, 2*i = -4*a + u. Is 29 a factor of a?
True
Let l be (3 + 0)/(1/2). Suppose -l*p + p = -520. Does 26 divide p?
True
Let n = -493 + 340. Suppose 5*a - 4*k = -5*k - 91, -2*a = -5*k + 31. Does 7 divide n/a - (-2)/4?
False
Let z(h) = 4*h - 17. Let r be z(21). Suppose -30 = -5*q + 3*q - 4*s, -5*q - 2*s + r = 0. Is q a multiple of 4?
False
Suppose -3*s = x - 58 - 253, -2*x = 4*s - 626. Is 18 a factor of x?
False
Let y(c) = -2*c**3 - 2*c**2 + 4*c - 2. Let n be y(-4). Let l = n - 47. Is 10 a factor of l?
False
Suppose 5*x - 20 = -0*x + 5*a, -a = -4. Let v(k) = k**3 - 7*k**2 - 2*k - 12. Is 18 a factor of v(x)?
True
Let x = -35 - -41. Suppose 156 = x*f - 162. Is f a multiple of 23?
False
Suppose 2560 = 5*f + 3*u, 4 = -2*u - 6. Is f a multiple of 69?
False
Is (-15580)/(-80) - 1/(-4) a multiple of 15?
True
Let n(w) = w**2 + 4*w + 8. Let t be n(-3). Suppose -4*s - 4*k - 68 = -t*s, 228 = 4*s - 5*k. Does 4 divide s?
True
Let m(r) = -17*r - 3. Let u(k) = k**3 + 10*k**2 - 13*k - 25. Let g(w) = w**3 - 5*w**2 + 3*w - 2. Let a be g(3). Let t be u(a). Is 16 a factor of m(t)?
True
Is (90/60)/(6/896) a multiple of 16?
True
Let p(y) = 10*y**2 - 9*y + 2. Suppose 2*b - 24 = -16. Does 16 divide p(b)?
False
Let c(o) = 2*o + 8. Let p be (110/(-50))/((-2)/10). Let f be c(p). Let m = 109 - f. Is m a multiple of 24?
False
Does 3 divide 265*(0 - 8/(-20))?
False
Let n be -1*(-3 - -43)*1. Let a be ((-6)/(-5))/((-6)/n). Suppose -2*k = a, 0*u - u - 3*k = -5. Is u a multiple of 11?
False
Suppose -3*k + 11 = 23. Let h(z) = -90*z - 20. Is h(k) a multiple of 34?
True
Let j = 167 - -86. Is 21 a factor of j?
False
Is 5 a factor of (-12)/8 + ((-86)/(-4) - -6)?
False
Suppose 4*b - 2*f - 498 = 2*b, f = -3*b + 747. Let s be (-2 - b/3)*1. Is s/(-4) + (-2)/8 a multiple of 7?
True
Suppose 25*d - 27*d = -2*v - 1264, -2*d + 4*v + 1270 = 0. Is d a multiple of 25?
False
Let l(i) = -3*i + 84. Is l(16) a multiple of 5?
False
Suppose -10 = -4*c - 2. Is (4 - -66 - c) + 1 a multiple of 14?
False
Let o(b) = -74*b + 1020. Is 43 a factor of o(0)?
False
Let s(u) = 37 - 8 + 30 - u. Does 2 divide s(15)?
True
Let z be (3 - 1)/4*-2. Let m(v) = 21*v**2 - v. Does 10 divide m(z)?
False
Let l be ((-12)/8)/((-9)/924). Let n = -75 + l. Let u = 119 - n. Is 10 a factor of u?
True
Let v(p) = -p - 1. Let g be v(-6). Is 8 a factor of -10*(12/g)/(-3)?
True
Let n = 116 - -64. Is n a multiple of 10?
True
Let j(y) = 263*y - 7. Is 19 a factor of j(2)?
False
Suppose 3*r = 3*h + 672, 786 + 113 = 4*r - 3*h. Suppose -4*o - 12*k = -9*k - 237, -4*o + r = 5*k. Is o a multiple of 39?
False
Let i(k) = 2*k + 179. Is i(38) a multiple of 17?
True
Let r = -97 - -90. Does 12 divide 3 + 76/(-28) + (-334)/r?
True
Let w be (7/(-14))/((-1)/(-612)*3). Let b = -83 - w. Is b a multiple of 19?
True
Suppose -2*m = 2*k - 162, -2*k - 4*m - 82 = -254. Is k a multiple of 11?
False
Let f = -413 - -878. Is f a multiple of 31?
True
Suppose 2*m + 4*z - 90 = 4, -4*z - 134 = -2*m. Does 3 divide m?
True
Let m = 1152 + -636. Does 37 divide m?
False
Suppose 3*l + 23 = -y, -5*l - 21 - 16 = y. Let i(x) = 2*x**2 - 4 - x - x + 3*x. Is i(l) a multiple of 18?
False
Let p = 11 - 5. Is 78 + p + -3 + -4 a multiple of 9?
False
Let c(k) = -k**2 - 13*k + 32. Let r be c(-15). Suppose 3*g = r*g + 22. Does 11 divide g?
True
Let z be 4/(-14) + 160/70. Suppose 5*j - 20 = d, 3*j - 2*j + z*d + 7 = 0. Suppose -6*y + j*y + 168 = 0. Is 14 a factor of y?
True
Let l(a) be the second derivative of -3*a**3/2 + 4*a**2 + 7*a. Is 15 a factor of l(-13)?
False
Suppose 0 = 78*j + 25832 - 109136. Does 33 divide j?
False
Suppose 10*l = 31*l + 189. Let t(q) be the first derivative of q**3/3 + 7*q**2/2 - 11*q - 3. Is t(l) a multiple of 3?
False
Is 4*2 - (-7832)/22 a multiple of 14?
True
Let v = 3 - 8. Let p(b) = -4 - 2 - 6*b + 1 + 3. Does 14 divide p(v)?
True
Let l(q) = -4*q**2 + 6*q**2 + 3 + 7 - 3*q. Does 18 divide l(-8)?
True
Let w be ((-2)/4)/(2/(-108)). Let i = w + -22. Suppose 0*n + 3*k - 142 = -i*n, 4*k - 68 = -2*n. Is 9 a factor of n?
False
Suppose -6*h = 3*h - 27. Suppose 0 = -s - 5, 2*f - h*s - s = 198. Does 19 divide f?
False
Let k be (-15)/9 - (-4)/(-12). Let d = k - -10. Does 4 divide 45/20*d*1?
False
Let p(z) = -z**2 + z + 3. Let x be p(3). Is x - (-200)/(4 - 0) a multiple of 21?
False
Let s(r) be the second derivative of r**5/20 - r**4/4 - 2*r**3/3 - r**2/2 - 4*r. Let p be s(4). Let n = 5 + p. Does 3 divide n?
False
Suppose 3*c = 6*c - 9. Suppose -3 = -3*l + c. Suppose 0*q + l*q = 18. Does 3 divide q?
True
Let p(i) be the first derivative of -i**4/12 + 4*i**3/3 + i**2 - 5*i - 13. Let q(d) be the first derivative of p(d). Does 6 divide q(4)?
True
Suppose -15 - 1 = -4*c, 4*q - 176 = c. Is q a multiple of 4?
False
Let z = 436 - -2755. Does 113 divide z?
False
Let p be (-4 + 1 - -3)/2. Suppose 5*r - 2*c + 28 = p, -3*r = 2*c - 1 + 5. Let y(z) = 5*z**2 + z - 5. Is y(r) a multiple of 25?
False
Let w(q) = -q**3 + 7*q**2 - 7*q + 16. Let i be w(6). Suppose 138*c + i = 140*c. Is 4 a factor of c?
False
Suppose 0 = 3*v - 21 + 9. Suppose 5*n = 4*n + v*z - 21, -3*n + 3*z - 18 = 0. Does 18 divide (1 - -17)*(n + 2)?
True
Let v = 381 - 223. Let h = v + -103. Does 11 divide h?
True
Suppose -4*b = b + 4*g + 309, 2*b = g - 121. Is (-1 - 0)*(5 + b) a multiple of 12?
False
Suppose -5*u = 3*u + 8. Let s = u + 68. Is s a multiple of 11?
False
Let l(r) be the first derivative of 2*r**3/3 + 13*r**2/2 - 15*r - 6. Is l(-10) a multiple of 7?
False
Let k = 1522 + -807. Is 15 a factor of k?
False
Let d be 7/(-28) - (-146)/8. Suppose -2*i - v = 36, 3*v = i - v + d. Does 11 divide (-762)/i + 2/(-6)?
False
Let a(f) = -f + 7. Let j be a(3). Let r be j - (2 + -4)*5. Is 8/r - 216/(-14) a multiple of 14?
False
Suppose u + 120 = -4*u - 5*s, 4*u = 2*s - 126. Does 2 divide 4/((-4)/u)*1?
False
Let w(j) = 230*j - 4. Let a(u) = 115*u - 2. Let n(f) = -13*a(f) + 6*w(f). Is 25 a factor of n(-1)?
False
Let b = 72 + -48. Suppose -b = -m + 3. Let s = 81 - m. Is s a multiple of 10?
False
Let g(b) = 17*b**2 - 11*b + 29. Let u be ((-10)/4)/(45/(-72)). Is 10 a factor of g(u)?
False
Let x(d) = d**3 + 17*d**2 - 4*d - 4. Let z be -3 + 2 + 1 - -3. Suppose 25 = -z*j - 26. Does 8 divide x(j)?
True
Let d = 58 - 72. Let t(c) = c**3 + 12*c**2 - 29*c + 18. Does 8 divide t(d)?
True
Suppose 4*h - 5*a = 3935, 50*h - 49*h + a = 995. Is h a multiple of 18?
True
Let z = -819 + 1395. Is z a multiple of 12?
True
Let j = -1 - -23. Let h = -19 + j. Suppose 3*w = -d + 222, -h*w - d - 148 = -5*w. Is w a multiple of 13?
False
Suppose -16*k = 21*k - 11470. Does 10 divide k?
True
Suppose 894*i - 906*i = -6972. Is i a multiple of 5?
False
Let s = 1025 - -1076. Does 34 divide s?
False
Suppose 0*o - o - 806 = -5*a, o + a + 782 = 0. Let s = -454 - o. Does 42 divide s?
False
Is 7 a factor of ((-14)/28)/(1/(66/(-3)))?
False
Let u = 9 + -183. Let v = 258 + u. Is 14 a factor of v?
True
Is 14 a factor of (62/(-4))/(7/(-42)) - 3?
False
Let u = 1547 - 927. Does 31 divide u?
True
Let t be (-7828)/(-171) + (-2)/(-9). Suppose -9 - t = -u. Suppose -4*l + u = -3*l - 2*b, -5*l + 259 = -2*b. Does 12 divide l?
False
Let m = 1677 - 881. Is m a multiple of 12?
False
Let a(l) be the first derivative of -l**3/3 - 15*l**2/2 + 14*l + 1. Is a(-11) a multiple of 29?
True
Suppose -3*p - 32 = p. Let d be 122/p - 4/(-16). Is 7 a factor of (1*d)/(-3) + 2?
True
Suppose 10*r - 13*r = 0. Suppose -2*u + 270 = 5*c - 3*u, r = -3*c - 5*u + 190. Does 10 divide c?
False
Suppose -5*s = -3*g + 27, 2*s + 1 = -2*g - s. Is 2 a factor of (-54)/(-5) - g/(-20)?
False
Let z be (-42)/(-54) + (-4)/(-18). Let h be 5 + 3 + (z - 1). Does 21 divide 315/3*h/20?
True
Let j be (-3 + (-2)/4)*-2. Let t(c) = -11*c + 10. Let n be t(j). Let b = -39 - n. Does 14 divide b?
True
Let p = 594 - -286. Does 22 divide p?
Tr