of 13?
True
Let l(f) be the third derivative of -f**4/6 - f**3/3 + f**2. Let k be (15 - 6)*(-4)/6. Is 8 a factor of l(k)?
False
Let u = -56 + 69. Is 2 a factor of u?
False
Suppose 0 = 4*d + u - 181, 4*u = -2*d + 37 + 43. Suppose 2*c + 8 = d. Does 5 divide c?
False
Let q = -143 - -253. Suppose -3*v + i - 28 + q = 0, -2*i - 83 = -3*v. Is 12 a factor of v?
False
Let n(u) = -2*u**3 + 5*u**2 + 2*u - 3. Let y be n(-4). Let t = -79 + y. Suppose h = c + 26, 0*h - 2*c = -5*h + t. Is 11 a factor of h?
True
Let f(s) = -s**3 - 8*s**2 - s - 6. Let n be f(-8). Suppose d - n = 1. Suppose -29 = -d*j + 4*g, -j - 4*g + 14 = -g. Does 4 divide j?
False
Let x = 11 + -6. Suppose 3*w - x*w = -30. Is w a multiple of 5?
True
Let o = -20 + 27. Is o a multiple of 5?
False
Let d(p) = -16*p - 2. Let n be d(2). Let v = 58 + n. Suppose v = 3*b - 0*b. Does 5 divide b?
False
Let g(y) = y**2 - y - 6. Let l be g(6). Let k = -67 + 107. Let v = k - l. Is v a multiple of 8?
True
Let p = -160 + 273. Is p a multiple of 28?
False
Suppose 3*r - 14 = 46. Is r a multiple of 2?
True
Is 8 a factor of (2 + -1)/((-4)/(-84))?
False
Let m(z) be the second derivative of -3/2*z**2 - 1/10*z**5 + 0 - 1/4*z**4 + 2*z + 1/3*z**3. Does 9 divide m(-3)?
True
Let k(s) be the third derivative of s**4/24 + 3*s**3/2 + 3*s**2. Let x be k(-7). Is 12 a factor of (-18)/x*16/(-12)?
True
Let x(o) = o**2 + 2*o - 12. Is 5 a factor of x(-6)?
False
Let n(h) = 101*h - 3. Is n(1) a multiple of 27?
False
Suppose 2*o - 41 + 9 = 0. Does 4 divide o?
True
Let m be 26/(-2) - (1 - 1). Let v = m + 50. Suppose 0 = -4*x + 19 + v. Does 9 divide x?
False
Let a(f) = 7*f**2 - 5*f + 6. Is 12 a factor of a(-3)?
True
Let i(j) = 5*j**2 - 2*j - 1. Let t(d) = 14*d**2 - 5*d - 2. Let v(f) = -11*i(f) + 4*t(f). Let g be v(3). Suppose g + 7 = r. Does 13 divide r?
False
Is 14/35 + 123/5 a multiple of 14?
False
Suppose -3*y - 33 = -3*q, 0 = -y + 5*y + 20. Suppose q*f = f + 170. Let n = f - 10. Is n a multiple of 9?
False
Suppose -4*b - 95 = 5*w, 4*w = 4*b + 15 - 91. Suppose 0*m - 40 = 5*m. Let t = m - w. Does 4 divide t?
False
Let x(k) = -4*k - 12. Is x(-7) a multiple of 4?
True
Suppose -5*b + 15 = 4*x - 0*x, 3*x - 12 = -4*b. Suppose 3*t - b*l = 0, -2 - 8 = 5*l. Does 17 divide (4/3)/t*-51?
True
Let k be 1/(-1) + 1 + -10. Let m(x) = -2*x - 14. Is 2 a factor of m(k)?
True
Let p be 17/(-3) - (-1)/(-3). Let f(b) = -b**3 - 6*b**2 + 3. Let s be f(p). Is (32 - -2)*(-2 + s) a multiple of 10?
False
Suppose 2*s - 3*m = m + 224, -2*s = -3*m - 221. Let q = -64 + s. Is q a multiple of 14?
True
Suppose -l = -2*j - 3*j + 13, -j + 3*l = 3. Suppose q - j*q = 0. Suppose q = m + m - 36. Does 7 divide m?
False
Let g(t) = -9*t + 5 - 9 - 6. Let o(p) = -26*p - 29. Let f(q) = 17*g(q) - 6*o(q). Is 12 a factor of f(8)?
False
Suppose 0 = 3*o - 5*s + 30, 5*o = 4*o - 2*s + 1. Let f(u) = -5*u**2 - 5*u - 5. Let a be f(o). Let t = 151 + a. Does 16 divide t?
False
Let a be (-60)/(-9) - 1/(-3). Suppose -4*q - a = 73. Let w = -5 - q. Is 13 a factor of w?
False
Let q(o) = -o**3 - 8*o**2 - 4*o - 2. Is q(-8) a multiple of 10?
True
Let l(r) = r**2 - r. Let a be l(4). Suppose a = 2*o + 2*o. Suppose -21 = -k - o. Is 8 a factor of k?
False
Let a(c) = 11*c**2 + 2*c - 2. Let y be a(-2). Let k = -26 + y. Is k a multiple of 12?
True
Suppose 5*p = -2*j + 113, 0*p - 181 = -4*j - p. Does 11 divide j?
True
Let d = 184 + -160. Does 24 divide d?
True
Let j = 34 - -21. Let k = 122 - j. Is 17 a factor of k?
False
Let n = -41 + 26. Let r = 9 + n. Is 34 - -3*2/r a multiple of 15?
False
Let a = 120 + 1. Does 11 divide a?
True
Let h be 1/5 + (-41)/5. Let f be (-14)/h + 5/20. Suppose -f*g + 20 = 4*y, 4*y - 4*g = 5 + 3. Is y a multiple of 3?
False
Suppose 2*y = -29 - 13. Is (-57)/(-21) - 6/y even?
False
Let c(g) = -8*g + 3 - 4 + 0 + g**2. Let t be c(7). Is ((-14)/t)/((-2)/(-24)) a multiple of 12?
False
Suppose -2*a - 58 = -5*f + 2*a, 5*f = 3*a + 56. Is 2 a factor of f?
True
Let p(f) be the third derivative of -f**6/120 - f**5/12 - f**4/4 - 5*f**3/6 - f**2. Let j be p(-4). Is j/5 - 368/(-20) a multiple of 11?
False
Let k be -3*((-13)/(-3) - 3). Let r = -1 - k. Suppose 4 + 20 = r*x. Is 4 a factor of x?
True
Suppose 0 = -7*m + 2*m + 20, 0 = 3*f + m - 16. Let r(s) = -s**3 + 3*s**2 + 5*s + 1. Is r(f) a multiple of 2?
False
Suppose 0 = 5*p - 0 - 5. Let a = p + 3. Suppose -d - 9 = -a*d. Is d even?
False
Does 27 divide -3 - ((-114)/2 - 0)?
True
Let v(a) be the third derivative of 0 + 0*a + 1/60*a**5 + 1/24*a**4 + 5*a**3 - 4*a**2. Does 10 divide v(0)?
True
Suppose 33 = 5*c + 3. Let g(u) = -u**2 + 8*u + 7. Let b be g(c). Suppose 3*i - i - b = -3*y, y + 56 = 5*i. Is i a multiple of 11?
True
Suppose -i + 4*i - 63 = -u, -105 = -5*i + 3*u. Is 12 a factor of i?
False
Let r = -30 + 47. Is r a multiple of 4?
False
Suppose 4 = -v + 7. Is v/1 - (7 + -9) even?
False
Let d be -1 + (-15)/6*-2. Suppose d*q + 27 = 75. Is 10 a factor of q?
False
Let k be 0*(2 - (-21)/(-9)). Suppose 3*d + 166 = 5*l, 3*d + 102 = 3*l - k*l. Is 9 a factor of l?
False
Suppose -3*p + 69 + 15 = 0. Suppose -5 = -5*i, b - 44 = -i + p. Is b a multiple of 15?
False
Let k = 80 - 44. Does 18 divide k?
True
Let p(m) = -m**2 + 14*m - 13. Let x be p(10). Suppose -z = -2*z + x. Does 9 divide z?
True
Let o = 116 - 69. Let a = -15 + o. Is a a multiple of 9?
False
Let u be (-12)/(-9) - 14/(-3). Suppose -2*b + 10 = 0, -u*b - 151 = -2*o - 3*b. Does 20 divide o?
False
Let i(y) = -41*y - 1. Does 8 divide i(-1)?
True
Let f be 3 + 3 - (-2 + 5). Suppose -5*b = f*g - 170, 5*g + 6 = -2*b + 3*b. Is b a multiple of 14?
False
Let v be ((-16)/20)/(1/5). Is 6 a factor of (-1)/(((-12)/(-63))/v)?
False
Let g(b) be the second derivative of b**5/20 + b**4/4 + 2*b. Let x be g(-3). Suppose -3*o + 21 = -x*o. Does 7 divide o?
True
Let d(n) = 9*n - 9. Does 15 divide d(11)?
True
Let o(n) = -n - 8. Is 3 a factor of o(-19)?
False
Let w(h) = -10*h**3 + 5*h + 1. Let i(r) = 10*r**3 - 4*r - 1. Let p(z) = 7*i(z) + 6*w(z). Does 8 divide p(1)?
False
Suppose m - 141 - 19 = 0. Is m a multiple of 20?
True
Let w be 1 - (1/(-1) + 0). Suppose 3*c = w*c + 2. Suppose c*y + 1 + 5 = 0, -2*y + 14 = 4*g. Does 5 divide g?
True
Suppose 4*t - 5*t + 3 = 0. Let r(f) = -f**3 + 8*f**2 - 6*f + 3. Does 13 divide r(t)?
False
Let p(o) = 3*o**2 + 3*o + 2. Let j = 22 - 38. Let b be 9/(-4) - 4/j. Does 8 divide p(b)?
True
Suppose 0*l - 18 = l. Let w = 4 - l. Is 11 a factor of w?
True
Let f be 2*1*8/(-16). Let q = f + 5. Is (q/8)/(1/64) a multiple of 16?
True
Let l be (0 - -1)/((-1)/(-12)). Let c(j) = j**3 - 12*j**2 + 5*j - 15. Does 13 divide c(l)?
False
Suppose -2*g + 162 = 5*k - g, -4*g - 12 = 0. Is k a multiple of 7?
False
Let w = 3 + 3. Is 2 a factor of w?
True
Let p(s) = -4*s**3 + 2*s**2 - 6. Is 8 a factor of p(-3)?
True
Suppose -15*m + 120 + 465 = 0. Does 13 divide m?
True
Let n = -40 - -61. Suppose 6 - 1 = -y, -42 = -2*q + 4*y. Let v = n - q. Is v a multiple of 5?
True
Suppose 5*s + 31 + 9 = 0. Let u(z) = -z**3 - 8*z**2 - 3*z + 5. Does 14 divide u(s)?
False
Let b(t) = -t**2 + 3*t + 2. Suppose -s = s - 6. Let y be b(s). Suppose 5 = -y*u + 35. Is 9 a factor of u?
False
Suppose -2*w + 3*p + 1 + 52 = 0, 5*w + p - 175 = 0. Is 17 a factor of w?
True
Let j be 6 - (-3 + (-3 - -7)). Suppose -285 = -j*b + 115. Is b a multiple of 29?
False
Suppose -2*u + 12 = 2*l - 6*u, -4*u = 2*l - 4. Suppose -27 = -l*g + 45. Is 8 a factor of g?
False
Suppose -3*a + 4*m = -413, -4*a + 0*a + 542 = -m. Let j = -95 + a. Suppose 0 = -3*x - 2*x + j. Is 3 a factor of x?
False
Let t(j) = -86*j**3 - j**2 - j - 1. Does 14 divide t(-1)?
False
Let n = -17 - -42. Suppose 6 = 4*k + 26, -5*a - n = 5*k. Suppose 0 = -5*o + 3*u + 80, o + a*o - 16 = -5*u. Is o a multiple of 8?
True
Suppose 3*k - 5*s = 85, 4*k - 55 = 3*s - 8*s. Is k a multiple of 6?
False
Suppose -4*w - 4*g = -168, 5*g = -w + 13 + 37. Is 8 a factor of w?
True
Is 24 a factor of (-1200)/(-14) + 2/7?
False
Let u = 7 - -22. Is 7 a factor of u?
False
Suppose -7*z + 150 = -2*z. Does 15 divide z?
True
Let l = -3 + 3. Let y = l + 0. Suppose 4*x + 3*i - 83 = y, 62 = 2*x - 2*i + 24. Does 10 divide x?
True
Suppose -6*j + 534 - 24 = 0. Does 22 divide j?
False
Let q(k) = k - 2. Let m be q(0). Is 3 a factor of -2*(1 + m - 1)?
False
Let d(x) = -x**2 - 15*x + 3. Is d(-14) a multiple of 16?
False
Suppose -3