 -h + 8, 4*m + 2*h - 24 = 0. Let a be (-14)/35 + (-8)/m. Let n(j) = -4*j**3 - 2*j**2 - 3*j. Is 10 a factor of n(a)?
True
Let s(g) be the second derivative of -g**4/12 - g**2/2 + g. Let d be s(-1). Is 13 a factor of (8 - d/1)*4?
False
Suppose 2 = 5*l - 8. Let x(b) = 15*b - 848. Let v be x(57). Suppose 3*c - a + 178 = v*c, 4*c + l*a - 176 = 0. Does 9 divide c?
True
Suppose d = -2*d - 3*s + 12, -5*d + 13 = -2*s. Suppose 2*x + 5 = 3*g, -d*x + 4*x = 4*g - 10. Suppose x + 54 = 2*i. Is 7 a factor of i?
True
Suppose 2*x + 5*y = 345, -4*y - 694 = -5*x + 152. Is x a multiple of 9?
False
Let r(a) = -a + 131. Let f(n) = n**2 - 6*n - 6. Let u be f(7). Suppose -5*h - 2*m + 6 = 0, 0 = -h - 5*m + 16 - u. Is 33 a factor of r(h)?
False
Let r(w) = -w**3 - 4*w**2 + 5*w + 3. Let g be r(-5). Let s(d) = 7*d**2 + d + 49. Let h(t) = 4*t**2 + t + 24. Let z(y) = g*s(y) - 5*h(y). Does 27 divide z(0)?
True
Let c(n) = 2*n**3 + n + 5. Suppose 2*d - 5 = 1. Is 31 a factor of c(d)?
True
Let o be (4 + -3 - 67/(-3))*6. Let n = 241 - o. Does 10 divide n?
False
Suppose 252 = -26*g + 20*g. Let j = g + 184. Is 18 a factor of j?
False
Suppose 3465 = 14*o - 3857. Is o a multiple of 26?
False
Is 138*4 - 0 - (-13 + 13) a multiple of 9?
False
Let g be 3/(-1) - -3 - -4. Let b be (-5)/(-1) - 12/g. Is 1*-1 + (b - -7) a multiple of 4?
True
Let b(g) = 11*g**2 - 2*g + 42. Is b(-6) a multiple of 5?
True
Is 25 a factor of 4 - -562 - (-3 + (-18)/(-3))?
False
Let k = 334 - 170. Is k a multiple of 5?
False
Suppose -f - 10 = 2*t, 2*f = -0*t - 5*t - 23. Let c be (f + 1)*(-48)/8. Is 9 a factor of 326/9 + (-4)/c?
True
Let v = 12 + -91. Let s = -35 - v. Is 7 a factor of s?
False
Suppose -36 = -12*q + 9*q. Let a = q + -12. Suppose s + 0*s - 9 = a. Is s a multiple of 3?
True
Does 31 divide 62/(0 - (-2)/9) - -1?
False
Suppose 144 = 8*r + 24. Let o = -15 - -9. Is 5 a factor of r*4*(-1)/o?
True
Let w(t) = 2*t**2 + 3*t - 1. Let m be w(1). Suppose m*z - 11 = 905. Is z a multiple of 33?
False
Suppose -3*q + 47 = -34. Let p = q + -18. Does 4 divide p?
False
Does 6 divide 3/21 + 8359/91?
False
Let s(f) = -250*f - 180. Is 15 a factor of s(-10)?
False
Let u be (-46)/(-14) + (-12)/42. Suppose 40 = u*l + l. Is 10 a factor of l?
True
Suppose 4*q - 5*y = -41, 0 = 5*q + 3*y - 0*y + 42. Let h = 107 + q. Is h a multiple of 14?
True
Suppose v - 2*v = -18. Let t = 9 - v. Is 9 a factor of t/(-45) + (-179)/(-5)?
True
Let n be (-36)/(-16) - (-2)/(-8). Suppose 4*g = -n*c - 26, -6*c + 9 = -3*c. Let v(j) = j**2 + 7*j + 6. Does 14 divide v(g)?
True
Let f be ((-8)/12)/(8/(-60)). Suppose -4*n + 80 = -f*s - 297, 0 = -n - 2*s + 104. Is n a multiple of 15?
False
Let w = 3 - 198. Is (-20 + 2)*w/30 a multiple of 54?
False
Suppose -102*b + 69426 = -73*b. Is 19 a factor of b?
True
Suppose -50 = -9*x - 14. Is 21 a factor of x/(-38) + (-15567)/(-57)?
True
Let j = 187 + -85. Does 17 divide j?
True
Let n(w) = 176*w**2 + 7*w - 10. Does 45 divide n(-3)?
False
Let x be 4 + 85/(-20) - 26/(-8). Suppose 0 = x*z, -6*n = -2*n + 3*z - 384. Is n a multiple of 8?
True
Let b be (-120)/(-48)*104/10. Suppose -74 = -b*i + 25*i. Let l = i - 36. Does 9 divide l?
False
Suppose -3*d + 6 + 12 = 0. Suppose -4*w + 4*n + 4 = -5*w, d = -w - 5*n. Let j(o) = 4*o**2 - 3*o + 8. Does 17 divide j(w)?
False
Let g = 685 - 397. Suppose 0 = -0*b - 4*b + g. Does 31 divide b?
False
Let y be 6*(-2)/(-4)*1. Suppose 378 = y*n + 42. Is n a multiple of 16?
True
Let b = 183 - -253. Is 4 a factor of b?
True
Let k be 8/52 + (-1922)/(-13). Is 40 a factor of -1*2 - (40 - k)?
False
Suppose 0 = 9*q - 3*q - 858. Is q/7 + 12/21 a multiple of 10?
False
Suppose -116 - 104 = -4*d. Is d a multiple of 11?
True
Does 14 divide ((-2)/3*-20)/((-104)/(-6084))?
False
Let z be (18 - 18) + (-3 - 0). Let w = z - -41. Does 10 divide w?
False
Let b(o) = o**3 + 2*o**2 - 7*o - 6. Let x be b(-4). Let g = 26 - x. Is g a multiple of 6?
True
Is -97*9/(-9) - 0/(-1) a multiple of 13?
False
Suppose -19*s + 21*s - 456 = 0. Suppose -6*r - s = -10*r. Is 16 a factor of r?
False
Is 5 a factor of (-60)/8*(-480)/18?
True
Let v be 2 + -2*(-2)/(-4). Let o be (-10 + 140/16)/(2/(-16)). Is v*o/15*27 a multiple of 6?
True
Does 19 divide 0 - 1*(1 + -28)?
False
Let x be (-2)/(-10) - 55/25. Let z(h) = 50*h + 1. Let g(d) = 25*d. Let j(t) = -5*g(t) + 2*z(t). Is 26 a factor of j(x)?
True
Let m(p) = -p - 1. Let j(x) = 39*x + 3. Let l(c) = j(c) + 6*m(c). Is l(3) a multiple of 13?
False
Let x = -630 + 891. Does 9 divide x?
True
Is 742900/1200 - 2/24 a multiple of 11?
False
Let q = 23 + 3. Does 7 divide q?
False
Let d(v) = v**2 + 2*v - 3. Let y be d(1). Suppose -2*t = -3*l, -2*t - 2*l = l - 24. Suppose y*p + p = t. Is 3 a factor of p?
True
Let v = -1507 + 1591. Is v a multiple of 21?
True
Let t(x) = -3*x - 29. Let p be t(-11). Let q = 115 - 82. Suppose 9 = -p*r + q. Does 5 divide r?
False
Let w(q) = 2*q**3 + 26*q**2 - 53*q + 1. Is 5 a factor of w(-13)?
True
Does 45 divide (-25368)/(-12) + 11/(11/(-6))?
False
Let b(l) = l**3 - 4*l**2 - 13*l + 8. Let c be b(6). Suppose 0 = c*j + 4*u - 76, 2*j = -j - 3*u + 105. Is 6 a factor of j?
False
Let k(q) = 27*q + 30. Suppose -3*d + 0*d + 11 = 2*r, 0 = r + 5*d - 2. Is k(r) a multiple of 14?
False
Let i(n) = n**3 + 22*n**2 - 25*n + 54. Let z = -15 - 8. Does 25 divide i(z)?
True
Suppose -4*t + 4 = -224. Suppose -4*q + t = 13. Is q a multiple of 3?
False
Let v(r) = r + 5. Let u be v(2). Suppose -5*q + 140 = -5*h, 180 = 5*q - 2*h + u*h. Does 23 divide q?
False
Suppose 4*d = d + 48. Let m be 1/(52/d + -3). Suppose 4*l = 2*t - 48, -m*l - 93 = -4*t + l. Does 17 divide t?
False
Let w(n) be the second derivative of -n**4/12 + n**3 - 2*n**2 + 2*n. Let l be w(8). Let a = 0 - l. Is a a multiple of 17?
False
Let r = -2659 + 3181. Is 16 a factor of r?
False
Suppose -13*m = -8*m - 50. Let z = m - -1. Is z a multiple of 11?
True
Let g(l) be the third derivative of l**4/24 + 11*l**3/6 - 7*l**2. Does 4 divide g(-7)?
True
Suppose 5*i - 18 = -3. Suppose -2*p - 2 = -o - o, 5*p = -i*o + 19. Suppose p*g - 96 = -g. Is g a multiple of 16?
True
Let u be 0 + -2 + (-98)/(-7). Let i(d) = u + 16*d + 11 - 1 - 11. Is i(5) a multiple of 26?
False
Let p(y) = -7 - 4 + 5 + 4*y + 2*y**2 - y**2. Let u be p(-9). Is u*1 - (-2 - -6) a multiple of 10?
False
Let u(a) = 10*a**2 + 7*a - 27. Does 6 divide u(5)?
True
Let g be 3 - (-17 - (0 + -1)). Suppose g - 183 = 4*c. Let l = c + 80. Does 13 divide l?
True
Let y = -159 - -53. Let p = y - -136. Is 15 a factor of p?
True
Let k(z) = -30*z - 113. Is k(-12) a multiple of 19?
True
Let f = 6 + -22. Let p = 24 + f. Is p even?
True
Let v = -1987 + 2827. Does 21 divide v?
True
Let h = 60 - 12. Let d = -20 + h. Does 3 divide d?
False
Let l(m) = -7*m**2 - 2*m - 2 + 3*m + m**3 + 6*m**2. Let x be l(0). Is 21 a factor of 21/(20/8 + x)?
True
Let s(q) = 11*q**3 - 2*q**2 + 1. Let d(c) = c**3 + 11*c**2 - 12*c - 5. Let v be d(-12). Let g = -4 - v. Does 5 divide s(g)?
True
Suppose -l + 4*u + 1 + 22 = 0, 4*l - 5*u - 136 = 0. Let f = l + -11. Is 7 a factor of f?
True
Let k(w) = 3*w - 19. Suppose -3*u = -r + 35, -6*r + 2*r = -2*u - 40. Let i = u + 25. Is k(i) a multiple of 13?
True
Does 17 divide ((-54)/(-45))/((-9)/(-330))?
False
Let c = 541 - 55. Is 6 a factor of c?
True
Suppose -21*p + 30*p - 459 = 0. Is 8 a factor of p?
False
Suppose 431 - 15 = 2*k. Is k a multiple of 26?
True
Suppose -13*d = -8*d - 4*z - 8490, 3*d - 5*z - 5081 = 0. Does 74 divide d?
True
Let v(l) = 3*l**2 - 41*l + 42. Does 22 divide v(16)?
True
Is 74 a factor of (1/(-3))/((-9)/25974)?
True
Suppose -u - 2*d + 24 = 0, -2 = 2*u - d - 25. Let g = 25 - u. Let n = g + -7. Is 2 a factor of n?
True
Suppose -148 = -26*r + 5676. Does 14 divide r?
True
Let v(s) = -3*s - 42. Let j = -57 + 35. Is v(j) a multiple of 2?
True
Suppose -3*d + 0*d = -t - 333, 5*d = 4*t + 548. Does 8 divide d?
True
Let v be (0 + (-36)/(-30))*5/(-2). Is 13 a factor of 591/9 + 2/v?
True
Let u be 9/((-390)/(-4182) + (-6)/51). Let y = -243 - u. Does 9 divide y?
True
Let k(w) = w + 2. Let d be k(-4). Does 13 divide (-2)/(-4 - d)*13?
True
Is ((-325)/15)/5*-54 a multiple of 18?
True
Suppose 7*l = -4*c + 2*l + 123, -15 = -5*l. Does 8 divide c?
False
Suppose -8 - 2 = -5*u. Let q = u - 2. Suppose 3*i - 60 = -2*i - 5*n, q = 2*i - 2*n - 36. Is 11 a factor of i?
False
Let z(x) = -15*x + 1. Le