 o + o = -0*o. Suppose 2*s - 91 = -q - 29, o = -5*s - 4*q + 152. Does 13 divide s?
False
Let o(k) be the third derivative of k**6/120 + k**5/10 - 3*k**4/8 + 5*k**3/3 + 5*k**2. Let z(a) = -a**3 - 4*a**2 + 5*a - 7. Let i be z(-5). Does 12 divide o(i)?
True
Does 2 divide (800/(-300))/(-2 - 1185/(-594))?
True
Let k(l) = -3*l**3 - 17*l + 29. Does 19 divide k(-6)?
True
Let n(a) = a**2 + 12*a - 10. Let x be n(-13). Let k(t) = -t + 19. Is k(x) a multiple of 6?
False
Let c(s) = 2*s**2 + 6*s - 22. Let n(r) = r + 1. Let h(o) = c(o) + 5*n(o). Does 15 divide h(-10)?
False
Suppose -2*r - 77 = -r. Suppose 170 = 3*q - 190. Let a = r + q. Does 12 divide a?
False
Let j(f) = f**3 - 9*f**2 + f - 9. Let t be j(9). Let y be (t - -6)/(1 - -1). Suppose 4*q + 6*m = y*m + 120, -96 = -4*q + 3*m. Is q a multiple of 27?
True
Suppose 5*s - 38 = -13. Suppose -87 - 33 = -s*g. Is 8 a factor of g?
True
Suppose -4*d + 22 = -62. Suppose -5*o = -2*o + d. Let b = o + 19. Is 9 a factor of b?
False
Let z be (6/2 - 74) + -1. Is 9 a factor of (-3 + -1)/(8/z)?
True
Suppose -5*h - 5*g + 520 = 0, g + 104 = h + 4*g. Does 26 divide h?
True
Let j be ((-3)/((-27)/570))/(2/3). Suppose -4*l + 0*l - 89 = -p, p = -2*l + j. Is p a multiple of 6?
False
Let j(k) = 204*k - 307. Is j(5) a multiple of 43?
False
Suppose -59 + 11 = -3*f. Let g = 20 - f. Suppose -5*t - 16 = g, 2*o = -t + 20. Is o a multiple of 4?
True
Let q = -744 + 1013. Does 42 divide q?
False
Let r = 2 - -39. Suppose -5*v = -94 - r. Is v a multiple of 9?
True
Let g(j) = j + 132. Does 5 divide g(23)?
True
Let p(b) = 13*b**2 + 6*b + 10. Suppose 2*h + 4*o - 11 = h, 2*h + 4*o = 6. Is 46 a factor of p(h)?
False
Let z = 83 + -27. Let a = -44 + z. Is a even?
True
Let h(s) = -9*s**2 + 2*s - 1. Let o be h(1). Let f = o + 10. Suppose 0 = -f*r + 2*g + 68, 5*g + 12 = 2*g. Is r a multiple of 10?
True
Suppose -k = 2*k - 9. Let o(a) = -a**3 + 12*a**2 + 12*a - 5. Let t be o(13). Is t*(-3 + 8/k) a multiple of 2?
True
Suppose 2*p = 2*l - 202, 4*l - 100 = -3*p + 318. Suppose 2*d + g - l = 0, 68 = d - 3*g - 2*g. Is d a multiple of 3?
False
Let x(j) = 2*j + 7. Let r be x(4). Let q be r/(1*(-3 + 2)). Is (8 - -1)*(-80)/q a multiple of 25?
False
Let q = -23 + 21. Let p be (2 - 1)*3 - q. Suppose 2*n + o - 160 = -3*o, 372 = p*n - 4*o. Does 11 divide n?
False
Is 15 a factor of (-521)/(-3)*(3 + 0)?
False
Let c(d) = -d**3 - d**2 + d + 35. Let b be c(0). Let m be 21/14*(-4)/6. Let l = m + b. Does 15 divide l?
False
Let t(g) = -2*g + 2. Let p be t(1). Suppose 0*v - 3*v + 177 = p. Suppose 106 = 4*y + 5*b, 3*b = 4*y - 149 + v. Is y a multiple of 12?
True
Let o(k) = -k + 18. Let n be o(14). Suppose 0*y + n*y + 8 = 0. Is 8 a factor of (-1572)/(-24) - 1/y?
False
Suppose o - 5 = -9. Does 10 divide 10*(-3)/(o - -1)?
True
Suppose -5*f + 4*q = 12, 3*f + 18 = -3*q - 0*q. Let s(n) = -56*n + 61*n + 2*n**2 + 10 - 4. Does 6 divide s(f)?
True
Let u be 4 - (3 + -3)*-1. Suppose u*a = 436 + 56. Is 11 a factor of a?
False
Let t(w) be the third derivative of -w**2 + 7/6*w**3 + 0 - 5/24*w**4 + 0*w. Does 4 divide t(-3)?
False
Suppose 4*f = 4*h + 24, 6*f - 5*h = 2*f + 26. Let r = -167 + 170. Suppose f*g - r*g = 42. Does 21 divide g?
True
Let r = -46 - 14. Let s = 129 + r. Is s a multiple of 23?
True
Let f be (89 + (-9)/3)/(2/2). Suppose f = -24*d + 25*d. Is 7 a factor of d?
False
Is 11 a factor of ((-1097145)/(-195))/9 - (-2)/(-13)?
False
Let v(k) = 160*k**3 + k - 1. Is v(1) a multiple of 12?
False
Let k = 22 + -24. Suppose -4*m = -2*m + 116. Is k - (m - (-2)/(-1)) a multiple of 23?
False
Let l be 4/18 - 63/(-81). Suppose -2*f - l + 17 = 0. Is f even?
True
Let b(f) be the third derivative of f**5/60 + 7*f**4/24 + 7*f**3/6 - f**2. Let h be b(-7). Let m = h - -2. Is 9 a factor of m?
True
Let o(c) = 2*c**2 - 12*c - 80. Is o(21) a multiple of 55?
True
Let q(r) = -13*r + 4*r - 6 + r**2 + 5*r. Does 25 divide q(-11)?
False
Does 9 divide (-18*2/14)/((-4)/448)?
True
Let n = 14 - 8. Let w be n/(-21) + (-9)/(-7). Is 6 a factor of w*-87*1/(-3)?
False
Let y = -12 - -6. Does 20 divide (y/((-12)/(-157)))/((-3)/6)?
False
Suppose 31*z = 33*z - 2160. Does 60 divide z?
True
Is ((-92)/14)/(-2 - (-13)/7) a multiple of 10?
False
Let f = 7 - 7. Let a = f + 2. Suppose 2*g + 0*d + d = 18, 0 = 2*g - 4*d + a. Does 7 divide g?
True
Suppose 1952 = 28*c - 39012. Is c a multiple of 11?
True
Is 4 a factor of 16/64 - (1 - 166/8)?
True
Suppose 4*i - 10 = -2*o - 0*o, 4*o + 2*i = 14. Suppose 12 = -6*g + 2*g, -o*g + 198 = 3*v. Is 21 a factor of v?
False
Suppose -90*q + 3242 = -86*q + 3*u, -4*q = 2*u - 3244. Is q a multiple of 58?
True
Let t be (4/5)/(6/30). Suppose 0*a = t*a - 1416. Is 18 a factor of a/(-9)*12/(-8)?
False
Let h(f) = 262*f**3 - 8*f + 20. Is 75 a factor of h(2)?
True
Suppose 3*s + 4*k - 358 = 0, 18*s - 4*k - 146 = 17*s. Is 21 a factor of s?
True
Does 17 divide (1308/(-36))/(2/(-30))?
False
Suppose 61 = g - 5*w, 0 = 3*g - 2*w + 5*w - 165. Suppose l = 2*b + g, 4*l - 6*b - 230 = -b. Is 5 a factor of l?
True
Let y(r) = -5*r**3 + 28 - r**2 - 22*r + 24*r + 2*r**2 + 4*r**3. Is y(0) a multiple of 7?
True
Suppose -l + 3*d + 15 = 0, -3*d + d = 2*l - 54. Let h be 32/(-4*4/l). Does 22 divide 2/(-8) - 2124/h?
True
Let o(v) = -v**3 + 18*v**2 + 12*v + 12. Let r be o(18). Suppose 5*g + 0*g - 2*k = 232, 0 = -5*g - 2*k + r. Let i = -20 + g. Does 9 divide i?
False
Is ((-190)/(-20) - 9) + 661/2 a multiple of 21?
False
Suppose -2*b - 3 - 3 = 0. Let v(c) = -2*c**3 - 5*c**2 - 3*c - 2. Let g be v(b). Let z = g + -7. Does 2 divide z?
False
Suppose a - 6*a - 1060 = 0. Let p(j) = -4*j**2 + 5*j - 6. Let c be p(-5). Let v = c - a. Is v a multiple of 22?
False
Let a = 94 - -356. Is 9 a factor of a?
True
Let z(v) = 131*v**2 - 3*v - 2. Let f = -24 - -26. Let h be 16/(-12) + f/6. Is 33 a factor of z(h)?
True
Let h = 433 + 335. Is 64 a factor of h?
True
Suppose q + 4*q = 10. Suppose q*i = -0*i + 2*t + 112, i + 3*t - 72 = 0. Does 15 divide i?
True
Is 8 a factor of ((-1)/(-1))/((-6)/(-12)) + 197?
False
Suppose n - 470 = 2*l - 7*l, -3*n = 3*l - 294. Let f = 130 - l. Does 5 divide f?
False
Suppose -9*j = -91*j + 265680. Is j a multiple of 45?
True
Let p = 37 - -197. Suppose -2*l = l - 9. Suppose l*v + 2*x - p = 0, -3*v + 2*x + 2*x = -252. Is v a multiple of 16?
True
Let r(f) = 3*f**3 + f**2 + 24*f - 84. Is 4 a factor of r(5)?
True
Let l = 1416 - 1336. Is 20 a factor of l?
True
Let z(x) = x**3 + 3*x**2 - x. Suppose 3 + 6 = -3*f. Let i be z(f). Suppose -125 + 5 = -i*v. Is 14 a factor of v?
False
Let v be 182/21*(-9)/(-3). Is 26 a factor of (v/5 - 0)*(5 - -45)?
True
Suppose 3*z = 36 + 6. Is (-25)/(11/(-6) + 21/z) a multiple of 15?
True
Let z(y) = 11*y**2 + 6*y + 6. Let d be z(-2). Is (d/(-4))/(21/(-126)) a multiple of 19?
True
Let s(w) = -50*w - 100. Is s(-4) a multiple of 3?
False
Suppose 2*g - 148 = -2*g. Let d(k) = -20 + 3 - 28*k**2 - k**3 + g*k**2. Is 9 a factor of d(8)?
False
Let d = 89 + -57. Suppose d*r - 36*r + 88 = 0. Does 4 divide r?
False
Let u = 1106 - 76. Is 18 a factor of u?
False
Suppose -45 - 25 = -r. Does 14 divide r?
True
Let o = 153 + -77. Let i = -67 + o. Is 9 a factor of i?
True
Let f(z) = -15*z - 7. Suppose 0*j = -2*j - 8. Does 25 divide f(j)?
False
Suppose -5*g + 5*z = -45, -3*g + 29 = -3*z + 2*z. Suppose g*t = -2*t + 252. Is t a multiple of 12?
False
Let n(c) = -c**3 - 11*c**2 - 11*c - 5. Let j be n(-10). Suppose 4*i - y + 88 = -j*y, i - 2*y + 10 = 0. Let f = i + 58. Is f a multiple of 10?
True
Suppose 0 = 3*q + 16 - 7. Let w be q/(4 - (-44)/(-8)). Suppose -3*d = -12 - 3, -2*d + 40 = w*p. Does 5 divide p?
True
Suppose 0 = -4*r, 3*y + 2 = 3*r - 1. Let t(n) = 16*n + 2. Let p(a) = -a - 1. Let b(z) = -3*p(z) - t(z). Is b(y) a multiple of 14?
True
Let a(o) = 5*o**2. Let n be a(-3). Let v be -2 + (-3)/((-6)/10). Does 25 divide n + v + 3 + -3?
False
Let z = -42 + -20. Let o = z + 158. Is 19 a factor of o?
False
Let p = 24 - 22. Suppose 298 = p*m - 216. Let z = -178 + m. Is z a multiple of 11?
False
Suppose -p = 3*m - 6, -3*m + 5*p - 1 = -7. Is 5 a factor of (-384)/36*(-3)/m?
False
Let y(u) = -u**3 - 3*u**2 - 2*u. Let l be y(-2). Suppose l*s - 15 = -5*s. Suppose -s*n + 57 = -6. Does 7 divide n?
True
Let c be 0*2/(-10)*(-4)/(-20). Let p(w) = w + 4. Let r be p(-5). Is 9 a factor of r*(3 + -49) + c?
False
Suppose -5*v - 22 = 13. Le