8 = -4*i + 2*p. Is 14 a factor of i?
False
Suppose -3*k - 20 = -26. Suppose 0*t - k*t + 64 = 0. Is 8 a factor of t?
True
Let q(d) = -d**3 - 16*d**2 - 10*d - 32. Suppose 0 = 4*n - 5*n - 16. Does 28 divide q(n)?
False
Let o = 6 + -5. Suppose 3*m = 2*m - u - o, -4*m + 32 = -5*u. Suppose -37 = m*l - 199. Is l a multiple of 27?
True
Suppose 2*i = -5*l + 62, -5*i - 9*l + 14*l = -85. Is 7 a factor of i?
True
Suppose u = 4*n + 24, 4*u + 11*n - 26 = 13*n. Let c(o) = -o**2 + 7*o - 8. Let a be c(7). Let q = u - a. Does 3 divide q?
True
Suppose 106 = -x - 5*v + 2*v, 2*v = 4*x + 396. Let i = x + 325. Suppose -8*r = -13*r + i. Is 15 a factor of r?
True
Let r(k) = 10*k + 598. Is 10 a factor of r(0)?
False
Let g be (3/(-8))/((-3)/4)*-12. Is (20/g)/(6/(-324)) a multiple of 45?
True
Let u(k) = 2*k + 11. Let z be u(-6). Is 3 a factor of 30/(z + 4) + -4?
True
Suppose -452*s + 433*s = -1387. Does 7 divide s?
False
Suppose -w + c = 3*c, -4*w - 4*c + 4 = 0. Let t(d) = -d**3 - 6*d**2 - 6*d - 2. Let r be t(-5). Suppose r*j = w*j + 57. Does 16 divide j?
False
Does 32 divide (-4)/(-6) - (-185820)/342?
True
Let s(d) = d**3 - 8*d**2 + 12*d - 3. Let x be s(6). Does 6 divide (-9)/x*10/2?
False
Let y = -5980 + 8710. Is y a multiple of 42?
True
Let j(x) = 50*x + 14. Let f be j(-3). Let u = f - -272. Is 17 a factor of u?
True
Let n(i) = -i**2 + i + 4. Let s be n(4). Let f be s/(-28) + 10/14. Suppose h = f + 6. Is h a multiple of 2?
False
Is 2 a factor of (-4)/(-3) + (-1232)/(-12)?
True
Let q = 74 - 65. Suppose -q*w + 1296 = -117. Is 41 a factor of w?
False
Suppose 4*h = h + 153. Let r = h - 45. Is 6 a factor of r?
True
Suppose 6*q - 8 - 4 = 0. Suppose 127 = 2*h - q*w - 3*w, -5*h + w + 283 = 0. Is 10 a factor of h?
False
Let b(i) = i**2 + i - 2. Let t be b(-2). Suppose f + 2*k - 134 = k, -k - 2 = t. Suppose 0 = -x - x + f. Does 17 divide x?
True
Suppose -2*s + 2*a + 84 = 0, -a - 2 = -0. Suppose -3*g - s = -4*g. Is 21 a factor of g?
False
Suppose -5*g + 72 = 4*g. Suppose g*t - 273 = 3087. Does 15 divide t?
True
Suppose 0 = 6*u - u + 15. Let b(q) = -q**3 - q**2 - q + 13. Is 9 a factor of b(u)?
False
Suppose -5*w - 4 = -39. Suppose 0 = -w*t + 54 + 114. Is 12 a factor of t?
True
Let m(x) = 15*x + 3. Let p = 23 + -13. Let z(h) = -h**2 + 11*h - 7. Let s be z(p). Does 16 divide m(s)?
True
Let y be (-1)/(-2) - (-31)/2. Suppose -4*n - y = -5*l - 3*n, 0 = -5*n + 20. Suppose 0 = -l*r + 9*r - 200. Is r a multiple of 15?
False
Let i(p) = 36*p + 51. Does 93 divide i(27)?
True
Let v(p) be the first derivative of -p**4/12 + 8*p**3/3 - 15*p**2/2 + 4*p - 2. Let f(j) be the first derivative of v(j). Is 20 a factor of f(10)?
False
Suppose -3*i = 4*k - 144, 72*k = -2*i + 69*k + 96. Is 8 a factor of i?
True
Suppose v = p + 4*p + 1514, 5*v - 4*p - 7549 = 0. Does 20 divide v?
False
Let t be (16/(-10))/((-6)/(-30)). Let n(k) = k**3 + 8*k**2 - 4*k - 2. Let g be n(t). Let m = -2 + g. Is 12 a factor of m?
False
Suppose -3*i + 22 = -5*h + 3*h, 2 = 3*i + 2*h. Suppose 3*f = -5*b - 12, 5*f + 8 = -b - 12. Suppose -4*d + 24 = i*z - d, -z + 4*d + 25 = b. Is 9 a factor of z?
True
Let d(c) = 31*c**2 + 8*c - 11. Let p be d(3). Suppose -3*v + p = -v. Is v a multiple of 17?
False
Suppose -19*d + 80 = -3*d. Suppose b = -d*g + 43, 16 = 2*b - 6*g + 2*g. Does 6 divide b?
True
Does 27 divide (6/(36/6) - 7) + 546?
True
Let d(s) = 25*s - 52. Let m be d(8). Suppose -p - 4 + 2 = 0, m = a - 4*p. Is 28 a factor of a?
True
Suppose 37*q - 66*q = -20242. Does 6 divide q?
False
Let w(h) = 10*h**2 + 7*h - 11. Let v be w(-5). Suppose 0 = a + 2*a - v. Does 10 divide a?
False
Suppose 2339 + 246 = -5*w. Let i = -220 - w. Does 33 divide i?
True
Let s(y) = y + 49 + 40 + y**2 + 69 - 3*y**2. Is 13 a factor of s(0)?
False
Let b(z) = 2*z**2 + 18*z - 152. Does 22 divide b(23)?
True
Let y = 23 - 23. Suppose -4*x + j = -12 + 82, y = -3*j + 6. Let m = x - -31. Is m a multiple of 4?
False
Suppose 0*g - 3*i = 2*g - 153, -4*g + 2*i = -346. Is g a multiple of 28?
True
Let c = -12 + 11. Let g = 0 + -1. Is 4 a factor of 3/(g/4*c)?
True
Suppose 4*s + z + 315 = 2056, -3*z = -3. Does 87 divide s?
True
Let a be (1 - -3) + (-41 - 4). Let z = a - -73. Suppose -v = -43 - z. Is v a multiple of 19?
False
Suppose -3*d - 6 = 21. Let f be (1 - d) + 1 - 4. Suppose -f*z = -19 - 65. Is 12 a factor of z?
True
Let h = -4 + -11. Let p = 4 - h. Suppose 73 - p = w. Is w a multiple of 18?
True
Let p(o) = 2*o**2 - o + 15. Does 21 divide p(9)?
True
Let p be -5*(-65)/(-5) - (1 - 2). Is 140*(-2 + p/(-20)) a multiple of 12?
True
Let y(k) = -k**3 - 2*k**2 + 2*k + 3. Is y(-7) a multiple of 39?
True
Let t(s) = -16*s + 124. Is t(5) a multiple of 4?
True
Suppose -h - 15 = -9. Let g be 1/(((-18)/15)/h). Is 7 a factor of 17 - (0 + (g - 2))?
True
Let o(w) be the second derivative of -w**5/20 + 11*w**4/12 + 7*w**3/3 - 6*w**2 - 9*w. Is o(12) a multiple of 6?
True
Let g(p) = 9*p**2 + 49*p - 63*p + 4 - 2*p**2. Does 12 divide g(4)?
True
Let j = 177 - 112. Suppose -6*d + j = -d. Does 13 divide d?
True
Suppose 5*v = 5*i + 5, -4*v - 4*i + 55 - 19 = 0. Is 20 a factor of v + (1 - 3) + 90?
False
Suppose 16*b = 8*b + 1056. Does 6 divide b?
True
Suppose 0*p = 2*p - 2, -2*z = -p - 121. Is 16 a factor of z?
False
Let y = 2 - 6. Let k = y - -14. Is 5 a factor of k?
True
Let g(p) = p**2 + 2*p - 90. Is g(15) a multiple of 11?
True
Suppose 44 - 6 = 2*l. Let g = l - 11. Let q(c) = c**3 - 7*c**2 - 3*c + 7. Is q(g) a multiple of 11?
False
Let q(h) = -h + 3. Let p(w) = -w**3 + 4*w**2 + 10*w - 7. Let c be p(6). Let d = 13 + c. Is q(d) a multiple of 3?
True
Let s be (-5)/3*(-18)/15. Suppose -5*p - 7 = h - s*p, 2*p = 5*h - 16. Suppose h*r + 66 + 34 = 3*b, 0 = -5*b + r + 176. Does 18 divide b?
True
Let f(p) = -7*p - 16. Let r be f(-16). Let u = r - 41. Is 9 a factor of u?
False
Suppose 3*y + 17 = 4*u, 9 = 4*y + 3*u + 40. Let m(t) = t**3 + 10*t**2 + 2*t - 3. Let f be m(y). Suppose 12*g - f = 7*g. Is 15 a factor of g?
False
Let t(b) = 607*b + 6. Let d be t(3). Suppose -3*o = 6*o - d. Does 16 divide o?
False
Suppose 0 = -4*r + 20, -95 = -b - 4*b + r. Suppose 5*f + 4*o - 792 = 0, 4*o + 8 = 3*f - 480. Suppose 4*q - f = b. Is 8 a factor of q?
False
Suppose -132 = j - b, -2*j + 3*b - 405 + 138 = 0. Let r = -79 - j. Is r a multiple of 5?
True
Let l(g) = -g**3 - 2*g. Let j be l(0). Is 28 a factor of (93 + j)*((-4)/(-3) + 0)?
False
Let d = -402 - -601. Does 22 divide d?
False
Let n be (0/(-2) - 1)/1. Let w be ((-1)/3)/(n/(-6)). Is 11 a factor of 0 + 2*(-31)/w?
False
Suppose k = -5*d + 3593, 45*k = -4*d + 41*k + 2884. Is d a multiple of 4?
False
Let i be -3 - (-3)/((-6)/(-16)). Suppose -i*g - q = -57 - 78, 4*q - 54 = -2*g. Is g a multiple of 8?
False
Let p(b) be the third derivative of b**5/60 - 5*b**4/12 - 4*b**3/3 - 3*b**2. Let w(o) = o + 1. Let v(c) = p(c) + 5*w(c). Is 11 a factor of v(11)?
False
Let o be -3*-1*40/((-12)/(-3)). Let r = o - 20. Is 2 a factor of r?
True
Suppose 94 = 6*l - 266. Does 6 divide l?
True
Let k be -1 - (121 - -3 - -2). Let u = -110 - k. Is 17 a factor of u?
True
Let u(n) = -4*n - 11. Let a be u(16). Let w = 125 + a. Does 28 divide w?
False
Suppose z - 17 = -0*z. Suppose -2*m = -3*n - z, 0 = -4*n - m - 0*m - 8. Does 13 divide n/6*14*-13?
True
Suppose 17*r + 1665 = 20*r. Is 58 a factor of r?
False
Let c(o) = -2*o**2 + 9*o. Let i be c(4). Suppose i*b - 1100 - 330 = 5*j, -2*b + 712 = -j. Does 50 divide b?
False
Suppose 0 = 5*z + 10 - 20. Suppose -2*b - z*b = -92. Does 4 divide b?
False
Is 24 + -22 + 0 + 967 a multiple of 42?
False
Let x be (-14)/(-4)*8/14. Let o(n) = 3*n - x*n**2 - n**3 - 1 + 3*n**3 - 5*n. Is o(3) a multiple of 29?
True
Let f(h) = -h**3 + 14*h**2 - 14*h + 13. Let r be f(13). Suppose -4*m - 62 = -c, 2*m + m + 3 = r. Is c a multiple of 17?
False
Suppose f + 4035 = 2*s, 0 = 3*s - f - 3458 - 2593. Does 28 divide s?
True
Let z(i) = 2*i**3 - 7*i**2 + 6*i + 5. Let m be z(4). Suppose m*u - 720 = 41*u. Is u a multiple of 15?
True
Suppose -3*o + 6 + 24 = 0. Suppose b - o = 6*b, -4*h - 3*b = -2. Suppose -h*t = -4*t + 112. Is 13 a factor of t?
False
Suppose -7*r + 9 + 26 = 0. Suppose 4*x = -r*p + 617, 5*x - 53 = 5*p + 662. Does 22 divide x?
False
Let w = 2009 - 1449. Is 5 a factor of w?
True
Suppose -36 = -j - 2*j. Let z be 1/(4/j)*2. Let n = 17 - z. Does 8 divide n?
False
Let m be 0/2*4/4