tor of w?
True
Suppose 5*a - 92 - 28 = 0. Suppose 0 = -a*n + 29*n - 485. Suppose -q + 69 = -0*q + 2*s, -q + n = -5*s. Does 10 divide q?
False
Let k(y) = -3*y**3 + y**2 - 2*y. Let t be k(1). Is t/(-22) - ((-6755)/55 + 3) a multiple of 60?
True
Let o(m) = -2*m**3 - 9*m**2 - 95*m - 80. Does 9 divide o(-14)?
False
Let c = 179 + -44. Let m = 194 - c. Is m a multiple of 2?
False
Suppose -38*x + 29305 = -6985. Suppose -v + x = 9*g - 5*g, 0 = -5*v + g + 4817. Is v a multiple of 33?
False
Suppose -p = p - 8. Suppose -7*l - 2*l = -p*l. Suppose l = -2*f - 1 + 35. Is f a multiple of 17?
True
Let m(n) = 77*n**2 + 17*n - 52. Does 6 divide m(-5)?
True
Let c(l) = -4*l**3 - 39*l**2 + 8*l**3 + 4*l**2 - 3*l**3 + 4*l - 68. Is c(35) a multiple of 2?
True
Let r = 12460 - 11170. Does 30 divide r?
True
Suppose -32321 = -109*n + 20*n + 249631. Does 18 divide n?
True
Let h(x) = 849*x - 21. Is h(3) a multiple of 27?
False
Let t(r) = -2*r**3 - 34*r**2 + 73*r - 45. Let k be t(-19). Let m(c) = 4*c**2 + 0*c**2 - c**3 + 8*c**2 + 13. Is 4 a factor of m(k)?
False
Let d(b) = 17*b**2 + 1817*b + 34. Is d(-115) a multiple of 56?
True
Suppose -2*z + 10446 = -10*l + 7*l, z = -l + 5218. Is z a multiple of 58?
True
Let v = 2613 + -927. Does 3 divide v?
True
Suppose 0 = p + 2*s + 194, 8*p - 7*p + 188 = -4*s. Let r = -773 - -1113. Let h = r + p. Is 14 a factor of h?
True
Let p(s) = 59*s**3 + 32*s**2 - 55*s - 8. Is 55 a factor of p(6)?
False
Suppose 2*s = -3*o - 2576, s + o - 93 = -1383. Let y = s + 2018. Does 12 divide y?
False
Suppose 140*q - 685188 = 91532. Does 74 divide q?
False
Does 80 divide -537*(-3 + (-40)/(-30))?
False
Suppose -5*z = -5, 592 = 2*s + 3*s - 3*z. Suppose s*l - 104*l - 5670 = 0. Is l a multiple of 6?
True
Let p(n) = -3*n - 11. Let c be p(-4). Let v be -32 - (c - 1 - -1). Does 3 divide (-31)/(-11) - 6/v?
True
Suppose 0 = -c + 265 + 21069. Is 27 a factor of c?
False
Suppose o + 2*x + 2025 = 5003, -3*o = 4*x - 8932. Does 62 divide o?
True
Suppose -52768 = -5*a + 2*z, 25645 + 6017 = 3*a - z. Does 58 divide a?
True
Suppose -4*n + 2*n = n. Suppose n*b - 28 = -2*b. Suppose -b + 74 = w. Is w a multiple of 12?
True
Suppose z = -4*u + 3*z + 4, -2 = 2*u - 2*z. Suppose -r + 0*r = -u. Is (2*2)/(r/24) a multiple of 16?
True
Let d = 18364 - 12958. Is 42 a factor of d?
False
Let p be 26 + (4 - 8/2). Suppose -25*s = -p*s + 52. Suppose 13*o + s = 14*o. Is o a multiple of 18?
False
Let a = 54 + -42. Suppose -5*t + a*t = 0. Suppose 3*p + 9 = t, 3*h - p = -3*p + 204. Is 35 a factor of h?
True
Suppose 10*t + 8*t - 24624 = 15*t. Does 54 divide t?
True
Is 24 a factor of 43 - ((-6)/(-4))/((-12)/40)?
True
Let j(p) = -p**3 - 6*p**2 + 14*p + 15. Let o = 136 + -146. Is 54 a factor of j(o)?
False
Let t(n) be the second derivative of n**5/20 + 11*n**4/12 - n**3 + 6*n**2 + 12*n. Suppose 0 = 8*m + 5*m + 104. Is 36 a factor of t(m)?
True
Let u(g) = 5*g + 25. Suppose -21 - 23 = 4*f. Let b be u(f). Does 22 divide b/(207/(-66) + 3)?
True
Let h(n) = -309*n - 37. Let r be h(10). Let f = 5656 + r. Suppose 6*a - f = -3*a. Is 43 a factor of a?
False
Suppose -4*n - 60 = -5*r, 2*r + 4*n + n = 24. Let h(l) = -974*l - 2908. Let a be h(-3). Suppose -a*w = -r*w - 374. Is 11 a factor of w?
True
Does 28 divide 24 + (-4617)/189 + 214623/7?
True
Suppose -z - 229 = -4*b - 28, 4*b = -3*z + 197. Suppose -20*w - 1050 = -b*w. Is 16 a factor of w?
False
Let l(n) be the first derivative of -11*n**2/2 - 9*n + 21. Is 5 a factor of l(-5)?
False
Let z be 2 + -2*4*-8. Let a = 698 - 536. Suppose j = a - z. Is j a multiple of 32?
True
Let f = -1131 + 2137. Is 69 a factor of f - ((-4)/22 - (-171)/(-209))?
False
Let h(i) = i**2 - i + 1. Let q(y) = -8*y**2 + 3*y - 3. Let z(j) = j + 12. Let x be z(-13). Let d(o) = x*q(o) - 6*h(o). Does 5 divide d(-3)?
False
Let h(w) = w**3 + 3*w**2 + 6*w - 7. Let x(u) = 2*u**2 - 37*u - 19. Let y be x(19). Suppose y = m + 3*c, 0 - 5 = -3*m - 4*c. Is h(m) a multiple of 22?
False
Let x = -21976 - -22390. Is x even?
True
Let o be (-27)/(-12)*(-10)/30*-4. Is 14 a factor of (-1 - -137)/(-1 + 9/o)?
False
Let w(o) = 20*o - 13189 - 3*o + 13234. Is 20 a factor of w(15)?
True
Let x(c) = -c**2 + c - 1. Let i(j) = -2*j**2 + 6*j + 5. Let a(m) = -i(m) + x(m). Let p be a(6). Let z(q) = -2*q**2 - q + 12. Does 10 divide z(p)?
False
Is 3 a factor of 2184/200 + -11 - (148577/(-25))/1?
True
Let h(n) = n**2. Let x(q) = 3*q**2 - q - 7. Let d(b) = 4*h(b) - x(b). Suppose 16*o - 159 = -31. Does 17 divide d(o)?
False
Let i(n) = -303*n - 211. Is i(-17) a multiple of 26?
True
Suppose -12 = f - 9*k + 4*k, -4*k + 9 = -f. Suppose m - 685 = -3*o, 0*o + 3*o - f*m - 669 = 0. Is 49 a factor of o?
False
Suppose 152*j = -5*w + 156*j + 3608, -2*j = -12*w + 8720. Is 13 a factor of w?
True
Let p be (1 + 80/3)*(-114)/(-38). Let x = p - 28. Is x a multiple of 12?
False
Suppose -7 = j + 5*r, -2*r + 7*r + 21 = -3*j. Is (-10)/(-3)*(5 - 278)/j a multiple of 26?
True
Let t = -46 - -46. Let q(n) = 4*n - 31. Let o be q(t). Let k = o - -50. Is 3 a factor of k?
False
Let d(r) = -r**3 - 6*r**2 - 4*r + 2. Let i be d(-5). Let q = 14376 - 14506. Is q/(-15)*(15 + i) a multiple of 8?
True
Let t(w) = 12*w - 7. Let u be t(1). Suppose 6*d - 61 = 5*d - u*b, -4*d - 2*b + 316 = 0. Is d a multiple of 6?
False
Let x be (-40)/(-16) + (-27)/(-6). Is 6 a factor of (138/x)/(((-21)/98)/(-3))?
True
Let c = -247 - 421. Let b = c + 1196. Does 48 divide b?
True
Let z(i) = i**2 + 8*i + 32. Let u be z(13). Suppose 32*w + u = 37*w. Is w a multiple of 4?
False
Let g(h) = 501*h - 2510. Does 35 divide g(15)?
True
Let c = 56120 + -38991. Is 7 a factor of c?
True
Suppose 5*u - 45 = -30. Suppose 5*z - u*z - 408 = 0. Does 39 divide z?
False
Suppose 0 = 5*l - 25. Suppose l*f - 28 = -h, -4*h + 3*h = -2*f + 7. Suppose f*u - 99 + 19 = 0. Does 16 divide u?
True
Let q(k) = k**3 + 43*k**2 - 24*k + 175. Is q(-18) a multiple of 14?
False
Suppose 2*j + 2 = 0, 0 = 4*a + j + 4*j - 259. Suppose -2*y = 3*i + 53, -a = 6*i - 2*i - 2*y. Does 9 divide (4 + i)*(-1)/(-2)*-2?
False
Let u(o) = -3706*o + 18085. Is 15 a factor of u(-14)?
False
Let x = -33 - -30. Let u be 3*x/(-6) + (-9)/6. Suppose 5*o - 70 - 235 = u. Is o a multiple of 27?
False
Suppose 8446 = 7*w - 3429 - 8145. Does 3 divide w?
False
Let w = -310 + 310. Suppose -4*f + 265 + 1878 = 5*c, w = -3*f + 5*c + 1581. Is 28 a factor of f?
True
Let h(w) = w**2 - 23*w. Let t be h(23). Let i = t + -16. Let q = i + 71. Does 15 divide q?
False
Is ((-1 - 7388/(-12))/(12/270))/2 a multiple of 3?
True
Let m(p) = -p**2 + 10*p + 11. Let h be m(10). Let r(s) = 0*s - 37 - 5*s + 12*s. Does 19 divide r(h)?
False
Let j(k) = -k**2 - 18*k + 18. Suppose f = 3*q + 37, 2*q + f + 14 + 9 = 0. Does 15 divide j(q)?
True
Let y(z) = 7544*z + 2482. Is 202 a factor of y(4)?
False
Let j(t) = -t**3 + 1. Let b(o) = -88*o**3 + 5*o**2 - 3*o - 7. Let r(q) = -b(q) - 5*j(q). Is 3 a factor of r(1)?
True
Let m be (8 + -8)*(-2)/(-4). Suppose 18*v - 378 - 180 = m. Does 4 divide v?
False
Let b = 5754 + -3450. Is 24 a factor of b?
True
Suppose -2*p = 2*f - 114 - 58, -2*f - 3*p = -176. Let x = f + 184. Does 11 divide x?
False
Let r(n) be the second derivative of -7*n**4/4 - n**3/6 + n**2 + 16*n. Let a(z) be the first derivative of r(z). Is 25 a factor of a(-3)?
True
Let j be 1*81 - (19 + -14)/1. Let c(m) = -m**2 - 4*m + 1. Let f be c(-3). Suppose j = 4*z - f. Is 9 a factor of z?
False
Let t(v) = 35*v**3 + 41*v - 123. Does 9 divide t(3)?
True
Let i(l) = 55*l**3 + 8*l**2 + 20*l - 70. Does 29 divide i(5)?
True
Let j(b) = b**3 + 12*b**2 - 34*b + 3. Let u be j(7). Let y = u + -509. Is 13 a factor of y?
False
Suppose -5*b = -14998 - 27517. Is b a multiple of 13?
False
Suppose -4*l + 1075 = 223. Let h = l + -207. Is h even?
True
Let o(z) = -2*z**2 + 7*z - 2 + 6*z**2 - 3*z**2. Let d be o(-7). Is 3 a factor of (2 - -2)*1*(d + 4)?
False
Let f be (-9)/((-22)/10 + 2). Let t = 1414 + -1334. Let n = t - f. Is 11 a factor of n?
False
Let q(w) = 40*w + 2029. Is 10 a factor of q(-42)?
False
Let m(a) = -a**2 - 1. Let n(r) = -9*r - 20. Let w(j) = -j - 22. Let t be w(-20). Let q(x) = t*m(x) + n(x). Is q(9) a multiple of 32?
False
Let j(w) = w**3 + 2*w**2 - 59*w - 44. Is 16 a factor of j(23)?
True
Let b = 221 + -214. Is 70 a factor of b + (-5063 - 1)/(-6)?
False
Let l(u) = 19*u**3 + 88*u**2 + 23*u + 60. Is 