8, 3*i + x*m = 2*m + 229. Is i a multiple of 19?
False
Let n(q) = 8*q**2 + 14*q - 10. Let j(z) = -9*z**2 - 16*z + 11. Let u(c) = 5*j(c) + 6*n(c). Let d(p) = p**2 - 3*p - 2. Let l be d(2). Is u(l) a multiple of 11?
False
Let m(x) = -x**2 + x + 10. Let r be (-2 - (3 - 5))/(-2). Let h be m(r). Does 7 divide 8/(-8) + -1 + h?
False
Let b = 1403 - 509. Is b a multiple of 48?
False
Let s(d) = 97*d**2 - 6*d - 13. Is 22 a factor of s(-5)?
True
Let o(j) = j**2 + 9*j + 2. Let a(f) = -f - 1. Let h(p) = 2*a(p) - o(p). Let m = -206 + 201. Does 26 divide h(m)?
True
Let b be 15/(-10)*8/(-6). Let z = b + 0. Let o(l) = 6*l**3 - 2*l**2 + l. Is 21 a factor of o(z)?
True
Let h = -93 + 89. Is (4/3)/(0 - h/72) a multiple of 4?
True
Suppose -2*b + 135 = -221. Is 14 a factor of b?
False
Does 7 divide (-1*(3 + -2))/((-11)/3630)?
False
Let o(r) = -r. Let h(q) = 12. Let z(b) = h(b) - 2*o(b). Let c be z(11). Suppose m = c - 8. Is 13 a factor of m?
True
Suppose 0 = -2*a - 5*k + 35, 0 = 2*a - 4*k + 5*k - 15. Suppose 5*g + 14 = -3*d, -g + a*d - 10 = 2*d. Let p(z) = z**2 - z + 8. Does 14 divide p(g)?
True
Let a = 145 + -83. Does 3 divide a?
False
Suppose -3*q = 26 - 203. Let s be q/1*1 + 2. Let k = s + 9. Is 16 a factor of k?
False
Suppose 210 = -20*j + 23*j. Let p = j + 2. Is 24 a factor of p?
True
Suppose 5*o = -5*s - 2 - 333, -s - 2*o = 63. Let y = s + 102. Let d = 78 - y. Is 13 a factor of d?
False
Suppose 36*q - 27*q = 1530. Let d = q + -120. Is 13 a factor of d?
False
Suppose 0 = 19*p - 13*p - 816. Does 17 divide p?
True
Let v(d) = -2*d**2 + 94*d - 36. Does 12 divide v(38)?
True
Let y(t) = 62*t - 23. Let d(l) = 1. Let u(x) = 4*d(x) + y(x). Is u(3) a multiple of 24?
False
Let r(x) be the second derivative of x**4 - x**3/6 - x**2/2 + 6*x. Is 3 a factor of r(-1)?
True
Let r(a) = -14*a**3 + a**2 + 2*a. Suppose 0 = 4*m - 4, 6*x - x + 3*m + 12 = 0. Let w be r(x). Is w/15 - 4/10 a multiple of 14?
False
Let z be 3 - 6 - 1*4. Let s(n) = 3*n + 15. Let r be s(z). Is (4/r)/(2/(-195)) a multiple of 11?
False
Is 5/(-10) + 4/(16/1766) a multiple of 49?
True
Let c = 26 - 21. Suppose -p + 30 = -c*n + 4*p, p - 5 = 0. Let r(z) = 21*z**2. Is r(n) a multiple of 9?
False
Suppose -2*d + 1 = 2*m - 5, 12 = 4*m - 2*d. Suppose m*f - 95 = 22. Is 19 a factor of f?
False
Let r(z) = 3*z**2 - 5*z + 4. Let h be r(3). Suppose j = -4*y - 46, h = -5*j + 6. Let w = -2 - y. Does 8 divide w?
False
Suppose 59 = 13*l - 12*l. Suppose 3*b - 3*x - 129 = 0, -4*x = 2*b + 3 - l. Is 11 a factor of b?
False
Suppose 5*u - 1 = 3*v + v, 0 = u + v + 7. Is 4 a factor of 498/18 - u/9?
True
Let l(j) = -20*j + 2. Let h be l(-1). Suppose 2*m + 2*m - w = -h, -3*w = -3*m - 21. Let n = 1 - m. Is 3 a factor of n?
True
Suppose 15*y = -5*g + 10*y + 3075, 5*g - 3075 = y. Is 123 a factor of g?
True
Let f be (-2)/(-2)*(-20)/(-10). Suppose -3*c + 2*g + 304 = 0, -g - 190 = -f*c - 6*g. Does 10 divide c?
True
Suppose r = 5*g + 10, 3*r + g = -0*r - 34. Does 19 divide (-1624)/r - 2/5?
False
Let w be 4 + ((-272)/(-4))/(-2). Let s = w + 46. Is s a multiple of 3?
False
Suppose -6*w - 1784 = -8*w - 4*x, 0 = -4*w + 5*x + 3620. Is 36 a factor of w?
True
Suppose -n = 3*b - 28, -2*n - b + 24 = -7. Let w = n + -9. Is 18 a factor of (-4)/(w*(-4)/72)?
True
Suppose -2*z + 206 = -2*k + 4*k, z = -2*k + 108. Is 15 a factor of z?
False
Suppose -3*n - n + 12 = -b, -3*n + 24 = 3*b. Suppose -p = b*z - 19, 0*z + 5*z = -5*p + 20. Suppose -z*d = -7*d + 30. Is d a multiple of 15?
True
Let u = 3 + 1. Suppose -2*g = -u*g. Suppose -4*s = o - 192, -2*s + g*o = -4*o - 96. Is 12 a factor of s?
True
Let u(w) = -9*w - 51. Let c = 40 - 56. Is u(c) a multiple of 10?
False
Let p = -11 - -15. Suppose 5*b = 154 - 29. Suppose u - b = p. Is 22 a factor of u?
False
Let w = -107 + 116. Is 22 a factor of (-12)/w*495/(-10)?
True
Suppose 0 = 5*g - 2*g + 3*s - 108, 225 = 5*g - 4*s. Let l be (36/(-42) - 0)*7. Let d = l + g. Is d a multiple of 10?
False
Let a = 64 + -36. Let v = -9 + a. Suppose 8*k = 83 - v. Is 2 a factor of k?
True
Suppose -2*c + 5*c = -3. Let d be c + 4 + 0/(-2). Suppose 5*y = d*g + 35, y + 5 = 4*g - 5. Is 5 a factor of y?
True
Suppose 3*q - 5*y = -q - 35, -y + 49 = -5*q. Let z be (-120)/(-9)*48/q. Is 14/21 - z/3 a multiple of 11?
True
Suppose 2*x - 234 = -2*t, -4*t - 2 = -6. Suppose -x + 326 = 7*k. Is 3 a factor of k?
True
Suppose -4394 + 1624 = 5*u. Let s = u - -785. Is 21 a factor of s?
True
Suppose 549 = 4*u + 4*y - 895, u - 358 = -2*y. Is 7 a factor of u?
True
Let w(z) = z**2 - 3*z - 124. Let l(g) = g**2 - 2*g - 124. Let a(k) = -3*l(k) + 2*w(k). Is a(0) a multiple of 39?
False
Suppose f - w - 2 = 1, -2*f - 2*w + 2 = 0. Suppose -5*u + 126 = -f*u. Does 2 divide u/(-24)*(-4 - 0)?
False
Let v = -853 - -988. Is 45 a factor of v?
True
Is (-3)/((-3)/82) + 28/(-7) a multiple of 18?
False
Let p be (-8)/4*(-18)/4. Let c = -8 + p. Does 17 divide 206/6 + c/(-3)?
True
Let a = 21 + -20. Let g = a - 27. Let y = -11 - g. Is y a multiple of 10?
False
Let r(k) be the third derivative of -k**6/120 + 59*k**3/6 + 11*k**2. Is 27 a factor of r(0)?
False
Suppose 14 = 4*n - 3*n. Suppose -57 = -5*t - 2*p + n, t = 4*p + 1. Let q = t - 0. Is 7 a factor of q?
False
Let s = 9 - 2. Suppose 0 = -s*q + 2*q - 165. Is 15 a factor of 6/q + (-600)/(-33)?
False
Let w(p) = 2*p**3 - 2*p**2 - 2*p - 9. Let l be w(4). Suppose -5*m = -281 - l. Is 12 a factor of m?
True
Let l(u) = u**2 + 4*u + 2. Let z be l(-4). Let n = z - 0. Suppose -265 = -n*p - 3*p. Is p a multiple of 18?
False
Let y = 380 + -182. Suppose 6*h = -3*h - y. Let w = h + 40. Is w a multiple of 7?
False
Suppose 4*b - 677 = 119. Let m = b - 125. Is 4 a factor of (-1)/2 - m/(-4)?
False
Let k(g) = -g + 34. Let z be k(-6). Suppose 5 = -5*f + z. Is f a multiple of 2?
False
Is 80 a factor of 5/(180/78124) + 18/(-162)?
False
Suppose -2*w = 5*x - 4*w, 2*x = -5*w. Let d(m) = m**2 - 3*m + 63. Does 27 divide d(x)?
False
Suppose -o + 2201 = 18. Is o a multiple of 37?
True
Suppose -3*n = 2*x - 200, -5*x + 325 - 63 = 4*n. Suppose 3*k + n = -52. Let z = k - -80. Is z a multiple of 10?
True
Let r = 702 + 24. Is 9 a factor of r?
False
Is 128 + 0/(-6) + 2 + -2 a multiple of 16?
True
Suppose 44 = 5*s + 3*u, 2*s - 2*u - 23 = 1. Suppose s*n - 210 = 1760. Is n a multiple of 12?
False
Let o = 15 + -13. Suppose o*b = 3*w - 112, 2*w + 3*b - 70 = 2*b. Does 14 divide w?
False
Let d(g) = -g**3 - 7*g**2 - 9*g - 4. Suppose 0 = r + 5*l - 2, 0 = 5*r - 0*r - 5*l + 50. Let b be d(r). Let h = -82 + b. Is h a multiple of 14?
False
Let v(y) = -7*y**2 + 2*y + 11. Let l be v(3). Let q = -9 - l. Does 7 divide q?
False
Let z be 28/2 + ((-2)/1)/2. Is 20 a factor of ((-2)/(-6))/(z/(-39))*-158?
False
Let g = 62 + -44. Suppose i = g - 8. Is i a multiple of 4?
False
Let q(u) = -5*u**2 + 2*u - 4. Let y(k) = k**2 + k. Let l(x) = q(x) + 4*y(x). Let a be l(4). Suppose 4*c = a + 52. Is c a multiple of 14?
True
Suppose m + 3*v - 1 = 0, -5*m = v - 0*v - 19. Suppose 5*w = j - 70, -m - 2 = 3*w. Is 15 a factor of j?
True
Let q = -22 + 23. Suppose -5*o + 0*o + 75 = 0. Suppose -n + q = -o. Is n a multiple of 4?
True
Suppose 0 = 5*p - 6*p + 7. Let f = p + -7. Suppose f = 3*l + 4*t - 5*t - 57, -38 = -2*l + 3*t. Is l a multiple of 19?
True
Let r be (-127)/2 + 45/30. Let k = 126 + r. Suppose 32 = 4*l + 3*w + w, w + k = 5*l. Is 3 a factor of l?
True
Is 3 + -2 + 3 - (-88)/8 a multiple of 2?
False
Suppose -45 = -0*r - 5*r. Let q = r - -15. Suppose 3*j - g + 2 = 42, j - 3*g - q = 0. Is j a multiple of 12?
True
Suppose -4*h + 733 + 909 = -3*j, 4*j = -2*h + 810. Is h a multiple of 7?
False
Suppose n + 44 = 218. Suppose -4*s = 2*h - 192, -3*h = -4*s + n + 18. Is s a multiple of 12?
True
Suppose -60 = -2*r - r. Let s be -6 + 161/14 - (-3)/(-2). Suppose -4*t = -s*j + r, -4*j - 7 + 24 = -t. Is j even?
True
Let j = 13 + -11. Let g(d) = 1 + j + 0 + 5*d. Is g(8) a multiple of 15?
False
Does 8 divide (-1719)/(-12) + 27/36?
True
Let y(r) = -r**2 - 9*r - 11. Let x(a) = -a**2 - 17*a - 22. Let s(n) = 3*x(n) - 5*y(n). Let k(z) be the first derivative of s(z). Does 9 divide k(10)?
False
Let f(y) = -y + 6. Let p be f(11). Is 30 a factor of p*(-6)/10 - -176?
False
Suppose -4*x + 16568 = 4*p, -p + 966 = -x + 5104. Is 15 a factor of x?
True
Suppose -3*t + 3*v - 5*v = -421, -3*t = -3*v - 441. Does 11 divide t?
True
Let h(n