 24 divide j?
True
Let q(x) = -10*x + 35. Suppose 0 = 3*h + 5 + 52. Let r be q(h). Suppose 12*d - 7*d - r = 0. Is d a multiple of 15?
True
Let f(i) be the first derivative of 183*i**2 - 8*i + 17. Let w be f(-7). Does 17 divide -2 + 8/5 - w/50?
True
Let u(s) = -s**3 - s**2 - 6*s - 2. Let l be ((-5)/(-15))/(17/(-408)). Does 38 divide u(l)?
True
Let x be (-4)/(-6) + (-1)/6*4. Suppose 2*i = -f + 103, x = -4*f - f + 15. Suppose -i = -v + 166. Does 36 divide v?
True
Suppose -6 = -5*n + 59. Suppose 7 = 5*j - n. Let i = 35 + j. Is i a multiple of 13?
True
Suppose -26*s - 435 = -21*s. Let f = 33 - s. Does 12 divide f?
True
Suppose -3*m = -2*h, -3*h + 11 = 2*m - 2. Let s be 8/(-7 - 1)*-22. Suppose 3*a + 2*l - s = 134, m*l = 6. Does 14 divide a?
False
Let t = -705 + 704. Is 61 a factor of (((-3)/(-6))/t)/(22/(-16104))?
True
Let b be -3 + (-7)/(21/(-387)). Suppose -b = -v - 8*v. Is 6 a factor of 7/v - (-1)/(-2)*-37?
False
Let s(v) = v**2 - 18*v - 57. Suppose -43 = -13*t - 82. Does 3 divide s(t)?
True
Let p = 61 - 45. Suppose -2*c + p = 10. Suppose s - d + 44 = 3*s, 4*d + 88 = c*s. Is 7 a factor of s?
False
Let o(s) = -15*s - 14 - 19*s - 7*s. Is o(-5) a multiple of 30?
False
Suppose -o + g = 5*g - 740, -3*o - 3*g + 2229 = 0. Let u = o - 443. Is u a multiple of 43?
True
Suppose 144*n = 33*n + 792207. Is n a multiple of 61?
True
Suppose 90*p = -w + 91*p + 12355, -37001 = -3*w - 5*p. Is 36 a factor of w?
False
Let s(w) = -w**3 - 3*w**2 - w + 4. Let b be s(-3). Let i(z) be the third derivative of z**5/30 - z**4/4 - z**3/3 - 154*z**2 + 3. Does 9 divide i(b)?
True
Suppose -71 = -4*y - 5*d, -5*d - 13 = -2*y - 0*y. Suppose -y*b - 32 = -16*b. Let n = 56 - b. Is n a multiple of 8?
True
Let n(t) = 13*t - 28. Let y be -43*(-2)/(-2)*1. Let h = -36 - y. Is n(h) a multiple of 38?
False
Suppose -3*v = -16 - 14. Let d be (-4 - (-2 - v/4))*10. Suppose -d*m + 496 = b, -3*b = -m + 2*m - 102. Is 9 a factor of m?
True
Suppose 0 = -3*g - 1122 - 1398. Let n = -80 - g. Is n a multiple of 14?
False
Let m be 4 + 12*6/(-9). Let t be (-1 - 0 - -3)*18/m. Let r = 18 - t. Does 9 divide r?
True
Let b(l) = 6*l + 16. Let c(n) = -11*n - 32. Let o(d) = -5*b(d) - 3*c(d). Let t be o(-6). Is 600/8 - 1 - (t + 1) a multiple of 34?
False
Let j(k) = 3*k**3 - 30*k**2 + 53*k + 372. Is j(22) a multiple of 60?
False
Let s(c) = -c - 1. Suppose -2*v + 11 = -5*q + 2*v, -q + 2*v - 7 = 0. Let z(p) = -9*p - 12. Let d(o) = q*z(o) - 6*s(o). Does 2 divide d(-4)?
True
Suppose -4*v = 3*j - 4945, 0 = -4*v + 9*v + 8*j - 6194. Is v a multiple of 25?
False
Does 168 divide (7/(-3))/((-8)/(-1202688)*-6)?
True
Let f(b) = 7*b + 22. Let g be f(9). Is (36/10*-7)/((-17)/g) a multiple of 14?
True
Suppose 0 = -346*c + 2975113 + 3710645. Is c a multiple of 21?
False
Let w(k) = k - 10. Let a be w(10). Suppose a = 15*d - 18*d + 21. Suppose -9*v + 24 = -d*v. Is v a multiple of 2?
True
Suppose 3680 = -15*b - 14*b + 21544. Is 4 a factor of b?
True
Let l(u) = u**3 + 7*u**2 - 9*u - 5. Suppose -17*h - 32 = -13*h. Let i be l(h). Does 14 divide i/(3*1/42)?
True
Is (-6223455)/(-189) + (-6)/18 a multiple of 36?
False
Suppose 0 = 2*z - 2*k - 220, 6*k = -3*z + 8*k + 328. Suppose -149*u + z = -146*u. Does 3 divide u?
True
Let f(y) = 2*y**2 + 56*y - 991. Is f(21) a multiple of 22?
False
Suppose 0 = 5*y + 4*g - 15686, 4*g + 3118 = 4*y - 3*y. Suppose 0 = -32*h + 2914 + y. Is h a multiple of 63?
True
Let h = -9684 + 15316. Suppose -6*l - h = -22*l. Is 22 a factor of l?
True
Let g = 154 + -236. Let x = -74 - g. Let h(t) = 5*t**2 - 10*t. Is h(x) a multiple of 48?
True
Let w be (-4)/3 + (-222)/(-18). Suppose 3 = 2*r + w. Is 9 a factor of 90/r*(5 - 7)?
True
Let m be ((-3855)/10)/((-3)/4). Is 24 a factor of 105/140*(m - 2)?
True
Let s be -10*(-28)/(-8) + 3. Let g = s + 32. Suppose 0 = 2*c + 5*i - 207, -3*c - 2*i + 4*i + 339 = g. Is 19 a factor of c?
False
Let a(n) = n**3 - 26*n**2 - 29*n + 56. Let g be a(27). Is 7 a factor of g/((-3)/6*(-1)/29)?
False
Let x be 110/(-25) - 6/(-15). Let g be 796/6*(1 - x/8). Is g*-1*(-7 + 0 - -6) a multiple of 56?
False
Does 4 divide 43629345/26285 - (0 - -1)/(-7)?
True
Let d = 5805 + -3266. Suppose 0 = -24*w + 1661 + d. Is w a multiple of 25?
True
Suppose -14936 - 77512 = -16*t. Is 36 a factor of t?
False
Let d(s) be the second derivative of s**5/20 + s**4/4 - 5*s**3/6 - 9*s**2/2 - 33*s. Let g be d(-3). Is g/15 + ((-1722)/(-10))/7 a multiple of 3?
False
Let g(u) = -31*u - 19. Let q be g(-1). Let a(s) = 2*s**3 - 22*s**2 - 12*s - 21. Is a(q) a multiple of 41?
True
Let s be (-7)/((-70)/4635)*2. Suppose -6*l = s - 2655. Does 16 divide l?
True
Let l be (-42)/4 + (-16)/(-32). Let m be (3 + (-8)/6)/(l/(-12)). Let r(k) = 16*k + 14. Does 13 divide r(m)?
False
Let h(v) = -v**3 + 51*v**2 - 58*v - 158. Does 96 divide h(47)?
True
Suppose -3*p - 6*p - 135 = 0. Is (-324)/p + 10/25 a multiple of 5?
False
Let s(x) = -x**3 - 71*x**2 - 1276*x - 57. Is s(-42) a multiple of 4?
False
Let k be -5 + -5 + 304 - 6. Suppose 48*g - k = 44*g. Is 4 a factor of g?
True
Let k(w) = 1369*w**2 - 13*w - 24. Is 66 a factor of k(-2)?
True
Suppose -204 = -7*v + 1630. Let a = v - -13. Does 34 divide a?
False
Let t = 31658 + -22581. Does 100 divide t?
False
Let n = 29992 - -10376. Is n a multiple of 12?
True
Let v(t) = -89*t + 4. Let s be v(-5). Let z = 710 - s. Does 29 divide z?
True
Let a be 9/((10/6)/5). Suppose 9*m + 0*m = a. Suppose m*o - 213 = 5*l, 4*o - 4*l - 281 = 3. Is o a multiple of 10?
False
Suppose 37*k = -20*k + 216657. Does 155 divide k?
False
Let z(y) = 2*y + 52. Let i be z(23). Suppose 0 = 3*x - 2*f - 35 - 20, i = 5*x + 3*f. Let n(w) = 8*w + 6. Does 28 divide n(x)?
False
Suppose 3*b + 18 = 9*b - 0*b. Suppose 3*a = 3*x - 0*a - 21, -4*a = 8. Suppose -f - f = -x*h + 606, 5*f = b*h - 375. Does 17 divide h?
False
Suppose -200*q + n - 74301 = -201*q, -148606 = -2*q - n. Is 55 a factor of q?
True
Let p = 3846 - -2745. Does 13 divide p?
True
Suppose 13*t + 433690 = 56*t - 461441. Does 27 divide t?
True
Let y(x) = -2*x**2 - 23*x - 30. Let h be y(-14). Let g = h + 140. Is 6 a factor of g?
False
Suppose 14996 = 11*z - 29231 + 4253. Is z a multiple of 158?
True
Let x = -25805 - -43993. Is x a multiple of 46?
False
Let l = 1215 - 426. Suppose 2685 = -2*p - 3*p. Let m = l + p. Is m a multiple of 14?
True
Let i be 63 + -65 - (-3 - 1). Is 72 a factor of 34572/120 + i/(-20)?
True
Is 24/(-9) + 195580/105 a multiple of 31?
True
Let m(v) = -4*v**2 + 82*v + 21. Let z be m(21). Is 13 a factor of 3/7 + (-26199)/z?
True
Suppose -5*j - 2*u + 200803 = 0, -16*j = -4*u + 8*u - 642560. Is j a multiple of 31?
False
Suppose -p + 9*v - 10*v + 36744 = 0, 0 = -p - 3*v + 36750. Is p a multiple of 37?
True
Let f = -7991 - -11695. Is 11 a factor of f?
False
Let q(d) be the first derivative of -8*d**2 + 107*d + 233. Is 8 a factor of q(-9)?
False
Is (-210112)/(-245)*(3 + 32) a multiple of 56?
True
Let t = -1189 + 1296. Is t a multiple of 2?
False
Let t(o) = -8*o**3 - o**2 + 17*o - 30. Let y be t(4). Let i = y + 828. Is i a multiple of 13?
True
Suppose -2*b - 5416 = -46*t + 43*t, -2*t + 3618 = -5*b. Is 164 a factor of t?
True
Let w(d) = 4*d + 33. Let i be w(-6). Let l(h) = -h**3 + 8*h**2 + 11*h - 12. Let f be l(i). Is 30 a factor of 270/(-12)*(-1)/(f/16)?
True
Suppose 0 = -14*g + 18*g - 4*w - 19388, 0 = -4*g - 4*w + 19324. Is 6 a factor of g?
False
Suppose 5*h - 77541 = -26776. Is 24 a factor of h?
False
Does 6 divide -12*(120/32 + -4) + 1782?
False
Let p be (-12 + 8)/(-4) - -322. Is 1/(21/(-14))*(-1 - p) a multiple of 67?
False
Let i = 1815 - -5568. Does 75 divide i?
False
Suppose 3*p - 2*x - 867 = 0, -132*p - 2*x + 598 = -130*p. Is p a multiple of 12?
False
Suppose 1692*m - 1677*m - 231075 = 0. Is m a multiple of 79?
True
Suppose -21 = 4*x - 3*c + 39, -3*x - 2*c = 28. Is (-68)/x + -7 - (-822)/9 a multiple of 18?
True
Let z = -176 + 381. Suppose 5*i + z = 5*j, -7*j - 5*i = -3*j - 191. Let w = -24 + j. Is 2 a factor of w?
True
Let d = 111782 + -34517. Does 85 divide d?
True
Suppose 3985*v = 4032*v - 556950. Does 5 divide v?
True
Suppose -3*m + 4408 = -380. Let k = m + -1133. Suppose 0 = -5*b + 2*n + k, 0*n - 1 = -n. Does 13 divide b?
False
Suppose 0 = 5*a + 5*s - 25905, -2*a + 11*s = 7*s - 10326. Is 69 a factor of a?
True
Suppose -14*n - 6 = -11*n. Does 16 divide 290 - (1 - n*