e h?
False
Let m = -28 - -40. Is 12 a factor of m?
True
Suppose -5*i = -3*j - 2 - 32, -16 = -3*j - 5*i. Let n = 4 + j. Is 14 + (n - (-1)/1) a multiple of 9?
False
Suppose -p + 3*t = p + 9, 15 = -3*p + 3*t. Does 6 divide -1*2/2*p?
True
Let x(b) = 26*b**2. Let f = -3 + 6. Suppose 0 + 3 = -f*v. Is 10 a factor of x(v)?
False
Is (3 + -4)*(-5 + 0) a multiple of 2?
False
Suppose -3*r = 3*m - 0*r - 36, -3*r + 15 = 0. Let p(x) = -x**3 + 6*x**2 + 10*x + 3. Is 6 a factor of p(m)?
True
Let t(b) = b**2 + 5*b + 2. Let z be t(-5). Suppose z*s = 4*s - 14. Does 7 divide s?
True
Let z(n) = n**3 + n. Let c = -3 + 5. Let j be z(c). Suppose -4*h + 106 = j. Is 12 a factor of h?
True
Let w be (12/14)/(2/14). Let u(t) = t**3 - 5*t**2 - 4*t + 2. Is 7 a factor of u(w)?
True
Let c(v) = -36*v + 2. Is 6 a factor of c(-1)?
False
Let r = -128 - -299. Is 22 a factor of r?
False
Suppose 2*f - 13 = 47. Does 15 divide f?
True
Let n be (0 - 1) + 1 + 1. Let y(v) = 15*v**2 + 2*v - 1. Let u be y(n). Suppose -3*d = -2*d - u. Is d a multiple of 16?
True
Suppose 3*t - v = 592, 7*v - 4*v = -5*t + 1010. Is t a multiple of 54?
False
Let i = 28 + -4. Let z = -5 + 6. Let n = i + z. Does 11 divide n?
False
Let a(b) = 4*b**3 + b**2 - 7*b**3 + b**3. Let u be a(1). Does 13 divide (-1 - -3)/u - -28?
True
Let r(d) = d**3 + 5*d**2 + 4*d + 6. Let x be r(-4). Suppose -4*h = -x*h + 26. Is h a multiple of 13?
True
Let m(u) = -u**3 - 4*u**2 - 5*u - 3. Let k be m(-3). Is (k - 5/(-3))*9 a multiple of 14?
True
Let a(t) = -t**3 - 12*t**2 - 6*t + 24. Is 15 a factor of a(-12)?
False
Suppose -5*b + 2*s = 3, 0 = -b - 3*b - 2*s - 6. Is 24/(b + 10/4) a multiple of 8?
True
Let y(u) = u**2 + u - 7. Is 4 a factor of y(4)?
False
Suppose -w - 5*k - 30 = 0, -4*k + 86 + 58 = -4*w. Let i = w + 83. Does 16 divide i?
True
Let r(b) = 7*b**3 - b**2 - 4. Does 16 divide r(2)?
True
Suppose u - 7 = -1. Suppose -84 = 3*j - u*j. Does 14 divide j?
True
Let d(w) = -4*w - 6. Let b be d(-6). Let n = -16 - b. Is 2 a factor of n/(-6) - (-2)/(-3)?
False
Suppose -h = -6 - 29. Suppose -2*l + 3 = -h. Does 19 divide l?
True
Let s(q) = q**2 - 5. Let y be s(0). Does 2 divide (y + 13)*3/4?
True
Suppose 39 = 3*v + 3*l - 39, 5*l = -3*v + 88. Is 21 a factor of v?
True
Let j(l) = -3*l - 1. Let a be j(-1). Suppose 4*r = -2*x + 138, -2*r + a*x - 74 = -4*r. Is 10 a factor of r?
False
Let p(x) = -21*x**3 + x**2 + x + 1. Let k be p(-1). Suppose 3*g + k + 2 = 0. Is (14/(-8))/(1/g) a multiple of 7?
True
Suppose 2*o + 2*y - 560 = 0, -8*o + 3*o = 3*y - 1410. Does 19 divide o?
True
Suppose -p - 8 = -5*p. Suppose -p*y = 13 - 47. Is 8 a factor of y?
False
Let p(b) = b**2 + 2. Let g be p(0). Is g/10 + 1014/30 a multiple of 17?
True
Let b = -59 + 104. Is b a multiple of 15?
True
Let a(o) = -o**2 + 4*o - 3. Suppose -21 = -4*y + 3. Let k be a(y). Let c = k - -35. Does 10 divide c?
True
Let h(i) = i + 8. Let y be h(-5). Is y*(-3 + 0 + 4) even?
False
Let r(h) be the third derivative of h**4/24 + 11*h**3/6 + 4*h**2. Is r(-5) a multiple of 2?
True
Suppose -w = -150 - 49. Is 24 a factor of w?
False
Let t(c) = c**3 + 4*c**2 - 3*c + 2. Is t(-4) a multiple of 4?
False
Let l = -211 + 308. Let n = -55 + l. Is n a multiple of 14?
True
Suppose w = 4*b - 4*w + 92, 5*b + 156 = -4*w. Does 10 divide (-721)/b + 2/8?
False
Let w = -11 - -14. Is 2 + (20 - (1 - w)) a multiple of 8?
True
Let s be 444/22 - (-2)/(-11). Suppose 7*n - s = 2*n. Suppose n*t = t + 5*j + 8, -j - 16 = -3*t. Does 6 divide t?
True
Let l(g) be the second derivative of -g**5/20 + 5*g**4/12 - 5*g**3/6 + 2*g**2 + g. Let z be l(4). Let s(k) = -k + 23. Is 18 a factor of s(z)?
False
Suppose -x + 7 + 13 = 4*g, 4*g - 12 = x. Suppose 3 = x*y - 5. Does 14 divide 42/1 - (-1 + y)?
False
Suppose -2*k = 2*k - 36. Does 19 divide (-2 - (-75)/k)*3?
True
Suppose -5*y - c = -15, -y + 2*c - 14 = -6. Let q be 4 + 0 - y/(-2). Suppose 31 = -2*w + 4*w - q*s, -3*w + 59 = -5*s. Is w a multiple of 15?
False
Does 3 divide (-42)/(-15) - (-6)/30?
True
Suppose 2*i - 4*a = -a + 3, -6 = -i - 3*a. Let l(o) = o**3 + 5*o**2 - 7*o - 6. Let w be l(-6). Suppose -2*k + b + 85 = w, -i*k - k + 161 = b. Does 18 divide k?
False
Suppose 0 = -2*j - 3*z + 4 + 10, -j = -3*z + 2. Is 4 a factor of j?
True
Let y = 248 - 140. Is y a multiple of 18?
True
Suppose w + 4*w + 3*y - 438 = 0, 0 = -w - 2*y + 82. Suppose 2*l - l + v = 80, 3*v = -l + w. Is 15 a factor of l?
True
Let y(i) = i**3 - 2*i**2 - 5*i - 3. Let h be y(4). Suppose 0 = -3*a - 5*k - 7, 4*a + 9 = 2*k - h. Let n(o) = 2*o**2 - 3*o - 2. Does 21 divide n(a)?
True
Let u(s) = 4*s + 45. Does 15 divide u(0)?
True
Let c(p) = 3*p**2 + 2*p + 2. Is c(-5) a multiple of 21?
False
Let u(i) = -i**3 + i**2 - 2*i - 4. Is 52 a factor of u(-6)?
True
Let r = 7 + -3. Suppose 3*j - r*j = -12. Is j a multiple of 6?
True
Is -4 + 68/2 + -4 a multiple of 22?
False
Let p = 26 - 11. Let d = p + -4. Is d a multiple of 10?
False
Is (0 + -2 + 0)*-5 a multiple of 10?
True
Let c(d) be the first derivative of d**2/2 - d - 1. Suppose -4*t + 15 = t. Is 2 a factor of c(t)?
True
Let w be 294/7 - (1 + 0). Let j = 65 - w. Is 8 a factor of j?
True
Let a(g) = g - 5. Let s be a(7). Let q = 0 + s. Suppose -2*j = 0, q*w + j = -3*w + 35. Is w a multiple of 7?
True
Let p be 55/45 - 4/18. Suppose -p = 2*j - 79. Is 10 a factor of j?
False
Let i be ((-1)/(-2))/((-2)/(-16)). Suppose w + 2 = -2*l, 0*l = 3*w + i*l + 6. Does 5 divide (-6)/3*(w + -3)?
True
Suppose -12 = -2*x - 2*x. Suppose 3*f - 4*v = 106, -x*f + 76 = -f - 4*v. Is f a multiple of 9?
False
Suppose 16 = -4*m + 4. Let t(s) = -s. Does 3 divide t(m)?
True
Suppose 193 = -5*v - 3*o, -2*o = 2*o + 4. Let h = 89 + v. Is 17 a factor of h?
True
Let b(t) = 6*t**3 - 2*t**2 - 2*t - 3. Let z(x) = x**3 + x**2 + 1. Let r(o) = b(o) - z(o). Let y be r(-3). Is 22 a factor of (11/4)/((-8)/y)?
False
Let y(z) = -z**3 - 9*z**2 - 9*z + 3. Is 11 a factor of y(-8)?
True
Suppose 4*n = 4*s + 8, 3*n - 4 = 3*s - 2*s. Let t(g) = 3*g. Is t(n) even?
False
Suppose 53 = 2*n + 5*p, 2*n - 2*p + 0*p - 32 = 0. Suppose -4*j - n = -87. Is j a multiple of 9?
False
Let c = -69 + 125. Does 12 divide c?
False
Let y(j) = -16*j - 2. Is y(-3) a multiple of 10?
False
Let d(j) = 6 - 13*j**2 - 2*j + 8*j**2 + j**3 - 3*j. Let i be d(5). Let s = i + 31. Does 12 divide s?
True
Let d = -15 - -29. Does 14 divide d?
True
Suppose 0 = 2*j - 0*j - 4. Is (j + (-33 - 3))/(-2) a multiple of 3?
False
Suppose 4*m + 188 = 5*m + t, -3*m = -5*t - 572. Does 32 divide m?
False
Suppose -10*g - 216 = -936. Is 24 a factor of g?
True
Let k(i) = -3*i**3 + 2*i**2 + 3*i + 1. Let z(h) = 3*h**3 - 2*h**2 - 3*h. Let u(b) = 3*k(b) + 2*z(b). Does 27 divide u(-2)?
False
Suppose 4*v - 3*v = -h + 46, -62 = -v - 5*h. Does 7 divide v?
True
Suppose 0 = -0*g - 4*g + 5*n - 9, -12 = 4*n. Is (-46)/g*(-4 + 7) a multiple of 23?
True
Let x(b) = b**3 - 3*b**2 - 3*b + 3. Let r be x(4). Let w = 5 + r. Is 6 a factor of w?
True
Suppose 3*z = 2 + 4. Suppose -v - 171 = -5*w, 5*w - 42 - 125 = z*v. Does 10 divide w?
False
Suppose -w - 4 = -9. Is 5 a factor of w?
True
Suppose 3*m - 7*m = -52. Let h = 17 + m. Does 15 divide h?
True
Let x = 13 - -19. Is 8 a factor of x?
True
Let g(c) = -5*c + 128. Is g(0) a multiple of 32?
True
Let v = 105 + -81. Is 20 a factor of v?
False
Let y(h) = -3*h + 30. Does 12 divide y(-14)?
True
Let j = 1 + 1. Suppose -k + 72 = j*k. Is 5 a factor of (k/14)/(3/21)?
False
Suppose 13 = 5*i + 4*d - 3, 5*i + 2*d - 18 = 0. Suppose -3*v + m + 54 = 0, 3*m = i*v - 0*v - 72. Let q = v - 9. Does 9 divide q?
True
Let d(j) = j**3 - 2*j**2 - 2*j - 1. Let v be d(-1). Let u(a) = 4*a**2 - a - 2. Does 8 divide u(v)?
True
Suppose 19 = 7*b - 800. Is 24 a factor of b?
False
Suppose d - 5 - 1 = -5*h, -2*h = d - 3. Let r(j) = 65*j. Is 18 a factor of r(h)?
False
Suppose 4*b = -0*q - 2*q + 26, -5*b + 20 = 0. Suppose 5*p = 5*n - 3*n + 8, -1 = 2*p - q*n. Suppose -p*d = -2*l - 24, -d + 3*l = -3*d + 29. Is 13 a factor of d?
True
Let g(o) = o + 2. Let i be g(3). Suppose -6 = 3*m, -6*x + m + 16 = -i*x. Does 7 divide x?
True
Let l(m) = 7*m + 53. Is l(21) a multiple of 25?
True
Suppose 0 = 6*i + 5*i - 616. Is i a multiple of 13?
False
Let b(g) = 4*g + 10 - 3 + g**2 - 2. Is b(-6) a multiple of 7?
False
Let y = 0 + 35. Let q = y - 13. Is q a multiple of 22?
True
Let v(b) = -b + 2. Let f = 12 + -5. Let 