-4) + (k - 1). Let y = f - 11. Is y a multiple of 14?
False
Suppose -4*d = -4, 0*u + 2*d = 2*u - 348. Is 33 a factor of u?
False
Is 8 a factor of (-176)/(-12) + (-4)/(-3)?
True
Let l(x) = 2*x + 17. Let b be l(-7). Suppose -b*c + 78 = -54. Is 22 a factor of c?
True
Let p = 6 + -6. Suppose p = s - 16 + 1. Does 5 divide s?
True
Suppose 5*k = -n + 397, -11 + 410 = 5*k + 2*n. Does 10 divide k?
False
Let w = 278 + 160. Suppose 2*r = -4*t - t + 206, 0 = -4*r + 3*t + w. Suppose -4*n - r = -7*n. Is 18 a factor of n?
True
Suppose 5*l - 182 = 4*n, -6*l = -2*l + 4*n - 124. Does 21 divide l?
False
Let z(r) = -r - 1. Let o(q) = -13*q**3 - 4*q - 6. Let n(s) = -o(s) + 5*z(s). Is n(1) a multiple of 5?
False
Let m(p) = 5*p**2 - p - 2. Let u(k) = -k - 3. Let f be u(-8). Suppose -3*g - g = -5*i + 7, 13 = f*i - g. Is 15 a factor of m(i)?
False
Let s = 25 - 13. Is s a multiple of 3?
True
Let c be (-6)/2 + 2 - -2. Does 11 divide (-54)/(-4)*2 - c?
False
Suppose 2*y = -3*n - 19, 3*y + 18 = -3*n - 6. Let u be 3/(y/(-2) - 1). Suppose u*o - 6 = -2*g, g + 2*o - 13 = 3*o. Is 4 a factor of g?
True
Let q(a) = -6*a - 27. Is q(-10) a multiple of 11?
True
Is 17 a factor of 0 + 4/((-12)/(-153))?
True
Let s(t) = 8*t**3 - 1. Let u = -4 + 3. Let y be s(u). Is 9 a factor of y/1*(3 + -4)?
True
Suppose 5 = 2*k + 1. Let a(b) = -3*b**3 + 8*b**2 - 4*b. Let c(m) = -m**3 + m**2 - m. Let n(d) = k*c(d) - a(d). Is 8 a factor of n(6)?
False
Let l = 79 - -137. Suppose -2*k + 6*k - l = 0. Is 15 a factor of k?
False
Suppose s - 2*i + 4 = 0, 2*s - 7*s - 31 = i. Let v = -7 + 1. Is (68/s)/(2/v) a multiple of 17?
True
Suppose 5*c - 60 = -0*c. Is 6 a factor of c?
True
Suppose 4*r = -5*r + 468. Is 13 a factor of r?
True
Let j = 9 - 6. Is j even?
False
Suppose 2*l = -r - 362, 0*r - 918 = 5*l - 4*r. Let y = -107 - l. Suppose -5*q - y + 200 = 0. Is 7 a factor of q?
False
Let y(w) be the third derivative of w**6/120 + w**5/12 - w**4/8 - 5*w**3/6 - 3*w**2. Is 5 a factor of y(-5)?
True
Let b = 10 - 8. Suppose -b*g - 13 = -5*w - 110, -g + 50 = -3*w. Does 8 divide g?
False
Let m(c) = -2*c - 20*c - 2*c - 1. Let l be m(-1). Suppose -5*a + l + 4 = -3*k, -15 = -a + 3*k. Is a a multiple of 2?
False
Let x(d) = 6*d**3. Let j be x(1). Is (-10)/(-4) + (-3)/j even?
True
Let g(a) = 7 - 7 + a**3 - 2. Let p be g(0). Is 6 a factor of ((-10)/(-15))/(p/(-30))?
False
Suppose 0 = 2*v + 3*v - 5*n - 255, -n - 103 = -2*v. Does 10 divide v?
False
Suppose 61 = 4*u - 19. Is 5 a factor of u?
True
Let s = 15 + -14. Let y = s + 17. Is y a multiple of 18?
True
Suppose 0 = 50*k - 52*k + 260. Is k a multiple of 24?
False
Let c be (16/10)/(6/(-75)). Let l = -13 - c. Let s(u) = -u**2 + 10*u - 5. Is s(l) a multiple of 8?
True
Suppose o + 2*u - 24 = 0, -3*u - 2*u - 20 = 0. Suppose c - 8 = -w, -c - o = -4*w - 4*c. Suppose -3*b = -w - 31. Is b a multiple of 13?
True
Suppose 40 = -0*v + 4*v. Let a = -7 + v. Suppose 5*h - 47 = a. Is h a multiple of 6?
False
Suppose 122 = -4*j + 4*n + 442, -2*j = -3*n - 162. Does 11 divide j?
False
Does 16 divide -1 - (-3 + 356/(-4))?
False
Let t be ((-14)/(-5))/(1/(-5)). Let j = 9 + t. Let g = 33 + j. Is g a multiple of 14?
True
Suppose 4*n + 3*m + 2*m - 468 = 0, -4*m = 16. Suppose 4*i - 5*l - n = 2*i, 0 = i + l - 54. Is 10 a factor of i?
False
Suppose 0 = -11*b - 0*b + 110. Is b a multiple of 3?
False
Is -3 + 78 - (1 + -4) a multiple of 14?
False
Suppose 0 = 2*x + 4*v - 18, -2*x + v + 2*v + 4 = 0. Is x even?
False
Let m = 21 - -18. Does 12 divide m?
False
Let u = 89 - 63. Is 12 a factor of u?
False
Let g = 244 - 135. Is g a multiple of 16?
False
Let h = 101 - -8. Let a be -1 + 3 - (h - -3). Let w = -78 - a. Is 16 a factor of w?
True
Let k = -9 + 19. Does 5 divide k?
True
Let a(j) be the first derivative of j**3/3 + 3*j**2/2 - 8*j - 9. Is a(-11) a multiple of 20?
True
Let q = 114 - -46. Is 32 a factor of q?
True
Suppose 0 = 6*x - 206 - 76. Is x a multiple of 14?
False
Does 5 divide (-42)/56 + (-83)/(-4)?
True
Let m(h) = 3*h - 2. Let x be m(2). Suppose 3*a = -4*y, -5*a - y = -x*a. Suppose -4*s - 32 = -3*o, s + a*s - 25 = -2*o. Does 11 divide o?
False
Suppose 7*b = b + 192. Does 11 divide b?
False
Suppose -10 = p + 5*t + 13, 56 = -4*p - 2*t. Let k = p + 18. Suppose -5*a = -k*y + 45, -3*y - 3*a + 35 = -8*a. Does 5 divide y?
True
Suppose -150 = -8*l - 2*l. Is l even?
False
Suppose -2*d = -5*l - 4, 5*d + 2*l - 10 = 6*l. Let p(z) = -z**2 + 2*z**2 - 1 - 2*z**2 + 5*z. Is p(d) a multiple of 5?
True
Let y = -36 - -65. Let j = -14 + y. Does 15 divide j?
True
Suppose 4*h - 2*j - 316 = -4*j, 2*j + 4 = 0. Is 10 a factor of h?
True
Let c = -2 - -10. Suppose c = 5*v - 72. Is 6 a factor of v?
False
Suppose 140 = -0*b - b. Let w = b - -218. Is 28 a factor of w?
False
Suppose 2*j = 3*j. Suppose -4*l = -j*l + 48. Let c = -7 - l. Is c a multiple of 3?
False
Suppose 0 = -x + 1 + 9. Suppose -5 = -3*k + x. Is k a multiple of 3?
False
Is ((-12)/(-9))/(6/27) even?
True
Let d be (-47 + 1)/2*-2. Let t = -20 + d. Suppose u - t = 13. Is 13 a factor of u?
True
Let v(g) = -g**3 - 2*g**2 - g - 1. Let r be v(-2). Let n = r - 1. Suppose n = -5*j + 121 - 1. Is j a multiple of 13?
False
Let n(s) = -s**3 + 3*s**2 + s + 3. Let b be n(3). Let t = -3 + b. Is t a multiple of 3?
True
Let h(r) = -r**2 - 9*r - 6. Let j be h(-8). Suppose 3*z - 3 = -3*w, -2*w = 5*z - 3*w - 29. Is 84/10 - j/z a multiple of 8?
True
Let p(u) = 20*u**2 - 4*u + 3. Suppose r - 15 + 1 = -3*w, 2*r - 5*w = -16. Let x be p(r). Suppose -4*l - l + x = 0. Does 4 divide l?
False
Suppose 3*d + 5*j - 190 - 49 = 0, 0 = -4*d - j + 347. Is 11 a factor of d?
True
Let v be -3 + -1*(-10 - -3). Suppose 80 = -0*z + v*z. Does 10 divide z?
True
Suppose 5*o + 3*z = 90, -2*o + 4*o + 5*z = 55. Is o a multiple of 3?
True
Let u = 12 - 9. Suppose 5*k = -u*t + 73, -t - 3*k = -0*k - 23. Does 17 divide t?
False
Let r(q) = 34*q - 4. Let o(t) = 11*t - 1. Let y(j) = -14*o(j) + 4*r(j). Is y(-3) a multiple of 20?
False
Suppose -21 = 3*q - 6. Let g(w) = -w**3 - 5*w**2 - w - 5. Let h be g(q). Suppose -168 = -4*z - h*z. Is z a multiple of 12?
False
Let o be 9/(-6) - (-207)/6. Suppose o - 3 = i. Does 10 divide i?
True
Suppose -3 - 10 = -s + 5*i, -5*i = 4*s - 127. Is 14 a factor of s?
True
Let j(y) = 2*y**2 + 9*y + 8. Let u = -2 - -2. Suppose u*i - i = 6. Is 13 a factor of j(i)?
True
Let c = -20 - -35. Let v be (c/(-2))/(2/(-4)). Is 5 a factor of (6/10)/(1/v)?
False
Suppose 0 = -0*a - 5*a + 200. Is a a multiple of 10?
True
Suppose 3*x - 102 = x. Is x a multiple of 9?
False
Let v be ((2 - 5) + 3)/(-1). Let z = v - 0. Suppose z = -3*n + 78 - 21. Is n a multiple of 16?
False
Is 33 + (9/3 - 3) a multiple of 29?
False
Let n be (-1)/((-2)/(-12)*-2). Suppose -5*q + 96 = 4*o, -2*q + n*o + 63 = q. Is 10 a factor of q?
True
Suppose -4*a + 180 = 4*c, a - 2*c = -0*c + 33. Let d = -36 + 19. Let u = d + a. Does 12 divide u?
True
Let z(v) = -v**2 + 7*v - 4. Let s be z(5). Suppose -4*y = -6 - s. Suppose 143 = 3*u + 6*f - f, -y*u - f = -139. Is 18 a factor of u?
False
Suppose -3*b + 2*s + 2 + 8 = 0, -9 = -3*b + 3*s. Is 18/b*(-28)/(-6) a multiple of 7?
True
Is 9 a factor of (-12)/(-9)*-1*(-90)/4?
False
Let a(m) = -m**2 + 22*m + 13. Is 13 a factor of a(22)?
True
Let b(c) = -c + 2. Suppose -2*w + 10 = -5*k + 2, -5*w = -2*k + 22. Is 3 a factor of b(w)?
False
Suppose 49 = 2*c - 145. Suppose -4*f + 31 = -c. Is f a multiple of 10?
False
Suppose -h - 4*h - 30 = -3*z, -3*z + 30 = 4*h. Suppose 3*u - 5*a = -2*u + 10, -5*a = 2*u - 4. Suppose -u*c = -y + z, 4*y - 3*c + 0*c = 40. Is 7 a factor of y?
False
Let n be 4/(-18) + (-418)/(-18). Let g = n + -9. Does 6 divide g?
False
Let i(j) = j - 24. Let t be i(0). Let r be (t - 6)/((-6)/4). Is 2/(-1) + (r - 4) a multiple of 14?
True
Suppose 3*m - 42 = 3*q, -5*q + 122 = 5*m + 32. Is 8 a factor of m?
True
Let v(z) be the third derivative of -z**4/12 - z**3 - 3*z**2. Is v(-9) a multiple of 6?
True
Let u = 38 - 29. Is 2 a factor of u?
False
Let y be ((-351)/(-65))/(6/20). Suppose -5*h + y = -22. Is h a multiple of 8?
True
Suppose -3*y + 10 = -11. Is 4 a factor of y?
False
Let h = -40 - -100. Let b = -42 + h. Is 9 a factor of b?
True
Let n(b) = 21*b**2 + b - 1. Let k be n(1). Does 11 divide 1 + (-5)/((-5)/k)?
True
Suppose 5*c + 137 = 3*n, -n + 4*c - 2*c + 46 = 0. Suppose -p + n = 11. Is p a multiple of 11?