 be v(-2). Let z = 10 + m. Does 23 divide z?
False
Let f be (6 - 0)*5/(-10). Is 184/12 - (0 + (-1)/f) a multiple of 15?
True
Suppose -3*b - 1360 = -4*m, 2*m - 5*b - 680 = -0*m. Does 79 divide m?
False
Suppose 5*y - k + 165 = k, y + 51 = 4*k. Let n = y - -44. Is 3 a factor of n?
False
Let u be (-114)/(-15) - (-12)/(-20). Let z(n) be the first derivative of n**3/3 - 3*n**2/2 - 9*n - 1. Is 14 a factor of z(u)?
False
Let r = 2525 + -1085. Is 30 a factor of r?
True
Let n(s) = -5*s + 1 + 0*s + 1. Suppose 5*o - 2*k = -24, 4*o - 4*k + 14 = -5*k. Is 11 a factor of n(o)?
True
Does 13 divide (-88)/42 + 2 - (-1913048)/777?
False
Suppose -2*n + 2427 = 3*u, 0 = -2*n - 9*u + 5*u + 2428. Is 25 a factor of n?
False
Let h = -210 - -533. Suppose 0 = -5*r - d + h, -2*r + 5*d - 143 = -4*r. Is r a multiple of 16?
True
Let u = -99 + 175. Does 4 divide u?
True
Let a be ((-18)/8)/((-5)/20). Suppose -a*w = -2*w - 168. Does 4 divide w?
True
Suppose 4*h - 725 = -3*g + 977, 3*h - 1135 = -2*g. Is g a multiple of 24?
False
Suppose -6*w - 1990 = -8248. Is w a multiple of 65?
False
Let q(o) = 11*o**2 - 5*o - 6. Let u be q(5). Let v = -77 + u. Let f = 237 - v. Is f a multiple of 35?
True
Suppose 2*a + 8 = -x, -26 + 6 = 5*x. Let d be 1 - ((-8)/a + -8). Is 6 a factor of 3 - (-4 + d)*-21?
True
Let v be (-2)/8 + (-21)/(-4). Suppose 0 = 2*t - 0*t - v*f - 66, 4*f + 33 = t. Is 9 a factor of t - 1 - (-4)/4?
False
Does 38 divide (-439)/((3 - 2) + -2)?
False
Suppose 5*i + 8 = 7*i. Suppose -8*z + i*z = -4*f - 120, 2*z = -f - 30. Let q = 109 + f. Is 18 a factor of q?
False
Is 17 a factor of 192465/147 - (-2)/(-7)?
True
Let v be (2/1)/((-4)/(-32)). Suppose 5*r = -2*p + 33 - 5, -r - v = -2*p. Let n = -5 + p. Is n a multiple of 3?
False
Suppose 7*i = -323 - 167. Is 9 a factor of ((-66)/(-55))/((-2)/i)?
False
Suppose -3601 = -17*d + 4*d. Suppose d = 3*g - 8. Is 19 a factor of g?
True
Suppose 2*x + 2 = -3*a + 5, x = 0. Let l(c) = a - 5 + 3 - 21*c. Is 7 a factor of l(-1)?
False
Suppose 10*n - 11*n - 5*o = -3592, -3*n - 5*o = -10816. Does 165 divide n?
False
Let t(x) = -x - 1. Let p be t(-4). Let f(k) = -2 + k + 3*k + 7*k**2 + 1 + k**p - 2. Is f(-5) a multiple of 9?
True
Does 17 divide ((-459)/(-5))/(33/110)?
True
Suppose 2*a - 8 = 0, 9*a = 5*o + 7*a - 2397. Is 13 a factor of o?
True
Let a be 4207/28 + (-6)/(-8). Let r = 225 - a. Is 12 a factor of r?
False
Let z(p) = p**2 + 8*p + 407. Does 10 divide z(0)?
False
Let o = 4005 + -2073. Is 42 a factor of o?
True
Let m(h) = -2*h**2 - 9*h + 3. Is 2 a factor of m(-4)?
False
Let h(w) = w**3 - 8*w**2 + 3. Let p be h(8). Suppose 182 = p*l - 277. Suppose -2*g = g + r - l, 4*r + 64 = g. Does 13 divide g?
True
Let t(p) = p**3 + 8*p**2 - 31*p + 5. Does 8 divide t(7)?
False
Is 36 a factor of 1885 - ((-66)/11 + 6)?
False
Let b = 875 - 526. Is 6 a factor of b?
False
Suppose -4*g = -4*x + 452, -4*x + x = 2*g - 354. Is 9 a factor of 4 + (-5)/1 + x?
False
Let b = -154 + 89. Let r = b + 177. Is r a multiple of 28?
True
Let o(p) = -39*p - 30. Let a be o(-6). Suppose -5*b = -2*b + 6, 0 = -4*w - 2*b + a. Is 13 a factor of w?
True
Suppose -2*l + 10 = 0, 5109 = 2*j + 3*l + 1734. Is j a multiple of 5?
True
Suppose 4*w - 3*d - 797 = 0, -4*w + d - 801 = -8*w. Let s = 205 - 203. Suppose -s*k - 3*k + w = 0. Is 13 a factor of k?
False
Suppose 75600 = 55*m - 30*m. Is 121 a factor of m?
False
Let v(o) = -o**2 + 5*o + 2. Let n be v(4). Let d(x) be the second derivative of x**4/12 + x**3 + 3*x**2/2 + 9*x. Is 15 a factor of d(n)?
True
Let h(g) = -g**3 + 14*g**2 + 8*g + 56. Is 14 a factor of h(14)?
True
Let c(u) = 4*u + 18. Let z be c(-6). Let r(h) = h**2 + 6*h + 6. Is r(z) a multiple of 2?
True
Let y = -92 + 92. Suppose 5*f + 15 = y, 2*o - 223 = -2*f + 3*f. Is 10 a factor of o?
True
Suppose -y = 4*y - 400. Suppose 5*c - c - a = y, -3*a + 40 = 2*c. Is -1*410/(c/(-4)) a multiple of 20?
False
Let v(q) = -q**2 - 9*q + 25. Suppose 3*g = -5*p - 54, -5*p = 5*g - 10*g + 30. Is v(p) a multiple of 16?
False
Suppose 767 = -2*p + 5*p + 4*j, 2*j - 10 = 0. Is p even?
False
Suppose 5*h + 3*f - 2603 = 0, 355 = 2*h + 5*f - 671. Is h a multiple of 3?
False
Let g(v) = 2*v**2 + 8*v + 6. Let w be g(-9). Suppose 4*c = -3*l + 104, 4*c + 4*l = -l + w. Does 29 divide c?
True
Let m be ((-244)/(-16))/(2/8). Let t be (m/(-4))/(2/(-8)). Suppose -3*b = -3*l + b + t, 5*l + 4*b = 155. Is l a multiple of 6?
False
Let q = -18 - -7. Let b(w) be the first derivative of -w**3/3 - 9*w**2 - 3*w + 19. Is 14 a factor of b(q)?
False
Let w = 7 + -4. Suppose -390 = -w*t + 105. Suppose 88 = 2*l - d - 3*d, -t = -4*l - 3*d. Does 14 divide l?
True
Let i(h) = -h**2 - 32*h + 21. Let s be i(-17). Suppose 2*x = 4*b + s, 3*x = -x + 4*b + 564. Is x a multiple of 35?
False
Let l(t) = 9*t**2 + 8*t + 21. Is l(6) a multiple of 32?
False
Let n(v) = -v**3 + 12*v**2 - 12*v + 9. Let j be n(11). Is j - (-9)/((-27)/(-258)) a multiple of 14?
True
Let b = -597 - -1054. Does 11 divide b?
False
Let z(t) = 5*t - 4. Let w be z(2). Suppose -w*q = -2*q + 2*p - 104, -3*q = p - 76. Suppose -q = -4*u + 24. Is 12 a factor of u?
True
Let n be (-2 - 12/(-7))*(-35)/5. Is -6 + 11/n - (-506)/4 a multiple of 14?
True
Suppose 0 = -0*d + 4*d - 40. Suppose 23*z = 22*z + 17. Let g = d + z. Is g a multiple of 9?
True
Suppose 4*a = 18 - 6. Let x be (0/3)/(a - 5). Suppose c + b - 1 - 23 = x, 0 = c - b - 30. Does 8 divide c?
False
Suppose 130*l - 2904 + 44 = 0. Is l a multiple of 10?
False
Let u(b) = -b**2 + 53 + 60 - 116 + 13*b. Let t = 18 - 11. Does 13 divide u(t)?
True
Suppose -2*o - 3*o = -600. Is 30 a factor of o?
True
Suppose 2*a = -3*n + 11704 - 3369, 4*a - 4*n - 16680 = 0. Is 19 a factor of a?
False
Let x(z) = z**3 - 5*z**2 - 5*z. Let c be x(7). Suppose -c = -4*n + 3*a, n - 4*a + 2*a - 12 = 0. Is 9 a factor of n - 0/((-4)/(-4))?
True
Suppose k = 6*k. Suppose k = -4*n - 0*n + 4. Does 13 divide -1 - n - (-23 - -6)?
False
Let h(k) = k**3 - 16*k**2 - 18*k + 20. Let p be h(17). Is 32 a factor of p/3 - (-165)/3?
False
Let g = 53 - 49. Suppose 0 = -2*o - 4*t + 42, -2*o + g*o - 12 = 2*t. Is 8 a factor of o?
False
Let a(g) = -3*g - 3. Let s be a(-3). Let l be ((-1298)/33 - 10)/((-4)/6). Does 5 divide l/s - (-1)/(-3)?
False
Let d be 30/(-9) + 3 - 80/12. Let u(f) = -f**3 - 4*f**2 - 4*f + 15. Is 19 a factor of u(d)?
True
Let o(t) = -29*t - 9. Let l(d) = 9*d + 3. Let p(q) = 11*l(q) + 4*o(q). Let f = -1 + -3. Is p(f) a multiple of 24?
False
Suppose 978 - 246 = 6*t. Is 14 a factor of t?
False
Suppose l - 4*l = -9. Suppose w - 48 = 5*d + 32, l*w - 216 = 3*d. Does 14 divide ((-4)/(-10))/(1/w)?
True
Let q(k) = -2*k**2 + 48*k - 10. Is q(9) a multiple of 26?
True
Suppose 0 = -4*f + 820 - 148. Suppose 5*b + 38 = f. Is 13 a factor of b?
True
Suppose -5*v + 2*v = 0. Suppose -q = 3*q - t - 327, t - 1 = v. Does 10 divide q?
False
Is 36 a factor of (-10 + 294/35)/((-2)/1740)?
False
Let x(h) = -h**3 - 6*h**2 - 5*h + 2. Let i be x(-5). Let s be i - (3 + (-132)/4). Suppose 3 + s = k. Is 13 a factor of k?
False
Suppose -2*b = -2*q, -15 = -5*q + b + b. Suppose -424 = -q*z - 99. Does 14 divide z?
False
Suppose -2*j = -5*k - 110, -3*j + 4*j - 54 = 2*k. Suppose h - 3*h + j = 0. Let m = 9 + h. Does 34 divide m?
True
Let f be ((-18)/(-42))/((-3)/(-21)). Let p be 3 - (0 + (0 - f)). Suppose -p*w = -w - 110. Does 4 divide w?
False
Let h(c) = -c**3 - 6*c**2 - 30*c + 27. Does 30 divide h(-9)?
True
Let i = -16 + 13. Let m(a) = 16*a**2 - a - 2. Let q be m(i). Suppose 13*r - q = 8*r. Does 25 divide r?
False
Let r(j) = -3*j**2 - 3*j + 2. Let w be r(2). Let q(u) = -3*u**2 + 19*u + 8. Let o(k) = 5*k**2 - 20*k - 8. Let l(g) = -2*o(g) - 3*q(g). Is 4 a factor of l(w)?
True
Suppose 0 = -x - 2*z + 8, -1 = -3*z + 8. Suppose 5 = -x*h + 19. Suppose -2 = a, 3*a = -3*b + 16 - h. Is b even?
False
Suppose 0 = -4*f - d - 6 + 2, 3*f - 2*d - 8 = 0. Suppose -a - a = f. Is 11 a factor of -4 + 6 - (-20 - a)?
True
Let x be (-34)/(-4) + 2/(-4). Let a = 13 - x. Suppose 8 = q + 2*d - 16, -5*q + 90 = -a*d. Is q a multiple of 10?
True
Let z = 68 + -64. Let u be 1606/6 + 1/3. Suppose -x - 3*x + u = -4*l, 0 = -z*x + 5*l + 273. Does 16 divide x?
False
Let r(i) = -i**2 - 8*i + 2. Let v(k) = -2*k**2 - 9*k + 1. Let a(f) = -3*r(f) + 2*v(f). Let b be a(6). Is 33 a factor of (651/14)/((-2)/b)?
False
Suppose 0 = -p + 2*v + 3, 0 = 2*p + 