- 20 = -2*o. Let x be (-4)/10 + 4/o. Suppose 285 = 5*f + 3*h - 8*h, x = -5*h. Is 16 a factor of f?
False
Let w(f) = -5*f**2 + 9*f + 3. Let n(p) = -14*p**2 + 26*p + 10. Let v(s) = -4*n(s) + 11*w(s). Let y be v(9). Suppose 4*m - y = 43. Does 9 divide m?
True
Let b(d) = 21*d + 1. Let j be b(-1). Let n = j + 57. Suppose 0*r + r - n = -2*t, -3*t = -r - 63. Does 4 divide t?
True
Let g(v) = 12 - 8*v + 2*v + 3*v. Let i be g(-8). Let a = i - -27. Does 20 divide a?
False
Let n be (-52)/(-8) - (-2)/4. Let r be 5*-1*(-6 + n). Is (r/2)/((-10)/20) a multiple of 5?
True
Let j be (1290/9 - (-8 - -4))*3. Let n = -265 + j. Does 10 divide n?
False
Let s(t) = 2*t**2 + 2*t + 4. Let b be s(0). Let j be 2 + 0/(b + -6). Suppose 2*v = -2*v - j*u + 50, -5 = -u. Is v a multiple of 5?
True
Let z = 101 + -38. Is 5 a factor of z?
False
Is -4 + 186/45 - (-91749)/45 a multiple of 113?
False
Let j(a) = 2*a**2 + 2*a - 7. Let w(s) = -s**2 - s + 3. Let c be (-4)/(-8)*(-16)/2. Let u(l) = c*j(l) - 9*w(l). Does 3 divide u(-3)?
False
Let j(l) = -l**3 + 2*l**2 + l + 5. Let q be j(-6). Let t = 431 - q. Is 11 a factor of t?
False
Let q = 1409 - -428. Does 25 divide q?
False
Let y = 460 - 82. Is y a multiple of 33?
False
Suppose 0 = 15*n - 32 - 43. Suppose 329 + 138 = 2*z - 5*v, -n*z - 4*v = -1217. Is z a multiple of 9?
False
Let n be (12/(-10))/(5/(-50)). Let d = 17 - n. Is (-4)/(d + -4) - -44 a multiple of 8?
True
Suppose -u = -3*l + 87, -2*u = -4*l + 3*u + 116. Suppose 0 = -4*c - j + 49, 30 = 5*c - j - l. Is 12 a factor of c?
True
Suppose -4*q - 4*t - 939 = -2343, 0 = -2*q - 5*t + 714. Let b = -168 + q. Is b a multiple of 32?
False
Let p(b) = b**2 - b + 5. Let m be -3 + (7 - (-12)/(-3)). Let g be p(m). Suppose g = c - 59. Is c a multiple of 11?
False
Let r(m) = 2*m**3 - 11*m**2 + 15*m - 3. Is 59 a factor of r(8)?
False
Is 90/40*132 + -8 a multiple of 14?
False
Suppose -3*d = -u + 18, -32 = -4*u - 3*d + 5*d. Is 2015/u - 4/(-24) a multiple of 48?
True
Suppose -5*l = -3*d - 1, -2*d + 2 + 8 = 2*l. Let b(m) = 117 - d*m + m - 105. Is b(-10) a multiple of 16?
True
Let a be (-1 - 9/4)*-4. Suppose a*g - 14*g = -156. Is 33 a factor of g?
False
Let c(o) = o**2 - 4. Let x = 16 + -13. Suppose -5*q - 18 = -x. Is c(q) a multiple of 2?
False
Suppose -2*b = -y - 1336, -2*y = -5*b - 4*y + 3349. Is 11 a factor of b?
False
Let k(o) be the first derivative of 27*o**4/4 - 2*o**3/3 + o + 1. Let t be (-10)/(-25) + (-7)/((-70)/6). Is k(t) a multiple of 15?
False
Let i be (1 + 0)*(-33)/(-6 + 3). Suppose 4*u + 1 + i = 0, 0 = -3*c + 4*u + 288. Does 37 divide c?
False
Let v(f) = f**3 - 4*f**2 + 6*f + 5. Let k be v(6). Let q = 59 - k. Is (15/9)/((-2)/q) a multiple of 15?
True
Let l be 9/12 - (-55)/(-4). Let x = 81 - l. Is x a multiple of 15?
False
Suppose 3*z - 5*v - 10 = 0, 3*z - 22 = -4*v - 3. Suppose 3*w - 39 = -3*k, -5*w - 25 = -z*k + 30. Does 11 divide k?
False
Let z(o) = 8*o**2 - 19*o - 4. Is z(6) a multiple of 34?
True
Suppose -1382 = -5*i - 3*u, -6*i + 830 = -3*i + u. Is 4 a factor of i?
False
Let w = -30 - -12. Let j = -16 - w. Is (3 - 81)*j/(-4) a multiple of 9?
False
Let y be 2184/68 - (-26)/(-221). Let g be (-17)/(-2) - (-2)/4. Suppose 5*u = g*u - y. Is 8 a factor of u?
True
Let m(f) = -f + 13. Suppose 22 = 2*h - 5*o, -4*o = -3*h - 3*o + 33. Let s be m(h). Does 11 divide (-4 + s)*(3 - 22)?
False
Is 43 a factor of (-88)/(-198) - 6472/(-18)?
False
Suppose -4*s + 802 = -9*g + 12*g, 0 = -s - 4*g + 207. Is s a multiple of 21?
False
Let t(a) = -a**2 - 3*a + 4. Let h be t(-4). Suppose 3*k + 2*j = -110, h = 4*k + 3*j - 4*j + 143. Let f = 53 + k. Is f a multiple of 6?
False
Suppose -4*x + 15 = 3*g + 2, 16 = 5*x + 4*g. Suppose -x*z + 122 + 126 = 4*p, -2*z - 201 = -3*p. Is p a multiple of 16?
False
Let v = 45 + -55. Is v/(((-10)/(-27))/(-5)) a multiple of 27?
True
Is 65 a factor of (552/(-28))/23*(-1203 + -1)?
False
Let p = -30 - -580. Does 11 divide p?
True
Suppose 2*y + 1508 = 31*y. Is y a multiple of 8?
False
Let f(a) = a**3 + 7*a**2 - 3*a - 3. Let d be f(-8). Let g be (-8)/36 + d/9. Does 13 divide g*(-3 + (-81)/15)?
False
Let r(t) = 7*t**3 + 3*t**2 - t - 2. Let b be r(3). Let f = b - 115. Does 12 divide f?
True
Suppose -2*z + 8 = 0, 3*q + 3*z - 18 = 3. Let v(m) be the first derivative of m**4/2 - 2*m**3/3 - 3*m**2/2 + 3*m - 2. Is 15 a factor of v(q)?
True
Let r(y) = 4*y**3 - 32*y**2 - 14*y. Is r(10) a multiple of 10?
True
Let q(x) = -5*x + 3. Let p be q(-5). Let k = p + 23. Is 11 a factor of k?
False
Let u be (-2 + 2)/(0 + 1). Suppose -2*p - 187 = -3*d, u = -0*p + 2*p + 4. Is d a multiple of 18?
False
Let y(r) = -r**3 - 19*r**2 - r - 35. Let z be y(-19). Suppose 2*x - 142 = 4*c, -c - 4*c - 4*x = 158. Let n = z - c. Does 12 divide n?
False
Let s(k) = -20*k + 1. Let d(c) = 59*c - 3. Let i(g) = -4*d(g) - 14*s(g). Let o be (10/(-4))/(5/(-2)). Does 21 divide i(o)?
True
Let o = 23 + -19. Suppose 4*x + 18 = -3*g, 6*x - 2*x - 4*g = -o. Is 3 a factor of x*-2*3/2?
True
Suppose v - 129 = -3*v - h, -h - 57 = -2*v. Let t = v + -18. Is t a multiple of 6?
False
Let g(m) = -m**3 - 12*m**2 + m + 12. Let i be g(-11). Let q be (1/(-3))/(8/i). Let z(x) = x**3 - 4*x**2 + 5*x + 2. Does 13 divide z(q)?
True
Let b(n) = -n - 3. Let f be b(-2). Let t(g) = -20*g**3 - 2*g**2 + 1. Let a be t(f). Suppose -36 - a = -d. Does 11 divide d?
True
Let u be (-6)/33 + 303/33. Suppose -4*b + 60 = -u*b. Let w(z) = z**2 + 13*z + 14. Is w(b) a multiple of 2?
True
Let c(a) = a**3 + 10*a**2 - 9*a + 25. Let h be c(-11). Suppose -5*d + 74 - 1 = 4*k, -56 = -h*k - 5*d. Is k a multiple of 4?
False
Let z be (-2)/(-5)*(20 + 10). Let f = z - -14. Suppose 2*h - f = -2. Is 6 a factor of h?
True
Let d be 2 - 5/(20/(-56)). Let a = -5 + d. Suppose a = u - 19. Is 10 a factor of u?
True
Does 20 divide (-13)/(26/(-2852)) + (-5 - 0)?
False
Suppose 7*u = 5*u + 4. Suppose a - 209 = -2*a - 5*r, 5*r = -u*a + 141. Is a a multiple of 27?
False
Let p = -607 - -1221. Is p a multiple of 93?
False
Let n(r) = -21*r. Let x be n(-4). Suppose -x = -i + 11. Does 15 divide i?
False
Suppose w + 50 = m + 204, -3*w - 2*m + 462 = 0. Is w a multiple of 22?
True
Suppose 6*u - 11*u + 1172 = 4*p, 3*p = -5*u + 874. Is 23 a factor of p?
False
Let x = 553 + -345. Is 9 a factor of x?
False
Let g be -2 + (-5)/(20/56). Let p = g - -41. Does 5 divide p?
True
Suppose -2 = -p + 71. Suppose 7*c = p + 67. Is 10 a factor of c?
True
Suppose -1330 = 44*z - 51*z. Does 8 divide 2 + -1 - z/(-1)?
False
Suppose -3*q + 4*d + d + 1870 = 0, 5*d = 5*q - 3110. Does 5 divide q?
True
Suppose p + 42 = -3*k, 0 = 2*p - 2*k + 3 + 81. Let w = -33 - p. Is w a multiple of 9?
True
Is 9 a factor of (228/16*6)/((-2)/(-4))?
True
Suppose -5*h - 2*n + 504 = 0, 3*n + 94 = -0*h + h. Suppose -54 = -7*p + h. Does 11 divide p?
True
Let f(p) = -p**3 - p**2 + p + 1. Let t(y) = 3*y**3 - 6*y**2 - 3*y - 13. Let w(q) = -4*f(q) - t(q). Does 31 divide w(-5)?
False
Does 55 divide 11/33*(3010 + -1)?
False
Suppose 3*g = -x - 99, 4*g = -x - 18 - 81. Is 13 a factor of (x/(-3))/(3 - 2)?
False
Is (-6548)/(-14) - (-42)/147 a multiple of 13?
True
Is 43668/24*8/12 a multiple of 20?
False
Suppose -6*s + 12 = -0. Suppose -z = -s*q + 65, -5*q + 130 = 2*z + 2*z. Is q a multiple of 10?
True
Let c(p) = -4*p**3 - 18*p**2 - 13*p + 1. Let x(b) = -b**3 - b**2 + 1. Let i(g) = c(g) - 5*x(g). Let f be i(14). Suppose -126 = 4*y - f*y. Is y a multiple of 6?
False
Suppose 4*p - 34 = -s - 10, -p + 18 = s. Let j(y) = y**2 - 15*y - 12. Let g be j(s). Let i(v) = 2*v**2 + 5*v - 4. Is i(g) a multiple of 16?
True
Is 97/(((-45)/10 - -4)/(-2)) a multiple of 16?
False
Suppose 10992 - 2186 = 37*c. Does 119 divide c?
True
Let j(a) = -a**3 - a**2 + a + 1. Let y be j(-1). Suppose -14*g + 17*g - 30 = y. Is 5 a factor of g?
True
Let l(s) = 50*s**3 + 2*s**2 - 3*s + 2. Is l(1) a multiple of 2?
False
Let n = 97 + 252. Is n a multiple of 12?
False
Let o(k) = -k**3 + 19*k**2 + 26*k - 14. Is o(19) a multiple of 27?
False
Suppose -g + 52 = -46. Let w = g + -70. Is 7 a factor of w?
True
Is (4 - (-3464)/40) + (-12)/20 a multiple of 18?
True
Let t(w) = 10*w**2 + 14*w + 43. Does 7 divide t(-11)?
True
Suppose d + 0*d - 6 = 0. Let s(j) = -j**3 + 5*j**2 + 7*j - 5. Let m be s(d). Does 5 divide 15 + m/1*-1?
False
Let f(j) = j**3 - 3*j**2 - 3*j + 5. Let q(y) = -3*y - 14. Let i be q(-6). Let a be 