j(-7). Is 17 a factor of y(z)?
False
Let c(s) = -s**3 + 3*s**2 + s + 1. Let q be c(3). Suppose -5*l + 24 = q*n - 55, l - 27 = 2*n. Is l a multiple of 16?
False
Suppose -p - 20 = p. Let b be p/(-1)*(3 - 4). Is -1*(b - 1) - -1 a multiple of 5?
False
Suppose 0 = r - 4*q - 5, 0 = -5*r + 3*q - 8 - 35. Let p = 25 + r. Is p a multiple of 12?
False
Let s(k) = k - 1. Let l(i) = -3*i - 12. Let b(r) = -l(r) + 4*s(r). Is 18 a factor of b(9)?
False
Let r = 7 + -28. Does 9 divide 2 - (r/3 + 0)?
True
Let b(z) = -z + 104. Let p be b(0). Let y = p - 56. Is y a multiple of 18?
False
Let g = -9 + 86. Is g a multiple of 11?
True
Suppose -9*t = -5*t - 1080. Is t a multiple of 30?
True
Suppose -2*d - 9 = 3*f - 3, 6 = 2*d - 3*f. Suppose 3*a - 81 = -d*a. Does 9 divide a?
True
Let i be (-4 - 2)*2/(-3). Suppose i*d - 2 - 6 = 0. Suppose -d*t + 80 = 3*t. Does 14 divide t?
False
Let i(o) be the second derivative of o**3/3 - 3*o**2 + 2*o. Let h be i(5). Is 19 + (2 - (-1 + h)) a multiple of 9?
True
Let u(a) = -16*a**2 + a + 1. Let w(m) = 31*m**2 - 3*m - 2. Let f(j) = -7*u(j) - 3*w(j). Let r be f(2). Let z = -54 + r. Does 7 divide z?
False
Suppose 90 = -3*h + 5*h. Let n = -5 + 10. Suppose -n*k = -h - 135. Is 14 a factor of k?
False
Let w = 2 - 0. Let l(a) = 4*a - 1. Let n be l(w). Suppose -4*x + n*x = 63. Is 11 a factor of x?
False
Let h = 10 + -7. Let u(k) = -k**3 - 7*k**2 - 4*k + 3. Let y be u(-8). Suppose 0*m + 4*m + o = 95, 4*m = h*o + y. Is m a multiple of 12?
True
Suppose x = 4*d - 83 - 172, 0 = d - 2*x - 62. Is 13 a factor of d?
False
Let p(x) be the second derivative of -x**5/20 - x**4/3 - 5*x**3/6 + x**2 - 3*x. Is p(-5) a multiple of 16?
False
Suppose 0 = 4*x - 0*x - 180. Is 15 a factor of x?
True
Suppose 6*c = c + 2*t + 15, 5*t = -3*c + 9. Suppose 4*v = c + 5. Does 13 divide 0 + v*(11 - -2)?
True
Suppose k + 2*z = 7, -2*k = -k + 3*z - 9. Let i = k - 7. Let l = i + 38. Does 17 divide l?
True
Let z(d) = -3*d**2 + 7*d - 2. Let m(a) = -a**2. Let b(w) = -2*m(w) + z(w). Does 4 divide b(4)?
False
Suppose 0 = -t - 16 + 41. Let p = t - 6. Is p a multiple of 11?
False
Let c be (10/(-4) - -2)*16. Let g(m) = -m**2 - 8*m - 2. Let v be g(c). Is (-2 - (0 + v)) + 17 a multiple of 9?
False
Let r = 27 - -42. Is r a multiple of 11?
False
Let b = -71 - -38. Let k = b - -47. Does 8 divide k?
False
Let t = -10 - -13. Suppose w - 22 - t = 0. Is 13 a factor of w?
False
Let o = -7 - -7. Suppose -3*y = 4*u - o*y - 15, 2*y = -u + 5. Is (17/u)/((-2)/(-6)) a multiple of 17?
True
Suppose -7 = -y + 14. Is 7 a factor of y?
True
Suppose -14*x = -3*x - 2585. Does 47 divide x?
True
Suppose 6 = 5*p + 1. Let l(g) = -2*g + 5*g + 14*g**2 - 2*g. Is l(p) a multiple of 12?
False
Let b be (-3 + 4)*(2 - 2). Let f = b - -26. Is f a multiple of 13?
True
Let h(z) = z**3 - 5*z**2 - 7*z + 8. Let l be 8 + -2 + 0/(-2). Let k be h(l). Suppose o = k*o - 21. Does 10 divide o?
False
Suppose 4*r - 11 - 296 = -5*w, 5*r = -2*w + 388. Is r a multiple of 26?
True
Suppose -2*n - 3*u = -38 - 122, -4*n - 3*u + 314 = 0. Suppose 2*r = k + 29, -5*r - k + 2*k = -n. Does 5 divide r?
False
Let h = -3 + 7. Let s = h + -2. Does 2 divide s?
True
Let j = 6 - -135. Does 23 divide j?
False
Suppose -3*t + 0*f - 3*f + 12 = 0, 10 = 2*t + 3*f. Does 25 divide (-4)/8*t*-40?
False
Let s(i) = -7*i**2 + 17*i - 5. Let w(n) = -13*n**2 + 33*n - 10. Let c(l) = 11*s(l) - 6*w(l). Let f be c(11). Suppose 0 = -f*z + 277 - 67. Does 21 divide z?
True
Let h(z) = z**2 + 5*z - 2. Let l be h(-6). Is l/(-2)*-24 + 0 a multiple of 24?
True
Suppose -2*x + 6 = 0, -2*t + 4*x = t + 27. Let g(v) = v**2 + 5*v + 12. Is g(t) a multiple of 4?
True
Suppose 0 = -u + 5*r + 44, 3*u - 169 + 3 = -2*r. Does 9 divide u?
True
Is (-3 + 21)/1 + -4 a multiple of 11?
False
Suppose 0 = 53*o - 56*o + 87. Is 9 a factor of o?
False
Suppose 3*o - 61 - 119 = 5*i, 4*i + 120 = 2*o. Let j = o + -35. Does 9 divide j?
False
Let j(w) = -2*w**3 - 4*w**2 + 6*w - 14. Is 38 a factor of j(-6)?
False
Let i be (-1)/(-3) + 249/9. Let o = -15 + i. Suppose -2 = -3*a + o. Is a a multiple of 4?
False
Suppose -3*f - 4 = f. Let q be 2 + f + 1 + -4. Is 12 a factor of (q + -50)/(1 - 3)?
False
Let n(k) = 7*k + 1. Let r be n(5). Does 7 divide (14/8)/(3/r)?
True
Let t be (-46)/(-4) - 2/4. Let u = 15 - t. Is ((-6)/u)/(6/(-152)) a multiple of 19?
True
Let d be 2 + -2 + 1/1. Let c = d + 2. Suppose c*k - 84 = -k. Is k a multiple of 6?
False
Suppose 3*l - 2*l - 59 = 0. Does 26 divide l?
False
Suppose -5*o + 2*o = 0. Let h = -2 + o. Is ((-1)/(-1))/(h/(-20)) a multiple of 5?
True
Let l = -131 + 203. Is l a multiple of 36?
True
Let c(d) = -48*d - 2. Let o be c(-2). Suppose -3*y + 56 = -o. Let l = -16 + y. Does 10 divide l?
False
Let o = 4 - -53. Is o a multiple of 4?
False
Let m(d) = 5*d - 16. Does 10 divide m(13)?
False
Let u = -2 - -5. Suppose -u*y + 2*y + 24 = 0. Is 12 a factor of y?
True
Suppose 0 = -0*x + 2*x. Suppose x = 5*b - 90 - 10. Is 10 a factor of b?
True
Let m = 8 + -4. Let f = -13 + 17. Suppose -m = -2*p + f. Is p even?
True
Suppose y - 16 = 3*y. Does 12 divide (-436)/(-18) - y/(-36)?
True
Let q(r) = -r**3 - r**2 - r + 5. Let v be q(0). Suppose v*c - 5 = 4*c. Suppose c*t = 5*a + 15, -8*t + 4*t - 3*a = -47. Is 5 a factor of t?
False
Suppose 0 = -3*x - 2*p - 6, 4*x - p + 4*p + 9 = 0. Suppose 2*q - t = 2, 8 = 5*q - 2*t + t. Let u = q + x. Is 2 a factor of u?
True
Let o(k) be the third derivative of -k**4/24 + 2*k**3 + k**2. Does 5 divide o(7)?
True
Suppose -3*v = 2*v - 65. Suppose -t + i + 63 = t, 2*t - 61 = -i. Suppose -v - t = -2*r. Is r a multiple of 9?
False
Suppose -3*b = -4*z - 6*b - 39, 0 = -5*b + 15. Let f = z + 31. Does 19 divide f?
True
Let y be (5 + -6)/(2/(-4)). Let w be -4*(-1 + y)/1. Let i(n) = 2*n**2 - n + 2. Does 14 divide i(w)?
False
Let w be 16/7 + (-2)/7. Suppose -4*t - 2*h = -8, -w*h = 4*t + 3*h - 8. Suppose -t*k - 90 = -5*s, -7*s + 2*s - 5*k = -55. Is s a multiple of 10?
False
Suppose -3*v - 99 = -6*v. Does 9 divide v?
False
Let o = 4 - 0. Suppose -4*s - 12 = -o. Is 11 a factor of (-33)/2*s*1?
True
Let r(j) = j**2 - 6*j + 6. Does 6 divide r(-4)?
False
Let q = -31 + 76. Suppose u = 6*u - q. Is u a multiple of 8?
False
Suppose 234 = 2*i - 3*a, -i + 3*a = 14 - 128. Is i a multiple of 8?
True
Let b = -27 + 50. Suppose 4*d = -7 + b. Is d even?
True
Let l = -7 - -4. Let g be l/(2 + 51/(-24)). Suppose -2*y - 10 = -a - y, -4*a - 4*y = -g. Does 8 divide a?
True
Let h = -88 - -123. Suppose 2*i = 3*i + 6. Let q = i + h. Is q a multiple of 11?
False
Let a(y) = -y**2 + y + 7. Let h be a(5). Let m = 37 + h. Is 8 a factor of m?
True
Suppose 0 = -5*s + s. Suppose s*r = -r + 3. Suppose 5*h - 3*u = 46, u = -r*h + h + 14. Is 4 a factor of h?
True
Suppose -4*h = -0*h + 2*m - 500, 0 = -4*h + 4*m + 512. Is h a multiple of 18?
True
Let c be -2*(-465)/6 + -2. Let w = -101 + c. Suppose 2*v - w = -8. Is v a multiple of 13?
False
Let u = 7 + -4. Is u a multiple of 2?
False
Let a(c) = 4*c - 10*c + 1 + 2. Let j(o) = 7*o - 2. Let i(b) = -5*a(b) - 4*j(b). Does 3 divide i(6)?
False
Suppose -108 = -3*m - 3*m. Is m a multiple of 6?
True
Let l(n) = -n**3 + 4*n**2 + 3*n - 3. Let k(q) = -2*q - 6. Let f be k(-5). Is l(f) a multiple of 4?
False
Suppose -24 + 9 = -3*v - b, 0 = 5*v - 2*b - 25. Suppose -2*x - v*y + 2*y + 6 = 0, 4*x - 26 = y. Is 6 a factor of x?
True
Let f(q) = -q**2 - 11*q + 18. Let b be f(-14). Is 6/b + (-61)/(-4) a multiple of 5?
True
Let h = -22 + 29. Is h a multiple of 7?
True
Let r(p) = p**3 - 2*p**2 - p - 1. Let b be r(3). Suppose 2*w = 4*a - w - 295, -b*a + 3*w + 365 = 0. Does 14 divide a?
True
Let c(q) = 10 + 1 - 8 - 6*q + 0*q**3 - 2*q**2 + q**3. Let t be 4/(-3)*(1 + -4). Is 4 a factor of c(t)?
False
Let t = 66 + -24. Is t a multiple of 6?
True
Let o = -12 - -20. Is 4 a factor of o?
True
Suppose 0 = p + 5*t - 429, 5*p - 2328 + 127 = 3*t. Is p a multiple of 54?
False
Let x(u) = 6*u + 5. Let d be x(-7). Let m be 4/22 - 7896/(-132). Let r = m + d. Is 15 a factor of r?
False
Let b = 4 + -1. Suppose -5*t = -b*g - 124, -2*t = -0*t - 5*g - 42. Is 13 a factor of t?
True
Let g = 14 - 2. Does 12 divide g?
True
Let i(g) = -42*g - 1. Let l be i(-1). Suppose b + 0*j = 2*j + 33, 4*j = b - l. Is b a multiple of 7?
False
Let b(d) = d**2 + 3*d + 2. Suppose -i - 3*i - 40 = 0. Is 18 a factor of b(i)?
True
Let o = -5 - -10.