s = m + -1. Suppose t = s*t - 32. Does 16 divide t?
True
Let s(j) = j**2 + j - 2. Let c be s(-3). Let k(o) = o**3 - 4*o**2 + 4*o - 3. Is k(c) a multiple of 6?
False
Let a(w) = 9*w. Let z be a(6). Let q be (-12)/z - (-40)/18. Suppose y + y + q*x - 116 = 0, 2*x - 8 = 0. Is 21 a factor of y?
False
Suppose 2*s - 1 - 1 = 0. Is 15 a factor of s + (32 - (1 + -1))?
False
Suppose -4*v = p - 9, -4*p + 7*p + v = 27. Let w be 1*(5 - p/3). Let d(q) = 6*q**2 + q + 2. Does 14 divide d(w)?
True
Suppose 0 = d - 29 - 1. Is d a multiple of 7?
False
Let h(v) = -2*v - 2. Let t be h(-2). Suppose 4*i - 4*s + t*s - 8 = 0, -2*i + 20 = -5*s. Suppose -5*j + 4*j + 24 = i. Does 11 divide j?
False
Let i(g) = -165*g - 1. Let v be i(-1). Let w be (-320)/50*5/(-2). Is v/(-6)*(-24)/w a multiple of 12?
False
Suppose -i - 3*d = -0*i - 110, -440 = -4*i - d. Does 8 divide i?
False
Let z(r) = -r**2 + 9*r - 2. Let j be z(9). Let m = -3 - j. Is (39 + m)/(5 - 4) a multiple of 19?
True
Let q(a) = -a**3 - 8*a**2 - 3*a - 2. Let l be q(-4). Let v = -32 - l. Is 11 a factor of v?
True
Let k(a) = a + 12. Let q = 5 - 5. Is 12 a factor of k(q)?
True
Suppose 0 = 6*r - 2*r - 240. Does 18 divide r?
False
Let y = 201 - 89. Does 29 divide y?
False
Let c = 16 + -11. Let k(v) = 11*v**2 + c*v - v**2 - 9 - 3*v**2 - v**3. Does 13 divide k(7)?
True
Let v be (-16)/(-20) + 2/10. Let g = 11 - v. Is 10 a factor of g?
True
Let f = -4 + 7. Suppose -f*v + 10 = -v. Does 18 divide (-2)/v + 460/25?
True
Let f(a) = 16*a**2 + 8*a - 4. Is f(-2) a multiple of 13?
False
Let z = 10 + -5. Suppose z*j = 8 + 72. Does 3 divide j?
False
Let n = 3 + 1. Suppose -n = 3*c - 100. Suppose 0*y - c = -3*y + 4*z, 3*y = -3*z + 60. Is y a multiple of 16?
True
Is 31*(1 - -8) - -1 a multiple of 18?
False
Let o = -159 + 351. Let n(p) = -p**2 - 6*p + 7. Let l be n(-7). Suppose 0 = -4*f - k - 3*k + o, l = -f + 3*k + 36. Does 15 divide f?
True
Let g = 34 + 10. Suppose -6*h + g = -2*h. Is 6 a factor of h?
False
Suppose 28 = 3*g - 0*g + 2*m, -5*m + 34 = 3*g. Suppose 3*o = -5*r + 72, 2*r - 3*r = -o - g. Is r a multiple of 12?
True
Let u(d) = d**2 + 6*d + 2. Let i be u(-5). Let h = i + 6. Suppose h*n + 2*n = 215. Is n a multiple of 17?
False
Let g(m) = -m**3 + 5*m**2 + 6*m - 2. Let f be g(6). Let u be f/6 + (-554)/(-6). Suppose 2*j + 2*j - u = -3*b, 5*b = -2*j + 130. Is b a multiple of 14?
False
Let f = -101 - -156. Is f a multiple of 6?
False
Let m(q) = -q**3 - q**2 - 1. Let n be m(-2). Suppose n*g = g + 4. Suppose 24 = h + 5*u - 9, g*h = 3*u + 40. Is h a multiple of 7?
False
Let f(y) = -y + 3. Let m be f(8). Let t = m + 7. Suppose -t*a = -0*a - 10. Is 3 a factor of a?
False
Suppose o = 5*o - 76. Is 5 a factor of o?
False
Let j(w) = w**2 - 5*w + 3. Let h be (18/(-15))/(3/(-10)). Let c be j(h). Does 7 divide ((-14)/(-4))/(c/(-2))?
True
Is ((-3 - -2)/2)/(1/(-254)) a multiple of 45?
False
Let m be (2 - 11)*2/(-6). Suppose -i = -m*i - 12. Does 12 divide (16*1)/((-4)/i)?
True
Suppose -5*f - 2*j = -325, 5*f - 2*j - 295 = 2*j. Let q = 105 - f. Is 21 a factor of q?
True
Let s(b) = b - 2. Let c be (16/6 - 3)*-24. Is 4 a factor of s(c)?
False
Suppose -3*l - 4*p = l - 924, 919 = 4*l + 5*p. Does 42 divide l?
False
Let k = -17 - 1. Let n be 56*(-3)/k*3. Let j = -3 + n. Does 10 divide j?
False
Let x(l) = l**3 - 5*l**2 - 9*l + 2. Does 13 divide x(7)?
False
Let w = -5 + 7. Let q = w - -16. Does 7 divide q?
False
Let s(n) be the first derivative of n**5/12 - n**4/24 - 2*n**3/3 + 2. Let m(c) be the third derivative of s(c). Is m(1) a multiple of 6?
False
Suppose -2*g = s + 26, -3*g = -g - 4*s + 36. Let m be (-4)/g + (-195)/21. Let y = m + 40. Does 11 divide y?
False
Let s be 248/(-18) - 6/27. Is 21 a factor of -36*s*4/32?
True
Suppose -118 - 72 = -t. Is 17 a factor of t?
False
Suppose 49 = 4*b - 75. Is 31 a factor of b?
True
Let v = -109 - -372. Is v a multiple of 12?
False
Suppose g + 13 = 34. Let c = 8 - g. Is (c/4)/(2/(-8)) a multiple of 13?
True
Let n(l) = -l**3 - 6*l**2 + 5*l - 5. Let v be n(-7). Does 16 divide (-4)/6 + 357/v?
False
Suppose 13 = -5*t + 48. Is t a multiple of 7?
True
Let a = -2 - 20. Is 4 a factor of 2/(-4)*6 - a?
False
Let d(n) = -3*n + 7. Let w be d(5). Let h = w - -24. Does 15 divide (9/4)/(2/h)?
False
Suppose 2*u + 41 = -3*u - 2*j, 5*u = -5*j - 50. Let a = 12 - u. Is a a multiple of 10?
False
Suppose -s + g = -120, -3*s + s = 4*g - 210. Is s a multiple of 31?
False
Let d = 33 - 128. Let s = d + 165. Does 21 divide s?
False
Let u be (9/(-6))/((-3)/16). Let w = 2 + u. Is 5 a factor of w?
True
Suppose 0 = -2*o + 3*k + 18, -3*o + k + k + 17 = 0. Suppose o*w + 3*v = 3 + 69, 24 = w - v. Is w a multiple of 17?
False
Let y = -14 + 30. Is y a multiple of 8?
True
Let r = 0 + 1. Let d = r - -7. Does 4 divide d?
True
Let b(x) = x**2 + 3*x - 6. Let k(d) = d**3 + d**2 + 2*d + 1. Let g be k(-2). Is b(g) a multiple of 21?
False
Let b = 3 - -1. Let u = 22 - b. Is u a multiple of 18?
True
Let h(r) = -34*r - 14. Let z(d) = 33*d + 13. Let g(v) = 6*h(v) + 7*z(v). Let q(b) = -7*b - 2. Let a(o) = 2*g(o) + 9*q(o). Does 13 divide a(-3)?
False
Does 50 divide -1 - 0 - (-206 - 9)?
False
Let b = 19 + 4. Does 9 divide b?
False
Let t = 10 + -5. Suppose -143 = 5*h + 2*b, -t*h + 3*b - 31 = 92. Is 11 a factor of (-90)/h*(-1 - -10)?
False
Let f be 2/(-4)*2*-3. Let a(u) = 0 + 2*u + 8 - f*u. Does 7 divide a(-6)?
True
Let v(y) = 25*y**2 + 9*y - 14. Is v(2) a multiple of 9?
False
Let c be 0 + 0 - (8 - 3). Is 6 a factor of (-18)/24*c*4?
False
Suppose d = 4*h - 90, -9 - 31 = -2*h - 2*d. Let m = 182 + -88. Suppose m = 4*q - 2*t, 4*t - 128 = -5*q + h. Does 13 divide q?
True
Let p(y) = -3*y**3 - 4*y**2 - 2*y + 1. Let q(f) = -10*f**3 - 12*f**2 - 6*f + 4. Let s = -5 - 2. Let j(v) = s*p(v) + 2*q(v). Is 5 a factor of j(-2)?
True
Suppose 5*f + 66 = l + 17, 0 = 3*f - 3. Is 27 a factor of l?
True
Let a(y) = 7*y - 2. Let c be a(9). Is (-2 - 0) + 0 + c a multiple of 15?
False
Let c(d) be the second derivative of d**5/20 + 7*d**2 + d. Suppose u - 6*u - 3*g - 12 = 0, 0 = -2*g - 8. Is c(u) a multiple of 9?
False
Suppose -u = n - 9, 0*u + u + 2*n = 13. Let s = u - 0. Is s even?
False
Is 48 a factor of (16/(-2))/(2/(-25))?
False
Is 13 a factor of 6/(-2)*1*-26?
True
Let x(w) = -w - 3. Suppose 0*a - 3*a - 21 = 0. Is x(a) a multiple of 2?
True
Let b = 185 + -168. Is b a multiple of 2?
False
Let s(k) = 3*k**2 + k + 11. Does 21 divide s(4)?
True
Let a(v) = 2*v**2 - 2*v - 1. Let y be a(2). Let z(h) = -h**3 + 3*h**2 + 5*h - 6. Does 3 divide z(y)?
True
Suppose -u = -5*y + 28, 8 = 4*y - 3*y - u. Suppose -7 - 9 = -4*t. Suppose 16 = -4*o + y*m + 67, 77 = 3*o + t*m. Is o a multiple of 19?
True
Suppose 0 = -2*j + n - 85, -j - 63 - 2 = 4*n. Let g = -15 - j. Is 15 a factor of g?
True
Let p = -143 + 346. Is 39 a factor of p?
False
Let w(u) = 2*u**3 - 21*u**2 - 3*u + 3. Let i(r) = r**3 - 11*r**2 - 2*r + 2. Suppose 0 = 5*l - 2*l - 33. Let f(n) = l*i(n) - 6*w(n). Is 8 a factor of f(3)?
False
Let i = 27 + 5. Is 16 a factor of i?
True
Let u(g) = -2*g**2 + 3*g - 3. Let h be u(-3). Let p be 2/(-5)*h/3. Is 9 - ((p - 3) + 2) a multiple of 2?
True
Suppose 124 = -3*k + 3*s + 22, 3*s + 48 = -2*k. Let b be (-12)/(-9)*k/4. Does 17 divide (-512)/b - (-1)/(-5)?
True
Let v(n) = 15*n - 3. Let t be v(3). Suppose 3*j - j + h = t, 3*j = h + 63. Is 8 a factor of j?
False
Let o(w) = w**3 - 5*w**2 - 5*w + 10. Suppose -3*f = d - 2*d + 6, -f = -5*d + 30. Does 16 divide o(d)?
True
Let p(c) = -c - 2. Let q be 60/(-18)*(-6)/(-5). Let o be p(q). Does 4 divide 0 - (-9 - o/(-2))?
True
Let f = -2 + 2. Suppose f = -j, j - 13 = -m - 6. Suppose -4*s - g + 16 = 0, -3*g - m = -s + 2*s. Does 4 divide s?
False
Suppose b = 8*b - 98. Is 6 a factor of b?
False
Suppose 4*q + 7 + 5 = 0. Is (-16)/(1 + 1 + q) a multiple of 13?
False
Suppose 4*s - 25 = -s. Does 2 divide s?
False
Let k(d) = -d + 16. Let c be k(11). Suppose 5*z + 45 = 5*x, c*x - 45 = -0*z + 3*z. Is 5 a factor of x?
False
Suppose 3*u + 22 = -2*c, 2*c = -2*u + u - 14. Let h be u/2*(-2 + -28). Suppose q - 102 = -2*v - 2*v, h = 2*v - 4*q. Does 13 divide v?
True
Let u be 3*(-1 + 15/9). Suppose u*v - 39 = -v. Is v a multiple of 13?
True
Let m(n) = n**3 - 4*n**2 + 3*n + 4. Let t be m(3). Suppose t*k - 12 = k. Suppose -k*y + 90 = 3*r, 4*r - 3*r + 4*y - 30 = 0. Does 19 divide r?
False
Suppose -2*