2 - (2 - 5)). Let o(s) = s**2 - 8*s + 13. Let k be o(7). Suppose -k*b = -b - d. Is 26 a factor of b?
True
Suppose 23 = 4*o + 19. Suppose -6*b + 479 = -o. Is b a multiple of 4?
True
Let b be 4/(-16) + (-39)/(-12). Suppose 9 = b*h - 0*h. Suppose -h*t = -4*r + 49, -2*r = r + 5*t - 15. Is 5 a factor of r?
True
Let i = -12 - -14. Suppose -5*r - i = -4*r. Let g(u) = -28*u - 6. Is 27 a factor of g(r)?
False
Let d be (7 - 7)*(-1)/(-1). Suppose d = 2*b + 6, -5*o + 2*b + 2 + 29 = 0. Suppose 0 = o*h - 41 - 124. Does 7 divide h?
False
Let f(t) = 15*t**2 + 4*t + 7. Let h be f(4). Suppose 5*c + 3*o = h, -5*c + 3*c + 2*o + 102 = 0. Is 7 a factor of c?
False
Suppose -5*t - 4911 = -4*i - 2*t, 4*i = -3*t + 4881. Is 36 a factor of i?
True
Let w(x) = -x. Let v be w(0). Let h be -1 + -2 - v - -18. Does 5 divide 2*-1*h/(-3)?
True
Let b(s) = -3*s + 17. Is 2 a factor of b(-2)?
False
Let n(y) = 6*y**3 - y**2 - 2*y + 2. Let w be n(1). Suppose 0 = -p - w*p + 54. Does 3 divide p?
True
Suppose 4*x - 2349 = -3*r, 3*x - 2217 = 4*r - 424. Is x a multiple of 13?
False
Let o = -580 - -846. Is o a multiple of 7?
True
Does 6 divide ((-48)/28)/(3/(-147)*1)?
True
Suppose 462 = -k - 3*o, k + 0*o + 447 = 2*o. Let i be (3 - 2)*9*1. Is k/(-27) - (-2)/i a multiple of 13?
False
Suppose -4*z + 80 = -n - 3*n, 2*n - 2 = 0. Suppose -13*w = -14*w + z. Does 7 divide w?
True
Let t be (16 - 2/(-1)) + -2. Let x(r) = -t*r + 6 + 7*r + 6*r - r**2. Is x(-3) a multiple of 6?
True
Suppose 48*f - 50*f = -70. Let i be 3/(-7) + 50/f. Suppose -i + 38 = t. Does 7 divide t?
False
Suppose 0 = 4*s - 3*l + 4*l - 375, -3*s - 3*l + 279 = 0. Does 2 divide s/8 + (-21)/28?
False
Let c(z) = 7*z**2 - 11*z**2 - 4*z + 6 + 8 + 6*z**2. Is 23 a factor of c(5)?
False
Let a(v) = 46*v**2 - 8*v + 3. Is 25 a factor of a(-5)?
False
Suppose -3*t = -4*z + 30, 3*z + 0*z = 5*t + 39. Let a(w) = 3*w**2 + 3*w - 20. Is a(t) a multiple of 10?
True
Is 10/(9 - -1) - 1*-109 a multiple of 22?
True
Let f(v) be the third derivative of 1/120*v**6 + 1/12*v**5 + 0*v - 1/24*v**4 + 0 + 5/3*v**3 + 2*v**2. Is 10 a factor of f(-5)?
False
Suppose -8*l - 89 = -9. Suppose -4*n - 3 = 4*y - 143, 5*y + n - 167 = 0. Let k = l + y. Does 14 divide k?
False
Let t = -710 - -1022. Is 8 a factor of t?
True
Let c(f) = f**3 + 5*f**2 + 6*f + 9. Let v be c(-4). Suppose -4*a + 0*a = 44. Does 8 divide a*v*(-6)/2?
False
Let k be -4*(-10)/16*-8. Let j = k - -22. Suppose -412 = -3*x - 2*x + j*b, -b = -4*x + 332. Is x a multiple of 21?
True
Suppose y = -2*z + 1245, -5*y + 7538 = 2*z + 1337. Is 30 a factor of y?
False
Suppose 5*r + 65 = 5*c, r - 5*c + 18 = -7. Suppose 0 = 4*p + 2*u - 26, 5*p - u = 30 + 13. Let h = p - r. Is h a multiple of 5?
False
Suppose 19*k + 18*k = 96163. Is 113 a factor of k?
True
Suppose -3209 - 3206 = -4*g - 5*m, -g + 5*m + 1610 = 0. Is 7 a factor of g?
False
Let v(i) = -6*i + 3. Let a(t) = -43*t + 11. Let h(q) = 14*q - 4. Let w(l) = -6*a(l) - 21*h(l). Let f(u) = -34*v(u) + 6*w(u). Does 15 divide f(-4)?
False
Suppose -3*s = -9 - 9. Is 6 a factor of (-1)/s - (700/24)/(-1)?
False
Let g(m) be the first derivative of 4*m**2 + 3*m + 1. Suppose -12*b = 8 - 44. Does 27 divide g(b)?
True
Let v(m) = 3*m**2 + 46*m + 43. Is v(-15) a multiple of 7?
True
Is 178*7/(-14)*-1 a multiple of 25?
False
Suppose 5*d = z - 0*z + 25, -125 = 5*z - 2*d. Suppose -123 = -3*y + w, -3*y + 158 = -5*w + 23. Let p = z + y. Does 15 divide p?
True
Let x = 2 - -12. Does 2 divide x?
True
Is ((-7)/(-3) + -3)*411/(-2) even?
False
Let b = 13 - 15. Let c be (7 + -7)/(0 + b). Suppose n - 3*z = 94, c = -3*n + 4*z - 3*z + 290. Is 15 a factor of n?
False
Let n = -4 + 130. Let w = 29 - 26. Suppose -n = -w*g + g. Is g a multiple of 21?
True
Let t = 1046 + -206. Is 56 a factor of t?
True
Let a = 14 + -14. Suppose a = -4*m + m + 27. Does 9 divide m?
True
Let j(h) = h**2 + h + 1203. Is 11 a factor of j(0)?
False
Suppose d - 5*d - 12 = 0, d = -2*y + 5. Suppose -5*c + 2*b - 4 = -86, c - y*b = 20. Does 16 divide c?
True
Suppose c + 1531 = 3*w, -10*w + 5*c + 2045 = -6*w. Does 30 divide w?
True
Let t be (-2)/(-1) - -1*5. Let k(l) = -2*l - 1. Let m(v) = -6*v - 3. Let y(o) = 5*k(o) - 2*m(o). Is 9 a factor of y(t)?
False
Suppose 0 = 3*i - 4*v - 1, -1 = -v + 1. Let p be 9/i - (1 - 1). Suppose k - 4*j + j - 5 = 0, p*k + 2*j = 15. Does 2 divide k?
False
Suppose 6*c - 9*c = 30. Let n(v) be the first derivative of -v**4/4 - 11*v**3/3 - 13*v**2/2 + v + 2. Does 16 divide n(c)?
False
Let g(f) = 11*f**2 + 2*f + 21. Let v be g(9). Suppose -5*q + v = -995. Suppose 3*o = -4*w + 263, 7*o - q = 2*o + 4*w. Does 27 divide o?
True
Let a(l) = -190*l - 45. Is a(-5) a multiple of 25?
False
Let c(q) = 98*q + 30. Let m be c(5). Suppose 4*j + m = 9*j. Is 20 a factor of j?
False
Let m(k) = -1 - 3*k - 13 + 11*k**2 - 3*k**2. Let o be m(-6). Suppose 4*r + o = 8*r. Is 30 a factor of r?
False
Suppose 3*b - 9 = -0. Suppose -b*y - 2*y = 15. Is (y/(-6))/(1/62) a multiple of 8?
False
Suppose -534*o + 539*o - 10 = 0. Let l(q) be the third derivative of 25*q**4/24 - 5*q**3/6 - q**2. Is 9 a factor of l(o)?
True
Let m(f) be the first derivative of -17*f**2 + 20*f - 28. Does 28 divide m(-2)?
False
Let y be (-748)/6 - 2/(-3). Let d(g) = g**3 + 8*g**2 - 10*g + 24. Let n be d(-10). Let t = n - y. Is t a multiple of 24?
True
Suppose 3*i + 3 = x, 4*i - 3*i - 9 = -3*x. Let g be x/(-2*9/(-24)). Suppose -18 = -3*m - 3*q, 0 = g*m - 4*q + 6 - 22. Is m a multiple of 3?
False
Let t(l) = -6*l**3 + 3*l**2 - 12*l - 6. Is t(-5) a multiple of 15?
False
Let g be 1 - (-25 + (-5 - -2)). Let w = -33 + g. Does 13 divide (30/w)/((-12)/64)?
False
Let y be (10 - 9 - -5) + 38. Suppose -88 = 4*r + 24. Let l = y + r. Does 3 divide l?
False
Suppose 22*g - 3776 - 2428 = 0. Does 47 divide g?
True
Let d(j) = -95*j - 418. Does 8 divide d(-6)?
True
Let b(f) = 4*f + 3. Let y(o) = 7*o + 5. Suppose 0 = -0*w - 4*w + 12. Let i(z) = w*y(z) - 5*b(z). Is i(8) a multiple of 8?
True
Let a(w) = -3*w**3 - 72*w**2 - 13*w - 9. Does 150 divide a(-24)?
False
Let j be ((-2)/2 - 3)*-1. Suppose 138 = 4*n - 2*v, 4*n + 52 = -j*v + 184. Is n a multiple of 34?
True
Let p be (-10)/((4/10)/((-4)/(-5))). Is (12/p - -1)/((-2)/(-420)) a multiple of 5?
False
Suppose 7 = 5*m - 73. Suppose 0 = -6*d - m + 148. Does 3 divide d?
False
Let b be (-22)/(-10) + 12/(-60). Suppose b*g + 7 = 5*u, -20 = 2*u + 5*g - 46. Suppose -4*f + 2*m = -252 + 92, 4*f - u*m = 160. Is 15 a factor of f?
False
Let t = -20 - -24. Suppose 2*f - 112 = t*z, -z - 6 = 2*f - 118. Suppose 12*r - 8*r - f = 0. Does 6 divide r?
False
Suppose -6*p = p. Let v(y) = -y**3 + y**2 - 2*y + 52. Is v(p) a multiple of 26?
True
Let x be (-8)/(-24) + 28/6. Suppose x*v + 34 = 2*i - 69, 4*i - 3*v - 199 = 0. Let r = -25 + i. Is r a multiple of 14?
False
Let x be (72/6)/((-4)/(-10)). Let n = -8 + x. Is n a multiple of 11?
True
Suppose n = -2*s + 1333 + 2683, 0 = -3*n - s + 12058. Is 36 a factor of n?
False
Suppose 0*k - k = 0. Suppose k = 2*x + 6 - 42. Let s = x + -9. Is 4 a factor of s?
False
Is 18 a factor of (9/(-3))/((-6)/11)*36?
True
Let w be -3 - (15 + -3)*-1. Suppose 3*r + 16 = 5*g - 0*r, w = 3*r. Is 2 a factor of g?
False
Suppose -2*u - 170 = -a, -2*u - 37 = 4*a + 143. Let p = u + 191. Is p a multiple of 35?
True
Let t = 0 - 0. Let n(l) = -8*l**2 + l - 35. Let v(w) = 10*w**2 - 2*w + 34. Let j(d) = -4*n(d) - 3*v(d). Is 19 a factor of j(t)?
True
Let h(n) = 9 + 4 + 2 - n**2 - 9*n + 7*n**2. Does 10 divide h(4)?
False
Let v = 1212 + -44. Is 73 a factor of v?
True
Let w be 3390/(-21) + 4 + (-8)/14. Let f = w - -305. Is 21 a factor of f?
True
Let s(g) = g**3 - 14*g**2 - 24*g - 17. Is s(19) a multiple of 12?
True
Is (-5971)/(-35) + 2/5 a multiple of 14?
False
Suppose 15*k + 412 = 5212. Is k a multiple of 8?
True
Let h = -7269 - -10339. Is 14 a factor of h?
False
Suppose 0 = -r + 3*r - 3*h + 68, -3*r - 5*h - 140 = 0. Let s = r - -76. Does 18 divide s?
True
Suppose 15 = -4*j - 3*f - 144, 4*j - 3*f = -129. Let b = j + 90. Does 16 divide b?
False
Let z be -3 + 2 + 2 + -1. Suppose z*f = -2*t + 2*f + 16, -f - 17 = -4*t. Suppose 2*q + 41 = y - q, -4*y + 119 = -t*q. Is 26 a factor of y?
True
Let s = -53 - -23. Let r = s - -47. Is r a multiple of 9?
False
Let i = 160 + -53. Let v = i - 153. Let b = v - -66. Does 10 divide b?
True
Let r = -617 - -758. Is 2 a factor 