i(o) = -o + 16. Let s be i(18). Let z(q) = 23 - 83*q - 8 + 10 + 87*q. Is z(s) a multiple of 2?
False
Let o = -188 + 139. Let n = 53 + o. Suppose -4*y - j + 650 = 0, n*j = -5*y + 3*y + 332. Does 9 divide y?
True
Let w(z) = -8*z - 76. Let n be w(23). Is 13/(n/(-8))*800 a multiple of 8?
True
Suppose -16*v = -21*v + 35. Is 31 a factor of (v + (-291)/15)*-30?
True
Let b(h) = h**2 - h. Let x(v) = -v + 1. Let m(s) = 2*b(s) - x(s). Let j be m(-1). Suppose j*w = -3*u + 5*w + 216, 2*w - 325 = -5*u. Is u a multiple of 10?
False
Suppose 1536*v + 479640 = 1592*v. Does 45 divide v?
False
Suppose 11560 = -h + 6*h + 5*f, -4*h - 2*f = -9244. Let w(v) = h*v - 2308*v - 17 - 1. Does 4 divide w(17)?
True
Suppose -3*o + 13 = 5*x, 21 = 2*x + 3*o + 23. Suppose 3*f = -0*z - x*z + 633, -3*z = 3*f - 633. Does 21 divide f?
False
Is 20 a factor of (248/6)/(((-3)/(-39))/(1590/1378))?
True
Suppose t + 0*t = 3*z + 418, 1243 = 3*t + 2*z. Let i = t - 235. Does 16 divide i/14*14/3?
False
Let p = 826 + -374. Is p a multiple of 4?
True
Let l(b) = -b**2 - 1. Let r(o) be the first derivative of 3*o**3 + 5*o**2/2 + 7*o - 19. Let f(u) = 5*l(u) + r(u). Is f(6) a multiple of 16?
True
Let j(x) = 5795*x**2 - 149*x + 150. Does 21 divide j(1)?
True
Let z(y) = -y**2 + 11*y - 12. Let v be z(9). Suppose 3*r - 3 = v. Suppose -3*j + 507 = -2*g, 4*g = -r*j + 7*j - 672. Is 44 a factor of j?
False
Let c = 10091 - 6880. Suppose c + 6887 = 6*w. Is 17 a factor of w?
True
Let a(z) = 10*z - 12. Let n be a(5). Suppose -5*w - n + 278 = 0. Let f = 50 - w. Is f a multiple of 2?
True
Suppose -11*x = -8*x - 4*o - 3, -3*o = -5*x - 6. Is 23 a factor of 426 - 39 - (-1 + x)?
True
Let o be 1772/34 - 68/578. Let u = o - -355. Is 30 a factor of u?
False
Let y = -123 + 127. Is -1*18317/(-26) - 6/y a multiple of 36?
False
Is ((-96)/(-40)*(-620)/(-6))/(2/17) a multiple of 9?
False
Let l(j) = j**2 + 11*j - 7. Suppose 0 = -11*q + 13*q + 12. Let u be l(q). Let g = u + 67. Does 5 divide g?
True
Let r(g) = 4*g**3 + 3*g**2 + g + 2. Let n be r(4). Suppose -5*s - n = -2*w + 246, 0 = w + 4*s - 278. Is 11 a factor of w?
False
Suppose -5*p + 3774 = -2*p. Suppose -b - p = -5*w + 3*b, 3*b - 9 = 0. Is 35 a factor of w?
False
Let j = 377 + -279. Is 43 a factor of ((-1290)/21)/((-14)/j)?
True
Suppose 6*k - 2*k = -2*h + 6, -4*h = k + 9. Suppose a + 2 = -1, 0 = -k*j + 3*a + 2352. Does 11 divide j?
True
Suppose 2*p + 0*o - 70 = -5*o, 61 = p - 4*o. Let x = p + -41. Suppose -5*c = -2*n - 27, c - x*n = 7 + 2. Is 4 a factor of c?
False
Let o be 10/(-14) + 8 + 406/(-49). Let n(m) = m**3 + m**2 - 1. Let i be n(o). Is (-32)/(i + (5 - 1)/12) a multiple of 16?
True
Let h = 21 + -23. Let x be -3*(9 - h - -4). Let k = -12 - x. Does 11 divide k?
True
Let q(n) be the third derivative of 0*n + 27*n**2 - 3/2*n**4 + 0 - 19/6*n**3. Is 28 a factor of q(-5)?
False
Suppose 20 = -8*z + 6*z. Let b be (z/(-40))/(1/36). Suppose b*w = 475 + 65. Does 6 divide w?
True
Let i(p) = 20*p**3 + p**2 - 2*p - 1. Let l be i(-1). Let c = 14 - l. Let y = 84 + c. Is y a multiple of 13?
False
Let m be 5/(-5)*11 - 0. Let t = 35 + m. Suppose 1356 = -18*x + t*x. Is x a multiple of 36?
False
Let m(c) = c**3 - 8*c**2 - 36*c + 2854. Does 2 divide m(0)?
True
Suppose -200*l - 7350 = -230*l. Is l a multiple of 2?
False
Does 88 divide -20 + -21 + 47 - -14315?
False
Let k = -51 - -56. Suppose 0 = -k*o + 7 + 18. Is 5 a factor of (5/3)/(92/18 - o)?
True
Suppose -20 = 5*w - 30, -w - 1673 = -g. Is g a multiple of 13?
False
Let w(b) = 26*b + 5. Let p be w(3). Suppose l + 10*q - p = 5*q, 0 = l + 3*q - 89. Does 3 divide l?
False
Is (6 - (-11657 + (-24)/3))*1 a multiple of 20?
False
Suppose 4 + 1 = -3*h - 2*o, -2*h - 10 = 3*o. Let k be (0/1 - 6/h)/(-2). Suppose w - 84 = -5*n, -k*w = 3*n - 51 + 3. Does 16 divide n?
False
Suppose -232 = -10*d + 48. Is 21 a factor of (-889)/d*(-32)/2?
False
Suppose -25*h - 42919 + 88169 = 0. Is 9 a factor of h?
False
Let f(s) = s**2 - 41*s - 53. Let a(u) = -u**2 + 21*u + 26. Let l(d) = -11*a(d) - 6*f(d). Does 13 divide l(-4)?
True
Suppose 32091 + 26049 = 6*f. Is 21 a factor of f?
False
Suppose -6*c + 5*d - 45708 = -10*c, c + d = 11428. Is c a multiple of 12?
False
Let o = 580 - 308. Does 47 divide (11 + -5)*(o/12 - -2)?
False
Let w = 26 + -29. Let d be 120 + -2 + 2 + w. Suppose d = 9*n - 8*n. Does 27 divide n?
False
Let i(h) = 125*h**2 + 212*h + 92. Is 53 a factor of i(14)?
True
Let f(l) = -l**3 - 11*l**2 - l + 12. Let p = -29 + 17. Let r be f(p). Let h = -23 + r. Is h a multiple of 23?
False
Suppose -4*s = 2*a - 16, 5*s + 7 = 6*a - 7*a. Let y(t) = -12 - t + 6*t + 16*t - t**2. Does 21 divide y(a)?
True
Let u = 65 - 61. Suppose 2*x - 262 = i - 33, -128 = -x - u*i. Does 10 divide x?
False
Suppose -59935 = -2*o - 4*o + 45041. Does 129 divide o?
False
Let y = -13038 - -14336. Does 11 divide y?
True
Let c = -23829 + 47719. Does 106 divide c?
False
Let v(h) = 33*h**2 - 12*h - 9. Let y = 185 - 189. Is v(y) a multiple of 27?
True
Let k(y) = y**2 - 26*y + 4. Let g be (-27)/12*3*-4. Suppose 0 = d + 3*f - g - 7, d - 20 = 4*f. Does 6 divide k(d)?
True
Let b = -2255 - -2785. Does 116 divide b?
False
Let o = -380 + 390. Suppose o*v + 297 = 11*v. Is 9 a factor of v?
True
Suppose -5*j - 2 = s + 18, -2*j = 8. Suppose -5*g = 4*w - 595, s = -3*g + w - 3*w + 359. Is (-1)/(-2 + (243/g - 0)) a multiple of 6?
False
Let y(h) = -2979*h**3 + 3*h**2 - 2*h - 4. Let b be y(-1). Suppose -18*c + b + 4508 = 0. Is c a multiple of 46?
False
Let w = 1147 - 701. Is 65 a factor of w?
False
Let p(z) = -z**2 - 6*z - 1. Suppose -52 + 0 = 13*i. Let y be p(i). Suppose x + 5*s = 152, y*s - 3*s - 412 = -3*x. Is x a multiple of 44?
True
Let i(q) = -10*q - 15. Suppose 2*z - 2*v = -2, -8*v + 7*v - 17 = 2*z. Does 15 divide i(z)?
True
Let c = 14235 + 29616. Does 311 divide c?
True
Let b(r) = 233*r - 14. Let i be b(-3). Is (-16)/64 + i/(-4) a multiple of 4?
False
Let v(b) = b + 147. Does 2 divide v(66)?
False
Suppose -2*j + 45 = m + 5, 0 = 4*j + 4*m - 80. Suppose -6*c + j + 154 = 0. Is c even?
False
Let v(r) be the third derivative of 23*r**4/24 - 7*r**3/3 - 2*r**2 - 41*r. Does 17 divide v(7)?
False
Let v(n) = n + 2. Let z(u) = 31*u + 56. Let l(q) = -6*v(q) + z(q). Is 15 a factor of l(6)?
False
Let g = 2651 + -1163. Suppose 5*q + g = 4*r, 3*r + 9*q - 11*q - 1123 = 0. Does 13 divide r?
True
Let n(q) be the second derivative of q**4/6 - q**3/6 - 5*q**2/2 - 18*q. Let h(f) = -f**3 + 8*f**2 + 18*f + 17. Let i be h(10). Does 16 divide n(i)?
True
Let p = 8217 - 5109. Does 6 divide p?
True
Let n = -319 + 319. Let l(j) = -j**3 + 2*j**2 + 144. Is 12 a factor of l(n)?
True
Let a = -46152 - -75327. Does 75 divide a?
True
Suppose 0 = 39*i - 34*i - 26*i + 1030764. Does 14 divide i?
True
Let g(w) = 15*w**2 + 4*w - 160. Is 48 a factor of g(16)?
True
Let b(d) = -d**2 - 11*d - 7. Let h be b(-10). Suppose 2*f = 3*y + 2 - 4, -5*y = 5*f - 20. Suppose 5*n = h*w - 260, -184 = -w - w - f*n. Is 6 a factor of w?
True
Let x(m) = -5*m + 13. Let i be x(-3). Suppose -8 = 10*j - i. Suppose -15 = 5*l, -v + 3*l - j*l = -170. Is v a multiple of 19?
False
Let h = 8773 + -6598. Does 75 divide h?
True
Suppose -h - 42 = -8*h. Let i(v) be the third derivative of v**4/8 + 19*v**3/6 + 9*v**2. Is 21 a factor of i(h)?
False
Suppose -15*q + 698 = -2*j - 12*q, 3*j = q - 1054. Let l = 854 + j. Does 33 divide l?
False
Let k(n) = -n**3 + 13*n**2 + 7*n - 57. Let o be k(13). Suppose -1670 = -39*x + o*x. Is x a multiple of 14?
False
Suppose 2*q - 4 = 2*l, -q = 3*l - 6*q + 12. Suppose 39*r + 13196 = 35*r - 13180. Does 39 divide (-4)/6*r/28 - l?
True
Suppose 771*r + 4551 = 808*r. Does 21 divide r?
False
Let q = 59 - 57. Is (-19 + 16)*(q - (-133)/(-3)) a multiple of 26?
False
Let g = 11 - 267. Let j = g - -354. Is j a multiple of 15?
False
Suppose 2*f - 30 = -2*m, -4*f - 36 = -2*m + 18. Suppose 0 = -2*c + 5*b - 2*b + m, -3*c + 4*b = -29. Is c a multiple of 11?
True
Suppose 3*l + 5*q = 44, l - 9 - 1 = -4*q. Suppose -5*c + 5*i + 10 = 0, 2*c = -2*c - i + l. Suppose 792 = c*g - 104. Is 28 a factor of g?
True
Let b be 0/1*(-1)/(2 - 1). Suppose b = 2*h + 2 - 4. Is h*(1 + 13)*1 a multiple of 8?
False
Let o = 30891 + -18782. Is 8 a factor of o?
False
Suppose 0 = 139*q + 10402 - 169001. Is q a multiple of 3?
False
Let u be (-2 - -2)/(2/2). Suppose 8*i - 16*i = u. Does 3