99 + 43 = -r*l + 3*z. Is 31 a factor of l?
False
Let v be (-3)/(3/(-5)) + 1. Let t = 10 - v. Suppose -106 + 8 = -3*w - t*n, -5*w + 3*n = -144. Is 15 a factor of w?
True
Suppose -2*p - 137 = -5*q, 0 = 2*q + p + p - 66. Does 18 divide q?
False
Is (-7 + 4)/(6/(-70)) a multiple of 7?
True
Let m(h) be the first derivative of h**3/3 - h**2/2 + 5*h - 2. Is m(0) a multiple of 3?
False
Let q(c) = -c**2 + c + 4. Let o be q(0). Suppose 64 = -0*d + 4*d + o*k, -k - 6 = -d. Is d a multiple of 3?
False
Suppose 5*s - 3*w - 147 = 28, 5*s + 5*w - 135 = 0. Let n = s + -11. Is 21 a factor of n?
True
Let l be (-7)/(-2) + (-1)/2. Let s(k) = k - 12. Let w be s(16). Suppose -2*v + 9 + 19 = -l*o, 2*v + w*o - 56 = 0. Does 10 divide v?
True
Let z(q) = q**3 + 9*q**2 + 15*q + 18. Is 7 a factor of z(-7)?
False
Is 51 a factor of 51 - (-3 - -3)/2?
True
Let f = -247 - -401. Does 22 divide f?
True
Suppose -7 = -s - 2. Let b = 9 - s. Is b even?
True
Let u(k) = -2*k + 18. Is 16 a factor of u(-14)?
False
Suppose u = 4*r + 4*u - 168, -4*r + 4*u + 168 = 0. Is r a multiple of 3?
True
Let b = -35 - -116. Let k = -27 + b. Is k a multiple of 27?
True
Let f(s) = s + 1. Is f(14) a multiple of 3?
True
Let o = 169 + -78. Does 11 divide o?
False
Suppose -4*j - 34 = -338. Let t = 132 - j. Suppose -t = 3*b - 5*b. Is 12 a factor of b?
False
Suppose 5*n - 15 = -0*n. Suppose -133 + n = -5*j. Does 13 divide j?
True
Suppose 3*k - 2 - 4 = 0. Let b = 33 + k. Is 12 a factor of b?
False
Let g = 14 - 7. Let v(y) = y - 5*y - g + y. Does 7 divide v(-7)?
True
Let o(d) = -d**3 + 4*d**2 + 10*d + 1. Let q be o(7). Let t = 51 + q. Let j = -15 - t. Does 5 divide j?
True
Let v(j) = j**3 + 15*j**2 + 11*j + 8. Does 5 divide v(-14)?
True
Suppose -t = -1 - 3. Let o = -1 - t. Let b(k) = -k + 6. Is b(o) a multiple of 6?
False
Let u = -447 - -93. Let q be u/(57/(-18) - -3). Is 9 a factor of q/117 + 2/(-13)?
True
Let n = 174 - 112. Does 24 divide n?
False
Suppose -4*j + 283 = h, -5*j + 8*h = 3*h - 360. Is j a multiple of 8?
False
Let r(l) = l**3 - 22*l**2 + 23*l + 15. Is 19 a factor of r(21)?
True
Suppose m = -m + 34. Suppose -4*s = s - 10. Suppose d = s*d + c - 8, 2*d = -c + m. Is d a multiple of 9?
True
Does 15 divide 3 + (-2 - -129) - 0?
False
Let u be ((-77)/28)/((-1)/4). Let p = -6 + u. Is 5 a factor of p?
True
Let k = -165 + 236. Let l = -41 + k. Does 13 divide l?
False
Let m(u) = -u**3 + 7*u**2 + 7*u - 8. Suppose -i - s = -2*s - 3, 2*i - 34 = -5*s. Is m(i) a multiple of 16?
False
Let n(o) = 2*o - 7. Let p be n(6). Let f(m) = 2*m**2 - 3*m - 11. Is f(p) a multiple of 8?
True
Suppose 2*y - y - 9 = 0. Suppose -y*w + 24 = -8*w. Is w a multiple of 12?
True
Let v(f) = -5*f**2 + 4*f**2 + 15*f - 5 - 3 - 6. Let c be v(12). Is -3 + -3 + c - 0 a multiple of 5?
False
Suppose -4*j - 5*w + 714 = 0, 2*j - 283 = 5*w + 59. Is j a multiple of 11?
True
Let m(f) = 12*f + 21. Let g(o) = -6*o - 10. Let j(b) = -5*g(b) - 3*m(b). Does 22 divide j(-10)?
False
Suppose -z + 550 = 4*z. Suppose 4*l - 9*l + z = 0. Is 11 a factor of l?
True
Suppose -17 = -2*h + h. Let z = h - 11. Does 3 divide z?
True
Suppose 0 = -2*n - 4*a + 52, n = -3*a + 38 - 9. Does 6 divide n?
False
Let l = 32 + 13. Let f = 65 - l. Let t = -11 + f. Is 9 a factor of t?
True
Suppose -300 = 4*p - 6*p. Is 35 a factor of p?
False
Suppose 4*h = -12, -5*h - 287 = -4*i - 0*i. Does 17 divide i?
True
Suppose 2*d - 420 = -d. Suppose -d = -m - 4*m. Is 28 a factor of m?
True
Let f(m) be the second derivative of 23*m**4/12 + m**3/6 + m**2 + 3*m. Let t be f(2). Suppose 2*s = -0*s + t. Is s a multiple of 17?
False
Let a be 12/15*10/4. Let t be 1 + a + -3 + 137. Suppose -3*s + 4*s + 4*k - 45 = 0, t = 5*s - 2*k. Is s a multiple of 10?
False
Let u = 4 - -1. Suppose u*t + 16 = 46. Let j = t - 2. Is 4 a factor of j?
True
Let b be -4*(-1 - 12 - -3). Let f = b + -27. Is 10 a factor of f?
False
Let g = 6 + -5. Let c be g + 0 + (3 - 4). Is 21 a factor of (1 + c)*-2 - -30?
False
Let g = -84 + 123. Is g a multiple of 3?
True
Does 6 divide 17*(-4 + 6)/2?
False
Is 3*1 + 6 + 1 a multiple of 10?
True
Let n = -1 - -44. Let q = 68 - n. Is 8 a factor of q?
False
Suppose o + 0*p - 5*p = -15, -p + 5 = 0. Let s be (0 + 15)*(-4)/o. Let u = 16 + s. Is 10 a factor of u?
True
Let b = -32 - -67. Is 4/14 - (-1005)/b a multiple of 13?
False
Let h = -3 + 6. Let k = 5 - h. Suppose k*q = -3*q + 165. Does 11 divide q?
True
Let g(n) = -n - 5. Let x be g(-4). Let m = x + 15. Is m a multiple of 8?
False
Let w(p) = -p**3 + 10*p**2 - 8*p - 4. Let a be w(9). Suppose -a*h = 3*l - l - 25, -5*l + 71 = 4*h. Is 14 a factor of l?
False
Suppose 10*x + 3*r - 14 = 5*x, 5*x = 5*r + 30. Let s = -2 + x. Suppose s*g + 8 = 24. Is 3 a factor of g?
False
Let l(c) = -c**3 - c**2 + c + 6. Let x be l(0). Suppose 0 = -k - 1, 80 = 3*z + x*k - 2*k. Suppose 0 = -q - 3*q + z. Is q a multiple of 3?
False
Suppose -4*x - 5*t - 23 = 0, 5*x - t = x - 53. Is 14 a factor of 10/(-60) - 338/x?
True
Let w = 47 - 17. Is w a multiple of 10?
True
Suppose -4*j - 3*m = -j + 24, -5*j - 2*m - 31 = 0. Let t = j + 22. Does 5 divide t?
False
Does 6 divide (6/(-5))/((-3)/30)?
True
Let d = 19 - 19. Suppose 2*l = -p + 29, d = -4*l + p + 11 + 50. Is l a multiple of 3?
True
Let t(y) = -y**3 + 11*y**2 + 3*y - 9. Is t(11) a multiple of 8?
True
Suppose -6*x = -2*x - 992. Suppose 4*i + 2*q = 182, -q = 4*q + 15. Suppose -g = a - i - 4, 0 = 5*g - 2*a - x. Does 19 divide g?
False
Suppose 3*d + 51 = -3*q, 5*q + 0*q + 65 = 5*d. Is (-310)/(-6) - (-10)/q a multiple of 13?
False
Let n = -9 + 268. Suppose -5*p = 44 - n. Is p a multiple of 14?
False
Suppose 6 = 3*h + 21. Let w = 6 - h. Is w a multiple of 11?
True
Let g(p) = -p**3 + 9*p**2 - 11*p + 6. Let t be g(7). Let u be 2/(-8) - t/4. Let r = 14 + u. Is 7 a factor of r?
True
Let g be (-2)/(-2) - 20/(-2). Suppose g = 5*c - 54. Does 11 divide c?
False
Let s(r) = -r**3 + 5*r**2 + 4. Let h be s(5). Let d(o) = o**2 - 8*o + 5. Let x be d(h). Is (x/4)/(2/(-8)) a multiple of 11?
True
Let f(h) = 3*h**2 + h + 2. Suppose 2*l - 4*y - 6 = 0, l - 5*y = 5*l + 27. Let q be f(l). Let u = -8 + q. Does 7 divide u?
False
Let t(u) be the second derivative of -2*u**3/3 + u**2/2 - 2*u. Does 21 divide t(-5)?
True
Suppose 2*y + 720 = 10*y. Is y a multiple of 34?
False
Let x(j) = j - 6. Let n be x(10). Is 11 a factor of 38 - (n/1 + -2)?
False
Let h = -66 + 126. Is h a multiple of 28?
False
Suppose -g - g + o + 341 = 0, 193 = g - 5*o. Is 12 a factor of g?
True
Let k(c) = 3*c**2 - 5*c**3 + 4*c**3 + 0*c**2 + 6 - 2*c. Let d be k(7). Does 10 divide d/(-9) + 1/3?
False
Let t(b) = -2*b + 203. Does 17 divide t(0)?
False
Suppose 3*z - 5*w = 5, 0 = -0*z + 2*z + 4*w - 40. Is z a multiple of 7?
False
Suppose -6*l = -4*l - 324. Does 29 divide l?
False
Let u = -58 - -88. Is 4 a factor of u?
False
Let f(c) = 19*c - 2. Is f(1) even?
False
Let g = -98 - -62. Let u = 60 + g. Is u a multiple of 22?
False
Suppose b - k = 9, 5*b - 3*b - 18 = -4*k. Suppose 3*u - b = -z, 3*u + u + 4*z = 12. Is u even?
False
Does 10 divide 20*7/(-2)*-1?
True
Suppose -l - 167 + 743 = 0. Suppose -3*y = 111 - l. Does 13 divide (2/(-1))/((-10)/y)?
False
Suppose 0 = -a - 7 + 1. Let z(h) = h**3 + 6*h**2 + 2. Let s be z(a). Suppose 210 = c + s*c. Is 18 a factor of c?
False
Let p = 2 + 2. Suppose -62 = -a - 3*l - 2*l, p*a - 4*l = 152. Is a a multiple of 16?
False
Suppose -5*r + 126 = -2*r. Does 20 divide r?
False
Is 2 + (2 - 1) + 16 a multiple of 3?
False
Let z(x) = 8*x. Let m be z(1). Suppose -m - 5 = -o. Is 13 a factor of o?
True
Let g(s) = 11*s - 2 + s - 3*s. Is 10 a factor of g(2)?
False
Let v(n) = -3*n - 16. Does 5 divide v(-12)?
True
Let u = 5 - 8. Let s(l) = -21*l - 4. Let c be s(u). Suppose 4*i = -11 + c. Is 6 a factor of i?
True
Let u be (-210)/40*(-8)/(-2). Suppose 3*l + 24 = 4*l. Let s = l - u. Is s a multiple of 17?
False
Let w(b) = -b**2 - 10*b + 7. Let t = 3 + 0. Let o be (-4 - -3)*3*t. Does 11 divide w(o)?
False
Suppose 41 = 4*c - 67. Does 3 divide c?
True
Let t(g) = -g**3 + 22. Let k be t(0). Let x = k + -14. Does 4 divide x?
True
Let q = -72 + 41. Let x = q + 56. Is 5 a factor of x?
True
Does 5 divide ((-11)/22)/(2/(-52))?
False
Let w(l) be the third derivative of l**9/60480 - l**8/2880 + l**7/840 + l**6/144 + l**5/30 + l**2. Let u(x) be the third derivative of w(x). Does 3 divide u(6)?