ide n?
False
Let d(n) = 1 + 0*n**3 - 2 + 4*n**2 + n**3. Let a be d(-2). Let t = a + 6. Does 13 divide t?
True
Is (-10 - 2)/(-2)*(-40)/(-16) a multiple of 5?
True
Let z be 258/9*(0 + 3). Suppose -z = -3*b + 4. Does 15 divide b?
True
Let c(p) = -p - 5. Let f be c(-8). Suppose 7*w - f = 11. Is 2 a factor of w?
True
Let l be (15/4)/(6/32). Let n be (24/l)/((-6)/(-20)). Is 33*1 - (3 - n) a multiple of 17?
True
Suppose 0 = -6*a + 4*a + 4. Suppose 7*h - 185 = a*h. Is 17 a factor of h?
False
Let l(k) be the first derivative of -k**3/3 + 13*k**2/2 - 2*k - 10. Suppose 2*u = -u + 21. Does 21 divide l(u)?
False
Is 13 a factor of (-56)/(-2) - (1 - 3)?
False
Suppose 2*s = 7*s - 475. Is 15 a factor of s?
False
Let m be 20*-8*(-3)/15. Does 11 divide ((-22)/8)/((-4)/m)?
True
Let i = 16 - -21. Is 7 a factor of i?
False
Suppose 5*s - 3*j - 19 = 4*s, -4*j = -3*s + 32. Suppose 5*p - 530 = -s*g, 2 = -0*p - p. Suppose -7*k = -2*k, -g = -5*a + 3*k. Does 12 divide a?
False
Let u = 150 + -102. Is u a multiple of 12?
True
Suppose -6*y + 29 = -199. Does 19 divide y?
True
Let k(h) = h**3 + 5*h**2 - 5*h + 6. Let q be k(-6). Let x be 10/(-2)*1*-1. Suppose -245 = -x*w - q*w. Does 19 divide w?
False
Let l(w) = 7*w - 2. Let a(k) = 21*k - 7. Let x(o) = 5*a(o) - 14*l(o). Does 7 divide x(4)?
True
Suppose 20 = -5*t, -5*z + 2*z + 4*t + 244 = 0. Does 19 divide z?
True
Is (-8)/24 - (-194)/6 a multiple of 10?
False
Suppose 0 = 2*k + 5*b + 11, 0*k + 2*k - 4*b - 16 = 0. Suppose 2*p = 9 - 3. Suppose j + 35 = k*j - p*d, -3*d = 3*j - 57. Is j a multiple of 16?
False
Let j = 8 + -5. Suppose 2*f + 0*v - 15 = j*v, -3*v - 15 = f. Suppose f = -4*b + 12, -3*m - 5*b = -0*m - 45. Is 9 a factor of m?
False
Let v = -18 + 63. Does 9 divide v?
True
Suppose 4*k - 40 = -4*z, 0*k - 4*k + 2*z = -16. Is 12 a factor of 148/k*(-6)/(-4)?
False
Let o(u) = 3*u + 4. Suppose 5*b + 3*m - 40 = 0, -m = -3*b - 0*m + 24. Is o(b) a multiple of 14?
True
Suppose s = 3*s. Suppose -5*z + 19 + 46 = s. Is z a multiple of 13?
True
Let s(l) = -l**3 - 7*l**2 - 9*l - 3. Let g be s(-6). Suppose g = w + 2. Is 13 a factor of w?
True
Let d(l) = -2*l**3 - l. Let a be d(1). Let z be (20/(-6))/(2/a). Suppose z*q + 80 = 9*q. Is 10 a factor of q?
True
Suppose -2*a = -3*x - x - 10, -4*x - 19 = a. Let r be x/(35/(-33) - -1). Suppose 3*f = 5*f - r. Is f a multiple of 17?
False
Let v be -1*(0 - (-1 - -22)). Is 3 a factor of 20/3 - 14/v?
True
Let l = 85 - 41. Does 6 divide l?
False
Let f(a) = -a + 1. Let h be f(8). Let b(o) = o**3 + 8*o**2 + 7*o + 2. Let j be b(h). Suppose 41 = j*t - 17. Is t a multiple of 12?
False
Suppose 2*a + 4*v = 7*a + 16, 20 = 5*v. Let o(f) = -f**3 + f**2 + 31. Is 19 a factor of o(a)?
False
Suppose 3*o - 28 = -t, 3*t + 42 = 5*o - 0*t. Let h(s) = 2*s - 9. Is 3 a factor of h(o)?
True
Let v = -93 - -143. Let b = v + -24. Is 26 a factor of b?
True
Is 3 a factor of (-6)/(-21) + (-1404)/(-84)?
False
Let v = 7 + -5. Suppose 5*t - 294 + 93 = 3*s, -t - v*s + 35 = 0. Does 13 divide t?
True
Is (15/20)/((-1)/(-52)) a multiple of 13?
True
Let d be (-2)/5 - 24/(-10). Suppose d*p = 5*t - 51, 5*p - 3*t = -27 - 72. Does 16 divide (-572)/p - (-2)/9?
True
Let r = -71 + 124. Is 9 a factor of r?
False
Let y = -135 - -246. Let a(u) = -5*u - 12. Let b be a(-14). Suppose -8*l + 4*l + y = q, 2*q + b = 2*l. Is 14 a factor of l?
True
Let p = -95 + 133. Does 19 divide p?
True
Suppose 6*u - 252 = 3*u. Does 28 divide u?
True
Let v = -13 - -45. Let b(m) = -2*m - 8. Let c be b(-11). Suppose -2*h + 6*o = o - v, h + 5*o + c = 0. Is h a multiple of 3?
True
Let r be -2*(-1)/(2/35). Suppose -15 = -2*b + r. Is b a multiple of 18?
False
Let n = 24 + 1. Is 8 a factor of n?
False
Suppose 4 = q + 3*p - 1, -2*q + 60 = -4*p. Let o be q + 1/(-2)*-4. Suppose -5*y = 5*z - 80, -2*y + o + 5 = -3*z. Is y a multiple of 8?
False
Suppose 33 + 7 = 2*v. Suppose -5*n = -0*n - v. Suppose -27 = -n*y + y. Is y a multiple of 9?
True
Let z be (0 + 1 + 2)*-12. Let f = z + 58. Suppose 0 = 4*n + 5*w - 103, 0*n - n = 2*w - f. Is 16 a factor of n?
True
Let m = 334 - 225. Suppose 3*l = -10 + m. Does 14 divide l?
False
Let x(u) = 18*u**3 + 2*u**2 - 2*u + 2. Let t be x(2). Suppose 3*v = 18 + t. Is v a multiple of 21?
False
Suppose 2*c - 3*c - 36 = 5*i, -3*i + 5*c - 16 = 0. Let x(h) = -5*h - 5. Does 15 divide x(i)?
True
Let s = 11 - 14. Suppose 0 = 2*f - q - 1, -f - 4 = q - 3. Is (f + -1)*57/s a multiple of 19?
True
Let j = 254 + -107. Does 21 divide j?
True
Let z(w) = -9*w**3. Let u be z(1). Let k = -4 - u. Let q = k - -11. Is 10 a factor of q?
False
Let i = -6 + 6. Suppose -8 = -2*u - 3*d + 41, i = -2*u - 2*d + 46. Does 20 divide u?
True
Suppose -4*k = -2*j + 12, -j - 2 = 5*k - 1. Suppose -2*a + j = 0, d + 0*d + 3*a = 14. Does 4 divide d?
True
Suppose -6*l = -l - 355. Does 33 divide l?
False
Suppose -3*w - 163 = -5*p, -51 = -3*p + 2*p - 4*w. Let d = -21 + p. Is 14 a factor of d?
True
Suppose -3*r - 2*r = -1105. Suppose 5*y + 81 = r. Does 20 divide y?
False
Is 13 a factor of (-2288)/(-55) - (-2)/5?
False
Let g(q) = -q + 9. Let f be g(-7). Does 14 divide (-252)/f*24/(-9)?
True
Let t(l) = 3*l**2 + 6*l + 4. Let p be t(-2). Suppose c - 28 = -z - p*z, c + z - 28 = 0. Is 7 a factor of c?
True
Let v be (-5*4)/(2/(-4)). Suppose 5*f - 4*q + 140 - v = 0, -2*f - 4*q - 40 = 0. Let y = 4 - f. Is 12 a factor of y?
True
Let x = -7 + 73. Does 10 divide x?
False
Suppose 10*c = 6*c + 20. Is 2 a factor of c?
False
Does 8 divide 0 - 1 - (-40 + 16)?
False
Let m(r) = r**2 + r - 18. Is m(-9) a multiple of 18?
True
Suppose -3*y = 2*y - c - 1144, -3*c = 12. Does 39 divide y?
False
Let h(y) = y. Is h(6) a multiple of 6?
True
Let g = 72 + -36. Is g a multiple of 9?
True
Suppose -3*c = -6*c + 3*d + 15, -5*d = -4*c + 20. Is c a multiple of 2?
False
Suppose 5*f - f = 5*w + 20, f - 5*w - 5 = 0. Is f a multiple of 5?
True
Suppose -7*n + 5*w - 5 = -3*n, 3*w = 3. Does 13 divide 17 - (n/(-2) + 2)?
False
Let p(a) = 28*a - 36. Is p(6) a multiple of 20?
False
Let s(f) = -f**2 - 6*f - 3. Let d be s(-6). Let r be 2 - 4 - (d - 0). Is (r - -1) + (-10)/(-2) a multiple of 4?
False
Let m(j) = 19*j**3 + 2*j**2 - 4*j + 3. Let i be m(2). Suppose -3*v + 20 = 2. Suppose p - v*p = -i. Does 14 divide p?
False
Suppose 0 = d - 3*d + 32. Suppose 16 = 3*z - 5*w, -2*z = -0*w + 2*w - d. Suppose z*o - 2*o - 140 = 0. Is 11 a factor of o?
False
Let s = -10 - 4. Does 14 divide 4/14 - 360/s?
False
Suppose -4*p - b + 324 = -4*b, p - 2*b - 76 = 0. Does 42 divide p?
True
Let p = 32 - -106. Is 23 a factor of p?
True
Let n(z) = -2*z**2 + 37*z - 23. Is 10 a factor of n(12)?
False
Let s = 13 - 7. Suppose -2*t = 6, 3*t = -k + s*k - 189. Suppose -o = -4*o + k. Does 8 divide o?
False
Let f = 222 - 133. Is 21 a factor of f?
False
Let b(j) = 5*j - 3. Suppose 3 = h + 5*g, 3*h = h - 3*g + 6. Let c be b(h). Suppose -w + 0*w + c = 0. Is 5 a factor of w?
False
Let x(y) = -4*y**2 + 5*y**2 + 5*y - 4 + 0*y. Is x(-6) a multiple of 2?
True
Let k(q) = 12*q + 52. Is k(18) a multiple of 13?
False
Suppose -2*l - 20 + 250 = 4*x, x + 5*l - 44 = 0. Does 34 divide x?
False
Is 8 a factor of (-9)/(-12)*(39 - 7)?
True
Let f = -8 - -8. Let w(p) = 2*p + 4. Is w(f) even?
True
Is (-7 - -3)*(-9)/12 a multiple of 3?
True
Suppose n - 165 = -3*y, 0 = -0*n + 2*n - y - 351. Is n a multiple of 17?
False
Let t = -25 - -106. Does 35 divide t?
False
Suppose -5*b - 5*t = 85, b = 6*b + 4*t + 84. Let l = 24 + 6. Let v = b + l. Is 4 a factor of v?
False
Suppose 80 = 2*s - 0*s. Does 8 divide s?
True
Suppose 4*u - 4 = 16. Suppose c - 4*y - 28 = 0, -5*c + 16 = u*y - 99. Is 24 a factor of c?
True
Suppose -45 = -5*b + 10. Let q = 14 - b. Is q a multiple of 3?
True
Suppose 33 = 4*w - 5*w. Let j be (-1 - -1)/2 - w. Suppose a = 3 + j. Is 28 a factor of a?
False
Let v be (-30)/(-4)*(-4)/(-6). Let o(h) be the third derivative of -h**6/120 + h**5/10 - h**4/8 - h**3 + 4*h**2. Does 4 divide o(v)?
True
Let l(m) = m + 4. Let g be l(-6). Let f = g + 12. Does 9 divide f?
False
Let k = -41 - -23. Let o = k - -29. Is o even?
False
Let u = 9 + -5. Suppose 10 = -2*n, 4*t + 5 = -u*n + 49. Is t a multiple of 8?
True
Let d = -28 + 51. Suppose 4*o - 2*q = -3*q - d, -4*o - 4*q - 8 = 0. Let l(n) = n**3 + 7*n**2 + 7. Is l(o) a multiple of 7?
True
Suppose b - 12 = 2*b - 4*y, 2*b - 4*y = -8. Does 9 divide ((-34)/b)/((-2)/4