5*d = -25, 0 = -6*o + o + i*d + 90. Does 4 divide o?
False
Suppose 3*c - 955 = -v + 1106, -2*c = 5*v - 10279. Does 29 divide v?
False
Let c(a) be the first derivative of a**3 + 9*a**2/2 + 11*a + 30. Does 6 divide c(5)?
False
Let r(m) = -38*m - 134. Let g be r(-8). Suppose 5*z - 2*a = g, -3*z + 143 = -4*a + 11*a. Is 9 a factor of z?
True
Let g = 42 + -27. Does 5 divide g?
True
Suppose -3*f = 51 - 45. Let k be (-5 + -7)/(f/5). Suppose -4*t = -k - 246. Is t a multiple of 14?
False
Let c be 3 + 82/(-26) - 17298/117. Let b(f) = 56*f**2 - f - 2. Let z be b(2). Let g = z + c. Does 20 divide g?
False
Let v = -3615 - -4671. Is v a multiple of 22?
True
Suppose 5*x - 32 = -17, r - 27738 = -2*x. Does 88 divide r?
False
Let a(b) = 2*b**3 + 2*b**2 - b + 3. Let y be a(0). Suppose -y*d = -565 - 623. Is d a multiple of 34?
False
Suppose 19*s - 62*s = 40*s - 556930. Does 37 divide s?
False
Is 2296/(-108)*-51 - (-52)/(-234) a multiple of 24?
False
Let a(r) = -135*r + 2872. Does 19 divide a(11)?
True
Suppose -111*k - 84*k + 2535 = 0. Is 13 a factor of k?
True
Let h be 2/(-7) + -6*670/(-105). Suppose 2*o + h = 210. Suppose o = 2*p - 0. Is p even?
False
Let h(z) = -172*z - 48. Let l be h(2). Let b = l + 715. Does 17 divide b?
True
Let h(y) = -2*y - 41. Let s be h(-28). Suppose -s*d + 864 = -11*d. Does 18 divide d?
True
Let r(c) = 38*c - 24*c + 14*c - 4. Let l = -13 + 17. Is r(l) a multiple of 36?
True
Let x be -16*(2 + (-2)/4). Let b = 31 + x. Does 21 divide (b - 9)/(2/(-59))?
False
Let b = 445 + 2955. Is b a multiple of 68?
True
Suppose x = 3*i - 61558 + 4907, 4*i - 5*x - 75509 = 0. Is i a multiple of 47?
False
Let a = 245 - 250. Is a + 0 - 7/((-35)/705) a multiple of 14?
False
Let x = -384 + 375. Let f(j) = -4*j**2 + 10*j + 15. Let p(q) = 3*q**2 - 9*q - 15. Let z(h) = 2*f(h) + 3*p(h). Is z(x) a multiple of 46?
False
Suppose -2*g - h + 8 + 12 = 0, -36 = -4*g - h. Does 53 divide -226*((-1677)/301 - g/(-14))?
False
Suppose -2*l + 3*l - 4*c - 2928 = 0, 0 = -2*l - c + 5829. Is l a multiple of 32?
False
Let u(f) be the second derivative of -f**5/10 - 5*f**4/6 - 2*f**3 + 8*f**2 + 2*f - 44. Does 9 divide u(-6)?
False
Suppose -2055402 - 180082 = -254*o + 3501106. Is 100 a factor of o?
False
Let b(f) = f**2 - 4*f + 10. Let s be b(0). Is 19 a factor of (-5)/(s/(-4)) + (8 - -47)?
True
Suppose 0 = 82*j - 83*j - o + 1047, -3*o + 4185 = 4*j. Does 113 divide j?
False
Is (133 - 62 - 45)/(867/(-869) - -1) a multiple of 17?
False
Let j = 354 - 365. Let f(g) = -2*g**3 - 10*g**2 + 27*g + 15. Is 30 a factor of f(j)?
True
Let l(t) be the second derivative of -t**4/12 + 85*t**2/2 - 3*t. Let m be l(0). Let x = m + -38. Is x a multiple of 23?
False
Let x(f) = 84*f**2 + 7*f + 1. Let w(s) = -s**3 + 15*s**2 + 15*s + 13. Let c be w(16). Is x(c) a multiple of 21?
False
Let p = 17 - 22. Let j be (2 - -1) + 10/p. Let v(s) = 57*s + 4. Is v(j) a multiple of 17?
False
Let r(x) = 1128*x**2 + 23*x - 2. Does 23 divide r(5)?
True
Let p(n) = -n**3 + n**2 + 2. Suppose -5 = 2*b - 5*z, -b + z = -2*z + 3. Let l be p(b). Suppose o - 2*s - 4 = 0, 0*s + s + 23 = l*o. Is o a multiple of 14?
True
Suppose 2*c + n + 2*n - 91 = 0, 138 = 3*c + 4*n. Let t = c + -64. Does 9 divide t/(-35) + 399/15?
True
Suppose 18*g + 12 = 24*g. Let q(x) = 93*x**2 + 15*x + 94*x**g - x**3 - 188*x**2 + 6. Is q(-6) a multiple of 32?
True
Let i be (-2 + (4 - 11))*4/(-18). Let t(n) = 83*n**2 - 3*n + 14. Is 17 a factor of t(i)?
True
Let p(r) = 157*r - 5. Let u(l) = 156*l - 3. Let o(v) = 6*p(v) - 5*u(v). Suppose -y = h - 3*y - 12, -2*h = -2*y - 14. Is o(h) a multiple of 15?
False
Let t = 218 - 230. Is 49 a factor of 9/t - (2718/(-8) + -4)?
True
Suppose 0 = 5*m + 8*k - 3*k - 67565, 5*k = -3*m + 40523. Is 210 a factor of m?
False
Let g(b) = 5 - 15 + 23*b - 3*b**2 - 14 + b**2. Let c be g(10). Let w = 38 + c. Is 11 a factor of w?
True
Let n(v) = v**3 + 10*v**2 + 17*v - 18. Let o be n(-10). Let w = o - -274. Is 3 a factor of w?
False
Let j = -838 + 5374. Does 56 divide j?
True
Let s(x) be the second derivative of -x**5/20 + 5*x**4/12 + x**3/3 - 11*x**2/2 + 4*x. Let r(y) = 3*y**2 + 3*y + 4. Let b be r(-1). Does 11 divide s(b)?
False
Let u(z) = -z**3 - 5*z**2 - 5*z + 3. Let f be u(-4). Suppose f*i + 27 = -1. Let r = 16 - i. Is 4 a factor of r?
True
Suppose 1674 = 69*g - 15*g. Is 5 a factor of g?
False
Let k(d) be the first derivative of -d**3 - 30*d**2 - 57*d - 109. Is 48 a factor of k(-17)?
True
Let q = 7 + 2. Suppose 0 = 16*m - q*m - 21. Suppose 4*u + m*d = 176, 4*u - 185 = -u + 5*d. Is u a multiple of 11?
False
Let s be 1/((-84)/(-18) - 5). Let n(q) = -80*q. Does 20 divide n(s)?
True
Let n be 2/5*(-55)/(-11). Let d be -5 - -3 - (-8)/n. Suppose 37 + 43 = d*o. Is o a multiple of 8?
True
Suppose -r - 392 = 5*p, 5*p + 379 = -4*r - 4. Let a be 1 - (-148 + 323/17). Let l = p + a. Is l a multiple of 17?
True
Does 7 divide 203740/90 - 270/(-81)*(-2)/(-30)?
False
Let c(l) be the second derivative of -4/5*l**5 + 5/12*l**4 + 2/3*l**3 + 2*l**2 - 24*l + 0. Is 16 a factor of c(-2)?
True
Let o = -779 - -820. Let z be (-1)/2*-2*2. Suppose z*x = o + 1. Is 21 a factor of x?
True
Is 200 a factor of 10/(66/(-352)*3/(-1395))?
True
Suppose -f + 4*f - 210 = 0. Suppose -2*c - 5*r = 2*c + f, -4*r = -5*c - 108. Let w(h) = -5*h - 48. Is 14 a factor of w(c)?
False
Suppose -3*y + 7*y - 12 = 0. Suppose -y*t - 1519 = -502. Let w = -226 - t. Is 26 a factor of w?
False
Suppose 3*k - 568 = -5*z, -306 = 4*k + z - 1035. Suppose 0 = -f + 13 + k. Does 9 divide f?
False
Let u = 266 + 248. Let o = u + -154. Is o a multiple of 34?
False
Suppose -3*w + 25080 = 4*a, -2*w + 70*a - 69*a = -16698. Is 15 a factor of w?
False
Let d(a) = a**3 - 11*a**2 + 10*a - 1. Let j be d(8). Let y = j - -425. Is 10 a factor of y?
False
Let f = 468 + -436. Suppose 28*k = f*k - 588. Is 19 a factor of k?
False
Let b be ((-8)/72)/(3/(-18))*-687. Let n = -443 - b. Does 2 divide n?
False
Suppose 11*j - 420 = 5*j. Suppose j = 4*m - 114. Is 23 a factor of m?
True
Let s = -932 + 2885. Is s a multiple of 10?
False
Let h be (2 - -16)*(-2 - 35/(-21)). Is (-17941)/(-91) + h/39 a multiple of 15?
False
Let x(d) = -2 - 2*d**2 - 3*d**2 + 2*d**2 - d - 10*d**3 + 5*d**2. Suppose 2 = -f - 3*f - 3*h, -f - 3*h = -4. Is x(f) a multiple of 13?
False
Suppose -4*v + 588 = 2*o, 2*o - 167 = 2*v + 397. Does 13 divide o?
True
Let j = 33828 + -28816. Is j a multiple of 152?
False
Let r be (-510)/(-306) - (-2 + (-25)/3). Suppose 0 = u - 2*y - 113, -7*u - 565 = -r*u - 5*y. Is u a multiple of 2?
False
Let f(i) be the third derivative of i**6/120 + i**5/20 - i**4/3 - 7*i**3/3 - 91*i**2 - 2. Does 10 divide f(7)?
True
Is 8 a factor of (-1544 + -1)/((-6)/10*181/543)?
False
Suppose -6*j + 10*j - 432 = 0. Let c = j - 40. Does 33 divide 1/(-1) + (1 - 2) + c?
True
Suppose -2 = 53*v + 157. Is 39 a factor of v - ((-6562)/6 + (-64)/48)?
True
Suppose 4*l - 20 = 0, 4*j - 7129 = 7*l - 4*l. Does 10 divide j?
False
Suppose 0 = -56*t + 212879 + 126593. Is 14 a factor of t?
True
Is 2392/((-16 + 24)/4) a multiple of 21?
False
Suppose -4*a + 6*a - 4*r = 154, -3*a = -5*r - 228. Suppose 35*b + 16704 = a*b. Is 16 a factor of b?
True
Let d(f) = 6*f + 16. Let q(r) = r + 1. Let k(a) = -d(a) + 3*q(a). Let x be k(-5). Let b(u) = 120*u - 19. Is b(x) a multiple of 25?
False
Does 16 divide (8979/4)/((-111)/(-148))?
False
Suppose 0 = 6*i + 8*i - 252. Suppose i = 5*z - 1832. Is z a multiple of 45?
False
Suppose 0 = 5*q + d - 5*d - 117, -3*q + d + 66 = 0. Let c = -16 + q. Suppose 160 = c*y - y. Is y a multiple of 5?
True
Suppose -2*f = 6*f. Suppose f = -y + 7*y - 492. Let h = y + -12. Is h a multiple of 10?
True
Let d be ((-5)/3)/((-3)/(-18)*-2). Let y(m) = -m**2 - 17*m - 14. Let c be y(-16). Suppose -t = -3*s - 202, -703 = -c*t + d*s - 295. Does 13 divide t?
False
Let h = -4812 + 12803. Is h a multiple of 25?
False
Suppose 5*d + 2 + 17 = -h, -1 = -h - d. Suppose 0 = i - h*i + 10. Suppose -27 = -j - i*j. Does 3 divide j?
True
Suppose 3*c + 4*l = 0, 5*l - 4*l - 1 = -c. Suppose -4*w - c = 0, 2*r + 70 = -3*w - w. Is (-2)/(-3) - 572/r a multiple of 4?
False
Let n = 1932 + 787. Suppose 6274 + n = 17*p. Does 17 divide p?
False
Suppose -2*c - 2*c = b - 15804, 5*b = 0. Does 3 divide c?
True
Let q be ((78/12)/13)/(2/20). Suppose 3*z = -2*a + z + 198, 0 = -q*a + 3*z + 471. Is a 