- 40 = z, 5*z - 35 = -2*l. Is 5 a factor of z?
False
Let z(g) = -g**3 - 16*g**2 - 16*g + 21. Let p be z(-15). Suppose -b - p = -3*b. Is b a multiple of 6?
True
Let z(h) = h - 4. Let n be z(4). Suppose -5 = -r - 4*p + 26, 2*r - 5*p - 62 = n. Is r a multiple of 18?
False
Let t = -58 - -112. Is 9 a factor of t?
True
Suppose 2*h = -h - 18. Let r(k) = -3*k**2 - 8*k - 8. Let d(v) = 10*v**2 + 25*v + 25. Let i(t) = -2*d(t) - 7*r(t). Does 6 divide i(h)?
True
Suppose 0 = -2*s - d + 18, -s + 2*s - 11 = -d. Suppose -2*a + s*a - 805 = 0. Does 8 divide a/6 + (-2)/(-12)?
False
Let n(b) = 21*b - 3. Does 13 divide n(2)?
True
Let c(j) = 10*j - 1. Let r be c(7). Suppose -3*q = 2*l - r - 109, 2 = l. Is 12 a factor of q?
False
Let p be (-8)/16*(-1 - -1). Let f be p + 1 + 0 + -3. Does 7 divide 2/((-120)/63 - f)?
True
Let f(p) = -p - 10. Let o be f(-9). Let m be 8/(-2)*1/o. Suppose m*j - r - 28 = -0*r, 6 = -j - 3*r. Does 5 divide j?
False
Let q be (4/(-3))/(2/(-3)). Suppose v - 2 = q. Is v even?
True
Let c be 6/(-2)*10/(-6). Let s = c - 0. Suppose 0 = -0*w - w + s, q - 4*w + 15 = 0. Is 2 a factor of q?
False
Let g = 6 + -10. Let h = 1 - g. Is 5 a factor of h?
True
Let w(z) = -2*z - 15. Let t be w(-10). Suppose -q - 2*n + t*n + 7 = 0, -86 = -5*q - 2*n. Is q a multiple of 16?
True
Let d = 55 - 46. Is d even?
False
Let c(a) = 17*a. Let i be c(3). Suppose 0 = 3*p + i - 213. Does 18 divide p?
True
Is ((-16)/5)/(1/(-55)) a multiple of 22?
True
Let v = -78 - -124. Does 6 divide v?
False
Let l(k) be the second derivative of 2*k**3 - k**2 + k. Does 22 divide l(2)?
True
Let f(z) = -2*z + 6. Is f(-11) a multiple of 11?
False
Suppose -8 - 2 = -2*m. Suppose 4 = 3*p - m. Is p even?
False
Let h = 2 - -2. Suppose 3*f - f + 4 = 0. Is 11 a factor of 4*(f + 30/h)?
True
Let u be ((-20)/(-6))/(6/9). Suppose -g - u = 7. Let v = -5 - g. Is v a multiple of 7?
True
Suppose -37*n = -33*n - 108. Is 5 a factor of n?
False
Is 23 a factor of 4 - ((3 - 4) + -87)?
True
Let k(p) be the first derivative of -p**3/3 - 7*p**2 - 14*p + 5. Is k(-10) a multiple of 13?
True
Suppose -5*g = -5*c - 35, g - 5*c + 9 = -4. Suppose -b - 5*o + g = 2*b, 0 = -3*b + 4*o + 12. Is 4 a factor of b?
True
Let z(k) = -k**3 + 2*k**2 + 3*k + 2. Let b be z(-2). Suppose 4*p + b = 72. Does 8 divide p?
False
Let g be 432/(-30)*(-1 + -9). Suppose -3*i = i - g. Does 18 divide i?
True
Suppose 4*p + 2*v - 34 = 0, 20 = p - 3*v + 1. Let l = p - 22. Let o = l - -24. Is 6 a factor of o?
True
Suppose 7*j + 128 = 331. Let m(q) = -5*q + 3. Let n be m(-3). Let z = j - n. Is 11 a factor of z?
True
Let t(w) = 2*w**2 - w. Let u be t(4). Let g = u + -12. Is 8 a factor of g?
True
Let h(q) = q**2 + 162. Is 28 a factor of h(0)?
False
Is 12 a factor of (119/42)/((-2)/(-12))?
False
Let j(n) = n**2 + n + 3. Let u be j(0). Let z = 15 - 13. Suppose 0 = 2*w + 6, 4*d - u*d - 47 = z*w. Is d a multiple of 21?
False
Suppose 4*v = -3*y + 8*v + 38, -v = -4. Does 9 divide y?
True
Suppose 3*f = -f - 3*z + 14, z + 2 = 0. Let x = 94 - f. Does 28 divide x?
False
Let f = -7 - -12. Let w be (8/20)/(1/f). Suppose w*v - 4*z - 24 = v, -3*v + z = -28. Does 5 divide v?
False
Let f = 9 - -23. Let l(q) = q**3 - 4*q**2 + 5*q - 3. Let m be l(3). Suppose -m*v + 5*v = f. Is v a multiple of 16?
True
Let z(s) = -s**3 + s + 2. Let u be z(2). Let d = u + 10. Is d a multiple of 2?
True
Let f = -15 + 75. Does 12 divide f?
True
Let o be 0 + 2 - (7 + 1). Is 10 a factor of 4/(-12) + (-122)/o?
True
Suppose 1760 - 528 = 7*r. Does 22 divide r?
True
Suppose 2*j - 5 - 5 = 0. Let v be 302/j + 4/(-10). Is (v/(-3))/(0 - 1) a multiple of 11?
False
Does 3 divide 38 - 10 - 4*1?
True
Is (8/(-16))/((-1)/538) a multiple of 55?
False
Suppose 5*m - 108 = -2*d, -114 = -2*d - 2*m - 0*m. Suppose 3*k - 18 + d = w, 0 = 2*w - 4*k - 80. Is 9 a factor of w?
False
Suppose 2*h = -2*c + 22, -4*c - 5*h + 30 + 18 = 0. Does 16 divide c*(-3)/6*-14?
False
Suppose 0 = 3*w + 3*u - 66, 9*w - 4*w = u + 98. Is w even?
True
Let d(v) = -3*v + 3. Let h be d(4). Let c(p) = -p**3 - 8*p**2 + 8*p - 7. Let n be c(h). Suppose -4*t + 34 = a, 3*a + n*a - 5*t - 45 = 0. Is 7 a factor of a?
True
Let y(s) = 232*s**3 - 2*s**2 + 2*s - 1. Does 21 divide y(1)?
True
Let g(t) = t**2 + 3*t + 2. Let i be g(-5). Suppose 57 = h - o, h - i = -5*o + 33. Is h a multiple of 16?
False
Let d(q) = -q**2 - 6*q - 4. Let w be d(-4). Suppose 0 = i - w*i + 114. Suppose 3*m + a = 40, a = 3*m - 0*a - i. Is m a multiple of 6?
False
Let b = -207 - -367. Is 8 a factor of b?
True
Suppose 0 = 4*r - 3*d + 4, 0 = -4*r - r - 5*d - 40. Let z(i) = i**3 + 2*i**2 - 6*i - 6. Let c be z(r). Let n = 32 + c. Is 8 a factor of n?
False
Suppose 0 = 4*z + 8, 4*k - 4*z = -0*z + 28. Is 2 a factor of k?
False
Let p be (-4)/(-12) + 11/3. Let s be ((-148)/(-6))/((-2)/(-9)). Suppose 5*y - 5*i = 120, -2*y - p*i = 3*y - s. Is 19 a factor of y?
False
Let d be ((-3)/(-4))/((-6)/(-16)). Does 13 divide ((-13)/(-3))/(d/6)?
True
Let v be 1 + (-1 - 0)*-6. Suppose 2 + v = 3*a. Suppose -a*z - 49 = -145. Is 16 a factor of z?
True
Let g(n) be the second derivative of n**5/20 - n**3/3 + 5*n**2/2 + 3*n. Is 2 a factor of g(0)?
False
Let l(p) = p**3 - 3*p**2 - p + 4. Does 19 divide l(5)?
False
Suppose -t - 126 = -3*y - 9, 64 = 2*y + 4*t. Is 19 a factor of y?
True
Suppose 57 = -8*r + 11*r. Is 4 a factor of r?
False
Suppose -9*n + 5 = -4*n. Is n/(((-6)/(-141))/2) a multiple of 12?
False
Suppose 0 = -9*s + 515 + 205. Does 20 divide s?
True
Suppose 17 = w + 5. Suppose 0 = -3*p - 0*p + w. Suppose 0 = -m - 0*m + 2*k, -p = -4*k. Is m a multiple of 2?
True
Let l(u) be the second derivative of -u**4/12 - u**3/2 + 3*u**2 + 2*u. Let f(a) = -4*a**2 - 12*a + 24. Let n(c) = 2*f(c) - 9*l(c). Is 8 a factor of n(4)?
False
Suppose -20 = -3*j + j. Is j a multiple of 4?
False
Let m = 293 - 185. Does 12 divide m?
True
Let m(i) = -i**2 + 4. Let c be m(3). Let d(w) = -w**3 - 7*w**2 - 3*w - 1. Let v be d(c). Let y = v + 63. Is 14 a factor of y?
False
Let j be (-3)/(5/(35/(-3))). Suppose -3*q = -5*p + 19, -5*q + 35 = j*p - 2*p. Suppose 0*v - 4*d = -q*v + 56, 3*v - 3*d = 93. Is 17 a factor of v?
True
Let r be (-4 - -3)/((-2)/(-4)). Let g be 4 + r + 1 + 15. Does 5 divide g/(-30) + (-83)/(-5)?
False
Let v be -1 + 166 + (-1)/(-1). Suppose 4*j = -2*t + v, -4*j - t = -152 - 9. Let i = j - 14. Does 9 divide i?
False
Suppose 2*f - 1 = i, i - 3*f = 2*i - 9. Suppose 5*z - i*w = 49, 0 = -2*z + 3*w - 4 + 29. Is z a multiple of 4?
True
Suppose 3*b - p - 19 = 0, -b = -3*b + 3*p + 8. Does 8 divide (b/21)/((-2)/(-96))?
True
Let f(r) = -4*r - 5. Let q be f(-5). Suppose -q - 16 = -z. Is 7 a factor of z?
False
Suppose 0 = -k + 1 + 1. Suppose k*m + 9 - 41 = 0. Is m a multiple of 8?
True
Suppose 0 = k + 3*b - 7, -2*k + 5*k = -5*b + 9. Let g be (k/5)/((-1)/(-10)). Let r = 28 + g. Is 9 a factor of r?
False
Let q(r) = 2*r**2 - 8*r + 17. Is 10 a factor of q(6)?
False
Let i be (-1)/(-1) + (11 - 3). Let x = 71 - i. Suppose 2*p = -0*p + x. Is 11 a factor of p?
False
Suppose -454 = -4*t - 186. Is 15 a factor of t?
False
Suppose 71 = 4*f - 61. Let o = f + -1. Suppose -4*l = -0*l - o. Is 8 a factor of l?
True
Let p be (6/4)/(6/88). Suppose 0*n + p = n. Let t = -8 + n. Does 14 divide t?
True
Is 9 a factor of 12*6/((-96)/(-44))?
False
Let a = -7 + 10. Does 3 divide a?
True
Let i(n) = -n**3 + 11*n**2 + n - 8. Let s be i(11). Suppose -s*u = 4*d - 100, -d + 3 - 1 = -5*u. Is 11 a factor of d?
True
Let p = -1 - -3. Suppose 14 = 3*d + p. Is d a multiple of 4?
True
Let n(g) = -4 - 5*g + 1 + 0. Let z be n(-9). Suppose -2*w - d = 4*d - z, 4*w + 4*d = 60. Is w a multiple of 6?
False
Does 7 divide ((-105)/25)/(2/(-10))?
True
Let r = -4 + 6. Suppose r*z + 0*z - 8 = 0. Is 4 a factor of z?
True
Let q(z) = z - 8. Let i be q(10). Let g(v) = v - 9. Let l be g(7). Is 10 a factor of 15 - l - 0 - i?
False
Is 3/6 - (-294)/4 a multiple of 13?
False
Let o = -5 - -8. Suppose -q = o*q - 160. Does 10 divide q?
True
Let i = -8 + 4. Let b = i + 8. Suppose -a - 48 = -b*a. Does 16 divide a?
True
Let q(v) = -6*v - 8. Let a(y) = -7*y - 9. Let b(i) = 5*a(i) - 6*q(i). Let s be b(-6). Is (-4 + 1)*38/s a multiple of 15?
False
Suppose 13 + 2 = -5*b. Does 4 divide b/12 - 17/(-4)?
True
Suppose q + 22 = 4*l - q, 0 = -3*l - q + 9. Suppose -13 = -l*j + 35. Does 4 divide j?
True
Let j(y) = y - 1.