de g(4)?
True
Let k be (-1)/1*(-2 - -2). Suppose w - 2*n - 36 = -w, n = k. Is w a multiple of 9?
True
Suppose 0 = 16*u - 21*u + 90. Is 18 a factor of u?
True
Let u be (-1)/3 + (-326)/(-6). Suppose 3*z = -4*j + u, -z + 13 = j + 2*j. Suppose -2*k + 3*n = -z, -4*n = 2*k - 5*n - 14. Is 5 a factor of k?
True
Suppose -61 = 4*o + 55. Let t = 9 - o. Let a = t + -25. Is 13 a factor of a?
True
Suppose 6*h - h = 0. Suppose 3*s + c - 16 = h, -s - s + 5 = -5*c. Is 3 a factor of s?
False
Let j = -25 - -79. Does 27 divide j?
True
Suppose 0 = -3*g + 46 + 38. Let s = -11 - -5. Let y = s + g. Does 11 divide y?
True
Let r be 18/4 - (-3)/(-6). Suppose -2*b - 19 = -d + 1, -3*d = -r*b - 70. Does 15 divide d?
True
Let s(h) = -3*h + 7 + 0 + 0 - h**2 - 3*h. Let x be s(-6). Suppose -2*i + f + x + 55 = 0, 4*i - 116 = -2*f. Is 10 a factor of i?
True
Let b(m) = m**2 + m - 6. Does 4 divide b(-7)?
True
Suppose 4*d + 56 = -5*n + 3*n, 3*d + 56 = -2*n. Is 3 a factor of 0 + n/((-12)/3)?
False
Let c be 6/(-15) - (-114)/10. Let r = -3 + c. Is 8 a factor of r?
True
Suppose -4*r - 936 = -272. Does 8 divide r/(-4) - 15/10?
True
Let w(z) = 2*z**2 - 8*z + 6. Suppose -n - n = -10. Is w(n) a multiple of 8?
True
Suppose 0 = 4*x + 4*g - 260, -5*x - 5*g + 328 = -g. Does 17 divide x?
True
Let w(n) be the second derivative of -n**3/6 + 11*n**2/2 + 2*n. Let d be w(5). Is 14/(1/(3/d)) a multiple of 7?
True
Let s be (-33)/(-2) - 2/(-4). Suppose -14 = i - 5*f - 1, i + f = s. Does 4 divide i?
True
Let m be 12/20 + (-1089)/15. Is 15 a factor of (m/(-14))/((-4)/(-56))?
False
Suppose 2*a + 4*s + 7 = -29, s = 4*a + 81. Let p = 1 - a. Is 7 a factor of p?
True
Let x = -1 - 2. Is 3 - -10*x/(-2) a multiple of 9?
True
Suppose -56 = -p - t + 16, 5*t = 3*p - 176. Is 9 a factor of p?
False
Suppose 3*o + o = 92. Is 6 a factor of o*(0/2 - -1)?
False
Let h(c) = 3*c**2 - 4*c + 4. Is 16 a factor of h(6)?
False
Let u(g) = g**2 - 14*g + 7. Suppose 5*j - 36 = 2*v, -4*v - 12 = 3*j - 44. Let o be u(j). Let p = -21 - o. Is 20 a factor of p?
True
Let b(h) = 3*h**2 + 10*h + 10. Let v(c) = -c**2 - 3*c - 3. Let t(f) = 4*b(f) + 11*v(f). Suppose -9 = 2*l + 5. Is 6 a factor of t(l)?
False
Suppose 4*f = f + 45. Let j = 9 - f. Let d = 0 - j. Is d a multiple of 6?
True
Suppose 3*j + 20 = 2*b + 8*j, 4*b = j + 18. Suppose 3*l - 2 = -b*d, 12 = 4*l - 0*l + 2*d. Is 2 a factor of l?
True
Suppose -2*v = 6, -4*v - 1524 = -5*i - v. Is 19 a factor of i?
False
Does 27 divide (-2440)/(-45) - 8/36?
True
Let f(n) = 7*n - 14. Does 42 divide f(20)?
True
Let t(z) = -z**3 + z**2 + 21. Let r(x) = x + 16. Let s be r(-16). Does 8 divide t(s)?
False
Let z = 13 + -7. Suppose z*u - 12 = 120. Is 11 a factor of u?
True
Let p(q) = 13*q - 6. Let a(l) = 7*l - 3. Let j(c) = 11*a(c) - 6*p(c). Let d be j(6). Is (-4 - d)/((-2)/78) a multiple of 10?
False
Suppose -k = -4*z + 214, -5*z + 5*k = 2*k - 271. Suppose 2*r = 5*g + r - 385, 5*r = g - z. Is 26 a factor of g?
True
Let g(j) = -4*j + 1. Let u be g(2). Let m = -3 - u. Is 4 a factor of m?
True
Let m(t) = -t**3 - 22*t**2 + 20*t - 41. Is 6 a factor of m(-23)?
False
Suppose 0 = 3*k + 2*k - 65. Suppose l + k = 37. Is 12 a factor of l?
True
Suppose 2*k - 80 = 4*p, 0 = -5*k + 2*p - 0*p + 208. Is 14 a factor of k?
True
Let u be -28 - (3 - 3 - 3). Let k = 43 + u. Is k a multiple of 18?
True
Let a(q) = -q**2 + 3*q - 2. Let v be a(2). Is 10 a factor of (-1)/(1/(-30) + v)?
True
Does 6 divide ((-2)/(-4))/(-5*(-2)/360)?
True
Let t(j) = j**2 - 10*j - 8. Let c be t(11). Suppose 0 = c*g + 3*z - 90, 3*g - 63 = -z + 27. Is g a multiple of 10?
True
Let p = -47 - -80. Suppose 2*k - 109 = p. Suppose 0 = -5*s + n + k, 4*n = 5*s + 37 - 111. Does 7 divide s?
True
Let d(o) = o**3 - 4*o**2 - 2*o + 5. Is 10 a factor of d(5)?
True
Let v(j) = j**2 - 4*j - 1. Let g be v(4). Is -6 + 3 + (38 - g) a multiple of 18?
True
Let o be (-48)/(-15)*2*10. Does 17 divide (10/(-8))/((-4)/o)?
False
Let g(i) = 3*i**2 - 3. Is g(-3) a multiple of 12?
True
Let a = -33 - -50. Does 8 divide a?
False
Suppose -13 = 2*f - 3. Let v = 10 - f. Does 5 divide v?
True
Suppose 0*q + 3*q - 6 = 0. Suppose 4*a - q*r - 207 = 3*r, 0 = 3*a - 3*r - 153. Is 20 a factor of a?
False
Let i = -197 + 300. Does 18 divide i?
False
Suppose 3*h - h - 16 = 2*p, -3*h + 25 = -4*p. Let m(j) = 10*j + 4. Does 23 divide m(h)?
False
Let z(i) = -i + 2. Let r be z(-8). Let m = 0 - -4. Suppose 2*u - t - r = u, -m*u + 22 = 5*t. Is u a multiple of 4?
True
Let t(b) = b**2 + 12*b + 16. Let p be t(-14). Does 15 divide (3 - 2) + 0 + p?
True
Is 5 a factor of (-92)/14*56/(-8)?
False
Suppose 0 = 3*h - 5*f - 632, -4*h + 4*f = 179 - 1019. Does 11 divide h?
True
Suppose 0 = -2*g + 5*n - 14 - 13, 24 = -3*g + 2*n. Suppose 0 = 2*k + 2 + 2. Let r = k - g. Is 4 a factor of r?
True
Suppose -5*s = -2*i - 17, -3 = 4*i - i. Let m(p) = p**2 - 4*p - 6. Let o be m(5). Let x = s - o. Does 4 divide x?
True
Let z(g) = -g**3 + 4*g**2 + 3*g. Does 2 divide z(4)?
True
Is 27 a factor of (-6)/(-4)*(33/3 + 7)?
True
Let s = 14 + -9. Suppose 3*g + 66 = 5*l, -s*g + 10*g = -2*l + 14. Does 12 divide l?
True
Let h = 10 + 4. Is (-1)/(1 - 16/h) a multiple of 4?
False
Let z be ((-3)/(-3))/(2/14). Let f(t) = -7*t**2 + 3*t - 1 + 2 - 2 + t**3. Does 10 divide f(z)?
True
Let v be (-28)/8*-2*1. Let x = -3 + v. Let p = x - 2. Does 2 divide p?
True
Suppose z - 240 = -2*z. Suppose 3*g + 24 = 5*x + z, -26 = 3*x + 2*g. Let t = 13 - x. Does 8 divide t?
False
Let l = -1 - -5. Suppose 0*u = l*u - 136. Is 17 a factor of u?
True
Let p = 78 - -318. Suppose 2*r - p = -2*r. Is r/6*(-2)/(-1) a multiple of 11?
True
Suppose -7*x + 130 = -2*x. Is x a multiple of 26?
True
Suppose 0*k = 3*k + 3. Let x be (-1 - k)/(4 - 6). Suppose x*f + 9 = f. Is f a multiple of 7?
False
Does 9 divide 32/24 - 154/(-6)?
True
Let h = -19 - -27. Let a(j) = -j + 3*j - 5*j - h. Is a(-6) a multiple of 5?
True
Let h be (-2)/6 + (-271)/(-3). Let a = 8 - 4. Suppose -u = a*u - h. Is u a multiple of 8?
False
Suppose 41 = -4*g - 3*d, 0*g = -2*g + d - 13. Does 10 divide (-1)/2 + (-244)/g?
True
Is 56 a factor of (-6)/2*(-3)/9 + 223?
True
Let w(q) = -2*q - 2*q**2 + 1 + 9*q**2 - 2*q. Let b be w(-3). Suppose h = 5*h - b. Is h a multiple of 13?
False
Let l(j) = -j**2 + 8*j - 3. Let m be l(5). Suppose 18 + 9 = 2*n + 5*k, -4*k = 3*n - 23. Suppose -n = -y + m. Is 10 a factor of y?
False
Suppose -2*j + 2 = -10. Suppose -h = t - 60, 3*t + 182 = j*t + 5*h. Is 21 a factor of t?
False
Let x(j) = 0*j**2 + 18*j + j**2 - 15*j - 1. Let s be x(-4). Suppose -39 = -3*f + s*i, -2*f + 21 = i - 2. Is 8 a factor of f?
False
Let s(k) = 26*k - 4. Does 14 divide s(6)?
False
Let u be -20*(1 + -1 - -1). Is (36 + 0)*(-10)/u a multiple of 18?
True
Suppose -5*c + 2*c = -9. Suppose 2*w + 4*z = -3*w, c*z + 7 = -2*w. Suppose -5*h = -w - 106. Is 13 a factor of h?
False
Suppose f = -b + 24, -4*f + 62 = -f - 2*b. Suppose 0 = -p + 10 + f. Is 8 a factor of p?
True
Let l = 7 - 4. Let v(n) = n**3 + 7*n**2 + 9*n + 2*n**3 - 4*n**l + 5. Does 13 divide v(8)?
True
Let c(q) = -q + 2. Let k be c(0). Let p(a) = -2*a - 2*a - a**3 - 5 - 6*a**k - 3*a. Is p(-5) a multiple of 3?
False
Suppose -3*q - 2*s = -4 + 1, -s + 3 = 0. Let y be (-2)/(0 + (-2 - q)). Suppose y*b = u + 46, b = -b - 2*u + 58. Is 19 a factor of b?
False
Let q(z) = -z**3 + 10*z**2 - 8*z - 2. Does 14 divide q(6)?
False
Let i = 2 + 5. Let d = 16 - i. Does 3 divide d?
True
Is 18 a factor of -2*((-14)/(-77) - (-1313)/(-22))?
False
Let s(o) = 3*o + 3. Let b(g) = -3*g - 4. Let n be b(-3). Is s(n) a multiple of 7?
False
Let w be 1/(2 - -1)*3. Is 10 a factor of w + (2 - (-22)/2)?
False
Let k = -151 + 231. Is 13 a factor of k?
False
Suppose 0 = 2*z + z - 15. Suppose -15 = -z*t + 2*t. Let v(m) = m**3 - 4*m**2 - 4*m - 3. Does 2 divide v(t)?
True
Let i(x) = -x**2 - 8*x + 12. Let g be i(-9). Suppose 5*k - 104 = g*k. Suppose -3*d + 5*d = k. Is 13 a factor of d?
True
Let d = 7 + -6. Let y = 8 + d. Is 6 a factor of y?
False
Let c(k) = -k - 6. Let b be c(-6). Suppose b*l + 3*l - 24 = 0. Does 8 divide l?
True
Let g(f) = -6*f**3 - 6*f**2 - 11*f + 1. Let o(x) = 5*x**3 + 6*x**2 + 11*x - 2. Let i(b) = 6*g(b) + 7*o(b). Does 10 divide i(7)?
True
Let c = 3 - -2. Suppose -3 = -c*z + 7. Suppose h = -z*h + 99. Does 14 divide h?
False
Let u(v) = 2*v**2 - 30*v + 21. Is 8 a factor of u(15)?
False
Suppose -m