14928 = 72*i. Does 6 divide i?
True
Let p be (-1977)/(-9) + -4*3/18. Let k = p - 145. Suppose 80*b = k*b + 726. Is 11 a factor of b?
True
Suppose -76970 - 14758 = 17*l - 33*l. Is l a multiple of 5?
False
Suppose -8*t - 12 = -5*t, 2*t = -3*s + 16342. Is 5 a factor of s?
True
Let y = 2 + -81. Let s = -76 - y. Let k(d) = 9*d**2 + 4*d - 7. Does 19 divide k(s)?
False
Suppose -4*k - 3*f = -47, k + 10 - 26 = -5*f. Let r(h) = 122*h**2 - h + 1. Let d be r(1). Suppose -3*c = 2*w + k - d, 2*c - 226 = -4*w. Does 8 divide w?
False
Suppose 3*x = 2*k - 1 - 10, 0 = x + 2*k - 7. Let y = x - -547. Does 16 divide y?
False
Let t = -105 - -115. Is 7 a factor of 1474/10 - t/25?
True
Suppose 9*q - 22*q - 8127 = -16*q. Does 63 divide q?
True
Suppose 0 = 13*k - 9 - 56. Let b be (-1)/k + 44/20. Suppose s - 40 = 2*q, 3*q + 78 = b*s - 0*q. Is s a multiple of 5?
False
Is 34 a factor of (-50)/(-5) - 15 - 5946/(-6)?
True
Suppose -34*q - 42*q = -62*q - 2142. Does 17 divide q?
True
Does 3 divide ((-6)/15)/((-35)/350)?
False
Is (1892/(-176))/((-1)/4304) + (2 - 4) a multiple of 239?
False
Let h(n) = n**3 - 10*n**2 + 44*n - 16. Let c be h(13). Let u = 1809 - c. Does 10 divide u?
False
Let f(j) = j**3 - 9*j**2 + 8*j - 1. Let s be f(8). Is (10/3)/s*(3 - 21) a multiple of 10?
True
Suppose -4*n = -u + 166 - 1195, 4*n - 5*u - 1017 = 0. Suppose -2*v = 2*i - 129 - 167, -444 = -3*i - 5*v. Let f = n - i. Does 11 divide f?
True
Suppose -10*g = 23*g - 996 - 71175. Is 6 a factor of g?
False
Suppose -2*f - 2*d = -6*d, 2*d = 0. Let b(x) be the first derivative of -x**3/3 + x**2/2 + 93*x - 4. Does 31 divide b(f)?
True
Let c(w) be the third derivative of -w**4/3 + 31*w**3/3 - 112*w**2. Is c(-2) a multiple of 26?
True
Let q(l) be the third derivative of -l**5/60 + 3*l**4/8 + 9*l**3 - 50*l**2. Is q(12) a multiple of 2?
True
Let m = 52433 - 27940. Is m a multiple of 10?
False
Is 3/2*(-1 + 1 - 4) - -1946 a multiple of 33?
False
Let h(g) = -2*g**3 - 12*g**2 + g + 6. Let b be h(-6). Is 1*(-1890)/(b + -5) a multiple of 63?
True
Let u(p) = p**2 - 14*p - 42. Let v(j) = -5*j**2 + 70*j + 212. Let h(w) = -11*u(w) - 2*v(w). Does 2 divide h(16)?
True
Suppose 4*q - 5*q + 1 = y, 3*q = 5*y + 35. Suppose -o + q*o + 128 = 0. Is o/(-5)*10*(-2)/(-8) a multiple of 4?
True
Suppose 233 - 221 = 4*l. Is 52 a factor of (116/5)/(18/135*l)?
False
Is 66360/6 - 1098/61 a multiple of 11?
False
Let l = -2544 - -2899. Does 31 divide l?
False
Is (-134)/67*8/2 - -1600 a multiple of 12?
False
Suppose 0 = -4*z - r + 57345, 36486 = -6*z + 5*r + 122549. Is z a multiple of 214?
True
Suppose -32*f = 17276 - 105660. Suppose 16*t - f = -714. Is t a multiple of 10?
False
Let z = 167 + 816. Let x be z/(-3) - ((-24)/9 - -2). Does 23 divide (3 - x/(-12))*(0 - 4)?
False
Let a = -23 - -33. Let c(i) = i - 42 - 27 + 108 - 27. Is c(a) a multiple of 3?
False
Let i = 704 - 305. Is i a multiple of 21?
True
Let p be 2601 - (-5 + 2)*(-1)/(-3). Suppose p = 70*u + 922. Is u a multiple of 24?
True
Suppose 67*f = 76*f - 1512. Suppose k = -k + f. Is 21 a factor of k?
True
Let w(l) = -l**2 - 4*l - 15. Let j be w(-6). Let i be (-9)/j - (-704)/3. Let f = i - 166. Does 16 divide f?
False
Let z(v) = 2 + 0 + 13 + 4*v + 26. Let a be (-147)/(-98) - (-38)/(-4). Is 3 a factor of z(a)?
True
Let d be ((-5)/15)/(2/18). Let j(r) = -18*r + 3. Let c be j(d). Suppose 3*y = 5*n - 135, -3*n - y = 2*y - c. Is 8 a factor of n?
True
Suppose -4*x + 2*b - 7*b - 5 = 0, 5*x - 5*b = 50. Let z(o) = 204*o - 4079. Let i be z(26). Suppose 5*p - i = -5*y, x*p = -y - 2*y + 1225. Is p a multiple of 49?
True
Let s(x) be the first derivative of 307*x**2/2 + 61*x + 25. Is s(2) a multiple of 28?
False
Suppose 25*i - 30718 = 3832. Is 11 a factor of i?
False
Let x be (9/(-27))/((-3)/9). Let v(r) = 55*r**2 + 5*r - 3. Is v(x) a multiple of 12?
False
Suppose -q - 5*c + 9 = 0, 3*q - c - 10 = c. Suppose u = -5*j + 96, -q*j + 102 = u - 5*j. Suppose 0 = 3*s - u - 46. Does 6 divide s?
False
Suppose 70*z + 44*z + 74968 = 3577618. Does 25 divide z?
True
Suppose -7 = -w - 2*t, -3*t - 15 - 24 = -4*w. Suppose -2*q - w*q + 5742 = 0. Is q a multiple of 58?
True
Suppose 4*g + 9 = l, 5*l = -6*g + 10*g + 29. Is 65 a factor of 2*g/17 - (-19998)/51?
False
Let z = -3077 - -11914. Is z a multiple of 51?
False
Let p be (1 + 2/3)*(2 - 11). Let o(m) = m**2 - m + 1. Let i(q) = 2*q**2 - 25*q. Let w(c) = i(c) - 3*o(c). Does 17 divide w(p)?
True
Let y(l) = -l**3 - 6*l**2 + 2*l - 10. Let t = 35 + -39. Let z be (-34)/6 + t/3. Does 2 divide y(z)?
False
Let f = 82 - 220. Let v = -60 - f. Suppose -2*q - 8 = 0, h + 3*q + v = 3*h. Does 11 divide h?
True
Suppose 0 = -6*z + z + y + 15, 2*z - 9 = y. Suppose z*c - 7*c - 165 = 0. Let v = c - -53. Is v even?
True
Let c be ((-2388)/14)/((-46)/(-322)). Let j = 1722 + c. Is 12 a factor of j?
True
Let f be (3 + (-175)/49)/(2/(-7)). Let a(o) = 3*o**3 - 2*o**2 + 3*o + 6. Let d(g) = g**3 - g**2 + g + 1. Let r(b) = f*d(b) - a(b). Is r(-4) a multiple of 8?
True
Suppose 7*x = -187 - 8395. Let f = x + 1786. Is f a multiple of 40?
True
Suppose 17*r - 29576 + 5363 = 21772. Does 5 divide r?
True
Suppose s + 607 = 4*u, -9*u = -4*u - 5*s - 755. Suppose u + 28 = 6*x. Is x a multiple of 8?
False
Let k = 44289 + -22481. Is 94 a factor of k?
True
Let m(y) = 2141*y + 78. Is m(3) a multiple of 11?
True
Suppose -3*i - 152 + 158 = 0. Suppose -i*g - 2*g + 590 = 2*v, -g - 1420 = -5*v. Does 15 divide v?
True
Suppose -14*g + 10*g = -2244. Suppose g = -2*y + 6*y - 3*b, -y + 3*b = -138. Does 28 divide (-7)/35 - y*1/(-5)?
True
Let z = -272 - 248. Let r = -9 - z. Is r a multiple of 25?
False
Let a be (7/((-28)/(-40)))/2. Suppose -32 = -a*q + 23. Is q*((-1)/(-2))/((-2)/(-44)) a multiple of 19?
False
Let x = -45 - -43. Let i be (-1 + x)*1/(12/484). Does 30 divide (-5)/(5/i) - 1?
True
Let a(c) be the first derivative of c**3/3 + 23*c**2/2 + 48*c + 12. Let i(w) = w**2 - 19*w - 6. Let m be i(18). Is a(m) a multiple of 48?
False
Suppose 5*c + 332 = 3*z - 65, 241 = -3*c - z. Is 41/((c/136)/(-10)) a multiple of 41?
True
Suppose 6*d = 89 - 71. Suppose d*h - 417 = m - 4*m, 4*h - 572 = 4*m. Is 27 a factor of h?
False
Suppose -3*z = -b - 502, 0 = 2*z + b + 39 - 377. Is 15 a factor of 40/6*z/10?
False
Let z(l) = -8 + l - 3*l + 1 + 0*l. Let o be z(5). Let y = o - -67. Is 9 a factor of y?
False
Suppose 0 = -2*x - 50 + 848. Let m = x + -167. Does 29 divide m?
True
Let p(c) be the first derivative of 3*c**2 + 4*c + 8. Let i = -185 + 188. Is p(i) a multiple of 12?
False
Let a(c) = -1474*c - 112. Does 7 divide a(-3)?
False
Let a(t) = 6*t - 12. Let c be a(7). Suppose -4*b - c = 2*b. Is 151*1 + (-3 - b) a multiple of 17?
True
Let p(s) be the first derivative of 26*s**2 - 5*s + 1014. Suppose -r - 3*r + 6 = -w, 3*r - 16 = -5*w. Does 33 divide p(r)?
True
Let i(l) = 2*l**2 + 4*l - 2. Let c be i(1). Suppose 0*y = -c*y + 336. Does 12 divide y?
True
Suppose 3*q = 4*c - 2*c + 74, -5*c - 94 = -4*q. Is 2 a factor of q/(-2)*-6 - (-1)/(-1)?
False
Let k be 2/6 - (-51620)/174. Let x = -132 + k. Is x a multiple of 11?
True
Is 24 a factor of (36/(-42))/((-33)/(-308)) + 12650?
False
Let h = -9933 - -14341. Is 76 a factor of h?
True
Suppose -b - 12116 = -5*q, 3*q + 2144 - 9408 = 2*b. Does 24 divide q?
True
Suppose 42 - 18 = 3*q. Is q*54/3 + 3 a multiple of 21?
True
Suppose -5*s = 16 + 4, 3*s = 5*g + 2183. Let j be 1*(2 + -3) - g - -3. Suppose 496 = 4*y + 4*x, -3*y + j = x + 77. Does 17 divide y?
False
Let m = -97 + 168. Let p = m + -86. Let n = p + 33. Is n a multiple of 9?
True
Suppose 2*l - l - 1 = d, -3*l + 33 = 3*d. Let i be (-12)/9 + 74/l. Suppose -639 = -i*b + 626. Is b a multiple of 23?
True
Suppose 5*g = -4*m + m + 37, 3*m - 77 = 5*g. Suppose -25*r + 12 = -m*r. Suppose r*n + 28 - 76 = 0. Is n a multiple of 24?
True
Let x(v) = 6*v - 4. Let p be x(4). Let t be 11/154 + (12/420)/((-4)/290). Is 12 a factor of (p - 1) + 0 + -1 + t?
False
Does 5 divide ((-988)/133 + -24)/(((-12)/434)/3)?
True
Suppose 948071 - 452341 = 105*i - 882815. Is i a multiple of 54?
False
Let d = -194 - -2129. Is d a multiple of 43?
True
Let l = 20220 + -19799. Does 36 divide l?
False
Let i(q) = 5943*q**2 - q - 5. Is 9 a factor of i(1)?
False
Let l = -4023 - -4078. Is 55 a factor of l?
True
Let f be 4/18 + 104/18. Suppose f*s = 4*s + 6. Let j(n) = 4*n**3 - 3*n + 10. Does 8 di