et d be (-34)/(-2) - (1 - 0). Let l = g + d. Is 16 a factor of l?
True
Let d(w) = -w**3 - 6*w**2 - 5*w + 4. Let y be d(-5). Suppose 2*m - 2*z - 15 = 1, -y*m + 2 = 2*z. Is m a multiple of 3?
True
Let d(s) = -s - 8. Let l be d(-7). Does 4 divide (-3 - l)*(1 + -3)?
True
Let r = 988 - 666. Does 46 divide r?
True
Let n(j) = -11*j + 3. Let r be n(8). Let o = r - -122. Does 16 divide o?
False
Let y(a) = -a**2 + 15*a - 14. Let f be y(10). Suppose 0*t - f = -t - 3*k, -3*t = -k - 118. Does 19 divide t?
False
Let s(x) = 16*x**2 + 71*x - 9. Let b(o) = 3*o**2 + 14*o - 2. Let n(g) = -11*b(g) + 2*s(g). Is 8 a factor of n(-10)?
True
Suppose -2*a - f + 48 = 0, 3*f - 42 = -5*a + 77. Is 5 a factor of a?
True
Suppose 6*i - 342 = -0*i. Is i a multiple of 19?
True
Let l(m) be the third derivative of -m**7/630 + m**6/720 + m**5/30 - 2*m**2. Let u(s) be the third derivative of l(s). Is 7 a factor of u(-2)?
False
Let r = -132 - -208. Suppose -2*u = 2*u - r. Is u a multiple of 13?
False
Is 10 a factor of ((-54)/10)/((-18)/60)?
False
Let t = -194 + 281. Does 6 divide t?
False
Suppose -3*p + 9 = 0, -3*x + 5*p - 147 = 6*p. Let c be (4/10)/((-2)/x). Suppose -2*v + c = 2. Is v a multiple of 4?
True
Suppose 0 = -2*h - 3*h + 85. Suppose 0 = -15*m + h*m - 94. Is 9 a factor of m?
False
Let c = 6 + -3. Is (-1 + c)/((-2)/(-12)) a multiple of 12?
True
Suppose 0*v + 5 = -3*v - 2*g, 2*v + 14 = -4*g. Is 13 a factor of ((-41)/3)/(v/(-3))?
False
Suppose -27 = -4*r + 13. Suppose -k = -5*j + 88, -5*k + 0*k + r = 0. Is j a multiple of 7?
False
Let a(z) = -z**3 - 6*z**2 - 5*z + 4. Does 4 divide a(-5)?
True
Let v = 17 + -8. Let w(s) = 8*s - 15. Is w(v) a multiple of 16?
False
Let p = -39 - -68. Suppose 2*y + p = 3*y. Suppose 5*c - 55 = 5*h, 0 = 4*c - 3*h + 2*h - y. Is 6 a factor of c?
True
Suppose 3*u - 9 = 6. Suppose 3*k = -k + u*n + 37, 4*k = -4*n + 28. Is k a multiple of 3?
False
Suppose w - 2*k + 8 = 0, 2*k + k - 23 = -4*w. Is 2 + -3 - w - -16 a multiple of 13?
True
Suppose 2*u + 12 = -4*s - 10, 0 = -2*u - 2*s - 14. Let j = 3 - u. Does 6 divide j?
True
Suppose 2*d - 5*l + 0 + 24 = 0, 0 = d - 3*l + 14. Is (d/3)/((-12)/666) a multiple of 18?
False
Let b(m) = 3*m + 37. Does 11 divide b(17)?
True
Suppose 5*f - 50 = 5*s, -3*f + s = f - 40. Does 3 divide f?
False
Let h = 13 + -9. Suppose h*s = 3*s + 6. Is s a multiple of 3?
True
Let x = 120 - 20. Suppose -4*s + 5 = 2*j - 5, 5*j - x = 5*s. Is 5 a factor of j?
True
Let k(l) = l + 6. Let y be k(-3). Suppose 0 = -r + y*r - 6. Suppose q = -r*q + 76. Is q a multiple of 19?
True
Let w(r) = r**3 - r**2 + 2*r + 1. Suppose -b + 2*m = 3*m - 1, 3*m = -6. Does 9 divide w(b)?
False
Let q(y) be the third derivative of -y**6/30 - y**5/120 - y**4/12 + 2*y**2. Let o(v) be the second derivative of q(v). Is o(-1) a multiple of 10?
False
Let k be (1 - -2)/(2/6). Let j = -1 + k. Suppose -4*b + 4 = j, -5*b = m. Does 4 divide m?
False
Let h(j) be the first derivative of -11*j**2/2 - 2*j + 2. Let m be h(-4). Let f = -12 + m. Does 15 divide f?
True
Let s(k) = -2*k - 7. Let m be s(-8). Suppose 1 - m = 4*q, 3*q = 5*z - 166. Does 16 divide z?
True
Suppose 7*j = -62 - 15. Let f be 8*-1*(-1 - 1). Let t = f + j. Is t a multiple of 3?
False
Suppose -73 = -3*a - d, 2*a = 3*a - 2*d - 36. Is 13 a factor of a?
True
Let r(i) = -1 - 4 + i - 5. Let m be r(8). Let g(u) = -3*u**3 - 3*u**2 - 3*u - 2. Is 12 a factor of g(m)?
False
Let g be (-189)/(-12) - 3/4. Let z = -3 + g. Does 5 divide z?
False
Suppose 2*v = -t + 130, -5*v - 5*t = 91 - 411. Is v a multiple of 25?
False
Is (-104)/10*30/(-12) a multiple of 17?
False
Suppose u + 3*f - 88 = -0*f, -4*f = u - 86. Suppose -2*q - 22 + u = 0. Is q a multiple of 17?
False
Suppose 136 = -4*x - 2*r, 3*r - 4 = -3*x - 106. Is 13 a factor of -2 - 4/(8/x)?
False
Let u = 4 - 4. Suppose u = 2*c + 3*c - 200. Is c a multiple of 14?
False
Let c be (2 + 10/(-3))*-18. Let n be ((-1)/2)/((-2)/c). Let d = n - 3. Is d a multiple of 3?
True
Let a(u) = -4*u - 1. Let i be a(-1). Is (64/(-2) - i)/(-1) a multiple of 17?
False
Let x(p) = -1. Let v(c) = c + 1. Let h(j) = -3*v(j) - 4*x(j). Let r be h(7). Let t = 68 + r. Does 18 divide t?
False
Suppose 11 + 4 = h. Does 2 divide (50/h)/(4/6)?
False
Let m be (-11)/(-3) + (-4)/6. Suppose 2*v + m*v - 130 = 0. Does 13 divide v?
True
Let h be -1 + (-3 - -2) - -3. Let k be (8*h - 2)/1. Suppose -k*b + 125 = -b. Is 10 a factor of b?
False
Suppose 0*g + g = 4*s - 55, 3*g + 9 = 0. Let z = s + -4. Does 9 divide z?
True
Let a = -6 + 5. Is 11 a factor of ((-33)/3)/1*a?
True
Suppose -4*i = -16 - 104. Is i a multiple of 5?
True
Let j(y) = 2*y + 3. Is j(7) a multiple of 4?
False
Let y(v) = -v**2 + 9*v + 14. Let d be y(10). Does 12 divide 56/d + 2 - 4?
True
Suppose -n = 4 - 2, 4*n - 16 = -2*o. Does 4 divide o?
True
Let l(x) = 106*x. Let v be l(1). Suppose 3*r - v = t, -3*r - t + 90 = 2*t. Is 17 a factor of r?
True
Let k(f) = 174*f - 1. Does 21 divide k(1)?
False
Let z = -44 + 109. Is 12 a factor of z?
False
Suppose -g + 3*j + 65 = 0, -5*j - 84 = 4*g - 361. Is 17 a factor of g?
True
Let t(k) be the first derivative of -k**3/3 - 7*k**2 + 5*k - 1. Is 18 a factor of t(-12)?
False
Let j(c) = 3*c**3 - 2*c**2 - 5*c - 4. Is j(3) a multiple of 10?
False
Let y(s) = s**2 - 5*s - 7. Let z be y(6). Does 3 divide (z*2)/(4/(-26))?
False
Let a be (68/(-16))/((-2)/8). Suppose 8 = 5*f - a. Suppose w + 11 = 3*p, 0 = -p + 2*p + f*w - 9. Does 4 divide p?
True
Suppose -6*u + 717 = 21. Does 6 divide (-9)/(-12) - u/(-16)?
False
Let p(i) be the second derivative of -i**5/20 - i**4/6 - i**3/6 + i. Let c be p(-2). Suppose -c*g - 2*n + 30 = 0, -g - 1 = -5*n - 4. Does 8 divide g?
False
Suppose h = -o - 6, -2*h - 3*o + 8*o + 23 = 0. Let k be h/(-3) + 28/6. Suppose 0 = k*p - 83 - 47. Does 16 divide p?
False
Let i = 55 + -44. Does 3 divide i?
False
Let i(l) be the first derivative of 2*l**3/3 - 13*l**2/2 + 3*l + 2. Does 12 divide i(9)?
True
Let x(u) = 0*u - 12 + 0*u + u**3 - 8*u**2 + 3*u. Let z(f) = 4*f - 4. Let o be z(3). Is 9 a factor of x(o)?
False
Suppose -4*o = -5*i + 103, 3*i + 3*o + 25 = 4*i. Is i a multiple of 19?
True
Suppose -2*u + 4*t - 30 = 0, u + u = 3*t - 26. Let q(s) = -s**2 - 7*s + 2. Let n be q(u). Is 9 a factor of (n - 3)*-1*19?
False
Let c = 38 - 21. Does 10 divide c?
False
Let s = -393 - -551. Is s a multiple of 11?
False
Let h be 3/(-6) - (-10)/4. Let q be 1*(-49 + 1) - h. Let a = -24 - q. Is a a multiple of 13?
True
Suppose 3*q + 5 = -7. Let j(g) = -6*g**2 + 5*g - 4. Let r(u) = -12*u**2 + 9*u - 7. Let t(l) = q*r(l) + 7*j(l). Is 13 a factor of t(-2)?
True
Suppose 0 = -6*i - 21 + 99. Does 2 divide i?
False
Let a = 868 - 588. Is a a multiple of 14?
True
Suppose 2*o - 20 = 28. Let x = 47 - o. Is x a multiple of 11?
False
Let l(t) = t**2 - 18*t + 5. Is 13 a factor of l(-9)?
False
Let g be (-2)/(-8)*(2 + 18). Suppose -4 = 3*q - 5*f - 55, -5*q - g*f + 125 = 0. Is q a multiple of 14?
False
Let t(u) = -u**3 - 5*u**2 + 7*u + 5. Let k be t(-6). Is 6 a factor of k/2*0 - -7?
False
Let f(i) = 5*i. Let u be f(-1). Let m = -6 - u. Is 8 a factor of m - 1*-1*17?
True
Suppose a - 6 = 4*a. Let z(k) = -3*k**3 + k - 1. Let b be z(a). Let u = b - 10. Does 5 divide u?
False
Suppose -3*l + 7 + 8 = -3*w, l - 4*w + 10 = 0. Let m = 20 - l. Is 3 a factor of m?
False
Does 5 divide 8/((-64)/(-28) + -2)?
False
Suppose 16 = 4*o, 4*i - 2*o = -i + 77. Suppose 0*m + m = i. Is m a multiple of 17?
True
Suppose -3*g - v + 8 = 0, 1 = 3*g - 2*g + 2*v. Suppose 54 = g*i - 0*i. Is 18 a factor of i?
True
Suppose 0 = 2*p + 5*g - 477, p - 135 = g + 114. Does 41 divide p?
True
Let y = 5 - -3. Is y a multiple of 4?
True
Suppose -4*s = 2*s - 72. Does 12 divide s?
True
Suppose -3*h - 1 = -2*d - 4, -2*d - 3*h + 15 = 0. Let s be d*(4/(-6) + 0). Is (s/3 + 1)*63 a multiple of 11?
False
Is 16 a factor of 65 + -3 + (2 - -1)?
False
Suppose 2*v - 3*t - 39 = 0, 0 = -3*v + 5*t - 5 + 66. Is v a multiple of 8?
False
Let y(m) be the second derivative of 3*m**4/4 + m**3/3 + m**2/2 - 2*m. Let f be y(-1). Suppose -3*u - 2*z = -26, 2*u - 7 = z + f. Is 3 a factor of u?
False
Suppose 7*f - h + 12 = 3*f, 2*f = 2*h - 6. Let u(t) = -20*t - 4. Is u(f) a multiple of 14?
True
Let q(n) = n**3 + 9*n**2 - 3*n + 4. Let v be q(-8). Suppose -15 + v = 7*l. Is 5 a factor of l?
False
Let i be 4/8*-6*1. Let q = i - -8. Does