) = h - 6. Let c be p(11). Let d be (-3 - 0)/(c/(-15)). Let b = -1 + d. Is 8 a factor of b?
True
Suppose 0 = 3*u - 4*r - 170 - 221, -4*r = -20. Is 20 a factor of u?
False
Suppose -m + 57 = 2*m. Does 19 divide m?
True
Let z = 6 + 13. Is 2 a factor of z?
False
Let h(q) = -3*q**3 + 2*q**2 - q - 2. Does 9 divide h(-4)?
False
Let j(d) = 65*d + 8. Is 23 a factor of j(2)?
True
Suppose -13*l + 5*u + 110 = -8*l, 3*l + 4*u = 52. Is 5 a factor of l?
True
Suppose 0*q + k + 446 = 2*q, q = 4*k + 230. Does 37 divide q?
True
Suppose 0 = -3*m + r + 11, -2*m + 1 = r + 2. Suppose -h = 4*u - 2 - 12, -u = -m*h + 1. Suppose 0 = u*n - 0*v + 4*v - 20, -5*n + 14 = -3*v. Does 2 divide n?
True
Suppose -2*c = 4, 9*c = -4*r + 10*c + 150. Is 37 a factor of r?
True
Suppose -r - 5*j + 40 = 3*r, 0 = -5*j + 20. Suppose -m - 40 = -r*m. Is m a multiple of 5?
True
Let r(l) = l**3 + 4*l**2 + 4*l + 2. Let m be r(-2). Suppose -m*x = 9 - 93. Does 14 divide x?
True
Suppose -4*i + 3*g + 36 = g, -4*i + 40 = -4*g. Does 4 divide i?
True
Does 18 divide (-3 + (42 - 3))/1?
True
Let o be 3/2*(0 + 2). Suppose o*l - 16 = 20. Is 12 a factor of l?
True
Let w(v) = v**2 - v - 1. Let b be w(3). Suppose s + 158 = b*j - 3*j, -2*s = -5*j + 394. Is j a multiple of 17?
False
Suppose -2*d = -u - 235, 0 = 2*d + 3*u - 2*u - 225. Suppose -122 = -4*z - 2*v + 38, -4*v = 3*z - d. Does 9 divide z?
False
Suppose 4*b = 5*s - 0*b - 15, -6 = -2*s + b. Suppose l - 1 = 2*o, 0 = -3*o - 0*o + l - s. Does 10 divide (-159)/(-15) + o/(-5)?
False
Let k = 3 + -1. Suppose -k*f + 9 = -f. Is 3 a factor of f?
True
Let c(s) = 4*s - 2. Suppose 7 = 10*b - 9*b. Does 7 divide c(b)?
False
Let m(o) be the second derivative of o**5/20 + o**4/6 + o**2/2 - o. Let a be m(-3). Let k = a - -22. Is 12 a factor of k?
False
Let l = -2 + 2. Suppose 4*o = -l*o + 96. Is 8 a factor of o?
True
Let y = 45 + -84. Let d = 71 + y. Is d a multiple of 32?
True
Let t = 2 - -83. Suppose 5*h + 0*h = t. Is 12 a factor of h?
False
Is 34 a factor of 106 - ((-6)/(-27))/(1/9)?
False
Let s = 22 - 2. Let w = -14 + s. Suppose l = 2*r - 46, -2*r + 5*l = -w*r + 64. Is 10 a factor of r?
False
Let q = -5 + 6. Let k be (-3)/(q + 2)*41. Is (-4)/(-8) - k/2 a multiple of 15?
False
Suppose 4*f - 6*x + 2*x - 16 = 0, -5*f = 4*x - 2. Does 15 divide 0 - -1 - f - -76?
True
Suppose -12 = -5*f + 8. Is 22 a factor of 11/(1/f*2)?
True
Suppose 5*d + 108 = 3*a + 2*d, -2 = 2*d. Is a a multiple of 9?
False
Let d = -41 + 116. Is d a multiple of 15?
True
Is (25/15)/(4/156) a multiple of 14?
False
Suppose 3*l + 15 = -x + 2*x, 5*x + 4*l = 94. Does 6 divide x?
True
Let i be 2/7 + 6/(-21). Suppose 2*v - 3*y - 19 - 39 = i, -3*v + 87 = -5*y. Is v a multiple of 29?
True
Suppose m + 3*j - 16 = 0, 2*j + 144 = 4*m - 2*j. Suppose 0 = -5*d - h + 216, -3*d + 81 + 47 = -h. Let r = d - m. Does 6 divide r?
True
Let u(g) = -g**3 - 3*g**2 + 5*g + 1. Let j be u(-5). Does 16 divide 3 + (j - -3) - -1?
False
Is 142 - (1 - 0/(5 + -4)) a multiple of 34?
False
Let o be (-138)/(-2)*(-160)/(-24). Suppose 4*s = -s + o. Does 23 divide s?
True
Suppose 543 = -6*p + 1299. Is 28 a factor of p?
False
Let n(q) = q**2 - 2*q + 1. Let a be n(3). Suppose 0 = h - 5*x - 54, -a*h - 2*x + 128 = -0*x. Is h a multiple of 34?
True
Let g(v) = 6*v - 15. Does 32 divide g(11)?
False
Suppose f = -4*m + 101 + 41, m + 3*f = 41. Does 4 divide m?
False
Let a = -11 - -3. Let w = a - -13. Suppose 0 = -4*q + 2*h + 18 + 18, w*h = -5*q + 45. Is 3 a factor of q?
True
Let g = 3 - 1. Suppose w + 54 = g*v - 76, 4*v + 4*w - 248 = 0. Is v a multiple of 17?
False
Suppose -3*j - 23 - 76 = -3*o, -4*o - 4*j + 140 = 0. Suppose -3*k + 6*k = 222. Let p = k - o. Does 21 divide p?
False
Suppose i = -2*y + 77, -y = i + 4*i - 34. Does 17 divide y?
False
Suppose 2*p - 5 = -b, 3*b = -4*p - 6 + 19. Does 3 divide b?
True
Let c(t) = -t**3 + 6*t**2 + 8*t - 4. Let u be c(7). Let n be u*(-3)/3 - 3. Is 30 + (-3 - (3 + n)) a multiple of 10?
True
Let a(q) = -2*q**3 - q**2 + 2*q - 1. Let u(z) = z**3 + z**2 - z. Let b(c) = -6*a(c) - 13*u(c). Let f be b(-7). Is 2 + 18*(2 + f) a multiple of 10?
True
Is -5*((-6)/(-9) - (-71)/(-3)) a multiple of 45?
False
Let f be 0/(-2 + 4) - 1. Is 9 a factor of (f + 1 - -20) + -2?
True
Let k(x) = 6*x**2 - x - 6. Is 36 a factor of k(-4)?
False
Is 78 - (-2 - 0) - 4 a multiple of 20?
False
Let p(k) = -k**2 + 16*k - 4. Does 4 divide p(14)?
True
Let p = -9 + 9. Suppose 242 = -5*x + d, p = 4*x + d - 8 + 198. Let r = -24 - x. Is r a multiple of 8?
True
Let g(o) = -o**2 + 6*o. Let u be g(5). Suppose 24 = 2*q + u*k, -q = q + 2*k - 18. Is (17/4)/(q/28) a multiple of 9?
False
Let w(l) = -21*l - 9. Is 9 a factor of w(-6)?
True
Let h = 138 + -82. Does 7 divide h?
True
Suppose -5*z = 5*f - 35, -5*z = 3*f - 25 - 6. Suppose z*x - 32 = x. Does 4 divide x?
True
Let o = 5 - -10. Let n = o - 8. Is n a multiple of 7?
True
Let t(d) = -d**2 - 5*d + 2. Let a(u) = u - 5. Let s be a(0). Let b be t(s). Suppose -b - 3 = -m. Does 5 divide m?
True
Let j = 7 + 107. Does 14 divide j?
False
Suppose 2*k - 2*t + 7*t = 59, 0 = 2*k - 2*t - 24. Is 3 a factor of k?
False
Suppose l = -5*h + 100, 2*l - 4*h = -5*h + 218. Is 19 a factor of l?
False
Let j be -3*(-2)/(-3) - 0. Let m = 5 - j. Does 7 divide m?
True
Let p be (25 + -1)*(-3)/6. Let c = 0 + p. Is 9 a factor of 122/5 - c/(-30)?
False
Suppose -4*r - 5*z = -0*z + 14, 2*z = 4*r + 28. Let a(q) = -2*q - 3. Let k be a(r). Suppose 5*y - 3*d - 56 = 0, -2*y + 7 = 2*d - k. Is 10 a factor of y?
True
Let x(m) be the third derivative of -m**6/80 + m**5/60 - m**4/12 - 2*m**2. Let l(h) be the second derivative of x(h). Is l(-2) a multiple of 8?
False
Let p(u) = -u**3 + 11*u**2 + 11*u + 14. Is 25 a factor of p(10)?
False
Let h(k) = k**2 - 3*k - 6. Let c be h(5). Suppose c = m + 1. Does 3 divide m?
True
Let s = -121 + 303. Is 17 a factor of s?
False
Does 49 divide -1*(2 - 3/(-3)) + 128?
False
Suppose 5*r - 420 = -2*r. Is r a multiple of 15?
True
Let b(c) = -c + 10. Let z be b(10). Let k = 232 + -90. Suppose z = -3*t - 7*q + 3*q + k, 5*t - 222 = -3*q. Is 14 a factor of t?
True
Let l be (-2)/7 + (-54)/(-42). Let x(s) = 3*s - 4*s + 0*s - l - 5*s. Is x(-2) a multiple of 11?
True
Suppose -4*r = 4*g - 86 - 10, 4*r = 4*g - 64. Suppose g = 2*s + 8. Is 6 a factor of s?
True
Let b(x) = x**3 - 7*x**2 - 1. Let m be b(7). Let g = 6 + m. Suppose 4*y = -3*a + 9 + 34, -g*a = -5. Is y a multiple of 10?
True
Let b(a) be the second derivative of -a**4/12 - 5*a**3/3 + 3*a**2 + a. Let k be b(-9). Suppose 2*x - 9 = k. Is x a multiple of 8?
False
Let d = 81 - 41. Does 20 divide d?
True
Let t(n) = 1. Let f(p) = -4*p - 5. Let r(o) = -f(o) + t(o). Let j be r(-9). Let s = -13 - j. Is s a multiple of 17?
True
Suppose 0 = g + 2*g - 351. Suppose -3*x = -6*x + g. Is x a multiple of 13?
True
Let m be (-872)/(-4)*(-2)/(-4). Suppose 0 = -5*n + 5*z + 380, 2*n + 2*z - m = 27. Is n a multiple of 24?
True
Let p(m) = -39*m. Is 7 a factor of p(-1)?
False
Let o = 5 - 5. Suppose 3*g + 40 = 4*b, -4*b + o*b + 4*g = -44. Is 4 a factor of b?
False
Suppose 5*g + 3*q - 28 = 0, g = 4*q - 4 + 5. Let b(t) = -t**3 + 5*t**2 + 2. Let m be b(g). Suppose 0 = i + m*s + 2, 4*s = 4*i + 3*s - 19. Is 2 a factor of i?
True
Let d(g) = -g**3 + 9*g**2 + g - 1. Is 13 a factor of d(7)?
True
Let p be 0 - (-4*1 + 1). Suppose o + p*o = 512. Suppose f + 2 = 0, -4*t - f + o = -5*f. Is 15 a factor of t?
True
Suppose 4*v + 0*x + 4*x = 100, 5*v = 4*x + 98. Suppose 1 = -3*i - 5, 3*k - 3*i - 198 = 0. Suppose 0 = -d + k - v. Is 21 a factor of d?
True
Does 7 divide 7 + (-4 - 10/(-1))?
False
Suppose -5*t + 44 = -91. Does 7 divide t?
False
Suppose -z = 3*b - 94, 0*z = -2*b - 4*z + 56. Let q be -1 + 0 - (0 - 5). Suppose -y + 0*v = -3*v - 29, -y + b = -q*v. Does 10 divide y?
True
Let z(n) = -54*n - 63. Does 35 divide z(-7)?
True
Let i(q) = -q**3 + 7*q**2 - 4*q - 3. Suppose 3*j + 12 = 0, h + 0*j + 5*j = -17. Suppose 0 = h*l - 5*n - 1 + 3, 3*n = 12. Is 6 a factor of i(l)?
False
Let r(l) = 2*l - 3. Suppose 0*d = -5*d - 105. Let y be (24/d - -2)*7. Is r(y) a multiple of 9?
True
Let v(z) = -z**3 + 6*z**2 + 5. Let b(r) be the first derivative of r**4/4 - r**3 + r**2 + 3. Let k be b(3). Is 2 a factor of v(k)?
False
Suppose -4*s = -5*z + 1, 2 - 1 = 3*z - 2*s. Let f be (-3 + z)*5/(-2). Suppose y = -3*j - 0*y + 57, f*y = 2*j - 55. Is