0. Does 14 divide m?
False
Let w(k) = 1 - 14*k**2 + 31*k**3 + 12*k**2 + 0. Is 7 a factor of w(1)?
False
Suppose -3*o = -8*o - i + 455, -25 = -5*i. Suppose 7*v - 10*v = -o. Is 10 a factor of v?
True
Let q(g) = 3*g - 3. Let u be q(1). Suppose u = 27*f - 31*f + 216. Is f a multiple of 6?
True
Suppose 55*h - 40842 = 50238. Is 13 a factor of h?
False
Suppose -h = 3*m - 22, -3*h = -4*m - 0*h + 38. Let k(r) = r**3 - 9*r**2 + 7*r - 6. Let w be k(m). Let q = w + 31. Is 11 a factor of q?
False
Let b be (-4 - (-36)/4) + -3. Suppose -7 = -b*o + o. Does 3 divide o?
False
Does 21 divide ((-60)/(-8))/(10/168)?
True
Suppose -20*k + 15*k - 5 = 0. Does 23 divide -1 - (5/k + -26)?
False
Suppose -3*s = x - 4091, -5*s + 20485 = 9*x - 4*x. Does 41 divide x?
True
Does 29 divide (-35)/28 - (-21956)/16?
False
Let s = -2 + 21. Suppose -a + 11 = -r, 5*a + s = -3*r + 2. Let c = 27 + r. Is 6 a factor of c?
True
Let l be 0 + 4 - (3 + 1 + 265). Let t = l + 455. Does 20 divide t?
False
Let v(z) = -85*z + 2. Let b be v(-2). Let y = 409 - b. Suppose 2*a - y = -n - 4*n, n - a = 53. Is 20 a factor of n?
False
Let v = 10 + -10. Suppose 0 = -4*p + 3*x + 353, v = -3*p - x + 4*x + 261. Does 24 divide p?
False
Suppose 5*g - 3*h - 778 - 782 = 0, 5*g + 5*h - 1600 = 0. Does 17 divide g?
False
Let w(u) = -9*u**3 - 3*u**2 - 36*u + 2. Is w(-7) a multiple of 13?
False
Let z = 17 + 1. Does 8 divide (-7)/(12/z + -1)?
False
Is (10/(-6))/(441/162 + -3) even?
True
Let r = 10 + -13. Let q(b) = -b. Is 3 a factor of q(r)?
True
Let t be (624/(-36))/(4/(-6)). Let p(o) = 6*o + 44. Does 10 divide p(t)?
True
Let n(w) = -w**3 + 11*w**2 - 10*w + 2. Let q be n(10). Suppose x - 9 = -q*x. Does 10 divide 55 - (x + 0 + 1)?
False
Let a(l) = -l + 4. Let k be a(-7). Let x(y) = -7*y + 2 - 6 + 3*y - k. Does 2 divide x(-7)?
False
Let b = 1423 + -1154. Is b a multiple of 13?
False
Suppose -3*f = -59 - 229. Suppose 7*l = 3*l + f. Is l a multiple of 10?
False
Let a be 559 - (2 - (1 - 0)). Let b(k) = k**3 - 7*k**2 + 7*k + 3. Let r be b(6). Suppose -18 = -r*c + a. Is 16 a factor of c?
True
Suppose 18 + 82 = -5*o. Let g = -36 - o. Let d = -2 - g. Is 5 a factor of d?
False
Let q be (-8)/10*5/(-1). Let w(h) = 2*h**3 + q*h**2 + 4 + 5*h + 3*h**2 - h**3. Is 7 a factor of w(-3)?
False
Suppose -2*g + 2376 = 25*g. Is 12 a factor of g?
False
Let h(u) = 3*u**3 - u + 10. Does 22 divide h(3)?
True
Let o(b) = -557*b - 19. Is 56 a factor of o(-1)?
False
Let k = -575 - -815. Does 15 divide k?
True
Suppose 5*j - 4*j - 3 = 0. Suppose -j*x = -2*x + 11. Let v = x - -17. Does 2 divide v?
True
Let q be 126 - (-1)/(4/(-12)). Is 4/24*2*q a multiple of 18?
False
Let w = -23 - -25. Let u be 1*8/(2/w). Is 5 a factor of (u/(-5))/((-7)/175)?
True
Let v(b) = b - 9. Let j be v(9). Suppose -4*s + 10 = -2*h, h + j*h + 15 = 4*s. Let g = 17 + s. Is 11 a factor of g?
True
Let k(j) = -j**2 + 3*j + 10. Let c be k(5). Suppose -2*u - i = -107, c*u - 239 = -4*u + 3*i. Is u a multiple of 9?
False
Is (-42)/(-294) - 1593/(-21) a multiple of 2?
True
Suppose 5*u + h + 0*h + 128 = 0, -5*h = 5*u + 120. Suppose -g - 4 = 4*l, -5*g + 2*l + 90 = -0. Is g/104 + (-360)/u a multiple of 6?
False
Suppose 6*f - 111 - 117 = 0. Is 7 a factor of f?
False
Suppose -15555 = -43*x + 49590. Is 15 a factor of x?
True
Let j(c) = 72*c - 5. Is 67 a factor of j(1)?
True
Suppose 4*g + 3*c + 14 = 0, -2 = 5*g + 3*c + 17. Let b be (-216)/g - 8/(-10). Suppose -17 + 2 = -3*m, 2*l + 4*m = b. Does 6 divide l?
True
Suppose 6*d - 34 = -4. Suppose d*i + 384 = 8*i. Suppose 3*p + p - i = 0. Does 8 divide p?
True
Suppose -12*h = -15*h + 360. Suppose 0 = 2*s - 5*o - h, -3*o = 3*s - 2*o - 146. Is 5 a factor of s?
True
Let c = 922 - 746. Does 6 divide c?
False
Suppose -4*i + 20 = -3*a, -i + 3*a + 6 - 1 = 0. Suppose i*v + 4*y - 222 = -54, -3*v + 98 = y. Is 3 a factor of v?
False
Let m(c) = -10*c**3 - c**2 + 1. Let z be m(-1). Suppose 0 = -8*a + z*a - 6. Suppose a*t + 13 = 103. Is 10 a factor of t?
True
Suppose -1947 - 1562 = -5*b - 3*v, 3*v = 4*b - 2791. Suppose 5*f - 664 = 4*c, -7*f + 2*f - 5*c = -b. Is f a multiple of 28?
False
Let i be (1/(-1))/((-1)/74). Suppose -672*c - 572 = -685*c. Let o = i - c. Is 15 a factor of o?
True
Let z be (-1)/3 - (-772)/(-6). Is 11 a factor of 3/(-36)*z*4?
False
Let r be (-4)/(-5) + (-1104)/(-20). Does 11 divide (-7)/(r/12)*272/(-6)?
False
Let d = 2112 + -906. Is d a multiple of 18?
True
Let m be 1 + (-2)/(-1 - -3). Let o(h) = 5*h - 6. Let s be o(4). Suppose b - s + 4 = m. Does 10 divide b?
True
Let n(t) = 9*t + 441. Does 4 divide n(-4)?
False
Is 2 a factor of 6/4*48732/279?
True
Let o(k) = 4*k**2 - k. Let b(w) = -16 + 8 - 2*w - 17. Let m be b(-11). Is 8 a factor of o(m)?
False
Let f(y) = y + 13. Let r be f(-6). Suppose -q = -r*q + 558. Does 31 divide q?
True
Suppose -4*v + 5*j = -0*v - 68, -20 = -5*j. Is 11 a factor of 22/(24/(-108) + v/18)?
True
Suppose j - 2*j + 395 = 5*v, 4*j + 370 = 5*v. Let h be (1 + -2 + 0)*-109. Let s = h - v. Is 13 a factor of s?
False
Let x = -38 - -42. Suppose -y - x*p + 12 = 2*y, 0 = 3*y - p - 12. Is y a multiple of 4?
True
Let n be (-2)/(4*1/80). Suppose -60 - 60 = -6*z. Let p = z - n. Does 15 divide p?
True
Let t(k) = k**2 - 12*k - 16. Let j be t(-14). Suppose -j = -3*v - v - 2*z, -5*v = 5*z - 425. Is v a multiple of 32?
False
Let f be ((-412)/3)/(18/(-27)). Suppose 194 + f = 4*c. Suppose 2*t = -3*t + c. Is t a multiple of 10?
True
Suppose 0 = 2*q - 8, 4*n + q = 4*q - 4. Suppose -n*w + 117 + 51 = 0. Is w a multiple of 42?
True
Suppose 3*u = 1 + 5. Let p(d) be the second derivative of 13*d**3/2 - 9*d. Is p(u) a multiple of 26?
True
Let t = 4211 + -6577. Is 4/32 + t/(-16) a multiple of 31?
False
Let i be (120/(-50))/((-2)/5). Does 10 divide (-4 + 0)*((-5)/10 - i)?
False
Let u be (4/(-7))/(26/(-91)). Suppose 0 = 5*w + 2*l - 153, -u*w = 5*l - 27 - 30. Let i = 63 - w. Is i a multiple of 16?
True
Does 15 divide -6*(2 - -1)*(-65)/15?
False
Suppose 5*s + 3 = 8*s. Let w be 2 + s + 1 + -1. Suppose 9 = -w*p, 4*r - r = -2*p + 153. Is r a multiple of 22?
False
Is 32/(-304) + (172716/(-57))/(-1) a multiple of 30?
True
Let b = 69 + -53. Is b a multiple of 12?
False
Let r(f) = -2*f**2 + 3*f - 1. Let k be r(2). Let i(z) = z + 6. Let c be i(k). Suppose 2 = -5*n - c*t, -n - t = 1 + 1. Is 2 a factor of n?
True
Suppose -3*b - 38 - 58 = 0. Let a = -26 - b. Suppose 16 = -a*j + 7*j. Is 4 a factor of j?
True
Let u(a) = a**3 - a**2 + 163. Let t(k) = -k + 12. Let m be t(12). Let x be u(m). Suppose 2*b + 220 = 4*n, n + 2*n - x = b. Is 16 a factor of n?
False
Let o = -455 - -742. Does 7 divide o?
True
Suppose -j = -3, 5*j = 14*x - 15*x + 983. Is x a multiple of 44?
True
Let z = -7 - -43. Let l(c) = 24*c. Let x be l(3). Let s = x - z. Is s a multiple of 12?
True
Let t be 145/(-2*(-1)/(-4)). Let b = t + 427. Is b a multiple of 31?
False
Suppose 4*q + 11*o - 1760 = 9*o, -2*o - 450 = -q. Does 10 divide q?
False
Let s = -3180 - -5236. Is s a multiple of 53?
False
Suppose -268 - 1178 = -2*f. Is f a multiple of 65?
False
Suppose 4*j - 1051 - 105 = 0. Is 17 a factor of j?
True
Let g(x) = 87*x - 855. Does 7 divide g(29)?
False
Let g(n) = n**2 - 6*n + 23. Suppose -7*p = -8*p + 10. Is g(p) a multiple of 10?
False
Suppose 3*x = -3*w - x + 34, -x = -w + 2. Suppose -6 - w = -3*c. Suppose n + 4*h + 55 = 2*n, 2*n + c*h - 134 = 0. Does 19 divide n?
False
Does 18 divide (20/(-25))/((-42)/123795)?
True
Is (-981)/(-1) - (-95 - -84) a multiple of 16?
True
Let i(z) = -z**2 + 2*z + 11. Let u be i(0). Let h be (-371)/(-77) - (-2)/u. Suppose 26 + 4 = h*q. Does 2 divide q?
True
Let x(i) = -10*i + 24. Let j(o) = 9*o - 25. Let z(m) = 6*j(m) + 5*x(m). Is z(16) a multiple of 17?
True
Suppose 0 = -3*v + 2*f + 2654, -33*f + 30*f = -5*v + 4423. Is v a multiple of 78?
False
Suppose 5*h = -c + 396, 20 = 3*h + 5*c - 222. Suppose -2*p = 19 - h. Is p a multiple of 7?
False
Let k(v) = 13*v**2 - 9*v + 29. Is k(6) a multiple of 16?
False
Let z = 35 - 29. Suppose w = -z*w + 336. Is 6 a factor of w?
True
Suppose r = -19*r + 40340. Does 8 divide r?
False
Let g = 2 - 0. Suppose 3*c = -4*q + 196, -3*c + 118 = g*q - 70. Does 20 divide c?
True
Let x(r) = -r - 11. Let u be x(-14). Suppose 2*j + u = 13. Suppose -j*m + 30 = -425. Does 22 divide m?
False
Let u(b) = 2*b - 6. Let d be u(7). Let j be (6/4)/(d/208). Let w 