 n - 5*r + 32. Does 12 divide n?
False
Let s = 388 - -94. Is 12 a factor of s/18 - 12/(-54)?
False
Let y(l) = -68*l**3 + l**2 + 2*l + 1. Suppose 0 = -3*r - 2*r - 5. Does 19 divide y(r)?
False
Does 4 divide 7*(-1 - 2/(-1))?
False
Suppose 3*j + 4 = 2*j. Let p be (-3)/((-6)/j*-1). Suppose p*o + 0 - 8 = 0. Is 4 a factor of o?
True
Is (0 + 1)/(1/23) a multiple of 3?
False
Let y = 37 - 13. Suppose c = 14 + y. Does 19 divide c?
True
Let f(j) = -j**3 + 6*j**2 + 1. Let a be f(6). Is 12 a factor of a + (-3 - 0) + 44?
False
Suppose 5*b - b - 3*v - 7 = 0, 3*b - 5*v + 3 = 0. Suppose 0 = -b*j + 5 - 1. Is 13 a factor of j*(2 + 26 + -2)?
True
Suppose -2*y + 5*x + 21 = 0, 0*y - 4*y = 4*x. Suppose -5*g + 0*g = -y*f + 12, 3*f - g - 24 = 0. Does 9 divide f?
True
Suppose 2*t - 3*t - 13 = -s, -t = s - 5. Let p(g) = g**2 + 3*g + 2. Is p(s) a multiple of 32?
False
Let m = 24 + -20. Suppose -89 = -m*a - 5. Is a a multiple of 10?
False
Let j(d) = d + 17. Let l be j(0). Suppose -5*z - 3*s + 59 = 0, 2*z - 4*s = -3*s + l. Is z a multiple of 3?
False
Let m(n) = n**3 + 6*n**2 - 9*n - 9. Let c be m(-6). Suppose 5*i - 2*x = c, -3*i + 5*x + 13 = -14. Let v(y) = y + 6. Does 7 divide v(i)?
False
Let r(s) = s**3 - 6*s**2 - 16*s - 4. Is r(9) a multiple of 33?
False
Let d = 15 - -123. Is 28 a factor of d?
False
Let k = -25 - -60. Does 7 divide k?
True
Let o = 70 - -13. Is o a multiple of 7?
False
Let w = 74 + -137. Let j = w - -98. Is 12 a factor of j?
False
Let u(o) be the first derivative of 2*o**2 - 3*o - 3. Does 9 divide u(5)?
False
Let r be ((-2)/3)/((-3)/18). Suppose -120 = -g - r*g. Is g a multiple of 14?
False
Suppose 2*n + 14 = -0. Let x = 28 + -3. Let y = x + n. Is y a multiple of 9?
True
Suppose b + 5 = -5. Let o be b/3*18/(-15). Does 4 divide ((-2)/o)/(1/(-20))?
False
Suppose -4*j + b - 7 = 0, 0 = 5*j - 2*b + 2 + 6. Is ((-60)/(-18))/(j/(-36)) a multiple of 20?
True
Suppose 104 = 4*n - 56. Let i = -17 + n. Is i a multiple of 23?
True
Suppose 2 = 5*j + 12. Is 2*(j + (-11)/(-2)) a multiple of 7?
True
Suppose 3*z - 4*l - 29 = 0, -5*z = 5*l - 2*l. Does 15 divide (24 + 3 + z)*1?
True
Suppose -2*b + v - 206 = 0, -5*b + 3*b - 3*v - 214 = 0. Let t be 526/(-8) - (-1)/(-4). Let n = t - b. Does 14 divide n?
False
Suppose -4 = j - 3, 0 = -m + 2*j + 4. Suppose m*f = 4*f - 6. Suppose -f*b + 56 = -b. Does 14 divide b?
True
Let y = 53 + 14. Does 23 divide y?
False
Let o(r) = -2*r + 1 + 5*r**2 - 1 - r**3 + 1 + 2*r**2. Let g be o(6). Suppose 0 = 3*j + 3*i - 39, -5*j + 34 = 3*i - g. Is j a multiple of 5?
True
Let x(s) be the third derivative of s**4/24 + s**3/2 - 4*s**2. Does 9 divide x(6)?
True
Suppose -n + 452 = 4*k, -153 = -2*k + 3*n + 87. Is 13 a factor of k?
False
Suppose -j + 3*t + 3 - 1 = 0, -5*t - 5 = 0. Let r(k) = -2*k**3 + k**2 + k + 1. Does 3 divide r(j)?
True
Let i be 8/(-20) + 857/5. Suppose -4*f - 114 = -4*g + g, -4*g = f - i. Is 13 a factor of g?
False
Suppose 3*m + 81 = 3*j, 3*j = -2*j - m + 147. Is j a multiple of 8?
False
Let h(q) = -q**2 + 14*q + 9. Is h(11) a multiple of 14?
True
Suppose 5*n = -3*z + 7, 3*n - 6*z = -z + 11. Suppose -n*u + 28 = -52. Is u a multiple of 20?
True
Let y(b) = -b - 1. Let m be y(2). Let h(g) = -3*g + 1. Does 4 divide h(m)?
False
Let s(a) = -5*a + 9. Let f be s(7). Let x be (-342)/f + (-8)/52. Let t = 25 - x. Does 6 divide t?
True
Is 30 a factor of (1 + 171/3)/1?
False
Let t(g) = g**3 + 4*g**2 + g - 6. Is t(3) a multiple of 6?
True
Let l(b) = -1 + 0 - 7*b - 3. Let j be l(-3). Suppose -2*t - 1 = -j. Does 8 divide t?
True
Is 26 a factor of ((-41)/2)/((-3)/12*1)?
False
Suppose 2*d = -3*c + 407, -4*c - 568 = -5*d + 438. Suppose -3*w + u + d = 0, -w + 5*u + 49 = u. Let s = w - 37. Does 16 divide s?
True
Let y(k) = 72*k. Let j be y(1). Suppose 3*m - j = m. Does 26 divide m?
False
Let t be -1 + 1/(-1) + 3. Let b = t - -2. Suppose -b*i = 2*i - 10. Is i a multiple of 2?
True
Let m be (2 + -3)*-5 + -2. Suppose 6*w - m*w - 84 = 0. Does 7 divide w?
True
Let r(d) = d**3 - d - 4 + 8 + 2*d**2 + 10*d**2. Is 16 a factor of r(-12)?
True
Suppose -2*y = -5*h + 4, -4*h - 3*y - 2 - 4 = 0. Let z(p) = p**2 + 4*p + 4. Let j be z(-5). Let v = j - h. Is v a multiple of 9?
True
Let c(j) = -39*j**3 - 2*j**2 + 1. Suppose 14 = u + 4*a, 0 = -u - 3*u + 2*a + 2. Let b = u + -3. Does 19 divide c(b)?
True
Let s be (-4)/10 + (-162)/(-5). Let h(j) = 4*j**2 - 3*j - 3. Let l be h(-2). Let y = s - l. Is 13 a factor of y?
True
Let g be ((2 - 2) + -8)*-1. Suppose r + 2*i = -5, 3*r - g*i + 4*i - 15 = 0. Is r/(-1)*(-6 + -5) a multiple of 5?
False
Is -15*(15/9)/(-1) a multiple of 17?
False
Let d(c) = c**2 + 7*c + 6. Let f be d(-6). Suppose l + 4 = f, 4*u + 5*l = l + 48. Is u a multiple of 8?
True
Suppose -a + 406 - 59 = 4*v, -705 = -2*a + 3*v. Does 13 divide a?
True
Is 3090/12 + 1/2 a multiple of 45?
False
Let h(c) be the second derivative of -c**3/6 + 11*c**2 - 2*c. Let p be h(0). Let r = p + -13. Does 9 divide r?
True
Let b = 260 - 184. Is b a multiple of 18?
False
Let j be 5/2*4/(-5). Let m(u) = -6*u**3 - 4*u**2 - 3*u. Is m(j) a multiple of 19?
True
Let n = 6 + -2. Let m be (-3)/2 + 6/4. Suppose -4*f = 5*c - 170, -n*c = -f - m*f + 32. Is f a multiple of 19?
False
Let w(b) = 2*b**2 - 10*b + 8. Is w(7) a multiple of 15?
False
Let n(q) = -q**3 + 3*q**2 + 6*q - 4. Let b be n(4). Let g be 206/4 + 2/b. Suppose g = 2*m + 2*m. Is m a multiple of 13?
True
Let z(b) = b**2 - 5*b - 7. Suppose -3*x = -2*x - 7. Does 7 divide z(x)?
True
Suppose i = q, -i - 4*q + 9 = -6. Let j = i - -13. Is j a multiple of 7?
False
Let a(u) = -2*u + u + 32 + 2*u + u**3. Suppose d - 2*d + 4 = 3*o, -3*o - 3*d = -12. Is 15 a factor of a(o)?
False
Let d be (-3 - -3) + -1 + 5. Let q be (16/5)/(d/150). Suppose -y = 3*y - q. Does 15 divide y?
True
Does 15 divide ((-138)/(-15))/(2/5)?
False
Suppose -3*f + 12 = i - 4, i + 5*f = 12. Does 13 divide i?
False
Suppose -2 = c - 3*c. Is c/((-37)/(-36) - 1) a multiple of 18?
True
Let c(k) be the third derivative of k**2 + 0 + 1/6*k**3 - 3/8*k**4 + 0*k. Does 23 divide c(-5)?
True
Let p be (-7)/(-3) - (-2)/3. Suppose 5*u + p*h - 255 = -0*h, 0 = -4*u + h + 221. Does 18 divide u?
True
Suppose 8*y - 4*y - 60 = 2*a, 3*y + 85 = -5*a. Let n = 28 + a. Is 8 a factor of n?
True
Is 2 - -59 - (5 - 2) a multiple of 9?
False
Suppose l + 18 = 4*l - 4*m, 0 = 5*m + 15. Suppose 2*b = 6, -l*c = -5*b - 74 - 5. Is c a multiple of 13?
False
Let n(i) = -i**3 - 13*i**2 - 14*i + 9. Let l be n(-11). Let c = l + 124. Does 18 divide c?
False
Let c(d) = d**2 + 6*d + 7. Let s be c(-5). Does 22 divide (-1 + 0)/(s/(-106))?
False
Let f(k) = -2 + 5*k + 0 + 0 + 4. Let i = 7 - 5. Is f(i) a multiple of 12?
True
Suppose y = -3*x + 146, 5*y = 5*x - 147 - 83. Is x a multiple of 24?
True
Let t = 4 + -4. Suppose -r - 3 + 1 = t. Is 10 a factor of r + (12 - -1 - 1)?
True
Let f be (8/(-6))/((-1)/6). Let m = 2 + f. Does 4 divide m?
False
Suppose -16 = h + 3*h, 5*a + h = -99. Suppose -2*l - 2*l = -124. Let c = l + a. Is 4 a factor of c?
True
Suppose s - 6 = -0. Is 3 a factor of s?
True
Let a(t) be the third derivative of t**6/2 - t**5/60 + t**4/12 - t**3/6 + 6*t**2. Is a(1) a multiple of 28?
False
Let d = 593 - 329. Does 22 divide d?
True
Suppose -2*d = -3*d + 4, h = -d + 5. Let l be 4/(-10) + 261/15. Let f = h + l. Does 9 divide f?
True
Suppose -8 = -5*a + 4*i, 0 = -4*i + 2*i + 6. Suppose 0*k + a*k + 180 = 4*d, -4*k = -2*d + 92. Is d a multiple of 22?
True
Let o = 3 + -2. Let f = 22 - o. Does 21 divide f?
True
Let n be (-1 + -13)*(-3)/(-2). Let d be (-49)/14*8/(-14). Does 4 divide ((-112)/n)/(d/3)?
True
Let s(o) = 15*o**2 + 2*o. Does 16 divide s(2)?
True
Let j(d) = 3*d**3 - d + d**3 - 36*d**3. Is j(-1) a multiple of 16?
False
Let q(p) = p + 3. Let x be q(-3). Suppose -5*n = -d - 75, 3*d = n - x*d - 29. Does 7 divide n?
True
Let m(u) = -32*u + 144. Let i(a) = 1. Let l(s) = -288*i(s) + 2*m(s). Does 16 divide l(-1)?
True
Let t(p) = -p**2 + 9*p + 3. Let s be t(7). Let h = s + -1. Does 13 divide ((-52)/h)/((-1)/12)?
True
Suppose -5*k - 4*x = -x - 420, 2*k = -2*x + 168. Is k a multiple of 12?
True
Let p be ((-2)/(-2))/(1/(-12)). Let h be (-3)/p - (-19)/4. Suppose 124 = 4*u + y, -u - h*y + 38 = -3*y. Is 15 a factor of u?
True
Suppose -5*f + 14 + 11 = 0. Suppose 0 = -3*v + 3*c + f - 2, -4*v - 5*c + 22 = 0. Is 16 a factor of 18 - (2 + 