e u = 5*x - 55. Does 8 divide x?
True
Let b(g) = -g**3 - 8*g**2 + 11*g - 8. Is 29 a factor of b(-10)?
False
Let f be (-260)/6 + (-12)/18. Let g = 76 + f. Is g a multiple of 21?
False
Suppose 166 = 5*p - 554. Is 16 a factor of p?
True
Suppose 0 = 6*z - 4*z - 16. Let o = -5 + z. Is 18 a factor of (2 - o/2)*72?
True
Let g(y) = -y + 20. Is g(6) a multiple of 9?
False
Let c = 159 - 119. Is 7 a factor of c?
False
Let v(x) = -2*x + 6. Suppose 4 = 3*a - 2*a. Let l be v(a). Is 4 a factor of (l + 1)*9*-1?
False
Let y(a) = -47*a - 1. Let j be y(-2). Let f = j + -45. Does 24 divide f?
True
Let m = 10 - 6. Suppose -39 = -p - m*z, -10 = -4*z + 10. Does 14 divide p?
False
Let c be 19/4 - (-6)/24. Suppose 2*b - 3 = -3*s, -c*s - 2*b = -7*b + 20. Let i = s - -13. Does 4 divide i?
True
Suppose 3*w - 4*s - 256 = 0, -80 = -w - 3*s + 1. Is 20 a factor of w?
False
Let z(h) = h**2 - 8*h - 12. Is z(18) a multiple of 14?
True
Let s = 1 - -2. Suppose -58 + 3 = -3*v + 5*q, -3*q + 63 = s*v. Does 10 divide v?
True
Suppose 3*c + 2 = -2*i + 7, 14 = 3*i - 2*c. Suppose -i*y + 5*q + 93 = 0, y - 3*q - 100 = -4*y. Does 17 divide y?
True
Let v(j) = 6*j**3 + 2*j**2 + 3*j + 2. Let a be v(-2). Is 4/(a/16 + 3) a multiple of 5?
False
Let k = 524 - 208. Is 31 a factor of k?
False
Does 7 divide 28 - (-2 - -1) - (26 + -27)?
False
Let i(t) = 19*t**2 - 3*t - 2. Is i(3) a multiple of 27?
False
Let d be (-1 - -2)/((-2)/(-10)). Let q(n) = -n**2 + 12*n - 14. Let v be q(7). Let y = d + v. Is 13 a factor of y?
True
Suppose 2*d + 8 = 3*d. Suppose -5*h = -15, 0 = g + h - 3*h + d. Is g/(-4) - 171/(-18) a multiple of 5?
True
Let l(j) = j**2 - 5*j - 5. Let h be l(5). Let x(v) = 3*v**2 - 7*v. Does 32 divide x(h)?
False
Let u = 275 + -76. Is u a multiple of 13?
False
Let f(a) = -a**2 - 9*a - 9. Let y be f(-7). Suppose -u + 15 = o + 4*o, -y*o + 3*u = -35. Suppose 0 = o*b - 0*b - 44. Is b a multiple of 11?
True
Let q = -9 - -14. Let t = -1 + q. Suppose -t*y - 2 = -4*p + 62, 5*p = 2*y + 71. Does 9 divide p?
False
Suppose 3*s + 129 = n, n + 5*s = 106 + 15. Does 18 divide n?
True
Let o = 17 + -12. Suppose o*s = 52 + 293. Let i = -48 + s. Is 10 a factor of i?
False
Let x(r) = 2*r**2 - 6*r + 6. Let w be x(5). Suppose w = s + 5*a, -a - 19 = -2*s - 0. Is s a multiple of 8?
False
Suppose 2*g - 64 = 4*t, g - 80 = -2*g + 2*t. Is 12 a factor of g?
True
Let y(t) = -14*t + 1. Suppose 5 = -5*l - 0. Does 5 divide y(l)?
True
Let s be (-10)/(-4) + (-2)/4. Let o(f) = 11*f**3 + f**2 - 6*f - 11. Let n(t) = 7*t**3 + t**2 - 4*t - 7. Let k(d) = 8*n(d) - 5*o(d). Is k(s) a multiple of 15?
True
Suppose -f - 2 + 0 = 0. Let c be (-553)/(-14) + f/(-4). Suppose 3*l = l + c. Is 6 a factor of l?
False
Let j(h) = 3*h**2 + 2*h + 4. Is j(3) a multiple of 10?
False
Let u be 84/(-9)*(0 + -9). Suppose -4*k + 80 = 2*q, -6*k = -2*k + 4*q - u. Is 5 a factor of k?
False
Let i(m) = 2*m. Is i(4) a multiple of 4?
True
Let r be 0/1 + -1 + 1. Suppose -3*u + 5*q + 129 = r, -3*u - 2*u - 2*q = -246. Is 13 a factor of u?
False
Suppose 3*t - 4*k - 2 - 10 = 0, -2*t = -4*k - 8. Suppose 0*h = t*h - 124. Does 19 divide h?
False
Let r(q) = 3*q**3 - 1 + 3*q**2 - q**2 - 2*q**3 - 3*q**3. Let d be r(-1). Suppose d*p = -m + 16, m - 7 - 12 = -4*p. Does 3 divide m?
False
Let g(z) = 2*z + 12. Is g(14) a multiple of 7?
False
Let y(q) = -5*q**3 - 2*q**2 + q - 1. Is y(-2) a multiple of 27?
False
Suppose n + 0*n + 5 = 0. Let k(v) = v**2 + 6*v + 3. Let g be k(n). Is 10 a factor of 21/2 + 1/g?
True
Suppose 0 = -q + 3*j - 5, -4*q + q - 11 = -5*j. Is 11 + q - (-1 + 1) a multiple of 9?
True
Let v(a) = 2*a**2 - 2*a - 2. Let r be v(2). Does 13 divide 110/4 + r/(-4)?
False
Does 18 divide (213/(-12))/((-1)/4)?
False
Let n = -1 - 1. Let j be ((-2 + 6)/n)/2. Is 11 a factor of (9/(-2))/(j/4)?
False
Let q = 95 - 40. Suppose -i = 4*i - q. Is i a multiple of 11?
True
Suppose y = j - 9, -3*j - 3*y - 3 = -0*j. Suppose -126 = -3*i + 3*w, -i + 38 = j*w - 3*w. Is 22 a factor of i?
False
Let f = -59 - -98. Does 8 divide f?
False
Let q(g) = 20*g - 10. Does 28 divide q(5)?
False
Let i(l) = 22*l**2 - 4*l - 3. Is 31 a factor of i(-2)?
True
Let a be 112/(-18) - (-10)/45. Let j be (9/(-4))/(a/(-16)). Is 4/2 + (1 - j) a multiple of 4?
False
Let h = -21 - -32. Let u(s) = s**3 - 9*s**2 - 16*s + 6. Is u(h) a multiple of 19?
False
Suppose 4*g - 12 = i, i + 0*i - 16 = -3*g. Suppose x = -u + i, x - 4*u = -x - 4. Suppose 0 = z + 6*q - x*q - 29, q = -1. Does 11 divide z?
True
Let w = 46 - 33. Suppose -2*h - 2*h + 2 = -2*z, h + 4*z + w = 0. Is 10 a factor of 1*(27 + (-3)/h)?
True
Suppose 0 = 2*j - u - 78, 0*j + 39 = j - u. Is 3 a factor of j?
True
Let f(m) = -m**3 + 9*m**2 + 15*m - 5. Is f(10) a multiple of 9?
True
Let n(k) be the second derivative of 3*k**5/20 - k**4/4 + k**3/3 + 2*k. Is 16 a factor of n(2)?
True
Suppose -k = -3*l + 10, -14 = -3*l + 4*k + 8. Suppose -4*x + l*x = -8. Suppose 3*t = 3*z + 24, -4*z - x = -t + 1. Is 9 a factor of t?
True
Let b be (-72)/3*18/(-8). Suppose -9 + b = 5*z. Is 9 a factor of z?
True
Let k = 34 + -20. Is 14 a factor of k?
True
Suppose -7*g + 4*g = -6. Suppose 3*y = g*j - 99, -3*j = j + 3*y - 225. Does 14 divide j?
False
Let f(z) = -z**2 - 9*z - 2. Let b be f(-7). Suppose -i = -2*i + 25. Let m = i - b. Is m a multiple of 13?
True
Suppose -w = -7 - 17. Does 6 divide w?
True
Suppose -3*r + 13 = -125. Suppose -2*f + 0*g + 4*g = -r, 5*g = -4*f + 131. Is f a multiple of 12?
False
Suppose -2*g = -o - 5*g + 102, 0 = 5*o - 4*g - 567. Suppose -10*l + 20 = -6*l. Suppose 11 = -l*s + o. Is 13 a factor of s?
False
Is (-5)/(-2) + 12/8 a multiple of 4?
True
Let o(w) = -9*w. Let m be o(1). Let k be 69/m - (-2)/(-6). Let u = 2 - k. Is 10 a factor of u?
True
Suppose -23 + 7 = -8*k. Let f(b) = b**2 + 4. Let r be f(5). Suppose k*w = w + r. Does 15 divide w?
False
Does 12 divide (1*-1 + -35)*160/(-40)?
True
Is (-396)/(-28) + (-2)/14 a multiple of 10?
False
Let h = -39 - -27. Let j = -51 + 26. Let g = h - j. Does 13 divide g?
True
Suppose -41 = -q - 5*s, 4*q - s - 89 = -6*s. Does 8 divide (2 + q)*1/1?
False
Let k(p) = 4*p**2 + p. Let z be k(-1). Let u(l) = l**2 + 2*l + 3. Let v be u(-2). Suppose -v*x + 9 = -z. Is 4 a factor of x?
True
Suppose 4*q = 53 + 43. Does 6 divide q?
True
Suppose 3*u + 312 = 3*j, -5*j + 520 = -u + 6*u. Is j a multiple of 26?
True
Is ((-3)/6)/((-2)/72) a multiple of 9?
True
Let p(b) = -b - 6. Let n be (1/2)/(2/(-28)). Let a be p(n). Is a/3 - (-168)/9 a multiple of 8?
False
Does 11 divide (22/(-3))/((-4)/6)?
True
Let n(t) = -t**3 + 4*t**2 - 6*t + 3. Let j be n(4). Let p = j + 48. Does 6 divide p?
False
Suppose -k + 60 = 4*k. Is k a multiple of 6?
True
Let v(h) = -h**2 + h + 5. Let g be v(0). Suppose -81 = -4*b - g*p, 2*b = -6*p + 2*p + 48. Is 7 a factor of b?
True
Is 13 a factor of 39/(-3)*(0 + 2 - 7)?
True
Suppose 0 = 4*z - 13 + 5. Let d be 68/8*1*z. Let j = 32 - d. Is 13 a factor of j?
False
Is 6 a factor of (-104)/(-5) - -3 - 2/(-10)?
True
Suppose 0 = 5*l + 4*d - 1133, 1127 = 3*l + 2*l + d. Is l a multiple of 25?
True
Suppose 0 = -4*i - 2*s + 10, 5*i - s = -0*s + 2. Suppose l - 1 - i = 0. Does 2 divide l?
True
Let z(b) = b**2 + 12*b - 13. Let p be z(-13). Let t = p + 2. Does 11 divide 9/(-3)*(-12)/t?
False
Suppose 0*a = -a + 3. Suppose -4*v + a*v = -50. Is 21 a factor of v?
False
Suppose -4*n = 4*j - 95 - 101, -j + 139 = 3*n. Is 5 a factor of n?
True
Let u(c) = c - 17. Let a be u(6). Let m = 1 + -17. Let z = a - m. Does 3 divide z?
False
Let m(p) = -14*p - 6. Let a = 3 + -7. Does 20 divide m(a)?
False
Suppose b - 64 = -21. Suppose 3*g - b = 29. Is 12 a factor of g?
True
Let t be (-34)/6 - 2/6. Let k(a) = 10*a**2 + 9*a + 7. Let l(v) = 3*v**2 + 3*v + 2. Let f(x) = -2*k(x) + 7*l(x). Is f(t) a multiple of 12?
False
Let f be (1 - 0)/(-1)*-3. Suppose 3*n - 2*n = -f. Is 8 a factor of 132/9 + (-1)/n?
False
Let b be 15/20 + (-11354)/(-8). Is 12 a factor of 4/22 - b/(-55)?
False
Suppose 3*b = 6*b - 84. Does 14 divide b?
True
Let w = 119 - 55. Does 16 divide w?
True
Is -2 - (-118 - -3 - -1) - 0 a multiple of 16?
True
Let r = -88 - -163. Is r a multiple of 15?
True
Suppose 68 = -2*x + 2*s, 2*s = 2*x - s + 67. Let v be (12/10)/(-3)*x. Suppose 16 = 5*r - v. Is 6 a factor of r?
True
Suppose -7*k + 161 = -2*k - 3*r, -5*k = -r - 167. Is k a multiple of 17?
True
Suppose 0 = -o + 3.