pose 4*m - 3793 + 2521 = 0. Is 25 a factor of m?
False
Does 12 divide (-1022)/(-5) - (53/(-5) - -11)?
True
Let o = 1165 + -547. Does 6 divide o?
True
Let p(f) = f**2 - 30*f - 344. Is 16 a factor of p(-23)?
False
Does 56 divide 1570 - -3 - (-5)/(-1)?
True
Let u(v) be the first derivative of v**4/4 + v**3 - 5*v**2/2 - v - 6. Let a be u(-4). Suppose -o - 146 = -a*c, 0*c + 5*o - 250 = -5*c. Is c a multiple of 12?
False
Is ((-8814)/(-72)*6)/((-2)/(-16)) a multiple of 113?
True
Let u(j) = -j**3 + j**2 - j. Let g be ((-6)/9)/((-6)/9). Let p be u(g). Is (-8)/(-4 + 1 - p) even?
True
Let g(n) = n**3 + 4*n**2 + 4*n. Let u be g(-3). Is ((-42)/18)/(2/6)*u a multiple of 4?
False
Does 27 divide 2080*((-48)/40)/(-3)?
False
Let c(r) = -2*r - r**3 + 8*r**2 - 8 + 10 - 1. Is 19 a factor of c(4)?
True
Let i(z) = z**2 - z + 5. Let u be 14/1 + 64/(-16). Is i(u) a multiple of 19?
True
Let l = 29 + -25. Suppose -l*k = -7*k. Suppose k = -3*a - a + 72. Does 4 divide a?
False
Let g(o) = -3 + 9 + 2*o + 3*o - o. Let u be g(-3). Is 27 a factor of 3/u + (-275)/(-10)?
True
Let w(l) = -l**3 - 5*l**2 + 2*l + 7. Let b be w(-5). Let j(s) be the second derivative of -s**3/2 + 3*s**2/2 + 35*s + 4. Does 6 divide j(b)?
True
Let d be (18/(-8))/((-1)/(-52) - 0). Is (2/(-3))/(2/d) a multiple of 13?
True
Suppose 2*x = -3*x - 4*m + 5, 3*m = -x + 1. Let f = x - -5. Suppose -f*u + 2*u = -240. Is u a multiple of 12?
True
Let o(a) = a - 5. Let w be o(10). Suppose -w*n = -4*n - 57. Suppose 2*z = n + 83. Does 17 divide z?
False
Suppose 0 = 14*j - 61*j + 28952. Does 14 divide j?
True
Let n be (-2 + 10)/(1/44). Suppose -n = -o - 7*o. Is o a multiple of 11?
True
Let x = 1424 + -702. Suppose -11*f - 62 = -x. Is 3 a factor of f?
True
Let v(m) = m**2 + 18*m - 2. Suppose 3*c - 6*c = z + 8, -5*z - 108 = -2*c. Is 4 a factor of v(z)?
False
Let t = -698 - -1094. Let u = t - 278. Is u a multiple of 35?
False
Suppose 2*u = -3*z - 5, 4*u + 10 = -4*z - 10. Let y(o) = o**2 + 15*o + 8. Let t be y(-12). Let h = u - t. Does 6 divide h?
True
Let k = -217 - -525. Is k a multiple of 14?
True
Let p = -1298 - -2361. Does 19 divide p?
False
Let v(t) be the second derivative of t**4/12 + 5*t**3/2 + 5*t**2/2 + 2*t. Let m(n) be the first derivative of v(n). Is 15 a factor of m(0)?
True
Suppose 17851 = 9*s + 823. Does 11 divide s?
True
Let g be -6*(-3)/6 - -4. Suppose -10 = 5*h - 4*m, 3*h + 3*m - g = 7*h. Suppose -h*x = 3*r - 54, 2*x + r = -0 + 58. Does 12 divide x?
False
Let i = 2 + 11. Suppose 4*s = 12, 4*m + 2*s - 29 = i. Is 7 a factor of m?
False
Suppose 4*l + 3218 = m - 1469, -2*l + 3*m = 2331. Let j be l/(-6) - (-3)/(-6). Suppose -3*s + 2*h + 105 = -h, 5*s - j = h. Does 20 divide s?
True
Suppose 3*z - 604 = -5*u, z = -65*u + 63*u + 200. Does 2 divide z?
True
Does 37 divide -14*(-2 + -8)*17/2?
False
Suppose -2*a + a + 22 = 3*d, -2*a = -d + 5. Suppose d*l - 18 = 5*l. Is l a multiple of 9?
True
Let v = -27 - -11. Let z = v - 8. Let g = z + 58. Does 14 divide g?
False
Let b(s) = -s**3 + 15*s**2 + 30*s - 19. Does 14 divide b(-9)?
False
Does 24 divide -1 + -1 + (-9792)/(144/(-9))?
False
Suppose -702*b = -689*b - 1534. Does 2 divide b?
True
Let y(w) = -3*w - 11*w**2 - 7 - w**3 - 4*w + 8*w + 2*w**3. Let i be y(11). Suppose 2*u - v = 50, u + 75 = i*u - 4*v. Does 19 divide u?
False
Suppose -4*y + 16 = 0, 4*q - 5*y = -5 - 3. Suppose -n = -q*n + 4. Is 22 a factor of (-1836)/(-42) - n/(-7)?
True
Let x(j) = 2*j**2 - 6*j + 5. Let b(g) = 27*g**2 - 2. Let p be b(1). Suppose 2*n = -5*k + 37, -3*k - k = -3*n - p. Does 16 divide x(k)?
False
Suppose 12 = -2*v + 6*v. Suppose -v*u - p - 7 = 0, u = -3*p - 4 - 1. Let q = u + 5. Is q a multiple of 2?
False
Suppose 5*b - 5*k + 16 + 54 = 0, 0 = -2*b - 2*k - 16. Let d = b - -42. Is d a multiple of 7?
False
Let i = 8599 + -5815. Is 29 a factor of i?
True
Let o(y) = -6*y. Let p be o(-3). Is (6/2)/(-1 + p/17) a multiple of 12?
False
Suppose -4*v + 0*v - d - 1273 = 0, 0 = d + 1. Let c = 504 + v. Is c a multiple of 31?
True
Let t(n) be the second derivative of 17/6*n**3 + 1/20*n**5 - n**2 + 0 - 5*n + 7/6*n**4. Does 15 divide t(-12)?
False
Suppose -4*k + 5*z = k + 5, 0 = 3*z. Does 15 divide (27 - k) + (-4)/8*-4?
True
Let f(x) = -2*x**2 - 8*x - 9. Let z be f(-4). Is 8 a factor of (9/(-6))/(z/96)?
True
Let m = 18 - 6. Suppose -5*z + 5 = 0, 3*t = z - 5*z - 2. Is t*2/((-16)/m) a multiple of 2?
False
Suppose 0*p + 165 = -3*p. Let q be (-395)/p - 2/11. Let l = 13 + q. Is l a multiple of 6?
False
Let x = 1248 + -826. Is x a multiple of 23?
False
Let l be (-1)/(1 - (-336)/(-340)). Let m = 120 + l. Suppose 0 = c - 0*c + 5*j - m, -3*j = 4*c - 72. Does 5 divide c?
True
Let u be ((-9)/6)/((-5)/10). Suppose -4*z - 2*x = -630, 4*x - 9*x - 453 = -u*z. Does 43 divide z?
False
Does 10 divide (3 + -1)*6*235/2?
True
Suppose -2*h = -32 + 20. Suppose -l + h = -q, l - 2*q - 10 = 3*q. Is l a multiple of 2?
False
Suppose -x + 176 = -3*x. Let i = x + 129. Suppose -m + i = -19. Is 12 a factor of m?
True
Let r be 9/((-27)/(-6)) + 7. Suppose -10*h = -r*h - 38. Is 12 a factor of h?
False
Let n(r) = r**2 - r + 15. Let z(i) be the second derivative of i**3/3 - 3*i**2 - 5*i. Let x be z(3). Does 15 divide n(x)?
True
Let o = 24 + -19. Suppose -4*d + 8*d - o*q = 340, 2*d = -4*q + 144. Does 20 divide d?
True
Let f(y) = -y**3 - y**2. Suppose 2*n + x - 3 = 0, -4*x = -2*n - 8*x + 12. Let k be f(n). Suppose k = -3*c - 3*r + 27, 2*c = 6*c + r - 30. Is 2 a factor of c?
False
Suppose -2*p = -2*l + 28, 5*l - 10 = -p - 0*l. Let v = 13 + p. Suppose -v*q + 1 = -227. Does 38 divide q?
True
Suppose -7*k + 15*k = 0. Suppose 2*v = -2*w - 2*w + 38, k = -5*v - 3*w + 88. Is v a multiple of 17?
True
Let z(k) = 0*k + k + 12 + k**2 - 28 + 4. Is 7 a factor of z(8)?
False
Suppose -308*a + 312*a = 7120. Is a a multiple of 160?
False
Let j be (-7)/((-28)/16) + 0. Suppose -5*r + j*w + 1795 = 2*w, -2*r + w + 719 = 0. Does 35 divide r?
False
Let w = -8 + 12. Let n(m) = 11*m - 2. Is n(w) a multiple of 6?
True
Suppose -123 + 30 = -u. Is u a multiple of 7?
False
Suppose -5*x - 6063 = -4*c, 8*c = 3*c - 4*x + 7589. Does 10 divide c?
False
Let m(j) = -j**3 - 7*j**2 + 24*j + 41. Is 27 a factor of m(-12)?
False
Let y(i) be the third derivative of 47*i**4/24 - i**3/3 + 30*i**2. Is 14 a factor of y(4)?
False
Suppose -2*o + 873 + 999 = 0. Is o a multiple of 61?
False
Suppose 2*y - 4*q + 10 = 0, 0*q = -4*y + 2*q + 10. Let a(x) = 6*x**2 + 3*x + 0*x - x - x**3 + 3. Is a(y) a multiple of 10?
False
Let y(o) = -2*o + 10. Let z(r) = -r**2 + 6*r - 3. Let g be z(2). Let m be y(g). Suppose 4 = -p - m, 5*p + 165 = 5*h. Is h a multiple of 5?
False
Suppose -3120 = i - 6*i. Does 16 divide i?
True
Suppose -188797 = -116*x + 366263. Does 15 divide x?
True
Let g be 12/24*(1 - -481). Let u = g - 134. Does 29 divide u?
False
Let w(a) = 211*a**2 + 9*a + 17. Is w(-2) a multiple of 17?
False
Let a = -266 - -586. Is a a multiple of 64?
True
Let w = 477 - 305. Is 4 a factor of w?
True
Suppose 4*n - 203 = 3*n + 4*a, n + 2*a - 179 = 0. Suppose -5*u + n = 3*j, 0 = 4*u + 2*j + 2*j - 156. Does 6 divide u?
False
Let n(w) = 2*w**2 - 4*w + 6 - 2*w - 2*w. Let k be n(5). Is k + ((-2)/2)/1 a multiple of 15?
True
Let m be (-4)/14 - 346/14. Let n = m + 27. Suppose -q + n*q = 7. Does 3 divide q?
False
Suppose 2*a + 2*a - 1 = s, a - 4 = 4*s. Suppose 10*d - 9*d - 16 = a. Does 16 divide d?
True
Let f(m) = -12*m - 1. Let o be f(-1). Suppose 50*x + 87 = 53*x. Suppose -o = -4*h + x. Is 5 a factor of h?
True
Let d(v) be the second derivative of v**4/6 - 4*v**3 + 7*v**2 + 6*v. Is d(13) a multiple of 12?
False
Suppose f - 2*f + 33 = 0. Let q = f - -20. Is q a multiple of 13?
False
Suppose 19 = 121*v - 32288. Is v a multiple of 4?
False
Suppose 71*d = 66*d - 165. Suppose 4*u + l = -0*u + 221, 0 = 5*u + 4*l - 279. Let a = d + u. Does 8 divide a?
False
Let v(n) = n + 12 + 0 - 30 + 15 + 5*n. Let k = -12 + 18. Does 13 divide v(k)?
False
Let l be (4/(-1) + 2)*-1. Suppose l*z - 3 = 5*z, -2*z = 3*o - 10. Suppose -3*i = o*i - 252. Is i a multiple of 18?
True
Suppose -2*m - 60 = 3*m. Let l be ((-3)/(-2))/(m/(-360)). Let d = l - 27. Is 16 a factor of d?
False
Let k(f) = -3*f - 60. Let u be k(-20). Suppose u = -4*q + 5*x + 788, 2*q - 7*q - 2*x = -985. Is 15 a factor of q?
False
Suppose 73*w = 86*w - 1248. Is 16 a factor of w?
T