 + 5*n = -31. Is 13 a factor of v?
True
Let l(h) = 4*h - 9. Let o be (-3)/5 + (-364)/(-65). Is 4 a factor of l(o)?
False
Let h be 28 + -2 + 2 + -2. Is h + (7 - (6 + -3)) a multiple of 6?
True
Let i(k) = -k**2 - 6*k + 1. Let u be i(-5). Let f(j) = -9*j + 1 - 35*j**2 + 3 + j**3 + 31*j**2. Does 13 divide f(u)?
False
Suppose 5*s - 5*a - 20 = 0, -5*a + 2*a - 9 = -2*s. Let k(i) = -3*i**2 + 4*i + 1. Let y be k(s). Is 11 a factor of 1*y*(-3)/2?
False
Let x be 6/(-2) - 0 - -3. Let t(s) = s**3 - s**2 - s + 17. Is t(x) a multiple of 5?
False
Suppose 5*o - 168 = -3*g, 0*g - 280 = -5*g - 5*o. Is g a multiple of 7?
True
Suppose 5*a + 36 = -4*o + 11, 0 = -o - 3*a - 15. Suppose -2*y - 3*i + 15 = 0, o = 2*i + i - 3. Is 23 a factor of -3*((-92)/y + 2)?
False
Let m be -1*(-1 - -7) + 0. Let q = m - -13. Is 7 a factor of q?
True
Suppose -2*m + 5*y + 13 = 0, 5*m - 4*y - 24 = -0*m. Suppose l - 2 = -l, 0 = m*w + 4*l - 4. Suppose w = -s + 1 + 5. Does 3 divide s?
True
Suppose 7*o - 3*o = 816. Does 36 divide o?
False
Suppose -49 - 1 = -u + 2*k, -3*k - 97 = -2*u. Suppose -94 = -4*s + 2*q, -2*s - 2*q + 6 = -u. Is s a multiple of 12?
True
Let t(g) = 72*g. Let h be t(1). Suppose -3*z + 6 = -h. Is 9 a factor of z?
False
Let s be (-2)/11 + 138/33. Is 6 a factor of 18/(-3 - (-15)/s)?
True
Suppose 0 = 3*m + m + 48. Is 24 a factor of 3/m + (-193)/(-4)?
True
Let b be (-9)/(-12) + (-9)/(-4). Suppose 50 = -2*q - b*q. Let s = q + 25. Does 15 divide s?
True
Suppose 2*z = 11 + 109. Suppose -z = -4*l + l. Does 20 divide l?
True
Suppose 3*z + 2*a = 174, -5*z - 3*a = a - 292. Is z a multiple of 14?
True
Let k = -9 + 9. Suppose r - 2*r - 2*b = -18, r - b - 6 = k. Is r a multiple of 6?
False
Let p(f) = -35*f + 18. Does 4 divide p(-2)?
True
Suppose -40 = -3*n + 5. Does 6 divide n?
False
Let i(c) = -c**2 + 8*c - 5. Let o be i(4). Suppose 5*m - o = 4. Suppose -4*u - 5*y = -111, -3*u + m*y + 119 = u. Is 15 a factor of u?
False
Let j(f) = 4*f**3 + 2*f - 3. Suppose -s = 3*s - 8. Does 25 divide j(s)?
False
Let m be 22/(-10) + (-5)/(-25). Let y = m + 17. Does 4 divide y?
False
Suppose -28 = -0*g + 2*g + 2*t, -2*g - 43 = 5*t. Suppose -o = 3*u - 15, 0 = -5*u + 4*o + 28 + 14. Is 5 a factor of (-129)/g + 4/u?
True
Let r(b) = -b**2 - b + 3. Let z be r(0). Suppose -f + z*f = 0. Suppose v + 1 - 10 = f. Is 3 a factor of v?
True
Let t = 8 - 6. Does 5 divide (-1)/(t*1/(-10))?
True
Suppose 5*k - 200 = -5*k. Does 5 divide k?
True
Suppose 3*s + 2*s - 70 = 0. Suppose q + s + 0 = 0. Let p = -1 - q. Is p a multiple of 5?
False
Suppose 3*l - 13 = -o, -3*o - 22 = 5*l - 77. Is o a multiple of 7?
False
Let s = 6 + -2. Suppose -x = 3, s*t - 4*x = -20 + 116. Is t a multiple of 11?
False
Let t = -111 - -76. Let y be (-2)/(-7) - (-465)/t. Let o = y - -19. Is o a multiple of 5?
False
Let n(j) = 4 + 5 + 0*j - j - 1. Does 8 divide n(0)?
True
Suppose -h = -2*g - 2*g + 544, 3*g = 2*h + 408. Let x = -73 + g. Is x a multiple of 21?
True
Let s = 11 + -7. Let b = s - 4. Suppose -2*o - 12 + 62 = b. Is o a multiple of 17?
False
Let w = 286 + -196. Is 4 a factor of w?
False
Suppose 4*k = t - 5, 2*k + 3*k - 3*t + 15 = 0. Is 14 a factor of k + 2 - 0 - -12?
True
Suppose 0 = -t - 43 + 4. Suppose 163 = 3*x - 2*c, 3*x = 5*x + 3*c - 113. Let f = t + x. Is f a multiple of 7?
False
Let d(x) = -x**3 - 5*x**2 + 11*x + 5. Is d(-7) a multiple of 13?
True
Suppose 5*p = 5*c + 15, 5*c + p - 20 = -p. Suppose f - 5 = 0, c*d - 2*f - 2*f = -10. Suppose 0*k = -3*y - k + 51, -k - 85 = -d*y. Does 17 divide y?
True
Let c be (-33)/(-7) + 12/42. Suppose -5*k + 6*k - c = 0. Does 5 divide k?
True
Suppose 0*l + l - 97 = 4*b, 5*l - 413 = -4*b. Is 17 a factor of l?
True
Let s(i) be the third derivative of i**4/2 + i**3/6 + i**2. Does 13 divide s(3)?
False
Let t be ((-12)/8)/(3/4). Let c = t - -18. Is c a multiple of 14?
False
Suppose 0 = -3*c + 120 + 21. Does 8 divide c?
False
Suppose 5*h - 277 = 668. Suppose 4*r - 489 = -h. Is r a multiple of 25?
True
Let k = 70 + 17. Suppose 0 = 4*c - 8*c + 16. Suppose c*h - k = 25. Is h a multiple of 11?
False
Let r = -2 - -21. Does 16 divide r?
False
Let y(p) = -196*p**3 - 3*p**2 - 4*p - 2. Is y(-1) a multiple of 14?
False
Suppose 101 = 2*r + m, -5*r - 2*m - 63 = -314. Is r a multiple of 7?
True
Let r be 4 - (-2)/(-1)*1. Suppose -2*s + r + 2 = 0. Suppose s*f + o - 50 = 0, 3*o = o. Does 7 divide f?
False
Let v be (285/(-10))/((-9)/12). Let r = v + -28. Does 10 divide r?
True
Let y = -114 + 420. Let n = y + -170. Suppose 0 = -b - 3*b + n. Is b a multiple of 13?
False
Let x be (4/(-8))/(1/(-4)). Suppose 5*g + 55 = 5*l, x*l - 2*g - 2*g - 32 = 0. Does 6 divide l?
True
Let s = 76 - -5. Does 19 divide s?
False
Let u = -8 - -8. Suppose u = -0*q + q + 8. Is 9 a factor of (-5)/((-30)/q)*-18?
False
Let g(q) be the third derivative of -q**6/120 - q**5/15 - 5*q**4/24 - 5*q**3/6 - 10*q**2. Is g(-4) a multiple of 8?
False
Suppose -r - 2*r - 9 = 0. Let v(u) = -3*u**3 - 3*u**2 + 4*u. Does 14 divide v(r)?
True
Suppose 0 = -5*s + 6*k - 2*k + 21, -11 = -3*s + 4*k. Suppose -s*o + 4*i = 2 - 27, -2*o = 5*i - 10. Is (2/o)/(1/5) even?
True
Does 46 divide ((-7)/(-4) + -1)*184?
True
Let v be 6 + -2 - (-1 + 1). Suppose -v*m = 64 - 376. Does 20 divide m?
False
Let s(a) = 22*a - 5. Is 17 a factor of s(2)?
False
Suppose -c = -5*h, c - h = -6*h + 10. Suppose w = 5*o + 21, -c*o = 3*w - 0*o - 23. Does 8 divide w?
False
Let b(j) be the third derivative of j**5/30 - j**4/24 + 14*j**3/3 + j**2. Is b(0) a multiple of 14?
True
Let x(v) = v**2 + 2*v + 1. Let w be x(-3). Let m(i) = 5*i + 1. Let p be m(1). Let h = w + p. Does 10 divide h?
True
Let b be 3*((-11)/(-3) - 3). Suppose -3*g - 3*t + 9 = 0, 0 = -t - 1 + b. Is 11 a factor of (-2 - 41)/(1 - g)?
False
Let x(s) = -68*s**3 - s**2. Let o be x(-1). Let q = o - 44. Is q a multiple of 10?
False
Suppose 0 = -5*l - 132 - 98. Let g = l + 79. Is g a multiple of 6?
False
Let k be 2*(-6)/(-4) + -7. Let f be ((-2)/2)/(2/(-22)). Is 9 a factor of f/(-2)*(k - -2)?
False
Let b(x) = x**3 + 7*x**2 + 8*x + 6. Is 11 a factor of b(-5)?
False
Does 14 divide 848/28 - (-2)/(-7)?
False
Let b(h) = 18*h + 5. Let z(c) = c - 1. Let o(r) = -b(r) - 4*z(r). Is o(-1) a multiple of 7?
True
Suppose -2*w - 4 = -4*v, 5*v - 49 + 14 = -5*w. Is 3 a factor of v?
True
Let h = -2 + 5. Let g(u) = -u**3 + 3*u**2 - 2*u + 4. Let p be g(h). Does 7 divide -5*(p + (-12)/10)?
False
Let l = 8 - 5. Let m(s) = -2*s - 2*s - 1 - l. Is 12 a factor of m(-4)?
True
Let z(c) = 5*c**2 - 14*c + 45. Does 23 divide z(4)?
True
Let v(t) be the second derivative of -t**5/20 + 5*t**3/6 + t**2 + 2*t. Let w be v(-3). Is (-225)/(-21) - (-4)/w a multiple of 8?
False
Suppose 0 = 4*h - 4*n - 140, h - 6*n - 39 = -n. Is 18 a factor of h?
False
Suppose -3*a + 74 = -a. Suppose 5*g + d - 481 = -a, -g - 5*d = -108. Suppose 4*c - 4 = 0, 3*o - g = 5*c - 39. Does 5 divide o?
False
Let j(w) = -w**2 + 7*w + 2. Let r be j(7). Let b be 3*-2*r/12. Is 19 - b*(-2 - -1) a multiple of 11?
False
Is (-2)/(-9) - 170/(-45) a multiple of 2?
True
Let n(g) be the third derivative of g**6/120 - g**5/12 - g**4/12 + 4*g**3/3 + 2*g**2. Is n(6) a multiple of 16?
True
Let q(t) = -t**3 - 4*t**2 + 8*t - 6. Is 24 a factor of q(-7)?
False
Let v(y) = -7*y**3 - 8*y**2 + 4*y - 2. Let u(w) = -w**3 - w - 1. Let m(r) = 6*u(r) - v(r). Let l be m(-9). Suppose -l*b = 45 - 125. Does 8 divide b?
True
Let y(j) = j - 2. Let k be y(7). Suppose 2*u + 2*i = u + 2, -u + k*i + 9 = 0. Suppose -u*t = -22 - 6. Does 3 divide t?
False
Let v(k) = 5*k + 5. Is 5 a factor of v(3)?
True
Let q(l) = -2*l**3 + 18*l**2 + 2*l - 12. Is q(8) a multiple of 17?
False
Suppose -36*w + 824 = -32*w. Does 18 divide w?
False
Suppose h + 72 = 2*p, 5*p + 2*h = -2*h + 154. Suppose -4*v + 78 = 2*q, 5*v - 4*q - 96 = p. Is 11 a factor of v?
True
Does 12 divide -3 + (-1497)/(-15) + 4/(-5)?
True
Suppose 173 + 9 = 3*h - 5*w, -h - 4*w + 38 = 0. Is h a multiple of 6?
True
Is 2 a factor of 2 - (2 + -3 - 3)?
True
Let i be (3/2)/((-5)/(-10)). Suppose -k + i*k = 72. Does 18 divide k?
True
Suppose d - n = -0*n + 1, -4*n + 5 = 5*d. Let o(a) = a**3 - 4*a**2 + 4*a + 1. Let z be o(3). Let l = d + z. Is 5 a factor of l?
True
Suppose 6*n - 8*n + 136 = 0. Does 4 divide n?
True
Suppose 3*p - 34 = -190. Let k = 26 + p. Let y = -13 - k. Does 4 divide y?
False
Suppose -w - 4*w - c = 