/(54/k - 1)?
True
Let l = 10 + -20. Let m = l + 53. Is 10 a factor of m?
False
Let q be (-4)/12 - (-2)/6. Suppose 16 = -q*v - 2*v. Let d = 34 - v. Does 19 divide d?
False
Suppose -5*f = -10, -3*j + 2 = -2*f - 3*f. Suppose -d + 3*z - j = -2*d, 0 = 2*z + 6. Does 5 divide d?
False
Let t = 8 + -8. Let u(n) = n**2 + 19. Is u(t) a multiple of 6?
False
Let a = -11 - -20. Is 3 a factor of a?
True
Suppose -4*l + 3*l + 30 = 0. Does 23 divide l?
False
Let b(a) = -a**3 - 10*a**2 - 11*a - 13. Let u be b(-9). Suppose p = 2*v + 7, p - u*v - 16 = -p. Suppose -p*n + 35 = 2*n. Is n a multiple of 7?
True
Suppose 3*p = -3, 0*p + 207 = 4*i + 5*p. Let h = i - 35. Does 10 divide h?
False
Suppose -2*g = y - 25, 0*y - y = -4*g - 1. Is y a multiple of 17?
True
Let s = -6 - -12. Let f be 5/(-15) + 38/s. Is (f/(-9))/((-4)/114) a multiple of 10?
False
Let i(w) = w**3 + 9*w**2 + 7*w + 1. Suppose 6 + 14 = -4*m. Does 22 divide i(m)?
True
Let p(n) = n + 1. Let f(x) = -x**2 + x - 1. Let o be f(1). Let b be p(o). Is 14 a factor of 1 + 17/(1 + b)?
False
Let y = 139 + -86. Is 9 a factor of y?
False
Suppose 5*u + 86 = 446. Does 24 divide u?
True
Suppose 14 + 18 = -5*c + 3*j, -4*j + 36 = -5*c. Let o(t) = 2*t**2 + 7*t + 5. Let s be o(c). Does 10 divide s/6*40/6?
True
Let z = -56 + 79. Let g(c) = 9*c + 5. Let f be g(6). Let j = f - z. Is 13 a factor of j?
False
Let i(h) be the third derivative of -h**5/60 + h**4/24 + 7*h**3 - 3*h**2. Let u = 7 - 7. Is i(u) a multiple of 14?
True
Is (-34)/(-6) + 3/9 a multiple of 3?
True
Let o = 4 - 9. Let w(u) = -70*u**3 - u. Let b be w(1). Does 7 divide b/(-5) + 1/o?
True
Suppose -x + 10 = -68. Let c = x - 48. Is c a multiple of 10?
True
Suppose -s - 2*c = 3*s - 12, -3*c + 3 = s. Is s a multiple of 3?
True
Let o(j) = -2*j**2 + 4. Let q(t) = 4*t - 3*t**2 - 3*t + 6 - t. Let z(r) = 7*o(r) - 5*q(r). Is z(4) a multiple of 7?
True
Let i = -14 + 29. Let v be (-92)/(-6)*i/10. Let q = v + -4. Is q a multiple of 10?
False
Let h(v) = -v. Let z(k) = k**3 + 2*k**2 + k + 4. Let o(w) = 4*h(w) + z(w). Is o(-3) a multiple of 2?
True
Let v(o) = o**3 + 3*o**2 + 4*o + 2. Let g be v(-3). Let k = -2 + g. Does 9 divide 88/5 - k/30?
True
Suppose -156 = -18*i + 16*i. Is i a multiple of 13?
True
Suppose 3*t - 1080 = -270. Does 18 divide t?
True
Let y(b) = -b**2 + 17*b + 10. Is y(12) a multiple of 15?
False
Let d = 155 + -103. Is 26 a factor of d?
True
Suppose 4*a - 35 = -3*y, -3*y + 4 + 1 = -2*a. Suppose 3 = 2*k - a. Does 2 divide k?
True
Let y(s) = 5*s**3 + 5*s**2 + 4*s - 1. Let h(g) = 4*g**3 + 5*g**2 + 3*g - 2. Let f(n) = -6*h(n) + 5*y(n). Is 14 a factor of f(6)?
False
Let x be (2 - 6)/(-2)*1. Suppose -x*i - 3 = -3*i. Does 5 divide (-9)/6*(-20)/i?
True
Let r(g) = g**3 - 9*g**2 + 7*g - 6. Let j be r(4). Let b = -36 - j. Is b a multiple of 11?
True
Suppose -2*f + 4*q - 2*q = 0, q - 12 = -5*f. Is 2 a factor of f?
True
Is 6 a factor of (-2)/5*(-34 + -1)?
False
Suppose 5*g + 3*s - 10 = 15, -25 = -5*g + 5*s. Suppose -g*b + 2*b + 30 = -4*q, 0 = 4*b - 5*q - 41. Is b a multiple of 8?
False
Let p(z) = 17*z**3 - 2*z + 2. Is 3 a factor of p(1)?
False
Suppose 16*o = 19*o - 426. Is 27 a factor of o?
False
Suppose -132 = -0*u - 3*u. Let d = u + -5. Is 16 a factor of d?
False
Let t = -76 - -133. Does 17 divide t?
False
Let l = 17 + 22. Let f = -11 + l. Let h = 68 - f. Is 18 a factor of h?
False
Suppose -3*f + 8*f = -k - 2, -8 = -3*k - f. Suppose -4 = -k*w - w. Is 14 a factor of -6*(34/(-6) + w)?
True
Let z(j) = -j - 45. Let u be z(0). Let w = u - -66. Is 7 a factor of w?
True
Let f(n) be the third derivative of n**4/6 - n**3/3 + 7*n**2. Is 23 a factor of f(12)?
True
Let u(l) = l**2 + 5*l + 4. Let m be u(-5). Suppose -m*o + 9 + 231 = 0. Is 20 a factor of o?
True
Let j(z) = z**2 - 3*z - 4. Let f be j(3). Does 5 divide ((-14)/f)/(1/2)?
False
Let m(g) = -8 - 1 + 4*g - 7*g - 4. Is m(-7) a multiple of 4?
True
Let i = 181 - 172. Is i a multiple of 3?
True
Let t = 13 + -7. Let g(i) = -7*i**2 - 21*i - 9. Let m(a) = 4*a**2 + 11*a + 5. Let h(n) = t*g(n) + 11*m(n). Is h(5) a multiple of 13?
True
Suppose -39 + 117 = i. Let r = i + -27. Does 17 divide r?
True
Let m(k) = k + 2. Does 4 divide m(6)?
True
Let d be (-8)/(-28) - 2/7. Suppose d = 4*w - 2*w - 20. Does 20 divide 3/(6/8)*w?
True
Let m(f) = -f**3 - f**2 - 3*f + 4. Let g = -18 + 14. Is 16 a factor of m(g)?
True
Let r be 9/(3 - (-15)/(-4)). Let c = 27 + r. Does 15 divide c?
True
Let h be 0 - (0 - 3) - -22. Let q = h + 14. Is 19 a factor of q?
False
Let u = 40 - 58. Is 21 a factor of 44 + (-2 - u)/4?
False
Let w(d) = d**2 + 3*d + 1. Let z = -9 - -4. Is w(z) a multiple of 11?
True
Suppose -4*u + 2*h + 16 = 4, -9 = -3*u - 2*h. Suppose 2*w + 47 = 5*y - 7, -4*y = u*w + 104. Is w/(-6)*(-9)/(-6) a multiple of 8?
True
Is (97/(-3))/((-30)/(-18) - 2) a multiple of 10?
False
Let h = 14 + -4. Suppose -3*v + 4*i - h = -v, 5*v + 95 = -4*i. Is (-84)/(-10) - (-6)/v a multiple of 8?
True
Let y(k) = k**3 + k**2 - k - 1. Let f(t) = -5*t**3 - 3*t**2 + 4*t + 2. Let w(h) = -f(h) - 4*y(h). Suppose s = 2*s. Is w(s) a multiple of 2?
True
Let t(i) = 3*i**2 - 2*i + 5. Is 15 a factor of t(5)?
False
Let u = 335 - 155. Is 36 a factor of u?
True
Suppose 0*l - 5*k - 3 = -4*l, k + 9 = 2*l. Suppose -275 = -l*u + 2*u. Is 20 a factor of u?
False
Is 24 a factor of (-4)/30 + (-3982)/(-165)?
True
Suppose -y + 218 = -4*p, 147 = y - 3*p - 70. Is 48 a factor of y?
False
Let r(q) = 10*q - 8. Is 8 a factor of r(4)?
True
Suppose -5*p - 2*m + 40 = 0, -2*m = -7*m. Suppose d - p = 10. Is 9 a factor of d?
True
Let q(k) = 7*k. Is 11 a factor of q(11)?
True
Suppose -54 = -w - 3*j + 45, w - 100 = -4*j. Suppose 3*b = 2*a - 5*a + 60, -5*b - 3*a + w = 0. Is b a multiple of 6?
True
Let a = -60 - -134. Does 30 divide a?
False
Suppose 0 = 5*y + c - 1952 + 390, 5*c - 1550 = -5*y. Suppose 3*t + 67 = y. Is t a multiple of 26?
False
Let m(h) = -8*h - 16. Is m(-6) a multiple of 29?
False
Let n be 4/(-8) - (-62)/(-4). Does 9 divide (0 - (n + -2))/2?
True
Suppose 6*t = 11*t - 40. Is t a multiple of 5?
False
Let v(j) be the second derivative of j**3 + 3*j**2 + 6*j. Does 5 divide v(2)?
False
Suppose 7*p - 3*p = 0. Let m(f) be the third derivative of f**6/120 + f**5/60 - f**4/24 + 2*f**3 - 11*f**2. Is m(p) a multiple of 6?
True
Suppose -2*n + 252 = 4*v + 34, 0 = -v. Is 21 a factor of n?
False
Let k(y) = -y**3 - 4*y**2 + 2*y - 8. Is 19 a factor of k(-7)?
False
Suppose 2*g + g - 78 = 0. Does 17 divide g?
False
Let y(x) = -4*x - 1. Let l be y(-1). Suppose l*z + z = 68. Is 13 a factor of z?
False
Let h = 6 - 2. Suppose h*q - 177 = f - 0*f, 0 = -5*q + 4*f + 213. Is q a multiple of 15?
True
Let q(o) = o**2 - 6*o. Let n be q(6). Suppose u = n, -4*u + 53 + 55 = 2*g. Let w = g + -29. Does 9 divide w?
False
Let a(d) = -19*d**3 - 1. Let y = 1 - 0. Let t be a(y). Does 14 divide (-8)/t - 136/(-10)?
True
Suppose -94 = -3*h - y, 3*y = 5*h - 53 - 127. Is h a multiple of 11?
True
Suppose -5*f + 0*g + 4*g + 39 = 0, 4*f = -2*g + 52. Let a = 7 - 4. Suppose 35 - f = i + 2*q, -29 = -i - a*q. Does 13 divide i?
False
Let x = -58 - -76. Is x even?
True
Let f = 9 - 6. Suppose 0*g - 72 = -3*g. Suppose g = b + f*b. Is 6 a factor of b?
True
Suppose -42*w + 47*w = 180. Does 6 divide w?
True
Suppose 1 = b, 2*k - 3*b = 6*k - 23. Let i = k - 11. Is (-12)/(-2)*(-16)/i a multiple of 8?
True
Let l = 2 + -1. Let a = l + 7. Suppose 11 = j - a. Does 9 divide j?
False
Let q = 137 - 92. Is 9 a factor of q?
True
Suppose -2*c = r + 2*c - 196, 4*r + 3*c = 758. Is 41 a factor of r?
False
Suppose -2*v - v = -4*j + 784, j = 4*v + 196. Is j a multiple of 7?
True
Suppose 5*n - 2*l - 20 = 335, 3*n - 3*l - 204 = 0. Suppose -5*o = 3*k - 45 - 8, -3*k = o - n. Does 11 divide k?
False
Is (-4)/12 - 152/(-6) a multiple of 17?
False
Let f = 13 + -8. Suppose -233 = f*r + 207. Let q = 126 + r. Does 14 divide q?
False
Suppose -5*u - x = -139, -3*x = 3*u - 2*u - 39. Is u a multiple of 18?
False
Let m be (-2 + -2)/((-1)/(-2)). Is 14 a factor of m/(-36) + (-250)/(-9)?
True
Suppose 331 = -4*v + 927. Does 38 divide v?
False
Suppose u + 66 = 6*u - 4*y, u + 2 = -3*y. Is u a multiple of 10?
True
Suppose -5*y + 218 = -417. Does 37 divide y?
False
Suppose 3 + 17 = -2*s. Let i(o) = o**2 + 6*o + 4. Does 12 divide i(s)?
False
Suppose 2*c = 5*v - c - 18, -c + 28 = 4*v. Is v a multipl