12. Let z be x(-13). Does 14 divide g(z)?
False
Suppose -3*n + 22 = -5. Let m = n + -6. Is 1/(-3)*m*-11 a multiple of 4?
False
Suppose -5*h = -3*c + 126 + 91, -c + 5*h + 89 = 0. Is 11 a factor of c?
False
Let o(k) = -3*k + 2. Let i be o(6). Let d = 5 - i. Is d a multiple of 10?
False
Let z be (4/(-3) - -2)*12. Let w be (-18)/(-4) + (-4)/z. Does 2 divide (-16)/10*(-10)/w?
True
Suppose 4*r - 3 - 19 = -3*p, -2*p = 2*r - 14. Does 6 divide p?
True
Suppose 4*q + 4 = -0*q. Let n be 1/(0 - q/(-2)). Let h(l) = -15*l + 1. Does 11 divide h(n)?
False
Let j(v) = 2*v**3 + v**2 - 3*v + 4. Let y be j(-4). Let h be y/(-9) + (-4)/6. Suppose -3*w + a + 12 = 0, h = 3*w - 2*a - 2. Is 4 a factor of w?
True
Let y = 2 + -1. Suppose g = -y + 6. Suppose 4*t - 2*u - 64 = 0, -5*t = -2*u + g*u - 102. Is t a multiple of 11?
False
Let u be (-2)/10 - 122/(-10). Suppose 2*o - 4 = u. Is 4 a factor of o?
True
Is 8 a factor of 2*8*33/22?
True
Let s be (6/9)/(2/(-3)). Let n(t) = 4*t + 4. Let r(w) = -4*w - 3. Let b(i) = 4*n(i) + 5*r(i). Is 2 a factor of b(s)?
False
Suppose 12 = -0*q + 3*q. Let r = -1 - q. Let y(a) = -a**2 - 6*a + 2. Is 7 a factor of y(r)?
True
Let f = 13 + -13. Let i(m) = m**3 + m + 70. Does 18 divide i(f)?
False
Let y(w) = -2*w**2 - w - 1. Let z be y(-1). Let a be 18/(3/2 + z). Let p = a + 62. Is p a multiple of 14?
False
Let q(j) = j**2 - 8*j + 11. Let n be q(7). Suppose n = r - 6. Does 10 divide r?
True
Does 21 divide 1/(-3)*(-14)/(112/7512)?
False
Let q = -3 + 5. Let o = 239 + -114. Suppose 5*b + o = 2*t, -t + q*b + 63 = -b. Is t a multiple of 21?
False
Let p = 10 - 46. Let h = p + 68. Is 16 a factor of h?
True
Let q be (-5)/10 - (-78)/4. Suppose 2*i = -q - 71. Let f = -19 - i. Is f a multiple of 13?
True
Suppose 5*h - 49 = -204. Let n = -16 - h. Suppose -4*m + n = -3*m. Is 15 a factor of m?
True
Suppose -s - 426 = -3*f + s, 4*f - 568 = -s. Suppose -2*l = -f + 10. Does 22 divide l?
True
Suppose 0 = -5*m - 4*j - j + 520, -110 = -m - 4*j. Is 17 a factor of m?
True
Let j = 9 - 15. Is 10 a factor of 70*(-1 - j/4)?
False
Suppose j - 10 = 3*j, 0 = -y - 2*j + 262. Is 14 a factor of y?
False
Does 24 divide 4/(4/(-3)) - -27?
True
Let f = -77 - -133. Suppose 5*t + 2*a - a - 22 = 0, 0 = -2*t - 3*a + 1. Suppose -t*o = -o - f. Does 13 divide o?
False
Suppose c - 3*l + 10 = 0, -14 = -5*l + 11. Suppose 0 = -m + c + 8. Does 13 divide m?
True
Let p(u) = u**2 + 6*u + 5. Let a be p(-6). Let m(l) = -l**3 - 4*l**2 - l + 1. Let n be m(-4). Suppose -4*v + n*g = 0, -2*g = -3*v + 2 + a. Is v even?
False
Let l(m) = m**2 - 6*m - 4. Let x be l(7). Suppose -4*o = -2*c + 4*c - 182, -4*o - x*c = -185. Does 27 divide o?
False
Suppose -5*j - 4*d = -552, -d + 5*d + 568 = 5*j. Is 14 a factor of j?
True
Suppose -2 = 3*y - 5*l, 2*y - y = l + 2. Let s(q) = q**2 - 6*q + 3. Let v be s(y). Suppose -p - 47 = -v*u + u, 4*u + 2*p - 98 = 0. Is 12 a factor of u?
True
Let w = 229 + -124. Is w a multiple of 17?
False
Let b(u) = -u + 17. Let n(g) = -g + 4. Let d be n(-4). Let r be b(d). Does 2 divide (10/3)/(6/r)?
False
Let m(n) = -n**3 + n**2 - n + 1. Is 17 a factor of m(-4)?
True
Suppose 4*a - 3*o + o + 4 = 0, -5*o = 5*a - 10. Suppose -4*w + 54 = -w - b, 5*w - b - 90 = a. Is w a multiple of 6?
True
Suppose 2*z - 20 = 5*x - 426, 4*x - 324 = 2*z. Suppose -x - 2 = -4*u. Is 10 a factor of u?
False
Suppose 2*l + 2*h = 8, -8 = l - 8*h + 3*h. Suppose 0 = d - 1, 5*t + 29 = l*t - 4*d. Let n = t + 15. Is n a multiple of 4?
True
Let x = 116 + -81. Is x a multiple of 13?
False
Let b = -8 - -11. Let g be (b + 4)/(2/(-324)). Is (-4)/10 - g/35 a multiple of 13?
False
Let t = 24 + 3. Is 6 a factor of t?
False
Let n = 20 + -5. Is n a multiple of 2?
False
Suppose -2*f - 120 = -5*c - 7*f, 3*c - f - 76 = 0. Does 5 divide c?
True
Suppose -d + 5*y = -19, -13 + 2 = d + y. Is 9 a factor of -2*3/d*18?
True
Let t = 6 + -5. Is 5*1*(t - -1) a multiple of 5?
True
Does 14 divide -42*(-7)/(21/15)?
True
Let n(b) = -12. Let f(g) = g + 24. Let k(c) = 3*f(c) + 7*n(c). Let u = -15 - -23. Is 7 a factor of k(u)?
False
Let a(j) = 2*j**2 - 6*j - 4. Suppose -4*t + 20 = -0*t. Is a(t) a multiple of 8?
True
Suppose 5*j - j = 12. Let p be (-30)/9*(0 - 15). Suppose j*a - 7*a = 2*o - p, 3*o = 2*a - 21. Is 12 a factor of a?
True
Suppose -132 = -4*c - 0*c. Does 6 divide c?
False
Suppose 2*s = 7*s. Suppose -5*k + 271 + 64 = s. Is k a multiple of 17?
False
Let y be (-3)/(4 + -3) - -6. Suppose y*z = -4*p - 0*z + 272, -5*p + 3*z + 367 = 0. Is p a multiple of 30?
False
Suppose -3*x = -7*t + 3*t + 5, 5*t = -20. Let k(p) = -p**2 - 7*p + 8. Let r be k(x). Suppose -7*g = -3*g - r. Is g a multiple of 2?
True
Suppose -n = n + y - 237, 9 = -3*y. Is 12 a factor of n?
True
Let h(r) = -8*r - 1. Let m be 1*(2 - (-12)/(-3)). Is h(m) a multiple of 6?
False
Let m(n) = -134*n + 2. Let s be m(2). Is s/(-4) + 18/(-12) a multiple of 17?
False
Let c = 4 - 4. Suppose c = -s - 3*s + 100. Is s a multiple of 25?
True
Suppose -3*q - 12 = -6*q. Suppose d - q = 1. Suppose -w = -d*w + 80. Is w a multiple of 13?
False
Let w = -254 - -461. Is 9 a factor of w?
True
Let q(w) = -w**2 + 3. Let j be q(-3). Let f(n) = -n + 1. Is f(j) a multiple of 3?
False
Let t(j) = 15*j**2 - 12*j + 12. Let d be t(8). Does 19 divide d/18 - 4/6?
False
Let u be (-107)/(-6) + (-2)/(-12). Let n = u - 11. Is n a multiple of 5?
False
Let o(b) = -b**3 + b. Let y(v) = -5*v**3 - 5*v**2 + 4*v + 8. Let h(a) = -6*o(a) + y(a). Is h(6) a multiple of 13?
False
Let s = 107 + -41. Suppose s = 2*g - 110. Does 25 divide g?
False
Suppose 0 = 4*o - o + 2*i - 35, -5*o + i + 80 = 0. Is o a multiple of 15?
True
Is (2 - 22)*(-56)/32 a multiple of 7?
True
Suppose -n + 5*g - 17 = -0*g, 0 = 2*g. Let h = 49 + n. Suppose h + 8 = 5*m. Is 4 a factor of m?
True
Suppose -2*b + 124 = 3*r, 5*b = -0*b + 2*r + 329. Suppose 0 = 3*q - b + 2. Is q a multiple of 21?
True
Let f(k) = 67 + 3*k - 67. Does 11 divide f(5)?
False
Let c be 2/6*(-1 + 7). Is (75/(c - -1))/1 a multiple of 18?
False
Let o be 609/14*(-4)/(-6). Let y = o - 13. Let f = 28 - y. Does 4 divide f?
True
Let t = 39 + -26. Suppose 0 = -4*j + 11 + t. Is 2 a factor of j?
True
Let v(h) = h**3 - 6*h**2 - 7*h - 5. Let k be v(7). Let c = k + 9. Suppose -15 = 3*t - c*t. Is t a multiple of 15?
True
Let n = 6 - 4. Suppose 3*v + n*v = -5*l + 50, -v + 4*l = -15. Let u = v - 1. Is 10 a factor of u?
True
Let d(v) = -v**3 - 5*v**2 + 4. Let w be d(-5). Suppose 1 - 5 = -w*u. Is (1 - u) + 10 + -2 a multiple of 4?
True
Suppose -5*c - 2 + 162 = 0. Suppose 4*h - c = -0*h. Does 4 divide h?
True
Suppose 5*d - 307 = -2*w, -w = -4*d + 3*d + 67. Is 18 a factor of d?
False
Suppose m - d - 40 = -3*d, d = 5*m - 145. Is 15 a factor of m?
True
Suppose -y - 9 = u + 2, -5*u - 15 = -3*y. Let i be (140/6)/((-2)/u). Suppose -10*s + i = -5*s. Does 12 divide s?
False
Suppose -2*n + 12 = n. Suppose s - n = 3. Suppose 3*m + d = 12, 2*m + d + 20 = s*m. Does 2 divide m?
True
Suppose 0 = 5*x - 19 - 1. Is 11 a factor of 1 + (-1)/(x/(-40))?
True
Suppose 2*n = -0*n + 152. Does 31 divide n?
False
Suppose -4*t = 4*q - 532, q + 5*t = 2*t + 133. Is q a multiple of 19?
True
Suppose -2*c + 303 = 2*c - f, 0 = -c - 2*f + 78. Does 19 divide c?
True
Let q(s) = s**2 + 5*s - 2. Let j be q(-7). Suppose 5*v + j = 2*v. Does 17 divide (-136)/20*10/v?
True
Let h = 79 + -25. Is h a multiple of 15?
False
Suppose 3*s + 16 = 5*s. Let p(d) = d**2 - d - 14. Is p(s) a multiple of 17?
False
Let k be 3/(-15) + (-404)/(-20). Let f be (47/3)/((-2)/(-6)). Suppose 4*r - f = -z, 4*z - k = -2*r - 0*r. Is r a multiple of 12?
True
Let m = -10 + 12. Is 8 a factor of (-144)/6*m/(-3)?
True
Suppose -3*a - 2*u - 9 - 29 = 0, 3*a - u = -44. Let g = 0 - a. Does 9 divide g?
False
Let n(p) = -6*p + 24. Is n(-7) a multiple of 11?
True
Suppose -3*p + 4*f - 1402 = 0, -p + f + f - 466 = 0. Is p/(-25) + (-2)/(-10) a multiple of 5?
False
Let a(s) = s + 4. Suppose 4 = -5*p - 3*d + 40, -2*d = -4. Is a(p) a multiple of 4?
False
Let z(a) = -2*a**2 - 30*a - 30. Does 6 divide z(-12)?
True
Let v = -5 - -8. Suppose v*b - 74 = b. Suppose -b = -3*c + 2*w + 3*w, 3*c + 2*w = 44. Does 14 divide c?
True
Let w = -9 - -20. Suppose 8*m = w*m - 147. Does 9 divide m?
False
Let s(k) = 9*k - 6*k**3 + 3 - 2*k**2 - 12*k + 5*k. Does 13 divide s(-2)?
True
Let a be -3 - (-4 - -3 - 19). Let p = a - -5. 