3?
False
Let i be (10/6)/(1/24). Let j = i - 1. Does 9 divide j?
False
Suppose -5*n = -n - 220. Is 30 a factor of n?
False
Suppose 0 = -4*o - 5*l - 2, -o + 3*l - 4 + 12 = 0. Let c(r) = 5*r**2 + 17*r + 3. Let k be c(-4). Let s = k + o. Does 17 divide s?
True
Let p(a) = 5 - 2 + 8 + a. Let b be p(-8). Suppose 0 = b*k - k - 52. Is 14 a factor of k?
False
Is 9 a factor of (-6)/(3/(9/(-2)))?
True
Is 12 a factor of 6/((-192)/(-8)) - (-142)/8?
False
Suppose 3*f - 290 = 8*f. Let g = f + 89. Does 12 divide g?
False
Let t(c) be the third derivative of -c**6/120 + c**5/10 + 3*c**4/8 - 2*c**3/3 - 3*c**2. Does 22 divide t(6)?
False
Suppose 0 = -5*w - 11 - 4. Let i(x) = -5*x + 1. Is i(w) a multiple of 16?
True
Let w(p) = 14*p**2 + 3*p - 2. Is w(-4) a multiple of 14?
True
Let m be ((-2)/(-3))/(2/33). Let l = m + -7. Suppose -g + l*g - 5*p = 73, -15 = 3*p. Is g a multiple of 8?
True
Suppose 3*q + 2*l = l + 168, q + 5*l - 56 = 0. Suppose -66 = -4*y + 2*y - 4*t, 2*y - q = t. Is y a multiple of 6?
False
Let c(u) = -2*u**3 + 7*u**2 - 21*u. Let x(o) = o**3 - 3*o**2 + 11*o. Let l(a) = -4*c(a) - 7*x(a). Is 6 a factor of l(6)?
True
Let s = -6 - -21. Let w be s/(-6)*(-6)/5. Suppose -w*b - b = -80. Is 16 a factor of b?
False
Let s(z) = z**3 + 2*z**2 + 5*z + 3. Let p be s(-4). Let y = -5 - p. Suppose 2*x + 2*x = y. Does 10 divide x?
False
Let q(b) = b**2 + 14*b + 5. Let g be q(-13). Let p = 27 + g. Is p a multiple of 15?
False
Suppose -3*v - 6 = 2*m, -4*m - 12 = 5*v - 4. Suppose -m*b + 39 = -9. Is 8 a factor of b?
True
Suppose -473 = 5*d - l + 3*l, 3*d - 5*l = -259. Is 11 a factor of (-8)/28 + d/(-7)?
False
Let p = -2 - -6. Let j(n) = 2*n**3 - 2*n**2 - n - 5. Let h be j(p). Is h/3 + 2/2 a multiple of 12?
False
Suppose -n + 36 = -44. Suppose -5*x + 0*x = n. Let r = 47 + x. Does 16 divide r?
False
Let d(b) = 10*b + 5. Let t = 12 + -8. Let l be d(t). Does 10 divide (-1)/(-2) - l/(-2)?
False
Suppose 3*n - 69 - 69 = 0. Does 16 divide n?
False
Suppose 152 = 3*f - 2*b, -4*f - 5*b = -10*b - 212. Does 16 divide f?
True
Let v be (60 - 4)*1/1. Let l = -35 + v. Does 9 divide l?
False
Let r(x) = -2*x - 3. Let l be r(-3). Suppose -m + 48 = l*m. Does 6 divide m?
True
Let c(w) = -w**3 - w**2 + w. Suppose 0 = -y + 4*y - 3. Let h(q) = 9*q**2 + 6*q - 4. Let b(l) = y*h(l) - c(l). Is b(-9) a multiple of 16?
True
Suppose 0 = -7*p + 9*p + 180. Let n = -51 - p. Is n a multiple of 8?
False
Let m(n) = 26*n - 3. Let z be m(2). Let u = z - -3. Is 13 a factor of (u/(-2))/1*-1?
True
Let u(j) = -j**2 + 7*j - 7. Let v be u(5). Let z(b) = -b**2 - 6*b + 3. Let y be z(-5). Suppose 0*k + y = -2*k, 5*p = v*k + 142. Does 12 divide p?
False
Let r = -10 + 33. Is 23 a factor of r?
True
Suppose -3 = -9*w + 897. Does 7 divide w?
False
Let c(n) = -n**2 + 21*n - 23. Is 25 a factor of c(14)?
True
Let b(x) = 83*x**3 + 2*x - 1. Let m be 1/((2 - 3) + 2). Does 14 divide b(m)?
True
Suppose a = 4*i - 2*i - 7, -5*a = -5*i + 20. Suppose i*u - 16 = 62. Is 13 a factor of u?
True
Let d(f) = -f - 5. Let s be d(-5). Let j be -3 - 3/(-1) - s. Suppose 0*o + 10 = 2*o - 2*z, 4*o + 5*z - 11 = j. Is 2 a factor of o?
True
Suppose 242 = 4*s - 2*y, 2*s + 4*y = 3*y + 119. Is s a multiple of 29?
False
Let b = -17 + 25. Let y(q) = -35*q + 1. Let a(r) = -6*r. Let n(v) = 34*a(v) - 6*y(v). Is 21 a factor of n(b)?
True
Is 4 + ((-18)/12)/(1/(-74)) a multiple of 28?
False
Let z = -59 + 72. Does 13 divide z?
True
Let h be 74/(-9) + (-8)/(-36). Let t(n) = n**3 + 8*n**2 - 4*n + 4. Is 12 a factor of t(h)?
True
Let y = 12 + -9. Suppose 2*a - 13 = -3*k + 15, 4*a + y*k = 56. Does 11 divide a?
False
Suppose 0*u + 5 = u - d, -3*u - 15 = 3*d. Suppose u*a - a = -12. Is 4 a factor of a?
True
Let i = 33 + -47. Let f = i + 49. Is f a multiple of 27?
False
Suppose 2*z + 248 = 4*z. Let a = -44 + z. Suppose -x = -3*x + a. Is 14 a factor of x?
False
Suppose 0 = -2*u + 85 + 41. Does 21 divide u?
True
Let q(j) = 13*j + 1. Is 22 a factor of q(5)?
True
Let m = 11 + -7. Does 11 divide 22*(10/m - 2)?
True
Suppose 2*k = 5 + 19. Suppose -p + k = p. Suppose j - p*j = -115. Is 8 a factor of j?
False
Let w(o) be the second derivative of -o**2/2 + 2*o. Let r(j) = -j - 26. Let x(h) = -r(h) + 6*w(h). Is x(0) a multiple of 13?
False
Let v be (-11)/2 + (-1)/2. Let y be (4/v)/((-14)/105). Suppose 2*a - y*t = 22, -4*t + 4 = -2*a + 4*a. Is a a multiple of 6?
True
Suppose 0*p = 5*p - 490. Suppose -4*b = -p + 14. Does 15 divide b?
False
Let t = -2 + 7. Suppose -5*u + 180 = c - 21, -3*c = t*u - 203. Does 13 divide u?
False
Let g(s) = -s**2 + 8. Let t be g(6). Is 12 a factor of t*(-7)/(147/18)?
True
Let s = -15 + 26. Suppose -46 = -2*z + 2*p, -4*z = -z - 2*p - 65. Let c = z - s. Is 8 a factor of c?
True
Let z be (24/9)/(4/6). Does 14 divide (16/z)/(2/14)?
True
Let a = -3 + 10. Suppose -6*m - 47 = -a*m. Does 16 divide m?
False
Let y = -4 - -8. Suppose 0 = -l + 2 + y. Is 2/(l/3) - -4 even?
False
Let z(p) = 3*p**2 - 6*p + 1. Does 23 divide z(5)?
True
Let s(r) = -r**2 + 41. Let n be s(0). Let f = 144 - 65. Let w = f - n. Is 15 a factor of w?
False
Let z = 65 - -18. Let q = z - 139. Let b = -24 - q. Is 12 a factor of b?
False
Let t(r) = r**3 + 5*r**2 - 6*r - 2. Let k be t(-6). Suppose 5*c + 15 = 0, 2*b + 83 = 3*c - 6*c. Let w = k - b. Is 12 a factor of w?
False
Let s be 2/(-8) + (-588)/(-48). Let t = 25 - s. Is t a multiple of 9?
False
Let a(t) = -4*t. Let q be a(-1). Let s = -2 + q. Suppose 6*g = s*g + 12. Is g a multiple of 3?
True
Suppose -2*q = 2*s + 2, 6*q + 5 = 4*q - 5*s. Suppose 3*w + 5*u - 163 = q, 0 = 5*w + u - 4*u - 249. Let d = w - 31. Does 10 divide d?
True
Let i = -1 + 3. Suppose 2*x = 36 - 2. Suppose -i*a = -x + 3. Is a a multiple of 5?
False
Let r(m) = -m**2 - 6*m - 5. Let h be r(-4). Suppose 0 = -2*y + 4*z + 78, -156 = -7*y + h*y + z. Suppose -s = 2*s - y. Is s a multiple of 13?
True
Suppose -122 - 56 = -k. Does 16 divide k?
False
Suppose 2*h + 0*i = -2*i + 14, 0 = -h + 4*i + 2. Is 2 a factor of (-3 + 0)*h/(-9)?
True
Suppose 5*m - 364 = -4*k, k - 3*k + 290 = 4*m. Is 36 a factor of m?
True
Suppose 0 = 5*f - 0*f + 45. Let p be (-2)/f + (-25)/(-9). Suppose p*j - 1 = 23. Does 4 divide j?
True
Let i(g) = g**2 - g + 6. Suppose c + 0*c + 4 = 0. Let m = 1 - c. Is 9 a factor of i(m)?
False
Let m(s) be the first derivative of s**4/4 + 4*s**3/3 - s**2 - 2*s - 3. Let i be m(2). Suppose -j - j + i = 0. Is 8 a factor of j?
False
Suppose 4*i = 3*o + 72, o - 4*o = -i + 27. Does 6 divide i?
False
Suppose 2*p + 5*o - 155 = -3*p, p - 3*o - 35 = 0. Is 9 a factor of p?
False
Let i be (-1)/(-4) - 14/(-8). Suppose -i*k - k = -9. Is 2 a factor of k?
False
Let z(x) = 3*x**2 - x - 2. Suppose 0*i + 2*i = -4. Does 8 divide z(i)?
False
Let b = -5 - -9. Let p = b - 2. Does 6 divide (20 - p)/(4 + -2)?
False
Let r be -3 + (1*-2)/(-2). Let u(z) = z**3 - 11*z**2 + 15*z - 49. Let x be u(10). Is (x/(-2))/(r/36) a multiple of 9?
True
Suppose -5*m + 3*t = t - 1, -3*m + 13 = 5*t. Suppose -m = -b + 8. Is 5 a factor of b?
False
Let l = 132 - 88. Suppose 0 = -3*g - 11 + l. Is g even?
False
Suppose -2*h + 16 = h + n, 2*h - 29 = 3*n. Is h a multiple of 4?
False
Suppose 2*z - 4 = -3*a, 3*a + 3*z - 1 = 2. Suppose 6*s - a*s = 96. Does 12 divide s?
True
Let c be -227 + -1*(2 - 1). Let p = c + 350. Suppose 3*u - 2*y = 152, -4*y + 54 + p = 4*u. Does 24 divide u?
True
Let h = 124 - 64. Suppose h = 2*m + 2*m. Is 10 a factor of m?
False
Suppose 4*k + 546 + 141 = 5*z, 0 = -5*k - 15. Is z a multiple of 18?
False
Is (48/10)/(2/25) a multiple of 15?
True
Let v(m) = -4558*m**2 + 387*m. Let j(x) = 47*x**2 - 4*x. Let c(b) = -387*j(b) - 4*v(b). Let r be (-12)/54 + 14/(-18). Is c(r) a multiple of 16?
False
Let f be 2/6 + 224/12. Suppose -f = -3*z - 5*a, 10 = z + z + 2*a. Suppose -8*i + 230 = -z*i. Is 19 a factor of i?
False
Suppose -4*h = -8*h + 20. Suppose -h*v - f + 39 = -86, 4*f - 6 = -v. Is v a multiple of 13?
True
Suppose -4*j = 5*a - 42, 14 = j - 3*a + 6*a. Does 8 divide j?
True
Suppose -2*a + 0*d = 3*d - 108, 3*d = 3*a - 192. Is 10 a factor of a?
True
Suppose -2*k = y + 45, -5*y - 6*k = -k + 215. Let c = y - -77. Is c a multiple of 18?
True
Let a(l) = l**2 - 5*l - 6. Let i be 6/(-9)*30/(-4). Let u be a(i). Does 4 divide (-6)/(((-9)/u)/(-1))?
True
Suppose 4*q - 30 = 58. Is q a multiple of 22?
True
Suppose -2*x + 5*x = 21. Doe