 + 4*g - s, 5*w + 56 = -2*g + 411. Does 25 divide w?
False
Let o(b) = -b**2 + 4*b - 2. Let v be o(2). Suppose -c + v*c = 132. Suppose 0 = 5*y + 27 - c. Does 4 divide y?
False
Let s(u) = u**3 - 23*u**2 + 21*u + 32. Let n be s(22). Suppose -2*t + 46 = n. Does 3 divide t?
True
Let a(c) = c**2 - 11*c + 6. Let f(i) = 3*i - 6. Let x be f(4). Let l be a(x). Let v = 38 - l. Does 16 divide v?
False
Let p(z) = -14*z - 6. Let t be p(3). Is 8/t + 487/6 a multiple of 12?
False
Let u(w) = -w**2 + 11*w + 16. Let i be u(12). Suppose -4*p + i*f = -20, f + 29 = 4*p - 0*f. Suppose p*m + 4*v = 3*m + 197, 3*v = -4*m + 157. Does 17 divide m?
False
Let q(w) = 152*w**2 - 6*w + 2. Does 14 divide q(1)?
False
Let y(k) = -37*k + 1. Is 14 a factor of y(-3)?
True
Let a(d) = 281*d + 169. Does 9 divide a(10)?
True
Let k = -44 - -48. Suppose k*a = w + 2*a - 51, -a - 4 = 0. Is 17 a factor of w?
False
Let d = 29 + -33. Is 3 a factor of (-2)/4 + (-26)/d?
True
Suppose 3*n - 3 = -4*f, 1 = -n - 2. Suppose 0 = -0*s + f*s + 6. Is (-1035)/(-55) + s/(-11) a multiple of 7?
False
Suppose 5*f - h - 207 = 0, 6 = f + 3*h - 45. Does 4 divide f?
False
Suppose 0*y = 7*y - 973. Does 19 divide y?
False
Let q be 10*(90/4 + -5). Let v = q - 19. Is 13 a factor of v?
True
Let t(g) = 2*g**3 - 11*g**2 - 45*g - 44. Is t(11) a multiple of 44?
True
Let b(d) = 26*d + 3. Let n be 1/(-3)*-9 + -2. Is 3 a factor of b(n)?
False
Let o be -3 - -4*(-28)/(-8). Let z be 2/(-3) - o/(-3). Suppose -4*p + 172 = -2*v, -p = -8*v + z*v - 61. Does 19 divide p?
False
Suppose -34*s + 14623 + 915 = 0. Is 10 a factor of s?
False
Suppose -2*u = -5 - 19. Suppose u = -f - 5*h + h, -2*h - 8 = 0. Suppose -f*n - 202 = -6*n. Is n a multiple of 18?
False
Suppose 0 = 2*h - 3*j - 153, -h - 5*j + 126 = 17. Let y = -28 + h. Is 28 a factor of y?
True
Let r(p) = -p**2 - 5*p. Let g be r(-3). Let f be (g/4)/((-4)/(-168)). Suppose 4*v - f = -q, -7*q + 2*q = -2*v - 271. Is q a multiple of 25?
False
Is 10 a factor of (0 + -3 - -1872) + 11?
True
Suppose 36*w - 28548 = -3*w. Does 6 divide w?
True
Let s be (0 + (-4)/8)/(2/(-52)). Is (s - -122) + -3 + 0 a multiple of 22?
True
Let t = 11 + -6. Suppose 0 = t*f - 2*f - 6. Suppose -f*q + 207 = q. Is q a multiple of 16?
False
Let o(j) = j**2 + 16*j + 5. Let w be o(-16). Suppose -w*c = -0*c - 15. Does 19 divide ((-2)/c)/((-24)/2988)?
False
Let r(f) = f**3 + 6*f**2 - 9*f - 2. Let b be r(-7). Suppose t + u + 0*u + 12 = 0, -4*u = b. Is 3 a factor of ((-3)/t)/((-2)/(-108))?
True
Suppose 0 = -3*u + 3*b + 27, 3*b + 2*b = -25. Suppose 0 = 4*f - 1 - 3, -4*h - u*f + 4 = 0. Suppose h*a + 46 = a. Is a a multiple of 31?
False
Let v be -1 - 3*(3 - 4). Let c be -4*(v/4)/(-1). Is 13 a factor of 10 + 3 - (2 - c)?
True
Let v(s) be the first derivative of s**4/4 - 7*s**3/3 + 2*s**2 - 11*s - 9. Does 2 divide v(7)?
False
Let u = 12 - 7. Suppose -2*h - 3*h + u*n + 430 = 0, -4*h + 3*n + 342 = 0. Is 7 a factor of (h/(-16))/(1/(-4))?
True
Let p(s) = -s + 16. Let f be p(13). Suppose 0 = 5*t + 20, -5*t = -5*l - f*t + 218. Is l a multiple of 14?
True
Let j be (-3*(-2)/9)/((-23)/(-276)). Suppose -6*y = -y - 15. Is 14 a factor of j/(-4) + 132/y?
True
Let b(k) = k**2 + 21*k + 68. Does 6 divide b(-20)?
True
Let b(m) = -110*m + 66. Is b(-9) a multiple of 12?
True
Let g(w) = 4*w + 21. Let f be g(-10). Is f*(-1 - 3)/4 a multiple of 10?
False
Let s(n) = n**2 - 4*n - 2. Let u be s(2). Is u/(-2) - (0 - 48) a multiple of 17?
True
Let u = 0 + -8. Let y be (-7)/2*u/14. Is 6/(-2) + 66/y a multiple of 30?
True
Suppose 0 = -3*y + 2*y - 9. Let s = -7 - y. Suppose 4*l + 2*p - 130 = 0, s*l + 3*p = -0*p + 63. Does 21 divide l?
False
Suppose 75 = 2*q - 5*d, -165 = -q - 4*q + 5*d. Is q a multiple of 6?
True
Suppose -539 = 3*i - 5*i + m, 1346 = 5*i - m. Let t = 386 - i. Is 15 a factor of t?
False
Suppose 12*r = -5*b + 9*r + 3828, -5*b - 4*r + 3829 = 0. Does 15 divide b?
True
Suppose -3*d + 4*n - 173 = -4*d, 2*d = -4*n + 334. Does 2 divide d?
False
Suppose -t + 7*m + 3 = 3*m, 0 = -t + 2*m + 3. Suppose 0 = 2*b + t*s - 18, 9*b - 4*b = -4*s + 31. Suppose -19 = b*g - 82. Is g a multiple of 5?
False
Suppose -608 = -p - p. Is p a multiple of 16?
True
Let j(k) = -k**3 + 11*k**2 - 8*k - 17. Does 67 divide j(8)?
False
Suppose 16 = 4*b - 24. Let t = b + -8. Suppose -r + a + 62 = 3*r, t*r = 4*a + 24. Is r a multiple of 16?
True
Suppose 0 = -2*n - 2, -994 - 687 = -4*h + n. Suppose 0 = -4*o - 5*i + 685 + 177, 3*i + h = 2*o. Is o a multiple of 36?
False
Let v = 13 - 8. Suppose v*m - 222 = 233. Does 13 divide m?
True
Is 5 a factor of (-15 - -58)/(2/14)?
False
Let f be (-9)/(-6) + -2 - 3/(-2). Does 2 divide 2*f + (-3 - (3 + -6))?
True
Let n(p) = 3*p**3 + 10*p - 50. Is 14 a factor of n(4)?
True
Suppose -14 = 5*p + 1. Let l(g) = -6*g + 4. Let a(k) = 16*k - 8. Let j(v) = -2*a(v) - 5*l(v). Is j(p) even?
True
Suppose 13*n = 11*n - 92. Is 17 a factor of (-242)/(-4) + (-23)/n?
False
Let v(a) = a**2 + 4*a - 5. Let g be v(-14). Suppose 39 = o + 4*n - 106, o = -2*n + g. Is o a multiple of 19?
False
Suppose -4*l + 2*l = -562. Is l a multiple of 20?
False
Let c = 7094 - 3683. Is 66 a factor of c?
False
Suppose 5*v + 5*u = 35, 3*u + 3 = -6. Let l = v - 12. Is -8*l/4*1 even?
True
Let t be (-1)/(-1)*(-30)/(-10). Suppose s + 7 = -t*s + 3*w, w = 5. Suppose 0 = -b + 4*h + 7, 5*h + 17 = s*b - 3. Is 15 a factor of b?
True
Suppose -4*z = -7*k + 4*k + 3, z - 4 = -4*k. Let a = -2 - -5. Suppose 27 = a*c - z*c. Does 8 divide c?
False
Suppose 8290 = 3*t + i, -4*t - 8*i = -6*i - 11052. Does 95 divide t?
False
Suppose 4*u - u - x - 20 = 0, 4*u - 34 = 5*x. Let k = 62 - u. Is k a multiple of 7?
True
Let c(q) be the first derivative of -3*q + 10 - 3/2*q**2 - 1/4*q**4 - 2*q**3. Is 11 a factor of c(-7)?
False
Let c(z) = 12*z - 7. Is c(5) a multiple of 16?
False
Let x be (180/100)/(2/10). Suppose -2*u + x = -1. Does 23 divide 61 - (-4 + u) - 3?
False
Does 8 divide 12 + -2 - (0 - -1)?
False
Suppose 189*c = 186*c + 888. Let x be ((-2)/(-1))/1 + 1. Suppose -c = x*v - 7*v. Is v a multiple of 13?
False
Let p(n) = 5*n**2 - n - 2. Let s be p(-1). Let l(j) = 5*j**2 + 7*j - 3. Is 35 a factor of l(s)?
True
Let a(l) = l**3 + 13*l**2 + 10*l + 44. Is 71 a factor of a(-8)?
True
Let k be ((-28)/12 - -3)/(1/6). Suppose -k*l - 2*l + 336 = 0. Is 7 a factor of l?
True
Suppose 52*r = -36*r + 183568. Is r a multiple of 14?
True
Let c(a) = -a**3 + 13*a**2 + 17*a - 3. Does 25 divide c(13)?
False
Suppose 53*x - 17918 = 12716. Does 4 divide x?
False
Let n = -50 - -17. Is 40 a factor of -1 - (352/n)/((-2)/(-15))?
False
Suppose -2*i - 10 = 0, -3*o - 32 = -i - 118. Suppose 2*k + o - 157 = 0. Is k a multiple of 23?
False
Does 10 divide (((-240)/(-14))/2)/((-10)/(-105))?
True
Suppose -5*b - 13*i = -12*i - 14961, -3*b = 2*i - 8971. Is 7 a factor of b?
False
Suppose 0 = -4*m - z + 55, -14*z + 18*z = -4*m + 52. Let c = -70 - -140. Suppose -c - m = -4*v. Is v a multiple of 9?
False
Is 3 + 2 + 224*(-1 + 3) a multiple of 10?
False
Let c(m) = -3*m - 25. Let r be c(-10). Suppose 0*y - 20 = -r*y. Suppose -y*s - s + 300 = 0. Is 15 a factor of s?
True
Let v = 350 - 170. Does 18 divide v?
True
Is 3 a factor of (-10 + 370/40)*-12?
True
Let m(y) = -3*y**2 + 17*y + 9. Let p be m(-11). Let o = 1105 + p. Does 13 divide ((-2)/(-3))/(8/o)?
False
Let q = -862 + 1933. Is q/12 - (-3)/4 a multiple of 33?
False
Suppose -274 = -3*u - 4*z, 2*u - 6*z - 181 = -7*z. Is u a multiple of 9?
True
Let q be 2/(-6) + 14/6. Suppose f - 2*n = -7, -3*f = -f + q*n - 16. Suppose i - 73 = -f*p, 5*i - 7 - 8 = -p. Is 6 a factor of p?
False
Let w(r) = -665*r**3 - 9*r**2 - 7*r - 1. Does 29 divide w(-1)?
False
Let i = -324 + 381. Does 3 divide i?
True
Let i = -16 + 22. Suppose -6*w = -3*w - i. Suppose w*f = f + 48. Does 9 divide f?
False
Let r = 53 - -42. Let o = r + -37. Is o a multiple of 7?
False
Suppose -8*w = -4*w + 4*q - 744, q + 184 = w. Let c = w - 61. Does 16 divide c?
False
Suppose 13*h + 1074 = 17*h - 2*a, a = -h + 273. Is 8 a factor of h?
False
Suppose 0*b - 465 = -b + 3*t, 5*b + 4*t = 2230. Suppose 17*m - b = 7*m. Does 12 divide m?
False
Let q = 2 + -8. Let z = q + 16. Is 2 a factor of z?
True
Let r be -2*((-3)/1 + 1). Suppose r*i + q - 243 = 0, -q = -5*i + 2*q + 291. Is i a multiple of 12?
True
Let k be (-5889)/(-26) + (-10)/4. Suppose 4*b - k = 5*p, 2*b + 3*p 