-121. Suppose -c + p = -4*k, -3*c + 2*k = 2*c - 531. Does 15 divide c?
True
Is 43 a factor of 2/(-5)*520/16*-14?
False
Suppose 3*f = 4*l - 8, -2*f + 2*l = -2*l + 8. Let n(p) = -5*p + 183. Is 7 a factor of n(f)?
False
Is 25 a factor of 1294/17 + 6 - 2/17?
False
Suppose 2*z = 3*l + 33, -4*l + 7 = 5*z - 2*z. Suppose -10*i - 25 = -z*i. Let o = i - -46. Is o a multiple of 7?
True
Suppose -6*h = -3*h + 2*g - 9, -28 = -5*h + g. Suppose 5*j + 10 = -h*l, l + j = -j - 7. Let b(q) = 8*q**2 + 3*q + 3. Is 28 a factor of b(l)?
True
Suppose 4*g = -z + 11 + 38, 0 = -3*z - 3*g + 120. Let c = z + -20. Suppose 5*b = c + 73. Does 13 divide b?
False
Let s be ((-4)/(-8))/((-3)/12). Is 19 - (1 + s + 0 + 3) a multiple of 17?
True
Suppose 142 = 3*j - 59. Suppose 3*s - j = -5*a, a - 26 = -5*s + 5. Does 3 divide a?
False
Suppose -3*o = -7 - 8. Let i(w) = -7*w**2 - 3*w**3 - 7*w + 1 - 6 - o + 0. Is i(-4) a multiple of 19?
False
Let w be (-4)/6*-5 + 2/(-6). Suppose u + 2 = 0, -w*u + 774 = 4*r - 4*u. Is 20 a factor of r?
False
Is 29 a factor of (-4)/30 + 2/((-60)/(-21754))?
True
Let z(p) = -44*p + 744. Does 5 divide z(5)?
False
Does 36 divide ((-5885)/33 + -4)/((-2)/12)?
False
Suppose 8*x = 3*x - 30. Does 3 divide x - -2 - (-1 - 14)?
False
Let z(i) = i**3 - 14*i**2 - 13*i - 22. Let f be z(15). Let y be 250/f + (-6)/24. Suppose -g + 3*w = 3, 3*g + 5*w = 16 + y. Is g a multiple of 3?
True
Let c = -166 - -262. Is c a multiple of 9?
False
Let y(a) = -4*a**2 - 3*a**2 + 4*a**3 - 5*a + 0*a**3 - 2 - a**3. Does 18 divide y(4)?
False
Let t = -79 + 74. Suppose 0 = -2*y + 4*y - 20. Let x = t + y. Is x even?
False
Let m(x) = -42*x - 348. Does 12 divide m(-26)?
True
Let a(u) = -3 - 3 - u + 2*u. Let k be a(11). Suppose k*z - 78 = 142. Does 10 divide z?
False
Let w = -86 - -91. Suppose w*i = 3*i + 256. Does 8 divide i?
True
Let l(u) = 2*u - 3. Let n be l(3). Suppose -2*x = -0*t - t + 3, -n*t + 4*x = -13. Does 7 divide t?
True
Let h = 150 + -215. Let p = 27 - 26. Is 5 a factor of 4*(p - h/20)?
False
Let n be (-1)/1*(-7 + 5). Suppose 0 = 4*y - u - 81, 121 - 36 = 5*y + n*u. Is 6 a factor of y?
False
Let a = 28 - 24. Suppose a*x = 2*x + 14. Is 7 a factor of x?
True
Let x(h) = 4*h + 7. Let k be x(-5). Let z(n) = -4*n + 3. Let l be z(-4). Let g = l + k. Does 4 divide g?
False
Let j(c) = -c**3 - 4*c**2 + 2*c + 5. Let w be j(-4). Is 11 a factor of 0 - (w + -29) - -1?
True
Suppose 0*u + 13 = 4*u + l, -11 = -5*u + 4*l. Let h(b) = -8*b - 2*b**2 - u - 3*b**2 + 9 + 7*b**2. Does 18 divide h(6)?
False
Suppose 4*s - 551 = -47. Suppose -h = -42 - s. Does 12 divide h?
True
Suppose -k + 8 = 3*k. Suppose v - 28 = -3*y, -k*v = -y - 3*v + 6. Does 7 divide y?
False
Let p = 712 - 149. Is 47 a factor of p?
False
Let u(z) be the third derivative of z**6/120 - 2*z**5/15 + 3*z**4/8 - 7*z**3/6 - 8*z**2. Let d be u(7). Suppose 5*t - d*t = -104. Is 13 a factor of t?
True
Let p be (-6)/((-2)/30*2). Let r = 1305 - 1295. Let v = p + r. Is v a multiple of 20?
False
Let s(i) be the first derivative of -i**4/4 + 6*i**3 - 15*i**2/2 + 32*i - 45. Is 15 a factor of s(16)?
False
Let t(c) = 3*c**2 - 8*c - 14. Suppose -3*w - 8*w - 55 = 0. Is 34 a factor of t(w)?
False
Let b(w) = w**3 - 34*w**2 - 110*w + 42. Does 5 divide b(37)?
False
Suppose 0 = 17*c - 5124 - 14256. Is c a multiple of 28?
False
Let u(d) = 20*d**2 + 8*d - 160. Is 8 a factor of u(10)?
True
Suppose 3*n = -2*m + 3*m - 2115, 6306 = 3*m + 4*n. Suppose -156 + m = 13*j. Does 25 divide j?
True
Let v(d) = -3 + d**3 + 9*d**2 + 12 + 4 + d - 10*d. Let t be v(-10). Suppose 6*j - 66 = t*j. Is 8 a factor of j?
False
Let l(t) be the second derivative of 87*t**5/20 + t**4/6 - t**3/2 + t**2 + 12*t. Suppose -3*q = -j + 10, 2*q + 13 = 4*j - q. Does 9 divide l(j)?
False
Let t be ((-2)/3)/((-32)/144). Suppose -2*g = -3*a + 2*a - 136, -3*a = -t*g + 201. Is 8 a factor of g?
False
Let x(l) = -263*l - 109. Is 41 a factor of x(-4)?
True
Let p(m) = -24*m**2 - 152*m - 15. Does 12 divide p(-6)?
False
Suppose 5*w = -4*s + 568, 4*s = -2*w + 90 + 142. Is w a multiple of 4?
True
Let s(o) = -o**3 - o**2 - o + 179. Suppose 0 = 4*x + 2*q - 24, 2*q + 15 = 5*x - 3*q. Suppose 0 = -x*c - w - 3, 2*c + 12 = 2*w - 6*w. Is s(c) a multiple of 36?
False
Suppose -2*x + 497 = 2*u + 3, 2*x = 8. Suppose 0 = -44*z + 41*z + u. Does 27 divide z?
True
Let j(r) be the third derivative of 1/2*r**4 - 1/6*r**5 + 0 + 2*r**2 + 1/2*r**3 + 1/120*r**6 + 0*r. Is 10 a factor of j(9)?
True
Let y be (-3)/6 + (-2)/(-4). Suppose -2*c + c + 4 = y. Suppose 4*b = 4*r - 47 - 113, 0 = 4*r + c*b - 200. Is 15 a factor of r?
True
Let m = 699 + -339. Does 40 divide m?
True
Let t(l) = 2*l. Let h be t(0). Suppose h = 5*c - 6*c. Suppose -o + 38 + 32 = c. Is 14 a factor of o?
True
Let f(d) = 2*d - 18. Let b be f(10). Let c be -3 - -86*2/b. Suppose -p = -c - 2. Is p a multiple of 26?
False
Suppose -8*i + 502 = 110. Is i a multiple of 12?
False
Suppose -8*i = -6100 - 3180. Is i a multiple of 20?
True
Let g(f) = 10*f**2 + 3*f + 3. Suppose -3*k = -4*n + 25, k - 11 = 2*k - 2*n. Is 30 a factor of g(k)?
False
Let x be ((-2)/(-6) + 8/12)*6. Is 13 a factor of 87/x - ((-6)/(-4) - 0)?
True
Suppose 18*p + 5145 = 23*p + v, -3*p - 3*v = -3075. Is 61 a factor of p?
False
Is 4*(-1)/1 + 1146 + 1 a multiple of 9?
True
Suppose -2*m + 232 = 4*s - 4*m, 160 = 3*s - 5*m. Let t = -49 - -54. Suppose 0*f + s = t*f. Is 5 a factor of f?
False
Let w = 983 - 528. Let n = 656 - w. Does 23 divide n?
False
Suppose -5996 = -3*n + 94. Does 70 divide n?
True
Suppose -13*c + 3360 + 2373 = 0. Does 49 divide c?
True
Is 28 a factor of 2772/(8/8) - 4?
False
Suppose 0 = 5*n - 39 - 91. Suppose 2*z = -3*i + 50, -i - 2*z + n = z. Does 5 divide i?
False
Let x(q) = 131*q - 1. Let h be x(1). Let y = -60 + h. Does 13 divide y?
False
Let p(f) = 4*f + 2. Suppose 0 = -h + 3*h - 18. Let z be 1*(-3)/(-9)*h. Is p(z) a multiple of 14?
True
Let g be (5 - 6)*6/(-2). Let w = g - 1. Suppose -w*f + 83 = -13. Is f a multiple of 13?
False
Let f = 37 + -66. Suppose 4*u + 153 = 3*l, -l - 2*u = -u - 58. Let y = f + l. Is 13 a factor of y?
True
Let u be 2*1/3 - 1200/(-9). Suppose -218 - u = -4*y. Is y a multiple of 22?
True
Suppose 2*x - 408 = 2*t, -6*t - 416 = -2*x - 2*t. Is x a multiple of 4?
True
Let x(f) = -7 - 661*f - 7 + 656*f. Is 31 a factor of x(-9)?
True
Suppose 0*p + 5*f + 9 = -4*p, 0 = 2*p - 5*f - 33. Suppose -p*n + n = -87. Suppose -3*w + 4*v + 18 = -67, w = v + n. Is w a multiple of 9?
False
Does 12 divide (0 - 89/(-2))/(109/2398)?
False
Suppose 0 = -s + 5*s - 384. Suppose -5*x - 120 = -2*i, 2*i - s = -5*x + 4*x. Is i a multiple of 10?
True
Let u = 1064 - 692. Does 31 divide u?
True
Let s be (6/(-8))/(273/(-28) + 9). Let m(j) = -2*j + 2 + 8*j + 6*j. Is m(s) a multiple of 10?
False
Suppose -3*z - 23 + 7 = -y, 4*z = -4*y. Let i be (2/(-4))/(z/32). Suppose -o = i*o - 120. Is 14 a factor of o?
False
Suppose 3*z = 5*y - 419, 4*y - 2*z - 4 = 330. Is y even?
True
Let t(w) = -4*w**3 + 2*w**2 - w - 2. Let m be t(-1). Is 10 a factor of (m + -4)*19 + 1?
True
Let r = 634 + -126. Is 27 a factor of r?
False
Let o = 44 + -22. Suppose -7*x = -2*x + b - 141, 0 = -2*b + 2. Let m = x + o. Is 21 a factor of m?
False
Suppose 4*r - 3*d = 15 + 21, 0 = 3*r + 2*d - 10. Let n(p) be the third derivative of p**4/12 + 4*p**3/3 + 2*p**2. Is n(r) a multiple of 15?
False
Let h = 26 + -33. Let k(v) = -v + 9. Is k(h) even?
True
Let a be (-8)/(-68) + (-224)/(-119). Suppose -4*n - 144 = -a*f + n, -n = -f + 72. Is f a multiple of 8?
True
Let h be (0/(-2))/(-2 + 0). Let t(y) = 3*y - 3. Let v be t(5). Does 6 divide v - (1 + h + -1)?
True
Suppose -b + 5 = 2*p, -b = -2*b + p + 11. Let n = b - 2. Is n a multiple of 2?
False
Let x(a) = -5*a + 18. Let m = 94 + -100. Does 24 divide x(m)?
True
Let l = 34 - 37. Let j be (9/(-2))/(l/(-54)). Let r = -47 - j. Does 12 divide r?
False
Let a be (6/4)/(12/32). Suppose -o - 5*u = 3, o - 7 = u - a. Suppose o*h = -10 + 148. Does 19 divide h?
False
Let u be 7 + -5 - (-22 + 2). Let b = -16 + u. Is 5 a factor of b?
False
Suppose 16*c - 14*c = h - 130, 0 = -4*h - 4*c + 520. Does 24 divide h?
False
Suppose 2*k = -3*k + 10. Suppose -r = y - 209, k*r - 7*r - 4*y + 1046 = 0. Does 30 divide r?
True
Let m be (2 - 3)/(-1)*-1. Let c(g) = g**3 + 1. Let v(k) = 7*k**3 - k**2 - k - 69. Let r(u) = m*v(u) + 6*c(u). Is r