0). Suppose 0 = -4*r + p*q - 285 + 983, 5*q = 10. Is 11 a factor of r?
True
Suppose i - 308 = 5*v + 382, -3*i + 2013 = 4*v. Is 15 a factor of i?
True
Let c = -8 + 11. Let i = 6 - c. Suppose 4*a = -i*r - 1 + 9, 2*a - 30 = 5*r. Is a a multiple of 2?
False
Let t(u) = u**2 + 7*u - 6. Let a be t(11). Suppose -2*m + 5*m = a. Is 27 a factor of m?
False
Let b = -29 - -78. Is 2130/21 - (-28)/b a multiple of 17?
True
Let j(b) be the first derivative of -b**4/2 - b**3/3 - b**2 + 4*b + 2. Let m(w) = 3*w**3 - 38*w**2 - 15*w + 22. Let q be m(13). Is 31 a factor of j(q)?
True
Let n(i) = i - 3. Let z be n(2). Let r be (3/(z + 4))/(-1). Let l(y) = -19*y - 1. Is 9 a factor of l(r)?
True
Let g(v) = -v**2 - 4*v + 4. Let d be g(-3). Let b be 0 - 3/(-21) - (-2010)/42. Suppose b = -n + d*n. Does 8 divide n?
True
Suppose -9 = -4*m + 5*b, -2*m - 1 = 4*b + 1. Let j(v) = 54*v + 6. Does 12 divide j(m)?
True
Let y = 12 + -8. Suppose 4*d + 6 = 3*q, 2*q + 7*d - 2*d = y. Suppose q*c = 5*k - 33 - 94, 5*k = -4*c + 151. Does 9 divide k?
True
Let t(q) = -2*q - 14. Let o be t(-7). Suppose o = -4*h - 5*v + 40, -v - 7 = h - 4*v. Suppose 2*m - 3*b = -2*m + 151, 175 = h*m - b. Is m a multiple of 34?
True
Does 46 divide ((-464)/174)/(-2 + (-3172)/(-1587))?
True
Let u(w) = -w**3 + 5*w**2 - 5*w - 1. Let v be u(4). Let o be v/(-15) + (-10)/(-6). Suppose -o*y = -7*y + 45. Does 3 divide y?
True
Let l be 3/(-2) - 0 - 30/(-12). Is (0/1 + 129)*l - -1 a multiple of 28?
False
Let r be 4 + -3 - (-2 + -1). Let g = -101 + 103. Suppose -3*m + 198 = g*j, -3*j - 2*j + r*m + 472 = 0. Does 15 divide j?
False
Suppose -24 = -2*z - 2*z. Let n(y) = -y**2 + 7*y + 4. Is 8 a factor of n(z)?
False
Let y = -3 - -9. Let h(u) = u - 4. Let j be h(y). Is 17 a factor of 36/j + 9 + -10?
True
Let g(d) = 19*d**2 + 4*d + 11. Let k(u) = -10*u**2 - 2*u - 6. Let r = 14 - 9. Let a(s) = r*k(s) + 3*g(s). Does 20 divide a(-2)?
False
Let y(f) = -f**2 + 6*f + 6. Let a be y(7). Let x be a/(-5) - (-561)/(-55). Does 4 divide 6/(-6) + (-1 - x)?
True
Let q(t) = -17 + t**2 + 3 + 8*t + 10*t - 8*t. Is 6 a factor of q(-14)?
True
Suppose 6*v = 91 - 7. Suppose 18*i - v*i - 40 = 0. Is 10 a factor of i?
True
Let m(f) = 3*f**2 + 4*f - 1. Suppose -3*h + 4*a = h, 2*h = -5*a - 21. Let s be m(h). Is (s - 0) + -2 + 0 a multiple of 3?
True
Let v(w) = 15*w**3 - 11*w**2 - 15*w + 203. Let b(a) = -7*a**3 + 5*a**2 + 7*a - 101. Let n(s) = -13*b(s) - 6*v(s). Is 16 a factor of n(0)?
False
Let x be (-9)/(-2) - (-1)/(-2). Let b(h) = 74*h + 18. Let i be b(3). Suppose -z - i = -x*z. Is 16 a factor of z?
True
Let p = 1699 - 824. Suppose p = 20*b - 13*b. Is b a multiple of 33?
False
Let v be (-3 - 3)/(3/(-2)). Suppose v*b - 104 = -6*r + 2*r, -2*b + 78 = 3*r. Suppose -2*z + 212 = r. Is 31 a factor of z?
True
Let z = -43 + 56. Suppose 108 - z = b. Is b a multiple of 25?
False
Let v = -34 + 39. Suppose 2*w = v*w - 288. Is 16 a factor of w?
True
Let f(d) be the first derivative of 52*d**3/3 + d**2 - d - 14. Let o be f(-3). Suppose a = 2*t + 90, 5*t = 4*a + 101 - o. Is 20 a factor of a?
False
Suppose 0 = -4*u - m + 3, -5*m + m = u + 18. Let i be u/(-10) - 3/(-15). Suppose -3*h + 3*n + 54 = 0, 26 = -i*h + 3*h + 4*n. Is 14 a factor of h?
True
Let p(b) = 19*b + 1050. Does 8 divide p(13)?
False
Let l(p) = 2*p**2 - 4*p - 34. Let c be l(10). Let i = c - 62. Does 12 divide i?
False
Is 31 a factor of (-1014 - 9)*8/(-6)?
True
Suppose 7 - 106 = -3*v. Suppose -237 = -6*a + v. Is a a multiple of 28?
False
Suppose -3918 = -5*j + 332. Does 85 divide j?
True
Let i = 1881 - 518. Is i a multiple of 7?
False
Let b = -14 - -3. Let q(p) be the first derivative of p**4/4 + 10*p**3/3 - 7*p**2 - 7*p - 13. Is 13 a factor of q(b)?
True
Let m = 36 - 23. Let i = 16 - m. Is i/7 - (-612)/42 a multiple of 15?
True
Does 31 divide (-28)/350 - 90302/(-25)?
False
Is (1/(8/62)*28)/1 a multiple of 41?
False
Suppose d + 0*d + 4*h + 185 = 0, -h - 785 = 4*d. Let a = -135 - d. Is a a multiple of 31?
True
Suppose 950 = 11*t - 2889. Is t a multiple of 25?
False
Suppose 0 = 3*l + 32 + 16. Is ((-97)/(-4))/((-4)/l) a multiple of 11?
False
Suppose 2*z - 594 = -z. Let x be 4/(-22) + 4194/z. Suppose 0 = 2*m - 0*i + i - x, -3*i - 69 = -5*m. Does 6 divide m?
True
Suppose 2*x - x - 18 = 2*d, 2*x - 5*d = 34. Is 22 a factor of x?
True
Suppose 25*g = 6*g + 2280. Does 8 divide g?
True
Suppose -147*g + 153*g - 6408 = 0. Is g a multiple of 12?
True
Let y(i) = 40*i + 3 - 17 + 1 + 8. Is y(1) a multiple of 35?
True
Suppose -214 = 17*w - 2594. Does 7 divide w?
True
Suppose -m + 5*m = 6*m. Suppose 4*o - 52 - 12 = m. Is o a multiple of 8?
True
Suppose 0 = -y, m = 3*y + 1 + 1. Suppose 14 = -4*l - 2*s + 78, m*l + 4*s = 26. Is l even?
False
Let q(j) = -j - 2. Let i be q(-7). Let n(s) = -2*s - 3*s**3 + 0 + 0 + 2 + i*s. Is 10 a factor of n(-2)?
True
Let m = 142 + 194. Let l(o) = o**2 + o + 2. Let j be l(-2). Suppose 0 = -p - j*a + 125, -5*p + 2*a - m = -1005. Does 28 divide p?
False
Suppose -5*w - 10 - 5 = 0. Let k(s) = -3*s + 4. Is 4 a factor of k(w)?
False
Suppose 3*r - 8 = 2*i, -20 = -8*r + 3*r. Let s(g) = -g**2 + 2*g - 3. Let p be s(i). Is 42 a factor of (p - -5)*9*7?
True
Suppose -2*r + 3*t = -3185, -t + 4419 = 4*r - 1944. Does 30 divide r?
False
Suppose -1820 = -4*j + 4*p, 4*p = -24*j + 22*j + 928. Does 24 divide j?
False
Suppose 0 = -5*b + 2*b + 12. Suppose -17*h = -16*h - b. Suppose 0*p - h*p + 16 = 0. Is p even?
True
Let y(f) = 0 + 5 + 3*f + f - 3*f. Let c be y(-7). Does 6 divide ((-108)/c)/(10 - 8)?
False
Suppose -10*u + 4*u = 0. Suppose -h + 4*h + 3*m = 45, -3*h + 3*m + 69 = u. Is h a multiple of 4?
False
Let h(z) = z**3 + 20*z**2 + 3*z + 125. Does 65 divide h(-20)?
True
Let f = 126 + -123. Let h(q) = 57*q - 26. Does 29 divide h(f)?
True
Suppose -2*y - 2*s = -3164, 5*s - 2476 = 4*y - 8795. Is 18 a factor of y?
False
Suppose 6*h = 340 + 356. Does 47 divide h?
False
Let j = 82 - -226. Is 77 a factor of j?
True
Does 83 divide 0 + 1 + (-14100)/(7 + -17)?
True
Let d = 66 - 70. Is 38*3/4 - d/8 a multiple of 8?
False
Suppose -5230 = -4*p - 5*u + 698, -2964 = -2*p - 3*u. Is p a multiple of 38?
True
Suppose 0 = 546*g - 549*g + 3933. Does 17 divide g?
False
Let y(p) = 154*p**3 - 11*p**3 + 5 - 4 - 2*p + 0. Is 31 a factor of y(1)?
False
Let j(b) be the third derivative of 5*b**4/24 + 16*b**3/3 - 40*b**2. Does 13 divide j(17)?
True
Suppose 5*y - 44 = -d, 0 = -2*d - 2*d - 3*y + 108. Suppose 4*j + d - 148 = 0. Is 25 a factor of j?
False
Suppose -10*g = 831 - 14011. Does 63 divide g?
False
Suppose l = 5*l + 176. Let m = 82 + l. Is 13 a factor of m?
False
Let v be 4 - 10/(0 - -1). Let x(d) = -22*d - 18. Is 57 a factor of x(v)?
True
Is 16 a factor of (-2 - -291) + (3 - 9)?
False
Suppose 20*w - 4*w = 5136. Is w a multiple of 2?
False
Let w = 397 + -375. Let j = 13 - 8. Let h = w - j. Is 8 a factor of h?
False
Suppose 3*p = k - 40, 2*k - 6*k = 5*p - 126. Let v = 30 + 26. Let c = v - k. Does 5 divide c?
False
Let y(m) = 3*m + 3. Let g(u) = 4*u + 3. Let o(a) = 4*g(a) - 5*y(a). Suppose 2*p - 6*p = -b - 63, 3*p - 2*b - 41 = 0. Is o(p) a multiple of 9?
False
Let j(v) = -2*v**3 + v**2 + 3*v - 8. Does 62 divide j(-5)?
False
Let x(v) = -190*v - 119. Is x(-6) a multiple of 39?
False
Suppose 0 = 10*m + 574 - 4244. Does 49 divide m?
False
Let g(w) = 2*w + 3. Let r be g(-4). Let n(s) = -s**2 - 5*s + 7. Let l be n(r). Suppose -y - l = -20. Is y a multiple of 6?
False
Let w(q) = -17*q - 6 - 13 + 6. Is 26 a factor of w(-6)?
False
Let i(a) = -2*a**3 + a + 1. Let v be i(-5). Suppose -p - 36 = -v. Is p a multiple of 35?
True
Let u = 7560 + -5305. Is u a multiple of 9?
False
Is 11 a factor of (-9)/((-297)/7815) - (-8)/44?
False
Let d = -11 + 15. Let y(b) = -4*b**3. Let v(s) = -9*s**3 - s**2 - s + 1. Let t(c) = 3*v(c) - 7*y(c). Is 3 a factor of t(d)?
False
Suppose -40 = -4*v - 8. Is (6/8)/(v/256) a multiple of 6?
True
Suppose 2*f + 316 = 4*h + 1134, 0 = -2*h - 2*f - 394. Let s = 286 + h. Is 12 a factor of s?
True
Let o be (8/4 - -135) + 0. Let k = o + 1. Let v = k - 84. Is 18 a factor of v?
True
Let l(u) be the second derivative of -u**5/20 - u**4/3 + 5*u**3/6 + u**2 - 6*u. Let a be l(-5). Suppose -2*r + 164 = 2*m, 0*r + 79 = m + a*r. Does 22 divide m?
False
Suppose 9*x - 4361 = 4252. Is 11 a factor of x?
True
Suppose -5*x + 14 - 4 = 0. Suppose -x*a - 5 = 3