e
Let z(w) = w + 10. Let a be z(-8). Let g be -6 + 2 - (0 + a). Let h = g - -13. Is 3 a factor of h?
False
Suppose 0 = 3*f - 33 - 6. Suppose -4*v + 12 = -5*v - t, -3*t = 12. Let i = f + v. Is 5 a factor of i?
True
Let g = -28 - -52. Is 4 a factor of g?
True
Let g = -7 - -11. Let v(a) = 6*a**2 + 2*a + 1. Let b(r) = 7*r**2 + 3*r + 1. Let p(l) = -5*b(l) + 6*v(l). Does 3 divide p(g)?
False
Suppose -4*v = 5*m - 101 - 135, -4*v = 4. Does 11 divide m?
False
Let z = -72 - -127. Is z a multiple of 11?
True
Let o be 3 - (1 + -1)/2. Suppose -o*i = -4*p + 32, -5*p + 9*i - 4*i + 45 = 0. Suppose p*j - 3*j = 64. Is 16 a factor of j?
True
Suppose 5*y + 4*d = -342, 0*y + 147 = -2*y - 5*d. Is 4/(-16) + y/(-8) a multiple of 7?
False
Is 11 a factor of (-9)/(-36) + (-207)/(-4)?
False
Suppose -190 = -4*p + b, 2*p - 66 = -2*b + 24. Let q be (-13)/((-1)/(0 + -1)). Let j = q + p. Does 21 divide j?
False
Let s(l) = 6 - 3*l - 3*l - 3 + 2. Is s(-6) a multiple of 22?
False
Suppose -9*v + 15*v = 198. Is v a multiple of 11?
True
Let h(s) = 5*s - 1 - 4*s - s**2 - 2*s + 0*s - 10*s**3. Does 5 divide h(-1)?
False
Let k(n) = -52*n - 3. Is 14 a factor of k(-3)?
False
Suppose 5*d = 6*d + f - 101, -3*d - 4*f = -300. Is d a multiple of 26?
True
Suppose -3 = -b + 11. Suppose o = -0*o + b. Does 7 divide o?
True
Let j = 75 + 2. Is j a multiple of 23?
False
Let g(f) = -f + 10. Let t be g(7). Is 8 a factor of (8/2)/(t/6)?
True
Let c(r) = r**3 + 3*r**2 - 2*r + 4. Let y be c(-4). Let z be y/8 - (-42)/4. Is z/3*(-108)/(-15) a multiple of 13?
False
Suppose -5*j - 22 = -77. Suppose z + j = 49. Does 7 divide z?
False
Let h(k) = k**3 - 6*k**2 + 7*k - 3. Let n = 0 - -5. Is h(n) a multiple of 2?
False
Suppose -523 = -3*m + 5*d, 5*d = m + m - 352. Does 19 divide m?
True
Let i(y) = y**3 + 8*y**2 + 6*y + 9. Does 16 divide i(-7)?
True
Is 19 a factor of ((-9)/2)/(-9)*112?
False
Is -1 + 0 + 3 + 23 a multiple of 5?
True
Let g(y) = 15*y**2 - y + 1. Is g(-3) a multiple of 25?
False
Suppose 2*r - 4*r + 166 = 0. Is r a multiple of 9?
False
Suppose -3*k - 4*f - 50 = -0*f, -k + 4*f = 6. Is 6 a factor of (10/(-4) - 0)*k?
False
Let m be -1 + (1 - -2) + -2. Suppose m = -4*h + 2 + 30. Is 6 a factor of h?
False
Does 3 divide ((-1)/3)/(3/(-54))?
True
Let o(y) = y**2 + 13*y + 14. Does 11 divide o(-15)?
True
Let u(t) = -t**3 - 8*t**2 + 8*t + 4. Suppose 5*z + 8 = -2*o - 0*o, 4*o + 32 = -2*z. Is 13 a factor of u(o)?
True
Let k = 7 - 5. Suppose k*s = -4*p + 152 + 54, 4*p + 127 = s. Is 37 a factor of s?
True
Let y = 18 - 15. Let u(m) = m**3 - 3*m**2 - 2*m + 1. Let w be u(5). Suppose -y*v - 3*j + w = j, -5*j - 1 = v. Is v a multiple of 10?
False
Let u(n) = -n**3 - 2*n**2 - 9*n - 12. Is u(-4) a multiple of 14?
True
Is (-3 - 0) + 426/(6 + 0) a multiple of 6?
False
Let q be (-3)/2*(-12)/9. Does 9 divide q/(-6) + 273/9?
False
Let d(k) = -2*k + 2*k**2 + 5 - 2*k - 5*k. Let a be d(8). Let w = a - 33. Does 14 divide w?
True
Suppose 2*u + 4 + 0 = -b, 0 = 4*b + 3*u + 1. Suppose 3*x = -6, -b*x + 351 = 3*c + 2*c. Does 14 divide c?
False
Let k be ((-18)/(-12))/(3/(-20)). Does 17 divide (-5)/k + (-114)/(-4)?
False
Let p = 79 - 25. Is p a multiple of 25?
False
Let c(g) = 7*g + 6. Let w be c(6). Suppose -2*a + 0*a + w = 0. Is 10 a factor of a?
False
Suppose 0 = 5*i - a - 19, 4 = -5*i - 2*a + 11. Let n be 43 - (3 - 2 - i). Suppose -5*r - d = -n, -r + 3*r = 5*d + 45. Does 5 divide r?
True
Suppose 2*o = o - 11. Let d be (94/5)/((-2)/(-5)). Let v = d + o. Is 12 a factor of v?
True
Let f be (-1 - -2)*0/(-1). Suppose f = -0*p - p + 39. Is 13 a factor of p?
True
Is 203*(4 + -5)/(-2 + 1) a multiple of 16?
False
Suppose 4*g = 4, 9*b - g = 4*b + 19. Is 2 a factor of b?
True
Let f(p) = 5*p. Let a be f(4). Suppose -5*t + a = -t. Suppose v - 151 = -5*h, -t*h + 190 = -2*v + 42. Does 11 divide h?
False
Let f = 2 - -23. Is f a multiple of 3?
False
Let t(v) = -v + 1. Let s(p) = 7*p - 8. Let r(y) = -s(y) - 6*t(y). Let i be r(-4). Suppose 5*o = 4*m - 120, -2*m - i*o + 2*o = -60. Does 10 divide m?
True
Does 28 divide (32/(-10))/(6/(-180))?
False
Suppose -4*r + 105 = -r. Is r a multiple of 16?
False
Let l be (-35)/(-10) + 2/(-4). Suppose -2*c = 3*c + 2*h - 45, l*c = -4*h + 27. Let a = 19 - c. Is 5 a factor of a?
True
Suppose 3*d + 18 - 24 = 0. Suppose p - t - 4*t - 23 = 0, 4*t = -5*p + 57. Suppose -d*a - p = -69. Is 14 a factor of a?
True
Let r = 14 - 8. Is 6 a factor of 22*(r/4 + -1)?
False
Let k = 11 - 21. Let b(y) = -5*y - 5. Let r be b(k). Suppose -5*o + 20 = -r. Is 5 a factor of o?
False
Let y(d) = -d**2 + 11*d - 12. Let s(u) = -u + 1. Let r(k) = -6*s(k) - y(k). Let c be r(6). Suppose x = c - 3. Is x a multiple of 5?
False
Let w be -4*((-3 - 0) + 2). Suppose -4*m + 5*h + 147 = 0, h + w*h - 119 = -3*m. Is m a multiple of 8?
False
Suppose 50 = 5*b - 210. Is 4 a factor of 2/13 + 408/b?
True
Let n(b) = -b - 12. Let z be n(-13). Let o(r) = r - 3. Let x be o(5). Is 11 a factor of 1/(x/62)*z?
False
Suppose 4*o = 6*o + z - 43, 5*z = -4*o + 95. Suppose 2*j - 4*k - o = -7*k, 0 = -4*j + 4*k. Does 2 divide j?
True
Let p(a) = 2*a**3 - 2*a**2 - a. Let g be p(2). Let b(s) = -s**3 + s**2 - s - 9. Let u be b(0). Is 4 a factor of g/(-2)*-1 - u?
True
Suppose 0 = -0*i - i. Let t be (1 - 2)*(-1 + i). Does 9 divide (11 - -3) + t*2?
False
Let y(a) = -2*a**2 + 3*a + 160. Is y(0) a multiple of 16?
True
Suppose n + 3*z = 241, 3*n - 6*z - 712 = -4*z. Does 17 divide n?
True
Let x(l) = 10*l**3 + l**2 - l + 1. Let a = -2 + 3. Is 3 a factor of x(a)?
False
Is 8 a factor of 4/(-32) + (-129)/(-8)?
True
Let w(f) = -f**2 + 8*f + 6. Let o be w(6). Suppose 0 = 6*i - 2*i + 2*c - o, 0 = -c + 1. Suppose p + g + i*g = 44, 5*g = 25. Does 8 divide p?
False
Let y be -2 + 4 + -1 - 2. Let p = y - -3. Suppose -15 - 29 = -p*r. Does 12 divide r?
False
Suppose 0*h - 3 = -h. Suppose -z + 0*k + 46 = -h*k, 0 = -5*z + 5*k + 230. Is 20 a factor of z?
False
Suppose -2 = -0*l - l, 3*l = -5*j + 21. Is 17 a factor of (-196)/(-4) - j/1?
False
Let k(i) be the second derivative of -i**5/60 + i**4/4 - i**3/3 - i**2 - 3*i. Let r(n) be the first derivative of k(n). Is 3 a factor of r(5)?
True
Let y(x) = -x**3 - 7*x**2 + 9*x + 4. Let w(t) = -7*t**2 - t. Let o be w(1). Let r be y(o). Is (-9)/(-2) + 2/r a multiple of 2?
True
Let h = 4 + -8. Let l(t) = -2*t**3 - 5*t**2 + 4*t + 4. Does 12 divide l(h)?
True
Suppose 0*b = 2*b + 98. Let c = b + 1. Let a = -27 - c. Is 9 a factor of a?
False
Let a(b) be the first derivative of b**2 - 7*b + 1. Let x be a(5). Suppose 2*f + 4*z - 28 = 6*z, 2*f = x*z + 27. Does 15 divide f?
True
Is 20 a factor of 2/(5*2/500)?
True
Suppose 0 = 4*f - 298 - 138. Does 11 divide f?
False
Let l(p) = p**2 - 3*p + 11. Does 11 divide l(8)?
False
Let w(b) = -6*b - 8. Suppose 5*n + 18 = 2*n. Does 14 divide w(n)?
True
Suppose -5*g - 44 = -v - 3, 4*v - 92 = 2*g. Is v a multiple of 10?
False
Suppose w - 25 = -4*w. Suppose -2*c = k - w*k + 22, 0 = -5*k + 5*c + 35. Suppose -k*z + 21 = -3*z. Is 8 a factor of z?
False
Suppose -40 = -10*k + 9*k. Is k a multiple of 15?
False
Let g = 69 - 36. Is g a multiple of 33?
True
Let m be (-2)/5 - 8/(-20). Suppose -a - 6 = -m. Is 52/a*(-5 + 2) a multiple of 13?
True
Let d be 210/50 + 2/(-10). Suppose -z = -d - 15. Is 4 a factor of z?
False
Let c(n) = -n**3 - 4*n**2 + 7*n + 8. Let p be (-1)/5 + (-58)/10. Is 19 a factor of c(p)?
True
Suppose -4*u - 816 = -12*u. Is u a multiple of 25?
False
Is 30/(-9)*168/(-20) a multiple of 6?
False
Suppose 9*r = 5*r - 8. Is 5 a factor of (3 + (-26)/4)*r?
False
Let f(i) be the first derivative of 4*i**3/3 - 3*i**2/2 + 3*i - 5. Is f(2) a multiple of 3?
False
Suppose 3*q = 7*q. Let w = 3 + q. Suppose w = -4*b + 43. Is b a multiple of 10?
True
Let q(o) be the second derivative of o**4/12 + o**3/3 + o**2/2 - 4*o. Is 8 a factor of q(3)?
True
Suppose 5*o - 58 = 47. Suppose 2*v - 7 = o. Suppose q + b - v = 0, -4*b + 15 = q + 1. Is 12 a factor of q?
False
Let f = 777 + -512. Let r = f + -125. Suppose 4*u - 4*b = 128, 4*u + 3*b - 23 = r. Is 15 a factor of u?
False
Let j = -6 + 10. Suppose a + 0*a = -4*k + 107, j*a = 5*k - 160. Does 18 divide k?
False
Let v be (0 - 0)*1/2. Suppose v = 5*i - s - 156, 0 = i - s + 2*s - 30. Is i a multiple of 8?
False
Let f(s) = 37*s + 1. Let z be f(2). Suppose 4*t = 3*p - z, -3*p + 2*t + 111 = 2*p. Is p a multiple of 7?
