 y a multiple of 14?
False
Suppose 0 = 3*i - 6 - 9. Does 2 divide i?
False
Suppose 0 = -12*f + 19*f - 819. Is 64 a factor of f?
False
Suppose -2*z = 6 - 16. Suppose -3*q + 16 = -g, q - 5*q + 34 = z*g. Does 6 divide q?
True
Does 24 divide 9/(9/4) + 4 + 16?
True
Let g = -14 + 10. Let p = g - -27. Is 12 a factor of p?
False
Is 7 a factor of 2 - (-2 - -5) - -8?
True
Let a = -2 + 24. Does 10 divide a?
False
Suppose 44 = 4*j + z, 0*j + 56 = 4*j + 4*z. Is 3 a factor of j?
False
Let f be ((-8)/6)/(1/3). Let r be 138/7 + f/(-14). Suppose -s = -3*i - 4*s + 30, -4*s = -2*i + r. Is i a multiple of 9?
False
Let y(a) = 0*a**2 - 12*a + 6 - 3*a**2 + 2*a**2. Is 4 a factor of y(-12)?
False
Let h(v) = 4*v**2 + 2*v - 1. Let i be h(1). Suppose i = o - 2. Does 7 divide o?
True
Suppose 3*s - 182 = 5*l, 4*s + 0*s - 3*l - 261 = 0. Is 23 a factor of s?
True
Let c(i) = -1. Let s(o) = 2*o - 26. Let u(j) = 4*c(j) - s(j). Is 27 a factor of u(-9)?
False
Let l(y) = -5*y**3 + 11*y - 11. Let z(t) = t**3 - t**2 - t + 1. Let p(k) = l(k) + 4*z(k). Does 12 divide p(-6)?
False
Suppose 0*q - 141 = -3*q. Let u = q + -33. Suppose -x + u = -10. Is x a multiple of 12?
True
Let f(k) = 4*k + 4. Does 11 divide f(7)?
False
Let y = 193 + -112. Is y a multiple of 27?
True
Let x be 10*(0 + (-3)/(-6)). Suppose 0 = -x*g + 4 + 16. Is 2/8 - (-31)/g a multiple of 3?
False
Suppose -4*l = -2*f - 3*l + 6, f + 15 = 5*l. Let u(w) = -w**2 - 6*w - 3. Let d be u(-4). Suppose 187 = 5*t + b - 5, d*b = f*t - 180. Is t a multiple of 13?
False
Suppose 3*c + 1 = -k - 9, -k = c + 4. Is -1*6*1/c even?
True
Suppose 5*k - 2*n - 14 = 0, -n + 12 = 2*k - 5*n. Suppose -5*r - 10 = -3*m, 5*m - k*m - 4*r - 5 = 0. Does 7 divide m/15*(-54)/2?
False
Let b = -7 - -8. Does 10 divide (0 - 2 - -27)*b?
False
Let r(p) = p**3 - 6*p**2 + 4*p - 1. Let m(x) = -2*x**3 + 13*x**2 - 8*x + 3. Let s(g) = 2*m(g) + 5*r(g). Suppose -3*t = -2*t - 4. Does 6 divide s(t)?
False
Let c be 63 - ((-2 - -3) + -1). Suppose -n + 4*n - c = 0. Does 21 divide n?
True
Suppose -2*q + 9 = 5*b - 7, 3*q + 2*b = 46. Let n = q + -13. Does 5 divide n?
True
Suppose -571 = -4*d + 129. Does 28 divide d?
False
Does 3 divide 6/(-9) - (-78)/9?
False
Let w(t) = t**3 - 4*t**2 + 1. Is w(7) a multiple of 41?
False
Let c = 3 - 1. Suppose 0*h - c*h + 62 = 0. Is h a multiple of 8?
False
Let w = -5 - -9. Let j(t) = 0 - 4*t - 1 - 2 + 2 - t**3 + 6*t**2. Is 4 a factor of j(w)?
False
Suppose 0 = 4*p + v - 4, -4*v - 32 = -5*p - 6. Suppose -3*c + p*f = -0*f - 80, 2*f = 5*c - 136. Is 14 a factor of c?
True
Let d(o) = 7*o**2 + 9*o + 1. Does 7 divide d(-4)?
True
Suppose -5*d - 2*o + 45 = -5*o, -4*d = -2*o - 36. Let n(a) = -a + 11. Let b be n(d). Suppose b*c = -c + 150. Does 19 divide c?
False
Let p(n) = -n**3 + 7*n**2 + n - 2. Let r be p(7). Suppose -r*i = -2*i - 78. Let m = i + -6. Is 10 a factor of m?
True
Let m(r) = -r**3 + r**2 + r + 18. Let s be m(0). Let u = -26 + 12. Let d = s - u. Is d a multiple of 15?
False
Let t = -3 - -2. Let b be ((-1)/t)/(3/51). Let k = b - 3. Is k a multiple of 7?
True
Is 24 a factor of (-1)/3*-3*96?
True
Let t(c) = 1. Let b(y) = -y + 4. Let w(v) = b(v) - 5*t(v). Let n be w(-8). Let s = n - -5. Does 6 divide s?
True
Suppose -2*p - 39 = 3*m, -3*p + p = -5*m + 31. Let x = 42 + p. Does 12 divide x?
True
Suppose b = -2*s - 0*s + 7, -7 = -3*s + 2*b. Suppose s*k - 66 = d - 4, 2*k - 3*d - 32 = 0. Is 11 a factor of k?
True
Let g(a) = -24*a + 10. Is 59 a factor of g(-4)?
False
Let w(l) = 4*l - 5. Let s be w(2). Suppose 114 = s*i - 42. Does 14 divide i?
False
Let t = -4 + 4. Suppose -4*s = 5*i + 10, -4*s + 2 = -i - t. Suppose s*h - 14 = -2*h. Does 7 divide h?
True
Let h = -99 - -149. Is 10 a factor of h?
True
Let z(j) = 22*j - 9. Let k be z(9). Suppose 4*n + 81 = -3*f - k, f - 262 = 4*n. Does 5 divide (4/(-6))/(4/n)?
False
Let p(d) be the first derivative of -d**4/12 + 7*d**3/6 - d**2/2 + d - 1. Let f(o) be the first derivative of p(o). Does 11 divide f(4)?
True
Suppose -10 = -3*z + 5, 0 = -3*j - 2*z + 1252. Is 22 a factor of (-2)/4 - j/(-12)?
False
Let c be 0 + 0 + 8/2. Let d = -1 + c. Suppose -v = -2*v - l + 22, -d*v + 5*l = -98. Does 13 divide v?
True
Let z be 38/(-4) + (-6)/(-12). Let y = z - -47. Does 16 divide y?
False
Suppose -2*a + 66 = -226. Suppose -o + 28 = 5*f - 44, 3*o + f = a. Is 25 a factor of o?
False
Let s(c) be the second derivative of -1/20*c**5 - 4*c - 1/6*c**3 - 3/2*c**2 + 1/2*c**4 + 0. Is s(5) a multiple of 17?
True
Let t be (-65)/10 - (-2)/(-4). Let l be 16/7 - (-2)/t. Suppose 0 = -l*m - 3*m + 45. Does 5 divide m?
False
Let u(l) = l**3 - 3*l + 1. Let w be u(2). Does 10 divide w - 4/((-12)/75)?
False
Let f be ((-4)/(-1))/(2/5). Let w = f + 34. Does 11 divide w?
True
Let k = -23 + 88. Suppose -5*z + 5*i - k = 0, i - 31 - 12 = 4*z. Let w = 18 + z. Is w a multiple of 6?
False
Let t(y) = -y. Suppose 4*h + 0*g - 5*g = -28, -h - 2*g = -6. Let u be t(h). Suppose -12 = -f + 5*i, 0*f + 3*f = u*i + 23. Is 3 a factor of f?
False
Let a(v) be the first derivative of v**3/3 + v**2/2 + 19*v - 4. Does 10 divide a(0)?
False
Let m(h) = h + 7. Let n be m(-7). Let t = -13 - -10. Does 4 divide -8*(t + n)/6?
True
Suppose 0 = -3*b - z + 3, 2*z = 2*b - b - 8. Suppose -b*r = -6*r - 24. Let w(x) = -2*x - 6. Is 6 a factor of w(r)?
True
Let n = 5 - 0. Suppose n*y - 44 = -14. Suppose -a + y + 2 = 0. Is a a multiple of 6?
False
Suppose -110*i + 105*i = -75. Is i a multiple of 3?
True
Let f(d) = -d**3 + 12*d**2 - 8*d - 12. Does 12 divide f(8)?
True
Let y be 4/22 - 7690/(-55). Does 17 divide y/3 - 2/3?
False
Suppose -2*m = 3*m - 25. Suppose -m*t + 4*t + 13 = 0. Does 6 divide t?
False
Let v(y) = -y**2 - 13*y - 19. Does 17 divide v(-7)?
False
Let m(c) = -c**2 + 18. Let l be ((-8)/(-6))/(2/12). Suppose 0 = 4*d + 2*s + l - 0, 3*d + 16 = -4*s. Is m(d) a multiple of 18?
True
Suppose -c = -0 - 2. Suppose 3*q + c*q + 119 = 4*i, -2*i + q + 55 = 0. Is 26 a factor of i?
True
Let g be (-1 - -2)*(0 - -3). Let x(m) = m**3 + m**2 - 6*m + 6. Let n be x(4). Suppose -n = g*f - 188. Is f a multiple of 21?
True
Let t be 4/(-10)*2*-5. Suppose 3*r - 3*j - 20 = 7, 0 = -t*r - 4*j + 20. Is r a multiple of 7?
True
Let t = 0 + 2. Suppose -2*s + 3*r + 17 = -t*r, 6 = 2*r. Suppose b = s + 5. Is b a multiple of 8?
False
Suppose 0*w + 267 = 3*s + 3*w, 5*s - 457 = -w. Does 23 divide s?
True
Suppose -7*f = -2*d - 6*f + 84, 0 = 3*d - 3*f - 129. Does 5 divide d?
False
Let p = -8 - -12. Suppose p*x = -0*x + 48. Is 9 a factor of x?
False
Suppose 0 - 6 = -f. Is 8 a factor of 9/f*76/6?
False
Let m(q) = q**2 - 7*q - 5. Let v(s) = -s - 11. Let a be v(-6). Is m(a) a multiple of 13?
False
Suppose 0 = -g + 4*g - 12. Suppose -5*b = -t - 13, -g*t = -b + 6*b - 73. Is t a multiple of 12?
True
Let i(v) = -2*v**3 + 15*v**2 - 2*v - 8. Is 8 a factor of i(7)?
False
Suppose 4*m = 2*t + 41 - 11, -10 = 3*m + 5*t. Suppose -m*c = -3*b - 37, 5*c + 0*b = -2*b + 17. Does 2 divide c?
False
Let z(n) = -2*n**3 - n**2 + 1. Suppose -2*y = -4 + 2. Let p be z(y). Is 6 a factor of p + (-3)/((-9)/42)?
True
Suppose 0 = 10*z - 25 - 155. Is 9 a factor of z?
True
Let f(u) = -u**2 + 13*u - 11. Let y(p) = p**3 + 15*p**2 - p - 4. Let q be y(-15). Is f(q) a multiple of 2?
False
Let f(d) = -d**3 - 2*d**2 + 2*d + 2. Let a be f(-2). Let x be (1 + 0)*(-26)/a. Does 10 divide (-3 + x)/(3/6)?
True
Let g = -91 - -167. Is 14 a factor of g?
False
Let o = -81 - -135. Is o a multiple of 9?
True
Let b(o) = 3*o + 2. Suppose -3*r + 2 + 1 = 0. Does 5 divide b(r)?
True
Let p = 136 + 128. Is p a multiple of 12?
True
Let d(f) = -f**3 + 5*f**2 - 5*f + 3. Does 6 divide d(3)?
True
Suppose m - 72 = -3*m. Is m a multiple of 10?
False
Let p(d) = d**3 + 14*d**2 + 5*d - 8. Is p(-13) a multiple of 30?
False
Suppose 5*l = 6*l - 48. Is l a multiple of 24?
True
Suppose 0 = -2*f + h + 24, 3*f - 5*h + 15 = 51. Does 2 divide f?
True
Let y = -84 + 204. Suppose m + 3*m - y = 0. Is m a multiple of 21?
False
Let q = 14 - 10. Does 9 divide -1*(-7)/q*24?
False
Let r(i) = i**3 - 7*i**2 - i + 9. Let o be r(7). Suppose -5*y = -o - 8. Suppose y*x - 46 - 30 = 0. Does 19 divide x?
True
Let a(h) be the second derivative of h**3/6 + 2*h**2 + 2*h. Is 11 a factor of a(7)?
True
Let u(t) be the second derivative of -t**5/4 - t**4/12 - t**3/6 - t**2/2 - 5*t. Is 4 a factor of u(-1)?
True
Let x = 4 - 2.