o) = -o**2 - 8*o - 5. Let g be k(-6). Let l = g - 5. Is u(l) a multiple of 4?
True
Let h = -60 - -35. Let t = 28 - h. Is 18 a factor of t?
False
Let z(h) = h**2 - 3*h. Let k be z(3). Let g = k - -9. Does 9 divide g?
True
Let a(f) = 21*f**3 + 2*f**2 + 3*f + 1. Let k be a(3). Is 8 a factor of (-2)/8 - k/(-28)?
False
Let i(j) = -5*j + 2*j**3 - 3*j**2 - 2 + 0*j**3 - j**3. Let t(m) = -2*m**3 + 6*m**2 + 9*m + 4. Let w(n) = 5*i(n) + 2*t(n). Is w(5) a multiple of 7?
False
Let x(l) = -l**2 - 8*l - 4. Let u be x(-7). Suppose u*v + 4*p - 161 = 0, -p + 128 + 91 = 4*v. Let k = v + -28. Is 9 a factor of k?
True
Let g = -5 + -1. Is (-1)/g - 58/(-12) a multiple of 2?
False
Let y = -47 - -83. Is 9 a factor of y?
True
Let h = -7 + 11. Suppose 0 = 5*s + h*v - 139, 5*v + 103 = 7*s - 3*s. Does 4 divide s?
False
Does 6 divide ((-40)/1)/(0 - 1) - -1?
False
Let r = 17 + -17. Suppose 0 = 3*y + 2*i - 109, 0 = -r*i + 2*i - 4. Does 10 divide y?
False
Let s = 38 - 22. Let z = s + -11. Is z even?
False
Let h = -274 - -433. Is 16 a factor of h?
False
Suppose 9*w + 1161 = 18*w. Is w a multiple of 14?
False
Let q(o) = 8*o + 1. Let w be q(14). Let v = w - 67. Is v a multiple of 23?
True
Let a(x) = 27*x - 1. Does 12 divide a(2)?
False
Suppose 21 + 63 = z. Let m = z - 48. Does 9 divide m?
True
Suppose 13*s = 3*s + 800. Is s a multiple of 10?
True
Let y = 17 - 8. Let m(w) = -4*w + y + 3*w**2 - w**3 - 3*w - 11*w**2. Is m(-7) a multiple of 9?
True
Suppose x = 3*x - 4. Suppose -5*u + 170 = -x*p, p - 51 + 216 = 5*u. Is 14 a factor of u?
False
Suppose 5*m + 12 = -2*b, 2*m + 5 = -b + 1. Is 24 a factor of m*-47*(-4)/(-16)?
False
Let l(z) = z - 6. Let w be l(6). Suppose 11*r = 6*r. Suppose w = -r*g - 2*g + 66. Is g a multiple of 11?
True
Is ((-272)/20 + (-4)/10)*-1 a multiple of 3?
False
Suppose 2*n = 3*t + 51, 0*n + 2*n - 26 = -2*t. Suppose -136 = -2*m - n. Is m a multiple of 22?
False
Let m(p) = p**3 - 4*p**2 - 3*p - 6. Let b be m(5). Suppose o + 17 = b*h + 7, -2*h = 3*o - 12. Is 268/22 - o/11 a multiple of 12?
True
Let t be ((-8)/(-3))/((-4)/(-96)). Let y = t - 41. Does 10 divide y?
False
Suppose 0 = 3*t - u - 125, 2*u - 76 = -2*t - u. Let c = -18 + t. Does 6 divide c?
False
Suppose 4*u - 2*u = 108. Suppose m - 58 = -4*d + 50, 2*d - u = 4*m. Is d a multiple of 10?
False
Suppose 3*t + 4*h - 26 = 0, h + 3 - 12 = -2*t. Suppose -5*q - 25 = 0, 2*r - 108 = t*q + 4. Let j = r + -15. Is j a multiple of 18?
True
Is 6/(-4)*(-29 + -1) a multiple of 9?
True
Let q(j) = -2*j**2 + 6*j + 11. Let p(n) = -n**2 + 4*n + 7. Let s(r) = -8*p(r) + 5*q(r). Let i(d) be the first derivative of s(d). Is i(-4) a multiple of 8?
False
Let c(q) = 3*q + 2. Let g(f) = f - 1. Let v(i) = -2*c(i) - 2*g(i). Let y(k) = 3*k + 16. Let p be y(-6). Is v(p) a multiple of 9?
False
Let z be 2 - -1 - (0 + -1). Suppose -z*n = -9*n + 60. Is 12 a factor of n?
True
Suppose 0 = -2*g + 4*g + 3*u + 482, 8 = 2*u. Let d be g/(-4) - (-1)/4. Let n = d - 35. Is n a multiple of 13?
False
Let m(k) = -k + 11. Let j be m(5). Is 17 a factor of (34/(-8))/(j/(-24))?
True
Suppose d - 8 - 7 = 0. Let q = 21 - 12. Let l = d - q. Is l a multiple of 3?
True
Let c = -122 - -238. Suppose -4*z + c = 4. Is z a multiple of 14?
True
Let i = -36 + 58. Is i a multiple of 11?
True
Suppose -m + 8 = -2*p, m - 3*p - 23 = -4*p. Let n = m + -13. Suppose y + l = 22, -2*l = -n*y - l + 140. Is y a multiple of 10?
False
Suppose 51*s - 49*s = 224. Is 27 a factor of s?
False
Suppose 6 = 3*w - 9. Suppose -16 = -2*b - w*k, 3*k = -4*b + k + 64. Is b a multiple of 5?
False
Suppose 2*h - 113 = -b, h - 2*b - 54 = -0*h. Is h a multiple of 28?
True
Suppose 0*z + 12 = -z. Let f(d) = -3*d - 15. Is 21 a factor of f(z)?
True
Let m = -40 + 58. Let u = m + -10. Is 5 a factor of u?
False
Let s(v) = -10*v - 1. Let z be s(-1). Let m = z - 9. Suppose m = 5*g - 1 - 224. Is 15 a factor of g?
True
Is 3 + 31/(-11) - (-5400)/66 a multiple of 12?
False
Let f(m) = 6*m - 15. Is f(5) a multiple of 3?
True
Suppose -4*s + 2*u + 306 = -0*u, -u - 231 = -3*s. Is 26 a factor of s?
True
Suppose 2*j - 7*j = m + 49, 4*j + 329 = -5*m. Let g = m + 134. Is g a multiple of 17?
False
Suppose -3*q + 37 = -161. Is q a multiple of 11?
True
Let t = -12 - -17. Is 4 a factor of t?
False
Let k = -49 + 72. Does 23 divide k?
True
Let w(k) = -k + 4. Let y be w(7). Let a(c) = -2 + 0 + 1 - 2*c. Does 5 divide a(y)?
True
Let x = -1 + 2. Does 9 divide x/(3*1/54)?
True
Let c(f) be the third derivative of f**6/120 - f**5/60 + f**4/24 + 29*f**3/6 - 2*f**2. Does 16 divide c(0)?
False
Let t(u) = -4*u - 1. Let c be t(-8). Suppose m = 3, -m + 2 = 3*s - c. Does 8 divide s?
False
Let c be (-2)/(-3)*9/2. Suppose -3*j - 2*j = -c*a - 17, a + 4 = 2*j. Is 14 a factor of 1 + (-2 - -1 - a)?
True
Let t be (8/(-10))/(4/30). Is (-26)/t - (-2)/(-6) a multiple of 4?
True
Suppose 0*m = 2*m - 264. Let t = m - 92. Is 11 a factor of t?
False
Let j be (-3 - -3)*2/(-4). Let v = j - -3. Suppose 84 = 4*g + 4*h, -v*h = 4*g - 8*h - 102. Does 11 divide g?
False
Let q(u) = 2*u**3 - 4*u**2 - 3*u + 4. Is 7 a factor of q(4)?
True
Is 10 a factor of (-1)/(14/(-40))*7?
True
Let d be 3*-2*4/6. Let l = d - -12. Is l a multiple of 4?
True
Suppose 6*j = 9*j - 27. Let l(p) = p**2 - 13*p + 11. Let g(q) = -3*q**2 + 38*q - 33. Let b(n) = -4*g(n) - 11*l(n). Does 4 divide b(j)?
False
Suppose 4 = -4*z - 0. Let r = z + 10. Does 3 divide (r/(-12))/(3/(-12))?
True
Suppose 2*h = 4*h. Let a = 18 + 10. Suppose -w + a = -h*w. Is w a multiple of 14?
True
Suppose -1540 = -10*a + 3*a. Is a a multiple of 44?
True
Let m be ((-2)/(-4))/(2/8). Let n = m + -5. Does 8 divide (1 - 2)/(n/24)?
True
Let c = 12 + -9. Suppose 15 = c*y - 45. Is y a multiple of 10?
True
Let t = -2 + 2. Suppose t = -v + 4*v + 2*u - 24, -3*v = -3*u - 9. Does 6 divide v?
True
Suppose -5*h = -3*j + 82, 44 = 2*j - 3*h - 10. Does 4 divide j?
True
Let q = 86 + -41. Is 15 a factor of q?
True
Let z(s) = -s**2 - 9*s + 7. Let b be 4 - 2 - (7 + 0). Does 19 divide z(b)?
False
Let h(f) = 9*f + 22*f - 2 - 2 + 1. Let g be h(3). Is ((-3)/(-2))/(3/g) a multiple of 21?
False
Suppose -2 = -4*u + 14. Suppose -5*d = -u*d + 3*v + 8, -4 = -2*d - 2*v. Is 7 a factor of d?
True
Let z(m) = -35*m**3 + 2*m + 1. Let y be z(-1). Suppose 3*x - y = x. Is 11 a factor of x?
False
Let z(u) = 10*u - 3. Suppose 0 = 5*g - 5, 4*b - 11 = g - 4. Is z(b) a multiple of 7?
False
Let j = 12 + 2. Suppose -2*f + j = 2*o, 3*o - 4*f - 45 = -3. Is 10 a factor of o?
True
Let d(z) = z**3 - 3*z**2 - 5*z + 4. Let i be d(4). Is 11 + (i - 2/2) a multiple of 10?
True
Suppose -335 = -3*a + 2*j, 0 = -10*a + 5*a + 3*j + 560. Suppose 0 = -5*y + 2*b + 143, 2*y + 3*y = -5*b + a. Is 27 a factor of y?
True
Let u(m) = -m**2 + 5*m - 1. Let i be u(5). Let g be i + -1 + (1 - 0). Is 18 a factor of 1 + 1/g + 36?
True
Let z(u) be the first derivative of -u**3/3 - 4*u**2 + 11*u - 1. Let m be 8*(-1)/(1/1). Is 11 a factor of z(m)?
True
Let w(y) = y**2 + 10*y + 4. Let i be w(-6). Let a be (-72)/i + (-4)/(-10). Suppose a*f - 12 - 16 = 0. Is f a multiple of 7?
True
Suppose 5*f = 2*f. Suppose 2*y - 30 - 12 = f. Is y a multiple of 21?
True
Let v = -188 - -484. Does 12 divide v?
False
Suppose 2*f + 2*f - 8 = 0. Let y(g) = 6 + 9*g + g**2 - 2*g**f + 0*g**2. Is 7 a factor of y(8)?
True
Let d(v) = -v**2 + 11*v - 4. Let k be d(6). Suppose -k = -2*y + 22. Does 8 divide y?
True
Let t = 72 + 18. Let l = 2 - 0. Suppose -l*x + 7*x = t. Does 18 divide x?
True
Suppose 4*w = 3 + 5. Suppose w*f + 2*l - 2 = 2, 5*f - 10 = 5*l. Suppose -f*k + 4*k = 54. Is k a multiple of 21?
False
Suppose -42*z + 41*z = -41. Does 10 divide z?
False
Let d(i) = i**3 + 14*i**2 + i - 26. Does 8 divide d(-13)?
False
Suppose -28 = -3*b - 10. Let o be (48/(-5))/(b/(-105)). Suppose o = 9*s - 5*s. Does 21 divide s?
True
Suppose -5*r = -10 - 10. Suppose m + 6 = 4*m, -m = r*z + 10. Does 10 divide z/(-6)*100/2?
False
Let f = 28 + 49. Does 28 divide f?
False
Let d(o) = 4*o + 22. Does 23 divide d(10)?
False
Let v = -10 + 15. Suppose 60 = v*q - 40. Is 14 a factor of q?
False
Let k(t) = 3*t**2 + 4*t + 7. Does 18 divide k(-6)?
False
Suppose 448 = 4*n - 4*u, -u + 550 = 5*n + 4*u. Is n a multiple of 23?
False
Let t = 95 + -63. Is t a multiple of 16?
True
Let g be 2*3/15*70. Suppose -4*x + 216 = 2*d, x - 27 = -d + g. Is x a multiple of 14?
False
Su