 -4*g - 2*t + 9 - 1, -8 = g - 2*t. Let u = 16 + g. Does 5 divide u?
False
Suppose -a = -4*a. Is 18 a factor of 20 + (a - -1) + -1?
False
Let c(a) be the first derivative of a**4/4 - a**3/3 + a**2 - 4*a + 3. Is 13 a factor of c(4)?
True
Let g = 108 - 32. Suppose -2*b + 0 = -g. Is 10 a factor of b?
False
Let h(n) = n**3 - 4*n**2 - 3*n. Is h(6) a multiple of 12?
False
Suppose 3*m - 303 = 2*q, -166 - 238 = -4*m + q. Let z = 141 - m. Is 21 a factor of z?
False
Let q(i) = i**2 + 8*i + 4. Let m be q(-5). Let k = -8 - m. Suppose k*d + 2*w - 6 = 0, -d - 4*w = d + 4. Is 4 a factor of d?
True
Let g = 39 + -5. Is 17 a factor of g?
True
Suppose 90 = j - 0*j. Suppose -4*z = 2*q + 76, 2*z = 2*q - 26 + j. Let d = q - -53. Is d a multiple of 19?
True
Suppose 5*u = b + 15, 0 = 2*u + 2*b - 2 - 4. Is (-3)/2*(-40)/u a multiple of 10?
True
Let w(a) = a**3 - 6*a**2 - 7*a + 8. Let h be 0/(-5) + 7/1. Is 4 a factor of w(h)?
True
Suppose 0 = -2*v - 4*b + 16, -4*v - 1 - 3 = -4*b. Suppose v*h + 2*h - 508 = 0. Suppose 5*f - 3 = h. Is f a multiple of 7?
False
Let d(h) be the second derivative of -19*h**3/6 - 7*h**2/2 - 3*h. Let y be d(-5). Suppose 2*r - 107 = -5*t, 4*t - y = r - 2*r. Does 10 divide t?
False
Let i(t) = 6*t + 15. Is i(11) a multiple of 18?
False
Let a(i) = -3 - i**2 - i**2 + 3*i + 2*i. Let m be a(3). Let n = m - -24. Does 9 divide n?
True
Is ((-26)/(-78))/((-2)/(-216)*2) even?
True
Let o(m) = -m**2 + 11*m - 3. Suppose 0*k = 3*k - 27. Is o(k) a multiple of 8?
False
Suppose -4*u + 6*u = 146. Suppose 3*z + 3*m + 29 - 110 = 0, -5*m = -3*z + u. Does 16 divide z?
False
Suppose -7*o + 378 = -0*o. Suppose -3*r = -4*r + o. Does 18 divide r?
True
Suppose i - 4*c - 153 = -8*c, -2*c = -3*i + 487. Does 39 divide i?
False
Let x = -7 + 11. Suppose -2 = -2*w - 4*t, 5*w + x*t + 1 = 18. Let u(m) = m**2 - 4*m + 6. Is 4 a factor of u(w)?
False
Let z(i) = -2*i - 9. Let p be z(-6). Suppose 4*n + 25 = -n, 2*n = p*u - 16. Suppose -2*b = -3*g - u*g - 103, -5*b + 5*g + 220 = 0. Is b a multiple of 13?
True
Suppose 2*w - v - 27 = 0, -3*w + 8 = -2*v - 30. Does 3 divide w?
False
Let o(s) = 5*s - 22. Is o(20) a multiple of 22?
False
Let q(d) = -5*d + 15. Let m be q(11). Let h = 72 + m. Does 17 divide h?
False
Suppose -10 = 3*z - l, -2*z + 7 + 1 = 3*l. Let a = z - -6. Is 4 a factor of a?
True
Is (92/(-10))/((-10)/50) a multiple of 11?
False
Let t(q) = 7*q**2 - 17*q + 14. Let v(g) = 6*g**2 - 16*g + 13. Let z(x) = 5*t(x) - 6*v(x). Is z(8) a multiple of 5?
False
Suppose -63 = 3*v + 147. Let a = -53 - 47. Let f = v - a. Is f a multiple of 15?
True
Let a = 176 - 97. Suppose -5*g + a = c - 59, -c = -g + 30. Is 14 a factor of g?
True
Let w(y) = -y**3 + 3*y**2 + 10*y - 4. Does 3 divide w(4)?
False
Let y(u) = u**3 - 17*u**2 + 7*u - 26. Is 12 a factor of y(17)?
False
Is -18*2/(-9)*3 a multiple of 5?
False
Let q be ((-3)/2)/(4/(-8)). Suppose 91 = q*i - 71. Suppose i = -3*p + 6*p. Is 9 a factor of p?
True
Let z(f) = f**3 - 7*f**2 - 7*f - 3. Let c be z(8). Suppose 3*k + c*g + 62 = 0, 4*k + 2*g + 3*g + 81 = 0. Let y = k - -31. Does 5 divide y?
False
Let d = -9 + 26. Is 8 a factor of d?
False
Suppose -3*i = a - 0*i - 108, -4*a = 2*i - 412. Is a a multiple of 34?
True
Suppose 0 = -2*n - 0*n + 68. Does 34 divide n?
True
Let y = -15 + 22. Let j(x) = x**2 - 2*x + 9. Does 22 divide j(y)?
True
Is -3 + (-3 - -1) - -228 a multiple of 41?
False
Suppose 3*w = 3*s - 546, 3*s - 486 - 52 = -w. Suppose 0 = -8*p + 3*p + s. Does 25 divide p?
False
Let k = 2 - -4. Let m be 3/(-1) + k/(-2). Let v = 19 + m. Is 13 a factor of v?
True
Let a(k) = k**2 + 9*k + 4. Does 4 divide a(-9)?
True
Let k = 37 - 8. Does 10 divide k?
False
Suppose -5*z = -4*z - 8. Is 23 a factor of -92*2*(-2)/z?
True
Suppose 6 = -2*i + 4*m, -i + 0 - 9 = -4*m. Let q = 3 - i. Suppose u + 3*z = -1, 2*u + q*z - 8 = -z. Is 2 a factor of u?
False
Suppose 5*w - 4*h = 135, -h = -0 - 5. Let r = w - 16. Is 6 a factor of r/((9/2)/3)?
False
Suppose 0*r = 5*r + 2*u + 555, 0 = 4*r + 4*u + 444. Let v(k) = -7*k**2 + k + 6. Let j be v(5). Let a = r - j. Is 19 a factor of a?
False
Let g be 2/4 + (-27)/(-6). Suppose 0 = -3*x - 2*i + g + 93, 0 = 2*x - 4*i - 92. Does 17 divide x?
False
Let s = -121 - -82. Let i = s + 74. Is i a multiple of 16?
False
Suppose 2 = 4*c + h - 0, -3*h + 6 = -2*c. Let g be (1 - 1) + 0 + 88. Suppose g = -c*u + 2*u. Is u a multiple of 22?
True
Suppose 0 = -8*w + 3*w. Suppose -u = -w*u - 27. Is 12 a factor of u?
False
Let y(u) = 5*u - 32. Is 6 a factor of y(14)?
False
Let g(c) = -c**3 - 3*c**2 - c - 1. Let v(r) = r - 3. Let f be v(0). Let t be g(f). Suppose -3*x = -4*l + 64, -3*l + t*x = -4*l + 16. Is 8 a factor of l?
True
Let v = 109 - -29. Does 18 divide v?
False
Suppose -3 = -2*r - h + 1, 0 = 2*r + 4*h - 16. Suppose r*j = 5*j. Does 14 divide j/(2 + -3) + 30?
False
Let s(j) = 2*j - 9. Let r be s(8). Let x(l) = l - 3. Is x(r) a multiple of 2?
True
Let j(y) = 37*y**2 - y - 2. Let u be j(-1). Let r = 6 + -4. Suppose -v - r*v = -u. Is v a multiple of 6?
True
Suppose -2*v + 198 = 3*g, 5*g + 259 = 5*v - 261. Suppose -v = -3*c - 0*c. Is 17 a factor of c?
True
Let i(f) = f**2 + 20*f - 49. Is 14 a factor of i(-27)?
True
Let i = -164 + 235. Is i a multiple of 8?
False
Let t = 88 + -33. Is t a multiple of 10?
False
Let r be (6/3)/2 + 19. Suppose -6*n = -7*n + r. Does 13 divide n?
False
Suppose 9*n - 10*n + 143 = 0. Is 11 a factor of n?
True
Let p(o) = -5*o**3 - o**2 - o + 2. Does 24 divide p(-4)?
False
Suppose 4*p - 84 = -0*p. Let h = p + 3. Is 12 a factor of h?
True
Let h(a) be the third derivative of a**6/120 + 2*a**5/15 - 13*a**4/24 - a**3 - 15*a**2. Suppose -2 = r + 7. Does 15 divide h(r)?
True
Let h(k) = 12*k**2 - k + 2. Is 28 a factor of h(-3)?
False
Let j(z) = 22*z**2 + z - 1. Does 3 divide j(-1)?
False
Let y = 7 - 7. Suppose y = -4*x + 61 - 13. Is x a multiple of 12?
True
Suppose 2*z + 2*a = 4*a + 418, -2*z - 3*a = -423. Does 30 divide z?
True
Let a(g) = -42*g + 2. Let i be a(-4). Suppose i = 4*u + 5*l, 86 = 2*u - 0*l + 3*l. Is 10 a factor of u?
True
Suppose -3 = 2*s - v - 11, 4 = s + 3*v. Suppose -i - s*i = -45. Is 7 a factor of i?
False
Let c be -2 - (-5)/((-5)/(-48)). Suppose -3*t - c = -4*g + 3*g, 0 = g - 5*t - 40. Is g a multiple of 21?
False
Let k(d) = -d - 2. Let w be k(-3). Suppose -5*n = -25, -4*u + u = -4*n + 128. Does 19 divide -6 + 7 + (w - u)?
True
Suppose 3*d = -3*y - 3, -4*y - 3 + 11 = d. Is 8 a factor of y/2*64/12?
True
Suppose 0*u - 10 = 2*u. Let g be u + -1 + 0/3. Is 7 a factor of ((-9)/g - 2)*-14?
True
Let d = 13 + -8. Suppose d = l - 44. Let k = l - 32. Is 17 a factor of k?
True
Let d(t) = -t**3 + 12*t**2 + 18*t + 7. Is d(13) a multiple of 9?
True
Let j(m) = -65*m - 15. Is 18 a factor of j(-4)?
False
Suppose -4*v + 3*k - 347 = 0, 3*v + k = 2*k - 254. Let a = 58 + 70. Let b = a + v. Is 12 a factor of b?
False
Let c = 1 + 2. Suppose -c + 2 = -u. Is 1*4/u*2 a multiple of 8?
True
Let l be -3*1*4/(-4). Is (2 - l)*3*-6 a multiple of 11?
False
Let y be 2/(-2)*(-3 + -17). Suppose x - y = 6*x. Does 23 divide 912/27 + x/(-18)?
False
Suppose -14 = -2*c + i + 21, 0 = 4*c - 3*i - 69. Does 11 divide c?
False
Suppose i = 4*i - 2*p + 16, -4*p = 16. Does 18 divide (-1015)/(-28) - (-2)/i?
True
Let h = -47 + 164. Is h a multiple of 6?
False
Suppose -5*q + 36 = -3*q. Let i be (-1)/(-1 + 20/q). Is 6 a factor of (-2)/(-6) - 195/i?
False
Suppose -3*d + 4*j + 21 = -16, -4*d + 2*j = -36. Let y = d + 19. Is 14 a factor of y?
False
Suppose 5*d - 23 = -3*u, 7 = d + 3*u - 0*u. Suppose 0 = d*q - 2*q - 152. Is 11 a factor of q?
False
Let u be -2*4*-1 - 4. Suppose 107 = u*o - 9. Is 26 a factor of o?
False
Let s be (-2)/(-6) + (-156)/9. Let p = -12 - s. Is 3 a factor of p?
False
Let v(r) = -r - 8. Let o be v(-12). Suppose 0*d + 160 = o*d. Is 18 a factor of ((-64)/d)/(2/(-50))?
False
Let m = -22 - -102. Is m a multiple of 20?
True
Let w(a) = -a + 3. Let b be w(0). Suppose 0 = -b*t + 2*t + 5. Suppose 2*c - 47 = t. Does 13 divide c?
True
Let t(o) be the first derivative of -15*o**2/2 - 2*o + 1. Let n be t(-4). Let k = -21 + n. Does 14 divide k?
False
Let x(a) be the first derivative of 3*a**2/2 - 2*a + 3. Does 8 divide x(6)?
True
Let n be 2 - 0/(1 - 0). Suppose n*r + 3*r + 70 = 0. Let w = 45 + r. Is 17 a factor of w?
False
Let m be (-33)/(-18)*2 - 4/6. Let o = -34 