e of 2?
False
Let g(d) = -3*d - 9. Let u = 52 + -56. Let j be g(u). Suppose 2*t - 5*w = 29, j*t = -0*t - 4*w + 101. Is t a multiple of 9?
True
Let i(v) = -17*v + 46. Suppose -7*b - 18 - 101 = 0. Is i(b) a multiple of 59?
False
Let s(i) = -9. Let h(k) = k + 11. Let j(a) = -4*h(a) - 5*s(a). Does 5 divide j(-15)?
False
Suppose 22*n - 2*n = 80. Suppose 2*z - 3*p - p = 2158, -4308 = -n*z + 4*p. Is 25 a factor of z?
True
Let a(d) = 361*d**2 + 341*d**2 - 655*d**2 - 23 - 78 + 25*d. Is 28 a factor of a(5)?
False
Suppose -q - 3*q = -4. Suppose a = q, 0*a + 13 = -5*j + 3*a. Does 7 divide (-15 + 20)/(j/(-22))?
False
Let a be (1 + -41)*(-231)/4. Suppose -p = 6*p - a. Is p a multiple of 15?
True
Suppose -2046 = -v - 245. Suppose 0 = -8*n + v + 1343. Is n a multiple of 10?
False
Let h(p) = -2224*p + 126. Is h(-1) a multiple of 25?
True
Let s(d) = 105*d - 803. Is 17 a factor of s(22)?
False
Suppose -11 - 10 = 7*x. Let a be -1*x/12 - 842/8. Let t = a + 261. Is t a multiple of 39?
True
Suppose -6*c - 144 = 300. Let w = -48 - c. Is ((-11)/22)/((-1)/w) a multiple of 13?
True
Suppose -90 = 53*q - 54*q. Let a(f) = -f**2 - 6*f + 7. Let b be a(-11). Let w = q + b. Is 14 a factor of w?
True
Let n = -137 + -7. Let i = n + 192. Is i a multiple of 3?
True
Let k(q) = -8*q**2 - 2*q. Let b be k(2). Let w = b - -17. Does 3 divide 7 - w - (-6)/(-2)?
False
Let s(x) = 8*x - 25. Let j be s(11). Suppose 0 = -4*n + n + j. Let a = 30 + n. Does 10 divide a?
False
Let g(s) = 2*s - 257*s**2 + 131*s**2 + s**3 - 1 + 129*s**2. Does 7 divide g(3)?
False
Suppose -2*r + 3*d + 1 = -22, 4*r - 5*d = 41. Is -1*64*((-90)/r)/5 a multiple of 36?
True
Suppose -2*k + 4*l = -26, 4*l = 2*l - 10. Let n be (4 - 2)/((34/(-4))/17). Does 17 divide (k/(-2))/((-2)/n) - -67?
False
Suppose 391409 + 5501881 = 386*a + 199*a. Does 31 divide a?
False
Let s be (-112)/19 - 10/95. Let l(y) = -8*y + 55. Does 4 divide l(s)?
False
Let q = -72 + 82. Suppose 6*m - 34 = -q. Suppose -n + 477 = 4*n - 3*f, -m*f = n - 100. Is 32 a factor of n?
True
Let p(f) = 13*f**3 + f**2 + 93*f - 43. Is p(8) a multiple of 42?
False
Let o(p) = -55*p + 6767. Does 32 divide o(9)?
True
Let x = -33 + 24. Is 26 a factor of 26/(x/(-32) - (-36)/(-144))?
True
Suppose 8*f - 125 - 51 = 0. Suppose t + k - f - 58 = 0, 0 = 4*k. Does 10 divide t?
True
Let g be 594/(-15)*20/(-6). Suppose 2*u + 2*l + g = 0, -u + 4*l + 0 = 46. Let d = u - -86. Is d a multiple of 24?
True
Is (-4)/(-11) - -3*(-7786)/(-561) a multiple of 3?
True
Let x(v) = -67*v - 42 + 23*v - 20. Is x(-10) a multiple of 33?
False
Let p be -8 + 52696/120 + (-4)/30. Let l = 796 - p. Does 21 divide l?
False
Let x(y) = -y**2 - 10*y - 12. Let c(b) = b**2 - 10*b - 6. Let i be c(10). Let a be x(i). Is 6 a factor of 120/(-16)*a/(-5)?
True
Let h = 36 + -63. Let u = h + 27. Is 11 a factor of 11 + (-3 + 3 - u)?
True
Suppose -28*u = 11*u - 77922. Suppose -u = -8*g + 5682. Is g a multiple of 18?
False
Is 37 a factor of (615 - -14)/(-6 + 7)?
True
Suppose 30*p - 10332 - 57978 = 0. Is 11 a factor of p?
True
Let b(q) be the first derivative of 53*q**3/3 - 3*q**2 - 4*q + 13. Let d be b(-2). Suppose d = 4*n - 40. Is 13 a factor of n?
True
Let d(z) = z**3 - 7. Let n be d(0). Let f(u) = -23*u - 64. Is f(n) a multiple of 11?
False
Let g(u) = 191*u**2 + u + 2. Let o be g(-1). Let f = 324 - o. Suppose -w - 40 = -f. Does 6 divide w?
False
Suppose -631901 - 309407 = -84*l - 311560. Does 63 divide l?
True
Let n be ((-40000)/(-60))/50*(-12)/10. Suppose 5*u + 25 = 0, 0 = -3*a - 2*u - u + 123. Let q = a + n. Is q a multiple of 5?
True
Does 118 divide -13918*(-8)/24*6/4 + 3?
True
Let m(p) = 8*p**3 - 25*p**2 + 3*p + 7. Let d(j) = 23*j**3 - 71*j**2 + 8*j + 19. Let o(q) = 6*d(q) - 17*m(q). Let h = 5 + -1. Is o(h) a multiple of 31?
False
Suppose -3280 = 7*w - 8*w - w. Is 5 a factor of w?
True
Let k(l) = l**3 - 9*l**2 - 9*l - 7. Let z be k(10). Suppose -3*m + 5 = -z*t - 2*m, -t + 9 = 5*m. Let j(c) = 2*c + 6. Is 3 a factor of j(t)?
False
Suppose 53*c = 50*c + 4*t + 1876, -2*t = 5*c - 3092. Is c a multiple of 5?
True
Let k = -4020 + 11426. Does 23 divide k?
True
Suppose -5*q - 4*f = f - 7005, 3*q + f - 4213 = 0. Does 5 divide q?
False
Suppose -z + 6*z = 35. Let u(a) = a**3 - 3*a**2 - 2*a - 12. Is 5 a factor of u(z)?
True
Suppose 5*n + 0 = 5. Let f(k) = 49 + 56 + 50 + 41*k - 153. Does 8 divide f(n)?
False
Let z(u) = -u**2 + 4*u + 32. Let o be z(8). Suppose o = -2*c - 19*r + 17*r + 38, 62 = 3*c + 2*r. Is 5 a factor of c?
False
Let s = -540 + 1780. Is 13 a factor of s?
False
Let q be 108/(-60)*(-5)/6*4. Is 17 a factor of (q/18*-6)/((-4)/262)?
False
Suppose -79*j + 6743 = -68*j. Let o = j + -375. Does 34 divide o?
True
Let w(g) be the second derivative of -7*g**5/5 - g**4/12 + g**3/3 + g**2 + g. Suppose -52 - 46 = 98*k. Is w(k) a multiple of 9?
True
Let n(h) = -h - 2. Let z be n(2). Let r be (6/(-18))/(z/12). Does 33 divide (r/3)/(1/555)?
False
Suppose 5*u = -2*g + 29, -6 = -2*g - g. Suppose 546 = u*i - 104. Suppose -p = -5*n - 10, 4*p - i = -3*n - 21. Is 13 a factor of p?
False
Let y(n) = 4*n**2 + 246*n - 290. Is 13 a factor of y(-86)?
True
Suppose 0 = 51*k - 178127 - 160819. Is k a multiple of 131?
False
Suppose -1422*h + 1420*h = 18, -5*t = 2*h - 349422. Is 312 a factor of t?
True
Let k(c) = c**3 + 47*c**2 - 179*c - 77. Does 127 divide k(-47)?
False
Let b(x) = 5*x**3 - 16*x**2 + 34*x - 2. Let h be b(8). Suppose 11766 = 26*i - h. Does 9 divide i?
True
Let l = -137 - -140. Suppose 3*f - 1254 = -2*y + f, 4*y - l*f = 2494. Is y a multiple of 15?
False
Suppose 9*v - 42 = -12*v. Suppose -2*f - 4*x = -34, -5*f - v*x + 5 = -40. Is f a multiple of 4?
False
Let q(y) = y**3 - 7*y**2 + 7*y + 2. Let b be q(5). Let g(w) = -12*w + 19. Let x(n) = 14*n - 18. Let p(j) = 4*g(j) + 3*x(j). Does 17 divide p(b)?
False
Let r = 13 + -24. Let o = r - -15. Suppose -2*w = 4*l - 248, -23 = -2*l - o*w + 89. Does 27 divide l?
False
Let p(f) = 251*f + 2027. Is p(-7) a multiple of 9?
True
Is 38 a factor of (1 + 9479/3)/(1/21*14)?
False
Let t be (-1)/(2/(-6) + (-16)/(-39)). Let w(y) = 23*y + 68. Let n(m) = -22*m - 69. Let o(b) = -4*n(b) - 5*w(b). Does 33 divide o(t)?
False
Let g = 401 + -391. Does 36 divide ((-2230)/g - 2)*(-8)/10?
True
Suppose -185*o + 177524 = -27*o + 19208. Is o even?
True
Let m = -295 + 481. Let l = -53 + m. Is 3 a factor of l?
False
Let g be (0*(-3)/12)/1 + 284. Let b be -4 + 2/1 + g. Suppose 4*l = l - a + 208, -4*l + a + b = 0. Is 35 a factor of l?
True
Let i be (-2)/1 - (-12)/2. Suppose 1 = i*p - 7. Suppose 100 = 6*m - p*m. Is m even?
False
Let g = -29 - 62. Let p = 145 + g. Does 9 divide p?
True
Let g = -48 - -57. Suppose 3*y - 9 = 3*s, 0*s + s - g = -2*y. Suppose 114 = 3*l + 2*z - 70, 0 = 3*l + y*z - 188. Does 10 divide l?
True
Let v(q) = 0*q**3 - 14*q - 11*q**2 - 3*q**3 + 27 + 4*q**3. Let w be v(12). Suppose -388 = -4*s - w*y, -89 - 8 = -s + 4*y. Is s a multiple of 14?
False
Let k = 9466 + -4144. Is k a multiple of 5?
False
Is (610 + -8 + -13)*10 a multiple of 31?
True
Is 51 a factor of ((-12444)/854)/((-1)/1988)?
True
Does 13 divide -189 + 203 - (0 + -467)?
True
Suppose g = x - 35, -2*g = -4*g + 5*x - 67. Let z(t) = 23*t - 281. Let a be z(20). Let m = g + a. Is 18 a factor of m?
False
Let y(o) = o**2. Let v(d) = 5*d**2 + 17*d + 51. Let n(x) = v(x) - 6*y(x). Let j be n(21). Is 13 a factor of (-11)/(j/(-6)) + (72 - 1)?
False
Suppose a = -4, -5*h = 4*a - 1036 - 4123. Does 23 divide (h/(-12))/((-87)/232)?
True
Let h(u) = 2*u + 3012. Does 9 divide h(-85)?
False
Let n(m) = -14*m + 9. Let u be n(1). Does 30 divide 13*(27 - 4) - (4 + u)?
True
Suppose -117 = -10*w + 193. Suppose w*n - 42*n = -3993. Does 11 divide n?
True
Is 21 a factor of 2/5*((29583 - -260) + -3 + 0)?
False
Let l = 156834 - 93995. Is 62 a factor of l?
False
Let p(n) = -n**2 + 10*n - 10. Let d be p(6). Let t(x) = x**2 - 12*x - 14. Let q be t(d). Suppose s = 4*i - 178, -4*s = -i + 66 - q. Is 8 a factor of i?
False
Let h(k) = 9*k + 16. Let y be h(20). Is (-9 - (-1 - 1)) + y a multiple of 7?
True
Suppose 42204 = 2*q + j, -2*q - 94*j + 42186 = -96*j. Is q a multiple of 173?
False
Let x(g) = 20*g**2 - 14*g - 6. Let u be x(-4). Let o = u - 149. Does 25 divide o?
False
Suppose -5*g + 2857 = 4*b, 3*g + 3525 = 89*b - 84*b. Let k be 35 - -1*(0 + 1). Suppose -6*r + b = -k. Is r a multip