s 17 a factor of b(19)?
False
Is 25 a factor of (71 - 72) + (-1901)/(-2 + 1)?
True
Let n(v) = -v**3 + 7*v**2 + 42*v - 20. Is 4 a factor of n(10)?
True
Suppose 0 = -2*n + r + 3 - 1, 0 = -2*n - r + 6. Suppose n*z - 420 = -4*f, f - 315 = -2*f + z. Is f a multiple of 35?
True
Suppose 4*p + 8 = 0, 2865 = 2*r + 2*p - 2811. Is r a multiple of 140?
False
Suppose h = 4*l - 1716, -h + 2145 = 5*l + 2*h. Suppose 5*w - l + 134 = 0. Does 12 divide w?
False
Suppose 647 = 31*f + 2197. Let t be (-2)/(6/(-73))*3. Let x = f + t. Does 8 divide x?
False
Let v = -1854 + 1880. Is v even?
True
Is (-1814)/((-20)/5 - -3) - -1 a multiple of 33?
True
Let k = -4 + 8. Suppose -3*d + 5 = -k. Suppose d*c - 104 = -c. Is 20 a factor of c?
False
Let s = -90 + 90. Suppose s = -5*t + 3*h + 137, -5*h = 2*t - 85 + 24. Is t a multiple of 2?
True
Let a(v) be the third derivative of 1/3*v**3 + 0*v - 1/6*v**4 - 6*v**2 + 1/30*v**5 + 0 + 61/60*v**6. Does 40 divide a(1)?
False
Let j(g) = -g**2 - 8*g + 12. Let s be j(-9). Suppose 0 = -s*l + 7*l - 1084. Does 12 divide l?
False
Suppose 1164*h = 1160*h + 2968. Does 17 divide h?
False
Let s(d) = 22*d - 22. Let x be s(6). Suppose 2*g + 28 = x. Does 14 divide g?
False
Suppose 0 = 2*z - 14 - 424. Does 3 divide z?
True
Let h(s) = s - 11. Let v(x) = 1. Let l(u) = -h(u) + 6*v(u). Does 14 divide l(-11)?
True
Let c = 79 + -54. Let n = -18 + c. Suppose -2*r = 3*i - 72, -5*i + 120 = -2*r + n*r. Is 12 a factor of i?
True
Suppose -5*f - 23 = 27. Let o = 12 + f. Let r = 7 - o. Does 2 divide r?
False
Suppose -26 - 301 = -v - i, -20 = 4*i. Is 26 a factor of v?
False
Let n be -654*5/(-15)*-1. Let o = -152 - n. Does 29 divide o?
False
Suppose 0 = -x - j + 48, x - 5*j - 36 = -0*x. Suppose 2*n - x = -0*n. Is 23 a factor of n?
True
Suppose 4*p - p = -12024. Does 18 divide p/(-56) + (-3)/(-7)?
True
Let a = -7 - -7. Suppose 2*x - 65 = -3*v, 0 = 5*x - v - 0*v - 120. Suppose 3*n - 8 - x = a. Is n a multiple of 3?
False
Suppose -2*i - 4 = 0, 4*i = -4*s - 5 - 3. Suppose s = -5*h + 2*o - 21, 0 = o + 1 + 1. Is (1 + -61)*2/h a multiple of 8?
True
Let b(v) = -17*v - 5. Let l(o) = -o**2 - 7*o - 12. Let n be l(-5). Is b(n) a multiple of 12?
False
Let p(g) = -50*g - 10. Let a be p(-4). Suppose 5*d = 4*w - a, -7*w + 4*w + 4*d = -142. Is w a multiple of 13?
False
Let x(a) be the second derivative of a**4/12 - 7*a**3/6 + 2*a**2 - 11*a. Let p be x(5). Is 10 a factor of 4 + p*(-10)/3?
False
Suppose 0 = 35*z - 18909 - 28691. Is z a multiple of 68?
True
Let j(o) = 88*o + 12. Let y(h) = -44*h - 7. Let i(d) = -3*j(d) - 5*y(d). Suppose 2*t = -1 - 1. Is i(t) a multiple of 16?
False
Suppose -12*v = -6722 - 802. Is v a multiple of 8?
False
Let q = -175 + 297. Suppose -5*d + q = -368. Does 14 divide d?
True
Let b(l) = 3*l**2 - l - 2. Let k be b(-1). Let g(r) = r**3 + 8*r**2 + 5*r - 2. Let c be g(-7). Suppose 0*t - c = -k*t. Is t a multiple of 6?
True
Does 14 divide (-10 + 13 - 5)*474/(-4)?
False
Is 20 a factor of -5 - (-1)/(4557/2275 - 2)?
True
Let v(z) = -z**3 + 18*z**2 + 32*z + 164. Does 22 divide v(19)?
False
Suppose 9 = 3*j - 39. Is 5 a factor of 0 - 4/j - 170/(-8)?
False
Suppose -3*j + 6 = -j. Suppose -l + j*l = -5*d - 411, -5*d = 4*l + 807. Does 12 divide ((-8)/(-3))/((-12)/l)?
False
Suppose -5*n = -4*k + 12, -5*k = 5*n + 6 - 21. Suppose -4*f + y - 8 - 6 = 0, f + y + 6 = 0. Is 6/(f/((-104)/k)) a multiple of 13?
True
Suppose -2161 = -5*q + 3*m, 3*m = q - 354 - 83. Let l = -13 - q. Is 12 a factor of (1/3)/((-4)/l)?
False
Is 15 a factor of ((-236)/(-3) - 0)/((-250)/(-5625))?
True
Suppose 18 = 2*f + b - 0*b, f + 2*b - 12 = 0. Is f a multiple of 2?
True
Suppose -19*x + 24876 = -x. Does 25 divide x?
False
Let t be 4/(-6) - (-812)/3. Suppose -43*r = -33*r. Suppose -5*n + 4*j + 266 = -r*j, 5*j = 5*n - t. Does 10 divide n?
True
Suppose 0 = -2*o - 21 - 43. Let d = o + 54. Is d a multiple of 22?
True
Let p(m) = m**3 + 23*m**2 - m + 26. Does 47 divide p(-22)?
False
Suppose 3*p - 18 = -4*d, 0*p + p = -4*d + 14. Suppose -3*h = d*a, 4*a - 4*h = -h - 14. Does 14 divide -76*((-35)/(-20) + a)?
False
Does 11 divide ((-402)/335)/(2/(-2970)*2)?
True
Suppose 4*n - 458 = 2*n. Suppose -2*g = -3*r - 3*g + n, 2*r - 158 = -2*g. Does 25 divide r?
True
Suppose -f - 2*f + w + 53 = 0, -5*w + 23 = 3*f. Suppose 0 = 2*j - 76 + f. Does 10 divide j?
True
Suppose -232*s + 237*s = 30. Let j = 25 + -42. Let b = s - j. Does 14 divide b?
False
Let b = 242 + -125. Let w = b - -73. Is w a multiple of 19?
True
Let q = -451 - -270. Let d = q - -93. Let i = -44 - d. Does 20 divide i?
False
Let f(g) = 26*g**2 - 2*g. Suppose -1 = -3*o + 5*j + 5, -2*j - 6 = -3*o. Does 24 divide f(o)?
False
Let p be (4 + -3)/((-3)/(-12)). Suppose f = -p*f. Is (f + 1)/((-1)/(-31)) a multiple of 8?
False
Let l be (0/2)/(33/11). Let p be ((-12)/(-8) - l)*2. Suppose -p*s = -s - 78. Does 10 divide s?
False
Suppose 1 + 3 = 2*t. Suppose -6*k + t*k - 76 = -5*j, 5*k = 5*j - 75. Is 4 a factor of j?
True
Let x be (-146)/(-14) + 27/(-63). Suppose -3*p + x = -20. Is p a multiple of 4?
False
Let h(n) = 2*n + 2 + 5*n - 3*n + 3*n**2. Let o be h(-2). Is o/(-5)*(-9 - 1) a multiple of 5?
False
Let j = -23 - -24. Let d be 5/15 - j/3. Suppose -p + d*p + 2*o = -50, 5*o - 187 = -4*p. Is p a multiple of 8?
True
Suppose 4*j - 5*s = 4714, -5*j - 216*s + 213*s + 5874 = 0. Is j a multiple of 49?
True
Suppose -519*q = -533*q + 9380. Is q a multiple of 22?
False
Suppose 43*t = 46*t - 399. Is 19 a factor of t?
True
Let r be 13/(65/30) + -1*1. Let j(a) be the third derivative of a**4/6 + a**3/6 - a**2. Is j(r) a multiple of 4?
False
Suppose -x - 2 + 0 = 0. Let u(t) = -10*t**3 + 2*t**2 + t + 4. Is 15 a factor of u(x)?
True
Suppose 0*m - 3 = -m + z, 4*z + 13 = 3*m. Is 4 a factor of 2023/85 - (m/5 - 0)?
True
Let v(q) be the second derivative of 8*q**4/3 + 7*q**3/6 + 3*q**2 + 13*q. Does 3 divide v(-1)?
False
Suppose -6*t + 15750 = 19*t. Does 21 divide t?
True
Let b(y) be the first derivative of -y**4/2 - 8*y**3/3 - 3*y**2 - y + 1. Let k be b(-5). Let n = 153 - k. Does 37 divide n?
True
Let m(n) = -n**2 + 5*n. Let v be m(4). Suppose -v*u + 4 = -2*u. Suppose 4*r + u = j, 5*r - 10 = -j - 4*j. Is j even?
True
Let k = 33 + 321. Is 19 a factor of k?
False
Suppose -55 - 99 = -q + 4*o, 2*o = 5*q - 752. Is q a multiple of 25?
True
Let n(q) = -q + 12. Let v be n(10). Is 15 a factor of (v/(-6) + 927/108)*16?
False
Let x be 4/2*2 + -1. Let a = x - 11. Does 4 divide 13*1 + 11 + a?
True
Let f = 986 + -342. Is f a multiple of 4?
True
Is 68 a factor of (17/4)/((-1005)/144 - -7)?
True
Is (522/(-3))/((-19)/3 - -6) a multiple of 68?
False
Let m(k) = 16*k - 16. Let v(j) = -4*j - 23. Let h be v(-7). Is m(h) a multiple of 16?
True
Let d(s) = s**2 - 3*s. Let w be d(3). Let g be (1 + -6)/(5 + -4). Let k = w - g. Is k a multiple of 5?
True
Suppose -2345 = -9*t + 931. Is 14 a factor of t?
True
Let f(x) = 7*x**2 - x. Let r be f(-1). Let l = 56 - r. Is l a multiple of 16?
True
Let u(s) = 3*s**2 + 11*s - 5. Let a be u(-7). Let o(n) = 21*n + 3. Let v be o(4). Suppose v = 4*k - a. Is k a multiple of 12?
False
Let u be (273/52)/((-2)/16). Let s = -20 - u. Is 22 a factor of s?
True
Let t(y) be the second derivative of -5*y**3/6 + 3*y**2/2 - y. Let q be t(7). Does 5 divide 1 - 2 - q/2?
True
Let w(t) = -4*t - 15. Let u(l) = l**3 + 4*l**2 - 3*l - 5. Let o be u(-4). Let c = o - 13. Is 6 a factor of w(c)?
False
Let p(y) = -715*y**3 + 5*y + 4. Let d be p(-1). Is 3 a factor of (-14)/(-6) + -2 - d/(-18)?
False
Does 2 divide (-600)/(-18) - 4/(-6)?
True
Suppose 4*y + l - 6968 = 0, 2*l + 858 + 875 = y. Is 9 a factor of y?
False
Suppose 184 + 5 = -3*p. Let r = -91 + 61. Let u = r - p. Does 22 divide u?
False
Suppose 0 = -h - 2, 5*l - 30 = h - 3. Suppose -2*t + l*m + 171 = 0, 0 = 4*t - 0*m - 4*m - 360. Suppose 3*w - t = -33. Is 12 a factor of w?
False
Let i(c) = -2*c - 9. Let f be i(10). Let n be 41 + (-1 - 0) + 1. Let v = n + f. Does 6 divide v?
True
Let r be 9/6*16/(-6). Let g = 67 + r. Is 7 a factor of g?
True
Let b be 0/(-1)*(-9)/(-9). Suppose 3*v = -b*v + 21. Is 103/v + 8/28 a multiple of 5?
True
Suppose 2*o = 3*i - 2440, 5*i + 41*o - 4030 = 37*o. Is i a multiple of 78?
False
Suppose 4*o - i - 330 = -3*i, 5*i = -25. Let t be (o/20 - 4)*20. Suppose -183 = -t*n - 73. Does 8 divide n?
False
Let o = -843 + 1454. Is o a mult