p(f) = f - 6. Let n be p(6). Suppose -o + n = -2. Suppose -w + o*w - 35 = 0. Does 15 divide w?
False
Suppose 5*m = 6*m - 3. Suppose -m*f + 3 = -2*f. Is f even?
False
Let a be (-262)/(-6) + (-14)/21. Let x = a - 30. Is x a multiple of 8?
False
Let d = 15 - 35. Let q = d + 30. Is 5 a factor of q?
True
Let r(k) = 4*k**2 + 3*k - 4. Let l be r(-3). Suppose l = 4*q - 17. Does 10 divide q?
True
Let s be (-15)/10*(-28)/(-6). Let q = 11 - s. Does 17 divide q?
False
Suppose -3*c = -12 + 3. Suppose -k = -3*r + 2*k + 186, r - 66 = -c*k. Does 20 divide r?
False
Let u = 234 - 139. Is 38 a factor of u?
False
Let w = -8 + 10. Suppose -v + 2 = -w*v. Is ((-18)/(-15) + v)*-30 a multiple of 7?
False
Suppose -19 - 86 = -5*o. Let c = o - 10. Does 2 divide c?
False
Let s(h) = -h**2 - 4*h + 5. Let d be s(-6). Is (-2)/((-2)/(-3)) - d a multiple of 2?
True
Let f = 193 + 15. Is f a multiple of 12?
False
Let c(b) = -b**3 + 4*b**2 + 6*b. Let a be c(5). Let f = 9 - a. Suppose 80 = 4*m + 4*v, -f*m + 56 = -m + v. Does 9 divide m?
True
Is 15 - (3 + -6 + 4) a multiple of 4?
False
Let l(r) = r**3 - r**2 + r + 30. Is l(0) a multiple of 10?
True
Suppose 36 = 6*f - 216. Does 14 divide f?
True
Let d be (-24)/14 - 2/7. Let m be 108/1*(-2)/d. Suppose -4*p + m = -144. Is 21 a factor of p?
True
Does 18 divide 0 + 0 + 0 + 28*7?
False
Let q = -11 - -20. Suppose 6*c = 5*c + q. Does 7 divide c?
False
Suppose -4*l + 1030 = -f, 2*l = -5*f + 52 + 474. Is 43 a factor of l?
True
Suppose -i = 5*j - 161, 5*j + 3*i - 163 = -0*i. Suppose 0*u = -4*u + j. Is u a multiple of 8?
True
Let r(m) = 3*m**2 - m - 3. Let a be r(-3). Suppose -3*u = -a - 513. Suppose 2*z + 3*z - u = 0. Is z a multiple of 18?
True
Suppose -4*z = -z + 18. Let m(l) = -6*l - 5. Let h be m(z). Suppose -5*j - 3*a + 32 = 0, 3*j - 3*a = -j + h. Does 7 divide j?
True
Let t be 52*(1 - (-6)/(-8)). Let i = t + -6. Is i a multiple of 3?
False
Suppose -3*c - 4*r + 61 = 2*c, 2*c + 5*r - 21 = 0. Suppose 2*j - c = -1. Is j a multiple of 3?
True
Suppose -11*c + 6*c = -70. Does 7 divide (c/(-3))/((-4)/6)?
True
Let p = 145 - 66. Is p a multiple of 20?
False
Let l(q) = -9*q - 10. Let g be l(-10). Suppose -g = k - 6*k. Suppose -6 = o - k. Is 5 a factor of o?
True
Suppose 0 = -p - 1 + 4. Suppose -p*j + 38 + 22 = 0. Let t = -8 + j. Does 11 divide t?
False
Suppose 2*q - 12 = -2*q. Suppose q*x - 4*x = 18. Let f = -9 - x. Is 5 a factor of f?
False
Let j be 4/14 + 204/21. Suppose 0*k = 5*k - j. Let f = 4 - k. Is f even?
True
Let y(f) = 15*f**3 + 2*f**2 - 3*f + 6. Is 16 a factor of y(2)?
True
Let g(j) = -j**2 + 2*j + 5 + 4*j + 0. Is 5 a factor of g(6)?
True
Let z be (-2)/(-6) + (-4)/12. Suppose z = 2*d + d. Suppose -2*p + 73 - 9 = d. Is p a multiple of 11?
False
Let v(q) = -7*q + 70. Let t(d) = 20*d - 209. Let r(y) = -6*t(y) - 17*v(y). Let m be r(0). Suppose -c + 8 = -5*g, 0 = -c + 5*c - 4*g - m. Is 18 a factor of c?
True
Let c(s) = -6 + 2 + 8*s + 0*s. Does 7 divide c(3)?
False
Suppose 2*m = 3*l + 32, -3*m + 16 = l - 54. Let t = 14 - m. Is 16 a factor of (276/t)/((-3)/4)?
False
Let s = -2 + 1. Let y be (3/5)/((-1)/(-5)). Is 9 a factor of (-5 - 1)/s*y?
True
Let n be 2*(-1 - -1 - 1). Let h be n/6 - (-92)/6. Suppose 39 + h = 3*f. Is f a multiple of 7?
False
Suppose 24 = -4*b - 5*g, -18 = 3*b - 0*b + 4*g. Let x = b - -14. Is x a multiple of 4?
True
Suppose -2*f = f. Suppose 0 = -2*z - f*z + 10. Suppose 72 = z*o - 48. Does 12 divide o?
True
Let d(o) = -o**3 - o**2 + 3*o + 2. Let f = -4 - -2. Let i be d(f). Suppose -4*u - 2*y = -0*u - 66, 5*u + y - 81 = i. Is 12 a factor of u?
False
Suppose -h + 3*t + 10 = 0, -t - 8 = 3*t. Suppose -s - c + 54 = -2*c, -243 = -5*s - h*c. Suppose 0 = i + 2*i - s. Does 12 divide i?
False
Let t(l) = -l**2 + 13*l + 15. Does 5 divide t(13)?
True
Let d be ((-4)/(-5))/(2/5). Suppose -4*u - 6 = -5*z + d, -8 = 4*u + 2*z. Let f(l) = -2*l**3 + l**2 - 2*l - 1. Is 17 a factor of f(u)?
False
Let z = -5 + 9. Suppose 117 + 3 = z*v. Does 10 divide v?
True
Suppose -3*x + 12 = -0*x. Suppose 53 + 123 = 5*j + 4*y, -x*y = -5*j + 184. Is 13 a factor of j?
False
Suppose 0 = 3*y - 5*y + 6. Suppose -65 = -y*n - s + 8, 0 = -4*n + s + 88. Does 23 divide n?
True
Let b(q) = q**3 + 15*q**2 - 19*q - 13. Is 9 a factor of b(-16)?
False
Let k be (0/(-1) - -7) + -3. Suppose -3*c - 12 = i, -k*c = 4*i - 2*i + 14. Suppose z + 21 = 3*v - 35, 3*v = i*z + 60. Does 11 divide v?
False
Let d = 12 - 6. Suppose 5*x = -h - d + 26, 4*x - 3*h + 3 = 0. Is 2 a factor of x?
False
Let q(m) = -35*m**3 - m**2 + m - 1. Does 39 divide q(-2)?
True
Let m(n) = -n**3 - 7*n**2 - 3*n + 5. Suppose 10 - 30 = 4*b. Let z be m(b). Is 306/10 + 18/z a multiple of 12?
False
Is 0 + (-1)/(-2) + (-177)/(-2) a multiple of 36?
False
Let k be (-58)/(-1)*4/8. Is 5 a factor of (-7 + 3 - 0) + k?
True
Let u be (-6)/(-15) - 24/(-15). Suppose d + u*d - 77 = 5*f, 5*d - 3*f = 139. Is d a multiple of 13?
False
Let m(i) = i**3 - 2*i**2 - 1. Let z be m(3). Is (405/12)/(3/z) a multiple of 23?
False
Suppose -5*d + 21 = -d - 3*n, -d = -4*n - 15. Does 15 divide (76/3)/(2/d)?
False
Let s = -20 + 35. Suppose r + s = 2*r. Does 4 divide r?
False
Is 9 a factor of 1 + -1 + 10 + -1?
True
Suppose -2656 - 494 = -7*z. Does 18 divide z?
True
Let t = 16 - 12. Suppose 4*c - 94 = -2*r + 282, 0 = t*r - 8. Does 30 divide c?
False
Let t be (0 - 2)/((-1)/4). Suppose 4*n + 0 = t. Suppose 0 = -n*k + 104 - 12. Is k a multiple of 23?
True
Suppose -8 = -0*p - 4*p. Suppose -27 - 23 = -p*s. Is 9 a factor of 2/(6/(-3)) + s?
False
Let s = 198 + -140. Suppose 5*i - 57 = s. Is 23 a factor of i?
True
Suppose -2*b + 7*b - 335 = 0. Does 11 divide b?
False
Let n = 0 + 0. Let j = n - -5. Is j a multiple of 5?
True
Let i(y) = 7*y - 8. Let h = 1 + 7. Is i(h) a multiple of 16?
True
Let g be (-3 + 1 + 0)*-12. Suppose 3*l - g = -l. Is 5/(1 - 3/l) a multiple of 8?
False
Is 43/3 + (-28)/(-42) a multiple of 3?
True
Let k(s) = s**3 + 7*s**2 - 2*s - 6. Let y be k(-7). Suppose 3*h = y + 1. Is 14 a factor of (-115)/(-3) + 2/h?
False
Is (-109)/(-4) - 2/8 a multiple of 6?
False
Let o(q) = 2*q**3 + 2*q + 3. Let a be o(-2). Let r = -7 - a. Is r a multiple of 5?
True
Let f(h) = h**3 - 4*h**2 + 2. Let w be f(4). Suppose 0*i - w*i + 40 = 0. Is 10 a factor of i?
True
Suppose 4*r + 5*x + 17 = 0, r = 4*r + 4*x + 14. Let q(n) = 3*n**2 + n - 1. Does 11 divide q(r)?
False
Let h(q) = 7*q - 20. Does 4 divide h(6)?
False
Let w = 5 - -1. Suppose -167 = -4*h - w*m + 3*m, 2*h - 66 = 2*m. Does 19 divide h?
True
Let x = -49 + 6. Let l = x - -97. Suppose 3*h - 2*r = 37, -3*r + l = 4*h - r. Does 8 divide h?
False
Suppose x + 2*k - 4 = -0, 0 = -5*x + k - 24. Is x*2*91/(-28) a multiple of 9?
False
Suppose 2*f - 91 = -3*s, -f + 3*s = 4*f - 196. Is 5 a factor of f?
False
Let i = -6 - -10. Let s be (0 + 1)*(6 - i). Suppose -4*b + 4 = -2*x, 4*x - b - 37 = -s*b. Does 3 divide x?
False
Suppose -2*y - 27 = -4*y + q, 31 = 2*y - 5*q. Is 13 a factor of y?
True
Suppose 6*w = 8*w + 68. Suppose -11 + 5 = -2*d. Is 14 a factor of (1 + d)/((-4)/w)?
False
Let z(l) = 2*l - 8. Let x be z(8). Is 7 a factor of 16*((-18)/x + 3)?
False
Let u = -34 - -65. Let c = u + 0. Does 10 divide c?
False
Let g = -9 - -16. Let y be ((-2)/6 - 0)/((-1)/30). Let f = g + y. Is 9 a factor of f?
False
Let h(w) = -w - 9. Let i be h(0). Let y(n) = 2*n + 3. Let u be y(i). Let j = 26 + u. Is 4 a factor of j?
False
Let z = 10 + -2. Is 2 a factor of z?
True
Suppose 30 = -5*i + 560. Does 34 divide i?
False
Let b(i) = i**2 - i + 1. Let x(m) = -2*m**2 - 4*m + 7. Let z(o) = 6*b(o) - x(o). Is z(-3) a multiple of 28?
False
Let d be (6/(-8) + 0)*28. Suppose 5*p = -2*p + 252. Let b = d + p. Is b a multiple of 4?
False
Suppose -2*b = 78 - 206. Let o = -26 + b. Does 19 divide o?
True
Is (-22)/((-1)/3*2) a multiple of 13?
False
Let d(x) = -27*x - 19. Is 31 a factor of d(-8)?
False
Suppose -8 = -2*p - 2. Let b be ((-3)/p)/(2/4). Is 4 a factor of ((-110)/15)/(b/3)?
False
Let n be 25 + 2/(2 - 4). Suppose 192 = 4*h + n. Is 14 a factor of h?
True
Let x(o) = -o - 5. Let d be x(-7). Let c = 2 - d. Suppose 2*j + y - 54 = 4*y, -3*j - y + 81 = c. Does 10 divide j?
False
Suppose j + a = -0*j + 23, 2*a = 5*j - 80. Suppose -2*n + j = -n. Does 15 divide n?
False
Suppose 6*s - 9*s + 24 = 0. Is 8 a factor of s?
True
Let g = 1 + 1. Suppose g*s = s + 18. Does 9 