uppose -s*y - 88 = 152. Is ((-72)/(-5))/(4/(y/(-4))) a multiple of 36?
True
Is 64 a factor of 32/(17/(-211922)*-23)?
True
Suppose -13*g - 20 - 6 = 0. Let f be ((-285)/38)/(1/g). Suppose -189 = f*c - 789. Is 8 a factor of c?
True
Suppose -629*b + 7954061 = -360*b. Is 211 a factor of b?
False
Let p(y) = 1127*y - 3274. Is 2 a factor of p(9)?
False
Let y(l) = 3*l**2 + 70*l + 1176. Does 29 divide y(-25)?
False
Suppose 3*o = 3*f + 507, 0 = -3*f + 12 - 21. Let c = 378 - o. Is c a multiple of 16?
False
Let b(z) = -2*z + 13. Suppose 0 = 2*i - 2*d - 2*d - 26, 2*i + 10 = -5*d. Suppose i*j = -j - 18. Is b(j) a multiple of 9?
False
Suppose 0 = -15*h + 17*h + 128. Let u = h + 89. Suppose -a - 2*d = -u - 98, 4*a - 470 = 3*d. Does 14 divide a?
False
Let b be (9/(-5))/((-20)/(700/21)). Suppose -b*r - 663 = -4*x, 5*x - 4*r = -r + 831. Is x a multiple of 6?
True
Let i(c) = -c**2 - 11*c + 37. Let l(r) = -8*r + 394 - 199 - 190. Let z be l(2). Does 2 divide i(z)?
False
Let d(z) = 2*z**2 - 11*z + 17. Let q be d(12). Suppose -1466 = -x - q. Does 91 divide x?
False
Does 8 divide (70*(-15)/120)/((-2)/760)?
False
Suppose -5*i + 7 = -5*a - 13, -3*a - 12 = 4*i. Let u be (1926/(-27))/(a/6). Suppose -2*x = 31 - u. Is x a multiple of 12?
False
Does 121 divide (8034/(-8))/((-48)/448)?
False
Let j = 170 + 879. Let b = j - 601. Does 14 divide b?
True
Let v = -13308 + 26022. Is v a multiple of 78?
True
Let t = 6494 + -2083. Does 13 divide t?
False
Let w(y) = 7*y**2 + 616*y - 96. Does 390 divide w(18)?
True
Suppose k + 5*a = 2745, -16374 = -6*k + 48*a - 46*a. Is k a multiple of 30?
True
Is 10 a factor of (-174058)/(-10) - -2*(-8)/(-80)?
False
Is 3 a factor of (33 - 17 - 19)/((-2)/3610)?
True
Suppose 0 = -3*i + 39 - 282. Let y = i + 200. Is 7 a factor of y?
True
Let q(w) be the first derivative of w**5/4 - w**4/6 - w**3/6 + 9*w**2 - 6. Let m(g) be the second derivative of q(g). Does 10 divide m(-2)?
False
Let a be 1/((-63)/31 + 2). Let z = -175 - -217. Let l = z + a. Does 11 divide l?
True
Does 15 divide -1 - -1*(912 - 32/(-8))?
True
Suppose n + 0*n = -3*d + 16, 5*d + 34 = 3*n. Suppose z + 0*z + n = g, 0 = g - 3*z - 23. Suppose -24 - 16 = -g*p. Is p even?
False
Let u(t) = t**3 + 6*t**2 + 5*t + 5. Let w be 1/((6/10)/(-3)). Let g be u(w). Suppose g*r - 240 = r. Is 15 a factor of r?
True
Let w = 26 + -70. Let s be w/(-12) + 4/(-6). Suppose 0 = 7*a - s*a - 96. Is a a multiple of 18?
False
Let r(q) = 6*q**3 + q**2 - 6*q + 7. Let j be (27/(-36))/((-5)/20). Is r(j) a multiple of 10?
True
Let q(j) = -147*j - 2. Let f be q(-3). Suppose -3221 - f = -20*t. Is 27 a factor of t?
False
Suppose -31*l + 19*l = -14*l + 292. Is 102 a factor of l?
False
Suppose 5*x = -2*m + 16, -5*m + 6*m - 2*x = 26. Let q(g) = -g**2 + 41*g - 54. Is 8 a factor of q(m)?
True
Let t = -8094 + 10242. Is 13 a factor of t?
False
Suppose 2163 = 16*y - 1165. Let m = -162 + y. Does 2 divide m?
True
Suppose 0 = -49*t + 66*t - 102. Suppose l - t*l = -3085. Does 65 divide l?
False
Suppose -8*t + 3 = -9*t. Let a be (t - -3 - 0)*(-2)/4. Suppose i + 11 - 58 = a. Is 5 a factor of i?
False
Suppose 3*s = 4*s - 4*v - 9388, 5*s - 2*v = 46922. Is s a multiple of 68?
True
Suppose 6*w + 1167 = -435. Let p = 527 + w. Is p a multiple of 4?
True
Let i(v) = -3*v**2 - 37*v - 9. Let n be i(-12). Let f be 14/n + 22/(-33). Suppose 3*y - 213 - 37 = f*m, 5*m = -5*y + 370. Is 10 a factor of y?
False
Let w(k) = -5*k**3 + 201*k**2 + 92*k + 155. Is 13 a factor of w(40)?
False
Is -4024*((-679)/28 - -19) a multiple of 51?
False
Suppose -60 = -6*b + 2*b. Let a(i) = -3*i**3 + 25*i**2 - 54*i + 36. Let h be a(5). Suppose -h*r = -b*r - 125. Does 25 divide r?
True
Suppose 15*u = -u + 80. Suppose u*w - 1424 = -444. Is w a multiple of 49?
True
Suppose 7*k = 8*k - 9. Suppose -3*h = k + 9. Let v(j) = j**3 + 7*j**2 - j + 8. Does 25 divide v(h)?
True
Is (4124/(-12))/(34/(-306)) a multiple of 16?
False
Let m = -156 + 277. Suppose -3*r + 209 = -m. Is 55 a factor of r?
True
Suppose -5*t = -3*i - 140 - 275, -5*t - 4*i = -380. Let g = t - 78. Suppose 468 = -g*a + 8*a. Is a a multiple of 26?
True
Suppose 4*h + 5*i + 4174 = 14831, 2*h - 3*i - 5279 = 0. Is h a multiple of 10?
False
Is 11031 - ((-40)/(-35))/(20/105) a multiple of 49?
True
Let v(o) = -o - 2. Let x be v(-5). Suppose 3*l - x = -12. Does 2 divide ((-1)/l)/((-11)/(-396))?
True
Let u(i) = -i**2 + i + 24. Let r be u(5). Let n(s) = 13*s + 20. Let a be n(r). Suppose -5*y - a = -2*p, y + 4 = 3*y. Is 41 a factor of p?
True
Let g(d) = d**3 - 9*d**2 - 22*d + 3. Let c = 40 + -29. Let w be g(c). Does 14 divide (-3)/(2/1*w/(-78))?
False
Let c = 1176 - -22182. Does 26 divide c?
False
Let o be 170/50 + 6/10. Suppose o*l - 446 = 2*x, -3*x - 3*l - 675 = -6*l. Let w = -123 - x. Is w a multiple of 8?
True
Suppose 22 = 3*k - 2*z, 6*z - 7*z - 1 = k. Let t(l) be the third derivative of l**6/120 + l**5/15 - 5*l**4/24 + 2*l**3 - l**2. Is t(k) a multiple of 12?
True
Suppose 4*a + h - 12 = 0, 3*h + 1 = a - 2. Suppose -a*g = -9*g. Let c(p) = -p**3 + 2*p**2 + 6. Does 3 divide c(g)?
True
Suppose 6032 = 2*v - 4*z, 41*z - 3022 = -v + 40*z. Does 85 divide v?
False
Does 11 divide (((-4)/5)/4)/((-32)/(-64))*-16990?
False
Let u = 433 - 420. Let l(g) = -g + 118. Is l(u) a multiple of 5?
True
Is (-4)/(-3) + 1 + (348672584/102)/52 a multiple of 95?
True
Suppose -4*n + 20 = -6*n + 4*a, -3*n - 4*a = -20. Suppose -10*k - 447 + 17 = n. Let c = k + 86. Is c a multiple of 15?
False
Suppose -4*c + 138 = 18. Let p = c + -25. Suppose 4*f - p*d + 5 = 6*f, 5*f = -5*d + 50. Is 5 a factor of f?
True
Let u be ((-39)/(-91))/(2/42). Let v(y) = 3*y**2 - 6*y - 10. Let w(a) = -7*a**2 + 12*a + 20. Let i(j) = 5*v(j) + 2*w(j). Is 6 a factor of i(u)?
False
Let b(r) = 5*r**2 + 25*r + 46. Let s(v) = -6*v**2 - 26*v - 46. Let k(z) = 4*b(z) + 3*s(z). Let g = -4913 - -4896. Is 29 a factor of k(g)?
False
Let d(v) = 8 + 2*v + 14*v - 6*v**2 + 3*v**3 - 2*v**3. Suppose 3*j + 7*j - 70 = 0. Does 40 divide d(j)?
False
Let y = -105 - -125. Is 15 a factor of y/60 + (-26)/6 - -123?
False
Suppose -6*b + b - 10 = 0. Is 0 - (-231)/(-14)*b a multiple of 18?
False
Let g(q) = -q**3 + 13*q**2 - 10*q - 4. Let x be g(10). Let k = x - -324. Is 10 a factor of k?
True
Let s be (-2610)/(-27) - 2/(-6). Suppose 364 = 10*y - 38*y. Let m = s - y. Is 10 a factor of m?
True
Let c(j) be the third derivative of -j**5/30 + 55*j**4/24 + 50*j**3/3 + 3*j**2 - 10*j. Does 18 divide c(24)?
False
Suppose 0 = 5*w + 3*w - 16. Suppose -33 = -2*g + 5*g - 4*n, g = -w*n - 11. Let l(p) = -p**2 - 15*p - 14. Is 10 a factor of l(g)?
True
Suppose 4*i = -2*z + 1490, -10*i + 4 = -8*i. Is 39 a factor of z?
True
Let k(z) be the third derivative of 5*z**4/24 + z**3 - 7*z**2. Is k(15) a multiple of 18?
False
Let r be 14*5/(4/56*4). Let k = r - -163. Let n = -205 + k. Is 13 a factor of n?
False
Let q(w) = 5*w - 27. Let k be 1*(1 - -2) - -4. Let x be q(k). Suppose -165 - 155 = -x*s. Is 13 a factor of s?
False
Let x = -120 - -67. Let f = -48 - x. Suppose 3*k = -5*i - 0*i + 405, -f*i = 5*k - 395. Does 21 divide i?
True
Suppose 340*o - 47*o = 1842957 + 3073290. Is o a multiple of 198?
False
Let o = 23755 - 18651. Is o a multiple of 22?
True
Let t be 1*(-4)/6 + 31380/90. Is 6 a factor of (9/6)/(2/t)?
False
Let l = -16667 + 18032. Is l a multiple of 4?
False
Is 28 a factor of -364 - -371 - (2 - 627*1)?
False
Let z = -314 - -5682. Suppose 28*q - 24*q = z. Is q a multiple of 11?
True
Suppose 19*q - 14*q = -4*w + 45011, 2*q + 2 = 0. Is 17 a factor of w?
True
Suppose -100*m - 12*m - 117169 = -1203793. Does 154 divide m?
True
Suppose 2*g = 4*w + 28, 7 = g + 11. Is (-5 - w/2)*6 + 912 a multiple of 8?
False
Let k be 54/(-18) - 1*-2. Is (-11346)/(-45) - k/((-105)/14) a multiple of 21?
True
Suppose 11*o - 14*o + 14734 = 4*z, 0 = -4*o - 4*z + 19640. Is o a multiple of 22?
True
Suppose -10*h - 62 = 208. Does 32 divide (h*3)/(-4*9/72)?
False
Suppose 80*z - 28*z + 69*z = 1800480. Is z a multiple of 96?
True
Suppose -10*v - 2*n = -15*v + 13, 3*n - 18 = -5*v. Suppose 5*j - 6*b + 3*b - 3846 = 0, v*b = j - 774. Does 32 divide j?
True
Suppose -110*o + 194*o = 87760 + 467648. Does 76 divide o?
True
Suppose 3*d - 2*l = -2446 - 1583, 2*l - 1343 = d. Let f = d - -2016. Suppose -7*i + 377 = -f. Is i a multiple of 15?
True
Let o be (-1)/((-2)/37) - (-3)/2. L