Let u = -6 - -11. Let w = 10 - u. Suppose w*t + 0*t - 15 = 0. Is 3 a factor of t?
True
Let s be (-3)/9 - (-2)/6. Suppose -5*n - d = -139, 5*d = 3*n - 45 - 44. Let p = s + n. Is p a multiple of 14?
True
Let d(t) = -t**3 + 4*t**2 - 3. Let w be d(4). Is (7 + -1)/w - -40 a multiple of 19?
True
Suppose -x + 195 = 2*x. Is x a multiple of 13?
True
Let x = 2 - 0. Suppose -5*z = -x*z - 33. Is 4 a factor of z?
False
Let z = 5 + -4. Suppose -c + 2 = -z. Suppose g - 2*i = 10, 2*g - 38 = -c*i + 17. Is g a multiple of 15?
False
Suppose 2*n + 3*n - 5*r - 55 = 0, 0 = 5*n + r - 61. Does 2 divide n?
True
Let q(r) = -r**3 + 9*r**2 + 11*r - 4. Let v be q(10). Suppose -v*f = -2*f - 80. Is f a multiple of 7?
False
Suppose -4*y = -5*y. Let x(g) = -g**2 + g + 38. Is 18 a factor of x(y)?
False
Suppose -2*o - z + 189 = 0, 5*o - 5*z + z - 466 = 0. Suppose -g + 126 = 3*j, 8*j = g + 3*j - o. Let t = g - 64. Is t a multiple of 15?
False
Let y = 24 - 4. Is 20 a factor of y?
True
Does 24 divide ((-102)/4)/(3/(-6))?
False
Let z be -1 - (-2 - 1) - -4. Suppose -14 - z = -5*y - 2*q, 3*y + 4*q = 26. Suppose -3*m - y*m = a - 10, -4*a + 2*m = -40. Is a a multiple of 10?
True
Let r(x) = 36*x + 30. Does 17 divide r(2)?
True
Suppose -3*r = 2*r - 10. Suppose n = r*c + 6, -100 = -5*n + 3*c - 35. Is 16 a factor of n?
True
Suppose 24 = -0*f - 6*f. Is 15 a factor of 93/2 + 6/f?
True
Let x(i) be the second derivative of 2*i**3/3 - i**2 + 2*i. Does 5 divide x(4)?
False
Let r = 10 - -8. Let u = r - 11. Does 3 divide u?
False
Let l(j) = -j**3 + 3*j. Let w be l(-3). Let c be 3/(6/28*1). Suppose -n + c = -w. Is 16 a factor of n?
True
Let j(g) be the third derivative of -g**9/60480 + g**8/2880 - g**7/1008 - g**6/180 - g**5/60 - g**2. Let x(n) be the third derivative of j(n). Is x(6) even?
True
Is ((-10)/(-25) - 0) + (-306)/(-10) a multiple of 31?
True
Let n(y) = y**3 + 6*y**2 + 5*y - 1. Let d be n(-5). Let l = d - -6. Is 4 a factor of l?
False
Let c = -4 - -16. Is 13 a factor of 130/4 - (-6)/c?
False
Suppose 2*b - 28 = 2*o, -2*b - 2*o + 52 = b. Let f = 34 - b. Does 9 divide f?
True
Suppose -2*f + 242 - 30 = 0. Does 27 divide f?
False
Let f(y) = -y**3 - 8*y**2 + 7*y - 6. Let d(m) = 2*m - 3. Let q be d(-3). Is f(q) a multiple of 4?
True
Suppose -5*j - 3*o = -179, -31 = -j + o - 0*o. Is 11 a factor of j?
False
Let x(p) = -p**2 + 8*p - 5. Suppose -2*d = 4*g + 18, 3*g - 6 + 23 = 2*d. Let j be (1 + 0)*(7 - d). Is x(j) a multiple of 7?
True
Let b(d) = -d**3 + d**2 + d. Let j be b(-1). Does 16 divide 2/1*j + 16?
False
Let h(o) be the second derivative of -1/3*o**3 - 2*o + 1/12*o**4 + 0 - o**2. Is 13 a factor of h(-3)?
True
Suppose o + 15 = 3*k - 18, -75 = -5*k - 5*o. Is 3 a factor of k?
True
Suppose 0 = -5*l + 3*m + 46 + 88, 4*l = -2*m + 94. Suppose -4*d = -0*d - 3*t - 54, -l = -d - 5*t. Is 15 a factor of d?
True
Suppose -2*a = -5 - 1, p + 4*a - 16 = 0. Suppose y - 3*q = 67, 11 = 2*y + 3*q - 114. Suppose -p*j + 8*j - y = 0. Does 16 divide j?
True
Suppose 0 = 6*r - 4*r - 114. Is r a multiple of 12?
False
Suppose x - 14 = -x. Let n(k) = -k**3 + 9*k**2 - 9*k - 3. Does 16 divide n(x)?
True
Let n(z) = z**2 + 4*z + 4. Let s be n(-4). Suppose 0 = -s*a + 18 + 74. Is a a multiple of 21?
False
Suppose 29 = 5*d + 3*n - 24, -4*n - 46 = -5*d. Is d a multiple of 10?
True
Suppose 0 = -3*p + 4*f + 165, 3*p - 3*f = 77 + 85. Let c = p + -12. Is c a multiple of 9?
False
Let g = 3 - -1. Suppose 93 = g*c - c. Is 10 a factor of c?
False
Is ((-5)/6)/((-3)/18) a multiple of 4?
False
Suppose 4*p - 5*g - 35 = 3*p, 3*g + 98 = 2*p. Does 12 divide p?
False
Let i = 5 + -1. Suppose -3*d = i*f - 101, d - 118 = -4*f - f. Suppose g + 3*r = f, 4*r - r = -3*g + 63. Is g a multiple of 20?
True
Let m(j) = -j**2 + 2*j + 1. Let p be m(2). Suppose -p - 4 = y, -120 = -5*f + 2*y. Is f a multiple of 22?
True
Let i(h) = 1 + 3 + h**2 - 7*h - 1 + 1. Is 12 a factor of i(8)?
True
Does 22 divide (407 - 3)/2 + -4?
True
Does 26 divide -4 + (8/6)/((-4)/(-246))?
True
Let v(s) = -s**3 + s + 32. Let z(b) = b - 2. Let i be z(2). Let h be v(i). Suppose -4*r + 88 = 4*a, h = -0*a + a - r. Does 15 divide a?
False
Let l(i) = 2*i**2 - 5*i - 5. Is l(6) a multiple of 6?
False
Let y = 9 + -10. Let r be 9*(8/6 + y). Suppose 2*p = 2*u + 66, 46 = 2*p - r*u - 24. Is p a multiple of 9?
False
Suppose b - 50 = -5*n, -3*n + 4*b + 42 = -n. Is n even?
False
Let r = -87 - -264. Is 59 a factor of r?
True
Let v = 37 + -32. Let k(x) be the second derivative of x**4/12 - 2*x**3/3 + 3*x**2/2 - x. Is k(v) a multiple of 8?
True
Suppose 3*k = -2*k + 40. Suppose -3*u - 3*b + 65 = -k*b, 2*u - b - 34 = 0. Does 7 divide u?
False
Let x be ((-140)/(-8))/(-5)*-26. Suppose 4*m - 3*a = x, -3*m = 2*m + a - 90. Does 19 divide m?
True
Suppose 5*d - g - 3 = 4*d, 5 = 5*g. Let b(u) = 2*u**2 - u - 4. Is b(d) a multiple of 8?
True
Let r(u) be the first derivative of -u**4/3 - u**2 + 2. Let b(j) be the second derivative of r(j). Is 20 a factor of b(-5)?
True
Suppose 3*g = -3*v + 81, -2*g + g = -v + 23. Is 25 a factor of v?
True
Does 10 divide 2/9 - ((-1258)/9 + 0)?
True
Let o = 12 - 23. Let y be 3/(-9) - o/(-3). Let i = y + 24. Is i a multiple of 10?
True
Is 17 a factor of 1059/9 - (-24)/18?
True
Suppose w + 0*w = 3. Suppose -k = 1, 0*r - 84 = -5*r + 4*k. Suppose -w*f = -2*f - r. Is 8 a factor of f?
True
Let o be (4/5)/(1/5). Suppose v = -3*a + 2*a + 7, -o = -a. Is 2 a factor of v?
False
Is (1/2)/((-2)/(-148)) a multiple of 16?
False
Suppose 172 = -3*v + 994. Is 10/(-45) + v/18 a multiple of 15?
True
Suppose 3*x - 2*u + 4*u - 196 = 0, 268 = 4*x - 4*u. Suppose f - a = 65, f - 3*a - 9 = x. Does 20 divide f?
True
Suppose -69 = -3*l - 3*a, 3*a = -4*l - 2*a + 93. Is l a multiple of 11?
True
Suppose -3*p = -3*i - 10 - 89, -i - 41 = p. Let k = i - -55. Is 6 a factor of k?
True
Let c(y) = y**3 + 10*y**2 + 19*y + 15. Is 21 a factor of c(-7)?
False
Let a(z) = -5 - 2*z**3 - z + 4 - 4*z**2 + z. Does 17 divide a(-3)?
True
Let d = -42 + 190. Is 37 a factor of d?
True
Let a be (-8)/(-3) - (-4)/(-6). Suppose 64 = a*z + 10. Does 11 divide z?
False
Suppose 0 = t + o + 3, 4*t + 3*o = 5*o + 6. Let d(j) = -j**2 + 12. Is 6 a factor of d(t)?
True
Suppose -4*t + 3*f - f + 72 = 0, -3*t + 64 = -4*f. Let v = 25 - t. Is v a multiple of 6?
False
Let v(q) = -q**3 + 7*q**2 + q + 4. Let s be v(7). Let z be 6/(-9) - (-7)/(-3). Let o = s + z. Is o a multiple of 5?
False
Suppose 3*w = -2*w + 205. Is 14 a factor of w?
False
Let g = 169 + -109. Let f = -39 + g. Does 9 divide f?
False
Let j(d) = 0*d - d + 2*d + 1. Let r(p) = -14*p - 2. Let o(w) = -3*j(w) - r(w). Is o(4) a multiple of 18?
False
Let y be 2 - (-3)/(-6)*-6. Suppose 2*q - y*j - 38 = 0, -j + 2*j + 83 = 3*q. Is q a multiple of 9?
False
Suppose 0 = -w - 4, -163 = -2*k - 3*w - 23. Is 19 a factor of k?
True
Let v(i) = 267*i**3 - i + 1. Let t be v(1). Suppose 3 = -4*g + t. Is 22 a factor of g?
True
Let w(f) = f**2 - 5*f + 39. Is w(12) a multiple of 47?
False
Is 13 a factor of 66 - (-5 - -4)*-4?
False
Suppose 3*h = 23 - 8, 4*h = -4*p + 284. Does 10 divide p?
False
Suppose 4*i - 9 - 7 = 0, 0 = 3*k - 3*i - 456. Suppose -t = 4*q - k, 3*q = q - 3*t + 88. Is q a multiple of 10?
False
Let d(k) = 22*k**2 - 1. Let r(c) = 45*c**2 + c - 2. Let i(q) = 5*d(q) - 2*r(q). Is 7 a factor of i(-1)?
True
Suppose -2*z + 2 = 3*h, -z - h - 2 = -4. Suppose -z*l = -l. Suppose l*m + m - 19 = 0. Is m a multiple of 18?
False
Let x(w) = w**2 + 11*w + 15. Is x(-10) a multiple of 2?
False
Let g = -8 + 11. Suppose 5*i - g*s - 145 = 0, -3*i = 3*s - 4*s - 91. Does 11 divide i?
False
Let m(q) = 3*q**2 + q + 1. Suppose 48 = 3*x + x. Let k be (x/3)/2*1. Does 13 divide m(k)?
False
Let k = 2 - 2. Suppose -t + k*t = -14. Is t a multiple of 4?
False
Suppose 2*q - 38 = -4*v + 42, 5*q - 4*v - 228 = 0. Is q a multiple of 15?
False
Let b be 3*-2*10/(-12). Suppose -g - 239 = -b*w, 3*g + 63 = 2*w - 30. Suppose 0 = -5*f + 27 + w. Is f a multiple of 11?
False
Suppose -2*o - 77 = 13. Let k = 68 + o. Is 11 a factor of k?
False
Suppose -137 = -2*v + v. Suppose -v = -4*x + 199. Suppose 0 = 4*r - x - 44. Is 16 a factor of r?
True
Let w(j) = j**2 + 2*j + 2. Does 13 divide w(-6)?
True
Suppose 8 = 4*w - 4. Let h be (3/(-2) - -2)*0. Suppose -5*j - 45 = -4*x, h = -3*x + 2*j - w + 35. Is x a multiple of 10?
True
Suppose 4*o + 568 = -0*o. Is