l?
False
Let g be (1/(-3))/((-3)/(-639)). Let x = g + 99. Is 14 a factor of x?
True
Suppose 0 = -5*g + 7*g - 20. Is 5 a factor of g?
True
Suppose -3*g + 36 = -4*h + 7*h, 0 = 2*h + 8. Suppose 3*o - g = 2. Is 2 a factor of o?
True
Is 7 a factor of (-990)/120*32/(-3)?
False
Suppose 3*q - 32 - 28 = 0. Is 20 a factor of q?
True
Let g(y) = 7*y**2 - y + 1. Let u be g(2). Let c = u + -4. Is 23 a factor of c?
True
Does 35 divide (-6)/(-9) + -1 + 2930/15?
False
Suppose 2*q = -2*y + 2, 0 = y + 4*q + 4 - 2. Suppose 3*j - 88 = 5*o, j + y*o - 3*o - 30 = 0. Is 12 a factor of j?
False
Suppose 2 = 3*k + 4*y - 99, 4*k + 2*y = 138. Suppose -2*a - 46 = -4*l, -3*l - 3*a + k = -22. Is l a multiple of 6?
False
Is 3 a factor of (10/25)/((-3)/135*-3)?
True
Let v(l) = l**2 + 4*l - 7. Let p be v(-6). Let q(w) = -w**2 + w + 1. Let b(g) = -6*g + 7. Let a(o) = -b(o) + q(o). Is a(p) a multiple of 4?
True
Suppose 5*t + 2*m + 282 = 0, m - 240 = 3*t - 62. Let a = t - -88. Is a a multiple of 8?
False
Let b(r) = -r**3 + 8*r**2 - 7*r + 5. Let l = -24 + 16. Let o = l - -12. Does 14 divide b(o)?
False
Is 9 a factor of 16/(14/4 + -3)?
False
Let r(n) = -n**3 + n**2 + n. Let t be r(0). Suppose 4*j = 3*b + 2 + 2, -2*b + j + 4 = t. Is b a multiple of 2?
True
Suppose 2*p - 7*p + 20 = 0. Suppose -4 = p*m - 24. Is m a multiple of 5?
True
Suppose 0*g = 3*g. Suppose g = 5*y + 5*w - 106 - 69, 3*y = 4*w + 84. Does 16 divide y?
True
Is 19 a factor of (-2)/5 + (-234)/(-10)?
False
Is -4 - (-17)/5 - 496/(-10) a multiple of 35?
False
Is 6/(-24) - 618/(-8) a multiple of 11?
True
Let i = -10 + 9. Suppose -4*p + 2 + 6 = 0. Does 7 divide ((-1)/p)/(i/14)?
True
Suppose -w + 3*v - 2*v + 131 = 0, 3*w - 401 = v. Is w a multiple of 15?
True
Let z(o) be the second derivative of -1/6*o**3 + 4*o + 1/2*o**2 + 4/3*o**4 + 0. Is z(2) a multiple of 21?
True
Let u = 444 + -297. Is 7 a factor of u?
True
Let a(o) = -o**2 + 20*o - 39. Is 6 a factor of a(9)?
True
Is 15 a factor of (405/36)/(1/4)?
True
Suppose -2*z + 215 = 3*z. Is 11 a factor of z?
False
Suppose -2*t = -q - 1, -4*t + 2*q + 2 = -t. Suppose -4*i - 154 + 498 = t. Suppose y = -2*c + 6*y + 34, -4*c = -y - i. Is c a multiple of 11?
True
Let l be 3 + (-47)/((-2)/2). Let z = -34 + l. Is 8 a factor of z?
True
Suppose -2*x + t + 81 = 0, -2*x - 5*t = -5*x + 111. Is x a multiple of 7?
True
Let k(b) = -8*b - 6. Is 10 a factor of k(-7)?
True
Suppose 144 = r + 2*r. Is r a multiple of 5?
False
Let s be (16/7)/(12/42). Suppose -o - 4*d = -s, 0 = -4*o + o + d + 63. Is 15 a factor of o?
False
Let h = 51 - 23. Is h a multiple of 11?
False
Suppose 2*d - 4*d + 44 = 0. Let w = d + -3. Is 7 a factor of w?
False
Let c = -52 - -93. Is 10 a factor of c?
False
Let g be (-75)/(-12) - (-2)/(-8). Let a(s) = 4*s**2 - 14*s. Is 12 a factor of a(g)?
True
Suppose 0*d = 3*d - 156. Does 12 divide d?
False
Let d = 1122 - 548. Is d/13 + (-16)/104 a multiple of 19?
False
Let m be (3/2)/(39/(-1196)). Let f = -25 - m. Does 21 divide f?
True
Let q be (1 + 0 + 1)*2. Suppose 5*r - 5 = q*w, -6*r = -r - w - 20. Is r a multiple of 5?
True
Let q = -89 - -179. Does 10 divide q?
True
Let j(r) = 4*r - 2*r - 2*r - 7 - r. Is 2 a factor of j(-14)?
False
Let m = -21 + 40. Is 13 a factor of m?
False
Suppose 3*x + 3 - 15 = 0. Is ((-2)/x)/(1/(-24)) a multiple of 4?
True
Let a(h) = 4*h - 17. Is a(10) a multiple of 2?
False
Let o(s) = -30*s - 2. Does 25 divide o(-4)?
False
Suppose -2*u = u - 78. Does 26 divide u?
True
Let f(h) = 4*h - 8*h - h - 3*h. Let q(u) = 5*u**3 + u**2 - 1. Let z be q(-1). Is f(z) a multiple of 20?
True
Suppose 0 = m + 5*z + 19 - 5, -4*m - 3*z = 73. Let x = -11 - m. Is 4 a factor of x?
True
Let z(a) = 5*a**2 - a - 1. Suppose p + 4 - 3 = 0. Is z(p) a multiple of 4?
False
Suppose -103 = 2*z - 253. Is z a multiple of 15?
True
Let p = 414 - 78. Is 10 a factor of (6/(-4))/((-18)/p)?
False
Let v(d) = -5*d + 2. Let x be v(6). Let n = x - -44. Is 7 a factor of n?
False
Suppose 0 = -r, 3*n + 4*r - 8 = -2. Suppose -4*a = -2*j - 268, -2*a = -2*j - n*j - 140. Let t = -34 + a. Does 19 divide t?
False
Let j(z) = -z**3 - 7*z**2 + 2. Let a be j(-7). Suppose -4*v - v + a*y = -42, 5*y = -2*v + 40. Does 7 divide v?
False
Suppose -f + v = -17, f - 12 = v - 5*v. Is f a multiple of 8?
True
Suppose -2*k + 71 + 26 = m, 0 = 4*k + 3*m - 193. Suppose 2*d - 125 = -5*j, 5*d - 347 = 2*j - k. Does 17 divide d?
False
Let x(h) = -h**3 + 8*h**2 + 3*h - 18. Is 22 a factor of x(6)?
False
Let x(d) = d**2 - 4*d - 3. Let f be x(8). Suppose 0 = -3*b - b + 12. Suppose -4*n + 44 = -4*s, b*n + s = 3*s + f. Is 4 a factor of n?
False
Suppose -3*y + 8 = u, -3*y = 2*u - 3*u + 2. Let c = y - -6. Does 6 divide c?
False
Let s(n) = -n**3 + 6*n**2 + n - 4. Let m be s(6). Let p(b) = 2*b**3 - b**2 - b - 1. Let k be p(m). Let v = k + -5. Does 2 divide v?
True
Let y = 56 - 20. Is y a multiple of 3?
True
Suppose 2*o = 5 + 5. Suppose -q - l - 10 = -2*q, 20 = o*q + l. Is q a multiple of 4?
False
Suppose -2*l - 5 = -3*l. Suppose 0 = c + 4*y - 0*y - 25, -95 = -5*c - l*y. Is c a multiple of 17?
True
Let a(c) = -c**2 + 9*c - 4. Suppose 2*w - 30 = -4*x, 2 + 33 = 4*x - 3*w. Let i be a(x). Suppose d - 46 = -u, i*u - 5*d = -d + 192. Is u a multiple of 12?
False
Let l = 11 - -9. Suppose 0 = -5*w + l, 3*o = 5*o + 3*w - 36. Is 12 a factor of o?
True
Suppose 3*b - 90 = -g, 2*g + g + 5*b = 254. Is 13 a factor of g?
True
Does 18 divide ((-108)/(-48))/(2/48)?
True
Let y(h) = -6*h + 1. Let i(p) = 7 - 3 - 3 - 3*p - 10*p. Let l(k) = -2*i(k) + 5*y(k). Does 16 divide l(-5)?
False
Let x be (-862)/22 - (-4)/22. Let y = x - -80. Let w = 66 - y. Is 9 a factor of w?
False
Let q(o) = -o + 11. Suppose 0 = -4*h - 5*t + 42, -4*h - 4*t + 32 = -h. Let y be q(h). Suppose 0*f = y*f - 48. Is 6 a factor of f?
False
Suppose -j = i - 15, 4*j = j - 4*i + 48. Does 4 divide j?
True
Let i be 1/(-3) - (-34)/3. Let g = -6 + i. Suppose g*w = 29 + 51. Is 8 a factor of w?
True
Suppose -3*i + 0 = -6. Suppose -5*u + 153 = i*c - 5*c, 0 = -3*u + c + 91. Is u a multiple of 10?
True
Suppose 3*r + 0*x - 3*x - 150 = 0, -2*r = -4*x - 104. Is (5/(-10))/((-2)/r) a multiple of 12?
True
Let c = 294 - 176. Suppose -2*b = 2, -2*i - 3*i - 2*b + c = 0. Is 5 a factor of i?
False
Suppose 0 = 2*j + 2*j - 16. Let q = j - 7. Is (-22)/(-4)*(-1 - q) a multiple of 11?
True
Does 7 divide (-507)/(-27) + 10/45?
False
Suppose -10 = 5*d - 35. Suppose d*z - o = 122, 5*o - 86 = -8*z + 4*z. Is z a multiple of 8?
True
Let n be (0 + -3)*4/(-3). Let o(g) be the second derivative of g**4/3 - g**3 + g**2/2 - 2*g. Does 15 divide o(n)?
False
Let r = -18 - -51. Is 7 a factor of r?
False
Suppose 0 = -4*r + 130 - 10. Is 17 a factor of r?
False
Let x(k) = -20*k - 9. Let o(p) = p**2 + 5*p. Let v be o(-4). Is 17 a factor of x(v)?
False
Let c = 17 - 13. Let q = 60 + -176. Is 12 a factor of c/10 - q/10?
True
Let b(k) = k**3 + 18*k**2 + 22*k - 5. Let t be b(-16). Suppose -5*l = -0*l - t. Is 9 a factor of l?
False
Let o = 26 + -21. Does 3 divide o?
False
Let o = 69 + -52. Does 17 divide o?
True
Let o be 6*(-2 - 5/(-2)). Suppose -b - b - 3 = -o*a, 6 = b + a. Suppose g + 58 = 4*r, -3*r + 6 = b*g - 30. Is r a multiple of 7?
True
Suppose -11*l + 18*l - 1512 = 0. Is 27 a factor of l?
True
Suppose 3*b + 2 = 2*s, -3*b = -3*s + 7*s - 40. Is 7 a factor of s?
True
Let w = 36 - 0. Is 12 a factor of w?
True
Let l = -762 - -372. Does 10 divide l/(-33) + 8/44?
False
Let t = 27 - 3. Suppose 3*h - 9 = t. Does 11 divide h?
True
Let z(y) = 9*y**3 - 3*y**2 - y - 1. Is 18 a factor of z(3)?
False
Suppose -4*x + 2*q = -8*x, -4*x = q. Suppose x = -3*h + 40 - 166. Is 7 a factor of ((-3)/9)/(2/h)?
True
Let r = -5 - -3. Does 9 divide 120/4 - (r + 5)?
True
Let s be (3/(-9))/((-2)/138). Let a = 3 - 2. Is 9 a factor of a*(s + 0) + 1?
False
Let q(b) = b**2 + 6*b + 2. Let k be q(-6). Let x(r) = -13*r**3 + 2*r**k - 2*r**2 - 3*r + 2*r. Is 14 a factor of x(-1)?
True
Let r(g) = -g**3 + 0 + 2*g**2 - 6*g + 4*g**2 + 3. Let w be (-24)/(-9) - (-12)/9. Does 11 divide r(w)?
True
Let j = -28 + 28. Suppose -3*f + 24 = -v + 4*v, j = -v + 2*f + 5. Does 3 divide v?
False
Suppose 3*t + 3*b + 2*b = 14, -3*t = 2*b - 20. Let d(y) = 9*y**2 + 11*y - y**3 + 0*y**2 - 2*y**2 - 8. Is d(t) a multiple of 8?
True
Let z = 57 + -39. Suppose 0*c + 4*o + z = -3*c, -2*o + 12 = -2*c. Does 13 divide c/(-33)