p + 40*p + 89138 = z, 4*z + 71296 = 4*p. Is 134 a factor of p?
False
Suppose -6*f - 40 = -5*a - f, 11 = -3*a - 4*f. Let u(h) = -7*h - h**3 - 6*h - 18*h**2 - 8*h + a. Is 18 a factor of u(-17)?
False
Suppose 3*y = 347 - 80. Suppose 3*j - y = 553. Does 60 divide j?
False
Let y = 541 + -543. Is 16 a factor of 631 - ((-63)/81 + y/9)?
False
Suppose 128*w - 177267 = 862861. Is w a multiple of 34?
True
Let f(u) = u**3 + 6*u**2 - 8*u - 2. Let i be f(-7). Let c be (9/(90/136))/((-11)/(-165)). Suppose -b - c = -i*b. Is 13 a factor of b?
False
Let j(i) = i**3 + 28*i**2 + 13*i + 28. Let z be j(-26). Let a = -550 + z. Suppose 5*u = -t + 1197, 4*t + a = 2*u - 0*u. Does 30 divide u?
True
Let j be -1 - (-113 + (-15)/3). Let w = 223 - j. Suppose r - 3*c - w = -4*r, -5*r + 118 = c. Is r a multiple of 3?
False
Let p(c) = 2*c**2 - 7*c + 33. Let o be (-66)/(-14) - (-2 - 132/(-77)). Does 5 divide p(o)?
False
Let j(n) = -321*n**2 - 326*n**2 - 3 + 5*n - 14*n + 648*n**2 - 12. Is 10 a factor of j(-21)?
False
Suppose d = a + 1, 5*d = -0*a + a + 9. Let o be d/((28/12)/7). Does 14 divide 4/o*(2 + 140 + -4)?
False
Let w(o) = 12*o**2 - 41*o - 80. Is 48 a factor of w(23)?
False
Suppose 4*b = -16, 7*b - 2*b + 15420 = 4*c. Is 5 a factor of c?
True
Suppose -25*y = -33*y - 2960. Let h = -59 - y. Does 37 divide h?
False
Is 114 a factor of (-7)/1 + (-97 - -2840)?
True
Let c = -182 + 216. Let z = c - 28. Is 3 a factor of z?
True
Let k = -40393 - -40609. Is k a multiple of 8?
True
Suppose 66*z + 179473 = 237*z - 97547. Does 36 divide z?
True
Suppose -2*i + m - 567 = -0*i, -1421 = 5*i + m. Let j = 580 + i. Does 7 divide j?
False
Suppose -2*r - 3*m + 5317 = -r, 4*r - 2*m - 21338 = 0. Is r a multiple of 86?
True
Let b be 64/6 + (2 - 10/6). Suppose -20*r = -b - 4929. Is 13 a factor of r?
True
Suppose 14 = 3*m - 0*d - d, 2*d + 3 = m. Suppose 0 = m*n - 11*n - 390. Does 10 divide (-2)/2 - n - 0?
False
Let p be 21/(-14) + (-10)/(-4). Let a be p*2*((-441)/(-14) + -6). Suppose -5*u + a = -269. Is 8 a factor of u?
True
Let k(h) be the third derivative of h**5/60 - 3*h**4/8 + 4*h**3 + 3*h**2. Does 4 divide k(9)?
True
Let z = -31182 - -52503. Is z a multiple of 50?
False
Let q be 4 + (19 - 9/3) - 0. Suppose 4*g - 382 - 3141 = l, 0 = 4*l - q. Is g a multiple of 18?
True
Let a(y) = -6*y**3 - 5*y - 1. Let l be a(-3). Let d = l - 56. Suppose -u = 5*u - d. Does 4 divide u?
True
Let c = 154 - 133. Let z(k) = 51*k - 186. Is 59 a factor of z(c)?
True
Suppose 20 - 10 = -5*c. Does 10 divide 85*c*(-55)/50?
False
Is 3 a factor of (-11444)/2*(-1)/6*3?
False
Suppose -23*j - 58006 = -36*j. Is j a multiple of 123?
False
Let n be (-1984)/4*4/(-8). Suppose -i = r - 236, -n = -2*i + i + 2*r. Is i a multiple of 20?
True
Suppose 6*g = 3*g - 297. Let o = g - -68. Let q = -13 - o. Is 3 a factor of q?
True
Let w = -16 - -54. Let z = -40 + w. Is 26 a factor of z/(-8) + 1038/8?
True
Suppose -19481 = -g + p, -11656 = -2*g + 5*p + 27300. Does 79 divide g?
False
Suppose 4*d - 6 = 10. Suppose 5*a + 183 = -257. Does 5 divide d + -3 - ((-6)/2 + a)?
False
Let v = -1 - -1. Let t = 1679 + -1677. Suppose -4*f + 2*f = m - 36, v = t*m + f - 57. Does 6 divide m?
False
Suppose -3*l + 2*r = -4466, 0 = 3*l - 1915*r + 1912*r - 4464. Is 5 a factor of l?
True
Let p = 31 + -44. Let s(h) = -7*h + 5. Let y be s(p). Let m = y - -69. Is m a multiple of 14?
False
Let r(b) be the first derivative of b**3/3 + 11*b**2/2 - 31*b - 44. Is r(7) a multiple of 9?
False
Suppose w = 4*g - 13355 - 88314, -2*w + 14 = 0. Is 59 a factor of g?
False
Let p(b) = 2*b**2 + 25*b + 14. Let o be p(-12). Is 24 a factor of 325/o + (-3)/(-6)?
False
Does 162 divide 11/((-33)/30) + (-1789760)/(-47)?
True
Let m(b) = 0*b - 2*b**2 - 7*b - 8*b + 3*b + 17. Let s be m(-7). Suppose -4*j + s*j = -147. Is j a multiple of 31?
False
Let m(a) = -63*a**3 - 12*a**2 + 5*a + 15. Is 12 a factor of m(-4)?
False
Suppose 35*v + 158*v = 1674275. Does 25 divide v?
True
Suppose 32*c - 981794 = 21598. Is c a multiple of 13?
True
Let x(g) = 614*g**3 - g**2 + 2*g + 7. Let m(c) = 1229*c**3 - c**2 + 5*c + 13. Let r(u) = -3*m(u) + 5*x(u). Is 7 a factor of r(-1)?
True
Let m(b) = -833*b - 559. Does 13 divide m(-18)?
False
Let r = 40 + -36. Suppose 2*k + 3 = -0*h - h, 3*h + 9 = -r*k. Is 7 a factor of h/(2/(280/(-12)))?
True
Let z be (-302)/(-4) + (-32)/(-64). Suppose -73*h = -z*h + 99. Is 2 a factor of h?
False
Let u be ((-22)/5)/((-12)/30). Let i = 9 - u. Let s(m) = 3*m + 8. Is 2 a factor of s(i)?
True
Suppose 3 = -5*r + 78. Let q(o) = -o**2 + 18*o - 36. Let a be q(r). Let j(h) = 2*h**2 - 8*h - 13. Does 9 divide j(a)?
False
Let m be 241995/(-292) - (-2)/(-8). Let k = 227 - m. Is k a multiple of 16?
True
Let k = -51 + 75. Let d = k - -4. Let n = d - -12. Is n a multiple of 6?
False
Suppose 3*i - 136 = -i - 4*c, -4*i + 5*c + 100 = 0. Suppose -i*b = 953 - 5513. Does 19 divide b?
True
Let w(q) = q**2 + 10*q + 156. Let r be (14/(-35))/((-6)/(-570)). Does 61 divide w(r)?
True
Let u(i) = -30*i - 126. Let q be u(-4). Does 38 divide (q + 112/24)/(3/(-855))?
True
Suppose -5*x + 3332 + 3974 = 2*r, -5*r = -3*x + 4365. Is x a multiple of 5?
True
Is 84 a factor of (-2201337)/(-126) - -1 - 7/(-98)?
True
Let z = -72404 + 110816. Is z a multiple of 64?
False
Let z be 4 - (-4*7 - 4). Suppose 4*j - 2*j = z. Is 6 a factor of ((-4)/j - (-816)/27)/1?
True
Let t be 4/((-48)/20 - (-4)/10). Let v(u) = 41*u + 13. Let l(p) = -42*p - 13. Let z(k) = t*v(k) - 3*l(k). Is 42 a factor of z(3)?
False
Let k be (863 + 2 + -5 + 3)*1. Suppose 3*s - k = -71. Does 27 divide s?
False
Let y be 29/((-9)/(-63) - 3/70). Let f = 72 + y. Is f a multiple of 32?
False
Suppose -18*p - 132 = 66. Let r be (-7 + -1)*(-2 + 5 + p). Suppose -50 = -3*t + r. Does 11 divide t?
False
Let o = 123265 - 73037. Does 29 divide o?
True
Let o(d) = -4*d**3 + 332*d**2 + 326*d - 14. Is o(81) a multiple of 290?
True
Suppose -5*p + 1014 = 5*r - 2231, 3*r + 4*p = 1943. Let t = r + -385. Is t a multiple of 14?
False
Let h(k) = -k**3 - 7*k**2 + 1232*k - 84. Does 12 divide h(-39)?
True
Does 5 divide 329510/100 + 11/(-110)?
True
Suppose -10*m + 42993 = -25794 - 101453. Is m a multiple of 14?
True
Let b be 12/(-18)*(0 - (3 - 0)). Is 16 a factor of -7 + (588 - (b + -1))?
False
Let x = -324 - -578. Suppose -5*d + 21 = -x. Is 17 a factor of (-10)/55 - (-3750)/d?
True
Let b(v) = 100*v**3 + 8*v + 20. Let j be b(-3). Is (-11)/(88/j) - -7 a multiple of 5?
True
Let q be (206/(-10))/(9/(-45)). Suppose -7*x + 8*x - q = 0. Let k = -55 + x. Is 8 a factor of k?
True
Let i = 11117 + -4833. Suppose -1461 = 7*p - i. Does 53 divide p?
True
Suppose -11*n + 96*n - 12548025 = -230*n. Is n a multiple of 8?
False
Suppose 3*r - 2 = 733. Is r a multiple of 5?
True
Let g = 409 - -2654. Is (2 - g/(-3))/1 a multiple of 17?
False
Is 25 a factor of 12870/(-39)*165/(-6)?
True
Suppose -4348*h + 4377*h - 249466 = 918654. Is 63 a factor of h?
False
Suppose 6*h + 19 - 7 = 0. Is 6 a factor of (38/(-152))/(1/(-1066 + h))?
False
Suppose -5*w - 17 = -i, -2*i = -i - 2*w - 14. Let t be (-6)/i*(-224 - -2). Suppose 5*n - 861 + t = 0. Is n a multiple of 25?
True
Let v(g) = 6*g**2 + g + 1. Let t be v(-1). Suppose k - 400 = t*k. Does 20 divide (-2 - (-2 + 1))/(1/k)?
True
Let k = 7580 - 4395. Is 49 a factor of k?
True
Suppose -2*b - 116 = -1074. Is (-2 + 3 + b)*(-1)/(-1) a multiple of 40?
True
Suppose -p - 55 + 53 = 0. Let t be p - 567/(-3 - -6). Let g = -115 - t. Does 13 divide g?
False
Let d(x) = x**2 - 10*x + 12. Let g be d(-9). Suppose 4*f = -3*t + 3*f + 111, 5*t = -f + g. Suppose -3*p + t = -p. Is 11 a factor of p?
False
Let f = -6787 + 18566. Is 18 a factor of f?
False
Suppose 2*f = -0*f - v - 144, -5*f = -v + 346. Let q = f + 80. Is 52 a factor of 5228/20 - 4/q?
False
Suppose -r + 260 = 3*r. Let m be 1202/10 + -2 + (-3)/15. Let v = m - r. Does 3 divide v?
False
Suppose -6*c = -23 - 19. Suppose -c*o = -2*o - 1560. Is o a multiple of 24?
True
Suppose -5*n + 10*n = -2*f + 39, -4*f = n - 69. Is 69 a factor of (-351)/(-8 + 3 - f/(-4))?
False
Let m be 8/3*-4*45/(-40). Suppose 0 = -2*l - w + 135, m*l - w = 11*l + 75. Is 14 a factor of l?
True
Let n = 17 + -17. Suppose n = 14*g - 159 - 947. Is 8 a factor of g?
False
Suppose 2*l = 3*f - 1080, 4*l + 5*f = 2*f - 2142. Let d = 648 + l. Is d a multiple of 3?
True
Suppose -3791