j**3 - 9*j**2 + 11*j - 14. Let f be v(a). Suppose -110 = -5*y + f. Is 12 a factor of y?
True
Let o = -25 + 25. Suppose p + 21 - 25 = o. Suppose 4*y - 61 = n, p*y + y - 50 = -4*n. Does 3 divide y?
False
Suppose 7*p - 8*p = 26. Is (-13)/p + 177/2 a multiple of 38?
False
Let t(l) = l**2 - 38*l + 482. Does 10 divide t(46)?
True
Suppose -4*i + 7*i + 5*x = 3379, i - 4*x - 1132 = 0. Is 12 a factor of i?
True
Let m(a) = -a**3 - 4*a**2 + 2*a - 2. Let c be m(-7). Let s(t) = -t**3 + t - 4. Let u be s(-2). Suppose u*y + 8*p = 3*p + c, y + 2*p - 65 = 0. Does 17 divide y?
False
Suppose l - 3 = -0*i + i, 5*i - 9 = -3*l. Suppose i = -0*y - 2*y - 2*v + 114, 5*y + 3*v - 291 = 0. Suppose y = -2*c + 5*c. Does 5 divide c?
True
Let g(n) = 45*n**2 + 19*n - 44. Does 6 divide g(2)?
True
Suppose -4*s + 1642 = 3*w - 1, 2*w - 2*s - 1100 = 0. Is 9 a factor of w?
True
Suppose 2*a - 70 - 61 = 5*x, 116 = 2*a - 2*x. Is a a multiple of 10?
False
Let x be (12/(-8))/(3/18). Let p = x - -11. Suppose -4*z - w = -0*z - 49, -p*w + 10 = 0. Is 3 a factor of z?
False
Suppose -24*q - 2414 = -8462. Is q a multiple of 63?
True
Suppose -5*p + 391 = 2*l, -2*p - 4*l + 92 = -58. Is p a multiple of 13?
False
Let w(p) be the third derivative of p**5/60 + p**4/6 + p**3/3 + 3*p**2. Is w(-5) a multiple of 2?
False
Let c = 391 + -216. Let u = 259 - c. Does 11 divide u?
False
Let y be (-9)/6 + (-3)/(-2). Suppose 0 = -y*z + 2*z - 10. Suppose 2 = z*a - 188. Does 12 divide a?
False
Suppose j + 2*j = 714. Let m be 3429/432 + 3/48. Suppose 10*c - m*c = j. Is 33 a factor of c?
False
Is 54 a factor of 18*((-3 - 39/(-2)) + 4)?
False
Suppose 3*c = 4*c + 4*y + 76, c - 3*y + 48 = 0. Let w = 108 + c. Is 17 a factor of w?
False
Let b be (-1)/(((-10)/(-6))/(-5)). Suppose -b*t = -p - 35, p - 3*p - 58 = -5*t. Is t a multiple of 6?
True
Let j(o) = -2*o + 81. Let k be j(0). Let q = 134 - k. Suppose -4*l + 17 = 2*s - q, -2*s - l = -64. Is 15 a factor of s?
False
Let c = -1305 - -1582. Is 30 a factor of c?
False
Let v = -4557 + 6691. Does 21 divide v?
False
Let t(o) = -o**2 + 14*o + 4. Suppose 2*g + 2*w = 34, -4*w = g - 42 + 10. Does 4 divide t(g)?
True
Let t = -14 + 2. Let y = t - -15. Suppose 0 = 4*z + 2*l + 51 - 297, y*z - 197 = l. Is z a multiple of 12?
False
Suppose 0 = 6*n - 12*n + 570. Does 4 divide n?
False
Suppose 1949 - 563 = 11*z. Does 7 divide z?
True
Let i(u) = -u**2 + u + 1. Let q(a) be the second derivative of a**4/3 - a**3/2 - 9*a**2/2 + 3*a. Let l(w) = -6*i(w) - q(w). Does 19 divide l(8)?
False
Let i = 384 - 213. Let t = 256 - i. Is t a multiple of 13?
False
Suppose -4*r = -4*k + 25824, 0 = 2*k + 4*r - 8057 - 4831. Is k a multiple of 31?
False
Let v(x) = 2 + 2 - 1 + 7*x. Let p be v(1). Let c = 19 - p. Does 2 divide c?
False
Suppose -4*y - 264 = -2*h, 0*y = y + 2. Is 11 a factor of h?
False
Suppose 13*r + 0*r = 689. Let m be 2/(-10) - (-168)/(-10). Let u = r + m. Is u a multiple of 9?
True
Let d = 5 + 69. Let n be d/((-4 + 6)/(-1)). Let r = n - -109. Is 11 a factor of r?
False
Let z(r) = -r**3 + 11*r**2 + 6*r - 26. Does 20 divide z(11)?
True
Suppose -12*l - 2*b = -14*l + 214, -l - b + 101 = 0. Is l a multiple of 13?
True
Let g(q) = -59*q - 60. Let t be g(-12). Let l = t - 336. Is l a multiple of 26?
True
Suppose 2*m + 2*m = 5*g - 57, -m - 28 = -4*g. Is 15 a factor of (32/10)/(m/(-200))?
False
Suppose -7958 = -35*j + 13672. Is j a multiple of 103?
True
Suppose 2*c = 91 + 71. Suppose -c = l - 2*l. Let t = -58 + l. Is 9 a factor of t?
False
Does 15 divide 4/(-46) + (-105588)/(-207)?
True
Let a be (-8 - 16)/((-6)/4). Suppose a*o = 1281 + 351. Is 34 a factor of o?
True
Suppose -152 = -10*u + 6*u. Let m = u + -27. Is m a multiple of 6?
False
Let o = 166 + 26. Is o a multiple of 3?
True
Suppose -6*b + b = 0. Suppose b*r = r. Suppose -s - i + 50 = 0, r*s - s - 4*i + 56 = 0. Is 12 a factor of s?
True
Let o(d) = 1 + 7*d - 7 + 3*d**2 + 10 + d**3 - 11*d**2. Let t be o(8). Suppose 6*s - t = s. Is s a multiple of 12?
True
Let d(y) = -3*y**3 + y**2 + 4*y + 3. Let a(s) = -s**2 - 2*s. Let t be a(-2). Suppose t = -5*v - 15 - 0. Is 27 a factor of d(v)?
True
Let t(b) = 4*b**2 + b**2 - 4 - 4*b**2 + 3*b. Let f be t(-4). Suppose -4*p + d - 2*d + 12 = f, 5*d - 15 = -5*p. Is p a multiple of 2?
False
Let d(q) = -2*q**2 + 9*q - 8. Let n be d(7). Let y = 103 + n. Suppose -6*r + y = -5*r. Is r a multiple of 20?
True
Suppose -4*m = -v + 502, -v + 2*m + 660 = 166. Is 9 a factor of v?
True
Suppose 27*b + 959 = 905. Suppose x + 2 = 2*x - 2*j, 0 = 4*j + 16. Is (x/(-15))/(b/(-360)) a multiple of 20?
False
Let r(w) = 135*w**2 + 8*w - 4. Does 23 divide r(2)?
True
Let n be (-297)/(-44)*(-11 - 1). Is 6 a factor of (2*n/6)/(-2 + 1)?
False
Suppose 26*s - 4720 = -14*s. Is s a multiple of 6?
False
Suppose 0*x - 3*z + 2 = x, -x + 5*z = -10. Suppose 44 - 284 = -x*g. Does 8 divide g?
True
Let j(g) = 2*g + 38. Let b be j(-17). Let z be 9/5 - 2/(-10). Suppose -b*c - 164 = z*v - 4*v, -2*v - 2*c = -134. Does 12 divide v?
True
Let r(g) = -7*g + 3. Let y be r(-4). Suppose -y - 15 = -2*l. Does 3 divide l?
False
Let t be (-24)/(-16)*(-5)/((-15)/4). Suppose 3 = v + 7. Is 34 a factor of 193/2 + t/v?
False
Let w be ((-56)/21)/(4/(-6)). Suppose -4*c + 5*k + 243 = 0, k - w*k = -4*c + 237. Suppose q = -3*x + 2*q + 77, c = 3*x + 3*q. Is 24 a factor of x?
True
Let n be ((-4)/2)/(-6)*-87. Let i = 40 + n. Does 4 divide i?
False
Suppose -3*c - c - 20 = 0. Let m(x) = 7*x + 23. Let v(s) = s + 1. Let y(w) = m(w) - 6*v(w). Does 4 divide y(c)?
True
Suppose -1 = 5*l - 1. Let z(p) = p**3 - 8*p - 54. Let k(w) = w**3 - 7*w - 54. Let r(h) = -7*k(h) + 6*z(h). Is r(l) a multiple of 18?
True
Suppose -4*t + 988 = -5*v, -2*t + t + 3*v + 240 = 0. Does 14 divide t?
True
Does 18 divide (-1)/(4/(-3192))*(1 - -5)?
True
Let y(p) = 2*p**2 + 47*p - 210. Is 20 a factor of y(5)?
False
Let h(r) = -5*r**2 - 70*r + 27. Does 8 divide h(-11)?
True
Let c(t) = -3*t**2 + 43*t + 38. Is 18 a factor of c(11)?
False
Let r(j) = -217*j - 92. Does 17 divide r(-6)?
False
Let d be (-70)/16 + 12/32. Is 3 a factor of (-93)/d + (-3)/12?
False
Let g = -149 - -83. Let p = 131 + g. Is 13 a factor of p?
True
Let r = -56 - -60. Suppose -112 = -3*n + r*i + 68, 3*i = -n + 73. Does 32 divide n?
True
Let o = -922 + 1651. Is 30 a factor of o?
False
Let h = 127 - 127. Is h - 1 - (2 + (-74 - -3)) a multiple of 34?
True
Let d(q) = -q**2 + 10*q - 1. Let g be (-1 + (-4)/12)*-3. Is d(g) a multiple of 3?
False
Is 18 a factor of 16/40 - (7494/(-15) + 0)?
False
Is 6 a factor of 2*-3*(-57 - -51)?
True
Suppose 3*s = 4*q - 8, q + 2*s - 1 = 12. Suppose -4*u - 532 = -4*o, -2*o = -4*o + q*u + 263. Does 7 divide o?
False
Let d(n) = 4*n**2 + 13*n - 101. Does 13 divide d(36)?
True
Let q be (-124)/(-20) + (-4)/20. Suppose 4*f = -h - q, -f + 36 = -2*h + 6*h. Suppose -h = 2*s, -5*s + 167 = 2*j - 0*j. Is 32 a factor of j?
True
Let i = -86 + -10. Does 32 divide i/(-5)*(6 - 1)?
True
Let y be (-6)/4*8/(-6). Is 6 a factor of 18*y*(-10)/(-10)?
True
Suppose 0 = -168*q + 171*q - 5478. Is q a multiple of 67?
False
Let l = -13 + 34. Suppose 0 = -y - y, m = 5*y + l. Is m a multiple of 3?
True
Let u be (-4)/18 - (-4)/18. Let q = 12 - u. Let c = q - -18. Is 10 a factor of c?
True
Suppose o + 10*r = 5*r + 790, -3*o + 2342 = r. Does 65 divide o?
True
Let n = 5 - 5. Suppose b - 61 - 79 = n. Does 20 divide b?
True
Let h = -772 - -804. Is 5 a factor of h?
False
Let w(g) = -g**3 + 6*g**2 - 6*g + 7. Let r be w(5). Suppose 0 = 4*p + 6 - r. Let v(b) = -10*b**3 + b**2 + 2*b + 1. Does 5 divide v(p)?
True
Let o(u) = -10*u**3 - u**2 - 4*u - 5. Let y be -4 + 4 + -2 + -1 + 1. Does 12 divide o(y)?
False
Suppose 4*w = 3*n - 52, 4*n - 72 + 0 = 4*w. Suppose -3*i + n = 2*i. Is 2*i/((-24)/(-99)) a multiple of 11?
True
Let a(t) = 2*t**2 + 20*t - 15. Let j be a(-9). Let d = 51 + j. Is d a multiple of 9?
True
Let o = -68 + 96. Let b be (33/(-12) + 2)*-4. Suppose b*t - 47 = o. Is 15 a factor of t?
False
Is 16 a factor of (80/15)/(11/1584)?
True
Let w be 4*((-22)/(-8) - 2). Is w/(3/181) - (2 - 5) a multiple of 14?
False
Suppose 1536 = -62*t + 68*t. Is t a multiple of 16?
True
Suppose 0 = -4*t + 16, f - t = -f + 2. Suppose -j - 12 = -3*j - 4*l, -f*j + 4*l = -18. Is 19 a factor of (j/4)/(1/14)?
False
Let w(g) = -g**3 - 3*g**2 + 9*g + 5. Let b be w(-8). Suppose -5*l + 4*k + 648