False
Let z = 14 + -9. Suppose z*b = b. Suppose o - 4 + 1 = b. Does 3 divide o?
True
Suppose -5*j = 3*t - 0*t + 28, t + 21 = -4*j. Let f(x) = -7*x - 1. Does 2 divide f(t)?
True
Suppose 5*m - 793 - 512 = 0. Does 29 divide m?
True
Suppose 3*w = 9 - 39. Let v = -8 - w. Does 2 divide v?
True
Suppose n - 38 = -h, 0 = -n - 4 + 1. Suppose 0 = -3*p - t + 81, p = 2*t - 7*t + h. Does 16 divide p?
False
Let m(o) = -10*o - 64. Let u(k) = 7*k + 43. Let s(f) = -5*m(f) - 7*u(f). Does 6 divide s(-10)?
False
Suppose -3*s - s = 8. Let l be 1*-110*s/4. Let k = l + -26. Is 8 a factor of k?
False
Let q be (4 + 0)*8/(-4). Let j = -6 - q. Suppose 128 = 6*c - j*c. Is 16 a factor of c?
True
Suppose -6 + 21 = 3*t. Suppose t*f + i = 335, f - 5*f - 4*i = -268. Does 11 divide f?
False
Suppose o + 1 = -0*o. Let c be -2 + 3*o/(-3). Let a(q) = -12*q**3 - q - 1. Does 7 divide a(c)?
False
Suppose 5 = 5*t - 5*j, j + 3 = 6. Suppose 4*i + 7 = -t*v - 1, i - v - 6 = 0. Is 12 a factor of i/3*18/1?
True
Suppose t - 3*s - 27 = 11, -5*s - 15 = 0. Let w(l) = 3*l**2 - 1. Let f be w(-1). Suppose t + 27 = f*v. Is v a multiple of 14?
True
Let q(d) be the first derivative of -d**2 - 1 + 2*d + 2/3*d**3. Is 6 a factor of q(2)?
True
Let s(f) = -5*f - 8. Let w(d) = 4*d + 7. Let j(c) = -3*s(c) - 4*w(c). Is j(-6) even?
True
Suppose -5*h - f - 61 = 0, 0*f + 2*f + 50 = -4*h. Is h*3*3/(-9) a multiple of 12?
True
Suppose -c = -7*d + 2*d, -3*c - d = 0. Suppose c = -2*b + 5*o + 85 + 13, -3*o + 214 = 5*b. Suppose -3*p + b = 4*t, -5*p - 2*t = -0*t - 64. Is 12 a factor of p?
True
Suppose 6*f - 5*f = 6. Let m(k) = -k - 1. Let n(h) = h**3 - 6*h**2 + h + 12. Let v(g) = -4*m(g) - n(g). Is 5 a factor of v(f)?
True
Let n = 10 + 0. Let f be 478/n + 1/5. Suppose 0 = -2*j - 0*j + f. Is j a multiple of 12?
True
Suppose -2*i = -0*i - 8. Suppose 132 = 3*m + 2*a - 5*a, -2*a = i*m - 206. Is m a multiple of 11?
False
Suppose 6*d - 3*d + 6 = 0. Let s be ((-8)/6)/(d/6). Suppose 20 = c - 3*g, 2*c + c - 35 = s*g. Is 4 a factor of c?
False
Let b = -14 + 234. Let x = 39 + -35. Suppose -x*h - 88 + b = 0. Is 11 a factor of h?
True
Suppose -4*q + 0*q - 25 = -3*w, -2*w - 5*q - 14 = 0. Suppose 0*o - 48 = -w*o. Is o a multiple of 16?
True
Let h(f) = -f**2 - f. Let i(q) = 3*q**2 + 16*q - 11. Let w(c) = -c**2 - 5*c + 4. Let b(s) = -3*i(s) - 8*w(s). Let k(m) = b(m) - 6*h(m). Is k(1) a multiple of 4?
True
Suppose -2*a - 24 = 2*a. Let o be (4/(-10))/(a/270). Is o + (-5 - -2) + 0 a multiple of 9?
False
Let g(x) = -2*x + 1. Let a be g(-3). Let b(u) = -4*u**2 + 20*u - 8. Let v(m) = -m**2 + 5*m - 2. Let t(s) = 2*b(s) - 9*v(s). Is t(a) a multiple of 13?
False
Suppose 0 = -4*o - 5*s + 210, -5*s - 158 = -3*o - 9*s. Suppose 3*d = 8*d - o. Is d a multiple of 10?
True
Let j be 122/14 - 4/(-14). Suppose u = 3*u - 3*a + j, -4*a = 5*u - 12. Suppose 6*b - 2*b - 56 = u. Is 11 a factor of b?
False
Let n = -22 + 56. Suppose -n = 2*w - 4*w. Is 10 a factor of w?
False
Let g(k) = 60*k + 60. Is g(8) a multiple of 54?
True
Let b = 483 + -273. Does 10 divide b?
True
Suppose -3*b = 6*s - s - 147, 3*b + 69 = 3*s. Does 9 divide s?
True
Let o be 3/1 + 203 + 1. Does 21 divide (4/3)/(6/o)?
False
Let q(d) = -44*d - 6. Let o be q(-4). Let x = o + 4. Suppose -3*j + 134 = -g, 4*j = -3*g + 2*g + x. Is 22 a factor of j?
True
Let r = -57 + 138. Is 9 a factor of r?
True
Suppose -5 = 2*b - 3. Let c be b*(-2 - -1)*7. Is 5 a factor of c*2/(-6)*-3?
False
Let h(o) = -32*o**3 + 2*o**2 + 2*o. Let q = -13 + 12. Is 14 a factor of h(q)?
False
Let m be -3 + (0 - -11) + -2. Is -3*(80/m)/(-2) a multiple of 10?
True
Let m(b) = -b**2 + 4*b + 2. Let o(q) = q**2 - 3*q - 2. Let f(i) = 6*m(i) + 5*o(i). Suppose 0 = -2*u + 2 + 2, -20 = -5*j + 5*u. Does 10 divide f(j)?
True
Suppose -v + 84 = 34. Is 11 a factor of v?
False
Let f(d) = -157*d - 1. Let k be f(-5). Let l be k/10 - 4/10. Suppose t + t = 3*p + l, 3*p = -5*t + 153. Does 13 divide t?
False
Let z(c) = 4*c. Let s(m) = m - 1. Let q(k) = -6*s(k) + 2*z(k). Let l be q(-4). Let o = 9 + l. Is 6 a factor of o?
False
Let q be (-6 - -25)/((-2)/(-10)). Suppose 0 = 4*g - 57 - q. Is 11 a factor of g?
False
Is 58 - 0 - (1 - 1) a multiple of 21?
False
Let x(w) = -5*w**3 + 13*w**2 - 9*w - 37. Let j(u) = -3*u**3 + 6*u**2 - 4*u - 19. Let y(n) = 7*j(n) - 4*x(n). Does 16 divide y(-11)?
True
Let h(y) = y**2 + 0 - 2*y**2 - 3*y + 3. Let u be h(-3). Suppose 0 = 4*l + u*j - 64, -2*j + 5 = -2*l + 37. Does 16 divide l?
True
Let q = -72 + 78. Is q a multiple of 2?
True
Let w = 29 + -13. Suppose 4*i + w = 6*i. Is 8 a factor of i?
True
Let t(f) = 25*f**2 - f + 1. Suppose -b - k = -0*k + 1, -5*b - 2*k + 1 = 0. Is t(b) a multiple of 17?
False
Let k = 6 - 4. Does 21 divide k/(-5) - 214/(-10)?
True
Let x = 61 + -7. Does 18 divide x?
True
Does 11 divide 1/(2 - 1)*(-3 - -58)?
True
Let a(y) be the third derivative of 0 - 7/24*y**4 - 3*y**2 - 1/6*y**3 + 0*y - 1/60*y**5. Does 9 divide a(-4)?
False
Suppose 0 = 3*i - 0*i. Let z(p) = -p + 19. Is 19 a factor of z(i)?
True
Is 9 a factor of 0 - ((-9)/3 - -1) - -88?
True
Does 24 divide (-3)/3 - (-90)/2?
False
Suppose -t - 39 = -111. Is t a multiple of 9?
True
Suppose -4*n = -4*r - 252, -3*n + 5*r = -16 - 165. Let p = n - 48. Let s = p - 6. Is s a multiple of 13?
True
Suppose -34 - 8 = -3*a. Suppose -44 + a = -6*x. Does 4 divide x?
False
Let v(g) = -10*g - 12. Is 24 a factor of v(-6)?
True
Suppose y + 4 = 82. Does 30 divide y?
False
Suppose 0 = 5*g - 4 - 1. Let b be (g/(-2))/((-1)/(-2)). Let u(t) = -22*t**3 - t**2 - t. Is 11 a factor of u(b)?
True
Let o = -7 - -85. Does 13 divide o?
True
Suppose m = 1, -190 = -5*o - 2*m - 3*m. Suppose -i + 2*r + 3*r = -o, r = -2*i + 19. Is i a multiple of 12?
True
Let p(c) = -c**2 - 5*c - 4. Let z be p(-4). Let a = 7 - z. Is a a multiple of 7?
True
Let z be 2/(-10) + (-112)/(-35). Let t(u) = 3*u + 2. Let h be t(z). Suppose 5*x - 44 - h = 0. Is 11 a factor of x?
True
Let x(m) = -3*m + 2. Let c(w) = 4*w - 2. Let l(h) = -4*c(h) - 3*x(h). Is 15 a factor of l(-4)?
True
Let a = 9 - -6. Is 13 a factor of a?
False
Let b = -1 - -4. Suppose 0 = 2*f - b*y - 45, 4*y + 18 = f - 2. Is f a multiple of 8?
True
Let f(i) be the third derivative of i**5/60 - i**4/3 + 2*i**3 - 2*i**2. Is f(10) a multiple of 16?
True
Suppose i + 46 = 3*i. Does 6 divide i?
False
Suppose -4*y - 4*t = -200, -y + 2*t + 38 = -0*y. Suppose 0 = 3*r + 4*u - 98, 2*r - 32 = u + 3*u. Suppose -2*f + y = -r. Does 14 divide f?
False
Let n = 309 - 201. Does 20 divide n?
False
Let z(g) = 3 - 1 - 26*g + 23*g + 3*g**2. Does 10 divide z(4)?
False
Suppose -10 = 5*s - 210. Is 12 a factor of s?
False
Suppose 78 = 6*l - 24. Is 3 a factor of l?
False
Suppose -i = 2*i + q - 86, -4*i - 3*q + 113 = 0. Is i a multiple of 5?
False
Suppose r + 19 = 27. Does 3 divide r?
False
Suppose 0 = -11*l + 359 + 1346. Does 27 divide l?
False
Let n(a) = 2*a**2 - a + 63. Is 9 a factor of n(0)?
True
Suppose 4*c - 2 = -2*a + 6, 16 = 4*a - 2*c. Suppose 2*u - 151 + 58 = 3*i, -u - a*i = -52. Does 24 divide u?
True
Is (-34)/(-5 + 4 - 1) a multiple of 7?
False
Let g = 349 - 75. Let k = -184 + g. Let d = k - 57. Does 12 divide d?
False
Let m(r) = 6 - 2 - 1 + 2 + 5*r. Let g be m(-4). Is 5 a factor of 0 - (g - 0 - -3)?
False
Let o(t) = -t + 15. Let a be o(9). Suppose -u = -a*u + 125. Let y = u + -13. Does 12 divide y?
True
Let w = 60 + -16. Is 24 a factor of w?
False
Let i = 25 + -11. Suppose 42 = -3*u - 3*k, -k - i = 2*u - 6*k. Let p = -1 - u. Is p a multiple of 11?
True
Suppose -3*b - 30 = 78. Let h = -22 - b. Does 8 divide h?
False
Let g be 3*2 + (-2 - 1). Let h = -17 - -38. Let s = g + h. Is s a multiple of 12?
True
Let l(t) = -4*t**2 - 6*t - 4. Let k be l(3). Let x = -16 - k. Does 14 divide x?
True
Let x be 8/(-28) - (-6)/21. Suppose 3*i - 157 + 4 = x. Is 19 a factor of i?
False
Let s = 228 - 102. Is 21 a factor of s?
True
Suppose -3*y = -3*b - 142 + 10, 4*b - 4 = 0. Is y a multiple of 14?
False
Let o(y) = y**2 - 1. Let i be o(3). Suppose -3*m = -i*m + 85. Does 17 divide m?
True
Let f(c) = -27*c - 18. Is 45 a factor of f(-7)?
False
Let i = 8 + -1. Does 3 divide 1*(1 - 1) + i?
False
Let q = 5 + -2. Suppose 4*r + 410 = 5*p + 83, q = -r. Is p a multiple of 26?
False
Let o = 1 - -35. Is 6 a factor of o?
True
Is 20 a factor of (-3)/((-63)/1230) - (-6)/14?
False
Let k = 5 - 5. Does 19 di