True
Let c(a) = a**2 + 11*a + 12. Let z = -29 + 14. Is c(z) a multiple of 24?
True
Let i = -7 + 7. Suppose 4*j - 100 - 212 = i. Is 26 a factor of j?
True
Let z = 21 + 2. Let c = z - 6. Is 17 a factor of c?
True
Let r(a) = 10*a. Let z be r(-1). Let m be ((-8)/6)/(4/12). Let p = m - z. Is p a multiple of 2?
True
Let u be (-2)/(-7) - (-108)/14. Let h(w) = -11*w - 8. Let t(q) = 7*q + 5. Let x(k) = 5*h(k) + 8*t(k). Does 4 divide x(u)?
True
Let o(d) = -3*d**3 - 6*d**2 - 8*d - 8. Let m(s) = -s**3 + s**2 - s - 1. Let h(j) = 2*m(j) - o(j). Does 5 divide h(-7)?
False
Let h = -154 - -315. Is 22 a factor of h?
False
Suppose -5*r + 158 + 13 = n, -5*r + 183 = -2*n. Suppose 4*i - 101 = r. Does 10 divide i?
False
Let r be -2 + 81 + 0 + 2. Is (-6)/(-10) + r/15 a multiple of 6?
True
Let s = 88 - -27. Does 32 divide s?
False
Suppose -6*i + 11*i - 155 = 0. Suppose -b + f = -16 - 13, -b + 2*f + i = 0. Does 9 divide b?
True
Let v(k) = -8*k - 8. Does 28 divide v(-22)?
True
Suppose 3*g - 3 - 3 = 0. Let f be -1*(-66 - (g + -2)). Let r = -34 + f. Is 16 a factor of r?
True
Let r(k) = -k**3 - 10*k**2 + 2*k - 12. Let h be r(-11). Suppose -3*o - 5*p = -h + 19, 0 = 2*o + 3*p - 44. Suppose o = -0*f + 4*f. Is 2 a factor of f?
True
Let h = -22 - -49. Is h a multiple of 21?
False
Let l = 54 - 41. Is 13 a factor of l?
True
Suppose -2*u + 3*a = -19, -3*u + 2*a + 27 = -2*a. Let z = 2 + u. Is z a multiple of 3?
False
Let r(x) = -x**3 - 9*x**2 - 11*x - 11. Let p be r(-8). Let u = p + -9. Does 3 divide u?
False
Is 2 + -1 - (-117)/3 a multiple of 20?
True
Suppose -2*s = -4*h + 102, 3*h = 3*s + 51 + 18. Suppose 5*b - 52 = 33. Let x = h - b. Does 6 divide x?
False
Is (10/6)/((-10)/(-120)) a multiple of 20?
True
Suppose 34*h - 250 = 29*h. Is 13 a factor of h?
False
Let s(f) = -f**2 + 13*f + 3. Does 45 divide s(7)?
True
Let d = -24 - -84. Is 9 a factor of d?
False
Let k be (3 + 0 - 2) + -1. Suppose n - 6 + 2 = k. Is n even?
True
Is -51*4*(2/4 - 1) a multiple of 33?
False
Does 8 divide (-256)/(-6)*(-6)/(-4)?
True
Let p be 2/7 + (-12)/(-7). Let a = p - -3. Suppose 23 = 4*t + a*x, t - 6*t = x - 55. Is 6 a factor of t?
True
Let c(a) = a**2 - 4*a + 8. Is 29 a factor of c(7)?
True
Suppose 5*v - 70 = -4*a, v - 51 = -4*a + 11. Is (1 - -3)/(1/a) a multiple of 20?
True
Suppose 0*c = 8*c - 472. Does 10 divide c?
False
Let c be (4/3)/(3/162). Suppose -b + x = 2*b - 68, 3*x = 3*b - c. Does 11 divide b?
True
Suppose 0*y + 5 = y. Suppose -y*h = -2*b - 0*h + 79, -h + 49 = 2*b. Does 13 divide b?
False
Is 16 a factor of (62/(-3))/((-2)/3)?
False
Suppose -5*v + 4*d + 360 = 0, 0 = -5*v - 5*d + d + 360. Let i = -18 + v. Does 13 divide i?
False
Suppose 616 - 202 = 6*x. Does 25 divide x?
False
Let y = 141 - 83. Does 35 divide y?
False
Suppose -2*u = 4*p + 618, -4*p - u - 461 = -p. Is (-2)/(-11) - p/11 a multiple of 14?
True
Does 14 divide (-15)/35 + 150/7?
False
Let c(l) = -l**2 - 3*l + 6 - 4 + 2*l**2. Let m be c(4). Suppose -4*t + 20 = 0, 4*o - m + 0 = 2*t. Is 4 a factor of o?
True
Suppose -5*a + 5*w = -644 - 386, -408 = -2*a - 2*w. Is a a multiple of 41?
True
Suppose z = -3*z. Suppose 26 = 2*i + v - z, -2*v - 68 = -4*i. Is i a multiple of 10?
False
Suppose -h + 1 = 6. Let d(g) = 2*g**2 + g - 11. Does 9 divide d(h)?
False
Let u = 69 + -31. Does 36 divide u?
False
Let b(f) = 14*f - 3. Let z = 1 - -2. Let j(n) = 43*n - 8. Let s(t) = z*j(t) - 8*b(t). Does 15 divide s(2)?
False
Let v be 4*((-15)/6)/(-5). Suppose -v*q + 6 = 0, 0 = -3*f - q + 98 + 61. Does 13 divide f?
True
Suppose 380 = 5*o - 4*a, -4*o + 62 = a - 221. Does 9 divide o?
True
Let h(x) = -12*x + 1. Let a be (-2 + 1)*(-1)/(-1). Is 13 a factor of h(a)?
True
Let v(k) = -41*k**3 - 2*k**2 - k. Let n be v(-1). Let f = 16 - 12. Suppose -f*y + w + 30 = -y, 4*y - 4*w = n. Is 5 a factor of y?
True
Let l = -115 - -214. Does 33 divide l?
True
Let n = -4 - -4. Suppose h - 5*v - 50 = -h, n = -h - 3*v + 14. Is h a multiple of 10?
True
Let n(u) = 4*u - 3. Suppose 16 + 2 = 3*w. Let t be w/2*3 + 0. Does 13 divide n(t)?
False
Let p = 119 + 115. Let g be (-1)/(2 + (-465)/p). Is ((-1)/(-2))/((-3)/g) a multiple of 7?
False
Is 3 a factor of (24/30)/((-1)/(-5))?
False
Suppose -z = 3 - 1. Is ((-205)/10)/(1/z) a multiple of 20?
False
Let u be (3 - (14 - 1))/(-2). Suppose -3 = 3*m, 2 = s + 3*m - 4. Let n = s + u. Does 7 divide n?
True
Suppose -33 = -3*x - o - 2*o, -o + 3 = 0. Let v = 17 - 7. Let a = v + x. Does 18 divide a?
True
Suppose 0 = g - 3*x - 10, 0*g = 2*g - 4*x - 16. Is g/12*0 - -19 a multiple of 19?
True
Suppose -3*r = -3*w + 582, 2*w - 3*r = 278 + 106. Is 18 a factor of w?
True
Let h be 0 + 3 - 2/(-2). Suppose -h + 0 = 4*x - 4*n, 2*n = 5*x - 10. Does 3 divide x?
False
Suppose 3*m = -6 - 3. Let a(y) = 14*y + 3. Let t(s) = 15*s + 2. Let z(v) = m*t(v) + 2*a(v). Is z(-1) a multiple of 17?
True
Let q = -12 + 15. Suppose 2*n - 4*k = 10, -k - 3*k - 4 = 0. Suppose 5*y - 116 = q*h, -2*y + n*h + h = -38. Is 9 a factor of y?
False
Let z(t) = 6*t**2 + 6*t - t**3 - 3*t - t - 4*t. Does 7 divide z(3)?
True
Let h(o) be the third derivative of -o**6/120 - o**5/30 - o**4/24 - 3*o**2. Let m be h(-2). Suppose 0*x - x + 43 = m*t, -5*t - 5*x = -95. Is t a multiple of 19?
False
Let r(q) = 4*q - 12*q - 2 - 6*q. Is r(-2) a multiple of 17?
False
Let y(n) = n**3 + 7*n**2 - 8*n - 7. Let q be y(-8). Let a = 7 - q. Is a a multiple of 7?
True
Let x = 14 - -34. Suppose -5*n = -g + x, -4*g - g = 2*n - 105. Is 11 a factor of g?
False
Suppose 0 = f - 23 + 6. Suppose -f*u + 120 = -14*u. Is u a multiple of 13?
False
Let b(z) = -7*z + 4. Let w be b(4). Let s be (w/9)/((-2)/(-12)). Is 5 a factor of 0 + 2 + -4 - s?
False
Let j = 37 - 3. Is j a multiple of 14?
False
Suppose 0 = -0*p - 3*p - 27. Let o(f) = -f**2 - 11*f + 4. Is o(p) a multiple of 11?
True
Suppose 6*d - 2*d + 5*u = -29, 3*d + 23 = -4*u. Does 14 divide (1 + -71)*(d - 0)?
True
Suppose -36 = -q - 3*k - 2*k, 2*k + 8 = q. Is 3 a factor of q?
False
Suppose 3*y - 38 - 48 = 4*n, 5*n + 115 = 4*y. Let c = -8 + y. Let a = c - 12. Does 10 divide a?
True
Suppose 2*b = -b - 12, 43 = 3*k - b. Is k a multiple of 13?
True
Let n(c) be the second derivative of c**4/6 + 4*c**3/3 + 4*c**2 - 2*c. Is 8 a factor of n(-6)?
True
Suppose 123 = 2*w + 13. Does 13 divide w?
False
Let g(d) = -10*d - 3. Let r(j) = 7*j + 2. Let s(z) = -5*g(z) - 7*r(z). Let w be s(-3). Is (0 - -1)/(w/(-66)) a multiple of 16?
False
Let b(f) be the third derivative of -4*f**2 + f**3 - 1/12*f**4 + 0 + 0*f. Does 8 divide b(-5)?
True
Is (-1 + 0)*(-20 + -7) a multiple of 9?
True
Let f = 14 + -8. Suppose -18 = -f*r + 3*r. Let k(v) = -v**3 + 8*v**2 - 4*v - 1. Is 19 a factor of k(r)?
False
Let l(x) = -10*x**3 + 2*x - 11 + 1 - 4*x + 11*x**3 + 7*x**2. Let c be 6/9 - 46/6. Does 4 divide l(c)?
True
Suppose -5*v + 4*s = 0, -4*v - 4*s = -7*v. Let a = 4 + v. Suppose a*t - 12 - 76 = 0. Does 11 divide t?
True
Let s be ((-10)/(-8))/((-2)/56). Is (-1064)/s - (-2)/(-5) a multiple of 15?
True
Let l = 10 - 21. Let v = 9 + l. Let g(c) = -3*c - 3. Does 3 divide g(v)?
True
Suppose -3*i + 17 = -97. Suppose -2*v = 4*t - i, 3*v = -t - t + 41. Is v a multiple of 11?
True
Is 28 a factor of -3*(-1)/(9/300)?
False
Let m = -76 - -111. Does 35 divide m?
True
Suppose -9*z = -631 - 359. Does 17 divide z?
False
Let l = -55 + 113. Is l a multiple of 16?
False
Let q(z) = -z**2 - 10*z + 12. Let o be q(-11). Is o/(1/(-132)*-4) a multiple of 33?
True
Let o(z) = 2*z**3 + 3*z**2 - 2*z + 3. Let m be o(2). Let s be (16/(-6))/((-18)/m). Suppose -w = -k - 4*w - 5, s*w - 10 = -3*k. Does 6 divide k?
False
Suppose -21 = 3*a - 4*x - 190, 0 = x - 2. Is 18 a factor of a?
False
Let j = -10 + 14. Suppose -2*v - j = 0, -18 = -2*b - 0*v - v. Is b a multiple of 4?
False
Suppose 0 = x - 2*g - 12, 5 = x + 2*g - 3. Does 6 divide x?
False
Suppose 1456 = 16*t - 12*t. Is 52 a factor of t?
True
Let r = 116 + -26. Is r a multiple of 10?
True
Suppose -4*s - 4*k + 5*k - 40 = 0, 4 = k. Let i(d) = d**2 + 10*d + 13. Let m be i(s). Does 12 divide ((-6)/(-8))/(m/192)?
True
Does 15 divide -2*((-425)/5 + 5)?
False
Let a be 3/4 + (-7)/4. Does 12 divide a/(-2) + (-142)/(-4)?
True
Let a be 3/(-6)*2 - -9. Let u be 4/(a/14)*1. Let x(b) = b**3 - 6*b**2 - 6*b + 3. Is 5 a factor of x(u)?
True
Let u(f) = 7*f - 4. Let z(m) = 7*m - 5. Let x(v) = -6*u(v) + 5*z(v). Let b = 0 - 