 - b. Is 11 a factor of g?
True
Suppose 8*k - 114 = 6*k. Let o = k - -2. Let a = 142 - o. Is 18 a factor of a?
False
Let f be (-1 + (-27)/(-15))/((-2)/5). Let u be 566*2*3/((-24)/f). Suppose -7*p - u = -850. Is 9 a factor of p?
True
Let u(c) = 3*c**2 + 12*c - 71. Suppose 72 = 80*r - 74*r. Is u(r) a multiple of 56?
False
Let b(j) = -j**3 + 11*j**2 + 10*j + 8. Let n be b(12). Let i(w) = w**3 + 16*w**2 + w + 9. Let z be i(n). Let q = z + 12. Is 3 a factor of q?
False
Suppose -12*h + 138 + 2346 = 0. Suppose 4*a - h = 6*s - 9*s, -5*a + 5*s = -285. Is a a multiple of 6?
True
Let w = -4498 + 6754. Does 17 divide w?
False
Let s(v) be the second derivative of v**4/4 + v**3 + v**2/2 + 27*v. Let h be s(-4). Is (1 - (-1 - 2)) + h a multiple of 6?
False
Let x = -41 + 41. Suppose x = -12*k - 19 + 55. Suppose 0 = p - k*p + 168. Does 19 divide p?
False
Let y(c) = -266*c + 475. Is 25 a factor of y(-2)?
False
Suppose -4*h - 5*l = 1217, -302 = -4*h + 5*h - l. Let i = h - -519. Does 18 divide i?
True
Suppose -44*j + 180852 = -268608. Is j a multiple of 15?
True
Suppose -9*j = -46 + 10. Let z(u) = u**2 - u - 1. Let t(a) = 4*a**2 + 7*a - 2. Let d(p) = t(p) - 5*z(p). Is d(j) a multiple of 8?
False
Let c be ((-97)/3)/(1/(-18)). Let j be ((-27)/5)/((-468)/75660). Suppose -3*n - 4*g = -2*g - j, 0 = -2*n - g + c. Does 50 divide n?
False
Suppose -172*j + 3*d = -176*j + 2184, -1118 = -2*j + 5*d. Is 83 a factor of j?
False
Let l(n) = -4*n**3 + 25*n**2 + 157*n + 116. Is 19 a factor of l(-10)?
False
Let k(z) = -z**3 + 25*z**2 + 25*z + 27. Let g be k(26). Let v be (g*7)/(16 - 15). Suppose 1061 + 409 = v*o. Is 15 a factor of o?
True
Let q(s) = -s**3 + 37*s**2 + 127*s + 41. Let r(t) = 4*t**2 + 13*t + 43. Let y be r(-3). Is 26 a factor of q(y)?
False
Let c = 25027 + -15037. Is 27 a factor of c?
True
Suppose -b = 4*n - 3*b - 2, -n + 5 = -5*b. Suppose 5*y + 3*r + 40 = 0, -4*y + n*r + 4*r - 32 = 0. Let v(x) = -x**3 - 6*x**2 + 9*x - 4. Does 13 divide v(y)?
True
Let p(i) = -23 + i**2 + 8*i - 4*i + 6*i. Let y be p(-13). Suppose -51 = -v + y. Is v a multiple of 27?
False
Let k = 1867 + -1333. Suppose 4*p + 4*r = 1132, 0 = 5*r + 4 + 1. Let s = k - p. Does 25 divide s?
True
Let h(w) = 494*w**2 + 0 - 495*w**2 + 4 - 4*w + w**3. Is 14 a factor of h(5)?
True
Let w(y) = -y**2 + 3*y + 10. Let h be w(5). Suppose -5*t = -x - h*t, -2*t = -4*x. Suppose x = 8*r - 14*r + 414. Is r a multiple of 17?
False
Let n(d) = -101*d - 33 + 91*d - 4. Does 13 divide n(-5)?
True
Let m(x) = -3*x**2 - 145*x + 68. Let c be m(-49). Let p(y) = -16*y**2 + y. Let n be p(-3). Let h = c - n. Is 13 a factor of h?
True
Is 7035789/1075 + 10/125 a multiple of 5?
True
Suppose 10*i - 30978 = -2*w, -41*i + 39*i = 3*w - 46415. Is w a multiple of 80?
False
Does 25 divide ((-30569)/22 - (45/(-3))/(-5))*-10?
True
Let n(v) = -10*v**3 - 1. Let r be n(-1). Let t = -9 + r. Let c(j) = j**2 + 2*j + 39. Is c(t) a multiple of 10?
False
Let q(l) = 26*l**2 + 17*l + 62. Is 33 a factor of q(-5)?
True
Suppose 4*w + 2*m - 180 = 0, -2*w - m = m - 94. Suppose w = -4*l + 3*l - 4*o, -3*l - 5*o = 94. Let i = l + 37. Is i a multiple of 3?
False
Suppose 0 = 1922*u - 1903*u - 40109. Is 26 a factor of u?
False
Let k(f) be the second derivative of f**4/12 + 4*f**3/3 + 13*f**2/2 + 3*f + 26. Does 2 divide k(-9)?
True
Let r(p) = 10*p - 90. Let q be r(9). Suppose q = -2*m + 3*v - 0*v + 149, 435 = 5*m + 5*v. Is 2 a factor of m?
True
Is 13 a factor of 3174 - ((-105)/7 + 17)?
True
Let l(b) = 3*b**2 - 54*b - 569. Does 21 divide l(-27)?
False
Suppose -5*r - 3*i = 15, 4*r = -4*i - 5 - 15. Suppose r = 4*c + 6*c - 930. Is 18 a factor of c?
False
Let n = 6 - 3. Let a(t) = -19*t + 0*t + 20*t + 24*t + 24*t + 5. Is 17 a factor of a(n)?
False
Suppose -3*j + 105420 = 12*j. Suppose 22*d - j = -890. Is d a multiple of 31?
True
Let f(q) = -q**3 - 4*q**2 - 7*q - 8. Let o be f(-3). Suppose -2*t - o*j = 54, -t - 3*t - 147 = -5*j. Let g = t + 39. Is g a multiple of 6?
True
Suppose -34*y + 4968 = 2*z - 37*y, 3*z + 2*y - 7413 = 0. Is 43 a factor of z?
False
Let x(d) = 17*d**2 + 27 - 15*d**2 + 10*d - 44*d. Does 26 divide x(24)?
False
Suppose 20456 + 17309 = 35*i. Let q = i + 114. Does 44 divide q?
False
Suppose 12*f - 5*f = 14. Suppose i = 4*w - 4, -2*i + 2*w - f = 2*i. Suppose 5*l - k - 108 = i, -3*k - 2*k - 34 = -2*l. Does 8 divide l?
False
Let d(l) = l**3 - 18*l**2 + 4*l + 13. Let u(x) = x**3 + 8*x**2 + 7*x + 18. Let n = 65 + -72. Let p be u(n). Is d(p) a multiple of 14?
False
Does 52 divide (-13727 + -7)/(-9) + 8 + 0?
False
Suppose 0*y - 3*y - 3*l = -63, 0 = -l + 4. Suppose -y*g + 20*g = -2*d + 62, 5*d + 75 = 4*g. Is g a multiple of 5?
True
Suppose 5 = 3*q + 17. Let d = 17 - q. Is -1*(-18)/(-4)*(-686)/d a multiple of 21?
True
Let a(z) = z**2 - 12*z + 11. Let h be a(13). Is ((-9)/5)/(h/(-2440)) a multiple of 16?
False
Is 3 a factor of (-1682)/(-14) + (-42)/294?
True
Is ((-774)/(-27))/(6/4923) a multiple of 105?
False
Let s = -30020 - -57012. Is 241 a factor of s?
True
Suppose -27*b + 8921 = -124. Is b a multiple of 7?
False
Suppose 8*j - 4*t - 126408 = 0, -7*t + 31608 = 2*j - 11*t. Does 31 divide j?
False
Let i = 3 + 0. Suppose -2*m + 427 = -3*g, -5*m + 618 = -2*m + i*g. Suppose -2*l - m = -527. Is l a multiple of 31?
False
Suppose -t - 5*y = -45, 3*y = -0*t + 3*t - 63. Let x(k) = k**3 + 47*k**2 + 131*k - 29. Let h be x(-44). Is 8 a factor of h/t - (-634)/20*2?
True
Let t = 3685 - 3501. Is t even?
True
Suppose -3*z + 36 = 5*j, 10*z - 14*z = 3*j - 26. Suppose 4*c = -u + 82, 5*u - 485 = j*c - 11*c. Is 34 a factor of u?
True
Suppose -o + 57 - 63 = -4*f, f - 10 = -4*o. Suppose 0 = -x - o*i + 988, -445 = -5*x + i + 4517. Is x a multiple of 31?
True
Does 123 divide (196560/(-5))/(-8) + (-19)/(38/(-12))?
True
Let l = 5151 - 1370. Does 11 divide l?
False
Suppose 8*m - 37 = 27. Suppose m*r + 4 = 36. Suppose r*w - 536 = -116. Is w a multiple of 24?
False
Suppose 2*w + 28 = -5*w. Let y(z) = -z**3 - 5*z**2 - 7*z + 11. Is y(w) a multiple of 13?
False
Let n(b) = -b**3 + 9*b**2 - 6*b + 18. Let g be n(8). Let a = g + -28. Is a/3 - ((1 - 2) + -36) a multiple of 5?
False
Let u(o) = 4*o**2 - o - 1. Let y be u(-2). Suppose 5*r - 2*c - 5 - y = 0, 15 = 4*r + c. Suppose p = r*p - 33. Does 2 divide p?
False
Suppose 3*t = -4*c + 2228 + 110, -c + 4*t + 575 = 0. Suppose -4*u + 2*o = -o - c, -2*u = -5*o - 309. Is u a multiple of 67?
False
Let l = 70 + -94. Let x(s) = 25*s**2 - 3*s + 3. Let o be x(-3). Is 6 a factor of o*(l/(-9))/4?
False
Suppose -80*n = -84*n + 12600. Is n a multiple of 14?
True
Let f(h) = h + 18. Let z(u) = -u - 9. Let t(q) = -4*f(q) - 9*z(q). Let s be t(8). Does 48 divide 6/14 - (-10612)/s?
False
Let b = 2399 + -1536. Is 18 a factor of b?
False
Suppose 0 = -1113*q + 1142*q - 28101. Is 51 a factor of q?
True
Let g(r) be the third derivative of -r**6/120 + 7*r**5/30 - 5*r**4/12 + 6*r**3 - 8*r**2 - 4*r. Is g(13) a multiple of 25?
True
Let q(o) = -21*o**3 - 19*o**2 - 93*o - 95. Is 8 a factor of q(-9)?
True
Let j(z) = 151*z**2 + 2*z - 27. Let k be j(-4). Suppose 0 = -2*x - 4*g + 1178, 5*x - g = 520 + k. Is 8 a factor of x?
False
Let a be 28/42 + (-236)/3. Let c = a + 83. Suppose -72 - 13 = -c*w. Is w a multiple of 9?
False
Suppose -26*l + 103935 = 22*l - 221409. Is l a multiple of 10?
False
Suppose 71 = 12*f - 25. Suppose 7*o - 11*o = -f*o. Is 25 a factor of 148 - ((0 - o) + -2)?
True
Suppose -2845706 - 1563298 = -318*g + 11832. Is g a multiple of 28?
False
Suppose -851352 = 146*f - 3552644. Does 29 divide f?
True
Let f(q) = 49*q - 185. Let l be f(14). Suppose l = -6*t + 5757. Does 9 divide t?
False
Suppose 1089*c - 8 = 1091*c. Is 5 a factor of 1 + (-1667)/c - (-66)/(-88)?
False
Let s = 17303 + -16171. Let r be 0/(-2) - 3/(-1). Suppose -j = -4*d + 1123, -j = -4*d + r*j + s. Is 14 a factor of d?
True
Let s be (-3 - -4)*3674/11. Let b = -247 + s. Is b a multiple of 3?
True
Let b = -3028 - -12268. Is b a multiple of 264?
True
Let c be (264/5)/(21/105). Suppose -c = -12*j - 10*j. Does 12 divide j?
True
Suppose 0 = -7*l + 9355 - 1690. Is l a multiple of 15?
True
Suppose 32*c - 34*c = -370. Let z = 66 + c. Suppose -6*r = 71 - z. Is r a multiple of 5?
True
Let l(x) = -x**3 + 48*x**2 + 30*x + 1419. Is l(49) a multiple of 13?
False
Suppose 19953 + 5746 = 31*c. Let w = 1181 - c. Does 32 divide w?
Tr