 -h. Suppose h = -z - 5*f + 11, -2*f + 13 = 5*z - 65. Is 6 a factor of z?
False
Let t be 1/3 - (-1)/(-3). Suppose -3*x - 2*x + 120 = t. Let q = x + -15. Does 9 divide q?
True
Let g(m) = -m**3 - 5*m**2 + 3*m + 13. Is g(-7) a multiple of 18?
True
Let o = 75 + -42. Is o a multiple of 33?
True
Suppose -64 = -2*m - 4*v + 52, m - 83 = 3*v. Is m a multiple of 33?
False
Let d be (-3 - 0)*(-20)/12. Suppose -5*v + 2*v - 115 = -d*u, -3*v = 15. Does 8 divide u?
False
Let s be (0 - 2) + 2 + 0. Suppose 2*i - 56 = -2*g - i, -g + 3*i + 37 = s. Suppose 4*h + 11 = g. Does 2 divide h?
False
Suppose 1 + 4 = -w - 4*j, 0 = -5*w - 4*j - 41. Let y = 13 + w. Suppose 0 = -4*z - 20, -2*s + y*z = -z - 47. Does 8 divide s?
False
Let p(b) = b**2 + 2*b - 4. Let z be p(-4). Does 18 divide (2 - -10)/z - -51?
True
Suppose 4*g + 225 = 9*g. Suppose -z + 3*m = -g, -4*m + m + 33 = z. Is z a multiple of 13?
True
Suppose 0 = 7*q - 258 - 106. Does 23 divide q?
False
Suppose 1034 + 394 = 6*k. Is 49 a factor of k?
False
Let y(i) = -2*i**2 + 36*i - 19. Is 31 a factor of y(14)?
True
Let r(h) = h**3 + 9*h**2 - 9*h + 14. Let c be r(-10). Suppose 5*o = c*l - 74, l - 35 = -5*o - 4. Does 11 divide l?
False
Let p = -1 + 50. Does 8 divide p?
False
Let x(y) = -y**2 - y + 1. Let q(v) = -5*v**2 - 5*v + 9. Let n be (-1 - -4)*(-8)/6. Let f(j) = n*x(j) + q(j). Does 2 divide f(0)?
False
Let x(n) = -3*n - 1. Suppose q = 3*w + 8, 1 - 16 = 5*w. Let o be x(q). Suppose 2*a = -o*a + 144. Is 13 a factor of a?
False
Let d = 74 - 49. Let y be (-1)/(-4) + d/(-4). Is ((-3)/y)/((-2)/(-48)) a multiple of 4?
True
Suppose 4 = -c + 6. Does 7 divide (-7)/(2/(-4)*c)?
True
Let x = -36 + 114. Is 14 a factor of x?
False
Let n = -24 + 32. Is n a multiple of 4?
True
Let x(t) = 4*t**3 - t**2 - 3*t + 6. Is x(3) a multiple of 24?
True
Suppose t + 5*q = -t + 284, 0 = 5*t - q - 764. Is t a multiple of 19?
True
Let r(t) be the second derivative of t**5/20 + t**4/2 - 3*t**3/2 - 7*t**2/2 - 6*t. Let m be 12/(-2) + 0 + -1. Does 4 divide r(m)?
False
Suppose 3*v - 1 = 5*u - 4, u - 2*v + 5 = 0. Suppose 5*c = u + 17. Suppose 34 = -2*f + c*f. Does 17 divide f?
True
Suppose 161 + 55 = 2*r. Does 20 divide r?
False
Let h(s) = -s**3 + 3. Let p(z) = z**3 - 4. Let d(o) = -6*h(o) - 5*p(o). Let i be d(0). Let f = 1 + i. Is f a multiple of 2?
False
Let o(m) = m**2 + 8. Does 19 divide o(7)?
True
Suppose 9*i - 10*i = -60. Does 10 divide i?
True
Let m be (-23)/(-3) + (-6)/(-18). Let d be 159/12 - 2/m. Let s = d + -1. Is s a multiple of 7?
False
Let w(m) = -1 - 5 + 2*m + 0. Does 10 divide w(8)?
True
Suppose q + 4 = 19. Is 8 a factor of q?
False
Let t = -32 + 50. Does 2 divide (t/(-30))/((-2)/10)?
False
Let h(j) be the third derivative of -j**6/60 - j**5/15 - j**4/24 + j**3/3 - 2*j**2. Let d be h(-4). Is 2 a factor of d/(-15)*(-3)/2?
False
Let d(g) = g**3 - 8*g**2 - 4*g - 10. Let y be d(9). Let c = y + -19. Is 15 a factor of c?
False
Suppose 4*z = -20, -4*z = -s - 0*z + 55. Suppose -3*o = 2*o + 5*n + s, -o + 3*n = -13. Is 3 a factor of o - ((-4)/(-2) + -12)?
False
Let n(d) = -2*d + 2. Suppose 0*t + 6 = t. Let c be n(t). Does 7 divide (-2)/((-1 + 2)/c)?
False
Let h(x) = x**2 - 5*x + 3. Is 8 a factor of h(9)?
False
Suppose -2*p + 5*p + a = 35, 2*p = -2*a + 26. Does 3 divide p?
False
Let y(z) be the third derivative of z**4/24 + 13*z**3/6 - 3*z**2. Let o be y(-8). Suppose o*a - 94 = a - 3*x, -3*a - 3*x + 72 = 0. Is a a multiple of 11?
True
Let z(i) be the first derivative of -2*i**2 + 3. Let o be z(-1). Does 17 divide 174/o - 12/8?
False
Suppose 0*l + l = 2*o + 6, 0 = 4*l - 2*o - 24. Let h = -2 + l. Is 2 a factor of h?
True
Suppose 5*c - 21 = 94. Let a = -6 + c. Does 8 divide a?
False
Let x be (3/4)/((-2)/(-8)). Let l(s) be the first derivative of s**4/4 + s**3/3 - s**2 - 2*s - 14. Is l(x) a multiple of 8?
False
Suppose -4*u - 44 = -0*u. Suppose -4*m + 5*m - 17 = 0. Let h = m + u. Is h a multiple of 5?
False
Let w = 279 - -2. Does 41 divide w?
False
Suppose -15*o + 16*o - 22 = 0. Is o a multiple of 12?
False
Let b = -68 + 114. Is 19 a factor of b?
False
Suppose -21 - 17 = -2*g. Is g even?
False
Let z = -39 - -16. Let i(y) = y**2 - 3*y + 5. Let w be i(-4). Let d = w + z. Does 10 divide d?
True
Suppose d - 3 + 1 = 0. Suppose 2*p - 6 = 0, 110 = -v + 5*v - d*p. Is v a multiple of 11?
False
Suppose -g + 3 - 6 = 0. Does 7 divide (-4)/g*189/18?
True
Let c = -12 + 26. Suppose -4*z - 34 = -210. Suppose -n - c = -z. Does 13 divide n?
False
Let m be -4 - 5/((-15)/(-6)). Let q(f) = -f - 6. Let s be q(m). Suppose -4*v + 10 + 34 = s. Does 4 divide v?
False
Let s = 127 - 113. Does 3 divide s?
False
Suppose 3*m - 5*m = -12. Suppose 3*n - 13 = 5*x - m*x, 21 = 3*x + 3*n. Is x a multiple of 4?
True
Let d be (-10)/3*120/(-5). Suppose -d = -5*h + h. Suppose 2 = -2*p + h. Is 4 a factor of p?
False
Suppose 10 = -0*c - 2*c. Let l = -1 - c. Suppose l*t - 6*t = -2*z - 88, 5*z + 60 = t. Is t a multiple of 16?
False
Let c(f) = -f - 1. Let t be c(-5). Suppose u = -t*u - 10, -4*i = -3*u - 14. Suppose i*p - y = 43, -2*y - 9 = y. Is p a multiple of 10?
True
Let i be -1*(-2 + 3)*-3. Let o = -2 + 7. Suppose 0 = 2*p + 4*f, -i*f + 0 = p + o. Does 10 divide p?
True
Let x(a) = 3*a - 2. Let t(i) = -7*i + 3. Suppose 3*b = -6 - 12. Let y(v) = b*t(v) - 11*x(v). Is 11 a factor of y(3)?
False
Let p be 483/28 - (-1)/(-4). Suppose v + p = 77. Is v a multiple of 19?
False
Let a(g) = 2*g**2 - 19*g - 4. Let r(w) = -w**2 + 10*w + 2. Let m(q) = -3*a(q) - 5*r(q). Is m(6) a multiple of 6?
False
Suppose 2*j = 5*s - 52, 4*j - 11 = -4*s + 25. Suppose 18 = a - s. Is 17 a factor of a?
False
Let i(s) = -s - 1. Let u be i(-6). Suppose 3*y = -9, 0*w + 2*y + 96 = u*w. Is 6 a factor of w?
True
Let h = 10 + -9. Let m be 2/(-4) - 21/(-2). Let o = h + m. Does 9 divide o?
False
Let v(j) = j**2 - 3*j - 10. Is 11 a factor of v(7)?
False
Suppose -2*a + 2*k + 28 = 0, -4*k - 12 = -3*a + 34. Suppose 5*g + a = 0, 0 = 2*y + 3*g - 12 - 34. Is y a multiple of 13?
True
Suppose -3*h + 24 = 3*q, 0 = 3*h + 2*h - 4*q + 5. Let a be 3*(4/6 - -1). Suppose -4*r + h*y = -0*y - 117, -a*r - 3*y + 153 = 0. Does 20 divide r?
False
Suppose 3*f + 0*f + 18 = 0. Is (-3 - -1 - f) + 3 a multiple of 4?
False
Let p(i) = 3 + 23*i - 4 - 7*i. Suppose 2*v = -g, -5*g - 2*v = 2*v - 6. Is 15 a factor of p(g)?
False
Let c = -109 - -63. Let j = 76 + c. Is j a multiple of 15?
True
Let x be (0 - 10)*14/(-4). Suppose 0 = 5*l - 50 - x. Does 17 divide l?
True
Let y(h) = -h + 6. Let l be y(3). Is 17 + l - (0 - 0) a multiple of 5?
True
Let q be -1 - 1/((-2)/(-10)). Let b = 36 - 24. Does 5 divide q/(-8) - (-111)/b?
True
Suppose -5*r = -s + 25, 3*r + 15 = s - 2*s. Let x = r - -15. Does 9 divide x?
False
Let a(b) = 2*b**2. Let z be a(1). Is 5 a factor of (-3)/z - 46/(-4)?
True
Let b(n) = -47*n**3 + n + 2. Is 4 a factor of b(-1)?
True
Suppose -12 = -0*h - 2*h. Suppose -m + h*m = 25. Suppose x = m*x - 40. Is 10 a factor of x?
True
Let k(p) = p**3 + 7*p**2 + p - 3. Let c be k(-6). Let a(l) = 2*l + 9. Let q be a(-8). Let v = q + c. Does 10 divide v?
True
Is -4 + 5 - -28*(5 + -3) a multiple of 19?
True
Suppose 5*n = -4*s + 406, 435 = 5*n - 4*s + 61. Is 21 a factor of n?
False
Let p = 43 + 90. Is 35 a factor of p?
False
Suppose -5*x - 5*r = -280, x = -x + r + 103. Does 15 divide x?
False
Let v be (-10)/(-3) - (-1)/(-3). Let d = v + 0. Suppose 5*f - 2*u = 223, 0 = -0*u - 3*u + d. Does 18 divide f?
False
Let p be (24/18)/((-4)/(-6)). Suppose 5*j - 4*c = 81, p*c = c - 4. Does 10 divide j + -4 + 9/3?
False
Let a be (2/6)/((-2)/(-12)). Suppose -a = v - 6. Suppose -v*b + 0*b = -84. Is b a multiple of 10?
False
Is (4/(-1) - 38)/(-2 + 1) a multiple of 6?
True
Let m(t) = -t**3 - 2*t + 3. Does 19 divide m(-5)?
False
Let g = 0 - 0. Let s = 0 + g. Suppose s*l = l - 32. Is 16 a factor of l?
True
Let r(l) = l**3 + 16*l**2 - 3*l + 19. Is r(-16) a multiple of 12?
False
Let v = -7 + 11. Suppose -x + 0 = 4*b - 25, b = v*x - 32. Suppose 2*f - 5*f = -x. Is f a multiple of 2?
False
Suppose 143 = 12*f - 97. Is f a multiple of 4?
True
Let m = 5 - -80. Is 16 a factor of m?
False
Suppose -509 = -14*s + 737. Is 15 a factor of s?
False
Let i(n) = -15*n - 5. Is 40 a factor of i(-9)?
False
Let g = -15 + 21. Suppose -3*w = -2*a - g + 24, 3*a - 2*w = 17. Is a a multiple of 2?
False
Suppose -p = -w - 77