/m). Let r = q - 14. Does 25 divide r?
True
Let d(w) = -395*w**2 + w - 2. Let k be d(1). Let s = -252 - k. Is s a multiple of 16?
True
Suppose 26542 - 3205 = 4*u - 3*j, -2*j = 6. Is 112 a factor of u?
False
Suppose -94*d - 24650 = -179*d. Does 58 divide d?
True
Let g = -486 - 1224. Is -5 - g/12*2 a multiple of 35?
True
Let h = 265 + -260. Suppose 4*u - 8*v = -3*v + 1108, h*v + 1380 = 5*u. Does 17 divide u?
True
Let k be (-2)/6*(10 + 8). Let c(p) = p**3 + 6*p**2 - 6*p - 10. Let f be c(k). Suppose 95 = 5*w - 4*q - f, -4*w - q = -80. Is w a multiple of 7?
True
Suppose -445*y - 20314 = -5*q - 449*y, 8092 = 2*q - 4*y. Is 6 a factor of q?
False
Let g = -284 - -5859. Suppose 4120 = 35*s - g. Is s a multiple of 8?
False
Let q be (2042/4)/(28/112). Let i = q - 882. Does 29 divide i?
True
Let k = 131 + -92. Suppose 9*n - 120 + k = 0. Suppose -n*v + 2110 = 589. Is v a multiple of 19?
False
Let f(i) = -306*i + 448. Is 26 a factor of f(-40)?
True
Let p(j) = 484*j + 223. Is p(7) a multiple of 23?
True
Suppose 3*t - 14 - 7 = 0. Suppose t*x - 2534 = -721. Does 2 divide x?
False
Suppose 0 = 34*p - 8956 - 3566 + 3036. Is p a multiple of 3?
True
Let v(c) = 190*c - 5. Let u be v(-9). Let s = 2504 + u. Is 57 a factor of s?
False
Let j be (3/((-6)/4))/((-14)/1953). Let a = j + -160. Suppose a*z = 123*z - 384. Does 8 divide z?
True
Does 189 divide 22/16 - (-29)/232 - (-50646)/4?
True
Suppose 2*a + 1868 = 4*t - 2*t, a + 934 = 2*t. Let w = a + 1102. Does 8 divide w?
True
Let d = 137 + -83. Suppose -26 = -5*o + d. Suppose 6*l = o*l - 130. Does 9 divide l?
False
Let i(r) = -9*r**3 + 3*r**2 - 62*r - 205. Is i(-4) a multiple of 11?
False
Let h be (-6)/14 + 85/35. Let v be (3/(-18)*h)/(1/(-21)). Suppose v*m - 285 = 324. Is m a multiple of 6?
False
Let y(z) be the first derivative of -1/3*z**3 - 21 + 30*z + 11*z**2. Is y(16) a multiple of 18?
True
Suppose 2*h - 242 = -9*h. Suppose -l - 1 = c - 6, 5*c - h = -2*l. Does 37 divide 976/10 + (24/15)/c?
False
Suppose -22 = b + 4*d - d, 18 = -b - 2*d. Let o be (10/(-3))/(b/(-15)). Is (o/(-10))/(1/88) a multiple of 6?
False
Suppose -60*y + 4*i = -58*y - 1820, y - 919 = -i. Is y a multiple of 7?
False
Suppose 0 = -5*c - 3*y + 18035, c - 4213 = 4*y - 583. Does 10 divide c?
True
Suppose 4*i - 3179 = -683. Let r = i + -198. Is r a multiple of 71?
True
Suppose 70332 = 244*s - 353*s + 282446. Does 20 divide s?
False
Let b = -277 - -2232. Is 17 a factor of b?
True
Suppose -3*c = 6, -n + 0 = 3*c - 4. Let b be 2*n/(-8)*2. Does 6 divide -6*(b/4 + (-1)/(-4))?
True
Let s(v) = -3*v**2 - 14*v - 5. Let m be s(-4). Suppose -m*y = -5*y - 34. Let d = y + 45. Is d a multiple of 3?
False
Suppose 5*x = 5*q - 55, 5*x + 8*q - 3*q + 5 = 0. Let c(b) be the third derivative of b**6/120 + b**5/10 - b**4/24 - b**3/2 - 6*b**2. Is 3 a factor of c(x)?
True
Is 8 a factor of (6/5)/((1701/5940)/63)?
True
Let h(t) = -7*t + 1688 + 2*t - 1698. Let x be h(-2). Suppose x*l = -5*l + 245. Does 7 divide l?
True
Let t(c) be the first derivative of 21*c**2/2 - 16*c - 366. Let v = 7 - 3. Is 8 a factor of t(v)?
False
Let g(i) = i**2 + i - 3. Let r be g(-3). Suppose 0 = 506*k - 494*k - 24. Suppose r*m = -k*m - 4*s + 254, -147 = -3*m + 3*s. Does 10 divide m?
True
Let r be (20 - -9)*(-4)/6*-12. Let y = r + 494. Suppose 6*h - y = -5*h. Does 11 divide h?
True
Let v(u) = 176*u - 64. Suppose 6*l + 34 - 58 = 0. Is 20 a factor of v(l)?
True
Let b = -269 - -265. Does 13 divide 24/2*(-396)/(-54) - b?
False
Let x(r) = r**3 + 11*r**2 + 10*r - 16. Let b be x(-8). Let n = 84 - b. Let v(t) = -t**3 - 11*t**2 + 8*t - 17. Is 14 a factor of v(n)?
False
Suppose 0 = 11*m - 3*o - 6524, -o = -5*m + 3*o + 2976. Does 5 divide m?
False
Let z = 30926 - 18999. Is 69 a factor of z?
False
Is ((-252)/210)/((-3)/6740) - -5 a multiple of 23?
False
Let w = 104 - 8. Suppose 2*t - w + 14 = 0. Let a = 59 - t. Does 9 divide a?
True
Let z = 10 + -6. Suppose -222 = -z*q + 286. Let x = q - 3. Is 31 a factor of x?
True
Suppose 39 = 24*g + 183. Is 17 - -299 - g/(-2) a multiple of 17?
False
Let j = -47 - -52. Suppose -4*k = -j*f + k + 1175, 0 = 4*k - 4. Let y = -140 + f. Does 10 divide y?
False
Let y(s) = -162 + 382 - 21*s - 196. Suppose 5*f = -47 + 17. Does 37 divide y(f)?
False
Suppose -5*o = 5*b - 35670, 4*b - 15812 - 12742 = -o. Does 15 divide b?
True
Let j(v) = -6*v**3 - 8*v**2 - 46*v + 13. Does 10 divide j(-10)?
False
Let q = 273 - 190. Suppose -79 = b - q. Suppose 2*w + b = 108. Is 16 a factor of w?
False
Suppose 27*p - 33394 = -8743. Does 129 divide p?
False
Let j be (7/(-3))/(-7) + (-944)/(-3). Let b be (-3)/(2/(-7) + (-99)/j). Suppose -u = -4*u - 3*p + 246, -b*u = 4*p - 411. Is 32 a factor of u?
False
Let n = 20466 - 4914. Does 12 divide n?
True
Let p be 1*5572*30/105. Suppose p = 15*v + 287. Is 4 a factor of v?
False
Is 6887 - (-3 - 11 - -28) a multiple of 12?
False
Suppose -35*d - 630 = -38*d. Suppose -8*s = -s + d. Let q = -18 - s. Does 4 divide q?
True
Suppose 6*t - 259 = -t. Is 9 + t/(-4) - 1009/(-4) a multiple of 18?
True
Let w be (-1868)/20*-1 - 4/10. Suppose w = -2*b - 121. Does 17 divide 1/((-4)/16) - b?
False
Let s(y) be the first derivative of -16*y**2 - 97*y - 45. Is s(-17) a multiple of 33?
False
Let o(k) = -13*k + 25. Let s(t) = -t**2 - 12*t + 23. Let m(q) = 2*o(q) - 3*s(q). Is m(-7) a multiple of 25?
False
Let f(d) = 22*d - 38 - 49*d + 17*d. Is 5 a factor of f(-8)?
False
Let b = 32 + 144. Let u = b - 79. Is u a multiple of 4?
False
Suppose 24611 + 15642 = 14*g + 4217. Is 117 a factor of g?
True
Let m(q) = -q**2 - 2*q + 10. Let t be m(-4). Let f be 21 - 19 - (-8)/t. Suppose -i - f = -u - 27, i + 5*u + 9 = 0. Is i a multiple of 4?
True
Let s(b) = -b**3 - 10*b**2 + b + 1. Let v be (10/(7 + 3))/(1/(-11)). Is 8 a factor of s(v)?
False
Let v = -9135 - -22239. Is 84 a factor of v?
True
Let c = -19983 - -31114. Is 4 a factor of c?
False
Let h = 9296 + -6056. Does 45 divide h?
True
Let y be -3*(70/3)/(-7). Suppose 5*t - 5*h + 10 = 0, -4*t + 2*t - 4*h - y = 0. Does 14 divide (t + 30/9)/((-1)/(-354))?
False
Suppose 0*f + n - 9145 = -4*f, -6861 = -3*f - 3*n. Is f a multiple of 29?
False
Suppose -21 = -4*u + 3*u + 3*m, 2*u = 5*m + 37. Let h(l) = l**2 - l - 87. Let r be h(10). Suppose -5*k = -5*j + 60, -j + 6 = r*k - u. Is j a multiple of 12?
True
Let l = 24 - 22. Suppose -l*n - 18 = -8*n. Suppose 0 = -2*q + b + n*b + 416, 0 = -3*q + 4*b + 616. Is q a multiple of 20?
True
Let d(b) = b**2 - 13*b - 4. Suppose 4*r = r + 39. Let p be d(r). Let o(u) = -u**3 + 4*u + 4. Is 13 a factor of o(p)?
True
Suppose -8*q = -5*q - 12. Suppose -3*m = -0*b + q*b - 631, -5*b + 785 = 5*m. Suppose 2*o - b = -2*y, -30 - 198 = -3*y + o. Is 11 a factor of y?
True
Suppose 12*w - 18*w = -60. Suppose 33*l = 38*l - w. Suppose 263 + 279 = 3*r - 5*f, 0 = l*r - 2*f - 368. Is 27 a factor of r?
True
Does 28 divide (-1 - 4)/(1*(-15)/150372)?
False
Suppose 9*o + 2*o = 33. Suppose 0 = o*n + 188 + 256. Let u = 216 + n. Does 10 divide u?
False
Let f be 1 + 1 + (2 - 15). Let q(t) = 3*t + 28. Let s be q(f). Let d = 12 + s. Is 2 a factor of d?
False
Let q be (-4)/((-10)/15*-3) - 4. Does 100 divide ((-11490)/(-12))/((-21)/q - 3)?
False
Suppose 1077 = 126*f - 123*f. Suppose -5*p - 2*u = -625, 3*p + 0*u - 2*u = f. Does 4 divide p?
False
Does 24 divide (((-72)/20)/9)/(3/(-360))?
True
Let a(h) = 1242*h**2 - 69*h - 132. Does 9 divide a(-2)?
False
Let q = -393 - -396. Suppose 0 = -3*b - q*u + 143 + 217, -5*u + 249 = 2*b. Is b a multiple of 9?
True
Let v(w) be the first derivative of -15*w**2 + 168*w + 4. Does 27 divide v(-7)?
True
Let i be (-6 - 144/(-27))*-21. Does 25 divide (i + -2)/(-6) + 1152?
True
Is 12*(-26)/(312/(-24181)) a multiple of 5?
False
Let g(v) = v**2 - v - 1. Let x be g(-2). Suppose 3 = -x*u + 33. Suppose u*a - a = 1080. Is a a multiple of 54?
True
Suppose 6 = -2*x + 4*j, -4*x = -0*j + 2*j - 8. Suppose d - 4 = -x. Suppose y - d*a - 133 + 7 = 0, -4*a + 12 = 0. Does 46 divide y?
False
Suppose -8*p - 132 = 1740. Let x = p + 386. Is x a multiple of 8?
True
Is 8 a factor of -9 + (-330)/(-35) + (-49711)/(-7)?
False
Let v = -2339 - -2651. Is 12 a factor of v?
True
Let k(p) = -p**3 - p**2 - p - 1. Let l(f) = -7 - 13*f - 2*f**2 + 19*f - 3*f - 6*f**3. Let v(h) = 3*k(h) - l(h). Is v(3) a multiple of 29?
True
Let y = 147 + -159. Is 68 a factor of (3 