de d?
True
Suppose 0 = -5*m - 3*l + 17, 0*m - 2*m + 5*l + 13 = 0. Suppose 2*z - 4*b - 8 = 0, -z + b = -2*z + m. Is 3 a factor of z?
False
Let x(n) = n + 28. Let j be x(0). Let g = 50 - j. Does 11 divide g?
True
Let j(b) = 160*b**2 + b + 1. Let i be j(-1). Let s = i - 60. Suppose -5*k = -0*k - s. Is 10 a factor of k?
True
Let l(g) = g**3 - 3*g**2 - 4*g + 6. Let c be l(4). Let k = 0 - 4. Let v = c - k. Is v a multiple of 4?
False
Suppose -8 = -i - 1. Suppose m - 1 - i = 0. Is m a multiple of 5?
False
Let r be (-1)/(-2)*20/5. Suppose -23 = -r*h + 21. Is h a multiple of 5?
False
Suppose 5*a - 840 + 15 = 0. Suppose -a + 65 = -5*z. Does 10 divide z?
True
Suppose 0 = 3*j - 3*l - 87, -3*j + 14 = l - 85. Is 5 a factor of j?
False
Let l = -10 - -19. Suppose 4*v + 3 = 5*v - 4*f, -l = 4*v + 5*f. Let w(p) = -10*p - 1. Is w(v) a multiple of 8?
False
Let h be (-6)/36 + 73/6. Suppose 3 = -j + h. Does 9 divide j?
True
Let i = 8 - 5. Suppose 3*h + 2*w = 12, i*h = -h + w + 16. Suppose -15 = c - 3*c - j, -5*j + 15 = h*c. Is c a multiple of 5?
True
Let q = -23 - -24. Is 12 a factor of (-22)/(-1) - -3 - q?
True
Let d(c) = -c + 5. Let q be d(-8). Let z = -9 + q. Suppose z*r = -0*r + 88. Is r a multiple of 11?
True
Let l = 116 - 65. Suppose 0 = -3*d + l + 15. Does 14 divide d?
False
Let q be 0*2*(-3)/(-6). Let z(g) = q - 3 + 4*g**2 - 3*g**2 - g. Does 10 divide z(5)?
False
Is 2/(-5) - (-187)/5 a multiple of 12?
False
Let o(a) = -a**2 + 3*a - 5. Let h be o(5). Let r = 21 + h. Let q = r + -2. Is q a multiple of 3?
False
Let u be 0 - 1 - (-9 - -5). Suppose -5*o + 33 = u*j - 4*o, 3*j + 4*o = 33. Suppose -3*h + j = -4. Is 5 a factor of h?
True
Let s = 72 - 103. Let d = 44 + s. Is d a multiple of 12?
False
Suppose 12 = -2*q + 6*q. Suppose -q*x + 16 = -173. Is 21 a factor of x?
True
Suppose 2*n + 4*z - 140 = 0, -4*n = -3*z - 2*z - 319. Does 19 divide n?
True
Suppose -201 = -x - 51. Is 18 a factor of x?
False
Let q(h) = h**2 - 18*h + 47. Is 22 a factor of q(19)?
True
Let l = 35 + -18. Is 7 a factor of l?
False
Does 27 divide (2/8)/(4/496)?
False
Suppose 4*j - 8*j + 64 = 0. Is j a multiple of 8?
True
Let u(n) = 3*n**3 + n**2 + 2*n - 2. Let g be u(1). Suppose -50 = -g*s + 158. Is s a multiple of 13?
True
Suppose -2*w = y + 5, -6*y - 25 = 3*w - y. Suppose w = 5*p + 316 + 489. Let o = -104 - p. Is 21 a factor of o?
False
Let k(z) = -2*z**2 - 4*z - 4. Let w be k(-3). Let o = -14 - w. Is (-37)/o - 4/16 a multiple of 9?
True
Let n = 14 - 9. Suppose -n*t + 10 = -0. Suppose -2*a + 6 = 0, -t*x + 7 + 12 = -3*a. Is 10 a factor of x?
False
Suppose -5*i = 12 + 3. Let v(d) = -d**2 - 3*d + 4. Let o be v(i). Let c = o + 13. Is c a multiple of 10?
False
Does 12 divide (-1)/6 + (-11244)/(-72)?
True
Let k(p) = 7 - 3*p**2 + 2*p**2 + 2*p**2 - 2*p - 1. Is 27 a factor of k(-6)?
True
Let p(n) = -n - 5. Let s be p(5). Let a = s + 20. Does 13 divide a - -1 - (5 + -7)?
True
Let b = -24 - -28. Does 14 divide b/6 + (-1351)/(-21)?
False
Let k be (-4 - 0)/(4 - 6). Suppose 5*t = k*y - 91 - 1, -4*y = -t - 148. Is y a multiple of 15?
False
Let c = 123 - 119. Is c even?
True
Let z(d) = 6*d**2 - 12*d + 10. Let s(l) = -5*l**2 + 11*l - 10. Let r(h) = 7*s(h) + 6*z(h). Is 4 a factor of r(-7)?
True
Suppose 2*p - 2*z - 174 = 0, -2*p - 276 = -5*p - 2*z. Is p a multiple of 30?
True
Let y = -86 + 155. Is 10 a factor of y?
False
Let p be 2 - 4 - (-10 + 2). Let z(w) = -w**3 + 8*w**2 - 6*w - 4. Does 16 divide z(p)?
True
Let d(n) be the third derivative of -n**7/720 + n**5/20 - 4*n**2. Let m(o) be the third derivative of d(o). Is 7 a factor of m(-3)?
True
Suppose -8 = -4*i, -6*f + 4*f = -i - 370. Is 27 a factor of f?
False
Let p(l) be the second derivative of l**3/6 + 23*l**2 - 9*l. Does 23 divide p(0)?
True
Suppose 3*n + 30 = 4*a, 5*a + 2*n = 41 + 8. Suppose i - 4 = a. Does 4 divide i?
False
Let l = 61 + 59. Does 30 divide l?
True
Let m = 14 + 19. Does 33 divide m?
True
Suppose -3*h = -2*h - 26. Is 13 a factor of h?
True
Let l = -10 + 36. Is l a multiple of 8?
False
Let k = -77 + 128. Is k a multiple of 17?
True
Suppose 0*s = 4*s - 20. Suppose -17 = -2*d + s. Does 4 divide d?
False
Suppose 4*u + 4*d - 161 + 5 = 0, -39 = -u - 4*d. Suppose h - u = -2*h. Does 13 divide h?
True
Let h be (16/(-7) + 2)*-7. Let o be (-1)/(-2)*(100 - h). Let q = -17 + o. Does 16 divide q?
True
Let b(g) = 3 + 5*g**3 - 4*g**3 - 5*g - 5*g**2 - 5*g + 0. Is b(7) a multiple of 8?
False
Suppose b - 6 = -4. Suppose -b*n + n + 29 = 0. Let c = n + -21. Does 6 divide c?
False
Let h be (-25)/(-10)*(2 + 0). Suppose h*r + 72 = 8*r. Is r a multiple of 12?
True
Let f(r) = 5*r**2 - r + 3. Let t be f(-4). Let h = -136 - -80. Let o = t + h. Is 11 a factor of o?
False
Let l(w) = -2*w - 1. Let t(y) = -3*y. Let u(k) = 2*l(k) - 3*t(k). Is 5 a factor of u(4)?
False
Let s be -2 + 1/(1/16). Let v = s + 35. Is v a multiple of 27?
False
Let r(c) = 24*c**2 + 2*c - 3. Let a be r(-3). Suppose -5*i + 36 = -3*u - 101, 3*i = 5*u + a. Let x = u + 71. Is x a multiple of 16?
True
Suppose -5 = n - 16. Is n even?
False
Let c(p) = -301*p**3 + p. Does 20 divide c(-1)?
True
Let z(i) be the second derivative of -i**5/20 - 3*i**4/4 - i**3 + 3*i**2/2 - 2*i. Does 17 divide z(-9)?
False
Suppose -p + 26 = -4*u, u - 14 = -3*p - 3*u. Suppose 3*o = -n + 26, -3*o - 2*n - 3*n = -p. Is o a multiple of 5?
True
Let h(n) = 12*n**2 + 5*n + 1. Let w(v) = -v**2 - v - 1. Let d(y) = h(y) + 3*w(y). Suppose 2*r + 3*r = -10. Is 15 a factor of d(r)?
True
Let j(i) = i**2 - i + 188. Let d be j(0). Suppose -d = -u - 4*u + l, -5*u - 4*l = -173. Is u a multiple of 23?
False
Let s be -1 + 15 - 2/2. Suppose t - s = -0*t. Is t a multiple of 13?
True
Let h = -32 + 55. Does 3 divide h?
False
Let r be 6/((-1 - 0)/(-1)). Suppose -v - 25 = 4*v. Is 5 a factor of 3*v*(-4)/r?
True
Let m be (2 - -1)*(-4)/(-3). Suppose -12 = -4*r + r. Suppose -d = r*f - 17, 4*d + m*f - 68 = f. Is d a multiple of 17?
True
Suppose 0 = b + 8 - 5. Let d(n) = 7 - 3*n + 6*n - 2*n. Is 4 a factor of d(b)?
True
Let k(v) = -2 + 2 - 7 + 0 - v. Let g be k(-5). Is 5 a factor of 2/(g + (-22)/(-10))?
True
Let o be (-1)/(3*3/27). Let i(n) = n + 1. Let j(v) = 4*v + 18. Let p(x) = o*i(x) + j(x). Is 14 a factor of p(0)?
False
Let w(r) = r + 263. Let f be w(0). Suppose 2*v + p = -0*v + 107, 5*v = 2*p + f. Does 18 divide v?
False
Let l(x) = x**2 + 3*x + 6. Is l(6) a multiple of 12?
True
Let s(d) = 6*d**2 - d - 1. Let a be s(3). Suppose -5*l - a = -15. Let n = l + 29. Does 12 divide n?
False
Let i = -72 + 133. Is 17 a factor of i?
False
Let l(h) = -h + 0*h - 2 + h - 5*h**2. Let w be l(-2). Is 2 a factor of (-62)/w - (-4)/22?
False
Let a(x) be the first derivative of -3*x + 4 + 1/4*x**4 + 0*x**2 + 4/3*x**3. Does 20 divide a(3)?
True
Let l = -44 - -67. Is l a multiple of 17?
False
Suppose 0 = -5*x + 20, i + 5*x - 12 = 2*x. Suppose i = -2*k + 4*k - 90. Is 15 a factor of k?
True
Let m(b) = b**2 - 3*b - 2. Let z be m(5). Suppose 2 = -2*c + z. Does 2 divide c?
False
Let a(f) = -f - 10. Let n be a(-7). Is 2 + n + -1 + 38 a multiple of 12?
True
Suppose 3*k - 36 = 5*k. Let g(o) = 8*o**2 - 2*o + 1. Let l be g(2). Let j = l + k. Does 8 divide j?
False
Let a = 30 + -39. Let c(f) = -f + 5 - 8*f - f**2 + 0*f**2. Does 4 divide c(a)?
False
Let d = 34 + -27. Suppose m = -0 + d. Is 2 a factor of m?
False
Let a(c) = 8*c**2 - 4. Does 14 divide a(2)?
True
Let s(i) = 19*i + 11. Let v be s(7). Suppose -3*n - 12 = -v. Does 11 divide n?
True
Let t be (-4 + 3)*0 + 3. Let q be (-5)/((-5)/6)*2. Suppose q = t*l - l. Is 6 a factor of l?
True
Let r(n) = -n**3 - 9*n**2 - 9*n - 6. Let q be r(-8). Suppose 2*h + 3*v - 8 = -q*h, 4*v + 8 = 4*h. Suppose -h*u = -0*u - 86. Is u a multiple of 19?
False
Suppose -r - 1 = -0*r. Let y(s) = -13*s - 1. Is y(r) a multiple of 7?
False
Suppose -t + 4 = 0, h - t = -0*h - 4. Suppose -l = -4*w + 82, h = -2*w + l + 6 + 36. Is 10 a factor of w?
True
Let q = -14 - -7. Let w = -3 - q. Suppose 0*o - 67 = -5*o + 2*r, 0 = 3*o + w*r - 35. Is 13 a factor of o?
True
Suppose -4*t + 311 = 23. Is 12 a factor of t?
True
Let g(a) = 2 - 2 - 55*a + 15*a. Is g(-1) a multiple of 15?
False
Let m = 6 - 3. Suppose m*w = 3 + 132. Suppose 2*i + 7*a - 2*a - w = 0, -117 = -4*i - a. Is i a multiple of 15?
True
Suppose -3*j = -17 - 73. Is j a multiple of 6?
True
Suppose 5*v = 5*i + 85, -v - i 