8/(-4)*2. Is 16 a factor of (-6 + 1)*a/(-5)?
True
Let z(p) = -p**2 + 8*p - 7. Let l be -3*4/6 + 7. Is z(l) a multiple of 3?
False
Let c(r) = -r**2 + r + 20. Is c(0) a multiple of 20?
True
Let g be (1 - -3*9) + 4. Suppose 40 = 3*u - g. Does 5 divide u?
False
Let u be (-78)/(-21) - 2/(-7). Suppose x - 60 = -u*x. Does 6 divide x?
True
Let y be -2 - (2/1 - 5). Let r = -2 + y. Does 7 divide -1*(r - (13 + -3))?
False
Suppose -3*a + 2*a + 4 = 0. Suppose 3*b + 0*u = -2*u + 102, 3*u + 153 = a*b. Does 12 divide b?
True
Let c be -3*((-10)/3)/2. Suppose -2*d + 4*d - c*v = 62, d - v - 31 = 0. Is d a multiple of 12?
False
Let v = -11 - -12. Does 6 divide -3 + (18 - (0 + v))?
False
Suppose -z - 5*a = -2*z + 54, z = -5*a + 4. Is z a multiple of 4?
False
Let f = -37 - -52. Let q = -2 + f. Suppose -4*u - q = -61. Does 4 divide u?
True
Let a = -10 - -7. Let i = 2 - a. Is i even?
False
Suppose 2*a - 3*s = 293, 2*s - 144 = -2*a + 134. Let w = -112 - -14. Let q = a + w. Is q a multiple of 22?
True
Let s(r) = -7*r**3 - 5*r**2 - r - 2. Is 29 a factor of s(-3)?
True
Suppose 4*o + 2*x = 12, 2*x = o - 3*o + 4. Is o even?
True
Suppose -10 = 2*d, 2*d + 314 = 3*c + 40. Is c a multiple of 25?
False
Let p = -19 - -124. Let c = p + -162. Let b = c - -94. Does 19 divide b?
False
Let b(i) = -i**2 - 4*i - 1. Let p be b(-3). Is 18 a factor of 3*1 - (-30)/p?
True
Suppose -20*m = -19*m - 136. Does 36 divide m?
False
Let p be (2/(-2))/((-2)/(-6)). Let v = p - -9. Is (-2)/v + (-132)/(-18) a multiple of 3?
False
Let n = -57 + 91. Is n a multiple of 8?
False
Let x = -6 + 9. Suppose -u = -x*u - 5*k - 22, 3*k = -2*u - 14. Is 4*((-3)/6 - u) a multiple of 2?
True
Let n = 5 + -9. Is 14 a factor of n/(-24) + 249/18?
True
Suppose -2*f - 20 = -7*f. Does 23 divide 44/(f - 2) - -1?
True
Let b(g) = g**2 + 2*g + 88. Does 33 divide b(0)?
False
Let l = -47 - -102. Is l a multiple of 5?
True
Suppose -5*w = 0, -6*w + 300 = 4*y - 3*w. Is y a multiple of 20?
False
Let f be 34/(-2)*(7 - 1). Does 13 divide f/(-8) - (-1)/4?
True
Suppose 0 = 4*q + 104 - 264. Does 23 divide q?
False
Let p(b) be the second derivative of -b**2 + 0 - 1/3*b**3 + 3*b. Is p(-9) a multiple of 16?
True
Is 33*2/24*28 a multiple of 15?
False
Let g be -1 + (-2)/(-4)*0. Let x = 0 - g. Suppose 3*f + 0*f = 5*h + x, 0 = 2*h - 8. Is f a multiple of 7?
True
Let z(a) = a - 1. Suppose 28 = 5*h + k, -3*h - 3*k = -5*h + 18. Let w be z(h). Suppose 3*u = 4*s + 68, w*s - 35 = 3*u - 108. Does 8 divide u?
True
Let a(b) = 3*b + 6. Let y(u) = -2*u - 6. Let i(w) = -3*a(w) - 2*y(w). Let q = -7 - -3. Is i(q) a multiple of 12?
False
Let p = 6 - 3. Suppose 0 = -4*x + o + 16, p*x - o - 12 = 4*o. Is x even?
True
Suppose -7 - 5 = -2*t. Suppose 2*o + o = -t, s - 5*o = 18. Is s a multiple of 8?
True
Suppose 469 - 133 = 7*z. Is z a multiple of 12?
True
Let j(r) = 9*r - 1. Let z be j(10). Let i = z + -47. Is 21 a factor of i?
True
Suppose 0 = 2*f + 2*x - 62, -3*f = x - 0*x - 99. Is 17 a factor of f?
True
Does 2 divide (42/(-35))/((-2)/30)?
True
Let f be (-66)/(-4) - 2/4. Let y = 26 - f. Does 10 divide 196/y + (-8)/(-20)?
True
Suppose 0 = -0*z - 2*z + 18. Let b(l) = 3*l - 3. Is 8 a factor of b(z)?
True
Let w(f) = -116*f - 26. Let c(x) = -77*x - 17. Let y(h) = -8*c(h) + 5*w(h). Let m be y(-5). Is 14 a factor of (-4)/(-6)*m/(-4)?
False
Let q(k) = k**2 + 8*k - 18. Does 17 divide q(7)?
False
Suppose 4*r - 118 = 4*q + 74, -3 = q. Is r a multiple of 13?
False
Let n(z) = 2*z**2 - 2 - 3*z**2 + 0*z**2 + 9*z. Suppose 0*d + 3*j = 5*d - 31, 3*d - j - 17 = 0. Is n(d) a multiple of 6?
True
Let d(y) = 11*y**2 - y + 1. Let g = -10 + 12. Is 9 a factor of d(g)?
False
Let o be (23/(-3) - -8)/((-2)/102). Let w be (-6)/(-4)*112/(-6). Let y = o - w. Is y a multiple of 4?
False
Let s = 157 + -85. Is 24 a factor of s?
True
Let i(r) = -8*r + 3*r - 15*r + 4. Is i(-3) a multiple of 33?
False
Let o = -6 + 4. Let x(q) = -2*q - 1. Is 3 a factor of x(o)?
True
Let p(m) = 4*m. Let n be 2/(-4) + 11/2. Suppose -n*g + 5 = -5. Is 7 a factor of p(g)?
False
Let s = -1 - -4. Let l be ((-4)/(-10))/(s/(-60)). Let p = l + 20. Is 6 a factor of p?
True
Let q be 6/2 + (-12)/6. Let x be (-12)/(-8) - q/(-2). Suppose -3*c + 3*m = -2*c - 27, -3*c = x*m - 48. Is c a multiple of 18?
True
Suppose 0 = -r + x + 35, -2*r + 4*x + 58 + 12 = 0. Does 13 divide r?
False
Let q be 54/10 + (-2)/5. Suppose -q*s = -2*s + 684. Is 15 a factor of 1/(-5) + s/(-15)?
True
Suppose 5*m - 6*l = -2*l - 6, 0 = 5*m - 2*l - 2. Suppose -2*k + 3*k = -3*w + 28, k = -m*w + 26. Does 4 divide k?
False
Let o be 1/(-3)*0*1. Suppose o*y + 233 = 5*y - 4*i, 0 = -4*y - 5*i + 170. Let u = y + -17. Is u a multiple of 14?
True
Does 3 divide (-26)/(-6) + 4/(-3)?
True
Let a be (4/5)/(4/180). Suppose 4*m - a = -0. Is 4 a factor of m?
False
Suppose 25 = 3*j + 5*t, -3*j - t + 4*t + 57 = 0. Is j a multiple of 11?
False
Suppose -1 - 4 = -h. Let i = 7 - h. Suppose -y + 2*p = 3, 4*y + i*p = -p + 43. Is 2 a factor of y?
False
Suppose -5 = -5*y, -2*u = -5*u + 3*y + 9. Suppose o - 6*o = q - 64, u*q - 35 = -3*o. Is o a multiple of 13?
True
Let u(o) be the third derivative of -o**4/24 + 5*o**3/6 + 3*o**2. Let n be u(-6). Suppose n + 19 = 3*m. Does 8 divide m?
False
Let x(d) = d**2 + 2*d - 4. Let p be x(-4). Suppose -4*a + 2*u + 35 = 7*u, -p*u + 27 = 3*a. Does 3 divide a?
False
Suppose 0 = 2*j + 3*c - 258, -3*j - c + 394 = -0*c. Does 33 divide j?
True
Let m = 3 + -6. Let x be 47 + (-4)/2 + m. Suppose 20 = -4*t, -4*s - t + x = -57. Is s a multiple of 18?
False
Let x(w) = -w**2 - 5*w - 9. Let c be x(-7). Let y = -15 - c. Is y a multiple of 6?
False
Suppose 0 = 3*t - 4*d - 204 + 11, 5*t + 2*d - 287 = 0. Is t a multiple of 23?
False
Suppose 4*y = 4*u + u - 354, -u + 5*y + 75 = 0. Suppose r + u = 6*r. Is 10 a factor of r?
False
Let k(l) = l**3 + 8*l**2 - 2*l + 2. Let o = 2 - 10. Is 6 a factor of k(o)?
True
Let w(d) = -d**2 - 5*d + 4. Let r be w(-5). Suppose -r*i + 7 = -17. Is i a multiple of 6?
True
Does 14 divide 20*(63/(-12))/(-3)?
False
Suppose 37 = -3*y + 5*m - 3, -m = -2. Does 15 divide (-314)/(-10) + y/25?
False
Suppose -7*j + 5*j = -52. Is 13 a factor of j?
True
Suppose 69*o + 81 = 72*o. Does 5 divide o?
False
Let w = 28 - 7. Is w a multiple of 7?
True
Let m be 0*1/(-2)*-2. Let w(d) = d + 5. Let r be w(m). Suppose 3*c = r*n + 10 + 13, -2*n - 8 = -c. Is 6 a factor of c?
True
Let v(a) = -a**3 - 2*a**2 + 3*a + 5. Let f be v(-4). Suppose c = 2*c - f. Does 9 divide c?
False
Let g(w) = -w - 4. Let u be g(-3). Is (u/(-3))/((-6)/(-450)) a multiple of 10?
False
Let c = 28 - 16. Is 12 a factor of c?
True
Let a be (-2)/7 - 46/(-14). Suppose -a*b - 4*k + 128 = b, -k + 148 = 5*b. Does 29 divide b?
True
Suppose -4*h - 33 - 55 = 0. Let z = 38 + h. Does 16 divide z?
True
Let u(j) = -4*j**2 + 1. Let r be u(1). Let v(q) be the first derivative of -3*q**4/4 - q**3 + q**2 - 3*q - 2. Does 15 divide v(r)?
True
Suppose 1390 + 260 = 11*c. Is 25 a factor of c?
True
Suppose 0*y = -11*y + 704. Is 25 a factor of y?
False
Suppose 3*h + 2*h - 45 = 0. Does 4 divide -7 + h + 16/1?
False
Suppose 17 = d - 4*f, 0 = -3*d + f - 4 + 11. Suppose -35 - d = -4*a. Suppose -4*m - a = -4*c - m, -4*c = m - 29. Is 6 a factor of c?
True
Let v(g) = -g - 4. Let s be v(0). Let f(n) = n**2 - 4. Let a be f(s). Suppose -u = -14 - a. Is u a multiple of 13?
True
Let g = -1 + 3. Suppose 10 = -4*o + 5*o + 2*l, -g*o - l = -8. Suppose -o - 4 = -q. Is q a multiple of 4?
False
Let r = 229 + -177. Is 7 a factor of r?
False
Does 3 divide (2/4)/(8/208)?
False
Let o(a) = -22*a**2 + 7*a + 9. Let d be o(7). Is ((-4)/(-5))/((-24)/d) a multiple of 17?
True
Let w(t) = 5*t**2 + 3*t + 2. Let y = -15 - -13. Does 5 divide w(y)?
False
Let z(b) = 2*b**2 - 2*b - 2. Let q be (3/(-2))/(6/64). Let h be (-2 - q/6)*-3. Is z(h) a multiple of 10?
True
Suppose -2*c + 4*p + 10 = 0, 2*c - 5*c + 4*p + 15 = 0. Suppose -c*f + 10 = -10. Is 3 a factor of f?
False
Let n(p) = -3*p**3 - 7*p**2 + 7*p - 6. Let z(j) = -16*j**3 - 36*j**2 + 36*j - 29. Let m(u) = -11*n(u) + 2*z(u). Let s be m(-6). Is 0/(s/1) + 10 a multiple of 5?
True
Let l be (-12 - 0)/4 - 0. Is (-3)/((-26)/(-9) + l) a multiple of 8?
False
Let y = 10 + -6. Is 4 a factor of y?
True
Let k = -9 - -17. Is 8 a factor of k?
True
Let n(u) = -u**3 + 11*u**2 + 15*u + 3. Suppose -3*h = -2*h - 12. Does 15 d