6 a factor of m?
False
Let v = 35 - 41. Let n be 13/(2/(-4) + 1). Let u = n - v. Is u a multiple of 12?
False
Is 31 a factor of 2*(2 - 3*(-79 + -3))?
True
Let d(m) = -m**3 - 2*m**2 - 5. Suppose -5*t - 8 = -3*t. Is 4 a factor of d(t)?
False
Let z = 9 - 13. Let k be (-3)/24*z*8. Let b = k + 44. Does 16 divide b?
True
Is 72 a factor of 9/(870/426 + -2)?
False
Suppose -3*q - 2*q = 10, 367 = 3*t - 5*q. Suppose -14 = 5*z - t. Does 3 divide z?
True
Let y = -8 + 10. Suppose y*c - 97 = -r, -c = -2*c - r + 49. Does 24 divide c?
True
Suppose s - 3 + 18 = 0. Let l be (80/(-15) + 5)*-57. Let f = s + l. Does 4 divide f?
True
Let a(x) be the third derivative of -x**6/120 + 19*x**5/60 - 11*x**4/24 - 7*x**3/2 + 30*x**2. Does 35 divide a(18)?
True
Let d(k) be the second derivative of -k**3/3 + 5*k**2/2 + 4*k. Let h be d(6). Is 10 a factor of (-98)/h*(-6)/(-4)?
False
Let z(d) = -2*d. Let b be z(-2). Suppose -3*v - 12 = 0, 4*m + 4*v + 0 + b = 0. Suppose -m*l + 48 = 4*q, -l + 7 - 1 = -2*q. Is 12 a factor of l?
True
Suppose -2*m + j = -35, 0*j = -5*j - 25. Suppose 16*d - 23 = m*d. Does 6 divide d?
False
Let a(m) = -m**3 - 19*m**2 + 22*m + 43. Let f be a(-20). Let w(b) = 8*b**2 - 3*b - 2. Is 35 a factor of w(f)?
False
Suppose -72*j + 2772 = -60*j. Is j a multiple of 21?
True
Does 16 divide 40/1 + -4 - 4/1?
True
Suppose -2*o = 5*d - 483, 4*d - 9*d + 4*o = -489. Is 7 a factor of d?
False
Suppose -10 = 4*z + 10, 4*z - 268 = -4*o. Is 3 a factor of o?
True
Let g(b) = 71*b**2 - b - 8. Let k(i) = 71*i**2 - 2*i - 7. Let t(w) = -3*g(w) + 4*k(w). Is t(-1) a multiple of 12?
True
Suppose -13 = -4*c - x + 16, 4*c = -3*x + 23. Does 7 divide 2/8 - (-334)/c?
True
Suppose 3*s - 4*q - 48 = 0, 3*s - 48 = -q + 6*q. Let f = 29 - s. Let c = f - 7. Does 3 divide c?
True
Let r(g) = -g**2 - 20*g - 27. Does 23 divide r(-8)?
True
Suppose 4*k = r - 269, -8*r = 3*k - 8*k - 2044. Is r a multiple of 14?
False
Let h = -12 + 17. Suppose 0 = -0*b - h*b + 20. Suppose 1 = -b*q + 25. Does 2 divide q?
True
Let q(l) = -27*l + 57. Does 6 divide q(-3)?
True
Suppose 9*h - 94 = 149. Is h even?
False
Let b(t) = t**2 + 18*t + 194. Is 5 a factor of b(-24)?
False
Suppose 0 = -5*p + m, 0 = -5*p + 3*m - 4*m + 10. Let l be p/2*6/1. Suppose -5*w = 3*s - 79, -4*w - 59 = -l*s + w. Is s a multiple of 23?
True
Suppose -3*l + 3 + 48 = 0. Is (-286)/(-8) - (4 - l/4) a multiple of 12?
True
Let f(a) = a**3 + a**2 + a - 6. Is f(3) a multiple of 11?
True
Let g(x) = 4 - 7*x + x**2 - 12 + x**2 - 5*x. Does 17 divide g(11)?
True
Suppose -2*x - 24 + 7 = -3*c, -10 = -2*c + x. Suppose -j + c*j = 0. Suppose j = -3*q + 6, -5*v + q - 39 = -127. Is 4 a factor of v?
False
Let f be (1 + -5)/((-33)/15 - -2). Does 2 divide (((-32)/f)/(-2))/(2/20)?
True
Suppose -160*j = -165*j + 2875. Suppose 23*b - j = 18*b. Does 23 divide b?
True
Let n be 4 - (2 + 6) - -2. Let x(k) = 1. Let a(i) = -32*i + 24. Let c(q) = a(q) - 24*x(q). Is c(n) a multiple of 27?
False
Let a = 27 + -24. Suppose -5*k = q + a*q - 312, 15 = 5*q. Is k a multiple of 15?
True
Suppose 0 = -0*o + 5*o - 3*x - 587, 0 = -2*o + x + 235. Is 3 a factor of o?
False
Suppose 5*u + u = -48. Is 22 a factor of ((-435)/20)/(6/u)?
False
Suppose 11 + 125 = 4*o. Let g = o - -2. Is g a multiple of 5?
False
Let j be -1 + 2/((-8)/(-12)). Suppose 5*i + 5 = -j*c, 0*c = -2*c - 3*i + 1. Suppose -4*g = -c*g + 4. Is g even?
True
Suppose -3*t = 2*t. Suppose t*y = 5*y - 45. Suppose -3*p = 3*n - 39, 2*p - 12 = 3*n + y. Is p a multiple of 6?
True
Let f(u) = 11*u**2 + 326*u - 36. Is 62 a factor of f(-34)?
False
Let k(z) = z**3 - 18*z**2 - 17*z - 27. Let w(v) = -v**3 + 17*v**2 + 16*v + 27. Let j(h) = 3*k(h) + 2*w(h). Is j(21) a multiple of 14?
False
Suppose 0 = 63*p - 67*p + 1008. Is p a multiple of 4?
True
Is 38 a factor of 2/(-7) - (-330022)/539?
False
Let z(g) = -g + 50. Is z(-17) a multiple of 8?
False
Is 4704/126*15/2 a multiple of 5?
True
Let w = 3 + 1. Is 15 a factor of (6/w)/(6/252)?
False
Let x(y) = y**3 - 1. Let h(a) = 4*a**3 - 12*a**2 + 12*a - 3. Let r(m) = h(m) - 5*x(m). Is r(-13) a multiple of 15?
True
Suppose -5*c - 1630 = -3*s, -c - 1082 = -2*s - 0*c. Is s a multiple of 5?
True
Let z be 313/(-7) - 18/63. Is (0 - 57)*15/z a multiple of 6?
False
Suppose -3*i - 52 = -2587. Is i a multiple of 13?
True
Suppose -12*b + 5409 + 2547 = 0. Is b a multiple of 41?
False
Let o(l) = 4*l**3 - l**2 - 9*l + 12. Does 23 divide o(4)?
False
Let m = -1094 + 1924. Is m a multiple of 38?
False
Suppose -3*t + w + w + 157 = 0, -4*t + 176 = 4*w. Is t a multiple of 23?
False
Let l(h) = 97*h**2 + 3*h - 2. Is l(1) a multiple of 14?
True
Let g be 11/((-231)/108)*-7. Suppose 3*q - g = 126. Does 9 divide q?
True
Is -4*(930/(-8) + -4) a multiple of 26?
False
Suppose 5*d - 932 = -r, -2*d = 5*r - 329 - 53. Is 15 a factor of d?
False
Suppose 0 = 2*f - z + 6*z - 602, 4*f - 1152 = 3*z. Does 7 divide f?
False
Suppose 4*q = 24*q - 23780. Is q a multiple of 42?
False
Let h(d) = -4*d - 21 - 12*d**2 + 2834*d**3 + d - 2835*d**3. Is h(-12) a multiple of 5?
True
Let t = -80 + 87. Let h = -2 + t. Is h a multiple of 2?
False
Let w(p) = 15*p**2 + 6*p + 15. Does 3 divide w(-2)?
True
Suppose 2*t = -5*o - 0*t, -o + 2*t = -12. Let h(n) = 119*n + 17. Does 17 divide h(o)?
True
Suppose 656 = 4*z + 2*q, -3*z + 4*z - 164 = 3*q. Let c = -144 + z. Does 6 divide c?
False
Let v(z) = z**3 - 11*z**2 - 22*z + 12. Let a be v(13). Is 8 a factor of ((1 - 0) + 0)*(a + -23)?
False
Let a(q) = -14*q**2 - 2*q + 16. Let f(y) = 41*y**2 + 5*y - 48. Let z(s) = 8*a(s) + 3*f(s). Does 12 divide z(4)?
True
Suppose 0 = -73*i + 79*i - 18966. Does 29 divide i?
True
Let b(m) be the third derivative of m**6/360 - m**5/10 + m**4/8 - m**3/3 + 3*m**2. Let a(n) be the first derivative of b(n). Is a(13) a multiple of 7?
False
Does 41 divide 1/(0 - (-7)/861)?
True
Let t = -202 + 295. Suppose 91*h = t*h - 298. Is h a multiple of 14?
False
Let a(h) = -41*h**3 + 2*h + 1. Let n be a(-1). Suppose 0 = 2*o + 6 - n. Suppose y - 14 = o. Is 8 a factor of y?
False
Let z = 46 + -45. Does 19 divide (((-64)/3)/(-4))/(z/6)?
False
Suppose 2*y + y - r + 755 = 0, -6 = -3*r. Let c = y - -395. Is 24 a factor of c?
True
Suppose 11*j - 7776 = -16*j. Does 49 divide j?
False
Suppose 5*i + 208 = 2*b, -8*b + 5*i - 134 = -9*b. Is 5 a factor of b?
False
Suppose 2388 = -0*j + 4*j. Does 23 divide j?
False
Suppose -3*j = 3*u - 1971, -j + 1208 = -4*u + 3811. Is u a multiple of 15?
False
Let y = 76 - 139. Let i = y - -263. Is 52 a factor of i?
False
Is 34 a factor of (-100)/(-30)*(-2 + 53)?
True
Is (-1250)/(-8) - (-31)/(-124) a multiple of 11?
False
Let o = -810 - -2091. Is o a multiple of 21?
True
Let o be (4/6)/(6/27). Suppose 5*u - d = 8, -2*u - o = -4*d + 1. Suppose 4*q - q + 90 = u*g, -3*q = g - 54. Is 12 a factor of g?
True
Let j(q) = 265*q**3 - 8. Does 12 divide j(2)?
True
Let g be (2 - (0 + 11))/(-1). Let x be ((-1)/3)/(1/g). Is (2/3)/(x/(-342)) a multiple of 19?
True
Suppose 0 = -4*x - 4*s + 6 + 154, -x + s + 30 = 0. Is 11 a factor of x?
False
Suppose -57*s + 138852 = 30*s. Is 57 a factor of s?
True
Let x be (-63)/14*(-34)/(-3). Let a = x + 82. Suppose -79 = -5*t + a. Is 11 a factor of t?
True
Let d(v) = 3*v + 13. Let k(y) = y + 4. Let c(g) = -3*d(g) + 8*k(g). Let j be c(-11). Is (-2 + (-54)/(-8))*j a multiple of 19?
True
Let t be 642 + 0 + 3/(6/(-4)). Let i = t + -407. Does 33 divide i?
False
Is (739/8*2)/((-285)/(-2280)) a multiple of 98?
False
Let f(y) = -y**2 - 5*y - 1. Let o be f(-4). Let w(b) = 4*b - b + o*b - 3*b. Does 7 divide w(3)?
False
Suppose 21 = t + 3*d, -3*d + 22 = 2*t - 2*d. Suppose -t = 5*j + 11. Does 12 divide (j/(-10))/((-3)/(-570))?
False
Let y(n) = 6*n**2 - 15*n - 7. Let q be y(6). Let b = -97 + q. Is b a multiple of 10?
False
Let y = 9 + -9. Suppose 0 = 5*n - y*n - 35. Suppose -f = -w + 6, -w - 6 = -2*f + n*f. Is 4 a factor of w?
True
Let j = -10 - -24. Let u = 14 - j. Is 8 a factor of 1 - 93/(-3) - u?
True
Suppose 916 = 4*b + 4*c, 14*b + 1147 = 19*b + 3*c. Does 46 divide b?
True
Suppose 2*l - 323 = v, 3*l + 2*v = 2*l + 164. Is l a multiple of 27?
True
Suppose -z = -64 - 30. Suppose 0 = -4*h + z + 550. Suppose 0 = -2*v - 2*v + 3*d + 131, -d - h = -5*v. Is v a multiple of 16?
True
Let l = -119 + 106. Let k(j) = -11*j - 12*j - 14*j**2 + 9*j - j**3 + 19. Does 8 divide k(l)?
True
Suppose 6*