oes 81 divide u?
False
Let q = 76 + -71. Suppose -2*d - 5*w + 1615 = 3*d, -q*d = 4*w - 1614. Is d a multiple of 14?
True
Let y(m) = 32*m + 4 - 5 - 29*m. Let z be y(1). Suppose 56 = z*h + 3*j - 20, -5*h - j = -177. Is h a multiple of 5?
True
Suppose -5*y + 10 = 5. Is y + 7374/14 - 76/(-266) a multiple of 33?
True
Let r be (23814/(-144))/27 - (-2)/16. Let u = -18 - -9. Is (1 + -15)/(u/((-135)/r)) a multiple of 4?
False
Suppose -3*y + 2*a = -0*a - 4043, -2*y - a + 2700 = 0. Let o = -843 + y. Let n = -154 + o. Does 44 divide n?
True
Let m be -2 + 23*6/6. Let j = 215 - m. Does 15 divide j?
False
Let i(l) = 668*l**3 + 8*l**2 - 5*l. Is 13 a factor of i(1)?
False
Is 12 a factor of 9*10/35*47796/18?
True
Suppose 4*z - 7 = 13, 2*q - 5 = -z. Is 11 a factor of (12 - q - -1)/((-3)/(-66))?
True
Suppose 166661 = 17*k - 9459. Is 14 a factor of k?
True
Is 5*(-329)/(-105)*319 - 1/(-3) a multiple of 19?
False
Is 61 a factor of (28/10)/((-70)/(-297150))?
False
Let x = 3513 - 1859. Suppose 3*g - 1839 = -3*f, -1399 - x = -5*g + f. Is 15 a factor of g?
False
Let a(n) = n**3 + 4*n**2 + 351*n + 18. Is a(32) a multiple of 9?
True
Let z(p) = -2*p**3 + 133*p**2 + 44*p + 132. Is z(66) a multiple of 44?
True
Let k(f) = -2*f + 22. Let i be 4/(24/(-18))*4/6. Let t be ((-7)/i)/(2/(-4)). Does 8 divide k(t)?
False
Suppose 0 = -10*j - 8 + 38. Suppose 3*z = 5*n - 445, -3*n + 178 = -n + j*z. Does 3 divide n?
False
Let m(t) = -t**3 - 14*t**2 - 12*t + 24. Let a be m(-13). Suppose 5*z - h = 152, 2*z - 59 - a = 5*h. Suppose 0 = d - z - 50. Is d a multiple of 20?
True
Let w(b) be the second derivative of b**4/12 - 23*b**3/6 + 13*b**2/2 - 2*b - 1. Is 2 a factor of w(23)?
False
Let x = -209 - -808. Let i = x + -328. Is 7 a factor of i?
False
Let v(z) = -16*z + 15. Let a be v(0). Suppose -773 = -3*n - 2*f, 2*n + a*f - 10*f = 530. Is n a multiple of 85?
True
Suppose 4*g - 1489 = 3*a, 2*g - 2*a - a = 737. Suppose -g*l = -371*l - 8400. Is 70 a factor of l?
True
Suppose -5*x - 3*o + 70791 = 0, 0*x = 2*x - 3*o - 28329. Suppose 13*b - 33*b = -x. Is 59 a factor of b?
True
Let g(a) = 10884*a**2 + 301*a - 299. Is g(1) a multiple of 19?
False
Let t(g) be the second derivative of g**4/12 - 7*g**3/6 - 72*g**2 + 119*g. Does 37 divide t(25)?
False
Let k(l) = 3*l**3 + 7*l**2 + 9*l - 39. Is 54 a factor of k(10)?
False
Let t(d) = 7*d + 16*d - 61 - 15*d**2 - d**3 + 18*d - 21*d**2 + 9*d**2. Does 18 divide t(-29)?
True
Let b(s) = -3*s**2 - 127*s - 329. Is b(-35) a multiple of 9?
True
Suppose x = 3*m - 1, -5*x + 7 + 10 = -4*m. Suppose -53*g + 51*g + 4 = 0. Suppose 3*r = -m*o + 28, -3*r - r = -g*o. Is o even?
True
Let h = 9032 + -76. Is 33 a factor of h?
False
Let j(k) = -203*k**3 + 42*k**2 - 18*k - 64. Does 45 divide j(-5)?
False
Let j be 44/8 - (-1)/(-2). Suppose 0 = -i + 6*p + 18, i - 10 = -7*p + 9*p. Suppose -j*h = -3*g + 704, 5*g + i*h = h + 1200. Is 40 a factor of g?
False
Let z = 17277 - 591. Is z a multiple of 162?
True
Let h(t) = -2*t**2 - 27*t - 10. Let u be h(-13). Suppose 4*b - 834 = 2*b - q, u*b - 1262 = 4*q. Is b a multiple of 22?
True
Let o(g) = -100*g**3 - 1. Let d be o(-1). Suppose -13*p + d = -10*p. Suppose 98*x - 101*x = -p. Does 6 divide x?
False
Let a(j) = -7*j - 3. Let l be a(-12). Let n be (0 + -6)*(-27)/l. Suppose 0 = -4*z - 0*z + 3*h + 100, 2*z - n*h = 48. Is z a multiple of 19?
False
Let c(g) = -4 - 72*g + g**3 - 20*g**2 - 13 + 98*g. Let n be c(19). Is 15 a factor of -1 + 3 + n/2?
True
Let g(r) = -r**3 + 2*r**2 - r + 5. Let f be g(0). Suppose f*s = 478 + 1842. Suppose 2*u = -2*u + s. Is u a multiple of 29?
True
Let w(v) = v**3 + 8*v**2 + 6*v - 2. Let a be w(-7). Suppose 0 = -5*c + 2122 + 2138. Suppose h = -a*h + c. Does 16 divide h?
False
Let w = 8759 + -3047. Is 112 a factor of w?
True
Suppose 0 = -4*f + 8, -4*w = -2*f - f - 26. Let c = 2671 - 1845. Suppose -w*x - c = -2026. Is 15 a factor of x?
True
Let o(h) = h**2 - 263 + 130 - 6*h + 180. Is 9 a factor of o(-10)?
True
Let w = 49414 - 26134. Does 12 divide w?
True
Suppose m = 2*z - 6, -15 = -5*m - 9*z + 4*z. Suppose -4*i - 146 = -5*x, 4*i + 1 - 5 = m. Does 2 divide x?
True
Let r = -16243 - -29047. Is r a multiple of 22?
True
Suppose -11736 - 63820 = -5*s + 11*f, 5*s + 5*f - 75620 = 0. Does 27 divide s?
True
Suppose -4*b - 5*p + 4225 = 0, 4*b - 5*p - 1025 = 3*b. Suppose 3*i - b = 2*j - 5*j, -5*i = 2*j - 694. Does 44 divide j?
True
Let l(p) = -5*p + 114. Let q be l(-15). Suppose -q = -a - d - 0*d, -5*d - 159 = -a. Is 20 a factor of a?
False
Suppose -23*a + 118394 = -83224. Is a a multiple of 8?
False
Suppose 3*k - 39 = -2*h, 11 = 3*h - 0*h - 5*k. Is 6 a factor of ((-4)/8)/(h/(-3048))?
False
Suppose 0 = 10*q + 4*q - 8034 + 2714. Does 76 divide q?
True
Let c = 78 - 74. Suppose -u - 405 = -5*v, -2*v + c*u - 85 = -265. Is v a multiple of 40?
True
Let b = 32 - 30. Suppose b - 20 = -6*p. Suppose -p*x - 28 = -301. Is x a multiple of 9?
False
Let x(h) be the first derivative of h**4/4 + 4*h**3/3 + 2*h**2 + 6*h + 18. Let l be x(-3). Is 21 - (-5 - (0 - l)) a multiple of 3?
False
Let k be (-1*2)/(7 + -9). Let m(p) = 151*p**3 - p**2. Is 10 a factor of m(k)?
True
Let w(v) = 31*v + 74. Let t be w(-7). Is (-16252)/(-13) - (-22)/t a multiple of 50?
True
Let k(h) = -3*h. Let t be k(-20). Let a = t + -18. Is 7 a factor of a?
True
Let d(f) = 28*f**2 - 35*f - 310. Is 13 a factor of d(-16)?
False
Let s = 1266 + -1193. Suppose -w - 4*w = 3*t - 128, -t + 4*w = -37. Let u = s - t. Is u a multiple of 8?
True
Let s = -59 + 84. Suppose -2*d + s = 249. Is (-4)/(8/d*(0 - -1)) a multiple of 7?
True
Suppose -v - 4*v = 3*c - 112, 2*v = -c + 45. Suppose 244 = -19*n + v*n. Is 3 a factor of n?
False
Let u = 52 - 61. Let v be (-34)/u - (-44)/198. Does 12 divide 7/((-14)/267)*v/(-6)?
False
Let d = -143 + 2765. Is 38 a factor of d?
True
Suppose -13*o - 11605 = -24*o. Suppose 4*t - 6*h - 1404 = -8*h, -h + o = 3*t. Is 8 a factor of t?
False
Suppose -10*z + 13 + 27 = 0. Suppose 5*r + 19 = z. Does 15 divide (1/r*-3)/((-1)/(-105))?
True
Let n(l) = l**3 - 8*l**2 + 6*l. Let z be n(7). Let s = 8 + z. Does 40 divide -1 + (-4 - -187 - (-2 + s))?
False
Suppose -2*h + 198 = 2*s, 25*h - 23*h = 5*s + 226. Is h a multiple of 7?
False
Suppose 176020 = 279*z - 253*z. Is z a multiple of 11?
False
Suppose 9597 - 435 = 5*g - 6*p, g - 3*p - 1827 = 0. Is 17 a factor of g?
True
Let a be (4/(-6))/(1/6). Let o(l) = -8*l**2 + 19*l. Let i(m) = -m**2 + 4*m. Let u(v) = 5*i(v) - o(v). Is 24 a factor of u(a)?
False
Let a = -9575 - -13238. Is a a multiple of 11?
True
Let v be (49 - 54) + (-10)/(-1). Suppose n = 5*o - 6396, 7*o = 2*o - v*n + 6420. Does 44 divide o?
False
Let f = 27448 + -22168. Is f a multiple of 80?
True
Let q(p) = p**3 - 5*p**2 + p. Let n be q(5). Let v(w) = 1 + 0*w**3 + w**3 - 4*w - 5 + 3*w. Is 29 a factor of v(n)?
True
Suppose 64*f - 807307 = 1339278 + 682727. Is 10 a factor of f?
False
Let c(t) = 7530*t - 4827. Does 81 divide c(3)?
False
Let n(y) = 194*y**2 - 49*y + 67. Is 16 a factor of n(-11)?
True
Let w = 84348 + -22101. Does 22 divide w?
False
Suppose 0 = -3*s + 5*c + 129, -s + 3*s - 70 = -2*c. Let u = s - 39. Let b(q) = -q + 4. Is b(u) even?
False
Let r = 100 - 100. Suppose r = -13*v + 3*v + 1530. Is v a multiple of 17?
True
Let b(z) = -z**3 - 3*z**2 - 3*z + 6. Let p(t) = 2*t**3 + 5*t**2 + 5*t - 12. Let w(o) = 5*b(o) + 3*p(o). Suppose -21*g - 90 = -51*g. Is 3 a factor of w(g)?
True
Suppose 684677 = 179*t - 130*t. Is t a multiple of 8?
False
Suppose 2*k - 6 = -4. Suppose -48 - k = -z. Does 49 divide z?
True
Suppose -5 = -2*n - t, -n - 2*t + 4 = -t. Suppose -3*q + n = p + 2*q, 2*q - 2 = -2*p. Does 13 divide p*4/18 - (-1856)/72?
True
Let r(c) be the first derivative of c**4/4 - 8*c**3/3 - 3*c**2 + 17*c + 5. Let u(a) = 3*a**2 + 2*a - 6. Let n(x) = 4*r(x) + 11*u(x). Does 17 divide n(2)?
True
Suppose 1292*s - 1299*s = -409584. Is s a multiple of 212?
True
Let p be 3*4/(-12)*7. Is (-2 + -3 - p) + 835 a multiple of 37?
False
Suppose 0*y - m + 57 = 5*y, 4*y + 2*m - 42 = 0. Let a(b) = 13*b + 2. Let o be a(y). Let t = o + -39. Does 10 divide t?
False
Let s = 32 + -39. Let h = s - 8. Let n = 57 + h. Is n a multiple of 21?
True
Let t be -1 + 2/8*-354*-10. Let b = -576 + t. Is 11 a factor of b?
True
Let u be 444 + 8/6 + (-10)/(-15). Does 27 divide (u/2)/(-5 - -6)?
False
Let i(g) = -283*