 y a multiple of 11?
False
Let d be -85 - (-2 - (-2 - 2)). Let f = 45 + d. Is 3 a factor of (-1)/(-3) + f/(-9)?
False
Let t = 25 + -33. Is (-2)/t*-6*-14 a multiple of 7?
True
Let q = 2 - 2. Suppose 0 = 4*t - 2*i - 118, q - 3 = i. Is t a multiple of 14?
True
Let y(p) = p - 8. Let a be y(10). Suppose a*k - k - 11 = 0. Is 11 a factor of k?
True
Let i(u) be the second derivative of u**4/12 - 2*u**3 + 3*u**2 + u. Is 9 a factor of i(14)?
False
Let y be (-2)/2 + 4 + 2. Suppose y*i - 35 = 215. Is 25 a factor of i?
True
Let t = 47 - 25. Does 17 divide t?
False
Let z(p) be the first derivative of p**4/4 + 3*p**3 - 2*p**2 + 7*p + 3. Let h be z(-9). Suppose -5*j + h + 22 = 0. Is j a multiple of 13?
True
Let z(c) = 14*c**2 + 20*c + 5. Let q(b) = 9*b**2 + 13*b + 3. Let a(x) = -8*q(x) + 5*z(x). Let f(m) be the first derivative of a(m). Is 20 a factor of f(-11)?
True
Let p = 60 - 10. Does 10 divide p?
True
Let k(w) = -w**3 - 8*w**2 - 2*w - 12. Let i be k(-8). Suppose -i*v = -24 - 28. Is 13 a factor of v?
True
Let v = 3 - -7. Does 10 divide v?
True
Is 3 a factor of ((-36)/(-8))/(-1)*-2?
True
Suppose 5*f = 6 + 14. Suppose 3*w + 2*w - 70 = 5*c, -f*c = -2*w + 24. Does 5 divide w?
False
Let s be (1 + 0)/((-3)/21). Let z(v) = v**3 + 8*v**2 + 4*v - 7. Does 7 divide z(s)?
True
Suppose 0 = -0*z - 4*z - 3888. Let c be 7/(-35) - z/10. Suppose -c + 21 = -4*s. Is 19 a factor of s?
True
Let q be 23 + (-1 - -4 - 1). Suppose k - 3*y = y + 20, -5*y = -4*k + q. Let t(n) = -n**3 - n**2 - n + 26. Is t(k) a multiple of 13?
True
Let l(r) = 2 + 2*r + 0*r - 5 + r + r**3 + 5*r**2. Let g be l(-3). Suppose 4 + g = c. Is 10 a factor of c?
True
Let x(i) = -i + 2. Let f be (-1)/(-1*2/(-18)). Is 6 a factor of x(f)?
False
Let g(x) = x**3 + x**2 + 2. Let a be g(0). Suppose t = -a*t + 84. Does 14 divide t?
True
Let p = 5 + -2. Suppose -84 = p*y - 7*y. Is 9 a factor of y?
False
Let y(x) = x**3 + 6*x**2 + 2. Let u be y(-6). Let n be (2 + u + -1)/1. Suppose 36 = v + 3*v + 3*a, n*v + 5*a = 16. Does 5 divide v?
False
Let g(d) = -13*d - 6. Is g(-2) a multiple of 18?
False
Is 8 a factor of (40/(-15))/(1/(-9))?
True
Suppose 0 = -3*b + 3*v + 252, 4*b = -0*v + 5*v + 340. Is 20 a factor of b?
True
Is (-170)/(-4) + 1/(-2) a multiple of 16?
False
Let m(r) = r**3 - 7*r**2 - 6*r - 1. Let b be m(8). Suppose 115 = 2*n + b. Is 15 a factor of n?
False
Suppose 0*c - 2*c = d - 16, 2*c = 2*d - 56. Does 12 divide d?
True
Suppose -2*g = 2*g. Suppose g*p = -p + 40. Suppose 0 = 2*b + 8, 4*b - b = 2*o - p. Is 4 a factor of o?
False
Let a be (-466)/(-8) + (-1)/4. Let s = 109 - a. Is s a multiple of 15?
False
Let a be 10/(1 - 3) + 0. Let q = a - -31. Is 13 a factor of q?
True
Is (-362)/(-5) - (-6)/(-15) a multiple of 24?
True
Let s = 18 + -18. Suppose 0 = 5*q + 3*m - 325, s*q - 5*m - 161 = -3*q. Does 12 divide q?
False
Let w be 72/(-27) - 2/(-3). Is 10 - 0/w - -3 a multiple of 13?
True
Suppose 0 = 2*t + 5*y - 236, 7*t = 4*t + 4*y + 377. Let a = t - 80. Is a a multiple of 12?
False
Let r(m) = m**2 + 2*m - 1. Let x be r(-3). Suppose w = 4 - x. Is w a multiple of 2?
True
Let h be (-26)/(-10) + 2/5. Suppose b = h*g - 0*b - 71, 0 = -b - 5. Does 21 divide g?
False
Let t be 1/6*3*-6. Is t + 53 + (-2)/(-1) a multiple of 22?
False
Let u(r) = r**3 - r - 3. Let f be u(0). Is 13 a factor of 1/(1*f/(-111))?
False
Suppose -7 = 3*i - 31. Let w = 25 - i. Does 12 divide w?
False
Let d(z) = 2*z**2 + 4*z + 3. Let w be d(-2). Suppose 0 = -g + w*g - 26. Does 6 divide g?
False
Let a = 9 - 11. Is a*(-3 + 1 - 2) a multiple of 3?
False
Suppose 0 = -3*f + 212 + 142. Is 33 a factor of f?
False
Let q(b) = -44*b**3. Does 22 divide q(-1)?
True
Let y(z) be the second derivative of -7*z**3/2 + 3*z. Let p be -1 - (-1 + 3 + -1). Is y(p) a multiple of 21?
True
Suppose 0 = h + w - 51, -5*w + 0*w = -20. Suppose -5*k = 5*g - 55, 2*g + g = 3*k - 15. Suppose -5*t = -h - k. Is 11 a factor of t?
True
Suppose -4*h + 5*h = -3*p - 117, -2*h = -3*p - 108. Suppose 2*x + 216 = -x. Let f = p - x. Is 17 a factor of f?
True
Suppose v = -u - 4, 5*v - u + 40 = -2*u. Does 9 divide 12/v*2*-12?
False
Is 5 a factor of ((-20)/3)/((-8)/12)?
True
Suppose -5*c + 3158 = -362. Let r = c + -239. Does 13 divide r/18 - 2/(-12)?
True
Suppose 2*b + 1775 = 7*b - 5*c, 0 = -2*c + 6. Is 58 a factor of b?
False
Suppose 0 = l + t + 17, -5*l - 27 = 4*t + 54. Let b be l*(-2)/(6/3). Suppose 3 = -2*r + b. Is 5 a factor of r?
True
Let r(z) = -z**2 + 8*z + 9. Let y be r(8). Let j(q) = -2*q**2 + 7*q - 25. Let d(s) = -s**2 + 3*s - 13. Let h(x) = 11*d(x) - 6*j(x). Is h(y) a multiple of 4?
False
Suppose 4*p - 339 = 181. Let a = p - 79. Is 21 a factor of a?
False
Let x(g) = 6*g - 14. Let t be x(6). Suppose -54 = -4*j + t. Does 10 divide j?
False
Let r(x) = -x**3 - 3*x + 9*x + 6*x**2 - x**2. Let n be r(6). Let i(u) = -u**2 + 28. Is 14 a factor of i(n)?
True
Suppose 258 = -7*l + 1924. Is l a multiple of 34?
True
Suppose 3*j + j = 20. Suppose -94 = -j*k + 5*u - 9, u = -k + 25. Suppose 0 = -5*a - q + 63, -a - q + k = 2*q. Is 6 a factor of a?
True
Suppose 5*r + 0*r + 280 = 0. Let y = r - -124. Suppose 0*a - 3*a - 5*i = -44, -5*a = 3*i - y. Is a a multiple of 10?
False
Is 24 a factor of -3 - 9/(-1 - 4/(-6))?
True
Suppose -2*z + 5*z - 3*n = 0, -4*n = -z + 3. Is 20 a factor of 100*(21/15 + z)?
True
Let q = -172 + 241. Suppose -4*p + p = -q. Is 15 a factor of p?
False
Let i = 5 + -2. Suppose z - i*z + 50 = 0. Suppose 8 + z = 3*k. Is k a multiple of 10?
False
Suppose 0 = -5*g - 0 + 5. Is 9 a factor of 14/4*6/g?
False
Let d(j) = -6*j - 1. Let v(f) = f + 5. Let c be v(-6). Does 5 divide d(c)?
True
Suppose 19*o - 533 = 6*o. Is 11 a factor of o?
False
Suppose -3 - 3 = -2*o. Suppose -u = 4*v - o, -2*v - 1 + 70 = 5*u. Is 15 a factor of u?
True
Let t = 11 - 7. Let r(k) = 0 + 5*k + 3*k**3 + 5*k**2 - t*k**3 - 2. Does 9 divide r(5)?
False
Suppose -3*z = 3 - 6. Let s = z + 2. Suppose s*x - 28 = x. Does 13 divide x?
False
Suppose -2*o - 132 = -4*o. Let j = -15 + o. Let v = j - 29. Is v a multiple of 8?
False
Let h be ((-8)/(-10))/(4/30). Suppose 0 = -4*r - 2*x + 146, 5*r - 5*x - h = 169. Is r a multiple of 9?
True
Let z be ((-9)/12)/((-4)/16). Suppose 8 - 2 = -3*y. Let o = z - y. Is 4 a factor of o?
False
Let n(v) = 16*v + 4. Does 17 divide n(4)?
True
Suppose 0 = p + 5*r + 12, 0 = -5*p + 3*p + 3*r + 15. Let y(z) = -4 + 0 + 0 + p*z. Does 14 divide y(6)?
True
Let o = -4 + 6. Let i = o - 6. Let c(u) = 4*u**2 + 7*u + 4. Is 11 a factor of c(i)?
False
Let i(g) = -g**2 + 14*g + 3. Let t be 11*(2 + (-3 - -2)). Let d be i(t). Suppose -h = 3*s - d, h = 2*h. Is s a multiple of 5?
False
Suppose -51 - 70 = -q. Is 14 a factor of q?
False
Let i = 60 - 42. Is i a multiple of 9?
True
Let l be 12 - (-8 + 3 - -1). Does 5 divide 170/7 - l/56?
False
Suppose -5 = 3*h - 23. Let c(v) = -v**3 - 4*v**2 - v - 8. Let z(s) = s**3 - s**2 - s. Let q(g) = -c(g) - 2*z(g). Does 26 divide q(h)?
True
Let c be 0 + -3 + (-120)/(-6). Let w = -10 + c. Is w a multiple of 3?
False
Is 12 a factor of 188/5 + (-9)/15?
False
Let b = 6 + -4. Let j(g) = 3*g**3 + 4*g**2 - 3*g**2 + 0*g + 2*g - b. Does 13 divide j(2)?
False
Let p be (69/(-9) - -5)*-3*1. Suppose 0 = 3*q - 0*q + 3*b - 12, 20 = -3*q + 5*b. Suppose p = m - q. Does 3 divide m?
False
Suppose -22 = -3*n - 4. Suppose -3*a - 3*b + n*b + 6 = 0, 2 = b. Suppose -a*j = -2*i - 52, 0*i - 2*i + 18 = j. Is 14 a factor of j?
True
Let f = -13 - 26. Let h = 67 + f. Let q = h - 20. Does 7 divide q?
False
Let o = 178 + -46. Is o a multiple of 26?
False
Let i = 25 - -115. Is 49 a factor of i?
False
Suppose 6 = -k + 21. Let m = k - 9. Suppose m*z - 70 = z. Is z a multiple of 13?
False
Let m(c) = c + 1. Let v be m(-1). Suppose v = 3*s + 6. Let t = 19 - s. Is 11 a factor of t?
False
Let g = 16 + 3. Does 5 divide g?
False
Suppose 0 = -a - 5. Is 20 a factor of 8*(50/(-4))/a?
True
Suppose 9*g + 6*g - 1590 = 0. Does 6 divide g?
False
Let n(q) = q**2 + q. Let l(o) = -4*o**3 - o**2 - 4*o + 1. Let v(d) = l(d) + 3*n(d). Let u be v(2). Is (-455)/u - 1/5 a multiple of 10?
False
Let a(k) be the third derivative of k**4/24 + 2*k**3/3 - 2*k**2. Let q be a(7). Suppose -q = -b - 0. Is 5 a factor of b?
False
Suppose 75 + 11 = 4*i + 2*d, i - 26 = d. Let b = -16 + i. Is b even?
False
Suppose 5*i - 259 = -2*a, 8*i - 198 = 4*i + 3*a. Suppose 3*u + 3