s 17 divide d?
True
Let c = 39 + -6. Suppose 3*y - a = 38, 3*y = 4*a + 11 + c. Does 4 divide y?
True
Suppose 5*c - 2*c = 45. Is c a multiple of 3?
True
Suppose -i + f + 9 = 0, 5*i + 0*f = 3*f + 35. Let h(q) = -q**2 + 4*q + 3. Let s be h(i). Suppose -5*v + w = -38, -v + 1 + 1 = -s*w. Does 8 divide v?
True
Let b be 1/(2/(-1 + 15)). Let z be (b - 2)*12/15. Suppose -11 = -z*m + 1. Is 3 a factor of m?
True
Let v be (-376)/(-6) + 2/(-3). Let g = v + -35. Is g a multiple of 9?
True
Suppose -5*q = 4*p - 281, 3*q + 3*p - 168 = -0*p. Is q a multiple of 14?
False
Suppose -3*u + 198 = 3*g, 2*g = -3*u - 81 + 281. Does 15 divide u?
False
Suppose -i = -3*f - 18, 2*i + 2*f + 0*f + 4 = 0. Let l(k) = -k - 3. Let x be l(-5). Suppose -2*m + 3*h + 156 = i*m, -x*h = -3*m + 94. Is 15 a factor of m?
True
Suppose 28 = 4*b - 3*a - a, 5*a - 37 = -4*b. Let q = -7 + 4. Let s = b + q. Does 2 divide s?
False
Suppose 3*v - 195 = -p - 3*p, 0 = 5*p + 5*v - 250. Suppose 0 = -7*d + 2*d + p. Does 9 divide d?
True
Let s(r) = 0*r + r + 4*r + 10 - 3. Is 8 a factor of s(5)?
True
Suppose -6*h - 65 = -h. Let f be (-1)/(-1)*(4 - h). Suppose -5*k + 2*k + f = -d, -31 = -5*k + 3*d. Is k a multiple of 2?
False
Let i(a) be the second derivative of a**4/3 - a**3/2 + a**2 - 2*a. Let m be i(2). Suppose 3*r = 4*r - m. Does 7 divide r?
False
Suppose -12*d - 1221 = -23*d. Is 13 a factor of d?
False
Let o be (-4)/6*(17 + 16). Is 4/o + (-216)/(-99) even?
True
Does 20 divide (-1)/3 + (-489)/(-9)?
False
Suppose -d + 4*o = 2*d - 22, -2*o = 8. Let k be (-20)/((28/(-35))/(4/10)). Suppose 10 + k = d*y. Is y a multiple of 5?
True
Suppose -4*r + 436 = -144. Is 39 a factor of r?
False
Suppose 0 = -u - 0*z - 5*z + 19, u - 10 = -2*z. Suppose -u*f + 53 = -35. Is f a multiple of 8?
False
Let s = -6 + 9. Let k = s + -1. Suppose -k*b - 13 = 5*z - 81, 0 = -3*b + 12. Is 12 a factor of z?
True
Suppose -3*h = h. Does 4 divide (-4)/(-2 - (h - 1))?
True
Let i(h) = -2*h + 5. Let y be i(5). Let u(k) = -38*k - k**3 + 1 + 2 - 1 + 34*k - 5*k**2. Is u(y) a multiple of 11?
True
Let t(s) = -3*s - 1. Let w be t(-1). Suppose -w*z = p - 2*p + 12, 4*p - 22 = -5*z. Is p a multiple of 4?
True
Suppose -5*v - 4*y + 6 + 13 = 0, -2*y = -5*v + 13. Let j(q) = -q**3 + 2*q**2 + 4*q - 1. Let o be j(v). Suppose 0 = -o*a + 21 + 63. Does 14 divide a?
True
Let v = -7 - -12. Let j(a) = a**3 + 6*a**2 - a. Let l be j(-5). Suppose -v*t + g + g = -163, 3*g + l = t. Is 19 a factor of t?
False
Suppose 3*p = -p - 12. Let y be 3/3*p - 9. Let v = -5 - y. Is 3 a factor of v?
False
Let m be -2 - (0 - 3) - 87. Let q = 144 + m. Let c = 98 - q. Is c a multiple of 15?
False
Let p = 1 - 4. Suppose -3*q + 32 = -4*s + q, -4*s = 2*q + 38. Let n = p - s. Does 3 divide n?
True
Is 13 a factor of 1/(4/12) + 10?
True
Let r be (1 + 6)/((-6)/(-18)). Is 19 a factor of (10/(-3))/((-1)/r)?
False
Let x(z) = -59*z + 1. Let d be x(-5). Suppose d = 5*q - 2*l, 2*q - 2*l = 5*q - 168. Is q a multiple of 14?
False
Suppose 0 = -3*o + 4*o + 4. Let g(v) = 3*v**2 - 4*v + 1. Does 22 divide g(o)?
False
Let g(z) = -23*z. Is g(-1) a multiple of 3?
False
Suppose -7*o = -10*o + 105. Does 30 divide o?
False
Suppose 5*l - 99 = 41. Is 10 a factor of l?
False
Let z(j) = 8*j + 6 - 1 - 4. Let k be z(-6). Let y = 68 + k. Is y a multiple of 12?
False
Suppose 0 = 2*k - 4, a + 3*k - 4*k - 60 = 0. Is 9 a factor of a?
False
Let v be 51/3 - (1 + -2). Let r = 30 - v. Is 6 a factor of r?
True
Does 55 divide (-20)/30 + (-662)/(-3)?
True
Let h be (-1)/(-2 + 3)*-2. Suppose -g = -3*m - h*g + 127, 2*g + 219 = 5*m. Is m a multiple of 23?
False
Suppose -s = -k - 2 - 1, 3*s - 9 = 0. Suppose 4*z + f = 148 - 2, -5*z - 4*f + 177 = k. Is 15 a factor of z?
False
Let a be (14/(-4) - -3)*-6. Is a/15 - 139/(-5) a multiple of 14?
True
Let t(x) = -2*x + 4. Is 8 a factor of t(-10)?
True
Let s = 7 + 17. Let c = s + -3. Does 12 divide c?
False
Suppose 3*d = 7*d + 4*f - 16, -f + 7 = 2*d. Suppose t + 1 = -0*t - 3*o, -o - d = 0. Is 4 a factor of t?
True
Suppose 0*t - 5*t + k + 58 = 0, 4*t - 58 = -5*k. Does 10 divide t?
False
Let s(k) = -k**3 - k**2 - 4*k - 1. Let f = -5 + 2. Does 12 divide s(f)?
False
Let k be (128/12)/(1/(-3)). Let a be (k/(-6))/(2/3). Suppose -28 + a = -4*p. Is 5 a factor of p?
True
Let a(i) be the first derivative of -64*i**3/3 + i**2/2 - i + 2. Let g be a(1). Let d = -45 - g. Does 9 divide d?
False
Let n(z) = 78*z**2 - 9*z + 8. Is n(2) a multiple of 28?
False
Let m be (0 - 6)*(36 - 5). Is m/(-18) - 1/3 a multiple of 4?
False
Let i(q) = q**3 + q**2 + q - 1. Suppose -4*x + 2 = -2. Let c be i(x). Suppose u + c = 7. Is u a multiple of 5?
True
Suppose 4*k - 4*h = -0*k - 60, 5*h = -5*k - 35. Let x(i) = 2*i**2 - i. Let z(r) = 6*r**2 - 3*r. Let d(b) = k*x(b) + 4*z(b). Does 11 divide d(-3)?
False
Suppose 3*d - 143 = 61. Is 7 a factor of d?
False
Let y be (-8 + 0)/(3/12). Does 10 divide (30/8)/((-6)/y)?
True
Suppose 3*z - u = 35, -5*z = 2*u - 56 - 6. Is z even?
True
Let a(l) = 7*l - 13. Let r(i) = -3*i + 6. Let b(v) = -4*a(v) - 9*r(v). Does 2 divide b(-4)?
True
Suppose 2*o + 0*o - 4*x - 36 = 0, -2*x + 94 = 3*o. Is o a multiple of 14?
True
Let h(s) = -8*s + 1. Is 4 a factor of h(-2)?
False
Suppose -5*d - 9*p = -14*p - 1755, 3*d = -3*p + 1029. Is 22 a factor of d?
False
Let s be ((-8)/28)/((-2)/14). Suppose -108 = -2*j - s*j. Does 12 divide j?
False
Let j = -70 + 127. Suppose 4*v = -5*i + 253 + j, -3*v - 217 = -4*i. Is i a multiple of 22?
False
Let j be (-4)/24 - 46/12. Does 10 divide 3/(-6) - 74/j?
False
Let i be (3 + -8)*66/(-10). Let u = i - 21. Suppose u = 3*j, 3*h - 24 = h - j. Is 8 a factor of h?
False
Suppose 12 = -3*s + 96. Is s a multiple of 18?
False
Suppose -g + 38 + 22 = 0. Is g a multiple of 14?
False
Let i(w) = 5*w**2 + 6*w + 1. Let k be i(-4). Let d = k + -5. Does 19 divide d?
False
Suppose -72 = 6*k - 2*k. Let x be 14/6 + 6/k. Is 7 a factor of 14*x/2*1?
True
Let a(c) = -c**3 + 7*c**2 + 2*c - 10. Let l be a(7). Let d be 4/((l/1)/2). Suppose 2*n + d*n - 2*z = 98, 5*n = -4*z + 142. Is 13 a factor of n?
True
Let j(m) be the second derivative of -m**8/6720 + m**7/840 - m**6/360 + m**5/40 - m**4/6 + 2*m. Let i(y) be the third derivative of j(y). Is i(2) even?
False
Suppose -387 = -5*c - 2. Is c a multiple of 17?
False
Suppose -4*j - 5*y + 9 = 0, 45 = 5*j + y - 6*y. Does 6 divide j?
True
Let p be ((-24)/(-10))/((-2)/(-55)). Is 2 a factor of (-2)/(-7) - p/(-14)?
False
Suppose -o = o. Suppose o*g = -5*g. Suppose -u - 3*u = 4, g = -l - 4*u + 3. Does 7 divide l?
True
Suppose 2*x - 6 = -118. Let k = -35 - x. Is 7 a factor of k?
True
Let q = -37 + 44. Does 7 divide q?
True
Let a(i) = 2*i**2 - 2*i - 4. Suppose 6*z - 8 = 8*z. Is a(z) a multiple of 18?
True
Is 20 a factor of ((-12)/(-8))/((-2)/(-220))?
False
Let u(q) = -4 + 3*q**2 + q**3 - 3*q + 2*q + q**2 - 4*q. Let s be u(-4). Suppose 122 = 3*x - s. Does 23 divide x?
True
Let k(w) = w**3 + 12*w**2 + 11*w. Let m be k(-11). Suppose -v = -m*v - 22. Is v a multiple of 8?
False
Let s = 387 - 183. Suppose 5*g - 106 - s = 0. Is (-6)/(-2) + -4 + g a multiple of 17?
False
Is 8/40 - (-299)/5 a multiple of 20?
True
Let t = -127 - -223. Does 12 divide t?
True
Let f = 70 - 27. Is 13 a factor of f?
False
Is 18 a factor of 15*(-1)/(1/(-5))?
False
Let n = -30 - -21. Is 14 a factor of (12/1)/((-3)/n)?
False
Suppose 0 = -2*h + 62 + 290. Does 16 divide h?
True
Let u(j) = 8*j**3 + 4*j**2 - 2. Let w(d) = d**3 + d**2. Let z(y) = u(y) - 6*w(y). Let v be z(2). Let l(t) = 5*t + 1. Does 18 divide l(v)?
False
Suppose 6*c - 2*c = 156. Is c a multiple of 12?
False
Suppose 6*f - f - 20 = 0. Suppose -f*t + s = 3*s - 60, -5*s + 30 = 2*t. Does 15 divide t?
True
Let k = -5 - -9. Suppose -65 = -k*s - 17. Does 12 divide s?
True
Let m = -35 + 53. Suppose -f + m = -6. Is 10 a factor of f?
False
Let p = 63 + -42. Suppose p + 23 = 4*v. Is v a multiple of 11?
True
Suppose -4*n - 4 = -6*n. Let w(t) = 2*t - n + 5*t + t. Is w(2) a multiple of 9?
False
Let d be (-10)/30 + (-10)/(-3). Suppose 0*n - z = d*n - 190, 2*n - 4*z = 150. Is n a multiple of 23?
False
Let c = -21 + 21. Suppose -g + 20 = -c*g. Does 7 divide g?
False
Let l be 623/(-9) - (-8)/36. Let j = -46 - l. Does 6 divide j/2 + 3/6?
True
Let c = -16 - -25. Let i = -2 - -5. Suppose -c = d + 3*k - 29, i*d - 46 = -2*k. Is d a multiple of 7?
True
Let s be 