)/(-3))/((-21)/j)?
True
Let j = 30 - 30. Suppose j = 2*v - 125 - 395. Suppose 21*n - 17*n - v = 0. Is 13 a factor of n?
True
Let g be 1 - 0 - (1 - 8798). Suppose 0 = -20*l + 5202 + g. Is 20 a factor of l?
True
Let w(d) = 603*d**2 + 5*d - 6. Let y be w(1). Suppose 5*t - y - 238 = 0. Suppose -98 - t = -7*r. Is 3 a factor of r?
False
Let k = 330 + -280. Suppose 59*u = k*u + 4743. Is u a multiple of 17?
True
Suppose -3*w = -5*w. Suppose 5*p - 11 - 9 = w. Suppose 5*g - 3*b = 415, 4*g + p*b = 197 + 167. Does 13 divide g?
False
Suppose 0 = -75*g + 7*g - 89*g + 6119860. Is 12 a factor of g?
False
Let o = -8738 + 24103. Is 54 a factor of o?
False
Let c(u) = 18969*u - 934. Does 69 divide c(1)?
False
Let k(a) = 2*a**3 + 22*a**2 - 88*a + 64. Is 24 a factor of k(13)?
True
Suppose 0 = 10*q + 2*q - 36. Suppose -w + 6*w = -3*o + 465, w - 453 = -q*o. Let n = -89 + o. Does 20 divide n?
False
Let n(a) = -a - 19. Let m be (1 - 6/2)/((-18)/(-45)). Let h be n(m). Let f(d) = -2*d - 19. Is 2 a factor of f(h)?
False
Let a be (-1 + -1 + 1)/(3/(-96)). Let c = a - -196. Let b = c + -48. Is b a multiple of 30?
True
Let t(x) = 2*x**2 - 8*x - 6. Let d be t(5). Let i(s) = 28*s + d - 13 + 5. Is 11 a factor of i(2)?
False
Let o = -52 - -26. Let z = 28 + o. Is 29 a factor of z + -3 + -3 + 33?
True
Suppose -3*d + 4*y = 6*y - 32024, 9*y = -d + 10708. Is d a multiple of 16?
True
Suppose 0 = -2*m - q + 14944, -2*m + 243*q = 248*q - 14960. Is m a multiple of 45?
True
Is 7424886/2346 + 2/23 a multiple of 4?
False
Suppose 3*q = 2*z + 28, 2*z + 0*z + 10 = 0. Suppose 3*x + u - 24 = 0, -3*x + 6*x - 2*u = 24. Suppose -5*g - 49 = -5*o + q, -2*o = 4*g + x. Is o a multiple of 6?
True
Suppose -5 + 37 = 2*m. Suppose -6*z + 2*z = m. Is 38 a factor of z/2 - (-42 + -7)?
False
Let k(x) = 20*x**2 - 372*x - 312. Does 24 divide k(38)?
False
Let d be (3/(-6))/((-5)/30). Suppose a - 5*a + 2728 = z, -d*a + 2029 = 5*z. Suppose -9*u + 667 = -a. Is u a multiple of 23?
False
Suppose -12 = 3*y, -19 = -t + 2*y - 4*y. Is (-3 - (-201)/(-9))*t/(-6) a multiple of 12?
False
Let q = -71 + 64. Let y(s) = s**2 - 7*s - 29. Let b be y(q). Suppose h - b - 18 = 0. Does 29 divide h?
True
Does 5 divide 506/69*1515/10?
False
Let o(a) = a**3 + 25*a**2 + 21*a + 266. Is o(-24) a multiple of 23?
False
Suppose 0 = -4*n + 5*n - 2*z + 8, 5*z = 25. Suppose 3*r = n*p - 1190, -12*p - 1774 = -15*p - r. Does 12 divide p?
False
Suppose -8*v = 2457 - 7321. Let z = 1015 - v. Is 22 a factor of z?
False
Let m be 36*((-102)/(-18) + 6). Suppose i + 97 = -3*u + 507, -i = -2*u - m. Does 32 divide i?
True
Let p(a) = 2*a**2 + 54*a + 1030. Does 8 divide p(-39)?
False
Let i = -15363 + 21624. Does 315 divide i?
False
Let l(s) = -3*s + 59. Let o be (5 + (-3 - 3))/(1/(-21)). Let w be l(o). Does 3 divide -134*(4 - 2)/w?
False
Suppose -5*v - 2*q = -85, -3*q + 20 = q. Let h(k) = -10 + 9*k + 16*k**2 - v*k**2 - 2*k. Does 4 divide h(4)?
False
Suppose 0 - 3 = d, -d = 2*v - 21. Is v*(-1689)/(-63) + (-2)/(-7) a multiple of 14?
True
Let k be 20/20*(0 - (-1 + 1)). Suppose k = -24*p + 15*p + 1548. Is 14 a factor of p?
False
Let c be 9 + 4/(-6) + 10/6. Suppose -410 = -c*p + 12*p. Let j = -129 - p. Is j a multiple of 9?
False
Let y(z) = -18*z**2 + 9*z + 18. Let p(j) = -27*j**2 + 16*j + 27. Let q(f) = 5*p(f) - 8*y(f). Is 3 a factor of q(-5)?
False
Is ((-26)/4)/(67/(-268)) a multiple of 3?
False
Suppose 0 = -5*z - 4*i + 26, i = 3*z - 6*z + 10. Suppose 3*y = -z*q + 259, -q + 85 = y + q. Suppose 2*k = -y + 345. Does 35 divide k?
False
Suppose 2*d = 3*l + 13 - 3, -5*l - d = -5. Let c(w) = -w**3 + w**2 - 3*w + 7. Let f be c(l). Does 24 divide -122*(f + -5)/(0 - 2)?
False
Suppose 2*n + 2*t = 52 + 8, 5*n - 132 = 4*t. Does 16 divide (-220)/5*(0 - 49/n)?
False
Suppose 2*p + 5*m = -100, 4*p - 4*m - 6 = -150. Is (-14715)/p - 2/(-16) a multiple of 23?
True
Suppose 13 - 1 = -o - 4*w, -4*o - 5*w - 37 = 0. Let m be -6*((-36)/o)/3. Let g(n) = -n**3 - 7*n**2 + 8*n - 4. Is g(m) a multiple of 17?
False
Let h = -46 + 48. Suppose h*p - 3*v = 16, -6 = -p + v - 0. Suppose 3*z + 120 = 3*r, -p*z - 27 - 11 = -r. Is 14 a factor of r?
True
Let m = 10907 - 7991. Does 81 divide m?
True
Let r(f) = -29*f**3 + f**2 + 69*f + 415. Is r(-6) a multiple of 30?
False
Let u(z) = -6 - 7 - 1 + 6*z**3 + 12*z + 14 - 6*z**2. Does 18 divide u(5)?
False
Let i = 297 + -290. Suppose i*d - 105 = -0*d. Is 5 a factor of d?
True
Let v(m) = m**3 + 3*m**2 + 2*m + 4. Let t be v(-3). Let i be (164/14 + (-10)/(-35))/(-1). Does 12 divide ((-129)/t)/(i/(-16))?
False
Let t(l) = 8*l - 4*l + 4*l - 7 + 3*l. Let c be t(-1). Let m(a) = -17*a - 23. Does 50 divide m(c)?
False
Let i = 79 - 79. Suppose -13*u + 61 + 121 = i. Is u even?
True
Let d = -175 + 181. Suppose -d*b - 1584 = -18*b. Is b a multiple of 22?
True
Suppose -3*p = 9*p + 420. Let m be (-12)/(-5) - (-14)/p. Suppose -m*q + 13*q = 1969. Is 48 a factor of q?
False
Let k(g) = -g + 17. Let t be k(9). Suppose 15*a - 26*a = 22. Is 11 a factor of 588/t + a/(-4)?
False
Let s(g) = 348*g**3 + 31*g**2 - 15*g + 50. Is 88 a factor of s(3)?
True
Let c(s) = -4*s**3 - 5*s**2 - 98*s - 483. Does 25 divide c(-6)?
False
Suppose 3 = 4*r + q, 0 = q + 4*q - 15. Suppose 5*m + r = 4*i + 4, -3*i = m - 16. Does 6 divide 173/i + 2 - 33/(-44)?
False
Suppose -3*q + 2*d + 752 = 0, -2*d + d = 5*q - 1236. Let c = -144 + q. Is 29 a factor of c?
False
Suppose 161*n = 166*n - k - 58857, 4*k + 11760 = n. Is 16 a factor of n?
False
Suppose 145*r - 140*r = 15. Suppose -10 = -5*m, -x = m - r - 15. Let c(l) = -l**2 + 19*l - 14. Is 5 a factor of c(x)?
False
Let i = -2034 + 5359. Suppose -188*d + 183*d + i = 0. Is 50 a factor of d?
False
Is 29 a factor of (-12335)/(-40) - ((-22)/(-144) - 156/(-702))?
False
Suppose -82*w + 92*w = 5677 + 3813. Is 7 a factor of w?
False
Let x(k) be the first derivative of -2*k**3/3 + 43*k**2/2 - 117*k + 168. Does 36 divide x(17)?
True
Suppose -2*g = 5*l - 1095, l + 7*g = 12*g + 246. Suppose -4*a - 4 = -0, n = -3*a + l. Is 14 a factor of n?
True
Let v = 7810 + 8772. Is v a multiple of 5?
False
Suppose -3*r = 3*m - 21186, -4*m + 21187 = 9*r - 6*r. Does 78 divide r?
False
Suppose 41*g - 58*g + 17986 = 0. Is g a multiple of 46?
True
Suppose -432*s + 446*s = 37492. Does 13 divide s?
True
Suppose 0*g = -4*g + 4*c, 2*c = 8. Suppose n - g*n + 4*t = -91, 5*n - 3*t = 159. Is n a multiple of 3?
True
Let n(l) be the first derivative of l**4/12 - 10*l**3/3 - 7*l**2/2 - 39*l + 7. Let g(k) be the first derivative of n(k). Does 3 divide g(21)?
False
Let z(f) = 263*f**3 + 16*f. Is 176 a factor of z(4)?
True
Suppose -32*w + 45605 = 46620 - 93047. Is 4 a factor of w?
True
Let y(v) be the third derivative of v**6/120 - v**5/12 - v**4/24 + 7*v**3/6 + 41*v**2. Let j be y(5). Suppose -6*w + 416 = -j*w. Is 32 a factor of w?
False
Let n = 7651 + -5977. Is 27 a factor of n?
True
Let j(i) = -i**3 - 6*i**2 - 6*i - 10. Let v = 49 + -30. Let d = 12 - v. Is j(d) a multiple of 27?
True
Let f(a) = 14*a**3 + 8*a**2 - 26*a + 80. Is f(5) a multiple of 5?
True
Let k = 7523 - -4875. Is 25 a factor of k?
False
Let i(d) = 8*d**2 - 18*d - 4. Suppose -6*v = -9 + 45. Is i(v) a multiple of 14?
True
Let d = 623 - 620. Let i(x) = 84*x**2 - 65*x + 198. Is 33 a factor of i(d)?
True
Suppose 5*f - 3*o = 12342, -8*f = -3*f - 7*o - 12338. Is f a multiple of 9?
False
Suppose -11*p - 2779 = -12*p. Suppose 0 = 5*i - p - 1061. Does 12 divide i?
True
Suppose 4*f = j - 18, 0 = 4*j - f + 16 - 88. Suppose 0*l = -l + j. Suppose -4*k = -y - 124, 3*k = -y + 118 - l. Is 4 a factor of k?
True
Let k(s) = s**3 + 6*s**2 - 74*s - 1. Let v be k(-12). Suppose -61 = -l + p, 307 = 5*l + v*p - 26*p. Is l a multiple of 2?
True
Let w(f) = 11803*f**2 - 5*f - 4. Is 13 a factor of w(-1)?
True
Suppose -3*i + 87787 = -5*n, -n = -3*i + 3*n + 87785. Is 94 a factor of i?
False
Suppose 113 = -3*c - 3*s - 178, -4*c - 381 = -3*s. Is 42 a factor of 47238/38 - c/(-912)?
False
Suppose 33 = 4*r + 61, -2*x - 2*r + 46164 = 0. Is 399 a factor of x?
False
Let z(x) = 76*x + 169. Let d be z(-11). Let i = 669 + d. Is i a multiple of 2?
True
Suppose -4*b + 15 = 3*u, -30 = 3*b - 6*b + 4*u. Suppose 0 = 5*y + 4*q - 800, q = b*q - 25. Is y a multiple of 20?
False
Suppose 10*k + 5*w - 24062 = 6*k, -4*w = 3*k - 18047. Does 12 divide k?
False
Does 6 divide 12508/583*341/2?
False
Is 