of 6?
True
Let k(b) = b**2 + 5*b + 3. Let m be k(-3). Is 12 a factor of 2*(51/(-2))/m?
False
Let z = 14 + -20. Does 14 divide ((-18)/(-15))/(z/(-80))?
False
Let u(t) = t**2 - 7*t + 3. Let y be u(7). Suppose -k - 48 = y*k. Is 2*(-3)/k*26 a multiple of 13?
True
Let f(o) = -o**2 + 4. Let s be f(5). Let l = 88 - 127. Let y = s - l. Does 18 divide y?
True
Let k(s) = 8*s. Let m(f) = 33*f - 1. Let o(b) = 18*k(b) - 4*m(b). Is 21 a factor of o(3)?
False
Suppose -332 + 44 = -6*u. Is u a multiple of 12?
True
Let n = 405 - 269. Does 34 divide n?
True
Suppose l + 4 = -2*s, 5*l + 3*s + 34 + 14 = 0. Let i(p) = p**3 + 11*p**2 - 13*p + 16. Let r be i(l). Let q = -6 + r. Does 11 divide q?
True
Let p be 10/(-25) - 27/(-5). Suppose -p = -d - 1. Does 3 divide d?
False
Suppose -5*d - s + 16 = 3*s, 5*d = 4*s - 16. Is 16 a factor of 108 + -16 + (-1 - d)?
False
Suppose 3*z + j = -0*j - 25, 5*z + j = -39. Let g(i) be the first derivative of -i**4/4 - 7*i**3/3 + 9*i + 1. Is 9 a factor of g(z)?
True
Is (-3)/12 - 119/(-28) a multiple of 4?
True
Let r be 3/9*0 - 0. Suppose r*f = 3*f - 15. Suppose y + f = 0, -7 = 2*k + 3*y - 28. Does 13 divide k?
False
Suppose 3*h = 2*h + 7. Does 2 divide h?
False
Is (-1 + 3/15)/((-4)/390) a multiple of 7?
False
Let y be -8*(-4)/((-24)/(-39)). Suppose 0 = -3*j + q + 35, -y = -2*j - 2*j - 4*q. Suppose -2*k + 2*l = -16, j = k + 3*l - 8. Does 4 divide k?
False
Suppose -2 = -2*w - 4*n, -4*w + 15 = 3*n - 6*n. Let c = w - -9. Is c a multiple of 8?
False
Suppose 3*x + 4*o - 36 = 0, -4*o = -4*x - 5*o + 35. Does 27 divide 863/x - (-6)/48?
True
Let w(z) = -8*z**3 - 3*z**2 - 2*z - 2. Does 27 divide w(-2)?
True
Let b be 10/(1/(6/(-4))). Does 6 divide (130/b)/(4/(-6))?
False
Let p = 15 - 6. Let t = p + -9. Suppose 2*s - 12 = -q - t*s, q + 2 = 5*s. Is q a multiple of 8?
True
Let d(s) = -4*s + 6. Let f be d(-5). Is 11 a factor of 4/f + (-141)/(-13)?
True
Suppose -5*b = -b - 20, 0 = 4*s + b - 161. Suppose 0 = 3*i - 0*i - s. Is 13 a factor of i?
True
Suppose -k + 5 = o, 2*k + 3*o - 9 = 1. Suppose 0*t = k*t - 255. Is 2/8 - t/(-4) a multiple of 13?
True
Let i(o) = -o**2. Let u be i(0). Let y be 3/6*(84 - 0). Suppose y = -u*m + m. Is m a multiple of 19?
False
Let u be (-1 - -156) + 1 - 2. Let l = 84 - u. Let j = -48 - l. Does 11 divide j?
True
Suppose h - 5*h = -2*k - 396, 0 = 5*h + 4*k - 495. Is h a multiple of 11?
True
Does 5 divide (-77)/(-6) + 1/6?
False
Let j(u) = -u - 6. Let s be j(-6). Suppose 5*f + 52 - 2 = s. Is 12 a factor of ((-54)/15)/(2/f)?
False
Let f(s) = 7*s**2 - 11*s + 5. Is f(3) a multiple of 2?
False
Suppose -22*t + 260 = -12*t. Is t a multiple of 4?
False
Suppose -t + 2*o - 2 = -2*o, t = -4*o - 2. Let x be t + 5 + 1 + 2. Suppose 2*i - 3*b = -x*b + 40, 108 = 4*i - b. Is 13 a factor of i?
True
Let m = 15 + -2. Is m a multiple of 5?
False
Is 6 a factor of 29*(49/42 - 1/6)?
False
Let k = -13 - -21. Let x(j) = 2*j - 3. Does 13 divide x(k)?
True
Let r(l) = -l + 9. Let c be r(0). Suppose 0 = 3*s + 4*q - 34, -q = 2*s - c - 7. Does 3 divide s?
True
Let w(q) = q**3 - 10*q**2 + 8*q + 7. Let k be w(9). Is (-1432)/(-36) - k/9 a multiple of 10?
True
Suppose 0 = 2*k - 6*k + 12. Suppose 11 = -s + 4*z, k*s - 7 = 8*s - 4*z. Is s - ((-6 - -1) + 0) a multiple of 3?
True
Let s(z) = -2*z + 3 - 10*z**2 - 1 - 4*z - z**3 + 3*z**2. Let i be s(-6). Does 8 divide ((-4)/i)/2*-24?
True
Let b be (1 - -2) + -4 + 2. Does 13 divide (40/3)/(b/3)?
False
Is (-4)/6 - (-350)/30 a multiple of 3?
False
Let t = 42 - -30. Is t a multiple of 24?
True
Let u = -165 + 203. Is 4 a factor of u?
False
Suppose 2*y = -5 + 17. Is y a multiple of 6?
True
Suppose 13*l + 6 = 15*l, 4*b - 2*l = 370. Is 16 a factor of b?
False
Let o = 6 - -154. Is o a multiple of 30?
False
Let q(z) = 4*z**2 + 8*z + 3. Does 12 divide q(-3)?
False
Let q = -3 - -12. Let h(m) = -m**3 + 9*m**2 + 6*m - 4. Let n be h(q). Suppose 4*i - n = 2*i. Is i a multiple of 9?
False
Let g = -6 + 10. Let q be ((-4)/(-6))/(g/276). Suppose -q - 2 = -4*s. Is 6 a factor of s?
True
Let h = 9 - 2. Let l = -17 + -2. Let z = h - l. Does 9 divide z?
False
Let i be 8/(-12) - 96/(-9). Let k = i + 18. Is k a multiple of 14?
True
Let n(c) be the second derivative of 7*c**4/24 - c**3 - c**2/2 - c. Let h(x) be the first derivative of n(x). Is h(5) a multiple of 13?
False
Let o be 9/(3 + 0)*1. Suppose o*h - 2 = 7. Suppose 0 = 3*v - 0*p - 2*p - 50, h*p = 3*v - 48. Is 9 a factor of v?
True
Let j = -127 + 89. Let p be j/(-14) - (-4)/14. Suppose 0 = -4*v + 2*t - 5*t + 45, -p*t = 3. Is 6 a factor of v?
True
Let p = 269 - 189. Does 20 divide p?
True
Let f = 4 - 9. Let y be 6/5 + 1/f. Suppose -4*n + y = -19. Does 2 divide n?
False
Is 4/(-6) - 3/((-36)/1688) a multiple of 28?
True
Suppose 5*d + 12 = -2*j, 2*j + 0*d - 4*d - 6 = 0. Let b(a) = 4*a - 13. Let p(v) = 1. Let k(s) = j*b(s) - 3*p(s). Is 19 a factor of k(-7)?
True
Does 2 divide ((55/(-20) - 4) + -3)*-4?
False
Suppose -2*v = -5*w + 3, -1 + 0 = 4*v - 5*w. Let i = 69 + v. Is 19 a factor of i?
False
Let p = 43 + -12. Let s be -23 - (-1*3 - -2). Let o = s + p. Is o a multiple of 5?
False
Suppose -2*z - 3*f + f + 94 = 0, 0 = 2*z + 5*f - 106. Does 14 divide z?
False
Suppose -400 = -11*y + 3*y. Is 17 a factor of y?
False
Let p = 68 + -112. Let u = -21 - p. Does 13 divide u?
False
Suppose -2*u = s, -7 = -5*s + 2*s + u. Suppose s*p - 54 - 22 = 0. Is 19 a factor of p?
True
Suppose -2*r = -5*r - 5*y - 12, 4*y + 16 = 4*r. Let v(f) = 6*f. Let w be v(r). Is 9 a factor of 9/w*28/3?
False
Let s = 0 - -17. Does 17 divide s?
True
Let x = 1 + 2. Suppose -x*z - z + 182 = 3*r, 5*r = 2*z - 78. Is z a multiple of 11?
True
Let d(z) = -z**3 - 2*z**2 - 8*z - 2. Does 18 divide d(-3)?
False
Suppose -8*i = -415 - 65. Does 15 divide i?
True
Suppose 0 = 3*g - 2*g. Suppose 4*u - 5*o + 65 = g, -o + 20 = -u + o. Does 6 divide (-10)/((u/4)/5)?
False
Let r(d) = d**2 - 5*d. Let c be r(5). Suppose -4*b + 0*b + 52 = c. Is b a multiple of 6?
False
Let t(l) = 2 + 2*l - 3*l - 3. Let d be t(-3). Let v(u) = u**3 + 2*u**2 + u. Does 9 divide v(d)?
True
Suppose -r - 3 = -7. Suppose -r*t + 12 = -2*t + 4*n, -n = -3*t + 4. Suppose c - 5 = -b, -c = 3*c + t*b - 26. Is 3 a factor of c?
False
Let b(c) = -8*c**3 + 2*c**2 - c - 2. Let a be b(-3). Suppose 0 = -3*p + 2*p - 2, 5*p = -5*d + a. Is d a multiple of 16?
False
Let c = 81 - 16. Is 12 a factor of c?
False
Let o = -93 + 132. Does 13 divide o?
True
Suppose 4*n - 2*l - 44 = 0, 4*n + l - 46 = 2*l. Is n a multiple of 10?
False
Let u = 527 + -319. Is u a multiple of 36?
False
Let o = 9 + 27. Suppose 3*l - 5*l = -o. Is 13 a factor of l?
False
Suppose 9 - 42 = -o. Is 7 a factor of o?
False
Let j(n) = -3*n**3 + 5*n**2 + 5*n - 2. Let o be j(-6). Let y be 2/5 + o/10. Suppose -4*a + 4*z + y = -z, -20 = -a + 4*z. Is 9 a factor of a?
False
Is -36*(10/8 - 3) a multiple of 21?
True
Let r = -5 + 8. Suppose -3*d = -3*b + 2*b, 2*b = 3*d + r. Let h = 7 + d. Is h a multiple of 8?
True
Suppose 0 = -4*p + 5*p - 9. Suppose -11 = -5*r + p. Is 2 a factor of r?
True
Suppose 0 = 5*x - 770 - 580. Does 10 divide x?
True
Suppose 5*o - 7*o + 140 = 0. Does 23 divide o?
False
Let n(w) = w**3 + 7*w**2 - 9*w - 3. Let a be n(-8). Suppose a*k - 339 + 104 = 0. Is 9 a factor of k?
False
Suppose d = -3*i - 3*d - 32, 2*d + 20 = -2*i. Let u = -5 - -3. Does 8 divide u*(0 - i/(-2))?
True
Let m = 0 + 3. Suppose -7 = -3*r + 20. Suppose -m - r = -2*l. Is 6 a factor of l?
True
Suppose r = 5*h + 238, -19 = -3*h - 4*r - 171. Let q = -6 - h. Does 14 divide q?
True
Suppose 3*c + 32 = 710. Does 10 divide c?
False
Suppose -4*n + 792 = 2*n. Does 12 divide n?
True
Let y = 10 + -6. Suppose -5*m + 3*j = -m - 41, 0 = -y*j + 20. Is 9 a factor of m?
False
Does 14 divide 34/2 + (1 - -2)?
False
Let i = 114 - 45. Does 23 divide i?
True
Let n be (9 - 1)*2/(-4). Let c(f) = -f**3 - f**2 + 3*f + 6. Is 21 a factor of c(n)?
True
Suppose v - 5*c - 14 = 2*v, 0 = 4*v - 5*c - 44. Is 8 a factor of 118/v + 2/(-3)?
False
Let v = -65 - -186. Does 29 divide v?
False
Suppose q = 0, -31 + 155 = 4*s + 3*q. Is 8 a factor of s?
False
Let x(o) = 4*o**2 - 8*o + 8. Let m(h) = -h**2 + 0*h**2 - 3*h**2 + 3*h**2. Let f(r) = -5*m(r) - x(r). Is 11 a factor of f(-11)?
False
Let m(w) = w**3 - 5*w**2 - 4*w + 8. Let o(l) = 2*l**2 - 7*l - 2. Let u be o(6). Suppose -4*d + u = 4. Is 10 a factor 