4*w + 3*u + 2049 = 0. Let b = 912 + w. Is b a multiple of 36?
True
Suppose -3*z - 13110 = -9*z. Suppose 0 = 122*n - 127*n + z. Does 47 divide n?
False
Let a = 4030 - 2266. Does 6 divide a?
True
Let y(t) = t - 1. Let x(g) = -4*g**2 - 2*g - 6. Let i(l) = -x(l) + 6*y(l). Is i(-15) a multiple of 10?
True
Let l = 44 - 41. Suppose l*g - 17 + 2 = 0. Suppose -g*j = -133 + 23. Is j a multiple of 14?
False
Let b(u) = 2*u**2 + 17*u - 9. Let a be b(-9). Suppose -p + 156 + 134 = a. Does 59 divide p?
False
Let b(y) = 149*y - 1 + 115*y - 53*y. Let n be b(1). Suppose 0 = 5*d + 4*g - 584, 4*d - 251 = 3*g + n. Is d a multiple of 12?
False
Let x(g) = 0 + 3 - 30*g - 2*g + 2. Let o be x(5). Let t = -91 - o. Is 8 a factor of t?
True
Is 3 a factor of 14679/81 + 8 + 12/(-54)?
True
Suppose -n = -q + 3, 0 = -2*q - 3*n - 9. Is q/(-2 + 4) + 510/15 a multiple of 9?
False
Let k be -2*((-18)/4 + 3). Suppose -365 = -k*s - 1094. Let p = 357 + s. Is p a multiple of 19?
True
Let m be -2 + (-4)/(-3) + (-686)/(-21). Let n = -42 + m. Does 3 divide ((-5)/n*8)/(2/15)?
True
Let b = -2498 - -2615. Does 2 divide b?
False
Let n = -7382 - -9760. Is n a multiple of 58?
True
Let n = -23094 + 32649. Is 196 a factor of n?
False
Let s(n) = -n**3 + 21*n**2 - 2*n - 294. Let u be s(22). Let k(x) = -2*x**3 + 4*x**2 - 9*x + 10. Let g be k(7). Let y = g - u. Is 31 a factor of y?
True
Let r(k) be the third derivative of -k**6/120 - 2*k**5/5 - 11*k**4/8 + 14*k**3/3 + 158*k**2. Does 4 divide r(-23)?
False
Suppose -206 = -19*x + 79. Let f(m) = -m**2. Let l(i) = i**3 - 18*i**2 + 13*i + 12. Let r(b) = 2*f(b) - l(b). Does 13 divide r(x)?
False
Let j = -11 - 64. Let u be 2072/(-34) - 35/595. Let a = u - j. Is 2 a factor of a?
True
Let u(c) = 15*c**3 + c**2 - 18*c + 134. Does 71 divide u(11)?
True
Let j be (195/5 - 5)/(-1 + 0). Let k = -19 - j. Does 4 divide (90/(3 + -6))/(k/(-10))?
True
Let a be (-3)/12 - 90/(-40). Suppose -4*p + 1917 = 3*t, 293 = 4*p + a*t - 1625. Suppose -30*l = -24*l - p. Is l a multiple of 16?
True
Let z(m) = -61*m - 109. Let g(t) = -182*t - 330. Let f(c) = -3*g(c) + 8*z(c). Is f(4) a multiple of 50?
True
Let k be ((-132)/36)/(((-2)/342)/1). Let h = k + -277. Does 14 divide h?
True
Suppose -2*m - 4*r = 392, m - 2*m = -2*r + 192. Let v = 207 + m. Does 3 divide v?
False
Let i(c) = 4911*c + 1320. Is 10 a factor of i(2)?
False
Suppose 5*k = 35*s - 33*s + 103635, s = -2*k + 41454. Does 40 divide k?
False
Let r = -202 - -120. Let t = r + -20. Does 17 divide (0 + t/(-10))*10?
True
Let w be 2/10 + (6/(-5) - 0). Let v be 0 - (w - 3) - 15. Let p(j) = -14*j - 17. Is 25 a factor of p(v)?
False
Let y = 1 - -16. Suppose -20*m = -y*m. Suppose m = 7*f - 5*f - 240. Does 19 divide f?
False
Let i(k) = -34*k - 102. Let p be i(-16). Suppose f - p = 98. Does 12 divide f?
True
Suppose 3*j - 10*j = -24*j + 12495. Is j even?
False
Does 8 divide 816013/155 + (-9)/15?
True
Let w = 24840 + -3720. Does 15 divide w?
True
Let c = 444 - 411. Suppose -c*p = -2*p - 10230. Does 33 divide p?
True
Let w be 4882/14 - (-48)/168 - -4. Suppose -3*d + 15*x + w = 10*x, -d - 3*x = -141. Is d a multiple of 14?
True
Let z = 89 + -87. Suppose u - 2*w - 4 = 9, -z*u + 5*w = -31. Suppose -1049 = -5*x - 4*y, -u*x + 5*y + 622 = -0*y. Does 19 divide x?
True
Suppose -2*c - 2*q = -1152, -2*c + 78*q + 1148 = 81*q. Is 3 a factor of c?
False
Let k(s) = s**3 - 17*s**2 + 9*s - 18. Let a be k(17). Suppose 5*c - z = 3*c + 270, c - a = -z. Let n = 189 - c. Is n a multiple of 9?
True
Suppose -1570 - 1148 = 9*u. Let d = 736 + u. Does 62 divide d?
True
Let z(b) = -47*b + 285. Let o be z(6). Suppose 8*h - 2461 = -o*m + 10*h, 0 = h + 2. Is m a multiple of 21?
True
Let c(u) = -u**2 - u + 14. Let v be c(-7). Let t = -24 - v. Suppose 147 = -t*z + 1003. Is 55 a factor of z?
False
Suppose -3*n + 383 + 55 = 0. Suppose -23*a + 168 = -20*a. Suppose 58*h - a*h = n. Does 25 divide h?
False
Let u(n) = 136*n + 76. Is u(5) a multiple of 6?
True
Suppose -5*m = -4*j - 23436 - 5376, -4*m - 3*j = -23031. Is 90 a factor of m?
True
Let s = 148 + -146. Suppose -9*x + s*x + 1407 = 0. Does 24 divide x?
False
Suppose 0 = -3*t - r + 1865, -2*t - 19*r + 1225 = -22*r. Suppose 5*i + 13 = 3, 0 = 4*k - 2*i - t. Does 11 divide k?
True
Let q(l) = -13*l + 836. Is q(7) a multiple of 3?
False
Suppose -9*t + 0*t = 1863. Let k = t - -523. Is k a multiple of 18?
False
Suppose 3*c - 11 - 12 = s, c + 3 = -5*s. Suppose -t = 3*m - c, -7 - 1 = -4*m - 2*t. Suppose 153 + 36 = m*f. Is 9 a factor of f?
True
Let t(n) = -13*n**2 + 43 + 55 + 3*n + 11*n + 12*n**2 - 19. Is 8 a factor of t(15)?
True
Suppose -2*t - 2*n + 8 = 0, -5*t + 2*n - n = -14. Suppose -5*c + 2435 = 5*u, 2*c + u = -t*c + 2427. Is 97 a factor of c?
True
Let l(n) be the second derivative of n**6/240 + 23*n**5/30 - 47*n**4/12 + n. Let a(j) be the third derivative of l(j). Is 31 a factor of a(21)?
True
Is (36/(-63))/((-15)/(-21)) + (-63704)/(-5) a multiple of 130?
True
Let y = 388 - 385. Is (3/y*47)/((-9)/(-45)) a multiple of 14?
False
Let h = 124 + -117. Suppose 3*g = -h*g + 560. Does 10 divide g?
False
Let m be 3/12 + (2 - 1002/(-24)). Suppose -4874 = -m*t + 4102. Does 34 divide t?
True
Suppose 0 = 4*i + 8682 - 23594. Is 16 a factor of i?
True
Let v(g) be the first derivative of g**4/4 + 2*g**2 - 12*g - 94. Does 28 divide v(7)?
False
Let k = 14392 + -1487. Does 13 divide k?
False
Suppose 3*a + 17 = 23. Suppose 5*m = 7*m + 8, a*b = -5*m + 154. Is 46 a factor of 8555/b + (4/6)/(-2)?
False
Suppose -67*g - 32893 = -104*g. Is g a multiple of 6?
False
Does 30 divide (-453 - -2)/((-84)/924)?
False
Let h(c) = 82*c - 1154. Is 10 a factor of h(62)?
True
Suppose v = -4*v - 1925. Let l = v + -6. Let j = l + 583. Does 24 divide j?
True
Is 1467 - (-2 + -15 + 21) a multiple of 5?
False
Let q(r) = r**3 - 19*r**2 + 3*r + 22. Let d be q(19). Suppose -1409 + d = -10*l. Let x = l + -69. Is 10 a factor of x?
False
Let u(v) = -93*v - 2. Let a be u(-2). Suppose 96*m + 12 = 98*m. Suppose -2*q = -m*q + a. Is q a multiple of 7?
False
Is -7 - (2922/(-4))/((-69)/(-46)) a multiple of 5?
True
Let l be ((-20)/25)/(4/50). Is 10 a factor of 10548/30 + 8 - 4/l?
True
Suppose 5*x + 3*z = 1555 - 644, x - 3*z - 175 = 0. Does 60 divide x?
False
Let a = 606 + -247. Let s = a + -118. Is s a multiple of 26?
False
Let q(n) be the third derivative of -n**5/60 + n**4/24 + 5*n**3/6 + 10*n**2. Let b be q(7). Let r = b - -44. Is r a multiple of 7?
True
Let q(r) be the second derivative of r**4/12 + 7*r**3/6 - r**2 - 32*r. Let u(l) = l**2 + 15*l - 5. Let j(x) = 7*q(x) - 4*u(x). Is 13 a factor of j(5)?
True
Let f be -2*((-55)/10 + 2). Let h(u) = 75*u - 505. Does 5 divide h(f)?
True
Let o be 29/116 + 2974/8. Suppose 0 = 2*x + 3*s - 251, 3*x + 30*s = 27*s + o. Does 11 divide x?
True
Let l(q) = q**2 + 2*q - 23. Let m be l(5). Suppose m*v - 1360 = 4*v. Is 13 a factor of v?
False
Suppose 58860 = 44*b - 31164. Is 22 a factor of b?
True
Is 15 + 7*204/14 a multiple of 9?
True
Let s = 477 + 361. Let l = -283 + s. Is 37 a factor of l?
True
Let b(i) be the second derivative of 33*i**3/2 + 13*i**2 + 3*i + 15. Is b(5) a multiple of 5?
False
Let m = -402 - -420. Suppose m*b - 36 = 3474. Is 75 a factor of b?
False
Let k = -61 - -64. Let o(v) = -6 + k*v**3 - 4*v**3 + 5*v - 11*v - 8*v**2. Does 16 divide o(-8)?
False
Let z = 365 - 220. Suppose 3*v - z = -61. Is 3 a factor of v?
False
Let y(h) = h**3 - 8*h**2 + 9*h - 14. Let k be y(7). Suppose 2*r = -j + 41 - 10, -r - 5*j + 29 = k. Suppose r*z = 20*z - 360. Is 16 a factor of z?
False
Suppose -4*h = -3*b - 0*b + 1477, -b = 2*h + 731. Let f = -124 - h. Does 27 divide f?
True
Let v = -22719 - -29336. Is 55 a factor of v?
False
Suppose 4*w = 8*w - 4*u + 8, -2*w + 3*u = 9. Suppose m + 3 = w. Suppose -78 + 17 = -5*a + 4*i, m = -4*a + i + 40. Is a a multiple of 4?
False
Suppose -2 = -f, 0 = 4*o + 3*f - 8*f - 27586. Does 44 divide o?
False
Let x(o) = o**3 + 12*o**2 + 3*o + 17. Suppose 3*t - 281 = -116. Suppose 7*f - 2*f = -t. Is 15 a factor of x(f)?
True
Is 16 a factor of (18 + -19)*166/(-1 + -1)*23?
False
Let s be ((-11)/4 + -1)*4. Let l = -8676 + 8666. Is 242/4 - (s/l + -1) a multiple of 20?
True
Let w(l) be the third derivative of 3*l**5/20 + l**4/24 + l**3/6 - 11*l**2. Let n be w(1). Let q = n + 21. Is q a multiple of 28?
False
Is 85/((((-51)/(-18))/(