-565974 = -138*n + 792. Is 37 a factor of n?
True
Let k = -169 - -178. Suppose k*q - 11 = 124. Is q a multiple of 12?
False
Suppose 4*h + c = -0*h + 19, 1 = -2*h + 3*c. Let i be (2 + 97)*((-50)/(-15) + h). Suppose -5*q - 10 = 0, 3*g - i = -g - q. Is g a multiple of 14?
True
Let d = -1328 + 6517. Does 26 divide d?
False
Is 36/144 + (-135170)/(-56) a multiple of 2?
True
Suppose 14*b = -2*b + 784. Let k = 28 + b. Is 5 a factor of k?
False
Let m(r) = -9*r - 39. Let j be 7/(-21)*-57 + (-2)/1. Let l be m(j). Is 8 a factor of (l/(-15) - 2)/(10/25)?
False
Let p(c) = -7*c - 192. Let g(r) = 3*r + 95. Let s(m) = -11*g(m) - 6*p(m). Is s(-8) a multiple of 7?
True
Is 44 + 2 - (23 - 13)/(-5) a multiple of 37?
False
Let u(q) = q**2 - 49*q + 6690. Does 30 divide u(0)?
True
Let j = 26346 + -13170. Is 16 a factor of j?
False
Suppose -f - 2*f = -5*j - 9, -3*j = 4*f - 12. Suppose j = 5*l + d - 304, 30*l - 31*l + 2*d = -52. Is 11 a factor of l?
False
Let m(h) = -2*h**2 - 25*h + 13. Suppose -3*b = y - 13, -6*y + y = 10. Let a(s) = -s**3 + 4*s**2 + 2*s + 4. Let t be a(b). Does 5 divide m(t)?
False
Let o = 135 - 71. Suppose o = 6*d - 5*d. Suppose -2*k + 14 = g + 2*k, 4*k + d = 2*g. Does 13 divide g?
True
Let j = 612 + 1268. Let k = -1262 + j. Is 10 a factor of k?
False
Suppose 3*p + 5*c - 35 = -p, -5 = -4*p + 5*c. Does 10 divide (-60)/(((-45)/24)/p)?
True
Suppose -5*v = 6*f - 2*f - 561, 5*v + 3*f = 557. Let d = v - -154. Does 9 divide d?
False
Does 37 divide 203*(22 - (30 - 20))?
False
Suppose 2*w + 3*d - 259 = w, -4 = 4*d. Suppose 392 = 6*l - w. Does 11 divide l?
False
Suppose 28 = 2*y + 40, 2*t - 4*y - 4068 = 0. Is t a multiple of 18?
False
Suppose -12741*r = -12769*r + 28. Let d(q) be the third derivative of 179*q**4/24 - q**3/3 + q**2. Is d(r) a multiple of 29?
False
Suppose -9142308 = 17*s + 12*s. Is 9 a factor of 4/(-3)*s/336?
True
Suppose 173*p - 74980 - 189956 = 1484. Does 7 divide p?
True
Let w(r) = r**3 - 17*r**2 + 22*r - 16. Let l be w(16). Let t = -74 + l. Suppose -4*i - 4*y = -132, 0 = 3*y - t + 3. Does 2 divide i?
True
Let n = -193 + 889. Let b = 1524 - n. Is 12 a factor of b?
True
Let m be 22/((-3)/9*(-1 - 5)). Let p be m/(77/2) - 2/7. Suppose 41 = i - p*i - 5*x, 145 = 4*i - x. Is i a multiple of 9?
True
Let o(m) = m**2 + 3*m + 7. Let y be o(-3). Suppose q - y*q = -174. Is q a multiple of 8?
False
Let b = 2809 - -6347. Is 21 a factor of b?
True
Let b(s) be the second derivative of -s**5/20 + 17*s**4/12 - 5*s**3/2 + 3*s**2 - 3*s. Suppose 5*o + 28 = 3*n - 0*n, 5*n = -5*o + 100. Does 6 divide b(n)?
False
Suppose 40*y - 425 = 23*y. Suppose 0 = -5*w + 3*w + 12. Is 22 a factor of 1540/y + -1 + w/(-10)?
False
Let r(a) = 82*a**2 + 3*a - 98. Does 60 divide r(8)?
False
Let v(m) = 13*m**2 + 19*m + 8. Suppose -2*w - 12 = 2. Is 32 a factor of v(w)?
True
Suppose -7*v + 10*v + 5*s = -51, 3*v - 3*s + 27 = 0. Let k be v/1*(4 - (-84)/(-18)). Suppose k*g = 13*g - 200. Is g a multiple of 4?
True
Let y = 20 - 24. Let m be (3 + (-28)/(-8))*y. Let v = 43 + m. Is 17 a factor of v?
True
Let d(s) = 33*s - 1. Let h be 26/39 + (4/3 - 0). Suppose h*z + 1 = -m, -m - 5*z - 1 = 2*m. Is d(m) a multiple of 24?
False
Suppose -2*a - 30 = -0*a. Let c = a + -1. Let n = c - -88. Does 40 divide n?
False
Let m = 20671 + -11647. Is m a multiple of 96?
True
Let x = -284 + 179. Let z = 207 - x. Does 12 divide z?
True
Let a be (24/18)/(4/6). Let t = 1427 - 843. Suppose 0 = x + 4*v - 129, 3*v + t = 4*x + a*v. Does 29 divide x?
True
Let k be 1/1*(8 - 12). Is 12*(4/k + 12) a multiple of 10?
False
Suppose -869 = -3*t + 2*h + 1685, -2*h - 1700 = -2*t. Does 49 divide t?
False
Let r be (-8)/40*4/((-12)/45). Suppose 5*z - r*f - 50 = 41, -5*f = -z + 27. Does 2 divide z?
False
Suppose 0 = -y - 46*y + 63920. Is 16 a factor of y?
True
Does 2 divide 265815/(-66)*2/(-3)?
False
Suppose -k + 2*n + 4 = 0, -35 = -5*k - 4*n + 13. Suppose -k = -3*h + h. Suppose 5*w + 373 = h*i - 2*i, -5*i = 4*w - 883. Does 26 divide i?
False
Let c be -4 - (108/(-8) - -1)*14. Suppose 6*l = 117 + c. Is l a multiple of 8?
True
Suppose -20*r + 18474 = 23234 - 84280. Is 7 a factor of r?
True
Suppose 10*w - 5*w - 4*k - 443 = 0, 3*k - 9 = 0. Suppose 93*b = w*b + 14. Does 3 divide b?
False
Does 310 divide ((-4)/(-42))/((-681)/3178) + 168110/18?
False
Let m(u) be the third derivative of -5*u**4/24 + 56*u**3/3 - 45*u**2. Is m(-16) a multiple of 12?
True
Let y = 146 + -105. Let z(x) = -x**3 - 4*x**2 - 4*x - 7. Let j be z(-5). Let n = y - j. Does 3 divide n?
True
Suppose 22*l - 5 = 23*l. Is (-982)/l - (-4)/(-10) a multiple of 4?
True
Let x(z) = -67*z**3 - 82*z**2 + 12*z - 5. Does 3 divide x(-4)?
False
Let p be 57/38*1*(-6)/(-3). Does 11 divide 6 - 14*p/12*-14?
True
Suppose -8056 = -2*r - 2*f, 7*f - 6*f + 32224 = 8*r. Is r a multiple of 76?
True
Let n = -84 + 61. Let l = -21 - n. Is 191/l + -5*(-4)/40 a multiple of 32?
True
Is 35 a factor of (-52 - -3)/(39/(-676)*(-3)/(-9))?
False
Is 7 a factor of (-9)/21 + (-606)/(-42)?
True
Suppose 9 = g + 4*q + 4, 5*q = 5*g - 50. Does 13 divide 6 - g - -9 - -267?
True
Let l(k) = -4*k**3 - 25*k**2 - 58*k + 42. Is l(-12) a multiple of 30?
True
Let v = 319 - 451. Let w = v - -180. Is w a multiple of 12?
True
Let w = -40385 - -64593. Does 28 divide w?
False
Let s = -20 - -30. Suppose 4*t = -5*r + 10, s = 3*r + 2*r + t. Does 17 divide ((r - -4)/(-18))/((-2)/102)?
True
Let u(y) = 626*y**2 + 8*y - 10. Is u(1) a multiple of 16?
True
Does 14 divide (274/(-6) + 2)/(3/(-36))?
False
Suppose -5*n = 4*z - 55, 2*n + 15*z - 19*z = -6. Suppose -4*l = -4, -n*k - 4*l = -6*k - 235. Is 12 a factor of k?
False
Let k = -154 + 162. Suppose -108 = k*v - 948. Is 21 a factor of v?
True
Let z = -5 + 5. Does 4 divide z + (-108)/(-2) - (2 - 0)?
True
Let t(o) = -3931*o - 1764. Is 74 a factor of t(-5)?
False
Let y(f) = 20*f + 1. Let t be y(9). Suppose -39 - t = -5*d. Suppose 50*u = 52*u - d. Is 11 a factor of u?
True
Let z = 416 + 9812. Is 38 a factor of z?
False
Let o = 95995 + -59497. Is 21 a factor of o?
True
Suppose -2*z + 18156 = 2*b, 258*b - 263*b - 9036 = -z. Is 88 a factor of z?
False
Let g(r) = 1005*r - 2029. Is 20 a factor of g(8)?
False
Let j = 48 + -42. Let c be ((-12)/8)/(j/16). Is 10 a factor of c/(-14) + 3140/35?
True
Let u be ((-5)/4)/((-69)/(-12) + -6). Suppose -2*m + 1 = -u. Does 18 divide ((-28)/(-21))/((-2)/m) - -90?
False
Let v = -139 - -121. Is (246/(-9))/((-69)/v + -4) a multiple of 6?
False
Let a(c) = c**2 + 35*c + 184. Does 15 divide a(14)?
True
Let n(m) = -8606*m - 892. Is n(-2) a multiple of 51?
True
Suppose 37*j + 3166 - 12416 = 0. Does 19 divide j?
False
Let i(p) = -p**2 - 19*p - 21. Let c be i(-12). Let j = c + -58. Suppose -2*s = -j*r - 143, -2*s + 5*s - 237 = 3*r. Is 21 a factor of s?
True
Let c(z) = 77*z**2 + 17*z + 1. Let o be c(-2). Suppose -5*a = 6*a - o. Is 11 a factor of a?
False
Let l(f) = -f**2 + 2. Let j(y) = 2*y**2 - 23*y + 7. Let w(t) = -j(t) - 4*l(t). Does 3 divide w(6)?
True
Let g(r) = -4*r + 48. Suppose -5*b - 250 = -5*x, 4*x = -b + 251 - 46. Let s = x - 73. Is g(s) a multiple of 34?
True
Let t(p) = -2*p + 7. Suppose -5*d + 0*d = 0. Let r be t(d). Suppose -r*z + 97 + 113 = 0. Is 5 a factor of z?
True
Does 10 divide 5216 - (13 - 7)*(6 - 5)?
True
Let r(m) = -622*m - 158. Is r(-9) a multiple of 32?
True
Suppose 5*z + 37 = 97*r - 96*r, 2*z - 111 = -3*r. Does 2 divide r?
False
Let a be (((-1)/1)/(-2))/((-2)/(-124)). Suppose -a - 20 = 3*k. Let t = 37 + k. Is t a multiple of 10?
True
Suppose -22*f = -7*f - 2305 + 115. Does 14 divide f?
False
Let q be -3 - -10 - 2 - (1 - 1). Suppose 0*j + 2*s - 2108 = -q*j, -3*j + s = -1256. Does 21 divide j?
True
Let u(r) = -r**3 - 4*r**2 - 3*r + 3. Let c be u(-3). Let w = -296 + -316. Does 20 divide (7/c)/((-12)/w)?
False
Let l(z) = -z**3 + 7*z**2 + 7*z - 10. Let g be l(7). Let t = 43 - g. Suppose 5*y - y + 65 = h, -t*h = y - 209. Is h a multiple of 28?
False
Suppose 5*s + 75 = -0*q + 5*q, -5*s - 85 = 5*q. Let b be 1136/(-8)*4/(s/18). Does 16 divide (-1 + 3 + -1)/(9/b)?
False
Is 11 a factor of 9*4/(-108)*-645?
False
Suppose 3*g = -4 + 13. Suppose 2*b = -0*b + y + 513, 2*b - 493 = -g*y. Let j = -84 + b. Is j a multiple of 14?
False
Does 19 divide (6 - -3) + -6 + (-20616)/(-3)?
False
Suppose -3*a + 359 = c, 3*a + 3*c = -2*a + 593. Let z(j) = -j**2 - 4*j + 7. Let k b