or of n?
False
Let t(j) = j**2 - 3*j - 4. Let r(u) be the second derivative of 2*u**4/3 - u**3/6 + 2*u. Let z be r(1). Is t(z) a multiple of 10?
False
Let g(z) = -z**3 + 5*z**2 + 2*z. Is 6 a factor of g(4)?
True
Let l be (1 - 4) + (6 - -1). Suppose 5*g = -l*w + 23, 3*g - 8 - 7 = -3*w. Does 3 divide g?
True
Suppose -4*o - 18 = -3*o. Let a = o - -26. Does 4 divide a?
True
Suppose 2*t - 5*t + 1 = y, -5*t + 4*y - 21 = 0. Let h = t + 1. Suppose h = -4*i - 15 + 59. Is i a multiple of 9?
False
Let b be -2 - (-3)/(5 + -2). Is -2 - 0 - 10*b a multiple of 4?
True
Suppose -a + 5*v = 3*a - 23, -3*a - 6 = 4*v. Let r(x) = -3*x**a + x**3 + 8 + 2 + 3*x - 4 - 3. Is r(3) a multiple of 12?
True
Suppose 5*v = 353 - 33. Does 18 divide v?
False
Let p(x) = -x**3 - 6*x**2 - 6*x - 6. Suppose 2*o - o - 19 = 4*g, -1 = g - o. Is 9 a factor of p(g)?
False
Let d(t) = t**2 + 6*t - 2. Let y be d(-6). Suppose -5*w - b = -6, -3*w - 2*w - 2*b = -2. Does 18 divide (w - (0 - y)) + 44?
False
Let k = -9 + 7. Let s(c) = -11*c + 1. Is 23 a factor of s(k)?
True
Let w(m) = -m**2 + 21*m - 7. Is w(20) a multiple of 2?
False
Suppose -4*y + 232 = -2*v, 0 = -4*v + 5*v - 4. Suppose 3*r + 3*x = y, -5*r - x = -0*x - 116. Does 7 divide r?
False
Suppose -11*x + 12*x - 48 = 0. Is x a multiple of 48?
True
Is (-2 + 5 + -65)/(-2) a multiple of 12?
False
Suppose 14 = 4*f - 2*k, 3*f - 18 = 5*f + 4*k. Let c = 5 - f. Is 3 a factor of c?
False
Let u = -2 + 2. Suppose 0 = -5*l - 15, u = -4*k - l - 1 - 2. Suppose 110 = 4*g - 3*x, k*g = 3*g + x - 76. Is g a multiple of 13?
True
Let k = 13 - 9. Suppose 0*h + 49 = 5*g - k*h, 4*h + 31 = 3*g. Is 9 a factor of g?
True
Let k be 65*(2/(-5))/(-1). Suppose -5*a = -4*d - 72, k = 2*a - a + 5*d. Is (-36)/(-16)*a/6 a multiple of 4?
False
Suppose -2*k + 120 = -7*a + 2*a, 4*k - a = 222. Suppose -30 = -5*r + k. Suppose -r = -v + 6. Is v a multiple of 23?
True
Suppose -19 = -5*j + 121. Is 7 a factor of j?
True
Suppose 5*l - 108 = 7. Is l a multiple of 9?
False
Let m = 28 + 20. Is 16 a factor of m?
True
Let x(y) = -4*y + 5 - 29 + 8. Is 18 a factor of x(-13)?
True
Let n = -6 - -3. Let b(q) = -7*q - 6. Is 4 a factor of b(n)?
False
Suppose 2*f - 4*f - 560 = 0. Let i be ((-1)/(-2))/((-5)/f). Let a = i + -13. Does 4 divide a?
False
Let o(k) = 0 + 11*k + 3*k - 1. Let r = 1 + 0. Is 13 a factor of o(r)?
True
Let j(w) = -4*w + 7. Let g be j(-12). Suppose -g = -2*c + 23. Does 13 divide c?
True
Does 12 divide (-3)/(-3) - (-28 - -5)?
True
Let j(w) = 7*w**2 - 2*w. Is 21 a factor of j(2)?
False
Suppose 0 = 5*h - 65 - 30. Let u = h + -11. Does 2 divide u?
True
Let m = 12 - 9. Suppose m*k - 57 = -9. Is 9 a factor of k?
False
Let y be (193 - 1)/(3/(-2)). Let v = y + 191. Does 13 divide v?
False
Let m(x) = -x**3 - 3*x**2 + 3*x + 4. Let g be (1 + 1)/(2/(-15)). Let r be (g/(-10))/((-3)/8). Does 5 divide m(r)?
False
Suppose 0 = 2*m + 2*m - 84. Suppose 0 = -5*f + 6*f - m. Suppose -2*z + f = -1. Is 9 a factor of z?
False
Let f(k) = k**3 - k + 36. Does 27 divide f(0)?
False
Let p(l) = l**2 + 5 - 2*l - 8*l + 4*l. Let b be p(5). Is 11 a factor of b - (-1 - -45)/(-2)?
True
Let y(p) = -p**3 + 5*p**2 + 12*p + 1. Is y(6) a multiple of 23?
False
Does 15 divide 44 + -1*(0 + -2)?
False
Suppose 2*t = -3*t - 5. Let a be t/(-1) + 0/6. Let s(p) = 15*p + 1. Is s(a) a multiple of 8?
True
Suppose 0 = i - 54 - 19. Does 7 divide i?
False
Let f be (-4)/6*36/(-8). Suppose l + 5*v - 14 = 0, f*l - 3*v + 12 - 36 = 0. Is 3 a factor of l?
True
Suppose -8*m + 53 + 19 = 0. Does 3 divide m?
True
Let o(h) be the first derivative of h**4/4 + 7*h**3/3 - 3*h**2/2 - 10*h - 2. Let t be o(-7). Suppose -3*k = -13 - t. Does 4 divide k?
True
Suppose 32 = 4*r - 0*r. Suppose r = -3*n + 23. Suppose n*a = 52 + 53. Does 7 divide a?
True
Let j(w) = 5*w**2 + w. Let p be j(-1). Suppose p*u + 0 = 40. Suppose 0 = -3*z + 2*z + u. Is z a multiple of 10?
True
Let i = 84 - 66. Does 2 divide i?
True
Let u be (6 + 3)*2/6. Suppose u*y = 4*l + 15, -2*l = 2*y - 7*l - 10. Let q(h) = h**2 - 2*h. Is q(y) a multiple of 8?
False
Suppose 2*k - 33 - 29 = 0. Let z = 19 + k. Does 15 divide z?
False
Let r be ((-69)/6 - 0)*2. Let s = r + 36. Is 7 a factor of s?
False
Let p(v) = v**3 + 8*v**2 + 7*v - 3. Let b be p(-7). Let y = 1 - b. Suppose -43 = -t - 5*i, 2*i = y*t + t - 242. Does 16 divide t?
True
Suppose -5*z = -z - 2*d - 40, -5*z + 20 = 5*d. Suppose i = -3*i + z. Suppose 3*u + i*u = 90. Does 9 divide u?
True
Suppose 5*c - 4*h = -14, 10 = -4*c + 4*h - 2. Let s(g) = -g**3 + 4*g**2 + 3*g - 7. Let d be s(5). Is c - (d + 1*-2) a multiple of 17?
True
Suppose -4 = 4*i - 6*i. Suppose -4*q + i*q + 66 = 0. Let s = q - 0. Is 12 a factor of s?
False
Suppose -2*z - 5 - 27 = 0. Let q = z - -9. Let d = 17 + q. Is d a multiple of 10?
True
Suppose -11*f + 451 = -0*f. Is f a multiple of 41?
True
Let x be -3 - (0 - (-4 - -5)). Does 13 divide 234/(-4)*x/3?
True
Suppose 5*l = 2*q + q - 23, 0 = -4*q + 3*l + 16. Does 9 divide (2 - q*-7)/1?
True
Let d(x) = -x**2 + 9*x - 10. Let b be 3 + 12/(-2 + 4). Let u be d(b). Let o = 35 + u. Does 20 divide o?
False
Suppose -4*h + 12 = 0, 0*k + 2*h = 3*k - 1281. Does 53 divide k?
False
Let x(h) = -3*h - 15. Does 5 divide x(-10)?
True
Let q(g) = 2 + 4 + 1 + 2*g - 6. Let l be q(-7). Let a = -5 - l. Is a a multiple of 8?
True
Let i = 52 + -36. Suppose -3*g = -3 - 6. Suppose g*y = 98 + i. Is y a multiple of 16?
False
Is 12 a factor of (1092/(-13))/((-6)/4)?
False
Let r(c) = -2*c + 342. Is 12 a factor of r(0)?
False
Let h be (-6)/((-6)/(-9)*-3). Let r(b) = b**2 + 2*b**2 + 1 - 5*b**2 + 2*b**3. Is r(h) a multiple of 18?
False
Let c(x) = x**2. Let v be c(2). Suppose 125 - 37 = v*h. Suppose 6 + h = 4*d. Is d a multiple of 4?
False
Let s(o) = -o**2 + 5*o + 2. Let h be s(5). Is 17 a factor of (2/(-2))/(h/(-92))?
False
Suppose -2*t + 0*t = 0. Suppose -b - 3*w = -21, 3*b + t*w - 31 = -w. Is b a multiple of 3?
True
Let k = 32 + -5. Let f = k - 9. Let o = f - 11. Is o a multiple of 7?
True
Suppose 1366 + 538 = 7*l. Is l a multiple of 36?
False
Let b(f) = -5*f - 4. Is b(-10) a multiple of 23?
True
Suppose 18 = -2*j + 82. Let l = j + 32. Let v = -45 + l. Is v a multiple of 15?
False
Let l(x) be the third derivative of x**5/30 - 7*x**4/24 + 5*x**3/6 + 3*x**2. Let t(h) = h**3 - 2*h**2 - 2*h + 1. Let w be t(3). Is 4 a factor of l(w)?
False
Suppose 5*q = 268 - 78. Let i be q*1/(-2)*-1. Let j = 37 - i. Is j a multiple of 8?
False
Does 10 divide (1 + (-292)/(-8))*36/15?
True
Suppose 0 = h - 71 - 50. Does 16 divide h?
False
Let s(c) = 6*c - 3. Let x be s(-6). Let a = x - -56. Is a a multiple of 6?
False
Let t = 6 + -3. Let v(l) = -l**2 + 2*l. Let q be v(t). Does 7 divide (1 - 21)/(q + 2)?
False
Suppose -608 - 124 = -6*g. Does 21 divide g?
False
Let y = 2 - 2. Suppose y = 3*v - 1 + 19. Let p = -2 - v. Does 3 divide p?
False
Let i be (-8)/(-2 - -6) + -57. Let k = i - -87. Is k a multiple of 7?
True
Suppose -12*q + 460 = -428. Is q even?
True
Let j = -20 + 28. Suppose -5*l + 4*z - 8 = 0, -5*z = -l + 4*l - 10. Let a = j - l. Does 3 divide a?
False
Let s = -15 - -27. Is s a multiple of 6?
True
Suppose 8*l - 14 - 194 = 0. Is 6 a factor of l?
False
Suppose -45 = 3*a + 5*q + 3, q = -3. Let z = 31 + a. Is 11 a factor of z?
False
Suppose 0 = 3*j + 50 - 125. Is 18 a factor of j?
False
Let a(k) = 5*k + 26 - k**2 - 2*k - 2*k - 8. Let j be a(0). Is 280/36 + 4/j a multiple of 8?
True
Suppose 30 = 6*l - l. Let p(i) = -i**2 + 8*i - 4. Is 8 a factor of p(l)?
True
Let j(g) = 2*g**3 + g - 1. Let d be j(1). Suppose 2*t = -d*t + 528. Suppose -i + t = i. Is 22 a factor of i?
True
Let z(a) = -4*a + 5. Let q be z(5). Let d = q + 3. Is (-27)/d*(-16)/(-6) a multiple of 3?
True
Let s be 0 + 7/(7/(-52)). Let f = 208 - 297. Let w = s - f. Is 12 a factor of w?
False
Let x(m) = 2*m + 4. Let g(r) = 2*r + 3. Let u(i) = 5*g(i) - 4*x(i). Let k be u(3). Suppose k*h + 13 = 143. Does 13 divide h?
True
Suppose 0 = -o - o - 16. Let q = 15 + o. Is q a multiple of 4?
False
Suppose 0 = -3*d - 70 - 35. Let t = 51 + 20. Let i = t + d. Is i a multiple of 18?
True
Does 9 divide (-4 - 84/(-16))*72?
True
Let s(u) = -2*u - 2. Let z be s(-2). Let r(i) = 3*i - 6 - z*i + 5*i - 2*i. Does 19 divide r(11)?
True
Let x(z) = 16*z**2 - 3*z + 4. Is x(1) a multiple of 11?
False
Does 10 divide 2/(-14) + (4876/28 - 4)?
True
Let h