1. Let x = 1339 - s. Does 40 divide x?
True
Suppose -3*d - 2497*w = -2493*w - 75956, 3*d - w = 75976. Does 26 divide d?
True
Let x(r) = r**2 - 75*r + 49. Let t be x(36). Let h = t + 1909. Is h a multiple of 61?
False
Let w(j) = -11*j + 121. Let k be w(11). Suppose k = 22*x - 32*x + 5460. Is 13 a factor of x?
True
Let o(h) = -33*h**3 + 13*h**2 + h + 100. Is 9 a factor of o(-8)?
True
Let n(k) = 2*k**3 + 9*k**2 - 2*k - 40. Let j be n(-9). Let d = 803 + j. Does 21 divide d?
False
Let r(y) = 37*y**2 + 63*y - 58. Is r(-13) a multiple of 48?
True
Suppose 11*r = 10*r + 5. Suppose -4075 = -5*a - 0*a + 5*h, r*a = 2*h + 4060. Does 22 divide a?
False
Let h(a) = 2*a**2 + 5*a + 7. Let u be h(-2). Let f be -22 + u/(-5)*-3. Let y(d) = -d**2 - 23*d - 8. Is 34 a factor of y(f)?
True
Suppose 0 = 5*d - 20, 5*g - g - 2*d - 2588 = 0. Let s be (3 - -1)*1/4*g. Suppose 5*p + 13 = 2*j + s, 0 = 3*j + 9. Is p a multiple of 42?
True
Suppose -10*t - 14*t = -6*t - 415152. Does 31 divide t?
True
Let b(m) = -8*m + m + 149 + 2*m + 38 - m. Is b(15) a multiple of 16?
False
Let f = -419 + 834. Let z = f - 274. Is 50 a factor of z?
False
Let a(o) = -8*o**2 - 8 + 3*o**2 + 9*o + 9*o**2 - 6*o**2 + o**2. Let z be (-18)/(-4) + (-2)/4. Is 2 a factor of a(z)?
True
Let g(x) = x**3 - 5*x**2 - 95*x + 1179. Does 24 divide g(25)?
True
Let o = -49 + 55. Suppose o*n = 12*n - 1434. Suppose 4*i - n = -3*y, -4*i - 5*y + 240 = -y. Does 12 divide i?
False
Suppose 0 = -4*u - 1514 + 6206. Is u a multiple of 3?
True
Let s = -13 - -33. Suppose s*n + 2560 = 28*n. Is n a multiple of 10?
True
Let z be (-69)/(-21) - 12/42. Let n be z + -4 + -4 - -55. Does 50 divide (-18 - -5)*n/(-2)?
False
Suppose -2*d - 61 + 71 = 0. Suppose 5*f - 263 - 14 = z, -791 = 3*z - d*f. Let m = -103 - z. Is m a multiple of 7?
True
Let j = -166 + 167. Is -8*j*(-217)/7 a multiple of 43?
False
Let o be 9*(4 + -3)*1. Suppose 12*d - 15 = o. Suppose -d*g + 84 = -108. Is 24 a factor of g?
True
Let t = -15570 - -19911. Is t a multiple of 67?
False
Let b(x) = x**2 + 1. Let y be b(-3). Suppose 0 = -y*j + 21 + 19. Does 11 divide 0 + (-3)/j + 11135/68?
False
Let u = -411 + 415. Let y(a) = 16*a**3 + 2*a**2 - a - 7. Is y(u) a multiple of 19?
True
Suppose -7*c - 14 = 7*c. Let p be -3 + c + (12 - -384). Suppose 5*h = 3*h + p. Is h a multiple of 22?
False
Let s(j) = 846*j**2 + 5*j + 6. Let p be s(-1). Let l = p + -467. Does 38 divide l?
True
Suppose 0*l + 714 = -14*l. Let x(n) = n**3 + 51*n**2 - 2*n - 75. Is 23 a factor of x(l)?
False
Let u(f) = -46*f + 74. Let p(o) = -45*o + 76. Let w(l) = 4*p(l) - 5*u(l). Is w(14) a multiple of 80?
False
Let b = -38 - -41. Suppose 2*d + 3*m - 13 = 0, 5*d + 7*m - 15 = b*m. Does 15 divide 3/(-3)*(-210)/(3 + d)?
True
Let o = 29 - 26. Let g be ((-2)/o)/(7/(-294)). Does 18 divide -3 + 18/4*g?
False
Let z(b) = -b**3 + 9*b**2 + 9*b. Let o be z(9). Let v = o + -77. Suppose k + v*k = -3*c + 308, 0 = 4*c + k - 388. Does 7 divide c?
False
Let g(d) be the third derivative of d**6/120 + d**5/6 + 7*d**4/12 + 19*d**3/3 - 2*d**2 + 3. Is 27 a factor of g(-8)?
True
Suppose 3*j + 2*t = 107680, -4*j - 88*t = -91*t - 143613. Does 315 divide j?
False
Suppose 0 = 10*w - 6*w - 1384. Suppose w = 3*s - 104. Is s a multiple of 3?
True
Let n be 4/(-10)*45/30*-5. Suppose -n*y - 5 = -5. Suppose -5*h + 126 = -u, -h = -y*h - 2*u - 18. Does 13 divide h?
True
Let y = -778 + 429. Let k = y - -638. Is 5 a factor of k?
False
Let v(g) = g**2 - 10*g - 12. Let t be v(11). Let s be (-1)/(((-2)/5)/(1 - t)). Suppose -z - 72 = -2*z - 3*m, 3*z - 174 = s*m. Does 31 divide z?
False
Suppose 5*t = 8*t - 12. Suppose t*k - r = 9*k - 557, 4*r = 5*k - 547. Is 16 a factor of k?
False
Suppose 3*u + 4*g = 426, 2*u = -g + 79 + 200. Let l(z) = -2*z**2 + 2*z + 10. Let p be l(7). Let q = p + u. Does 8 divide q?
True
Let z(u) = 156*u - 327. Is 3 a factor of z(5)?
True
Let s(x) = 20*x**3 + x**2 + 13*x + 31. Let h be s(-4). Let j = h - -2477. Is 29 a factor of j?
False
Let l(k) = -k**3 - 35*k**2 - 34*k + 129. Let y be l(-32). Is 18 a factor of (-1*(2 + -14))/((-106)/y)?
False
Suppose 7*o = -10*o + 7106. Suppose 7*v - 11*v + 2164 = 0. Suppose -5*k - u + o = -v, k + 4*u = 188. Is k a multiple of 12?
True
Let m be (-332 - -2)*18/(-45). Suppose m - 524 = -7*n. Is n a multiple of 7?
True
Suppose 450 = -t - 5*i, 4*i = 1 + 3. Let y = t - -682. Does 26 divide y?
False
Let k(b) be the second derivative of b**4/6 - 4*b**3/3 - 3*b**2 + 3*b. Suppose -u + 4*y = 2*u - 10, -u + 3*y = 0. Is 4 a factor of k(u)?
False
Does 23 divide 4/(-26) + (-18144539)/(-2093)?
False
Suppose 500*p + 228720 = 524*p. Does 45 divide p?
False
Let y = -18047 + 24195. Is 116 a factor of y?
True
Let m(k) = 22*k**2 - 4*k - 10. Let i be m(7). Suppose -12*r - r = -i. Does 10 divide r?
True
Let n(t) = 3*t**3 - 4*t**2 + t + 2. Let x be 6 - 2 - (-21)/(-3). Let d be n(x). Let f = 17 - d. Is f a multiple of 45?
True
Let l be ((-1)/(-2))/(-2*(-2)/(-40)). Let z = l - -7. Does 17 divide (-66)/(-8)*z*80/6?
False
Suppose v - 81305 = -22*v. Is 7 a factor of v?
True
Let g = -29 + 31. Suppose -3*k = -2*v + k + 20, -5*v + g*k = -26. Suppose 2*j = -q + 21, 3*j - v*q - 48 = -j. Does 11 divide j?
True
Let f = -14074 + 16546. Does 25 divide f?
False
Suppose -4*l + 2*h = -18164, 4559 = l + 5*h - h. Suppose -10*t = t - l. Is t a multiple of 19?
False
Let c be (2 + -1)*-1 - 0. Let t be (-946)/154 + 2 + (-2)/(-14). Is 19 a factor of (-20)/t*c - -214?
True
Let p be 154/(-35) - 2/(-10)*-3. Is 56 a factor of 392/(p + 10 + -4)?
True
Suppose -4*d + 2*d + 5732 = 2*t, 4*t = -5*d + 14328. Does 2 divide d?
True
Let d(b) be the first derivative of b**4/4 + 6*b**3 - 62*b - 215. Is 19 a factor of d(-13)?
False
Let z be ((-1)/(-3)*3*-5)/(-5). Let y(p) = p**2 + p - 2. Let h be y(0). Does 25 divide z - (h - (5 + 217))?
True
Let s(v) = -2*v**3 + 0 - 9 - 14*v + 0*v + 27*v**2 - 3*v - 2. Is s(11) a multiple of 4?
False
Let x(t) = -2*t**3 - 11*t**2 + 15*t - 2. Let k(f) = -4*f**3 - 23*f**2 + 29*f - 4. Let n(o) = 4*k(o) - 7*x(o). Is n(-9) a multiple of 16?
False
Suppose -5*o + 90 = 5*h - 190, -5*o = 4*h - 226. Let w = 46 - h. Is 21 a factor of (-126)/w*(-144)/(-54)?
True
Let k = -1686 + 7181. Does 4 divide k?
False
Is 16 a factor of 4 + 10 + (1162 - -2)?
False
Let u be 5/(-10) + (410/(-4))/(-5). Suppose -5*z - 5 = -u. Is (-1)/(z + (-181)/60) a multiple of 8?
False
Let o = 46 + 6. Suppose 154 = -51*r + o*r. Does 16 divide r?
False
Suppose 0 = 8*h - 6598 - 6058. Is h a multiple of 74?
False
Let p = -390 + 408. Does 8 divide 3236/p - 16/360*-5?
False
Suppose 2*r = -3*r + k + 22, 4*k = 2*r - 16. Suppose 0 = -4*y - c + 62, 3*y - 3*c = 58 - r. Is y a multiple of 8?
True
Suppose 28 = 4*k + 4*i, 5*i = k + 4*k - 15. Suppose -r = -8 + k. Suppose 3*g - 3*x - 444 = 0, -456 = g - 4*g - r*x. Is 10 a factor of g?
True
Let c(s) = 66*s**3 + 37*s**2 - 54*s - 17. Is 62 a factor of c(7)?
True
Does 78 divide 1326/7*(40 - 26)?
True
Suppose 6*p - 11726 = -1196. Is 2 a factor of p?
False
Let g be ((-11)/(-33))/((21/18)/7). Suppose -g*t = 0, 5*p - 4*p - 4*t = 663. Is p a multiple of 17?
True
Suppose -19*b = -43 - 33. Suppose b*h + 276 = 1460. Is h a multiple of 7?
False
Let s(i) = 1046*i + 132. Is s(2) a multiple of 26?
False
Let l(h) be the second derivative of 19*h**2 + 3*h + 1/6*h**3 + 6. Does 15 divide l(-8)?
True
Is 69 a factor of 329 + 8 - 60/(-5)?
False
Let p(j) = 13*j - 33. Suppose 9*d + 204 = 834. Suppose -5*f - d = -10*f. Is 22 a factor of p(f)?
False
Does 15 divide (((-160192)/(-10))/(-4))/((-206)/515)?
False
Let f(x) = -3*x**3 + 13*x**2 + 214*x - 89. Is 93 a factor of f(-20)?
True
Let t(w) = 2*w**2 - 12*w + 13. Let l(n) = -n**2 + n - 1. Let q(h) = l(h) + t(h). Let c be q(10). Suppose c*d = -2*d + 320. Does 10 divide d?
True
Let v = -51 - -46. Let g be 3/(v*3/(-65)). Suppose 0 = 5*c - g*c + 1920. Does 20 divide c?
True
Suppose 31652 = 18731*i - 18730*i. Does 41 divide i?
True
Let o(z) = z**3 - 7*z**2 + 3*z + 22. Let j be o(6). Suppose j*b - 3*k + 30 = 1648, 4*k - 395 = -b. Is 13 a factor of b?
True
Let r(w) = 2*w**3 - 13*w**2 + 22*w - 2. Let z be r(3). Is 11 a factor of 8/1 + (642 - z)?
True
Is -38*(4339/(-6) - (384/(-36))/16) a multiple of 11?
False
Let w be 429/21 + 28/49. Suppose 4144 = -13*o + w*o. Is 14 a factor of o?
True
Suppose 220 + 46 = -38*x. Let f = 345 + x