w = 8 - 6. Suppose w*b = 1 - 3. Is j(b) a multiple of 4?
False
Let r(x) = -x**2 - 7*x + 10. Let m be r(-7). Suppose -5*q + m + 15 = 0. Does 4 divide q?
False
Let j(k) = k**2 - 15*k + 21. Let y be j(10). Let q = y + 92. Is 21 a factor of q?
True
Let y(w) = -13*w**2 - 1. Let q be y(-1). Let u = q - -44. Is 15 a factor of u?
True
Let r(d) = 11*d + 2. Is 15 a factor of r(8)?
True
Let w = 96 - 41. Is w a multiple of 18?
False
Suppose -3*t + 0*t = -h + 211, 4*h = -3*t + 889. Is 44 a factor of h?
True
Let x(f) be the second derivative of -f**5/10 + f**4/12 + f**3/6 - f**2 - 2*f. Let p = 17 - 19. Is 8 a factor of x(p)?
True
Suppose u + 13 = -7. Let g = 5 - u. Is g a multiple of 10?
False
Suppose 4*t - 3 = 1. Let g = 1 - t. Does 8 divide (-1 + g)*(-11)/1?
False
Let z = 154 + -102. Let m = z + -32. Suppose 0*y - 5*y = -m. Is y a multiple of 4?
True
Let u(c) = -c**2 + 10*c + 12. Let q be u(11). Suppose -q + 7 = -d. Does 3 divide 1*4/d*-6?
False
Suppose 2*c = 3*z - 0*c - 19, -c - 5 = 0. Let w(b) = -4*b + 3. Let g(n) = -2*n + 2. Let y(u) = 10*g(u) - 6*w(u). Is 14 a factor of y(z)?
True
Is (-541)/(-3) + -5 + (-33)/(-9) a multiple of 25?
False
Let y(u) = -u + 1. Let d be y(6). Let s be 39/1 - (0 + 2). Let n = d + s. Is n a multiple of 14?
False
Suppose 0*o + o = 5*b + 270, -10 = 2*o. Let m = -14 - b. Is 16 a factor of m?
False
Suppose -u + 3*u - 8 = 0. Suppose 2*b = b + u. Does 4 divide b?
True
Is 5 a factor of (-3 + 21 - 1) + -3?
False
Let k be (-2)/(3 - 2)*-12. Suppose -4*v + k = 4*x, 5*x - 3*v - 2*v - 10 = 0. Does 20 divide 872/20 + x/10?
False
Let c = 18 + -7. Is c even?
False
Suppose -41 = -a + x, 0 = 3*a + 5*x - 88 - 75. Suppose 2*t - 2 - a = 0. Is 13 a factor of t?
False
Suppose 5*b + 5*k = 215, 0 = -2*b - 3*k + 5*k + 82. Does 14 divide b?
True
Suppose -l - 227 = -5*j, j + 3*l = l + 52. Is 22 a factor of j?
False
Is 15 a factor of (-2)/(-9) + (-133)/(-9)?
True
Suppose g + 4*g = 210. Is 21 a factor of g?
True
Let j(c) = -8*c + 6. Let v(a) = -8*a + 7. Let n(p) = 5*j(p) - 4*v(p). Does 6 divide n(-2)?
True
Let l(g) = -18*g - 5 + 4 - 2. Does 11 divide l(-2)?
True
Let l(c) = -c**2 - 5*c + 3. Let f be l(-5). Suppose -2*k = f*k. Suppose k = -5*d - 2*j + j + 211, -3 = -3*j. Is 15 a factor of d?
False
Suppose x - 9 = -3*m, -2 = 4*x - 3*m + 7. Suppose x*f - 105 = -4*w - f, -4*w = 2*f - 106. Does 13 divide w?
True
Suppose -3*z + 564 = z. Is 47 a factor of z?
True
Let p be 2 + (2 - 0) + 0. Suppose 3*r - 4*c - 13 + p = 0, 5*c = 0. Is 2 a factor of r?
False
Let u(j) = -5 - j - j - 2*j. Let l(o) = -2*o**3 + 3*o**2 - o + 2. Let s be l(2). Does 8 divide u(s)?
False
Is 13 a factor of 3 + (-6 - -3)/((-6)/436)?
True
Suppose -3*s - 3*w + 2*w = -22, -s = -w - 2. Is s a multiple of 3?
True
Let k = -35 - -104. Does 18 divide k?
False
Let m = 12 - 1. Let o = 20 - m. Is 9 a factor of o?
True
Suppose 0*y = -2*y - 8. Is -18*2/y - 1 a multiple of 4?
True
Let z(h) = -h**3 + 5*h**2 + 4*h - 7. Let i be z(6). Let g = i + 25. Is g even?
True
Let s = 6 + -3. Suppose -3*j = -v + 6, -2*j - 2*j - 4 = 0. Suppose h + v*u = 28, 5*u = h - s*h + 58. Is h a multiple of 13?
False
Suppose 9 + 3 = 2*v. Is (30 + 0)*3/v a multiple of 15?
True
Let m = 2 - -4. Suppose m*w - 20 = 2*w. Suppose 0 = -3*k + 5*q + 48, -w*k + 77 = q + 25. Does 11 divide k?
True
Let t be (-3 + -57)*(-4)/(-10). Let j = 63 + t. Is 13 a factor of j?
True
Suppose 5 - 1 = -4*w. Let n(k) be the first derivative of -3*k**4/4 + 2*k**3/3 - k + 3. Is n(w) a multiple of 2?
True
Suppose 3*g = 5*i + 30 + 19, 2*g - 18 = -4*i. Suppose 3*l - 4*a - g = 7, 0 = 4*l - 2*a - 30. Is l a multiple of 8?
True
Let k(m) = m**2 + 4*m - 4. Let q be k(-4). Is -2*(q*1)/1 a multiple of 4?
True
Suppose -2*h - m = -93, -5*h + 0*m - 2*m + 234 = 0. Is h a multiple of 15?
False
Suppose 0 = g + 9*g - 410. Is g a multiple of 9?
False
Let b(h) = -17*h - 4. Is 15 a factor of b(-2)?
True
Suppose -2*o + 0*o = 0. Suppose -5*a - 2 + 12 = o. Suppose -48 = -4*r + 5*n, 0*n - 36 = -3*r + a*n. Is 12 a factor of r?
True
Let m(d) = d**3 + 5*d**2 + 2*d - 3. Suppose l + 4*g - 23 = 0, -1 = 3*l + 2*g - 4*g. Let h = -6 + l. Is 9 a factor of m(h)?
True
Let t = 7 - 3. Is t + -1 + 0 - 0 even?
False
Let j = 17 - 12. Let v be (-2)/(-8)*14*(33 - -1). Suppose -j*k + v = 34. Does 5 divide k?
False
Suppose 31 = -3*y + 4. Let z be (-3)/(y/(-6)*-1). Suppose 0 = -5*t - z*d + 53, -56 + 11 = -4*t + d. Does 11 divide t?
True
Suppose -3*o = -0*n - 3*n + 363, -o = n - 115. Does 31 divide n?
False
Let y = -12 - -8. Let i(u) = -7*u - 2. Let r be i(y). Let m = -8 + r. Is 8 a factor of m?
False
Let q(z) = -2*z - z**2 + 2*z - 6 + 4*z. Let m be q(4). Let c = m + 14. Is 4 a factor of c?
True
Let m = 7 + -6. Let i be (4/(-10))/(m/80). Is i/(-3) + 4/(-6) a multiple of 7?
False
Suppose -2*p - 2*p + 152 = 0. Is 19 a factor of p?
True
Suppose -9*k + 10*k = 3, -4*b - 3*k = -449. Is 11 a factor of b?
True
Let u(z) = z**2 - 4*z - 5. Let n = 1 - -4. Let m be u(n). Suppose 4*p - 44 = -m*p. Is p a multiple of 5?
False
Let n = 74 + -20. Does 18 divide n?
True
Let a = 9 + -13. Let w be 18/a - (-2)/(-4). Is (-2 - w) + -1 + 1 even?
False
Is 4 a factor of 111/7 + (-8)/(-56)?
True
Let b(l) = -l**3 + 6*l**2 + 4. Is b(6) a multiple of 2?
True
Let h(s) = s**2 - s - 2. Let r be h(0). Let l = r + 24. Is l a multiple of 11?
True
Let m(v) = 17*v**3 + v**2 - 2*v - 3. Is m(2) a multiple of 20?
False
Let i = -180 - -321. Is i a multiple of 7?
False
Suppose -r = -1 - 6. Let d(s) = s**2 - 6*s - 1. Is 6 a factor of d(r)?
True
Let g(d) = -2*d**2 + 7*d + 4 - d**2 + 4*d**2. Let l be g(-6). Is 2*(-6)/4*l a multiple of 3?
True
Suppose -13 = 5*r - 3*x, r + 9 = -3*r + x. Is 16 a factor of ((r - -2) + 1)*16?
True
Let b = 26 - 14. Suppose -y - 3*y + b = 0. Does 8 divide 41/y - 1/(-3)?
False
Suppose -2*q + 10 = -4*q. Let p(y) = 3*y + 7. Let u be p(q). Is 6 a factor of 4/1 - u/4?
True
Let x(g) = g**3 - 6*g**2 + 13*g - 10. Does 7 divide x(6)?
False
Let q(s) = 2 + 11*s - 21*s + 1 - 2. Suppose 4*i + 4*j + 16 = 0, -3*i + i - 5*j - 17 = 0. Is 11 a factor of q(i)?
True
Let p(x) = x**3 - 6*x**2 + 5*x. Let d be p(6). Let m(z) = z**3 + 3*z**2 - 4*z. Let q be m(-4). Let o = q + d. Does 15 divide o?
True
Let a(s) = s**3 - 7*s**2 - 8*s + 6. Suppose -3*x = x - 96. Suppose -v - x = -4*v. Is 3 a factor of a(v)?
True
Let j(q) = -q + 2. Let d be j(0). Suppose 0 = d*s - 18. Does 9 divide s?
True
Let l = 29 + 10. Does 10 divide l?
False
Let n(t) = t + 17. Let z be n(-8). Let j(v) = 0 + 2*v + 1 + 1. Does 7 divide j(z)?
False
Let k(n) = -4*n**3 - n**2 + 2*n - 2. Does 13 divide k(-3)?
True
Let x = 7 - -2. Suppose 0 = 3*c - x, -22 = -k - 2*c + 4*c. Is 14 a factor of 400/k - 2/7?
True
Let d = 39 + 3. Is 12 a factor of d?
False
Suppose 4*x = -18 - 6. Let l = x - -8. Suppose 2*u + 3*p - 49 = 0, -3*u - l*p = -76 - 5. Does 10 divide u?
False
Suppose -h = -5*h. Suppose 0 = -3*a + 6*a. Suppose a = -h*f - 4*f + 52. Does 13 divide f?
True
Let o(h) = -h - 6. Let k = 21 - -5. Let p = -36 + k. Does 4 divide o(p)?
True
Let l(v) = -4*v - 25. Does 12 divide l(-11)?
False
Suppose d + 3 = 2*d. Suppose 3*q = -n + 69, -2*n = -3*n - d. Does 12 divide q?
True
Is 9 a factor of 188/2 + (-3)/(-21)*7?
False
Let g(j) = -j**3 - 2*j**2 + j. Let m be g(-3). Let u = 21 - m. Does 15 divide u?
True
Let l = -255 + 364. Suppose -4*q - 41 = -l. Suppose -59 = -3*f - q. Is f a multiple of 5?
False
Let z(x) = 2*x - 7 - 3*x + 2*x**2 - 2*x + 3. Is z(-4) a multiple of 13?
False
Let d(y) = 89*y**2 + 7*y - 6. Let i be d(4). Let s be (-4)/10 + i/15. Suppose t - 4*t = -s. Is 16 a factor of t?
True
Let i = 87 - 57. Is i a multiple of 15?
True
Is (48/36)/((-1)/(-30)) a multiple of 10?
True
Let u = -116 - -210. Is u a multiple of 12?
False
Suppose 2*o = -1649 - 61. Let x be 2/8 + o/(-20). Suppose 3*m + 1 = x. Is 14 a factor of m?
True
Does 5 divide (-268)/(-22) + (-4)/22?
False
Let c = -204 - -301. Is c a multiple of 28?
False
Is 0 + 1 - (-840)/14 a multiple of 21?
False
Suppose -5*p = -3*p - 6. Suppose -g = -p - 1. Suppose g*z = 5*w + 173 - 19, 5*z - 186 = 3*w. Is z a multiple of 16?
False
Let f = -51 + 82. Suppose w = h + f, -h - 22 = 4*w - 161. Is w a multiple of 17?
True
Let g be -1*((150 - -3) + -2). Does 11 divide (-3)/(-2) + g/(-2)?
True
Suppose 3*h + 4*f = h + 212, 0 = -4*h + 2*f + 384. Let j = 98 + h. 