k?
True
Let v(g) = g**2 - 5*g + 9. Let j be v(4). Suppose 2*c - j*h + 10*h = 168, 0 = -4*h. Does 21 divide c?
True
Suppose 31 = 5*y + 6. Let s(h) = h**2 - 3*h - 5. Let d be s(y). Suppose -d*x + i = -252, -5*x + 165 = -2*i - 84. Is x a multiple of 21?
False
Let u = 430 - 276. Is 3 a factor of u?
False
Suppose -3*d = -11 + 101. Let r be (-1)/(2 + d/14). Suppose -78 - 83 = -r*v. Is v a multiple of 15?
False
Let g(i) = -i**3 - 11*i**2 + 11*i - 10. Let j be g(-12). Suppose 405 = j*s - s. Is s/6 + 4/(-8) a multiple of 24?
False
Let a(t) = -2*t**2 - 56*t + 32. Does 16 divide a(-24)?
True
Is (1 + (-70)/20)*(-522)/15 a multiple of 21?
False
Let h(p) = 177*p + 6. Is h(9) a multiple of 13?
True
Suppose -302 = 7*m - 2612. Is m a multiple of 69?
False
Suppose -8*s + 2*t = -3*s - 902, s = t + 178. Is 13 a factor of s?
True
Let z be (-1)/(-3) - 152/(-57). Suppose 23 = z*i - 5*s, -43 = -i - 2*i + s. Is i a multiple of 5?
False
Suppose 22 = -4*c + 6*c. Let z be (-180)/(-4)*(c - -4). Suppose -5*a - z = -10*a. Does 35 divide a?
False
Let b = -44 - -38. Is 21 a factor of (-2 - b/3) + 84?
True
Let o(m) = 3*m**2 - 2*m - 2. Let r be o(2). Suppose -v + 113 = -5*j, -3*j + 0*j + 161 = 2*v. Suppose r*f - v = 4*f. Is 15 a factor of f?
False
Let r = -3 + 5. Suppose 148*z - 1200 = 143*z. Suppose -3*h = r*h - z. Is 23 a factor of h?
False
Let y = 556 - 458. Does 14 divide y?
True
Suppose -3*u - 8 = -6*u - 4*l, 2*l - 4 = -3*u. Let q = -8 - -14. Suppose -q*p + 2*p + 180 = u. Does 15 divide p?
True
Let j(z) = -2*z**2 - 11*z + 15. Let o(q) = -3*q**2 - 16*q + 22. Let d(k) = 8*j(k) - 5*o(k). Let u(w) be the first derivative of d(w). Does 3 divide u(-8)?
False
Let i(w) = w**2 + 6*w + 8. Let t be i(-7). Let b = -8 + t. Does 8 divide (-6)/(-14) - (-158)/b?
False
Let h(d) = -d**3 - 7*d**2 - 4*d + 1. Let s be (-40)/6 + (-2)/6. Is h(s) a multiple of 5?
False
Let t(w) = -2*w**2 - 28*w. Let x be t(-14). Suppose 6*k - 215 - 25 = x. Is 7 a factor of k?
False
Let i(c) = -12*c - 10. Let f be (4/1 - 4/(-2))*-3. Is i(f) a multiple of 30?
False
Let q(h) = -h + 9. Let o be q(4). Suppose -o*y = -0*y - 175. Does 11 divide y?
False
Is 7 a factor of (-17205)/(-55) + (-6)/(-33)?
False
Suppose c + 4*c = t - 105, -4*t = -5*c - 105. Let h = 29 + c. Is 4 a factor of h?
True
Let o be (310/15)/((-4)/(-6)). Let u = -27 + o. Suppose -c - 2*j = 3*c - 62, 0 = 5*c + u*j - 76. Is 14 a factor of c?
False
Let v = 49 + -47. Let s(w) = 4*w**3 - 3*w**2. Is s(v) a multiple of 12?
False
Suppose -p + 0*n + 47 = 2*n, 2*n - 125 = -3*p. Let d = -8 + p. Is d a multiple of 18?
False
Suppose 5*n + 13 = 4*r, -5*r + 15 = -0*r - 5*n. Does 10 divide 300/5 - r/(-4)*0?
True
Suppose 5*l - 271 = -20*g + 17*g, -2*g = -3*l + 174. Does 14 divide l?
True
Let b(d) = -15*d - 1. Suppose -4*t + o = -t + 8, -3*o + 12 = -5*t. Let w be t/(-6)*0 + -2. Does 6 divide b(w)?
False
Let s(g) be the first derivative of 88*g**3/3 + g**2 - g - 1. Let k be s(1). Suppose -u = 2*y - k, 171 = 5*y - 5*u - 74. Is y a multiple of 17?
False
Suppose 2*b + 304 = 90. Let u be (0 - -2) + (-20)/2. Is (-2)/u + b/(-4) a multiple of 3?
True
Suppose 0 = 9*g - 319 - 23. Is g a multiple of 3?
False
Suppose 10*c - 15*c = -6865. Does 75 divide c?
False
Let o be (2322/15 - 4) + (-3)/(-15). Suppose -5*d + 9 = c - 2, -5*c - d = -o. Is 11 a factor of c?
False
Let x(i) = 4*i + 1. Let u be x(1). Let h(o) = u*o**3 - 2 - 4*o**2 + 4 + 0 - 4*o**3. Is 9 a factor of h(5)?
True
Suppose 2*u = -4*o + 186, 2*o + 161 + 110 = 3*u. Suppose -u = -3*x + 2*x. Is 2/3 + x/3 a multiple of 25?
False
Let l be 6/48 - 9359/(-8). Suppose 0 = -h, -l = -3*y + y - 2*h. Suppose -3*m - 2*m = -y. Is 17 a factor of m?
False
Let a(d) = 88*d - 27. Let y be a(2). Suppose -221 = -2*k - 51. Let c = y - k. Is 16 a factor of c?
True
Let x = 946 - 414. Does 38 divide x?
True
Let k = 52 + -47. Suppose -5*m + y = -617, 5*y = k*m - 40 - 565. Is m a multiple of 28?
False
Let w = 17 + -15. Suppose -w*n - 6*g + 3*g + 13 = 0, -3*n + 29 = -5*g. Is n even?
True
Let z(g) = -5*g**3 - 23*g**2 - 21*g - 4. Let n(r) = -3*r**3 - 15*r**2 - 14*r - 3. Let h(p) = -8*n(p) + 5*z(p). Let u be (-3 + 0)/(2/(-4)). Does 4 divide h(u)?
False
Let a be (-135)/25 + 5 + (-32)/(-5). Let b(o) = 11*o + 11. Is 11 a factor of b(a)?
True
Let y = 9 - 6. Suppose -y*o - 2*x - 3 = -x, 3*x + 9 = 0. Suppose -4*n + 208 = -o*n. Is n a multiple of 13?
True
Suppose 5*a = 3*r - 4, 0*r = 4*r - a + 6. Let k be r/4 - 33/(-6). Suppose 128 = -n + k*n. Is n a multiple of 8?
True
Let l be (-9 - -5)*(-94)/4. Let r = l - 38. Does 11 divide r?
False
Suppose 26*g + 1960 = 31*g. Does 6 divide g?
False
Let m be (2/(-5))/((-4)/4780). Suppose -m = 3*d - 4*z + 8*z, 630 = -4*d + 2*z. Let n = 285 + d. Is 26 a factor of n?
False
Let c be 23 - (1 + -21)/(-4). Let t be (-6)/4*4/(-6). Does 18 divide c*-7*t/(-2)?
False
Let b(w) = 153*w - 1. Let g be b(1). Suppose 0 = -4*t - g + 676. Is 15 a factor of t?
False
Suppose 17*q - 402 = 14*q. Is q a multiple of 25?
False
Suppose 0 = -7*i + 11*i - 28. Let a(z) = z**3 - 6*z**2 + 8*z. Does 21 divide a(i)?
True
Does 9 divide (-54)/21 + 3 + 9300/105?
False
Let r(b) = -18*b**2 - 2*b - 18. Let w be r(-4). Let t = -118 - w. Is 18 a factor of t?
True
Let i = -65 - -97. Suppose 0 = -3*x + i + 37. Suppose -104 = -3*b - x. Is b a multiple of 9?
True
Let u(o) = -8*o**3 - o**2 - o. Let p be u(-2). Let z = 367 - p. Suppose -v = 4*v - z. Is v a multiple of 28?
False
Suppose 440*z - 475*z + 7140 = 0. Does 10 divide z?
False
Let x = 49 + -109. Let a = -8 + x. Let q = a - -113. Is q a multiple of 36?
False
Let z(k) = 46*k**2 - 1. Let j(w) = -w**3 - 4*w**2 - 4*w - 4. Let b be j(-3). Let r be z(b). Suppose 155 = 5*f + r. Is 11 a factor of f?
True
Let i(p) = 2*p**2 - 23*p + 32. Let m be i(16). Suppose 5*r + 149 + m = 5*l, 2*r + 191 = 3*l. Does 6 divide l?
False
Suppose -286 = 5*y - 5*s - 1471, -6*y = 4*s - 1392. Does 74 divide y?
False
Suppose -2*f = -5*h + 17, 0 = -5*h + 2*h - f + 19. Suppose -4*d + 8*d - 272 = -h*s, -4*s + 214 = 5*d. Does 4 divide s?
True
Let z(q) = -2*q**3 - 12*q**2 - 3*q + 3. Let a be z(-6). Suppose 8 = -19*l + a*l. Does 2 divide l?
True
Let n(q) = 6*q**2 - q + 270. Is 30 a factor of n(0)?
True
Let n = -13 - -18. Suppose 0 = 3*x + 6*d - 2*d - 72, n*x = 2*d + 94. Let p = x - -8. Does 13 divide p?
False
Let c = 49 - 47. Suppose -4*g = -5*z + 641 - 240, -5*z + c*g + 403 = 0. Is z a multiple of 7?
False
Let r(f) = -f**3 - f**2 - 4*f - 3. Let i(x) = -x**3 - 4*x**2 - 2*x. Let t be i(-2). Let v be (-2)/t*(-6 - -2). Is 9 a factor of r(v)?
True
Suppose -2 = -3*q + 7. Suppose q*p = -2*p. Is 21 a factor of 57 + (p - (-4 - -3))?
False
Suppose 0 = 48*l - 34*l - 7140. Is l a multiple of 10?
True
Let w = 149 - 112. Suppose 36 = -n + 5*n. Let a = w + n. Is 11 a factor of a?
False
Let g(d) = -d + 201. Is 11 a factor of g(21)?
False
Suppose -448 = 32*m - 34*m. Is 3 a factor of m?
False
Suppose 0 = 2*b, -4*b + 3*b = 5*l + 695. Let p = -68 - l. Let g = p - 45. Does 26 divide g?
True
Let s be -60 - ((-1)/(2/(-4)) + -4). Is 14 a factor of 2/((-4)/(-6)) + (-3 - s)?
False
Let f = 10 + -7. Suppose 0 = -b + 3*v + 2*v - 4, -v - f = 0. Is (-3 - 5)*b/4 a multiple of 14?
False
Let i be (-74)/(-6) - 3/9. Let j = 2 + i. Is (-595)/j*(-8)/10 a multiple of 17?
True
Let y(r) = r**3 + 19*r**2 - 45*r - 37. Does 4 divide y(-17)?
False
Let j(l) = 16*l**3 - 4*l**2 - 12*l + 52. Does 4 divide j(3)?
True
Let l(d) = -4*d - 12. Let m be (-28)/6*36/(-24). Suppose 4*n - m*n - 33 = 0. Is l(n) a multiple of 16?
True
Suppose -i + 4*x = -1276, i + 6395 = 6*i - 5*x. Suppose -425 = 5*v - i. Does 19 divide v?
True
Suppose 9 - 36 = -9*q. Suppose 0 = -2*y - 4*x + 50 + 16, q*y - x = 64. Does 7 divide y?
False
Suppose -3*o + 7*o + 20 = 0, -4*n - 5 = 5*o. Suppose -297 = -n*u + 2*u. Suppose -u = -3*v + 165. Does 44 divide v?
True
Let s(b) = -6*b + 4. Let c be s(-8). Let m = -48 + c. Does 3 divide m?
False
Let n(a) = -4*a + 10. Let s(g) = 3*g - 9. Let l(f) = 5*n(f) + 6*s(f). Let h be l(-3). Suppose h = c + 3*v, c - v - 5 = 5. Is 8 a factor of c?
True
Suppose -2*i + 130 = -d, 4*i = -2*d - 0*d + 244. Let j = i + -33. Does 15 divide j?
True
Suppose -2*g + 0*g - 2*y - 6 = 0, 0 = 3*g + 5*y + 19. Let v(h) = -6 - 2*h + 36 - g*h + 2*h. Is 10 a factor of v(0)?
True
Let u(f) be the second derivative of -f**3/3 + 