 be the third derivative of 10/3*d**3 - 1/24*d**4 + 0 + 0*d - d**2. Does 10 divide t(0)?
True
Let y = 156 - 105. Is 6 a factor of y?
False
Let s be 1*(2 + (4 - 3)). Suppose -4*w - 244 = -2*p, 2*p - 122 = -s*w + 5*w. Let f = 100 + w. Is 13 a factor of f?
True
Let h = -191 - -291. Is 13 a factor of h?
False
Let x be (-86)/(-10) - 2/(-5). Let u be 2/x - 6/27. Suppose -b + 3*b - 42 = u. Is 7 a factor of b?
True
Let s(o) = -o**3 + 24*o**2 - 43*o + 28. Is 5 a factor of s(22)?
True
Let y be 34/10 - 16/40. Suppose 0 = 5*p - 4*o - 83, -y*p + 5*o = -0*o - 55. Does 15 divide p?
True
Let b = 42 + 18. Is b a multiple of 15?
True
Let t(g) = -g**3 + 8*g**2 - 4*g + 3. Is t(7) a multiple of 4?
True
Suppose -58*l = -59*l + 144. Is l a multiple of 11?
False
Let r = 32 + -10. Let o be 22/4*-1*2. Let g = o + r. Does 6 divide g?
False
Let t be (-3 - -2) + 2 + 0. Let d(a) = a + 1. Let b(x) = 14*x + 7. Let i(m) = b(m) - 6*d(m). Is i(t) a multiple of 7?
False
Let d be (-4)/(-2)*(-6)/(-4). Let r = d + 0. Suppose 4*n - 22 = r*n. Is n a multiple of 11?
True
Let z = -38 - -70. Does 16 divide z?
True
Suppose -2*v + z + 21 = 0, -5*v = 5*z - 56 + 11. Let d = -7 + v. Suppose d*p + 2*p = u + 8, -4*u + 12 = 2*p. Is p even?
True
Suppose 2*j - 2*s - 52 = 0, 2*j + 0*s + s - 40 = 0. Let o = -4 + j. Is 9 a factor of (13 + -1)*o/12?
True
Let p(v) = 2*v**3 + 5*v**2 + v - 8. Let r(i) = 3*i**3 + 11*i**2 + 3*i - 17. Let n(y) = 5*p(y) - 3*r(y). Is 14 a factor of n(9)?
True
Suppose 90 = 2*o + 3*o. Suppose 3*t + t = -5*j + o, 2*j + 2 = 3*t. Is (4/t)/(-1) + 28 a multiple of 13?
True
Let s = 8 + -8. Suppose 2*a - 5*a = s. Let q(g) = -g**2 + g + 30. Does 15 divide q(a)?
True
Suppose -2*n + 6 + 4 = 0. Suppose -t + n*x + 4 = 7, -4*t - 31 = -x. Let l = 18 + t. Does 5 divide l?
True
Let s(z) = 8*z**2 - 2. Let r be s(-2). Suppose -110 = -4*i - r. Does 10 divide i?
True
Suppose 9 = -5*m + 4*p, -4*m + 1 - 3 = 2*p. Does 15 divide (3/(-6))/(m/60)?
True
Suppose 4*u - 48 = -z + u, 0 = -5*z + u + 320. Suppose -37 - z = 5*y. Let c = y + 32. Is 10 a factor of c?
False
Suppose -n - 24 = 3. Let u be (-6)/n - 256/18. Does 20 divide (-4)/u + 626/14?
False
Suppose 2*s - 2*x - 4 = -x, 0 = -3*s - 4*x + 17. Let i(g) = -g**2 + 7*g - 5. Let k be i(5). Suppose 88 = k*h - s*h. Is 22 a factor of h?
True
Suppose 0 = 4*t + 99 - 391. Is t a multiple of 13?
False
Is 35 a factor of ((-5)/(-2) + -1)/(30/5480)?
False
Is -7*(7/(-42) - (-23)/(-6)) a multiple of 5?
False
Let h = -6 + 4. Does 9 divide h/(-3) + 93/9?
False
Suppose 0 = -2*z + 5*h, -4*z - 4*h + 15 = -13. Suppose 0*q - q + 7 = -o, z*q - 3*o - 29 = 0. Is 21 a factor of 4/1*31/q?
False
Let d(k) = k + 9. Is d(20) a multiple of 3?
False
Let i(l) = -3*l**3 - 16*l**2 - 9*l - 10. Let m(n) = -n**3 - 5*n**2 - 3*n - 3. Let o(f) = -2*i(f) + 7*m(f). Does 6 divide o(-3)?
False
Let o(s) = -s**2 + 9*s - 5. Let h be o(6). Suppose -2*q + 39 = -h. Suppose y + 0*l - 2*l - q = 0, -4*y - 3*l + 126 = 0. Is 10 a factor of y?
True
Let j(k) = -k**2 + 6*k + 25. Is j(7) a multiple of 3?
True
Suppose 3*w = 3*s + 183, 4*w - 3*s = -0*w + 240. Does 19 divide w?
True
Suppose r - 10 = 6*r. Let n(b) = 8*b**2 + 2*b + 1. Is n(r) a multiple of 10?
False
Let y(o) = 13*o - 17. Does 15 divide y(3)?
False
Suppose -71 - 46 = -3*j. Suppose -3*p + 2*m = 3*m - j, m = 0. Is p a multiple of 13?
True
Let p = 11 - -36. Suppose 0 = r - 0*r - 3. Suppose -4*z + 2*z = -u + p, 0 = -2*u - r*z + 59. Is u a multiple of 21?
False
Let y be -1 + -2 + 12 + 1. Let z be -3 + 4 - (7 + 2). Let c = y - z. Does 9 divide c?
True
Suppose -7*g + 3*g + 516 = 0. Suppose 81 + g = 5*a. Is 21 a factor of a?
True
Suppose 0*p = -5*n - 3*p + 232, 5*p - 20 = 0. Is n a multiple of 9?
False
Let h(i) be the second derivative of -1/12*i**4 + 16*i**2 + 0 - 1/6*i**3 + 1/20*i**5 - i. Does 16 divide h(0)?
True
Let q(i) = 2*i**2 + 3*i - 5. Let u be q(-5). Suppose -49 + 5 = -4*b + 4*m, -4*b - 3*m + u = 0. Is 9 a factor of b?
True
Let l be (-3)/9 + 79/3. Suppose -6 = 4*k - l. Suppose -13 - 12 = -k*c. Is c a multiple of 5?
True
Suppose -4*b - 18 = -2*g, -4*b + g - 20 = 1. Let x = -15 - b. Is 6 a factor of x/(-3*1/4)?
True
Let j = -57 + 212. Does 26 divide j?
False
Let n = -1 + 5. Suppose 5*s - 40 = z, 4*s + s - 55 = n*z. Let k = 17 - s. Does 4 divide k?
False
Does 18 divide 1164/24 + 1/(-2)?
False
Let d(w) = -w**2 + w. Suppose -t - 3*i = 4*t + 2, 5*i = 3*t + 8. Let g(j) = -3*j**3 - 5*j**2 + 2*j. Let x(l) = t*g(l) + 4*d(l). Is 14 a factor of x(2)?
False
Let f(i) be the second derivative of 5*i**4/6 + i**3/3 + i**2 - 4*i. Suppose -4*q + 7*q - 1 = 5*p, 0 = 2*p + 4*q + 16. Does 17 divide f(p)?
False
Let c(m) = -6 + 5*m + 0*m + m. Let p(f) = -1. Let q(w) = -c(w) + 6*p(w). Is q(-6) a multiple of 18?
True
Suppose -t + 10 = -6*t, -3*n = 3*t + 6. Suppose n = 5*m - 120 - 125. Suppose 3*q - 3*l - m = q, -2*l - 118 = -4*q. Is 11 a factor of q?
False
Let u(a) = -23*a. Let l be u(-1). Let h = -8 + l. Suppose 0 = 3*c - 63 - h. Does 13 divide c?
True
Let l(j) = -j**2 - 8*j + 5. Does 21 divide l(-4)?
True
Suppose -60 = 3*b - 0. Let d = b - -46. Let r = 12 + d. Is 19 a factor of r?
True
Suppose -2*r + 1 = -7. Suppose 2*p + 3*p + 5*a = -20, 0 = -2*p + r*a - 8. Is 3 a factor of 2/(-6)*(p + -14)?
True
Suppose 0 = 2*s - 387 - 25. Is s a multiple of 34?
False
Suppose -a - 6 = -4*a. Let u be (-2)/(-4) - (-13)/a. Suppose -u*b + 88 = -3*b. Is 15 a factor of b?
False
Suppose 3*b - 3*g - 3 = 3, 4*b = 2*g + 6. Suppose 2*m - 4*m - p + 5 = 0, 3*p = 2*m - 25. Suppose 69 = m*i - b. Is 14 a factor of i?
True
Suppose -11 = -2*y + 21. Let c = y + 1. Let s = c - 6. Is s a multiple of 11?
True
Let h(c) = -c**3 - 5*c**2 - 3*c - 1. Let n be h(-4). Let y = 46 - n. Does 11 divide y?
False
Suppose 4*g + 7 = -r + 2*g, -1 = g. Let m(f) = -5*f + 1. Let i(n) = n - 1. Let o(k) = 2*i(k) + m(k). Is o(r) a multiple of 14?
True
Let v = 2 - -4. Suppose 2*o = -v, 5*o - 30 + 0 = -3*a. Is a a multiple of 15?
True
Let h(q) = -q - 1. Let f be h(7). Let v = 14 + f. Does 3 divide v?
True
Let t = 100 - 34. Is t a multiple of 6?
True
Let x(y) = -44*y**3 - y**2. Let u be x(-1). Let h(p) = -8*p + 8. Let k be h(-2). Let w = u - k. Does 19 divide w?
True
Let a(d) = 2*d + 3. Suppose -5*n + 20 = -0*n. Is 11 a factor of a(n)?
True
Suppose -3*b + 8*b - 210 = 0. Is 18 a factor of b?
False
Is ((-57)/2)/(27/(-36)) a multiple of 19?
True
Suppose -2*o = -0*o - 8. Let w(a) = 6*a - 12. Is w(o) a multiple of 12?
True
Let s(j) = -29*j - 2. Is 21 a factor of s(-1)?
False
Let q(g) = -g**2 + 17*g + 15. Is q(17) a multiple of 5?
True
Let o(b) = 3 - 28*b**2 - 1 + b - 3. Let h be o(1). Let t = h - -52. Is 12 a factor of t?
True
Suppose 4*o - 169 + 13 = 0. Suppose -b - z + 15 = 0, o - 13 = 2*b + 4*z. Is 16 a factor of b?
False
Let r be (4 + -3)*(2 - -6). Let b = 15 - r. Suppose 39 + b = 2*q. Does 10 divide q?
False
Let x be 6/(-5)*(-100)/30. Let t(p) = -1 + p - 1 + 0*p. Does 2 divide t(x)?
True
Suppose -3*t = -2*d + 75, 0*d - 4*d = -3*t - 147. Is 12 a factor of d?
True
Suppose -5*a + 14 = 3*x, 5*x - 16 = -0*a - a. Suppose -x*s + 6*s - 76 = 2*f, -3*f + 114 = 5*s. Is s a multiple of 9?
False
Let u(w) = -w**2 - 11*w + 30. Let i be u(-13). Suppose i*o = t - 5 + 337, 3*t = -o + 96. Is o a multiple of 12?
True
Suppose 3*p - 2*f = -6, 0*p + 2*p + 12 = 4*f. Suppose p*i = -i + 19. Does 19 divide i?
True
Let v(z) = 47*z**2 - z. Let c be v(1). Suppose -4*q - 5*o = -3*o - c, -4*o - 7 = -3*q. Does 9 divide q?
True
Suppose -3*m + 14 = 4*k, 5*k - 5 = -m + 7. Let i(a) = -a + 3. Let j be i(0). Does 3 divide 2/(j/(m + 4))?
False
Let i(t) = t - 4. Let d(f) = 8*f**2 - 1. Let c be d(1). Does 3 divide i(c)?
True
Suppose 289 = 3*v - 17. Is v a multiple of 21?
False
Let q = 41 - 38. Is q even?
False
Does 7 divide -1 + (3 - 2) + 28?
True
Suppose -3*z + 0*i - 3 = 3*i, -2*z = -5*i - 33. Let b = z - 4. Suppose b*g - 4*g = -64. Is g a multiple of 8?
True
Suppose 2*u - y = -2*u - 193, 58 = -u - 3*y. Suppose -j - 12 + 89 = 0. Let r = u + j. Is r a multiple of 14?
True
Suppose 4*m = -2*t + 94, -4*m - t = -107 + 18. Is 11 a factor of m?
False
Let w = 15 + -1. Does 12 divide w?
False
Suppose -2*i + 2*o + 154 = i, -3*o + 144 = 3*i. Does 12 divide i?
False
Let x(l) = -l**3 + 4*l**2 - 2*l. Let z be x(2). Is (z - 2)/(2/31) a multiple of 7?
False
Suppose -3*l + d + 38 = 0, 2