j = 1536. Let d = t - 204. Does 26 divide d?
True
Let q = -1838 + 5267. Is q a multiple of 17?
False
Let x = 596 + -413. Suppose 125 = -2*a - 2*r - 5, -3*a + 3*r - x = 0. Let j = 90 + a. Does 7 divide j?
False
Let h = -392 + 315. Is 38 a factor of 2887/4 - h/308?
True
Suppose 0 = -4*v + 326 - 302. Suppose -4*m = -v*m + 1320. Does 33 divide m?
True
Suppose 2*h - 9*c + 4*c - 240 = 0, h - 123 = 4*c. Suppose -f = k - 195, 0 = -5*k + f + 1084 - h. Is k a multiple of 7?
False
Suppose 2*b + 3*b + 4*w + 445 = 0, -3*b - 250 = -w. Let r = b + 90. Let h(m) = 3*m**2 - 5*m + 14. Is h(r) a multiple of 16?
True
Let j(b) = -15365*b - 270. Does 13 divide j(-3)?
True
Let g be 642/(-5) + (-4)/(-10). Let x(d) = -2*d**2 + 12*d - 12. Let t be x(2). Let l = t - g. Is 11 a factor of l?
True
Suppose -2*o - 3*j = -25, 2*o + 5*j = 47 - 12. Suppose -o*t = 4*h - 4*t - 610, 460 = 3*h + 2*t. Is 17 a factor of h?
False
Suppose 6 = -6*w + 222. Let v = 427 - w. Is 9 a factor of v?
False
Let r = -4 + 4. Suppose 2*p = 4*h - h - 2232, r = -h + 5*p + 757. Is h a multiple of 30?
False
Suppose -o - 2*o = -c - 7, 5*o - 35 = -3*c. Suppose -2*k = -w - 322, c*k - 5*w - 803 - 2 = 0. Does 54 divide k?
False
Suppose 2*w + 4 = 4*y, -4*w = -5*y + 2*y - 7. Is 2 a factor of 10/2*(w + (-6)/(-5))?
True
Let s(b) = 25*b**2 - 4*b - 68. Suppose 0 = 4*k + j + 30, 8 = -3*k + 4*j - 5. Is 54 a factor of s(k)?
False
Let q be (3204/10)/(1 + 22/(-20)). Let c be q/(-39) - (4/26 - 0). Let o = c + -61. Does 4 divide o?
False
Let o(t) = -5*t**2 + 29*t - 37. Let l(s) = -9*s**2 + 57*s - 74. Let g(k) = -4*l(k) + 7*o(k). Let p be g(26). Is -4 - (18/p - 1290/7) a multiple of 30?
True
Is (214 - -1)/(11 + (-3684)/336) a multiple of 28?
True
Let o be 3/(-21)*0*(-1 + 0). Is 17 a factor of -2*(-1)/(-6)*(-357 + o)?
True
Let s = 186 - 101. Suppose 7*v + s = 12*v. Suppose -1073 = -v*j + 1222. Is 29 a factor of j?
False
Let a(v) = -2*v**3 - 6*v - 5. Let u(x) = 3*x**3 + x**2 + 7*x + 6. Let q(p) = 4*a(p) + 3*u(p). Does 43 divide q(3)?
True
Suppose j = -3, -14 = -2*v + 4*j + 22. Let t(h) = 2*h + 3. Let a(z) = 7*z + 12. Let u(p) = -6*a(p) + 22*t(p). Does 11 divide u(v)?
False
Let h = -3450 + 4511. Is 3 a factor of h?
False
Suppose 3*q = 4*l - 10, -l + 6*q = q + 6. Suppose u + 0*j = -3*j + 231, -20 = l*j. Does 28 divide u?
False
Let l(z) be the third derivative of 7*z**5/60 + 13*z**4/24 - 15*z**3/2 - 4*z**2 - z. Does 11 divide l(7)?
False
Is 12 a factor of ((-842)/6 + 176/(-44))/(1/(-30))?
False
Does 24 divide 6*(-2)/(-12)*-1*(-20 + -7204)?
True
Does 35 divide (-102)/(-16) - (-270)/(-720) - -6095?
False
Let h = 518 + -342. Suppose -m - 2*l + h = 2*l, -975 = -5*m - l. Is m a multiple of 7?
True
Let f be (4/10)/((-32)/(-80)). Let j = 25 - f. Suppose 28 = 4*i - 5*c - 14, -2*i = -c - j. Is i even?
False
Let c(b) = -59*b - 36. Suppose 15*t - 11*t - 2*w = -34, -4*w = 3*t + 31. Is 45 a factor of c(t)?
True
Suppose 122*l = 125*l - 1332. Suppose 102 = 21*t - l. Is t a multiple of 2?
True
Suppose 110*m - 41647 = 89*m - 697. Does 14 divide m?
False
Suppose 21*b + 23 = 107. Let m(d) = 102*d + 80. Is m(b) a multiple of 25?
False
Let m = 236 + -957. Let k = 1051 + m. Is k a multiple of 33?
True
Let k = -175 + 91. Let q = k + 87. Suppose -2*i = -2*m - q*i + 21, 2*m = -3*i + 31. Does 4 divide m?
True
Suppose 0 = 3*q + 3*l - 378, 24*q + l + 267 = 26*q. Is 7 a factor of q?
False
Suppose 3*q - 23 = -5*t + 5, 3*t + q - 16 = 0. Is 8 a factor of (138/15)/(t/(-100)*-1)?
True
Is 99/(7 + -16) + 19103 a multiple of 111?
True
Let v(r) = 10*r + 125. Let f be v(-12). Suppose 46 = 2*b + 3*s - f*s, -s = -3*b + 59. Is 2 a factor of b?
True
Suppose -100 = g - 5*r, -6*g - 4*r = -2*g + 280. Let c = g + 107. Let p = 92 - c. Is 30 a factor of p?
True
Suppose 0*i = 3*i - 870. Let z(s) = -15*s**3 - 3*s - 4. Let h be z(-2). Let k = i - h. Is k a multiple of 21?
True
Suppose 13*q - 8372 - 23138 = 36285. Is 7 a factor of q?
True
Let s = 7306 + -6964. Is 3 a factor of s?
True
Let l(k) be the third derivative of 0*k + 1/6*k**3 - 17*k**2 + 7/12*k**4 + 0 + 1/30*k**5. Does 27 divide l(-12)?
False
Let g = 10 + -8. Is 11 a factor of (178*(-42)/(-36))/(g/6)?
False
Let n be ((-8)/1)/((-16)/8). Does 33 divide 33/60*1156 - n/5?
False
Suppose -18 - 34 = -4*u. Let w(l) be the second derivative of 7*l**3/6 - 21*l**2 - 654*l. Does 12 divide w(u)?
False
Suppose 0 = 18*w + 196 - 11 + 13. Let x(t) = -3*t**2 + 4*t + 19. Let k(g) = -g**2 + g. Let y(l) = 2*k(l) - x(l). Does 23 divide y(w)?
False
Let q(d) = -d**2 + 25*d - 50. Let j be q(23). Does 12 divide 116 - (-4 - 0/(4/j))?
True
Suppose 0*r - 2 = -2*t - 2*r, r - 1 = t. Suppose t = 44*f - 46*f + 174. Does 3 divide f?
True
Let o(m) = 85*m**3 + 8*m**2 - 9*m - 7. Is 13 a factor of o(4)?
True
Suppose 5*r - 18 = -10*c + 8*c, -5*r - 10 = -5*c. Suppose c*w = 240 - 4. Is w a multiple of 3?
False
Let w = 72 + -3. Let v = w + -37. Let y = v - -24. Is y a multiple of 14?
True
Suppose 0 = 2*o - 583 - 853. Suppose -2*v = -4*c + o, -5*v - 542 = -7*c + 4*c. Is 15 a factor of c?
False
Suppose 4*u + 13 = 5*f, 1 - 7 = -3*f + 3*u. Let x(g) = -2*g**2 - 7*g - 15. Let b be x(f). Let d = b - -265. Is 11 a factor of d?
True
Suppose 0 = 3*l - 4*g - 60309, 3*l + 5*g = g + 60357. Does 17 divide l?
True
Let t(y) = y + 1. Let g(i) be the second derivative of 13*i**3/2 + 5*i**2/2 + 3*i. Let m(f) = -g(f) + 6*t(f). Is 24 a factor of m(-1)?
False
Let x be 2 + 0 + -15 + 19. Suppose 60 = -2*q + 720. Suppose w + q = x*w. Is w a multiple of 11?
True
Suppose -5*s + 5*t = -390, 2*t - 222 - 66 = -4*s. Is s a multiple of 58?
False
Suppose 0 = 5*b + r - 17, 4*b - r - 6 = 2*r. Let u(i) = 3*i**2 - 26*i - 11. Let z be u(12). Suppose 635 = 5*g - o, 4*o - 467 = -b*g - z. Is 31 a factor of g?
False
Let t = -82 - -83. Let i be t/(-4) + 125/20. Suppose -i*g = 2*g - 152. Does 7 divide g?
False
Suppose -2*m = -4*m + 16. Suppose -2*g - 4 = 2*x, -x + 3*g + g = -m. Does 28 divide x - (2 + -2 - 41)?
False
Let j = 4479 + -3464. Is j a multiple of 29?
True
Let w(h) = 965*h + 410. Does 9 divide w(10)?
False
Let w(r) = r**3 + 11*r**2 - r - 13. Let t be w(-11). Let n = t - -4. Suppose -v - 129 = -n*b, 51 + 145 = 3*b + v. Is b a multiple of 13?
True
Suppose -46 + 859 = x. Does 2 divide x?
False
Let y be 3/18*-2 - 130/(-3). Let g = y + -44. Let r(v) = 9*v**2 - v + 1. Does 5 divide r(g)?
False
Suppose 8*y - 13*y = 5*q - 34620, -4*y + 27680 = -4*q. Does 31 divide y?
False
Let j(i) = -7*i + 40. Let m(h) = 5*h - 1. Let f(v) = 14*v - 3. Let d(u) = -4*f(u) + 11*m(u). Let n(q) = -4*d(q) + j(q). Is n(8) a multiple of 3?
True
Suppose -1472 = 3*t - 5. Let f = -367 - t. Is 11 a factor of f?
False
Let h be 1/((-2)/(-218))*1. Let k be -35*5*(32/70)/(-8). Suppose -a = -k - h. Is 13 a factor of a?
False
Let o(c) = -14*c + 4*c - 4*c + 9*c**2 + 15 + 20. Is o(4) a multiple of 41?
True
Suppose 0*q + 2*f + 2527 = -q, 5*q + 4*f = -12623. Does 10 divide (-6 + 7)*q/(-3 - 0)?
False
Let x(h) = h**3 + 12*h**2 - 14*h - 11. Let m be x(-13). Suppose -o - 1 = m, 4*v - 2*o = 22. Suppose v*k - 450 = -2*k. Does 15 divide k?
True
Does 128 divide 12 - 13 - 8706*(-1 + 2/4)?
True
Let p = 333 - 290. Suppose -47*m + 1256 = -p*m. Does 12 divide m?
False
Let x = -14306 - -30185. Does 48 divide x?
False
Let h = -175 + 177. Suppose h*s = -t + 524 - 115, t - 616 = -3*s. Does 30 divide s?
False
Let k(r) = 5*r**3 - 267*r**2 + 184*r - 154. Is k(53) a multiple of 7?
False
Let t(c) = -c**3 + 30*c**2 + 65*c - 22. Let u be t(32). Does 10 divide 6*(182/30 - 4/u)?
False
Let r = -29 - -32. Let z(h) = 0*h**r - 3*h + 4*h**2 + h**3 - 5*h**3 + 3*h**3 - 4. Is z(-4) a multiple of 34?
True
Suppose 5294 = 3*p - 5*w, -5*w + 7049 = 4*p - 2*w. Is p a multiple of 118?
False
Suppose -9*b = -757 - 242. Suppose u = 5, b = j + 6*u - 2*u. Is 7 a factor of j?
True
Suppose 5*y - 18220 = -3*a, -4*y = 4744*a - 4742*a - 12146. Is a a multiple of 19?
False
Let l be (10/(-25) + (-4)/15)*-3. Let q(k) = 15*k - 2. Let w be q(l). Suppose -5*f + w = -f. Does 7 divide f?
True
Let l = -91 - -93. Suppose -4*j + 434 = l*c, 429 = 4*j - c + 2*c. Is 15 a factor of j?
False
Does 11 divide (0 - (-12 + 6))*853170/180?
False
Let w(v) be the third derivative of 0*v + 1/60*v**5 - 1/12*v**4 + 0 - 24*v**2 + 9*v**3. Does 27 divide w(0)?
True
Let f be ((-12)/((-12)/3))/((-4)/(-4)). Suppose 517