*x - p - 2, -2*x - 3*x + 5*p - 15 = 0. Let j = 19 - 32. Does 13 divide (-1)/(x/j*-1)?
True
Let g be 27/(-5) + 12/30. Let f(o) = -4*o**3 + 7*o**2 - o - 4. Let v(p) = 5*p**3 - 7*p**2 + 2*p + 4. Let j(y) = 6*f(y) + 5*v(y). Does 13 divide j(g)?
True
Let w = 153 + -219. Let n be (-1)/4 - w/8. Is 4/(0 + 2/n) a multiple of 7?
False
Let d(c) = -4*c**3 - 20*c**2 + 9*c + 14. Is 49 a factor of d(-7)?
True
Let z be (-268)/(-4) - (-2 + -1). Suppose -3*h - z = -5*h. Suppose -h = -3*s - i, 4*s - 18 = -i + 27. Does 10 divide s?
True
Let h(m) be the first derivative of 3*m**5/20 - m**4/8 + m**3/3 - m**2/2 - 1. Let i(q) be the second derivative of h(q). Is 16 a factor of i(2)?
True
Let m(i) = -8*i + 1. Let d be -1 + (0/2)/(-3). Let q be m(d). Let w = 52 - q. Is w a multiple of 15?
False
Let c(f) = 13*f + 4. Let m be c(6). Suppose m = 4*h - 78. Is h a multiple of 20?
True
Does 8 divide (119 - (-3 + 2)) + 2/1?
False
Let n = -3 + 3. Suppose n = 3*m - 5*m + 4. Suppose -h = -2*q - 6 - 3, m*h + 4*q - 50 = 0. Is 11 a factor of h?
False
Suppose 4*d - 172 = -2*z, -2*d + 41 = -4*z - 55. Is 11 a factor of d?
True
Let i be ((-2)/(-6))/((-3)/9). Let b(w) = 22*w**3 + w**2 + 7*w - 4. Let c(x) = -22*x**3 - x**2 - 8*x + 5. Let p(a) = -6*b(a) - 5*c(a). Is p(i) a multiple of 9?
False
Suppose 2*n = -0*p + 2*p - 124, 0 = -2*p - n + 112. Suppose -j - g = 4*g - 67, p = j + 2*g. Let f = j - 10. Is f a multiple of 14?
True
Suppose 0*r + 81 = 2*r + g, 2*r = 5*g + 51. Let s = 58 - r. Is s a multiple of 10?
True
Let s(g) = -95*g**3 + g**2. Let p = 2 + -3. Let b be s(p). Suppose z = -2*z + b. Is z a multiple of 16?
True
Let x be 1/((-2)/(-7*2)). Let o = x + 10. Does 9 divide o?
False
Suppose 2*a - 4 = 5*j - 0, 0 = 4*a + 3*j + 18. Let z(r) = 5*r - 4*r + 4*r**2 + 3*r + 2. Is 13 a factor of z(a)?
True
Suppose -5*p = -106 - 24. Let o = p + -17. Is o a multiple of 9?
True
Let m be 2 - 6/(-3) - -3. Does 6 divide 128/10 + m/35?
False
Suppose 38 + 32 = -2*b - 2*s, b + 5*s + 55 = 0. Let h = -15 - b. Is h a multiple of 12?
False
Suppose -177 = -3*o - 4*a, o = -0*o - 4*a + 51. Suppose 3*b - 90 = o. Is 17 a factor of b?
True
Let m(u) = u**3 - 2*u**2 + 3*u - 2. Is m(4) a multiple of 10?
False
Does 25 divide 75 + ((-4)/(-4) - 1)?
True
Is 1*(-4)/14 + 100/7 a multiple of 3?
False
Let w(r) = -r**2 - 7*r + 2. Let s be w(-6). Does 15 divide s/(-12) + 728/12?
True
Does 2 divide (0 - 3)/((-15)/80)?
True
Suppose q - 105 = -6*q. Does 8 divide q?
False
Suppose 2*b = -36 + 14. Let f = b - -25. Does 7 divide f?
True
Is (-208)/(-10) - 8/(-40) a multiple of 21?
True
Suppose k - 3*k = -38. Is k a multiple of 19?
True
Let z be 5/((-15)/(-198)) + 3. Let o(g) = -g**3 + 2*g**2 - 5. Let l be o(4). Let v = l + z. Is 16 a factor of v?
True
Let r = -7 - 7. Is -1 - -13 - r/(-7) a multiple of 5?
True
Suppose -j + 4*j = 9. Suppose j*k - 12 = 0, -2*h + 5*h - 111 = 3*k. Does 18 divide h?
False
Let a(b) = b. Let s be a(4). Suppose s*i = -5*p + 119, -i - 4*i = 5*p - 155. Suppose 0 = v - 2*v + i. Is v a multiple of 17?
False
Let s be (-20)/2*(-6)/4. Suppose -4*n = -3*r + 83, -n - s = 2*n. Suppose -o - 109 = -5*v, 2*o - o + r = v. Is 22 a factor of v?
True
Suppose 0 = 6*p + 20 - 68. Is 4 a factor of p?
True
Let z(b) = 6*b - 4. Does 16 divide z(5)?
False
Is (58/(-5))/((-26)/65) a multiple of 15?
False
Let q(y) = -y**3 + 7*y**2 + 8*y - 12. Let u be q(8). Let f = u - -20. Is f a multiple of 4?
True
Let z be (-1)/1*(-1)/1. Let t(c) = -3 + 1 + 2 + 23*c - 1. Does 14 divide t(z)?
False
Suppose 4*m + y = 4 + 113, 0 = -m - 5*y + 53. Does 3 divide m?
False
Let t(z) = 80*z**2 + 4*z + 12. Is 18 a factor of t(-2)?
True
Let o be (-775)/10 + 1/2. Let y = -43 - o. Is 17 a factor of y?
True
Suppose -11 = z - 3*p, 3*p - 2*p + 3 = 2*z. Let k(i) = 0*i + z*i - 2*i - 5 + 1. Is k(4) even?
True
Let p(g) be the first derivative of g**4 - g**3/3 - g**2/2 - 2*g + 1. Does 14 divide p(2)?
False
Let t(r) = r**2 - 8*r + 6. Let a be t(6). Does 13 divide a/(-4)*(-138)/(-9)?
False
Let c(u) = 7*u**3 + 2*u - 1. Let k be c(1). Suppose 0 = 2*t + 4*a - 22, 0*a - k = -4*t + a. Suppose -p + 6 = -t. Does 8 divide p?
False
Is 7 a factor of (-1 - (-18)/22) + 11949/77?
False
Suppose -5*g - f = -605, 3*g - 4*g + 121 = 5*f. Let n = -73 + g. Is n a multiple of 12?
True
Suppose 5*t - 6 - 214 = 0. Is (t - -13) + -1 + 1 a multiple of 19?
True
Suppose 0*k = -5*k + 25. Suppose -2*j + 5*y = 17, 5*j - 2*y - y = 5. Suppose -h + k = -j. Does 9 divide h?
True
Let l be 4/6 - 62/(-6). Suppose 0 = 5*n - 5 - 15. Suppose n = -v + l. Is 5 a factor of v?
False
Suppose 0 = -2*l - 5*u + 19, 3*l = 5*u - 11 + 2. Is l a multiple of 2?
True
Let u(i) = 23*i - 1. Does 11 divide u(1)?
True
Does 26 divide -1 - -56 - (6 - 5)?
False
Is 7 a factor of 180/6*(0 + 0 + 1)?
False
Let w(i) = 2*i + 42. Is w(-17) even?
True
Suppose -93 = -0*p - 3*p - 4*q, -4*p = -4*q - 124. Is 20 a factor of p?
False
Suppose 161 = -2*t - 1. Let o = t - -127. Does 12 divide o?
False
Suppose -16 = -3*q - 7. Suppose -5*b + 10 = -q*b. Does 2 divide b?
False
Let g(p) = p**2 - 17*p + 5. Let y be g(16). Let s = y - -25. Does 3 divide s?
False
Let a(r) = r**3 - 3*r**2 - 7*r. Suppose o = -3*o + 20. Does 5 divide a(o)?
True
Let b = 153 + -51. Is 17 a factor of b?
True
Let g be (-26)/(-2) + 6/(-6). Suppose -7*r + g = -4*r. Suppose -r - 2 = -z. Does 6 divide z?
True
Let v = 89 + 436. Suppose -2*z + 4*i + 184 = 0, 5*z + 6*i = 3*i + v. Does 34 divide z?
True
Let m = -4 - -7. Let j = m - -2. Suppose l - j*l = -36. Does 9 divide l?
True
Suppose s = 2*s - 7. Let j = 17 - s. Is 5 a factor of j?
True
Let k(p) = -p**2 + 5*p + 6. Let t be k(6). Suppose -3*s + 1 + 8 = t. Suppose -2*f + s*f = 9. Is f a multiple of 7?
False
Let r = 31 + -7. Is 4 a factor of r?
True
Suppose 3*i - 4*i + 9 = 0. Suppose 3*d - 74 = 4*t - i*t, d = -2*t + 24. Is 7 a factor of d?
True
Let i(x) = 5*x - 1. Let d be i(6). Suppose -m = 2*f - 0*m - 21, -3*f + m = -d. Is 3 a factor of f?
False
Let s(t) = 9*t + 8. Let i(r) = 9*r + 8. Let c(z) = -4*i(z) + 3*s(z). Is c(-7) a multiple of 20?
False
Is 6 a factor of -3 + -1 + 18/1?
False
Let h(j) = j - 5. Let y(q) be the second derivative of q**5/20 - q**4/12 + q**3/6 + 7*q**2/2 - q. Let s be y(0). Is 2 a factor of h(s)?
True
Is 11 a factor of 56/4*14/4?
False
Let s(b) = 253*b**2. Let z be s(-1). Suppose 3*j - 3*l - 138 = 0, 4*j = -5*l - 60 + z. Is j a multiple of 24?
False
Suppose -5*o + 392 = 3*s, -2 = -2*o - 0. Is s a multiple of 12?
False
Let c be (1 - -1)*1*-2. Let q be c - (0/(-3) + -1). Is 6 a factor of 12*((-15)/(-4) + q)?
False
Suppose -111 = -3*u + 144. Does 17 divide u?
True
Suppose 2*q = 3*d + 4, d + 2*q - 22 = -2*q. Suppose 4*s - 137 = -5*c, s = -d*c - 3*s + 50. Does 22 divide c?
False
Let f(d) = 0*d**2 + 6 - d**2 + 2*d**2 - 1. Let k be 1/2 - (-1)/(-2). Is 3 a factor of f(k)?
False
Let v(l) = -15*l**3 - 2*l**2 - l. Let o(w) = w**3 - w - 1. Suppose 3*n = -0*s + 2*s + 2, -3*n - 2*s - 2 = 0. Let a be o(n). Is 14 a factor of v(a)?
True
Suppose -2*g = -5*g + 27. Let d = 15 - g. Suppose 3*b = -w + 1, 2*b - d = -w - w. Is w a multiple of 4?
True
Is (-1)/(-1)*(57 - 16) a multiple of 40?
False
Suppose 6 + 15 = -3*h - 3*c, 32 = -5*h - 2*c. Let r be (0 - -1)/((-3)/h). Suppose -3*j + 2 = -2*z, 4*j - 12 = -3*z + r. Is j even?
True
Let j(u) = -2*u**3 - 4*u**2 - 3*u + 1. Is 4 a factor of j(-3)?
True
Suppose 96 = 2*h - 8. Does 13 divide h?
True
Let y = 67 + -19. Is 12 a factor of y?
True
Let r(n) = 7*n - 7. Let x be r(-7). Let h = 33 + x. Let y = h + 45. Is y a multiple of 8?
False
Let g(v) = 2*v + 4. Let q be g(0). Let r(h) = -h**3 - h**2 - h + 1. Let a(f) = -2*f**3 - 7*f**2 - 2*f + 6. Let z(w) = a(w) - 3*r(w). Is 7 a factor of z(q)?
True
Suppose -24*f + 142 = -23*f. Does 30 divide f?
False
Let z(y) = 2*y**2 - 11*y + 5. Does 12 divide z(7)?
False
Suppose s - 2*s = 5*y - 214, -5*s = -4*y + 148. Suppose 0 = -o + y - 12. Does 10 divide o?
True
Suppose -3*d = -k - 10 + 41, 0 = -4*k - 4*d + 172. Is k a multiple of 20?
True
Let q(i) = i**3 + i**2 - i + 1. Let w(b) = -3*b**3 - 7*b**2 - 3*b - 1. Let o(c) = 2*q(c) + w(c). Let z be 6/(((-18)/4)/3). Does 5 divide o(z)?
True
Suppose v = 8*v - 1813. Is v a multiple of 37?
True
Let b be (6/(-4))/((-45)/60). Suppose -4*r - b*n = -5 - 51, -5*n + 49 = 3*r. Does 13 divide r?
True
Let m(o) = 17*o + 1. Is 29 a f