 t = -3 - g. Suppose -4*s + t*u = -24, 4*s + u = 37 - 1. Is s a multiple of 6?
False
Let t(k) = -k**2 - 15*k - 18. Does 4 divide t(-12)?
False
Let s(k) be the third derivative of -k**4/4 + k**3/3 + 3*k**2. Is s(-4) a multiple of 9?
False
Let p(r) = r**3 - 3*r**2 + 2*r - 2. Let u be p(2). Does 14 divide u/(-5) - (-138)/5?
True
Let c(y) = -32*y**2 + y - 4. Let s be c(3). Let l = -168 - s. Suppose 90 = b + 2*b - w, -l = -4*b + w. Does 15 divide b?
False
Let n = 7 - 14. Let d(r) = r**3 + 8*r**2 + 5*r - 9. Let t be d(n). Suppose 0*g - t*g = -45. Is 7 a factor of g?
False
Let z(o) = -17*o - 1. Let h be z(3). Let x = -73 - h. Is (-119)/x - 2/(-6) a multiple of 3?
True
Let r = -13 - -22. Let z = 4 + r. Does 5 divide z?
False
Let y be (2/(-4))/(2/(-24)). Is 254/y - 2/(-3) a multiple of 15?
False
Suppose -c - 2*c + 27 = 0. Suppose -52 = -10*z + c*z. Is 26 a factor of z?
True
Suppose -4*r = -5*p - 344, 4*p = 5*r + 36 - 475. Suppose -21 = 5*t - r. Suppose 2*x = 46 - t. Is 8 a factor of x?
True
Let b be 12/(3*8/12). Suppose -b*w = -5*w - 8. Does 5 divide w?
False
Suppose 4*b - 418 + 114 = 0. Is 19 a factor of b?
True
Suppose 0 = -2*v - 156 + 52. Let n be (9/6)/(-1)*24. Let x = n - v. Is x a multiple of 16?
True
Let j be (-150)/(-8) + 2/8. Let w(u) = -u**2 - u - 3. Let q be w(-3). Let y = q + j. Is y a multiple of 9?
False
Let p(k) be the third derivative of -k**7/2520 - k**6/90 + k**5/20 + k**4/12 + 2*k**2. Let m(j) be the second derivative of p(j). Does 4 divide m(-8)?
False
Let x(z) = -z**3 - 8*z**2 - 21*z - 19. Is 61 a factor of x(-10)?
False
Suppose 0 = 3*f - 2*f + 98. Let x be ((-2)/4)/((-7)/f). Let g = x - -13. Does 3 divide g?
True
Let s be 3*(2 - 7/3). Let r(p) = 1 + 9*p**2 + 9*p - 9*p + 4*p**2. Does 7 divide r(s)?
True
Let m = 12 - 16. Let y(t) = 5*t**3 + t**2 - 4. Let i be y(-3). Does 11 divide i/m + 6/12?
True
Let z(p) = p**3 - 14*p**2 - 14*p + 6. Does 17 divide z(15)?
False
Let h(f) = -3*f - 1. Let a(b) = -4*b - 2. Let r(v) = -2*a(v) + 3*h(v). Let j = -3 - 1. Does 2 divide r(j)?
False
Suppose 114 = -x + 326. Suppose 4*z - 86 = 5*b + 71, -5*z = -b - x. Is z a multiple of 11?
False
Let z = 13 - 7. Is 3 a factor of z?
True
Let l = 12 + -4. Let w(u) = u**3 - 6*u**2 - 11*u. Let y be w(l). Suppose 3*d - 20 = 5*b + 16, 2*d + 2*b = y. Is 17 a factor of d?
True
Let r(a) = 8*a**2 - 5*a + 3. Let w be r(3). Let s = 107 - w. Is s a multiple of 16?
False
Suppose -5*w + 3*r + 13 = 0, 4*r + 8 = w + w. Suppose -d - 48 = -l, -d - 2*d = -w*l + 94. Does 21 divide l?
False
Suppose 3*z + z = -108. Suppose -4*a = -3*a - 1. Let f = a - z. Is f a multiple of 14?
True
Let n(z) = 2*z**2 + z - 1. Let j = -8 + 5. Is 12 a factor of n(j)?
False
Let i(b) = -2*b + 1. Suppose 2*r = 2 + 4. Let l(w) = -w**3 + 3*w**2 - w - 3. Let x be l(r). Is 10 a factor of i(x)?
False
Let s = 245 + -133. Suppose 2*u + u - s = -4*d, 0 = -4*u. Is d a multiple of 14?
True
Suppose 0 = -2*y - 0 + 6. Suppose 0 = -y*l + f + 367 - 80, 0 = -5*l - 3*f + 483. Suppose -t = 3*t - l. Does 18 divide t?
False
Let r = -156 + 281. Is r a multiple of 34?
False
Let j(l) = -33*l - 3. Is 24 a factor of j(-3)?
True
Let o(j) = 9*j - 27. Does 3 divide o(5)?
True
Let b(t) = t**2 + 9*t - 4. Is 6 a factor of b(-11)?
True
Suppose 42*q = 41*q + 68. Does 18 divide q?
False
Suppose 0 = x - 0 + 3. Is -2 - 6/x*18 a multiple of 17?
True
Let j = -2 + 0. Let s = 1 - 0. Does 3 divide 3/(s + 1/j)?
True
Let z = -30 + 114. Is z a multiple of 14?
True
Suppose 10 = 5*i - 5*c, 3*c + 1 - 19 = -3*i. Suppose f + i*f = 35. Is f a multiple of 7?
True
Suppose n + 3*n - 8 = 0. Suppose 0 = n*r - 7*r + 5. Let u = 1 + r. Is 2 a factor of u?
True
Suppose 0*z + 175 = -5*z. Let u be (-4)/(-10) - 56/z. Suppose 2*k + u*k = 24. Does 2 divide k?
True
Let u = 8 - -60. Is 13 a factor of u?
False
Suppose 0 = -5*m - 2*s + 6*s - 4, -5*m - s - 24 = 0. Is 6 a factor of 14 + (-2)/m*0?
False
Let i(l) = -1. Let n(t) = -14*t + 4. Let v(j) = 2*i(j) + n(j). Let x be v(-2). Let r = x - 15. Does 7 divide r?
False
Let k be -14 + 4/(-8)*-2. Let l = 35 + k. Does 11 divide l?
True
Let v(c) = -c**2 + 3*c + 4. Let o be v(3). Suppose 0 = -g + o + 11. Is g a multiple of 15?
True
Let u(w) = w**3 + 6*w**2 - 9*w - 8. Let q be u(-7). Suppose -t + q + 6 = 0. Does 6 divide t?
True
Let c(q) be the second derivative of q**5/20 - 13*q**4/12 + 13*q**3/6 + 17*q**2/2 - q. Does 18 divide c(12)?
False
Let g(p) = -p + 12. Let i be g(7). Suppose 3*n + 27 = i*u, 5*u - n - 3 = 16. Suppose s = -u*s + 32. Is 8 a factor of s?
True
Let v = 5 - 7. Is 5 a factor of (-2*1)/(v/5)?
True
Let c be (2 - 1)/(-1 - 0). Let q be 37 - (-2 - (-2 + c)). Let f = q - 14. Is f a multiple of 11?
True
Let d(i) = -i**3 - 8*i**2 + 3. Let y be d(-8). Let b = y - 47. Does 9 divide (-1)/(2*1/b)?
False
Let u = -2 - -5. Suppose u*d + d = -20, 0 = 4*r + 5*d + 33. Does 9 divide 24 + 3 + (r - -1)?
False
Let g(q) = -q. Let p be g(-5). Suppose -p*t + 2*c = -45 - 18, -5*c - 21 = -2*t. Suppose 0 = k - t - 1. Is k a multiple of 4?
False
Suppose 6*i - 162 = 3*i. Is i a multiple of 27?
True
Let p(r) = 10*r**2 - 6*r - 4. Let z(d) = -10*d**2 + 7*d + 5. Let v(y) = 6*p(y) + 5*z(y). Does 3 divide v(1)?
False
Let a(h) = -2*h - 4. Let t be a(-3). Suppose q - 431 = -5*v, 3*v + 2*v - t*q = 443. Let d = -52 + v. Does 12 divide d?
False
Let c(b) = b**3 - b - 3 + 3*b**2 + 2 - 2*b**3. Let y be c(2). Is 4 a factor of 4 + y/(-1) - -9?
True
Suppose 172 = 5*d + 2*o, 5*d = d - 3*o + 132. Let m be d*-1*(-4)/3. Suppose 0 = 3*u - m + 18. Is 5 a factor of u?
True
Let u = 2 + -2. Suppose 6 = c - u*c. Let y = c + 11. Does 17 divide y?
True
Let o(g) = g**2 - 7*g - 3. Let v be o(8). Let n(c) = c**2 - 3*c - 7. Let m be n(v). Suppose -2*d + m = -3. Does 3 divide d?
True
Suppose 45 = 5*b - 3*n, 0*n - 4*n + 36 = 4*b. Let i = 1 + b. Does 5 divide i?
True
Let m(f) = -2*f**3 - 2*f**2 + f - 1. Let t be m(-2). Suppose -2*s + 22 = 3*w + 2*s, t*s = -5*w + 45. Does 14 divide w?
True
Is 4 a factor of 7/((-28)/(-108)) - -1?
True
Suppose 224 = 3*t - t. Is 28 a factor of t?
True
Let t(k) = k**2 - k - 1. Is t(-3) a multiple of 11?
True
Let p(a) = 17*a**2 + 4*a + 10. Is 10 a factor of p(-2)?
True
Let f(h) = 13*h - 3 + 6 - 5. Does 10 divide f(2)?
False
Let a(m) = -2*m**2 + 22*m + 3. Is 13 a factor of a(9)?
True
Suppose -2*t = -2 - 2. Does 4 divide t*(-21)/18*-3?
False
Let u be 2/((6/3)/2). Suppose -2*p + 2*t + 16 = 4*t, 24 = 4*p + u*t. Is p a multiple of 4?
True
Suppose 0 = -5*w + 41 + 84. Suppose -3*l = -5*q + 3*q - 44, -2*l + w = 3*q. Does 7 divide l?
True
Suppose 5*q - 2*q = 0. Let m be q + 5*-1 + -1. Does 10 divide 2/(-1*m/81)?
False
Let k(b) = -2*b + 5. Suppose 0 + 6 = -a. Does 14 divide k(a)?
False
Let k(w) = -2*w**3 + w**3 + 1 - 4*w**2 + 2*w**2. Let p = -27 - -24. Is 5 a factor of k(p)?
True
Suppose -5*v = 5*n - 375, -4*n + 0*n = 2*v - 298. Let b = 12 - 64. Let x = n + b. Does 14 divide x?
False
Let s(k) = 24*k**3 - k**2 + k. Let c be (3 - 3) + (1 - 0). Is s(c) a multiple of 12?
True
Suppose -7*g + 2*g + a + 13 = 0, 9 = g + 3*a. Let h be (-2)/(g/9 - 1). Suppose -28 = -7*z + h*z. Is z a multiple of 3?
False
Let p = -10 + 5. Let l(g) = g**2 + 5*g + 1. Let v be l(p). Does 7 divide -21*(v + (-10)/6)?
True
Suppose 2*t = -2*q - 2, 4*q + q + 2*t = 7. Suppose q*c - 28 = -4*g, 7 = 3*g + 3*c - 11. Is 16 a factor of (12/g)/(15/400)?
True
Let y(k) = -k**2 - 7*k + 11. Let i be y(-8). Suppose 0 = -0*p - i*p + 201. Does 19 divide p?
False
Let k(t) = -t**2 + 9*t - 8. Suppose 6*q - q - 19 = 4*a, q - 3*a = -5. Is k(q) a multiple of 6?
True
Let w be -6*(0 + -1) - -1. Suppose -5*u = -w - 13. Suppose 5*m - 4*y = 50, 7*y = 5*m + u*y - 55. Is m a multiple of 14?
True
Let a be -3*15/(-9) - 2. Suppose -j + 92 = a*j. Is j a multiple of 10?
False
Let x = -14 - -159. Suppose -5*y + 90 = -x. Is y a multiple of 16?
False
Let p = -13 + 18. Suppose 0*j - 3*j - p*w + 64 = 0, -10 = -2*w. Suppose -j = -g - x, -3*x = -5*g + 21 + 84. Is g a multiple of 9?
True
Let r(z) = z**2 + 4*z + 1. Let m be r(-5). Suppose 2*s - m*s - 10 = -2*o, 4*o = s + 6. Let x(a) = 6*a + 1. Is x(o) a multiple of 3?
False
Let b(s) = 6*s**2 + 2*s + 3. Let c be b(-3). Suppose 3*x - 168 = -c. Is 12 a factor of x?
False
Let v = 6 + 6. Does 7 divide ((-8)/v)/((-2)/69)?
False
Let w(t) = 18*t + 27. Is w(9) a multiple of 19?
False
Suppose