s 17 a factor of r(-1)?
True
Let w be 285/2*16/6. Let z = -250 + w. Suppose 7*o - z = -5*a + 3*o, 76 = 3*a + 2*o. Does 17 divide a?
False
Suppose 0 = -5*t + j - 449, 3*j - 111 + 455 = -4*t. Let p = -33 - t. Suppose 5*z - p = -2*v - 0*v, 0 = v - 3. Does 7 divide z?
False
Is 2/(-3)*(-243)/18 a multiple of 8?
False
Let r = -379 + 652. Is r a multiple of 28?
False
Let g be -6 + 4/10*5. Does 12 divide (g/(-6))/(6/639)?
False
Let h = -5 - -13. Let w = h - 4. Suppose -w*v - 16 = 0, t + 2*v = -3 + 1. Does 5 divide t?
False
Let l(c) = -c**3 + 2*c + 2*c + 2*c**3 + c**2 - 7 + 7*c**2. Let p be l(-5). Suppose j + p = 4*j. Is 16 a factor of j?
True
Let c be 2/(-5) - (-235)/25. Let h(z) = z**2 - 5*z - 1. Is h(c) a multiple of 10?
False
Let g = 582 - 312. Suppose g = -l + 4*l. Suppose -i = i - l. Does 15 divide i?
True
Let x = 773 - 542. Suppose 5*u - 64 = -5*d + x, -3*u + 2*d + 162 = 0. Is 19 a factor of u?
False
Suppose -2*c = -0*c + 2, w = c + 35. Let r be (-3 - w/(-10))*25. Suppose -6 = -3*f - 3*k, 0 = -4*f + k + r + 3. Is 2 a factor of f?
False
Let w(x) = -2*x**2 + 4*x - 2. Let i(g) = -g**2 + g - 1. Let z(m) = -3*i(m) + w(m). Is 9 a factor of z(4)?
False
Let u = 16 + 60. Does 19 divide u?
True
Let z = 29 + -11. Is z a multiple of 5?
False
Let g = 71 - 59. Is 12 a factor of g?
True
Does 37 divide 74/(-3)*108/(-24)?
True
Suppose 6*m - 10*m + 64 = 0. Is 6 a factor of m?
False
Suppose 324 - 130 = 2*h. Let g = h + -65. Is g a multiple of 14?
False
Let h(v) = 6*v**2 + 2*v + 3. Let d(n) = -n + 1. Let s be d(3). Is h(s) a multiple of 18?
False
Suppose 198 = 3*j - a - 80, -5*a - 286 = -3*j. Suppose -g - 3*g = -j. Is g a multiple of 22?
False
Let x(v) = 2*v**2 + 6*v. Is 34 a factor of x(-13)?
False
Suppose -n - 1 + 5 = 0. Suppose -q + 37 = -3*z + n*q, 4*z + 60 = -4*q. Is z/(2 - 15/6) a multiple of 14?
True
Suppose 5*f = 2*r - 0*r + 16, 2*f = 4*r + 16. Suppose -f*l + 25 = -5*k, 0 = -l - 4*k + 61 - 16. Is l a multiple of 7?
False
Suppose 0 = 3*i - 5*s - 140, -s = i - 0*s - 52. Is 10 a factor of i?
True
Suppose 3*h - 242 = -53. Let c = h - 36. Is 6 a factor of c?
False
Suppose g - 4*b - 17 = 0, -5*b = -4*g + 19 + 27. Let l(w) = 7*w**2 + 12*w**2 + 12 + 3*w - 28*w**2 + w**3. Is 18 a factor of l(g)?
False
Suppose -3*m = 3*p - 159, 194 = 3*p + p - 5*m. Let d be (p/15 - -1)*5. Suppose 5*s = 8 + d. Does 6 divide s?
True
Suppose 4*x + 0*x + 71 = a, -2*a + 3*x + 122 = 0. Suppose -4*r + 331 = a. Is -2 - r/(3/(-1)) a multiple of 7?
True
Let s = -4 - 5. Suppose 0*y = -2*y - 14. Does 10 divide (y - s)*15/2?
False
Suppose -290 - 23 = -5*z + 2*s, z - 5*s = 58. Suppose -v - 10 = -4*p + 6, -4*p - 4*v = 4. Suppose w + 2*w - z = 3*a, -61 = -p*w + 4*a. Is 7 a factor of w?
False
Let y = 96 - 54. Is y a multiple of 14?
True
Suppose 0 = -y - 2*y - 57. Let j(w) = w**3 + w**2 - 4*w + 4. Let s be j(3). Let h = s + y. Does 4 divide h?
False
Let r(c) = -8*c - 18. Is 10 a factor of r(-6)?
True
Suppose 0 = 32*q - 28*q - 292. Does 32 divide q?
False
Let s = -8 + 80. Is 24 a factor of s?
True
Let u(m) = -m - 6. Let h be u(0). Let o(d) be the third derivative of d**5/30 + 7*d**4/24 - d**3/3 - 6*d**2. Does 11 divide o(h)?
False
Suppose 3*p = 94 + 95. Is 21 a factor of p?
True
Is 11 a factor of (9/(-18))/((3/(-144))/1)?
False
Let r = 4 + -4. Let o(l) = -l**2 + l + 14. Let i be o(r). Let v = 0 + i. Does 7 divide v?
True
Let g(w) = -w**2 + 4*w + 3. Let u be g(4). Suppose -n - x + 4 = 0, -3*x = u*n + n - 15. Is n even?
False
Let g(f) be the third derivative of -f**5/120 - f**3/2 + f**2. Let h(o) be the first derivative of g(o). Is h(-8) a multiple of 3?
False
Let a = 5 + 30. Is 7 a factor of a?
True
Let r = 693 + -474. Is r a multiple of 23?
False
Let x = 8 - 6. Suppose -2*v - x*v + 168 = 0. Is 13 a factor of v?
False
Let a(m) = -3*m**3 - 6*m**2 - 16*m. Is 16 a factor of a(-4)?
True
Let z(g) = 5*g**2 + 7*g - 7. Let r(w) = 4*w**2 + 6*w - 6. Let p(n) = -7*r(n) + 6*z(n). Does 5 divide p(-3)?
False
Let v be 2 - (-1)/((-1)/(-2)). Suppose v*w + 2*y - 22 = -6, 0 = 4*w - y - 4. Suppose 5*k + w = 22. Is 3 a factor of k?
False
Suppose -108 = -d + 2*o, d - 4*o - 82 = 34. Is 11 a factor of d?
False
Let y = -32 - -59. Is 17 a factor of y?
False
Let c = -79 + 148. Is 15 a factor of 1/2*(c - -5)?
False
Suppose 0 = -4*n - 0*n + 8. Suppose 7*y + 15 = n*y. Is 11 a factor of (-94)/(-8) + y/4?
True
Let b = -12 + 4. Let h be (-8)/(-6)*(-12)/b. Suppose -2*w = -2*t - 88, w - 34 = -6*t + h*t. Is w a multiple of 14?
True
Suppose 344 = 4*z - 132. Does 29 divide z?
False
Let w be ((-24)/(-30))/(2/(-25)). Does 11 divide 15/w*(1 - 11)?
False
Let i(h) = 8*h - 4. Let y(k) = -k - 3. Let m be y(-7). Suppose -m*a = -0*a - 12. Is 10 a factor of i(a)?
True
Suppose -5*i - 2*y - 39 = y, 4*i - 5*y + 9 = 0. Let x(s) = -8*s + 3. Let b(r) = 9*r - 3. Let j(z) = i*x(z) - 5*b(z). Is j(2) a multiple of 3?
True
Let f(y) = -2*y**2 + 3*y**2 + y**3 - 7*y - 10*y**2. Does 15 divide f(10)?
True
Let p be 86/(-5) + (-2)/(-10). Let a = -11 - p. Does 18 divide 376/a - (-18)/(-27)?
False
Suppose -456 = -0*j - 8*j. Is 19 a factor of j?
True
Suppose a + 2*a - 1 = 4*i, -10 = -5*i. Suppose -4*w = -9*w - a*s - 16, -17 = 4*w + s. Is 13 a factor of (-186)/(-5) - (-1)/w?
False
Suppose -4*s - 1 + 57 = 0. Suppose 2*r = 0, r + s = 2*z - 3*r. Is 2 a factor of z?
False
Let q(i) be the second derivative of 5*i**4/12 + i**3/6 + i**2/2 - 2*i. Is 19 a factor of q(-2)?
True
Let w(f) = -f**3 - f**2 + f. Let m(o) = o**3 + 8*o**2 - 9*o - 7. Let b(z) = -m(z) - 2*w(z). Does 27 divide b(6)?
False
Suppose 0*p - 5 = -p. Suppose p*o = 2*n - 0*o - 21, -2*o - 9 = -n. Suppose -5*a + 99 = -z - 6, -5*a = n*z - 105. Does 21 divide a?
True
Suppose n - 174 = -3*l, n + 854 = 6*n - l. Suppose n - 31 = 4*i. Is 11 a factor of i?
False
Suppose 1 = -3*d + 2*a - 1, -4*d - 5*a = -5. Suppose 2*t + 3*t - 35 = d. Is 2 a factor of t?
False
Let j(u) = -10*u**2 - 6*u + 5. Let p(d) = -d + 1. Let r(y) = -j(y) + 6*p(y). Is 10 a factor of r(1)?
False
Is 6 a factor of -5 - -9 - -8 - (-1 - -2)?
False
Let q(j) = 15*j. Suppose 0 = -f + 3*x + 10 - 0, 5*f - 5*x - 30 = 0. Suppose 0 = f*i - i - 3. Is 6 a factor of q(i)?
False
Suppose -3*f = 2*f - 50. Let h be 3/(-1) + f/2. Is (0 + h)/((-1)/(-10)) a multiple of 7?
False
Suppose 0 = 2*w - 3*p - 0*p - 15, -5*p = -2*w + 21. Suppose 6*d - 150 = w*d. Does 16 divide d?
False
Is 3 a factor of 3*(4 + -2 + 2)?
True
Let t = 7 + -5. Let l(w) = 2*w**2 - 13*w + 13. Let c be l(9). Suppose -5*b + c + t = 0. Is 6 a factor of b?
True
Let o(z) = 36*z + 20. Does 16 divide o(3)?
True
Suppose 0 = -18*o + 15*o + 48. Is o a multiple of 4?
True
Let n(o) = o + 11. Let f be n(-7). Suppose 225 = f*p - 35. Does 13 divide p?
True
Let t(o) be the third derivative of -o**6/120 + o**5/15 + 5*o**4/24 - 2*o**3/3 - 3*o**2. Suppose -4*i - 5*g + 11 = 0, 9 = i - g - 4*g. Is t(i) a multiple of 9?
False
Let v(t) = -2*t + 11. Is 14 a factor of v(-9)?
False
Let m(q) be the third derivative of 13*q**4/24 + q**3/6 + 2*q**2. Is m(4) a multiple of 10?
False
Let t(n) be the second derivative of -n**4/12 - n**3 - 3*n**2/2 + 2*n. Let a be t(-5). Suppose -136 = -4*x - 2*g + 5*g, a*g = -x + 23. Does 22 divide x?
False
Let l = 10 - 8. Suppose l*m - 5*b - 43 = 0, 9 + 12 = m - 3*b. Is 21 a factor of m?
False
Suppose 0 = -5*n + q + 48, -2*q = n - 0*n - 3. Does 3 divide n?
True
Suppose 4*n = -2*n + 258. Is n a multiple of 8?
False
Suppose -4*v - 3 + 15 = 0. Let x = v + -1. Does 4 divide (-2)/4 - (-11)/x?
False
Let d be -2*-1*(-2)/(-1). Suppose -2*j + d = 2. Let g = j + 26. Is 9 a factor of g?
True
Is 3*59*(14/6 + -2) a multiple of 11?
False
Suppose -2*h + 6*h + 72 = 0. Suppose 5*a + 3*x - 2*x - 260 = 0, 5*x = -a + 52. Let o = a + h. Does 17 divide o?
True
Suppose y - o = 2*o, 0 = y + 5*o + 16. Let m(a) = 2*a**2 + 9*a + 6. Is m(y) a multiple of 8?
True
Suppose -2*h - 3*h + 15 = 0. Suppose -n + 20 = h*n. Is 3 a factor of n?
False
Suppose -42*n + 37*n = -520. Is n a multiple of 26?
True
Is 36 a factor of ((-3)/(-2))/((-7)/(-168))?
True
Let l = -42 + 66. Let n = 54 - l. Does 10 divide n?
True
Let z(x) = -7*x**3 - x**2 + x + 1. Let d(m) = -m**3 - 6*m**2 + m + 5. Let h be d(-6). Does 6 divide z(h)?
True
Let t(m) = -m - 3. Let c be t(0). Let i = -3 - c. Suppose i = -5*a - 0*a + 55. Does 8 divide a?
False
Let z = 9 + -5. Suppose