ose -5*u + 5*f = -1135, 125 = u - o*f - 114. Does 28 divide u?
True
Let s be ((-20)/6)/(16/6 - 3). Suppose 567 = -3*r + s*r. Does 27 divide r?
True
Let u(q) = q. Let w be u(8). Suppose 0 = r - 22 + w. Suppose r + 40 = b. Is 7 a factor of b?
False
Suppose 0 = -m - 0*m - 87. Let t be ((-6)/(-6) - 4) + -286 + 4. Let j = m - t. Does 18 divide j?
True
Let k(h) be the third derivative of -139*h**4/8 - 13*h**3 + 12*h**2 - 6*h. Is k(-4) a multiple of 11?
False
Let u = -725 - -1445. Does 8 divide u?
True
Let l(z) = 334*z**2 - 9*z - 34. Is 3 a factor of l(-5)?
True
Let n(s) be the first derivative of 3*s**2/2 + 129*s - 96. Is n(8) a multiple of 9?
True
Let g(t) = -t**2 - 17*t - 42. Let a be g(-16). Let w be (-147 + 1)/(-5 + 3). Let b = w - a. Does 33 divide b?
True
Let p be (-25580)/60 + (-2)/3. Let x = -301 - p. Is x a multiple of 63?
True
Let h(w) = 12*w**3 - 14*w**2 - 6*w + 16. Is h(4) a multiple of 12?
False
Suppose w + 4*x - x = 24, -4*x = -4*w + 64. Let b(r) = 2*r**3 - 31*r**2 - 32*r + 4. Is 16 a factor of b(w)?
False
Suppose i - 39 = -93. Let g = 19 - 37. Is (-248)/g - i/243 a multiple of 12?
False
Suppose -4*v - 5*r = 18, -r - 4*r - 14 = 2*v. Let p be (-141)/v - 2 - (-1)/2. Suppose 7*d - 4*d - p = 0. Is 11 a factor of d?
False
Let y = 131 + 1975. Is y a multiple of 18?
True
Suppose -2*f + 76 = -4*t, -11*t + 78 = 3*f - 8*t. Is 3 a factor of f?
True
Let p(z) = 32*z. Let g(c) = -c. Let i(b) = 96*g(b) + 2*p(b). Let a(f) = -f**2 + 5*f - 8. Let o be a(3). Is 32 a factor of i(o)?
True
Is 199 a factor of 660/(-1540) - ((-626868)/14)/3?
True
Suppose 2*j + 26257 = 4*f - 71555, -3*f - 2*j + 73331 = 0. Is 278 a factor of f?
False
Let g(k) = 420*k + 97. Is g(5) a multiple of 81?
False
Let j(l) = 152*l + 1570. Does 46 divide j(39)?
True
Let l(y) be the first derivative of y**5/30 + y**4/4 - y**3/6 + 4*y**2 + 32. Let o(h) be the second derivative of l(h). Is o(-9) a multiple of 13?
False
Let n = 11624 + -5509. Does 17 divide n?
False
Let o(t) = 2*t**3 + 0*t**3 + 4*t**2 + 4*t - 11*t - 9. Let g(m) = m**3 + 2*m**2 - 3*m - 4. Let q(b) = -9*g(b) + 4*o(b). Does 12 divide q(-3)?
True
Let s = 71 + -67. Suppose 4*y + 4 = 5*t - 16, 3*y + s*t = 16. Suppose 2*u + 3*m - 399 = y, 556 = -5*u - m + 1534. Is u a multiple of 17?
False
Let r(v) = 48*v**2 + 25*v + 99. Suppose 0 = -5*s, 4*s + 12 = -3*z + 2*s. Does 35 divide r(z)?
False
Let z = 368 + 460. Suppose 2*i - 1688 = -4*v, -31*v + 33*v - 3*i = z. Is v a multiple of 21?
True
Suppose -4*m + 660 = 5*i, 3*i = 7*m - 12*m + 396. Suppose -135*h + 60 = -i*h. Is 9 a factor of h?
False
Let s = 6420 - -1078. Is s a multiple of 46?
True
Let t(w) = -8*w**3 - 21*w**2 + 29*w + 36. Is t(-8) a multiple of 36?
True
Suppose g - 430 = -9*g. Let u = -17 + g. Let v = -20 + u. Is v a multiple of 6?
True
Let n(u) = u**2 - 21*u - 95. Let p be n(25). Suppose -402 - 1558 = -p*i. Is i a multiple of 28?
True
Let g = 6 + 1. Suppose 0 = 3*q + 2*q - g*q. Suppose q = 4*h + 63 - 199. Is 17 a factor of h?
True
Let z(o) = o**3 + 2*o**2 - 6*o - 15. Let y be z(7). Suppose 3*r = 0, -p + y = p - 4*r. Is 32 a factor of p?
True
Let w be (124/6)/(7/(-21)). Let i = 87 + w. Is i + (-3 + 4)*-3 a multiple of 22?
True
Let a be -62*1*(-1)/2. Let w be 2170/(-40) - (-3 - 22/(-8)). Let c = a - w. Is 21 a factor of c?
False
Let f(l) = l**2 - 5*l + 3. Let t be f(5). Suppose t*c - 307 - 1013 = 0. Does 20 divide c?
True
Let v(l) be the second derivative of -l**4/12 - 4*l**3 - l**2 + 20*l. Is v(-19) a multiple of 17?
False
Let j = -117 - -193. Let l be 102/(-8) + 57/j. Let x(z) = z**2 + 7*z - 1. Is x(l) a multiple of 12?
False
Let x(z) = 2*z**3 + 12*z**2 - 2*z - 7. Let q be x(-6). Suppose -5*t + 50 = -5*j, -q*j - 46 = -3*t - t. Let f = j - -59. Is 9 a factor of f?
False
Suppose 3*r = -4*c + 15, -5*c + 20 = r + 3*r. Suppose -9*p - 2*p + 242 = c. Let v = p + -13. Does 4 divide v?
False
Let o = 34 + 267. Suppose 474 + o = 5*u - r, -5*u + 805 = 5*r. Suppose -2*t = 120 - u. Is t a multiple of 3?
True
Let g(n) = 5*n + 134. Let a be g(-15). Let b = 234 - a. Does 16 divide b?
False
Suppose 3*k - n + 4 = 4*k, 5*n = 5*k. Let w be (518/(-35))/(k/(-10)). Let m = w + -45. Does 7 divide m?
False
Suppose 0 = 2*t - 3*h - 9, 5*h + 1 = -4*t + 8. Suppose 2*f - 5*w - 256 = 0, t*f = -f - 5*w + 572. Does 9 divide f?
False
Suppose 267516 - 643596 - 606044 = -101*f. Is 13 a factor of f?
True
Suppose -w + 388*t = 384*t - 8640, 4*t + 20 = 0. Does 102 divide w?
False
Let v(f) = -146*f**2 - 11*f - 13. Let g be v(-2). Let w = -413 - g. Is 21 a factor of w?
False
Suppose -6*g + 15838 = 2662. Is 61 a factor of (15/9)/((15/g)/5)?
True
Let p(h) = -h**3 + 7*h**2 - 9*h + 10. Let m be p(6). Let n = m + 13. Is 8 a factor of (1520/6)/n*(-18)/(-8)?
False
Suppose w - 7 = -5*l, -4*w + l + 4 = -3. Is 75 - ((-2)/(-4) - w/(-4)) a multiple of 9?
False
Let n(f) = 0*f**2 - 12*f**2 + 46*f**2 + 4*f + 1. Let o be n(-2). Suppose -2*g + 5*x = g - 231, 0 = 2*g + 5*x - o. Is 12 a factor of g?
True
Let i(z) = -3*z**2 + 42*z - 83. Let t be i(19). Let w = 269 - t. Is 49 a factor of w?
True
Let v = -29 + 26. Let o be v + 1 - -11 - 4. Suppose 4*z + 4 = o*z. Is z a multiple of 3?
False
Suppose -16*n = -8*n - 11616. Let i = n - 956. Is 14 a factor of i?
False
Suppose -5*q + 45282 = -3*d + 4591, 4*q - 32540 = 4*d. Is q a multiple of 19?
False
Let o = -35091 - -55611. Is 54 a factor of o?
True
Let v be (89/5)/((-5)/(-175)). Let g = v - 605. Is 9 a factor of g?
True
Suppose 2 + 73 = 5*l. Suppose 2*c + 3*p = -5, 3*c - 4*p + l = -p. Is (-396)/(-21)*(-14)/c a multiple of 22?
True
Is 84 a factor of (-2210200)/(-92) + 110/1265?
True
Let t = -66 + 74. Suppose 6*m = t*m + 250. Let f = -2 - m. Is f a multiple of 41?
True
Suppose -3*h + 37311 = 2*g, 4*g = -17 - 19. Is 14 a factor of h?
False
Let f(c) = 2*c**3 - 5*c**2 - 27*c + 52. Does 130 divide f(13)?
True
Suppose 0 = 4*n - 4*j + 2*j - 796, -4*n = 2*j - 812. Suppose q - 2*d = 246, -q + 4*d + 39 = -n. Does 8 divide q?
False
Suppose -5*h = 4*c - 855, -4*c - 2*h - h = -849. Let z = c + -84. Is z a multiple of 20?
False
Let b(m) = m**2 + 27*m + 230. Is b(-43) a multiple of 54?
True
Let z(n) = 614*n**2 + 4*n + 29. Does 3 divide z(2)?
True
Suppose 0 = 10*z - 8053 - 977. Suppose -2*d = 8*a - 13*a + 4515, -3*d + z = a. Does 27 divide a?
False
Let q(d) = d - 6. Let p(f) = -34*f + 45. Let x(s) = p(s) + 3*q(s). Is x(-31) a multiple of 13?
True
Suppose 78 = -x - n, -4*x + 5*n - 176 = 136. Let z be -6 - (-89 - 77/11). Let a = z + x. Is a a multiple of 12?
True
Let w = 19599 + -7495. Does 68 divide w?
True
Let l = -163 + 168. Suppose 3*d = w - 142, 0 = -w - 0*w - l*d + 110. Is 5 a factor of w?
True
Suppose -2*b + 24 = -6*b. Does 20 divide (257 - -2) + (b - -11)?
False
Suppose 5*c - 16*c + 143 = 0. Let v(q) = 10*q - 79. Is v(c) a multiple of 8?
False
Suppose 0 = -8*a - 1068 + 44. Let v = a - -496. Is v a multiple of 18?
False
Is 14 a factor of 21/(-14) + 33750/20?
False
Let h(t) = -4*t**3 - t**2 - 9*t - 4. Suppose 2*q = q - 4. Let g be h(q). Suppose -2*n = -5*s + n + g, 0 = -4*s + n + 219. Does 39 divide s?
False
Suppose 8*c = 3*c + 1500. Suppose -31*i + 26*i - c = 0. Let y = i + 68. Is y a multiple of 4?
True
Suppose 2*m + 22*m = -12*m + 91692. Is m a multiple of 118?
False
Suppose -57*y = -51*y - 150. Suppose y = -0*s + 5*s. Suppose -2*f - 4*n + 520 = 0, -s*f + 6*n - 10*n + 1312 = 0. Does 39 divide f?
False
Let s = 14061 - 7273. Suppose -18*c + s = -6136. Is c a multiple of 69?
False
Let z = 162 + -162. Let t = 33 - z. Is 2 a factor of t?
False
Let z = -16278 + 42750. Does 96 divide z?
False
Suppose -5059 = -s - 596. Does 15 divide s?
False
Let p be (37 - 1)/(639/(-426)). Let m(f) = f**3 - 7*f**2 + 7*f. Let v be m(6). Does 9 divide v/p + 290/8?
True
Let c(y) = 7*y**3 - 7*y**2 + 8 - 3*y - 5*y**3 + 13 - y**3. Let i be c(7). Suppose -s + 132 = -i*s. Is 26 a factor of s?
False
Let r = -10312 + 5866. Is (-7)/(-2)*r/(-273) a multiple of 12?
False
Let v(q) = -q**3 - 35*q**2 + 113*q - 20. Let u be v(-38). Suppose 3*d + 345 = u*d. Is d a multiple of 3?
False
Let z be (-3)/((-6)/(-5))*72/(-60). Suppose -4*j + z*j + 110 = r, 2*r = -4*j + 442. Is j a multiple of 17?
False
Let w(c) be the first derivative of 4*c**3 + c**2/2 - c + 43. Suppose 4 = -4*b + 8*b. Is 6 a factor of w(b)?
True
Let w(o) be the second derivative 