f q?
True
Let j = 57714 + -19585. Is 13 a factor of j?
True
Let f = -27 - -15. Let n(u) = u**2 + 18*u + 3. Let z be n(f). Let a = 74 - z. Is 41 a factor of a?
False
Let x = 262 + -260. Let h(j) = 129*j**2 - 2*j - 1. Does 13 divide h(x)?
False
Suppose -g + 193515 = 3*y - 4*g, -g - 193505 = -3*y. Is ((-2)/5 - 0)*y/(-30) a multiple of 86?
True
Let s(g) = 13*g - g**2 - 15*g + 21 + 2*g**2 + 6. Let d = -28 + 16. Is 30 a factor of s(d)?
False
Let x(k) = -160*k - 4. Let b be x(-1). Suppose 60 = 8*z + b. Let d = 14 + z. Is d even?
True
Let w be 0 + (-8)/32 + 6/(-8). Does 12 divide -2 + 6 - w*184?
False
Let z(u) = 5*u + 21. Let f(w) = 1. Let s(c) = 3*f(c) - z(c). Let g be s(-4). Suppose -3*h = 4*m - 26, -3*h - g*h = m - 66. Is h a multiple of 5?
False
Let n(l) = 2*l**2 + l - 23. Let q be n(5). Is 5 a factor of (-3)/(-8) + 2580/q?
False
Suppose -4*p + 17*p - 509159 = -36*p. Does 25 divide p?
False
Let a be (2/(-3))/(161/84 + -2). Let y be (-3 + 3)/(-4*4/a). Suppose -5*b + y*b + 143 = -2*u, -u - 4 = 0. Is 7 a factor of b?
False
Let t = -2291 - -4205. Does 174 divide t?
True
Suppose 0 = 3*q, 171*w - 5*q = 175*w - 12600. Is 90 a factor of w?
True
Let g = -258 + 369. Let y = g - -71. Let k = -89 + y. Is k a multiple of 25?
False
Let a = -12484 + 16495. Is 141 a factor of a?
False
Suppose -j + y - 3 = 0, -4*j + 2*y + 1 = 7. Suppose j = 4*t + 65 - 209. Is 9 a factor of t + (-2)/(4/6)?
False
Let a = -8175 - -11612. Is a a multiple of 8?
False
Let a(k) = -k**3 + 30*k**2 + 128*k + 24. Is a(-32) a multiple of 20?
False
Suppose -c + 2550 = -4*u, -8485 = -4*c + u + 1760. Is 11 a factor of c?
False
Let v(a) = 7*a**2 - 12*a - 176. Is 40 a factor of v(-30)?
False
Let f = -36 + 39. Is 16 a factor of ((-1632)/(-3))/(f + -1)?
True
Suppose -5*m - 15 = -2*m, -4*q - 5029 = -3*m. Let t = -789 - q. Is 59 a factor of t?
True
Let q be ((-1)/(-2))/(-4*(-1)/7608). Let t = 657 - q. Is 8 a factor of (-7 + t/(-12))/((-2)/(-20))?
False
Let c(i) = 9*i**2 + 3*i + 6. Suppose q = -50 + 53. Suppose q*x + 170 = 164. Is c(x) a multiple of 6?
True
Suppose 0 = 105*s - 109*s + 7020. Is 15 a factor of s?
True
Let z(x) = 12*x**3 - 2*x - 2. Let h be z(3). Let m = h - 225. Is 13 a factor of m?
True
Let b be (-4)/3 + 12/9. Suppose 0 = -4*v - b - 8. Is 16 a factor of (v - 54/(-3))*2?
True
Let d(y) = 3*y**3 - 3*y**2 - 3*y. Let w be d(4). Let b = 180 - w. Does 8 divide b?
True
Let i = -98 - -89. Let t be i/((-1)/(5 + (-8)/2)). Suppose 0*j - t*j = -1323. Is j a multiple of 26?
False
Suppose 180622 = 43*s - 15*s + 18222. Does 20 divide s?
True
Let w = -2794 + 4355. Let b = -931 + w. Is b a multiple of 14?
True
Let d = -21 + 24. Let b = -55 - -120. Suppose 58 + b = d*f. Is f a multiple of 12?
False
Let z(x) = x**2 - 20*x - 380. Is z(36) a multiple of 98?
True
Suppose 0 = 2*n - 5*n. Suppose -3*f - 2*f - 1355 = n. Let g = 381 + f. Is g a multiple of 22?
True
Suppose 0 = 4*b - 20, -33 = -l - 4*b - b. Suppose -l*a + 195 = -3*a. Is 6 a factor of (-26)/a + 104/3?
False
Let g = -3538 - -4990. Does 87 divide g?
False
Suppose 3*h = w + 8, 46*h - 4*w = 42*h. Let t be (-572)/(-3) - (-8)/(-12). Suppose -h*n + 346 + t = 0. Does 19 divide n?
False
Suppose 4*g + 5*i + 577 - 4336 = 0, -5*g = 2*i - 4686. Is g a multiple of 78?
True
Let w(u) = u**3 + 11*u**2 - 4. Let r be w(-11). Let x be (r + 12/4)/((-1)/(-2)). Is 4 a factor of x - -16 - (-2 - -1)*1?
False
Suppose -g = -3*x + 2*g + 183, 5*x - 4*g - 300 = 0. Suppose -2*o + i + x = -9, 4*o = 4*i + 132. Is o a multiple of 8?
True
Suppose 5*u + 13 = -9*i + 11*i, 0 = -u + 3*i. Does 10 divide 7/((-14)/(-258)) - (2 + u)?
True
Suppose 20 = -4*p + 6*p. Suppose p = -5*b, 2*b + 950 = -h - h. Let o = -336 - h. Does 12 divide o?
False
Let i = 460 - 91. Suppose -23*o = -i - 2092. Does 4 divide o?
False
Suppose 2*a = 4*z + 18, -a - 2*z = 2*z + 9. Let j be 0 - (a + 42) - 0. Let o = -13 - j. Is 12 a factor of o?
False
Is -7 + (5 + 6/2 - -14574) a multiple of 67?
False
Let o(g) = -g**3 - 5*g**2 + 36*g + 54. Let w = -117 + 107. Is 97 a factor of o(w)?
True
Suppose x - 4*x = -12. Suppose 35 - 15 = x*g, -2*w = g - 5. Suppose p - 2*c - 134 = w, -2*c + c = -p + 137. Is p a multiple of 26?
False
Let b = 183 + -273. Suppose -11*m = -0 + 66. Let v = m - b. Is v a multiple of 21?
True
Let h(t) = -2*t + 6. Let u be h(3). Suppose 0 = -d - 5, u*q = q - d - 31. Is q even?
True
Suppose 261*z - 263*z = -1394. Let f = z + -355. Is f a multiple of 19?
True
Let l(i) = 4*i + 0*i - 14*i - 48 - 9. Let y be l(-7). Suppose 10*w - y*w + 855 = 0. Is w a multiple of 46?
False
Suppose 1464 = 15*z - 3951. Is 24 a factor of z?
False
Suppose -3*q = 4*a + 4, 5*a + 4*q - 3 + 9 = 0. Suppose a*m - 360 = 6*m. Let g = m - -107. Does 17 divide g?
True
Suppose -64*u - 45*u - 45*u + 1052436 = 0. Is 9 a factor of u?
False
Suppose -4*z + 5*r + 83 = -64, -3*r = 9. Suppose -q + z = -70. Does 61 divide q?
False
Is 333 a factor of (25 - (-981)/(-36))*-24272?
True
Suppose 0 = -15*y + 55*y - 378200. Is y a multiple of 155?
True
Is 17 a factor of ((-54)/(-135) + (-7)/5)*-72092?
False
Suppose -4*b = 4*w - 60068, -7246 = -3*b - 2*w + 37814. Is 44 a factor of b?
False
Let x(f) be the third derivative of f**6/60 - 2*f**5/5 + f**4/2 + 7*f**3/2 + 2*f**2 + 47. Is x(12) a multiple of 28?
False
Let j(i) = -i**2 + 18*i + 10. Let c be j(18). Suppose -5*h = -c, 2*h + 8 = 5*y - 163. Let q = 55 + y. Is 33 a factor of q?
False
Let u = 934 - -13. Does 7 divide u?
False
Let v = -70 + 73. Suppose v*d + 151 = 496. Let p = -76 + d. Is p a multiple of 14?
False
Suppose -5602 = -5*o + 14*x - 17*x, -2*o + 5*x = -2247. Does 19 divide o?
True
Let y be (15 - 39/3)/(2/(-10)). Is (-10)/(80/(-56)) - y a multiple of 17?
True
Let k = -93 - -95. Suppose -4*u + 4*p + 744 = 0, 182 = u - 0*u - k*p. Is u a multiple of 34?
False
Let p(q) = -q**3 - 3*q**2 + 12. Let c be p(0). Suppose -o - c = -13. Does 3 divide (o - 0)*(13 - -12)?
False
Let w = -5569 + 5905. Does 18 divide w?
False
Let p be (42/63)/((-2)/(-195)). Suppose -p*n - 7136 = -73*n. Is 79 a factor of n?
False
Suppose -z = 2*z - 54. Let g(i) = -19*i**2 + 0 + 21*i + 20*i**2 - 5*i - z. Is 30 a factor of g(8)?
False
Does 11 divide (-838)/(-6285)*(-1 - -25606)?
False
Let n = 1422 - 518. Suppose 83*d - 79*d - n = 0. Is d a multiple of 25?
False
Let p = -45 + 70. Suppose -13507 = -p*u + 4593. Is u a multiple of 15?
False
Does 39 divide (9/(-6))/((-140)/(-160)*(-3)/2674)?
False
Let r be 3/(-3)*-13 + (3 - 2). Let j(x) = -r*x + x - 4 + 21*x + 3*x. Does 10 divide j(4)?
True
Suppose 2*y - 3702 = 4*y - 22394. Is 5 a factor of y?
False
Let m(j) = 4*j**2 - j + 36. Let v be m(-6). Suppose -4*r + 14 = 2*h - 82, -5*r = 4*h - v. Does 3 divide h?
False
Let u(n) = 24*n**2 + 2*n - 3. Let v be u(5). Let y = v + 147. Does 16 divide y?
False
Let x = 5676 + -3516. Does 24 divide x?
True
Suppose -85*f + 23436 = -78*f. Is 31 a factor of f?
True
Let w(i) be the third derivative of -i**4/3 + 7*i**3 - 25*i**2. Let q(c) = 16*c - 85. Let h(b) = -3*q(b) - 5*w(b). Is 15 a factor of h(-15)?
True
Let k be 70/420 + 542/(-24)*-22. Let o = -244 + k. Is 20 a factor of o?
False
Let s(b) = 8*b**3 - 16*b**2 + 114*b - 58. Is s(13) a multiple of 6?
True
Let n = 6467 - -3451. Does 57 divide n?
True
Suppose -3*c - 152 - 31 = -5*k, 0 = -2*c - 2. Let u = k - 36. Suppose 7*s = -u*s + 63. Is s a multiple of 7?
False
Suppose -36 = -4*w - 8*w. Suppose -170 = -4*t - 2*o, -t - w*o + 24 = -11. Is 26 a factor of t?
False
Let f(l) = -10*l**2 - 4. Let i be f(-3). Let w = -2020 + 1899. Let s = i - w. Is 8 a factor of s?
False
Let x(n) = n**2 - 72*n - 1187. Is 3 a factor of x(-24)?
False
Let a(g) = -2*g**3 - 35*g**2 - 64*g - 222. Is a(-22) a multiple of 17?
True
Suppose 0 = f - 4*i - 0 + 35, 5*f + 5*i + 75 = 0. Is 6/(-15)*5 - f a multiple of 12?
False
Suppose -3*k + 20 = 5*j, 5*k + 19 - 3 = 4*j. Let d(u) = 7*u**2 + 3*u - 25. Does 3 divide d(j)?
True
Let p be 2 + (-36)/(-30)*-5. Let g(l) = -18*l**3 - 2*l**2 + 7*l + 12. Does 46 divide g(p)?
True
Suppose 0 = -3*d + 4*y + 722, -126 = 2*d + 3*y - 613. Let l be (-6 - 1) + (-1580)/(-20). Let t = d - l. Is t a multiple of 33?
False
Let m(a) = 11*a**2 - 37*a + 10. Is m(5) a multiple of 5?
True
Does 279 divide 4*(-1)/(-34) + 95334*(-20)/(-51)?
True
Let m(o) = o**3 - 12*o**2 + 14*o - 26. Let h be m(11). Suppose 0 = h*r - 3030 + 888