, 3*z = 5*g - z - 1347. Is g a multiple of 33?
False
Let k(u) = u**3 - 5*u**2 - 6*u + 2. Let c be k(6). Let h(x) = 2*x**2 + 7*x - 6. Let v be h(-6). Suppose g = -c*g + v. Does 4 divide g?
True
Let t = -92 - -47. Let w = t - -89. Is w a multiple of 12?
False
Suppose 4*t - 26 = 322. Is t a multiple of 33?
False
Let w = 0 + 0. Suppose -2*v = -w*v - 4. Does 12 divide v/(-5) + (-186)/(-15)?
True
Suppose 3*c - 150 = 45. Is 16 a factor of c?
False
Let x(m) = -m**2 - 6*m - 2. Let u be x(-4). Let p = u + -7. Is 2 - p/3*0 even?
True
Is 18 a factor of (4/(-8))/((-2)/360)?
True
Let k = 191 + -100. Is 11 a factor of k?
False
Let i = 41 - 19. Suppose i + 46 = 4*u. Is 16 a factor of u?
False
Let g(n) = n**2 + 16*n - 9. Is g(-18) a multiple of 6?
False
Suppose -7 = 5*h + 48. Let i(u) = -2*u - 16. Let q be i(h). Is 17 a factor of -34*((-15)/q + 1)?
True
Let c be 18/4*16/(-12). Let u(a) = a**3 + 7*a**2 + 4*a + 5. Does 5 divide u(c)?
False
Let h = -12 - -43. Suppose -r + h = -5*b, -4*b - b = r - 11. Suppose 3*d = -4*i + 2*d + 28, d - r = -3*i. Is i even?
False
Let i(t) = 2*t**2 - 5*t - 1. Let p be (-1)/(-2)*(2 - -6). Is i(p) a multiple of 4?
False
Let z(s) = s**2 - 8*s - 6. Let k be z(-7). Suppose 0 = -0*f - 2*f - 98. Let m = f + k. Is 15 a factor of m?
False
Let y be (-3)/(-9) + 195/9. Suppose 3*q - y = 89. Does 11 divide q?
False
Let v(f) = f**3 - 11*f**2 + 4*f + 18. Is 31 a factor of v(11)?
True
Suppose 3*q = -2*q + 45. Is q a multiple of 7?
False
Suppose -4*b + 78 = -3*v, 6*v - 5*v - 16 = -b. Does 26 divide (-233)/(-3) + 6/b?
True
Suppose 999 = 4*h - 237. Is 39 a factor of h?
False
Suppose 3*r - 8 = -4*q - 0*q, -4*q - 20 = -4*r. Does 6 divide (42/r)/(15/20)?
False
Let r be 3*-1 + (-9 - 3). Let x = -7 - r. Is 5 a factor of x?
False
Let k be 1239/14*16/3. Suppose -k - 16 = -4*q. Let m = q - 86. Does 16 divide m?
False
Suppose 0 = -2*n + 42 + 46. Does 11 divide n?
True
Is 4392/44 - 2/(-11) a multiple of 25?
True
Let t = 7 - 8. Let b = t + 6. Suppose 5*s - 90 = 5*a, -2*s + 0*s - b*a = -36. Is 18 a factor of s?
True
Suppose 7 - 21 = -2*x. Let t(b) = b**3 - 7*b**2 + b + 7. Is t(x) a multiple of 14?
True
Let z(c) = -c**3 + 7*c**2 + 12*c - 6 - 12*c. Let g be z(7). Is (7 + -4)/((-2)/g) a multiple of 5?
False
Suppose 4*b + 5*t + 9 = 0, -b - 3*t = -3*b + 23. Let y be (-1)/3 - 34/6. Let k = b - y. Is 4 a factor of k?
False
Let a be 156/18 + 4/(-6). Is (-138)/4*a/(-12) a multiple of 13?
False
Let s(k) = -k**3 - 3*k**2 + 5*k + 1. Let f be s(-4). Let t be f/((-4)/6 + 1). Let n = t + 15. Does 6 divide n?
True
Suppose l - 4*f - 9 = 0, 2*l = f - 1 + 12. Let x be 74/(-6) - 3/(-9). Is 11 a factor of (-330)/x*4/l?
True
Suppose 591 = -20*i + 3051. Is i a multiple of 14?
False
Let b(c) be the second derivative of c**5/30 - c**4/6 - c**3/6 + c. Let i(j) be the second derivative of b(j). Is 6 a factor of i(4)?
True
Let n(f) = -8*f**2 + 3*f - 2. Let a be n(4). Let l = a - -181. Does 22 divide l?
False
Is 18 a factor of 118*1 + 1 + 15/(-3)?
False
Let r = -81 + 117. Is 18 a factor of r?
True
Let d = 216 + -141. Suppose 5*g = 5*j - d, 2*g + 1 = j - 13. Suppose 4*f - j = 20. Does 9 divide f?
True
Suppose 5*p + 3*q + q = 111, 88 = 4*p + 4*q. Does 8 divide p?
False
Let w(z) = z**2 + 8*z - 5. Let j be w(-8). Let p be ((-1)/((-1)/j))/(-1). Suppose 5*x + p*n - 45 = 4*x, 3*n - 12 = 0. Does 13 divide x?
False
Suppose -d = d + 120. Let w = d + 147. Suppose -2*q + 5*q = w. Is q a multiple of 20?
False
Let m(y) = 3*y**3 - 5*y**2 + 3*y - 4. Let c = -8 - -11. Is 16 a factor of m(c)?
False
Let v be (-25)/(-10) + (-2)/(-4). Let q be 3/v + (0 - 1). Suppose -4*o + 2 = g, g = 2*o - q*o + 14. Is 8 a factor of g?
False
Let v be 91 + -6*3/6. Suppose 23 = n - 3*w - 31, 4*w - v = -2*n. Is 35 a factor of n?
False
Let a = 149 + -84. Does 3 divide a/7 - 16/56?
True
Does 18 divide 4/(-14) + (-2524)/(-14)?
True
Is (0 - 426)*(-1 - 2/(-4)) a multiple of 15?
False
Suppose -4*l + 22 = -10. Let s = l - -59. Does 12 divide s?
False
Is (((-14)/21)/((-4)/1566))/1 a multiple of 9?
True
Suppose -y = 3 - 0. Let z(v) = 2*v - 11. Let t(s) = -s - 1. Let j(u) = y*t(u) - z(u). Is j(0) a multiple of 7?
True
Suppose -472 = 6*z - 14*z. Is z a multiple of 10?
False
Suppose 20 = 3*a - a. Does 2 divide (-88)/(-14) + a/(-35)?
True
Suppose 5*q = 2*s + 60, q + 3*s = s + 24. Is 14 a factor of q?
True
Suppose 5*h = 4*w + 145, -2*h + w = 4*w - 81. Is h a multiple of 11?
True
Is (-4 - 81)*(-24)/15 a multiple of 10?
False
Let h(r) = 4*r**2 + 4*r - 1. Suppose 2*y = -3*y. Suppose 2*s + 6 + 0 = y. Is h(s) a multiple of 11?
False
Let n(s) = -2*s - 2. Let o be n(-3). Let x(z) = z**2 + 5*z - 6. Is x(o) a multiple of 7?
False
Let v(n) = n + 22. Is 5 a factor of v(-8)?
False
Suppose t + 12 = 5*t. Suppose 70 - 235 = -t*w. Does 21 divide w?
False
Suppose 2*i + 11 = -13. Is 14 a factor of ((-6)/(-2))/(i/(-112))?
True
Let h be -2*3*(-220)/(-15). Let s = h - -127. Is 13 a factor of s?
True
Let n = -9 + 80. Suppose -2*u - 11 = -n. Does 15 divide u?
True
Let a(z) = -4 + 1 - 13*z + 3*z. Suppose 3*c + 10 = 1. Is a(c) a multiple of 18?
False
Is (-51)/(-3) - (-1 - -4) a multiple of 7?
True
Let n be 0 + (-5)/(5/9). Let y = n + 11. Suppose f - 6*f - t + 138 = 0, -y = t. Is f a multiple of 14?
True
Let x = 273 + -195. Does 18 divide x?
False
Suppose 1 = 2*r + 3. Let n(f) = 46*f**2 - 2*f - 1. Is 14 a factor of n(r)?
False
Let o = 82 - 26. Suppose 3*g + g = o. Does 5 divide g?
False
Suppose 0 = f - 5*m - 76, -4*f + 194 = m - 194. Does 8 divide f?
True
Let n be (-1)/(((-2)/2)/11). Let g = -9 + n. Let k = 1 + g. Is k a multiple of 3?
True
Suppose 35 = 3*m - 5*v + 6, -22 = -2*m + 2*v. Does 5 divide m?
False
Let q be (-9)/(-12)*1*8. Suppose c = -t + 1, 2*t + 0*c = -4*c - q. Suppose -f - 43 = -3*r + 6, -t*f = -r - 7. Is 9 a factor of r?
True
Suppose 7*m = 4*m + 3. Let x(c) = 4*c**2 + c + 7*c**2 + 11*c**2. Is 11 a factor of x(m)?
False
Let p(l) = -l**3 + 4*l**2 - 2*l - 2. Let d be p(2). Suppose 0 = -4*g + d + 10. Suppose 4*z = y - 32, 7*y + 2*z - 38 = g*y. Does 12 divide y?
True
Let y(q) = q**3 - 5*q**2 - 5*q - 3. Let a be y(6). Let f be (5 - 3/a)/(-1). Let v = 14 + f. Is v a multiple of 10?
True
Suppose -t = 3*g - 191, -4*t - 5*g + 615 = -177. Does 29 divide t?
True
Suppose -3*o - 2*m = -203, 3*m - 268 = -4*o + m. Let t = -39 + o. Does 11 divide t?
False
Let t = 269 + -169. Suppose 2*u - t = -0*u. Is u a multiple of 25?
True
Let o(a) = a**2 - 2*a + 72. Is o(0) a multiple of 6?
True
Let d(a) be the second derivative of a**3/3 + 7*a**2/2 - 3*a. Is d(0) even?
False
Suppose -128 = -4*n + 56. Let s be 0 + 0 + -4 + n. Suppose 15 = -3*d + s. Does 9 divide d?
True
Let p(o) = o**3 + 11*o**2 - 13*o + 12. Is 8 a factor of p(-12)?
True
Let j(q) = -q**2 - 7*q - 2. Suppose -v = -t - 2, 0 = 2*t - v + 7 + 1. Let k be j(t). Suppose -k*n + 36 = -n. Is 12 a factor of n?
True
Let h = 12 - 10. Suppose -u - h*r = -6*r + 3, 0 = -r + 2. Is 5 a factor of u?
True
Let n be (110/3)/((-1)/(-3)). Suppose 2*b + 3*b = n. Suppose 3*k = -o + 16, -4*k + b = 3*o - 26. Does 8 divide o?
True
Let j(i) = i**2 - 6*i + 14. Does 7 divide j(6)?
True
Let o = 12 - 7. Suppose -o*z - 3*a = -22, 2*z + 3*a + 8 = 6*a. Is 15/10 - (-1)/z even?
True
Suppose 0*z - 20 = -5*z. Suppose -3*j = 12, -z*j - 10 - 12 = -b. Is 4 a factor of b?
False
Let o be (-2)/(-6) + 16/6. Suppose o*c = c + 62. Does 9 divide c?
False
Let n(m) = -m**3 - 3*m**2 + 7*m - 6. Is n(-5) even?
False
Let o be 3/1 + 0 + 0. Suppose 5*i = 4*f - 61, -2*f - o*f = -3*i - 60. Let z(x) = x**3 - 9*x**2 + 3*x + 1. Does 14 divide z(f)?
True
Let o = 8 + -6. Let y = -1 + o. Does 11 divide (-1 - -11*y) + 2?
False
Let i(a) = -48*a - 26. Does 44 divide i(-4)?
False
Suppose 4*o + 1070 = 5*g, -3*g + 7*g = 5*o + 865. Suppose f = -4*f + g. Does 21 divide f?
True
Suppose -2*z + 0*z + 4*d = -458, 426 = 2*z + 4*d. Does 17 divide z?
True
Let v(h) be the third derivative of -h**7/1680 + h**6/144 - h**5/30 + 2*h**2. Let m(g) be the third derivative of v(g). Is m(-6) a multiple of 12?
False
Suppose -s + 912 = s. Does 10 divide s/28 + 2/(-7)?
False
Suppose -5*l = 4*r - 207, -37 = -2*r + 2*l + 53. Does 12 divide r?
True
Let i be ((-2)/(-2))/(10/20). Suppose i*a - 41 = 3*a. Let u = -5 - a. Is 12 a factor of u?
True
Let k(o) = o**2 + 7*o + 3. Let s be k(-7). Suppose 33 + 27 = s*q. Is 