d(f) = -f**2 - 2*f - 1. Let h be d(-1). Suppose -3*z + 9 = h, 2*n - 2*z - 21 = 5*n. Let g(u) = -2*u + 11. Does 22 divide g(n)?
False
Let q(l) = l**2 - 6*l + 5. Let y be q(-6). Let n = y - 49. Does 14 divide n?
True
Let z(l) = -l + 28. Let y(w) = -w + 3. Let i be y(4). Let j be (i*(-2 + 2))/(-1). Is 16 a factor of z(j)?
False
Let k be 2/(1/(-2)*-1). Suppose 176 + 39 = k*c - 5*x, c - 5*x - 65 = 0. Does 25 divide c?
True
Let v be 61/7 + (-4)/(-14). Let n be (4/(-3))/(6/(-9)). Suppose -4*l - 30 = -5*s, -3*s - l = n*l + v. Does 2 divide s?
True
Let f(b) be the first derivative of -73*b**2/2 - b - 2. Let m be f(-1). Is ((-1)/(-2))/(2/m) a multiple of 7?
False
Let f = 41 + -6. Is 7 a factor of f?
True
Let m(k) = k - 15. Let i be m(15). Suppose 5*s - 75 = 5*b, i = s - 3*b - 2*b - 35. Is 10 a factor of s?
True
Let s = -65 + 113. Does 14 divide s?
False
Let b be 1/((-2)/3)*-2. Suppose -b*t + 24 = -0*t. Does 4 divide t?
True
Suppose -8*f = -4*f. Suppose r - 2*h + 11 = f, 2*r = r + 3*h - 8. Let c = -9 - r. Does 5 divide c?
False
Suppose 8*q - 5*q = 3*m + 6, q - 5*m - 10 = 0. Let z(d) = d + 2. Let l be z(q). Suppose 0 = -5*w - j + 48, l*w - 4*j - 12 - 16 = 0. Is w a multiple of 7?
False
Let m(d) = -d**3 - 6*d**2 - 17. Is 7 a factor of m(-7)?
False
Let j(v) = 2*v**2 + 2*v - 1. Let g be j(-2). Suppose 2*u + 55 = -g*u. Let z = u - -31. Is 10 a factor of z?
True
Let f be -2 - 1 - (2 + 1). Suppose 5*u = 2*i - 23, 2*u = 6*u + 4. Let h = i - f. Does 7 divide h?
False
Suppose 0 = -r + 5*w + 87, -5*r + 0*r - 4*w + 319 = 0. Is r a multiple of 20?
False
Let z = -11 + 26. Is 15 a factor of z?
True
Let d be 1/(-4) + 434/8. Suppose 5*c + d = -31. Let h = c + 37. Does 20 divide h?
True
Suppose 3*h + 3*f = 282, 0*f - 5*f = 5. Does 42 divide h?
False
Let j(w) = 4*w**2 + 3. Let l(y) = -y**2 - y - 1. Let p(g) = j(g) + 5*l(g). Let n be p(-3). Does 14 divide 2/n - 54/(-4)?
True
Suppose 2 - 5 = -r. Suppose -s = j - 0*j - 20, -r*j + 42 = 2*s. Does 9 divide s?
True
Let x = -6 + 39. Let u = 9 + x. Is 11 a factor of u?
False
Suppose 47 = b + 5*m - 24, -2*b = -4*m - 100. Is b a multiple of 14?
True
Suppose -116 + 276 = 4*u. Is 10 a factor of u?
True
Suppose -75 = -5*w + 190. Let y = w + -38. Is y a multiple of 10?
False
Suppose 4*p - 20 = 0, 3*h = 2*p + 3*p + 131. Is h a multiple of 14?
False
Let s be 1/(0 + (-3)/(-6)). Let x(w) = -6*w**3 + 6*w**2 - 2*w + 3. Let h(p) = -5*p**3 + 5*p**2 - p + 2. Let b(i) = -4*h(i) + 3*x(i). Is b(s) a multiple of 5?
True
Let i be (-2 + 2)*1/2. Suppose -3*c + i*c = 0. Suppose c*y = -4*y - 2*d + 86, 5*y - 113 = 3*d. Is 11 a factor of y?
True
Suppose 2*v = 2*b - 40, -4*b + 88 = 2*v + 2*v. Let j = 12 - b. Let y = j - -25. Is y a multiple of 8?
True
Suppose -2*s = -7*s + 80. Does 8 divide s?
True
Let u(a) = -a**3 - 4*a**2 + 9*a - 14. Does 10 divide u(-8)?
True
Suppose 0 = 11*x - 9*x - 28. Is x a multiple of 7?
True
Suppose -2*j + 136 = -34. Is 15 a factor of j?
False
Suppose u + 1 = 0, 0 = -g + 3*u + 19 + 42. Let b = g - 1. Is 20 a factor of b?
False
Let o be (15/(-12))/(-1)*-4. Let j = o - -22. Does 6 divide j?
False
Is 12 a factor of 1/2*(107 - 13)?
False
Let a(b) = -b + 8. Let g be a(6). Suppose 3*k = 2*r - 13, -2*r + 0*r - g*k = -8. Suppose -5*d - 4*o - 4 = -d, r*o = -25. Is 4 a factor of d?
True
Suppose 0 = x + 63 - 1317. Is x/24 + 1/(-4) a multiple of 13?
True
Let k = 717 - 417. Suppose k = o + 4*o. Does 30 divide o?
True
Suppose 5*g = 9*g + 364. Let l be (1 - g)*1/2. Suppose -2*f - 2 + l = 4*u, 5*f + 4*u - 98 = 0. Is 18 a factor of f?
True
Let a = 7 + -2. Let c(q) = -3*q - 12. Let s(m) = -5*m - 24. Let g(h) = 7*c(h) - 4*s(h). Is g(a) a multiple of 7?
True
Suppose -23 = 4*j + n, -2*j - 8 - 8 = -4*n. Suppose 4 = -2*w - 22. Let o = j - w. Is 2 a factor of o?
False
Let p be -6 - 2/(-1) - -4. Suppose p*y = -3*y + 24. Is y a multiple of 3?
False
Suppose 4*g + 504 = 5*t, -5*t + 528 = -0*t + 2*g. Suppose 4*v + 2*z - 92 - 10 = 0, -t = -3*v + 4*z. Is 10 a factor of v?
False
Let h be ((-4)/2)/(2/141). Does 14 divide 1/(-4) - h/4?
False
Let q(u) = 2*u**2 - 6*u + 1. Does 7 divide q(4)?
False
Let w(u) = u + 9. Let g be w(-7). Suppose -128 = -4*f - g*m, -3*f - 60 = -5*f + m. Is 15 a factor of f?
False
Suppose -a = -3*d + 8, -5*a + 6*a - 2*d = -9. Let n = a + 18. Does 2 divide n?
False
Suppose 5*r + 13 = 3. Does 8 divide ((-2)/r)/(1/37)?
False
Suppose -335 = -5*x - 5*n, -3*n = 4*x - 8*x + 303. Is 6 a factor of x?
True
Let c(s) = -s**2 - 11*s + 13. Suppose 7 = -v - 2*y, -3*v + 2*y = 4*y + 29. Is 6 a factor of c(v)?
False
Let b be -1*2*(-4 - -11). Let g = b + 68. Is g a multiple of 27?
True
Let b = 7 + 5. Is 13 a factor of (-2)/b - 395/(-30)?
True
Suppose -26 = -6*p + 5*p. Is 5 a factor of p?
False
Is 2/4*(12 - -486) a multiple of 48?
False
Suppose -4*k - 5*b + 127 = -7, -2*b = 5*k - 159. Let s = k - 9. Does 5 divide s?
False
Let q(h) be the second derivative of 0 - 2*h**2 - 4/3*h**3 + 2*h + 1/3*h**4 + 1/20*h**5. Is 5 a factor of q(-5)?
False
Suppose -o - 4*o = -n - 25, 2*n + 5 = o. Suppose 0*r - 425 = -o*g - 5*r, 4*r + 416 = 5*g. Suppose 0 = 2*d + d - g. Is 12 a factor of d?
False
Let v(d) = 2*d**2 - 11*d + 0*d**2 + 0*d**2 - 7. Let o(x) = -x + 1. Let s be o(-7). Does 11 divide v(s)?
True
Suppose 0 = -2*b + 32 + 54. Does 6 divide b?
False
Let y = 123 - 86. Does 20 divide (5 - y)/(2/(-5))?
True
Let l be 0 + 2 + 4 + -3. Suppose -2*u - l*u + 320 = 0. Suppose -4*w - a = -u, 4*a + 67 = 5*w + 8. Does 12 divide w?
False
Let d(z) = -z**2 - 15*z + 16. Does 22 divide d(-10)?
True
Suppose 2*s + 20 = 7*s. Let z(g) = 2*g + 5. Is z(s) a multiple of 11?
False
Let x = 44 - 23. Is x a multiple of 3?
True
Suppose -w = -4 - 1. Suppose -87 + 27 = -w*a. Is a a multiple of 5?
False
Suppose 3*d + 4*a = 229, -3*a + 6*a = -15. Suppose 4*i - 108 = -4*n, -d = -5*n + 2*n - i. Is 14 a factor of n?
True
Let j = -38 + 72. Is j a multiple of 13?
False
Let m = 17 + -5. Suppose 0 = g - 2*g + m. Is g a multiple of 9?
False
Let p = 115 - 79. Is 18 a factor of p?
True
Let i be -3 + (-12)/(-2) + 0. Is 111/i + (-2)/2 a multiple of 15?
False
Let h(o) be the first derivative of -o**2 + 4*o - 1. Let b be h(6). Let c(d) = -2*d - 3. Is 13 a factor of c(b)?
True
Let u = -4 - -6. Is 3 a factor of (-9)/u*(-12)/9?
True
Let k(m) = m - 2. Let s be k(6). Suppose s*h = -2*h + 228. Does 17 divide h?
False
Let y be (5 + -6)*6/(-1). Let r(o) = 1 + 2 - 2 + y*o + 6. Is 17 a factor of r(6)?
False
Suppose -b - 28 = 3*b. Let l = b + 10. Does 13 divide 38 + (l/1 - 0)?
False
Let i(d) = -d**2 + 14*d - 10. Is 14 a factor of i(12)?
True
Let w(x) = -x**2 - x + 1. Let v(j) = 4*j**2 + 6*j - 13. Let u(k) = -v(k) - 5*w(k). Is 8 a factor of u(0)?
True
Let k(h) = h**2 - 4*h - 3. Let o be k(5). Let d(v) = -2 + v**3 + 4*v**o - v + 0*v**2 + 3*v. Is 2 a factor of d(-2)?
True
Let r(q) = q**3 + 3*q**2 + 3*q + 2. Let w be r(-2). Let g be (2 + (-18)/4)*-34. Suppose 3*d + 2*t + 24 = 73, 5*d + 4*t - g = w. Is d a multiple of 13?
True
Let d(w) = -w**2 - 10*w - 6. Let y = 51 + -29. Suppose 0 = 2*o - f + 10, o = 3*o + 5*f + y. Does 9 divide d(o)?
True
Suppose 2*h = -0*h - 60. Let s = 45 + -97. Let m = h - s. Is 13 a factor of m?
False
Is 8 a factor of (-56)/(-7)*4/2?
True
Let n(b) = b**3 + 16*b**2 - 9*b. Is n(-16) a multiple of 19?
False
Let s be (1*-1)/(7/252). Let a = s - -56. Is 20 a factor of a?
True
Let f be (0 + (-12)/15)*5. Let h(i) = -i**3 - 4*i**2 - 4*i + 2. Does 10 divide h(f)?
False
Let p = 262 + -458. Let x = p - -138. Let t = x - -88. Is t a multiple of 15?
True
Let r(b) = -b**3 - 4*b**2 + 7*b + 5. Let y be r(-5). Does 10 divide (-149)/y - 6/(-30)?
True
Let a(s) = 1 + 5*s + 0*s + 8 - 6*s. Is a(0) a multiple of 9?
True
Suppose 3*g + 5*x + 5 = 0, 4*x - 2*x + 8 = 0. Suppose -g = b - 17. Is 10 a factor of (b/(-10))/((-3)/50)?
True
Suppose -5*z + 5 = 0, -35 = -q - 4*z + z. Is q a multiple of 8?
True
Suppose 3*y = -8 + 38. Let c(x) = 4*x - 3*x - y + x. Is c(7) a multiple of 4?
True
Let w(p) = p**3 + 1. Let u be w(0). Let a(n) = 27*n**3 - n + 1. Let h be a(u). Let z = -16 + h. Is z a multiple of 8?
False
Let q(y) = -y + 15. Is q(9) a multiple of 5?
False
Let l be (-6)/30 + (-29)/5. Does 17 divide -1*l/4*34?
True
Let k = -144 + 53. Let s = -46 - k. Is 12 a factor of s?
False
Suppose -a - i = 3*a - 133, 94 = 3*a - 5*i. Does 11 divide a?
True