5 = -4*x. Does 9 divide 29 + x/5 + -1?
True
Let k(m) = -m**3 - 8*m**2 - 6*m + 9. Let n be k(-7). Suppose -11 = -n*f - 5. Let t = f - -6. Does 5 divide t?
False
Let p = 43 + -109. Let y = p - -222. Is y a multiple of 9?
False
Let u = 415 + -148. Does 21 divide u?
False
Let w(u) = -u**3 + 12*u**2 + 18*u - 57. Let n be w(13). Is n/(-8)*1*(1 + -40) a multiple of 39?
True
Let h(w) = 2*w**2 - 2. Let o be 1*(1 - 2/2). Suppose -3 = d, o = -5*g - 8*d + 4*d + 13. Is 20 a factor of h(g)?
False
Let o be -6 - 4/6*(-4 + -2). Is o/13 + (-1876)/(-26) a multiple of 18?
True
Let r(o) = 3*o - 19. Suppose n + 311 = -5*p - 0*p, 863 = -3*n - p. Let g be n/(-65)*(-10)/(-4). Does 9 divide r(g)?
False
Let v(f) = -3*f**3 - f**2 - 3*f + 6. Let n be v(6). Let j be 6/(-33) + n/44. Let w = j - -34. Is w a multiple of 9?
True
Suppose l + 123 = 4*a, 0*a - l - 153 = -5*a. Is 7 a factor of a - (7/(-1) + 4)?
False
Let u be 20/9 - (-2)/(-9). Let x(b) = 24*b**3 + b**2 + 2*b. Does 40 divide x(u)?
True
Is 12*1/(-2) - -11 - -882 a multiple of 42?
False
Let f(b) = b - 3. Let g be f(2). Let q = 1 - -5. Let d = q - g. Is 3 a factor of d?
False
Let o(y) = 13*y - 8. Let z be o(0). Let s(t) = -t**2 - 9*t + 15. Does 5 divide s(z)?
False
Does 6 divide -10 + 35208/60 - (-2)/10?
False
Suppose 2*g + 226 = 4*a - 232, 483 = 4*a + 3*g. Is 10 a factor of a?
False
Let m(r) = -r**3 + 5*r**2 + 15*r - 12. Does 25 divide m(-8)?
True
Suppose 2*a - 9 = -1. Suppose 6*m = a*m + 84. Does 14 divide m?
True
Let i(w) = 1026*w - 31. Does 47 divide i(2)?
True
Suppose 14 = 3*t + w - 3*w, -5*t + 2*w = -22. Let b(j) = 22*j + 12. Let a be b(4). Suppose 2*m - 3*y - 26 = a, 0 = -t*m + y + 232. Does 19 divide m?
True
Suppose -3*l = -s - 227, 5*s + 299 = -0*l + 4*l. Let m = l + -1. Does 11 divide m?
False
Let z(s) = 6 + 3*s**2 - 2*s**2 + 11*s + 0 + 6. Does 12 divide z(-14)?
False
Let u(g) = g**3 - 11*g**2 - 18*g - 38. Is u(15) a multiple of 10?
False
Let m(y) = -y**2 + 17*y - 14. Let h be m(16). Suppose 0 = -d - h*d - 3*l + 30, -3*d + 30 = l. Suppose 5*p = 2*q + 132, -d - 2 = -p + 4*q. Is p a multiple of 14?
True
Let u(y) = -2*y**2 + 10*y. Let t be u(5). Does 8 divide (-2)/(-11) + (-526)/(-11) + t?
True
Let q = 9 - 5. Suppose -q*f + 16 = 216. Let a = 95 + f. Is 15 a factor of a?
True
Suppose 2*l = 13 - 5. Suppose 0 = -4*v - l*k + 7*k + 147, -v = 5*k - 31. Does 12 divide v?
True
Suppose 0 = 587*t - 583*t - 1092. Is 13 a factor of t?
True
Let n(m) = -39*m - 24. Is n(-2) a multiple of 54?
True
Let c(p) = p**2 + 16*p - 2. Let k be c(-21). Suppose j = 5*l - k, -4*l = -2*l + 2*j - 46. Is 21 a factor of l?
True
Let v(z) = 42*z**3 + 1. Let a be v(-1). Suppose 0 = -8*b + b - 203. Let j = b - a. Is 6 a factor of j?
True
Let d(j) = j + 4. Let f be d(3). Suppose 5*w - 1708 = -858. Suppose w = -f*y + 9*y. Is y a multiple of 13?
False
Let f(c) be the second derivative of 23*c**3/2 + 24*c**2 + 12*c. Let z(m) = 10*m + 7. Let x(v) = -2*f(v) + 15*z(v). Is x(3) a multiple of 16?
False
Let b = 410 - 172. Is 17 a factor of b?
True
Let z be 0 - 0 - (-16)/8. Let w(u) = 50*u**2 - 3*u + 1. Let y be w(z). Suppose -5*x = -35 - y. Does 18 divide x?
False
Suppose 22*j = 21*j + 5. Suppose 3*u + i - 23 - 159 = 0, 4*i = -4. Suppose -j*w + 211 = u. Is 10 a factor of w?
True
Let w = 766 + -252. Is 32 a factor of w?
False
Suppose 0 = 4*s - 7*s + 6, -4*z + 526 = -s. Is z a multiple of 5?
False
Suppose 5*w - 214 + 9 = 0. Let f = w - -5. Is f a multiple of 6?
False
Let x(s) = -9*s + 312. Is x(0) a multiple of 18?
False
Suppose -25*z = -627 + 2. Is 5 a factor of z?
True
Let l = -44 + 44. Suppose l = -6*k + 3*k + 150. Is k a multiple of 10?
True
Let n be ((-4)/6)/(22/825). Let o = -19 - n. Suppose -72 = -10*d + o*d. Is d a multiple of 6?
True
Is 46 a factor of (((-60)/(-21))/(-1))/(4/(-322))?
True
Suppose -5*t + 30 = 5*b, b = -4*b + 15. Let z(u) = 3*u - 2. Let g be z(2). Suppose -g*y = -t*y - 18. Is 6 a factor of y?
True
Suppose 0 = -3*m - k + 1650, m - 3*k + 8*k - 564 = 0. Does 60 divide m?
False
Suppose -2*i = b - 88, -4*i + 2*b = -0*b - 176. Let a = 74 - i. Does 5 divide a?
True
Let n = -90 - -95. Suppose n - 80 = -5*q. Is 5 a factor of q?
True
Suppose 0 = -2*m + y - 3*y - 8, 4*m - 4*y = -16. Is ((-36)/60)/(m/50)*4 a multiple of 12?
False
Let h = -15 + 17. Let a be h - (-1 + -1 + 2). Suppose -a = k - 19. Is 8 a factor of k?
False
Suppose j = -5*i + 3*j, j = -3*i + 11. Suppose -3*y + 0*d = 4*d - 308, 167 = i*y - 5*d. Is y a multiple of 24?
True
Suppose 0 = p + 2, 2*b + 3*p - 13 = -3. Let m = b + -9. Let t = m + 8. Is t even?
False
Suppose 5*s - 3*x + 67 = 272, -3*s + 112 = -4*x. Suppose 3*m - 23 = m - 5*z, -s = -3*m + 2*z. Is m*(-9)/(-6) - 3 a multiple of 8?
False
Let p(y) = -3*y**3 - y**2 + y + 7. Suppose -1 = 7*u + 20. Is 4 a factor of p(u)?
True
Suppose 29*l + 126 = 27*l. Let d = l + 87. Does 2 divide d?
True
Is (-80)/(-4)*(15/3 + 10) a multiple of 20?
True
Suppose -2*j = 0, -u - 3*j + 36 = 2*j. Is 9 a factor of (-2)/(-6) - 642/u*-2?
True
Let n be (2 + (-60)/(-9))*-3. Let f = n + 19. Let u(p) = -p**2 - 11*p - 5. Is u(f) a multiple of 23?
True
Let m(t) = t**2 - 15*t + 84. Let q be m(19). Does 5 divide (q/(-24))/((-2)/27)?
True
Suppose -989 = g - 2*g. Suppose -q + g = 3*q + 3*a, 0 = 4*q + 2*a - 986. Does 23 divide q?
False
Let s(d) = 69*d + 14. Let h(n) = -23*n - 5. Let t(z) = 17*h(z) + 6*s(z). Does 15 divide t(2)?
True
Let j be (-1077)/18 + 1/(-6). Let f = j - -90. Suppose f = 2*z + z. Is 5 a factor of z?
True
Let s be (9/27)/((-2)/18). Let h = s + 10. Does 2 divide h?
False
Let c be -3*(-8)/(-18)*-3. Let p(h) = -2*h**2 + 1 - h**3 - 4 + c*h - 4. Does 3 divide p(-4)?
True
Is 3389/3 - -13*26/(-507) a multiple of 26?
False
Let h(g) = g**2 - 18. Suppose 14 = s + 3. Is h(s) a multiple of 10?
False
Does 5 divide (-3*(-92)/(-15))/((-1)/5)?
False
Let d(k) = -3*k + 25. Let z be d(8). Is 0 + 485/15 + z/(-3) a multiple of 16?
True
Let p = -7 + -73. Is (36/10)/((-8)/p) a multiple of 12?
True
Suppose 2*p + 22 = 90. Let t = p + 183. Is 34 a factor of t?
False
Let d(l) = l**3 - 8*l**2 + 12*l - 11. Suppose 22 = 2*h + 6. Does 17 divide d(h)?
True
Let i(n) = -25*n**3 + n**2 - n - 2. Let z be i(-1). Let k = -14 + 35. Let x = z - k. Is x a multiple of 4?
True
Let m = -5 - -5. Suppose m = 8*a - 118 - 34. Is a a multiple of 19?
True
Let k(y) = 2*y**3 - y**2 + 7*y + 587. Is k(0) a multiple of 21?
False
Let j = 101 + 145. Does 6 divide j?
True
Let d = 1624 + -1084. Does 36 divide d?
True
Suppose -15*i - 20240 = -38*i. Is 22 a factor of i?
True
Let w be -5*((-4)/2)/2. Suppose 6 = -g - w*l, 0*g + 5*g - 39 = -2*l. Let h(b) = b**3 - 8*b**2 - 8*b + 13. Is 9 a factor of h(g)?
False
Suppose x + 1 = 1. Let k(p) = 15 + 20 + 5 + 2*p. Is k(x) a multiple of 8?
True
Let a be (4 + -4)/(2/1). Suppose -i + f + 97 = a, -i + 0*i - 2*f = -94. Is 16 a factor of i?
True
Suppose 2*f + f = s, -3*s - 2*f - 22 = 0. Let l be s*(20/(-8) - -1). Suppose 5*w - 4*c = 54, w - l = -2*c + 13. Does 14 divide w?
True
Let t be (-6)/(-2)*(-12)/(-18). Suppose -5*s - 270 = -p - 4*p, t*p - 114 = -4*s. Is p a multiple of 11?
True
Let m(f) = 2*f**2 + 11*f - 3. Let d(j) = -j**2 - 6*j + 2. Let z(p) = 5*d(p) + 3*m(p). Let q be z(-2). Let w = q + 13. Is w a multiple of 6?
True
Suppose 84*z + 2*j = 81*z + 195, 4*j + 260 = 4*z. Is 5 a factor of z?
True
Suppose -k = 3*k + k. Suppose -y - 5 = k, -4*f + 5 - 18 = 5*y. Does 2 divide f?
False
Is 346 - 4 - (-3 + -2) a multiple of 12?
False
Suppose 0 = -103*q + 40*q + 9324. Is q a multiple of 37?
True
Let t(x) = -x**3 - 12*x**2 - 13*x. Let m be t(-10). Let w(c) = -12*c**2 + 2*c - 5. Let k be w(-3). Let r = m - k. Does 15 divide r?
False
Suppose -364 = -5*r + 91. Does 7 divide r?
True
Suppose -2*o = 2*o - 80. Suppose -4*v - v + 45 = 5*m, o = 4*m. Suppose -v*r = -7*r + 90. Is r a multiple of 15?
True
Let k(l) = 531*l + 17. Is k(2) a multiple of 20?
False
Let z be (0 + 3)/((-1)/(-5)). Let o(y) = 3*y**2 - 12*y + 2. Let p be o(9). Suppose -2*i = a - p + 22, -3*a = z. Is 12 a factor of i?
True
Suppose 1677*n - 1671*n = 84. Does 7 divide n?
True
Let z(b) = 5*b**2 + 52*b - 39. Is z(-17) a multiple of 58?
True
Suppose 28*o + 12141 = 47*o. Is o a multiple of 33?
False
Suppose 0 = 3*h - 0*h + 5*j - 1076, 2*h - 724 = -5*j. Is h a multiple of 44?
True
Suppose -3*m + 4*r = m - 28, 0 = -2*m - 4