/39)?
False
Let o = -18 - -25. Let w(z) = -1 - 4*z - o*z + 1. Is w(-1) a multiple of 7?
False
Let l = 2 + 11. Is l a multiple of 3?
False
Let t(y) = 5 + 4 + 0 - y - y**2 - 18*y. Does 7 divide t(-17)?
False
Let t(b) = b**3 + 3*b**2 - 2. Let h be t(-3). Let c be 99 + (-1)/(h/2). Suppose 0 = 4*f - 2*f - c. Does 18 divide f?
False
Let j(u) = 8*u**2 + 8*u + 4. Let w be j(6). Let s = w + -224. Does 10 divide (3/6)/(2/s)?
False
Let s(q) = -q**2 + 10*q - 12. Let p be s(9). Let w = p - -19. Is w a multiple of 5?
False
Let a(f) = 10*f. Let i be (-6)/9 + 34/6. Let h be a(i). Suppose -3*u = -16 - h. Is u a multiple of 11?
True
Let h be (-1 - -15)*(-15)/(-2). Suppose c = 4*c - h. Does 28 divide c?
False
Let b be 8 - 0/(9/3). Let w = -5 + b. Suppose -22 = 2*a - w*a. Is 11 a factor of a?
True
Suppose 2*c - 204 = -4*j, 0 = 2*c + 5*j - 0*j - 205. Let f = c - 39. Suppose 2*m + 5*d = 37, 2*m - 2*d - d - f = 0. Is m a multiple of 9?
False
Let u be 0 + 0 - (20 + 1). Let a be (-18)/u*(-6 + -1). Does 10 divide (24/15)/(a/(-75))?
True
Suppose 365 = 5*m - 5*j, -5*m + 124 = -4*j - 245. Is m a multiple of 5?
False
Let n be 1/2 + (-10)/(-4). Suppose -n*c + 2 = -7. Suppose -i = -3*p - 4*i + 45, 4*p - c*i = 53. Is 5 a factor of p?
False
Is 59 a factor of 119 + (0 + -3 - -2)?
True
Suppose 16 = 2*p - p. Let s = p - -5. Is 21 a factor of s?
True
Let f = -22 + 80. Is 14 a factor of f?
False
Suppose 0 = 2*q + q - 258. Suppose -44 = -x - 2*z + z, 2*x - q = -z. Does 21 divide x?
True
Let i = -353 - -593. Is 48 a factor of i?
True
Suppose -b + 21 = -21. Is b a multiple of 11?
False
Let f(g) be the second derivative of 7*g**4/12 - g**2/2 - 6*g. Is f(1) a multiple of 3?
True
Let s(g) = -g**2 + 16*g - 8. Is 31 a factor of s(11)?
False
Suppose -5*p + 4*p = -28. Is 16 a factor of p?
False
Does 18 divide (-2*(1 - 0))/(4/(-86))?
False
Let b(v) = -2 - 1 - 7 - 12*v - 2. Does 8 divide b(-5)?
True
Let j(u) = u**3 - u**2 + u + 18. Suppose 2*x + 3 + 5 = -2*s, 2*x - 3*s = 12. Is 9 a factor of j(x)?
True
Let f(y) = -y**3 + 6*y**2 - 3*y + 2. Let j be f(4). Suppose -p + j + 32 = 5*z, 5*p + 5 = 0. Suppose -67 - z = -3*h. Is 13 a factor of h?
True
Is 11 a factor of 23 + -4 + 2 - -1?
True
Let p = -28 + 118. Is 12 a factor of p?
False
Let d(l) = 4*l + 2*l + 2*l - 1. Let i = -5 - -7. Is 15 a factor of d(i)?
True
Does 11 divide (-1834)/(-56) + -2*2/(-16)?
True
Is 3/((-45)/(-2605)) - 4/6 a multiple of 36?
False
Let f(h) = 2*h - 7. Let g be f(7). Suppose g*y = 2*y. Let c = 29 + y. Does 10 divide c?
False
Let r(p) = 2*p - 4. Let t be r(3). Suppose 0 = t*b + b - 9. Suppose -b*g + 18 = -6. Does 4 divide g?
True
Let s(z) = -z - 4. Let l be s(-4). Suppose -m - 4*m + 400 = l. Let x = m - 47. Is 13 a factor of x?
False
Is (333/(-45))/(4/5 - 1) a multiple of 9?
False
Let r(b) = b**2 - 6*b + 1. Let t be r(4). Suppose -3*a - 2 - 10 = 2*v, -v - 3*a - 12 = 0. Does 7 divide (v - -4)*t/(-4)?
True
Suppose -2*t + 4*t - 3*p = 122, -3*t + 166 = 4*p. Is t a multiple of 22?
False
Suppose -4*i - h = -542, -5*h - 30 - 635 = -5*i. Is i a multiple of 23?
False
Suppose 3*v + 23 = 2*y, -2*v = -7*v + 25. Does 8 divide y?
False
Let r(b) = b**3 - 6*b**2 - 9*b - 11. Is 15 a factor of r(8)?
True
Suppose 4*r = 85 + 63. Let j be (0 - (-2)/6)/(12/(-396)). Let s = j + r. Is 8 a factor of s?
False
Suppose -222 = -4*s - 3*v + 181, -2*v = -4*s + 398. Is 27 a factor of s?
False
Let a = 179 - 109. Is a a multiple of 13?
False
Suppose 3*h = -4*x + 85, -x + 2*h + 68 = 2*x. Is x a multiple of 15?
False
Is 13 a factor of (-2)/7 - 1728/(-21)?
False
Let d(b) = -b**3 - 6*b**2 - 8*b - 6. Does 6 divide d(-5)?
False
Let v = 16 - 4. Does 6 divide v?
True
Is 6 a factor of -1 + (-3)/6*-14?
True
Let a(g) = 90*g - 1. Let p be a(1). Suppose -5*l = -61 - p. Does 6 divide l?
True
Let i(t) = t**2 + 6*t - 1. Let j(b) = -b**3 + 6*b**2 + 6*b. Let l be j(7). Let h be i(l). Suppose -2*o + 2 + h = 0. Is 3 a factor of o?
False
Let i be (-31 + 1)*1/(-2). Suppose -3*t + 3*g = -i, 5*t + g = -8 + 21. Is t even?
False
Let u be ((51 - -1) + 2)/2. Suppose 3*n + 9 - u = 2*w, -2*w + 46 = 5*n. Is 4 a factor of n?
True
Suppose 0 = -4*r + 8. Let j(k) be the first derivative of 8*k**2 + 2*k - 2. Is j(r) a multiple of 12?
False
Let m be 30/5 - (2 - -1). Suppose -4 = -r + j + 37, 3*j = -m*r + 93. Does 18 divide r?
True
Let w = 3 + 8. Does 11 divide w?
True
Suppose 3*l + 124 = 5*d, 0 = 3*d - 2*l - 3*l - 68. Is d a multiple of 26?
True
Suppose 0 = -5*c + 2499 - 864. Is 41 a factor of c?
False
Suppose 0 = 3*q - q + 70. Let y = 53 + q. Is 18 a factor of y?
True
Let g(u) = -u**3 + 3*u**2 + 8*u - 4. Let b be g(5). Let p = -5 - b. Does 5 divide p?
False
Let o be (-2)/(-7) - (-2)/(-7). Suppose -t + 10 + 2 = o. Is t a multiple of 5?
False
Let v be 0/(-1*(2 + -1)). Suppose 36 = -v*h + 3*h. Is 4 a factor of h?
True
Suppose 3*c - 2*k = 164, -4*c - k + 2*k + 217 = 0. Let u = c - 28. Is 10 a factor of u?
False
Suppose 2*l = -0*c - 3*c + 73, -2*c = 2. Does 14 divide l?
False
Suppose -3*m + 12 = -4*q, 5*q + 0*q = -3*m - 15. Suppose m = 2*t - 7*t + 5*y + 125, 0 = 5*t + 5*y - 85. Is t a multiple of 7?
True
Let m be 210/27 - (-6)/27. Suppose -4*v - m = 4*k - 0*k, 0 = -2*v - 3*k - 9. Is v a multiple of 3?
True
Suppose 2*k = -x - 2, -3*x + 3*k + 16 = 2*x. Suppose 3*n = -z + 28, 0 = -x*z + 3*z - 4*n + 7. Does 13 divide z?
True
Let r(f) = -2*f + 3. Suppose -2*u + 6*u = -28. Is 12 a factor of r(u)?
False
Let f(b) = b**2 + 8*b + 37. Is 17 a factor of f(-12)?
True
Let u(x) = -19*x - 2. Is 9 a factor of u(-2)?
True
Suppose 0 = -2*u - 6 + 52. Let i(m) = 4*m**2 - 2*m. Let t be i(2). Let c = u - t. Does 4 divide c?
False
Let m = 42 - 24. Is m a multiple of 6?
True
Suppose 4*q = 245 + 135. Let b = -39 + q. Is 14 a factor of b?
True
Let i = 20 - -15. Does 9 divide i?
False
Suppose 5*x = -20 - 25. Let r be -9*x/3 - 0. Let s = r - 16. Is 8 a factor of s?
False
Suppose -11 = -4*b + 5*l + 281, -l = 4*b - 316. Does 22 divide b?
False
Let y be 2/(-3) - (-32)/12. Let b be 1/(-2) - 206/(-4). Suppose -3*j - m + b = m, -5*j - y*m + 89 = 0. Does 12 divide j?
False
Suppose -180 = 4*x + x. Let p be 2/8 + 372/(-16). Let w = p - x. Does 13 divide w?
True
Let l = 319 + -169. Suppose -5*y - 5*z + l = 0, 2*y = -4*z + z + 61. Is 10 a factor of y?
False
Suppose -g = 2*g - 12. Suppose -g*p = p - 130. Is 14 a factor of p?
False
Let n(l) = 2*l**3 - 3*l**2 + 2*l + 2. Let s be n(2). Let y = s + 3. Is 13 a factor of y?
True
Does 62 divide ((-186)/7)/(-4 - (-27)/7)?
True
Suppose 0 = 5*p - 3*z - 10, 5*p + 2*z - 10 = -0*z. Suppose p*g = 3*g - 8. Does 8 divide g?
True
Suppose 5*w = 3*g + 3, 0*w = -5*g + 2*w + 14. Suppose 2*d - g = 2. Is 3 a factor of d?
True
Let g = -60 - -115. Is g a multiple of 8?
False
Let w(a) = 5*a - 2. Let t be w(5). Let m = -15 + t. Is 5 a factor of m?
False
Suppose 10*l = 7*l + 444. Does 17 divide l?
False
Let g(x) = x**3 + 3*x**2 - x + 2. Let j be g(-3). Suppose 4*n - 13 = -n - 4*b, j*b = -3*n. Let u = 9 + n. Is 5 a factor of u?
False
Let t = -3 - -5. Let m = 0 + t. Suppose -3*l = c - 15, 0 = -0*c + m*c - 4*l + 10. Does 3 divide c?
True
Let z(j) = j**3 + 6*j**2 - j - 4. Let u be z(-6). Suppose 5 = -k - 4*s, -s = -u + 4. Suppose -85 = -k*n + 62. Is 19 a factor of n?
False
Suppose 0 - 5 = -y. Suppose 4*z - 3*k - k - 220 = 0, z - y*k = 47. Does 19 divide z?
True
Suppose 20*m = 18*m + 152. Is 15 a factor of m?
False
Suppose -4*w - 8 = 0, -4*j + 4*w + w = -42. Let o = j + 3. Is o a multiple of 11?
True
Let f(n) = -7*n - 2. Let p(k) = -21*k - 5. Let b(i) = -22*i - 5. Let u(o) = -6*b(o) + 7*p(o). Let d(j) = 13*f(j) - 6*u(j). Does 4 divide d(0)?
True
Suppose o = 5*s + 21, 5*o + 4*s = -2 - 9. Suppose a - 1 = o. Suppose a*r + 2*f - 36 = 0, 3*r - f + 6*f = 58. Is 12 a factor of r?
False
Let g = 29 + 19. Is 15 a factor of g?
False
Let j = -77 - -131. Is 18 a factor of j?
True
Suppose -2 = j - s, -4*s + 12 = -j + 4. Suppose j = 5*l - 3*r - 134, -113 = -3*l - 2*r - 25. Does 7 divide l?
True
Let n = -6 + 54. Does 8 divide n?
True
Suppose -4 = -4*h, -2*r + r + 3 = -2*h. Let i(z) = 20*z. Is 27 a factor of i(r)?
False
Suppose 3*v = -0*v + 153. Does 17 divide v?
True
Suppose -m + 3 = 2*k - 0*m, 4*m - 3 = -5*k. Is 189/28*8/k a multiple of 7?
False
Let n be (-3)/1 - (1 - 13). Suppose -69 = -5*h - n. Is 6 a factor of h?
True
Let z(l) = 