 i?
True
Let x be (-2)/((56/12 + -5)/3). Does 6 divide 4068/96 + x/(-48)?
True
Let o(a) = a + 14. Let y be o(-15). Let j(n) = 3*n**2 - 4*n - 4. Let d be j(y). Suppose -d*z = k - 137, z = -0*z. Is k a multiple of 12?
False
Let f(v) = 22*v + 9*v**2 - 4 + 17*v + 1 + 40*v**2 - 12*v. Is 45 a factor of f(-5)?
False
Let c = -5 + 10. Suppose -c*z - 367 = 623. Let g = -78 - z. Is 15 a factor of g?
True
Let h = -5730 + 6805. Does 16 divide h?
False
Suppose 12946 = 3*p + 4*h, -17189 = -172*p + 168*p + 5*h. Is p a multiple of 78?
False
Let a(b) = -3*b**2 - 25*b + 2. Let p be a(-12). Let r = 209 + p. Is 8 a factor of r?
False
Suppose 3*y + 28*n = 27*n + 42768, -71258 = -5*y + 2*n. Does 68 divide y?
False
Let o(z) be the first derivative of 3*z**2/2 - 3*z - 5. Let n be o(4). Let x = n + 9. Is 6 a factor of x?
True
Let i(v) = -1490*v + 6460. Does 14 divide i(-7)?
False
Let m = -32 - 30. Let y = m - -130. Is y a multiple of 34?
True
Let s(z) be the third derivative of -z**4/24 + 3*z**3/2 + 11*z**2. Let v be s(6). Suppose -a = v*a - 576. Is 36 a factor of a?
True
Suppose b - 2*r + 0 + 6 = 0, 0 = b + 5*r - 8. Let t be (-781)/b*1 - (-11)/(-22). Suppose 12*i - t = 7*i. Does 13 divide i?
True
Let f be 0*(-3 + 4)/1*-1. Suppose -5*b - 10 = f, 4*w - 1322 - 476 = 3*b. Does 40 divide w?
False
Let k = -10 + 13. Let i(q) = 10*q**2 - 15*q + 81. Let o be i(4). Suppose o = k*l + 34. Does 19 divide l?
False
Let k = -154 - -159. Suppose -3*o = -a + 14 + 22, 220 = 5*a - k*o. Is 6 a factor of a?
True
Is (5/(-2))/(2/4*(-2)/802) a multiple of 9?
False
Does 7 divide 9/(-5)*5*555/(-9)?
False
Suppose 16 = -356*s + 358*s, -3*s + 1444 = x. Is x a multiple of 6?
False
Let v(a) = -2*a**3 - 4*a**2 - 4*a - 3. Let w be v(-2). Suppose y - 2*y = -w. Let j(r) = 2*r**2 + r + 7. Is j(y) a multiple of 9?
False
Let i(d) = -161*d + 257. Does 36 divide i(-49)?
False
Let j(i) = i**2 - 17*i - 56. Let o be j(20). Is (-2)/o*(-1345 + -47) a multiple of 24?
True
Suppose 5*x + i + 45412 = 7*x, -x - 4*i + 22715 = 0. Suppose 7*v = -22*v + x. Is v a multiple of 29?
True
Let c = 82 - 79. Suppose 2*n = c*n - 2. Does 3 divide -13*(1/(-2))/(n/4)?
False
Let z(u) = -5*u + 12. Let a(y) = 2*y**2 - 5*y - 4. Let i be a(4). Let k be 4*5*i/(-20). Is z(k) a multiple of 8?
False
Let o = -165 + 170. Suppose 0 = l + o*l - 348. Is l a multiple of 24?
False
Suppose 5*c = -5*o + 75180, -14*o + 4*c = -15*o + 15045. Is o a multiple of 9?
False
Let c = 21995 + -11336. Is 33 a factor of c?
True
Suppose -341 = -2*c - o + 98, 4*c - o = 863. Is c a multiple of 7?
True
Suppose 103*j - 114*j = -319. Suppose -26*u = -j*u + 45. Is u a multiple of 4?
False
Suppose -8*w + 1020 = 4*k - 3*w, 3*k - 2*w = 742. Is k - ((-13 - 0) + 6) a multiple of 4?
False
Let i(c) = -c**3 - c**2 - 2*c - 1. Let f be i(0). Let m be f/(-4) - (-14)/8. Suppose -6*k + 616 = -m*k. Is 22 a factor of k?
True
Let m = -86 + 25. Let f = -57 - m. Suppose f*l - 8 = 12. Does 4 divide l?
False
Suppose 2*l + 52 = -208. Let p = l - -280. Suppose 4*u - 174 = p. Is 27 a factor of u?
True
Let u be ((-5257)/(-14) + 3)*(-1 - -3). Let c = u - -155. Does 57 divide c?
True
Suppose 2*z - 5*h = -25, -3*z - 16 = -2*z + h. Let i = z + 24. Suppose i*y - 3*y = 162. Does 9 divide y?
True
Let n(q) = -2235*q + 24. Let h be n(-2). Suppose 0 = -13*a - 8*a + h. Is a a multiple of 33?
False
Suppose -h + 11298 = -5*z, 4*z + 22572 = -6*h + 8*h. Is 40 a factor of h?
False
Let h(j) = 14*j**2 - 8*j - 6. Let y be h(6). Let p = -125 + y. Does 25 divide p?
True
Let p(w) be the second derivative of w**7/2520 + w**6/144 + w**5/5 - 5*w**4/2 + 29*w. Let j(r) be the third derivative of p(r). Does 25 divide j(-10)?
False
Suppose 2*u - 2*l - 48 = 0, -5*l = 3*u - 126 + 38. Suppose 0 = -u*k + 24*k + 868. Does 11 divide k?
False
Let k be (20/25)/(14/20125). Suppose 4*o - 2*u - k = -428, 0 = -4*u + 12. Is 14 a factor of o?
True
Suppose 2*x + 1252 = 2*l, -2*l - 5*x + 260 = -985. Does 10 divide l?
False
Let l(p) = p**2 - 13*p + 46. Let b be l(6). Suppose -b*w - w = 3*u - 1455, -3*w = 3*u - 879. Is w a multiple of 46?
False
Let x(s) = -s**2 + s + 123. Let i be x(-26). Is 1/(4/(-12)) - i a multiple of 9?
True
Let p(v) = -v**2 - 28*v + 4. Let k be p(-26). Suppose f + 35 = -k. Let b = f + 103. Does 4 divide b?
True
Let m = 42 - 39. Let b = 13 - m. Suppose -b*c + 54 = -9*c. Does 18 divide c?
True
Suppose -2*z - 428 = -6*z. Let m = -4496 + 4496. Suppose m = -6*h + 229 + z. Is h a multiple of 14?
True
Let i = 2612 + -807. Is i a multiple of 19?
True
Let m(z) = 58*z**2 - 4*z + 2. Let u be m(2). Let q = u + -223. Is q a multiple of 3?
True
Let l = 3554 + -2234. Suppose -12*n + 17*n - l = 0. Is 12 a factor of n?
True
Let c be (5/7)/(5*8/280). Suppose 2*k - 893 = -5*u, 4*k + 154 = c*u - 745. Is 6 a factor of u?
False
Suppose 0 = -10*c + 11*c - 190. Suppose y - c = -p, -3*p = 2*p + 3*y - 942. Let a = -112 + p. Does 17 divide a?
False
Let a = 1066 - 581. Suppose -651 = 4*u - 3*i, -3*u + 0*i - i - a = 0. Let z = u - -267. Does 35 divide z?
True
Let v(b) = b**3 + 2*b**2 - 3*b - 2. Let s be v(-3). Let t be (-173 - -17)*2/s. Let i = t + -58. Does 15 divide i?
False
Let o be (-4 + -59)*1/(-1). Let v = o + 494. Does 28 divide v?
False
Let b(w) = 3*w - 2. Let d be b(1). Is d*-4 - (7 - 451) a multiple of 20?
True
Suppose 68*g = -63*g + 126*g + 15810. Is g a multiple of 18?
False
Let l(n) = n + 26. Let m be l(10). Let v = 40 - m. Suppose 136 - 40 = v*f. Does 6 divide f?
True
Let t(y) = 1 + 9*y**2 - 10*y - 8*y**2 + 14. Let u be t(19). Let f = u - 18. Does 21 divide f?
True
Suppose 4248 = 6*z + 2*z. Suppose 7*d + 48 - z = 0. Is d a multiple of 7?
False
Does 64 divide 41119 + ((-5984)/(-17))/(-22)?
False
Let c = -3698 - -6533. Suppose -5*a + 285 = -c. Does 17 divide a?
False
Let g be (-6)/4 - (-39)/6. Suppose 5*r + 3*s = -94, 4*r + 2 = g*s - 51. Is (-95)/(r/15 + (-24)/(-180)) a multiple of 19?
True
Let x(p) = 7*p + 6 + 107*p**2 - 107*p**2 - p**3. Let y be x(-7). Suppose 0 = 2*o - 0*o - y. Is 10 a factor of o?
True
Let n = -3 - -10. Let s(o) be the second derivative of o**4/12 - 2*o**3/3 + 7*o**2/2 - 250*o. Does 7 divide s(n)?
True
Let f be ((-1)/((-10)/(-15)))/((-6)/64). Suppose k - f = 7. Let m = k - -154. Is m a multiple of 11?
False
Does 130 divide 10 + (-56)/4 + 10534?
True
Let c = -98 + 128. Let k be (4086/(-30))/((-9)/c). Let d = k + -296. Does 27 divide d?
False
Suppose x + 4*x = -2*r + 201, 0 = -2*r + x + 207. Let s = 184 - r. Is s a multiple of 19?
False
Let z = 9007 - 1819. Is z a multiple of 135?
False
Let r(b) = b**2 + 4*b - 54. Let q be r(6). Does 55 divide 6 + 104/6*q?
True
Let o(z) = -z**2 - 3*z + 524. Let k be o(0). Suppose -3*m + 423 - 141 = 2*w, 0 = -4*w + 4*m + k. Is 15 a factor of w?
True
Is (-86872)/(-12) - 29/87 a multiple of 13?
False
Let d(f) = 3502*f**2 + 8*f + 9. Let v be d(-1). Let h = -2447 + v. Is 48 a factor of h?
True
Let p(v) = v**2 - v - 5. Let f be p(5). Let k = -929 - -947. Is (k/f)/(3/55) a multiple of 4?
False
Does 32 divide 320/(-56) + 6 - (0 - 66354/21)?
False
Suppose 5*d - 2216 = -3*q, 3431 - 1955 = 2*q + 2*d. Is 5 a factor of q?
False
Let n = 79 + -79. Suppose 5*m = 4*v - 134, n*v = -4*v - 2*m + 120. Suppose 2*u - v = -7. Is 3 a factor of u?
True
Let i = -2563 + 3448. Is 5 a factor of i?
True
Suppose 2*u = 65 + 161. Is 19 a factor of 4 + 1 + -4 + u?
True
Let g(q) = 73*q**2 - 6*q + 7. Let m be g(-5). Suppose 15*w - 5713 = m. Does 22 divide w?
False
Let u(q) = -q + 9 + 0*q + 0*q. Let b be u(8). Is (33 - (4 - 8))*b a multiple of 8?
False
Suppose -3*v = 27*v - 4830. Is v a multiple of 13?
False
Suppose -4*p = 2*h - 26288, 171*p - 168*p + h - 19714 = 0. Is 66 a factor of p?
False
Suppose 1 = 3*j + 7. Does 52 divide 4 - (1 + j + -255)?
True
Let u = 261 - 243. Suppose 0 = -5*r + u + 137. Is 31 a factor of r?
True
Let v = 27305 + -25471. Is 8 a factor of v?
False
Let k(b) = 0 + 1 + 18*b + 26*b + 5*b**2 - 40*b. Let w be k(-2). Suppose w = 4*j - 99. Is 2 a factor of j?
True
Let q(v) be the second derivative of -v**5/20 + v**4/2 + v**3/3 - 9*v**2/2 + 10*v. Let g be q(6). Suppose -g*l + 7*l + 2*u = 26, -25 = 5*u. Is 3 a factor of l?
True
Suppose 2*g - 4*h = 17600, -5*g - 759*h + 43952 = -763*h. Is 16 a factor of g?
True
Let q(p) be the third derivative of -p**4/2 - 43*p**3/6 - 108*p**2. Does 7 divide q(-10)?
T