) a multiple of 2?
False
Let j = -10 - -10. Suppose 5*i + 2*f - 70 = j, 3*f = 2*i + f - 42. Is i a multiple of 5?
False
Let w(p) = p + 6. Let b be w(-3). Is 7 a factor of 21/b - (1 + -1)?
True
Let v(i) = i**2 - 6*i - 1. Let j be v(6). Let n(l) = 49*l**2 - l - 1. Let t be n(j). Let b = t + -29. Is b a multiple of 12?
False
Let s = -27 - -51. Does 12 divide s?
True
Suppose 5*y + 36 = 5*j + 11, -3*y - 15 = 4*j. Suppose -2*d - d = j. Does 10 divide d + 1*38/2?
False
Let a = 84 - 54. Suppose -5*p + 17 = -k, 0 = -3*p - 5*k - 3 + a. Suppose -r - 144 = -p*r. Is r a multiple of 18?
False
Suppose 2*q + 97 = 3*t, -3*t - 5*q = 2*t - 195. Is 5 a factor of t?
True
Let v(w) = -w**3 + 11*w**2 - 10*w + 6. Let q(r) = -r**2 - 6*r. Let h be q(-3). Is 26 a factor of v(h)?
True
Let r = -67 - -101. Let o = r - 19. Is o a multiple of 9?
False
Suppose 4*q - 5 = 3*q. Suppose 8 + 7 = q*k. Is 3 a factor of k?
True
Let x = -3 + 25. Suppose -i - t = -33, 2*t + 108 = 5*i - x. Is i a multiple of 10?
False
Suppose 5*c - 13 = -b, -2*b = 4*c + b - 6. Suppose -c*t = -243 - 12. Is t a multiple of 13?
False
Let c(k) = k**3 - 16*k**2 + 21*k - 13. Let m be (4/6)/((-4)/(-90)). Is 36 a factor of c(m)?
False
Let v(r) = -r**2 + 9*r + 9. Does 9 divide v(9)?
True
Suppose -7*x = -10*x + 60. Does 20 divide x?
True
Let b(n) = 3*n**3 + n**2 + n. Let k be b(-1). Let r be 1/(k/(-39) - 0). Suppose 42 = 2*c + v - 4, -2*v = -c + r. Is c a multiple of 21?
True
Let o = 1 - 3. Is 35/3*(o + 5) a multiple of 11?
False
Let o = 206 + -119. Let v = 137 - o. Is 15 a factor of v?
False
Let z = 15 - -2. Does 4 divide z?
False
Let a be ((-6)/(-15))/((-2)/30). Let u be 3/(a/8*1). Does 7 divide (-3)/12 - 85/u?
True
Let k be 3 + (-1 - 1) + 12. Suppose 4*r = -2*n + 30, r + 20 = 4*r + n. Let o = k - r. Is o a multiple of 8?
True
Let i(c) = -c**2 - 5*c + 2. Let q be (-3)/6 + 14/(-4). Is i(q) even?
True
Suppose -t + 4*k - 8 = -5*t, -t = 2*k - 2. Is 4 a factor of 12/8 - (-13)/t?
True
Let p = -2 + 4. Is 4 a factor of 2 + 1 - (-34)/p?
True
Let y = 8 + -14. Is 14 a factor of (-2)/y + 41/3?
True
Suppose 90 = 3*j + 15. Is 9 a factor of j?
False
Suppose 3*t + 2*t = 2*s + 316, 5*t + 5*s = 330. Is t a multiple of 16?
True
Suppose -5*x + 5 = 5*g, -x + 0*g + 5 = -g. Let j = 3 - x. Suppose 5*q = 10, -s - 3*q + 16 + 9 = j. Is s a multiple of 19?
True
Let h be (-6)/(-4)*2*1. Suppose 0 = x + h*x - 172. Suppose 8*v = 3*i + 3*v - x, -i + 2*v + 16 = 0. Does 6 divide i?
True
Suppose 5*h = -c - 112, h + 32 = -0*h + 3*c. Let q = h - -35. Is q a multiple of 12?
True
Let l(g) be the first derivative of 3 - 9*g - 1/3*g**3 + 7*g**2. Does 13 divide l(8)?
True
Let z = -25 + 90. Suppose 90 = 3*m + 5*g + 34, 4*m = 3*g + z. Does 9 divide m?
False
Let p be (-1*6)/((-9)/6). Let d(g) = 2*g**2 - 5*g + 2. Is d(p) a multiple of 14?
True
Let q be 1/2 + 9/2. Suppose -3*n - 2*n - 5*r = -15, -q*n - 4*r + 14 = 0. Suppose -4*d + n = -2, -116 = -5*g + 4*d. Does 9 divide g?
False
Is (40/(-6))/(2/(-6)) a multiple of 15?
False
Let p(q) = -q**3 - q**2 + q - 1. Let c be p(-3). Let o = c - 9. Suppose -54 = -o*n + 2*n. Is n a multiple of 9?
True
Let j be -3 + 1 + (8 - 2). Let z(u) = u + 3. Is z(j) a multiple of 7?
True
Let m = -99 - -198. Does 11 divide m?
True
Suppose -60 = -2*l + f + 60, -3*l - 2*f + 180 = 0. Does 11 divide l?
False
Suppose 3*p - 3*n + 1 = 121, 5*p - n - 184 = 0. Is p a multiple of 18?
True
Is 7 a factor of 36 - (0 - (1 + -2))?
True
Let r(z) = 2*z - 3. Suppose -2*b = -3*j - 8, -4*j - 20 = -4*b - 4. Let f be r(b). Suppose -u = n - 4 - 6, 0 = f*u - 2*n - 43. Does 9 divide u?
True
Suppose -177 = 3*s - 0*z - 2*z, 54 = -s - z. Let d = -58 + 17. Let l = d - s. Does 8 divide l?
True
Let g = -9 - -9. Suppose -4*u + 3*c = -g*c - 259, 3*c = 3*u - 198. Is 16 a factor of u?
False
Let h(q) = -9*q**3 - 9 + 2*q + 3*q**3 + 11*q**2 + 5*q**3. Is h(10) a multiple of 24?
False
Let m = 1 + 0. Let r = m - -1. Is 19 a factor of (-19)/(-2 + 3/r)?
True
Suppose -1177 - 1328 = -5*h. Let m be h/(-12) + (-1)/4. Let q = m - -94. Is 20 a factor of q?
False
Let y be 4/26 - (-6740)/130. Let j = -22 + y. Is 15 a factor of j?
True
Let r = -31 + 76. Is r a multiple of 23?
False
Suppose 3*d = -5*w + 278, -3*w - d + 43 = -127. Does 7 divide w?
False
Suppose 117 + 123 = 5*z. Does 45 divide z?
False
Let s(q) = q**2 - 4*q + 3. Let a be s(4). Let j(f) = f**3 + 8*f**2 - 12*f - 13. Let v be j(-8). Suppose m = t + 22, -a*m - t + v = m. Is 7 a factor of m?
True
Let p(h) = -h**2 - 9*h + 4. Let a be p(-9). Suppose -3*w + 41 = 5*v - 2, a*v - 32 = -2*w. Suppose w = -5*n - 5*c + 1, -5*c - 25 = 0. Is n a multiple of 2?
True
Let y(b) = -b**3 + 10*b**2 - 10*b + 13. Let a be y(9). Let j(v) = 4*v + 0*v - a - 2*v. Is 6 a factor of j(5)?
True
Let l(s) = -s**3 - 5*s**2 + 8*s. Does 21 divide l(-7)?
True
Let k = 28 - -54. Does 22 divide k?
False
Let k = 61 + -38. Does 21 divide k?
False
Suppose 1 - 2 = o + l, 7 = 5*o + l. Let j be 1 + 1/(-1 + o). Suppose -2 - j = -t - g, -2*t + 22 = -5*g. Is 3 a factor of t?
True
Let c be (2 + -7)*(-19)/1. Suppose 24 = -5*r + 4*k + c, 4*r = 4*k + 56. Is 5 a factor of r?
True
Let f(i) = -i**3 - 4*i**2 - 4*i - 1. Does 19 divide f(-5)?
False
Is -6*1*(-42)/9 a multiple of 5?
False
Let j(t) = 7*t**2 + 11*t + 4. Let h(w) = -w**2 + 1. Let o(i) = -6*h(i) - j(i). Let f be o(-10). Suppose -5*p + 15 = 0, r - 4*r + 5*p = f. Does 2 divide r?
False
Let u(r) be the first derivative of -3/2*r**2 - 1/4*r**4 - 4*r + 2*r**3 - 3. Does 4 divide u(5)?
False
Does 3 divide (-15)/(-10)*4/1?
True
Suppose 8 = -3*t + t. Let l = t + 4. Suppose l = -g + 9 + 17. Does 13 divide g?
True
Suppose -q = q - 4. Is (-8)/q*174/(-24) a multiple of 10?
False
Let j(q) = -q**2 - 11*q - 12. Let g be j(-11). Is (32/12)/((-1)/g) a multiple of 8?
True
Suppose -19 = -11*h + 10*h. Is 7 a factor of h?
False
Let s(o) = -o + 3. Let b be s(3). Let d(c) = c + 8. Is 8 a factor of d(b)?
True
Is 6 a factor of 6/(-4)*8/(-2)?
True
Suppose -y + 0*y = 0. Suppose -3*m + m + 10 = y. Is m even?
False
Let p(u) = u**2 - 6*u. Let a be p(5). Let q(v) = -2*v + 8 - 11 + 2 + 3. Is 12 a factor of q(a)?
True
Suppose 4*s - r = -0*r + 487, -4*s = 4*r - 512. Suppose s = 3*w + 27. Is w a multiple of 16?
True
Let i be (-8)/(-10)*30/3. Does 8 divide 21/(-2)*i/(-6)?
False
Let b = 4 - 2. Suppose -120 = -0*n - b*n. Suppose 2*x + n = 2*g, 4*g - 2*x + 59 = 179. Is g a multiple of 15?
True
Suppose 0 = b + 2, 0 = -q - 0*q - 3*b - 12. Is (-2)/q + 213/9 a multiple of 8?
True
Is 3 a factor of (-7)/((-140)/(-16))*-10?
False
Is (-12)/(-8) + (-1)/(-2) a multiple of 2?
True
Let m(n) = 42*n**2 + 2*n + 2. Does 14 divide m(-1)?
True
Suppose -p + 2 = -3*n + 1, -2*p = -5*n - 4. Suppose -4*b = -p*b + 126. Is 11 a factor of b?
False
Let a(w) = 5*w**2 + 3*w - 2. Let r be a(1). Let c = -3 + 4. Let y = r + c. Is 3 a factor of y?
False
Let y(f) = -4*f**3 + 4*f**2 + 2*f - 2. Let s be y(-2). Let a be 2*(-1 - -8) + -2. Let u = s - a. Does 15 divide u?
True
Let n be 28/(-14) + 1 + -1. Let z = n - -5. Is z a multiple of 2?
False
Suppose 79 - 23 = 4*l. Does 6 divide l?
False
Let t(v) = v**3 - 9*v**2 + 9*v - 8. Let l be t(8). Suppose l*a = 4*a - 88. Is a a multiple of 15?
False
Suppose 73 = 5*x - 4*g, -2*g = -x + 13 + 4. Suppose 0 = -3*r + x + 5. Does 6 divide r?
True
Let x(k) = 2*k - 9. Let g be x(6). Let b be ((-4)/(-6))/((-6)/(-9)). Does 6 divide 18/g*(b - -1)?
True
Let z be (-1)/3 + (-64)/(-12). Suppose 4*r - 23 = 3*d, -z*r + 28 = -r - 4*d. Does 12 divide 1 - -34 - (r - 0)?
False
Let y(w) = w**2 + 2*w - 6. Let g(x) = -x**3 + 9*x**2 - 7*x + 4. Let i be g(8). Suppose 0 = -3*o + 6*o - i. Does 18 divide y(o)?
True
Let d(u) = u**3 - 5*u**2 + u + 2. Let c(y) = -y**2 + 2*y - 1. Let i be c(1). Suppose -2*s + 10 = 2*z, i = -4*s + 4*z + 19 + 1. Does 6 divide d(s)?
False
Let z(y) = -y**2 + 3*y. Let w be (8/3)/(2/3). Let m be z(w). Let f(r) = 2*r**2 + 4*r + 4. Is 20 a factor of f(m)?
True
Let q = 186 - -311. Does 65 divide q?
False
Is 20 a factor of ((-6)/(-2) - -46) + 3?
False
Suppose 5*q = 14*q - 324. Is 18 a factor of q?
True
Suppose 32*o = 33*o - 72. Is 12 a factor of o?
True
Let y = -34 - -60. Is y a multiple of 13?
True
Suppose 0 = -4*u + 5*u - 326. Does 15 divide u?
False
Let v = 13 + -4. Let r(n) = -1 + 2*n + 3*n + v*n**2 - 5*n. Does 3 divide r(1)?
False
Let z be ((-28)/(-8))/(