pose 3713*q - 76205 = 3708*q. Does 139 divide q?
False
Suppose -58*p + 63*p + z = 55, 4*p = -2*z + 38. Suppose 48 - 9 = 5*o - v, -5*o + 37 = -3*v. Is 1006/o + -2 + 27/p a multiple of 18?
True
Does 4 divide (34887/348)/((-2)/(-56))?
False
Let i(o) = -o**3 + 39*o**2 + 14*o - 22. Suppose -8*d + 6*d + 78 = 0. Does 35 divide i(d)?
False
Let p = 202 - 193. Suppose -p = 3*c, -557 - 1662 = -4*w - 3*c. Does 9 divide w?
False
Let d(o) = -o**3 - 52*o**2 + 66*o + 455. Is d(-54) a multiple of 64?
False
Let a(p) = 63*p**3 - p**2 + 47*p - 187. Does 83 divide a(4)?
False
Let z(y) = -2*y**3 - 4*y**2 + 2*y + 13. Let g be z(-3). Let m be g/50 - 226/(-4). Let r = m + -36. Is r a multiple of 4?
False
Suppose -20*q + 70888 = -30972. Is q a multiple of 11?
True
Suppose q - 3*k = -4*k + 2499, 0 = 5*q - k - 12501. Is q a multiple of 7?
False
Let x be 154/66 + (-2)/(-3). Suppose -2*w - 5 = -x*w. Is ((-18)/w)/(-2*(-9)/(-60)) a multiple of 3?
True
Suppose s = 4*s - 2*s. Suppose 2*y = s, 5*y + 292 = -0*o + 2*o. Suppose 5*z - 5*n - 134 = o, -5*z + n + 280 = 0. Does 7 divide z?
True
Suppose -304*u + 249*u + 1815 = 0. Is 2 a factor of u?
False
Let o = -5333 - -5311. Let m(i) = -5*i**2 - 39*i + 11. Let q(b) = 6*b**2 + 40*b - 10. Let t(l) = -4*m(l) - 3*q(l). Does 44 divide t(o)?
False
Does 9 divide 5599 - (258/36 - 6 - 4/24)?
True
Suppose -19*h + 2032 + 2661 = 0. Let z = h - 139. Is 14 a factor of z?
False
Suppose 28*f + 18 = 37*f. Suppose -6*j = -5*t - f*j + 444, 2*t + 5*j - 171 = 0. Is t a multiple of 3?
False
Suppose 0 = 2*w + 4, -2*d - 262 = -2*w + w. Suppose -11*j + 6*j - 395 = 0. Let s = j - d. Does 53 divide s?
True
Let i(r) = r**3 + 82*r**2 + 278*r - 143. Is i(-78) a multiple of 10?
False
Suppose 5*c - 2*c = 6. Suppose 4*p = c*p. Suppose -q - 25 = -2*y - p*y, -2*q + 10 = 0. Does 4 divide y?
False
Let s(k) be the third derivative of k**4/6 + 41*k**3/6 - 37*k**2. Let y be s(-7). Suppose -10*l - 180 = -y*l. Is 6 a factor of l?
True
Let u be (-22014)/(-30) + (-8)/10*1. Let g = u - 652. Does 3 divide g?
True
Let v be 0/(((-3)/2 - -2)*-6). Suppose 13*c = b + 15*c - 91, v = 2*c - 8. Is b a multiple of 10?
False
Suppose 198*l = 145*l + 25682 - 5807. Is l a multiple of 125?
True
Let v = -198 + 256. Suppose -4*o - 164 = 2*l, 4*l + 71 = -o + 23. Let x = o + v. Does 3 divide x?
True
Suppose 5*p = -2*z + 31, -3*p = -2*z - 21 + 12. Suppose -805 = -0*w - p*w. Is 7 a factor of w?
True
Suppose 2*k + 106 = -0*k. Let s(m) = 4*m + 76. Let i be s(-42). Let f = k - i. Is 5 a factor of f?
False
Suppose 42*p - 28003 = 209213. Does 8 divide p?
True
Suppose -94*y + 51*y = 51*y - 577160. Is y a multiple of 20?
True
Let t(v) = 37*v - 31. Suppose -21*m + 116 = -31. Is 19 a factor of t(m)?
True
Is ((-1338288)/686)/(((-6)/14)/3) a multiple of 87?
False
Suppose 0 = -4*s + 16, -3*t + 1805 = -3*s - 67. Let a = -528 + t. Is 17 a factor of a?
False
Let d = -323 - -389. Suppose -5 = v, -63*s = -d*s - 2*v + 68. Is s a multiple of 26?
True
Let v = 125 - 116. Suppose 183 = 5*i + v*k - 12*k, 2*i - k - 73 = 0. Is 6 a factor of i?
True
Suppose -5*h = -2*y + 39988, 0 = -3*y - 0*y - 5*h + 60007. Does 34 divide y?
False
Suppose -52 = 3*z - 97. Suppose -z*d - 1260 + 30 = 0. Let q = d - -163. Is 19 a factor of q?
False
Let y(k) = -k**3 + 32*k**2 + 67*k + 38. Let g be y(34). Suppose -524 = -2*a + g*t, -2*a + t - 83 = -619. Is a a multiple of 54?
True
Suppose 4*l + 16366 = 3*a, -68*a + 27275 = -63*a - 5*l. Is 27 a factor of a?
True
Let h = 28686 - 22550. Is 2 a factor of h?
True
Suppose 6 = 13*k - 11*k, -3*k = -5*c + 6. Suppose -f = -c*f + 40. Is 4 a factor of f?
True
Let v(d) = -32*d + 60. Let l be v(-15). Suppose 5*w - 540 = -5*k, 0*k + l = 5*k + w. Is 18 a factor of k?
True
Let b(y) be the third derivative of 47*y**5/60 - y**4/24 - 5*y**3/2 + 13*y**2 - 4. Is 15 a factor of b(3)?
True
Let k = 5 + 1. Let l(u) = -22*u - 11. Let y be l(k). Let h = y + 200. Does 25 divide h?
False
Let v(s) = 5*s**2 - 9*s - 28. Let t be v(-2). Let f(x) = x**3 - 7*x**2 + 6*x + 7. Is 37 a factor of f(t)?
False
Suppose 356 = 10*g + 326. Let h(m) = 5*m**2 + 9*m - 22. Is 10 a factor of h(g)?
True
Is (-385)/(-33)*3/2*(10 + 456) a multiple of 67?
False
Suppose -102*n - 528561 = -306*n + 1051011. Is 8 a factor of n?
False
Let h be (-1365)/(-117) + (-2 - 7/(-3)). Is (1132/6)/(h/18) a multiple of 28?
False
Suppose -43*w = -30*w - 52. Does 8 divide 5 - -130*w/8?
False
Let h(m) be the third derivative of 29*m**5/60 - 15*m**4/8 - 5*m**3/2 + 13*m**2 - 5*m. Is 64 a factor of h(6)?
False
Suppose -26*o + 71411 = -5*o - 304804. Does 28 divide o?
False
Suppose -21*m + 25*m + 2*x = 24170, 0 = x - 1. Does 34 divide m?
False
Let r(o) = o**3 - 9*o**2 - 34*o + 1. Let k be r(12). Suppose k*s - 8*s = 4522. Does 30 divide s?
False
Let s be (-3)/(-18) - (-8009)/6. Suppose -5*u = 5*w - s, 3*u = -4*w + 545 + 251. Does 17 divide u?
True
Let z(b) = 26*b**3 + 2*b**2 + 5*b - 9. Let i(u) = 5*u + 8. Let t be i(-2). Let f be (1 + t)/(7/(-14)). Does 26 divide z(f)?
False
Let r be (-22 + 10 + 13)*(3 - 1). Is 18 a factor of (-18592)/(-13) + -11 - r/13?
False
Let w = -55 - -57. Let c(x) = -8*x + 16. Let r be c(w). Suppose -4*b + 150 = -z, r = 3*b - 5*b - z + 78. Does 4 divide b?
False
Suppose -3*c - 259 = 74. Let a = -398 - -233. Let q = c - a. Does 18 divide q?
True
Let c(h) = -h**3 - 96*h**2 - 132*h - 1505. Is c(-95) a multiple of 30?
True
Let i(q) = -55*q**3 - 41*q**2 + 11*q + 51. Does 55 divide i(-7)?
True
Suppose -34*s + s - 6431 = -210503. Is 72 a factor of s?
False
Suppose -7*r - 14030 = -58550. Is r a multiple of 12?
True
Let s(t) = 149*t**2 + 43*t - 126. Is s(3) a multiple of 56?
True
Let c = -182 - -213. Suppose -450 = -36*q + c*q. Is 10 a factor of q?
True
Suppose -3*m = -103 - 8. Suppose -5*t - 33 = 2*x - 87, 4*x = -3*t + 38. Suppose -t*v - m = -547. Is v a multiple of 51?
True
Let f = 31221 - 25416. Is f a multiple of 215?
True
Let a = 14443 + -5933. Does 115 divide a?
True
Suppose c - 6*c - 5*y - 1435 = 0, y - 1 = 0. Let l = 396 + c. Does 10 divide l?
False
Let r(z) = -z**3 + 7*z**2 + 2*z + 21. Let t be r(6). Suppose -y + 73 = 3*k, 5*y + 0*k = 4*k + 289. Let b = t - y. Does 4 divide b?
True
Let t = -12102 + 21460. Is 199 a factor of t?
False
Suppose 365736 = 76*s - 635336. Is 6 a factor of s?
False
Let z(q) = -12*q**3 - 5*q - 45. Is z(-4) a multiple of 5?
False
Let c be ((-16)/4)/4 + 28. Let s be 8 + (8/6)/(36/c). Is (s/(-12))/(5/(-220)) a multiple of 3?
True
Let p(j) = 7*j**3 + 5*j**2 + 8*j + 15. Let w(a) = a**3. Suppose -5*n - 5*v = -50, 8*n - 18 = 3*n + 3*v. Let k(r) = n*w(r) - p(r). Is 5 a factor of k(-5)?
True
Let h = -2764 - -4291. Is 14 a factor of h?
False
Suppose 3*h = -3*g + 5835, -5*h + 2*h + 5815 = -g. Is h a multiple of 28?
False
Let v be 0 + (195 - -1)*(-112)/(-64). Let o = v - -27. Is 37 a factor of o?
True
Suppose 0 = 14*u - 13*u + n - 9, u + 3*n = 1. Suppose -u*z + 11*z + 498 = 0. Is z a multiple of 2?
False
Suppose -64*b - 4*f - 2058 = -65*b, 3*f + 6174 = 3*b. Does 22 divide b?
False
Suppose 17*l - 25*l = -88. Suppose 0 = l*o - 10*o - 430. Does 10 divide o?
True
Suppose -14*o + 875 = -7*o. Suppose 4*q = 271 + o. Does 33 divide q?
True
Suppose -150*p + 489123 + 442227 = 0. Does 37 divide p?
False
Let n be (1/(-4)*1)/((-46)/368). Is ((-1998)/(-259))/(n/322) a multiple of 18?
True
Let h(q) = 5*q**2 - 15*q - 15. Let s(b) = -29*b**2 + 90*b + 88. Let y(d) = -34*h(d) - 6*s(d). Is y(15) a multiple of 54?
True
Let m = -7251 + 8725. Is m a multiple of 21?
False
Let u(z) = z**3 - 3*z**2 + z - 3. Let g be u(3). Suppose g + 3 = -3*k. Is 6 a factor of 43 - (1 - (k + 0/(-2)))?
False
Let s(m) = -221*m - 2285. Does 9 divide s(-16)?
True
Let q(u) be the first derivative of u**4/4 - u**3/3 - 12*u**2 - 3*u + 44. Does 6 divide q(9)?
False
Let f(y) = -2*y**2 + 14*y + 48. Let l be f(9). Does 18 divide (-809)/(-3) + 4/l?
True
Let g(n) = -n**2 - 36*n - 23. Let o be (-3)/(-2)*(-261)/27*2. Does 12 divide g(o)?
True
Suppose 6*y - 2*q = 5*y + 2340, -9424 = -4*y - 8*q. Does 3 divide y?
False
Suppose -320955 - 325759 = -391*x. Is x a multiple of 2?
True
Let x = 12270 - 5236. Does 16 divide x?
False
Suppose -4*m - 5*n + 4701 = 0, 53*n = 5*m + 54*n - 5871. Is m a multiple of 3?
False
Suppose 0 = 2*y + g - 8, 0*y - 2*y - 3*g + 16 = 0. Suppose -y*d - 4*d + 1728 = 0. Is d a mu