actor of u?
False
Let a = 19 + -10. Is a a multiple of 2?
False
Let w = 121 + 15. Is 24 a factor of w?
False
Suppose 21 = 2*h - x, 0 = x + 3 - 6. Is h a multiple of 4?
True
Let p(z) = 0*z - 4 + 0*z**3 + 5*z - 4*z**2 + z**3. Let n(d) = -5*d**3 + 19*d**2 - 25*d + 21. Let o(s) = 2*n(s) + 11*p(s). Does 14 divide o(6)?
True
Suppose -4*t + 61 = 4*i - 143, 5*t = -2*i + 108. Does 14 divide i?
False
Let w(a) = a**3 - a**2 + a - 1. Let g(y) = -4*y**3 + 8*y**2 - 4*y + 9. Let m(k) = g(k) + 5*w(k). Let p be m(-3). Suppose -2*u + p + 27 = 0. Does 9 divide u?
False
Suppose 0 = -3*w - w - 4. Let h be (0/w)/(1 + -2). Suppose -7 = -f - h. Is f a multiple of 7?
True
Let u = 76 - 3. Is 13 a factor of u?
False
Suppose 0 = y - 5*y - 2*l - 14, 0 = -y - 2*l + 1. Let p = y + 5. Suppose -u + 3*s = -27, 5*u + p*u - 4*s = 146. Does 12 divide u?
False
Let h be (-2)/(-4)*0/1. Suppose h*q = -3*q. Suppose 3*j - 22 - 2 = q. Does 8 divide j?
True
Suppose -4*q + 5*c = 5, -c + 1 = -3*q - 0. Suppose -6 = j - q. Is 9 a factor of (-5)/((-75)/j)*-60?
False
Suppose -z + 2*c + 87 - 24 = 0, 0 = -4*z + 2*c + 246. Is 13 a factor of z?
False
Suppose 2*p - 28 = 2. Suppose -3*a - 45 = -4*v - 10, 3*v = p. Let m = 11 + a. Is m even?
True
Let z(f) = f**2 - 5*f + 5. Let p be z(5). Suppose -6*w + 28 = -p*w. Does 10 divide w?
False
Let j(q) = -q**2 + q + 5. Let r be j(0). Let k = 19 - r. Is k a multiple of 7?
True
Let x be -3 + (-2 + 2 - -21). Suppose -15 = 5*p, 4*i + 5*p + x = 187. Does 13 divide i?
False
Is 4 - (2 + 50/(-2)) a multiple of 12?
False
Let y = 3 - -8. Suppose -3*d - v = -y, d - 2*v - 28 = -3*d. Suppose -3*z - 3 = 4*k - 5*k, -5*z - 45 = -d*k. Is 12 a factor of k?
True
Let v be (2/3)/((-1)/(-201)). Let p = v - 50. Suppose -2*i - 2*i + p = 0. Is 7 a factor of i?
True
Let k(q) be the third derivative of -q**6/120 + 7*q**5/60 + q**4/8 - q**3/6 - q**2. Is 13 a factor of k(7)?
False
Suppose -9*n + 384 = -n. Is 11 a factor of n?
False
Let l(i) = 12*i + 3. Is 7 a factor of l(5)?
True
Let r(s) = -2*s**2 + 2*s - 3. Let y be 1 + (4 - (3 + -1)). Let d be r(y). Is (-3)/d - (-238)/10 a multiple of 20?
False
Suppose 0 = 3*f - 0*f. Suppose 0 = -f*o - o + 27. Is o a multiple of 9?
True
Suppose 0*u = -2*u - 28. Let b be 56/(-6) - 4/6. Let c = b - u. Does 3 divide c?
False
Let c = 1 + -3. Let i(s) = 12*s**2 + 3*s + 3. Does 8 divide i(c)?
False
Let h(b) = b**3 + 4*b**2 - 8*b - 2. Let j(y) = -y**3 - 5*y**2 + 7*y + 1. Let z(w) = -2*h(w) - 3*j(w). Suppose 3*k + 29 - 8 = 0. Is z(k) a multiple of 16?
False
Let i = 127 + -31. Suppose 8*z - 5*z - 304 = f, 0 = z + 5*f - i. Suppose -5*v + 19 = -z. Does 10 divide v?
False
Let h = -39 + 23. Let z = -2 - h. Is 14 a factor of z?
True
Suppose -8*w + 1024 = -0*w. Is w a multiple of 16?
True
Let w(k) = k**2 + 8*k - 2. Let q(l) = -6*l + 4. Let y be q(3). Is 23 a factor of w(y)?
False
Let t = -64 + 90. Is t a multiple of 4?
False
Let j(x) = x**3 + 5*x**2 - x. Let w be j(-5). Let f(t) = -2*t + 1. Let g be f(-2). Suppose -4*z + 32 = 4*n - 2*n, w*n - g*z - 80 = 0. Is 16 a factor of n?
True
Is 220/25*(-10)/(-4) a multiple of 11?
True
Let x(w) be the third derivative of -1/6*w**3 - 1/4*w**4 - 2*w**2 + 0*w + 0. Is 5 a factor of x(-1)?
True
Let r be (0 - 1)/(-1) - -1. Suppose 5 = -5*v + 5*t, v - r*t - 1 = -7. Suppose -v*f + 56 = -4*w, f - 7 - 11 = 5*w. Does 5 divide f?
False
Suppose -3*y + 5*d + 223 = 0, -5*y - 4*d + 63 = -4*y. Does 23 divide y?
False
Let y(v) = -v**3 + 7*v**2 - v - 1. Let c be y(3). Suppose -d = d - c. Is 8 a factor of d?
True
Let n(c) = c. Let b be n(-9). Let q be 0/1 - b/(-3). Does 7 divide -3*2/q + 14?
False
Suppose -2*c + 3 = -11. Let p(b) = b - 6*b**2 - 5*b + 8 - 2*b + b**3. Is p(c) a multiple of 15?
True
Let x(b) = 2*b**2 - 4*b + 3. Let g be x(2). Suppose 0 = -4*o - g - 1. Let h = o + 4. Is h even?
False
Suppose 2*r = 7*r - 20. Suppose c = -5*o + 46, -4*c - 3*o + r*o + 142 = 0. Is c a multiple of 21?
False
Let v(t) = 2*t**2 - t + 2. Let l be ((-14)/4 + 3)*-4. Is v(l) a multiple of 4?
True
Suppose -101 + 9 = -4*x. Is x a multiple of 23?
True
Let u(l) = -l**2 - 20*l - 3. Is 9 a factor of u(-19)?
False
Is 90/(-1)*(-6*1 + 3) a multiple of 10?
True
Let g be 4/((12/(-58))/(-3)). Suppose -n = -3*n - g. Let a = n - -56. Is a a multiple of 9?
True
Suppose 2*r = 4*n - 0*r - 150, n + 5*r = 21. Does 12 divide n?
True
Let y = -20 - -32. Is 12 a factor of y?
True
Suppose -d + 8*k - 3*k + 30 = 0, -4*k - 104 = -4*d. Suppose -d = 5*n, -5*s - 3*n + 0*n = 15. Suppose s = -4*b - 11 + 119. Is 22 a factor of b?
False
Suppose 4*w - 103 = 89. Is 12 a factor of w?
True
Let f(n) = -8*n + 12 - 2*n**2 - 2*n**2 - 6*n**2 + n**3 + n**2. Is 10 a factor of f(10)?
False
Suppose 2 = 5*d + p, 2*d - d + 5 = -2*p. Let h(r) = 11*r + 2 + 2 - 5 + 6*r. Is 8 a factor of h(d)?
True
Let h = 42 - -27. Is h a multiple of 17?
False
Let r be 1 + 0 - (-22)/2. Suppose -49 = -w - r. Is 14 a factor of w?
False
Let r = 9 + 6. Suppose -4*i - 19 + 69 = -5*l, 2*l = -i - 7. Let q = r + l. Is 5 a factor of q?
False
Let n = 5 - 1. Suppose 0 = -3*x + x. Suppose 5*a + x*h = -h + 65, -n*a + 52 = -2*h. Is 13 a factor of a?
True
Suppose y - 5*n - 24 = 3, y + 5*n = 37. Suppose 5*h - h - y = 0. Is 7 a factor of h?
False
Let z = 12 - 0. Is 4 a factor of z?
True
Suppose -j + 240 = 3*j. Suppose 2*a - 156 = 5*k, 0*k + 2*a = 4*k + 124. Let u = j + k. Is 14 a factor of u?
True
Let j = 4 - 3. Is ((-3)/2)/(j/(-12)) a multiple of 6?
True
Let n = -1 + 3. Suppose -5*z - 4*s = -804, -n*z - 4*s + 324 = -0*z. Suppose 0 = -5*d + z - 20. Is d a multiple of 15?
False
Let k = -53 + 81. Let o = k + -20. Does 5 divide o?
False
Let a(f) = -f**2 - 3 + f**3 + 2*f**2 + 4*f**2 - 7*f + 1. Let t be a(-6). Let b = t + 5. Does 4 divide b?
False
Let g = 314 + -216. Suppose 3*m = 55 + g. Is m a multiple of 17?
True
Let g(q) = -q - 1. Let d(w) = -30*w - 30. Suppose 1 = -4*n + 5. Let p(c) = n*d(c) - 25*g(c). Is 20 a factor of p(-5)?
True
Let s(b) = b**3 + 8*b**2 - 13*b + 1. Let k be s(-9). Let t = 52 - k. Let g = t + -5. Is g a multiple of 4?
False
Let i(q) be the first derivative of -7*q**2/2 - q - 1. Let t be i(5). Let g = t - -53. Is g a multiple of 9?
False
Let k = -29 + 35. Is 3 a factor of k?
True
Let h(c) = -23*c - 2. Let q be h(-3). Suppose -2*s + 44 = 3*a - q, 5*s = -15. Is 13 a factor of a?
True
Suppose -3*r + 106 = 5*x, 3*r - 40 = -2*x + r. Is 5 a factor of x?
False
Suppose 0 = -9*k + 10*k - 2. Suppose -2*r - k - 4 = 0. Is 14*(-3)/18*r even?
False
Let v = 324 - 126. Is v a multiple of 9?
True
Suppose 0*b - 12 = -3*b. Suppose v + 17 = 6*v + b*o, -o + 3 = 0. Does 8 divide v*-2*(-104)/16?
False
Let y = -20 - -21. Is 12 a factor of -2 + 24*(y - -1)?
False
Suppose -17*d = -12*d - 195. Suppose 3*b = d + 75. Is 20 a factor of b?
False
Let x = -82 - -244. Does 32 divide x?
False
Suppose -4*h + 33 + 12 = -3*p, 4*p = -3*h - 60. Let y = 3 - p. Is y a multiple of 13?
False
Let u(w) = 15*w. Let b be u(1). Is b/6*6/1 a multiple of 15?
True
Suppose 12 = -3*c, 4*b + 4*c + 140 = -108. Let g = -32 - b. Is g a multiple of 13?
True
Let z(i) be the first derivative of i**3/3 - 5*i**2/2 + i - 1. Let b be z(6). Suppose 0 = t - 1 - b. Does 4 divide t?
True
Let k(d) = 4*d**3 - 3*d**2 + 2*d. Is 12 a factor of k(2)?
True
Suppose 4*l - 42 = 186. Is 10 a factor of l?
False
Let o(u) = u**3 - 9*u**2 - 8*u - 6. Does 14 divide o(10)?
True
Let c(d) = -12*d - 2. Let r(z) = -13*z - 1. Let n(q) = -3*c(q) + 4*r(q). Let u be (-1 + 4)*4/(-6). Is n(u) a multiple of 10?
False
Let i = 93 + -23. Is 14 a factor of i?
True
Let t(b) = -47*b + 1. Suppose 0 = -4*m - 26 + 6, 34 = -3*h - 2*m. Let x = h + 7. Does 24 divide t(x)?
True
Suppose -2*q = 3*q - 5*f - 210, -3*q - 3*f + 108 = 0. Is q even?
False
Suppose 0 = -5*x + 5, 3*l - 8*l = -5*x - 235. Does 12 divide l?
True
Suppose 3*x = -3*x + 114. Is x a multiple of 2?
False
Let o(g) = g**2 + g - 8. Is o(-5) a multiple of 3?
True
Let m be 333/6*4/(-6). Is 37 a factor of m/(1 - (-4)/(-3))?
True
Suppose k = 3*k - 32. Does 4 divide k?
True
Let o(c) be the third derivative of -c**5/60 + 5*c**4/24 + c**3 + 2*c**2. Let v be o(7). Is (v/6)/(2/(-6)) a multiple of 2?
True
Suppose -2*o + 147 = 2*b - 5*o, 77 = b - 5*o. Let c = b - 30. Is c a multiple of 21?
True
Suppose 5*r = -2*r + 126. Is 9 a factor of r?
True
Let a be 20/(-90) - (-214)/(-9). Is 