24*-4) + -2 a multiple of 7?
False
Suppose -384 + 156 = -2*h. Does 27 divide h?
False
Suppose -2*u + 2 = 5*r, -4*r - 4*u = -2*u - 2. Let h = r - -6. Does 6 divide h?
True
Suppose 4*l - 180 = -12. Is 14 a factor of l?
True
Let z(x) = x**2 - 9*x - 11. Let c be z(10). Let s be (-3)/((3/c)/9). Let y(w) = w**2 - 8*w + 2. Does 11 divide y(s)?
True
Suppose 0 = 3*l + 434 - 1244. Does 30 divide l?
True
Let u be 4/12*6*-40. Is 5 a factor of u/6*6/(-4)?
True
Let g be (-4)/12 + 68/6. Is 3 a factor of -1*-1*(g + -2)?
True
Let u = 11 - 10. Let c = u - -22. Does 18 divide c?
False
Let x be (-1 + 0)/(5/(-25)). Suppose -11 + x = -w. Let a = w - -4. Is a a multiple of 8?
False
Let n(g) = -g + 6. Let j be n(7). Let r be 2 + (0 - -1) + j. Suppose -3*m - r*h + 43 = 0, -m + 5*h - 3 = m. Does 8 divide m?
False
Suppose -2 - 1 = -f. Suppose f*w - 44 = -w. Does 4 divide w?
False
Let y = 162 - 115. Does 7 divide y?
False
Let h(o) = o**2 + 8*o + 4. Let r be h(-6). Let u = r + 15. Suppose y - u + 3 = 0. Is y a multiple of 4?
True
Suppose 7*i = 2*i + 2*f + 110, 2*i - 3*f = 33. Suppose 5*o + i - 159 = 0. Does 9 divide o?
True
Let x = 44 - 64. Is 3 a factor of (-80)/(-13) + x/130?
True
Suppose -2*u = -7*u + 25. Suppose -9*j + 108 = -u*j. Is j a multiple of 9?
True
Let v be (2 + -47)/(3/(-9)). Let w = -81 + v. Suppose -4*x + 38 = -w. Does 19 divide x?
False
Suppose 2*f + 4*c - 1 = 1, 5*c = f - 8. Suppose -f*w - 4 = 2. Let i = 5 + w. Is 2 a factor of i?
False
Suppose -5*w - 72 = -4*q + 81, 112 = 3*q - w. Does 23 divide q?
False
Let u = -7 - -3. Does 8 divide u/4 - -2 - -28?
False
Let x(v) = 2*v**3 - 5*v**2 + 3*v + 1. Let k = -11 + 14. Is 6 a factor of x(k)?
False
Does 20 divide (-1 + 0/1)/(6/(-510))?
False
Suppose -2*z - z - 4*t = 119, -2*z - 2*t - 78 = 0. Let s = 74 + z. Is 26 a factor of s?
False
Let k = -6 - -10. Is 2 a factor of k/(-1)*(0 + -1)?
True
Suppose -d - 5*z = -26, 5*z - 210 = -0*d - 5*d. Is d a multiple of 14?
False
Suppose -3*l - 13 + 77 = -5*g, -2*l = 5*g - 51. Does 6 divide l?
False
Let y(n) = 29*n**3 + n**2 - 5*n + 3. Does 8 divide y(1)?
False
Let l(p) = -p**3 + 4*p**2 + 3*p + 9. Is l(-4) a multiple of 25?
True
Let z be 5/5*(81 - -1). Let b = z + -47. Is 11 a factor of b?
False
Let y = -4 - -6. Let u(n) = n**2 - 2. Let i be u(2). Does 4 divide i + 0 - -4 - y?
True
Suppose 3*i + i + 16 = 0. Is 4 a factor of 1/i + (-270)/(-24)?
False
Suppose -x = x - 28. Does 3 divide x?
False
Let u be 3 - (-3 + 5 + -2). Let y be 5 - 1*(0 - u). Let q = y + 2. Is 10 a factor of q?
True
Suppose 36 = 2*f - 22. Does 17 divide f?
False
Suppose -9 - 5 = -2*x. Is 20 a factor of (-4)/(-6)*609/x?
False
Let z = -85 - -154. Suppose 5*i - 6*i + z = 0. Does 11 divide i?
False
Let o = 114 + 10. Is 23 a factor of o?
False
Suppose 0 = 8*h - 4*h - 8, -3*k - 5*h + 40 = 0. Suppose 6 = -2*x, 2*x - 21 = 3*o + 5*x. Does 15 divide ((-6)/o)/(1/k)?
True
Let z(v) = 5*v + 6. Is z(13) a multiple of 37?
False
Suppose -6*d = -2*d - 12. Suppose 0*v - d*v + 129 = 0. Does 10 divide v?
False
Let a be (2/(-3))/((-2)/3). Suppose -2*u - 3*s + a = 10, 3 = -s. Is 8 a factor of 18 - 0 - (u - -2)?
True
Suppose 4*o + 31 + 21 = 0. Let a = -8 - o. Suppose -w + 13 = -0*c - 3*c, -a*w + 83 = 3*c. Is w a multiple of 16?
True
Let a be (-41)/(-5) + 3/(-15). Let o be a/(-12)*(-9)/2. Suppose -w = -0*j + j - 22, -o*w = -4*j + 102. Does 17 divide j?
False
Suppose 3*h = -5*h + 952. Does 17 divide h?
True
Suppose s + s - h = -43, -5*s - 3*h = 113. Let w = 5 - s. Is w a multiple of 15?
False
Suppose 5*x = 15*x - 1200. Is x a multiple of 20?
True
Suppose 59 = z - 96. Let x = z - 233. Let d = x - -123. Does 18 divide d?
False
Let y(d) = -3*d**2 - 12*d - 14. Let f be (-37)/(-7) + 4/(-14). Let r(g) = 2*g**2 + 6*g + 7. Let s(i) = f*r(i) + 3*y(i). Is s(9) a multiple of 10?
True
Let a = 33 + -10. Let t = 36 - a. Is 6 a factor of t?
False
Suppose -b - 3*m + 3 = 0, -b = -m - 3*m - 3. Let j = 4 - b. Suppose 23 = 4*a - j. Is 6 a factor of a?
True
Suppose -10 = -0*t - 2*t. Suppose 5*z = 2*l + 7, -l = 4*l - t*z + 10. Is (-2)/(l + 2) - -37 a multiple of 12?
False
Let v = -18 + 59. Suppose 3*d = 4*f + 66 + v, 41 = d - 4*f. Is d a multiple of 9?
False
Let m be 4/(-10) + (-81)/(-15). Suppose 4*u - u - 3 = -3*n, -m*n - 2*u + 20 = 0. Is n a multiple of 6?
True
Suppose k = -4*w + 14, w - 6 = k - 0. Suppose -w*m = 26 - 162. Is 17 a factor of m?
True
Let j(t) = -2*t**2 + 2*t - 5. Suppose 0 = d - 4*d + 15. Let w(q) = 2*q**2 - 2*q + 4. Let v(f) = d*w(f) + 4*j(f). Does 4 divide v(3)?
True
Let c(t) = -2*t - 3 - 2*t**2 + t**2 + 2*t**2. Does 8 divide c(-5)?
True
Let u be ((-3)/6)/(1/(-168)). Suppose 3*o = 7*o - u. Does 21 divide o?
True
Let t = -154 - -88. Let o = -39 - t. Does 18 divide o?
False
Let j be ((-3)/6)/(2/(-188)). Suppose 0 = -0*q - 3*q + 6. Suppose 7 = -q*l + j. Is l a multiple of 12?
False
Let m = -5 - -5. Let l = 3 - -1. Suppose m = -0*o - l*o + 32. Does 6 divide o?
False
Let l(j) be the third derivative of -j**5/60 + 9*j**3/2 + 3*j**2. Is l(0) a multiple of 14?
False
Let n(f) = f**3 - 2*f**2 - 3. Let w be n(3). Suppose -w + 38 = 3*a + 4*b, 3*a - b = 7. Let d = 7 - a. Is 3 a factor of d?
True
Suppose 2*f - 7*f + 25 = 0. Let b(z) = -1 - 6*z - 3 + f. Is b(-1) a multiple of 4?
False
Let b(r) = 5*r + 3. Let v be 2 + (-3)/(3/(-1)). Is 9 a factor of b(v)?
True
Let j(i) = i**3 - 6*i**2 + 4*i + 5. Let x be j(5). Suppose x = -2*n + h + 36, 0 = -3*n - 5*h + 33 + 8. Does 10 divide (n/(-3))/(4/(-12))?
False
Let a be (1 - 113)/((-6)/9). Let z = a - 97. Is 27 a factor of z?
False
Let m be 20/6*18/(-12). Let l = m - -8. Is 2 a factor of l?
False
Let y be (-15)/(-9) - 1/(-3). Suppose -v = y*v + 15. Let x(j) = j**2 + j - 3. Is x(v) a multiple of 8?
False
Let f(z) = 2*z**2 - 6*z + 2. Is f(6) a multiple of 5?
False
Suppose -3*y = -6*y - 9. Let i(u) = -6*u - 2. Is 16 a factor of i(y)?
True
Suppose -p = -6 + 2. Suppose 64 = 4*y + 4*z, -4*z + 68 = p*y + z. Is 3 a factor of y?
True
Let l(b) = -39*b + 5. Let x be l(-5). Suppose -8*h + x = -3*h - 4*f, -2*h + 2*f = -82. Does 14 divide h?
False
Suppose -6 = r - 3*r. Suppose c + 2*u - 13 = -0*u, 32 = 4*c + r*u. Suppose -10 = 2*t - c*x, -3*t + x = 3*x - 23. Does 5 divide t?
True
Let b(k) = -2*k - 27. Let c be b(-18). Suppose -3*f = 2*m - 25, 4*f - m = 3*m + 40. Suppose -f = -12*d + c*d. Does 3 divide d?
True
Let d = -13 - -17. Suppose 0 = -0*o + d*o - 116. Is 29 a factor of o?
True
Let m(y) = y + 1. Let a be m(-3). Is (36/(-21))/(a/7) a multiple of 2?
True
Let u = -30 - -51. Is ((-70)/u)/((-2)/12) a multiple of 13?
False
Suppose 0 = 2*u - 4*u, -159 = -3*g - u. Let z = 192 - g. Suppose z - 51 = 2*y. Is 17 a factor of y?
False
Suppose u + c + 5 = 0, -3*u = -c - 13 + 36. Let l = u + 11. Suppose 0 = -l*z - 0 + 64. Is 8 a factor of z?
True
Let f = -45 + 71. Is f a multiple of 13?
True
Let x(q) = 7*q**2 - q + 1. Let g be x(-3). Suppose -n + 4*a - 194 = -4*n, n - a - g = 0. Is 20 a factor of n?
False
Let a = -81 + 127. Let h = a - 17. Is h a multiple of 9?
False
Let n = -19 - -39. Suppose -116 = -4*o - n. Does 24 divide o?
True
Suppose 3*w - 6*w = -15. Suppose -4*t + 25 = w*p, -t + 4*p - 14 = -3*t. Suppose t*n - 33 = 4*n. Is 11 a factor of n?
True
Let z = -256 + 361. Is z a multiple of 15?
True
Let h = 8 + -10. Does 4 divide (1 - 11)*h/5?
True
Let q = -31 - -147. Is 29 a factor of q?
True
Suppose 5*s = -0*s + 465. Is 31 a factor of s?
True
Suppose 0 = g + 2*s - 39, g = -4*g + 4*s + 223. Is 13 a factor of g?
False
Let x(j) = j**2 - 2. Let w be x(0). Suppose 0 = 4*t + 12, -n - 1 = 3*t - 2. Does 5 divide (n/4)/(w/(-4))?
True
Let g(b) = 6*b**2 - 5*b - 3. Let r be g(3). Suppose -r = -4*w - 4*x, -9 = -w + x + 4. Is w a multiple of 4?
False
Let t be (-2)/(-1) + -31 + -3. Let v = t - -48. Is 16 a factor of v?
True
Let b = -63 + 63. Let c(w) = 0*w + w + 26 - 10. Is 16 a factor of c(b)?
True
Let g(x) = -1. Let p = 2 - 1. Let u(s) = 17*s**2 - s - 2. Let k(j) = p*u(j) - 3*g(j). Is k(1) a multiple of 10?
False
Let t = 46 + -14. Is 32 a factor of t?
True
Suppose -t + 1 = 0, 8*t - 3*t = -5*j + 25. Suppose j*w - 4 = 0, 13 = 3*p + 5*w - 40. Is 16 a factor of p?
True
Suppose -5*q + 3*x = 308, q - 3*x = -7*x - 57. Let g = q - -95. Is g a multiple of 17?
True
Let v = 127 - 70. Does 19 divide v?
True
Suppose -4*b - 1 = -9. Suppose b = 4*d - 6. Is 