6 a factor of u(m)?
True
Let h = 12 - -12. Let z be 5205/25 - 4/20. Suppose -h*r + z = -22*r. Is 13 a factor of r?
True
Suppose 0 = -4*m - 5*q + 41, 2*m + 2*q + 12 = 6*q. Suppose 0 = m*o - t - 251, 5*o - 4*t - 322 = -0*t. Is o a multiple of 3?
False
Suppose -r - 8 = -3*n - 2, 4*r = n - 2. Suppose -z - 3*z + n*q = -628, 612 = 4*z + 2*q. Is 46 a factor of z?
False
Let z = 25 - 21. Let w(b) = -b**3 + 7*b**2 + 8*b - 11. Let u(o) = o**3 - 8*o**2 - 9*o + 11. Let j(g) = z*w(g) + 3*u(g). Is j(4) a multiple of 9?
True
Suppose -2*f = -7 - 11. Let w be 236/f - (-14)/(-63). Suppose w*c + 69 = 27*c. Does 16 divide c?
False
Let w(v) = 75*v**2 - v - 2. Suppose 19 = 2*j + x, 0 + 2 = -2*x. Suppose -j*f + 14*f = -4. Does 13 divide w(f)?
False
Let t(o) = -o**2 + 23*o + 50. Suppose -27*u + 29*u - 24 = 0. Is 13 a factor of t(u)?
True
Suppose c - d = 2, 3*c + 3*d + d - 27 = 0. Let i(f) = 13*f - 6. Let a be i(17). Suppose -4*q = -c*v + a, -3*v + 51 + 85 = -q. Is 3 a factor of v?
False
Does 53 divide -1 + (-18)/(-15) + -11 + (-430933)/(-85)?
False
Suppose -361556 = -131*p + 853076. Is p a multiple of 17?
False
Let p = 96 - 96. Suppose 5*d - 33 = -5*k + 82, p = -5*d - 20. Does 18 divide k?
False
Let g = -42 - -237. Suppose r + 0*u = -5*u - 37, 4*r + 248 = 5*u. Let w = r + g. Is w a multiple of 36?
False
Let y(g) = -40*g + 538. Is y(-125) a multiple of 142?
True
Suppose -i - 160 = -3*h, -i + h = 262 - 94. Let v = -131 - i. Is 6 a factor of v?
False
Let l = -204 - -46. Let x = l - -614. Is x a multiple of 12?
True
Let h(m) = -120*m - 165. Let p be h(-29). Suppose 5*g - p = -0*g. Does 54 divide g?
False
Let i(b) = 8*b - 45. Let s be i(5). Does 36 divide (-85 + 2)/(s + 54/12)?
False
Let f(g) = -6*g**2 + 425*g + 238. Is 6 a factor of f(64)?
True
Suppose -4*m + 43166 = 3*z, 0 = 5*m - 1247*z + 1243*z - 53942. Is 65 a factor of m?
True
Let a = 31546 + -17168. Does 26 divide a?
True
Suppose 6*w + 3 = 7*w. Let d be (-6)/w*1 - (-33)/1. Suppose 150 = 3*h - 2*v, -5*v = -h + 6 + d. Does 26 divide h?
True
Let k = 13685 - 6528. Is 28 a factor of k?
False
Let a be (-21)/7*1*3/1. Is 8 a factor of (-24)/(-16)*(2 - 534/a)?
False
Does 10 divide (-40)/30*13500/(-2)?
True
Let f = 25 + -20. Let a be 42/(-70) + 48/f. Is (-52 + -2)/((-6)/a) a multiple of 11?
False
Let p(l) be the second derivative of -l**4/8 - 19*l**3/6 + 33*l**2/2 - 37*l. Let h(y) be the first derivative of p(y). Does 17 divide h(-13)?
False
Let w(y) = 39*y + 43. Suppose -2*g = -3*f + 8, 4 = -4*g - 5*f + 32. Is 14 a factor of w(g)?
False
Suppose -286 = 4*p + 2*w, -w - 64 = p - 2*w. Let a = p + 107. Suppose -44*h + a*h = -960. Does 20 divide h?
True
Suppose -4655 = 106*d - 113*d. Let p = d + -202. Does 14 divide p?
False
Suppose -7*v - 8*v = -v. Suppose v = -88*f + 99*f - 3531. Does 26 divide f?
False
Suppose -3*n - 3*n = -12*n + 29466. Is 122 a factor of n?
False
Let n(l) = l**2 + 2*l - 57. Let x be n(-9). Is 26 a factor of (348/10)/(x + (-168)/30)?
False
Let g(m) = -54*m. Let p be g(-13). Suppose -37*x = 20*x - 570. Suppose x*d - p = 7*d. Is 29 a factor of d?
False
Let c(j) = -7*j - 2. Let s(u) = -u**2 - 13*u - 3. Let t(h) = 7*c(h) - 4*s(h). Let r be t(1). Let k(z) = 2*z**3 - 6*z**2 + 3*z + 22. Is 41 a factor of k(r)?
False
Let z(a) = a**2 + 60*a + 957. Is 11 a factor of z(0)?
True
Suppose -7*v - 1361 = 2349. Let q = 804 + v. Does 3 divide q?
False
Let b(p) = -996*p + 1989. Does 103 divide b(-7)?
True
Suppose -a - h + 16190 = 0, 0*a = 16*a + 5*h - 259051. Does 7 divide a?
True
Suppose -2*i = 2*k - 63610, 5*i + 5*k - 159027 = k. Is 17 a factor of i?
True
Suppose 5*u + 45 = 5*c, -c - 3*c + 1 = 3*u. Let f = -1 + 6. Suppose c*g - 2*g = 0, 140 = 4*j - f*g. Is 17 a factor of j?
False
Let m = 33 + -29. Let a be (-9 - m) + 9/(-3). Let q = a + 30. Is q a multiple of 14?
True
Let s(q) = q**2 + 2*q + 4. Let u = 77 - 79. Let j be s(u). Suppose 6*d = k + 3*d - 12, -j*k - 3*d = -63. Is 7 a factor of k?
False
Let y(d) = 12*d**2 + 52*d + 94. Is y(-22) a multiple of 78?
True
Let f(x) = 15*x + 34. Let b be f(-2). Suppose 3*i - 3*q - 30 = 0, -b*q + 7*q + 23 = 2*i. Is i even?
False
Let g(f) = -f**3 + 84*f**2 - 81*f + 688. Does 33 divide g(83)?
False
Let s(r) = 2*r - 13. Let z be s(8). Let t(x) = -3*x - 2*x - 6*x**3 - 2 + 2*x + z*x**2 - 2*x**3. Is 24 a factor of t(-2)?
False
Let a(s) = s**2 - s. Let x(z) = -33*z + 61. Let r(l) = -a(l) + x(l). Is r(-14) a multiple of 35?
False
Suppose b = -60*b + 6827 - 2069. Let v(r) = 65*r + 1. Let i be v(-1). Let g = i + b. Does 4 divide g?
False
Let c = 876 + -507. Suppose -377*l = -c*l - 792. Is l a multiple of 4?
False
Let h(c) = -26*c - 1. Let x be h(2). Let i = 76 + x. Does 6 divide i?
False
Let w(l) = -l - 13. Let g be w(-15). Suppose -g*c = -0*c - 0*c. Suppose 3*h - 113 = -c*h + i, 4*h - 154 = 2*i. Is 12 a factor of h?
True
Does 88 divide 3836 + 5 + (-14 - -10) + (-21)/3?
False
Suppose -5*n + 0*n + 2*t + 6785 = 0, 4*n - 17*t - 5351 = 0. Is n a multiple of 94?
False
Let o(u) = -9432*u + 58. Is 73 a factor of o(-1)?
True
Let l be 1/5 - ((-3204)/10)/(-2). Let a = 125 - l. Does 15 divide a?
True
Let w(h) = 2158*h**2 + 77*h + 79. Does 9 divide w(-1)?
True
Suppose 3*i = -i + 132. Suppose 0 = w - z - i, -2*z - 2*z + 20 = 0. Is 4/w + 38286/171 a multiple of 16?
True
Let m be 2372/18 + 1 - 46/(-207). Suppose 3*r + d = m, -5*r + 84 = 2*d - 139. Let i = -36 + r. Does 5 divide i?
False
Suppose 10628 = 5*s - 4*w, 3*w + 10614 = 5*s + 6*w. Does 36 divide s?
True
Suppose 522568 = 186*t - 2028050. Is t a multiple of 12?
False
Let z = -470 + 480. Is 1*2 + (z - -804) a multiple of 48?
True
Suppose 0 = 261*h - 88*h - 582491. Is 15 a factor of h?
False
Let q(y) = -y**3 + 61*y**2 - 203*y + 133. Does 10 divide q(55)?
False
Does 15 divide ((-7081)/1)/((-23)/92*4)?
False
Suppose -4*u - x - 81 = -822, -u - 4*x = -189. Let c(d) = -d**2 - 11*d - 7. Let p be c(-11). Does 16 divide 3 - 24/7 - u/p?
False
Suppose 2*h - 42 = -30*q + 27*q, -2*h = -q - 26. Suppose h*d - 2669 = -599. Is 6 a factor of d?
True
Let b(k) = -10*k - 40. Let n be b(-4). Suppose 24*f - 960 = -n*f. Does 4 divide f?
True
Let i(c) be the first derivative of 3*c**2/2 - 22*c + 8. Let s be i(6). Is 966/9 - s/6 a multiple of 17?
False
Let k(i) be the second derivative of -7/6*i**3 + 1/3*i**4 + 13*i + 0 + 8*i**2. Is k(5) a multiple of 21?
False
Suppose -p = -2*t - 3312, -73*p + 74*p - 3303 = -t. Is p a multiple of 14?
False
Suppose 2*c + 2*g = 1087 - 311, -400 = -c - 4*g. Is 18 a factor of ((-3)/(-4))/1*c?
True
Suppose 2*h = -781 + 16197. Is h a multiple of 111?
False
Let p(v) be the second derivative of -v**7/1260 + v**6/360 + v**5/10 - 5*v**4/4 - 12*v. Let o(t) be the third derivative of p(t). Is o(0) a multiple of 3?
True
Let t = -283 - -461. Suppose 3*y - t = 881. Does 3 divide y?
False
Suppose 3*w - 3*s = -12, 0 = 4*w + 4*s + 31 - 47. Suppose w = 50*m - 52*m + 12. Does 3 divide m?
True
Let v = 7836 - -3573. Is 36 a factor of v?
False
Suppose i = -a + 28516, 3*a + 5*i = 29960 + 55594. Is a a multiple of 16?
False
Suppose -77*n + 223016 = -48332. Is n a multiple of 7?
False
Let b = -3264 - -3341. Is b a multiple of 7?
True
Let p = -1 + 3. Suppose -20 = 5*w - 7*w. Is 9 a factor of (75/w - -2)*p?
False
Let t(z) = z**3 - 11*z**2 + 19*z - 7. Let r be (-1)/(-18)*158 + 2/9. Let p be t(r). Suppose 0 = -p*y + 4*a + 124, -4*y = -9*a + 4*a - 239. Does 9 divide y?
False
Let b(v) = -v - 3. Let i be b(-5). Let z(l) = -7*l - 20. Let n be z(-14). Suppose -i*t = -t - n. Does 15 divide t?
False
Let a = -3215 + 10368. Does 28 divide a?
False
Let p(v) = -v**3 - 5*v**2 + 2*v + 3. Let h be p(-6). Let m(r) = -3*r**2 + 4*r**2 - 10*r - h + 0*r**2 + 4*r. Does 15 divide m(12)?
True
Suppose -5*i + 5*k + 18025 = 0, -2941 - 676 = -i - 3*k. Let t = i + -2122. Is t a multiple of 18?
False
Suppose 4*v - 3*v = -1, 2*s + 7 = v. Let u be ((-28)/21)/((-2)/6). Is u*(2 - -2) - s a multiple of 15?
False
Let a be (-6)/(-6) + 6 + -2 + 250. Suppose -10*c = -9*c - a. Is c a multiple of 13?
False
Let v(b) = 2*b - 27. Let s be v(16). Let q be -1 + 0 + (19 - 16). Suppose -52 - 163 = -3*k + q*h, 3*k - s*h = 218. Is k a multiple of 18?
False
Let l(j) = -188*j + 82*j + 90*j + 48. Let w be l(12). Let d = -89 - w. Does 25 divide d?
False
Suppose -31*i - 17*i + 2*i = -653568. Does 27 divide i?
False
Let l(p) = -p*