uppose -3*g = 4*q + 25, -5*g - 5*q + 9 = -7*g. Is 4 + (g + 6)/(3/(-942)) a multiple of 8?
False
Let f(v) = -v**3 + 3*v**2 - 2*v - 1. Let o be f(2). Let x(k) = 21*k**3 - 3*k**2 - 2*k + 1. Let h be x(o). Does 32 divide ((-560)/h)/((-3)/(-18))?
True
Suppose -5*c = -6*c - 24. Let l = 157 - c. Suppose f = 4*s - 363, -s - s + l = -f. Is s a multiple of 7?
True
Let d(a) = a**2 + 2*a + 556. Let g be -26 + 22 + 16/4. Does 5 divide d(g)?
False
Let x(p) = 148*p - 136. Let r(i) = 147*i - 134. Let c(a) = -5*r(a) + 4*x(a). Is c(-3) a multiple of 9?
False
Let z(v) = -4*v + 11*v + 0*v - 2 - 11*v**2 + 10*v**2. Let p be z(6). Suppose -p*f + 121 + 79 = 0. Is 25 a factor of f?
True
Suppose 37*h = -3*h + 10*h + 673200. Is 165 a factor of h?
True
Suppose -197*p = -175*p - 803066. Is 80 a factor of p?
False
Suppose 0 = 1149*x - 481*x - 22701312. Is 125 a factor of x?
False
Suppose 2*w - 34368 = -3*x, x - 11710 + 220 = 5*w. Does 20 divide x?
True
Let q be (-170)/(-20)*-14 - -2*2. Let m = q - -166. Is m even?
False
Let c(g) = g - 5. Let a be c(8). Suppose -5*f + t + 128 = -t, 29 = f + a*t. Let u = f - -12. Is u a multiple of 8?
False
Let n(j) = -2*j + 33. Let o be n(15). Suppose y - o = 0, a + 2*y - 215 = -56. Is 9 a factor of a?
True
Let r = -19692 - -39730. Is 22 a factor of r?
False
Let x(h) = 33*h**2 - 7*h + 4. Let p(g) = 2*g**2 + g - 11. Let l be p(3). Let z(s) = s**3 - 12*s**2 + 21*s - 8. Let o be z(l). Does 19 divide x(o)?
False
Suppose -25155 - 19015 = -5*x - 9*x. Is x a multiple of 17?
False
Suppose -2*k - 188*f = -183*f - 61214, -5*f - 61274 = -2*k. Is k a multiple of 251?
True
Suppose 3*w - 7 = 5. Suppose -5*a + 2*i - 8 = -a, -2*a - i = -w. Suppose a = -v - 3*v + 164. Does 6 divide v?
False
Is 4 + (-60)/18 + -9 + 25840/30 a multiple of 52?
False
Does 5 divide 30948/(-360)*-10 + 1/3?
True
Let i = -566 + 8326. Is 20 a factor of i?
True
Let t(q) = q**2 - q + 518. Let k be t(0). Suppose 22 = -5*w - k. Let m = -71 - w. Is 25 a factor of m?
False
Suppose -72*u + 70*u = -2*i + 5268, 2*i + u = 5259. Is 3 a factor of i?
True
Let z(o) = -o**3 - 2*o**2 - o + 3. Let k be z(0). Suppose -h - 2*h + k = 0. Is (h/(-2))/(0 + 3/(-102)) a multiple of 11?
False
Let r(u) = u**2 - 19*u - 38. Let q be r(21). Suppose -z + q*a + 285 = 0, -z - a + 138 = -142. Is z a multiple of 22?
False
Suppose -3*u = -2*r - 90086, -23*r + 21*r + 90070 = 3*u. Is 73 a factor of u?
False
Let b be 36/2 - (-6 + 15 + -7). Suppose 0 = 3*q - b + 1. Suppose -2*t + 608 = q*n, -t = 5*n - 3*n - 243. Does 28 divide n?
False
Let l = -586 - -577. Let x(h) = -h**3 - 2*h**2 + 11*h + 36. Is 56 a factor of x(l)?
True
Is (-27 - 3)*-67 + -6 a multiple of 6?
True
Let o(u) = 186*u + 388. Does 2 divide o(-2)?
True
Suppose -5*n + 5 = -5. Is (374/(-11))/(-3 + n) a multiple of 11?
False
Let a(s) = 5*s**2 - 2*s - 16. Let m(l) = -l - 19. Let p be m(-24). Suppose -5*z - 62 = 3*j - 22, -5*j = -p*z. Is 17 a factor of a(z)?
True
Let a(l) = 33*l**2 - 41*l - 622. Is 89 a factor of a(-13)?
False
Is 1 + -5 + (-60024)/(-32) + 7/28 a multiple of 36?
True
Let o(x) be the second derivative of x**4/12 - 13*x**3/3 - 47*x**2/2 - 24*x - 1. Is o(34) a multiple of 25?
True
Suppose -3*f + 26781 = 3*m, 5*f = -4*m - 0*f + 35703. Does 77 divide m?
True
Suppose g + 3 = -5*d - 3*g, -5*d = 2*g + 9. Let j = 30 + d. Suppose -28*i = -j*i - 58. Is i a multiple of 12?
False
Let g(q) = -4*q - 25. Let t be g(-5). Let i be (11/3 + -3)*(t - 1). Is 46 a factor of (-822)/(-3) - (i + 7)?
False
Let g = 107 - 107. Suppose a = g, -5*k - 5*a + 595 = -4*a. Does 8 divide k?
False
Let p(c) = -c + 14. Let a be p(7). Suppose -14*l = 11*l - 17*l - 136. Suppose -3150 = a*i - l*i. Is i a multiple of 35?
True
Suppose 27*z - 2364 = 24*z. Let c = z + -386. Does 17 divide c?
False
Let v(s) = 56*s**2 + 55*s - 650. Does 51 divide v(10)?
False
Let s = -386 + 388. Suppose 5*m + s*m = 4263. Is m a multiple of 71?
False
Let l be (93/248 - 13/(-8))*6. Suppose l*s - 14*s + 3673 = 5*y, 4*y - 2944 = 4*s. Does 49 divide y?
True
Let q(d) be the first derivative of 16*d**3/3 + d**2 + 3*d + 1. Let p = 2107 + -2104. Does 17 divide q(p)?
True
Let s be (-60)/(-5)*(-4)/(-16). Suppose -720 = -14*v + 11*v + 3*z, -s*z = -4*v + 958. Is 24 a factor of v?
False
Suppose 5*h - 334 = 11. Let m be 36 + 0 + 1 + (119 - 124). Let d = h - m. Is 7 a factor of d?
False
Suppose -42*x = 122*x - 35*x - 2920044. Is x a multiple of 106?
False
Suppose 4*u - l - 9724 = 89454, -4*u = -3*l - 99182. Is 137 a factor of u?
False
Let q(s) = -8*s + 14. Suppose -5*f - 4*d = -12, -3*f = f - 4*d + 12. Let v be (-204)/17*(2/3 + f). Does 14 divide q(v)?
False
Let f(h) = h**3 + 2*h**2 - h + 1. Let a be f(-2). Suppose -4*k + 7*k + 4*n - 633 = 0, -a*k = -2*n - 633. Is 5 a factor of k?
False
Let h(l) be the second derivative of l**5/20 - 23*l**4/12 - 10*l**3/3 - 8*l**2 - 3*l - 7. Is 4 a factor of h(24)?
True
Let n = 741 + -679. Let u = 24 + -82. Let t = n + u. Does 3 divide t?
False
Suppose -78*n + 114052 = 32*n + 32212. Is 62 a factor of n?
True
Let j(m) = -115*m**3 + 3*m**2 + 49*m + 146. Does 113 divide j(-5)?
True
Let p(c) = 113*c - 4274. Is 10 a factor of p(150)?
False
Let b be (4 - (-2 + 10)) + 8/2. Suppose 0 = y + 4*n - 541, -y - 3*y + n + 2096 = b. Does 40 divide y?
False
Suppose 0 = 4*z - 995 - 589. Suppose 2*j - z = -2*j. Does 15 divide j?
False
Suppose 4*k - j - 519 = 0, 5*k - 660 + 10 = j. Suppose 5*c + 325 = -5*r, 0 = -0*c + c - 2*r + 65. Let u = k + c. Does 11 divide u?
True
Let c be (-6)/4 - 10755/(-18). Is 12 a factor of (-1)/(2/c*-2)?
False
Suppose -3 = -3*w - 12. Let t = 10 + w. Suppose -1232 = -t*u - u. Is u a multiple of 36?
False
Let q be 4/(-30) + (-1370)/(-150). Let a(r) = -4 + r**2 + 13*r - 5 + 3. Is a(q) a multiple of 14?
False
Let n(c) = 1004*c**2 + 21*c - 10. Is 44 a factor of n(2)?
True
Suppose 4*f = -5*a + 31908, 6*f + 31929 = 5*a + 3*f. Suppose 32*r = 4*r + a. Does 57 divide r?
True
Suppose 152 = -2*a + 5*a - 2*g, -5*a + 232 = 2*g. Let t = 178 - -110. Suppose 3*u + a = t. Is 12 a factor of u?
False
Let b(z) = -32*z + 68. Suppose 0 = -5*t - n + 35 - 103, 0 = -5*n - 15. Is 44 a factor of b(t)?
True
Suppose 0 = -162*d + 294361 + 215249 + 17538. Does 55 divide d?
False
Let v = 432 + 461. Suppose -2*n + 3*a = -862, -v = -3*n - 3*a + 415. Is n a multiple of 62?
True
Suppose 4*t - 6*s = -3*s - 83, 4*s = -12. Let y(k) = -k**3 - 23*k**2 - 5*k - 20. Does 10 divide y(t)?
False
Suppose 8*a - 102579 - 137206 = -5*a. Does 24 divide a?
False
Suppose -71 = 4*h + 13. Let w(y) be the first derivative of y**4/4 + 7*y**3 - 3*y**2/2 - y - 1. Does 26 divide w(h)?
False
Let p(b) = 8*b + 26. Let v be p(-3). Suppose 600 = v*z + l, 4*z - 9*z = 5*l - 1490. Is z a multiple of 32?
False
Let n = -17044 + 63214. Does 54 divide n?
True
Suppose 117*u - 112*u = 5865. Is 23 a factor of u?
True
Let y(q) be the third derivative of q**6/120 - 7*q**5/20 - 11*q**4/12 - 15*q**2. Let r be y(22). Suppose c - 3*c + 108 = r. Is 9 a factor of c?
True
Let d be (-2)/13 + (-1 - 327/(-13)). Let a = -31 + d. Let f(c) = 2*c**2 + 3*c - 22. Is 13 a factor of f(a)?
False
Does 21 divide -8 + 14 + -5 - -6778?
False
Suppose 0 = -x - 4*r + 3901, -3*x - 13*r + 11716 = -14*r. Is x a multiple of 71?
True
Suppose -1690823 - 392981 = -78*l + 422882. Is 242 a factor of l?
False
Suppose 2*p - 1 + 0 = 3*x, 0 = 5*p - 5*x. Let u(k) = -5*k**2 + k - 8. Let f be u(4). Does 2 divide p/(-3)*f/(-4)?
False
Let p = -253 - 52. Let i = 423 - p. Does 12 divide i?
False
Let q(u) = 78*u**2 - 3*u + 11. Let k be q(4). Suppose -13*l - k = -5160. Suppose 14*r = 7*r + l. Is 13 a factor of r?
False
Let n = 5057 + -4626. Does 6 divide n?
False
Let m(s) = 2*s**3 + s**2 + 75*s + 9. Does 57 divide m(9)?
True
Suppose 3*n = -7*n - 30. Let q(y) = -84*y - 32. Is q(n) a multiple of 20?
True
Suppose 6416 = -258*j + 262*j + 2*h, 4*j - 2*h - 6424 = 0. Does 258 divide j?
False
Suppose 0 = -5*g - f + 4*f - 99, -f = -g - 21. Let n be -5*g/4*36/10. Let m = n + 30. Is 15 a factor of m?
False
Let n = 333 - 613. Let i = -145 - n. Does 9 divide i?
True
Let u(o) be the second derivative of o**4/12 - 13*o**3/3 + 27*o**2/2 + 24*o. Let w be u(25). Suppose 6*z + h = w*z + 153, z - 42 = -4*h. Is z a multiple of 19?
True
Let m = 911 - 21. Suppose -m - 2302 = -12*a. Does 5 divide a?
False
Let r = 7196 + -3719. Does