0*m + d + 37. Is 128/m + -11 + 12 + -1 even?
True
Suppose 2*s + s - 2504 = -4*b, b + s - 627 = 0. Suppose 7*p - b = -126. Let x = p + -34. Is x a multiple of 11?
False
Let a be (-22)/(-6) - (-30)/(-45). Let h(w) = 120*w**2 + 14*w - 4. Let l be h(2). Suppose 4*z = 2*g + 412, l = 2*z + 3*z + a*g. Is z a multiple of 21?
False
Let h(g) = 205*g + 7340. Does 8 divide h(-33)?
False
Let y(b) = b**2 - 223*b + 13867. Is y(55) a multiple of 50?
False
Is (517/4)/((-10 - (-13169)/1196) + -1) a multiple of 26?
False
Suppose -2*k - 7 = -11. Suppose 8 = -2*l + 3*b - 4, k*l - 4*b + 16 = 0. Is -1 - (-4 + -1 + 2 - l) a multiple of 2?
True
Let c be -2 - (51*-1 - -3). Let y = 35 - c. Let m(s) = -4*s + 31. Is 17 a factor of m(y)?
False
Suppose 127*s - 10278 = 133*s. Let j = 3326 + s. Is 90 a factor of j?
False
Let p(o) = 64*o - 289. Let u(l) = 93*l - 433. Let m(x) = 7*p(x) - 5*u(x). Does 9 divide m(-16)?
True
Let q(j) = 263*j**2 + 25*j + 271. Does 11 divide q(17)?
True
Suppose 13*b - 8265 = -16*b. Is 14 a factor of b?
False
Let q = -74 - -32. Let t = q + 79. Is 8 a factor of t?
False
Let l(i) = 57 + 11859*i + i**2 + 21 - 11860*i. Is 19 a factor of l(12)?
False
Let u be (-112)/616 + 482/(-11). Let b(m) = m**3 - 5*m**2 + 5*m - 4. Let t be b(4). Is (u - (-2 + t))/(-2) a multiple of 15?
False
Is 7/(56/12) + 10059/14 a multiple of 9?
True
Let h = -8282 - -14457. Does 13 divide h?
True
Let n = -9 - -9. Suppose -2*q + q - 25 = 5*w, 5*w + 5*q + 5 = n. Let k(d) = d**3 + 5*d**2 - 11*d. Is 11 a factor of k(w)?
False
Let w(l) = l**3 + 4*l**2 + 4*l - 2. Let q be -1 - ((-2 - -2) + 1). Let a be w(q). Is 0 - -2 - a - -16 a multiple of 12?
False
Suppose -4*q - 5*q + 315 = 0. Let g = 38 - q. Is (g/(-2))/((-30)/1040) a multiple of 13?
True
Let q(c) be the first derivative of -c**3 - 28*c**2 + 10*c - 74. Does 5 divide q(-10)?
True
Suppose 72 = -3*h + 12*h. Suppose 2*k - 396 = h*k. Let s = 10 - k. Does 19 divide s?
True
Suppose 27*n + 750772 = 2070640. Is n a multiple of 242?
True
Let o(g) = 4*g**2 + 6*g + 10. Let m(r) = 2*r**3 + 2*r**2 - r + 1. Let n be m(-2). Let v be o(n). Let p = 18 + v. Does 13 divide p?
False
Let f = -46 + 75. Suppose -2*t + 36 = g, f = -3*t - 4*g + 93. Does 9 divide (8/(-6))/(t/(-264))?
False
Is (-148)/(-4)*(-8)/10*(-8750)/140 a multiple of 10?
True
Let z(v) = -2*v**3 + v**2 + 10*v. Let y be z(0). Suppose y = 11*o - 10458 + 2318. Is 13 a factor of o?
False
Suppose -12*m - 20201 = -108*m - 6281. Is 10 a factor of m?
False
Let a(p) = 4*p - 28. Suppose -2*y = -3*u, -2*y + 26 = -3*y - 5*u. Let w(g) = 5*g + 39. Let v be w(y). Is a(v) a multiple of 3?
False
Let h be (-14 - (-11 + -1)) + (37 - 1). Let d(l) = -l**3 + 35*l**2 - 30*l + 95. Is d(h) a multiple of 7?
True
Let p(h) = -9*h**3 - h**2 - 7*h + 142. Is 6 a factor of p(-10)?
False
Let m = 4453 + 12368. Is m a multiple of 189?
True
Suppose -u + s + 6 = 0, 3*u - 2*s = 5*u. Let i be u/6*4*(-20)/(-8). Suppose -i*t - 2*x + 99 = 0, -5*x + x + 46 = 2*t. Does 2 divide t?
False
Let b be -4 - 0 - (-13)/1. Let n be (-9)/(b/(-106)) - 5. Suppose -n = 9*q - 2432. Is 15 a factor of q?
False
Suppose -w + 8 = 31. Let f be -3 + 0 + -47 + 3. Let u = w - f. Does 8 divide u?
True
Is -2 + 5/((-50)/(-15710)) a multiple of 4?
False
Let i(d) = d**2 - 5*d - 2. Let m be i(6). Let u(h) = -h**3 + 5*h**2 - 3*h. Let f be u(4). Suppose 4*r = -m, f*l = r + 423 + 54. Is 17 a factor of l?
True
Suppose -2*j + 5*j = 180. Suppose t - j = -2*t. Is 30 a factor of 9*(t/3)/2?
True
Suppose 7*f - 6934 = -3056. Does 22 divide f?
False
Let l(n) = 5*n**3 - 6*n**2 + 6*n. Suppose 0 = -20*k + 19*k + 5. Is 8 a factor of l(k)?
False
Let a = -150 - -155. Suppose 3*r - 219 = -3*w, 0*r - 381 = -a*w - r. Is w a multiple of 7?
True
Suppose -33*o + 404910 = -3*o. Does 12 divide o?
False
Let p(x) = -11*x**2 + 76*x + 50. Let w(y) = 4*y**2 - 26*y - 17. Let u(i) = -3*p(i) - 8*w(i). Does 30 divide u(22)?
True
Suppose -2*n - 2 = 0, -t + 216 + 44 = -n. Suppose -t = -4*o + 869. Does 13 divide o?
False
Let t(s) = 38. Let k(d) = -d - 1. Let v(g) = 6*k(g) + t(g). Let p(z) = -6*z + 32. Let y(b) = -3*p(b) + 2*v(b). Is 14 a factor of y(15)?
False
Let a(o) = o**3 + 3*o**2 - 5*o - 4. Let k = -49 - -45. Let s be a(k). Is 15 a factor of -20*3/(-1 - s)?
True
Suppose -149*n + x = -149*n, -4*x = 2*n - 46852. Is 53 a factor of n?
True
Let b(j) = 37*j**2 + 36*j - 68. Is 47 a factor of b(-8)?
False
Let z be ((-2)/(-5))/((-15)/(-150)). Suppose 5*m = -d - 5 - 35, z*m + 16 = 0. Is 12 a factor of ((-82)/4)/(10/d)?
False
Suppose -24*p + 56580 = 4*a - 20*p, 0 = 4*a - 4*p - 56620. Is 2 a factor of a?
True
Let x = -1735 + 1213. Let p = x + 626. Is 23 a factor of p?
False
Let i = 1404 + -812. Suppose 0 = 12*v - 16*v + i. Let b = v - -4. Does 19 divide b?
True
Let q = -91 + 91. Suppose q = 34*b - 30*b + 32. Let m(t) = -t**3 - 7*t**2 + 4*t - 9. Is 10 a factor of m(b)?
False
Suppose 0 = -5*b - 2*f + 19 + 11, 4*f = 0. Suppose -a = -2*n - 141, 3*a - b*n - 414 = -3*n. Does 20 divide a?
False
Let h(t) = 551*t - 8. Let a be h(2). Suppose -1476 = -4*k + 3*z - z, 5*z - a = -3*k. Does 31 divide k?
False
Let f(y) = y**3 - 3*y**2 - 4*y + 4. Let t be f(4). Suppose 2*x = 3*z + 3, -2*z - 2*x - t = -4*x. Does 14 divide (-168)/(-2) + z + -1?
True
Let y = 4089 - -146. Is 55 a factor of y?
True
Let m(t) = -8*t - 18. Let r(j) = -j. Let c(h) = -2*m(h) + 18*r(h). Let z be c(14). Does 13 divide (-39)/52 + 1222/z?
False
Let b(t) = t**3 + 7*t**2 - 17*t - 18. Let k(s) = 9*s - 44. Let o be k(4). Let g be b(o). Suppose -g*p + 354 = -48*p. Is 24 a factor of p?
False
Let u = 73 - 43. Suppose 4 - 23 = 2*m - 5*v, 0 = 5*m + 3*v - u. Suppose -12 = -m*g, 0 = -3*s + 5*g + 244 + 36. Is s a multiple of 50?
True
Let y(i) = -327*i + 2261. Is y(-58) a multiple of 51?
False
Suppose 17*y + 23717 - 48362 = 75553. Is 6 a factor of y?
False
Suppose 100 = -3*d + 13*d. Let g(x) = -x**3 + 12*x**2 - 13*x - 15. Let i be g(d). Suppose 0 = h - i - 17. Is h a multiple of 8?
True
Let n(v) be the third derivative of -v**6/40 + v**5/12 + v**4/24 - 11*v**3/6 - 56*v**2 + 1. Is 28 a factor of n(-3)?
True
Let x(q) = -582*q - 24. Let m be x(-2). Suppose -140*t = -143*t + m. Is t a multiple of 12?
False
Suppose 9008 = 2*t + 12*s - 10*s, 5*t - 22520 = 2*s. Does 9 divide t?
False
Is 18 a factor of (-20)/(-290) - (366432/(-174) + 0)?
True
Suppose -57 = -13*c - 5. Suppose a = 3*y - 1397, c*y - 12*a = -11*a + 1861. Does 16 divide y?
True
Let o be (20/(-18))/5 - 356/18. Is 9 a factor of (-5148)/o - ((-27)/(-15))/(-3)?
False
Suppose -59*f = -57*f - 4. Suppose 2*r + 5875 = 6*r + x, -f*x + 2930 = 2*r. Is 105 a factor of r?
True
Suppose -81637 + 7639 = -18*x. Is 17 a factor of x?
False
Let v(c) = 303*c + 46. Let k be v(-6). Let r = k + 2502. Suppose -r = -22*a + 17*a. Is a a multiple of 31?
False
Suppose 0 = -w, -h = -2*h - 2*w + 2. Suppose -329 = -5*d + 2*i, 6*d - 7*d - h*i = -61. Does 8 divide d?
False
Let w = -34 - -14. Let j(l) = -l**2 - 19*l + 29. Let s be j(w). Suppose -4*f - 39 = 4*v - s*v, v + 4*f - 27 = 0. Is 4 a factor of v?
False
Let q = 30 + 4. Let j = 39 - q. Suppose 5*v = -j*m + 360, -m - v - 68 = -2*m. Is 10 a factor of m?
True
Let r(k) = k**3 - 18*k**2 + 20*k - 39. Let f be r(17). Suppose f*m - 9*m - 24 = 0. Let o(l) = l**2 + 3*l - 51. Is o(m) a multiple of 37?
True
Let p = 39 + 58. Suppose 104*i - p*i = 2443. Is i a multiple of 13?
False
Let k be (-5)/((-15)/33) - 6. Is 9 a factor of 2292/(k + 1) - (-3 - 2)?
True
Let y be 16/(-96) - (-3769)/6. Suppose -4*t + y = j, 2*j + 324 = 2*t - 0*j. Is 23 a factor of t?
False
Suppose -25019 + 49780 = 22*y - 67991. Is y a multiple of 8?
True
Let d be ((-69)/(-21) - 3) + 254/(-7). Let u be d/90 + (-52)/(-5). Suppose t + 2*w - 54 - u = 0, -2*w = -t + 48. Is 10 a factor of t?
False
Let m be (-114)/(-10) + 102/(-30) + 4. Suppose 4*d + 1 = -3*i, -1 - m = -5*i - 3*d. Does 5 divide i?
True
Let i = 417 - 187. Suppose 16*m = 17*m - i. Does 23 divide m?
True
Let b(q) = -17*q - 35. Let h be b(-2). Let a(u) = 1080*u**2 + 11*u + 11. Does 54 divide a(h)?
True
Suppose 0 = 4*k + 356 - 92. Is 2 + (-72)/33 + (-13806)/k a multiple of 30?
False
Suppose -99*l + 94652 + 17144 = -23*l. Is l a multiple of 4?
False
Let t = 1516 - -32820. Does 31 divide t?
False
Let f(v) = -v**3 + 6*v**2 - 6*v - 13. Let d be f(6). Let j = 58 + d. Does 10 divid