 2*m**3 - 11*m**2 - 6*m - 2. Let w be s(u). Let f(g) = -8*g**3 - 4*g**2 - 3*g - 2. Does 26 divide f(w)?
True
Let z(j) = j**2 - 102. Is 40 a factor of z(14)?
False
Let w = -406 + 562. Is 26 a factor of w?
True
Suppose 0 = 2*q - 157 - 141. Suppose -q = 4*p - o, 3 = o + 2*o. Let w = p - -57. Is 6 a factor of w?
False
Let x(p) = 129*p - 14 + 25 - 12. Does 32 divide x(1)?
True
Let g(p) = p + 9. Let k be g(-6). Suppose k*r = 67 + 50. Does 8 divide r?
False
Let a(w) = 15*w**2 + 3*w - 3. Suppose 4*r + 25 = -5*m, 3*r - 6 = 2*m + 4. Let y be 17 + -16 + 1 + r. Is a(y) a multiple of 9?
True
Suppose -5 = -z, 4*z = -3*o + 18 - 7. Let v(y) = -5*y + 2. Let j(g) = -16*g + 6. Let n(u) = -6*j(u) + 20*v(u). Is 8 a factor of n(o)?
True
Suppose 1608 = 10*u - 6*u. Suppose -6*o + 1122 = -u. Does 10 divide o?
False
Let n be (4/6)/(8/84). Suppose -13 = -k - n. Suppose -k*q = -q - 25. Does 5 divide q?
True
Let b(s) = s**3 + 5*s**2 - 7*s - 1. Let q be b(-6). Suppose q*a + 248 - 78 = 5*i, -81 = -3*i - 4*a. Is i a multiple of 11?
False
Suppose 22*u - 4*u - 72 = 0. Let a(f) = -5*f - 1. Let o be a(-1). Suppose 5*h - 9 - o = -t, -u*t - 3*h + 52 = 0. Is 3 a factor of t?
False
Let m(v) = v**3 - 14*v**2 + 18*v + 9. Let n be m(13). Suppose 19 = -h + n. Does 14 divide h?
False
Let c be (16/(-6) - -2)*(-758 + -10). Let a = -124 + c. Is 13 a factor of a?
False
Let j = -17 + 21. Let n(k) = 10*k**2 + 3*k - 10. Let x be n(j). Is 17 a factor of x/2 + -1 + 3?
False
Let s = -27 - -37. Suppose s*n - 11*n + 84 = 0. Is n a multiple of 14?
True
Let z = -13 + 18. Suppose -3*n + z = 4*g - 0, 5*g + 2*n = 15. Let b(v) = 2*v**2 - 5*v - 3. Is b(g) a multiple of 11?
True
Let w(a) be the second derivative of a**6/45 - a**5/30 + a**4/12 - a**3/3 - 7*a. Let o(s) be the second derivative of w(s). Is o(2) a multiple of 5?
False
Suppose -4*n - 132 = -2*b - 7*n, 2*b - 3*n - 120 = 0. Is b a multiple of 21?
True
Let r(n) = -n**2 + 10*n + 2. Suppose -5*z + 21 + 24 = 0. Is r(z) a multiple of 11?
True
Let b be (2/(-4))/((-3)/96). Suppose -10 = g - 20. Let z = b - g. Is z a multiple of 3?
True
Let m = 464 - 331. Is 23 a factor of m?
False
Let b be -16*(2 - 45/20). Suppose -116 = -b*p + 172. Does 9 divide p?
True
Suppose 0 = -t - 131 - 31. Let g = -95 - t. Is g a multiple of 14?
False
Let c = -647 - -844. Does 11 divide c?
False
Suppose -936 = -5*k + j, -286 - 450 = -4*k + 4*j. Does 47 divide k?
True
Does 10 divide (-30)/(-9)*(71 + -5)?
True
Suppose -608 = t - 1642. Does 57 divide t?
False
Is 13 a factor of 7 + (3 - 0) + 81?
True
Let n(v) = 130*v - 731. Does 22 divide n(21)?
False
Let d = 419 + 406. Is 55 a factor of d?
True
Let x(g) = 48*g**2 - g + 8. Is 20 a factor of x(-4)?
True
Let v(q) = -q - 3 + 1 - 2*q + 0. Let a be v(-4). Suppose -2*c + c = -a. Is 2 a factor of c?
True
Does 23 divide 1*(-4 + -6 + 194)?
True
Let i(q) = -q**3 + 15*q**2 - 9*q + 10. Let c be -35*((-28)/20 - -1). Is i(c) a multiple of 24?
False
Let r = -110 - -64. Let z = 54 + r. Is 7 a factor of z?
False
Suppose 0 = -0*i - 2*i - 2. Let f = i - -22. Let c(z) = z**2 - 19*z - 28. Is 6 a factor of c(f)?
False
Suppose 3*t + 45 = 2*n, -n + 4*n = -3*t + 105. Suppose -n*g - 20 = -31*g. Is 5 a factor of g?
True
Suppose -i = 0, -5*v = -0*v - 3*i + 5. Let m be v - (-7 + 4) - 8. Does 4 divide 2 + (2 - 3) - m?
False
Let n(y) = -y**3 - 9*y**2 + 14*y - 16. Suppose -2*x + x - 11 = 0. Is 24 a factor of n(x)?
True
Does 55 divide 6/((-288)/(-34338)) - 15/40?
True
Let n(z) be the second derivative of -z**5/20 - 7*z**4/12 - 4*z**3/3 - 5*z**2 + 10*z. Does 2 divide n(-6)?
True
Suppose -13*v + 296 = -718. Does 3 divide v?
True
Let x(p) = -p**2 + 6*p + 13. Let w be x(9). Suppose -2*z - 2 - 16 = 0. Does 22 divide w*6*z/12?
False
Suppose 0 = -9*p + 2*p + 2366. Suppose -4*d + p = 5*b - d, 132 = 2*b + 2*d. Does 10 divide b?
True
Let s = 121 - -627. Is 17 a factor of s?
True
Let z be (-4)/4*-3*1. Suppose 2*i + 2 = z*i. Suppose 5*w - 353 = -5*q + 2, -i*q + 127 = -w. Is q a multiple of 17?
False
Let o = -775 - -1273. Does 5 divide o?
False
Suppose -5*u + 310 = 10*d - 8*d, -d - 5*u = -160. Is d a multiple of 10?
True
Let k be 6/9*(3 + -9) + 2. Let d = 56 + k. Is 18 a factor of d?
True
Suppose -435*v - 405 = -438*v. Is v a multiple of 15?
True
Suppose 37 = 8*s - 35. Suppose -12*p + 12 = -s*p. Does 3 divide p?
False
Let a be (-80)/(-30)*6/(-4). Let v be (a/(-8) - 0)*2. Does 21 divide -2 + (-153)/(-4 + v)?
False
Suppose 0 = 3*k - 4*q - 1118, -5*k + 5*q = -8*k + 1154. Is 36 a factor of k?
False
Let b = -660 - -1286. Suppose 2*k + 8 = 0, 5*k - 4*k = -3*i + b. Is 36 a factor of i?
False
Let b be -3 + (3 + -2)*-16. Let j = b + 83. Suppose -5*i + 191 = -j. Is i a multiple of 17?
True
Let m = -14 - -20. Suppose 4*q = m*q - 104. Suppose 48 = 5*x - q. Does 10 divide x?
True
Suppose 3*g - 5*g = 0. Suppose 5*j - 1685 + 40 = g. Suppose 7 = 5*p - 3, 0 = -5*l - 2*p + j. Is l a multiple of 11?
False
Let u(b) = -2*b**2 - b + 21 - 21 + 3*b + 188*b**3. Is u(1) a multiple of 7?
False
Suppose -3*w - 72 = -3*j, 0 = -3*j - 3*w + 14 + 46. Let v = 34 - j. Let q = -10 + v. Is 2 a factor of q?
True
Does 50 divide (1369 - -3) + 2 + 2 + 1?
False
Let i(c) = -2*c**3 - 24*c**2 - 3*c. Let k be (-9)/(-15) + 378/(-30). Is 9 a factor of i(k)?
True
Let g(i) = -i**2 + 13*i + 1. Let d(y) = y - 1. Let c(w) = d(w) + g(w). Let j = 50 - 38. Is 8 a factor of c(j)?
True
Is ((-1746)/3)/(-3) + (-13)/(-13) a multiple of 13?
True
Let d = 187 - 102. Does 17 divide d?
True
Suppose -2*a - 1 + 5 = 3*b, 5*b + 8 = 4*a. Is (2 - -11 - 2) + b even?
False
Let b = 612 - 384. Suppose -24*d - b = -28*d. Does 14 divide d?
False
Let b(j) = 5*j**2 - 10*j - 23. Let m be b(-10). Is (-3)/18 - m/(-6) a multiple of 6?
True
Suppose 5*r = -a + 13, 0 = -8*a + 6*a - r + 17. Does 8 divide (34/(-4))/(a/(-48))?
False
Let o be 30/9 + (-1 - 5/(-3)). Suppose 0 = 2*y + o*w - 102, -4*y + 4*w = 6*w - 210. Is 11 a factor of y?
False
Suppose 0 = 11*c - 12*c - 34. Let f be (-1)/1 + 0 + 63. Let j = f + c. Does 14 divide j?
True
Let r(b) = 15*b**3 - b**2 + b. Let j be r(1). Suppose j = -4*n - k - 164, -5*n + 3*k - 228 = 0. Let g = 68 + n. Does 8 divide g?
False
Suppose 318 = 4*p + 234. Does 14 divide p?
False
Let t = -84 + 312. Is 12 a factor of t?
True
Let z = -2051 - -3547. Does 22 divide z?
True
Let x(t) be the third derivative of -t**6/120 - t**5/20 + t**3/3 - 11*t**2. Let u be x(-3). Is 3 a factor of ((-5)/u - 0)*-4?
False
Let p(o) = -13 + 1 - o**2 + 3 - 14*o. Suppose 0 = 5*h - k + 63, -4*h - k = -h + 33. Does 7 divide p(h)?
False
Let k(i) = -325*i - 45. Let u(m) = 36*m + 5. Let b(t) = 6*k(t) + 55*u(t). Let x be b(-2). Let l = 17 - x. Does 18 divide l?
True
Suppose 28*w = 26*w + 30. Is 3 a factor of w?
True
Suppose 14*r = 17*r - 1377. Is r a multiple of 27?
True
Let d be (1 + (95/(-20) - -3))*-8. Suppose u = d*u - 780. Is u a multiple of 26?
True
Let p = 124 - -71. Is 5 a factor of p?
True
Let x = 4 + -23. Let z(a) = a**3 + 19*a**2 - 2*a + 17. Is z(x) a multiple of 11?
True
Suppose -5*x = -2*x. Suppose -5*r - 5*h = -5, -1 = -r + h - x*h. Does 18 divide (-1)/(5/(-310)*r)?
False
Let d be (1 + -2)/1 + 6. Suppose -l + 0*l + d*q + 44 = 0, 2*l = 4*q + 58. Is l a multiple of 8?
False
Let f be 7 + -2*6/4. Suppose -5*i + 303 - 48 = 0. Suppose -f*x + 7*k + 61 = 4*k, 3*x - i = -3*k. Does 8 divide x?
True
Suppose 0 = x - 0*x - 42. Let s(j) = -8*j + 12. Let k be s(-12). Let g = k - x. Does 22 divide g?
True
Let o = -12 + 28. Suppose 4*u - o = -0*u. Suppose -12 - 48 = -u*q. Does 5 divide q?
True
Let c = -2021 - -2861. Is c a multiple of 15?
True
Does 5 divide 1/((3/(-2850))/(-6 - -5))?
True
Suppose -7*z + 3*z = -20. Suppose 167 = z*j + 4*y, -j = -3*j - 3*y + 64. Suppose 0 = 5*l, -4*f + 2*l + j = -5. Does 8 divide f?
False
Let j(g) = g**3 - 12*g**2 + 17*g - 6. Let o be j(9). Let v = o + 187. Is 9 a factor of v?
False
Suppose l - 548 = 312. Is 11 a factor of l?
False
Let y = 29 - 24. Suppose -p = y*p - 720. Is 12 a factor of p?
True
Let t(w) = 34*w**2 + 12*w + 8. Is 24 a factor of t(-4)?
True
Suppose 40 - 12 = -g. Let h = -15 - g. Let l = h - -46. Is 15 a factor of l?
False
Let p = 175 + -363. Does 23 divide 1/(-2) - p/8?
True
Let d(n) = -20*n + 78. Does 22 divide d(-17)?
True
Let v = 13 + -13. Suppose 2*h = -5*x, -5*h - 2*x + 21 = -v*x. Suppose l - 265 = -h*f - 0*l, 