Let m(p) be the third derivative of -35*p**4/24 + 42*p**2. Is 7 a factor of m(q)?
True
Suppose 0 = -14*l + 3*l + 33. Suppose 5*x - 57 = -l*t + 42, 0 = -x + 3. Is t a multiple of 7?
True
Let w be -3 - (3 - 20/5). Is (21/w)/((18/24)/(-3)) a multiple of 14?
True
Let i(j) = j**2 + 23*j + 144. Let p be i(-8). Suppose -376 = -11*q - p. Is q a multiple of 16?
True
Let r be (7/(-3))/(4*(-2)/(-216)). Is -48*r/(-21)*2/(-6) a multiple of 24?
True
Suppose 7*j - 77 = -4*j. Is 34 a factor of 1/j - 4759/(-7)?
True
Let c be (35 + 4)/(-13)*(-5)/3. Suppose 6*f - 5*f - 15 = -3*z, 3*f - 1 = 2*z. Suppose f*v = -5*d + 71, -78 = -c*d - 5*v - 3. Does 2 divide d?
False
Suppose -42564 + 302404 = 145*o. Is 14 a factor of o?
True
Let y(d) = -14 - 5*d + 3*d**2 + 37 - 19 + 6*d**3 + d. Does 56 divide y(2)?
True
Suppose -5*r + 316 = -89. Let j be ((-20)/6)/((-3)/9). Suppose r = j*q - q. Is q a multiple of 9?
True
Let r(d) = -1502*d + 44. Let s be r(6). Does 8 divide s/(-646) + (-4)/(-34)?
False
Let m be ((-6)/4)/((-12)/9632). Suppose -12*o + 26*o = m. Is o a multiple of 43?
True
Let z = 168 - 40. Suppose -38 + z = 3*k. Is k a multiple of 2?
True
Suppose 108*z - 3634290 = 8*z - 731490. Is 177 a factor of z?
True
Suppose 4*w = 3*v + 86, 0 = -4*w - 4*v + v + 74. Let o(p) be the third derivative of 7*p**4/24 - 20*p**3/3 - 19*p**2. Is 25 a factor of o(w)?
True
Let d = 2253 + 464. Is d a multiple of 37?
False
Suppose -5*k = b - 184672, 2*k + b - 51592 = 22272. Does 19 divide k?
True
Let y(j) = j**3 - 8*j**2 - 19*j + 27. Let x be y(10). Suppose -x*q + 39*q = 2156. Is q a multiple of 28?
False
Let q(s) = s**3 + 10*s**2 - 2*s - 17. Suppose -7*f + 20 = -9*f. Let m be q(f). Suppose m - 22 = -n. Does 19 divide n?
True
Let o = 49 + -48. Let k be (-1)/(o + -3)*0. Suppose 3*p + 5*g = 41, k = -3*p - 3*g + 8 + 31. Does 2 divide p?
True
Let k(j) = -j**2 - 16*j + 73. Let h be k(-18). Let z(l) = 14*l + 325. Does 16 divide z(h)?
False
Let a be 1917 + (45/5 - 4). Suppose -5*o - 322 = 4*d - a, -2*d + o = -814. Is d a multiple of 27?
True
Suppose -2*o - 3*o + 290 = 0. Let m = o + 157. Let z = 568 - m. Is z a multiple of 51?
False
Let c be -18 - ((-4)/1)/(-8)*0. Is 1/(-6) - (8085/c - -3) a multiple of 15?
False
Suppose 328*f - 12 = 325*f. Is 8 a factor of (-3)/(f + 211/(-52))?
False
Let b(a) = 1896*a - 89. Is b(4) a multiple of 121?
False
Let u(l) be the third derivative of l**6/40 + l**5/30 + l**4/6 - 5*l**3 - 2*l**2 - 70*l. Is 17 a factor of u(6)?
True
Suppose -2*o + 3*p = -19158, 2*p - 47 = -35. Is o a multiple of 29?
False
Suppose 4*b = -b - 20. Let q be b/22*-1 - (-106)/22. Suppose 5*s + f - 553 = 0, q*f - f = -8. Is 37 a factor of s?
True
Is -14*(-15885)/27*(-24)/(-14) a multiple of 63?
False
Suppose o = -4*a + 2210, -21*a - 3 = -18*a. Does 3 divide o?
True
Let r(n) = n**3 - 9*n**2 + 15*n + 18. Let v be r(6). Suppose -2*s + 4*b - 164 = v, 0 = 3*s + 4*b + 75 + 201. Is 8 a factor of (2 + -12)/(11/s)?
True
Suppose -5*h = -5*d - 2890, 24*h + 2*d + 2884 = 29*h. Does 24 divide h?
True
Suppose -2*f - 5206 = -d, -21*d = -11*d - 5*f - 52000. Is d a multiple of 46?
True
Let l(h) = -995*h - 34. Let n be l(-4). Suppose n = 19*i - 8024. Is 35 a factor of i?
True
Does 50 divide -1 - (-3)/5 - 8704272/(-680)?
True
Suppose -1946 = -5*m + 2389. Is 96 a factor of m - (-2 - -3 - 34/(-17))?
True
Suppose 5*q + 59 = 3*v + q, -v + 4*q = -9. Suppose 100 = -29*u + v*u. Is 27 a factor of (540/u)/(2/(-10))?
True
Suppose -160*f + 268120 = -797480. Is f a multiple of 222?
True
Suppose 32*w - 26*w + 132 = 0. Let u(m) = m**3 + 24*m**2 + 26*m - 48. Does 12 divide u(w)?
True
Suppose 0 = 3*f - 6, 2*k - 5*k = -2*f - 2. Suppose -k*y = m - 824 - 14, -4*m + 3322 = -2*y. Does 32 divide m?
True
Let i(l) be the second derivative of l**5/20 - 7*l**4/6 + l**3/3 - 4*l**2 + 20*l. Let f be i(13). Let o = -99 - f. Does 13 divide o?
True
Suppose -k - 11 = -642. Suppose -8*x = k + 329. Let n = -110 - x. Is n a multiple of 10?
True
Suppose 0 = -49*d + 44*d - 2*j + 1917, 0 = -3*d + j + 1159. Is 55 a factor of d?
True
Suppose -2*v - 26*r + 7 = -29*r, -4*r = -3*v + 10. Let q be 54/(-12)*2/(-3). Suppose -128 = -q*c - v. Is 6 a factor of c?
True
Let f(b) = -7*b + 38. Let x(j) = -8*j + 40. Let r(l) = 3*f(l) - 2*x(l). Is r(-23) a multiple of 11?
False
Let p = 10 - 1. Does 22 divide 12/p*297/2?
True
Let y be ((-39)/12)/(10/(-24))*5. Is 6 a factor of 2*(-4 - (-22)/4) + y?
True
Suppose 3*o - 15*m + 17*m = 171072, -3*m = -2*o + 114074. Does 53 divide o?
True
Suppose -11*s + 1207 - 96 = 0. Let u = s + -25. Let z = 106 - u. Does 5 divide z?
True
Let l = 4623 - 3158. Does 14 divide l?
False
Let g = 17 - 15. Suppose g*h = 41 + 5. Let q = h + 0. Does 3 divide q?
False
Let b(h) = 118*h**2 - 3*h + 7. Let n be b(3). Let j = n - 673. Let d = j + -276. Does 13 divide d?
False
Let u(m) = 52*m**2 - 105. Is u(9) a multiple of 66?
False
Let f = 11 - 11. Suppose z = 3*d, 4 = -f*d + 2*d. Let y(n) = -n**3 + 8*n**2 + 2*n + 8. Is y(z) a multiple of 23?
True
Let u = 6577 + -6136. Is u a multiple of 21?
True
Let s = 2668 + -1857. Let i = s + -5. Is 13 a factor of i?
True
Suppose 3 + 5 = 2*l. Let w be ((-65)/(-7) - 4) + (-8)/28. Suppose r + 2*r = 0, l*d - w*r - 192 = 0. Is d a multiple of 16?
True
Suppose -2*n + 711 = -f, 0 = 5*f - n + 3230 + 325. Does 14 divide 2*4/(-16) - f/2?
False
Let a(s) = s**3 + 2*s**2 - 19*s - 8. Let w be a(-5). Is (57 - 7)*4/(w/21) a multiple of 11?
False
Let r(f) = -f**3 - 8*f**2 - 10*f + 18. Let h be r(-6). Does 6 divide (-1 + h - 2)*242?
True
Let c be (18/(-10))/(20/(-100)). Suppose -c*w = -2*w. Suppose -26*x + 22*x + 136 = w. Is x a multiple of 14?
False
Suppose -5*m - 54333 = -5*o + 108337, -4*m + 20 = 0. Does 13 divide o?
True
Let f = 531 - 523. Let a(k) = 4*k**3 - 16*k**2 - 13*k + 5. Does 15 divide a(f)?
False
Does 12 divide ((-52)/39)/((-12)/33309)?
False
Let d = 166 + -132. Is (-7395)/d*4/(-3) a multiple of 8?
False
Let v = -845 - -848. Suppose v*k + o = 394, 3*k + 15*o - 392 = 13*o. Is k a multiple of 11?
True
Let t = 6764 - 6181. Does 11 divide t?
True
Suppose 2*q = 3*p - 2*p + 35, -5*p - 55 = -2*q. Suppose 0 = 33*v - q*v - 8856. Is v a multiple of 21?
False
Suppose -h = 2*j - 22318 + 2050, -2*j + 101364 = 5*h. Does 90 divide h?
False
Is 6762 - 0 - ((-9)/3)/(1 - 0) a multiple of 6?
False
Let r(i) = 610*i**3 + 3*i**2 + 2*i - 5. Is 10 a factor of r(1)?
True
Let r(q) = -2*q**3 - 24*q**2 + 2*q + 33. Let j be r(-12). Is (j/9)/((-2)/(-270)) a multiple of 15?
True
Let t = 398 - 250. Suppose t*j = 143*j + 105. Does 11 divide j?
False
Let t = 3850 - 2236. Does 19 divide (12/(-36))/((-2)/t)?
False
Let z(u) = -116*u**2 - 1. Let b be z(1). Let c = b + 279. Is 9 a factor of c?
True
Let l be (32/10)/((-22)/(-110)). Suppose 17*s - l*s = 39. Let o = 44 - s. Is o even?
False
Suppose -9*v + 140 = -4*v. Suppose 32*g - v*g = 272. Suppose -404 + g = -2*h. Does 26 divide h?
False
Let v(f) = 13*f**2 + 18. Let r be v(-12). Suppose -34*n - r = -41*n. Is 11 a factor of n?
False
Let m be -1*1 - (15 + (-128)/8). Suppose 80 = d - 5*t, m*d + 2*t = -2*d + 112. Is 5 a factor of d?
True
Let j(w) = w**2 - 12*w + 10. Let k be j(-10). Suppose 3*u - k = -z, 3*u + z - 307 = -u. Let s = u - 21. Is s a multiple of 14?
True
Let a(b) = 80*b**3 - 18*b**2 + 53*b + 80. Is a(7) a multiple of 6?
False
Suppose -54740 = -2*t - 21*t. Is t a multiple of 20?
True
Let t = -116 + 67. Let g be (-1885)/(-7) - (-14)/t. Let x = g + -114. Is 31 a factor of x?
True
Suppose -288 = -11*b + 295. Does 4 divide 1 + b - (-22 - -23)?
False
Let z be (14/(-2))/14*(-16)/(-1). Let l(f) = f**3 + 12*f**2 + 18*f + 20. Is l(z) a multiple of 6?
True
Let s be (12/48)/((-1)/(-12)). Does 25 divide s/(-7) - 12/(672/(-3160))?
False
Let d = 31633 - 7721. Does 14 divide d?
True
Let c be -2*(-2 + 0)*1. Let j(z) = -6*z**2 - 31*z + 27*z + 11*z - 6 + 2*z**3. Does 7 divide j(c)?
False
Let u(x) be the third derivative of x**5/60 + x**4 + 25*x**3/3 + 46*x**2. Let k be u(-21). Is ((-15)/(-2))/(k/(-234)) a multiple of 27?
True
Let m = -11 + 1220. Does 5 divide 1*(-1 - -6)*m/195?
False
Let m(s) = -22*s + 6. Let y = 26 + 7. Suppose -10*h + 3 - y = 0. Is 18 a factor of m(h)?
True
Suppose 0 = 5*o - 5*p - 26660, 225*p - 220*p - 20 = 0. Does 51 divide o?
False
Let h(d) be the third derivative of 5*d**5/12 - d**4/24 - d**3/3 - 9*d*