r = 1 + -8. Does 14 divide r/14 + 110/4?
False
Let d(v) be the second derivative of -37*v**3/3 - 31*v**2/2 + 45*v. Is 15 a factor of d(-4)?
False
Suppose -4*h - 72 = 4*k + 36, 0 = -2*h - 5*k - 48. Let s = h - -31. Suppose 56 = 3*m + m - 4*z, -5*m + 56 = s*z. Is 6 a factor of m?
True
Suppose 3*t - 3 = 24. Let x be 3/t + 8/3. Let y = 36 - x. Is y a multiple of 7?
False
Suppose -16*x + 141 = -3. Does 7 divide x?
False
Suppose 1388 = 4*z - 2*v, 0*z + 353 = z - 2*v. Is z a multiple of 13?
False
Let f(q) = 4*q + 0 - 3*q + 44 + 53. Let b be f(0). Suppose 5*g = 88 + b. Is g a multiple of 19?
False
Let w(k) = 26*k**2 + 18*k - 5. Is w(2) a multiple of 27?
True
Is 9 a factor of ((-1272)/36)/((-2)/9)?
False
Is 18 a factor of (-15)/(-12) - (-40393)/124?
False
Is 17 a factor of ((-20)/(-90) + (-14)/(-18))*503?
False
Suppose -6*z = -8*z + 10. Suppose 0*o + s + 225 = 4*o, z*s = -2*o + 85. Is o a multiple of 11?
True
Let f(g) = 14*g**2 - 16*g - 63. Is 11 a factor of f(5)?
False
Suppose -19*j + 23140 = -4695. Does 5 divide j?
True
Let i = -16 + 20. Suppose -i*r + 7 = -1. Suppose g + 35 = r*g. Is 8 a factor of g?
False
Let g = 1705 - -883. Is 11 a factor of g?
False
Let n = -278 + 35. Let m = n + 387. Suppose -2*i + 44 - m = -4*x, 3*x = -3*i + 93. Is 26 a factor of x?
False
Let r(b) = -b**3 - b**2 - b + 78. Suppose u - p = -0*p - 18, 0 = 3*u + 4*p + 26. Let i be 6/(-4) - 21/u. Is r(i) a multiple of 26?
True
Let p(n) = 2*n**2 - 26*n - 28. Is p(26) a multiple of 63?
False
Let i = 19 - 15. Suppose -49 - 179 = -i*m. Is 31 a factor of m?
False
Let u = -4 - 4. Let o be -5*1/(20/u). Suppose o*h + 62 = 2*b, 3*b + 2*h = -0*b + 108. Is 26 a factor of b?
False
Suppose -5*m + 1582 + 658 = 0. Is m a multiple of 28?
True
Let m(p) = 4*p**2 - p - 3. Suppose 5*w - 2 = -f + 16, w - 15 = -4*f. Is m(w) a multiple of 3?
True
Suppose 2*b + 4*v = -24, 2*b + 2*b = -3*v - 63. Let x = 34 + b. Is 16 a factor of (-478)/(-8) + 4/x?
False
Suppose 2*c - 7*c = 0. Suppose -3*k = 4*b - 56, 4*b + 5 - 1 = c. Is 5 a factor of k?
True
Let f(n) = -4218*n + 22 + 4208*n + 15. Is 19 a factor of f(-11)?
False
Let k(r) = -r**3 + 9*r**2 - 4*r + 1. Let j(v) = -v**2 + v + 1. Let i(h) = -3*j(h) - k(h). Let m be i(6). Suppose -p = m*p - 27. Does 5 divide p?
False
Let y(l) = 32*l - 4. Let p(z) = -3 + 5*z - 3*z - 3 - 4. Let i be p(6). Does 15 divide y(i)?
True
Suppose 34*m - 3962 = 12868. Is 12 a factor of m?
False
Suppose -51*g + 40*g = -3509. Is g a multiple of 3?
False
Suppose 30*p - 9992 - 538 = 0. Does 27 divide p?
True
Let k(p) = -2*p**3 - 4*p**2 - 4*p - 4. Let t be k(-2). Is 51 a factor of 100 + -4 + t + -3?
False
Let j = -11 - 17. Let d = -23 - j. Is d a multiple of 5?
True
Suppose 92763 = 45*k + 29313. Does 11 divide k?
False
Let t(s) = -4*s**2 + 6*s - 6. Suppose 3*l + 11 = -j, -3*j - 12 = -j + 4*l. Let v be t(j). Let y = v + 68. Does 11 divide y?
True
Let r = 12 + 11. Let c = -11 + r. Is 69/(-2)*c/(-9) a multiple of 15?
False
Suppose 19*a - 3450 = -4*a. Is 15 a factor of a?
True
Let s(r) = 11 + r + 6*r**2 + 7*r**2 - 9 - 4*r**2. Let j(h) = -h**3 + 2*h**2 - 2. Let f be j(2). Is 12 a factor of s(f)?
True
Suppose 0 = -67*w + 28575 + 90417. Does 16 divide w?
True
Let v = -377 - -552. Does 5 divide v?
True
Let b = -45 + 241. Is b a multiple of 28?
True
Suppose -5*s + 10*s = 315. Let w = 27 + s. Is 6 a factor of w?
True
Let k = -68 + 2. Let b = -6 - k. Is 16 a factor of b?
False
Let i = -4 + 8. Suppose i*k - 3*k - 9 = 0. Let j(p) = -p**3 + 8*p**2 + 9*p + 3. Is j(k) a multiple of 3?
True
Let z be (-3)/(-2) + 85/34. Let d(j) = -z*j + 47 - 24 + j - 35. Is 3 a factor of d(-8)?
True
Let s = 59 + -49. Let y(w) = w**3 - 10*w**2 + 30. Is 5 a factor of y(s)?
True
Let v be 1*-5*(-270)/25. Suppose -v = -4*b + b. Is 15 a factor of (-1540)/(-24) + (-3)/b?
False
Let g(k) = -k**3 - 13*k**2 + 3. Let w be g(-13). Suppose -6*x + 4*p + 136 = -4*x, 0 = -w*x + p + 194. Is x a multiple of 16?
True
Suppose 8*a - 10*a = 36. Let r = a - -23. Is r a multiple of 5?
True
Is 2 a factor of (25 + -37)/(6/(-4))?
True
Let r(b) = b**2 - 5*b + 8. Let t be r(7). Let x be (-4)/t - 120/(-55). Suppose 7*v - 175 = x*v. Does 9 divide v?
False
Let a(i) = -i**2 - 8*i + 12. Suppose 3*b = b - 18. Let c be a(b). Suppose 4*o - 20 = 0, 3*p = 2*o + c*o + 29. Does 8 divide p?
False
Suppose -p + 4 = 3*g - 2, 4*g = 3*p - 18. Suppose 2*u - p*u = -524. Suppose 0 = -5*t - q - 0*q + 217, -3*t + u = q. Is t a multiple of 7?
False
Suppose 4*a + 0*a = -20. Let x be 0 - 1 - (a - -35). Let d = 49 - x. Is 20 a factor of d?
True
Is 80 a factor of 14192/10 + -3*(-4)/(-60)?
False
Suppose -j = -14*o + 11*o - 2, 0 = -5*o + 4*j - 8. Let l = 29 - 13. Suppose o = f - l - 12. Does 14 divide f?
True
Let a be (1 + -1)/(-2 + 5 + -2). Suppose a = -5*i + 121 + 74. Does 13 divide i?
True
Let b = 32 - 28. Suppose -3 = 3*f + 5*v - 60, -59 = -b*f - v. Does 20 divide (f/(-21))/((-1)/90)?
True
Does 17 divide 35/(-2)*612/(-45)*1?
True
Let c = 123 + -128. Let h(d) = -2*d**3 - d**2 + 9*d + 6. Is h(c) a multiple of 19?
False
Let y(z) = 3*z - 12. Let r be y(7). Let u(g) be the second derivative of g**4/12 - 7*g**3/6 - g**2/2 + 2*g. Does 5 divide u(r)?
False
Suppose 5*i = -4*j + 17, -3*j + 13 = -j + i. Suppose -j*n - 54 = -11*n. Is n a multiple of 9?
True
Does 16 divide -7*(216/(-49))/((-153)/(-714))?
True
Let z = -56 - -47. Let t be 6*-2*2/(-4). Is 19 a factor of 202/t - (-6)/z?
False
Suppose 8*i + 0 - 104 = 0. Suppose i*y - 828 = 7*y. Is 18 a factor of y?
False
Let a = 536 + -527. Is 2 a factor of a?
False
Let s(o) be the third derivative of o**8/20160 + o**7/2520 - o**6/72 + o**5/15 + 2*o**2. Let x(j) be the third derivative of s(j). Is x(-6) a multiple of 14?
True
Let g be ((-8460)/(-42))/(-6) - (-3)/(-7). Let h = g + 199. Does 33 divide h?
True
Let g(v) = -2*v**3 + v**2 + v. Let i be g(-1). Suppose -j - 299 + 42 = -4*k, i*j = 2*k - 136. Suppose -m = -n - k, -3*n - 125 = m - 3*m. Is m a multiple of 13?
False
Suppose -12*b + 54 - 6 = 0. Suppose 192 = b*q - 2*x, -q - 3*x - 242 = -6*q. Is q a multiple of 23?
True
Suppose 0 = 5*y - 268 - 192. Is y a multiple of 12?
False
Let y(u) = -u**2 - 12*u - 12. Let i be y(-11). Does 7 divide 2 + 19 + (i - -1)?
True
Let i(z) = -z**3 + 2*z**2 + 3*z + 4. Let p be i(3). Suppose p*v + 7*v = 616. Is v a multiple of 9?
False
Suppose 0 = o - 2*o + 5. Suppose 3*c + 2*t - 188 = -0*c, 2*c = o*t + 100. Is 22 a factor of c?
False
Let q(c) = -117*c - 105. Is 10 a factor of q(-15)?
True
Let v = 165 - 118. Suppose v*n - 150 = 44*n. Is 10 a factor of n?
True
Suppose g - 638 = -v, -9*g + 1899 = -6*g - 2*v. Is 5 a factor of g?
True
Let j(n) = n**3 - n**2 - 38. Let d be j(0). Let c = d + 131. Is 26 a factor of c?
False
Let t be ((-8)/(-3))/(6/(-171)). Suppose -2*l - 10 = 0, -3*v - 4*l - 189 = -4*v. Let u = v + t. Is u a multiple of 13?
False
Suppose -5*w - 15 = -5*t, 4*w + 12 = 3*t - 0*t. Suppose t*x - 2*x + 2*f + 26 = 0, f = -4*x + 72. Is x a multiple of 4?
False
Is 243/6 + (-30)/(-20) a multiple of 21?
True
Let p be 1 + 0/2 - 1065/(-3). Suppose 0 = -2*t - 2*t + 4*c + p, 2*t - 5*c - 193 = 0. Does 12 divide t?
True
Let x(n) = -168*n - 244. Does 31 divide x(-3)?
False
Let b = -16 + 2. Let p = b + 76. Suppose 4*u - 66 = p. Is 16 a factor of u?
True
Suppose 47 = 2*w - 35. Let y(z) = -2*z**3 - 34*z**2 + z**3 + 3 + 0*z**3 + w*z**2 - 4*z. Is 11 a factor of y(5)?
True
Let m = 0 + 3. Suppose 0 = m*d + 3*d. Suppose d = 14*t - 12*t - 120. Does 15 divide t?
True
Let b = -24 + 7. Let d = -21 - b. Does 2 divide d/18 + (-224)/(-36)?
True
Let h(q) = q**3 - 3*q**2 + 2*q - 2. Let w be 3 + 0/(3 + 0). Let v be h(w). Suppose -v*o = -o - 78. Does 26 divide o?
True
Suppose -216 = -3*n + 135. Suppose d + 102 = n. Is 6 a factor of d?
False
Suppose -27*a + 3696 = -20*a. Does 33 divide a?
True
Let o(a) = 84*a**2 - a - 3. Is o(1) a multiple of 13?
False
Suppose 12*h + 3 = 9*h. Let z be 3/6*h*-24. Suppose 0 = -9*j + z*j - 45. Is j a multiple of 5?
True
Let v = -83 + 48. Suppose 108 = 2*c - 3*h - h, 2*c = h + 120. Let p = v + c. Is p a multiple of 9?
True
Let x(c) = 6*c + 2*c - 5*c - c + 50*c**2. Is 13 a factor of x(1)?
True
Let b(y) = 3321*y + 128. Is b(1) a multiple of 25?
False
Let g(z) = -97*z - 101. Is 37 a factor of g(-6)?
True
Let k(q) = 381*q - 407. Does 25 divide k(5)?
False
Let q(r) = 3*r*