3?
True
Let i be -11 + 2 + 2 - 2. Let p = -26 - i. Let u = p + 30. Does 6 divide u?
False
Let k = -68 + 185. Does 2 divide k?
False
Let v(q) = q**3 + 4*q**2 - 6*q + 6. Suppose -2*h = -5*h + 90. Suppose 5*y - 3*a = -25, 5*y + 4*a = 5 - h. Does 6 divide v(y)?
False
Suppose 3*v = h + 473, -3*h + v = 247 + 1196. Let s = 682 + h. Does 34 divide s?
False
Let s = 433 + 337. Is 43 a factor of s?
False
Suppose -3180 = 97*q - 107*q. Does 6 divide q?
True
Let k = -204 - -224. Does 10 divide k?
True
Does 23 divide (-1)/(-4) + ((-78903)/44)/(-3)?
True
Let u(h) = -h**3 - 12*h**2 - 11*h + 5. Suppose -21 = 3*v - g + 9, 4*v = 3*g - 35. Let f be u(v). Is 2 a factor of (-4)/10 + 17/f?
False
Suppose r = 6*c - 3*c - 1839, 4*c - 2450 = 2*r. Is 8 a factor of c?
False
Let j(c) be the second derivative of c**5/20 + 19*c**4/12 + 2*c**3 + 11*c**2 + 30*c. Does 12 divide j(-18)?
False
Is 63 a factor of -2 + 1 - (-1835 + 0/5)?
False
Suppose -2*l - 3*p - 77 = 0, 2*p + 35 = -l - 3*p. Is 8 a factor of -1 + -1 + (-5 - l)?
False
Suppose 0 = -2*c - 3*z - 75 + 10, 2*c = -4*z - 62. Let d = 191 + c. Is 14 a factor of d?
True
Let j be 3640/25*(-7 - 3). Let u be 18/4*j/(-24). Suppose 0 = -g - 5, 4*k = -3*g + u. Is k a multiple of 18?
True
Does 3 divide (-17)/((-136)/(-24)) - -1011?
True
Suppose 0 = 2*u + 2*u + 5*z + 339, 5*u + 428 = -2*z. Let s = -25 - u. Is s a multiple of 10?
False
Suppose -2*t + 7*t = -265. Let f = 117 + t. Does 14 divide f?
False
Let h = 34 - -24. Let s = -40 + h. Is 6 a factor of s?
True
Suppose -u - 4*m = -12, 3*u - 6*m - 6 = -3*m. Suppose -3*s + 7*d + 135 = 2*d, 45 = s - u*d. Does 9 divide s?
True
Let r be (-21)/(-4) + (-6)/24. Suppose -12 = 4*g + m, r*g + m + 22 = -2*m. Is 17 a factor of g/(-2*3/204)?
True
Suppose -8 = -2*t + 16. Suppose -5*p = -0*n - 2*n - 88, n - t = -p. Does 4 divide p?
True
Let a = 2 + 1. Suppose a*h + 15 = 3. Let j(o) = o**2 - o + 2. Does 22 divide j(h)?
True
Let s(i) = 3*i + 32. Suppose z = 10 - 20. Let v be s(z). Suppose 4*p + 81 = 5*d, v*p - 5*p - 38 = -2*d. Is 3 a factor of d?
False
Suppose 22*s = 43701 + 9473. Is s a multiple of 10?
False
Let a be -3*((-4)/8 + 7/(-6)). Let q(o) = 3*o**3 - 6*o**2 + 12*o - 14. Is 20 a factor of q(a)?
False
Let z be ((-856)/(-20))/((-4)/20). Let m = 494 + z. Is m a multiple of 41?
False
Is 35*9 - 0 - 5/5 a multiple of 32?
False
Suppose -3*i - 2*y + 523 = 0, 5*i - 2*y + 157 = 1002. Is 11 a factor of i?
False
Let y(x) = -5*x + 74. Is 22 a factor of y(-16)?
True
Let f be (477/12)/((-9)/(-12)). Suppose 7 = 5*k - f. Does 3 divide k?
True
Suppose 0 = -m - m, -4*m - 6 = -l. Suppose 3*h - 55 = 4*v + 1, l = -3*v. Is h a multiple of 3?
False
Let w = 667 - 178. Suppose 2*t + 2*t - 474 = 2*y, 4*t + 3*y - w = 0. Is t a multiple of 6?
True
Let z be (-54)/4*(-3 + 2/6). Suppose g + 3*s + s - z = 0, 0 = -g - 2*s + 42. Is g a multiple of 4?
True
Let l(x) = -23*x**2 + 2*x - 2. Let d(j) be the third derivative of 17*j**5/30 - j**4/8 + j**3/2 + j**2. Let p(y) = -5*d(y) - 8*l(y). Does 9 divide p(1)?
False
Let r(h) = h. Let k(t) = t**3 + 6*t**2 - 10*t - 1. Let g(l) = -k(l) + 4*r(l). Is 17 a factor of g(-8)?
True
Suppose 22*l - 31*l + 18 = 0. Suppose l*n + 4 - 42 = 0. Is 9 a factor of n?
False
Let v = 118 - 121. Is 21 a factor of v/(-2)*-2*(-50)/6?
False
Is (-1874)/(-13) + (-62)/403 a multiple of 6?
True
Let x = -2 - -78. Does 34 divide x?
False
Let k = 0 + 1. Suppose k = 6*b - 7*b. Does 8 divide 7/(-14)*72/b?
False
Let z(w) = w**3 - 6*w + 3. Let b be z(4). Suppose -3*j + 15 = 0, l + j - 82 - b = 0. Is l a multiple of 33?
False
Suppose -17 = 4*h - 157. Is h a multiple of 29?
False
Suppose -29*c + 19757 + 2283 = 0. Is 38 a factor of c?
True
Suppose 0 = -5*k - 3 + 23. Suppose 0 = k*x - 2*x - 98. Is 20 a factor of x?
False
Let m(s) = -s + 4. Let n be m(5). Is (-642)/(-9) - (n + (-1)/(-3)) a multiple of 9?
True
Let a = 313 + -162. Suppose -154*j + 93 = -a*j. Is j a multiple of 3?
False
Suppose -3*h + 298 = -0*b - b, 2*b = 2*h - 204. Does 7 divide h?
True
Suppose 0 = -5*b - 138 + 478. Suppose 57 + b = 5*g. Is g a multiple of 13?
False
Let z(l) = 2*l**2 - 3*l + 4. Let u be z(-8). Is u/36*1*3 a multiple of 13?
True
Let g be 15/6 - 7/2. Let q(j) = 20*j**2 - 7*j - 8. Is q(g) a multiple of 3?
False
Let y = 132 + -44. Is y a multiple of 9?
False
Suppose -2514 = -19*l + 13*l. Does 22 divide l?
False
Let r(o) be the third derivative of o**4/2 - 2*o**3/3 - 10*o**2 + 2. Does 19 divide r(13)?
True
Does 10 divide (1070/8)/(20/80)?
False
Let b be ((-2)/(-4)*-14)/(9 + -8). Does 13 divide 8 + b + (-2 - (-2 + -77))?
True
Suppose 2*l - 8481 = i, 14*l + i = 13*l + 4236. Does 10 divide l?
False
Suppose 5*g - 10 = 3*g. Suppose -g*p = -3*p - 26. Suppose 2*n + p - 51 = 0. Is n a multiple of 19?
True
Let l = -98 + 64. Let m be (-2)/3 - 197/(-3). Is 26 a factor of l/85*(0 - m)?
True
Let j be (-2 - -3)*(0 + 305). Suppose r + 4*a = 5*r - 8, -4*r - a = -28. Suppose -r*d + 55 = -j. Is d a multiple of 30?
True
Does 63 divide (2646/(-56))/((-2)/88)?
True
Suppose -o = -2*h - 26, o + 5*h = 4*o - 75. Suppose 0 = -5*d - o, 4*d = -3*w - d + 259. Does 31 divide w?
True
Let g be ((-24)/9)/(3/36). Let j = -28 - g. Suppose -j*b = 10 - 26. Does 4 divide b?
True
Let j(p) = -3*p + 51. Let t be j(17). Suppose t = -4*d - 4*r + 3*r + 68, 4*d - 44 = 5*r. Does 6 divide d?
False
Let z(n) = -n**2 - 9*n + 5. Does 23 divide z(-6)?
True
Suppose -2*p - 40 = -5*m - 0*p, 2*p = -2*m + 2. Let x(z) = 17 - m*z + 4*z + z. Is x(8) a multiple of 9?
True
Let j(d) be the second derivative of -31*d**3/6 - 7*d**2/2 - 14*d. Let m be j(-2). Let w = m - -19. Is 24 a factor of w?
False
Suppose 7*l + 16608 = 3*h + 10*l, 0 = -3*h + l + 16600. Is h a multiple of 26?
False
Does 26 divide 26*((-238)/(-15) + 10/75)?
True
Let s(q) = q**3 + 8*q**2 + 11*q + 9. Let p be s(-7). Suppose 2*g + 87 = 6*g + 3*y, -2*g + 45 = y. Let k = p + g. Is k a multiple of 5?
True
Suppose 0 = -3*p - 3*o - 81, 3*p + 3*o + 105 = 8*o. Let z = 56 + p. Does 4 divide z?
False
Suppose 2*b - 1210 = -5*u, -b - 8*u = -4*u - 608. Does 12 divide b?
True
Suppose -2*t - q + 271 = 2*q, 5*q = -25. Is -2 + t + 4 + 5 a multiple of 25?
True
Suppose -8317*h + 8324*h = 1176. Is h a multiple of 24?
True
Suppose 4*h - 902 + 82 = 0. Is 32 a factor of h?
False
Let d(z) = -z**2 + 8*z - 3. Let j be d(7). Let b(p) = -p**3 + 6*p**2 - 5*p. Is 12 a factor of b(j)?
True
Suppose -16*t = 2693 - 15237. Does 11 divide t?
False
Let a = -1 - 3. Let s be 20/(-70) - a/14. Suppose 4*b = s, 4*j + 3*b + b = 148. Is 17 a factor of j?
False
Let h(k) = 5*k**2 - k. Let d be h(1). Let p be 1/d*4 - 4. Does 15 divide p - (4 - 4 - 78)?
True
Let k = -64 - -30. Let r = -4 - k. Does 33 divide 0 - (-3 - r - 0)?
True
Let j(a) = 11*a - 5. Let p(x) = x**2 - 3*x + 7. Let g be p(0). Is 12 a factor of j(g)?
True
Let z(s) = 10*s + 29. Let i be z(-16). Let y = i - -214. Is y a multiple of 24?
False
Let s(z) = -z - 1. Let m(a) = -22*a + 8. Let k(d) = m(d) + 6*s(d). Does 34 divide k(-6)?
True
Let l be 7/((-2)/(-4)*-2). Let p(j) = j**2 + 8*j + 8. Let r be p(l). Is 10 a factor of (-35)/10*(-13 + r)?
False
Let h(a) = a**3 - 3*a**2 - 1. Let v be h(7). Suppose -6*q - v = -11*q. Is 3 a factor of 279/q + (-4)/26?
False
Is 35 a factor of (3 - 2)/(8*(-12)/(-23520))?
True
Let u be (-2)/4*(-3 + 3). Let b be 1 + u + (4 - 0). Suppose 140 = -0*o + b*o. Is 7 a factor of o?
True
Suppose -5*h + 2 = -23, -3187 = -2*f + h. Is f a multiple of 84?
True
Suppose 5*t - 475 = 1165. Suppose -t = -23*s + 27*s. Is 17 a factor of 0 - (-1 - (4 - s))?
False
Let x(p) be the second derivative of -7/2*p**3 + 5*p + 0 + 0*p**2. Is 17 a factor of x(-3)?
False
Let i = -743 + 1403. Does 6 divide i?
True
Let k(q) = -7*q**3 + 17*q**2 + 5*q + 24. Let y(l) = 6*l**3 - 17*l**2 - 4*l - 24. Let o(x) = -5*k(x) - 6*y(x). Is 2 a factor of o(17)?
False
Let d = -1121 - -1646. Does 15 divide d?
True
Let y(t) = t**2 + 5*t - 6. Let p be y(-8). Let i = p - -90. Does 27 divide i?
True
Let a(j) = -3*j - 8. Let g be a(-4). Suppose -386 + 98 = -g*b. Does 18 divide b?
True
Let a be 1 + 2 + (0 - 0). Is (-10)/30 - (-127)/a a multiple of 7?
True
Suppose 3*f + 9 - 3 = 0, 0 = g - f - 86. Is 57 a factor of g?
False
Let z(u) = u**3 + 20*u**2 + 2*u + 27. Let q be z(-20). Let v = 40 + q. Suppose v = 2*s + s. Does 7 divide s?
False
Suppose -3*l + 29363 = 5