2*j - 36708. Does 24 divide u?
True
Let p(x) be the third derivative of -x**6/60 + x**5/30 + 11*x**4/24 + 12*x**3 - 13*x**2. Does 6 divide p(-6)?
True
Let z(r) = -r**2 - 15*r - 26. Let c be z(-13). Let l be -3*(1 - (-14)/(-6)). Is l/(c - (-2)/43) a multiple of 32?
False
Suppose -25*r = -19*r. Let l = 288 + r. Does 24 divide l?
True
Let y = -239 + 168. Let c = 218 + y. Is 21 a factor of c?
True
Suppose 0 = -y + 5 - 1. Let b be 16504/50 + -2 + 86/(-1075). Suppose -3*d + 0*l + b = -5*l, y*l = -3*d + 283. Does 21 divide d?
False
Does 10 divide ((-12)/(-7) + (-32)/112)*(-25592)/(-8)?
True
Suppose 0*q + 2*q - 3*w - 173 = 0, -3*w = q - 82. Let o = q - 78. Suppose -o*h = -0*h - 1267. Is 17 a factor of h?
False
Suppose 522*x - 15*x + 1201205 = 16612484. Does 113 divide x?
True
Suppose -46*f = -50*f + 28. Does 12 divide (-42)/(-1)*18/f?
True
Let q be (124/12 - 3)/((-1)/15). Let s = 162 + q. Let c = -38 + s. Is 3 a factor of c?
False
Suppose 307 + 4103 = 2*i. Is 10 a factor of i?
False
Suppose 786*g - 790*g - v + 4362 = 0, 5*g - 5*v - 5415 = 0. Does 9 divide g?
True
Let j = 6117 - -90. Does 14 divide j?
False
Let v = -14164 - -15789. Does 5 divide v?
True
Let v be (-3 + (-1340)/(-16))*(1 - -19). Suppose 0 = 1621*j - v*j - 3756. Is 17 a factor of j?
False
Suppose -2*d = -5*d + 24. Suppose d*x - 4*x = 20. Suppose -18 = -x*j + 4*j. Does 6 divide j?
True
Let n(p) = 22*p**3 - 6*p**2 - 5*p + 4. Is n(6) a multiple of 7?
False
Suppose v - 193 = 4*h + 7, 12 = 4*h. Is v a multiple of 2?
True
Let a be 1/((-13)/743) + (-2)/(-13). Let v = -30 - a. Suppose -139 = -2*r + v. Is r a multiple of 6?
False
Let i(t) = -t**3 + 5*t - 5. Let u be i(-3). Suppose 117 = u*m - 30. Does 21 divide m?
True
Let o = -6423 + 10543. Is o a multiple of 78?
False
Suppose -5*o - c = -3*c - 1754, 4*o = 3*c + 1406. Suppose 5*a + 2*v - 1477 = 0, a + 5*v - o + 50 = 0. Is 27 a factor of a?
False
Suppose 1721279 - 4703363 = -131*m. Does 257 divide m?
False
Let b(a) = -2*a. Let g be b(0). Suppose g = -v + 31 - 7. Let y = 58 - v. Is 7 a factor of y?
False
Is 2 a factor of 2/(6/7) + (-577095)/(-711)?
True
Let x(q) = 9*q - 180. Let p be x(20). Suppose 686 = j - p*j. Is 49 a factor of j?
True
Let j be ((-12)/(-30))/(3/975). Let g = j - 77. Suppose 0 = g*q - 52*q - 80. Is 10 a factor of q?
True
Suppose -4*w = -4*x + 1216, x + 90*w - 88*w = 310. Is x a multiple of 9?
True
Let n(g) = -2*g + g**3 + g - 48 + 10*g + 3*g**3 - 6*g**2 - 3*g**3. Is n(12) a multiple of 11?
True
Let p(f) = 5*f + 7. Let y be p(41). Let m = y + 179. Is 7 a factor of m?
False
Let g be (-8)/(-6) + 469/(-21). Let i = -5 - g. Does 30 divide (-964)/(-16) + (-4)/i?
True
Let o be 4/(-6)*(-255)/2. Let l = -82 + o. Suppose -4*m + 44 = -u + 2*u, -l*m = 6. Is 13 a factor of u?
True
Let q(c) be the second derivative of 1/6*c**3 + 10*c + 12/5*c**5 + 0 - c**2 + 1/12*c**4. Is 12 a factor of q(1)?
True
Let u = 13300 + -13095. Is u a multiple of 17?
False
Let s(n) = -3*n**2 + 238*n - 85. Is 30 a factor of s(25)?
True
Let j(r) = 6*r**2 + 76*r + 648. Let g be j(-7). Let k(n) = 4*n**2 - 5*n - 4. Let p be k(-4). Suppose -m + g = 3*m - 2*q, -p = -m + 5*q. Does 7 divide m?
True
Let l(a) = -44*a**3 + 39*a**2 + 151*a - 4. Does 32 divide l(-4)?
False
Let p(i) = 2*i - 5. Let x be p(0). Let j be (-5)/(x + 0)*11. Suppose 5*n + 24 = j*n. Is 4 a factor of n?
True
Suppose -7317 = -3*q + 2*g + 26207, 2*q + 5*g - 22381 = 0. Is q a multiple of 207?
True
Let h = -604 + 602. Is 73 a factor of (-12)/h - (-7 + 644/(-1))?
True
Suppose -q + 2*d + 3440 = 0, -22*q + 17254 = -17*q - d. Is 8 a factor of q?
False
Suppose -125*h + 23*h + 1047688 = 244*h. Does 11 divide h?
False
Suppose 0*d + 25 = 5*d. Let g(f) = 15*f**2 + f - 3. Let s be g(-2). Suppose d*z = s + 230. Is z a multiple of 19?
True
Let g = 9697 - 7613. Does 3 divide g?
False
Suppose 35*w - 34*w - 2*a = 9360, 5*w - 2*a = 46800. Does 65 divide w?
True
Suppose 5*z - b = 10899, 4*z - 3500 = 2*b + 5224. Is z a multiple of 37?
False
Let t(b) = 16*b**2 - b + 8. Let x(d) = -d**3 - 14*d**2 + 14*d - 9. Let u be x(-15). Suppose r = k + 2, 3*r + 4*k = 8*k + u. Is t(r) a multiple of 10?
True
Let o(c) = -37*c + 22. Suppose 49 = j + 3*s - 63, 0 = 3*s - 12. Let t = j + -107. Does 43 divide o(t)?
False
Suppose p + 211 = 4*y + 212, -4*p = 4*y - 24. Let d be (-4)/18 + 11110/18. Suppose 98 = p*x - d. Is 12 a factor of x?
False
Let c(u) = -7*u**2 + 102*u - 44. Let r be c(16). Let f be (1 - (1 + 2)) + 8. Is 17 a factor of (-2*3/f)/(4/r)?
True
Suppose 4061 = 11*d + 431. Suppose -62 = -7*p + d. Is 10 a factor of p?
False
Let t = 4086 - 3112. Is 24 a factor of t?
False
Is -8 + (-78)/(-65) + 226198/35 a multiple of 22?
False
Let g = -17 + 161. Suppose 13*k - 3457 = g. Is k a multiple of 32?
False
Let i be (9/6)/(9/24). Suppose -n = i*n - 10. Suppose 0 = -5*r + 3*c + 268, 5*c - 101 = n*r - 4*r. Is 31 a factor of r?
False
Let d be 6970/60 + (-1)/6. Suppose 0 = 4*q - b + 404, 3*b + b = q + d. Let h = 190 + q. Does 10 divide h?
True
Let f(s) = 324*s**2 + 2*s - 2. Suppose 11*b = 8*b + 3. Let j be f(b). Suppose -5*k - 2*t + j = 0, -5*t = -4*k + 2*k + 147. Is k a multiple of 14?
False
Let u be (-14)/(-6) + 1 + 12/18. Let m(k) = 119*k - 21. Does 13 divide m(u)?
True
Suppose -144*q + 139*q - 105513 = -4*g, -4*g - 2*q + 105450 = 0. Does 22 divide g?
False
Let h(f) = -f**3 + 101*f**2 - 18*f - 368. Is h(98) a multiple of 20?
True
Let k be (-555)/(-6) + (4 - (-7)/(-2)). Suppose k = 10*y - 527. Is y a multiple of 13?
False
Let n = -5238 + 7163. Does 3 divide n?
False
Let f(z) = -z + 1. Suppose 5*w = -2*x + 10 + 12, -24 = -3*x - 3*w. Suppose 26 = -5*j + x. Is 2 a factor of f(j)?
False
Let z(l) = 353*l**2 - 17*l + 129. Is 110 a factor of z(4)?
False
Let s = 47 + -14. Suppose s*k - 368 = 29*k. Suppose 11*a - 7*a - k = 0. Does 8 divide a?
False
Suppose -28*y + 212 = -24*y. Suppose -235 = -2*s - y. Is s a multiple of 9?
False
Let q(f) = 3883*f - 3654. Is 4 a factor of q(4)?
False
Let t = 403 - 399. Suppose 0 = c - t*m - 322, 3 + 291 = c + 3*m. Is c a multiple of 17?
True
Suppose j = 15*j - 149136 - 140314. Is 117 a factor of j?
False
Let i(g) = 2*g + 14. Let q be (20 - 17) + -9*1. Let u be i(q). Is 97/u - (27/6 + -4) a multiple of 28?
False
Let d be (693/(-105))/(6/(-20)). Suppose d*m = 20*m + 1382. Does 32 divide m?
False
Suppose 66*s + 8*s + 74*s - 439856 = 0. Is 23 a factor of s?
False
Let z = 214 + -3. Let k = z - 348. Let t = -51 - k. Does 10 divide t?
False
Suppose 668718 = 1264*t - 1167*t. Does 71 divide t?
False
Let p(o) = -10*o**3 - 5*o**2 + 11*o - 7. Let a(u) = -u**3 - 2*u**2 + u - 1. Let f(t) = -5*a(t) + p(t). Is 8 a factor of f(-3)?
True
Suppose 4*w - 19574 = 4*a - 5*a, 3*a - 24464 = -5*w. Suppose 0 = 14*o - 20882 + w. Is o a multiple of 39?
False
Let j = 4117 + -865. Suppose 0 = -3*t + 4*g + 939 + 3937, -3*g - j = -2*t. Is t a multiple of 108?
True
Suppose 4*s - 52 - 508 = 0. Let p = 143 - s. Suppose 79 = p*k + 4*t - 28, t - 34 = -k. Is 4 a factor of k?
False
Suppose -4*r + 266 = -3*b, -2*r + 4 = -3*r. Let d be (-819)/546*476/(-6). Let g = d + b. Is g a multiple of 3?
False
Suppose 0 = 3*k + 14*l - 18*l + 114, 0 = -5*l - 15. Is 16 a factor of (k/(-28))/((-5)/(-1760))?
True
Let n be (-1815)/10 + 1/(-2). Let t = -73 - -71. Is 13 a factor of 2/(t/(-7) - (-24)/n)?
True
Let f(t) = 21 - t - t**3 + 9*t**2 - 11 + 2*t. Is f(8) a multiple of 6?
False
Let k(l) = l**3 + 7*l**2 - 12*l - 4. Let s be k(-8). Let d = s + -10. Suppose -2*w - d + 50 = 0. Is w a multiple of 16?
True
Let a(s) = -6*s - 138. Does 2 divide a(-65)?
True
Is 59 a factor of ((-225)/150)/(1/(-14))*(-944)/(-6)?
True
Suppose 0 = 43*q - 47*q + 40. Suppose q*c - 140 = 6*c. Suppose 6*j - 11*j + c = 0. Is j a multiple of 6?
False
Suppose 7643 = 2*z + 3*o, -5*z - 2*o + 10326 = -8798. Is z a multiple of 19?
False
Suppose p = -0*p + 6. Let z be (-1 - 1)*p/(-6). Suppose 4*q - z*b - 325 = 117, 0 = -3*q + b + 332. Is 26 a factor of q?
False
Let t(f) = 227*f - 112. Let h be t(6). Suppose -h = 13*i - 23*i. Is 13 a factor of i?
False
Suppose 0 = -x + 3, -10329 + 2550 = -5*p - 3*x. Suppose p = 8*z - 1654. Is 13 a factor of z?
False
Let k(r) = -2*r**3 + 4*r**2 + 12*r - 5. Let j(u) = 2*u**3 - 3*u**2 - 10*u + 7. Let v(s) = -5*j(s) - 4*k(s). Does 43 divide v(-6)?
False
Suppose -v + 15 = 4*q, 0*q + 5*q - 5 =