-5*o = -5*r - 105, -440*r = -o - 438*r + 17. Let v(b) = 17*b**2 + 3*b. Let x be v(-3). Suppose 28*n - x = o*n. Is n a multiple of 16?
True
Suppose -55160 = -4*w + 4*p, 4*w - p = 6*w - 27562. Does 22 divide w?
False
Let u(o) = -31*o + 194. Let q be u(-32). Let m = -836 + q. Does 25 divide m?
True
Suppose -2*x - 331 = -5*a, a + 2*x = 30 + 41. Suppose 0 = -68*t + a*t + 518. Is 21 a factor of t?
False
Let n(x) = -15*x - 8. Let j be n(-1). Suppose -j*u - m + 387 = -5*u, -407 = -2*u + 3*m. Is 49 a factor of u?
True
Let c(n) = -214*n + 5. Suppose 2*l - 4*t = -6, -4*l - 6 = -3*t + t. Is c(l) a multiple of 48?
False
Suppose -5*z + 58 + 68 = k, 2*z = 3*k - 463. Let m = 189 - k. Is m a multiple of 4?
False
Let y = -12 + -28. Let r = y - -3. Let z = 66 + r. Is z a multiple of 5?
False
Let t(m) = -28 + 30 + 1 - 249*m. Is t(-5) a multiple of 52?
True
Let y(s) = -s**2 - 40*s - 82. Let m = -223 + 206. Is 4 a factor of y(m)?
False
Suppose 4*l + 5*p = -l + 25, -5*l - 3*p + 33 = 0. Suppose -l*v + 140 = -4*v. Does 5 divide v/(-10)*(-50)/4?
True
Let t = 43 + -26. Suppose t = 5*l + 2. Suppose 5*k = l*k + 332. Does 24 divide k?
False
Let u(x) = 23*x**2 + 19*x + 12. Let i(f) = -f**2 - 12*f + 23. Let k be i(-14). Does 6 divide u(k)?
True
Let k = 126 + -38. Suppose 3*l = -9*l - 516. Let o = k + l. Is 5 a factor of o?
True
Suppose -163 = f - 121. Is (-2842)/f + 10/(-6) a multiple of 7?
False
Suppose 2*q + a - 73744 = -3*a, -3*q - 12*a + 110652 = 0. Is 32 a factor of q?
False
Suppose 4*p - 199*h = -194*h + 23788, h = -3*p + 17841. Does 19 divide p?
True
Let g be -2*(-5)/10*-7. Let p(o) = o**2 + 7*o - 3. Let x be p(g). Is 5 a factor of ((-10)/35)/(x/231)?
False
Let q be 0/(3 - 0) - -225. Let b = q + -56. Suppose -2*o = -11 - b. Is o a multiple of 39?
False
Is 2 a factor of 0 + -12 + 358 + -132?
True
Let s(x) = x**2 - 2*x - 16. Let c(j) be the first derivative of -5*j**2/2 - 3*j + 16. Let i be c(-2). Is 4 a factor of s(i)?
False
Suppose 3*i + 39*h - 34*h + 2240 = 0, -752 = i - h. Is 12 a factor of 4/(-50) + (-32310)/i?
False
Suppose i - 5*m + 9*m = 52092, 208404 = 4*i + 4*m. Does 25 divide i?
False
Let w(a) = 7 - 3 - 2*a + 4*a + 0*a. Let j be w(0). Suppose -g + 98 = -j*x, 3*g + 3*x - 294 = 5*x. Is 14 a factor of g?
True
Let c = -316 - -422. Suppose -x - 2*j = -5*x + c, 76 = 4*x + 4*j. Is 24 a factor of x?
True
Let o = 20161 - 20159. Let n(r) = -r**2. Let q be n(0). Suppose q = o*t + 2*s - 154, 1 - 11 = -5*s. Is t a multiple of 25?
True
Suppose 4*v - v - 3*w - 192 = 0, -2*w + 238 = 4*v. Let p(b) = v*b + 6 + 23*b - 20*b. Is 20 a factor of p(2)?
False
Let m(o) be the first derivative of 5*o**3/3 - 5*o**2 + 6*o + 2. Let i be m(7). Suppose i = -7*r + 559. Is 9 a factor of r?
True
Let z(w) = 764*w - 174. Is z(1) a multiple of 7?
False
Let u(p) = -5*p**2 + 0*p**2 + 21*p**2 + p**3 - 27121 + 27152 + 13*p. Is 42 a factor of u(-7)?
False
Let u be 7/(-14 - 0)*(1 + -131). Suppose -583 = -3*y + u. Is 8 a factor of y?
True
Let g(s) = 5*s**2 + 5*s - 30. Suppose -21 + 10 = -c - 4*o, 5*o = 3*c - 33. Does 9 divide g(c)?
True
Suppose 2*f + 17 - 49 = 0. Suppose -448 = -23*x + f*x. Is x a multiple of 16?
True
Let w(d) = 25*d**2 - 156*d + 1704. Does 23 divide w(11)?
True
Suppose -71 = -3*v + i + 3*i, -3*i = -3. Let h = -23 + v. Suppose k + 153 = h*c, 73 = 4*c - 3*c + 3*k. Is 9 a factor of c?
False
Let o be 15/(-12) + 235999/76. Suppose -2748 = -11*l + o. Is l a multiple of 13?
False
Suppose 5*g = 5*v - 4*v - 6, -3*v + 3*g = -30. Let c(j) = j**3 - 10*j**2 - 12*j - 1. Let b be c(v). Let t = b + 48. Does 6 divide t?
True
Suppose 3*i + 23*v - 27420 = 25*v, 5*v + 9114 = i. Is 12 a factor of i?
True
Let a(n) = -2*n**2 + 45*n - 18. Let b be a(22). Suppose 2*u = -3*u - 2*c + 1314, -c + 1050 = b*u. Is u a multiple of 8?
False
Let r(h) = 2*h**2 + 3*h - 73. Let z be r(13). Is 17 a factor of z - 0 - (16 - 18)?
True
Let w = -342 - -47. Is 10 a factor of 7/((-7)/w) + 1*-5?
True
Let u be (-18)/(-2)*170/51. Is ((-86)/4)/(u/(-24) + 1) even?
True
Let h(b) = -4*b + 5. Let a(f) = -4*f + 6. Let c = 38 - 36. Let m(v) = c*a(v) - 3*h(v). Does 12 divide m(5)?
False
Suppose 6*i = 2*i + 72. Suppose k + i = 193. Suppose 12 = 3*v, -2*y + v - 23 = -k. Is 26 a factor of y?
True
Let c(t) = 2*t**2 - 89*t + 232. Is 52 a factor of c(58)?
False
Suppose 0 = y - 4*l - 59, 5*y = 2*l + 241. Let t(j) = j + 1. Let v be t(-1). Suppose -y + v = -p. Is 15 a factor of p?
False
Let o be (-12)/4 - 430*1. Suppose -6*c - 3*c + 5580 = 0. Let n = c + o. Is n a multiple of 42?
False
Let a(i) = i**3 - 12*i**2 - i + 14. Let d be a(12). Let h be d - -2 - 32/(-8). Does 26 divide ((-12)/h)/((-6)/404)?
False
Suppose 6*r = 4*i + r + 7, -3*i + r + 3 = 0. Suppose -2*d - i*k = -455 - 35, 2*d - 490 = 4*k. Is d a multiple of 11?
False
Suppose 2*u - 166 = 2*y, 0 = -u + 3*y + 2*y + 63. Suppose 5*t = 3*j - 135, 2*j = 9*t - 5*t + u. Is 10 a factor of j?
True
Suppose -4*k + 817 = -383. Let l = k + -62. Is l a multiple of 11?
False
Let t(w) = 13 + 39 + 108 + 231 + 19 + 21*w. Is t(9) a multiple of 12?
False
Suppose 0 = -4*h - 48*g + 44*g + 95056, 0 = 4*h + 5*g - 95052. Does 22 divide h?
False
Suppose 12 = -2*h + 4*w, 4*h - 8 = w + 3. Suppose -65 = h*z + 135. Is 3 a factor of (-1490)/z - (-4)/(-5)?
False
Suppose -38*v + 222 = -32*v. Let t(x) = -5*x + 12. Let z be t(-2). Let p = v - z. Does 6 divide p?
False
Suppose -n = -2*h + 16330, -30*h + 24494 = -27*h - 2*n. Is h a multiple of 45?
False
Let i(s) = s**3 - 2*s**2 - 24*s + 24. Let z be i(6). Is z/((-2136)/(-304) + -7) a multiple of 57?
True
Let i be (-9)/6*(-2 + 6) + 1079. Suppose 0 = -4*r + 1647 + i. Is r a multiple of 17?
True
Let g = 313 - 311. Does 6 divide g/(-26) + 171312/312?
False
Suppose -6*r - 6 = -8*r. Suppose -r*s = 5*x - 2*s - 341, -5*s - 89 = -x. Is x a multiple of 3?
True
Suppose -78*m - y = -77*m - 381, -5*m - y = -1929. Does 2 divide m?
False
Suppose 0 = 35*z - 26*z. Suppose 4*r - 11 + 3 = z. Is -1 + r - (-2 - (56 + -2)) a multiple of 9?
False
Suppose 2*s - 48 = 4*d, 3*d + 22 = 5*s - 21. Let v = d + 103. Is 6 a factor of v/6 - 2/(-3)?
False
Let o(s) = 4*s**2 + 26*s + 164. Is 29 a factor of o(-23)?
True
Suppose -77*d + 1526796 = 76*d - 45*d. Does 67 divide d?
True
Let n = -182 - -191. Suppose -59 = -5*m - n. Is 3 a factor of m?
False
Suppose 173983*j + 128408 = 173991*j. Does 141 divide j?
False
Let h(m) be the second derivative of m**4/12 - m**3/3 + 2*m**2 + 16*m. Let o be h(0). Suppose 4*p = -o*w + 72, -4*p - 62 + 2 = -2*w. Is w a multiple of 22?
True
Let r = -55 + -687. Let k = -521 - r. Does 11 divide k?
False
Suppose l - 3*q - 246 = 0, -3*l - l - 2*q = -1026. Suppose -l = -10*i + 7*i. Let y = 123 - i. Does 32 divide y?
False
Suppose -u + 3086 + 1162 = 3*a, 5*a + 4192 = u. Is u a multiple of 4?
False
Suppose -4*v = -2*n - 106522, -n = 11*v - 6*v - 133121. Does 19 divide v?
False
Let m be 1/4 + ((-183505)/(-4))/7. Suppose -m - 5326 = -11*l. Is 47 a factor of l?
False
Let c = 886 + -507. Suppose c = -3*q + 949. Is q a multiple of 19?
True
Let w be 8 + (-7 - (-6)/2). Suppose 50*l + w = 54*l. Is 8*((-8)/(-4) - l) a multiple of 5?
False
Suppose 0 = -2*h - o + 13, -h + 32 = 3*h - 4*o. Suppose 0 = -h*r + 28. Suppose 5*b = -r*l + 75, 5*b - 3*l = 58 + 52. Is b a multiple of 8?
False
Suppose u - 4*x = 1864, -1646*u + 1650*u + x - 7439 = 0. Is 10 a factor of u?
True
Let o(w) = 2*w - 10. Let m be o(7). Let u = 226 - 222. Suppose -3*r + 303 = m*f, 0*f - u*r = -f + 71. Is f a multiple of 13?
False
Suppose 548861 = 80*x - 324739. Does 60 divide x?
True
Let p(a) be the first derivative of 2*a**3/3 - 10*a**2 + 16*a + 10. Let o be p(14). Let y = o + -71. Is 19 a factor of y?
True
Does 6 divide 8716/(-18)*-8 - (35140/630 - 56)?
False
Let l be 19 + ((-69)/21 - 6/(-21)). Suppose 14 = 3*t + 2*y, 4*y - l = -3*t + 3*y. Suppose -12*z = -t*z - 318. Is 8 a factor of z?
False
Suppose 0 = -42*v + 32*v. Suppose v = 2*z - 5*b - 575 - 73, 3*z = -2*b + 972. Is z a multiple of 18?
True
Let f = -147 + 154. Suppose -f*j + 291 = -6*j. Does 13 divide j?
False
Let j = -266 - -3946. Is j a multiple of 16?
True
Let i be 23*2 + 3 + -10 + 3. Suppose 25*n + 1530 = i*n. Does 3 divide n?
True
Let d be ((-40)/5)/(((-25)/(-10))/(-5)). Let n = -9 - -13. Suppose -n*l + 3*i = -264, 3*i + 217 - d = 3*l. Is l a multiple of 4?
False
Let v(r) = 