y be f(g). Suppose 4*n - 517 = -3*b - 0*b, y = -4*n - 5*b + 507. Does 20 divide n?
False
Let i(j) be the first derivative of 1/4*j**4 - 2/3*j**3 - 14*j - 41 + 5/2*j**2. Does 32 divide i(6)?
True
Suppose 0 = o - 3 - 5. Suppose 0 = o*j - 4*j + 8. Does 3 divide 8/(-48) - 110/24*j?
True
Let z = 808 - 1024. Suppose 4*d + 605 = -d. Let j = d - z. Does 14 divide j?
False
Suppose 6362 = -22*n + 16174. Suppose -129 = -5*d + n. Does 8 divide d?
False
Suppose -3*z - 3*j + 38877 = 0, 2*z = 99*j - 100*j + 25910. Is z a multiple of 5?
False
Suppose 3*c + 5 = j - 2*c, 0 = 3*j + 4*c - 53. Suppose 0 = -20*s + j*s + 170. Suppose s = 2*u - 2*w, -5*w = 5*u - 6*w - 65. Is u a multiple of 3?
True
Suppose 2*g - 2*b = 4*g - 99290, 5*b + 49639 = g. Does 14 divide g?
True
Let y(q) = 393*q**2 + 126*q + 389. Is 79 a factor of y(-3)?
False
Let g = 18381 + -16698. Does 17 divide g?
True
Is (-18891)/12*752/(-282) a multiple of 10?
False
Let o(j) = -j**3 - 36*j**2 - 118*j + 124. Does 72 divide o(-33)?
False
Suppose 27*f - 24*f - 72 = 0. Suppose -f*l + 72 = -23*l. Suppose -5*w + w + 4*j = -l, 3*j + 67 = 4*w. Does 13 divide w?
True
Let u(p) = p**3 + 6*p - 16. Let r be u(2). Suppose t - r*t = q - 201, q = -4*t + 204. Is 4 a factor of q?
True
Let u(o) = -7*o**3 - 18*o**2 - 64*o - 63. Let k(g) = -6*g**3 - 19*g**2 - 62*g - 62. Let b(q) = -6*k(q) + 5*u(q). Is b(-21) a multiple of 18?
True
Suppose -21*b + 16*b - 7 = -4*i, 0 = -b + 4*i - 11. Let h be (-2638)/((-2)/b) + -2. Suppose 164 = -d - 5*n + 609, 3*d = 3*n + h. Is 65 a factor of d?
False
Suppose -47*u + 42*u + 40014 = 2*m, -m + 7 = 0. Does 125 divide u?
True
Suppose 7*t - 4*t = 36. Does 10 divide -75*4*(30/t + -3)?
True
Let q(l) = -l**3 + 4*l**2 + l - 3. Let w be q(4). Let d = w + 14. Let u = 34 - d. Is u a multiple of 19?
True
Let o be (-25)/(2/(-1) - -1). Let h be o/9 - (-8)/36. Suppose 0 = -h*q + 382 + 134. Is q a multiple of 40?
False
Let c = 7808 + -4018. Is 43 a factor of c?
False
Let g(j) = -27*j + 32. Let y(u) = -27*u + 32. Let b(t) = 6*g(t) - 5*y(t). Is b(-2) a multiple of 11?
False
Let p(h) = -h - 5. Suppose 2*l - 56 = 5*u, l = 4*u + 2*l + 37. Let y be p(u). Suppose y*a + 37 = 4*n - 26, -3*n + 47 = -4*a. Is 17 a factor of n?
True
Let q(p) = p**3 - 17*p**2 - 19*p - 4. Let v(b) = b + 7. Let f be v(12). Let c be q(f). Suppose -2*z + 16 + 227 = -5*o, c = 3*z - 5*o. Is 16 a factor of z?
False
Suppose -2570 = -26*t + 16*t. Let k = -176 + t. Is k a multiple of 15?
False
Let x(z) = -789*z**3 + 9*z**2 - 2*z - 4. Is x(-2) a multiple of 46?
True
Let m = 1343 - 859. Suppose q - 6 + 3 = 0. Suppose -q*g - 4*z = z - 460, -3*g + m = -z. Is 16 a factor of g?
True
Let s = 25666 - 11563. Is 194 a factor of s?
False
Suppose 15*l - 520 - 255 = 1685. Is l a multiple of 41?
True
Suppose q = 2, 0 = 5*t + 3*q - 44 - 37. Suppose -6*s = -t - 3. Suppose 4*x - s*x = -2*o + 97, -111 = -x + 5*o. Is x a multiple of 13?
False
Let y(j) = 100*j + 297. Does 91 divide y(58)?
True
Let v(h) = 13*h - 4. Let d be v(1). Is ((-78)/9)/((6/d)/(-1)) even?
False
Let l(j) = 5*j**2 - 5*j - 8. Let n(p) = -p**2 - 10*p - 28. Let i be n(-8). Let y be 66/(-15) + i/(-30). Is l(y) a multiple of 23?
True
Let y = -5533 - -16208. Is 59 a factor of y?
False
Let d(x) = -x**3 - 19*x**2 - 2*x - 38. Let i be d(-19). Suppose i = 9*y + 7*y - 8960. Is 65 a factor of y?
False
Suppose -10*b + 14 = -3*b. Suppose 729 = 2*x - v - 67, -b*x = -3*v - 792. Is x a multiple of 21?
True
Suppose -4*f + 135860 = -166*y + 164*y, -f - 3*y = -33986. Does 28 divide f?
False
Let k(t) = -3*t**2 + 8*t. Let s(m) = m**2 + 2*m. Let g(c) = -k(c) - s(c). Let d be g(5). Suppose d = -2*i - w - 56 + 408, 4*w = -2*i + 352. Does 44 divide i?
True
Let j(u) = -u**3 - 12*u**2 + 24*u + 41. Let l be j(-11). Let n = l - -424. Does 10 divide n?
True
Suppose 0 = 4*u - z - 11369, 3*u - 3*z - 3618 = 4920. Is 3 a factor of u?
True
Let k(n) = 2*n**2 - 10*n - 15. Let t(b) = b - 1. Let d be t(-2). Let y be 5 - (-6)/4*(-4)/d. Is k(y) even?
False
Suppose -17057 = -3*z + 4*q, 4*z = 5*q + 7607 + 15135. Does 12 divide z?
False
Is 7 a factor of 8/(-56) + 0 + 691056/63?
True
Let d(u) be the first derivative of -10*u**4 + 2*u**3/3 + u**2 + 5*u + 37. Is 47 a factor of d(-2)?
True
Let v = 138915 + -95571. Is 301 a factor of v?
True
Suppose -66 = -3*o + 6. Is 14 a factor of 20540/o - (-10)/60?
False
Let w = 651 - -753. Is 18 a factor of w?
True
Let h(b) = 9792*b - 15261. Does 19 divide h(6)?
True
Let f(k) = 3*k**2 + 34*k + 27. Let r = -684 + 672. Is 17 a factor of f(r)?
True
Let x be (112/3)/1 + (-22)/66. Suppose -36*q + x*q = 0. Suppose q = 5*o + 3*u - 1405, 2*o - 536 = -0*u + 4*u. Is o a multiple of 29?
False
Suppose a + 15 = 19. Suppose -a*x - 85 = x. Let w = 38 + x. Is 20 a factor of w?
False
Let k = 1090 + -815. Does 35 divide k?
False
Let g(z) = 447*z - 10. Is 37 a factor of g(6)?
False
Suppose 4*c - w - w - 10 = 0, -w = 5. Suppose -3*k + 561 + 84 = c. Let f = -140 + k. Does 25 divide f?
True
Let b(d) = -d**3 - d**2 - 6*d + 4. Let y be b(-3). Let p(q) = -2 - 42*q + y*q + 26. Is 32 a factor of p(-4)?
True
Let l = -60 - -177. Suppose 93 - l = -2*d. Does 6 divide d?
True
Let x = -126 + 138. Suppose -15*k + x*k + 54 = 0. Does 17 divide k?
False
Suppose -9*x + 1360 = -x. Is 14 a factor of 2/5 - (-30872)/x?
True
Suppose 5*d + 11 = q, 5*q + 5*d + 9 = 34. Does 24 divide ((-36)/8)/(q/(-160))?
True
Suppose 11 = 5*j - w, -4*j + 0 = 5*w - 3. Suppose -2*r = 4*q + 28, -2*q = 5*r - j - 0. Let b = 19 - q. Is b a multiple of 28?
True
Let z = -3085 - -5905. Does 6 divide z?
True
Let b = -5766 + 6266. Is 26 a factor of b?
False
Let p(f) = f**3 + 18*f**2 - 16*f + 10. Let l be p(-15). Let o = l + -121. Suppose 10*r + 74 = o. Is 7 a factor of r?
False
Let b be ((-7)/10)/(4/(-40)). Does 25 divide (609 - (b + 2))*(-1)/(-2)?
True
Let k = 276 + 54. Suppose 0 = -59*r + 54*r - k. Let z = r - -171. Is z a multiple of 25?
False
Let v = 7738 + -3788. Does 79 divide v?
True
Let h(i) be the first derivative of 25*i**4/12 - i**3/2 + i**2 + 27*i + 8. Let n(c) be the first derivative of h(c). Is 22 a factor of n(3)?
False
Let f = -7050 - -7416. Does 3 divide f?
True
Let f = 674 + -1032. Let i = f - -576. Is 58 a factor of i?
False
Let j(i) = -i**3 - 7*i**2 + 13*i + 2. Let m be j(-16). Let t be m*((-126)/(-4))/9 + -3. Does 35 divide 4/14 - t/(-35)?
True
Suppose -14 = -21*d + 7. Is 3 a factor of -9 + -4 - -10 - -6*d?
True
Suppose 809025 + 1610292 = 54*k + 775017. Is k a multiple of 175?
True
Let i be (-4)/5 - ((-6732)/10)/(-6). Let s = i - -161. Is s a multiple of 6?
True
Suppose 0 = -n - 103 - 41. Let q = n + 29. Let c = q - -211. Is c a multiple of 12?
True
Let o = 912 + -742. Let k = o + 282. Does 29 divide k?
False
Is 9 a factor of (-9 + 5538/(-130))*(-750)/4?
True
Let d(f) = 8*f**2 - 11*f - 5. Let n(y) = -14*y + 104. Let k be n(7). Is d(k) a multiple of 17?
False
Let h(z) = 13*z**2 - 52 - 10*z + 79 + 4*z - 2*z**2. Does 12 divide h(3)?
True
Let l(a) = -2*a**3 - 9*a**2 + 9*a + 182. Is l(-8) even?
True
Let f(w) = 9*w**2. Let y be f(1). Let k(v) = 85*v**2 - 5*v - 8. Let u be k(-3). Suppose -y*o = -5*o - u. Is o a multiple of 13?
False
Let a(y) = -1653*y + 506. Is 57 a factor of a(-3)?
False
Suppose 0 = 3*t - 8*t + b + 15, -b - 13 = -4*t. Suppose -t*v + w = -1082, w + 17 - 555 = -v. Suppose 3*o = 12*o - v. Is 12 a factor of o?
True
Suppose -7*a = 70 - 98. Suppose a*h - 2*p - 336 = 0, -2*p + 168 = 2*h - 0*p. Does 3 divide h?
True
Let f(d) be the second derivative of d**5/20 - 7*d**4/24 - 19*d**3/6 + 9*d. Let i(u) be the second derivative of f(u). Is i(3) a multiple of 9?
False
Suppose -123012 = -3*x + 5*i, 8*x - 11*x + 2*i + 123003 = 0. Is 147 a factor of x?
False
Let u = -59 + 32. Let i be 12/u*6/(-8)*6. Suppose 0*d - 3*d + 141 = -5*z, -5*z = i*d - 94. Does 16 divide d?
False
Does 12 divide (-4 + (-9484)/(-7))/((-17)/(-119))?
True
Let x(r) = -r**3 - 14*r**2 - 15*r - 16. Is x(-15) a multiple of 7?
True
Let o(p) = 4*p**3 + 8*p**2 + 17. Suppose -3*i - 6 = 12. Let n(x) = x**3 - x**2. Let j(m) = i*n(m) + o(m). Does 4 divide j(7)?
False
Let f be ((-46)/(-3))/(-2 - 549/(-270)). Suppose 0 = -3*c - 4 + f. Does 15 divide c?
False
Let d(u) = u**3 + u**2 - 7*u + 9. Let n be d(3). Let f be 96/((-2)/n*-2). Suppose -854 = -5*s + f. Is s a multiple of 13?
True
Let z(k) = 261*k**2 