t y = -49 + 0. Let z = 184 + y. Does 11 divide z?
False
Suppose -1955 = -14*o + 12997. Let a = o - 504. Is 38 a factor of a?
False
Let g(i) = i**3 - 2*i - 7. Let x(t) = -2*t + 45. Let j be x(20). Let b be g(j). Let m = b + -68. Does 8 divide m?
True
Suppose 4*a = -15*d + 17*d + 81674, -5*d = 4*a - 81639. Is 58 a factor of a?
True
Suppose 2*z = y + 6926, z - 1177 = -5*y + 2308. Is 77 a factor of z?
True
Suppose -3*o - 5*l = -9749, 8260 + 7978 = 5*o - 2*l. Does 56 divide o?
True
Suppose 2*v + 3*v = -15. Let f be (-4)/7 + ((-4660)/(-70) - 3). Does 20 divide (-4*f)/(-4) + v?
True
Suppose -36*m = 10*m + 20*m - 699600. Is m a multiple of 5?
True
Suppose 365 = -9*y + 14*y. Let f(o) = -o + 8*o**2 - 2*o**2 - y + 68. Is 14 a factor of f(-3)?
False
Suppose -15 + 729 = 7*h. Is 8 a factor of h?
False
Let p(t) = -t**3 - 11*t**2 + 13*t + 13. Let m be p(-11). Let z = 190 + m. Does 24 divide z?
False
Let l be (-3 + 29/2)*6. Suppose -l = -35*z + 32*z. Let a(f) = -f**3 + 24*f**2 - 20*f + 35. Is a(z) a multiple of 13?
True
Let o = -471 - -262. Let k = o - -425. Does 27 divide k?
True
Let x(w) = 552*w**2 + 132*w + 544. Is x(-4) a multiple of 158?
True
Let q(v) = v**2 - 2*v - 10. Let t be q(5). Suppose 4*a - 14 = t*z, -6*z - 38 = -3*z + 5*a. Does 5 divide z*((-52)/12 + 1)?
True
Let u(y) = 852*y**2 - 5*y + 7. Let i(k) = -854*k**2 + 4*k - 6. Let n(l) = -6*i(l) - 5*u(l). Does 16 divide n(-1)?
True
Let x be (-2)/((-4)/(-14)) + 459. Suppose -3*g - 2*m - 208 = -1552, -2*m + x = g. Does 20 divide g?
False
Suppose 2*k - 3*k = 0. Suppose 2*j + 3 + 29 = k. Let s = j + 118. Is 12 a factor of s?
False
Let q(j) = j**2 - 20*j + 66. Let k be q(19). Suppose -2*r + 3*r = k. Does 9 divide r?
False
Let j(k) = 3265*k**3 - k**2 + 137*k - 267. Does 151 divide j(2)?
True
Let f be -9*((-84)/6 + 2). Suppose -m + 208 = m + 4*n, -n = m - f. Is m a multiple of 6?
False
Let v(s) = 30*s + 1. Let h be v(6). Suppose 0 = -4*x + h + 779. Is x a multiple of 15?
True
Let y(c) = c**3 - 5*c**2 + c - 8. Let n be y(5). Does 2 divide (-663)/(-12) - (0 + n/(-12))?
False
Suppose 2*p = -3*p - 40. Suppose 0 = -5*a - 10*j + 9*j - 165, 0 = -a + 2*j - 44. Let w = p - a. Does 13 divide w?
True
Let t(g) be the first derivative of -2*g**3/3 + 25*g**2/2 - 4*g + 68. Is t(9) a multiple of 39?
False
Let j be (549/6 + -4)*2. Let a be 2 - (-1)/(1/j). Let o = a - 117. Does 20 divide o?
True
Suppose 72*b = 67*b + 3*g + 21284, 17036 = 4*b + 2*g. Is b a multiple of 313?
False
Suppose 0 = -b + 7 - 2. Suppose 3*f + b + 1 = 0. Is f/(-7)*7 + 10 + -1 a multiple of 11?
True
Let w = 6354 + -2243. Does 14 divide w?
False
Is (1 - -1 - -88)/(39/1872) a multiple of 40?
True
Let s = -308 + 164. Suppose 0 = -3*w + 5*w - 2. Does 17 divide (10/(-4))/(4/s*w)?
False
Suppose 4455 = 4*i + 195. Suppose 7*r - 6*r - 265 = n, -4*r = -3*n - i. Does 37 divide r?
False
Suppose -316*x + 302*x = -15120. Does 28 divide x?
False
Let l(d) = 5*d**2 - 11*d + 27. Let q be l(7). Suppose -2*x - q + 593 = 0. Is 48 a factor of x?
False
Let a = -255 + 4615. Is a a multiple of 20?
True
Let q(t) = -t**2 - 10*t - 13. Let j be q(-7). Let i be (-2)/3*(-330)/(-13 + j). Let o = i + 109. Does 28 divide o?
False
Let x(q) = q**2 + 9*q - 8. Let u be x(-11). Suppose -2*m = -u*m + 1536. Suppose 4*t - 4*j - 264 = 16, -2*j + m = 2*t. Is t a multiple of 18?
False
Suppose -33 - 447 = 4*n. Is 13 a factor of (-57104)/n + (-47)/(-15) + -3?
False
Let i(d) = 58*d**2 - 1. Let h be i(1). Suppose -2*o - 5*z + 0*z = -170, 3*o - 2*z = 293. Let f = o - h. Is 13 a factor of f?
False
Suppose 0*h + 7*h + 2394 = 0. Let f = 566 + h. Is f a multiple of 7?
True
Let k(a) = 5 - 1 + 12 + 0 + 22*a. Let d be k(9). Suppose -5*i + h - 5 + 287 = 0, -5*h + d = 4*i. Does 28 divide i?
True
Let q(m) = m**3 + 8*m**2 - 9*m + 4. Let l be q(-9). Suppose -127 = -l*g + 265. Suppose -6*y = -g - 454. Is 46 a factor of y?
True
Let j = 74120 - 52174. Is j a multiple of 17?
False
Let s(t) = t. Let i(b) = -30. Let h(k) = 2*i(k) - 4*s(k). Is 4 a factor of h(-16)?
True
Let t(m) = -13*m + 74. Let q be t(6). Does 4 divide (q - 16/(-5))/((-16)/4040)?
False
Suppose -4*b - 30205 = -3*o, -5*b - o - 52013 = -14252. Let v = 12406 + b. Is 16 a factor of 2/(-3) - (4 - v/18)?
False
Suppose -4 + 4 = -10*s. Is (-954)/12*(-4)/6 - s a multiple of 4?
False
Is 10 a factor of (690/92)/(((-3)/(-432))/1)?
True
Suppose -15843 = -t - 624*c + 622*c, 3*c = -2*t + 31681. Does 223 divide t?
True
Let d be (-19 + -6)*(-40)/(-5). Does 25 divide -4*315/(-70)*d/(-6)?
True
Let d be (0/(-1))/((-12)/144*-12). Suppose d = -y + 27 + 140. Is 3 a factor of y?
False
Suppose 13*d = 16*d - 66. Suppose d*v = 3613 + 1381. Does 9 divide v?
False
Let y(r) = -r**3 - 11*r**2 - 11*r - 5. Suppose -5*t - 50 = -0*t. Let d be y(t). Is (d/4)/(-1*(-3)/72) a multiple of 15?
True
Does 36 divide (-10)/(-60) - ((-356657)/42 - (5 + -1))?
True
Does 139 divide (1 - 4)/((-29)/173333)?
True
Suppose -5*g = -g - 2*c - 28, 7 = 3*g + 2*c. Suppose -g*h = 3*r - 97, -3*h = h + r - 79. Does 3 divide h?
False
Suppose -3343*k + 1140 = -3346*k. Let c = 732 + k. Is 22 a factor of c?
True
Does 23 divide (-9)/((-1 - -4)*((-8617)/2870 + 3))?
False
Let s(j) be the third derivative of j**4/3 - 26*j**3/3 + 12*j**2. Let i be s(22). Suppose -51 = -7*d + i. Does 23 divide d?
False
Is 5/(-8) - 78645562/(-12816) - 2/(-18) a multiple of 118?
True
Is ((-50)/165*-3 - (-2)/22) + 914 a multiple of 6?
False
Let j(a) = 27625*a**2 + 6*a + 17. Is j(-1) a multiple of 14?
True
Suppose 4*n + 211 = 223. Suppose n*g = 5*j + 114 + 916, 5*j - 350 = -g. Is g a multiple of 28?
False
Suppose 2*z + 20 = 4*v + 5*z, 2*v + z - 10 = 0. Suppose -r + 2*i + 395 = 0, -6*i - 1580 = -4*r - v*i. Suppose 0 = -3*c + r + 37. Is c a multiple of 36?
True
Suppose 8*s + 2020 = 23044. Is 4 a factor of s?
True
Let u(y) = y**2 + 3*y - 8. Let o be u(-5). Suppose o*l + 150 = 5*l. Suppose -c + l = -15. Is 8 a factor of c?
False
Suppose -8*x = -19*x + 66. Let n = x - 2. Suppose 0*p + 43 = n*p + 3*g, 3*g = -9. Is 6 a factor of p?
False
Suppose -125*b + 50118 - 18471 = -114*b. Does 2 divide b?
False
Let o(l) = l**2 + 14*l + 46. Let k be o(-10). Suppose -5 = x, -3*v = -x + k*x - 17. Is v even?
True
Let x(a) = 7*a**2 + 3*a - 90. Let l be x(-13). Suppose -7*v = -l - 2341. Is v a multiple of 31?
False
Let c = 632 - 676. Let q = c + 414. Is 5 a factor of q?
True
Let r(h) = h + 1. Let j be r(2). Let f be 11 + 116/12*3. Suppose 2*v - f = -w, j*w = -w + 8. Is 19 a factor of v?
True
Suppose -10*d - 69 = -209. Let w be ((-2)/(-7))/((-2)/(d/(-1))). Does 5 divide (-20)/w*(0 + (-33)/6)?
True
Let s = 0 - 0. Suppose 5*j + 0*j = -k + 531, k + 4 = s. Is 18 a factor of j?
False
Let w(r) = 5*r - 80. Let a be w(19). Let c = a + 55. Is c even?
True
Let a be (5 - 10)*4/(-10). Suppose -5*g + 33 = -a*w - 36, -18 = -g - w. Suppose 0 = -o + g. Is o a multiple of 10?
False
Let h(s) = s**2 + 17*s - 14. Suppose -3*l = 2*u + 24, -3*u + 5*l = 73 + 1. Let j be h(u). Suppose j*o = 326 - 70. Is o a multiple of 16?
True
Let j(i) = 33*i + 8*i**2 - 1 + 10 - 6*i**2. Let c be j(-22). Let g = -115 + c. Is 17 a factor of g?
True
Suppose -20 = 4*s - 8*s. Suppose 1 = r - s. Does 14 divide (-6)/(r/(-29)) - 2?
False
Suppose 3*n - x - 6112 = 0, 9220 = 5*n - 4*x - 969. Is n a multiple of 18?
False
Let f = 8963 - 2651. Is f a multiple of 45?
False
Let x = -21639 + 21878. Is 3 a factor of x?
False
Let p be (-3)/((5/(-30))/(1/3)). Let l(j) = -81 + 112 + 10*j + p*j. Is l(5) a multiple of 37?
True
Let f(u) = 36*u**2 + 193*u - 8. Is f(-12) a multiple of 25?
False
Suppose 0 = -3*b - 4*l - 23, -b - 22 = 3*b + l. Let p(d) = -48*d - 6. Is 13 a factor of p(b)?
True
Let r(d) = 1054*d - 589. Is 155 a factor of r(6)?
True
Let k be 289/(-5) - 3/15. Let m = 78 + k. Suppose -m = -x + 4*h, h - 10 = -x - 0*h. Is 6 a factor of x?
True
Suppose -76 = -4*a + 3*a + 2*l, 0 = 5*a + 4*l - 310. Let w(x) = 0*x**3 + 2 + 65*x + 3 - x**2 - a*x - 2*x**3. Is 12 a factor of w(-4)?
False
Suppose 4*n = -5*q + 1372 + 2037, 13*q = -n + 911. Is n a multiple of 37?
False
Let x(f) = -4*f - 21*f + 453 - 7*f - 104 + 13. Is 6 a factor of x(-12)?
False
Let q(j) = 7*j**3 - 14*j**2 + 16*j + 53. Let r(h) = 9*h**3 - 14*h**2 + 17*h + 57. Let f(z) = 5*q(z) - 4*r(z). Does 4 divide f(-15)?
False
Let h(n) = -440*n - 4800. Does 18 divide h(-11)?
Fal