pose 31 - 101 = 5*m. Let k = m + 166. Does 19 divide k?
True
Let m(o) = 6*o**3 - o**2 + o - 1. Let i be m(1). Suppose k + f = -2*f - 6, 3*f = 5*k - 6. Suppose k = -i*h - 0*h + 45. Is 9 a factor of h?
True
Let j(r) = 4*r**2 - 17*r + 36. Is 19 a factor of j(10)?
True
Suppose -3*c - 5*m - 40 = 29, -4*c = -3*m + 121. Let o = -21 - c. Is o a multiple of 5?
False
Suppose 0 = -m - 12 + 15. Let j = 43 + m. Is j a multiple of 23?
True
Let x = 623 + -259. Is x a multiple of 7?
True
Let n(k) = 2*k + 1. Let y be n(2). Suppose -36*t = -37*t + 15. Let o = t + y. Is o a multiple of 10?
True
Let t(r) = -r**2 + 1. Let o be t(-2). Let b be (525/2)/(o/(-4)). Let c = -229 + b. Is c a multiple of 35?
False
Suppose 0 = 5*t - 2*r + 39 + 1, 3*t = r - 24. Let g = t + 38. Is g a multiple of 30?
True
Suppose -50*r + 517 = -83. Is r a multiple of 8?
False
Let q(j) = j**3 + j - 5. Suppose 7 = 5*b - 13. Is q(b) a multiple of 12?
False
Suppose 0 = -5*f + 3*p + 555, 444 = 4*f - 9*p + 5*p. Does 71 divide f?
False
Let g = 25 + -74. Let b = g - -109. Suppose 2*i + i = b. Is 5 a factor of i?
True
Let s be (-1)/((-5)/(-10))*7/(-2). Suppose 4*i = s*i - 207. Is 23 a factor of i?
True
Let m = 92 + -29. Does 5 divide m?
False
Let p(u) = -4*u - 4. Let g be p(-6). Suppose -2*w + g = -6*w. Let c(x) = -13*x - 7. Is 13 a factor of c(w)?
False
Let x be (-3 + 3 - -3) + (-58)/(-1). Suppose -6*a + 209 = -x. Is a a multiple of 5?
True
Let r(f) = 3*f - 20. Let k be r(8). Is 17 a factor of (-10)/(-40) + 475/k?
True
Suppose 0 = 3*s + 1 - 7. Let x be (-10)/s*3/(-15). Is 8 a factor of 4 - 1 - (-6)/x?
False
Let q be (2/2)/((-5)/(-515)). Let u be -1 + -2 + 4 + q. Suppose f - u = -2*f - 5*h, 2*h = -f + 36. Does 10 divide f?
False
Let n be (-4)/14 - 4/14*-197. Let c = 76 - n. Is 4 a factor of c?
True
Let s = 72 + 430. Is s a multiple of 24?
False
Let l be (40/(-90))/(6/(-27)). Let k be 6 - (-2 + (-4)/(-2)). Suppose -l*m + 22 = 3*a, k*m = -a + 3*m - 2. Does 2 divide a?
True
Let j(u) = -u + 31. Let g be j(25). Let n(s) = 20*s - 21. Is n(g) a multiple of 6?
False
Is 58 a factor of ((-747)/(-27) - -2)*(2 + 1)?
False
Let h be 6/(-3) + 3 + 136. Let o = 234 - h. Does 20 divide o?
False
Suppose -2*k - 2 = -2*q, -4*k = -3*k - 4*q + 13. Suppose -8 = -3*c + 10. Is 16 a factor of c/k*(23 + -1)?
False
Let c = 569 + -93. Let k = 686 - c. Is 14 a factor of k?
True
Suppose 10*z = 182 + 118. Let x = 212 + z. Is 11 a factor of x?
True
Let i(x) = 8*x - 6*x + 44 - 3*x. Is 5 a factor of i(6)?
False
Suppose -4*k + 189 = 3*x, -14 = -k + 2*x + 25. Does 5 divide k?
True
Suppose 5*g + w = 6*w + 3100, 3*w = g - 620. Is 10 a factor of g?
True
Let x(d) be the first derivative of 9 - 3/2*d**2 + 7*d. Is x(-7) a multiple of 17?
False
Suppose 1551 = 17*w - 387. Let z = 179 - w. Does 15 divide z?
False
Suppose z + a - 158 = 0, 479 = -z + 4*z + 4*a. Suppose 5*b - 8*b = -z. Suppose b = 3*d + 3*n + n, 2*d = -2*n + 34. Does 5 divide d?
False
Let i(c) = 2*c**2 - 3*c - 5. Is 12 a factor of i(-5)?
True
Let v(p) = -168*p**2 + 11*p + 12. Let s be v(-4). Is 50 a factor of -2 - s/9 - 4/18?
True
Let g(j) = j**2 + 5*j + 3. Let u be g(-5). Suppose 0 = -u*c + 226 + 509. Suppose -5*t + c + 85 = 0. Is 22 a factor of t?
True
Is 11 a factor of (-4)/(-3) + (3094/(-6))/(-1)?
True
Suppose 6981 - 37826 = -31*z. Is z a multiple of 6?
False
Let n(k) be the first derivative of 11*k**2/2 + k - 5. Let y be n(1). Suppose v = -v + y. Is 3 a factor of v?
True
Suppose 7*p - 6*p = -3*y + 1240, 0 = y. Is p a multiple of 10?
True
Let a(h) = -h**2 + 11*h + 5. Let t be a(11). Suppose u = t*g - 312 - 119, 2*g - u = 170. Does 29 divide g?
True
Let u = 21 + -38. Let n = 7 + u. Let f = 22 + n. Is f a multiple of 6?
True
Let i be (-4)/6 + 2/3. Let k = 18 - 18. Suppose -5*d - j = -74, k = d - 2*j - i*j - 6. Is d a multiple of 7?
True
Suppose 5*o + 47 - 217 = 0. Suppose -2*g - 3*x + 16 = -x, -3*x + o = 4*g. Is g a multiple of 3?
False
Suppose 2*y + 4 = 3*y. Let h = y - 5. Does 26 divide (-1)/((-1)/(-26))*h?
True
Let y = -6 - -26. Suppose -26 = -3*k - 6*n + 2*n, -5*k = -4*n + 10. Suppose -2*z - k = -y. Does 3 divide z?
True
Let b(g) = g**3 - 18*g**2 - 65*g - 43. Is b(23) a multiple of 9?
True
Let t(l) = -7*l**3 + 3*l**2 - 5*l - 6. Let n be t(-3). Suppose 0*i - 359 = -5*o + 2*i, -3*o + n = 2*i. Does 11 divide o?
False
Let u(x) = -x**3 + 14*x**2 - 19*x + 21. Does 10 divide u(12)?
False
Let q = 30 + -20. Let y(c) = -c**3 + 9*c**2 + 10*c + 2. Let p be y(q). Suppose p*i + 2*d = d + 127, 4*i - d = 245. Does 13 divide i?
False
Suppose 2*l = -y + 1416, y - 4232 = -2*y + 2*l. Does 16 divide y?
False
Suppose 0 = -4*q + 4*h + 1108, 5*q - 1376 = -4*h - 0*h. Is 69 a factor of q?
True
Let u be (736/(-80))/((-2)/60). Does 23 divide (20/(-6))/(-2 + 544/u)?
True
Let u(r) = r**3 - 10*r**2 - 19*r + 50. Let g(m) = m**3 - 14*m**2 - 13*m - 18. Let n be g(15). Is u(n) a multiple of 11?
True
Let h(m) = m**2 + 9*m + 10. Let g be 6/((-13)/(-4) + -4). Let y be h(g). Suppose 5*x - y*f = 2*f + 228, -2*x = -3*f - 87. Is x a multiple of 15?
False
Let i(h) be the first derivative of -11*h**2 - 3. Let c be i(-3). Let t = c + -30. Does 11 divide t?
False
Suppose -48 = -2*b - b. Let c = -13 + b. Suppose -310 = -5*i + 4*m, -124 = i - c*i - m. Does 10 divide i?
False
Does 25 divide -4 + (-1)/((-4545)/2270 - -2)?
True
Suppose -10 = -3*p - 5*l, 5*p + l + 2 - 4 = 0. Suppose -3*y + p*y = -63. Suppose -2*w - 4*a = -44, -a + 4*a = -w + y. Is w a multiple of 12?
True
Is 12 a factor of (-6924)/8*-2*16/12?
False
Let b(y) = y**3 - y - 10. Let t be b(0). Let j(o) = 5*o - 37. Let g be j(9). Let f = g - t. Is f a multiple of 9?
True
Let a be 1*1*(5 + -2). Suppose 0 = -s - a, 5 - 62 = 4*n - s. Does 23 divide (318/15)/((-3)/n)?
False
Suppose h - 4*h + 93 = 0. Let v = 36 - h. Is v a multiple of 5?
True
Let q = -533 - -957. Does 53 divide q?
True
Suppose 734 = -4*a - v, 0 = -3*a + 7*a + 5*v + 742. Let i = a - -303. Does 13 divide i?
False
Is (-1)/(-2) + (-7 - (-4328)/16) a multiple of 11?
True
Suppose -183 = -5*o + b + 2137, -4*b = 5*o - 2345. Does 31 divide o?
True
Suppose -4 = -r, 0 = 2*p + 3*p + 4*r + 54. Let q = 128 + p. Is q a multiple of 19?
True
Suppose -5*u + 3*b + 533 = b, -424 = -4*u + b. Is u a multiple of 3?
True
Suppose 2*n = 3*n + 2. Does 18 divide n*1*((-12 - 5) + 4)?
False
Let z(f) = f**3 - 2*f**2 - 6*f - 10. Let d = 34 - 28. Does 14 divide z(d)?
True
Let h(r) = r + 1. Let g be h(0). Suppose y = f + 6 - g, 4*f = -y. Suppose y = u, u = 2*i - 14 + 2. Does 8 divide i?
True
Let c = 2987 - 1763. Is 34 a factor of c?
True
Suppose 0 = 4*p - 5*s - 7790, 2*p + 2*p - s = 7798. Is 65 a factor of p?
True
Let m(o) = 8*o**2 + 3*o. Let t be m(5). Suppose 6*x - t = x. Suppose c + 2*c = y - 16, 4*y - 5*c - x = 0. Does 6 divide y?
False
Suppose 4*k + 26 = 5*g, 3*g + 16*k = 17*k + 10. Is g a multiple of 2?
True
Suppose 4*w - 5 = 27. Let h(q) = -6 - 3*q + 4 - w + 2 + q**2. Is 23 a factor of h(-6)?
True
Let s(w) = 3*w**3 - 4*w**3 + 1 - 9*w + 7 - 9*w**2. Let u = 15 + -24. Does 15 divide s(u)?
False
Suppose -3146 = -4*t + 1054. Is 75 a factor of t?
True
Let y(p) = -p**3 + 32*p**2 + 18*p + 14. Does 63 divide y(10)?
True
Let o(r) be the second derivative of 77*r**4/12 - 7*r**3/6 + 7*r**2/2 - 32*r. Is o(2) a multiple of 46?
False
Let i(p) = 39*p**2 - 2*p. Does 5 divide i(-2)?
True
Let j be 2*-3*3/(-6). Suppose -5 = -j*k + 4. Is -4 - (k + (-112)/4) a multiple of 5?
False
Let f be (-2)/(5/2 - 2). Is (-96)/(-56)*(-98)/f a multiple of 7?
True
Let o be 2*(15/35 + 30/28). Is (-2)/11 - 1190/(-33)*o a multiple of 12?
True
Suppose 6*k = 1001 + 2779. Is k a multiple of 45?
True
Let y = -133 - -41. Let t = 132 + y. Is t a multiple of 5?
True
Let w(o) be the third derivative of o**6/120 - o**5/20 + o**4/8 - 4*o**3/3 - 4*o**2. Let v(u) be the first derivative of w(u). Does 6 divide v(4)?
False
Let l(w) = -2*w**2 + 163*w + 27. Is l(25) a multiple of 71?
False
Let a(u) = 342*u - 540. Is 11 a factor of a(8)?
False
Suppose 5*r - 7*r + 640 = 0. Is 16 a factor of r?
True
Suppose j = -3*o + 3432, -5*j + o = 4*o - 17100. Let v be (-6)/(-39) + j/13. Suppose -6*n = -259 - v. Does 15 divide n?
False
Suppose 7 + 14 = p + 3*d, 0 = -3*p - 3*d + 39. Let b(n) be the second derivative of n**4/12 - 4*n**2 - 5*n. Does 13 divide b(p)?
False
Let u(g) = 15*g**2 + 4*g + 3.