
True
Is 50/15 - 3 - (-700)/6 a multiple of 15?
False
Let q be 4 + 8/(-4 - -2). Let m = q - -28. Is 14 a factor of m?
True
Is (-8)/76 + (-4108)/(-38) a multiple of 18?
True
Let a(w) = 15*w**2 - 1. Is 14 a factor of a(1)?
True
Suppose h - 30 = -4*h. Let g = -2 + h. Suppose -g = -x + 4. Is x a multiple of 8?
True
Does 40 divide 24/(-6) + 8 + 396?
True
Let q(g) = 65*g**3 + 2*g**2 - 1. Does 33 divide q(1)?
True
Let c be (-2)/(-8) - (-140)/16. Let f be 2/3 + (-546)/c. Is 16 a factor of (-40)/3*f/25?
True
Let f(w) = w - 2 + 3*w - 6*w. Let y be f(8). Let a = y - -27. Is a a multiple of 6?
False
Let r(x) = x**3 + 4*x**2 - 7*x. Let b be r(-5). Let u(o) = -o - 3. Let y be u(-2). Is (5*b)/2 + y a multiple of 12?
True
Suppose -407 = -10*f - f. Is 16 a factor of f?
False
Let d(o) = -o**2. Let t be d(0). Suppose 0 = -3*l + i + 2*i + 120, -i + 2 = t. Is l a multiple of 7?
True
Let x be (-3)/(-2) + 8/16. Let r(p) = p**3 - 3*p**2 + 3*p. Let z be r(x). Suppose -34 = -2*v - 5*d, -z*v + 3*d = 5*d - 22. Is 7 a factor of v?
True
Suppose 0 = 2*n - 0*n + 8. Let s = 9 + n. Suppose -37 = -s*w - 12. Is 5 a factor of w?
True
Suppose -z + 84 = 2*z. Is 14 a factor of z?
True
Let d = -16 - -19. Suppose -d*y + 208 = 34. Does 23 divide y?
False
Let l be (-1)/(-2) + 6/12. Does 5 divide (-2*l + 7)*1?
True
Suppose -182 = -y + 240. Is 11 a factor of y?
False
Is (-1)/(-3) + (-1449)/(-27) a multiple of 8?
False
Let y(z) = 3*z**3 + 2*z**2 - 9*z + 18. Is 43 a factor of y(4)?
False
Let w(x) be the second derivative of -x**5/10 + x**4/4 + x**3/2 - 3*x**2 - x. Let n be w(4). Let h = 108 + n. Is 13 a factor of h?
False
Suppose 5*x + 4 - 14 = 0. Let s be (-2)/((-2)/22*x). Does 12 divide 666/33 - 2/s?
False
Suppose q = -3*q - 4*x + 372, 0 = -x - 5. Is 15 a factor of q?
False
Let g(a) = a**3 - 7*a - 21. Is 13 a factor of g(7)?
True
Does 10 divide 824/10 - 2/5 - 2?
True
Let i(p) = 8*p**2. Let a = -7 + 6. Is 8 a factor of i(a)?
True
Let o be (-4)/(-16)*-2*-6. Suppose -5*w + o*w + 95 = -5*c, -5*w + 155 = 4*c. Is 17 a factor of w?
False
Let a = 3 + -1. Let z be -2 - (a*3 + 2). Is 4/z + 304/10 a multiple of 16?
False
Suppose -20*v + 24 = -18*v. Does 3 divide v?
True
Let c be 1/3 + (-86)/(-3). Let p = c - -14. Does 15 divide p?
False
Let p be -1*9/2*-4. Let w be 3*(3/9 - -1). Suppose 3*a - 90 = -w*d, a = -d + 5 + p. Is d a multiple of 6?
False
Suppose 55*k - 56 = 54*k. Does 8 divide k?
True
Suppose -3*m = -0*m - 12. Let q be (-4)/16 + 25/m. Does 4 divide 4/(-6) - (-28)/q?
True
Suppose 2*d + 2*z - 201 = -d, 335 = 5*d - 4*z. Let y = d - 36. Suppose y = 2*v - 2*o - o, -2*v = 4*o - 10. Is v a multiple of 11?
True
Let i be (-2)/(-3) - (-2)/(-3). Suppose i = -4*q - 48 - 28. Let g = 12 - q. Is 14 a factor of g?
False
Let v = 261 - 153. Is 23 a factor of v?
False
Let k be 0*(20/8 - 2). Suppose -5*l = t - 17, -2*l + 4*t = -k + 2. Is l a multiple of 2?
False
Suppose -4*z + 58 = -186. Let a = -39 + z. Does 10 divide a?
False
Suppose 6*r = 7*r - 78. Is 7 a factor of r?
False
Suppose -39 = -f + 3. Is f a multiple of 14?
True
Suppose -15 = -3*z, 5*o + 0*z = 4*z - 95. Let v be (o/6)/(1/4). Let f = v - -17. Is f a multiple of 7?
True
Suppose 0 = -3*n - n + 176. Let g be 1108/n - (-4)/(-22). Let z = 47 - g. Is z a multiple of 11?
True
Let k(o) be the second derivative of -o**5/20 - o**4/2 - 5*o**3/6 + o. Let f be k(-5). Suppose h = -f*h + 15. Is 8 a factor of h?
False
Suppose -2*x + 26 = -5*x - 4*h, 26 = -4*x - h. Does 4 divide x/9 + (-14)/(-3)?
True
Let b = -22 + 51. Is 16 a factor of b?
False
Let n be 3/(19/9 + -2). Let p = n - 4. Is 23 a factor of p?
True
Let b(d) = -3*d**3 - 2*d**2 - 2*d + 4. Let z be b(-3). Is 15 a factor of 3/(-6) + z/2?
False
Let y(w) = -2*w + 1. Let h be y(-3). Suppose -h + 4 = -f. Suppose -m - 1 = 2*a - 3, 4*m + f*a = 28. Is m a multiple of 10?
True
Suppose -4*v = -4*s + 204, 0 = -5*s + 3*v - 0*v + 263. Does 25 divide s?
False
Suppose 2*j = j. Let q(u) = u**2 - u + 1. Let o be q(-2). Suppose j = 3*w - 9, -3*v + 4*w = -o + 1. Does 3 divide v?
True
Let t(l) = 2*l**2 - 5*l - 4. Let j(v) = v**2 - 3*v - 2. Let s(q) = 5*j(q) - 2*t(q). Let x be s(4). Does 11 divide (2/5)/(x/(-390))?
False
Suppose -4*v - 25 = -97. Is 9 a factor of v?
True
Let s = -47 + 99. Does 22 divide s?
False
Let m(d) = -d**3 - 6*d**2 + 7*d + 9. Let u be 108/(-16) - (-1)/(-4). Is m(u) a multiple of 9?
True
Suppose 39 = c - 58. Is c a multiple of 8?
False
Is (-64)/(-11) + 8/44 a multiple of 3?
True
Let b = -5 + 5. Let f = b + 1. Is 2 a factor of (-9 - f/1)/(-2)?
False
Suppose -2*s = -2*b + 48, b = 5*s + 18 + 10. Is 7 a factor of b?
False
Suppose -2*d + 5*d + h = 7, -5*h = -3*d - 17. Suppose -25 = -4*a - 5*c, -2*c = -5*a - 9 - d. Suppose -b - 2*b + 96 = a. Does 16 divide b?
True
Let h(t) = 1 + 0*t - 2 - t. Let g be h(4). Let b = g - -16. Does 5 divide b?
False
Suppose 0 = -4*a + c + 36, 62 = 5*a - 0*a + 3*c. Is 8 a factor of a?
False
Let t(i) = i**3 + 3*i**2 + 4. Let o be t(-3). Suppose 9*z - 4*z = -2*w + 192, 4*w = -o*z + 408. Is w a multiple of 18?
False
Let t = 11 + 11. Suppose -5*k = -3*p + t, 0 = -4*p - p - 5*k + 90. Is 8 a factor of p?
False
Let n(l) = -l**2 + 10*l + 10. Let o(x) = 2*x**2 - 10*x - 9. Let c(z) = 3*n(z) + 2*o(z). Let j be c(-9). Suppose 0 = -j*w + w + 84. Is 11 a factor of w?
False
Let g(t) = t - 6. Is 5 a factor of g(12)?
False
Let q = 14 - 18. Let r(s) be the third derivative of -s**5/60 - s**4/6 + 5*s**3/6 + s**2. Is 3 a factor of r(q)?
False
Let p be 2/4 - (-2)/(-4). Let k = 2 - p. Does 5 divide (-2)/k*24/(-3)?
False
Suppose -n = -b - 3*n + 1, 4*b + 3 = -n. Let d(t) = -4*t. Let o be d(b). Suppose -3*a + 2*i = -0*a - 60, -o*i = -a + 30. Does 18 divide a?
True
Let o = 174 + -122. Is 13 a factor of o?
True
Suppose -3*y - 15 = 0, 3*n + 0*n - 3*y - 33 = 0. Is 2 a factor of n?
True
Let d(h) = h**3 + 12*h**2 + 7*h + 12. Is 19 a factor of d(-10)?
False
Let y(z) = 10*z - 1. Let j be -1 + 2 - 0/(-5). Does 3 divide y(j)?
True
Suppose -110 = -2*a - 30. Does 40 divide a?
True
Let u be (-2 + 4)*24*-1. Is 8 a factor of 146/6 - (-16)/u?
True
Let f(i) = 2*i**2 + i - 1. Let r be f(1). Does 2 divide ((-4)/r)/(-4 - -3)?
True
Let r be 1*(-3 + 0)/3. Suppose a - 30 = 6*a. Does 14 divide (r - 2)*28/a?
True
Is 25 a factor of (-40)/1*(-60)/48?
True
Is 13 a factor of 5/(-15) + ((-1083)/(-9) - 3)?
True
Let y(t) = t**2 + 8*t + 3. Let f be y(-8). Does 9 divide f/(-4) - 103/(-4)?
False
Let t be 66 + (-4)/(-3 + 1). Suppose -5 = -d - 5*f - 3, 2*d - f = 4. Suppose d*u = n + t, -n = 3*n - 8. Does 15 divide u?
False
Does 14 divide 46 - (-4 + 12/4)?
False
Suppose -4*l = -o + 3*o - 18, 12 = -2*o + 2*l. Let m(p) = 4*p**2 + p. Let i be m(o). Does 4 divide 8/i*(-18)/(-12)?
True
Suppose 2*y = y + 9. Let u = -3 + y. Suppose u*x - 3*x - 72 = 0. Is 12 a factor of x?
True
Suppose 5*w - 12 - 13 = 0. Suppose 0 = w*k - 2 - 158. Is k a multiple of 7?
False
Let g(r) be the third derivative of -r**6/120 + 2*r**5/15 + 5*r**4/24 - r**3 - 2*r**2. Is 17 a factor of g(8)?
True
Suppose 2*l = 9 - 3. Does 3 divide l?
True
Let s(k) = k**2 - 2*k + 3. Let l be s(2). Suppose 1 = -c, l*g + 3*c + 22 = -c. Let u = -1 - g. Is u a multiple of 2?
False
Let f(x) = x + 3. Let d be f(-4). Let l be 9 + d + 0/2. Let t = -3 + l. Is t a multiple of 2?
False
Let r = -57 - -91. Does 9 divide r?
False
Suppose -y - 36 = -3*y. Is 18 a factor of y/24 - 423/(-12)?
True
Suppose -229 = -5*k + 71. Does 15 divide k?
True
Let i = -42 - -99. Let w be 2*(132/(-8) - 0). Let z = w + i. Is z a multiple of 7?
False
Suppose -4*r + 3*b - b + 2 = 0, -r + 3*b + 3 = 0. Suppose 0 = y - 2*y + 2*j + 30, 5*y + j - 139 = r. Does 14 divide y?
True
Let p(l) = -14*l**3 + 2*l**2 + 2*l - 1. Let t be p(-2). Suppose 5*v = 2*w + 130, -5*v + t = w - 0*w. Is 14 a factor of 147/6*v/14?
True
Suppose 0 = -2*z + 30 + 138. Is z a multiple of 6?
True
Suppose 3*h + 3 = 6, 0 = x + 5*h - 7. Suppose 8*c - 4*c - 288 = 0. Suppose 69 = x*j - z, -207 + c = -5*j - 5*z. Is j a multiple of 16?
True
Suppose -23 - 2 = 4*q - 3*t, 0 = -q - 2*t + 2. Let x = 2 - q. Is 3 a factor of x?
True
Let v(c) = 2*c**3 - 2*c**2 - 2*c + 1. Is v(2) a multiple of 2?
False
Let a(f) = f**2 - 8*f - 3. Let n be a(-5). Suppose -5 - 33 = k + 3*r, -3*k - n = -4*r. Let y = -13 - k. Is y a multiple of 13?
True
Suppose 4*g + 5*z = -9 - 16, 0 = -2*z - 2. Let