t a(y) = -8*y + 16. Let i be a(-23). Is 72 a factor of (-7680)/i*30/(-1)?
True
Let b = -84 + 93. Suppose -2*h = h - b. Suppose 80 = m - t, 2*m = -h*m + t + 380. Is 22 a factor of m?
False
Let m = 462 + -300. Let h = m - 146. Is h a multiple of 6?
False
Let k = -153 - -147. Let t(n) = -n**2 - 13*n - 12. Is 2 a factor of t(k)?
True
Let i be -4*(-7)/8*-4. Let z = 17 + i. Is 20 a factor of z/(-4)*-4 - -77?
True
Let h(x) = 21*x**2 - x + 2. Let c = -32 + 34. Let o be h(c). Suppose o = 3*q - 120. Does 15 divide q?
False
Suppose -l = 3*l - 7*l. Suppose l = -5*f + 59 + 461. Does 40 divide f?
False
Suppose -351 = -8*k - 279. Suppose k*w - 1864 = -280. Does 16 divide w?
True
Does 72 divide (3/(-3) - -2)/(10*8/201600)?
True
Let i be (-2)/(4 + (-9)/2). Suppose 4*t + 351 = i*d + t, -4*d + 354 = -2*t. Let c = d - 66. Is c a multiple of 12?
True
Let a = 1496 - 1066. Let v = a + -308. Does 44 divide v?
False
Suppose 3*l + 511 = 2*n + 1307, 1320 = 5*l - 2*n. Let v = -380 + l. Let q = -110 - v. Is q even?
True
Let w = 58 - 46. Suppose 2 = -5*l + w. Suppose -5*o + l*o - 3 = 0, -5*o + 5 = t. Is 2 a factor of t?
True
Suppose 3*x + 165 = 14*x. Suppose -5*g + 125 = -5*h, 19*g - 115 = x*g + h. Does 30 divide g?
True
Suppose 2*s - 3799 = -g + 4894, -5*g + 43438 = s. Does 63 divide g?
False
Let s(m) = m**2 - 9*m + 22. Let y be s(5). Suppose 5*g - 14 = 56. Suppose y*h - 2*a = -0*h + g, -h = -4*a + 8. Is 6 a factor of h?
True
Let j(a) = 6273*a**3 - 2*a**2 + 156*a - 155. Is 32 a factor of j(1)?
True
Let a = 6364 + -3720. Does 173 divide a?
False
Let x(d) = -1547*d - 181. Is 36 a factor of x(-2)?
False
Is 389430/18 + (-28)/(-7) a multiple of 14?
False
Suppose 0*b - 90 = -5*b. Let w(p) = -20*p - 21*p - b + p**2 + 40*p. Is w(8) a multiple of 21?
False
Let s be (-3*1)/(10 + -11). Suppose -2*w = -s*f + 9 - 3, 0 = -5*f + 5*w + 15. Suppose 2*o - 123 = -v, f = v - 2*v + 2*o + 103. Is v a multiple of 26?
False
Let d(h) = -24*h - 716. Let p be d(-30). Let g be (-4 - (-2 - 0)) + 5. Does 9 divide g + 1*(p + 65)?
True
Suppose -28*l + 267240 = 12*l. Is l a multiple of 57?
False
Suppose 5*i - 13152 = -x - 2095, -x + 11030 = -4*i. Is x a multiple of 50?
False
Suppose -21*n + 27*n = 762. Does 6 divide n + 6/((-3)/3)?
False
Let j be (-42 + (-6)/3)*30/(-4). Let x = j - -397. Suppose 4*q - 5*y = 608, 0 = 7*q - 2*q + 2*y - x. Does 25 divide q?
False
Let j(x) = 2*x**2 + 30*x - 29. Let f be -6 - (-2 - -6)*4. Does 13 divide j(f)?
False
Does 52 divide (48 - 52)*(-122)/8?
False
Suppose 0 = -x + 5*x - 4, -5*x = -3*m + 499. Suppose 7*s + m = 12*s - 3*o, 3*o - 129 = -4*s. Does 11 divide s?
True
Let y be (-3055)/15 - 20/(-30). Let k = y - -247. Is 2 a factor of k?
True
Let i = -1599 - 2647. Does 14 divide (i/(-66))/((-1)/(-9))?
False
Let q(n) = 918*n**3 + 7*n**2 - 1 - 6*n - n + 1107*n**3 - 227*n**3 - 137*n**3. Is q(1) a multiple of 83?
True
Let s(d) = -893*d + 1284. Does 54 divide s(-6)?
True
Suppose -4*w - p = -909, 20*p + 1134 = 5*w + 22*p. Is 3 a factor of w?
True
Let q = 80 - 97. Let v be (-5)/(-1) + q + 14. Suppose -145 = -v*s + 109. Is s a multiple of 31?
False
Suppose -55*g = -58*g. Suppose -5*k - 3558 = -12058. Suppose g = -116*j + 111*j + k. Does 14 divide j?
False
Suppose 540 = -9*q + 3*q. Let u = q - -93. Suppose -4 = u*m - 1, 41 = 5*k - m. Does 3 divide k?
False
Let y = -210 - -135. Is 45 a factor of (-140)/65 + 4/26 - y?
False
Let y = -578 - -696. Suppose 0 = -c + 370 - y. Does 13 divide c?
False
Let r(g) = 9*g**3 - 27*g**2 + 40*g - 108. Is 76 a factor of r(11)?
True
Let x = -194 + 1195. Let t = x - 659. Is 19 a factor of t?
True
Let r = -72180 - -131907. Does 14 divide r?
False
Suppose -288 - 8784 = -24*q. Does 26 divide q?
False
Let s(b) = -19*b - 4. Let r be s(-1). Let v = 19 - r. Suppose 5*f + 0*f - 75 = -3*j, v*f = 2*j - 28. Is 11 a factor of j?
False
Suppose 2*q - 116 = 4. Let y = q + -57. Let m = y - -20. Does 5 divide m?
False
Let q(m) be the third derivative of m**5/15 + 17*m**4/24 + 26*m**3/3 - 60*m**2. Is 7 a factor of q(-8)?
False
Suppose -6*y + 3702 = -834. Let l = 2082 - y. Does 39 divide l?
True
Let z(h) = -8*h**2 + 755*h - 72. Does 26 divide z(54)?
False
Let l(r) = 11*r - 73. Let m be l(7). Suppose -5*v = -0*n + 4*n - 1250, m*v = -2*n + 994. Is v a multiple of 12?
False
Let q be (0 + 1)/(48/42672). Suppose q + 466 = 5*g. Does 59 divide g?
False
Let b = 207 + -202. Suppose 3*r - b*r = -14. Is 3 a factor of r?
False
Let o(b) = -b**3 + 39*b**2 - 227*b + 33. Is 39 a factor of o(15)?
True
Suppose -p + 14418 = 4*a - 39543, -a - 4*p = -13509. Does 41 divide a?
True
Let y(v) be the third derivative of v**5/60 + 7*v**4/12 - 25*v**3/6 + 2*v**2. Let g = -1917 + 1900. Does 3 divide y(g)?
False
Let s(x) be the third derivative of x**5/30 + x**4/24 - 29*x**3/6 + 68*x**2. Is s(6) a multiple of 6?
False
Let f(q) = 4*q - 6. Let j be f(-15). Let g be (j/15)/(10/(-25)). Suppose -3*l + g*l = 88. Is 6 a factor of l?
False
Suppose -q + 529 = 22*f - 19*f, -5*q - 1293 = -7*f. Is 5 a factor of f?
False
Let u be (1 + -1)/(-2) + 182. Suppose -38*d - 687 = -2701. Let i = u - d. Is i a multiple of 15?
False
Suppose 0 = 3*v + 3*c - 36831, 64*v + 2*c - 49112 = 60*v. Does 7 divide v?
False
Suppose -7 = 2*i + 17. Let k be 18/i*(-212)/6. Let f = k + -24. Is 6 a factor of f?
False
Suppose -6*v + 24325 = 19*v. Suppose 12*b - 6373 = -v. Is b a multiple of 50?
True
Let z(s) = s**3 - 18*s**2 + s + 44. Let u(i) = 18*i. Let x be u(1). Let c be z(x). Does 15 divide -1 + 506/6 - c/(-93)?
False
Let b(q) = 9*q**2 + 12*q + 4. Let u be b(8). Is 29 a factor of 5/(u/(-136) - -5)?
False
Suppose -257 = -5*h - 2*f, -h = -4*h + 5*f + 179. Suppose -2401 = -6*i + h. Does 30 divide i?
False
Let p(k) = -k**3 - 15*k**2 - 36*k + 12. Does 14 divide p(-14)?
False
Let i(n) = -120*n**2 - 61*n - 2. Let s(m) = 40*m**2 + 20*m + 1. Let g(q) = -6*i(q) - 17*s(q). Is g(3) a multiple of 19?
False
Suppose k = -5, -u + 0*u = 4*k + 37. Let c(w) = -w**3 - 16*w**2 + 25*w + 40. Let f be c(u). Let y = f + 173. Is 11 a factor of y?
True
Let r(n) = -15*n**3 + 36*n**2 + 5*n + 67. Let v(c) = -7*c**3 + 17*c**2 + 2*c + 33. Let f(o) = 6*r(o) - 13*v(o). Does 18 divide f(9)?
False
Let x be (-1)/((-4)/12 + 0). Let i be x/9 + (-1)/3. Suppose i = -6*f + 61 + 305. Does 10 divide f?
False
Let g = 8126 + -6116. Does 5 divide g?
True
Let m = 70 + -70. Suppose -5*v = 3*c - 255, m = 3*c - v - v - 276. Is c a multiple of 10?
True
Let r(i) = 70*i**2 - 1492*i - 24. Does 42 divide r(25)?
True
Let q(f) = f**3 - f**2 - 13*f + 23. Let y be q(7). Suppose 15*l + y = -719. Let h = l - -89. Is 8 a factor of h?
False
Let n be 7441/(-5) + 3*(-8)/(-120). Let r be 0 - (n/15 - 2/(-10)). Suppose x - 255 = -r. Is x a multiple of 13?
True
Let m = -265 + 2075. Is m a multiple of 10?
True
Suppose -2*y - 23 = -5*v, -4*y + y = 5*v - 28. Let u be 2*y/(-3) + 312/(-234). Does 12 divide (1/u)/((-2)/764)?
False
Let o(b) be the third derivative of -1/30*b**5 - 7/120*b**6 - 12*b**2 + 0*b + 0 + 1/6*b**4 + 2/3*b**3. Does 12 divide o(-2)?
False
Suppose -3*s + 122 = -2*r, -4*s = -9*s - 3*r + 216. Let x = 53 - s. Is x even?
False
Let v be 12*36/(-5 - -11). Suppose 726 = -69*m + v*m. Does 22 divide m?
True
Let p(a) = 17*a - 5. Let y(r) = 2*r**2 + 20*r**3 - 4 + 0*r**2 - 21*r**3 + 5*r. Let z be y(3). Is 10 a factor of p(z)?
False
Suppose 0 = 5*b, -5*b = -4*t - 4*b. Suppose t*c = -c + d - 86, c = -d - 80. Let x = c - -111. Does 7 divide x?
True
Suppose -r = -6*r - 20. Let w be r/20 - (-4322)/10. Suppose w = 27*p - 11*p. Is 8 a factor of p?
False
Let z(g) = -53*g + 596. Does 7 divide z(-5)?
True
Suppose 45 = 68*j - 59*j. Let f(n) = 2*n**3 - 3*n**2 + 19*n + 3. Is 21 a factor of f(j)?
True
Let l(r) = 13*r**2 + 43*r - 69. Let t(k) = -3*k**2 - 2*k. Let c(j) = l(j) + 4*t(j). Is 15 a factor of c(-42)?
True
Let z(j) = 629*j**2 - 12*j - 12. Suppose -5*a - 9 = -2*d, 4*a - 3*d - 19 = -29. Does 17 divide z(a)?
True
Suppose 5*q - 20 = 3*s, 4*s + 1 = 2*q - 7. Let l be 4 + 4 + (-32)/q. Suppose 4*c + 5*t - 200 - 125 = 0, l = -c - 5*t + 85. Does 11 divide c?
False
Suppose 8*c = 6*c + 48. Suppose 0 = 5*z + 5*q - 5, 0*q = -3*z + 4*q + c. Suppose 0 = k - z*i - 33, -2*k - 5*i + 69 = 2*k. Does 7 divide k?
True
Suppose l - 3*t - 7425 = 0, 0 = 4*l - 5*t - 33219 + 3519. Is l a multiple of 135?
True
Let u be (-3)/6*(-4584)/(-4