*a - 5*m. Let f = -52 - a. Is f a multiple of 6?
True
Suppose 0 = 2*n + 4*r, 2*n - 20 = -2*n - 4*r. Let a be 8/n*165/6. Suppose -m - a = -3*m - y, -2*m = 5*y - 38. Is m a multiple of 2?
False
Let a = 799 + -248. Let b = a - 364. Is 11 a factor of b?
True
Suppose 59*l = -77*l + 848640. Is 48 a factor of l?
True
Let s = 267 + -293. Is -98*((-26)/(-143) - s/(-22)) a multiple of 13?
False
Let h(r) = r**2 + 24*r + 121. Let d be h(-17). Suppose -3*m - v - 26 = 0, 4*m - v + 44 = -0*v. Let w = d - m. Does 12 divide w?
True
Let b(k) = 6*k**2 + 7*k - 24. Let v be b(7). Let d = -153 + v. Is 19 a factor of d?
False
Let k(r) = -r**2 + 3*r + 4. Let a be k(3). Suppose 4*q + 3*w = q + 6, -2*q - a*w = -8. Suppose -4*f + 18 + 78 = q. Is f a multiple of 3?
True
Let c(h) = h. Let i(x) = x**3 - 2*x**2 + x - 4. Let j(p) = 2*c(p) + i(p). Is j(4) a multiple of 5?
True
Let k be 7/(-2)*-589 - (-4)/(-8). Let u be k + (4 - -1) - -4. Suppose 5*n + 2*s - u = -3*s, -2*s + 1237 = 3*n. Is n a multiple of 48?
False
Suppose 35 = -3*j - 10. Is 15 a factor of (-3828)/j + ((-96)/30 - -3)?
True
Let z(h) = h**3 - 16*h**2 - 17*h + 19. Let x be z(17). Let o = x - 9. Does 14 divide 2/o - 194/(-5)?
False
Suppose 0 = 3*s - 5*o - 1098, 0 = 5*o + 5 + 10. Does 19 divide s?
True
Let d(f) = -f**3 + 8*f**2 - 12*f + 5. Let l be d(6). Suppose 4*c - l = 4*y - 1, -2 = y - 2*c. Suppose -2*v = -0*v - 5*h - 308, y = -3*h. Does 11 divide v?
True
Let m be ((-18)/8)/(15/(-40)). Let w be 3/(-3) + 1/((-2)/m). Is 7 a factor of 2 + w - (0 - -3 - 43)?
False
Let g(b) = -3*b**2 + b + 28. Let f(t) = -4*t**2 + 28. Let x(a) = 2*f(a) - 3*g(a). Does 23 divide x(-16)?
True
Suppose 758778 = 270*a - 698158 - 748964. Is 156 a factor of a?
False
Suppose -20*n = 335*n - 10042240. Is n a multiple of 26?
True
Let i(l) = l**3 + 12*l**2 + 18*l - 17. Let k = 4 - 14. Let q be i(k). Suppose o = -h + 41, -q*o - 25 = -h - 0*h. Does 37 divide h?
True
Let c be ((-45437)/(-6) - -2) + (-24)/(-144). Suppose -3*j + c = 12*j. Is j a multiple of 17?
False
Suppose 4*c - 4*m - 1694 = 186, -5*c + 2348 = -3*m. Is 7 a factor of c?
True
Let f(d) = d**3 - 3*d**2 - d + 6. Let m be (15/25)/((-1)/(-5)). Let h be f(m). Suppose 4*i + 2*b = 24, -h*i - 24 = -5*i + 2*b. Does 4 divide i?
True
Let g = 13317 - -6703. Does 12 divide g?
False
Let k(m) = -3*m**2 - 22*m + 2. Suppose -38 = 11*x - 5. Does 5 divide k(x)?
False
Let w = 33580 + -11492. Is w a multiple of 44?
True
Let t(j) = -j**3 + 3*j**2 + j + 2. Let s be t(3). Let h be (234/(-255) - (-18)/153)*-5. Suppose h*p - 4*a - 288 = 0, 2*p = s*p - a - 218. Does 11 divide p?
False
Suppose 0 = 8*t + 4192 - 18936. Let u = t - 1145. Does 12 divide u?
False
Let l(d) = -2*d**3 - 77*d**2 - 149*d + 183. Is l(-37) even?
False
Suppose 2*y = -96*y - 14*y + 288176. Is 2 a factor of y?
False
Let i = -188 - -163. Is ((-344)/10)/(10/i) a multiple of 3?
False
Let h(i) = -9*i**3 - 2*i**2 + 5*i + 4. Let l be h(-3). Suppose 6*b + 1672 = 4*t + 4*b, 3*b = -6. Let f = t - l. Does 31 divide f?
False
Suppose -r + 2*k - 48956 = -5*r, -4*r + 2*k + 48964 = 0. Suppose -15*x + r = 19*x. Is x a multiple of 30?
True
Suppose 13*x - 51285 = -5*b + 8*x, -3*x + 18 = 0. Is 43 a factor of b?
False
Let f = -642 - -614. Is (144/f)/((-2)/224) a multiple of 12?
True
Suppose 40*n - 220 = 60*n. Let h(b) = -2*b**3 - 21*b**2 + 11*b + 10. Is 2 a factor of h(n)?
True
Let s(k) = -k**2 + 15*k - 11. Let y = -61 + 68. Let h be s(y). Let q = -16 + h. Does 20 divide q?
False
Suppose 0 = l + 2 - 8. Let i(z) = 23*z - 45. Is i(l) a multiple of 31?
True
Let g = 67462 + -40222. Is 40 a factor of g?
True
Let q be -1*(-5 - -6)*(1 + 1). Let j = 67 - 51. Is 23 a factor of 4766/j + q/(-16)?
False
Suppose -2*v + 45 = -51. Let w be ((-2)/1)/(12/2*(-115)/1725). Suppose 3*a - w*a + v = 0. Does 6 divide a?
True
Let b(i) = -i**3 + 19*i**2 - 19*i - 20. Let w(h) = h**2. Let q(c) = b(c) - 6*w(c). Is q(11) even?
False
Let i = 17556 + -9874. Is i a multiple of 23?
True
Suppose -4*j - 19*j = -9085. Let t = j - 252. Does 18 divide t?
False
Let q(i) = i**3 - 17*i**2 + 2*i + 22. Let h be q(17). Let z be (2 - 1) + h/(-8) + 8. Suppose z*v - 25 = 33. Is v a multiple of 5?
False
Suppose 229 = 4*x + 189*t - 188*t, 4*x - 5*t = 199. Does 3 divide x?
False
Suppose -2*j + 4*j + 1 = 3*i, 5*j - 3*i = 2. Let n(d) = d - 1. Let q(b) = 2*b + 12. Let m(c) = j*q(c) - 4*n(c). Is 17 a factor of m(-7)?
False
Suppose -17*c + 63099 = -278431. Does 205 divide c?
True
Suppose -34 = -h - h. Suppose 35 + h = 2*a. Suppose -r + 3*p + a = 0, -2*p = -5*r + 29 + 88. Is r a multiple of 23?
True
Let i(b) = -30*b**3 - 2*b**2 + 7*b + 18. Let o be i(-3). Suppose o = 3*r - 267. Is r a multiple of 22?
True
Let b(s) = -s**3 + 26*s**2 + 85*s + 62. Let a be b(29). Suppose 376 = v + 3*d, -a*d - 358 - 46 = -v. Does 33 divide v?
False
Suppose q = -z + 142, 2*q - 299 = -35*z + 30*z. Is 12 a factor of q?
False
Suppose -5*z + 115 = l, 4*l - 3*l = -z + 27. Suppose -7*f - 8 = -z. Suppose -11*b - f*b + 1404 = 0. Is 26 a factor of b?
False
Suppose 11*h = 18699 + 92511. Is h a multiple of 27?
False
Suppose 12 = -4*m + 228. Let f = m - 49. Suppose 190 = 4*h + c, -f*h = 2*c - 209 - 27. Is 16 a factor of h?
True
Suppose 4*x + 5*g + 24 + 19 = 0, -g = -4*x - 49. Let s be (x/(-14))/(1 - (-36)/(-42)). Suppose -s*o + 4 = -188. Is 32 a factor of o?
True
Let s(i) = 675*i + 422. Let j be s(5). Let f = j - 2558. Is 21 a factor of f?
True
Let b(a) = -2*a**3 - 16*a**2 + 23*a - 147. Is 129 a factor of b(-21)?
True
Suppose -4*z = -g + 3473 - 21609, 4531 = z - g. Suppose 3*k = 5*x + 2894 - 169, -5*k = -5*x - z. Is 6 a factor of k?
False
Let c = -14 - -14. Suppose q - 311 - 274 = c. Does 65 divide q?
True
Suppose 700*c = 664*c + 50580. Does 7 divide c?
False
Let y(n) = -5*n + n - 4*n + 3*n**3 - 11*n**3 - 8*n - 36 - 4*n**2. Does 52 divide y(-3)?
False
Let o(a) = 13*a**2 + 66*a + 80. Is 62 a factor of o(-46)?
True
Suppose -149*n + 262038 = -115*n. Is n a multiple of 154?
False
Suppose 0 = -5*b - 2*j + 1786, 345 = 2*b - 2*j - 361. Does 7 divide b?
False
Let u(y) = -3*y - 39. Let j be u(-17). Suppose -5*t + 48 = -j. Suppose -t = -w + 4*h + 2, 5*w + h - 112 = 0. Does 13 divide w?
False
Suppose 3*q - 24 = -105. Let g be 90/q*(-6)/5. Suppose -f + 1 = -g, 3*v - 815 = 5*f. Does 28 divide v?
True
Let x = 589 + -631. Is 23 a factor of 4347/x*(-4 - 6/3)?
True
Let r be (5 - 4) + (-47 - 1) + -2. Let t be 966/r - (-2)/(-7). Let b = -2 - t. Is b a multiple of 10?
False
Suppose -4742 = 12*r - 13958. Is r a multiple of 8?
True
Let a(d) = -d**2 - 20*d - 36. Let t be a(-16). Let v(k) = 4*k + 8*k + t + 34 - 15*k. Is 4 a factor of v(14)?
True
Let t(m) = -m - 10. Let u be t(-10). Suppose -9*g + 4222 - 622 = u. Is 38 a factor of g?
False
Suppose -135 = -x - 130. Suppose -f - 20 = x*y - 215, -4*f + 759 = -y. Does 38 divide f?
True
Let o(x) = -3*x**2 - 5*x - 19. Let g = -45 - -39. Let a be o(g). Let t = a + 139. Is t a multiple of 3?
True
Let g(q) be the first derivative of 4*q**3/3 - 20*q**2 - 11*q - 4. Does 9 divide g(20)?
False
Let m(o) = -o + 13. Let v(b) = 2*b**2 - 11*b + 5. Let a be v(5). Let k be m(a). Let f(n) = n**3 - 14*n**2 + 14*n + 17. Does 3 divide f(k)?
True
Suppose 5*j + 2*q = 255, 62 = 2*j - 2*q - 26. Is j even?
False
Suppose -3*h + 3*n = -27, -5*n - 5 = 2*h - 2. Suppose -h*v = 111 - 705. Is v a multiple of 9?
True
Let v(z) = 17*z + 563. Does 67 divide v(26)?
True
Suppose 3*t = 3*v - 23778, -v + 3*t + 0*t + 7938 = 0. Is v a multiple of 90?
True
Let d be -4 + (-7 - -5)*1. Let p(f) = -6*f + 98. Is 9 a factor of p(d)?
False
Let a(f) be the second derivative of -f**4/4 + f**3/2 + 3*f**2/2 + 20*f. Let u be a(3). Let q = u - -118. Is q a multiple of 21?
False
Let w(p) = 296*p - 3459. Is w(39) a multiple of 26?
False
Let l(z) = -z. Let a be l(10). Let c be (5 - 130/25) + (-2)/a. Suppose 4*y - 3*g + g = 244, c = -g - 4. Is y a multiple of 27?
False
Suppose -1 = 3*p - 1. Suppose -2*n = -3*z - 35, -4*z - 19 - 9 = 2*n. Is ((-58)/3)/(6/z) + p even?
False
Let z(a) = -a**2 - 86*a + 141. Does 41 divide z(-25)?
False
Let u(m) = 2*m - 12. Let l be u(-8). Let t be (-878)/4 - 42/l. Let f = -148 - t. Is f a multiple of 35?
True
Let w(t) be the third derivative of -73*t**5/60 - t**4/12 - 5*t**3/6 - 4*t**2. Let i(r) = 1. Let u(z) = -4*i(z) - w(z). Does 11 divide u(-1)?
False
L