/24 + u**3/6 + u. Let n(c) be the second derivative of i(c). Is n(2) a multiple of 3?
True
Let o(g) = 53*g - 1. Is 13 a factor of o(1)?
True
Let f be 4/(-26) + 2/13. Suppose f = 3*s + 15, -4*i + 6*i - 3*s = 51. Is 10 a factor of i?
False
Let y(j) = 2*j**2 - j + 8. Does 9 divide y(-5)?
True
Let w = 3 + 3. Let i = w + -3. Does 2 divide i?
False
Let a(c) = 11*c**2 - 2*c + 2. Does 7 divide a(2)?
True
Suppose -24 = -0*o + 6*o. Does 4 divide 130/30 - o/6?
False
Suppose q = -4*q + 140. Let k = -11 + q. Is k a multiple of 9?
False
Suppose 4*r - 711 = 3*h + 2*h, h = -2*r + 373. Is (r/14)/((-8)/(-28)) a multiple of 27?
False
Let f(a) be the first derivative of -a**4/4 - a**3 - 2*a**2 - 1. Let m be f(-3). Suppose 0 = s + 2*v - m, -3*s + s + 24 = -v. Is s a multiple of 12?
True
Let j be (2/(-5))/((-3)/1530). Suppose -v + l = 5*l - 69, -4*v + j = -2*l. Does 8 divide v?
False
Suppose -l = 3*y - 136, 3*y + 3*l - 178 = -y. Is y a multiple of 23?
True
Let o = -39 - -7. Is 16 a factor of o/(2/(2/(-1)))?
True
Let m(q) = q**2 - 4*q - 6. Let o be m(6). Let g be (o/(-9))/(4/(-282)). Let a = g - 31. Is a a multiple of 8?
True
Let g be 7 - 0 - -2 - 1. Suppose -47 = -3*k - g. Is 8 a factor of k?
False
Let a be (-4)/((-3)/360 - 0). Suppose 4*q + a = 10*q. Is q a multiple of 14?
False
Suppose 0 = 4*k - 2*s - 54, -3*k + 0*s - 2*s = -58. Let v = 16 + k. Does 16 divide v?
True
Let d = -24 - -46. Is 2 a factor of d?
True
Let f = 5 + -1. Suppose 4*i - i = 5*w + 54, f*i + 2*w - 46 = 0. Is 9 a factor of i?
False
Let o(z) = -2*z - 3. Suppose -2*k - 3*k = 3*j - 8, 0 = 3*j + 3*k. Let w be o(j). Suppose -4*r + 72 = w*g - 45, 5*r + 4*g = 144. Is r a multiple of 14?
True
Suppose 3*s = -0*s + 6. Suppose 2*b + 5*k = -21, s*k = 2*b + 3*k + 1. Suppose 0 = -b*d + 6*d - 128. Is 16 a factor of d?
True
Let r(z) = -z**3 + 7*z**2 - z - 1. Let q be r(7). Let v = q + 16. Is 8 a factor of (v/1)/(4/12)?
True
Let p(f) = 8*f**3 + 2*f**2 - 4. Does 17 divide p(2)?
True
Suppose 3 = -4*s - 21. Let t = 8 - s. Is 9 a factor of t?
False
Let z = 136 - -17. Does 30 divide z?
False
Let z(k) = -k + 0*k - 3*k. Does 3 divide z(-1)?
False
Suppose z - 175 = -w, 3*w - 7*w + 2*z = -730. Suppose -10*o + 7*o = -w. Is o a multiple of 20?
True
Let v(c) = 4*c**2 - 7*c + 2. Let r(h) = -h**2 + h. Let b(u) = -5*r(u) - v(u). Suppose -3*f + k - 9 = 0, -4*f + 5*k - 1 = -0*f. Is 5 a factor of b(f)?
False
Suppose 49 = 3*c - 4*s, -4*c = -c - 5*s - 47. Suppose 0 = 3*t + c - 4. Let x = t + 15. Is 4 a factor of x?
False
Let p be -5*1*(-2)/5. Let c(k) = 2*k**2 + 2*k. Let z be c(-1). Is 12 a factor of z - ((2 - 16) + p)?
True
Is 18 a factor of -7*(-6)/84 - 123/(-2)?
False
Let z = 1 + -1. Let r = -20 + 35. Suppose z = h - 5 - r. Is h a multiple of 10?
True
Suppose -4*a = -2*w + a + 106, 2*w = -4*a + 88. Is w a multiple of 12?
True
Let w(r) = -r**2 - 16*r + 6. Does 6 divide w(-15)?
False
Suppose -131 = -3*n + 103. Is n a multiple of 26?
True
Suppose -3 - 3 = 2*f - l, 0 = 2*f - 5*l - 10. Let r be 0 + -1 + (-265)/f. Let i = -34 + r. Is 18 a factor of i?
True
Let s(d) = d**3 + 8*d**2 + 7*d + 10. Let w be s(-7). Suppose w*u = 5*u. Suppose u = 2*v - 9 - 15. Is 10 a factor of v?
False
Let v = 29 + -57. Let n = -3 - v. Suppose 2*p - 19 = n. Is p a multiple of 13?
False
Let u(x) = x**2 - 3*x + 0*x**2 - 2 + 0*x - 3. Let t be u(4). Is t/2*-2*18 a multiple of 9?
True
Let l(u) = u**2 + 10*u + 12. Let r be l(-9). Suppose r*i = 4*i - 18. Does 18 divide i?
True
Suppose 0*n - 11 = a + n, -43 = 3*a + 5*n. Is a/9*-2*18 a multiple of 12?
True
Let b = -1 - -1. Suppose -6*t + 2*j + 232 = -t, 4*t - j - 188 = b. Does 16 divide t?
True
Suppose 111 - 31 = 5*a. Let r = a + 14. Is 15 a factor of r?
True
Let w(q) = 25*q - 10. Does 15 divide w(4)?
True
Let g be (3 + (-44)/8)*-2. Suppose -4*f + g*x = -30, 0 = -4*f - 5*x - 1 + 11. Is f even?
False
Let f(w) = w - 4. Let u be f(12). Is ((-56)/(-16))/(2/u) a multiple of 7?
True
Does 28 divide 75 + (-4)/((-8)/6)?
False
Suppose -s + 2*s = -3*g - 2, 5*s = 20. Let x be (1 + 0/g)*1. Is 1/x - (-1 - 24) a multiple of 13?
True
Let i be (-4)/10 + 2 + (-32)/20. Let z(t) = -t**3 + t + 5. Let x be z(0). Suppose i = -x*n - 16 + 41. Is 3 a factor of n?
False
Let r(u) be the second derivative of -u**3/6 - 124*u**2 - 3*u. Let d be r(0). Is d/(-6) + 8/12 a multiple of 20?
False
Let z(p) = p**2 - 4*p + 5. Let m be z(4). Let b(w) = w. Does 5 divide b(m)?
True
Let d be (1 + 3/(-1))*-1. Let a be (-2 + d)*1 - -6. Let o(q) = -q**2 + 8*q + 7. Is 14 a factor of o(a)?
False
Let a = 92 - 60. Let j = -12 + a. Is 10 a factor of j?
True
Let y(p) = -p**2 - 12*p - 8. Let t = -1 + -9. Is 4 a factor of y(t)?
True
Is 4 - (2 - -4) - -61 a multiple of 40?
False
Is 21 a factor of 4 + 4 + (1 - -138)?
True
Let o(s) = 3*s - 7. Suppose 3*r = -0*r + 18. Does 4 divide o(r)?
False
Let g = -9 - -69. Suppose -5*q = -10*q - g. Does 11 divide (-89)/(-4) + 3/q?
True
Let p(q) = -45*q**2 + q - 1. Let v be p(1). Let d = -77 - v. Let w = d + 50. Is w a multiple of 9?
True
Let q(w) = w + 3. Let j be q(-7). Let v = j + 3. Let c(f) = -69*f. Is c(v) a multiple of 23?
True
Let v(s) = -6*s - 8. Let m be v(-13). Let k be 2/(-4)*0*1. Suppose -2*r = -4*i + 132, 2*i = -k*i + 2*r + m. Does 11 divide i?
False
Let o(l) = -5*l + 12. Suppose -4*a + 0*a - 20 = 0. Is o(a) a multiple of 14?
False
Suppose 0 = -4*g + 4 + 36. Suppose -2*a - g = 3*a. Is 13 a factor of 1/a*-26 + 0?
True
Let l be (5 + -4)/((-1)/(-52)). Let r(y) = y**2 - 6*y - 4. Let b be r(7). Suppose b*n + 1 = -j + l, -j - 17 = -n. Does 17 divide n?
True
Let w be (0 - 3)/(1 + 0). Is 2/w + 8/3 even?
True
Let l = -3 - -4. Is (l/3)/((-3)/(-27)) even?
False
Suppose 4*c + 5*b - 283 = 0, c - 2*b = -5*b + 69. Does 9 divide c?
True
Let a(k) = 13*k - 5. Is 8 a factor of a(3)?
False
Let a(r) = -4*r + 5. Let q be a(-4). Let y = 38 - q. Is y a multiple of 5?
False
Let o(z) = 7*z**2 - z + 9. Suppose 2*a - 36 = -2*a. Let r(k) = 3*k**2 + 4. Let l(i) = a*r(i) - 4*o(i). Is l(3) a multiple of 2?
False
Let l(n) = 9*n**2 + 6*n - 6. Is 5 a factor of l(3)?
False
Let p = 147 - 47. Does 20 divide p?
True
Let q(p) = 2*p**2 + 10*p - 4. Does 10 divide q(-8)?
False
Let i be 0 - (4 + 1)/(-1). Suppose 3*v + 10 = i*v. Suppose -2*o = -2*s - 14, 0*s + v*s - 15 = 0. Is 5 a factor of o?
True
Suppose 16 = s - 5*s. Let u(j) = -j**3 + 19*j**2 + 21*j - 8. Let h be u(20). Let y = h + s. Is y a multiple of 5?
False
Suppose -r + 2*r - 53 = 0. Is 15 a factor of r?
False
Suppose -5*n = -8 - 7. Is (n + (-19)/7)*14 even?
True
Suppose -6*y + 110 = 26. Does 7 divide y?
True
Let p = 38 + 2. Is 10 a factor of p?
True
Suppose -4*x - 4 = 4. Let k be x/4*(1 + -1). Suppose 0 = y - k*y - 5. Is y a multiple of 5?
True
Suppose -2*n = -3*n - 88. Let p be 1304/n - 4/22. Let j = p - -34. Does 7 divide j?
False
Suppose -o - 3*q = q - 8, -q - 100 = -4*o. Does 2 divide (3/9)/(4/o)?
True
Suppose 16 = 2*n + 2*n. Suppose -n = -3*c + 26. Is 5 a factor of c?
True
Suppose 43*w = 38*w + 450. Does 30 divide w?
True
Suppose -4*i + 27 + 5 = -5*x, 4*x + 16 = 0. Suppose -i*t + 4*c + 58 = 0, t = -0*t + 3*c + 11. Is 13 a factor of t?
True
Let q be -4*(-3)/(-12)*-2. Suppose -5*x = q*w - 19, 31 = 5*x - 2*w - 0. Suppose -3*l = 0, -x*m + 4*l + 200 = -0*m. Does 25 divide m?
False
Let c = 19 + -35. Let z(y) = 2*y. Let m be z(-5). Does 8 divide (c/m)/(3/30)?
True
Let u = 82 - -3. Let l = u + -43. Does 14 divide l?
True
Suppose -f + 65 = 4*f. Let m = -8 + f. Suppose -m*r + 69 = 19. Is 10 a factor of r?
True
Let p be (-3)/((-4)/((-128)/(-3))). Suppose 0*f - p = -f. Is 12 a factor of f?
False
Let t be (12/(-9))/(4/(-78)). Let y = 4 + t. Is y a multiple of 15?
True
Suppose -1 + 5 = 2*s. Let j be ((-6)/s)/6*-2. Does 7 divide 7*((-2)/(-2))/j?
True
Let c = -9 - -12. Let x = 9 - c. Is x even?
True
Let z(m) = m - 14. Let u be z(17). Suppose -u*p = -p - 54. Is 8 a factor of p?
False
Suppose 4 = -2*u + 4*u. Let q = 20 - u. Does 6 divide q?
True
Let o(j) = 2*j + 1. Let t be o(2). Suppose -z = -2 + 1, t*z + 60 = 5*x. Let p = 41 - x. Is p a multiple of 14?
True
Suppose -2*r - 6*q + 11 = -q, 5*r + 4 = -2*q. Let o(m) = -11*m**2 - m + 1. Let i be o(r). Let c = -27 - i. Is 14 a factor of c?
True
Let z = -43 + 98. Is z a multiple of 11?
True
Let r(x) = 2*x**2 + 5*x - 3. Let z(c) = -c**2 + 6*c. Let t be z(6). Suppose -5*y - 