o?
True
Let r(w) = -w**2 - w + 1. Suppose -p - p = -2*l - 2, 0 = -3*l - 9. Let u be r(p). Let f(c) = 17*c**2 - c - 1. Is 5 a factor of f(u)?
False
Let f(y) be the third derivative of y**6/120 - y**5/15 + y**4/8 - 5*y**3/6 - y**2. Let j be f(4). Let c = j + 5. Is c a multiple of 4?
True
Let h(p) = p**2 + p + 2. Let t(l) = -l - 9. Let x be t(-9). Suppose -3*b + 7*b - 28 = x. Does 18 divide h(b)?
False
Let i(j) = 6*j + 1. Let w(a) = a. Let q(n) = 2*i(n) - 22*w(n). Is q(-3) a multiple of 8?
True
Suppose -v - 4 + 8 = 0. Suppose 0*p = -v*p + 24. Let t(j) = -j**3 + 7*j**2 - 2*j - 4. Is 12 a factor of t(p)?
False
Let h = 28 - 26. Suppose -q = m - 42, 0 = 4*q + h*m - 5*m - 189. Is 15 a factor of q?
True
Let o = 7 - -2. Suppose 3*q = -3*s + 45, -o - 11 = -q + 4*s. Does 8 divide q?
True
Let h(f) = 3*f**2 + f + 16. Let i be h(9). Let r = i + -177. Is r a multiple of 13?
True
Let r = 31 - 43. Let d = r + 36. Is d a multiple of 4?
True
Suppose -c - 3*j + 4237 = 3*c, 4*j = -c + 1043. Does 34 divide c?
False
Let x(q) = -q**2 - 3*q - 6. Suppose -20 = 6*v - v. Let b be x(v). Let a(n) = n**3 + 12*n**2 + 11*n - 11. Does 14 divide a(b)?
False
Let w(t) = 7*t**2 - 3 + 3*t**2 - 11*t**2 + 3*t. Let q be w(10). Is (q - -1)*(-60)/48 a multiple of 33?
False
Let y(v) = -v + 8. Let h be y(8). Suppose h*r + 2*r = 8. Does 9 divide 24 + (-28)/r + 4?
False
Suppose -h = h - 5*y - 15, -4*h = -y + 15. Is 1/(2/60) - (h + 6) a multiple of 8?
False
Let p be (-2)/(-8)*0 - 4. Let j be (p + 3)/((-3)/6). Does 21 divide (-748)/(-12) + j/3?
True
Let v = -372 - -991. Does 12 divide v?
False
Let d(x) = -2*x - x - 2*x + 10 + 0*x. Let s be d(4). Is 22 a factor of 20/8*(-88)/s?
True
Let f(c) = -c**3 - 34*c**2 - 133*c - 49. Is f(-30) a multiple of 4?
False
Suppose 0 = -z + 3*o + 2*o - 18, 18 = z + 4*o. Suppose -y + 5*s + 5 = 0, 2*y + z*s = 7*s + 25. Does 25 divide y/(-25)*(-430)/4?
False
Suppose 9*n + 1888 = 10528. Is 12 a factor of n?
True
Let c(r) = -r - 2 + 2*r**3 + r**2 - r**3 + 3*r**2 - 2*r**2. Let d be c(-1). Is 10 a factor of 13 - (d + 6)/3?
False
Is 24 a factor of 483/7 + -2 + -1 + 1?
False
Suppose 52730 = 31*n + 15902. Does 9 divide n?
True
Let q(u) = -270*u + 33. Is q(-1) a multiple of 27?
False
Let y = 315 + 142. Does 28 divide y?
False
Suppose 2*y = 2*f - 6*f + 20, 5*y = -5*f + 25. Suppose y*w + 4*w + 544 = 0. Is (-1 - w/10)*5 a multiple of 26?
False
Suppose -2*v - 5*n + 59 = 0, -n - 4*n = -15. Let y = v - 1. Is 3 a factor of y?
True
Suppose 1 - 22 = -m. Is 7 a factor of (-2 + -10)*m/(-4)?
True
Let d be (-1)/(-2) + (-58)/4. Let o be (-52)/(-2)*(-3)/(-2). Let i = o - d. Is i a multiple of 12?
False
Let w = 8 + -4. Suppose w*b + b - 35 = -5*l, -l + 3*b = -11. Does 4 divide l?
True
Suppose -3764 + 516 = -8*y. Is 14 a factor of y?
True
Let m = 91 - 37. Is (-3 + m/(-4))*38/(-3) a multiple of 14?
False
Let a(o) = -o**3 - 4*o**2 + 5*o - 7. Does 10 divide a(-6)?
False
Let a(c) = -2*c**2 + 30*c - 21. Let v be a(14). Let n(w) = 2*w**2 - 12*w + 12. Let l be n(v). Suppose -l - 174 = -4*m. Is 10 a factor of m?
True
Let l(y) = -y**3 - 33*y**2 - 14*y + 88. Is l(-33) a multiple of 50?
True
Let h = 957 - 379. Is 0 - h/(-5) - (-75)/(-125) a multiple of 23?
True
Let h(x) = -x**3 + 16*x**2 - 33*x + 4. Let a be h(14). Let u = 6 - a. Does 17 divide u?
False
Let d = 359 - -107. Does 23 divide d?
False
Suppose 5*j + 5*k = 485, 9*j - 12*j + 293 = 5*k. Does 16 divide j?
True
Suppose 0 = -4*y - 0*y + 2*r + 4, -15 = -y + 4*r. Let k(u) = 28*u**2 - 4*u - 2. Is k(y) a multiple of 5?
True
Let c(b) = -2*b + 10. Let r be c(5). Suppose -4*t + 6 + 14 = r, 0 = 2*d + 5*t - 53. Is d a multiple of 3?
False
Does 9 divide (0 - (-4)/3)/(16/1704)?
False
Suppose 14*x - 16*x = 4*k - 478, 5*k - 590 = -x. Is 9 a factor of k?
True
Let m(k) = 5*k - 4. Suppose -6*q + 5*q + 25 = 0. Suppose 0 = 2*t - 7*t + q. Does 7 divide m(t)?
True
Let i = 126 - 122. Suppose -4*r + 848 = i*r. Does 13 divide r?
False
Let g be 7/((-35)/25)*-1. Suppose -g*f = 99 - 329. Does 17 divide f?
False
Let q(b) be the third derivative of b**6/40 - b**5/60 + 5*b**4/24 - b**3 + 32*b**2. Is q(3) a multiple of 8?
False
Let u(o) be the third derivative of o**7/1008 + o**6/360 - o**5/15 - 2*o**2. Let q(p) be the third derivative of u(p). Is q(4) a multiple of 6?
False
Let l be (-776)/(-10) + 4/(-20)*-2. Suppose m - 63 = 5*j, -2*j = 3*m - 352 + l. Is m a multiple of 10?
False
Let h be (0 + 0/(-3))/1. Suppose -2*f - 4 = h, 3*g - 2*g - 5*f - 13 = 0. Is 13 a factor of 66 + (g - 4/(-4))?
False
Let a(h) = h + 33*h + 21 - 25. Is a(1) a multiple of 30?
True
Suppose 25 = -5*l, 4*b - 3*l - 258 = -19. Is 4 a factor of b?
True
Is 19 a factor of (-1902)/27*6*3/(-2)?
False
Let j(x) = 3*x + 5*x**2 + 21 - 2*x**3 + x**3 - 18. Let s be j(5). Suppose -s = 3*n - 6, 0 = -z + 3*n + 22. Is 9 a factor of z?
False
Let b = 1 - -8. Let c be (6/b)/((-1)/(-6)). Suppose 0 = y - c - 8. Is 6 a factor of y?
True
Suppose 2*i = 8, -2*q + 4*i + 64 = -14. Suppose -5*n = -25 - 125. Let v = q - n. Is 17 a factor of v?
True
Suppose -5*f - 4 = 2*y, -2*f - 2*f - 5*y = 10. Let g(i) = -2*i + 48. Let p be g(f). Suppose 0 = m + m - p. Does 6 divide m?
True
Let y = 952 + -587. Does 11 divide y?
False
Suppose 2*d = 4*l + 1038, 13*l - 6 = 10*l. Is d a multiple of 10?
False
Suppose -u - 4 = -2*d, d = 7*u - 2*u - 16. Suppose 8 = -d*l + 6*l. Let y(o) = -o**3 + 5*o**2 - 3*o + 4. Is y(l) a multiple of 6?
False
Suppose z - 3 = i + 1, 3*i = z - 4. Suppose -68*s + 72*s - 24 = i. Does 6 divide s?
True
Suppose 610 = 2*m - 76. Let o = m - 168. Is 35 a factor of o?
True
Is (-2 - 30/(-18)) + 2226/9 a multiple of 41?
False
Let t(f) = -f**3 - 13*f**2 - 39*f + 16. Is t(-3) a multiple of 7?
False
Is 59 a factor of (1/(-6))/(1/9)*-82?
False
Suppose -i = 4*u + 59, 4*u - 4*i + 25 = -59. Is 56*1*(-12)/u a multiple of 7?
True
Is 452 + -2 - (-8)/(-4) a multiple of 32?
True
Let i be (510/(-8))/((-9)/(-36)). Let c be 17/(4 + i/63). Does 12 divide c/(-14) + (-3)/2?
True
Let n be ((-8)/5)/(5/(-25)). Let g(x) = x**2 - 9*x + 8. Let r be g(n). Suppose -2*t + 0*t + 56 = r. Is 7 a factor of t?
True
Suppose 10*s + w - 131 = 9*s, -3*w = -5*s + 671. Does 19 divide s?
True
Let d(c) = -c**2 + c + 1. Let x(b) = b**2 - 12*b - 11. Let q(n) = -3*d(n) - x(n). Is 13 a factor of q(-6)?
True
Suppose -15 = -3*s - 138. Let l = 46 + s. Is 5 a factor of l?
True
Suppose -3*y + 5*i = 0, -4*i = -0*y - 2*y. Suppose -q - q + 3*u = -187, 4*u + 20 = y. Does 7 divide q?
False
Suppose 4*o - o + 32 = -5*g, 2*o + 18 = -5*g. Let w = -14 - o. Is 14 a factor of 56/(-20)*(-15 + w)?
True
Let w(d) = 21*d**3 + 2*d**2 - d. Let s be w(1). Let i = s + -16. Is (2/i)/(3/36) a multiple of 2?
True
Suppose -4*w + 9*w - 11875 = 0. Suppose w = -z - 4*z. Does 32 divide (12/10)/((-10)/z)?
False
Suppose -1 - 2 = 3*f. Let l be (f + 10/2)/(-2). Is 8 a factor of (12 - -1)*(l - -3)?
False
Suppose -40 = 6*k + 26. Let n = 175 + k. Is 41 a factor of n?
True
Does 85 divide 48/(-64)*3232/(-2)?
False
Suppose -3 = -a + 2*a. Let f be 119/6 + a/(-18). Suppose -f*t = -17*t - 126. Is t a multiple of 14?
True
Is 1/9*3309 - 23/(-69) a multiple of 16?
True
Let a(j) = j**3 + 6*j**2 + 2*j + 3. Let d be a(-5). Suppose -3*g = -g + d. Let i = g + 19. Does 5 divide i?
True
Suppose 5*w = -46 + 141. Let j(c) = -c**2 + 25*c - 15. Is 21 a factor of j(w)?
False
Let g = 34 + -34. Let o(s) = 28 - 47*s + 0 + 49*s. Is 7 a factor of o(g)?
True
Let p(c) be the second derivative of 29*c**4/12 + 4*c**3/3 - 2*c**2 - 27*c. Is 17 a factor of p(3)?
False
Let x = 1000 + -522. Let o(j) = 13*j**2 - 4*j - 5. Let g be o(-5). Let p = x - g. Does 37 divide p?
False
Suppose 3*r = 6*r - 12. Suppose r = -2*x - 2. Is 4 a factor of (-2)/x*18 + 1?
False
Suppose 4*d = -d. Let j(u) = 6 - u**2 + 8*u - 4*u - 3*u. Is 3 a factor of j(d)?
True
Suppose -352 = -3*z - 2*w, 2*w - 470 = -4*z - 0*w. Suppose -94 = -h + 2*a, -h = -3*a - z + 22. Is h a multiple of 17?
False
Let i(a) = -a**2 - 7*a - 5. Let v be i(-4). Suppose -3*r - 3*q = -5 - v, 2*r - 4*q = 32. Does 3 divide r?
False
Suppose 2*p + 5926 = 6*k, -2*k - 5*p - 876 = -2823. Is k a multiple of 117?
False
Suppose 5*d + 2 = 22. Suppose 3*c = d*c - 2. Is (-15)/((-2)/c*1) a multiple of 7?
False
Suppose -t = -7*t + 2*t. Let z be ((-10)/6)/(2/(-6)). Suppose 0 = 5*d - t*d + z*x, -3*d + x = -8. Is d even?
T