= 2*p**3 - 8*p**2 - 7*p - 2. Let j be q(5). Suppose 2*l - 87 - j = 0. Does 25 divide l?
True
Suppose -880 = -n - n. Suppose 4*b + 352 = -3*a, 4*a - 4*b + 2*b = -n. Does 19 divide (-1)/(-1) - a/2?
True
Let v = 325 + -817. Let g = -270 - v. Is g a multiple of 39?
False
Let j(l) = 3*l - 10. Let p be j(12). Suppose z + 5*u - p = 0, -u - 7 - 12 = -2*z. Is z a multiple of 11?
True
Let b = 73 + 50. Does 2 divide b?
False
Let k = 178 - -14. Is 16 a factor of k?
True
Let g(b) be the third derivative of -b**5/60 - b**4/4 + 7*b**3/6 - 3*b**2. Let k be g(-9). Let t = k - -35. Does 3 divide t?
True
Let k = 20 - 19. Let s be 105/7 + (-1)/k. Suppose -2*l = -16 - s. Does 3 divide l?
True
Let w = -697 + 1075. Is w a multiple of 21?
True
Suppose 5*q - 10 = 0, -2*h + 3*q = -7*h + 376. Does 3 divide h?
False
Suppose 0*k + 5*k = -5*n + 255, 3*n = k + 141. Suppose 0 = -13*o + 5*o + n. Is o a multiple of 2?
True
Suppose g = 12 - 6. Is 6 a factor of g/(-4)*620/(-30)?
False
Does 13 divide 7 + (-180)/24 + (-2134)/(-4)?
True
Let o(s) = 11*s**3 + 3*s**2 + 2*s - 6. Is o(2) even?
True
Let u(d) = -54*d + 191. Is 100 a factor of u(-20)?
False
Let y be (-2)/(4/32*4). Let z be y/3*(-24)/(-16). Is (-54)/(-2 + (z - -2)) a multiple of 7?
False
Let b be 5 + (-36)/(24/6). Does 3 divide (23 - 1/(-1))*(-2)/b?
True
Suppose 8*f - 18 = 30. Suppose -4*h = f - 378. Does 20 divide h?
False
Let z be 4/(-10) + 186/15. Suppose -2*b + 4*g + 16 = -10, z = -3*g. Suppose b*m + f - 182 = 0, 5*m - 2*f = -f + 178. Does 12 divide m?
True
Suppose -3*x + 33 = 3*q, 0 = 5*q - q - 4*x - 84. Let u = q - 12. Suppose -r + 50 = u*r. Is 7 a factor of r?
False
Let t(f) = -f**3 - 17*f**2 - 2*f - 6. Let b be t(-17). Suppose b*i + 2 = 29*i. Suppose 5*c - i*c = -4*x + 172, 0 = -3*c + 3*x + 165. Is 14 a factor of c?
True
Let y(f) = -2*f**2 - 8*f - 12. Let k be y(-3). Is (4/k*-7)/(1/36) a multiple of 42?
True
Suppose v + 3*b - 145 = 0, -5*b + 542 = 4*v - 52. Is v a multiple of 11?
False
Suppose -54*a - 754 + 26458 = 0. Does 2 divide a?
True
Let o(l) = 157*l - 26. Does 15 divide o(5)?
False
Let x(t) = 11*t**3 + 2*t**2 - 3*t + 2. Suppose -15 = -0*i - 3*i. Suppose -i*y = -6*y + 1. Is 4 a factor of x(y)?
True
Let b be (284/12)/((-2)/(-6)). Suppose -z + 122 = 3*l, 3*l - 66 = -4*z + b. Is 9 a factor of l?
False
Suppose -6412 = -15*o + o. Is o a multiple of 22?
False
Suppose 0 = o - 7 - 7. Let a = o + -11. Suppose 0 = 5*n - 10, 2*n - 7*n = a*i - 154. Does 12 divide i?
True
Suppose -2*t - 2 = 0, -3*q + 0*t = 2*t - 1882. Is q a multiple of 10?
False
Suppose 11*n - 49663 = -4090. Is 105 a factor of n?
False
Suppose -c - g + 1634 = 0, 2*c + 978 = 4*g + 4222. Suppose -14*y + c = -1156. Does 31 divide y?
False
Suppose -m + 5 + 0 = 0. Let h be (-5)/5 - (1 - m). Is (-27)/(-18)*94/h a multiple of 28?
False
Is 15 - 42/(10 + -3) a multiple of 9?
True
Let i = -12 - -133. Suppose b - 54 = x, 3*b - 4 + 127 = -2*x. Let s = i + x. Is 16 a factor of s?
True
Let j = -186 - -337. Does 9 divide j?
False
Let b be 1/1 + (-2 - -5). Suppose -3*j - 6 = -3*q, 2*q + 4*j - b = 2*j. Suppose 71 = -o + q*o. Is o a multiple of 24?
False
Suppose f = 6*f + 4*r - 1012, -3*f - 5*r = -602. Suppose 0 = -4*c + 24 + f. Let b = -31 + c. Is 21 a factor of b?
False
Let o be 4/22 + (-2190)/66. Is 46 a factor of 22/o*(-138 - 0)?
True
Let b(s) = 4*s - 13. Let m = -4 - -10. Let y(k) = 12*k - 38. Let w(f) = m*y(f) - 17*b(f). Is 9 a factor of w(7)?
False
Suppose 3*x - 276 + 4 = -5*r, 5*x = -r + 72. Is r a multiple of 13?
True
Suppose -g + 2*j = 12, 3*g + 5*j = 4*g. Is (-196)/(-20) - 4/g a multiple of 8?
False
Suppose 3*s = 51 + 27. Let w = s + 72. Does 9 divide w?
False
Let u be ((-1)/3*3)/(1/41). Is -1*(u + (0 - -1)) a multiple of 20?
True
Suppose -c + 4 = 5, 3*l - 11 = -c. Suppose 4*m + 5*b = 22, 6*m - 7 = m + l*b. Suppose m*u + 8 - 53 = 0. Is u a multiple of 15?
True
Let k = 87 - 85. Let z(w) = 5*w**3 + 1. Is z(k) a multiple of 19?
False
Let z be (-3 - -2 - 1) + (8 - 2). Let a(n) = 17*n**2 - 3*n + 3. Let d be a(2). Does 4 divide d/z + 2/(-8)?
True
Let u = -108 - -330. Is u a multiple of 13?
False
Suppose -5*g + 31 = -4*g - 2*b, 0 = -4*b + 8. Let m(f) = -f + 52. Let y be m(5). Let n = y - g. Is n a multiple of 11?
False
Let l = 12 - 12. Suppose -b - 5*t - 24 = 0, 4*b - t = -l*t + 9. Let u(n) = 15*n**2 + n - 2. Is 10 a factor of u(b)?
False
Suppose 2*z - 7*z + 116 = 2*f, 2*z + 49 = f. Does 10 divide f?
False
Let f be (2/(-6))/(2/(-36)). Suppose -f = -3*j + 2*j. Is (-4)/(-4)*4*j a multiple of 8?
True
Suppose -226 = -6*n + 50. Is n a multiple of 3?
False
Let y(b) = -b**2 - 8*b. Let r(m) = 9*m - 11*m + 3 + 4*m + m. Let q be r(-3). Does 4 divide y(q)?
True
Let l = 1502 - 1462. Is 11 a factor of l?
False
Let h(c) = -3*c**2 - c - 1. Let a = -18 + 20. Let t be h(a). Is t/(-10) - 38/(-4) a multiple of 9?
False
Is ((-3597)/(-44))/((-6)/(-16)) a multiple of 18?
False
Let d be -4 - (19/(-5) + (-5)/25). Suppose d = 2*h - 73 - 211. Is h a multiple of 12?
False
Let z = -25 - 34. Let o be (-224)/7*(0 + -4). Let d = z + o. Does 23 divide d?
True
Suppose -52*g - 20240 = -96*g. Is 92 a factor of g?
True
Suppose q + q = -3*a + 11, 2*a - 4*q - 18 = 0. Suppose 0 = -a*y + y + 456. Is 57 a factor of y?
True
Let z(k) = -43*k - 187. Is 11 a factor of z(-15)?
False
Suppose -4*a + 48 = g, -3*g - a + 162 = g. Let q(x) = 3*x. Let v be q(1). Suppose -v*s - s + g = 0. Is 5 a factor of s?
True
Suppose 4 = 3*d + 10, w + 3*d = 1005. Does 4 divide w?
False
Suppose -k - 2*k + 1101 = 5*j, -4*j + 4*k = -900. Does 5 divide j?
False
Suppose 4*g + 1910 = 2*k, -5*k + 7*g = 8*g - 4720. Does 15 divide k?
True
Suppose 4*a - 55 - 29 = 0. Is 2 a factor of a?
False
Let p(z) = -z**3 + 5*z**2 + z - 6. Let w be p(5). Let a = 2 - w. Suppose -5*q - a*t = -q - 73, 2*q + t = 37. Does 8 divide q?
False
Suppose -23*z = -26*z + 594. Does 44 divide z?
False
Let l(f) = -43*f - 65. Does 24 divide l(-11)?
True
Let x be 1/4*4*327. Suppose -5*w - 3*l + 537 = 0, -3*w + x = l + 2*l. Suppose 3*u - 5*a = w, -5*u + 47 = 5*a - 168. Does 20 divide u?
True
Let q = -194 - -188. Let m(w) be the third derivative of w**4/24 + 7*w**3/3 - 2*w**2. Is m(q) a multiple of 8?
True
Let k = -2 - -8. Let g(t) = -2*t**2 + 10*t - 4. Let f be g(k). Is 2 - (f/1 + 0) a multiple of 6?
True
Let o be 21/(-7)*(-1 + 0). Suppose -q = 4*f - o*q - 34, -f + 2*q = -1. Is f a multiple of 5?
False
Let f be 14/1 + (-10 - -8). Suppose 0 = -11*x + f*x + 5. Does 2 divide 81/15 - 3/x?
True
Let r(t) = t**3 - 7*t**2 + 6*t + 4. Let l be r(6). Suppose c = -1, -l*c - c = -4*d + 41. Suppose d*v - 5*v = 28. Is v a multiple of 3?
False
Suppose -10394 - 6598 = -24*j. Is 2 a factor of j?
True
Let j be (-1)/((-2)/36*2). Suppose j*o - 8*o = 86. Suppose -t - o = -5*t + 2*g, -3*t - 5*g + 84 = 0. Is 6 a factor of t?
False
Suppose 0 + 40 = -2*w. Let h = 20 + w. Suppose -2*c + 3*c - 40 = h. Is 25 a factor of c?
False
Does 9 divide (28/(-42) + (0 - 0))*-471?
False
Suppose 19*w - 15*w = -2*q + 744, 0 = 2*w - 2*q - 384. Is w a multiple of 47?
True
Suppose -19*r + 1044 = -3212. Does 8 divide r?
True
Let x be (9/12)/((-1)/4). Let t = x + 3. Suppose -v = v - 3*s - 29, 5*v + s - 47 = t. Is v a multiple of 10?
True
Let a = -1006 - -1594. Does 116 divide a?
False
Let x = 16 - 13. Suppose 5*n + 274 = x*f, n = -2*f + 3*f - 90. Is 11 a factor of f?
True
Let y = -64 + 69. Let n(a) = 2*a**3 - 5*a**2 - 5*a - 7. Does 19 divide n(y)?
False
Suppose -4*r - 53 = -573. Does 14 divide r?
False
Let b(y) = -25*y + 21. Is b(-12) a multiple of 26?
False
Is 2/(-18) + 15690/27 a multiple of 49?
False
Suppose 70*l + 22150 = 93970. Does 107 divide l?
False
Let x = -11 + 6. Let t(s) = -4*s**2 + 3*s + 3. Let p(d) = -d**2 + d + 1. Let b(j) = -5*p(j) + t(j). Is b(x) a multiple of 11?
True
Let h(l) = -357*l + 3. Is 17 a factor of h(-3)?
False
Suppose 0 = 5*s + 3*r - 4738 - 1894, 3984 = 3*s + 3*r. Is s a multiple of 45?
False
Suppose -11 = -4*c + c - 2*n, -c = -3*n - 11. Suppose 0 = -4*k - a + 5, -k + 4*a = 3*a - c. Is 10 a factor of k - (1/1 - 30)?
False
Is 13 a factor of -2703*(2 + -1)*(-152)/456?
False
Does 17 divide 3*14/(-6)*612/(-14)?
True
Suppose -967 = 5*h - 2667. Does 20 divide h?
True
Is (-12)/32 + 11288/64 a multiple of 4?
True
Let x(g) = -9*g + 2*g**2 + 1 - 2*g**2 - g**2 + 6. Suppose 3*n - 2*z + 17 = 0, 0*n - 2*