*p**2 + 5*p - 8. Let l be k(h). Let g = l + -24. Is 13 a factor of g?
True
Let i = -18 - -26. Does 13 divide (1 - 0)/(i/104)?
True
Let m(h) = -h**2 - 21*h - 15. Is m(-6) a multiple of 15?
True
Is 11 a factor of (-1)/(-2)*(20 + 2)?
True
Suppose 4*x + 3*s = 833, 5*s = -x + 4*s + 208. Does 39 divide x?
False
Let d(s) = -4*s - 3. Let f(u) = -5*u - 4. Let i(o) = -4*d(o) + 3*f(o). Let n be i(-6). Let c = 0 - n. Is c even?
True
Suppose 0 = c - 15 - 2. Is 5 a factor of c?
False
Let l = 11 - -25. Does 9 divide l?
True
Suppose l = 2*o + 10, l + 2 - 21 = 5*o. Is (0 - o)*102/18 a multiple of 8?
False
Does 9 divide 18*(-1 - -2)*4?
True
Suppose -i + 2*i - 55 = 0. Is 12 a factor of i?
False
Let z = 23 + -14. Let i be -1 + 3*z + 2. Let t = -16 + i. Does 6 divide t?
True
Suppose -4*u = -16 + 4. Suppose -2*j = -u*b + 272, -3*b - 5*j - 45 = -289. Is 22 a factor of b?
True
Let w = 52 + -17. Does 7 divide w?
True
Let t(a) be the first derivative of -a - 2 + 2/3*a**3 - 1/2*a**2. Is 5 a factor of t(3)?
False
Let y(s) = 4*s + 12. Does 8 divide y(2)?
False
Let h(i) = -i - 2. Let x be h(-6). Suppose x*f - 78 = f. Is 13 a factor of f?
True
Suppose f - 10 = -2. Suppose f*j - 12*j = -124. Is j a multiple of 16?
False
Let l(v) = -v**3 - 17*v**2 - 2*v - 23. Let r be l(-17). Is (-18)/(-27)*3*r a multiple of 14?
False
Suppose 0 = -8*t + 9*t - 6. Does 2 divide t?
True
Let k be ((-207)/(-15))/(1/5). Suppose 0*d - 3*d = -k. Does 13 divide d?
False
Suppose 231 + 57 = 2*x. Suppose x = n + n. Is n a multiple of 24?
True
Does 17 divide (-20)/(-60) - 713/(-3)?
True
Suppose 0 = 2*p + 5*b - 23 - 71, 0 = -p - b + 41. Is 11 a factor of p?
False
Let z(u) = -u**3 + 2*u**2 - u - 2. Let q be -3*5/(30/(-4)). Let s be z(q). Let b = s - -12. Is b a multiple of 4?
True
Let w(a) = a**3 + 3*a**2 - 2. Is 10 a factor of w(4)?
True
Suppose -261 = -21*p + 12*p. Is p a multiple of 3?
False
Let o(t) = 31*t**2 - t. Is o(1) a multiple of 10?
True
Let h(f) = f**2 + 2*f + 3. Let c be h(-3). Suppose -2*d = -6, 0 = 3*y - 3*d - c - 27. Suppose -p + 8 + y = 0. Does 11 divide p?
True
Is 22 a factor of 1/((-3)/(-102)) + -1?
False
Suppose -u - 6*u = -105. Does 15 divide u?
True
Let f = -12 + 13. Let w(q) = 40*q**2 + 4*q - 13. Let k(p) = 10*p**2 + p - 3. Let u(a) = 9*k(a) - 2*w(a). Does 10 divide u(f)?
True
Suppose 0 = 14*d - 3*d - 1562. Is 15 a factor of d?
False
Let b(v) = -10*v. Let q be b(2). Let u = 55 + q. Is 15 a factor of u?
False
Let g be (-21)/(-9) + 2/3. Suppose m + 32 = g*m. Let j = -6 + m. Does 6 divide j?
False
Let n(d) = d - 6. Let t be n(5). Suppose 4*s + 7 - 19 = 0. Let u = s + t. Does 2 divide u?
True
Let k = -32 + 40. Is k a multiple of 4?
True
Let t = 68 + 112. Suppose v = -v + t. Suppose -5*d + 0*d + v = 0. Is 7 a factor of d?
False
Let v = 80 + -52. Does 14 divide v?
True
Let r(q) = -4*q - 5. Let d be r(-5). Suppose 0 = -5*b + 30 + d. Is b a multiple of 4?
False
Let q = 80 - 51. Suppose y + 0*r = -4*r + 23, -4*r + 20 = 0. Suppose 6*z - z + q = y*b, 2*b = -z + 28. Is b a multiple of 4?
False
Suppose 15*h - 9*h = 36. Does 3 divide h?
True
Suppose -r - 4 = -0. Let j(g) = -g**3 + 7*g + 6. Let o be j(r). Suppose -14 = -0*d - d + 5*c, -3*d = 3*c - o. Is d a multiple of 7?
True
Suppose -3*y - 16 = -y. Let g(v) = v**3 + 7*v**2 - 11*v + 6. Let w be g(y). Does 15 divide (16/(-5))/((-4)/w)?
False
Suppose -2*z + 5*z - 9 = 0. Suppose 160 = z*p - 32. Let a = p - 34. Is 15 a factor of a?
True
Let y = 194 + -127. Let b = y + -35. Is b a multiple of 9?
False
Suppose -2*k = -4*q + 22, 0*q - 23 = -4*q + 3*k. Suppose -q*p + 8*u + 405 = 3*u, 3*p = -3*u + 225. Suppose 4*m - m - p = 0. Is 20 a factor of m?
False
Suppose -2 = -5*x - 7. Let u be (-140)/(-1) + (-1 - x). Suppose z - 6*z = -u. Is 11 a factor of z?
False
Let q(d) = -7*d**3 - d**2 - 2*d - 1. Let r be q(-1). Let z(m) = -m + 35. Let o be z(0). Let t = o - r. Is t a multiple of 10?
False
Let l = -18 + 21. Is 13 a factor of (13/l)/(6/36)?
True
Let o = 13 + -22. Is 14 a factor of (1 - 33/o)*3?
True
Suppose 0*y + 2*y = 12. Let o(z) = z**2 - 3*z + 1. Let f be o(y). Let k = -12 + f. Does 7 divide k?
True
Let s(v) = -7*v - 12. Is 21 a factor of s(-8)?
False
Suppose 10 = 2*w + 3*w. Let f be w + 2/(-4)*-52. Suppose 4*l - 2*l - f = 0. Does 4 divide l?
False
Suppose -46 = -2*d - 12. Is 5 a factor of d?
False
Let q = 19 + 27. Does 14 divide q?
False
Let a(k) = -k**3 + k**2 + k + 54. Let q be (-6)/(-27) + (-6)/27. Let g be a(q). Suppose -50 - 23 = -4*m + 3*w, -2*m = 2*w - g. Is m a multiple of 22?
True
Let t be -1*(1 + -2 + -2). Suppose -3*m = -t*s - 156, 2*s - 83 = -4*m + 101. Is 24 a factor of m?
True
Suppose -2*a = 5*o - 10, o - 2 = -4*a + a. Suppose -6 = -l - o. Does 4 divide l?
True
Let z be (2 + 1 - 2) + 4. Let k = 4 + z. Is k a multiple of 2?
False
Let k = 64 + -2. Does 15 divide k?
False
Suppose -a = -5*d + 52, d + 5*a - 7*a = 5. Suppose -5*z - 15 = -l + 6*l, 0 = -l + 3*z - d. Let o(t) = t**3 + 5*t**2 - 5*t + 2. Is 10 a factor of o(l)?
False
Let k(c) = -36*c**3 - c**2 + c + 1. Is k(-1) a multiple of 11?
False
Let g(l) = 5*l**2 + 3*l. Let x = 2 - 4. Does 7 divide g(x)?
True
Let x = 4 + 1. Let z(g) = 2*g - 4. Let q be z(3). Does 5 divide ((-10)/x)/(q/(-10))?
True
Let t be (-140)/(-8)*2*-1. Is (12/(-7))/(2/t) a multiple of 7?
False
Let v(u) = -u**3 + u**2 - u + 20. Let z be v(0). Suppose 5*x - z = -0*x. Suppose -x*a - a = -30. Is 3 a factor of a?
True
Let j(h) = -h**3 - 16*h**2 - 21*h - 12. Let v be j(-15). Does 27 divide 1/((-232)/v + 3)?
False
Suppose -5*w + 148 = -212. Is 18 a factor of w?
True
Let t be ((-15)/(-6))/((-4)/(-192)). Suppose 0 = -3*j - j + t. Is j a multiple of 5?
True
Suppose 5*w = 5*l + 185, 0 = w + 7*l - 12*l - 29. Is w a multiple of 39?
True
Let p = 8 + 1. Is p even?
False
Suppose -4*h + 1 = u, 10 = -2*h - u - 3*u. Is 8 a factor of -34*(-1 - h/(-2))?
False
Suppose 11*v - 12*v + 22 = 0. Does 11 divide v?
True
Let u be (-129)/(-27) + (-6)/(-27). Suppose -8 + 28 = u*l. Suppose l*z - 54 = -6. Is z a multiple of 6?
True
Suppose -b + 4 + 0 = 0. Suppose b*i + z = 50, 4*i - 3*i + z = 14. Does 8 divide (-8)/i + 26/3?
True
Let t = -350 + 593. Suppose 5*v - t = -83. Is 8 a factor of v?
True
Suppose 254 = 5*i - 4*j, -3*i + j - 58 = -4*i. Is 27 a factor of i?
True
Is (-3 - -2)/((-2)/242) a multiple of 17?
False
Let m(h) = h**3 - 6*h**2 + h - 6. Let y be m(6). Suppose 5*t + j - 12 = y, 4*j - 2*j = -6. Suppose 5*x - t*x + 5*d = 58, -49 = -3*x + 2*d. Is 15 a factor of x?
False
Let y = 144 - 94. Is y a multiple of 16?
False
Is 8 a factor of (112*3)/8 + 1/(-1)?
False
Suppose 0 = 2*l - 3*v - 8, -3*v = 4*l + v + 24. Is 11 a factor of 11 + 0/(2/l)?
True
Suppose -a = n - 18, 19 + 39 = 3*a + 5*n. Does 7 divide a?
False
Let o(a) = 2*a + 105. Does 29 divide o(0)?
False
Suppose 2*b = -b. Suppose b = 2*r - 4*d - 7 - 3, 5*r + d - 80 = 0. Is 5 a factor of r?
True
Let n = 50 - 5. Is 26 a factor of n?
False
Suppose 2*l - 19 = 9. Is l a multiple of 5?
False
Let u = 11 + -7. Let j(n) = n + 16. Let r be j(-7). Let g = r - u. Is 2 a factor of g?
False
Let p = -23 - -39. Suppose 0 = 4*r - p - 8. Does 6 divide r?
True
Let g be 3*-1*1*-3. Let f(h) = 15*h**2 + 1. Let n be f(-1). Let t = n - g. Is t a multiple of 7?
True
Suppose j - 6 = -j - 2*i, -3*i = 4*j - 13. Suppose -j*u + 6 + 6 = 0. Let l(a) = a**3 - a**2 - 3. Is l(u) a multiple of 15?
True
Let d = 5 - 5. Suppose -3*n - 2*n + 35 = d. Suppose n = l - 2. Is l a multiple of 3?
True
Suppose -14 = 2*f - 4*f. Does 7 divide f?
True
Suppose -2*l - 2*l = -8. Let m(d) = -d**3 + 6*d**2 + 17*d - 6. Let j be m(8). Suppose c + 88 = l*t, -5*c = j*t - 0*c - 64. Is 16 a factor of t?
False
Is 15 a factor of (2/(-3))/(18/(-1215))?
True
Let c(q) = -58*q + 2. Let g be c(-2). Suppose -3*a = -g + 40. Is 26 a factor of a?
True
Suppose -4*k + 4*q = -k + 12, -4*q = 4*k + 16. Let s(f) = -6*f. Does 24 divide s(k)?
True
Let a(k) = 26*k + 1. Let z(w) = -3*w**3 - 2*w**2 - w. Let f be z(-1). Let m be a(f). Suppose -47 = -5*s + m. Does 6 divide s?
False
Suppose -5*o - 3*g + 219 = -381, -o - 3*g + 120 = 0. Let v(i) = i**3 + 3*i**2 - 6*i - 2. Let l be v(-4). Suppose l*j = j + o. Does 8 divide j?
True
Let q = -42 - -77. Suppose -a + 2*w + 2*w - q = 0, 40 = -a - w. Let m = -2 - a. Is 15 a factor of m?
False
Suppose 2*u = h + 2, -4*u + 0*h = -3*h. Suppose 0 = 4