= 39*z**3 - 8*z**2 + 13*z - 12. Let f(d) = h(d) + 2*n(d). Does 3 divide f(2)?
False
Let m = -340 - -97. Let r = -201 - m. Is r a multiple of 7?
True
Suppose -24*b - 4*o - 2190 = -29*b, 3099 = 7*b + o. Does 7 divide b?
False
Suppose -65*w + 54*w + 55 = 0. Suppose 5*q = w*z + 310, 4 + 172 = 3*q + 2*z. Does 60 divide q?
True
Let w = 7675 + -5131. Suppose 45*o + 3*o = w. Is 9 a factor of o?
False
Let z(d) = -d**3 - 89*d**2 - 59*d + 2239. Is 35 a factor of z(-89)?
True
Let x(t) be the third derivative of 7*t**6/48 - t**5/120 - 11*t**4/24 + 17*t**2. Let c(l) be the second derivative of x(l). Is c(1) a multiple of 50?
False
Let j = 46 + 5. Suppose f + 19 = 5*y, -4*y + j + 5 = -2*f. Let w = 2 - f. Does 12 divide w?
True
Suppose 2*z = -2, l - 1805 = -62*z + 67*z. Suppose 3*t + l = 8*t + 2*o, -3*t + 1080 = -o. Is t a multiple of 20?
True
Suppose 18 = -5*v + 28. Is 16 a factor of 380/60*(113 - v)?
False
Let c(k) = 40*k**2 - 29*k + 28. Let i be c(1). Suppose i*b = 34*b + 5750. Is b a multiple of 13?
False
Suppose -26*y + 27*y = 8. Suppose 13*b = y*b + 505. Is 17 a factor of 0/9 - -1*b?
False
Let r(f) = -16*f**2 - 2*f - 1. Let b be r(2). Let n be ((-46)/b)/(0 + 2/21). Suppose -18 = -n*h + 108. Is 9 a factor of h?
True
Suppose 43*s - 124 = 48. Suppose -g + 5*b = -120, 4*b = s*g + 285 - 829. Is g a multiple of 14?
True
Let l(i) = i**3 - 61*i**2 + 133*i - 67. Let c be l(59). Let o = -561 + c. Is o a multiple of 3?
False
Let i be ((-70)/105)/((8/6)/(-2)). Is 17 a factor of -5*i - (5 + 4 - 723)?
False
Is (5 - 95/9)*(-8 + -5 + 4) a multiple of 2?
True
Let r(y) = -y**3 - 12*y**2 + 13*y + 16. Let g be r(-13). Is 17 a factor of (884/g)/(14/56)?
True
Let p(r) = -2*r - 13. Suppose 3*n + n + 35 = 5*b, 0 = 2*b + 3*n + 9. Let o(x) = -x - 14. Let a(l) = b*p(l) - 2*o(l). Is a(-6) even?
False
Let c = 4 - -1393. Is 19 a factor of c?
False
Suppose 194 - 186 = 2*w. Suppose -2*b = 4*q - 78, 7*q - w*q - 58 = -b. Is q even?
False
Let s = -164 - -240. Let b = -15 + s. Is b a multiple of 6?
False
Let y(i) = -4*i - 12. Let z(d) = -d**3 - 8*d**2 - 12*d - 2. Let h be z(-6). Let v be y(h). Let m(f) = -2*f**3 + 3*f**2 - f - 6. Does 29 divide m(v)?
True
Suppose -4*n - s = 2*s - 6, 5*s - 10 = n. Suppose -2*w = -5*v - n*v + 865, -2*w + 10 = 0. Is 35 a factor of v?
True
Let g(a) = 1072*a**3 - 4*a**2 + 5*a - 1. Does 2 divide g(1)?
True
Suppose j = 5*d - 105567, -402*j = -403*j - 2. Is 178 a factor of d?
False
Let g = -257 - -1043. Suppose g = 5*y - 4*o, 0 = -4*y - 3*o + 515 + 89. Does 7 divide y?
True
Suppose -10*g - 89 = 161. Let w = 19 + g. Is 18/4*16*(-1)/w a multiple of 10?
False
Does 74 divide 3 + (-50)/16 - 32/((-4352)/4216833)?
True
Does 151 divide (-16 + 29 - -23340) + 3*(-16)/12?
False
Let c(n) = 155*n - 47. Is 6 a factor of c(7)?
True
Suppose g + 3*x = 5, -x = 5*g + x - 25. Suppose 0*r - 2*r - 780 = -3*p, -2*p - g*r + 520 = 0. Does 10 divide p?
True
Let h(d) be the third derivative of -7*d**6/360 + 7*d**5/60 - d**4/6 + d**2. Let q(y) be the second derivative of h(y). Does 28 divide q(-9)?
True
Suppose 3*f - f = 0. Let p be (-1392)/(-240) + 4/(-5). Suppose f*l = a - 3*l - 76, -5*a = p*l - 300. Does 16 divide a?
True
Suppose 136*d - 140*d = -3*m + 13384, -m = -d - 4462. Is m a multiple of 124?
True
Let w = -10336 - -11992. Is 24 a factor of w?
True
Let j(x) be the first derivative of -x**4/4 - 3*x**3 - 3*x**2/2 - 15*x + 42. Suppose -15 = y - 3*h, 4*y = 6*y - 2*h + 22. Is 8 a factor of j(y)?
False
Let j be 1/2*(1/1 - -5). Suppose -6*f + 4*n + 84 = -2*f, j*n + 47 = 2*f. Suppose -8*i - 440 = -f*i. Does 8 divide i?
False
Let c = 7634 - 7250. Is 8 a factor of c?
True
Suppose -2*o = -4*w + 94, 2*w = -2*o + 29 + 21. Suppose 23*p + 154 = w*p. Is 7 a factor of p?
True
Suppose 0 = 50*d + 20726 - 67226. Is d a multiple of 7?
False
Let j(m) be the third derivative of -7*m**5/60 - m**4/4 + 3*m**3/2 - 2*m**2. Let b(o) be the first derivative of j(o). Is b(-5) a multiple of 32?
True
Suppose 5*w - 9*w = -8. Let b be 417/(-2)*(-2)/3. Suppose -23 - b = -w*k. Is k a multiple of 20?
False
Let h be (3 - -1) + (-2)/(-2). Let j be (-6)/h*(-590)/4. Suppose 0 = p - j + 32. Is p a multiple of 8?
False
Let p = -5856 - -7391. Does 3 divide p?
False
Suppose 3*r = 3*i + 339, 5*i + 344 - 133 = 2*r. Suppose -3*f = -3*o - 363, -9*f + 2*o - r = -10*f. Is f a multiple of 24?
True
Suppose 0 = -16*h + 11*h + 80. Suppose 0 = -18*q + h*q - 100. Does 25 divide 6/((-3)/q - 0)?
True
Let d = 48996 - 30126. Is d a multiple of 30?
True
Let i(k) = 11*k - 43*k**2 + 20*k + 99 + 33*k - 19*k - k**3 + 22*k. Does 54 divide i(-45)?
True
Suppose -34*s + 15*s = -48*s + 113100. Is 39 a factor of s?
True
Let i = 21258 - 13705. Is 83 a factor of i?
True
Suppose -236*i + 252*i - 299568 = 0. Does 6 divide i?
False
Let k = 718 - -23894. Is k a multiple of 14?
True
Let x(f) = f**2 - f - 15. Let a(j) = j**3 + 4*j**2 - 4. Let k be a(-3). Let t be x(k). Suppose t*y + r - 5 - 45 = 0, -2*y + 3*r = -3. Is 4 a factor of y?
False
Let n = -95 + 97. Suppose 0 = 18*u - n*u - 6656. Is u a multiple of 40?
False
Suppose -15*c + 3 = -18*c. Let r be (c/3)/((-785)/195 - -4). Let f(s) = 3*s + 15. Does 6 divide f(r)?
True
Let x = 95 - 87. Suppose -3*r + x*r = 20. Does 33 divide 3455/35 - r/(-14)?
True
Let d = -2856 - -4456. Is d a multiple of 8?
True
Let v(l) = -7*l**2 + 2*l - 1. Let r be v(1). Let s be (-9)/6 + 0 - 39/r. Suppose s*q - c - 178 = -0*q, -4*q + 2*c + 146 = 0. Does 8 divide q?
False
Let x be (-2 - (-25968)/(-21))*(10 + -3). Does 17 divide (((-4)/(-10))/((-17)/x))/2?
True
Let z(s) be the first derivative of 505*s**3/3 + 3*s**2/2 + 2*s + 13. Let a be z(-1). Suppose -4*m + 0*m = -a. Is 14 a factor of m?
True
Let k(t) = -t**2 + t + 6. Let q be k(0). Let o be 0 - -2*9/q. Suppose -2*u = -o*s + 53, -4*s - u + 69 = -4*u. Is 4 a factor of s?
False
Suppose -17*b = 17*b - 8*b - 27820. Is 61 a factor of b?
False
Let j(f) = -7 + 16*f + 7*f + 114*f**3 + 11*f**2 - 7 - 115*f**3. Let h be j(12). Suppose 5*n = -h + 378. Does 13 divide n?
True
Let l(s) = -277*s + 3490. Does 3 divide l(0)?
False
Let g(v) = -589*v**3 + 6*v**2 - 325*v - 988. Is 29 a factor of g(-3)?
False
Let c(g) = -g - 12. Let x(m) = 7*m + 37. Let z be x(-7). Let l be c(z). Suppose l = 4*k + 6*k - 540. Does 4 divide k?
False
Suppose 9*f - 17 = -5*h + 11*f, 3*f + 3 = 0. Suppose -18*x + 2835 = h*x. Does 27 divide x?
True
Let d(m) = -7*m + 128. Let w be d(-27). Let i = w - 222. Does 19 divide i?
True
Let x = -9970 + 12694. Is x a multiple of 50?
False
Let z(m) = 6*m**2 + 4*m - 3. Let r be z(1). Suppose -2*f = -o - r, -3*f + 33 = 2*o + o. Does 2 divide f?
True
Suppose 0 = -4*d - 10*d - 239064. Is 19 a factor of (d/(-36))/(2/6)?
False
Let z = 23 + -53. Let x be (-8)/6 - 910/z. Suppose 0 = d - 4*p - 95, d - x = -4*p + 26. Is 5 a factor of d?
True
Let z(w) = 264*w - 4. Let s be z(3). Let o = s - 55. Does 34 divide o?
False
Is (-16 - (2 - 7)) + 12928 a multiple of 11?
False
Let w = -411 - -400. Let z(s) = 3*s**2 - 93. Is 90 a factor of z(w)?
True
Let v = -17 - -20. Let l be 80/(-25) - v/(-15). Is 18 a factor of (1 - -103) + (-12)/l?
True
Let a = 776 - 774. Suppose -a*y + 1784 = 4*d, 990 + 3525 = 5*y - d. Does 22 divide y?
True
Let j be (-3 + 8)/(5/2). Suppose 3*b - k - 732 = b, -j*k = 3*b - 1084. Does 26 divide b?
True
Let l = -1288 + 3043. Does 65 divide l?
True
Suppose -6*m - 35 = m. Let o(z) = 8*z + 41. Let s be o(m). Is 13 a factor of (12 + (s - -1))*42/4?
False
Suppose 0 = -3*s + 3*l + 5196, -40*s + 37*s = l - 5212. Does 31 divide s?
True
Suppose -2*h + 12 = 3*p - p, -h + 42 = 5*p. Let z(m) = -46 + p*m - 6*m + 0*m. Does 11 divide z(19)?
True
Suppose v + 3*q = -2 + 47, 2*q + 40 = v. Let k be (-8)/28 - (-2)/(v/1539). Let u = k + -10. Does 9 divide u?
True
Let y be (-135)/18 + 8 + 1225/(-2). Let z = y + 1290. Is z a multiple of 17?
False
Let x(h) = h**3 - 134*h**2 + 302*h + 941. Does 23 divide x(132)?
True
Let v(b) = -b - 20. Let r(c) = -2*c**3 + 3*c**2 + 2*c + 2. Let l be r(3). Let d be v(l). Let k(u) = -36*u**3 - u**2 - u. Does 17 divide k(d)?
False
Let v = 8666 - 2146. Is 80 a factor of v?
False
Let s = -687 + 996. Let g = s + -102. Is 69 a factor of g?
True
Let y(b) be the first derivative of 483*b**4/4 - 2*b**3/3 + 7*b**2/2 - 5*b + 125. Does 21 divide y(1)?
True
Let y(u) = 4*u**2 + 56*u**3 + 48*u**