7*c**2 + 4*c - 2. Let z(b) = -b**2 + 2*b + 3. Let p be z(5). Let a = 7 + p. Is 14 a factor of h(a)?
True
Let j(l) = 5*l**2 + 2. Let m be j(-3). Suppose 6 = 3*r - 3. Suppose m = r*s + 17. Does 7 divide s?
False
Suppose -4*g - 15 - 9 = 0. Is g/9 + (-325)/(-15) a multiple of 21?
True
Let s(c) = c**3 - 7*c**2 + 7*c - 3. Suppose -4*n + 30 = -o, 2*o - 38 = -5*n - 7. Is 14 a factor of s(n)?
False
Let m(v) = -v**2 + v + 4. Let b be m(3). Is 165/6 - b/4 a multiple of 14?
True
Suppose 92 = 5*j + 2*g, g = -4*j + 3*g + 70. Suppose 3*z + 0*z = j. Is 4 a factor of z?
False
Let s = 2 + -8. Let h be (-10)/6 - s/9. Is 19 a factor of (42/(-2))/h - 2?
True
Let x(l) = -l**3 + 5*l**2 + l - 7. Let n be x(5). Let p = 2 + n. Suppose p = d - 5*d + 44. Is 9 a factor of d?
False
Let b be 16 - (-3 - -1 - 0). Suppose b = g + f + 4*f, -f + 34 = g. Is g a multiple of 8?
False
Let n = 48 - -52. Is n a multiple of 20?
True
Suppose -2*r + 9 = r. Let o(a) = 6*a + 2. Let i be o(r). Suppose -k - v + 6*v + i = 0, -5*k + 78 = -3*v. Is 12 a factor of k?
False
Let b(s) = s**2 - 3*s + 2. Let v be b(3). Suppose -5*u = -3*u - v. Is 4 a factor of 12/4*2*u?
False
Suppose 7*p - 2*p = 35. Does 4 divide ((-32)/6)/(p/(-21))?
True
Suppose 0 = -f + 4 + 2. Let g = 18 + 2. Let p = g - f. Is 7 a factor of p?
True
Let t = -14 - -22. Suppose -3*g = -t*g + 220. Is g a multiple of 15?
False
Suppose -2*w - 5*z + 10 = 2*w, -5*w - 2*z = -21. Suppose -5*h + h = w*g - 129, 4*h + g = 141. Does 14 divide h?
False
Let n be (-14)/6 - 2/(-6). Let p be n*1 - (-4 - 2). Suppose p*u + 5*i - 49 = u, i - 65 = -3*u. Does 10 divide u?
False
Suppose -2*x - d + 2 = d, -4*d = -4*x + 20. Is (-234)/3*(-2)/x a multiple of 13?
True
Let p = 6 - 3. Suppose p*v + 2*v - 30 = 0. Does 17 divide v/15 - 166/(-10)?
True
Let t = 4 - 1. Let n(r) be the third derivative of r**4/3 + r**3/6 + 11*r**2. Is 13 a factor of n(t)?
False
Suppose -c + 0*i = -3*i + 3, -21 = -4*c + i. Let b(u) = 4*u + 4. Is 14 a factor of b(c)?
True
Let m(c) = c**2 + 7*c + 4. Suppose 3*k - 36 = 5*q - q, -22 = 3*q - k. Let a be m(q). Is -4*(1/a - 1) a multiple of 3?
True
Suppose -2*c + 10 = 2*h, 4*c + 2*h - 20 = -2. Suppose k + 3 = -f, 3*f + k - c = -5. Let t = f + 12. Is t a multiple of 12?
False
Let g be 264/(-4)*3/6. Let c = g - -57. Is c a multiple of 5?
False
Suppose 5*y - 13 = 7. Suppose -4*q = -y*x, -4*x + q + 25 = 2*q. Suppose -x*u + 91 = -9. Does 12 divide u?
False
Let z = -59 + 154. Is 29 a factor of z?
False
Is 8 a factor of (-29)/(1/2*-2)?
False
Let b(w) = w**2 - 3*w - 1. Let x be b(2). Let q be (x + 7)/((-2)/(-3)). Let a(u) = u + 7. Does 13 divide a(q)?
True
Let p(t) = 28*t. Let a be p(-1). Let q be ((-8)/a)/(2/14). Suppose z = -2*l + 46, -q*z - 76 = -0*l - 4*l. Does 13 divide l?
False
Let k = 226 + -66. Let p = k + -8. Suppose c - 5*c + p = 0. Does 13 divide c?
False
Suppose -2*w + 1 + 5 = 0. Let c(d) = d**3 + 2*d**2 + 2*d + 1. Does 26 divide c(w)?
True
Does 26 divide (312/(-15))/(2/(-5))?
True
Suppose 2*q = 2 + 2. Suppose -2*h - k + 3 = 0, 0*h - k = -2*h + 5. Suppose z - q*s = 11, 0*s - 7 = -h*z - s. Does 5 divide z?
True
Suppose 2*k + 3*k = 10. Suppose k*l = 34 + 114. Does 20 divide l?
False
Suppose 0 = 3*m - 2*m - 16. Let s = 19 - m. Does 3 divide s?
True
Suppose -74 = 5*k - 329. Is 17 a factor of k?
True
Let n(j) = 23*j - 10. Does 14 divide n(12)?
True
Suppose 0 = -3*n - 3*f + 315, -2*n - 2 = 4*f - 204. Is n a multiple of 11?
False
Let o = 322 + -12. Is o a multiple of 27?
False
Let i(u) be the third derivative of -u**4/8 - 2*u**3/3 + 5*u**2. Does 2 divide i(-3)?
False
Is (-1 + 4)/((-24)/(-16)) even?
True
Suppose 2*y - 3*f - 4 = 0, -2*y + y + 3*f - 4 = 0. Does 8 divide y?
True
Let o = -2 + 4. Suppose o*l + 12 = 6*l. Is l a multiple of 3?
True
Suppose 6 = -k + 68. Is 31 a factor of k?
True
Suppose 2*c + c - 15 = 0. Suppose 1 = 2*l - c. Suppose -2*k = 5*i + 3*k - 180, -4*i + l*k = -137. Is 12 a factor of i?
False
Let t(h) = h + 14. Is t(0) a multiple of 7?
True
Let q(i) = -58*i**3 + 17*i**2 - 15. Let v(o) = 29*o**3 - 8*o**2 + 7. Let z(f) = 6*q(f) + 13*v(f). Is z(1) a multiple of 7?
True
Let g(y) = -4*y. Let q(s) = -s**3 - 9*s**2 - 8*s + 2. Let j be q(-8). Suppose 5*z = -13 - j. Does 4 divide g(z)?
True
Let k be ((-108)/(-30))/((-1)/5). Let j = 10 + k. Let f = j - -18. Does 10 divide f?
True
Let n = -19 - -13. Does 14 divide (n/(-4))/(24/416)?
False
Suppose -13 = -f + 4*w - 6*w, 3*f - 4*w = 49. Let d(c) = c**3 - 15*c**2 + 2*c - 15. Is 4 a factor of d(f)?
False
Let h be ((-10)/(-2))/(2/62). Suppose -8*k + h = -3*k. Suppose -84 = -5*m + k. Does 12 divide m?
False
Suppose -3*h - b = 2*h + 38, 19 = -h - 4*b. Does 17 divide (-605)/(-35) - (-2)/h?
True
Suppose c = -5*c + 2340. Is 16 a factor of c?
False
Let y be (48/6)/(1/2). Let j = 0 + y. Is 16 a factor of j?
True
Let j(f) = -f**2 + 2*f. Let t be j(5). Let l = t - -41. Is 19 a factor of l?
False
Suppose t - 117 = -3*h - 2*t, t + 47 = h. Is h a multiple of 13?
False
Suppose s = -3*u + 5 - 23, -31 = 4*u - s. Let z(q) = 6*q**2 + 9*q + 1. Let r(o) = -7*o**2 - 9*o. Let b(a) = -5*r(a) - 6*z(a). Is 8 a factor of b(u)?
True
Let v(i) = 27*i**2 - 2*i - 1. Is v(-1) a multiple of 7?
True
Let f be (-4)/(-14) + 12/7. Suppose -3*t = f*q - 132, -2*q + 5*q - 132 = -3*t. Does 11 divide t?
True
Suppose z + 3*h - 5 = 0, 2*z = -3*z + 4*h + 6. Suppose 2*f + 0*j - 4 = z*j, 0 = j + 5. Is f + 2 - 0 - -22 a multiple of 8?
False
Let s(u) be the third derivative of u**6/120 + 7*u**5/60 + u**4/12 - 4*u**3/3 + u**2. Let p be s(-6). Suppose -3*w + p - 1 = 0. Is w even?
False
Let w = -2 + -8. Let r(t) = -t - 1. Let a be r(6). Is 11 a factor of a/(-7) + w/(-1)?
True
Suppose -167 = -10*l + 433. Does 28 divide l?
False
Let k be ((-7)/3)/1*-3. Suppose -k - 10 = -v. Let u = 24 - v. Does 4 divide u?
False
Let u(a) = -a**2 + 4*a + 4. Let m(r) = 2*r - 1. Let w be m(-1). Let l be u(w). Let p = 41 + l. Is p a multiple of 12?
True
Suppose 0 = -0*y - y - 3*r - 1, -5*y + 2*r + 80 = 0. Is 7 a factor of y?
True
Let t = -2 + 5. Let p be 4/6 + 112/t. Suppose 5*n - 47 = p. Is 17 a factor of n?
True
Let d = 32 - 72. Is 16/d + 77/5 a multiple of 4?
False
Suppose -5*q + 4 = -3*q. Suppose -98 = -3*i - 4*h, -5*i + q*h + 166 = 6*h. Is 25 a factor of i?
False
Suppose -4*u + 5*a + 406 = 0, 3*u - u - 212 = -2*a. Is u a multiple of 26?
True
Let q(m) = 5*m**2 - 11*m + 1. Let t(h) = 14*h**2 - 32*h + 3. Let y(f) = -11*q(f) + 4*t(f). Is 12 a factor of y(10)?
False
Suppose 36 = 3*h - 0*h. Suppose 4*w - h = 2*s, 0 = -2*w - 3*s + 38 - 16. Suppose 0 = -w*t + 5*d + 67 + 58, 3*d - 93 = -4*t. Is 10 a factor of t?
False
Suppose 57 = 2*d + 11. Does 7 divide d?
False
Let u = 204 - 107. Does 15 divide u?
False
Suppose 0 = -y - 3 + 2. Does 12 divide (-72)/42*y*7?
True
Let c(b) = -5*b. Let o be c(-2). Suppose -3 = -5*t + 7. Suppose -6 - o = -t*y. Does 4 divide y?
True
Let o = 70 - 40. Is o a multiple of 10?
True
Let f(u) = -u**2 + 11*u + 2. Let k be f(7). Suppose 14 = 5*j - 1, 5*a + 5*j = -k. Is 7 a factor of ((-42)/(-8))/(a/(-24))?
True
Suppose -6 = -n - 3. Suppose -15 = -n*c + 2*v + 16, -c = 2*v + 3. Is 2 a factor of c?
False
Let w be 13/3 + 3/(-9). Suppose w*k = -k - 10, -n + 3 = -k. Let m = 15 + n. Is m a multiple of 16?
True
Suppose 3*n + 4*k = -3 + 28, 4*k - 4 = 4*n. Suppose -4*v + 10 = -3*v - 4*d, 15 = 3*v + n*d. Is v a multiple of 5?
False
Let g(n) = 2*n**2 + 4*n + 9. Is g(-8) a multiple of 15?
True
Suppose 16*t - 204 = 52. Is 4 a factor of t?
True
Suppose -3*g - 10 = 2*h, -3*g - 25 = 4*h + h. Suppose 3*i + 3*x = 147, g = -i + 5*x - 11 + 66. Does 10 divide i?
True
Let w be 1/(12/9 - 1). Let c = -3 - w. Is (-4)/c - 32/(-6) a multiple of 3?
True
Let r(j) = 2*j**2 + 4*j + 2. Is 2 a factor of r(-2)?
True
Let c = 0 - -1. Let q be 0 - (0 + 0 - c). Is 11 + (3/q)/(-3) a multiple of 4?
False
Let u = 10 - 17. Let y(z) be the second derivative of -z**4/12 - 4*z**3/3 + 4*z. Does 4 divide y(u)?
False
Suppose y + 1 = 5. Let u(x) = -x**2 + 3*x**2 + 6 - 5*x - 2*x. Is 8 a factor of u(y)?
False
Suppose 1190 = -4*g - 390. Let h be (-2)/6 + g/(-15). Suppose o - 2*o + h = 0. Is o a multiple of 11?
False
Let l = 30 + -2. Suppose -5*f + 2*b + 94 = 0, -l + 8 = -f + b. Is 14 a factor of f?
False
Suppose -49 = -2*v + 7. Is 8 a factor of v?
False
Let r = -26 - -39. Does 9 divide r?
False
Let a b