e second derivative of z**3/2 + 4*z**2 + 2*z. Does 10 divide s(4)?
True
Let g(c) be the second derivative of c**5/20 + 3*c**4/4 - 5*c**3/6 - 4*c**2 + 2*c. Is g(-9) a multiple of 16?
False
Suppose -2*f + 5*x - 1 = 3, -5*x = 2*f - 16. Suppose f*s - 120 = s. Is 20 a factor of s?
True
Suppose -80 - 388 = -9*t. Is t a multiple of 14?
False
Let f(z) = z - 1. Let r be f(3). Suppose -r*x + 2 = -0*x. Is (1 - 6)/x*-7 a multiple of 12?
False
Suppose 10*r - 720 = -110. Is 14 a factor of r?
False
Let t(a) = 3*a**2 + 12*a + 18. Is 12 a factor of t(-8)?
False
Suppose 3*z - 8 = -z. Let a be -51*5/((-15)/2). Suppose 0*b + z*b = a. Is b a multiple of 8?
False
Let q(o) = 4 + 2*o - 4*o + 4. Let i be q(-7). Is 1 + -3 - i/(-1) a multiple of 17?
False
Suppose -v + 4*o - 979 = -6*v, -2*v - o = -394. Does 12 divide v?
False
Let f(h) = h**2 + 5*h - 5. Let t be f(-4). Let i = -5 - t. Suppose 2*j + r = 23, -2*j + 5*r = i*r - 25. Does 6 divide j?
True
Suppose 2*g - 7 = -h + 4*g, 4*g + 53 = 5*h. Suppose -z - 5*q + 3 = 0, -2 = -5*z + 2*q + h. Suppose z*x = 1 + 14. Is x a multiple of 5?
True
Let v(l) = -9*l - 8. Let d be v(-7). Suppose -d = -2*r - 3*m - 2*m, 2*r - 76 = 2*m. Is 13 a factor of r?
False
Suppose 4*l - 29 = 3*t - 150, t - 3 = 0. Let p(k) = k**3 - 14*k**2 - 15*k + 8. Let f be p(15). Is 26/7 - f/l a multiple of 4?
True
Let a(t) = 26*t - 7. Let b be a(6). Let y = -83 + b. Let r = -47 + y. Is 16 a factor of r?
False
Suppose -f - 2*i + 9 = 0, -f - 2*i = f - 14. Let u = -6 - -6. Suppose d - f*d + 104 = u. Does 13 divide d?
True
Let b be (-1 - 69)*12/(-24). Let d = -21 + b. Is d a multiple of 4?
False
Let t = -241 + 136. Is -7 - -7 - (1 + t) a multiple of 26?
True
Let r be (1 - -46)*(-3 - -4). Let m = 80 - r. Is 11 a factor of m?
True
Let r = -4 - -4. Suppose r = -3*k + 141 + 48. Let x = k + -27. Is x a multiple of 18?
True
Suppose -90 = -2*f + 4. Suppose -3*n = 2*n - 15. Suppose -n*j + 10 = -f. Is 8 a factor of j?
False
Let k(z) = -11*z**3 - 1. Let f be k(-1). Let a = 1 - f. Let x = 2 - a. Does 6 divide x?
False
Let m = -1436 + 233. Let q be m/(-12) + 3/(-12). Let i = q + -56. Does 12 divide i?
False
Suppose 11*c = -0*c + 407. Is c a multiple of 5?
False
Let n(u) = 1 - 2 - 1 - 2*u. Does 5 divide n(-4)?
False
Is (152/(-5))/((-8)/20) a multiple of 38?
True
Suppose 4*m + 634 = 1598. Suppose -5*v + 34 + m = 0. Suppose -v = -4*f - f. Does 4 divide f?
False
Let f(g) = -g + 8. Let x be f(9). Is 10 a factor of (13 - 3)/(0 - x)?
True
Let w(x) = -9*x - 1. Is w(-1) a multiple of 3?
False
Let h be (-26)/(-8) + (-1)/4. Suppose -4*v = s + 3, h*s + v - 13 = -0*v. Suppose 20 - 145 = -s*a. Is 11 a factor of a?
False
Let j = 0 + 2. Let d be 492/44 - j/11. Suppose -2*o - d = -3*o. Does 6 divide o?
False
Suppose -5*s + 416 - 46 = 0. Is 19 a factor of s?
False
Suppose -3*z = -3*q + 21, 4*q + 6 = 2*q - 3*z. Suppose -2*x + 9 = q. Suppose 3*g = 3*d + 27, -3*g + x*d = d - 24. Is 3 a factor of g?
True
Suppose -s - 2*s - 36 = -a, a - 15 = -4*s. Suppose -a = -5*z + 108. Suppose -3 - z = -2*p. Is p a multiple of 15?
True
Let v = -64 - -114. Does 5 divide v?
True
Let n(q) = q + 1. Is n(7) even?
True
Let o be (-2)/4 - (-2)/4. Suppose 0 = 5*x - o*x - 90. Suppose -4*b = -3*i - x, -5*b - 3*i + 9 = -0*b. Is 2 a factor of b?
False
Suppose -2591 = -11*h + 478. Is h a multiple of 31?
True
Suppose 135 = l + 20. Is 23 a factor of l?
True
Is (5 + 120)/(3/(-6)*-2) a multiple of 41?
False
Let k be -1 - 12/(-3 + 0). Suppose k*c - 30 = -i, -2*i + 72 = -2*c + 4. Does 11 divide i?
True
Let u(z) = z**2 - 5*z - 3. Is 9 a factor of u(12)?
True
Let h(a) = a**2 + 3*a. Is h(-8) a multiple of 18?
False
Let m(b) = 5*b - 7. Let k be m(5). Is (k/15)/(2/45) a multiple of 9?
True
Let g be 79*2/(-4)*-2. Suppose -4*p - 139 = 33. Let h = p + g. Is h a multiple of 19?
False
Suppose b - g + 6*g = 65, -4*g = 4*b - 292. Does 25 divide b?
True
Let o = 1 + 2. Suppose -29 = -o*d + 13. Is 7 a factor of d?
True
Let t(y) = y + 2. Let d be t(0). Suppose 0*w = d*w - 20. Is w a multiple of 5?
True
Let w be (-1)/(0 + 1/6). Let m be w/4*26/(-3). Suppose -5 = -d + m. Is 11 a factor of d?
False
Does 27 divide (-16)/12*(-243)/2?
True
Let f = 4 - -119. Does 18 divide f?
False
Suppose 4*q - 23 = -3*w, 4*w - 35 = -w - 5*q. Suppose -f + 3*v + 26 = 0, f - w*f = 2*v - 76. Does 10 divide f?
True
Let s = 65 + -2. Let f = -36 + s. Does 11 divide f?
False
Let r be (-138)/8 + (-3)/4. Let b be (-33)/(-2) - r/12. Does 4 divide ((-30)/9)/(-5)*b?
True
Let p = 194 + -59. Does 15 divide p?
True
Suppose 0 = 2*f + 18 + 6. Suppose 5*u = -5, 0 = 3*j + 3*u - 45 - 24. Let c = j + f. Does 12 divide c?
True
Suppose -2*t = 2*z + 16, 2*t + 26 = -t - 5*z. Let o = -1 - t. Suppose 66 = 3*f - 4*d, -2*f + 50 - o = -3*d. Is f a multiple of 11?
True
Let s(t) = 6*t**3. Suppose -1 = -0*y - y. Let z be s(y). Suppose -z*p - 4*f = -2*p - 32, -p + f + 4 = 0. Is p a multiple of 3?
True
Is 3 a factor of 1/((-47)/12 - -4)?
True
Let t(a) = -a**3 - 10*a**2 + 2*a - 2. Let o be t(-10). Suppose -r = 4*k - 23, -4*k + 2*r + 28 = -2*r. Let c = k - o. Is c a multiple of 13?
False
Let y = 24 - -3. Does 9 divide y?
True
Is 4 a factor of ((-16)/5 - -4)/(4/130)?
False
Let b(q) = -q**2 - 3*q + 3. Let t(g) = -g. Let f be t(3). Let p be b(f). Suppose -32 - 37 = -p*y. Is y a multiple of 12?
False
Let a(u) = -u**2 + 8*u - 7. Let p be a(6). Suppose p*w = -2*r + 50, 3*r = 2*r + 5. Is 5 a factor of w?
False
Let i = 9 - 4. Let a be (106/(-8))/(2/(-8)). Suppose i*c - a = 17. Is 7 a factor of c?
True
Does 18 divide 9 + -6 - (-50 + -1)?
True
Let v = 7 - 11. Is (v/(-6))/(5/285) a multiple of 19?
True
Let n(f) = -f**3 - 6*f**2 + 9*f. Let l(q) = q - 12. Let p be l(4). Is 14 a factor of n(p)?
True
Suppose -9 + 1 = 4*k. Is 33 - (-2 - k)*-1 a multiple of 9?
False
Suppose -d - 9 + 42 = 0. Is d a multiple of 18?
False
Let b(p) = 59*p**2 + 4. Is b(2) a multiple of 30?
True
Suppose 3*z - c = 134, 4*z - 2*c - 178 = -c. Is z a multiple of 19?
False
Let j(n) be the second derivative of 5*n**3 - n**2 - 4*n. Does 14 divide j(1)?
True
Suppose 0 = 2*k - 0 - 8. Suppose -b + k*b = 0, 3*p - 2*b - 21 = 0. Is 5 a factor of p?
False
Let b = -3 - -1. Let c be b*(2 - (-5)/(-2)). Suppose 8 = t + c. Is t a multiple of 3?
False
Suppose -3*q = -277 - 1280. Suppose -186 = -p + 5*h, 5*h = 3*p + 3*h - q. Is 13 a factor of (p/12)/((-6)/(-16))?
False
Suppose 0 = -4*r + 29 + 7. Suppose -15 = -z - 3*f + r, 3*f - 84 = -3*z. Does 27 divide z?
False
Suppose n - 3*n = -28. Suppose -k + 41 = n. Does 9 divide k?
True
Is 18 a factor of -6 + 5 - (-150)/3?
False
Suppose c + 4*c + g + 145 = 0, -2*c - 55 = g. Let m = -3 - c. Is m a multiple of 16?
False
Let n = 190 - 58. Is n a multiple of 22?
True
Let j(m) = 8*m - 9. Is 19 a factor of j(6)?
False
Let y(p) = p**3 - 6*p**2 + 4*p + 6. Let l be y(5). Let r = 13 + l. Is r a multiple of 7?
True
Let g(z) = 2*z - 11. Does 2 divide g(9)?
False
Suppose -3*v - 3*v + 108 = 0. Let c be 4/10 - (-12)/(-5). Let p = v + c. Does 8 divide p?
True
Suppose 3*f = -2*b + 79, 2*b - 74 = -4*f - 0. Let j = b + -22. Is j a multiple of 21?
False
Suppose 0 = 3*b, 0*h - 267 = -3*h + 2*b. Is 35 a factor of h?
False
Let x = 28 - 2. Is x a multiple of 26?
True
Let b = -31 + 121. Is b a multiple of 9?
True
Let f(t) = 5*t**3 + 2*t**2 - 7*t. Does 22 divide f(3)?
True
Let q(k) = 91*k**3 - 2*k + 1. Let b be q(1). Suppose 3*c - b = 3*l, -4*c + l + 4*l = -125. Does 11 divide c?
False
Suppose 4*r - r = 51. Let a = -1 - -12. Let l = r - a. Does 3 divide l?
True
Let m(i) = i**2 + 4*i + 1. Suppose -5*g + 45 = 2*k - 7*k, -2*g = 5*k - 4. Let r = -14 + g. Does 11 divide m(r)?
True
Let r(y) = -y**3 + 7*y**2 - 5*y + 6. Suppose j - 31 = -5*u, -u - 2*j = -6*u + 43. Suppose -5*p + u*p = 12. Does 12 divide r(p)?
True
Let m = 62 - 28. Is 4 a factor of m?
False
Let m(f) = -f + 3. Let u be m(0). Suppose 0*o = u*o + 90. Let p = -17 - o. Is p a multiple of 13?
True
Is (0 - 23)*(-10)/((-70)/(-21)) a multiple of 8?
False
Suppose 0 = -2*f + 3*v - 7, 3*v - 6*v - 9 = 0. Is 4 a factor of (-474)/(-39) + f/52?
True
Suppose 5*z - 56 = 5*s - 361, 0 = -3*s + z + 187. Let o = s - 27. Let k = 1 + o. Is k a multiple of 15?
False
Let j = 155 + -121. Is j a multiple of 10?
False
Suppose 8*f - 4*f = 12. Suppose f*d + 15 = 0, -205 = -3*b - b + d. Is b a multiple of 12?
False
Let