t s(p) be the third derivative of -23*p**4/24 + p**3/6 - p**2. Let z be s(-3). Suppose -z = -q - 4*q. Is 7 a factor of q?
True
Suppose -2*n = -9 - 1. Let c(g) = -g - 5 - 3*g + 6*g. Is c(n) even?
False
Does 8 divide 6/(-2)*(156/(-9) + 4)?
True
Is 13 a factor of 2/5 + (-14930)/(-50)?
True
Does 15 divide 1/((-4)/(-8))*47?
False
Is (-32)/(-2) - (6 + -3) even?
False
Let g(k) = k**3 + k + 9. Let t be g(0). Suppose 0 = -q - 0*q + t. Is q a multiple of 9?
True
Suppose -2*r = -2*v + 6, -5*v - r = 2*r - 15. Suppose -v - 3 = -3*d. Suppose 0*l + 3*a = d*l - 57, -3*a = -l + 30. Is 21 a factor of l?
False
Suppose -4*p + 5*p = 126. Is p a multiple of 14?
True
Suppose 4*m - q - 303 = 0, -3*q - 5 = -4*q. Is m a multiple of 9?
False
Let d be 1 - 2/(2/(-3)). Suppose 15*r = 561 - 66. Suppose 5*p - 3*o - r - 162 = 0, -d*p = 4*o - 188. Is 14 a factor of p?
True
Does 4 divide ((-6)/(-9))/(3/18)?
True
Suppose 2*s + 12 = -0*s. Let z be -3 + s - (-1 - 0). Let h = 6 - z. Is 7 a factor of h?
True
Let u(n) = -n**3 + 6*n**2 - n - 7. Is 4 a factor of u(5)?
False
Let b be ((-6)/(-10))/((-6)/(-30)). Does 13 divide (-3 - 0)*(-26)/b?
True
Let p = 61 + -31. Is p a multiple of 30?
True
Let s(i) = i + 5. Is s(8) even?
False
Let p(c) = 17*c**2 + c. Does 3 divide p(-1)?
False
Let k(w) = 3*w**2 + 11*w - 6. Let h(o) = 13*o**2 + 44*o - 24. Let v(b) = -2*h(b) + 9*k(b). Is 6 a factor of v(-13)?
False
Let g(s) = 7*s**2 + 9*s - 1. Does 17 divide g(-3)?
False
Suppose x - 2 + 38 = 0. Let c = x - -77. Does 14 divide 2 + -3 + c/1?
False
Let x be 1/(1*(-2)/(-10)). Let g(t) = 0 + 5 + 2*t - 7. Is 4 a factor of g(x)?
True
Suppose 5*a - 4*p - 10 = 0, 0*a = 3*a + 5*p + 31. Is (-3 - -2)*22/a a multiple of 11?
True
Suppose 4*v - t - 206 = 0, 4*t + 4 = 2*t. Is v a multiple of 17?
True
Let m(y) = -12*y**2 - 3*y + 1. Let i(z) = -11*z**2 - 4*z + 1. Let g(u) = 3*i(u) - 4*m(u). Let k = -13 - -14. Is 5 a factor of g(k)?
False
Suppose 7 = -k + 4*l - 7*l, 3*k - 4*l = 31. Suppose k*o + 2 - 17 = 0. Suppose -2*w + 150 = o*i - 8, 3*i - 3*w - 168 = 0. Does 21 divide i?
False
Let l(v) be the second derivative of v**4/6 - 5*v**3/6 - 7*v. Does 6 divide l(4)?
True
Is 10 a factor of (-20)/3*48/(-32)?
True
Let h(k) = -4*k**2 - 25*k - 3. Let g(o) = 6*o**2 + 37*o + 5. Let u(q) = 5*g(q) + 7*h(q). Is 11 a factor of u(-7)?
False
Suppose -3*w + 15 = 2*w. Suppose -3*c + 2*c + 92 = 5*m, -78 = -4*m - w*c. Does 14 divide m?
False
Let c(j) = 11*j**2 - 1. Suppose 0*f = 2*f. Suppose f = h + 5*y - 9, 4*h - 5*y + 17 = 3. Is 5 a factor of c(h)?
True
Let w = 4 - 2. Suppose -3*t = w*t. Suppose t*y = -5*y + 120. Is y a multiple of 13?
False
Let j(s) = 4*s**3 - 13*s**2 + 7*s - 13. Let i(z) = z**3 - z**2 + z + 1. Let y(u) = -3*i(u) + j(u). Is y(10) a multiple of 15?
False
Suppose -4*n - 12 = -5*m + m, 0 = -5*n - 5. Suppose 5*k - 3*k = -t + 19, 4*t = -m*k + 4. Does 11 divide k?
False
Let y = 5 - 2. Suppose y*s = 3*d + 18, -38 = 4*s - 9*s + 3*d. Is 7 a factor of s?
False
Let a(h) = -6*h**3 - 3*h**2 - h - 2. Let d be a(-3). Suppose b = 2*g - 4, -g = -4*g - b + 6. Suppose -g*s - 34 = -d. Is s a multiple of 18?
False
Suppose 0 = 3*w + 5*b - 208, 2*w + b = 5*w - 196. Is w a multiple of 17?
False
Let b be (-16)/(-6) - 8/12. Suppose -5 = -0*v - 5*v. Suppose v = -b*p + 9. Does 4 divide p?
True
Suppose -5*z + 20 = -z. Suppose 5*q + 5 = -5*r, -z*q + 2 = 17. Is r a multiple of 2?
True
Suppose 54 = 2*h + 5*d, h + 2*d = 27 + 1. Does 8 divide (h/6)/((-5)/(-15))?
True
Suppose 90 = 5*f - 530. Is 18 a factor of f?
False
Suppose p + 18 = 5*x, 4*x = 4*p + p - 15. Let f(a) = -p*a + 0*a + a - 5. Is f(-4) a multiple of 14?
False
Let l = -16 - -22. Suppose -l*t + 2*t = 0. Suppose 4*x = -t*x + 148. Is 17 a factor of x?
False
Let v = -4 + 2. Let x = v - -5. Suppose t = 3*b + 10, 0 = -2*t - 2*b + x*b + 20. Does 5 divide t?
True
Let x = 254 - 142. Is 14 a factor of x?
True
Let c(x) = 2*x**2 + 3*x - 20. Does 12 divide c(5)?
False
Suppose -16*t = -18*t + 32. Is t a multiple of 16?
True
Let a(h) = 2*h + 13. Let q be a(9). Suppose 0 = 2*u - 11 - q. Is u a multiple of 10?
False
Let l be (-2)/(-2)*-1*-3. Suppose l*y = 8*y - 540. Does 26 divide y?
False
Is (-311 - 3)/(2 - 32/12) a multiple of 48?
False
Let y be 166 - (-3 + 0 - -3). Suppose 5*p + 205 = 3*b, 4*p - b - b = -y. Let t = p + 74. Does 15 divide t?
True
Let t = 239 + -137. Does 34 divide t?
True
Suppose -3*b + 15 + 9 = 5*t, -2*b - 2*t = -12. Let v(u) = -u**2 - 8*u. Let k be v(-7). Suppose -b*g + 8 = -k. Is g even?
False
Does 5 divide (-15)/(-2) - 33/(-22)?
False
Let o(v) = v + 5. Let z be o(-5). Suppose z*k + 19 = 2*u + k, 2*k = -10. Is u a multiple of 12?
True
Suppose t - 3*v = -v + 15, -t = 2*v - 19. Is 5 a factor of t?
False
Let t be 562/12 + 3/18. Suppose -t = -n - 2. Is n a multiple of 15?
True
Suppose 5*k = 3*p - 312 - 19, -2*k + 2 = 0. Does 28 divide p?
True
Suppose -3*q - q = -180. Suppose 25 + q = 5*k. Is k a multiple of 7?
True
Let i(d) = d + 10. Let t(j) = -2*j - 20. Let b(k) = 5*i(k) + 2*t(k). Let l be b(-9). Is (-19)/(2 - (l - -2)) a multiple of 9?
False
Suppose 5*j = -2*l - l + 132, 4*l = -2*j + 190. Let w = l - 21. Is w a multiple of 14?
True
Let l be 1 + 1*(-81)/(-3). Suppose 0 = 2*u - 0*u + 4. Let d = u + l. Does 11 divide d?
False
Suppose r = 3*r - j - 13, 15 = -3*j. Suppose 5*d = r*f - 24, -f = -0*f + 5*d - 6. Is 2 a factor of f?
True
Let f(k) = -31*k - 12. Is 11 a factor of f(-3)?
False
Let p = -261 + 696. Is p a multiple of 15?
True
Suppose 2*l = 3*l + 6. Is 11 a factor of (-113)/l - 5/(-30)?
False
Let n(i) = 11*i**2 - 1. Let x be n(-1). Suppose -f = 2, 3*f + 4 = -2*c + x. Does 16 divide ((-8)/c)/(1/(-12))?
True
Suppose 5*a - 127 = -7. Does 10 divide a?
False
Suppose -24 = -4*m - a, -a - 4 = -4*m + 28. Is 3 a factor of (m/4 - 1)*8?
True
Suppose 0 = l + 3, -c + 3*l = -0*l - 17. Suppose -m + 10 = -c. Is 18 a factor of m?
True
Let m(a) = -2*a + 9. Let f be m(6). Is f + 3 - (-6 + 0) a multiple of 6?
True
Let i(p) be the third derivative of p**4/24 - p**3/6 - 2*p**2. Let c be i(6). Suppose 45 = 5*f + c. Is 4 a factor of f?
True
Suppose 0 = -a - 8 - 3. Let r = -5 - a. Is 3 a factor of r?
True
Let h = 7 - 5. Let d = 35 + -25. Is 6 a factor of (-2 - -1)*h + d?
False
Is 7 + (-1 - 3) - -13 a multiple of 16?
True
Let t be (-7)/(-2) + 3/(-6). Is (6/t)/(2/11) a multiple of 8?
False
Is (79 - 1)/((-24)/(-16)) a multiple of 4?
True
Let p be (1/3)/(6/108). Suppose 3*g - 5*o = 305, -2*o - o + 125 = g. Suppose -p*c = -c - g. Is 11 a factor of c?
True
Suppose 5*v + 9 = 2*d, -2*d + 17 = 5*v - 2*v. Let r = 1 + d. Is r a multiple of 6?
False
Let w(u) = -14*u - 2. Is 27 a factor of w(-4)?
True
Suppose -4*d = -3*d. Is 17 a factor of 48 + 6 + d + -3?
True
Let c be (1 + (-5)/2)*-2. Is 9 a factor of 2 + 19 - 6/c?
False
Let v(p) = 3*p**3 - 11*p**2 + 5*p + 4. Is v(4) a multiple of 8?
True
Let q be (-8)/(-20) - (-27)/(-5). Let p(s) = -s - 2. Let c be p(q). Let n = 5 - c. Is n even?
True
Let c be 1/(2*(-1)/(-218)). Let k = -66 + c. Is 16 a factor of k?
False
Suppose a - 120 + 1 = 0. Is 17 a factor of a?
True
Let g = 84 - 49. Does 10 divide g?
False
Suppose 4*g + 10 = -6, 0 = n - 4*g - 35. Let b = -3 + n. Is 16 a factor of b?
True
Is 17 a factor of (-1)/(-4) - (-2168)/32?
True
Let o = -14 - -20. Is (-56 - 4)*(-4)/o a multiple of 20?
True
Suppose -4*z = -5*a - 0*a + 2, -4*a = -5*z - 7. Let g be (-3)/a*(-2)/1. Does 12 divide (-6)/(2/(12/g))?
True
Suppose 20 = 2*o + 5*d - 8*d, -34 = -4*o + 3*d. Suppose 2*w - o*w = 60. Let y = 19 + w. Is 3 a factor of y?
False
Suppose 2*m + 1281 = m. Is (-6)/10 + m/(-35) a multiple of 11?
False
Let h = -22 + 0. Let t = -4 - h. Does 8 divide t?
False
Let h(s) = -3*s**2 + 7*s - 1. Let c be h(5). Let m = -8 - c. Is 16 a factor of m?
False
Suppose i - 177 = 3*k, -5*i = 3*k + 217 - 22. Does 15 divide (2 - 1)/((-2)/k)?
True
Let t be -2 - (0 + (0 - 0)). Let i be (-5 - -85) + (-2)/t. Let r = i - 47. Is 17 a factor of r?
True
Let p(h) = -h - 7. Let a be p(0). Let c = a + 13. Suppose -c = 2*t - 3*t. Is t a multiple of 4?
False
Let o = 342 + -182. Is 32 a factor of o?
True
Let i be 1/(214/106 - 2). Let z = 183 + -102. Let s = z - i. Does 13 divide s?
False
Let s = -73 + 105. Is 14 a factor of s?
False
Let j be 4/12 + (-191)/(-3). Let d = j - 19. Is d a multiple of 21?
False
Let o be (415/(-10))/(2/(-8)). 