factor of o?
True
Let h be ((-9)/(-12))/((-4)/(-96)). Let g be (27/6)/3*h. Is ((-9)/g)/((-2)/84) a multiple of 14?
True
Let c(d) = d**3 - 5*d**2 + 2*d. Let f be c(5). Suppose -459 = -7*g + f. Is 18 a factor of g?
False
Let t = -5 - 10. Let a = t - 3. Is -4*1/6*a a multiple of 4?
True
Let a = 41 + -38. Suppose 0 = 5*n + a*k - 64, -2*n + 2*k + 60 = 2*n. Let r = n - -34. Does 24 divide r?
True
Suppose -2*p + 3 - 11 = 0. Let s be ((-2)/3)/(p/24). Suppose -6*q + s*q + 70 = 0. Is 8 a factor of q?
False
Suppose -5*x + 5*d - 47 - 38 = 0, 5*x + 97 = d. Let p = 72 - 73. Does 16 divide p - (x + 3 - 2)?
False
Let j be -2 + (0 - 1) + -3. Let o(w) be the second derivative of w**5/20 + 7*w**4/12 + 2*w**3/3 + 9*w**2/2 - 2*w. Does 13 divide o(j)?
False
Let b(s) = s**3 - 5*s**2 - 11*s - 6. Let h be b(7). Suppose 1022 = -h*x + 3062. Is x a multiple of 17?
True
Let k(j) = 1497*j**3 - 4*j**2 + 9*j - 5. Is k(1) a multiple of 55?
False
Let t(w) = w**2 - 5. Let l be (-7*4)/(-4) - 4. Let x be t(l). Is 13 a factor of ((-1036)/(-70))/(x/10)?
False
Let m = -654 + 1588. Does 34 divide m?
False
Let p(c) = -7*c + 4. Let j be p(-8). Suppose -4*k + 4*l + j = -60, -3*k - 3*l + 60 = 0. Is k a multiple of 3?
False
Let r(j) be the third derivative of j**5/60 - j**4/2 - 13*j**3/3 + 13*j**2. Is 5 a factor of r(15)?
False
Suppose 2*k - 1782 = -4*f, 2*f + 10 - 889 = 3*k. Is f a multiple of 12?
True
Let n = -76 + 273. Let j = 365 - n. Is j a multiple of 15?
False
Suppose 0 = 2*u + 5*n - 9, -31 + 136 = 5*u - 4*n. Suppose -50 + 2 = -4*k - 2*i, 5*k = -i + 63. Let w = u - k. Does 4 divide w?
True
Suppose -2*b - 2 = -4*c, -3*b + 5*b + 2*c + 8 = 0. Is 10 a factor of (-5)/((-60)/(-148))*b?
False
Let l be 5/(-5) - -1*3. Suppose x + 5 + 2 = -2*n, x - l*n - 13 = 0. Let w(m) = 5*m**2 - 3. Is 8 a factor of w(x)?
False
Suppose 22*s = 21*s. Suppose 2*f + 10 = -s*f, 4*f = 5*w - 225. Is 8 a factor of w?
False
Suppose 3*n - g = 104, 28 - 99 = -2*n - g. Let w = 115 - n. Does 16 divide w?
True
Let a(s) = s**3 + 8*s**2 + 8*s - 2. Let r be (-6)/(0 + 3) - -2. Suppose -9*m + 5*m - 24 = r. Does 20 divide a(m)?
False
Suppose -5*f = 5*w - 3*f - 3248, -2596 = -4*w - f. Does 6 divide w?
True
Let w(r) = -r**3 - 7*r**2 - 7*r - 2. Suppose -33 = 5*k - 3. Let a be w(k). Suppose 0*p - a*p = -32. Is 8 a factor of p?
True
Let a = -12 - -7. Let w = a - -8. Is w even?
False
Let w(q) = -q**2 - 3*q + 26. Let r be w(-11). Let g = -33 - r. Is g a multiple of 29?
True
Suppose 7 = -m + 3*r, 0*r - 3*r + 3 = -3*m. Suppose 0 = -m*j - 1 + 9. Let l = j - -7. Is 5 a factor of l?
False
Suppose -2*u = -7*u - 230. Let g = -7 - u. Is 13 a factor of g?
True
Suppose 3*g + 2*a + 44 = 0, -2*g + 0*a + 3*a = 25. Let t = -8 - g. Is t a multiple of 4?
False
Does 49 divide (-9)/((-63)/31157) + 2?
False
Suppose 2*k - 84 = 3*k. Suppose 0 = -d - 4*d - 285. Let f = d - k. Does 27 divide f?
True
Let w = -367 + 565. Does 11 divide w?
True
Let g(x) = -x**3 + 15*x**2 + 16*x + 18. Let f be g(16). Let j(w) = -w**3 + 17*w**2 + 19*w - 12. Is j(f) a multiple of 6?
True
Let i = -155 - -247. Suppose -26 = 4*x - 4*l - 154, 3*x - 2*l = i. Is 19 a factor of x?
False
Suppose -2*x - 2*j = 5 - 1, 0 = -x - 5*j - 22. Suppose x*v + 235 = 5*q + v, -3*v = 0. Suppose -4*o = 2*w - 60, 0*o - 3*o - w = -q. Is o a multiple of 15?
False
Let r = -20 - -28. Let l(u) = 4*u**2 - 4*u + 10. Let o be l(r). Suppose 9*h - o = 3*h. Is 17 a factor of h?
False
Let j(k) = 36*k - 1. Let w = 6 - -2. Let m be (w/12)/(4/6). Is j(m) a multiple of 9?
False
Let q(h) = -1 - 20*h + 4 + 3 + 22*h. Is 22 a factor of q(8)?
True
Let m = -12455 + 7095. Let x be m/(-44) + (-4)/(-22). Suppose -3*l = -3*u - u - x, -3*u = -3*l + 117. Is l a multiple of 18?
False
Suppose 0 = 6*z - 3*z + 309. Let j = 154 + z. Is j a multiple of 10?
False
Suppose -5*p + 3*n - 2 = -4*p, -6 = -3*p + 3*n. Suppose p*h = 2*h + 6, 4*b = -2*h + 26. Suppose -2*a = -b*a - 2*y + 117, -4*y = -3*a + 99. Is 10 a factor of a?
False
Let b(y) = 3*y**3 - 40*y**2 + 18*y + 5. Does 70 divide b(15)?
True
Let x = -37 + 48. Let y(i) = i**2 - 8*i - 16. Is 3 a factor of y(x)?
False
Suppose -9*v + 14*v = -185. Let q = 79 + v. Is 16 a factor of q?
False
Let l = 194 + -106. Suppose 42*q = 43*q - l. Is q a multiple of 11?
True
Suppose -5*m - 20 = -m. Let f(b) = -7*b**2 - 7*b + 5. Let t be f(m). Let y = t + 198. Is y a multiple of 11?
False
Let l(o) = -73*o + 5. Let v(k) = k**2 - k - 2. Let g be v(1). Is l(g) a multiple of 11?
False
Is 7 + -4 + (-3 - (1 - 93)) a multiple of 3?
False
Let h = 33 - 15. Let b = h - 8. Is 1/3*990/b a multiple of 11?
True
Suppose 78*l - 1422 = 76*l. Is l a multiple of 71?
False
Let f(s) = s**3 + 13*s**2 - 17*s - 15. Let o be f(-14). Suppose 2 = o*c - 25*c. Suppose -2*y = -c - 29. Does 3 divide y?
True
Suppose 5*k = 3*k + 36. Suppose 0 = -4*u + 94 - k. Suppose -y = -14 - u. Is y a multiple of 9?
False
Let l = -11 - -9. Let m = -14 + l. Let p = m + 24. Does 3 divide p?
False
Let s = -19 - -19. Suppose 0 = -5*i + 2*w + 168, s = -2*i - w - 1 + 61. Is i a multiple of 5?
False
Let j = 9 - 6. Suppose 4 = -4*b - 8*s + j*s, -b + 24 = -5*s. Suppose -p - 2*i = -19, 4*p = -0*i - b*i + 72. Does 6 divide p?
False
Let n = -3047 - -4910. Is 27 a factor of n?
True
Suppose -4*h + 852 = 180. Is 12 a factor of h?
True
Let j be 3 - 14*(-3)/6. Let v = -8 + j. Suppose v*w = -w + 168. Does 14 divide w?
True
Let b(s) = -s**2 - 12*s - 2. Let r be 0/(-4 + (1 - -2)). Let i be -11 + 5 + 1 + r. Is 13 a factor of b(i)?
False
Suppose 0 = 5*r + 5*s - 165, 2*r + 0*s = -5*s + 75. Let h be (0 - 0) + r - -4. Let i = 8 + h. Is i a multiple of 6?
True
Let x(r) = 3*r + 2. Let c(n) = -n + 1. Let f(z) = -2*c(z) - x(z). Let i be f(-3). Is -1*((i - 1) + -51) a multiple of 16?
False
Let y = -232 - -623. Is y a multiple of 9?
False
Is (191 + 0)/(25/425) a multiple of 7?
False
Let c = -20 + 18. Let q(o) = o**3 + 2*o**2 - 3*o - 3. Let r be q(c). Suppose -i - r*i = -16. Is i a multiple of 4?
True
Let h(g) = g**2 - 5*g + 3. Let l be h(5). Suppose -7 = j - 5*w + 6, 2*j - l*w - 2 = 0. Suppose -j - 182 = -7*b. Does 9 divide b?
True
Suppose j + 4 = c - 0*j, c + j = 8. Let y = c - 7. Let q(x) = 21*x**2 + 2*x + 1. Is 20 a factor of q(y)?
True
Let m = 1184 - 877. Does 54 divide m?
False
Let u = -120 - -116. Does 8 divide 4*448/(-21)*6/u?
True
Let r = -91 - -843. Is 18 a factor of r?
False
Let h(i) = 10*i**2 - 18. Is 18 a factor of h(-7)?
False
Let g = 680 - -74. Does 58 divide g?
True
Let h(v) = v**3 + 13*v**2 - v - 11. Let r be h(-13). Let o(s) = 40*s - 9. Let n be o(6). Suppose 5*y = -r*y + n. Does 14 divide y?
False
Let a(u) = 2*u**3 - 3*u**2 + 5*u + 3. Does 7 divide a(5)?
True
Let u be 2/(-13) + 656/208. Suppose -7*f - u*r = -5*f - 621, 4*r = f - 305. Is f a multiple of 26?
False
Let c = -524 + 1385. Does 6 divide c?
False
Suppose l + 35 = -0*l + 3*g, 3*g = -5*l - 211. Let n = 91 + l. Let r = -32 + n. Is r a multiple of 9?
True
Suppose 5*m - 6 = 3*m. Let o(v) = v**2 - 3*v + 2. Let r be o(m). Suppose 0 = 3*j + 15, j = -2*b - r*j + 19. Is 4 a factor of b?
False
Let s be (1 - 7)/((-9)/12). Let i = 6 - s. Is (i - (-21)/6)*4 a multiple of 6?
True
Let c be 1 - -1 - (0 - 8). Let b = -7 + c. Suppose -3*u - 12 = 0, 2*y - 3*u - 307 = -b*y. Is y a multiple of 12?
False
Let d = 37 + -100. Does 10 divide d/(-14)*(-14)/(-3)?
False
Suppose 5*m - 3*a = 20, 3*a - 10 = -5*m + 10. Suppose -2*h = m*h - 48. Is h a multiple of 4?
True
Suppose -5*u + 3*z = -0*u + 14, -4*z = -2*u. Let i(g) = 4*g + 5*g + 5*g**2 - 5*g - 8. Is 12 a factor of i(u)?
False
Is 68 a factor of 445 - 0/(-12 - -10)?
False
Suppose 6*y = 2*y + 20. Let v be (-14 - -15)*(y - 0). Suppose -v*i + 64 = -i. Does 6 divide i?
False
Let v(k) = k**3 + 23*k**2 + k + 23. Let x be v(-23). Suppose x = -6*z + 248 - 8. Does 12 divide z?
False
Let v = 118 - 66. Suppose -s = -v - 80. Does 24 divide s?
False
Does 7 divide (-2)/12 - (-5 + 13/(-6))?
True
Let x(i) = i**3 + 22*i**2 - 29*i - 179. Is 11 a factor of x(-18)?
True
Let b be (-2)/8 + 12/(-16). Is (6 - 678/6)*(0 + b) a multiple of 9?
False
Is 7 a factor of 8 - (-1)/(-3)*(-2 - -5)?
True
Let t = 37 + -34. Suppose 4*g + 3*k = 48, 36 = t*g + 4*k - 2*k. Is 3 a factor of g?
True
Suppose -2 + 7 = -q, -4*q - 100 = -4*i. Is (2/((-8)/(-58)))/(i/80) a multiple of 29?
True
Let l(w) = -w**2 - 9*w + 5. Suppos