 6 - 8 = 0, 15 = 5*c + j. Suppose -4*i = -c*i + g + 659, 5*g - 689 = 2*i. Does 6 divide 2/7 - i/14?
True
Suppose 0 = 17*d - 18*d + 250. Is 25 a factor of d?
True
Let y(z) = -2*z**3 + z**2 + 2. Let n(w) = -2*w**2 - w - 2. Let v be n(2). Let r be (-24)/10 + v/(-30). Does 19 divide y(r)?
False
Let o(i) = i**2 + i. Let l(u) = u**2 - 8*u + 8. Let h be l(6). Let x be o(h). Let t(w) = w**2 - 8*w + 9. Does 19 divide t(x)?
True
Suppose 2*h - 5*h = -4*r + 880, -3*h = -5*r + 1103. Suppose -282 - r = -5*t. Suppose t = 2*q - l, 2*q = -3*l + l + 98. Does 25 divide q?
True
Let g(z) = -5*z + 3. Let t be g(-5). Let u = 61 - t. Suppose -5*b = -k + u, 4*k + 5*b = 2*k + 21. Does 6 divide k?
True
Does 59 divide (59/(-3))/(39/(-3627))?
True
Let o(c) = 3*c**2 + c + 5. Is o(-5) a multiple of 5?
True
Suppose 5*v = -o + 18 + 6, -v = -3. Suppose o*s = 8*s + 18. Does 3 divide s?
True
Let k(d) = -d**3 - 10*d**2 - 53*d + 13. Is k(-13) a multiple of 27?
False
Suppose l - 3*l = -6. Suppose 2*q + l*t + 8 = 3, -5*q = 5*t + 5. Suppose -4*d - p + 68 = 0, -2*d - q*p = -5*d + 40. Does 6 divide d?
False
Let o(n) = -3*n - 5. Suppose -30 = 11*u - 8*u. Let v = u + 1. Is o(v) a multiple of 11?
True
Suppose 2*g = -2*g - 8. Let y(o) = -36*o - 8. Is y(g) a multiple of 16?
True
Suppose 16*a - 22*a + 1458 = 0. Is 8 a factor of a?
False
Suppose -4*o + 743 - 10679 = -7*d, 0 = -4*o + 4. Does 14 divide d?
False
Suppose 3*d + 2*k - 524 = -d, -4*d - 5*k = -518. Is 12 a factor of d?
True
Let x be -4*(30/(-8) + 3). Suppose 3*k + 3 = -0*k, 381 = x*n - 3*k. Is 34 a factor of n?
False
Let m be (-1)/(-5) - (-12)/(-10). Let s be 1 - -2 - (4 + m). Suppose z - 5*z + 204 = s. Does 17 divide z?
True
Let i be (-112)/24*(-6)/7. Suppose 1 - 5 = -i*r. Let w = 16 + r. Does 9 divide w?
False
Suppose 5*h + 3*d + 12 = 0, 0 = 2*d + 3*d - 5. Let z(o) = 4*o**2 - o - 3. Does 11 divide z(h)?
False
Let s(i) = i**2 - 5*i - 7. Let y be s(10). Let l = y - -5. Is l a multiple of 12?
True
Let z = 2 + 113. Is z a multiple of 16?
False
Let p = -154 + 147. Let h(z) be the second derivative of -z**3 - 4*z**2 + z. Does 17 divide h(p)?
True
Let g(o) = 14*o**3 + 4*o - 3. Let y(q) = -29*q**3 - 9*q + 7. Let c(l) = -7*g(l) - 3*y(l). Let d be c(1). Is 28 a factor of (d/(-10))/((-21)/(-560))?
False
Does 30 divide 4*(6 + 780/24)?
False
Let r(s) = s**3 - 6*s**2 - 23*s - 7. Is 2 a factor of r(11)?
False
Let p(r) = -35*r**2 - r. Let l be p(-1). Is 10 a factor of (l/10)/((-9)/45)?
False
Let z = -176 + 352. Is z a multiple of 21?
False
Suppose -5*j - 188 = -608. Suppose -2*b = -i + j + 19, 3*i + 2*b = 341. Does 25 divide i?
False
Let v = 4 - 2. Suppose 33*t = 26*t + 28. Suppose -t = v*w - 22. Is 3 a factor of w?
True
Let l(r) = 15*r + 65. Does 5 divide l(14)?
True
Let t(q) = -57*q + 3. Let s be t(-6). Let l = s + -205. Is l a multiple of 12?
False
Suppose -p + c = -6, 2*c + 2 + 6 = 0. Suppose -5*l - p*t = -455, 5*l + t = -0*t + 450. Does 5 divide l?
False
Suppose -147*n + 149*n - 166 = 0. Suppose s + 5*o - n = 4*o, -73 = -s + o. Is 13 a factor of s?
True
Let h = 85 + -119. Let x = h - -49. Does 5 divide x?
True
Let p = 64 - 45. Let n = 25 - p. Suppose -n*i - 20 = -7*i. Is 3 a factor of i?
False
Let f(k) = 4*k + 70. Let i = 34 - 34. Does 8 divide f(i)?
False
Suppose 5*z - 821 - 234 = -5*p, 20 = 5*z. Let k = -157 + p. Is 10 a factor of k?
True
Let c(y) be the third derivative of y**6/120 - y**4/12 - y**3/2 + 5*y**2. Let b be c(-2). Let h(n) = n**3 + 9*n**2 + 3*n - 10. Is h(b) a multiple of 28?
False
Let x(p) = p - 8. Suppose 27 = 4*u - u. Let s be x(u). Is (0 - -2)/(s/28) a multiple of 14?
True
Suppose -i + 37 - 34 = 0. Suppose -i*o + 5*o - 4 = 0. Suppose 0 = -f - 4*v + 32, 0 = -5*f + 6*v - o*v + 112. Is f a multiple of 8?
True
Let s = 1628 + -1376. Does 14 divide s?
True
Suppose 103*c - 114*c + 14630 = 0. Is 35 a factor of c?
True
Let i = 5915 - 3771. Is 16 a factor of i?
True
Suppose 0 = 3*r - 6*r + 12. Suppose r*l + 25 = 2*h + 3*h, l = 0. Is 4 a factor of h?
False
Let k be 13 - 9 - (54 - 1). Let l = k - -58. Is 3 a factor of l?
True
Let q(g) be the first derivative of g**3/2 + 10*g**2 + 10*g - 4. Let f(z) be the first derivative of q(z). Is 19 a factor of f(12)?
False
Suppose 2*i + 57 = 5*o, 2*o + 0*i = 5*i + 27. Suppose -25*q = -o*q - 308. Does 3 divide q?
False
Let i = -196 - -826. Does 70 divide i?
True
Suppose -2*x - 4*b - 4 = 0, 6*b - b + 23 = 2*x. Suppose -x*o - 2*o + 168 = 0. Does 28 divide o?
True
Suppose -1019 = -3*v - 3*y + 1222, 0 = 3*v + 4*y - 2241. Is v a multiple of 83?
True
Let b(z) be the first derivative of z**3/3 + 3*z**2/2 - 2*z + 22. Is 26 a factor of b(4)?
True
Suppose -5*w - 309 = -h, h + 4*h - 1437 = -2*w. Does 6 divide h?
False
Does 17 divide (3 - 0) + (-266)/(-2)?
True
Let c be -2*(-2)/10 - (-514)/(-10). Let p = c - -129. Is 7 a factor of p?
False
Suppose -2*s + 142 + 102 = c, 4*c + 512 = 4*s. Suppose u - 362 = 3*x, 0*x = -x - 3*u - s. Let l = 180 + x. Is 14 a factor of l?
False
Suppose -31*l + 25*l = -4128. Is l a multiple of 14?
False
Suppose 934 = 13*i - 470. Does 18 divide i?
True
Let t(g) = -g + 15. Let z be 4*9/(-2 + 5). Let i be t(z). Is (3 - 36)/(i/(-2)) a multiple of 11?
True
Let m = -34 - 7. Let c = m - -57. Does 4 divide c?
True
Let t = 319 - 255. Is 16 a factor of t?
True
Suppose 5*s + 3*q - 750 = -91, s - 4*q = 118. Suppose 3*c = 71 + s. Is 10 a factor of c?
False
Let k(v) = -4*v + 5*v**2 + 201 - 201 + v**2. Let w be (2/1)/1 - -2. Is k(w) a multiple of 12?
False
Let u = 255 + -383. Does 32 divide 0 - -1 - (u + (2 - 1))?
True
Suppose -5*l = 2*s - 583, l - 2*s - 452 = -3*l. Suppose 0 = 2*z - 4*z + 5*g + 74, -5*g = 5*z - l. Is 3 a factor of z?
True
Suppose -5*s - 20 = -9*s. Suppose -3*q + j + 3*j + 192 = 0, -s*q - j = -297. Is q a multiple of 20?
True
Is (0 - 2)/(80/(-6560)) a multiple of 14?
False
Suppose -4*t + 189 = g, 4*t + 105 = -5*g + 986. Is g a multiple of 22?
False
Suppose 24*y + 12 - 60 = 0. Suppose -2*j + 3*j = 51. Suppose -m + j = y*m + 5*f, -4*m + 5*f + 68 = 0. Does 17 divide m?
True
Let v(o) = 32*o - 52. Is v(12) a multiple of 30?
False
Suppose 2*i + 6 = -i. Let t be ((-2)/3)/(i/126). Is 10 a factor of ((-14)/(-4))/(7/t)?
False
Suppose 23 = -p + 36. Suppose -2*s + 83 = -p. Is 24 a factor of s?
True
Let q(f) = -4*f**2 + 7*f - 1. Let x(w) = w**2 + w - 1. Let n(o) = -q(o) - x(o). Is n(3) even?
False
Let o(l) be the third derivative of l**6/180 + l**5/120 - 5*l**4/12 - l**2. Let u(z) be the second derivative of o(z). Is u(9) a multiple of 14?
False
Let v(x) = 3*x + 17. Let j be v(-5). Suppose -2*z + 5*y + 132 = -48, -3*z + j*y = -248. Does 10 divide z?
True
Let i = -273 - -763. Does 55 divide i?
False
Suppose -34*p = 10*p - 4180. Is 6 a factor of p?
False
Let w = -23 + 123. Does 16 divide w?
False
Let z = -592 - -1260. Suppose -2*b - z = -3*h, -4*b + 0*b + 204 = h. Is 20 a factor of h?
True
Does 8 divide -2 + 525 + 6 + -1?
True
Let h(c) = 43*c + 23. Is 29 a factor of h(2)?
False
Suppose -6*l + 8*l - 6 = 0. Suppose 233 = z - 5*v - 233, -l*z + v = -1328. Is 63 a factor of z?
True
Let d(r) = -14*r - 367. Is d(-31) a multiple of 26?
False
Let u(v) = v**3 + 4 + 6 - 3 + 9*v**2 - 6*v - 4. Let b be u(-9). Suppose -4*k + 7*k = b. Is 5 a factor of k?
False
Let l(v) = 8*v - 53. Let x(o) = -o**2 + 12*o - 16. Let u be x(6). Is l(u) a multiple of 11?
False
Suppose 1059 = z + z + 3*o, 5*z - 2590 = 4*o. Suppose 4*p - 4*v = -v + z, -3*p + 3*v = -390. Is p a multiple of 12?
True
Let k be (-18)/(-3)*9/2. Let r = 30 - k. Suppose r*x + 222 = 3*a, a + 3*x = 8*x + 86. Is 15 a factor of a?
False
Let o be 2 + 392/((-10)/5). Let t be o/((0 + 5)/(-5)). Let v = t - 127. Does 13 divide v?
False
Let r = -427 + 479. Does 26 divide r?
True
Let t = 49 + -46. Suppose 3*y + 7*g = 5*g + 691, 0 = 5*y + t*g - 1150. Does 43 divide y?
False
Suppose 4*b = 3*b + 3. Suppose -265 = -5*s + u, -b*s + u + 167 = 2*u. Is s a multiple of 7?
False
Let v(k) = k**3 + 51*k**2 + 55*k + 375. Does 4 divide v(-50)?
False
Suppose 2*z = -r + 3*r - 960, -1920 = -4*r - 4*z. Is 30 a factor of r?
True
Let w = 612 - 434. Let t = 393 - w. Is 28 a factor of t?
False
Suppose -3*i + 73 = -4*c - 122, 0 = -2*c + 6. Suppose -i = -h + 8. Is 36 a factor of h?
False
Let k(s) be the first derivative of s**4/4 + 10*s**3/3 + 5*s**2/2 + 16*s - 3. Does 26 divide k(-8)?
Tr