t b(i) be the third derivative of 3*i**2 - 1/12*i**4 - 1/6*i**3 + 0 + 0*i. Is 10 a factor of b(-6)?
False
Let g = -61 + 91. Suppose 3*l - g = l. Is 11 a factor of l?
False
Suppose 4*g + 5*x = 18, -5*g + 2*x = -10 + 4. Suppose 24 - 7 = 2*n + 3*z, 2*n + g*z = 12. Suppose n = -2*o + 13. Does 4 divide o?
False
Let h(t) = t**2 - 7*t + 7. Let a be h(5). Let f(j) = 1. Let v(s) = s**3 + 4*s**2 + 3*s - 8. Let m(d) = -5*f(d) - v(d). Is 3 a factor of m(a)?
True
Does 24 divide ((-18)/24)/((-1)/96)?
True
Suppose 0 = -0*g - 2*g - 3*w - 6, -g + 3*w = -6. Let i be 2/1 - (2 - g). Suppose -h - 9 + 22 = i. Does 13 divide h?
True
Let r(f) = -20*f - 4. Let i be r(-7). Suppose 4*p - i = -l, 62 = p + 2*l + 21. Let n = -23 + p. Does 5 divide n?
True
Let d = 5 - 7. Let v = d - -5. Suppose g + f + 26 = 3*g, 2*f = -v*g + 32. Does 7 divide g?
False
Let i(o) = o**2 + 2*o + 4. Let v(s) = -s**3 - 5*s**2 + 6*s + 6. Let a be v(-6). Does 19 divide i(a)?
False
Suppose -14 = 2*w - 98. Does 15 divide w?
False
Is 17 a factor of -401*2/(-6) - (-58)/(-87)?
False
Suppose 0 = 3*k - k - 2. Is k/(1 + 22/(-24)) a multiple of 6?
True
Is ((-1)/(-2) + 3656/(-48))*-3 a multiple of 31?
False
Suppose -2*j = -2, m - 64 = -2*m - j. Let d = 60 - m. Suppose 5*x = 101 + d. Is x a multiple of 14?
True
Let o be (-35)/15 + (-8)/12. Is 29 a factor of 116*((-9)/o)/12?
True
Does 4 divide (-3 + 0)/((-18)/96)?
True
Let f(z) = 3*z + 24. Is 12 a factor of f(0)?
True
Suppose 5*w - 1364 = -3*x, -w = -4*x - 0*w + 1788. Suppose -3*t = t - x. Let z = -79 + t. Is z a multiple of 22?
False
Let i be (2 + -4 + 2)/(-1). Let f = i - -9. Is 3 a factor of f?
True
Let i = 506 + -358. Suppose 5*x - 427 = -4*r - i, -5*x = -4*r - 271. Does 13 divide x?
False
Let z(q) = -3*q**2 - q - 2. Suppose 0 = x - 0 + 2. Let h be z(x). Is h*4/(-6)*1 a multiple of 8?
True
Let t = 2 - -1. Suppose -t*u = -6 - 18. Does 8 divide u?
True
Suppose 9 = 2*q + q. Suppose 4*p = -5*n + 120 - 28, 3*p + q*n - 72 = 0. Does 12 divide p?
False
Let l(n) be the second derivative of 0*n**2 + 0 - 1/2*n**3 - 2*n. Is 12 a factor of l(-4)?
True
Let y(o) = -1 + 0 - 6*o + 5*o. Let l be y(-3). Suppose -l*d + 4*v + 21 + 9 = 0, 4*v - 25 = -3*d. Is d a multiple of 11?
True
Let o = -9 + 13. Suppose -o*x - k + 28 = 3*k, -3*x = -4*k - 28. Let g(z) = z + 5. Is g(x) a multiple of 8?
False
Does 14 divide 139/4 + 5/20?
False
Let l = 5 + -4. Suppose 2*m - 19 = l. Does 4 divide m?
False
Let b be -27 + (-12)/8*2. Does 18 divide 6/b + 542/10?
True
Suppose 4*x + 8 = -3*n, x - 10 + 27 = 3*n. Let h = x - -7. Does 3 divide (-3)/h*10/(-5)?
True
Suppose -4*q - 5*g = -159, -2*g + g = -3. Does 12 divide q?
True
Let p = -12 + 14. Let v(w) = -w - 3. Let l be v(-6). Suppose 0 = -3*x, l*t = -p*t - 2*x + 110. Is 9 a factor of t?
False
Let g(s) = -5*s**2 + 6*s - 16. Let q(f) = 9*f**2 - 12*f + 31. Let k(j) = -11*g(j) - 6*q(j). Does 9 divide k(-9)?
False
Suppose 0 = y + 4*y - 150. Let s = y + -10. Is s a multiple of 10?
True
Let y(t) = -t**3 + 7*t**2 + t. Let m be y(6). Suppose d - 1 = -3*u, 0*u - m = -2*d + 2*u. Does 16 divide d?
True
Let g(j) = -36*j - 1. Let k be g(-1). Let d = k - 20. Is 15 a factor of d?
True
Suppose -5*j + 0*j + 225 = 0. Let t be (-7)/(105/72)*20/3. Let c = j + t. Is 9 a factor of c?
False
Let r be -1*(0 - (-1 - 2)). Let t(u) = -6*u**3 + 3*u + 3. Let a be t(r). Suppose -3*z - 2*l = -z - 60, a = 5*z + 3*l. Does 12 divide z?
False
Let g(w) = 4*w**2 - 3*w - 3. Let x be g(3). Suppose 20 = 5*i + 5*k, i - 10 = -4*k - 0. Suppose -i*n = n - x. Is n a multiple of 4?
True
Let k(g) be the second derivative of -g**5/10 - g**4/6 + g**3/3 - 3*g**2/2 + g. Let f be k(-3). Suppose -27 = -3*j + f. Does 9 divide j?
True
Let s(v) = -3*v - 3 + 17 - 2*v + 6*v. Let u be s(-8). Suppose 0 = -2*m + u*m - 20. Is 3 a factor of m?
False
Suppose 6 + 22 = -4*k. Let b(h) be the second derivative of h**4/12 + 2*h**3/3 - 4*h**2 - 3*h. Is b(k) a multiple of 8?
False
Let s(m) = m**2 - 5*m + 2. Let r be s(5). Suppose -4*u + 49 = 3*v, -r + 28 = 2*u + 2*v. Does 10 divide u?
True
Let v be 1/(-2*1/134). Is -3*(-3 - -2) - v a multiple of 13?
False
Suppose 2017 - 577 = 9*a. Is a a multiple of 16?
True
Let o(x) = 12*x**2 - 1. Suppose 0 = 4*u + v - 29, 0*v + 15 = 5*u - 3*v. Let p = u - 7. Does 11 divide o(p)?
True
Suppose 0 = -g + 2 + 4. Let n(b) = -b**2 - 7*b + 4. Let u be n(-7). Let q = u + g. Is q a multiple of 6?
False
Let k(g) = 50*g**2 - 1. Is 20 a factor of k(-1)?
False
Let b = 27 - 13. Does 4 divide b?
False
Let j be 6/(-15) - 187/(-5). Let k(z) = z**2 + 5*z - 6. Let n be k(-6). Suppose o = -n*o + j. Is 16 a factor of o?
False
Let n(z) = -2*z - 2. Let p be n(-6). Let m = -43 + p. Does 11 divide (m/6)/((-2)/4)?
True
Suppose 3*q + 47 = -3*x - 4, 5*q - 69 = 2*x. Let z = 89 + x. Is z a multiple of 32?
False
Suppose -5*n = 24 - 454. Suppose 5*q = -n + 226. Does 6 divide q?
False
Let w(s) = 20*s**2 + 35*s. Let c(v) = -7*v**2 - 12*v. Let l(q) = 17*c(q) + 6*w(q). Is l(-8) a multiple of 8?
True
Let v(q) = -3*q - 8. Is 5 a factor of v(-11)?
True
Let n(b) = -11*b + 2. Suppose 4*u + 4 = 2*u. Does 8 divide n(u)?
True
Let v(k) = -4*k**3 + 7*k**2 + 4*k - 8. Let w(g) = -5*g**3 + 7*g**2 + 4*g - 9. Let s(m) = 6*v(m) - 5*w(m). Suppose 2*r = 5*r + 15. Does 14 divide s(r)?
False
Let q = 27 + -21. Suppose -20 = -5*y - 0. Is (-16)/q*(-6)/y a multiple of 2?
True
Let g be (1 - 10)*8/(-12). Let p be (-402)/(-4) - 9/g. Suppose -3*i = -6*i + p. Is 11 a factor of i?
True
Let c = 3 + 0. Suppose c*f - 58 = -a + 18, 0 = -4*f - 4*a + 112. Is 12 a factor of f?
True
Let f(o) = o - 9. Let k(s) = -5. Let l(x) = -3*f(x) + 5*k(x). Does 7 divide l(-2)?
False
Let a be (-4 - -1) + (0 - -3). Suppose 0 = -a*x - 4*x. Suppose l - 5*g - 26 = x, -l + 2*l - 2*g = 17. Is l a multiple of 11?
True
Suppose 3*s - 5*t = -161, 5*s + t = 2*t - 239. Let d be (-1)/2*(s + -1). Suppose m - d = -7. Is m a multiple of 13?
False
Let u = 22 + 26. Is 16 a factor of u?
True
Let j(g) be the third derivative of g**5/60 - g**4/6 + g**3 - 2*g**2. Is 2 a factor of j(4)?
True
Suppose 0 = -16*k + 18*k. Let m = k + 12. Is 6 a factor of m?
True
Let g(f) = 3*f + 24. Is g(-6) a multiple of 4?
False
Suppose 0 = 2*c - 51 + 3. Is 15 a factor of c?
False
Let v(j) = -21*j + 1. Let m be v(-3). Let y = 100 - m. Does 18 divide y?
True
Suppose -2*z + 506 = -0*o - 2*o, 0 = 3*z - 2*o - 755. Suppose t = -5*j - 2*t + z, 2*t - 246 = -5*j. Suppose -j + 4 = -2*c. Is c a multiple of 11?
True
Suppose -m + 190 + 150 = 4*n, 0 = -m + 4. Is 20 a factor of n?
False
Let f = 208 + -117. Does 13 divide f?
True
Let r(h) be the first derivative of -3*h + 3 + h - 19*h**2 + h. Is 13 a factor of r(-1)?
False
Does 27 divide (81/5)/(3/15)?
True
Let h = 63 + 0. Does 21 divide h?
True
Let v = -7 + 17. Let h be (-6)/v - 574/10. Let u = h + 91. Does 17 divide u?
False
Let u = 59 - 25. Suppose -4*j - 5*w = -u, -23 = -3*j + w - 7. Let m = j + -3. Does 2 divide m?
False
Let t = -4 + 1. Does 10 divide 15*(4 - (-6)/t)?
True
Let x(f) = f**3 + 6*f**2 + f + 1. Let j be x(-5). Suppose -j = 2*c - 3*c. Is 15 a factor of c?
False
Let y(k) = -2*k + 2. Is y(-8) a multiple of 6?
True
Let w be (8/3)/(12/18). Suppose 206 = 5*o - w*y, 5*o + y = 2*o + 110. Is o a multiple of 19?
True
Suppose 4 = -r - 3. Let z = r + 13. Is 3 a factor of z?
True
Let l = -8 - -13. Let c = -23 + 50. Suppose -13 = -l*g + c. Is 5 a factor of g?
False
Suppose 3*b + 6 = b, -5*b = z + 9. Is 5 a factor of z?
False
Let m be (-28)/(-2)*4/8. Suppose -2*z - 16 = 2*u, u = -3*z + m*z + 12. Let t = u - -18. Does 14 divide t?
True
Let n(w) = 3*w**2 - 2*w - 1. Suppose 3*a = -j + 10, a = -a - 5*j - 2. Is n(a) a multiple of 17?
False
Is 6 a factor of (-24)/6*-5 - -4?
True
Let p be (32/10)/((-3)/(-15)). Let h = p + -6. Suppose -3*a = -h - 11. Is 5 a factor of a?
False
Let k = -11 - -98. Suppose -y = 2*y - k. Does 14 divide y?
False
Let b = 11 + -5. Suppose 2*k = b*k + 3*w - 53, 3*w = -k + 20. Is k a multiple of 8?
False
Suppose 80 = n + 2*y, -n = 2*n + 5*y - 235. Let a = n + -32. Does 15 divide a?
False
Suppose -45 = -5*m - 0*m. Suppose m + 11 = 4*w. Suppose -2*s - j = 2*s - 85, 3*j - 108 = -w*s. Does 19 divide s?
False
Suppose -5 - 1 = -2*i - u, i - 3*u + 4 = 0. Suppose -i*c = -19 - 5. Does 12 divide c?
True
Suppose 1 = -2*s - 43. Let i be (1 + 0)/(2/s). Let k = 33 + i. I