 be 1/(-2) - (-1)/(-2). Suppose -3*g - 4*a - 2 = 0, 5*g - 3*a = -a - 38. Is ((-4)/g)/(d/(-39)) a multiple of 13?
True
Let a = -11 + 13. Is a even?
True
Let r(d) = 6*d + 7. Let x be r(6). Let s = -21 + x. Is 8 a factor of s?
False
Is (-17 + 16)*(-79 + 1) a multiple of 36?
False
Let s = -7 - 0. Let d be 1/(-1)*(18 - -2). Let j = s - d. Is j a multiple of 6?
False
Let g be (-3 - -2)*(-50)/2. Let q = -17 + g. Is 7 a factor of q?
False
Suppose -d + 6 = -0. Let g = d + -14. Let u(x) = -x**2 - 10*x - 8. Is u(g) a multiple of 8?
True
Let v(w) = w**2 - 10*w - 6. Let d be v(11). Suppose -2*f + d = 5*j, -26 = -8*f + 3*f + j. Suppose -10 = -f*b + 5*m, b + 4*m + m = 26. Is 6 a factor of b?
True
Let s(o) = o - 1. Let m be s(3). Suppose -2*x + 6*z - z + 49 = 0, m*x + 4*z - 40 = 0. Does 8 divide x?
False
Suppose 0 = 2*t + 2*z - 388, -2*z = 4*t - 0*z - 768. Does 8 divide (-2)/(-5) + t/25?
True
Suppose 101 = 3*y - v, 5*y - v = 74 + 95. Is y a multiple of 14?
False
Suppose 0 + 3 = z, 0 = -4*u + 2*z + 394. Is 20 a factor of u?
True
Let j(w) = -w + 2. Suppose -4*g - 23 = -4*q + 25, 2*g = -5*q + 11. Does 4 divide j(g)?
False
Suppose -4*c + 1 + 7 = 0. Let w = 1 + 7. Suppose -w - c = -u. Does 5 divide u?
True
Let r(z) = 7*z + 3. Suppose -3*o = -5*q - 39, -14 = 2*o - 3*o + 2*q. Is 12 a factor of r(o)?
False
Let v = -6 - -11. Let c = -9 - -9. Suppose -r - 2 + 37 = v*b, c = 4*r + 5*b - 65. Is r a multiple of 5?
True
Let f = -2 - -4. Let b be f + -3 + 6/2. Suppose -b*w + 5*j + 36 = 0, 3*w + 5*j - 16 = w. Does 13 divide w?
True
Let h(r) = r**3 + 5*r**2 + 4*r - 1. Let k be h(-3). Suppose 0*u + 5*u - 15 = -k*t, t - 11 = 3*u. Is 40 - ((1 - 1) + u) a multiple of 21?
True
Suppose 11*o - 7*o - 12 = 0, 2*o = -l + 165. Does 21 divide l?
False
Suppose -m + 4*h = -23, 8*h = -4*m + 3*h + 176. Does 13 divide m?
True
Let g(a) = 10*a**2 + a + 1. Suppose 4*r - r - 10 = -2*j, 3*j - r + 7 = 0. Let b be g(j). Let w = b - -1. Does 11 divide w?
True
Let m(j) = j - 4. Let o be m(-3). Is 4/14 - 264/o a multiple of 12?
False
Suppose -81 = 5*m + 44. Let o = m + 42. Does 15 divide o?
False
Let h be 4/1*3/4. Let j(i) = -i**2 + 7*i + 2. Let u be j(7). Suppose h*w + 2*b - 107 = -u*b, -2*w - 4*b = -78. Does 10 divide w?
False
Let p be (-2)/(-3) - 8/(-6). Is 4 a factor of -16*(-2 - (-3)/p)?
True
Let l(g) = -g**3 - 7*g**2 + 8*g - 20. Is 7 a factor of l(-9)?
True
Let u(i) = -i**3 - 6*i**2 - 9*i - 8. Suppose -4*j - j - 30 = 0. Is 23 a factor of u(j)?
True
Suppose 4*p = 3*g + 68, 0*g = 2*g + 5*p + 30. Let j = 41 + g. Does 12 divide j?
False
Let g(n) = -n**2 - 7*n + 4. Let d be (-6)/(-18) + (-22)/3. Is g(d) even?
True
Suppose -o - 3*o - 3*n = -113, -3*o = 2*n - 85. Is 7 a factor of o?
False
Let k = -10 - -48. Does 14 divide k?
False
Let k(a) = 9*a + 37. Does 4 divide k(6)?
False
Let r = 79 + -17. Let t = 118 - r. Does 20 divide t?
False
Suppose 2*x + 15 = -2*d - 41, x + 82 = -3*d. Let t = d + 48. Is 12 a factor of t?
False
Let a(v) = v**2 - 6*v. Let k be a(12). Suppose 3*s - k = s - f, f = 4. Is 10 a factor of s?
False
Suppose y = c - 21 + 122, -2*y + 5*c = -199. Is y a multiple of 17?
True
Let a be (-4)/14 + 26/(-7). Let g be (-4)/(-18) - 168/27. Does 2 divide 8/g*6/a?
True
Let i(d) = -5*d. Let j be i(-3). Suppose -5*z = 5*u - 30, 5*u + 0*z + j = 4*z. Is ((-2)/4)/(u/(-102)) a multiple of 18?
False
Let w(h) = 1510*h**3 - h**2 + h. Let f be w(1). Is 10 a factor of (-2)/15 - f/(-75)?
True
Is 272 + 15*2/6 a multiple of 21?
False
Let w = -55 - -147. Is 23 a factor of w?
True
Let t(o) = -o**2 - 7*o + 11. Is t(-8) even?
False
Let k(c) = c**2 - c + 2. Let n be k(3). Let w be n + 1/(-1)*-1. Suppose -s - 4*d = w, 0 = 3*d - 4*d - 3. Is s even?
False
Suppose -20 = 4*c, 5*a + 258 = -c - 122. Suppose -11 = j + 28. Let n = j - a. Does 18 divide n?
True
Let t(k) be the first derivative of -k**5/40 - k**4/12 - k**3/3 + 1. Let u(l) be the third derivative of t(l). Is 7 a factor of u(-3)?
True
Let a(k) be the third derivative of k**6/120 + 13*k**5/60 - k**4/6 + k**3/2 + 9*k**2. Is a(-13) a multiple of 17?
False
Suppose -2*u = -m - 30, -89 = 4*m - u - 4. Let v = 46 + m. Does 13 divide v?
True
Does 22 divide 2*-1*(-11 - 0)?
True
Let v(n) be the third derivative of n**6/60 - n**5/60 + n**4/8 - n**3/3 - 3*n**2. Let o be v(2). Let q = o + -11. Is 5 a factor of q?
True
Let i(m) = -3*m - 4. Is 10 a factor of i(-8)?
True
Suppose 0 = -3*i - 15, 2*b + i + 0*i = -5. Let s(p) = p**3 - p**2 - p + 7. Let t be s(b). Let o(n) = 3*n + 1. Does 8 divide o(t)?
False
Let r(m) = m + 51. Let t be r(0). Suppose -5*v + 10 = 0, 3*v = -y + v + t. Does 26 divide y?
False
Let l(q) = -q. Let t(h) = 3*h. Let b = -18 - -11. Let j(k) = b*l(k) - 2*t(k). Does 2 divide j(2)?
True
Let b = 8 + -8. Suppose -3*r + 9 = -b*r. Is 2 a factor of r?
False
Let y(a) = 22*a + 16. Is y(3) a multiple of 19?
False
Let m = -7 - -12. Suppose 0 = -3*z + m*z - 34. Does 4 divide z?
False
Let y(l) = l**2 - 4*l + 3. Let k be y(3). Suppose 2*h - 2 - 6 = k. Is h/(-14) + (-51)/(-7) a multiple of 3?
False
Let j(n) = -3*n - 5. Let i be j(-3). Suppose -i*p - 25 = -5*p. Is 5 a factor of p?
True
Let c(j) = -j**2 - 5*j - 1. Let k be c(-3). Suppose -5*d + 5*q + 40 = 0, k*d + 5*q = d - 4. Suppose 2*o + d = -4, 5*o = -2*h + 22. Is h a multiple of 15?
False
Suppose n + 3*w = 18, -4*w + 32 = 4*n - 0*n. Let y be -2 + 0 - (-1 + n). Let t = y - -8. Is 3 a factor of t?
False
Let t(u) = -u + 13 + 0*u + 2*u + u. Does 12 divide t(4)?
False
Let t(c) be the first derivative of -c**7/420 - c**6/180 + c**5/120 + c**4/24 - c**3/3 - 2. Let j(p) be the third derivative of t(p). Is 3 a factor of j(-2)?
False
Let m be (-3 - 7/(-3))*-27. Let r = 36 - m. Is r a multiple of 18?
True
Let b = -28 + 20. Let k(w) = -w**3 - 8*w**2 - 7*w + 8. Is 24 a factor of k(b)?
False
Let p(c) = -6*c**3 - 3*c**2 - 2*c - 1. Is p(-3) a multiple of 13?
False
Let p(g) = g**2 - 4*g - 1. Let m be p(4). Let r be (-3 - m)*20/(-8). Suppose -r*c + 2*c + 27 = 0. Does 3 divide c?
True
Let z = 67 + -32. Is 12 a factor of z?
False
Suppose 2*o - 2*w + 5*w = 0, 5*o + 3*w = 0. Suppose o = a - 7 - 6. Is a a multiple of 13?
True
Suppose 4*k - 2*k - 6 = 0. Suppose 27 = 5*t - 23. Suppose -k*i + 4*i = t. Is 10 a factor of i?
True
Does 25 divide (-1)/(-2*4/504*1)?
False
Let x(c) = c**2 - c + 1. Let t(y) = 10*y**2 - 3*y + 6. Let j(p) = t(p) - 6*x(p). Is j(3) a multiple of 17?
False
Suppose f - 42 = 2*a, -a = a + 10. Is 32 a factor of f?
True
Suppose -4*s = -4*j + 480, 5*j = 2*j - s + 372. Suppose 3*p - 117 = o, -2*o = 3*p - o - j. Is 9 a factor of p?
False
Let y = 138 - 104. Is y even?
True
Does 7 divide 4 - (24/30)/((-2)/65)?
False
Suppose i = 3*i. Suppose 2 + i = y. Suppose -5*s = -y*m - 180, 5*s - 195 = -0*m + 5*m. Is s a multiple of 17?
True
Suppose 0 = -3*v + 37 + 152. Is v a multiple of 21?
True
Let q(c) = c**3 - 2*c**2 - c - 3. Let w be q(3). Suppose 0 = -4*f + w*f + 33. Is 11 a factor of f?
True
Let d = -41 + 101. Is d a multiple of 30?
True
Does 33 divide 261/6 + (-3)/6?
False
Let m = 13 - 13. Suppose m = 5*j - z - 3*z - 105, -3*j + 63 = 5*z. Does 7 divide j?
True
Let g(m) = 2*m - 14. Is 16 a factor of g(15)?
True
Suppose -2*q + 2*x - 6 = -q, -q + 4*x - 10 = 0. Let l be (3 - q)*6/10. Let c = 8 + l. Is c a multiple of 5?
False
Let c(m) = 2*m**3 - 6*m**2 - 16*m - 8. Does 52 divide c(7)?
False
Suppose -4*q - 2*t + 370 = 0, -5*q = t + 3*t - 470. Let s = -55 + q. Is 10 a factor of s?
False
Let b = -2 + 44. Is 14 a factor of b?
True
Does 16 divide (-160)/(-25)*((-175)/10)/(-1)?
True
Let v = 71 - 38. Is v a multiple of 11?
True
Let y(i) = 38*i**2 + 2*i - 2. Let s(q) = 37*q**2 + 2*q - 1. Let o(x) = 3*s(x) - 2*y(x). Let r be o(-1). Let k = r + -13. Does 19 divide k?
False
Let u = 4 + -2. Suppose 0 = -u*f + 3*f - 7. Suppose -13 = -5*a - 3*x + f, -45 = -5*a + 2*x. Is a a multiple of 3?
False
Suppose q + l - 13 = 2, 5*l - 49 = -3*q. Let m = -8 + q. Suppose n - 43 = -4*h - 9, -3*n + m*h + 136 = 0. Is n a multiple of 14?
True
Suppose -5*a + 0*b - 3*b + 2457 = 0, 3*b = -4*a + 1965. Is a a multiple of 50?
False
Suppose -s = 4*s + 10. Does 7 divide s + (3 - (-9 + 0))?
False
Let x be 2/(-2)*(0 + -1). Let l = x - -1. Is 2 a factor of l?
True
Let s(l) = -l**2 + l + 9. Suppose 4*y = 2*y. Let k be s(y). Suppose 30 = 3*q - k. Does 13 divide q?
True
Let d(g) = -2*g*