of -t**3 - t**2 - 4*t. Is m(-2) a multiple of 3?
False
Suppose -5*j - 47 = -287. Is j a multiple of 13?
False
Let n(x) = 8*x - 5. Suppose 0 = -4*q - 4*b - 1 - 3, -q - 5 = 2*b. Is n(q) a multiple of 9?
False
Let g(w) = -w**2 + 4*w - 1. Let v(b) = -b**3 + 4*b**2 - 2*b. Let m be v(2). Let z be g(m). Is 9 a factor of (z - 2)/3 - -19?
True
Let b(c) = -c - 1. Let k be b(1). Is ((-1236)/(-24))/(k/(-4)) a multiple of 25?
False
Let i = -144 + 192. Does 16 divide i?
True
Let f(d) be the first derivative of d**3/3 - 2*d**2 - 2*d + 1. Let c be f(5). Suppose c*w + 9 - 26 = -2*y, -w + 29 = 3*y. Does 6 divide y?
False
Let o(u) = -15*u + 12. Let x(q) = -15*q + 11. Let r(t) = 3*o(t) - 4*x(t). Is 17 a factor of r(6)?
False
Let d(i) = 2*i**2 + 4*i + 4. Let s(m) = m**3 - 6*m**2 - m + 3. Let x be s(6). Is 4 a factor of d(x)?
False
Let w = 0 - -1. Let f be (w - 1)/(1/1). Suppose -8*u + 4*u + 64 = f. Does 10 divide u?
False
Let n(m) = -m**3 - 7*m**2 - 7*m - 6. Let w be n(-6). Let f be (-14)/(-6) + 1/(-3). Suppose w = y - 16 + f. Is y a multiple of 14?
True
Let j be 6/21 + 153/(-21). Let o = j + 18. Does 5 divide o?
False
Let s(f) = 4*f**2 - 2*f. Is s(4) a multiple of 14?
True
Suppose 306 = 4*i + 126. Does 9 divide i?
True
Suppose -2*t + 104 = 2*t + 3*y, -2*y = -4*t + 84. Suppose -t = -3*z + 7. Suppose -18 = -n + z. Does 10 divide n?
False
Suppose -2*t = -2*d - 10, 2*t + 4*d - 4 = -24. Suppose 0 = -t*y - 2*y. Is -1 + y + (1 - -13) a multiple of 13?
True
Suppose 3*h + 78 = -q, 3*h + 7*q - 2*q = -90. Let x = h + 43. Does 9 divide x?
True
Is 24 a factor of (144/14)/(4/28)?
True
Suppose -v + 0*x + 11 = -4*x, 2*v + 2 = -4*x. Is 9 a factor of (v/(-5))/(5/(-75))?
True
Suppose 3*w - 5*w + 24 = j, -w + 6 = 2*j. Suppose -3*a + w = -a. Does 2 divide a?
False
Suppose 3*f + 3 = 3*p, 2*p = -4*f + 17 + 9. Does 3 divide f?
False
Suppose -5*w = 3 - 48. Is ((-6)/w)/((-4)/138) a multiple of 20?
False
Suppose -3*y + 6 = -2*y. Let i = y + -1. Suppose 15 = i*j - 15. Is j a multiple of 6?
True
Let t = -14 - -27. Suppose -4*g - t = -77. Is g a multiple of 4?
True
Let x = -15 + 33. Is 12 a factor of x?
False
Let w(j) = -j**3 + 11*j**2 + 6*j - 9. Is 48 a factor of w(5)?
False
Suppose 5*s - 31 = b, b - 2*s - s + 21 = 0. Let t(r) = -r**3 - 6*r**2 + 7. Let a be t(b). Let z(c) = 3*c - 3. Is z(a) a multiple of 9?
True
Let n = -38 + 66. Is 8 a factor of n?
False
Let m be 3 + (9/3)/(-3). Suppose 0 = -m*d + 6 + 4. Is 3 a factor of ((-4)/d)/((-3)/15)?
False
Let y = -44 - -92. Is 31 a factor of y?
False
Suppose -5*y + 130 = 15. Does 6 divide y?
False
Let m(j) = -7*j + 3. Is 10 a factor of m(-1)?
True
Let d(p) be the second derivative of p**5/20 - p**4/4 - 2*p**3/3 - p**2 - 3*p. Is d(5) a multiple of 14?
True
Suppose -4*x = -x - 144. Is x a multiple of 12?
True
Let y = 4 + -4. Let g = -3 - y. Is 8 a factor of ((-3)/(-2))/(g/(-46))?
False
Suppose 26 = l + l. Let v = -1 + l. Is v a multiple of 12?
True
Suppose -5*j + 93 = -3*d, -48 = 3*d + 5*j + 15. Let n = 51 + d. Is n a multiple of 25?
True
Let o(p) be the third derivative of p**4/24 + p**3/6 - p**2. Let x be o(10). Let w = 0 + x. Does 11 divide w?
True
Suppose 2*f - 28 = s, -3*f = -7*f + 3*s + 54. Suppose -i - f = 4*i. Let u = 17 + i. Is u a multiple of 10?
False
Suppose 4*w - 42 = 14. Does 6 divide w?
False
Is 29 a factor of 13/((-78)/(-696))*5/4?
True
Let q(u) = 3*u**3 - 3*u**2 + 2*u - 2. Is 12 a factor of q(3)?
False
Let o(a) = -a + 4. Let d be o(-9). Suppose 2*t + 5*g = -d - 4, -2*t = 4*g + 12. Does 4 divide t?
True
Let r be (-40)/6 - 4/(-6). Let p be 120/r*(-1)/(-2). Let h = p - -15. Is h a multiple of 5?
True
Suppose a + 44 = -0*a. Let s be (0/3 - 2) + 87. Let p = s + a. Does 14 divide p?
False
Let v(h) = h**2 - 2*h - 10. Let s be v(5). Suppose 16 = s*a - 14. Does 2 divide a?
True
Suppose -2*m - 4 = 0, u + 73 = -2*u + m. Let t = 37 + u. Does 4 divide t?
True
Suppose 4*r + 168 = 8*r. Is r a multiple of 21?
True
Let m = -3 + 3. Let w be (0 - m)/(-2)*-1. Suppose w = 4*j - 24 - 48. Is 11 a factor of j?
False
Suppose 0 = 3*g - 4*g. Let m(l) = l**3 - l**2 - l + 29. Is 14 a factor of m(g)?
False
Is 22 a factor of -8 + 10 - (0 - 64)?
True
Let u(b) = 9*b**2 - 1. Let f be u(3). Suppose -3*j = j - f. Is j a multiple of 10?
True
Let j = -82 + 175. Does 13 divide (j/(-12))/((-2)/8)?
False
Suppose 0 = 2*u + 2*u. Let i be 0 + (2 - (u - 1)). Suppose -g + i*y = -26, -y + 5*y = -2*g + 52. Is g a multiple of 13?
True
Let u be (-2 + -178)/4 + -1. Let c = 0 - u. Is 23 a factor of c?
True
Does 13 divide (-1228)/(-6) - -2*(-5)/(-30)?
False
Let v = 51 + -32. Does 7 divide v?
False
Let v be (4/6)/((-3)/9). Does 17 divide (136/12)/(v/(-3))?
True
Let m = -5 + 8. Suppose -7*d + m*d = -60. Is 7 a factor of d?
False
Suppose -l - 2*d - d = -20, 2*l + 3*d = 34. Is 12 a factor of 4/(-14) - (-522)/l?
False
Suppose -4*z + 3*z + 5 = 0. Suppose -169 - 179 = -z*s + w, -5*w + 54 = s. Does 23 divide s?
True
Is 25/10*(-138)/(-5) even?
False
Let k(t) = t**3 + 7*t**2 + 6*t - 2. Let l be k(-6). Let o(u) = -6*u. Is 6 a factor of o(l)?
True
Suppose -5*m - k + 65 = 0, -m - 20 + 7 = -5*k. Is 12 a factor of m?
True
Let a = 15 + -11. Suppose 0 = -a*m - m + 200. Is 14 a factor of m?
False
Let k(p) = -9*p - 62. Does 22 divide k(-24)?
True
Let o(b) = -b**2 + b. Let g(s) = 3*s**2 - 7*s + 6. Let r(m) = g(m) + 2*o(m). Let y be r(5). Suppose 2*n = 3*z - y*z + 43, 0 = -n + 5. Is 5 a factor of z?
False
Let o be (-2)/(-4)*(1 + 5). Let s be o/5 + 36/15. Suppose 0*h - 33 = -s*h. Is h a multiple of 6?
False
Suppose 8 = 4*n - 3*n. Let c = 1 + -1. Let q = n + c. Does 4 divide q?
True
Suppose 0 = f - 0*f - 2. Let g be (1 + -1)/f + 5. Is (2 - 3)*g/(-1) a multiple of 4?
False
Suppose -9*y + 1038 + 177 = 0. Is y a multiple of 15?
True
Suppose -2*x - 2 = 4. Let k(g) = g**3 + 7*g**2 + 2*g - 3. Is k(x) a multiple of 9?
True
Let z = 3 - -1. Let v = 288 + -199. Is v/z - (-2)/(-8) a multiple of 10?
False
Let s be (3/(-6))/(5/40). Let q = s - -29. Does 19 divide q?
False
Let b(a) = 2*a**2 + 7*a + 2. Suppose 2*n + 25 = -3*n. Let t be b(n). Suppose 14 + t = 4*c + 3*q, 2*c = -5*q + 33. Is c a multiple of 4?
True
Let r be 8 + -8 + 2*1. Suppose r = i - 3. Suppose -2*v + 7 = i*u, -4*v + 19 = 2*u - 19. Is 7 a factor of v?
False
Let d(z) = 40*z**2 - 1. Let s be 15/9*(-2 - -5). Suppose 2*w - 8 = 0, -3*n + s*n + w - 6 = 0. Is d(n) a multiple of 17?
False
Let g(a) = 8*a + 17 - 7 + 2*a**2 + 3*a. Is g(-8) a multiple of 21?
False
Let o = 779 + -539. Is o a multiple of 15?
True
Suppose -2*b - 95 = -z + 2*b, -3*z - 2*b = -271. Suppose 0 = d - c, -5*d - c = -2*c - 8. Suppose 2*j - 3*x - z = -2*j, 5*x + 35 = d*j. Is j a multiple of 16?
False
Let u be 22/(-18) + 8/36. Let r be (-2)/((-4)/(-10)) + u. Is 18 a factor of 435/21 + r/(-21)?
False
Let f = -215 - -327. Is 14 a factor of f?
True
Suppose 2*a - 7*a = -120. Is 17 a factor of a?
False
Let d = 31 - 5. Suppose -3*n + 46 = -d. Is 8 a factor of n?
True
Let l(m) = -m**2 + m + 2. Let t be l(-2). Let s be (t - (1 - 3)) + 6. Suppose 8*f - s*f = 48. Does 10 divide f?
False
Let u(n) = -n + 2. Let z be u(-3). Let s be (-2)/(6/(-3))*z. Suppose -26 = -2*d + 2*q, -s*q + 6 + 6 = 2*d. Is 6 a factor of d?
False
Suppose 4*q - 12 = 4*l, l - 2*q + 4 = 2. Is (-1 - 14/l)*10 a multiple of 7?
False
Let o(c) = 14*c - 5 + 26*c + 7. Let w be o(4). Suppose 4*i + 2*a - 114 = 0, -4*i + w = i - 4*a. Does 15 divide i?
True
Suppose 0 = 2*b - 86 - 18. Is 11 a factor of b?
False
Let u(c) = 46*c - 1. Let n(y) = -45*y + 1. Let m(s) = -4*n(s) - 3*u(s). Let l be m(-2). Let k = l + 120. Is 12 a factor of k?
False
Suppose s = -3*s + 52. Does 3 divide s?
False
Let y = -51 + 63. Does 3 divide y?
True
Let n(i) = 14*i**2 - i + 11. Let c(w) = -5*w**2 - 4. Let h(l) = -17*c(l) - 6*n(l). Let v be h(-4). Let z = -3 - v. Is 3 a factor of z?
True
Suppose -10 - 230 = -3*o. Is 20 a factor of o?
True
Let m(z) = z**3 - 5*z**2 - 4*z + 6. Let o be m(6). Does 2 divide (-4)/o - (-390)/54?
False
Suppose 5*p - 4 = 11. Suppose -4*x - 4 = 2*a + 32, 39 = -p*a - x. Let b = a - -17. Is b a multiple of 5?
True
Let t = 28 - -242. Is 15 a factor of t?
True
Is 14 a factor of (6 + 78)*2/4?
True
Let c be (-2)/(-8) - (-2)/(-8). Suppose -4*q - 19 = -z - 2*z, c = 5*z - q - 9. Let o = z + 2. Is 3 a factor of o?
True
Let h(t) = -2*t + 2. Let k be h(-3). Sup