*t - b - 1, -3*b = t - 4. Let u = t + a. Is u a multiple of 5?
True
Let a(k) = -k**2 + 8. Let r be a(0). Suppose u = -3*u + r. Is u even?
True
Let b be ((-45)/6)/(-3)*4. Let p(i) = -i + 17. Does 4 divide p(b)?
False
Suppose g + 5*l - 44 - 14 = 0, -g + 5*l = -98. Is g a multiple of 29?
False
Suppose -3*t + 5*t - 353 = -3*r, 0 = -2*r + 3*t + 244. Is r a multiple of 29?
False
Suppose -3*x - x + 241 = r, 0 = 3*r - 3. Does 60 divide x?
True
Let f(b) = -b**3 - 6*b**2 + 6*b - 4. Let d be f(-7). Suppose -q + 5*v + 18 - 5 = 0, d*v + 51 = 3*q. Suppose -o - 2*o - q = -w, -2*o - 4 = 2*w. Does 3 divide w?
True
Let z(n) = 12*n - 6. Let g be 79/9 + (-10)/(-45). Let i = g - 5. Does 21 divide z(i)?
True
Let b(r) = 19*r**2 + 1. Let d be b(1). Suppose -3*k = -z + 4*z - 30, 0 = -2*k + z + d. Suppose 0 = -2*s + 4*s - k. Is s even?
False
Suppose -4*t = n + 13, -t + 2*n = -0*n + 10. Let y = t + 9. Let g(p) = p**3 - 4*p**2 - 4*p - 1. Is 2 a factor of g(y)?
True
Suppose d - 4 = v - 6, 5*v + 3*d - 26 = 0. Does 2 divide v?
True
Let x = 49 - 35. Let a be 304/x + (-4)/(-14). Suppose -2*c + k = -5 - a, 0 = 5*c - k - 69. Does 14 divide c?
True
Suppose 4*y + 3*h = h + 80, 5*h = 0. Is 10 a factor of y?
True
Suppose -4*j = -2*y + 18 + 24, 43 = 3*y - j. Let q = y - -10. Does 13 divide q?
False
Let a(t) = -t**3 - 7*t**2 - 7*t - 4. Let l be a(-6). Suppose 2*k = -l*k + 16. Is (-10)/k*2*-1 even?
False
Is 38 a factor of (780/8)/(-5)*-2?
False
Let d(m) = -m**3 + 7*m**2 - 4*m. Let o(u) = u**3 - 2*u + 2. Let z be o(2). Is 5 a factor of d(z)?
False
Suppose -2*y = -0*y - 20. Is 2 a factor of y/(-3)*18/(-12)?
False
Suppose c - 4 - 51 = 0. Is c a multiple of 20?
False
Let w(x) = 2*x. Let o be w(-1). Let u be (o - -4)*9/6. Suppose -2*z - 2*z + u*k = -65, z + 2*k = 19. Is 6 a factor of z?
False
Let g(i) = -i**2 - 4*i + 60. Let p(h) = h + 1. Let v(a) = g(a) + 4*p(a). Is v(0) a multiple of 16?
True
Let g(x) = 3*x**2 - x - 1. Let a be g(-1). Does 5 divide 35*(a - (-26)/(-10))?
False
Let n be ((-1)/(-2))/(4/696). Let b = n + -59. Is b a multiple of 28?
True
Let j(l) = l**2 + 6*l + 5. Is 5 a factor of j(-7)?
False
Let x(l) = 4*l**2 + 3*l - 1. Suppose 5*n = 2*n + 2*r + 24, n - 2*r = 8. Suppose 0 = -2*b - 3*h, b + n*h - 3*h - 7 = 0. Is 13 a factor of x(b)?
True
Suppose -6*l + 20 = -l. Suppose -f = -4*r - 0*r + 116, -3*r = l*f - 68. Is 14 a factor of r?
True
Suppose -3*b + 27 = -6*b. Let t = 28 + b. Let k = 35 - t. Is 12 a factor of k?
False
Let b be ((0 - -3) + -3)/2. Suppose j + b*j = 0. Suppose -4*r + j*y + 2*y = -68, r - 20 = -y. Is r a multiple of 5?
False
Let f be (15/(-4))/(24/64). Let b be (-2 + f/(-4))*4. Is 56/6 + b/(-6) a multiple of 8?
False
Let w(a) = a**2 + 6*a + 3. Let z be w(-6). Suppose -5*t + 76 = -t - 3*y, z*t + 5*y - 86 = 0. Does 7 divide (t/4)/((-5)/(-10))?
False
Suppose -52 - 114 = -2*x. Suppose v - 93 = -4*l, -3*v + 42 + x = 5*l. Is l a multiple of 22?
True
Let t(m) = 1 - 4*m - 2 + 4. Is t(-6) a multiple of 10?
False
Let m = -17 - -29. Let j = m - 9. Is 2 a factor of j?
False
Let w be 2 - 3/(-1 - 2). Suppose q - 4*q + w*p + 18 = 0, -3*q + 2 = 5*p. Does 2 divide q?
True
Is ((-32)/5)/(4/(-40)) a multiple of 35?
False
Let d(m) = -m**2 + 2*m**2 + 24*m - 15*m - 18. Is 10 a factor of d(-13)?
False
Suppose -2*r + 35 = -7*r. Let z(f) = -f**2 - 9*f + 5. Does 7 divide z(r)?
False
Let r be ((-2)/4 - -1)*22. Suppose -8 = 2*h, -3*n + 4*n = 2*h + r. Does 2 divide n?
False
Let j = 13 + -5. Suppose j + 8 = 4*a. Suppose 3*d + n = 2, 0 = -n - a*n - 20. Is d even?
True
Let g = -57 - -91. Let f = 71 - g. Is 12 a factor of f?
False
Let l(g) = 2*g**2 + 41*g + 11. Does 11 divide l(-22)?
True
Is 11 a factor of -3 + 849/9 + 1/(-3)?
False
Let q = -9 - -6. Let r(a) = -5*a + 1. Does 8 divide r(q)?
True
Let k(c) = c**3 - 3*c**2 - 9*c + 9. Does 19 divide k(6)?
False
Let h(o) = -5*o**3 - 12*o**3 + o + 10*o**3 - 17*o**3 + 1. Is 20 a factor of h(-1)?
False
Is -50*(3/2)/((-7)/21) a multiple of 39?
False
Suppose -3*c + 9 = 27. Does 14 divide 636/15 - c/(-15)?
True
Let k(c) = -4*c**3 - 2*c**2 - 2*c - 1. Let v = 5 + -6. Let i be k(v). Is 4 a factor of i/4 - (-68)/16?
False
Suppose -1 = l + 2*g, l = -l + 4*g + 22. Suppose -l*v - 4*a = -150, -127 = -3*v + a + 4*a. Does 15 divide v?
False
Suppose -7*s + 36 = -3*s. Suppose s*u - 40 = 5*u. Is u a multiple of 10?
True
Let i = 9 + -6. Suppose r = i*r - 4, 4*k + 5*r - 30 = 0. Suppose k*y + 3*h = 61, 0 = y + 2*y + 2*h - 36. Is 8 a factor of y?
False
Let f(t) = t**2 - 12*t. Let x be f(12). Suppose x = -2*y + 3*y - 7. Is y a multiple of 2?
False
Let a(u) = 17*u**2 - u + 1. Is a(-1) even?
False
Suppose 5*c + 6*y - 111 = 3*y, 4*c + y = 93. Let i be 0 + ((-20)/(-2) - 2). Let g = c - i. Is 16 a factor of g?
True
Suppose 4*n - 161 = 15. Suppose -2*k + 0*t = 4*t - n, 5*k - 71 = 3*t. Is k a multiple of 16?
True
Suppose 4 = -2*n + n. Let z = n + 8. Is z even?
True
Suppose 0 = -c + x + 4, -2*x - 1 - 3 = 0. Suppose -c*z + 1 = -0*z + 5*u, -2*u + 4 = 2*z. Does 17 divide (-1)/z + 206/6?
True
Suppose -u = 3*u + 3*q - 9, 3*q + 3 = -2*u. Does 16 divide (2/u)/(7/357)?
False
Suppose -5*f + 3*g = 2*g - 240, -5*g = -25. Is f a multiple of 3?
False
Let s(o) = -o - 2. Let p be s(-6). Suppose -4 = -2*f + 2*a, -p*f = -3*f - 2*a - 2. Suppose 0*q = -f*q - 2, -5*c = 5*q - 60. Does 10 divide c?
False
Suppose -x + 0 = 2. Is 14 a factor of (0 + -8)/x*7?
True
Suppose 2237 + 2152 = 11*m. Does 26 divide m?
False
Let x = 20 + -12. Suppose 3*j - x = 7. Is j even?
False
Suppose 2*c + 2*c = 320. Is 10 a factor of c?
True
Is 1/(-2)*-4 + -5 - -30 even?
False
Let n(p) = -11*p**3 + 3*p**2 - 2*p. Let u be n(2). Let v = -47 - u. Is 11 a factor of v?
True
Let i(u) = u**2 - 6*u - 7. Let a be i(8). Let h(b) = -b**2 + 11*b - 13. Does 3 divide h(a)?
False
Let d(a) be the second derivative of -a**5/10 - 5*a**4/12 + a**3/6 - a**2 + a. Does 17 divide d(-4)?
False
Suppose 0 = 4*j - 39 - 157. Does 9 divide j?
False
Let k(a) = -3*a - 34. Does 2 divide k(-14)?
True
Suppose -z = 3*z - 132. Is z a multiple of 11?
True
Let m = 8 - 5. Suppose -4*j + 4*y + 24 = -2*j, 0 = m*y + 12. Is j a multiple of 4?
True
Let h be 339/9 - (-1)/3. Suppose -2*b = 2*i + b - h, -4*i - 5*b + 74 = 0. Is i a multiple of 16?
True
Let j be (26/5)/(14/35). Suppose j = 3*r - 11. Does 2 divide r?
True
Suppose -215 = x + 4*x - 5*c, -3*c - 153 = 3*x. Let w = x - -82. Is w a multiple of 22?
False
Suppose 218 = 3*r + 1430. Let i = r + 589. Suppose 5*s - i = -0*s. Is 17 a factor of s?
False
Suppose -2*p = 2*p - t - 199, 20 = 4*t. Is p a multiple of 15?
False
Suppose 0 = 3*y + 6, -75 = -5*l - 2*y - 3*y. Let s be (-8)/12 + l/3. Suppose 0 = -0*a + s*a - 35. Does 3 divide a?
False
Suppose -2*l - 2*a + 14 = 0, -l - 2*a + 5 = -5. Suppose 154 = l*w - 86. Is 15 a factor of w?
True
Let v(i) = -i**3 - 3*i**2 + 8*i + 7. Let w be v(-5). Let x = w - 26. Let o = 6 - x. Is 10 a factor of o?
False
Let b = 30 - -11. Does 16 divide b?
False
Suppose -4*a = -13 + 1. Suppose 4*h - 12 = 4*v + 16, 0 = 4*h + a*v - 35. Suppose h = b + 3*j - 0*j, -88 = -5*b + j. Does 10 divide b?
False
Let o(u) = u + 13. Is 3 a factor of o(-4)?
True
Let w(o) = o**2 - 5*o - 8. Let m be w(7). Let t = m + 8. Is t a multiple of 3?
False
Let f(y) = y**2 + y + 4. Does 38 divide f(-11)?
True
Let f(y) = 4*y + 3. Let n(d) = -d - 1. Let o(x) = -f(x) - 5*n(x). Let g be o(3). Does 4 divide (-19)/(-5) - (-1)/g?
True
Let g be 4/(-5)*(-10)/(-4). Let m(r) = -10*r + 5. Let b be m(4). Let h = g - b. Is h a multiple of 11?
True
Suppose 0*t - 72 = -3*t + 4*y, t = -5*y + 5. Does 3 divide (t/(-15))/((-3)/9)?
False
Suppose -5*b - 2*l = 3*l, 5*l = 5*b - 50. Suppose -4*g = -5*t - 17, 0*g = 2*g - b*t - 11. Suppose 2*y = g*y - 11. Is 11 a factor of y?
True
Is 16 a factor of 82 + 7 + 5 + -8?
False
Suppose 3*c = -2*q + 187, q = c - 2*q - 55. Does 10 divide c?
False
Let n(o) = o + 14. Let p be n(-10). Suppose p = 5*q - 56. Is q a multiple of 6?
True
Suppose z + 3*i = 4*z - 99, 155 = 5*z + 5*i. Is 8 a factor of z?
True
Suppose -5*o + 16 = 3*z, 3*z - 5*o = 2*z - 8. Let j = 1 - z. Is j - 2 - (-2 - 13) a multiple of 4?
True
Suppose 4*x = -20, 0 = 3*p + 3*x - 457 - 1118. Suppose 5*b - p = -3*n, 4*n = 13 + 7. Suppose -31 + b = 4*y. Is 9 a factor of y?
True
Suppose n - 3*z = -n + 74, n - 2*z - 36 = 0. Is n a multiple of 28?
False
Suppose