19 = -3*n, n = -2*s + 18 + k. Is 6 a factor of s?
False
Let k(x) = 9*x - 4. Let m be k(3). Let s = 35 - m. Is s a multiple of 4?
True
Suppose 3 = h - 2. Suppose -168 + 3 = -h*m. Does 16 divide m?
False
Suppose 0 = 3*i + 6*u - u + 11, 3*u = -i - 9. Suppose -y - 68 = i*d, -4*d + 3*y = d + 132. Does 16 divide ((-8)/(-3))/((-4)/d)?
True
Let r(n) = 4*n - 13. Let d be r(-8). Let z = -25 - d. Is z a multiple of 20?
True
Let h be (4/6)/((-4)/(-30)). Suppose 31 = -h*j - 14. Does 8 divide 60/j*12/(-5)?
True
Suppose 0*g + k + 15 = 5*g, 3*g - 5*k = 31. Suppose -4*i + 15 = 5*b - 125, 0 = g*b - 5*i - 23. Does 8 divide b?
True
Suppose 8 = 2*j - 6. Is 6 a factor of j?
False
Suppose 2*a - 3 = 7. Suppose q = -a*m, m + 2*m + 3*q = 0. Suppose m*r = 4*r - 72. Is 18 a factor of r?
True
Let b = 22 - 17. Suppose -378 = -b*k - 3*w, 3*w = 4*k - 161 - 136. Does 13 divide k?
False
Suppose 0 = -4*n + 6 - 42. Let i = 1 - n. Is i a multiple of 6?
False
Suppose 6*f - 2*f + 224 = 0. Let p = f + 89. Is 11 a factor of p?
True
Let n(j) be the first derivative of j**3/3 + 3*j**2/2 + 5*j - 3. Suppose 5*f + 17 = 4*w, 2*f - 6*f + 3*w = 14. Does 5 divide n(f)?
True
Let x(q) = q**2 + q. Let p be x(-3). Suppose -p*z = -2*z. Let h(f) = f + 9. Does 4 divide h(z)?
False
Is 13 a factor of (52/(-7))/((-24)/84)?
True
Let x = 0 - -2. Suppose 0 = -x*p + p + 11. Does 6 divide p?
False
Let i be (1*0/(-1))/1. Suppose i = -2*k - k - 3*y + 84, -5*k - 2*y = -152. Does 16 divide k?
True
Suppose -5*b - 94 = -7*b. Is b a multiple of 7?
False
Let h = -242 - -385. Does 11 divide h?
True
Let y(z) = z**3 - 6*z**2 - 7. Let l be y(6). Let v(t) = -2*t - 1. Let a be v(l). Suppose -3*d + a = -5. Is d a multiple of 6?
True
Let c = 11 - -1. Does 12 divide c?
True
Let l = 4 + -1. Suppose -w = l*w - 60. Suppose -4*i = i - w. Is i even?
False
Let b be 42/8 - (-6)/(-24). Is 4 a factor of (0 + 6 - 3) + b?
True
Suppose 0 = -2*z - 3*c + 748, 2*c = -z + 414 - 39. Suppose 0 = -4*k - 0*l - 3*l + z, 0 = -k + 5*l + 110. Does 25 divide k?
False
Let q be 1/(0 + 2/164). Let p = q - 44. Is 14 a factor of p?
False
Suppose 8*w - 30 = 3*w. Suppose 4 = -4*a + w*a, 4*d + 166 = a. Let l = -27 - d. Is 14 a factor of l?
True
Let d be ((-2)/(-3))/((-4)/(-6)). Suppose k = -2*w + 38, -2*k = -2*w - 57 - d. Is k a multiple of 16?
True
Let h be 12/(-18) - 2/(-3). Suppose -5*s + h*c + c = -141, 4*c = 4*s - 116. Suppose 0 = -0*o - 2*o + s. Is 14 a factor of o?
True
Let k(w) = w**2 + 7*w + 12. Is 14 a factor of k(-11)?
True
Let g be (-11)/(-3) - (-4)/(-6). Suppose -57 = -z - 2*z + 3*w, 39 = 3*z + g*w. Is 8 a factor of z?
True
Suppose 0 = -6*w + 11*w - 385. Is w a multiple of 23?
False
Let b be 3 + (2 - 3) - -2. Suppose b*r + 95 = 5*y, -2*r + 0*r - 38 = -2*y. Is y a multiple of 19?
True
Let d(t) = -t**3 - 10*t**2 - 2*t + 3. Let h be d(-10). Suppose -2*i = -4*n - 5*i + 17, 4*n - h = 3*i. Let q = 3 + n. Is q a multiple of 8?
True
Suppose 5*v - 81 = 119. Is 13 a factor of v?
False
Let y(j) = -j**3 + j**2 + 2*j - 4. Let z = 2 - 0. Let m be -3*(z - (-1 + 2)). Is 12 a factor of y(m)?
False
Let k(q) = q**3 - 8*q**2 + q + 10. Suppose -13 = -3*t + 4*i, -6*i = 4*t - i - 38. Let n be k(t). Let b = n - -61. Is 16 a factor of b?
False
Let g(s) = -s**2 + 2*s + 4. Let v be g(-4). Let c = -28 - v. Does 10 divide (c/(-10))/((-4)/(-100))?
True
Let k = -57 - -85. Let t = k - 3. Let i = -17 + t. Is i a multiple of 3?
False
Let f(k) = -3*k**2 - 9 + 2*k**2 - 7*k + 3*k**2. Is f(8) a multiple of 16?
False
Let i be -1 + 2 - (-135)/(-3). Let r = 67 + i. Is r a multiple of 7?
False
Does 4 divide (-75)/20*8/(-3)?
False
Suppose 3*j - 410 = -2*j. Is 38 a factor of j?
False
Suppose 0 = -2*m + 126 - 42. Is m a multiple of 11?
False
Let j(p) = -p**2 - 17*p + 20. Is 5 a factor of j(-17)?
True
Let q(u) = u**2 - 4*u + 1. Let w(k) = -k + 7. Let i be w(4). Let z be q(i). Does 4 divide (3 - z)*16/10?
True
Suppose -30 = -o + 4*k, 23 = -5*o + 3*k + 190. Is 17 a factor of o?
True
Suppose 5*g + 5*x = -0*x - 95, 5*g - 5*x + 65 = 0. Let l = g - -26. Suppose -5*h + l = -30. Is 7 a factor of h?
False
Let v = -2 - -8. Let f(i) = i**2 - 5*i + 5. Is 8 a factor of f(v)?
False
Let i(r) = -3*r**2 + 10*r - 11. Let x(o) = -7*o**2 + 21*o - 23. Let p(v) = -5*i(v) + 2*x(v). Is 2 a factor of p(7)?
True
Let c = -16 + 27. Suppose -3 = 4*o - c. Suppose -4 = o*h - 48. Is h a multiple of 9?
False
Let p = -7 + 15. Suppose 23 = 3*j + p. Suppose 4*l = -5*n + 168, 0 = j*n - 2*n - 5*l - 123. Does 10 divide n?
False
Let l(s) = -s**3 - 7*s**2 - 2*s + 2. Let f be l(-7). Suppose -t = t - f. Is 8 a factor of t?
True
Let z = 4 - -26. Is 6 a factor of z?
True
Suppose 0 = -0*x - 5*x - 70. Let k = x - -28. Is 8 a factor of k?
False
Let p be 4/(-6) - 1740/(-18). Let n = -52 + p. Suppose -m + 162 + n = 4*s, -146 = -3*s - 5*m. Does 16 divide s?
False
Suppose 0*b - g = 3*b - 83, -4*b + 108 = 4*g. Let s = b + -12. Does 8 divide s?
True
Is (-121)/(-7) + (-34)/119 a multiple of 4?
False
Let c be 2 + 105 + 3/(-1). Suppose 0*j - c = -4*j. Is j a multiple of 13?
True
Suppose -p = 4*g - 3, -1 = -3*p - 2*g - 2*g. Is 4 a factor of 4/p + 3 + 23?
False
Suppose 5*c = 305 + 570. Is c a multiple of 43?
False
Let p = -226 - -76. Let u = -106 - p. Does 11 divide u?
True
Suppose -3*r + 11 = 2*d, d - 7 = -r - 3*d. Is 3 a factor of r?
True
Let f(w) = w**2 + 8*w. Let a be f(-8). Let o = a - -19. Is 7 a factor of o?
False
Let y = 152 + -140. Does 3 divide y?
True
Let b = 20 - -11. Is 15 a factor of b?
False
Let a be 10/(-25)*1*-15. Let h be (-3)/a - (-13)/2. Is 4 a factor of (-9)/h*8/(-3)?
True
Does 9 divide 1 + 17*(-2 + 3)?
True
Suppose 0*c = 2*c. Let v = 82 - 51. Suppose c = -3*w + 3*j + 48, v = 3*w - 2*j - 18. Does 17 divide w?
True
Let j = -221 + 375. Does 19 divide j?
False
Let z = -1 - -10. Is z a multiple of 3?
True
Let j(c) = c**3 - 4*c**2 + 2*c + 7. Let b = 15 + -10. Is 14 a factor of j(b)?
True
Let h be ((-72)/10)/((-6)/20). Let b = h + -12. Suppose -3*i = -5*w - b, -w - 30 = -2*i - 5*w. Does 7 divide i?
False
Let y(d) = -109*d**2 - d - 2. Let t be y(2). Let x = 653 + t. Does 27 divide x/6 - (-2)/4?
False
Let o(t) = t + 14. Is 7 a factor of o(7)?
True
Suppose -10 = -4*i - i. Suppose t + t = i*o - 2, o = 5*t - 15. Does 2 divide o?
False
Suppose -32 = -4*y + 4. Does 14 divide 2 + (1 - -2) + y?
True
Suppose 5*y + 4*w = 16, 2*y - 3*y = 4*w. Let u = y + -5. Is 9 a factor of (2 - (-11 + u)) + 2?
False
Let b(i) = i**2 + 5*i - 11. Is 27 a factor of b(-12)?
False
Let i(x) be the first derivative of x**2/2 + 3*x - 2. Suppose -2*j + 18 = 4. Is i(j) a multiple of 10?
True
Let c = 21 - -8. Does 13 divide c?
False
Suppose 4*g + 10 = 6*g, -5*z + 10 = -g. Suppose 7*f = z*f + 312. Is f a multiple of 24?
False
Suppose -3*a + 37 = -5. Does 11 divide a?
False
Let x be ((-2)/6)/((-1)/3). Let h = 12 - x. Does 4 divide h?
False
Let o = -1 - -4. Suppose o*s - 112 = -4*j, 2*j = j - 3*s + 28. Does 8 divide j?
False
Does 34 divide 5*(5 + 174/5)?
False
Let o(b) = 71*b**3 - b**2. Is o(1) a multiple of 35?
True
Let f(h) be the first derivative of h**5/15 + 7*h**4/24 - h**3/3 - 4. Let j(k) be the third derivative of f(k). Is j(8) a multiple of 18?
False
Suppose -3*r = 7*r - 750. Does 15 divide r?
True
Let i(k) = k**2 + 2*k + 9. Let b = 6 - -3. Let z = -16 + b. Is i(z) a multiple of 13?
False
Suppose 5*r - 12 = -2. Suppose -3*d = -r - 4. Suppose 0 = -0*a - d*a + 56. Does 14 divide a?
True
Let g(t) = t**3 - t**2 - 18*t + 6. Is 39 a factor of g(6)?
True
Let w be (-1*18/(-1))/1. Let b = w + -6. Suppose -v + b - 1 = 0. Is 11 a factor of v?
True
Let u = 19 - -18. Is u a multiple of 13?
False
Is 8 a factor of ((-504)/(-45))/(2/5)?
False
Let j = 37 - 57. Let k be (16/j)/((-1)/(-5)). Does 19 divide (-1)/2 - 154/k?
True
Suppose -4*q = -2*q - 10. Suppose 0 = -q*f + 35 + 40. Is f a multiple of 4?
False
Let q(s) = 2*s + 5. Let z be q(5). Suppose 5*r + 4*n - 48 = 0, 3*n = -3*r + 15 + z. Is 4 a factor of r?
True
Let x = 6 + -1. Suppose 4*w - 3*r = 115, r - 137 = -x*w - 2*r. Is 14 a factor of w?
True
Suppose -57 = -2*d + 25. Let o = -11 - d. Let w = 81 + o. Is 13 a factor of w?
False
Does 29 divide (7/14)/(2/244)?
False
Is (-9 + 1)*2*3/(-6) a multiple of 8?
True
Suppose 0 = 4*n + 2*q + 22, 8*n + q = 3*n - 26. Let o be 145 - -1 - (n - -4). Suppose 3*k + 2*x - 101 = 7*x, 5*k - 3*x