) = -c**3 - c**2 - c + 5. Let l be n(0). Is (-224)/(-10) - 2/l a multiple of 11?
True
Suppose 7 = -4*k - 3*z, -5*k - 2*z + 4*z + 20 = 0. Is 6/(k*1/12) a multiple of 18?
True
Let i = -10 + 16. Let c = i + 17. Does 11 divide c?
False
Suppose 3*i + 3 = 4*i. Suppose i*y = -s - 4*s + 26, 3*y = s + 20. Does 3 divide y?
False
Let u(d) = d**2 - 13*d + 5. Let k be u(13). Let s(b) = b**3. Let a be s(-1). Is (k/a)/((-1)/2) a multiple of 8?
False
Let l(k) = k**3 - k**2 + 1. Suppose 5*t = -5*h - 4 + 54, -3*t - 40 = -4*h. Let v be (4/h)/((-1)/(-5)). Is l(v) a multiple of 4?
False
Let k = 7 - 6. Let a(c) = -1 + 0 - 2*c + 19*c. Does 9 divide a(k)?
False
Suppose -4*f = 5*w - 120, -3*f - 3*w = -0*f - 90. Suppose -2*g - 2 = -f. Is g a multiple of 14?
True
Let k = -28 - -45. Is 11 a factor of k?
False
Let m be (-11)/(-2) + (-3)/6. Suppose u - m = 0, -u + 122 = 4*t + u. Is t a multiple of 18?
False
Suppose -4*d - 5*o - 30 = d, 2*d - 4*o - 12 = 0. Let b = d - -57. Is 11 a factor of b?
True
Let p = 9 - 1. Suppose -2*r = -p, -3*r + 432 = 3*d - 0*d. Suppose -y + 6*y = d. Does 17 divide y?
False
Let z = -2 + 3. Let j = 3 - z. Suppose -5*i + 71 = j*a, -19 = -2*i + a + 4. Is 13 a factor of i?
True
Does 10 divide (11 - 2)/(2/6)?
False
Let b(n) = 10*n**2 - n + 2. Is b(3) a multiple of 30?
False
Let h(q) = -q**2 - 9*q + 8. Let y be h(-9). Suppose y*w = 3*w + 160. Does 8 divide w?
True
Let t(g) be the second derivative of g**3/6 - 3*g**2/2 + 2*g. Let s be t(5). Suppose 4*b - s*b - 18 = 0. Is b a multiple of 7?
False
Let g = -9 - -7. Let x(r) = r**3 - 2*r - 1. Let l be x(g). Let u(q) = -2*q - 7. Is u(l) a multiple of 3?
True
Let d be (-149)/(-7) - (-2)/(-7). Suppose 5*g - d = 49. Does 9 divide g?
False
Suppose -4*b - 29 = -l - b, 5*b = -5*l + 45. Is 14 a factor of l?
True
Suppose 4*k - k + 15 = 0. Let a = -5 - k. Suppose l - 2*i - 14 = 3*i, 3*l + 2*i - 110 = a. Is 17 a factor of l?
True
Is 13 a factor of 2 + 5151/68 + 1/4?
True
Suppose 15*s = 8*s + 385. Is 5 a factor of s?
True
Let p = 32 + 94. Is 21 a factor of p?
True
Let d = 146 + -71. Is 25 a factor of d?
True
Is 51 a factor of 1 + (2 - 0) + (264 - 12)?
True
Does 4 divide (-5)/(-20) + (-31)/(-4)?
True
Let v = -20 - -37. Suppose 4*n + 4 = -3*q + 7*q, -13 = -2*n + 5*q. Let w = n + v. Is 7 a factor of w?
False
Suppose 0 = -6*w + 14*w - 584. Is w a multiple of 6?
False
Let y = 0 + 3. Suppose -u + 4*o + 48 = u, u - y*o - 23 = 0. Is 7 a factor of u?
False
Let u be 4/1*2*1. Let t(b) = -2 - 1 + 2 + u*b. Is t(1) a multiple of 7?
True
Let s(q) = -q + 4. Let a(n) = n - 7. Let p(u) = -3*a(u) - 5*s(u). Let w be p(3). Suppose -w*y = -3*y - 12. Is 3 a factor of y?
True
Let h be (1 - 0) + (-48)/(-4). Suppose 0 = -7*t + 2*t + 140. Let j = t - h. Does 8 divide j?
False
Let f(j) = 2*j**2 + 3*j - 2. Does 26 divide f(-6)?
True
Let x(v) = -44*v**2 + 2*v - 1. Let h be x(1). Let o = h + 91. Does 24 divide o?
True
Let i be (-3 - -3) + -3 + 6. Suppose i*a - 3*j - 62 = -2, 5*a - 2*j - 103 = 0. Is 8 a factor of a?
False
Let n(z) = z**2 - 2*z. Let g be n(6). Let h be (-16)/(-7) - 6/21. Suppose -h*s + g = -s. Is s a multiple of 19?
False
Suppose -2*a - 8 = -3*a. Suppose 20 = a*h - 4*h. Is 16 a factor of (-2)/h + 164/10?
True
Suppose 3*g + 4*s - 852 = 0, 2*s - 1408 = -5*g - 2. Does 35 divide g?
True
Let m be (-10)/(-25) + 2/(-5). Suppose -4*b + m*b + 88 = 0. Does 11 divide b?
True
Let h = 280 - 199. Let x = h - 5. Does 21 divide x?
False
Does 8 divide 3/4*(-128)/(-8)?
False
Let c be -2 + 2 - (-1 + 1). Let q(h) be the first derivative of h**3/3 + 13*h + 1. Is 13 a factor of q(c)?
True
Suppose 4*u = -u + 5*q + 30, 2*u - q = 8. Suppose u*i = 1 + 5. Suppose -2*g - 4*c + 44 = -0*g, -72 = -i*g - 4*c. Is g a multiple of 14?
True
Let w be ((-6)/15)/((-2)/(-100)). Let m = w + 24. Is m even?
True
Let v be ((-3)/2)/(1/2). Let q be (-1)/(-3)*(3 - v). Suppose -44 = -2*r - o, -q*o + 164 = 5*r + 53. Is 9 a factor of r?
False
Let i(k) = -5 + 5*k + 2 - 2*k. Let x be i(-3). Is 1/(12/(-9))*x a multiple of 4?
False
Suppose 86 = 3*f + 5*k, 8*f + 2*k - 110 = 4*f. Does 6 divide f?
False
Let p(x) = -2*x - 4. Let q be p(-7). Suppose -g - 1 = -y, 2*y = -3*g - q - 3. Let c = g - -8. Is c a multiple of 2?
False
Let j = -19 - -21. Suppose -4*a + 80 = -j*a. Does 10 divide a?
True
Suppose 0 = -3*x + 2*l - 3*l - 511, -2*x - l - 341 = 0. Let q = -104 - x. Is 10 a factor of q?
False
Let q(p) = p + 7. Let t be q(-3). Suppose -4*c - t*j = -72, -c - c + 4*j = -6. Let y = c - -5. Is 18 a factor of y?
True
Suppose -2*s = -k + s - 5, 5*k + 85 = -5*s. Is 14 a factor of (-6)/(-21) + (-192)/k?
True
Let a = 9 - 5. Suppose -a*m - f + 190 = 0, 145 = 3*m + 2*f - 0*f. Does 20 divide m?
False
Suppose 169 = 2*f + s, -81 = -f - 4*s - 14. Suppose 0 = -2*p + 5*r + f, 2*r - 57 = p - 2*p. Let m = p + -36. Is 15 a factor of m?
True
Let s(x) = 62*x**3 + 2*x**2 - 2*x + 1. Is s(1) a multiple of 9?
True
Suppose -4*j - 4*w + 424 = 0, -5*j = -4*w - 524 - 24. Is 18 a factor of j?
True
Let v = -90 - -55. Is 10 a factor of (42/v)/((-6)/160)?
False
Is 0 + 22 + (-4 - -2) a multiple of 4?
True
Suppose 0*z + 2*z = -2*u, -5*z - u = 0. Let w(f) = 5*f + 26 - 4*f - 9. Does 17 divide w(z)?
True
Let h(q) = -2*q - 5. Let n(f) = -6*f - 14. Let w(k) = -8*h(k) + 3*n(k). Let j = -15 + 10. Is w(j) a multiple of 4?
True
Let j(w) = 3*w + 5. Let p(q) = -12*q - 19. Let b(t) = 9*j(t) + 2*p(t). Does 8 divide b(5)?
False
Let i(x) = x**3 + x**2 + 55. Let o be i(0). Let z = 10 - 7. Suppose -4*g = -o + z. Does 7 divide g?
False
Let u(t) = t**2 + 3*t - 7. Is u(-5) even?
False
Suppose -16 = 4*j - 0. Let r(m) = -3*m - 5*m - 1 - 3 + 3*m. Does 16 divide r(j)?
True
Suppose -11*z = -14*z + 516. Is 11 a factor of z?
False
Let l = 144 - 210. Is 4/(-6)*l/4 a multiple of 11?
True
Suppose -6*f + 2 = -4. Does 7 divide (5/(-5))/(f/(-29))?
False
Let j = 20 - 41. Let i = 33 + j. Does 6 divide i?
True
Let n(j) be the first derivative of 3*j**4/4 - 2*j**3/3 + j + 2. Let b be n(1). Suppose -b = -2*d + 26. Is 6 a factor of d?
False
Suppose 0 = -5*n - 0*n + 375. Is 24 a factor of n?
False
Suppose 0 = -4*u + 5*k - 628, -2*u - 316 = -0*u - 3*k. Let c = -107 - u. Is 28 a factor of c?
False
Let s(l) = 10*l - 18. Let v be s(17). Suppose -5*i + v = -i. Is 19 a factor of i?
True
Suppose -4*v = -0*v + 40. Let p = v - -15. Is 5 a factor of p?
True
Suppose 3*a - 27 + 9 = 0. Let h(i) = -8*i - 4 - a*i**2 - 1 - i**3 - 2. Does 4 divide h(-5)?
True
Let g(s) = 8*s + 2. Let w be g(-4). Let x = 27 - 26. Is -2 + (x - w) + 2 a multiple of 12?
False
Let u = 4 + 0. Let c(r) = r - 2*r**2 + 1 + 5*r**3 + 3 - u*r**3. Does 6 divide c(3)?
False
Let o = 117 - 18. Let q = o + -59. Is q a multiple of 11?
False
Let a(j) = 6*j - 31. Does 39 divide a(16)?
False
Suppose -2*i = -i - 64. Suppose -18 = 2*m - i. Is m a multiple of 8?
False
Let v(o) be the second derivative of o**5/20 + o**4/2 + 2*o**2 - o. Let y be v(-6). Is 10 a factor of (6/y)/(3/30)?
False
Let l = -21 + 34. Let z = -1 + l. Is 6 a factor of z?
True
Let d(f) = f**3 + 6*f**2 + 2*f - 6. Let k = 16 - 11. Let l be d(k). Is (-12)/20 - l/(-15) a multiple of 9?
True
Suppose -5*n - 3 = -8*n. Does 19 divide (2 - n)/((-2)/(-76))?
True
Let i(c) = 18*c. Does 24 divide i(4)?
True
Suppose 4*b - 89 = -5*p, 0 = -2*b - p + 25 + 12. Is 13 a factor of b?
False
Suppose -2*z + 365 = 3*z. Does 23 divide z?
False
Suppose -f + 5*n + 31 = -27, -3*f - n + 110 = 0. Suppose 0 = 3*k - 5*h - f, h - 9 + 1 = -2*k. Is 5 a factor of k?
False
Let o(d) = -7 - 10*d**2 + 11*d + 0*d**2 - 1 + d**3. Is 8 a factor of o(9)?
False
Let i = -7 + 9. Suppose 3*c - 19 = -i*r, 0 = -2*r - 3 + 1. Is c a multiple of 2?
False
Suppose -z = 2 - 6. Suppose 0*d = d + z. Does 3 divide (-1)/(2 - (-9)/d)?
False
Let d(g) = g**3 + 6*g**2 + 4*g - 3. Let z be d(-5). Suppose 0 = -5*n - v + 25, 0 = 2*n + 2*n - z*v - 20. Does 5 divide n?
True
Suppose 5*l - r = -4*r + 883, -3*r = 12. Does 12 divide l?
False
Let c(y) = -154*y + 1. Let q be c(-1). Let p = -97 + q. Is 17 a factor of p?
False
Let p(w) = 55*w. Let b be p(2). Suppose b = -3*v - 4*z, 0 = -v + 2*z - 12 - 18. Let n = v - -52. Is n a multiple of 9?
True
Let i(p) = p**2 + 14*p - 3. Does 39 divide i(6)?
True
Let b(j) = -8*j**3 - 2*j + 1. Let f be b(1). Let t be 3/f*0 + -6. Is (t - -3)*(-22)/2 a multiple of 11?
True
Let h = 258 + -183. Is 8 