t(w) a multiple of 2?
True
Let l(t) = t + 8. Let w be l(-7). Suppose -4*x + 33 = -3*r, -r - 7 = -x + r. Suppose -x = -4*b - w. Is b even?
True
Let o(y) = -3*y + 4. Let j be o(6). Is j/(-21) + (-58)/(-3) a multiple of 10?
True
Let i(d) = -4 + 0*d**2 + 1 + 2 + 4*d + d**2. Is i(-7) a multiple of 10?
True
Let n(i) = -i**2 + 5*i + 1. Let q be n(4). Let g = 7 - q. Does 16 divide 20 + 1/g*0?
False
Is (26 - 1) + -16 + 13 a multiple of 11?
True
Let t = -6 + 6. Let a = t + 0. Does 11 divide a/(3/(-3)) + 13?
False
Let n(a) = a + 99. Is 20 a factor of n(0)?
False
Is 11 a factor of 132/10*3/(45/50)?
True
Let p(a) = -3 - 5*a**2 + 0*a + a**2 + 5*a**2 + 2*a. Is p(2) a multiple of 5?
True
Suppose -83 + 248 = 3*y. Does 15 divide y?
False
Let t(x) = x**3 + 11*x**2 - 16*x - 9. Does 4 divide t(-12)?
False
Let j be 0*(-1)/2*-2. Suppose -g = -j*g. Suppose -h = -g*h - 14. Is h a multiple of 14?
True
Let d(a) = -a**3 - 4*a**2 - 7*a - 1. Is d(-5) a multiple of 7?
False
Let f be 19/2 + 1/(-2). Is 8/(3/f*1) a multiple of 7?
False
Suppose -l + 5*l = 56. Let h be 1 + -1 + l/2. Suppose 0 = 5*k - h - 33. Is k a multiple of 4?
True
Let l = -28 + 38. Is l a multiple of 10?
True
Let u(k) = k**2 + 9*k + 5. Does 35 divide u(-12)?
False
Let r be (-4)/6 - 2/(-3). Suppose r = 2*m - 3*m + 51. Is 17 a factor of m?
True
Suppose x - 8 + 2 = -2*j, -j - x = -2. Does 6 divide j - (-1 + 3/(-3))?
True
Suppose -i + 60 = -3*i. Does 19 divide (-378)/(-10) + (-6)/i?
True
Suppose f = -4*x - 48, -3*f = -4*x - 2*f - 56. Let l = x - -43. Suppose -2*k + 4 + 8 = -y, -5*k - y = -l. Is 6 a factor of k?
True
Let g = -40 - -69. Does 5 divide g?
False
Let z = 209 + -124. Suppose 4*b = z - 5. Does 13 divide b?
False
Suppose 0 = 2*n + f - 1, -2*n - 2*f - 2*f = -4. Suppose -5*v + 168 - 33 = n. Is 10 a factor of v?
False
Suppose 0 = -3*u + 104 + 85. Let c = -42 + u. Is 7 a factor of c?
True
Let n(x) = -2*x**3 + 5*x**2 + x + 12. Let h(s) = s**3 - 2*s**2 - s - 6. Let p(v) = -7*h(v) - 4*n(v). Is 6 a factor of p(6)?
True
Let t(s) = s**3 - 5*s**2 - 4*s - 1. Let y be t(5). Let m = y - 11. Let g = m + 45. Is g a multiple of 5?
False
Suppose 0 = -u - 3, 0 = -3*a - 0*a + 3*u + 99. Suppose -3*p - 177 + a = 0. Let o = p + 90. Is 23 a factor of o?
False
Let d = -10 + 8. Is d/4 - 45/(-10) a multiple of 2?
True
Let m(g) = -9*g**3 - g**2 - g. Let b be m(-1). Is 17 a factor of (53/(-2))/(b/(-18))?
False
Let q(i) = -2*i - 1. Let c be q(-11). Suppose -z = -0*z - 5. Suppose z*b = -v + 75, -b = -4*v + 3*v - c. Is 7 a factor of b?
False
Let v be 7/5 - (-6)/10. Let b be 688/18 - v/9. Suppose 0 = -n - 5*w + 9 + b, 64 = 2*n + 4*w. Does 19 divide n?
False
Suppose -4*z = -2*z. Suppose y + 2*r = 1, -4*r + 33 = 5*y - r. Suppose 3*f - g - y = z, 5*f + 4*g + 0 = -2. Does 2 divide f?
True
Let c(j) be the first derivative of 5*j**4 - j**2 + j + 1. Is 19 a factor of c(1)?
True
Let b = 52 + -25. Is 6 a factor of b?
False
Suppose -x - 3 + 13 = 0. Let j(y) = 6*y + 1 + 4*y - 7*y. Does 15 divide j(x)?
False
Let m(l) be the first derivative of l**4/4 + 2*l**3 + 5*l**2/2 + 2*l - 2. Let j be m(-4). Suppose -2*p = 3*t - 13 + 2, -3*p - 5*t + j = 0. Is p a multiple of 9?
False
Let c(s) = 3*s**2 - s**2 - 8*s - 2*s**2 - s**2 - 6. Is c(-5) a multiple of 9?
True
Let d(y) = -4*y**3 - 4*y**2 - 3*y - 2. Let k = 9 + -11. Is d(k) a multiple of 14?
False
Suppose -5*u + 245 = -0*u. Let y = 79 - u. Is y a multiple of 15?
True
Let f(o) = -o**3 - o + 1. Let c(r) = 5*r**3 - 4*r**2 + 6*r - 5. Let q(x) = c(x) + 4*f(x). Let y(t) = t**2 + 8*t - 4. Let u be y(-9). Does 17 divide q(u)?
True
Suppose -2660 = -16*q - 3*q. Is q a multiple of 5?
True
Suppose 2*i - 3*q = -0*i + 162, 0 = 2*q. Is 27 a factor of i?
True
Let n(j) = j**3 + 8*j**2 + 11*j - 7. Is 3 a factor of n(-5)?
False
Let q = 53 - -92. Is q a multiple of 29?
True
Let c(y) = y**2 + 6*y + 8. Is 12 a factor of c(-7)?
False
Suppose 0 = -0*g + g - 18. Is 16 a factor of g?
False
Let f(w) be the second derivative of w**5/20 - 3*w**4/4 + 5*w**3/6 + 9*w**2/2 + 5*w. Does 20 divide f(9)?
False
Let k(b) = b**3 + 5*b**2 - b - 3. Let r be k(-5). Suppose -i = -3*f, 0 = -i + 5*f + r - 4. Let g(x) = 3*x**2 - 3*x - 1. Is 8 a factor of g(i)?
False
Suppose -q + 144 = 5*n, 527 + 343 = 5*q - 5*n. Does 53 divide q?
False
Suppose -f + 0*n = -2*n + 6, 3*f + n = 17. Suppose 0 = 5*i + 5*a + 10, a - 22 = -5*i + f*a. Is 2*(i - 3) + 8 a multiple of 5?
False
Let x = -87 + 131. Does 41 divide x?
False
Let z be -2 - -1*(-1 - -5). Suppose -4*g + w + 10 = -z*w, -7 = -5*g + w. Suppose 3*f + 11 = -g, -8 = -4*q - 3*f. Does 4 divide q?
False
Suppose -3*d + 4*d = 2. Suppose -2*b - 64 = -5*s, -d*b = -6*s + 3*s + 36. Is s a multiple of 5?
False
Let i = 12 - 10. Does 15 divide (20/i)/((-7)/(-35))?
False
Let o(k) = 12*k - 4. Is 16 a factor of o(3)?
True
Suppose -2*u = 3*u - 390. Is u a multiple of 26?
True
Does 9 divide -18 - -17 - 112/(-2)?
False
Suppose -4*h + 22 = -d, 0*h - 5*h + 3*d + 24 = 0. Let j = h - 6. Suppose -3*o - 2*o + 25 = j. Does 2 divide o?
False
Suppose 4*w - 195 - 66 = -3*v, w - 69 = -2*v. Let d = -42 + w. Is 21 a factor of d?
True
Let h = 67 + -32. Does 10 divide h?
False
Let q = -12 - -27. Let w = -5 + q. Is w a multiple of 8?
False
Let i = -9 - -12. Suppose -z - 308 = i*z. Let a = -47 - z. Is a a multiple of 10?
True
Let c(s) = -s**3 - 9*s**2 - 2*s - 2. Let t be c(-9). Let o = t + -26. Is 2/o - 264/(-20) a multiple of 13?
True
Let x(w) = -w**3 + 13*w**2 + w - 9. Let p be x(13). Suppose -2 = 2*v, -24 = -p*h + 3*h - 4*v. Suppose -h = -4*g - 0*g. Does 2 divide g?
False
Let l = 1 + -4. Let s = 9 + l. Suppose -22 = -a - s. Does 16 divide a?
True
Suppose -2*z + 35 = -273. Suppose 0*g = -3*k - g + z, -4*g + 157 = 3*k. Does 17 divide k?
True
Let f(p) = -5*p**2 + 5*p**2 + 10*p**2. Suppose 2 = -2*t - 4*q - 0*q, 0 = 5*t + 3*q + 5. Does 4 divide f(t)?
False
Let a(x) = 3*x + 4*x**2 + 0*x - 2*x**2 + 3. Let p be a(-2). Does 4 divide 2/(-10) + 31/p?
False
Let j(o) = -3*o**3 + 4*o**2 - 4*o - 7. Let i(p) = -p**2 + p + 1. Let w(h) = -6*i(h) - j(h). Let c = -6 + 8. Does 10 divide w(c)?
False
Let b(j) = -6*j**3 + 2*j**2 + 5*j + 1. Let p(r) = 4*r**3 - 4*r + 0*r**3 + r**3 - r**2 - 1. Let i(y) = 4*b(y) + 5*p(y). Is i(-2) a multiple of 2?
False
Suppose -3*q + 4 + 11 = 0. Suppose 14 = c - q*h, 0 = 4*c + 3*h - 90 - 35. Does 11 divide c?
False
Is (-1367)/(-13) - (-6)/(-39) a multiple of 21?
True
Let z = 777 + -441. Is 12 a factor of z?
True
Suppose 5*l = -4*n + 46, 2*l + 1 - 5 = 2*n. Let q(j) = -6*j + 4. Let h be q(l). Let s = 57 + h. Does 19 divide s?
False
Let v(w) = w**2 - 2*w - 9. Suppose 0 = 3*i + 3 + 15. Is 13 a factor of v(i)?
True
Suppose -5 = 2*c - 3*c. Suppose z + q = -z + 8, c*q = 20. Suppose 0 = -z*u - 9*t + 4*t + 43, 2*u - 25 = t. Is 7 a factor of u?
True
Let j(f) = -4*f**3 - f**2 + 1. Let o be j(-1). Suppose -4*l = 4*i - 32, 0 = -o*l - i - i + 32. Is l a multiple of 8?
True
Let z = -1 - -4. Suppose -8 = -3*a - 4*l + 8, -4*a - 12 = -z*l. Suppose -4*j = 7*f - 4*f - 22, a = -2*j + f + 6. Is j a multiple of 4?
True
Is (-3)/5 + 7338/30 a multiple of 25?
False
Let k(z) = z**2 + 8*z + 31. Does 26 divide k(-13)?
False
Suppose 37 = b - 27. Does 39 divide b?
False
Let r be -32 - 7 - 0/(-2). Let w = r - -69. Is 12 a factor of w?
False
Let w = 14 + 0. Suppose -83 = -3*t - w. Is t a multiple of 23?
True
Suppose -126*m + 750 = -121*m. Does 50 divide m?
True
Let m(o) = o**2 + 4*o + 1. Let a be m(-2). Let k(u) be the second derivative of -u**5/10 - u**4/4 + 2*u**2 + 9*u. Does 19 divide k(a)?
False
Let w = 15 + -13. Suppose l + 3*a = 28, -3*l + w*a = -a - 72. Is 4 a factor of l?
False
Suppose 5*r + 37 + 13 = 0. Let c be r/(-4)*16/5. Suppose 0 = -2*z + 20 + c. Is 14 a factor of z?
True
Suppose 6 = w - 37. Does 11 divide w?
False
Let b = -14 - -6. Let f be 58/3 + (-20)/(-30). Let z = b + f. Is 7 a factor of z?
False
Suppose 0 = -26*t + 31*t - 210. Is t a multiple of 16?
False
Let z = 8 - 20. Let a be 976/z - 2/3. Let o = -51 - a. Does 11 divide o?
False
Let y be (-16)/((-5)/((-50)/(-4))). Suppose 4*i + i = -y. Is (12/i)/((-2)/4) a multiple of 3?
True
Let r = -597 + 886. Does 43 divide r?
False
Let f be ((-30)/(-25))/((-9)/120). Is f/12*(-1 - 14) a multiple of 12?
False
Let z be 1*((-3 - 69) + 3). Let s = z + 123. Is 9 a factor of s?
True
Let x = -12 + 14. Suppose -