c + t = -20, -c = -0*t - t - 6. Is c a multiple of 4?
False
Let i(z) = 4*z. Let x be i(-4). Suppose 4*p - 104 = 3*k, -p + 4*p + 2*k - 78 = 0. Let q = p + x. Is 7 a factor of q?
False
Suppose -2*b + 4*c - 10 + 36 = 0, -b - c + 1 = 0. Suppose b*z = -5*s + 107 + 18, -80 = -3*z + 2*s. Does 13 divide z?
True
Suppose -13 = 3*r - 1. Let m(z) be the third derivative of z**6/120 + z**5/15 - 5*z**4/24 - z**2. Is m(r) a multiple of 10?
True
Let x(d) = 11*d**3 + 2*d**2 + 2*d + 1. Let u be x(-1). Let c = u + 14. Suppose 8 = o - c. Is 12 a factor of o?
True
Let b = 36 - 19. Is 3 a factor of b?
False
Suppose -468 = -5*n - 2*b, -3 = -b + 1. Does 23 divide n?
True
Let p(n) = 8*n**2 + 4. Does 18 divide p(-2)?
True
Let g be ((-5)/3)/((-1)/3). Let a = 17 + g. Is a a multiple of 10?
False
Let h = -3 - -4. Let v(n) = -4*n**2. Let r be v(h). Let z = r - -28. Is 10 a factor of z?
False
Suppose 0*d + d - 5 = 0. Suppose -d*l + 17 = 2. Let w(j) = -j**3 + 3*j**2 + 2*j - 1. Does 2 divide w(l)?
False
Let g = -36 + 58. Let v = g - 6. Is 6 a factor of v?
False
Suppose m = -3*h + 28, 5*m = -h - 11 + 123. Is m a multiple of 4?
False
Is 5 a factor of ((-5)/(-2))/(-2*(-1)/48)?
True
Let q = -19 + 43. Let t = 41 - q. Let k = t - 3. Is k a multiple of 14?
True
Let q(r) = -2*r**3 + r**2 - 1. Let o be q(2). Let s be 3/((-2)/(-14)*-1). Let u = o - s. Is 8 a factor of u?
True
Let b be ((-648)/(-16))/(6/(-8)). Let u be (-634)/(-18) - (-12)/b. Let c = u + -11. Is c a multiple of 8?
True
Let x(l) = -l**3 + 11*l**2 + l - 7. Is x(10) a multiple of 7?
False
Let y(h) = -h + 7. Suppose 2*v - 9 = 39. Let c be (-8)/v*(0 + 0). Does 2 divide y(c)?
False
Suppose 3*l - 3 = 3. Let a be (1 + l)*(-4 + 3). Let y = a + 11. Is 8 a factor of y?
True
Suppose -2*w - 4*a = -5*w + 24, -5*w = 4*a - 8. Suppose -w = -m + 5. Is 9 a factor of m?
True
Suppose 0 = -4*r - 87 + 695. Does 19 divide r?
True
Let i be (-2)/(-2)*(90 - -3). Suppose 2*a - 5*a + i = 0. Does 16 divide a?
False
Let z = 24 - 15. Let d = z - -6. Is d a multiple of 15?
True
Suppose 5*p = -r + 135, 4*p - 5*r = 2*p + 54. Suppose -3*h = b - 9, 2*b + 5*h - p = -b. Suppose -y + b = 2. Is y a multiple of 7?
True
Let a = -9 + 15. Suppose d + 3*g = a, 0*d + d - 5*g + 10 = 0. Suppose d = -3*p + 50 + 1. Is 6 a factor of p?
False
Let y be (2/5)/((-1)/115). Let i = 81 + y. Does 11 divide i?
False
Is 0 + 0 + (-3)/(6/(-38)) a multiple of 4?
False
Let r(x) = -6*x - 2. Let t(m) = -2*m - 1. Let j(w) = -4*r(w) + 14*t(w). Is j(-6) a multiple of 6?
True
Suppose 189 = 10*y - 9*y. Does 7 divide y?
True
Let d(w) = 5*w**3 + 4*w**2 - 3*w. Let x be (-3)/(-2)*(-8)/(-6). Suppose -4*n + x = -6. Is 13 a factor of d(n)?
False
Suppose -8*c - 200 + 1112 = 0. Is c a multiple of 6?
True
Let u(d) = -d**3 - 9*d**2 + 9*d + 5. Let c be u(-10). Suppose c = -4*g - 21. Is 8 a factor of 2/g - (-164)/9?
False
Let w(y) = 37*y**2 - y - 2. Is w(-1) a multiple of 6?
True
Let s = -48 + 60. Is s a multiple of 12?
True
Let v(s) = 4*s**3 + 7*s**2 + 3*s - 29. Let g(l) = -3*l**3 - 5*l**2 - 2*l + 19. Let f be ((-21)/9)/(2/6). Let r(h) = f*g(h) - 5*v(h). Does 6 divide r(0)?
True
Suppose -162 + 52 = -11*f. Does 5 divide f?
True
Suppose 3*t - 19 = -p - 3, -4*p - 4*t = -32. Suppose 5*y + 4*s = 55, 0 = 4*y - p*s + s - 13. Is 7 a factor of y?
True
Suppose -2*i + 104 = -0*i. Suppose 160 = 4*z + i. Let s = 48 - z. Does 21 divide s?
True
Suppose 5*f + 2 + 10 = 3*r, -4*f + 12 = 3*r. Suppose 2*j = r*j - 2. Does 13 divide 15 + ((-4)/2)/j?
True
Let m(c) = -6*c**3 + 4*c**3 - 3*c - 3*c**2 + c**3 + 2 - 3. Let t be m(-2). Let x(d) = 23*d**3 - d**2 + d - 1. Is x(t) a multiple of 11?
True
Let s(w) = w**3 + 8*w**2 + 4*w + 3. Is 21 a factor of s(-6)?
False
Suppose p - 160 = -3*p. Is p a multiple of 8?
True
Let y(h) = -2*h**3 - h**2 + h - 2. Does 13 divide y(-3)?
False
Let n(c) = c**3 - 6 + c + 0*c**3 - 3*c + 4*c**2. Let r be n(-4). Suppose r*t = 2, -h - t = -2*t - 44. Does 20 divide h?
False
Let x(h) = -h. Let b(l) be the second derivative of 4*l**3/3 + l**2/2 + l. Let u(o) = 2*b(o) + 18*x(o). Is u(-4) a multiple of 4?
False
Let z(a) = -a**3 - 2*a**2 + a - 1. Let h be z(-4). Suppose -157 = -5*c - 4*r + 2*r, 0 = c - 4*r - h. Is 31 a factor of c?
True
Suppose 3*c - b = 9, c - 14 = 3*b - 3. Suppose c*d - 4*d = -20. Does 5 divide d?
True
Let y = 7 + -6. Let w be y + -24 + 6/2. Let a = 32 + w. Is a a multiple of 12?
True
Let a(u) = u + 11. Let p be a(-9). Let w be (-2)/6 + 4/12. Suppose -3*i + w + 6 = 3*g, -3*g = p*i - 10. Does 4 divide g?
False
Does 10 divide (2/(-6))/((-1)/75)?
False
Suppose 3*y = 3*z + 2*z + 21, 5*y - 4*z = 22. Suppose -34 = -y*t - 0*t. Does 12 divide t?
False
Let u(z) = z**2 + 3*z - 14. Is 28 a factor of u(-10)?
True
Let h(p) = -p**3 + 7*p**2 - 2*p - 4. Suppose 0 = 3*y + 6*m - m + 10, -2*y - 5*m - 10 = 0. Suppose 0 = 5*b - 15, 3*w - 6 + y = 3*b. Is h(w) a multiple of 18?
True
Let b(m) = 2*m**3 + 2*m**2 - 5*m + 3. Let k = 22 - 19. Is b(k) a multiple of 30?
True
Suppose 2*k - 63 = 3*k. Let s = -37 - k. Is s a multiple of 13?
True
Let f(s) be the second derivative of s**6/360 + s**5/30 - s**4/12 + s**3/3 + 2*s. Let k(n) be the second derivative of f(n). Is 11 a factor of k(-7)?
False
Suppose -2*k - 5 = 1. Let c(b) = b - 2. Let w be c(k). Let g(j) = j**2 + j - 7. Does 5 divide g(w)?
False
Let s(l) = -l + 7. Does 5 divide s(-13)?
True
Suppose -5*o + 54 = -186. Does 14 divide o?
False
Let t(q) = q**3 - 9*q**2 - 2. Let b be t(9). Let o(y) = -2*y**3 + 2*y + 2. Does 7 divide o(b)?
True
Let p be 278/6 + (-14)/(-21). Let u = p + -5. Is 14 a factor of u?
True
Let u be -1*(1 - 6 - -3). Suppose 3*k + u*k - 2*i = 317, 3*i + 3 = 0. Is k a multiple of 24?
False
Is (-6)/(5/(20/(-6))) + 45 a multiple of 22?
False
Suppose -2*r - 2*v - 384 = -6*r, v = 0. Is r a multiple of 16?
True
Suppose 5*p = 4*a - 425, -2*a + p - 295 = -5*a. Is a a multiple of 25?
True
Let z = -10 + 4. Is 27 a factor of 59 + z + 6/2?
False
Let i(l) = -l**3 - 7*l**2 + 5*l + 5. Let n be i(-7). Is n*(-4 + (-7)/(-2)) a multiple of 5?
True
Let p(s) = 86*s**3 + s**2 - 2*s + 2. Does 11 divide p(1)?
False
Suppose k - 3*k = -12. Suppose 0 = -2*w + 3*l + 74, k*w + 5*l - 210 = w. Is w a multiple of 20?
True
Suppose 0 = 2*t - 6*t + 196. Let d = 31 + t. Is d a multiple of 22?
False
Let v be 106/3 - (-2)/(-6). Suppose -9 + v = q. Does 13 divide q?
True
Let x(t) = t**3 - 5*t**2 - 3*t - 6. Is 9 a factor of x(7)?
False
Suppose -17*m + 1100 = -311. Does 12 divide m?
False
Suppose -3*k = 3*p - 30, 22 = 4*k - 0*p - 5*p. Suppose 0*g + 5*d + 46 = 2*g, 5*d = -g + k. Is 18 a factor of g?
True
Let o be (-4)/(-6) + 320/24. Suppose 4 = 4*t - 2*t. Suppose 2*a - o = -t*x - x, 0 = a - 3*x - 7. Is 3 a factor of a?
False
Suppose 2*k + 0*w - w - 139 = 0, k + w - 77 = 0. Is k a multiple of 12?
True
Let i = 385 + -274. Does 37 divide i?
True
Let s(k) = -k - 8. Let u be s(7). Is (-36)/u*25*1 a multiple of 13?
False
Suppose -g + 7 = 68. Let m = g + 90. Is 10 a factor of m?
False
Let g(v) = v**3 + v + 2. Let s be g(2). Does 20 divide (s/9)/(1/30)?
True
Let m(j) = -j**3 - 4*j**2 - 2*j - 4. Let s be m(-3). Let w(v) = -v**3 - 6*v**2 + 6*v - 9. Let k be w(s). Let g = k - -7. Does 4 divide g?
False
Suppose 0 = -5*h + 108 + 127. Does 20 divide h?
False
Suppose 4*m - 729 = -5*m. Is 27 a factor of m?
True
Let o be 17 + (-6)/(-2)*-1. Let d = 82 - o. Suppose -2*j + d = -4*f, -5*f + 22 = 4*j - 88. Does 15 divide j?
True
Let d(m) = -m**3 + 9*m**2 - 9*m + 8. Let g be d(8). Let z(l) = 2*l**3 - l**2 - l**3 - l - 2*l**3 + 8. Does 8 divide z(g)?
True
Suppose -2*b = -3*j + 34, 0*j + 5*b = 2*j - 19. Suppose -j = -u - 1. Let f = u - 7. Is 2 a factor of f?
True
Let g be (1 + 2)/((-6)/4). Is 32 a factor of 4/g + -3 + 54?
False
Let i(w) = w**2 - 1. Let y be i(8). Suppose c + 0 = -3*s + y, -4*c = 2*s - 52. Does 10 divide s?
True
Let k(v) = v**2 - 14*v - 1. Let p be k(18). Suppose p = 2*m + 5*d, -4*d = 2*m - 62 - 12. Is 14 a factor of m?
False
Is 25 a factor of (-2)/3 + (-32)/(-72)*474?
False
Suppose 5*t - 124 = -4. Suppose 5*v + 5*x - 65 = 0, 5*x + t = 3*v - 23. Is 12 a factor of v?
False
Suppose -2*l = -i - 0*l + 280, 3*i - 895 = -5*l. Does 60 divide i?
False
Let m = 80 + -23. Does 15 divide m?
False
Let w = 13 - 10. Suppose 5*b + 4*d = 64, -w*d + 2*d + 60 = 4*b. Does 4 divide b?
True
Is 14 a factor of (-8)/44 +