(r). Does 10 divide k(-2)?
False
Is 10 a factor of -4*((-65)/4 - 1)?
False
Let c = -77 + 158. Is 4 a factor of c?
False
Let y = 288 + -66. Is 25 a factor of y?
False
Let d = -292 + 312. Is 3 a factor of d?
False
Let c = 16 - 13. Let u be (2/(-3))/(-2)*c. Suppose 5*a - h - 325 = 0, -4*h + 45 - u = a. Is a a multiple of 29?
False
Suppose 4*q + 3*x - 4378 = 0, 4*q + 5*x + 97 = 4479. Does 99 divide q?
False
Let x(b) = -b**3 - 4*b**2 - 8*b + 5. Let y be x(-7). Let z = y + -149. Is 17 a factor of z?
False
Let z = 691 + -587. Does 3 divide z?
False
Suppose 60*h - 1356 = 56*h. Is 12 a factor of h?
False
Suppose l - 25 = -4*r + 311, -r - 1596 = -5*l. Is l a multiple of 16?
True
Let c(o) = o + 7. Let v be c(-7). Suppose v = 4*p + 2*k - 202, 4*k - 16 - 184 = -4*p. Is 17 a factor of p?
True
Suppose 0 = -5*h - 2*m + 24, 2*h - 6 = -2*h + 5*m. Is 12 a factor of 783/(-18)*h/(-3)?
False
Suppose -8*h + 4 = -6*h. Suppose -x = -2*d - 20, d - 45 = -4*x + h*d. Is 2 a factor of x?
True
Let n(p) = -p**3 - 4*p**2 + 6*p - 8. Let d(w) = -w**2 + w + 1. Let i(j) = -3*d(j) - n(j). Does 17 divide i(-7)?
True
Let c(n) = -n**3 - n. Let u(m) = -4*m**3 - 3*m + 1. Let p(d) = -9*c(d) + 2*u(d). Let r be p(-2). Let v = r + 24. Is v a multiple of 4?
True
Suppose 5373 = 5*k - 2*m, 5*m - 5345 = -3*k - 2*k. Is k a multiple of 37?
True
Let t(v) be the second derivative of 12*v**4 - v**3/3 + v**2 + v - 12. Is 36 a factor of t(1)?
True
Let l(c) = -2*c - 7. Let b be l(-5). Let t be b + 5/(-1) + 0. Let n(j) = -16*j + 3. Is 11 a factor of n(t)?
False
Suppose -4*m = -2*x + 3*x - 4, -2 = -2*x - 2*m. Suppose 2*n + 3*n - 20 = x. Suppose 36 = 4*f - n. Is 10 a factor of f?
True
Let t(z) = 7 + 21 - 1 + 8*z + 7*z. Is 10 a factor of t(4)?
False
Let h(u) = -u**3 - 3*u**2 + 6*u - 6. Suppose b + 14 = -2*j, -5*j + b - 22 = -j. Is h(j) a multiple of 26?
False
Suppose 5*j - 13553 = -4*s, -j + 59 = 62. Is 56 a factor of s?
False
Suppose -n = 4*x + 3*n + 12, -3*n = -2*x + 19. Suppose 3*q = 4*q - 23. Suppose x*t + s - 42 = -s, -3*t = -5*s - q. Is t a multiple of 5?
False
Is ((-5500)/12)/(2*(-7)/126) a multiple of 33?
True
Suppose -6 = -2*h - 0*h. Suppose -2*a - h*a = -60. Is 6 a factor of a?
True
Let s = -25 + 28. Suppose 2*f = s*f - 109. Does 24 divide f?
False
Suppose -9*v + 7403 - 2435 = 0. Is 12 a factor of v?
True
Let a(o) = o - 1. Let f be a(1). Suppose 4*n + 3*g + 16 = f, n = 5*n - g. Is 12 a factor of n/((6 - 2)/(-96))?
True
Suppose 7*x + 134 = 1051. Is x even?
False
Suppose 5*a = 4*u + 13430, -57*u + 8058 = 3*a - 61*u. Is a a multiple of 45?
False
Suppose -2*k - 3*k + 2420 = n, 2*k + n = 968. Is k a multiple of 19?
False
Suppose 214 = 6*f - 26. Does 3 divide f?
False
Let x(f) = 20*f + 64. Suppose c + 7*m - 33 = 3*m, m - 5 = 0. Is x(c) a multiple of 27?
True
Let m(q) = -q**3 - 3*q**2 + q + 2. Let f be m(-3). Let t be 4 + -1 - (-2)/f. Let g = t + 11. Is g a multiple of 6?
True
Let h = -23 + 32. Let n = -7 + h. Suppose -o - n*x + 12 = -10, 2*o = 2*x + 68. Does 10 divide o?
True
Suppose 8*i + 4*d = 10*i - 224, -3*i + d + 326 = 0. Is i a multiple of 6?
True
Suppose -g = -5*r - 18, 0 = -3*g - 3*r + r + 3. Suppose -g*k = 2*k. Suppose k*h + h - 23 = 0. Does 8 divide h?
False
Suppose -21*v = -16*v - 25. Is v a multiple of 5?
True
Let z be 0*-2*2/12. Let m be (-7 - (-2 - z)) + 1. Is (2 + 1)*(m - -13) a multiple of 9?
True
Suppose -4*f + 6 - 2 = 3*y, y + 3*f + 7 = 0. Does 4 divide y*(9 + -5 + -2)?
True
Let c = -1559 - -2356. Is c a multiple of 25?
False
Let v be 4140/40*(-2)/(-3). Suppose -269 = -2*p - v. Is 20 a factor of p?
True
Let r = 195 - 139. Is r even?
True
Let r(f) = 2*f + f + 2*f + 2*f**2 - f - 37. Is r(-10) a multiple of 18?
False
Let x(j) be the first derivative of -j**5/60 - j**4/4 - 8*j**3/3 - 3. Let v(l) be the third derivative of x(l). Is v(-6) a multiple of 5?
False
Let i(c) = 6*c - 1 + 5 - 4 - 4. Let d(s) = 2*s - 2. Let z be d(2). Is i(z) a multiple of 4?
True
Suppose 2*p - 42 = -5*a - 0, a + 3*p + 2 = 0. Is (2 - 24/a)*(-126 - -1) a multiple of 5?
True
Suppose -3*l + 6163 = -2*f, 5*f - 21 = -1. Is 11 a factor of l?
True
Let m be -3 + 4 - (64 + 1). Let h = m - -136. Suppose -7*q = -q - h. Does 10 divide q?
False
Let d be 16/(3 - 7)*-1. Is 5 a factor of 8/d*(-30)/(-4)?
True
Let p = 116 + -112. Let t = p - -205. Does 19 divide t?
True
Let m = -182 - -542. Is m a multiple of 24?
True
Let h = 55 + -50. Suppose 0 = -2*k - 4*q - 2, h*k - 21 = -3*q + 9. Is k a multiple of 5?
False
Suppose 240 = 3*k - 33. Is 4 a factor of k?
False
Suppose 11*i + 2446 = 7022. Does 16 divide i?
True
Let i be (-1 + 9/21)/(2/(-14)). Suppose -i*n + y = -2*n - 283, 2*y = 3*n - 422. Does 18 divide n?
True
Suppose 4*x = p + p, -2*x + 4*p = 0. Suppose x = -f + 10*f - 189. Is f a multiple of 3?
True
Let y = 1051 - 486. Does 6 divide y?
False
Let j(c) = 129*c + 63. Is j(7) a multiple of 21?
True
Suppose x - 2*x = -105. Let y = x + -30. Suppose 0 = 3*t + 2*t - y. Is t a multiple of 12?
False
Let m = -7 - -13. Suppose -m = 5*b - 1, b - 173 = -2*r. Does 22 divide r?
False
Let g(z) = -z**2 + 6*z - 3. Let l be g(4). Suppose -497 = -4*x + 5*p, -x - p + 127 = -l*p. Suppose f - x = -2*f. Does 12 divide f?
False
Let n = 1371 - 113. Is n a multiple of 68?
False
Let s(l) = -8*l - 30. Let g be s(-5). Is 14 a factor of g/15*153/2?
False
Let k be 5/((-20)/(-144)) - -1. Suppose 2*w - k = w. Is 10 a factor of w + 0 + (1 - -1)?
False
Suppose 0*y + 8 = 3*y + 2*n, -y - n = -4. Let c be (5/(-15)*9)/(-1). Suppose 5*j = -4*g - y*g + 168, 3*j = -c*g + 102. Is 8 a factor of j?
True
Suppose 0 = 55*m - 51*m + 32. Is 3 a factor of 1*m*(1 + 0 - 2)?
False
Let o be -2 - (-39)/3 - 1. Is 2 a factor of (-3 - -2) + 1 + o/5?
True
Is 23 a factor of 62 - ((6 - -3) + -3)?
False
Let r = -6 + 5. Let q(a) = -19*a**3 + a**2 + 2*a + 1. Let x be q(r). Let s = x + -2. Is 17 a factor of s?
True
Is 47 a factor of ((377/26)/(-29))/((-1)/658)?
True
Let s(i) = i**3 + 10*i**2 + 9*i + 4. Let a be s(-9). Let k be (0 + a/6)*6. Suppose -9*p + k*p = -60. Does 6 divide p?
True
Let p = -122 - -381. Is p a multiple of 13?
False
Let f be (1 - (-106)/13) + 12/(-78). Let a(h) = -h**3 + 10*h**2 + 2*h - 22. Is 19 a factor of a(f)?
False
Let l(m) = m**2 - 7*m - 4. Let d(p) = 6*p - 19. Let n be d(5). Is l(n) a multiple of 13?
False
Let d(t) = -2*t**3 - 25*t**2 - 82*t + 39. Is 14 a factor of d(-15)?
True
Let q = -2795 + 3300. Is q a multiple of 101?
True
Suppose u = -5*g + 25, -5*g = -4*u - 64 + 14. Suppose -g*s = -s - 315. Is 7 a factor of 14/s + (-457)/(-9)?
False
Let l = 682 + -486. Let i be 20*(-3 + l/20). Suppose 0 = -t + 6*y - 2*y + 23, -4*t + 5*y = -i. Is 13 a factor of t?
True
Suppose -4*k + 3 = -5. Let c be (50/15)/(k/3). Suppose 2*j = -4*u + 94, u - c*j - 9 - 31 = 0. Does 11 divide u?
False
Let x(f) = -f**3 - 8*f**2 + 6*f + 6. Let p(j) = -j**3 + j**2 + j - 1. Let k(h) = 2*p(h) - x(h). Let i be k(7). Suppose -2*v + i = -v. Does 20 divide v?
False
Let d(h) = -15*h - 7. Let t be d(6). Let u = -27 - t. Is u a multiple of 12?
False
Let o(b) = b**3 + 5*b**2 + b - 2. Let q be o(-2). Let c = q - 1. Suppose c*m = -5*y + 2*m + 225, 0 = -5*y - m + 225. Is 10 a factor of y?
False
Suppose -273 = -13*k + 728. Is k a multiple of 11?
True
Suppose 111 = 3*n - 51. Is 6 a factor of n?
True
Suppose -3*d + 306 = 4*v, 164 = d + 5*v + 62. Does 21 divide d?
False
Suppose -76 = -4*g - 28. Suppose 2*i = -3*i, 2*u - g = -i. Suppose -20 = u*d - 2*d, 0 = l + d - 48. Is l a multiple of 17?
False
Is ((-12)/24)/(4/(-1184)) even?
True
Let n(m) = m**2 + 9*m + 25. Let f be n(-10). Suppose -s + 5 = -f. Does 20 divide s?
True
Suppose h - 5*f + 28 = -h, -2*f = -h - 14. Let w be (2 - 8/2)/(-2). Is w + -4 - 112/h a multiple of 5?
True
Suppose -107 = p - 198. Does 6 divide p?
False
Suppose 85 = 2*x - 1. Let f = x + -12. Is 20 a factor of f?
False
Suppose 4*w = 2*z - 795 + 191, -1226 = -4*z + 2*w. Is 22 a factor of z?
True
Let m be (29/(-3))/((-40)/(-39) - 1). Let y = -265 - m. Does 8 divide y?
True
Suppose -3 = -c + 3*k, c - 4*k - 5 = -2. Let z = 1 + 1. Suppose -z*j - c*j = -45. Is 3 a factor of j?
True
Let y(n) be the first derivative of n**3/3 + 3*n**2/2 - 5*n + 2. Let s = -76 - -70. Does 4 divide y(s)?
False
Let i(b) = -2*b**3 + 5*b + 2. Let g be 6*(-8)/36*-6. Suppose -3*m + g*m = -15. Does 12 divide i(m)?
False
Let b