et s = -24157 - -24445. Is s a multiple of 2?
True
Let f be 1398/3 + (-6)/6. Suppose 5*u = r + 1621 + f, -4*r - 1656 = -4*u. Let g = -229 + u. Is g a multiple of 11?
False
Suppose 3 = -0*v + v. Let k = 0 + v. Suppose -k*r = 2*r - 750. Is 25 a factor of r?
True
Suppose 4*f - 17 = 3*p, 0 = 16*p - 17*p + 1. Is 48 a factor of 320/(f*5/75)?
True
Let b be 27/(-6)*(-3 - 95/(-45)). Suppose -4*o - o - 2*n = -2098, b*n + 2074 = 5*o. Is 38 a factor of o?
True
Suppose -n = 4*q - 36, -5*q + 8 = 3*n - 30. Suppose 0*i - 1470 = -q*i. Does 12 divide i?
False
Suppose -18962 = -5*v - 11*q + 15*q, -v + 3777 = -3*q. Is v a multiple of 114?
False
Suppose 11*h - 399 - 393 = 0. Let c = h + 24. Is c a multiple of 6?
True
Suppose -5*s - 27 = -2. Let q(x) = -5 + 8 + 18 - 6*x - x. Is q(s) a multiple of 28?
True
Let g = -10987 - -19467. Is g a multiple of 88?
False
Suppose t + 2 = 5*k - 8, -4 = -2*k + 5*t. Suppose 4*b - k*c = 456, -b - 3*b + 4*c + 464 = 0. Suppose b = 12*j - 8*j. Does 10 divide j?
False
Suppose q + 1862 + 3678 = 4*h, -4*h + 5528 = -4*q. Suppose h = -3*p + 6*p. Is 21 a factor of p?
True
Suppose -2*o - 19*t + 4884 = -15*t, -3*o - t + 7316 = 0. Is o a multiple of 23?
True
Let z = -15520 - -33738. Does 36 divide z?
False
Let q(a) = a**3 + 2*a**2 + 10*a + 170. Let g be q(0). Suppose c - 2*h - g = 0, -5*c = 5*h - 527 - 398. Does 6 divide c?
True
Let f be (-11 - -6) + -5 + -2132. Is 6 a factor of 15*(f/(-45) + 4)?
True
Suppose -3*r = -y - 6, 5*y + 2*r - 4 = -0*y. Suppose -77*l + 80*l = y. Suppose -3*f = -l*f - 168. Does 12 divide f?
False
Let g = -5994 - -7571. Does 8 divide g?
False
Let y be (-36)/54*1791/6. Let g = y + 206. Is g a multiple of 3?
False
Suppose 4528 = d - 5*h, -2*d + 5*h + 11129 = 2058. Does 59 divide d?
True
Does 20 divide 2 + (-16)/(-4) + (2298 - 24)?
True
Suppose 3*d - 4316 - 3151 = 2*y, -4*d - 2*y + 9970 = 0. Is 47 a factor of d?
True
Let q = -33 + 23. Let k(w) = 5*w**3 + 51*w**2 - 81*w - 51. Let u(s) = -s**3 - 10*s**2 + 16*s + 10. Let x(n) = 2*k(n) + 11*u(n). Does 17 divide x(q)?
True
Let m = -22 - -38. Let q be 182/5 + m/(-40). Suppose -10*u + q = -6*u. Is u a multiple of 3?
True
Let t(k) = -55*k + 4. Let p(n) = -54*n + 4. Let s(d) = -4*p(d) + 3*t(d). Let w be s(7). Suppose -123 = -4*z + w. Is z a multiple of 17?
True
Suppose 12293 = 7*k + 4788 - 9582. Does 16 divide k?
False
Suppose 68*h + 3459 - 27699 = 3300. Is h a multiple of 3?
True
Let z(d) = 39*d - 20*d**2 - 11*d - 11*d**2 + 44*d**2 - 52. Is z(2) a multiple of 8?
True
Suppose 99*k - 62*k - 880378 = 0. Does 43 divide k?
False
Does 15 divide ((-2565)/(-57))/(2/174)?
True
Let v(p) = 29*p - 26. Let k be v(9). Suppose -169 = -a - 5*t + 56, -5*t - k = -a. Is a a multiple of 19?
False
Let b(s) = 3*s - 123. Let c be b(34). Let n be (8/10)/((-6)/(-15)). Is (c + -3)/(n/(-6)) a multiple of 24?
True
Let f = -28697 - -42729. Does 16 divide f?
True
Suppose -3*p + i = -16, -i = -3*p + i + 14. Let h be p/(-12) + 10/4. Suppose -h*a = 5*a - 483. Is 38 a factor of a?
False
Let p(k) = k**3 - 3*k**2 - k + 10. Let y be p(3). Suppose -5*u = -3*z - y - 2, u = 3*z + 9. Is 18 a factor of 24/((-44)/(-12) + z)?
True
Let o(d) = 11*d**2 + 24*d + 1. Let j be o(5). Suppose -2*t + j = 4*a, -a + 104 = -3*t + 6*t. Is a a multiple of 12?
False
Let j = -98 - -114. Suppose -27*f + j*f + 297 = 0. Suppose -165 = -32*t + f*t. Is 10 a factor of t?
False
Does 74 divide (58/928 - (-41734)/(-96))*(-222)/8?
True
Suppose 0 = 2*l + 2 - 6. Let r(i) = 14*i**3 + 2*i - 12. Let g(c) = c**3 - c**2 + c - 2. Let d(p) = -4*g(p) + r(p). Does 11 divide d(l)?
True
Suppose 32 = 3*v + 5*q, 4*v - 3*q + 0 = 4. Suppose 9 = m - 3*a - v, a - 9 = -3*m. Suppose 3*b - m*u = 230, u + 129 = 3*b - 104. Is 7 a factor of b?
False
Let m(l) = 3*l**2 - 238*l - 945. Does 160 divide m(-49)?
True
Suppose 4*x - 25983 = 9777. Is (x/600)/((-1)/(-10)) a multiple of 12?
False
Let g(t) = -443*t**2 - 5*t - 7. Let m be g(2). Let f = m - -2576. Is 10 a factor of f?
False
Let t be (3/(-6) + 2)*(-3 - 1). Let b(r) be the second derivative of r**4/6 - 5*r**3/6 + 3*r**2 + 10*r. Does 12 divide b(t)?
True
Suppose -36*y + 39*y = 0. Suppose 10*u - 150 = -y*u. Let a = u - -18. Is 11 a factor of a?
True
Let t be (-1)/(-2) - 11150/(-4). Is -3 - (-126)/30 - t/(-10) a multiple of 70?
True
Suppose 1452*j - 1456*j - 4*b = -7924, j - b - 1985 = 0. Does 13 divide j?
False
Let x(m) be the second derivative of m**5/20 + 11*m**4/12 - 5*m**3/6 + 5*m**2/2 + 724*m. Let d(b) = -b**3 + 2*b**2 - 2. Let o be d(3). Is 10 a factor of x(o)?
True
Let d = -345 - 45. Is (10 - 0)*d/(-50) a multiple of 13?
True
Let d be 376/(-5) + 5/(-125)*-5. Let o = -70 - d. Suppose 0 = -3*u + c + 131, -4*u + 68 = o*c - 94. Does 12 divide u?
False
Suppose -12*m - 45 = -17*m. Suppose -m*b = -1776 + 21. Is 12 a factor of b?
False
Is (-1744)/(-10 + 136/17 - (2 - 2)) a multiple of 22?
False
Let z(j) = -11*j - 16. Let m be z(-8). Let x be ((-5)/(-4))/(18/m). Suppose a - 7 = -i, 0 = -x*i + 6*i - 5*a - 1. Is i a multiple of 6?
True
Suppose 12926 = 2*d + 3*u, 10156 + 15696 = 4*d + 3*u. Is 25 a factor of d?
False
Suppose 0 = -7*y + 8*y + 19. Let i = 23 + y. Suppose 3*r = i*v + 45, v = 4*r - 0*v - 60. Is 2 a factor of r?
False
Suppose j + h + 156 = 0, 2*j + 2*j - 5*h = -624. Let v = j + 86. Let p = 172 + v. Is p a multiple of 25?
False
Suppose -4*i - 116 = r - 13, 4*i - 5*r = -109. Is 33 a factor of (-6877)/i + 2/(-4)?
True
Is 55 a factor of 144969/(-6)*(-320)/880?
False
Let p(j) = -36*j + 47. Let f be p(-8). Suppose -3*t - f + 1820 = 0. Suppose 4*w - 4*u - 660 = u, 4*u - t = -3*w. Is w a multiple of 33?
True
Let t(z) = 35*z**2 - 2*z - 1. Let v be t(-2). Let x = 304 - v. Suppose -2*w - h + x = 0, 2*w + 3*h - h - 162 = 0. Is w a multiple of 14?
False
Let y(q) = 9324*q**2 + 653*q - 1303. Is y(2) a multiple of 7?
False
Let g be 24/(-4) - 1568/7. Let l = -71 - g. Does 19 divide l?
False
Let o(c) = 2*c**3 - 4*c**2 - c + 2680. Is 67 a factor of o(0)?
True
Let c(l) = -72*l + 228. Let m be -141*(-4)/(-36) + 2/(-6). Is 73 a factor of c(m)?
False
Suppose -140*r - 216633 = -97*r - 746479. Is 15 a factor of r?
False
Suppose -60*l = -74*l - 99*l + 940160. Does 52 divide l?
True
Let u(r) = -46*r**3 + 0*r + 3 - 1 + 5*r**2 - 2*r**2 + 2*r. Is 18 a factor of u(-2)?
True
Let x = 12387 - 7187. Is 26 a factor of x?
True
Suppose -5*k - h + 1 = -17, -h - 6 = -3*k. Suppose 5*a - 12 = r, r - k*a + 0 = -6. Is (0 + 2)*1*r even?
True
Let d(h) = h**3 - h**2 - 14*h + 104. Is d(28) a multiple of 116?
True
Suppose -11*f = -46859 + 26267. Is 24 a factor of f?
True
Let y(q) = -q**3 + 8*q**2 + 8*q + 30. Let k be y(9). Let l = k + 69. Is 6 a factor of l?
True
Suppose 0 = 4*f - f + p - 110, 3*p = 2*f - 66. Let a(o) = -15*o + 384. Let n be a(0). Suppose -39*y + f*y = -n. Is y a multiple of 28?
False
Let u be (-28948)/(-14) + (259/49 - 5). Suppose u + 4736 = 42*c. Is c a multiple of 9?
True
Suppose -26*b + 31*b = 1160. Suppose -13*y = -210 - b. Does 5 divide y?
False
Suppose 5*i = -r + 10*i + 7, -5*r + 2*i = -12. Suppose q = -0*q - 3*b + 379, r*b = -q + 376. Is 5 a factor of q?
True
Is 10 a factor of (-9676)/(-41) + -4*3/2?
True
Let a(j) = 2*j**3 + 73*j**2 + 4*j - 86. Is a(-32) a multiple of 14?
True
Let z(i) = 559*i + 2122. Does 49 divide z(49)?
False
Let o = 103 - 32. Suppose -55*y - 10016 = -o*y. Does 35 divide y?
False
Let n(z) = 6*z**3 - 61*z**2 - 7*z + 34. Is 44 a factor of n(14)?
True
Suppose -4*b = -w - 0*b - 537, -5*w - 2*b - 2619 = 0. Does 39 divide 3 + 0 + 1 - w/15?
True
Let x = -115 + 89. Let t = -28 - x. Is 39 a factor of ((-4)/3)/(440/222 + t)?
False
Suppose q - 53 = 2*i, 4 = -4*q + 16. Let o = 5 + i. Let f = o + 254. Does 39 divide f?
True
Let n(h) = 3*h**3 + 17*h**2 - 6*h - 4. Let b(p) = p**3. Let x(t) = -5*b(t) + n(t). Let m be x(8). Let r = m + 46. Is r a multiple of 7?
False
Suppose 0 = -2*x - 5*n - 21, x + 4*x = 3*n + 25. Suppose 3*h + 5*k = 5*h - 1157, h + x*k - 583 = 0. Does 15 divide h?
False
Suppose 2*l - 4*k - 1 = 1, 0 = -5*l + 5*k - 5. Let n be (l - 9)/2 - 0. Let f(y) = 4*y**2 - 2*y - 15. Does 37 divide f(n)?
False
Let s(u) = -u + 1 - 3 - 7. Let p be s(-8). Is -1 - (-2 - -1) - (p + -98) a multiple of 11?
True
Suppose 0 = 3*h - 105 - 1341. Is -5 - (h - 3)*-1 a multiple of 11?
False
Let f be (-4)/34 - (0 + (-332)/(-68)). Is 6 a factor of (2