b = -73 - -194. Is 12 a factor of b?
False
Suppose 26*q - 31*q = -20. Let b = 31 + 4. Suppose j - q = b. Does 13 divide j?
True
Let j(k) = -4*k - 5. Let y be 8/10 - 2/(-10). Suppose -y = m + 7. Is j(m) a multiple of 15?
False
Let b = -36 + 131. Does 19 divide b?
True
Let m(l) = 3*l**3 - 3*l**2 - l + 3. Let v(r) = -r**3 - r**2 + 1. Let f(d) = m(d) - 2*v(d). Is f(1) a multiple of 2?
True
Let a = 76 - 45. Is 31 a factor of a?
True
Let r(h) = 5*h**3 + 5*h**2 + 3*h - 2. Let k(x) = 4*x**3 + 5*x**2 + 2*x - 1. Let d(c) = 4*k(c) - 3*r(c). Is d(-5) even?
False
Suppose 0*h - 3*h + 6 = 0. Let m be h/5 + (-114)/(-15). Suppose j + 0*j = 3*f + m, 0 = f - 4. Is j a multiple of 7?
False
Let v = 14 - 9. Suppose -4*h = -5*w + 16, 5 = -3*w + v*h + 12. Is 7 a factor of w/14 + (-188)/(-28)?
True
Let f(g) = -g**2 + 5 - 4*g + 3*g + 2*g**2. Is f(5) a multiple of 10?
False
Suppose -54 = -4*b + 30. Does 21 divide b?
True
Let g(k) = 8*k**2 - k - 2. Let n(u) = -u**3 + 4*u**2 + 2. Let l be n(4). Let v be -2 + 1 + 1 + l. Is g(v) a multiple of 12?
False
Suppose -2*h = 2*m - 7*h - 13, 4*h = -4. Let w(j) = 3*j - 4. Let k be w(m). Let n = k + -4. Is 2 a factor of n?
True
Let s = -76 + 147. Is 12 a factor of s?
False
Let k = -29 - -8. Let b = k - -47. Suppose -124 = -4*y + 5*d - 31, y - 4*d = b. Does 12 divide y?
False
Let q = -11 + 11. Is 22 a factor of (-12 + q)*(-77)/21?
True
Suppose -2*a = 3*a. Suppose -2*b + 6*b - 116 = a. Suppose b + 70 = 3*y. Is y a multiple of 15?
False
Let s be 0 - ((-1 - 1) + 2). Suppose -z - 14 = 2*p - 6*z, s = -p + z - 1. Let m = p + -1. Is m even?
True
Let t be (-5)/(2 - (2 + 1)). Suppose t*y + 2*s = 57, y - 13 = 3*s - 5*s. Is 5 a factor of y?
False
Suppose -2*o = 3*w - 13, 3*o = -3*w - o + 5. Let g = -10 + w. Is (-6)/(g*(-1)/(-8)) a multiple of 16?
True
Let d = 2 + 0. Suppose d*f - 2 = 4*f. Let r(g) = -11*g**3 + 2*g**2 + 2*g + 1. Is 7 a factor of r(f)?
False
Let j = 7 + -4. Suppose 4*k + j*w - 11 = -k, k - 7 = w. Is 15 a factor of (k/(-5))/(2/(-95))?
False
Let b(n) = n**3 + n**2 - n + 32. Let u be b(0). Suppose -u = -2*a + 4*v + 32, -97 = -3*a + 5*v. Does 11 divide a?
False
Let k(w) = -w**3 + 4*w**2 - 2*w - 1. Let z be k(2). Suppose -2*d = -z*j - 16, -15 + 5 = 5*j. Suppose -2*h + 77 = -p, d*p - 109 = -h - 2*h. Is 21 a factor of h?
False
Suppose 5*o - 729 = 846. Is 45 a factor of o?
True
Let l = 59 + -3. Is 8 a factor of l?
True
Let t(r) = -2 + 1 - 1 - 14*r + 8*r. Is 14 a factor of t(-7)?
False
Let g(s) = s**2 + s. Let b be g(1). Let a(t) = -t - t - b*t + 1. Does 11 divide a(-5)?
False
Let i(z) = -2 - 9*z + z**2 + 6*z - 5*z**3 + 5 - 9*z. Let b(t) = 4*t**3 + 11*t - 2. Let y(g) = 6*b(g) + 5*i(g). Is y(5) a multiple of 14?
False
Let o(y) = 2*y**3 - 3*y**2 + 3*y + 3. Let r(j) = 3*j**3 - 2*j**2 + 4*j + 2. Let f(k) = -4*o(k) + 3*r(k). Let h be f(-6). Does 14 divide ((-56)/h)/(2/6)?
True
Let z be 3/(-5) - 88/20. Let b = z - -43. Is b a multiple of 24?
False
Suppose 0*c + 74 = c. Is 37 a factor of c?
True
Let o = -3 - -6. Suppose -o*n = -6*n + 6. Is n even?
True
Let a be 23/(-6) - 3/18. Let w be (-4 + 2)*250/a. Suppose p - 2*x - 28 = 0, -4*p - 2*x - 3*x = -w. Is p a multiple of 10?
True
Suppose 4*g - 949 = -3*a, -2*g - 329 - 632 = -3*a. Does 36 divide a?
False
Let t be ((-2)/(-3))/(4/282). Suppose -s = 4*g - 19, 0*g - g = -4*s + 144. Suppose -4*a + 4*n + s - 3 = 0, -5*a - 2*n = -t. Does 7 divide a?
False
Let x = -18 + 54. Suppose x = 3*h - 75. Let s = h + -17. Is 10 a factor of s?
True
Suppose 5*f + 2*a - 4*a - 5 = 0, -13 = -f - 2*a. Suppose -f*y = -6*y + 24. Is 8 a factor of y?
True
Suppose 4*i + 0*i = 28. Let f(d) = 4*d + 6. Let k(j) = -j + 1. Let g(l) = f(l) + k(l). Is 11 a factor of g(i)?
False
Let o(f) = f**3 + 7*f**2 + 6*f - 4. Let c be o(-6). Let t be -1 + 8 + c/2. Suppose -t*g + 70 = -75. Is 14 a factor of g?
False
Let v be (-5)/(-10) - 30/(-4). Let r(f) = f**2 - 3*f - 7. Is r(v) a multiple of 11?
True
Let v(p) = -50*p + 4. Suppose g - 164 = -0*j - 3*j, -2*g = 4*j - 326. Let b(z) = -2001*z + 161. Let k(t) = g*v(t) - 4*b(t). Is 17 a factor of k(-1)?
False
Let s = 78 - -34. Does 16 divide s?
True
Let a = 15 - 11. Is a a multiple of 4?
True
Suppose -3*m + 60 = l, -m + 1 = 6. Is 8 a factor of l?
False
Is 4 a factor of 12/20 - 92/(-5)?
False
Is 169 + -6 + (3 - -1) a multiple of 23?
False
Let a = -10 - -17. Let c(q) = q - 5. Let f be c(a). Suppose -4*l + f + 18 = -4*p, 3*p = -5*l + 33. Is l a multiple of 3?
True
Suppose 37 = 2*b - 15. Is b a multiple of 5?
False
Let y be 1/(((-3)/(-12))/1). Suppose 0 = -5*x - 3*o - 2*o + 25, 2*x - o = y. Suppose -4 = -h, 0 = x*z + h + 2*h - 30. Is z a multiple of 3?
True
Let u = 64 + -13. Does 26 divide u?
False
Let i(d) = d**3 + 10*d**2 - 11*d - 8. Let g be i(-11). Is 18 a factor of 53 - (-4)/g*-2?
True
Let p be ((-141)/6)/(4/(-8)). Let l = p + -22. Is l a multiple of 25?
True
Suppose -236 = -4*v + 3*j, 2*j + 178 = 3*v - 0*j. Is v a multiple of 31?
True
Let v(h) = 4*h**2 - 11*h + 3. Let c(i) = -i. Let u(o) = -5*c(o) + v(o). Does 29 divide u(6)?
False
Suppose 3 + 1 = 4*l. Is 14/l + 0 - -1 a multiple of 5?
True
Suppose 0 = -t + 5*t + 4, -3*s + 50 = -2*t. Does 8 divide s?
True
Let h = -29 - -7. Let t = -9 - h. Is 13 a factor of t?
True
Let d be (-12)/8*(-16)/(-6). Let g(k) = 2*k**2 + 5*k. Is 12 a factor of g(d)?
True
Suppose -4 = 4*a + 4*p, 0 = a + 2*a + 4*p + 2. Let d be 12 - 5/((-5)/(-3)). Let o = d + a. Is o a multiple of 3?
False
Does 9 divide (4 - 9)/((-1)/8)?
False
Let b = -6 + 3. Let w = 11 + b. Is w a multiple of 4?
True
Suppose -2*y + 4*j + 16 = 0, j + 4 = y - 2. Suppose 4*g + y = 20, 2*g + 146 = 2*h. Is 16 a factor of h?
False
Let d(x) = -x**2 + 5*x - 4. Let f(s) = -s + 9. Let r be f(4). Let v be d(r). Let o(j) = -5*j - 6. Does 11 divide o(v)?
False
Does 27 divide 21 + -17 - (-84 - -1)?
False
Does 31 divide 76 - (3 - 1)*-2?
False
Suppose 3*r = -4*a + 730, 3*r - 91 = 5*a - 1017. Is a a multiple of 46?
True
Suppose -2*t = 4*g + 13 + 55, -5*t + g - 115 = 0. Let l = -15 - t. Is 3 a factor of l?
True
Does 4 divide ((-748)/(-85))/(2/5)?
False
Suppose -4*k + 3*o + 23 = 6, 2*k = -5*o - 11. Suppose 0 = -4*t + 3*g - k*g + 31, -4*g = 2*t - 2. Is 7 a factor of t?
True
Suppose -3*y - 2*y - 675 = 0. Is y/2*(-4)/3 a multiple of 30?
True
Let f(t) = 5*t - 2. Let p(i) = i**3 + 8*i**2 + 7*i + 2. Let b be p(-7). Let m be 3/2 - (-13)/b. Is 17 a factor of f(m)?
False
Suppose 0 = g + g - 30. Suppose -2*l - g = 4*d + 15, 4*d - 4*l = -48. Let s = 1 - d. Is s a multiple of 10?
True
Let u(z) = -z**3 - 3*z**2 - 5*z + 4. Let q be u(-4). Suppose 0 = -5*c - 3*x - q, 4*c + x + 2*x + 32 = 0. Let h(d) = -d**2 - 9*d + 8. Is 12 a factor of h(c)?
False
Suppose -i - 8 = -3. Let u = -7 - i. Does 11 divide 2/(69/33 + u)?
True
Let w(k) = 10*k - 5. Is 15 a factor of w(8)?
True
Let n(u) = -2*u + 1. Let k be n(4). Let s = k - -4. Does 12 divide 38*1*s/(-6)?
False
Let a = 38 + -4. Is 17 a factor of a?
True
Let t(s) = -2*s**2 - s + 4. Let m(b) = -b**2 - b + 1. Let v(l) = -3*m(l) + t(l). Let k be v(2). Suppose 5*z - 3*u = u + 108, -k = -3*u. Is 9 a factor of z?
False
Let x(z) be the third derivative of -z**4/24 - z**3/2 - z**2. Is x(-8) a multiple of 5?
True
Suppose -4*l - 4*v = l - 8, l - 7 = v. Is l a multiple of 2?
True
Let n = -26 - -27. Is (-2 - -3)/(n/55) a multiple of 14?
False
Suppose g = 81 - 12. Is 23 a factor of g?
True
Suppose -8*d - 64 = -12*d. Let r(j) = 2*j - 12. Is r(d) a multiple of 20?
True
Let p be (-4)/2*3/(-2). Suppose -21 - p = -4*q. Suppose -q*t + t + 3*v = -18, -5*t + 2*v + 17 = 0. Does 3 divide t?
True
Let f be (-1)/(1 + 15/(-18)). Is f/45 - 152/(-15) a multiple of 10?
True
Let f be 6/8*(5 + 27). Suppose 0*m - f = -2*m. Is 6 a factor of m?
True
Suppose -2*y = 5*l + 22, 2*y - 5*l - 21 + 3 = 0. Let c be y - 5/((-5)/4). Suppose -3*u + o + 47 = 2*o, 5*o + 71 = c*u. Is u a multiple of 17?
True
Let g be 25*((-9)/(-3))/(-3). Let b = g + 40. Is b a multiple of 15?
True
Let d = 1 - -14. Is d a multiple of 8?
False
Let s(r) = r. Let c be s(2). Suppose 4*g = c*v - 104, 5*g = -4*v + g + 244. Does 15 divide v?
False
Let p(b) = b**2 - b + 5. Let h = -11 - -11. Let s be p(h). Let m(z) = z**3 - 5*z**2 + 4*z - 6. Is 14 a factor of m(s)?
True
Suppose -24 = 3*m - 4*m + 4*v, -4*m - 9 = 5*v. Let f be (29/(-2))/(m/(-24)). Let a = f + -43. Does 13 divid