(q) = 26*q**2 - 1. Let x be g(-2). Let p = x - 58. Suppose -5*l = -h + p + 128, -5*l = 5. Does 12 divide h?
True
Let u(g) = -34*g + 38. Let k(m) = -11*m + 13. Let r(n) = 17*k(n) - 6*u(n). Does 73 divide r(9)?
True
Does 6 divide (-2 + (-16268)/35)/(6/(-90))?
True
Let j(w) = -6*w**2 + 6*w - 20. Let c(n) = -5*n**2 + 6*n - 19. Suppose 5*a = 3*d + 35, -3*d - 4*a = -8*d - 41. Let g(b) = d*c(b) + 4*j(b). Does 2 divide g(7)?
True
Suppose 19*f + 15*f - 3876 = 0. Let u = f + -60. Does 51 divide u?
False
Let l be 3/((-9)/519)*-1. Let t = l + -380. Let x = t + 383. Does 16 divide x?
True
Let l be (-139029)/396 - 2/(-24). Let x = 557 + l. Does 16 divide x?
False
Let g = -352 - -367. Suppose -g*d + 4*d + 8184 = 0. Is d a multiple of 88?
False
Let m(z) = 9*z**2 - 21. Let v(p) = -p**2 - p - 1. Let b(r) = -m(r) + 2*v(r). Let d be b(-9). Does 25 divide d/(-14) - 6/(-2)?
False
Let c = 17 + -18. Let m be 5949/(-45) - c/5. Let f = -88 - m. Is f a multiple of 12?
False
Suppose 5859*n = 5854*n + 46525. Does 121 divide n?
False
Let j(p) = -p**3 + 14*p**2 - 22*p + 10. Let q be j(9). Let z = q - 117. Let n = z + -69. Does 20 divide n?
False
Let l = 104 - 102. Suppose -z + 5*q = -109, 3*z + l*q = 19 + 223. Is 21 a factor of z?
True
Let n = 236 + 65. Suppose 4*k + n + 287 = 3*x, -2*k - 198 = -x. Is x a multiple of 16?
True
Suppose -3*r = -6*r - 3*d - 48, 3*r + 5*d = -40. Does 18 divide r/4 + (0 - -59)?
True
Let k be 0 + -8 - -12 - (-1916)/1. Suppose -2*d - 2*d + k = 0. Is d a multiple of 30?
True
Suppose o = 4*c + 607, -2*o + 2488 = 2*o - c. Let i = o - 203. Is i a multiple of 7?
True
Let v = 100 - 98. Suppose v*p - 198 = -p - 5*r, 0 = -5*r. Does 2 divide p?
True
Suppose -449992 = -30*a + 78308. Does 184 divide a?
False
Suppose 3*r + 4*n - 84 = 0, -8*r - 3*n + 28 = -7*r. Suppose 0 = -u - r + 41. Does 24 divide (u/11 + (-4)/22)*263?
False
Suppose 8*q - 3*i - 90317 = 0, 0*q = -5*q + 3*i + 56456. Is q a multiple of 64?
False
Is (-56496)/40*(-75)/30 a multiple of 33?
True
Is 44 a factor of (10976/588)/((-1)/(-861))?
False
Let g = 511 - 504. Suppose -g*f = -2*f - 5*u - 75, 3*f = -4*u + 10. Does 2 divide f?
True
Let n(j) = 25*j**3 - 14*j**2 + 24*j - 76. Is n(8) a multiple of 82?
False
Suppose r + 5159 = 6*r + 4*z, 5*z = 5. Does 29 divide r?
False
Let m = -10157 + 18380. Is 49 a factor of m?
False
Let z(k) = 82*k**3 + 2*k**2 - k. Let c be z(1). Let q = -79 + c. Suppose q*s - 432 = -28. Is s a multiple of 14?
False
Let o = 27732 + -10847. Does 35 divide o?
False
Let d = 69 - 67. Suppose 5*g + d*g = -63. Is 13 a factor of 6*2/g*-60?
False
Let c(h) = -h**2 - 28*h - 78. Suppose -3*l + 2*l - 27 = 5*z, -42 = 2*l - 2*z. Does 27 divide c(l)?
True
Let m(l) = -l**3 + 21*l**2 - 92*l + 19. Let o be m(15). Let b = -78 - -114. Let a = b + o. Does 5 divide a?
True
Suppose 0 = 3*o - 2*g - 3059, -126*o + 129*o = -3*g + 3054. Does 50 divide o?
False
Let o(d) be the third derivative of 127*d**4/24 - 7*d**3/6 - 3*d**2 - 11*d. Does 28 divide o(4)?
False
Suppose 17*b = 21*b - 28. Suppose -b*r + n = -4*r - 3407, 0 = r - 3*n - 1133. Is r a multiple of 71?
True
Suppose 4*m = -a - 1249 - 65, -2*m - 2*a = 654. Let l = -296 - m. Is 2 a factor of l?
False
Let l(r) = -18*r - 5. Let p be l(-3). Suppose -31 = -4*h + 4*f + p, -h - f + 12 = 0. Suppose h = a + 1. Does 5 divide a?
True
Suppose 3*s = -4*v - 0*s + 1222, -3*v + 908 = -2*s. Let g(j) = j**3 + 10*j**2 + 21*j + 209. Let u be g(-10). Is v/8 + 1 + u a multiple of 7?
False
Let m(g) = 53*g + 30. Let q(d) = d**3 + 5*d**2 + 5*d - 2. Let p be q(-4). Let r be m(p). Let a = -57 - r. Is a a multiple of 33?
True
Suppose 2*i - 9 = -i + j, 9 = 3*i - 4*j. Suppose -2*v - i*y = 2*y + 27, -4*y = 4*v + 60. Is 17 a factor of v/(-6)*261/6?
False
Let q(t) be the first derivative of -115*t**4/4 - t**3/3 - t**2/2 - t - 29. Let d(g) = g**3 - 7*g**2 - g + 6. Let c be d(7). Is q(c) a multiple of 19?
True
Let p = 24841 - 16536. Is 3 a factor of p?
False
Suppose -5*o - 530 + 550 = 0, 0 = 3*y + 5*o - 2276. Does 188 divide y?
True
Suppose -13*c - 14730 = 2*s - 10*c, 2*s = c - 14730. Does 9 divide s/(-39) + (-20)/(-130)?
True
Let s be 1 + 2/(-14) + 536/28. Let h be (1 - s/12)/(8/(-276)). Suppose -2*l + 3*a + 16 = -h, 3*l = a + 41. Does 3 divide l?
True
Let i(s) = 21*s - 1. Let v = 114 + -113. Let u be i(v). Suppose -52*q + u = -51*q. Does 20 divide q?
True
Let h = 716 - -262. Let u = h - 756. Does 9 divide u?
False
Let i = 9486 + 13876. Does 64 divide i?
False
Suppose 0 = 15*f + 33507 - 129837. Does 6 divide f?
False
Suppose 0 = -21*v + 2541 + 4515. Does 73 divide 8/(-7) - -1 - (-180144)/v?
False
Let n be (-1 + (-3)/(-2))*-8. Let g(p) = 2*p**2 + p. Let s(y) = y**3 + 11*y**2 - 2*y - 14. Let u(a) = -2*g(a) + s(a). Is u(n) a multiple of 10?
True
Let m = 729 + -740. Let p(g) = 13 + 1 + 6 - 4*g. Does 8 divide p(m)?
True
Let j(o) = o**2 + 57*o - 1549. Is 4 a factor of j(25)?
False
Suppose -2*i - 1 = -9. Let x be (0 - (-4)/(-16)) + 5/i. Let h = 62 - x. Does 6 divide h?
False
Let z be ((-7)/(-5) - 1)*-10. Let y(p) be the third derivative of p**5/15 - p**4/3 - 10*p**3/3 + 618*p**2. Is 32 a factor of y(z)?
False
Suppose -o + 4*p + 4108 = 0, -o + 4108 = p + 4*p. Is o a multiple of 52?
True
Let x = -5465 + 7935. Does 14 divide x?
False
Let r(v) = v**3 - v**2 - v - 21. Let n be r(7). Let l be n/8 - (-1 - (-10)/8). Let k = 2 + l. Is 18 a factor of k?
False
Suppose 6*o + 0*o = -22140. Is (2/(-4))/(15/o) + 6 a multiple of 30?
False
Suppose 0 = -21*p - 69 + 993. Suppose 0 = p*s - 53*s + 1386. Is 14 a factor of s?
True
Let o(w) = 13 + 21*w**2 + 52*w - 33*w - 2*w**3 - 19*w**2. Is 3 a factor of o(-5)?
False
Does 29 divide 760/56 + -14 + 40728/21?
False
Let h = 3159 - 2416. Is h a multiple of 54?
False
Let n = 3381 - 1082. Is 10 a factor of n?
False
Suppose 3*r = -18, r - 221069 + 7480 = -5*o. Does 17 divide o?
False
Suppose 0 = -3*s - 3*s - 1236. Let q = s - -554. Let k = q - 214. Does 20 divide k?
False
Let h(k) = 46*k**3 - k**2 + k - 1. Let p be h(1). Let j be 11/4*(32 + -8). Let o = j - p. Is 9 a factor of o?
False
Suppose -4*u = 2*x - 45980, 3*u = 6*u - 2*x - 34513. Does 11 divide u?
False
Let z = 517 - -427. Let y = z - 547. Does 7 divide y?
False
Suppose 0 = d - 4 - 6. Let x(h) = 3*h - 6 + 4*h + 10 - d. Is 8 a factor of x(10)?
True
Is (-7)/(42/20)*(-7254)/4 a multiple of 52?
False
Let d(o) = -4*o**3 - o**2 - 4*o - 2. Let t be d(-1). Suppose 0 = t*m, -22 = -b - 4*m + 10. Does 4 divide b?
True
Let a(i) = 66*i - 46. Let d(p) = 44*p - 31. Let g(o) = 5*a(o) - 7*d(o). Let s be g(10). Suppose -3*q - 21 = -s. Is q a multiple of 14?
False
Let t(m) = 214*m**2 + 36*m - 18. Is 84 a factor of t(3)?
True
Let o be ((-4)/(-8))/((-4)/(-32)). Suppose 7*m - 344 = -o*u + 3*m, -4*u - 3*m + 343 = 0. Let c = u - 7. Is 18 a factor of c?
False
Let q = 23862 - 11256. Is 33 a factor of q?
True
Suppose -149*b + 322*b - 3395817 = 0. Is 14 a factor of b?
False
Let k(c) = 1017*c - 510. Does 208 divide k(14)?
True
Let x = 19 + -14. Suppose -x = 7*w - 33. Suppose -12 = w*p, 5*q - 734 = 2*p - 3. Is q a multiple of 25?
False
Suppose 26*l - 104393 = -28161. Is 30 a factor of l?
False
Let j(o) = 15*o**3 + 58*o**2 + 3*o - 22. Is j(11) a multiple of 22?
True
Let v(y) = 27*y - 11. Let j be v(4). Let h = 46 - j. Let d = 8 - h. Is 15 a factor of d?
False
Suppose 0 = 39*m - 43*m + 2*o + 46254, 0 = -3*m - o + 34683. Is m a multiple of 74?
False
Suppose 200429 = 152*z - 85483. Is 57 a factor of z?
True
Suppose 15*w - 12*w = 42. Suppose 2*b - 688 = -w*n + 16*n, -n - 2 = 0. Does 18 divide b?
True
Suppose 4*s - 55210 = -m + 6*m, 9*m - 69104 = -5*s. Is 10 a factor of s?
True
Let i(p) = -p**2 + 1. Let r(a) = -27*a**2 + a - 22. Let v(l) = -6*i(l) - r(l). Let k(x) be the first derivative of v(x). Is 13 a factor of k(2)?
False
Let j = -52811 - -97109. Is 23 a factor of j?
True
Let n = -14159 + 31974. Does 20 divide n?
False
Let f(g) = -36*g**2 + 36*g - 12. Let q(a) = 54*a**2 - 54*a + 18. Let w(p) = -8*f(p) - 5*q(p). Is 19 a factor of w(3)?
True
Suppose 0 = -3*s + 4*m + 40134, -552 = -2*m - 564. Is 18 a factor of s?
False
Let o(t) = 3*t**3 - 11*t**2 - 41*t + 81. Is 14 a factor of o(10)?
False
Let a(s) be the third derivative of s**6/120 - s**5/30 - s**4/8 - s**3/3 + 11*s**2. Let t be a(3). Let f = 28 + t. Does 3 divide f?
False
Suppose 8489328 =