4 a factor of n?
True
Suppose b - 13 = 165. Let r be b/9 + (-2)/(-9). Does 9 divide ((-19)/4)/((-5)/r)?
False
Suppose -1720 = 3*q + o - 653, -o = -q - 349. Is 4/(-14) + q/(-14) a multiple of 18?
False
Let w = -19 + 53. Suppose -w = 2*k - 4*k. Is 9 a factor of k?
False
Suppose -9*u + 210 + 51 = 0. Is u a multiple of 5?
False
Suppose i - 2*i = 0. Suppose -c + i*c + 7 = 0. Does 2 divide c?
False
Let z(o) be the third derivative of o**6/120 - o**5/60 + o**4/24 + 3*o**3 + 4*o**2. Is z(0) a multiple of 8?
False
Let n = 18 - 14. Does 2 divide n?
True
Let x be (-6)/15 - 86/10. Let k(a) = -a - 7. Let c be k(x). Does 8 divide 19 + c + -3 + 4?
False
Let b = 106 + -39. Does 27 divide b?
False
Let q = -136 + 191. Is 11 a factor of q?
True
Let w be 49/2*(-16)/(-28). Does 6 divide 8/w + (-160)/(-14)?
True
Let z(o) = -2*o + 13. Let q be z(5). Is (q - 4)/((-2)/8) a multiple of 4?
True
Suppose 0 = -5*b + 20, -18 = -2*l + 2*b + 24. Let u = 7 + l. Is u a multiple of 10?
False
Suppose -6*z + 40 + 68 = 0. Is 11 a factor of z?
False
Suppose -p + 319 = p - 3*k, -4*k = -2*p + 320. Does 40 divide p?
False
Suppose -3*v = 51 + 6. Let r = v - -35. Does 8 divide r?
True
Let t be (3 - 7)*(-7)/4. Suppose 77 - t = 5*d. Is 8 a factor of d?
False
Suppose -2*j - 3 = -3*d, 3 = 4*j + j - 4*d. Let l be 2/(-9)*j*-6. Suppose -2*k + l = 0, 5*i - 21 = 2*k - 5*k. Does 3 divide i?
True
Let o(m) = 3*m - 11. Let x be o(8). Let t = -3 + x. Is t a multiple of 6?
False
Let y = 63 + -35. Does 14 divide y?
True
Suppose 74 = j + 5*z - z, -3*j + 182 = 2*z. Does 11 divide j?
False
Let h = 169 - 67. Does 20 divide h?
False
Let w(u) = 7*u**2 - 3*u + 1. Suppose -5*y + 3 = -22, 4*y - 14 = 2*g. Suppose g*m = 4*m - 2. Is 8 a factor of w(m)?
False
Let g = -41 - -76. Is g a multiple of 5?
True
Let s(b) = -2 + 7*b + 2 - 4 + 4*b. Is s(7) a multiple of 15?
False
Does 7 divide (-16 + 4)/((-21)/9 - -2)?
False
Suppose -3*w + 12 = 0, 5*w - 155 = -2*a + 85. Suppose -3*f + a = 2*f. Suppose -6 = -2*l + f. Is l a multiple of 7?
True
Let v(a) be the third derivative of a**5/60 + a**4/6 + 2*a**3/3 - 2*a**2. Let m be v(-4). Suppose 7*r - 23 = -h + m*r, 11 = h - r. Is 3 a factor of h?
False
Let s = -29 - -52. Suppose 4*w - s - 69 = 0. Does 19 divide w?
False
Let j(p) = -p**2 + 15*p - 8. Is 6 a factor of j(13)?
True
Let x(a) = 2*a**2 + 5*a + 45. Is x(-8) a multiple of 19?
True
Let z(g) = 9*g**2 - 1. Suppose -3*p = -p + 2. Is z(p) a multiple of 4?
True
Is 4 - (-1)/((-3)/(-48)) a multiple of 4?
True
Let f(s) = -s**3 + 4*s**2 - 4*s + 3. Let d be f(3). Let a(q) = q**2 + 22. Let v be a(d). Let z = -4 + v. Is 11 a factor of z?
False
Suppose 0 - 12 = -4*z. Does 14 divide (-33 + 0)*(z + -4)?
False
Suppose 0 = 4*a - 3*a - 2. Let g(s) = -16*s + 4. Let f be g(-9). Suppose -6*v + f = -a*v. Does 16 divide v?
False
Let r(p) = -p**2 + 3. Let h be r(0). Let q be 106/(-5)*(-20)/4. Suppose q = h*g - g. Does 18 divide g?
False
Let v(z) = 22*z**2 + 20*z + 2. Does 10 divide v(2)?
True
Suppose 0 = -5*y + 3*v + 340, 54 = -4*y - 3*v + 326. Is 17 a factor of y?
True
Let u(h) = h**3 + 7*h**2 - 8*h - 2. Let k be u(-8). Let y = k - -6. Suppose -44 = -y*w + t, -3*w + 6 = -3*t - 27. Is w a multiple of 7?
False
Is 13 a factor of ((-27)/(-4))/((-1)/(-4)) + -1?
True
Suppose 24 = 4*j - 2*z, 4*z + 24 = j - z. Suppose 5*t - 5*k = t + 104, -j*k = 2*t - 52. Is 13 a factor of t?
True
Let z(x) = 7 + 9 - 4 + x. Let n be z(9). Suppose -2*f + n - 5 = 0. Does 8 divide f?
True
Suppose 31*n = 36*n - 720. Is 18 a factor of n?
True
Let u be ((-2)/(-10))/(3/15). Suppose -2*b = -u - 11. Is 2 a factor of b?
True
Let c = 5 + -5. Suppose -4*d = -c*d - 228. Does 19 divide d?
True
Let f = 113 + -70. Is 43 a factor of f?
True
Does 31 divide 123/4 - 15/(-60)?
True
Suppose -3*g - 5 = -5*p - 0, 5*p - 5 = 0. Let l(z) = -z + 2*z - 2*z + 14. Is 6 a factor of l(g)?
False
Let b = -110 - -187. Does 27 divide b?
False
Suppose -3*m = -4*c + 39, 2*c = 2*m + 23 - 3. Is 9 a factor of c?
True
Let x be (-14)/(-35) + (-22)/5. Is (1 + x)/(3/(-9)) a multiple of 4?
False
Let f = 9 + 11. Is 23 a factor of (1 + -18)/((-5)/f)?
False
Let f(g) = 9*g - 12. Let l(s) = -3*s + 4. Let k(n) = -n**2 + 3*n + 7. Let d be k(6). Let t(c) = d*l(c) - 4*f(c). Is t(-5) a multiple of 15?
False
Suppose 0 = -3*f + 4*d + 32, -d - 5 = -3. Does 6 divide 9 + 1 + f/4?
True
Suppose -5 = -3*c + 1. Let d be c/(0 - (1 - 2)). Suppose -2*j - 4*l = -d*l, l = -4*j + 12. Does 4 divide j?
True
Let p be ((-4)/12)/(2/6). Is (p - -10)/(12/8) a multiple of 4?
False
Suppose -3*q + 130 = 5*d, 2*d - 3*q - 32 = 20. Suppose -3*x = -5*v - d, -4*x = -v + 2*v - 4. Suppose 5*t - 137 = -x. Is t a multiple of 10?
False
Let i be (2/4)/(2/(-32)). Does 14 divide (28/3)/(i/(-36))?
True
Suppose 0 = 4*t - 12, 6*v - 2*v - 5*t + 7 = 0. Suppose 0 = -v*m + 61 - 9. Is 13 a factor of m?
True
Let s(o) = 9*o + 3. Is 18 a factor of s(7)?
False
Suppose -115 + 45 = -5*k. Suppose -2*w - k + 38 = 0. Is w a multiple of 6?
True
Let g(m) = 3*m - 7. Let b(q) = -4*q + 8. Let h(w) = -2*b(w) - 3*g(w). Let c be h(5). Suppose -x + 50 = 2*n, 0*n + 2*n - 5*x - 26 = c. Is n a multiple of 11?
False
Suppose -4*t = -5*o - 20 - 31, -5*t - o + 42 = 0. Let z(b) = b + 1 + t + 10. Is 6 a factor of z(0)?
False
Let o(l) = 12*l + 3. Let s be o(10). Suppose 0 = -4*u - 5*m + s, -5*u = -3*u + m - 63. Suppose v - 2*v + u = 0. Is 14 a factor of v?
False
Suppose -5*d = 43 - 718. Is d a multiple of 28?
False
Suppose 175 = -2*d + 813. Is d a multiple of 22?
False
Let v be -1 - -8 - (2 - 2). Let h(w) = 3*w + 5. Is h(v) a multiple of 13?
True
Suppose 0 = 5*i + 5*p - 37 - 168, 4*i + p - 179 = 0. Is 23 a factor of i?
True
Suppose -2*x + 86 = -118. Is 18 a factor of x?
False
Suppose 5 - 13 = 5*i + v, i + 8 = 3*v. Let x(u) = -5*u**3 + 4*u**2 + 5*u. Is 21 a factor of x(i)?
False
Is (-1 + 0)/(3/(-195)) a multiple of 14?
False
Let d(s) = -9*s - 24. Is 26 a factor of d(-8)?
False
Let j(l) = 2*l**3 - 7*l**2 - 4*l + 11. Does 11 divide j(5)?
True
Suppose 4*y - 86 = 3*z - z, 5*z - 27 = -y. Let i = 51 - y. Does 14 divide i?
False
Let g(y) = 17*y**3 + 3*y**2 + y. Suppose 0 = 5*v - 2*v + 6. Let n be g(v). Does 3 divide (-2)/5 - n/15?
False
Let g = 8 - -93. Is 12 a factor of g?
False
Suppose c + 1 + 3 = -m, -16 = -5*c + 4*m. Let g be 77 - (c + 2/(-1)). Suppose 5*d = g + 26. Is 11 a factor of d?
False
Let v(c) = -c - 13. Let o be v(-8). Let j(r) = -r**3 - 2*r**2 + 6*r - 6. Is j(o) a multiple of 13?
True
Let c be (0/2)/(-5 + 7). Let z be 0/(-1) - c - 9. Let j = -3 - z. Is j even?
True
Let g(c) = -2*c**3 - 6*c**2 - 5*c - 4. Is g(-4) a multiple of 12?
True
Suppose 60 = 4*h - 2*m, -2*m + 36 - 5 = 3*h. Is 3 a factor of h?
False
Let a = 2 + 2. Suppose -q + 18 = 3*c, 0 = 7*q - a*q + 2*c - 47. Let u = -2 + q. Does 13 divide u?
True
Suppose 4*i = -0*i + 92. Let w = i - -5. Does 28 divide w?
True
Suppose 0 = 5*v - 28 - 77. Is v a multiple of 7?
True
Let u be (4 - 5)/(1/(-3)). Does 11 divide 5/15 - (-65)/u?
True
Does 7 divide ((-1)/2)/(1/(-34))?
False
Let n(a) = a**2 - a - 1. Let s be n(3). Let l(i) = i**3 - 6*i**2 + 6*i - 3. Is l(s) even?
True
Let f be (-6)/(-10) - 22/(-5). Suppose 0 = -f*m + 10 + 15. Suppose 2*q - 54 = -4*s, m*s = 6*q - 2*q - 108. Is q a multiple of 10?
False
Suppose 13*w = 5*w + 576. Is 31 a factor of w?
False
Let h = 746 + -494. Suppose 2*s = -2*c + h, -130 = -s - 0*s - 5*c. Suppose d + 3*n - 27 = 15, 2*n + s = 5*d. Does 16 divide d?
False
Suppose 0 = 3*k + 3 - 9. Let v(w) = 10*w - 1. Is 11 a factor of v(k)?
False
Suppose -3*d = -40 - 5. Suppose h = -h - 2*b + 12, -5*b + d = 0. Let r = 2 + h. Is r a multiple of 4?
False
Let c = 12 - 10. Let v = -12 - -6. Is (7 + v)/(c/46) a multiple of 15?
False
Suppose -105 - 845 = -5*h + 2*n, 0 = -h - 3*n + 190. Let o be (3 - 1) + h/5. Suppose -3*s + o = s. Is s a multiple of 10?
True
Let j = 96 + -39. Is j a multiple of 28?
False
Let z be (-2 + 2 - 3) + 5. Is 6 a factor of (-26)/(-5)*5/z?
False
Suppose 2*y + 0*y = 6. Suppose 0 = t + y*t - 12. Suppose -t = z + 2*z, -5*z = -5*v + 170. Is v a multiple of 11?
True
Let v(s) = 2*s**2 + 9*s - 12. Let i(j) = j**2 - 1. Let k(c) = 3*i(c) - v(c). Is k(11) a multiple of 8?
False
Let j = -17 - -73. Suppose 2*a + j = 6. Does 4 divide a/(-3) + (-1)/3?
True
Suppose -3*w - 10 = 2*w. Is 5 a factor of 20*3/(-12)*w?
True
Let q(h) be 