 r. Does 14 divide z?
False
Let g be -2 - 3/(3/43). Is 11 a factor of (0 + g/12)*-8?
False
Let t be (1/1)/((-9)/(-99)). Let s = -43 + t. Let k = s - -57. Is 11 a factor of k?
False
Let z(m) = 2*m**2 - 3*m - 9. Does 20 divide z(-6)?
False
Suppose -5*h = -u - 20, -u + 0*h = -h + 16. Suppose 0 = 4*f + 1 - 145. Let a = f + u. Is 10 a factor of a?
False
Let c = -22 - -34. Let g be c/9*(6 + 0). Does 14 divide 338/g - (-1)/(-4)?
True
Suppose -3*c - 3*c = -792. Is 12 a factor of c?
True
Let w be -66*((-2)/(-4) - 1). Does 6 divide (-192)/(-33) + 6/w?
True
Let r(m) = m**2 - 10*m - 7. Does 16 divide r(13)?
True
Suppose g + g - 8 = 0. Is g even?
True
Suppose s = 3*s - 6. Is 3 a factor of s?
True
Suppose -4*u + f + 234 = 0, f + 2*f + 296 = 5*u. Is 11 a factor of u?
False
Let l(d) = 16*d**3 - d**2 + d + 1. Does 16 divide l(1)?
False
Suppose 0 = 2*s + 3*s. Let u = 4 - s. Suppose -u + 12 = 2*z. Is z a multiple of 3?
False
Let n(u) = u**2 + 6*u - 10. Let j be n(-7). Does 13 divide 72/((-9)/(-3)) + j?
False
Let w = -4 - -6. Let o(v) = -9*v - 5 + 2*v**2 + 1 + 2*v - 8*v**2 - w*v**3. Does 19 divide o(-4)?
False
Let q = 150 - 84. Does 47 divide q?
False
Let y = 0 + -2. Is 26 - ((-9)/3 - y) a multiple of 12?
False
Does 25 divide (5/(-1))/(2/(-40))?
True
Is 12 a factor of 9*(1 + 3 + 0)?
True
Suppose 65 = c + s, -2*c + s + 202 = 75. Is c a multiple of 32?
True
Suppose 90*f = 92*f - 24. Is 4 a factor of f?
True
Let a(r) = -3*r - 4. Let c be a(-3). Does 8 divide 1/c - 158/(-10)?
True
Let o be (-8)/3*6/(-4). Suppose u + 0*m + 4*m = 68, 0 = -o*u - 3*m + 233. Is u a multiple of 15?
False
Let b = -61 - -85. Let t = b - 16. Does 7 divide t?
False
Let d(o) = 0*o + 0*o - 3*o + 0*o. Let q be d(-1). Suppose q = -b + 17. Is b a multiple of 7?
True
Let w(m) = m**3 + m + 22. Let r = -1 + 1. Let z be w(r). Is 9 a factor of (z - 3) + -1 + 1?
False
Does 49 divide (-6170)/(-18) + (-54)/(-243)?
True
Suppose 6*o - 3*o - 78 = 0. Let k = 9 + o. Is 14 a factor of k?
False
Suppose 0 = 2*x - 21 - 11. Does 11 divide x?
False
Let v = -5 - -11. Suppose n = -n + v. Suppose y = -n*y + 156. Does 13 divide y?
True
Let w(k) = k**3 + 3*k**2 - 4*k - 1. Let q be 2/((-5)/((-30)/(-4))). Is 6 a factor of w(q)?
False
Is 16 a factor of 4*(-3)/(-24)*60?
False
Let n be (-155)/10 + (-2)/(-4). Let m = n + 29. Is 11 a factor of m?
False
Let u(s) = 2 + 0 - 2*s - s**2 - 3*s. Let h = 11 + -14. Does 8 divide u(h)?
True
Let h = 0 - -2. Let b(v) = 2*v**2. Let z be b(h). Is 14 a factor of ((-30)/z)/((-1)/4)?
False
Let g = 33 + -14. Is g a multiple of 8?
False
Let v(q) = -9*q**3 - 15*q**2 - 13. Let y(z) = -5*z**3 - 7*z**2 - 6. Let i(u) = -6*v(u) + 13*y(u). Let x be i(1). Is 16 a factor of x/54 - 418/(-18)?
False
Let c(i) = i**2 + 3*i + 2. Let b(g) = g**2 + 13*g - 20. Let f be b(-14). Is 5 a factor of c(f)?
True
Is 6 a factor of (-116)/(-4) + 4/(16/(-12))?
False
Let s(o) = o**2 + 6*o + 5. Suppose -5*b = 24 + 1. Let m be s(b). Suppose j - 2*z - 7 = m, 4*j - 40 = z - 5*z. Is j a multiple of 9?
True
Let d = 8 - 12. Let i = 0 - d. Suppose -i*c - 122 = -4*m - m, -c = 2*m - 54. Is 13 a factor of m?
True
Suppose -2*q - 186 = -2*l, -3*q - 480 = -5*l - q. Is l a multiple of 12?
False
Suppose 0 = c + 4*c - 5*u - 230, -10 = 2*u. Is 12 a factor of c?
False
Suppose 2*j = 4*v + 22, -59 = -4*j + 4*v + 5. Is j a multiple of 13?
False
Let v(a) = a - 2*a**2 - 2*a + 17*a**3 - 1 + 3*a. Let n be v(1). Suppose -c - 1 = t, 0 = -t - 4*c + 3 - n. Does 3 divide t?
True
Suppose 4*b - 3*d - 905 = 0, 3*b - 4*b - 3*d = -245. Suppose b = f + 4*f + a, 2*f - 5*a - 65 = 0. Is f a multiple of 15?
True
Suppose -2*y = -6*y. Suppose -2*c + 80 - 8 = y. Is c a multiple of 12?
True
Let j be 4*((-3)/(-2))/3. Suppose 0 = -2*b - 5*v + 8, -b + v - j*v + 1 = 0. Is 27 - (-3 - b - -3) a multiple of 13?
True
Suppose -4*g = 4*t + 3 - 11, -3*g = 2*t - 2. Does 4 divide t?
True
Let s be (15/(-2))/(6/12). Let b = s + 28. Is b a multiple of 9?
False
Let n(k) = 2*k + 5. Is n(3) a multiple of 3?
False
Let n(i) = i**2 + i - 7. Is n(-5) a multiple of 3?
False
Suppose -4*z - z + 420 = 0. Is z a multiple of 21?
True
Let o(y) = 8 + 4*y - 20 - y. Let j be o(9). Suppose k + 0*k - 2*t - j = 0, -t + 15 = 4*k. Is k a multiple of 2?
False
Let j(h) be the third derivative of h**4/24 + 2*h**3/3 - h**2. Let t be j(-4). Is (t + 2)/((-2)/(-10)) a multiple of 10?
True
Let z = 72 + -49. Suppose p - 16 = -n, n + z = 3*n + 5*p. Is 15 a factor of n?
False
Is 14 - (1 - (-1 - -1)) even?
False
Let v be (-6)/(-9) - 28/(-3). Suppose -2*f - 5*s = -0*f + v, -3*f + 4*s + 8 = 0. Is 20 a factor of 3/(3 + f)*33?
False
Let j = 8 - 4. Suppose 0*k - j = -k. Does 2 divide k?
True
Suppose -4*c + y + 117 = -6, -2*c + 5*y = -75. Is c a multiple of 10?
True
Suppose 3*y + y - 100 = 0. Suppose 5*z - 119 = -j, -2*z + 3*z - y = j. Is z a multiple of 8?
True
Suppose -5*r + 4 = -16, r = 2*o + 4. Suppose 4*i = -o*i + 8. Suppose -y - i = -36. Is 18 a factor of y?
False
Suppose -13 = -3*r - 4. Suppose 0 = -5*c + r*c + 24. Is 3 a factor of c?
True
Let i(u) = -4*u - 1. Let h be i(-2). Suppose -4*x - 75 = -h*x. Does 25 divide x?
True
Suppose 0 = y - 0*y. Suppose y = -2*k + 3*k - 26. Is 13 a factor of k?
True
Let a(m) = m**2 - 9*m + 5. Let n be a(9). Is 6 a factor of (2/n)/(2/60)?
True
Let y be (-3 + 2)*(-148)/4. Let n = y - 12. Does 17 divide n?
False
Let j = 58 + 219. Suppose -5*z + 4*g - 3*g = -j, 68 = z + 4*g. Is 19 a factor of z?
False
Let k(g) = -26*g - 2. Let d be k(-5). Let x be -1 - 3/3 - d. Is 8/(-10)*x/4 a multiple of 13?
True
Let i be (-2)/5 - (-64)/10. Is i/3 + 60/5 a multiple of 7?
True
Let x = 96 + -60. Does 4 divide x?
True
Let u(h) = -6*h**2 + 8*h + 0*h**3 + 1 - 4 - 2*h + h**3. Let f be u(5). Suppose -f*o + 10 + 30 = 0. Is o a multiple of 10?
True
Let l = 12 - 7. Let x be (-2)/5*(4 + 1). Let d = l - x. Does 7 divide d?
True
Let i = 5 + -14. Let r(o) = o**3 + 9*o**2 - 2*o - 8. Is 5 a factor of r(i)?
True
Suppose -5*s + 2*y = -827, s - 4*y + 326 = 3*s. Suppose 2*n + 3*u = 176, 4*n = 5*u + 165 + s. Suppose 5*p + w = n, -3*p - p + 4*w = -44. Does 11 divide p?
False
Suppose 148 = 3*t + 4*q, 117 = 2*t - q + 11. Let r(d) = -4*d**2 - d + 2. Let n be r(-3). Let x = t + n. Does 18 divide x?
False
Let v = -1 - -1. Let l be v - 2*(2 + -3). Suppose l = m, -97 = -5*k - 0*m - m. Does 11 divide k?
False
Suppose 4*c - 5*s - 416 = 0, s + 112 + 96 = 2*c. Is 13 a factor of c?
True
Suppose 3*m - 10*m = -980. Does 20 divide m?
True
Suppose -2*d - 68 = 2*d. Is -1*1 + (-1666)/d a multiple of 25?
False
Let r(k) = 27*k**2 + k - 1. Let y be r(-2). Let l be -1 + (-2)/(6/y). Let s = 62 + l. Does 13 divide s?
True
Let k(v) = v**3 + 5*v**2 - 9*v - 2. Let g(y) = -y. Let j be g(6). Does 15 divide k(j)?
False
Let g = -6 + 38. Is g a multiple of 8?
True
Suppose -2 - 3 = -5*g. Let u = 3 - g. Is u even?
True
Let o = -93 + 52. Let m = -9 - o. Suppose 2*i = m + 4. Does 9 divide i?
True
Suppose -g + 104 = 5*v + 2*g, 0 = -4*v + g + 90. Does 22 divide v?
True
Let v(y) = -2*y**3 - y + 92. Is 23 a factor of v(0)?
True
Let q(y) = y**2 - 19*y. Let c be q(15). Let p = -24 - c. Is p a multiple of 8?
False
Let o = 87 + -132. Let k be 0 - (0 - 67) - (-1 - -3). Let g = o + k. Does 6 divide g?
False
Let s = 6 + -6. Suppose 2*m + 16 = o - 32, s = 2*o + 4*m - 128. Is 14 a factor of o?
True
Let w = -32 - -17. Let g = 45 - w. Is 20 a factor of g?
True
Let j be (-54)/2*(-2)/6. Let p = j - 2. Is 7 a factor of p?
True
Let h be (1 - 0) + (-49)/(-1). Suppose h = 2*o - 0*o + 2*s, -5*o + 135 = -5*s. Does 13 divide o?
True
Let m = 5 - 9. Let f(u) = -u**3 - 3*u**2 - 2*u - 7. Does 5 divide f(m)?
False
Suppose 0 = -2*o + 6 + 8. Suppose -185 = 2*k - o*k. Does 13 divide k?
False
Let u = 1 + 17. Is -3 + 3 + u/2 a multiple of 5?
False
Let o(a) = 3*a + 3 - 4*a - a - a**2. Let d be o(-3). Suppose d*m + 11 = m. Is m a multiple of 7?
False
Is 184/6*99/22 a multiple of 9?
False
Let o(r) = r**2 + 2*r - 4. Let q be o(-3). Let b be (-2 - (-1 - -12)) + q. Let n = 29 + b. Does 15 divide n?
True
Suppose 32 = -4*y + 312. Suppose 3*t - 3*j = 75 - 18, 4*t - 2*j = y. Is t a multiple of 7?
False
Let v = -25 - -27. Suppose -5*l - q = -70, -v*l + q - 6*q = -28. Is 5 a factor of l?
False
Let w(o) = -4*o + 3. Let m(n) = n**3 - 7*n**2 + 2. Let h be m(7). Let s be w(h). Let f(x) = -x**3 - 3*x**2 + 2