ose 169078 = 65*t - 484822. Is t a multiple of 10?
True
Let k = 726 + -431. Let f = k + -62. Does 45 divide f?
False
Suppose -2*i - 2*u = -76214, 13*u - 190527 = -5*i + 10*u. Does 16 divide i?
False
Suppose 6*y - 25181 - 6589 = 0. Is 15 a factor of y?
True
Let f(c) = -2*c**2 - 18*c - 6. Let z be f(-8). Does 22 divide (-46)/115 - 128/z*-43?
True
Suppose 0 = -10*g + 4*g + 162. Suppose -g*o = -23*o - 1436. Does 51 divide o?
False
Suppose -3*n - 11 = 1. Let v be (13/n)/(10/(-40)). Let p = v + 191. Is 34 a factor of p?
True
Suppose -2*j + 3*x + 8369 = 0, 159*j - 161*j + 8320 = 4*x. Is j a multiple of 25?
False
Let a = 40 - 97. Suppose t = 5*b + 32, 0*b = -4*b - t - 22. Does 3 divide a/(-2) - (7 + 51/b)?
True
Let o = 7407 + -5330. Is 34 a factor of o?
False
Let n = -9836 - -17094. Suppose 5430 + n = 13*q. Is q a multiple of 10?
False
Let f(b) = b**2 + 85*b - 2962. Does 7 divide f(41)?
False
Suppose -22*x = -25*x + 15. Suppose -x*c - 18 = 7. Is 2 a factor of (1 - (-5)/c) + 7?
False
Suppose -52*x + 53*x = 5. Suppose -x*j - 654 + 2115 = y, 0 = -5*y + 2*j + 7305. Is y a multiple of 9?
False
Let u be 273/(-910) - 3/(-10). Does 37 divide (-323)/(-646) - (u + 5918/(-4))?
True
Let i(y) = -y**2 + 39*y - 64. Suppose o + 5*o = 162. Is 21 a factor of i(o)?
False
Suppose 2*p - 4*v = 21 + 9, 3*v = -3*p. Suppose 249 = j - 3*b, -14*j - p*b + 691 = -11*j. Does 50 divide j?
False
Suppose -5*h + 736 + 494 = 0. Let p = h - 8. Is p a multiple of 34?
True
Suppose 100*n - 1232830 - 634670 = 0. Is 225 a factor of n?
True
Let r be ((-30)/9)/(2/(-3)). Suppose -4*i = -3*d + 157, -i + r*i + 102 = 2*d. Is d a multiple of 7?
False
Suppose 3*l - 6 = -4*s, -12*s + 15 = 5*l - 7*s. Suppose -l + 5 = n, -k = -3*n - 7. Does 29 divide -145*(1 - k - -2)?
True
Let i = 3564 + -1215. Does 29 divide i?
True
Let v be 23*(-3 - (-4)/1). Suppose 2*h = -j + 398, -3*j + v = h - 181. Is h a multiple of 11?
True
Let o(g) = -2*g**3 - 4*g**2 + 6*g - 2. Let a be o(-4). Suppose -c - 5*q + a + 9 = 0, 298 = 4*c - 2*q. Does 18 divide c?
True
Let x(o) = -56*o + 1. Let w be x(1). Let g be (-65 - -12) + (5 - -7). Let a = g - w. Does 7 divide a?
True
Let x(w) = -58*w**3 - 26*w - 564. Is x(-9) a multiple of 19?
True
Let o be 0 + (-8)/14*14154/(-12). Suppose 4*q = -3*l + 2713, q - l - o = -6*l. Is q a multiple of 7?
True
Let w(y) be the third derivative of 67*y**5/60 - y**4/8 - y**3/3 - 3*y**2 - 1. Does 10 divide w(-1)?
False
Let b(y) = y**3 + 12*y**2 + 5*y - 6. Suppose 5*v = -4*w + 57, 4*v + 2*w - 42 = -0*v. Suppose -v*g = 67 + 23. Is 18 a factor of b(g)?
True
Suppose -2*o = r + o + 98, -4*r - 4*o = 352. Let f = r + 89. Let d(u) = 3*u**2 - 6*u + 36. Is d(f) a multiple of 24?
False
Suppose 2*g - w = 15267 + 1005, -3*w + 16272 = 2*g. Is 18 a factor of g?
True
Let n(u) = -u**3 + 29*u**2 - 19*u + 22. Let j(y) = y**3 - 30*y**2 + 19*y - 23. Let l(z) = 3*j(z) + 4*n(z). Is 16 a factor of l(25)?
False
Let f(i) be the first derivative of i**4/4 - 19*i**3/3 - 5*i**2/2 - 5*i + 82. Does 48 divide f(20)?
False
Suppose -85 = -20*b - 5. Suppose -8 = -b*t + 2*t. Suppose -4*g = 3*k - 278 - 290, t*g = 5*k + 600. Is 15 a factor of g?
False
Let t = 12183 + -7591. Is 56 a factor of t?
True
Suppose c + 1026 = 5*o, 10*c = 12*c + 3*o + 2052. Let r = c - -1523. Is r a multiple of 23?
False
Let c(f) = f**2 - 19*f - 22. Let d be c(20). Let m be d/(-9) - (-1058)/18. Let l = m + 37. Is l a multiple of 38?
False
Suppose -2*p - 904 = -6*p. Suppose -5*v = -3*v - p. Suppose 0 = -5*s - v + 738. Is s a multiple of 25?
True
Let s = -1068 + 2779. Is s a multiple of 29?
True
Suppose -42*u - 8105 + 29401 = -40*u. Is u a multiple of 111?
False
Is 7 a factor of 5906/3 + (-2224)/834?
False
Let k(t) = t**3 + 20*t**2 + 24*t + 175. Let a(j) = -5*j - 124. Let y be a(-21). Does 16 divide k(y)?
True
Let u be 1 + 0 + 220/(-5). Let v = -36 - u. Let l = 4 + v. Is 2 a factor of l?
False
Let p be (-4)/(-36) - (-185)/(-45). Is 3 a factor of p/7 + 30*(-20)/(-21)?
False
Suppose 5*a + s - 495 = 0, -104 = -a + 5*s - 31. Let o = 144 - a. Suppose 0 = -q + 5*y + 55, q = 6*y - 4*y + o. Does 8 divide q?
True
Let y be 2352/(-15) + ((-36)/(-20) - 2). Let w = y + 280. Does 14 divide w?
False
Does 24 divide (-1 - 0)*(12258 - 0)*(-160)/120?
True
Let d(p) = p + 5. Let h be d(15). Suppose h = -4*b - 5*j, 0*b - 3*j - 12 = 2*b. Suppose b = -f + 8 + 20. Does 11 divide f?
False
Let m = 309 + -305. Is 11 a factor of ((-90)/(-4))/(2/m)?
False
Let y(v) be the second derivative of v**4/12 + 5*v**3/3 - 9*v**2 - 16*v - 1. Does 3 divide y(3)?
True
Let y = -40895 - -61477. Is y a multiple of 169?
False
Let c be 2/(-12)*-2*9. Let j(v) = v**3 - v**2 - 6*v + 5. Let t be j(c). Suppose t*d - 4*x = 2*d + 139, 0 = 2*d - 4*x - 98. Is d a multiple of 41?
True
Let p = 1331 - -27357. Does 32 divide p?
False
Let d be (-70)/(-560) + 31/8. Suppose t + d*m = 270, -5*m + 543 = -18*t + 20*t. Is t a multiple of 9?
False
Let h(p) = -p**2 - p + 1. Let f(j) = 4*j**2 - 42*j - 55. Let l(d) = -f(d) - 2*h(d). Is l(22) a multiple of 10?
False
Let b = 18 - 14. Let f be 54*(-117)/(-6) + 5 + -2. Suppose 4*c = -b*c + f. Does 43 divide c?
False
Let z(n) = 2*n**2 + 6*n + 1. Let o be z(-2). Does 9 divide (6/(-4))/(o + 4983/1662)?
False
Let i = -129 - -155. Let p(o) = -3*o + 106. Does 4 divide p(i)?
True
Let z(k) = -k - 5. Let s be z(-5). Suppose -10*h + 4*h + 96 = s. Does 10 divide 20 + 1/((-4)/h)?
False
Suppose 44 - 14 = 6*s. Suppose 477 = -s*b + 8*b. Let g = b - 42. Is g a multiple of 13?
True
Suppose -2*i + 1291 = -j, 0 = -j - 3 - 0. Suppose -12*o - i = -40*o. Is o a multiple of 4?
False
Suppose 0 = -6*x - x + 28. Let f be 2 + -2 - -4*346/x. Suppose 9*m - 644 = f. Is m a multiple of 23?
False
Let d = 4252 + -268. Is d a multiple of 48?
True
Let n be 2/(-2)*(-29 + 9). Suppose n*k - 14*k = 1818. Does 21 divide k?
False
Let u be 6/2 - (-6 + -36). Suppose -48 = -b - 5*c, 4*b + 4*c - 179 = u. Is 14 a factor of (-2)/4*4 - (2 - b)?
False
Suppose 3*c = -2*r + 21 - 12, -5*r + 18 = 3*c. Let z(m) = 392*m**3 + m**2 - 5*m + 3. Is z(c) a multiple of 21?
False
Let b(q) = -4*q - 16. Let l be b(-4). Suppose l = -i - 28 + 38. Suppose n - 48 = h, -n + 4*h + 41 = -i. Is n a multiple of 11?
False
Suppose -z = 4*g - 3078, -5*g + 7*z + 3840 = 12*z. Suppose -3*p + 774 = 5*c - c, p = -4*c + g. Suppose 0 = -3*o - 3*o + c. Does 16 divide o?
True
Let x(d) = -58*d - 86. Does 67 divide x(-50)?
True
Let t = 178 + -117. Let i = 70 - t. Let o(l) = 2*l**3 - 18*l**2 + 4*l + 4. Is 22 a factor of o(i)?
False
Suppose 1 = c + 5*f, -3*c + 3*f = -c + 24. Let o = -759 - -758. Is (-4 - o)*3*c a multiple of 9?
True
Suppose 2*o = -2*k + 4885 + 20267, -4*o - 5*k + 50310 = 0. Is o a multiple of 30?
True
Suppose 250*k + 72 = 254*k. Let c(b) be the third derivative of 5*b**4/24 - 13*b**3/6 + 3*b**2. Is c(k) a multiple of 16?
False
Let z be 7/(-2)*48/28. Does 12 divide z/((-148)/29 + 5)?
False
Does 51 divide (120/((-28)/(-7)))/(-4 - (-5758)/1439)?
False
Suppose 10 = 2*f - m, f = -5*m - 3 - 3. Let r(o) = -14*o - 416. Let y be r(-30). Is (y/3)/f*87 a multiple of 10?
False
Let j = 607 - 563. Suppose 30*y - j*y = -406. Does 14 divide y?
False
Suppose -17*c - 2050 = -3*b - 13*c, -2*b - 2*c = -1348. Suppose 9*n - b = 402. Is 10 a factor of n?
True
Suppose 22*w = 23*w + 7. Is 6 a factor of (w + (-62)/(-4))*(-2 - -78)?
False
Let t = 8 + 3. Does 5 divide 5*t*45/25 + -4?
True
Let j(x) = -3. Let f(v) = 35*v + 270. Let r(d) = -f(d) + 5*j(d). Is r(-16) a multiple of 55?
True
Suppose -2*i = k - 0*i - 204, 393 = 2*k + i. Suppose 0 = 3*o - 403 - k. Is o a multiple of 33?
False
Suppose -2*j - 4*l - 7 - 5 = 0, 0 = -3*j - 3*l - 3. Suppose -4*g - j*s - 504 = -6*g, 251 = g - s. Let t = g - 102. Is t a multiple of 47?
False
Let d = -241 + 5. Let s = 551 + d. Does 10 divide s?
False
Let b = 25735 + -25368. Is b even?
False
Let j(t) = 43*t**2 - 10*t + 187. Does 12 divide j(17)?
True
Does 24 divide (-4)/(-3 + 8 - (12735/(-2545))/(-1))?
False
Suppose 0 = -6*s - 23982 + 5976. Is s/(-4) + 2*1/(-8) a multiple of 27?
False
Suppose -2*c + 4094 = 2*w, -3*w + 6147 = -36*c + 33*c. Is w a multiple of 32?
True
Let z(v) = -v**3 - v**2 - 4. Suppose 22*i + 75 = 7*i. Let p = -8 - i. Does 7 divide z(p)?
True
Let u(n) = -9*n - 16. Let t(q) = -q + 1. Let j(v) = 15*v + 9. Let o(w) = -j(w) - 6*t(w). Let a(p) =