 5. Let a be i(4). Suppose 4*b = a*b + 10. Is 7 a factor of b?
False
Let a(h) = 2*h + 42. Is a(18) a multiple of 13?
True
Suppose -5*h = -0*h + 35. Let r = 21 + h. Does 14 divide r?
True
Suppose 0 = 3*z - 341 - 88. Is 13 a factor of z?
True
Let j be -2 + (-2*5)/(-2). Suppose m - 10 + j = 0. Is 3 a factor of m?
False
Let j(s) = s**2 - 8*s + 4. Suppose x + 3*x = 5*v - 55, 4*x + 13 = -v. Let c be j(v). Let q = c + 16. Is q a multiple of 9?
False
Let w(n) = -n + 6. Let h = 7 - 2. Let o be w(h). Is 10 a factor of 21 - 0 - (o - 0)?
True
Let q be (41/2)/(4/8). Suppose -v + q = 12. Does 17 divide v?
False
Let w(j) = -j**3 + 11*j**2 + 2*j + 16. Let p be (1 + 0)/((-10)/(-110)). Is 19 a factor of w(p)?
True
Let k(j) = -j**3 - 7*j**2 - j - 5. Let u be k(-5). Let d = 151 + u. Suppose 2*s = -3*h - 2*s + d, -3*s = 2*h - 69. Is h a multiple of 9?
True
Let y(f) = -2*f + 4 + 2*f - 4*f + 2*f**2. Does 5 divide y(4)?
True
Let o = -3 - 18. Is ((-36)/o)/((-2)/(-49)) a multiple of 14?
True
Let m(o) = -7*o - 13. Is m(-6) a multiple of 29?
True
Let n be 3 - 2/(-4 + 2). Suppose 1 - 33 = -n*y. Does 8 divide y?
True
Let l be 366/(-30) - 1/(-5). Does 9 divide (16/l)/2*-33?
False
Suppose -3 = k - 2*a - 1, 4*a + 38 = -5*k. Let s be 1 - (21 + k/(-3)). Let j = 48 + s. Does 13 divide j?
True
Let b(f) = 19*f + 1. Let g be b(2). Is 2*g/6 - 3 a multiple of 10?
True
Let a(c) = 29*c**2 - 6*c - 2. Let j(p) = -14*p**2 + 3*p + 1. Let x(k) = -6*a(k) - 13*j(k). Does 20 divide x(-3)?
True
Does 25 divide (16/12)/(6/135)?
False
Let x(w) = w**3 - 3*w - 3. Let t be x(-2). Let y(p) be the second derivative of -2*p**3/3 - 3*p**2 + p. Does 14 divide y(t)?
True
Is 32 a factor of -48*1/(9/(-12))?
True
Let w be 1*(-1 - -2)/1. Let q(b) = 10 - 15 + 6 + 5*b. Does 2 divide q(w)?
True
Suppose 2*z - 5 + 1 = 0. Is (z + -9)*1*-1 a multiple of 7?
True
Let n(k) = 7*k**3 + 11*k**2 - 2*k + 6. Let w(i) = -11*i**3 - 17*i**2 + 3*i - 9. Let p(o) = 8*n(o) + 5*w(o). Suppose r + 4 = 1. Is 3 a factor of p(r)?
True
Let j be 2/2 - (-2 - 1). Suppose -j = 4*k - 0. Is (7 - 2) + 2 + k a multiple of 4?
False
Let w(s) = -s**3 - 5*s**2 - 6*s - 3. Let t be w(-4). Suppose t*y - 37 = 23. Does 12 divide y?
True
Suppose -8*v + 418 + 6 = 0. Is 6 a factor of v?
False
Let b(t) = -20*t**2 - 6*t - 5. Let j(q) = -7*q**2 - 2*q - 2. Let r(d) = -6*b(d) + 17*j(d). Is 20 a factor of r(4)?
True
Suppose 0 = -l + 2*l - 2. Suppose -4*p - q = 99, 2*p + l*q = 6*p + 114. Is p/(-5) + (-3)/15 a multiple of 3?
False
Suppose 4*q - 9*q + 15 = 0. Suppose 5*j = -5*t + 385, q*j = -4*t + 3*t + 233. Is j a multiple of 26?
True
Let g = 26 + -21. Let t be 5/3*72/2. Suppose 2*u - 2*x - 41 = -g, 4*u + 2*x = t. Does 8 divide u?
True
Let h = 16 + -12. Suppose h*q - 179 = -19. Is 8 a factor of q?
True
Let t(w) = w**3 + 5*w**2 + 4*w - 4. Let h be t(-4). Is 32 a factor of (-103)/((-3)/(h - -7))?
False
Suppose 3*c + 4 = 5*c. Suppose a + 23 = 2*l, -6*l + c*l + 41 = -a. Is l a multiple of 6?
False
Let p = -1 + 1. Suppose -458 = -5*j - l - 82, j + l - 72 = p. Is j a multiple of 19?
True
Is 6*1*27/6 a multiple of 9?
True
Let t = -10 - -16. Let l = -3 + t. Suppose 29 = 4*j - q, -j - 6*q + l*q + 4 = 0. Does 3 divide j?
False
Let q(k) be the first derivative of k**3/3 + 5*k**2/2 + 5*k + 3. Does 5 divide q(-5)?
True
Let a(v) = v**2 + 8*v. Let d be 8/(21/9 - 3). Is 24 a factor of a(d)?
True
Does 33 divide ((-77)/28)/((-2)/32)?
False
Suppose -7*w + 390 = -254. Is 20 a factor of w?
False
Suppose 0 = -5*q + 9 + 6. Let m be 18/q*(-4)/(-6). Suppose -2*t = -m*t + 56. Is 14 a factor of t?
True
Suppose -2*b + 7*b - 76 = -g, -2*g - 2*b + 184 = 0. Does 32 divide g?
True
Let v be (-5)/(-25) - (-32922)/15. Is 15 a factor of v/45 + (-2)/(-9)?
False
Let q(o) = 12*o**2 + 5*o + 9. Is q(-3) a multiple of 15?
False
Let u = -5 - -7. Suppose -u*p + 12 = -44. Does 12 divide p?
False
Suppose 5*r - 5*y - 640 = 0, -3*r - 4*y + 238 = -174. Is r a multiple of 11?
True
Let g(v) = -v. Let k = -6 + 0. Let r be g(k). Is 16 a factor of 5*r - (-2 - 0)?
True
Let b(i) = i**2 + i - 2. Let d be b(0). Let k be (d - 0)/(8/36). Is (-1 - -2)*(-2 - k) a multiple of 2?
False
Let i(t) be the third derivative of t**6/120 - 7*t**5/60 + t**4/2 - t**3/2 + 8*t**2. Is i(5) even?
False
Suppose -3*h + 4*d = -25, 5*h - h = -4*d - 4. Does 6 divide -1*(-26 + h)*1?
False
Let m = -3 - -3. Let l(k) be the third derivative of k**6/120 + k**4/24 + 5*k**3/3 - k**2. Is l(m) a multiple of 6?
False
Suppose 5*n = b + 23, 0 = 3*b - 2*n + 5*n - 21. Suppose 0 = b*d + 1 + 17. Let r = d + 21. Is 8 a factor of r?
False
Let m = -4 + 6. Suppose 3*w = -m + 11. Suppose w*z + z = -4, 5*z = b - 25. Does 10 divide b?
True
Let j(w) = -w + 36. Let l be j(0). Is 2*-10*l/(-16) a multiple of 10?
False
Suppose 0 = -2*j + 50 - 2. Let m be j/(-14)*(-126)/4. Let q = -20 + m. Is q a multiple of 13?
False
Suppose -5*w - 5*z + 40 = 0, 4*z + z = -3*w + 30. Suppose w*y = 4 - 79. Does 2 divide (-2)/5 + (-66)/y?
True
Suppose -c + 3*c = 6. Suppose c*r - r = 14. Does 4 divide r?
False
Suppose -20 = 5*i - 9*i. Is 5 a factor of i?
True
Let g(n) = n**2 + n + 45. Let b(c) = c**3 + 8*c**2 - 8*c + 9. Let v be b(-9). Is g(v) a multiple of 13?
False
Let b = 21 + -33. Let j be 4/2*(-42)/b. Does 4 divide (-185)/(-35) - 2/j?
False
Let m be (-26 - -3)/((-1)/2). Suppose -2*d - 4 = 0, -s = -0*s - d - m. Suppose -3*q = 4*u - s, -4*u - 4*q + 44 = -2*q. Does 11 divide u?
True
Let m(h) = h**3 + 9*h**2 + 9*h - 9. Is 11 a factor of m(-7)?
False
Let z(h) be the second derivative of -h**5/20 + h**4 - 5*h**3/6 + 5*h**2/2 - 4*h. Is 15 a factor of z(11)?
False
Suppose 0 = -3*b - 28 + 235. Is 12 a factor of b?
False
Suppose 0*f - 4*f = -12. Suppose -2*c - 3*p + 282 = 3*c, f*p = c - 42. Does 14 divide c?
False
Let y be (-2)/4 + (-145)/(-10). Is 13 a factor of 4/(-14) + 186/y?
True
Suppose -g - 4*g = -20. Suppose -30 + 33 = d. Suppose 4*h + m - 106 = 0, 0 = -h + d*h + g*m - 60. Is h a multiple of 13?
True
Let t(f) = -f**3 - 6*f**2 - 6*f + 5. Let n be t(-5). Let l = 34 - n. Is 17 a factor of l?
False
Let b(f) = -f**2 - 5*f - 1. Let y be b(-5). Is -2 - (y + -5 + 0) a multiple of 3?
False
Let x be (-1 + 1)*(-2)/(-4). Suppose -3*b + a = -29, x*b - 27 = -3*b + 3*a. Is b a multiple of 10?
True
Let k = -10 + 17. Suppose 0 = -k*o + 6*o + 26. Is o a multiple of 15?
False
Let r = 5 - 3. Suppose -15 + 5 = -r*o. Is o a multiple of 2?
False
Let k = -11 - -15. Suppose -3*z - 1 = -2*w + 2, 2*z - 5 = -w. Is (k/6)/(w/81) a multiple of 9?
True
Let s = -21 + 15. Let f(r) = -7*r + 9. Let c(n) = -4*n + 4. Let x(a) = -5*c(a) + 3*f(a). Does 13 divide x(s)?
True
Suppose -5*i = t - 95, 2*i + 2*t = -3*i + 100. Does 4 divide i?
False
Let z = -51 - -76. Does 5 divide z?
True
Let j be -1*8*15/20. Let d = 6 + j. Suppose d = -l + 1 + 7. Is l a multiple of 4?
True
Suppose -r - 2*f = 3*r - 34, -6 = -r - f. Is 11 a factor of r?
True
Is 29 a factor of 2443/21 - (-2)/(-6)?
True
Let s(y) = y - 2. Let x(r) = r**3 + 5*r**2 + 5*r + 6. Let p be x(-4). Let q be s(p). Suppose 0 = -2*z - q*z + 64. Is 18 a factor of z?
False
Suppose u + 5*g = -6, 5*g - 6*g = -2*u + 32. Is 3 a factor of u?
False
Let x be (-1)/(-2) - (-1)/(-2). Suppose 0 = -x*h - h + 10. Let u = 25 - h. Is u a multiple of 15?
True
Suppose -t - 7 + 60 = -5*n, 5*t + 5*n = 265. Is t a multiple of 23?
False
Let d = 130 + -91. Is d a multiple of 10?
False
Let m = -3 + 6. Let d be (40/m)/(-4)*3. Is (4/d)/(1/(-5)) a multiple of 2?
True
Suppose 0 - 24 = -m. Suppose 66 + m = 5*x. Is x a multiple of 18?
True
Suppose 2*k = 4*k - 166. Does 20 divide k?
False
Suppose -o + 60 - 10 = 0. Let l(x) = 4*x - 4. Let u be l(7). Let n = o - u. Is n a multiple of 13?
True
Suppose 672 + 60 = 6*u. Is 16 a factor of u?
False
Suppose y - 75 = -2*y. Is y a multiple of 16?
False
Suppose 3*h + 183 = 3*i + i, 5*i - 231 = 3*h. Let a = i + -24. Is a a multiple of 12?
True
Let t(d) = -d**3 - 6*d**2 + 5*d - 7. Let u be t(-7). Suppose -3*s = 1 - u. Suppose 3*h = h - s*j + 58, -3*j + 63 = 2*h. Is 12 a factor of h?
True
Suppose 0 = 3*d + 4*r - 138, -2*d + 2*r + 107 - 15 = 0. Let s be (-609)/42*(-1 - -3). Let p = d + s. Does 5 divide p?
False
Suppose 2 = j - 5*b, -b = 2*j + 3*j - 36. Suppose -2*z - 95 = -j*z. Does 7 divide z?
False
Let k(u) = u**2 + 4*u. Let m be k(-3). Let h = 11 - m. Does 14 divide h?
True
Let