e 5*d - 10 = f, 0 = 3*j - 2*j + 2*d - 44. Is 31 a factor of j?
False
Let x = 66 - 43. Does 2 divide x?
False
Does 21 divide (12692/(-114))/((-2)/(-6) + -1)?
False
Suppose -t = -3*y + 74, -7*t - 4*y = -3*t + 248. Let a = -42 - t. Is a a multiple of 16?
False
Suppose 0 = 4*o + 17 + 7. Does 11 divide 1 - (-14)/(-4)*o?
True
Suppose -8 + 308 = 5*z. Does 10 divide z?
True
Let o = -2 + -8. Let t be (-3)/(13/o + 1). Suppose 4*v - 94 = t. Is 13 a factor of v?
True
Let v(c) = -52*c**3 + 3*c + 2. Does 17 divide v(-1)?
True
Let d = 60 + -36. Is d a multiple of 4?
True
Let d = 42 + -23. Is d a multiple of 4?
False
Suppose -151 = -0*j - 2*j - 3*s, 81 = j - 4*s. Suppose 2*g - a = 21, -20 = 5*g - a - j. Is 6 a factor of g?
True
Suppose s + 6 = 2*s. Suppose 0 = -2*w - m + 29, -44 = -3*w - s*m + 4*m. Does 14 divide w?
True
Let l(r) = -3*r - 18. Does 4 divide l(-9)?
False
Suppose 3*b - 206 - 52 = -4*j, 189 = 2*b - 3*j. Is b a multiple of 21?
False
Let u(h) = h**3 - 4*h**2 + 4*h. Let g be u(3). Suppose -a - 7 = -3, -3*a - 87 = g*q. Let r = -7 - q. Is 18 a factor of r?
True
Let x be (-1)/((3 + -1)/(-8)). Is 6 a factor of (-492)/(-42) + x/14?
True
Let a(h) = -h**3 + 5*h**2 + 6. Let b(t) be the second derivative of t**4/12 + t**3/3 - 3*t**2/2 - 2*t. Let x be b(-4). Is 3 a factor of a(x)?
True
Suppose 0 = r + 3*u + 8, 0 = 4*r - u - 0*u - 33. Let v = 12 - r. Let j(m) = -m + 7. Is j(v) even?
True
Let v(y) = -y**3 + 4*y**2 - 2*y + 5. Let b be v(4). Does 6 divide 18/(-8)*8/b?
True
Let y be -2 - 22*6/(-4). Suppose p + 0 - y = 0. Does 11 divide p?
False
Suppose 0 = -4*o + 92 + 128. Is 14 a factor of o?
False
Let l be (-10)/(-4)*6/5. Suppose 0*j = 2*j + 3*c - 4, 0 = -3*j - l*c + 9. Is 2 a factor of j?
False
Suppose 2*t = -0*t + 6. Let u be t/(6/10) - -1. Let s = u + 4. Is s a multiple of 8?
False
Suppose -120 = -3*g - 2*g. Let o = g - 9. Is 15 a factor of o?
True
Let n = -1 + 1. Let q = n - 0. Suppose y - 14 = -q*y. Is 11 a factor of y?
False
Suppose -17*j + 44 = -15*j. Does 4 divide j?
False
Suppose 4 = l - 1. Suppose -111 = -l*o + 84. Does 10 divide o?
False
Suppose -5*z + 40 + 10 = 0. Is z a multiple of 5?
True
Let l(i) = 6*i**2 - i. Let h be l(1). Suppose h*a - 44 = 3*a. Does 11 divide a?
True
Let d(v) = 2*v**2 - 9*v - 6. Let q(f) = -f**2 + 3*f + 2. Let i(m) = -6*d(m) - 17*q(m). Let t be 2 + (2 - 1) + -5. Is i(t) a multiple of 8?
True
Let z(r) = -r**3 - 6*r**2 + 5*r + 9. Let h be z(-6). Does 7 divide (-2)/(0 + 6/h)?
True
Is (2 - -36*1) + (-1 - 0) even?
False
Let k(p) = 3*p + 5. Let o be k(-5). Does 14 divide o/4*56/(-5)?
True
Suppose -d + 3*d + 10 = 0. Let s(n) be the third derivative of -3*n**4/8 - 5*n**3/6 - 2*n**2. Does 20 divide s(d)?
True
Let o(g) be the first derivative of -g**3/3 + 7*g**2/2 + 2*g + 1. Is o(6) a multiple of 2?
True
Let w(r) be the second derivative of r**3/6 - 2*r**2 + 4*r. Is w(12) a multiple of 3?
False
Suppose -4*s - 5*a = -22, 5*s - 6 = -4*a + 17. Suppose -4*v + 1 = -3*g + 4, -4*v - 5 = -5*g. Let k = s - v. Is 2 a factor of k?
False
Let s = 3 - 1. Suppose 3*u = -s*u - 60. Let k = -5 - u. Is 7 a factor of k?
True
Let z = -1 - -5. Suppose 0 = -z*n + 37 + 15. Is n a multiple of 10?
False
Suppose 5*i - 6 + 26 = 0, -n + 17 = -4*i. Does 11 divide -3 + (-188)/(-4) + n?
False
Suppose -5*d + p = -112, -d + 2*p + 8 = -9. Does 9 divide d?
False
Let a(n) = 3*n - 5. Let d be a(6). Suppose -12 = -6*b + 2*b + 2*j, -b + d = 2*j. Suppose b*i = -20, 0 = -4*v - 4*i - 2 - 2. Is v even?
False
Let q(d) = 11*d + 3. Let o be q(4). Suppose -i + 2*t = -11, 0*t + 47 = 2*i + t. Let u = o - i. Does 13 divide u?
True
Let p = 31 - 6. Let o be ((-1)/(-1) + -12)/1. Let c = o + p. Does 11 divide c?
False
Let i = 52 + -37. Suppose -i = -3*y + 3*g, 2*g - 4*g = -y + 9. Let l = 8 - y. Does 7 divide l?
True
Suppose 4*i + x - 6*x - 20 = 0, -5*i = -x - 46. Does 2 divide 5/i + (-3)/(-2)?
True
Suppose -5*u - 4*j = -149, 0 = -5*u - j - j + 147. Is 5 a factor of u?
False
Let q = 287 - 112. Is q a multiple of 35?
True
Let n be 4 + (-5 - -3) - 4. Let c(m) be the third derivative of -m**6/24 - m**5/20 - m**4/8 - m**3/2 - m**2. Does 15 divide c(n)?
False
Let a(b) = -b - 4. Let m be a(0). Let f(w) = -w**3 - 2*w**2 + 4*w + 6. Is 14 a factor of f(m)?
False
Let x = -201 - -429. Is x a multiple of 18?
False
Suppose 3*y - 82 = -2*s - 12, -3*s - y = -91. Is 29 a factor of s?
True
Let f(u) = -5*u + 0*u + 4 + 4*u**2 + 4*u - u**2. Is f(-3) a multiple of 14?
False
Is 14 a factor of 1/((-8)/(-226)) - (-2)/(-8)?
True
Suppose -3*r + 0 = -21. Let z(k) = -3 - k**3 - 6*k**2 + k**3 - 2*k + k**3. Is z(r) a multiple of 16?
True
Let d(i) = 2*i**2 + 13*i - 57. Is 13 a factor of d(-13)?
False
Suppose -21*k + 2080 = -k. Does 7 divide k?
False
Let p(o) = 70*o**3 + 2*o**2 + 2*o + 1. Let s be p(-1). Suppose -3*k + 305 - 125 = -4*q, -5*k = q + 45. Let z = q - s. Does 12 divide z?
True
Let n = 172 - 96. Is 19 a factor of n?
True
Let o = -35 + 85. Is o a multiple of 25?
True
Let n(o) = 7*o**2 - 3*o - 3. Let q(f) = -64*f**2 + 28*f + 28. Let u(s) = 28*n(s) + 3*q(s). Is 8 a factor of u(-2)?
True
Suppose 0 = -i - 1, 0*q - 5*q + 74 = i. Let j(c) = c - 2. Let m be j(-2). Let k = m + q. Is 11 a factor of k?
True
Let n = -52 + 33. Let g = n + 55. Does 15 divide g?
False
Let r = 457 - 275. Is 14 a factor of r?
True
Let q = -8 - -8. Let u = 2 + q. Does 6 divide u/6 - 38/(-3)?
False
Let j be (11/(-2))/((-2)/8). Let y(x) = -4*x**2 + 2*x + 2. Let g be y(2). Let h = g + j. Is 7 a factor of h?
False
Does 14 divide 16/1*(-63)/(-18)?
True
Let w = -14 - -6. Does 10 divide ((-95)/20)/(1/w)?
False
Suppose 2*u + 5 = 25. Is 204/u - (-14)/(-35) a multiple of 13?
False
Let s(n) = -19*n - 9. Does 13 divide s(-2)?
False
Let w be 2 - (1 + 2) - -10. Suppose -c = -w + 3. Is c a multiple of 2?
True
Let n(t) = t**3 + 3*t**2. Let c be n(-3). Suppose -3*v = -c*v - 12. Suppose -130 + 38 = -v*f. Is 11 a factor of f?
False
Let q(w) = -16*w + 6. Is 5 a factor of q(-2)?
False
Let k = 256 + -148. Is 27 a factor of k?
True
Suppose -3*v = -3 - 6. Let t(m) = 13*m - 3. Is 12 a factor of t(v)?
True
Suppose 2*n + 0*n - 2 = 0. Suppose -5*p + 55 = h + 4*h, -3*h + 1 = -p. Let m = n + p. Does 4 divide m?
False
Is 9 + (-2 - 7/(-3))*-6 a multiple of 3?
False
Suppose -3*m + 2*m = 0. Let r(s) = s + 45. Is 12 a factor of r(m)?
False
Let b(n) = n**2 + 7*n + 4. Let c be b(-7). Suppose x = -x + c. Suppose -t - x*g = -24, t + 2*t + 4*g - 66 = 0. Is t a multiple of 9?
True
Suppose -2*k = -5*z + 90, -3*z + 5*z - 30 = 2*k. Let u = 30 - z. Does 5 divide u?
True
Let i(f) = 6*f**2 + f + 1. Let p be i(-1). Is 27/(-12)*(-32)/p a multiple of 11?
False
Let i be 19/7 + 6/21. Let p(y) = 5*y**2 + 3*y - 3. Let g be p(i). Let h = -22 + g. Is 11 a factor of h?
False
Let l = -108 - -203. Let q = l - 52. Is q a multiple of 21?
False
Suppose -3*o + 8 = -1. Suppose 2*x = o*x - 1, 4*h = x + 19. Let r = h + -1. Is r even?
True
Let c be (-12)/2 + 3 + -1. Let w be (c + 7)/(3 - 2). Suppose a + 129 = 3*n - w*a, -3*a = 5*n - 186. Is 15 a factor of n?
False
Let t = -17 - -33. Suppose s = -5*c + 33, 3*c + s - 5 = t. Does 5 divide c?
False
Let t(g) = -2*g**2 - 9 + g + 4*g**2 - 5*g + 4. Does 25 divide t(5)?
True
Suppose -4*p + 0*p - 19 = -c, -4*p = -3*c + 33. Is 2 a factor of c?
False
Suppose -q + 5*q - 12 = 0. Let g(x) = -2*x + 3. Let y be g(q). Let l(f) = -f**3 - 3*f**2 - 3*f + 3. Does 6 divide l(y)?
True
Suppose 5*m - 4 - 66 = 0. Let n = -5 + m. Suppose -g + n = -3. Is g a multiple of 12?
True
Let l(p) = -3*p**2 - 12*p. Let n(d) = 2*d**2 + 11*d. Let c(f) = 5*l(f) + 6*n(f). Let q be c(4). Is 3 a factor of (10/15)/((-2)/q)?
False
Suppose 4*y = 6*y - 10. Suppose -y*f - 48 = -123. Is 10 a factor of f + (2 - (-2)/(-2))?
False
Let l(z) = -z**3 + 4*z**2 - z - 2. Let w be l(3). Suppose -a + 3*x + 4 + 2 = 0, -4*a = -w*x + 8. Let p(h) = 2*h**2 + 9*h + 4. Is 11 a factor of p(a)?
True
Let c(j) be the second derivative of -j**5/20 + j**4/6 + j**3/3 + j**2/2 - 3*j. Let z be c(-1). Does 27 divide (1/z)/((-2)/(-148))?
False
Let v(u) = 4*u - 7*u**2 - u**3 - 6*u - 3 + 13. Is v(-7) a multiple of 12?
True
Let p = 19 - 17. Does 21 divide 1 - 3 - p - -46?
True
Suppose 0 = 4*s + 186 - 10. Let o = s + 67. Is o a multiple of 14?
False
Let v(l) = l. Let p be v(3). Suppose 0 = -i + 3*q + 38 + 6, p*q = -12. Is 31 a factor of i?