 (0/1 + -3). Let k be 85/20 + m/(-4). Suppose -k*b - b = -115. Is b a multiple of 12?
False
Let q(s) = -s**3 + 6*s**2 + 5*s - 3. Let g(c) = c**3 - 4*c**2 + c + 4. Let f be g(3). Let k be f + -1 - -1 - -8. Is q(k) a multiple of 10?
False
Let l be 2 + -4 - (-3 + 0). Let j(q) = -1 + 2*q + l - 4. Does 4 divide j(4)?
True
Suppose -4*s - 66 = -s. Let d = s + 34. Is 6 a factor of d?
True
Suppose -4*f = 5*s - 263, 0 = f - 3*s - 79 - 8. Is f a multiple of 9?
True
Let r(d) = 2*d**2 + 4*d - 4. Let b be r(-5). Let n = b + -4. Is n a multiple of 11?
True
Does 13 divide (-1148)/(-22) - (-10)/(-55)?
True
Suppose -3*b + 81 = 9. Suppose 3*x - 4*c = -39 + 113, -x + c + b = 0. Suppose -3*g = -23 - x. Is 5 a factor of g?
True
Let r(q) be the first derivative of -q**4/4 + 7*q**3/3 + q**2 + 10*q - 2. Let p be r(7). Let d = 17 + p. Does 17 divide d?
False
Let l(m) = -3*m + 6 - 1 - 11. Does 12 divide l(-10)?
True
Let d be (-7)/2*12/(-7). Suppose -3*j + 2*z + 58 = 0, -3*z - 56 = -2*j - d*z. Does 22 divide j?
True
Let n = 9 - 6. Suppose 3*d + n*d - 24 = 0. Is 4 a factor of d?
True
Let s(k) = k**2 - 4*k - 1. Is s(10) a multiple of 34?
False
Suppose 3*r - 612 = -r. Suppose -99 = -4*q + r. Is 16 a factor of q?
False
Let t(s) = -56*s. Let l be t(-1). Let d = -7 + l. Is d a multiple of 12?
False
Suppose -j - z + 59 = 0, 2*j = 3*z - 4*z + 115. Is j a multiple of 9?
False
Let u(a) = -a**2 - 6*a + 7. Let t be u(-7). Let s be (t + 0)/(4/(-4)). Suppose 0 = -s*f - 4*f + 24. Is f a multiple of 6?
True
Suppose -4*c = -3*t - 7 - 3, t = c - 3. Suppose 23 = 4*p + a, 0 = -3*p + 4*a + 2 + c. Suppose -5*r - 5*s = -110, p*s - 10 = -2*r + 40. Is r a multiple of 10?
True
Let q be 66/9 - 2/6. Suppose 5*y + 2*s - 111 = 0, -3*s - 8 = s. Suppose -2*w - 5*h = -y, 2*w - q = -2*h + 7. Is 4 a factor of w?
True
Let k be 30/(-5)*(-32)/6. Let p be 2/2 - 2 - 5. Let c = k + p. Is c a multiple of 13?
True
Let c(t) = -t**3 - 2*t**2 + t + 2. Let m be c(-2). Suppose m = -0*u - 5*u + 110. Does 10 divide u?
False
Suppose -2*r + 5*u - 6 = -38, 4*u + 16 = 0. Let g(p) = -p**3 + 8*p**2 - 6*p - 8. Is 14 a factor of g(r)?
True
Is 3 a factor of (-788)/(-52) + (-4)/26?
True
Suppose 3*a = -5*k - 9, 0 = k - 3 + 6. Suppose a = -w + r, w + 2*r + 14 = -r. Let v(x) = -x + 3. Does 4 divide v(w)?
True
Let y be 2/2 + (-1 - -3). Let p = y - 1. Suppose -p*x = -6 - 20. Is 13 a factor of x?
True
Suppose -4*k + 228 = 4*p, -10*p + 126 = 2*k - 5*p. Is 13 a factor of k?
False
Let l = 14 + -26. Let q = 7 + l. Is (-2)/((-1)/q*-1) a multiple of 5?
True
Suppose 2*b - 2*n = 321 + 1041, b - 686 = 2*n. Suppose 5*c = -b + 226. Is 12 a factor of ((-12)/(-10))/((-9)/c)?
True
Let x(w) = 3*w - 3. Let h(r) = -r - 3. Let u(j) = 1. Let m(n) = -2*h(n) - 5*u(n). Let t be m(2). Is x(t) a multiple of 12?
True
Suppose 0 = 3*a, -6 - 9 = -3*s - 2*a. Suppose 0 = -w - s + 34. Is 22 a factor of w?
False
Is 30 a factor of -5 + 2/((-10)/(-825))?
False
Suppose -w + 3*q = -1, w + q = -4*q + 9. Suppose -144 + 12 = -w*u. Is u a multiple of 22?
False
Let n be 1 + 2 - 1 - -3. Suppose -5*y = -n + 10. Let d = 9 + y. Is 5 a factor of d?
False
Let w(j) = j**3 + 12*j**2 + 9*j + 3. Let k be w(-11). Let s = k - -17. Is s a multiple of 21?
True
Suppose 4*o - o = 195. Let z = o - 44. Does 21 divide z?
True
Suppose -4*n = -7*n + 42. Suppose -n = 4*y - 242. Does 19 divide y?
True
Let n(m) = 2*m**2 - 2*m + 3*m - 3*m**2. Let v be n(1). Suppose 3*h - 125 = -5*s, v*h - 23 = -s - h. Does 14 divide s?
True
Suppose -5*n + 7*n - 20 = 0. Is n a multiple of 3?
False
Suppose 0 = 2*j - 110 + 20. Let r = 87 - j. Is 14 a factor of r?
True
Suppose -2*m + 7*m - 145 = 0. Suppose -2*c = 3*x - 5, -5*x = -2*c - 0*x + m. Is c a multiple of 5?
False
Does 15 divide 1/(-3) - 46/(-3)?
True
Suppose v - 12 = -v. Suppose 0 = y - v*y + 65. Is 7 a factor of y?
False
Is 5 a factor of (-4)/((-5)/2 - -2)?
False
Let z(k) = 2*k**2 + 6*k + 8. Let w be ((-4)/1)/((-1)/(-2)). Let v = w - -2. Does 22 divide z(v)?
True
Let g = -7 + 12. Suppose -2*c - g*t + 53 = 0, 0 = 5*c + 2*t - t - 98. Does 7 divide c?
False
Suppose -4*b + 4*a = 28, -3*b + 0*a = 5*a - 19. Suppose 0 = l - 0*l + 5*n + 19, 0 = -2*l + 4*n + 18. Is 2/b + (14 - l) a multiple of 12?
True
Let c(n) = n + 11. Let h be c(-7). Suppose -4*a - h*y = -105 - 7, -2*y - 56 = -2*a. Is 14 a factor of a?
True
Suppose 0 = -5*i - 4*c + 80, -i - 48 = -4*i + c. Is 4 a factor of i?
True
Let c(r) = 5*r - 1. Let l be c(1). Let k(x) = -x**2 + 6*x - 4. Is 3 a factor of k(l)?
False
Suppose i - 6 = -0*i. Let w(c) = -c**2 + 5*c + 3. Let z be w(i). Does 18 divide 2/z + 226/6?
False
Suppose -w = -3*n - 17, 0 = -w - n - 1 + 2. Suppose -80 + 5 = -w*b. Let x = b - -9. Is x a multiple of 13?
False
Suppose j + 6 = 3*j. Let c(b) = 37 - 8 + 2*b**j - b**3. Is c(0) a multiple of 9?
False
Let d = -12 - -15. Suppose d*n + 5*b = 186, -6 = -4*b + 2*b. Does 13 divide n?
False
Let l be 1/(-3) - (-7)/3. Suppose -l*d - 3*d = -155. Suppose -i = -5*m + 27, -5*m - i = -2 - d. Does 3 divide m?
True
Let c = -8 + 13. Let a(z) = -3*z - 4. Let q be a(-6). Suppose -c*u + 216 = -q. Is 23 a factor of u?
True
Suppose 0 = 3*b + 7 + 2, -64 = -5*d + 3*b. Is d a multiple of 3?
False
Let t(q) = -q**2 + 11*q - 1. Let s(z) = -1. Let m(c) = -2*s(c) + t(c). Let f be m(11). Is (1/f)/((-3)/(-42)) a multiple of 14?
True
Suppose 48 = -2*k + 288. Is k a multiple of 12?
True
Let o = -16 - -53. Is 14 a factor of o?
False
Suppose -6*s + 2*s = -3*g + 42, 5*s = -2*g + 5. Is g a multiple of 4?
False
Is 20 a factor of ((-8)/3)/(286/(-57) - -5)?
False
Let j be (-9)/(-6)*4/6. Let v be (-1)/((-1)/5*j). Suppose -s = 1 + 2, 93 = 3*x - v*s. Is x a multiple of 15?
False
Let q(b) be the first derivative of -b**2/2 - b - 1. Let l be q(0). Is 4/(-8)*32/l a multiple of 8?
True
Let m(b) = -b**3 + 4*b**2 - b + 35. Is m(0) a multiple of 7?
True
Let f(w) = 4*w + 9. Is 15 a factor of f(8)?
False
Suppose 0 = -8*a - 12*a + 3220. Does 16 divide a?
False
Let i = 334 + -207. Does 17 divide i?
False
Suppose s - 1 + 6 = -3*l, 8 = 2*s - 3*l. Suppose 2*p - 10 = -4*i - 0*p, -2*i - s = -5*p. Suppose h = 4*g - 64, g - i*h = -3 + 19. Is 10 a factor of g?
False
Let x = 8 - 5. Let m(b) = 0*b + 4*b**2 + 0 - b**3 - b + 4. Does 5 divide m(x)?
True
Let r = 14 + 10. Is r a multiple of 8?
True
Is 8 a factor of 3 - 6 - (-6 - 37)?
True
Suppose -5*o - 42 = -8*o. Does 6 divide o?
False
Let m(n) = -4*n**2 + 4*n + 4. Let a be m(-3). Is (a/10)/(5/(-25)) a multiple of 11?
True
Let t(r) = -4*r - 1. Let i be 8/16*(0 + -2). Let j be t(i). Suppose -g + 111 = 2*g + j*c, -2*c = -6. Does 11 divide g?
False
Does 36 divide ((-55)/4)/((-7)/28)?
False
Let c(w) = w**3 - 5*w**2 + 4*w + 2. Suppose 8 = 2*h - 0. Let v be c(h). Suppose 4*s + j + 3*j - 56 = 0, 0 = v*s + j - 24. Does 5 divide s?
True
Let d = 13 + -35. Let x = 45 + d. Does 8 divide x?
False
Suppose 5*l - 87 = -7. Does 11 divide l?
False
Let q be (0 - 2)/((-4)/4). Suppose 2*x + q*x - 16 = -h, -2*x + 4*h = -8. Is 3 a factor of x?
False
Let k be ((-5)/15)/((-2)/30). Is 11 a factor of k*(3 + (-18)/(-5))?
True
Suppose 70 = -0*a + 2*a. Suppose -7*p + 2*p + a = 0. Let b(f) = -f**2 + 10*f - 6. Is b(p) a multiple of 15?
True
Does 12 divide (6/(-4))/(24/(-2032))?
False
Let t(s) = 8*s - 8. Let m be t(-7). Is 2 a factor of 10*(m/(-20))/4?
True
Suppose -u = d - 4*u - 109, 4*d + 2*u = 366. Is 47 a factor of d?
True
Is (30/25 + -2)/(1/(-135)) a multiple of 12?
True
Let l(x) = 3*x**2 - 5. Let j be l(-4). Let m be (-1 + 7/(-4))*-4. Suppose -3*n + m = -j. Is n a multiple of 8?
False
Let d = -1 - -3. Suppose 4*g = -4*j + 60, 3*g - 7*g - 60 = -d*j. Is 11 a factor of j?
False
Let j = -8 + 9. Let k(n) = 20*n**2 - 2*n + 1. Is 8 a factor of k(j)?
False
Let m(q) = q**2 - 6*q + 9. Does 2 divide m(5)?
True
Let k(z) = z**3 - 3*z**2 - z + 8. Is 10 a factor of k(4)?
True
Suppose 0 = 12*c - 471 - 609. Is c a multiple of 18?
True
Let b be ((-6)/(-4))/((-6)/(-184)). Suppose -2*p + p = -b. Suppose -z + p = 4*i + z, -4*i + 3*z = -41. Does 4 divide i?
False
Let y be 11/2 - (-3)/(-6). Does 9 divide 6/(-15) - (-137)/y?
True
Let q be (-3)/(-9) - (-29)/3. Is 8 a factor of (-610)/(-25) + (-4)/q?
True
Let n(r) be the first derivative of 5*r**3/3 + 3*r**2/2 - 3. Let v be 36/(-21) + (-4)/14. Is n(v) a multiple of 7?
True
Let q be (-10)/((-9)/((-1404)/8)). Let s = -10