. Let s = 252 + g. Does 27 divide s?
False
Suppose 1784 = 4*c + 3*z - 1255, -4*c - z + 3029 = 0. Is 36 a factor of c?
True
Let z be 0 - (1 - (4 - 1)). Suppose h = -3*c + 86, -24 = -z*c + c + 2*h. Is 3 a factor of (-10)/4*c/(-5)?
False
Is ((-890)/(-30)*3)/(1/5) a multiple of 89?
True
Suppose 0*g - 3*o = 2*g - 1248, -4*g - o = -2516. Suppose -8*m + m + g = 0. Is m a multiple of 9?
True
Let n = -27 + 31. Suppose -n = c, 3*j - 219 = -c - 61. Is 9 a factor of j?
True
Let a = 2061 - 1763. Is a a multiple of 6?
False
Let o = -69 - 33. Does 2 divide (o/8)/((-27)/36)?
False
Suppose 0 = -5*y - 5*s + 2000, -569 - 625 = -3*y - 5*s. Suppose -4*j = 3*i - y, -271 = -2*j - j + 4*i. Does 17 divide j?
False
Suppose -16*c = -6*c - 280. Is 2 a factor of c?
True
Let y(o) = 8*o**2 + 9*o - 6. Let v be y(-5). Suppose -46 = -5*b + v. Does 21 divide b?
False
Let c be ((-13)/3 - -4)*-12. Suppose 2*l - 34 = c*l. Let w = l + 43. Is w a multiple of 13?
True
Suppose 2910 = 22*h - 1556. Let j be (-68)/(2/(-6) - -1). Let x = j + h. Is x a multiple of 21?
False
Let j = -289 - -174. Let y = j - -253. Is (-4)/6 - y/(-18) even?
False
Suppose 5*y - 3220 = -30*y. Is 2 a factor of y?
True
Let q(h) = 0*h + 6 + 2 - 6*h + 4*h. Let a be q(0). Is (9*-1)/(a/(-16)) a multiple of 7?
False
Let c(g) = -g**2 - 11. Let z be c(-5). Let i = -24 - z. Is i even?
True
Let h be -1 - (-1 + 11)/(-1). Suppose 0 = h*r - 1094 + 104. Does 14 divide r?
False
Let i be (7 + -9)*(-5)/2. Let q be (-205)/(-3) - 2/(-3). Suppose q = -i*d + 204. Does 7 divide d?
False
Is 12*25 - (-2 + 6) a multiple of 4?
True
Suppose 7*g = -q + 5*g + 387, -g + 383 = q. Is q a multiple of 9?
False
Suppose 0 = -q - s - 1, 5*q + 2*s - 2 = 2*q. Suppose 0*f - 44 = -q*f. Is (-12 + f)*11*-5 a multiple of 16?
False
Is 744/((-24)/(-6)) - -6 a multiple of 48?
True
Let o be (-13 + -1)*(-26)/4. Let a = o - 44. Does 11 divide a?
False
Suppose 5 - 101 = -4*x. Let g be ((-1)/3)/((-4)/x). Suppose 4*n = -w - 9, 0 = -4*w + 2*n + g + 16. Is w a multiple of 3?
True
Let l(z) = 19*z + 26. Let d be 27/(-12)*16/(-6). Is l(d) a multiple of 28?
True
Let w(r) = 9*r**2 - 42*r - 37. Is w(-6) a multiple of 7?
True
Let p be 1/(-6) + (-13864)/48. Let x = -159 - p. Does 10 divide x?
True
Let u = -291 - -560. Does 6 divide u?
False
Let r = -458 + 1521. Is r a multiple of 12?
False
Let d(c) = -11*c + 208. Is d(16) a multiple of 2?
True
Let o = 48 + -86. Let c = o + 62. Is 8 a factor of c?
True
Suppose -5*i - 15 = d, -3*d - 3*i = 2*d - 13. Suppose 0 = -4*l - d*p + 65, -l - p = 2*p - 25. Is 4 a factor of l?
False
Suppose 15 + 90 = 7*u. Suppose u*s - 7*s - 2160 = 0. Is 15 a factor of s?
True
Let z = 249 + 128. Let r = z + -207. Suppose d = -4*x - d + r, 4*x + 3*d = 167. Is 14 a factor of x?
False
Let d be (-2 + 76)*(-13)/(-2). Let b = -236 + d. Is 51 a factor of b?
False
Suppose -182*v + 174*v + 80 = 0. Let t(u) be the second derivative of u**3/6 - u. Is 10 a factor of t(v)?
True
Let l(b) = -b**2 + 10*b - 14. Let y be l(6). Suppose -8*c - y = -9*c. Let t = c - 5. Is t a multiple of 5?
True
Suppose -34*o = -2836 - 6344. Is 18 a factor of o?
True
Let g(p) = p**3 + 6*p**2 + 4*p - 5. Let c be g(-4). Let f(l) = -2 + 7298*l - 7295*l + 7. Is f(c) a multiple of 16?
False
Let a = 731 + 664. Does 15 divide a?
True
Suppose -4*r = -16, -4*q + 12*r - 11*r + 76 = 0. Suppose 2*g = 2*p - q, 3*p - 2*g = -4*g + 30. Is 10 a factor of p?
True
Suppose 0 = q + k - 439, -6*k = -q - 5*k + 447. Is q a multiple of 9?
False
Let i(h) = -2*h**3 - 3*h**2 + 19*h + 13. Is 5 a factor of i(-6)?
False
Suppose -10 = -4*o + 18. Suppose 0 = 2*i - o*i + 65. Is i a multiple of 13?
True
Let n(g) = 7*g**2 - 21*g + 58. Is n(5) a multiple of 32?
True
Let u(l) = 187*l + 8. Let f be u(2). Let y = -260 + f. Is y a multiple of 26?
False
Suppose 5*u + b + 6 + 13 = 0, 0 = 2*u - 3*b - 6. Let g(q) be the first derivative of -11*q**2/2 - 3*q - 1. Is 15 a factor of g(u)?
True
Let b = -2848 + 4843. Is 10 a factor of b?
False
Let j = -5 - -10. Suppose -j*p = -49 - 131. Is p a multiple of 18?
True
Suppose 4*t - 18 = 5*u + 4, t + u = 1. Suppose -2*l = -2*j + 120, -122 = -t*j + j + 3*l. Does 29 divide j?
True
Let c = 1941 - 981. Is 64 a factor of c?
True
Suppose 4*t - l = 0, 5*t - 6*l = -l. Suppose 4*r - x - 432 = t, -r = r + 5*x - 216. Suppose 0 = -2*z - 5*n + 3*n + r, 0 = -4*z + 5*n + 252. Is 16 a factor of z?
False
Suppose -5*m - 4*g = -13524, 25*m - 21*m - g - 10836 = 0. Does 86 divide m?
False
Let q be 2/8 - (-4)/(-16). Suppose -x = -q*x - 13. Is x a multiple of 6?
False
Let d(r) be the third derivative of -r**6/120 - r**5/20 - r**4/6 - r**3/3 - 8*r**2. Let n be d(-4). Is (1 - (n + 1))/(-2) a multiple of 15?
True
Suppose 0 = -143*p + 158*p - 5700. Is p a multiple of 19?
True
Is 14 a factor of 7*28 - (-7 - -7)?
True
Suppose -3*z = -4*z + 220. Suppose 5*u + z = -3*r + 6*r, 2*r - 180 = -5*u. Does 10 divide r?
True
Let r(l) be the first derivative of 13*l**3/3 - 4*l**2 + 2*l + 22. Is r(2) a multiple of 19?
True
Suppose 2*i - 12 = -4*t + 10, 2*i = -5*t + 26. Suppose -b = t*b - 855. Is 9 a factor of b?
True
Suppose -c - 6*l + 20 = -5*l, -5*c + 112 = 2*l. Suppose c*f - 28*f = -208. Is 14 a factor of f?
False
Suppose 958*v + 990 = 964*v. Is 55 a factor of v?
True
Let j(n) = -5*n + 30. Let l be j(7). Is (2/l)/((-2)/430) a multiple of 16?
False
Let i = -26 - -32. Let d(n) = n**2 - 7*n + 9. Let s be d(i). Is 10 a factor of (-255)/(-5) - -2 - s?
True
Suppose -4*r + 6634 = -g + 1748, -3*r + 3662 = -2*g. Is 48 a factor of r?
False
Let j = 6351 - 3658. Is 93 a factor of j?
False
Let l be 22938/54 - (-4)/18. Suppose l = 3*m + 47. Is 14 a factor of m?
True
Let i be (-10 - -10)*(1 - 0). Suppose 36 = o - i. Is 9 a factor of o?
True
Let f(r) = 18*r**2 + 5*r - 15. Is f(3) a multiple of 9?
True
Let k = -117 + 263. Is 3 a factor of k?
False
Suppose 13*q - 285 = -25. Does 5 divide q?
True
Is 25 a factor of 300/((36/(-28))/(-9))?
True
Let g(w) = -2*w**2 + 14*w + 1. Let n(y) = -2*y**2 + 2*y + 16. Let t be n(3). Is 25 a factor of g(t)?
True
Let c be 1/2 - 5/(-2). Suppose -c*z + 0*z + j + 1007 = 0, 5*j = -5*z + 1685. Is z a multiple of 24?
True
Suppose -6*q + 4*q - 2403 = -5*g, -2400 = -5*g + 5*q. Does 37 divide (g/(-39))/((-2)/6)?
True
Let t be -2*(0/(-1) - 1). Let y(i) = 0 + 5 - 4 - t + 3*i**3. Is 23 a factor of y(2)?
True
Let p be (-90)/1*7/(-14). Let f(q) = -199*q + 3. Let z be f(-6). Is 14 a factor of z/p + 2/5?
False
Let r = 31 + -15. Let k = r - 12. Let z(m) = m**3 - 5*m**2 + 5*m + 4. Is 3 a factor of z(k)?
False
Suppose 3*q + 23 = -25. Let i = q + 26. Does 5 divide i?
True
Let k = 101 - -7. Is 27 a factor of k?
True
Suppose 22 = q + q. Let n(k) = -k**3 + 13*k**2 + k + 7. Let c be n(13). Let h = c - q. Is 3 a factor of h?
True
Let d = 43 + -68. Suppose 4*t = 10*t - 216. Let x = t + d. Is x a multiple of 11?
True
Let t(j) = 2*j**2 - 30*j + 36. Let v be t(10). Suppose 5*h - 91 = 134. Let d = h - v. Does 28 divide d?
False
Let s = 243 + 36. Suppose 5*k - s = 66. Does 23 divide k?
True
Suppose 0 = 4*t + 2*x - 504, 0 = -4*t - x + 3*x + 496. Suppose t = 27*j - 22*j. Is j a multiple of 2?
False
Let p be 4/(-22) + (-36312)/(-66) + -4. Suppose 136*o - 133*o = p. Is 26 a factor of o?
True
Let u = 1 - -581. Does 17 divide u?
False
Let k(n) = 8*n + 7. Let m = 56 - 52. Is k(m) a multiple of 3?
True
Let m = -39 + 65. Let v = m - 32. Is (5 - 4)*(-3 - v) a multiple of 3?
True
Suppose -a + 11 = 5*n, a + 0 = 2*n - 3. Suppose 5*x + 9 = n*x. Let j = x - -25. Is j a multiple of 9?
False
Let f(p) = 15*p + 32. Let c(n) = 16*n + 31. Let k(d) = 5*c(d) - 6*f(d). Does 10 divide k(-7)?
False
Let t(v) = -2*v**2 - 22*v + 4. Let k be t(-11). Suppose 0 = -3*d + k + 11. Is d even?
False
Let z be 7 + -2 - -1 - 3. Suppose 2*n = -z*n. Suppose -3*l + 7*l - 204 = n. Is l a multiple of 10?
False
Let g = -2948 + 4755. Is g a multiple of 38?
False
Suppose 3*f = 1401 + 30. Is f a multiple of 39?
False
Let h(m) = -m - 1. Let w(b) be the third derivative of b**4/4 + 7*b**3/6 - 4*b**2. Let p(d) = 21*h(d) + 3*w(d). Is p(-4) a multiple of 6?
True
Suppose u = 13 - 39. Let p = -43 - u. Let r = p + 28. Is r even?
False
Let b be 20/6*3/5*-2. Is ((-6)/b)/((-3)/(-90)) a multiple of 12?
False
Does 6 divide (-60)/35*924/(-11)?
True
Let n = 12 + -7. Suppose 0*i = -5*i + 4*y - 24, n*i - 2*y = 