6*r**3. Is v(-2) a multiple of 14?
False
Does 6 divide 3*1/(-2) - 189/(-6)?
True
Suppose -f = f. Suppose -l = f, -y + 4*l + l + 2 = 0. Is (-3)/y*(-22)/3 a multiple of 11?
True
Suppose o = f + 6, 0 = 5*f + 2*o + 21 + 16. Let p = 20 - -3. Let k = p + f. Is k a multiple of 9?
False
Let n(q) = -q + 4. Let u be 1/(-1) - (8 + 1). Is 14 a factor of n(u)?
True
Suppose 13*x - 820 = 10*x - 4*s, -3*x + 5*s + 865 = 0. Does 41 divide x?
False
Suppose 0*p + p = -o + 54, o - 52 = -3*p. Is o a multiple of 10?
False
Let w(g) = -g**3 + g**2 + g + 16. Let y be w(0). Suppose -y = 3*u - 7. Let f(m) = -m**3 + m**2 + m + 4. Does 10 divide f(u)?
False
Let m(y) = 3*y**2 + y - 2. Is m(4) a multiple of 10?
True
Let f(q) be the second derivative of -q**3/6 + q**2 + q. Let k be f(-2). Is k*(2 - 15/12) a multiple of 3?
True
Let a = 0 + 1. Let u = 14 + a. Is u a multiple of 5?
True
Let f(m) = -m**2 - 5*m + 14. Let y(c) = -c**2 - 4*c + 14. Let h(i) = 6*f(i) - 5*y(i). Is h(-10) a multiple of 7?
True
Let b(t) = t**3 + 22*t**2 - 5*t - 31. Is 20 a factor of b(-22)?
False
Let m(x) = -5*x - 4. Suppose k + 5 = -4*k - 5*l, 4*k = -l - 13. Does 8 divide m(k)?
True
Let d be (4*-20)/(-1) - -2. Suppose -5*u + d = -198. Is u/3 - (-1)/3 a multiple of 8?
False
Does 2 divide 5 - -3*6/9?
False
Does 16 divide (-16 + 4)*24/(-9)?
True
Let z(f) be the third derivative of f**4/12 - f**3/3 - 2*f**2. Let d be z(3). Suppose -93 = -d*c - 13. Is c a multiple of 20?
True
Let y be (18 + 7)*8/10. Suppose y = -4*z + 9*z. Does 2 divide z?
True
Suppose -5*m = -25, h = 2*h - 4*m + 23. Let a = h + -5. Does 4 divide (-6 - -1)*a/10?
True
Let o = 3 + 13. Does 8 divide o?
True
Let u(p) = 16*p**2 + p. Let v be u(-1). Does 27 divide 4*6 + v/5?
True
Suppose 5*n - 66 = 24. Does 9 divide n?
True
Suppose c - 4*x = 27, 0*x - 3*x = 3*c - 21. Let r(b) = b**2 - 10*b - 9. Does 2 divide r(c)?
True
Suppose 4*a + 2*b + 73 = 7*b, -4*a + 2*b = 58. Let w = 3 - -18. Let d = a + w. Is d a multiple of 9?
True
Suppose -75 - 65 = -5*i. Let b = -8 + i. Suppose -4*z + 4*l = -132, 2*z + 3*l = 46 + b. Is 11 a factor of z?
True
Let k(a) = 14*a + 1. Let u be k(5). Suppose 117 + u = -4*s. Let c = -33 - s. Does 14 divide c?
True
Let d be (-36 + 0)/(6/(-8)). Is 8 a factor of ((-2)/(-6))/(2/d)?
True
Suppose 0 = n - 5*j + 13, -4*n = -5*j + 21 + 46. Let w = n - -40. Is 8 a factor of w?
False
Let v be (-15)/(-4) - 27/36. Suppose 71 = 3*p + u, -v*u + 4*u = -4. Does 10 divide p?
False
Suppose -5*p - 21 - 4 = 0, -1474 = 3*o + 5*p. Let v = -326 - o. Let f = -105 + v. Does 17 divide f?
False
Let u(k) = -2*k**3 - 2*k**2 + 3*k + 2. Let w = 2 + -4. Let v be u(w). Suppose 0*m = -2*m - 2*g + 16, v*m - 8 = 2*g. Does 2 divide m?
True
Suppose 6 = 3*m - 6. Is 19/2 - (-2)/m a multiple of 7?
False
Suppose -2 + 0 = -n. Suppose 4 + 4 = 3*l - 4*c, -n*l + 3*c = -7. Is (-291)/(-12) - (-1)/l a multiple of 12?
True
Let g = 46 - -36. Suppose 0*d = d + 5*u - 41, g = 2*d - 2*u. Is d a multiple of 11?
False
Let f be 3/4 - (-570)/40. Let t = 22 - f. Does 7 divide t?
True
Let x(i) = i**3 + 3*i**2 - i + 1. Is 4 a factor of x(-3)?
True
Let j = -2 - -7. Suppose -10*x = -j*x - 15. Does 3 divide x?
True
Suppose -8*i + 1530 = i. Is 19 a factor of i?
False
Is 15 a factor of 4/(-18) + 2305/45?
False
Suppose -7*n + 149 + 89 = 0. Does 12 divide n?
False
Suppose 0 = -3*b + 303 + 132. Let u = -101 + b. Suppose 4*t + u = 148. Is 13 a factor of t?
True
Let y(f) = 1. Let g(j) = 3*j - 5. Let n(c) = g(c) + 6*y(c). Is 4 a factor of n(1)?
True
Let k = -32 + -23. Is 13 a factor of 0 + (-2 - -6 - k)?
False
Let w(a) = a**3 + 7*a**2 + 5*a - 2. Let r be w(-6). Suppose -3*d - r*p = -0*d - 87, -5*d + 162 = p. Is 13 a factor of d?
False
Suppose -4*p + 36 = -4*r, 3*p - r - 17 - 6 = 0. Is p a multiple of 7?
True
Let t(l) = 7*l**2 - 6 + 1 + 7*l**2 - 13*l**2 - l. Let b be t(5). Suppose 0*q - b = -3*q. Is 2 a factor of q?
False
Let l(h) = h**3 + 9*h**2 - 1. Let o be l(-9). Is 13 a factor of ((-8)/12)/(o/39)?
True
Suppose 0*c + 52 = -c. Let y = c + 73. Does 21 divide y?
True
Let i(p) = 32*p**3 + 4*p**2 - 10*p + 3. Does 17 divide i(2)?
True
Is (2/4*-3)/(9/(-156)) a multiple of 2?
True
Let x(m) = m**2 + 4*m + 5. Let c be x(-5). Let o be (-1092)/(-35)*c/2. Is 4 a factor of o/8*2/3?
False
Does 23 divide 2/((10/25)/(513/15))?
False
Let p = -30 + 47. Is p a multiple of 17?
True
Is 13 a factor of 2 + 406/6 + 4/(-6)?
False
Let s = -10 - -30. Let q = 13 + -5. Suppose q = x - s. Does 14 divide x?
True
Suppose i - 2*j + 6 + 2 = 0, -5*i - 2*j = 40. Is 8 a factor of 2*i*1/(-2)?
True
Let m(q) = -5*q + 3 + 6*q + 0 + 2*q**2. Suppose k - 2 = -5. Is 18 a factor of m(k)?
True
Let q be 2*1 + (-22)/(-2). Let k = q + -6. Does 7 divide k?
True
Let j(w) = -2*w**3 - 3*w**3 + 0 - 3*w**2 + 1. Is j(-2) a multiple of 8?
False
Suppose 10 = 3*q + 1. Suppose 22 = q*r - k, -36 = -5*r - 4*k + 12. Suppose -3*t - 2*l - r = 3*l, t - 12 = 2*l. Is t a multiple of 2?
True
Suppose -2*n - 3*y = 2*y - 24, -34 = -n + 3*y. Is n a multiple of 7?
False
Let i = -94 - -235. Suppose 5*u + 3*b - 40 = i, -3*u = -3*b - 123. Is u a multiple of 19?
True
Let s be (1 + 2 + -2)*3. Suppose 5*j + 4*o = 19, -3*j + 6 = s*o - 6. Suppose 0 = a - 4*k + j*k - 28, -5*k = 25. Is 18 a factor of a?
False
Let n(t) = -2*t**3 - 3*t**2 + 27*t - 17. Let a(k) = k**3 + 2*k**2 - 13*k + 8. Let h(r) = -13*a(r) - 6*n(r). Is 5 a factor of h(-9)?
False
Let x(y) = -y**2 - 10*y - 3. Let p = -2 - 5. Does 5 divide x(p)?
False
Suppose 3*c + 0*c = 2*j - 68, 0 = -2*j - 4*c + 82. Let z = 57 - j. Is z a multiple of 11?
False
Let v(w) = -7*w - 12 - w**2 - 3*w + 4. Does 13 divide v(-7)?
True
Suppose 3*p + 0*p = 168. Let a = p + -22. Let v = a - 18. Does 8 divide v?
True
Let l(u) = -u**3 + u**2 + u + 2. Let k = -2 - -2. Let b be l(k). Suppose -b + 38 = 4*j. Is 9 a factor of j?
True
Let z(m) = 13*m**2 - 3*m - 3. Is z(3) a multiple of 21?
True
Suppose -3*m - 1890 = -10*m. Is 27 a factor of m?
True
Let h be 3/(-12) + 190/(-8). Suppose -2*i + 3 - 1 = 0, 0 = 5*v + 4*i - 259. Let w = h + v. Is w a multiple of 16?
False
Let i(a) = -a**2 + 12*a - 7. Let f be i(12). Let p(x) = -x**3 - 6*x**2 + 5*x - 2. Is p(f) a multiple of 7?
False
Suppose 4*d - 27 = 5. Is 8 a factor of 26 - (d/4 - 3)?
False
Suppose 5*i + 3*f = 45, 5*i - 10 = 2*f + 2*f. Suppose -i = -w - 0. Is w a multiple of 6?
True
Let m(k) = 0*k + 2*k - 8*k. Let r be m(-1). Suppose 0 = r*q - q - 120. Is 12 a factor of q?
True
Let z = 3 - 6. Let f(k) = k**3 + 3*k**2 - k. Let a be f(z). Suppose 47 = a*x + 17. Does 5 divide x?
True
Let y(w) = -7*w - 4. Let u = 17 + -12. Suppose u*n + 10 = 0, 2*s - 2*n + 3 = 1. Is 8 a factor of y(s)?
False
Let z(h) = -4*h**3 - 6*h**2 - 1. Let a(q) = 5*q**3 + 6*q**2 - q + 1. Let i(b) = 3*a(b) + 4*z(b). Let r = -1 + -5. Does 17 divide i(r)?
True
Does 20 divide -1 - (-1 + 3) - -154?
False
Let f be (2 + -1 - 0) + 1. Suppose f*g + 0*g = 112. Does 10 divide g?
False
Let q(w) = 32*w - 2. Let z be (-4)/(-22) + 1149/33. Let p be z/15 - 1/3. Is 16 a factor of q(p)?
False
Suppose -2*w + 3 + 19 = 0. Suppose 2*g + w = 3*g. Does 11 divide g?
True
Let r(i) = 2*i**2 - 2*i - 1. Let q = -5 - -4. Is r(q) a multiple of 3?
True
Suppose -u = -0*u - 2*f + 73, -5*u = 2*f + 353. Let t = 99 + u. Does 7 divide t?
True
Let t = -26 + 83. Does 9 divide t?
False
Let g(t) = -18*t + 4. Is g(-14) a multiple of 32?
True
Suppose 69 = 3*r - 4*f + f, r - 2*f = 25. Does 11 divide r?
False
Suppose 4 = 3*h - 107. Let y = h - 17. Is y a multiple of 4?
True
Suppose 2*l + 2*l - 16 = 0. Suppose 1 + 7 = l*x. Suppose k - x*w - 25 = 0, w - 5*w + 97 = 5*k. Is k a multiple of 7?
True
Let s be 3/15 + 18/10. Let t(m) = -2*m**3 + m**2 - m. Let g be t(s). Does 7 divide 0/3 - (g + 0)?
True
Let n(z) = -z - 5. Let r be 1/((-1)/5 + 0). Let x be n(r). Suppose x = -3*p - 2*b + 28, -6*p + 2*p + 32 = 4*b. Is p a multiple of 9?
False
Let j be -2*(-2 - (1 + -1)). Let t(c) = 7*c**3 - 2*c**2 + 5*c - 6. Let d(k) = -k**3 - k + 1. Let i(x) = 6*d(x) + t(x). Is i(j) a multiple of 14?
True
Suppose -2*a + 75 = j, -2*a = -0*j - 2*j - 66. Does 9 divide a?
True
Let i be (-15)/(-20) - (-21)/4. Let z be (-106)/(-6) - (-2)/i. Is 7 a factor of 4/6 - (-114)/z?
True
Let v be ((-4)/(-2))/(2 - 0). Does 23 divide (-3 - -62)*(v - 0)?
False
Let w = 4 + 203. Let z = -144 + w. Is z a multiple of 21?
True
Suppo