*2 - 3*x. Let o be l(2). Let h = -52 - o. Is h a multiple of 21?
True
Let l(d) = 68*d + 1. Let k = -3 + 2. Let s be l(k). Let a = s + 95. Is a a multiple of 10?
False
Is -2 - -1 - (-2 + -63) a multiple of 16?
True
Let j(u) = -u**2 + 4*u - 2. Let o(g) = -g - 1. Let a(x) = j(x) - 4*o(x). Is 14 a factor of a(6)?
True
Let u be 10*1/1 - 2. Let j be (-3 + 2)/(-1) + u. Is 9 a factor of (-3)/j*-3*9?
True
Let n(i) = -i**2 - 10*i - 11. Let u be n(-8). Suppose 5*a - 4*j = 10, -3*j = -5*a + 2*j + u. Does 6 divide a?
True
Suppose 0*g - 4*g + 8 = 0. Suppose 17 - g = 5*n. Suppose -2*t - n*i = -i - 30, -i + 5 = 0. Is t a multiple of 8?
False
Suppose -183 = -l + 67. Does 25 divide l?
True
Let q(n) be the second derivative of 1/6*n**3 + 13*n**2 + 0 - 2*n. Is 14 a factor of q(0)?
False
Let g(t) = -3*t + 3. Let j be g(2). Let d be (-2)/(-4) - j/6. Does 7 divide (-1)/(d + -2) - -16?
False
Suppose -d + 5*h + 40 + 86 = 0, -5*d = -3*h - 674. Is 17 a factor of d?
True
Let i = -10 + 7. Let w(y) = y**2 + 2*y + 3. Let r be w(i). Let t = r - 4. Is t even?
True
Let d = -791 + 471. Let g = -451 - d. Does 12 divide g/(-4) - (-1)/4?
False
Let m(f) = f**2 + 6*f + 3. Let q be m(-5). Let r be 0*(3/q)/(-3). Suppose r = -3*b - 15, -3*u = -2*u + b - 13. Is u a multiple of 18?
True
Suppose 228 = 5*o - 32. Suppose k = j - 51 - 27, 322 = 4*j - 2*k. Suppose o = 3*q - j. Is 21 a factor of q?
False
Suppose -5*j + 58 = 2*p - j, -5*p = 5*j - 120. Does 6 divide p?
False
Let p be (3 - 2)*1 - -4. Suppose -4*m = k - 52, -m + p*m = k + 52. Is m a multiple of 6?
False
Let r = -52 + 193. Is r a multiple of 19?
False
Let y(z) = z**2 + 4*z + 4. Let x be (-2)/(-3) - 12/(-9). Suppose h + 15 = -x*h. Is y(h) a multiple of 6?
False
Suppose -2*s + 57 = s - 4*t, -6 = 2*t. Is s a multiple of 3?
True
Suppose -2*i = -0*i + 4. Let u = i - 0. Does 14 divide 19 - (-1)/(1 + u)?
False
Let u = 77 + -120. Suppose 348 = -0*k + 4*k. Let g = k + u. Does 25 divide g?
False
Let p(o) = 4 + 3*o**2 - 2*o + o**3 - 1 - o + 0*o. Does 4 divide p(-3)?
True
Suppose -3*y - 24 = -6*y. Does 4 divide y?
True
Suppose -6 = -4*h + 26. Is h a multiple of 8?
True
Let l(p) = p**2 + 2*p + 2. Suppose 7*o = 4*o - 6. Let h be l(o). Suppose s + 20 = h*s. Is 10 a factor of s?
True
Suppose q = 2*v - 34, 3*q = -3*v + 100 - 31. Is v a multiple of 6?
False
Suppose 5*h - 3 = -88. Does 17 divide h/3*1*-3?
True
Let v(o) = o**3 - 2*o**2 - 6*o + 4. Is v(4) a multiple of 12?
True
Suppose -89 = -5*q + 131. Is q a multiple of 22?
True
Let p(n) = -n**3 + 6*n**2 - 6*n - 4. Let a be p(6). Let y(j) = j**3 - 6*j**2 - 2. Let v be y(6). Is 6 a factor of (3/v)/(3/a)?
False
Suppose -2*g = -506 - 96. Does 11 divide g?
False
Suppose -s + 8 = 1. Does 3 divide s?
False
Suppose 0 = h + h + 3*z - 100, -12 = -3*z. Does 12 divide h/2 + 1 + -1?
False
Let s(p) = p**3 + 9*p**2 + 3*p + 4. Does 10 divide s(-8)?
False
Suppose -4*c - 5*u = 24 + 9, c + 3*u = -17. Let d(l) = -l**3 - l - 1. Is d(c) a multiple of 7?
False
Let z(a) = 2*a**2 + 5*a - 6. Is z(-8) a multiple of 17?
False
Let y(v) = v**2 + 4*v. Let r be y(-4). Suppose 2 = -u - 0*u, r = -c - 5*u - 9. Suppose -3*z - c + 43 = 0. Is z a multiple of 7?
True
Let b = 0 - -21. Is 21 a factor of b?
True
Let u be -1 + -2*(-6 - -2). Suppose u = 4*t - 5. Suppose 64 = t*h - 35. Does 15 divide h?
False
Let f(m) = m**3 + 7*m**2 - 9*m - 6. Let c be f(-8). Let x be c/6 + 95/3. Suppose 4*w + x = 92. Is 15 a factor of w?
True
Let o = 384 + -184. Is o a multiple of 20?
True
Let a be (0 + -3)*(-4)/(-3). Let g = a + 6. Suppose -6*p = -g*p - 60. Does 6 divide p?
False
Is 23 a factor of 94 + (-4 - -5) + -3?
True
Suppose 0 = 3*j + 4*t + 532, -2*j + j - 173 = -3*t. Is 14 a factor of j/(-6) - (-1)/(-3)?
False
Let w(y) = 10*y - 4. Let c be w(11). Let b = c + -58. Is 14 a factor of (b/9)/((-3)/(-18))?
False
Suppose 0 = u + 1 - 4. Suppose -u*k + 6*k - 45 = 0. Does 15 divide k?
True
Let o = 7 + -5. Let g be 19/(-4) - o/8. Is (-2)/((10/4)/g) a multiple of 2?
True
Let r = -12 - 9. Let a = -62 - r. Let y = -17 - a. Is 14 a factor of y?
False
Suppose 7*a - 24 = 6*a. Is 2 a factor of a?
True
Suppose -39 = -4*t + s - 0*s, 0 = 2*t + 3*s - 23. Let a = 19 - t. Does 15 divide 66*(a/6)/3?
False
Suppose 0 = -2*f - 26 - 56. Let l(u) = 11*u**3 - 2*u**2 + 2*u - 3. Let i be l(2). Let w = i + f. Is w a multiple of 20?
True
Let j(s) = 3*s**2 - 2*s. Let m be j(3). Suppose -3*l = -3*q - m, -5*q - 2 = l - 9. Is 3 a factor of l?
False
Let t(d) = -3*d - 4. Let j(u) = u. Let a(c) = -2*j(c) - t(c). Let r be a(0). Suppose -r*i + 60 = i. Does 6 divide i?
True
Let n(z) = 0 + 1 + z + 0 + 0*z. Is 3 a factor of n(4)?
False
Let i(o) = 2*o**3 - 7*o**2 - 6*o + 2. Let m(q) = -q**3 + q. Let t(b) = -i(b) - 3*m(b). Does 11 divide t(-5)?
True
Let q = 22 - -31. Let r be -4*-6*7/(-8). Let z = r + q. Does 16 divide z?
True
Let d = 224 - 109. Suppose -3*j + d = 2*j. Is 23 a factor of j?
True
Let f = -1 + 3. Suppose 3*l = 2*l + 9. Suppose -f*n + l = 3. Does 3 divide n?
True
Let c(p) = -p**2 - 5*p + 4. Let o(v) = v**2 + 3*v - 2. Let h(d) = -2*c(d) - 5*o(d). Let w(y) be the first derivative of h(y). Is 15 a factor of w(-5)?
False
Let q be (6/(-4) + 1)*34. Let x(b) = 2*b**2 - 11*b + 13. Let j(f) = 6*f**2 - 32*f + 38. Let p(a) = q*x(a) + 6*j(a). Is p(5) a multiple of 12?
False
Let a(b) = -b**2 - 3*b + 2. Let v be a(-3). Is 14 a factor of v/(-8) - 579/(-12)?
False
Suppose 14*t + 136 = 1032. Is 32 a factor of t?
True
Let p = -15 - -15. Let n(j) = -j + 16. Is 3 a factor of n(p)?
False
Suppose 10*f + 30 = 5*f. Does 7 divide (-4 - 8)/(f/4)?
False
Let d(o) = -o + 1. Let p be d(-3). Suppose 0*x + 112 = p*x. Does 16 divide x?
False
Let k(m) = 3*m**2 - 11*m + 13. Is 18 a factor of k(9)?
False
Let p(h) = -66*h**3 - h**2 + h. Does 17 divide p(-1)?
False
Let c = -667 + 127. Let r = -256 - c. Is r/18 + 2/9 a multiple of 6?
False
Let r(a) = -a - 1. Let x(s) = s - 1. Let h(g) = 2*r(g) + x(g). Let v be h(-7). Suppose -v*q + 148 = -m, 4*q - 132 = -0*m + 5*m. Is 14 a factor of q?
False
Suppose 5*r - 16 = 44. Suppose -q = q - r. Is q a multiple of 5?
False
Let q(t) = 6*t**2 + t - 5. Is 13 a factor of q(3)?
True
Let y = -22 + 47. Is 13 a factor of y - (0/2 - -3)?
False
Let u(o) = -o**3 + 16*o**2 - 14*o + 3. Does 18 divide u(15)?
True
Let v(y) = -y**2 + 7*y - 4. Let i be v(4). Let f = i + 7. Is f a multiple of 4?
False
Let c(a) = a**3 - 13*a**2 - 14*a + 5. Let j be c(14). Suppose -3*q + j*q - 62 = 0. Is 14 a factor of q?
False
Let p(a) be the second derivative of -a**5/20 + 3*a**4/4 - 3*a**3/2 - 3*a**2/2 + 10*a. Is 16 a factor of p(7)?
True
Suppose -2*c + 40 = 4*x, 3*c + x + 65 = 5*c. Suppose u + 106 = 3*q, 3*q - c = 2*q + 3*u. Is 18 a factor of q?
True
Let q be -2 - (-2)/1 - 52. Let y be (-2)/6 + q/(-12). Suppose y*x - 46 = 6. Is 13 a factor of x?
True
Suppose 0*p + 3*p - 1 = 4*y, p + 7 = 5*y. Let o be -1 - (-70 - (-2)/y). Suppose -r = r - o. Is r a multiple of 17?
True
Suppose 5*v - 67 = 53. Suppose b - v = 5*b. Let i(d) = d**3 + 8*d**2 + 6*d + 5. Does 24 divide i(b)?
False
Let d = -65 + 121. Does 28 divide d?
True
Suppose -84 = -2*g + 2*n + 3*n, -2*g + 124 = 5*n. Is g a multiple of 13?
True
Suppose -7*k + 38 + 39 = 0. Is 10 a factor of k?
False
Let z(g) = -g**3 + 7*g**2 - 4*g**2 - 9 + 2*g + 4*g**2. Let b(t) = 2*t - 1. Let a be b(4). Does 3 divide z(a)?
False
Let p = -6 + 18. Is 6 a factor of p?
True
Suppose -180 - 54 = -3*c. Is 26 a factor of c?
True
Let g = 18 - -20. Is 19 a factor of g?
True
Let d = -68 - -165. Is d a multiple of 8?
False
Let d(v) be the third derivative of 4*v**2 + 0 + 7/24*v**4 - 1/2*v**3 + 0*v. Is d(7) a multiple of 15?
False
Let d = -15 - -18. Suppose 4*o - 16 = d*o. Does 7 divide o?
False
Let z(f) = 2*f - 15. Let d be z(12). Let p(t) = t**2 - 8*t + 3. Is 3 a factor of p(d)?
True
Let t = 69 - 24. Does 17 divide t?
False
Suppose -3*p - 2*r = -88 - 14, 3*p = 5*r + 102. Suppose u = -u + p. Is 16 a factor of u?
False
Let a(x) = x**3 + 8*x**2 - 13*x - 4. Let d = -6 + 4. Let l be (-3)/d*-1*6. Does 16 divide a(l)?
True
Let w(t) = -t**3 + 6*t**2 - 8. Let d be w(6). Let l = -1 + d. Does 11 divide (-6)/l + 64/3?
True
Is (-7 - 0)*50/(-35) a multiple of 10?
True
Let p be 463/5 + (-6)/(-15). Suppose 0 = 2*w - 10, 0*w + p = 4*i + w. Is 11 a factor of i?
True
Suppose -5*x + 69 = -111. Does 5 divide x?
Fal