= 1533 + t. Is m a multiple of 46?
False
Let w be 498 + (-5)/((-25)/10) - 2. Let k = 834 - w. Is 21 a factor of k?
True
Let k(x) = x - 3. Let q be k(11). Suppose -q*s - 42 = -6*s. Let f = s + 25. Is f a multiple of 4?
True
Let w(o) = -o**2 + 21*o + 19. Let y be w(14). Does 6 divide y*13/((-39)/(-2))?
True
Let z = -29567 - -48467. Is z a multiple of 10?
True
Let l = -1 - -11. Suppose 0 = w - 4*m + l, -4*w - w = -5*m + 35. Let j(s) = s**3 + 11*s**2 + 7*s - 6. Is j(w) a multiple of 33?
True
Let g(l) = 59*l - 703. Let s(k) = -12*k + 141. Let w(b) = 2*g(b) + 11*s(b). Does 13 divide w(-11)?
True
Let t be (-2)/12 + (-1397)/(-66). Let m = -209 - -118. Let a = t - m. Is a a multiple of 8?
True
Let v(i) = 254*i - 4191. Is 127 a factor of v(53)?
True
Suppose n + 1 = -25. Let u(a) be the first derivative of -a**3/3 - 25*a**2/2 + 33*a - 1712. Is u(n) a multiple of 7?
True
Suppose -8*h + 3*h + 2 = -4*u, 5*h - 8 = u. Suppose 6*a = u*a + 3*t + 1092, -2*a + 544 = -t. Is a a multiple of 90?
True
Suppose 4*y - 4*u = 11436, 2*u + 1 = -5. Does 153 divide y?
False
Suppose -19*m + 0*m - 29*m = -38208. Is m a multiple of 5?
False
Let u(p) = 540*p**3 - p**2 - p. Let x be u(-1). Let h(c) = 2*c**2 + 35*c + 159. Let m be h(-7). Is 27 a factor of (m/15)/((-2)/x)?
True
Suppose 20*q = 13*q - 553. Let t = -75 - q. Suppose -l = -t*r - 3 + 4, 0 = 4*l + 5*r - 80. Does 4 divide l?
False
Suppose -p + 2*p = 2, -5*j + 5*p = 1085. Let h = -34 - j. Does 10 divide h?
False
Suppose -46*a + 448096 = -14*a + 56*a. Is 4 a factor of a?
True
Suppose 4*j - 9*j + 50 = 5*z, -4*z = -5*j + 5. Suppose -z*t - 144 + 593 = 2*f, -399 = -2*f + 5*t. Is 53 a factor of f?
True
Let h = 3440 + -3109. Is 3 a factor of h?
False
Let q = -501 + 513. Suppose q*s = -4*s + 8656. Is 18 a factor of s?
False
Suppose 51*i + 256542 = 189*i. Is 13 a factor of i?
True
Let w(g) = g**3 + 4*g**2 - 4*g + 77. Let f be w(11). Let u = f + -1003. Is 13 a factor of u?
True
Suppose -33*l + 132104 = 65*l. Is l a multiple of 25?
False
Let l = -2894 - -9182. Does 131 divide l?
True
Let p(j) = -3*j**3 + 7*j**2 + 11*j + 10. Let o = -699 + 694. Does 30 divide p(o)?
False
Suppose 0 = 2*b + 9 + 19. Let t = 5 + b. Let c(g) = g**2 + 5*g - 4. Does 6 divide c(t)?
False
Let s = 233 + -230. Suppose 0 = 3*o - s*p + 49 - 316, -87 = -o + 2*p. Is 13 a factor of o?
True
Suppose 47*q - 84860 + 15582 = 0. Does 22 divide q?
True
Does 14 divide (-48)/(-40) - 63294/(-55)?
False
Let a = 9679 + -6879. Is 50 a factor of a?
True
Suppose -4*c - 16 = 4*w, -4*c - 2*w = -c + 8. Suppose c = -4*k - 4, 2 = -2*x + k - 13. Does 18 divide -144*((-7 - -10) + 30/x)?
True
Let b be ((-9)/27)/(((-2)/(-2))/(-51)). Suppose -b - 3 = w. Is 26 a factor of (w/9 - (-18)/81) + 128?
False
Let x(w) = -2*w**3 - 34*w**2 + 38*w + 28. Let c be x(-18). Is 57673/88 - ((-19)/c + -2) a multiple of 14?
False
Let h = 28 - 22. Suppose 17 = h*q + 59. Is 25 a factor of (-1 - -49) + (q - -9)?
True
Let c(h) be the first derivative of -h**4/4 + 13*h**3/3 - 11*h**2/2 + 43*h + 119. Does 19 divide c(12)?
False
Let p be -4*((-11)/((-44)/24) + -5). Does 22 divide (8313/34)/((-3)/p)?
False
Let v(m) be the third derivative of 7*m**5/60 - 25*m**4/12 + 110*m**3/3 - m**2 + 13*m. Does 14 divide v(6)?
False
Does 29 divide (15 - 1264/(-24))*3?
True
Suppose 4*v = b + 4, v + 0*b = 5*b - 18. Suppose 9*j - 1420 = 524. Suppose -f = v*f - j. Does 12 divide f?
True
Suppose 5*a = -i - 21, 2*i = 4*a - i + 13. Suppose 0 = 2*y - 4*j - 412, -2293*y + 437 = -2291*y + j. Let n = y + a. Is n a multiple of 14?
False
Let s be (-1)/(0 + 1) - -5. Suppose -2*r + 4*a - 2486 = -7*r, 2*r + s*a = 1004. Is 38 a factor of r?
True
Let c(i) = 181*i**2 + 6*i + 3. Let t(u) = -4*u**2 - 2*u + 5. Let g be t(1). Is c(g) a multiple of 72?
False
Suppose -5*k = 4*y - 26728, 28750 = 5*k - 2*y + 2064. Is 8 a factor of k?
False
Does 9 divide (-15 + (-598)/(-39))/(2/129810)?
False
Let l(r) = 17*r - 88. Let j be l(15). Let v = j + 37. Does 12 divide v?
True
Let t(g) = -g**3 + 13*g**2 + 13*g + 20. Let c be t(14). Suppose -17*i = -c*i - 6105. Suppose 11*h - i + 159 = 0. Is 12 a factor of h?
True
Let f(w) = -2*w**3 - 4*w**2 - 2*w - 3. Let b be f(-3). Let t = 23 - b. Suppose l + 54 = t*l - 5*k, -5*l + 3*k = -336. Is l a multiple of 17?
False
Let i(g) = -8*g + 26. Let v be i(7). Does 4 divide (-1 + -29)*198/v?
False
Suppose 51*b - 252 = -48. Let k(g) = 60*g + 74. Does 32 divide k(b)?
False
Let w be -8 - (-2 - 14) - 0. Is w/16*204 + 0 a multiple of 3?
True
Let j = -457 - -1131. Let l = -585 + j. Is l a multiple of 24?
False
Suppose -5*d - 3 = z, 7*z = 6*z - 2*d. Suppose -2*q = z*q + 4*u - 1864, -4*q + 4*u + 1888 = 0. Is q a multiple of 11?
False
Let a be -7*(-3)/(-2)*(5 - 3). Let s = 24 + -59. Is a*(810/s)/3 a multiple of 27?
True
Let v(a) = 4*a**2 - 103*a + 30. Let w be v(24). Let c(l) = -24*l**2 + 5*l + 2. Let p be c(-3). Let h = w - p. Does 7 divide h?
True
Let k(v) = -v**3 + 20*v**2 + 54*v - 3. Does 9 divide k(-16)?
False
Suppose 3282 = 2*u - v, -4*u + 8886 - 2334 = -4*v. Is u a multiple of 23?
False
Let q(x) = -x - 2. Let m be q(-1). Let b(z) = -4*z**2 + 2. Let i(w) = -w**2. Let u(k) = m*b(k) - 6*i(k). Does 11 divide u(-3)?
True
Let j(y) = -y**2 + 5*y + 10. Let p(n) = -n**2 - n - 1. Let c(i) = j(i) + 6*p(i). Let x be c(-8). Let t = 628 + x. Does 16 divide t?
True
Suppose -490311 = -214*z + 57*z. Does 84 divide z?
False
Suppose 12*n - 6415 = 1253. Is n*9/27 - (-10)/2 a multiple of 22?
False
Suppose 6*y - 24 = 2*y - 4*d, 5*y + 4*d - 26 = 0. Let u be (y/1 - -1)/(9/9033). Suppose -u = -17*n + 253. Does 31 divide n?
False
Let m = -191 - -208. Let g(c) = 13*c + 131. Is g(m) a multiple of 22?
True
Let w = -82 - -71. Is 1*(w/3 + 4)*339 a multiple of 15?
False
Suppose q = -0*q, 2*q = -n - 2. Let x be n*(-1 - (-213)/2). Let s = x + 364. Is 13 a factor of s?
False
Suppose 116609 = 12*s + 23765. Does 7 divide s?
False
Let r(x) = -37*x**2 - x + 7. Let u(d) = 36*d**2 + d - 7. Let p(q) = 3*r(q) + 4*u(q). Suppose 23*g - 15*g - 16 = 0. Does 40 divide p(g)?
False
Suppose -3*s = -2*i - 254, -2*s + 3*i = 3*s - 425. Suppose -s = 12*v - 268. Is -4*2/(-10) - (-408)/v a multiple of 11?
False
Suppose 0 = d + 4*f - 371, -2*d + 0*f - 2*f = -748. Suppose 1125 = 3*y + q + 4*q, -2*q + d = y. Is 15 a factor of y?
True
Let c(b) be the third derivative of b**5/6 - 13*b**4/12 + b**3 - 26*b**2. Is c(5) even?
True
Let i(n) = -194*n. Let j be i(-2). Suppose -4*r + 326 = 5*y, 48*y - 43*y + r - 314 = 0. Suppose 2*a - y - j = 0. Is 19 a factor of a?
False
Let i = -292 - -296. Suppose i*o + 5*c = 4*c + 102, 62 = 2*o - 5*c. Does 3 divide o?
False
Suppose -167*q = -169*q. Suppose -9*c = -q*c - 801. Is 22 a factor of c?
False
Suppose -89*d + 135*d = 1145446. Is d a multiple of 283?
False
Suppose 11409 = -10*h + 14*h + 5*z, 5*h - 14268 = -4*z. Does 21 divide h?
True
Let h = 188 - 186. Suppose 0 = h*v - 2300 + 682. Is v a multiple of 28?
False
Let s(m) = 544*m**2 - 70*m + 210. Is s(3) a multiple of 18?
True
Let u(q) = 2*q**3 + 6. Let h be u(-4). Let a = h - -349. Is a a multiple of 8?
False
Suppose -127*u - 112255 + 167303 + 182696 = 0. Is u a multiple of 6?
True
Suppose 0 = h - n + 134, -4*n = -h - 76 - 43. Let x = 267 - 68. Let m = h + x. Does 30 divide m?
True
Is (-9 - -1) + 24/((-600)/(-125)) + 31826 a multiple of 234?
False
Let r = 337 + -337. Suppose -3*z - h = -287 - 184, -5*z - 4*h + 785 = r. Is 8 a factor of z?
False
Let r be (4 - 1) + 7 + -9. Let i be 4 + (-18)/r + 0. Is 7 a factor of 26 - (112/(-49) - 4/i)?
True
Let h(o) = -3*o - 53. Let p = 86 - 88. Let q be (-4)/1 + 0 + (-18 - p). Does 7 divide h(q)?
True
Let m be 0/(-3 + (-2)/(-2)). Suppose m = -v - 4*u - 44 + 196, 0 = -4*v + 4*u + 548. Does 7 divide v?
True
Does 54 divide (4/2)/(2/1929)?
False
Let a be (2/(-5))/(16/(-400)) + 1. Suppose -a*j + j = 550. Let w = j + 78. Does 3 divide w?
False
Let a = -15988 - -26796. Is a a multiple of 14?
True
Let v(i) = i**2 + 10*i + 24. Let f be v(-4). Suppose 4*x - 4 = 0, 8*r - 9*r - 4*x + 755 = f. Is 18 a factor of r?
False
Let g(o) = -19*o**2 - 24*o + 6. Let b(v) = 54*v**2 + 73*v - 19. Let t(p) = -6*b(p) - 17*g(p). Does 55 divide t(-15)?
False
Suppose 404877 = 187*o - 935726. Is 13 a factor of o?
False
Suppose -4*s + 5*b - 17 = 0, -23*s = -26*s - b - 27. Let a(u) = 18*u + 21. Let g(x) = -17*