Let x(k) = 56*k + 55. Let a(g) = t*l(g) + 3*x(g). Does 26 divide a(3)?
False
Let h(z) = 61*z**2 - 166*z + 1776. Is 34 a factor of h(12)?
True
Let n(k) = 188*k**3 + 4*k**2 + 4. Let v(s) = s**3 + s**2 - s + 1. Let t(d) = -n(d) + 3*v(d). Let c be (-4 - -9) + -9*(-12)/(-18). Is 12 a factor of t(c)?
False
Let c(n) = 6*n**2 - 6*n - 46. Let z(s) = -5*s**2 + 5*s + 46. Let b(q) = -4*c(q) - 5*z(q). Is 43 a factor of b(12)?
True
Suppose -4*a + 5*b - 421 = -1342, -b + 3 = 0. Does 13 divide a?
True
Let z = 926 - 536. Suppose 6*s - 3 = 21. Suppose s*p - 490 = z. Is 55 a factor of p?
True
Suppose h = 2592*y - 2595*y + 12918, 4*h = y + 51646. Is 16 a factor of h?
True
Let m(k) = 196*k**2 - 20*k - 28. Is m(-9) a multiple of 35?
False
Suppose -4*j + 252 = x - 9*j, -808 = -3*x + 2*j. Let w = x + 213. Does 38 divide w?
False
Let b(o) = -4*o - 8. Let t be (-1 - (-52)/8)*2*-1. Let z be b(t). Let u = 58 - z. Is u a multiple of 7?
False
Suppose -4*j - 292 = -4*u, 5*j = -5*u - 32 + 387. Is 2 a factor of u?
True
Let v be (-5)/((-20)/8) + 3. Suppose 5*h = 4*z + 41, -v*z + 5*h - 31 - 24 = 0. Let q(c) = -c**3 - 14*c**2 - 8*c - 13. Is q(z) a multiple of 11?
True
Suppose -3*y - q = -7, 7*y - 6*y + q + 1 = 0. Suppose 0*o - y*z - 166 = -2*o, 0 = o - z - 79. Is 3 a factor of o?
True
Let t be (168/(-63))/(4/(-354)). Let w be 6/(t/78 - 3). Suppose -4*l = 10 - w. Does 7 divide l?
True
Let f(k) = 4*k + 11 + 5 + k - 1. Let v be f(-3). Suppose -11*b + 177 + 65 = v. Does 11 divide b?
True
Suppose -n - z = -123, -129 = -2*n + 5*z + 110. Suppose 47*q - 49*q = -1124. Suppose -t - 4*o + n = -0*t, 4*o + q = 5*t. Does 38 divide t?
True
Suppose 2*d + 34624 = 2*q + 5198, -5*q = 5*d - 73505. Is q a multiple of 77?
True
Let q be (-2 + 8 - 7) + -6. Is q/5*(11 + -66) a multiple of 11?
True
Let z = 342 - -24852. Is 78 a factor of z?
True
Suppose -2*l + 0*g = -4*g - 7534, 15080 = 4*l - 5*g. Is 25 a factor of l?
True
Suppose 0 = 11*j - 10*j + 20. Let m(y) = -y - 17. Does 3 divide m(j)?
True
Suppose -60 = -12*w + 120. Suppose 2*v = 17*p - w*p + 200, 4*v + 5*p = 400. Does 5 divide v?
True
Let b(d) = -58*d**2 - 1591*d - 8. Does 45 divide b(-18)?
False
Let i = 946 - 1692. Let v = i - -1002. Is 14 a factor of v?
False
Suppose -4*t = h - 19, 0 = -5*t + 4*h + 18 + 11. Suppose -145 = 5*r + t*d, 5*r - 7*d + 139 = -10*d. Is 11 a factor of ((-256)/6)/(r/39)?
False
Let t(b) = 3*b + 20. Let r be t(-4). Suppose -r*j = -483 - 597. Is j a multiple of 27?
True
Let u = -325 - -220. Suppose -3*k - 256 = -88. Let v = k - u. Does 7 divide v?
True
Let m = 36 + -28. Let k be (1 + -1)/(3 - m - -4). Let z(t) = 8*t**2 - t + 219. Does 20 divide z(k)?
False
Let j = 21 - 18. Let c be (-16)/(-3) - (-2)/j. Let n(h) = 3*h**2 - 5*h - 13. Does 27 divide n(c)?
False
Let a(v) = 2*v**2 + 135*v + 2676. Does 31 divide a(110)?
True
Suppose 0 = -2*b + 6 + 6. Suppose -t + 0*t - 5*m = 158, 4 = -m. Let s = b - t. Does 36 divide s?
True
Let y = 70 - 124. Let h = y + 64. Is 10 a factor of h?
True
Suppose -3*y = -u - 23, -5*y + 4*u - 2 = -45. Suppose -261 = y*g - 828. Is 2 a factor of g?
False
Let z = 40 + -7. Suppose -z = -5*b + 37. Let m = b + 49. Does 21 divide m?
True
Let q(p) = p**3 + 2*p**2 - 2*p + 30. Let a be q(-7). Is (-10)/((-10)/(-15) + a/288) a multiple of 20?
True
Does 157 divide (2*-1)/2 - 6*(-86191)/98?
False
Let g(h) = h**3 - 9*h**2 - 2*h + 25. Let q be g(9). Suppose -q*x = 13*x - 8980. Is 24 a factor of x?
False
Suppose -3*m + 16617 = -2*l, -2*m + 13090 = 3*l + 2012. Suppose 30*g - g - m = 0. Is 3 a factor of g?
False
Let n = 179 - -15. Let y = 271 - n. Is 33 a factor of y/(-14) - -5 - (-477)/2?
False
Let l(x) = -12*x + 386 + 9*x + 83*x**2 - 398. Does 12 divide l(-3)?
True
Let z(t) = 7*t**3 - 5*t**2 - 6*t + 4. Let d be z(5). Suppose -2*r - d = -5*c - 0*r, -5*r + 134 = c. Is c a multiple of 8?
True
Let a = 78 - 76. Does 12 divide (432/(-180))/(a/(-255))?
False
Does 37 divide (-20)/18 - (-23)/(-207)*-644203?
False
Let u(l) = l + 2*l**2 - 575 + 105*l**3 + 574 - 5*l**2. Suppose 2*n + 3 = 8*v - 3*v, n = 1. Is 51 a factor of u(v)?
True
Let z be (-3)/5*20385/27. Let c = 768 + z. Is c a multiple of 4?
False
Suppose 2*g + 4*b - 184 = 0, 97 = -0*g + g - 3*b. Let p = g - -20. Suppose v - p = -v. Is 19 a factor of v?
True
Is (-46)/4*(-9044 - -584) a multiple of 15?
True
Does 65 divide (6*2/8)/((-6)/(-28600))?
True
Let k = -47 - -238. Let w = -138 + k. Is 7 a factor of w?
False
Let j(t) = -t + 1. Let b(z) = z + 6. Let a(s) = 2*b(s) - 22*j(s). Suppose 237*c = -358*c + 4165. Is a(c) a multiple of 10?
False
Let r be (2 - 5/(-3)) + (-4)/(-12). Suppose -r*p + d - 4 = 8, -d + 4 = 0. Is 12 a factor of p - (-3)/((-9)/(-78))?
True
Let c(x) = x**2 + 3*x - 8. Let u be c(0). Let o(m) = m**3 + 7*m**2 - 6*m + 18. Let v be o(u). Suppose -336 = -v*d - 120. Is d a multiple of 18?
True
Let k(d) = 0*d - 5 - 2*d + d - 2*d + d**2. Let z be k(-2). Suppose -5*m = 2*p - 100, -z*p + 414 = -5*m + 129. Does 9 divide p?
False
Let h(w) = 135*w**3 + w**2 + 2*w - 3. Let k be -4 - 0 - (-7 + 2). Does 22 divide h(k)?
False
Suppose -432 = -2*p - 2*y, 4*y + 266 = 5*p - 868. Is 5 a factor of p?
False
Suppose -t = -3*t, 3*r = -2*t + 591. Let x = r - 72. Is x a multiple of 18?
False
Suppose -7*l = -11*l + 32, -4*r + 3*l = -93772. Is 131 a factor of r?
True
Let v(k) be the first derivative of k**3/3 + 7*k**2/2 - 4*k + 17. Let o be v(-4). Let a = o + 28. Is a a multiple of 12?
True
Let m(p) = -p**2 + 31*p - 73. Let z be m(28). Does 8 divide 12/10*(z + (-1344)/(-36))?
False
Let a(y) = 17*y**3 - 5*y**2 + 10*y + 94. Is 115 a factor of a(7)?
True
Suppose -2048 = -r - 7*r. Let o be (-1)/((-196)/r - (-3)/4). Suppose 5*w - 3*y + 6*y - 269 = 0, 4*y - o = -w. Does 13 divide w?
True
Let d(c) = 5*c - 143. Let v(x) = -12*x + 284. Let r(u) = -9*d(u) - 4*v(u). Does 28 divide r(15)?
True
Let m(d) = -3*d**2 - 4*d - 13. Let k be m(0). Is (96/20)/(k/(2470/(-4))) a multiple of 38?
True
Let c = 237 - 235. Does 30 divide 2/c*527 - (-8 + 7)?
False
Suppose 0 = 4*s - 5*s - 5*s. Suppose 2*c = 5*w - s*c + 1278, -4*w + 2*c = 1022. Let j = -141 - w. Does 17 divide j?
False
Let u = -41 + 43. Suppose 2*q - r - 365 = 0, -r + 187 = -q + u*q. Is 52 a factor of q?
False
Does 15 divide -6748*1/(-3) - ((-222)/9 + 24)?
True
Let w = 2627 + 19657. Is 18 a factor of w?
True
Let o(r) = -9*r**2 - 64*r - 4. Let x be o(-7). Does 3 divide (153/(-102))/((-1)/(74/x))?
False
Let u = -34 - -52. Suppose -5*r + 3*y + 2394 = 0, -16*r = -u*r - y + 951. Is 30 a factor of r?
False
Let b = 1175 + -4659. Let y = -1932 - b. Is y a multiple of 16?
True
Let f = -16477 + 30227. Is 125 a factor of f?
True
Let a(w) be the second derivative of 1/6*w**4 + 1/2*w**2 - 1/3*w**3 + 0 + 15*w. Is a(4) a multiple of 5?
True
Suppose -17*k - 7385 - 87387 = -55*k. Is 86 a factor of k?
True
Let g be (-3650)/(-5) - (1/(-1) - 0). Suppose 4*i - 7*v = -4*v + g, -359 = -2*i - 5*v. Is 13 a factor of i?
True
Let x = 25 - 21. Suppose -x*y = 2*h - 2160, -3*y = -4*h - y + 4320. Is 26 a factor of h?
False
Let h(a) = 4*a**2 - 20*a + 68. Let u be (-9)/(-108)*-21*(-4 + 0). Is h(u) a multiple of 13?
False
Let c = 19706 + -2138. Is c a multiple of 18?
True
Suppose -14*j - 50*j = -21*j - 226782. Does 18 divide j?
True
Suppose -19 = -5*d - 14. Suppose 12*w - 131 = d. Let m(y) = 7*y - 40. Does 37 divide m(w)?
True
Let n be 360 - (6 - 8)*-3. Let x = 606 - n. Does 13 divide x?
False
Let n(t) = t**2 - 15*t + 40. Let w(k) = -7*k**2 + 6*k - 5. Let x be w(3). Let i = x - -63. Does 14 divide n(i)?
True
Let l(c) = -33 + 46 - 31*c - 52. Let t = 25 - 38. Is l(t) a multiple of 52?
True
Is 39 a factor of 37/((-851)/(-46))*((-3729)/(-2) - -2)?
False
Let j be 7*(-54)/(-168)*12. Is j/(-63) + 1552/28 a multiple of 8?
False
Suppose 0 = -4*w - 2*k + 20446, 18*w + k = 15*w + 15335. Is 24 a factor of w?
True
Let x be (9 + -6 - -3)*84/9. Suppose 57*v = x*v + 644. Does 46 divide v?
True
Let f(t) = -t**2 + 4*t + 10. Let y be f(5). Suppose y = -4*z + 3*x, 0*x + 2*x + 4 = -z. Let k = z + 8. Does 4 divide k?
False
Let b(n) = 4*n + 1684. Is b(47) a multiple of 3?
True
Does 31 divide (-9)/6*-1395*408/36?
True
Let r be ((-54)/(-36))/(6/(-280)). Is (-606)/(-19) + r/(-665) even?
True
Let b be (13064/34)/2 - 264/2244. Suppose -2*h + 5*g + 104 = 0, -4*h + 2*g = -0*g - b. Is h a multiple of 7?
False
Sup