119. Let s = v + -17. Let f = s + 84. Is f a multiple of 12?
True
Let q = -778 - -798. Is q + 2 + -8 + (-5 - -7) a multiple of 14?
False
Let n(a) = -3*a - 29. Let b be n(-9). Does 5 divide (-59 + -2 + 1)*b/3?
True
Let g be (2268/99)/6 + 4/22. Suppose -g = -2*w, 5*q - 1397 = 2*w + 129. Is 51 a factor of q?
True
Let y = -22276 - -31502. Does 14 divide y?
True
Does 25 divide (-27 + 24)*(-8549)/3?
False
Let f be -1*(-20)/12 - 1799/21. Let v = 173 - 4. Let g = f + v. Is g a multiple of 32?
False
Suppose -48*i + 26 = -47*i. Is (10 - 128/13) + 10708/i a multiple of 4?
True
Let y = -405 + 221. Let w = y - -321. Does 62 divide w?
False
Let p(h) be the third derivative of 0*h - 11*h**2 - 1/120*h**6 - 1/20*h**5 - 1/6*h**4 + 0 + 1/2*h**3. Is p(-3) even?
False
Let h(o) = 545*o**2 - 2*o + 3. Let c be h(1). Suppose c = 31*f - 28*f. Is 9 a factor of f?
False
Does 16 divide (81 - -16328) + 20/2?
False
Is (-1)/(15 - (-1611974)/(-107464)) a multiple of 76?
True
Let t(q) = 266*q - 8. Suppose 0 = -4*k + 4*g + 24, 3*k - 8*k = 2*g - 16. Is t(k) a multiple of 88?
True
Let d(a) = 502*a - 2113. Does 13 divide d(20)?
False
Let z = 42 + -40. Let p(o) = -3*o**3 + 5*o**3 + 10 + 2*o**z - 8*o - 3*o**2. Does 18 divide p(4)?
True
Let t(s) = -s**3 - 22*s**2 + 51*s + 77. Let u be t(-24). Suppose -u*r = -15, 1632 = 5*y - 15*r + 19*r. Does 18 divide y?
True
Let r be 3/(-4) - 54/24. Let j(n) = -3*n**2 + 1. Let t(q) = q**2 + q + 1. Let u(h) = r*j(h) - 6*t(h). Is 12 a factor of u(-3)?
True
Suppose -88*b = -194*b + 197902. Is b a multiple of 21?
False
Let j(d) = -11*d**2 + 133*d + 12. Does 4 divide j(11)?
True
Let g be (-2 + (-42)/(-18))*-9. Is (-1104)/32*2/g a multiple of 3?
False
Suppose 2*g - 7962 = -2*u, -3*g + u + u + 11948 = 0. Does 22 divide g?
True
Let u(j) = j**3 + 10*j**2 - j + 25. Let h be u(-14). Let a = 1062 + h. Does 17 divide a?
False
Let f = 474 - 470. Suppose 5*n + 1945 = f*j, -643 = -3*j - 4*n + 839. Is j a multiple of 38?
False
Suppose 0 = -n + 8*n + 28. Let d be n/14 - 540/70. Does 5 divide 2/((-25)/d - 3)?
False
Let w = -25 - -27. Suppose 2*b = w*v + 92 + 420, -3*v = 4*b - 1024. Is 16 a factor of b?
True
Let s = 3830 + -402. Is 9/45 - s/(-10) a multiple of 7?
True
Let x(f) = -f**3 + 10*f**2 - 14*f - 16. Let n be x(8). Suppose n = -7*a + 320 + 58. Is a a multiple of 18?
True
Is 12 a factor of 23006/2 + 64/32?
False
Suppose -48 = -4*m + 5*n - 557, -381 = 3*m - 4*n. Let x = m + 452. Does 6 divide x?
False
Let n(h) = h**3 - 12*h**2 + 13*h + 8. Let v(d) = -d**3 + 13*d**2 - 13*d - 9. Let g(z) = -3*n(z) - 2*v(z). Suppose -14*w = -31*w + 102. Is g(w) a multiple of 10?
True
Suppose 290*r = 297*r - 5488. Let w = r + -574. Is 17 a factor of w?
False
Let d = 1 + 2. Let x be d/(-108)*-28 - (-4)/18. Is 46/161 - (x + (-642)/7) a multiple of 16?
False
Let c = 14979 + -9438. Is 15 a factor of c?
False
Let n be (7 + (-1802)/(-6))*6/4. Suppose -2*j + 165 + n = m, 0 = 5*m + 5*j - 3120. Is 59 a factor of m?
False
Suppose -12 = 3*g, -m = -3*g - 662 - 2056. Does 2 divide m?
True
Let y(d) be the third derivative of -11*d**4/24 + 11*d**3/6 - 4*d**2 + 1. Is y(-23) a multiple of 11?
True
Let n be (-5 - -2)*(-1 + 0). Suppose -4*u - 2*i + 430 = 0, -n*i + 429 = 4*u - 0*u. Does 36 divide u?
True
Suppose 13*c - 6*c + 56 = 0. Let o be ((50/c)/5)/((-4)/16). Suppose -70 = -o*u - 5*j, 0 = 3*u + u - j - 81. Is u a multiple of 8?
False
Suppose v + 452 = -3*r, -15*v + 20*v + 5*r = -2260. Let l = -309 - v. Is l a multiple of 13?
True
Suppose 11088 - 157847 = -29*n + 31243. Is n a multiple of 78?
False
Let j(n) be the third derivative of -n**6/120 + 7*n**5/60 + 7*n**3/6 + 34*n**2. Is 3 a factor of j(4)?
False
Suppose -24*g + 5*g = 342. Is (g/12)/(1 + (-2901)/2892) a multiple of 7?
False
Let z = -6478 - -8084. Is 11 a factor of z?
True
Let a = 101 + -99. Suppose 3*j - 20 = -a*p, -3*j + 6*j - 5*p = 13. Does 3 divide (8 - (j + -3))*(8 + 2)?
False
Suppose 33*m - 3*m - 18*m = 57792. Is 73 a factor of m?
False
Suppose -11*z - 495 = -8*z. Let k be 112/(-10)*z/22. Suppose c = -2, -q = 3*q + 2*c - k. Is q a multiple of 4?
False
Let g(c) = 4*c**3 - 15*c**2 - c - 10. Let p be g(4). Suppose 7*w + 290 = 12*w - 4*x, 4*x = -p*w + 88. Is w a multiple of 18?
True
Suppose 25*s + 75163 = 236763. Is s a multiple of 43?
False
Let t(z) = -14 + z**2 + 16 + 32*z - 48 - 19. Is t(-39) a multiple of 8?
True
Let p = -15296 - -31820. Is 36 a factor of p?
True
Let a = 929 + -487. Is a even?
True
Suppose 4*c + 14 = -4*h + 86, c - 81 = -4*h. Does 4 divide 6/h + (1926/21 - 0)?
True
Suppose -29 = -3*f + 4*n, -2*f + 5*n = 3*n - 18. Suppose 5*q = g + 2542, q - f*g + 3*g - 497 = 0. Is q a multiple of 53?
False
Let x be (-970)/(-12) + (-1)/(-30)*5. Suppose 78*i + 30 = x*i. Is 11 a factor of 264/i*(-60)/(-18)?
True
Let w(c) = -6*c + 16. Let z be w(17). Let k = z + 69. Let n(d) = 2*d**2 + 17*d + 31. Is n(k) a multiple of 32?
True
Is 4 a factor of (8*-6)/((-1)/14)?
True
Suppose 42*o - 63 = 273. Let x(f) be the third derivative of f**6/120 - f**5/12 - 19*f**4/24 + 5*f**3/6 + 3*f**2. Does 15 divide x(o)?
True
Suppose -32*f + 656240 + 267689 + 416999 = 0. Is f a multiple of 18?
True
Let m(x) = 120*x - 88. Let c = -696 + 702. Is 19 a factor of m(c)?
False
Does 20 divide (17/51)/(-4 + (-960631)/(-240156))?
False
Let z = 11741 + 1419. Is 140 a factor of z?
True
Let f(v) = -v**3 + 14*v**2 - 44*v + 3. Let i be f(10). Let b = 128 + i. Is 13 a factor of b?
True
Let s(p) be the second derivative of 5*p**3/6 - 19*p**2/2 - 8*p. Let o be s(15). Suppose 0 = 3*c - z - 0*z - o, 2*z + 74 = 4*c. Does 17 divide c?
False
Let i(a) = -14*a + 15. Let f be i(-1). Suppose 0 = -2*j + 25 - f, -2*j = 3*s - 821. Is 8 a factor of s?
False
Let f be (-2)/(-8) - (-1041)/12. Let v = 121 - 117. Suppose -u + f = 2*m, -2*u + 71 = -v*m + 249. Is 4 a factor of m?
True
Suppose 3*t = -3*h + 888, -6*t + 1480 = -t - 3*h. Suppose -5*m + 776 - t = 0. Is 48 a factor of m?
True
Suppose 5*w = 3*b - b + 740, b - 5*w = -375. Let i = b - -526. Let m = i - -69. Is 23 a factor of m?
True
Let n be ((-12)/9)/((-4)/24). Suppose -t = -5*y + 52, -7*y + 8*y - n = t. Is y a multiple of 11?
True
Let n(m) = 76*m**3 + 16*m**2 - 87*m + 35. Is n(6) a multiple of 20?
False
Suppose 0 = 2*y - 3*c - 7060 - 2143, 4*c + 4604 = y. Is 50 a factor of y?
True
Let b = -22 - -27. Suppose y + b = 0, 3*l - 393 + 127 = 4*y. Does 5 divide l?
False
Is 7 a factor of -4 + (16 + (-6227)/52)/((-2)/200)?
False
Let z(g) = 10*g**2 + 115*g + 23. Let h be z(-12). Let x be (-46)/(-14) + (-4)/14. Suppose x*o - q = 136, -4*o = 2*q - h - 85. Is o a multiple of 31?
False
Suppose -3*a = 5*f - 99 - 252, f = -3*a + 363. Suppose 5*n = -20, 3*l - 3*n = l + 552. Let c = l - a. Does 32 divide c?
False
Suppose -4*c = 167 - 2659. Let s = -545 + c. Is 13 a factor of s?
True
Let z(a) be the first derivative of a**6/360 - 7*a**5/120 + 7*a**4/6 + a**3/3 - 18. Let p(v) be the third derivative of z(v). Does 17 divide p(7)?
False
Suppose -524*f + 523*f = -2315. Suppose -5973 = -14*l + f. Is l a multiple of 47?
False
Let w = 7870 - -5640. Is 35 a factor of w?
True
Let o be 3/(3/(-7))*(-48)/(-56). Let a(b) = -8*b + 52. Is a(o) a multiple of 7?
False
Let a(t) = 5*t**2 + 2*t + 29. Does 29 divide a(-12)?
True
Let u = -408 + 448. Suppose 6*g - 1580 = u. Is g a multiple of 18?
True
Let i = 375 - -66. Is 9 a factor of i?
True
Let v = 70 + -56. Suppose v*p + 2 = 13*p. Does 6 divide ((-1656)/(-15))/6 + p/5?
True
Let q(u) = -2*u**2 - 222*u - 24. Does 124 divide q(-61)?
True
Let r(p) = 2*p**3 + p**2 + 7*p - 4. Let w be r(-4). Suppose 3*l + 98 + 565 = 0. Let f = w - l. Does 25 divide f?
False
Let x = -543 + 4900. Is 102 a factor of x?
False
Suppose 7*r + 34 = 90. Suppose -3*l + 7*l = -r. Is 46 a factor of (3 - 2/l)/((-9)/(-594))?
False
Let d(q) = 6*q + 4. Let s be d(-5). Let x = s + 58. Suppose -x = -2*l + 206. Is l a multiple of 17?
True
Let b = -391 + 982. Suppose 3*r = -h + 579, 0*r - 3*r + b = 5*h. Is 12 a factor of r?
True
Suppose -3*n = n + 4, -5*c - 3*n = -807. Suppose 2*i - 7*i - c = -k, -516 = -3*k + 5*i. Does 9 divide k?
False
Let j(y) = -30*y**3 + 3*y**2 + 4*y + 1. Let w be j(-1). Suppose -2*q - 22 = -w. Suppose -q = -2*z, 0 = 2*g + 3*z - 47 - 19. Is g a multiple of 15?
True
Suppose 29423 = -17*v + 120101. Is v a multiple of 112?
False
Let c(k) = -k**2