 2*p = p + 215, -n*m + 2*p = -170. Is m a multiple of 8?
True
Let v = -1616 + 471. Let n = 1685 + v. Is n a multiple of 15?
True
Let q be (-34)/8*3/(-2)*8. Suppose -39 = -2*h + u, 0 = -2*h + 5*u - 0*u + q. Is 18 a factor of (-9)/h + (-219)/(-6)?
True
Is 34 a factor of 5/((-90)/(-12448)) - 80/(-180)?
False
Let z = -103 - -111. Let a(f) = 27 + 9*f - z*f - 4*f. Is a(-18) a multiple of 10?
False
Let k(l) = -1138*l - 554. Does 12 divide k(-4)?
False
Suppose -102*m + 93*m = 3951. Let s = m + 739. Is s a multiple of 14?
False
Let r(k) = 2*k**2 + 2*k - 40. Is r(19) a multiple of 20?
True
Let v(r) = r**2 - r + 1. Let f be (-8)/12 + 20/12. Let a be v(f). Does 46 divide 4/12 + (-766)/(-6)*a?
False
Suppose 0*z - y = 3*z - 8, -3*y + 2 = -2*z. Suppose 0 = -z*w + 11 - 1. Suppose -w*j = 4*u - 308, -2*j + u = -4*u - 110. Is j a multiple of 15?
True
Let v(w) = 14*w + 8. Let k(i) = 1. Let b = 74 + -75. Let a(o) = b*v(o) + 5*k(o). Is 7 a factor of a(-3)?
False
Let j = -134 - -139. Suppose -j*b + 42*b - 8954 = 0. Does 7 divide b?
False
Suppose 51 = 2*h + 229. Let j = -85 - h. Suppose -q + 2*q + 4*u - 218 = 0, 3*q = j*u + 718. Is 26 a factor of q?
True
Let d(m) = -7*m**3 + 44*m**2 - 13*m - 24. Does 30 divide d(-8)?
True
Let x(t) = 27*t + 29. Let h(d) = 52*d + 59. Let y(q) = 4*h(q) - 7*x(q). Is 9 a factor of y(3)?
True
Let v = -11193 + 16908. Is v a multiple of 15?
True
Let m(n) = -7*n + 8256. Let b be m(0). Is 26 a factor of b/40 - 4/10?
False
Is 184/138 - (-14824)/6 a multiple of 12?
True
Is 25 a factor of 50528/48*-42*1/((-12)/3)?
False
Suppose 14*d - 36 = 5*d. Suppose 0 = 2*q + 20 - 28, 584 = 5*z - d*q. Is z a multiple of 11?
False
Let i(z) = -z**3 + 11*z**2 + 43*z - 29. Let k be i(12). Let h = k - 18. Is 5 a factor of h?
True
Let c = 2311 - 1590. Suppose -p - 2*s = -507, 5*s - 1814 = -5*p + c. Is p a multiple of 13?
True
Let a be 4/18 + (-7 - 604/(-36)). Suppose -a*g - 35 + 1255 = 0. Does 3 divide g?
False
Let t(n) = -14*n + 157. Let x(l) = 869*l - 9735. Let f(z) = 374*t(z) + 6*x(z). Is f(-31) a multiple of 22?
True
Let f be (-6 + 2)*5/20. Let d(l) = -77*l + 30*l - 59*l + 3 - 29*l. Is d(f) a multiple of 46?
True
Suppose -5*i + 3*c + 217 = 0, -i + 2*c + 40 = -2*c. Suppose 0 = 6*r - 2*r - i. Suppose -b - r + 19 = 0. Is 7 a factor of b?
False
Let w(q) = 2*q**2 - 9*q + 2. Let c(o) = -6*o**2 + 28*o - 7. Let r(p) = 2*c(p) + 7*w(p). Let n be r(4). Suppose -81 = -n*t + t. Is t a multiple of 5?
False
Suppose 13*x - 18*x + 6062 = -m, 2*m - 1208 = -x. Is 12 a factor of x?
True
Let k = 12237 - 8394. Does 66 divide k?
False
Let k be 26/39 + (-170)/(-6). Let c = k - 54. Let t = c + 70. Is t a multiple of 15?
True
Suppose 2*v = -3*z + 63, 2*z + z + 4*v = 57. Suppose 1846 - 5871 = -z*r. Does 35 divide r?
True
Let y(z) = -9*z - 15. Let t be y(5). Let h = -58 - t. Suppose -h*w - o - 123 + 699 = 0, -5*o + 878 = 3*w. Is w a multiple of 27?
False
Let a = -228 - -401. Suppose -12*k - 36*k = -10464. Suppose -4*v + 0*l - l + k = 0, -3*v + 4*l = -a. Does 11 divide v?
True
Suppose 0 = -9*n + 1 - 1. Let l be 402 + n/(-1 + -3 + 5). Is 31 a factor of l*(-3)/(-6)*(-1)/(-3)?
False
Suppose 0 = 4*s + v - 15, 5*s - 2*v + 8 = 43. Suppose -1265 = -s*l + 5*a, 5*l = l + a + 1024. Let q = -66 + l. Is 39 a factor of q?
False
Let i(y) = y**2 - 13. Let b be (-5)/(-2) + (2 - (-35)/(-14)). Suppose -3*w + 7*z - b*z = 15, 4*w - z + 20 = 0. Is i(w) a multiple of 9?
False
Let g = -7268 + 14094. Is g a multiple of 15?
False
Let k = -83 - -83. Suppose 3*j - x = -4, k*j + 3*j - 12 = -3*x. Suppose -5*n + i = -659, 2*n + j*i = -5*i + 269. Is 12 a factor of n?
True
Suppose 3*b - 4*j - 16073 = 0, 0 = -2*b - 743*j + 741*j + 10692. Is b a multiple of 15?
False
Suppose 0 = 75*c - 13*c - 1252214. Is c a multiple of 37?
False
Suppose -1419 = -12*z + 669. Let g = z + 52. Is 19 a factor of g?
False
Let q(k) = 106*k + 1197. Is q(81) a multiple of 9?
True
Let h(m) be the second derivative of 2*m**5/15 - 7*m**4/12 + 7*m**3/2 + 2*m. Let t(q) be the second derivative of h(q). Is 10 a factor of t(10)?
False
Does 227 divide ((-1316)/(-70) + -15)*6205?
False
Suppose 0 = 142*j - 146*j. Suppose -4*h + 4*d + 125 + 243 = j, 5*h + 2*d = 453. Suppose 0 = -h*f + 86*f + 795. Is f a multiple of 45?
False
Let h(b) be the first derivative of 5*b**3/3 + 3*b**2/2 + 2*b - 84. Is h(-7) a multiple of 7?
False
Is 14 a factor of ((-14)/77*7)/((-19)/32813)?
True
Let s = -272 + 372. Suppose -5*k + 380 + s = 0. Is 16 a factor of k?
True
Suppose -5*r + 6*v = 2*v - 4280, -3*v + 2541 = 3*r. Suppose -7*n + 891 = -r. Suppose 0 = 5*z - 2*z - n. Is 14 a factor of z?
False
Suppose -3*m + 45529 = 2*p, -263*p - m = -261*p - 45523. Is p a multiple of 20?
True
Does 37 divide ((-4104)/(-760))/(3/1295)?
True
Suppose 278*t - 66*t = 1889842 + 647798. Is 126 a factor of t?
True
Suppose 3*w + 1128 = 2*w - z, 4*w - 5*z + 4539 = 0. Let j = w + 1657. Is 12 a factor of j?
False
Let o(b) = b**3 - 29*b**2 + 56*b - 59. Let s be o(27). Is (-3432)/s - ((-12)/30)/(-1) a multiple of 24?
False
Suppose 0 = 2*v - 4*q - 2*q - 83012, -83036 = -2*v + 2*q. Is 14 a factor of v?
True
Let d = -9 + 25. Let j be d + 3 + (-5 - -1). Suppose -3*s = -2*s - j. Is s a multiple of 9?
False
Suppose 0 = 17*a - 13*a - 76. Let d = 14 + a. Let n = d + 11. Is 13 a factor of n?
False
Let i = -223 + 225. Let l = 238 + i. Does 20 divide l?
True
Suppose 11*d - 33108 = 14764. Is 16 a factor of d?
True
Let m(z) be the second derivative of 0 - 20*z - 1/6*z**3 + 1/10*z**5 + 0*z**2 - 1/6*z**4. Is m(2) a multiple of 2?
True
Suppose -19286 = -5*p - 2*k, -11546 = 84*p - 87*p + 2*k. Is p a multiple of 47?
True
Suppose -42 = -2*v + 264. Does 2 divide v?
False
Suppose 2*l + 3*l + 4*p = -15, -l = -2*p - 11. Is 24 a factor of (-4)/6*(1 - l*310)?
False
Suppose f - 22 = 2*t, -5*f - 3*t - 3 + 48 = 0. Suppose -9 = -7*y + f. Suppose 0 = -5*d + y*d + 72. Is 3 a factor of d?
True
Let r(f) = f**3 - 13*f**2 + 2*f + 46. Let u be r(8). Let d = u + 400. Is 5 a factor of d?
False
Let g be (5/(-3))/(5/(-30)). Suppose -665 = -g*w + 2215. Is 8 a factor of w?
True
Let h(f) = 1382*f + 29. Is h(1) a multiple of 29?
False
Let z = -2 + 8. Suppose 14 + 4 = -z*h. Does 14 divide (h/18*-140)/(2/6)?
True
Let o(j) = 9*j**3 - 2*j**2 + 4*j - 3. Let y = -29 - -23. Let m be (-14)/y - (20/(-12) - -2). Does 23 divide o(m)?
True
Let p(g) = 958*g + 5581. Does 12 divide p(10)?
False
Suppose 0 = y + 4*y + 4*d + 53, -5*y + d = 68. Let x(j) = 2*j - 28. Let o be x(y). Let c = o - -60. Is 6 a factor of c?
True
Suppose 7*d - 8345 - 25955 = 0. Is 10 a factor of d?
True
Let j(s) = -3*s**2 - 5*s - 19. Let i(q) = 4*q**2 + 5*q + 18. Let m(w) = 5*i(w) + 4*j(w). Is m(-4) a multiple of 46?
False
Let o be (-4)/2 + (-2 - (-55 - 4)). Suppose 131 = 3*a - o. Is 62 a factor of a?
True
Let z(w) = w**2 - 15*w + 2. Let j be z(12). Let o = 37 + j. Suppose -o*i + 3*c + 360 = -2*c, -i + c = -120. Does 24 divide i?
True
Is 160 a factor of (-7 - (-421)/3)/(1/78)?
True
Let d = -6276 + 11092. Is d a multiple of 16?
True
Suppose 5*g - 11*g + 18 = 0. Suppose -1112 = -3*q + 2*h + 143, -4*q = -g*h - 1675. Is 5 a factor of q?
True
Let u(m) = 4*m**2 - 11*m + 2. Let o be u(3). Suppose 2*v + 387 = 4*w + 87, -2*w - o*v = -174. Let s = w + -66. Is s even?
False
Let o = -530 + 228. Let r(s) = -4*s**2 - 15*s - 252. Let z be r(-10). Let v = o - z. Is v a multiple of 17?
False
Let s(p) = 5*p**2 + 2*p + 12. Let n be s(-5). Suppose 3*z = 4*z - n. Is 11 a factor of z?
False
Let s = -13960 - -18873. Does 5 divide s?
False
Suppose -71 = -2*l + 5*g, -l - 23*g + 24*g = -34. Suppose y + v = 756, y + 4*y = -4*v + 3780. Suppose y = -l*c + 36*c. Is c a multiple of 47?
False
Suppose 2*m + 76988 = 159*w - 151*w, -2*m = -3*w + 28868. Is w a multiple of 24?
True
Let m(b) = -b**3 - 11*b**2 + 107*b + 2233. Is m(-17) a multiple of 3?
True
Let n(g) = 63*g - 779. Is n(18) a multiple of 13?
False
Let s be 122/14 + (-36)/(-126). Let i be (-17 - s)*-10 - (-2)/1. Let o = i + -51. Is o a multiple of 15?
False
Let f(g) = 428*g - 5123. Is 11 a factor of f(25)?
True
Let c = -32 + -2. Let n = c + 78. Suppose -i + 2*i - 2*b = 32, i - 5*b = n. Is i a multiple of 12?
True
Let z(o) = -2*o**2 - 15*o + 7. Let g be z(-7). Suppose -6*c + c = -190. Let i = c - g. Is i a multiple of 4?
True
Let t = 69 - 330. Is t/(((-57)/76)/((-1)/