e of 17?
False
Suppose 5*s = 14 + 121. Suppose 12 = -3*q + s. Suppose 2*o - 10 = -p, 2*o - 4 + 42 = q*p. Does 8 divide p?
True
Let f(k) = -k**2 - 6*k + 7. Let y be f(-7). Suppose 3*v = -3, y*v + 4*v = 4*c - 132. Is 7 a factor of c?
False
Suppose 5*a + 51 = 456. Does 27 divide a?
True
Let r(p) = -24*p - 39. Is r(-11) a multiple of 28?
False
Let y(k) = k - 1. Let a(u) = -19*u - 4. Let r(q) = a(q) - 4*y(q). Let o(f) = -f**2 + 17*f - 17. Let m be o(16). Is r(m) a multiple of 18?
False
Let j = 112 + -51. Is 12 a factor of j?
False
Let o be 82 - (-9)/(-3) - -1. Suppose 0 = 4*f - s - 72, 0 = -4*f - s + 4*s + o. Is f a multiple of 9?
False
Suppose -3*i - 12 = 3*r, i - 22 = 3*r + 6*i. Is 4 a factor of r/2 - (-27)/2?
False
Let j(l) = 5*l - 1. Let t be j(1). Suppose 5*s - 590 = t*u + u, -2*u + 3*s - 240 = 0. Is 13 a factor of ((-1)/(-3))/((-2)/u)?
False
Let m be 5*1/(10/6). Let p(h) = -3*h. Let r be p(-2). Let i = m + r. Does 4 divide i?
False
Let a(b) be the second derivative of b**6/120 + 7*b**5/60 + b**3/2 - b**2 + 3*b. Let s(h) be the first derivative of a(h). Does 3 divide s(-7)?
True
Let v = -69 + 99. Does 10 divide v?
True
Suppose 3*s - 75 = 6*s. Let y = s - -45. Let i = y + -10. Is 5 a factor of i?
True
Suppose -3*x + 7*x - 2*g = 10, 5*x - 4*g = 5. Suppose -2*k = c - 111, -2*k = -x*c - 103 - 14. Does 10 divide k?
False
Suppose 4*r + 5 = -7. Is 13 a factor of 13/(0 + r/(-12))?
True
Does 9 divide (-124)/(-2)*(-22)/(-44)?
False
Let m(t) = -t + 1. Is 4 a factor of m(-14)?
False
Suppose 0 = k + 4*p - 23, 3*k + 4*p - 9 = 36. Let d = -9 + 4. Let q = k + d. Is q a multiple of 3?
True
Let c(v) = v + 1. Let g be c(-1). Suppose g = -5*k + 9*k - 168. Is k a multiple of 14?
True
Suppose 4*l - 407 = -99. Is 11 a factor of l?
True
Suppose 2*v - 254 = 4*g - 50, -g = v - 93. Does 24 divide v?
True
Let o(c) be the first derivative of -1/2*c**2 + 0*c**3 + 2*c - 1/4*c**4 - 2. Is o(-2) a multiple of 12?
True
Let q = -89 - -176. Suppose -2*u - q = -5*u. Is 8 a factor of u?
False
Suppose 2*k - k - 3 = 3*o, -2*o - 2 = 0. Let a = k + 6. Does 6 divide a?
True
Suppose 5*p - 4*f - 328 = 0, -p - f - 19 + 81 = 0. Does 16 divide p?
True
Suppose -4*s - 39 + 199 = 0. Does 14 divide s?
False
Let a be -10 - (-3)/((-3)/(-4)). Let z = a + 84. Is z a multiple of 26?
True
Is ((-27)/12)/(3/(-16)) a multiple of 6?
True
Let z be (135/6)/9*94. Let g(b) = b**2 - 4*b + 4. Let c be g(4). Is 12 a factor of z/10 - (-2)/c?
True
Let y(p) = p**2 + p - 2. Let v be y(-3). Suppose -5*s + 2*k = -73, -s + 15 = -4*k + v. Is 8 a factor of s?
False
Let f = 1 - -3. Suppose -m = 4*x - 77, m = -f*x - 3*m + 68. Is x a multiple of 13?
False
Let s be (0*(-1)/3)/(-1). Let b = 26 - s. Is 10 a factor of b?
False
Let m(y) be the first derivative of -y**3 + y**2/2 - y + 4. Let w be m(-2). Let s = w + 31. Is 5 a factor of s?
False
Suppose -z = 10 - 299. Suppose 6*x = -r + 3*x + 61, x = 5*r - z. Is 9 a factor of (-1)/2 - r/(-4)?
False
Let u(q) = -q**3 - 5*q**2 + 4*q - 6. Let c be u(-6). Suppose f = 15 - c. Is 4 a factor of f?
False
Let j = 28 + -7. Suppose -5*l = 1 - j, -4*l = 5*i - 51. Suppose -i = -p + 2. Does 9 divide p?
True
Let h(s) = -2*s**2 + 21*s + 8. Is h(10) a multiple of 10?
False
Suppose k = 3*k - 200. Is k a multiple of 20?
True
Let h = -305 + 429. Is 31 a factor of h?
True
Let i(l) = -12*l. Let t be i(-1). Let r = 60 - t. Is 12 a factor of r?
True
Let b(t) = 3*t - 3. Let o be b(4). Does 4 divide o/(-6)*16/(-3)?
True
Is 26 a factor of ((-10)/2)/5*-28?
False
Let f(l) = -5*l**3 - 2*l**2 - 2*l - 3. Let k be f(-2). Suppose 0 = 4*q - 5*a - k, 4*q = 2*q - a - 1. Suppose -q*p + 61 - 1 = 0. Is 13 a factor of p?
False
Let u be 12/(-7)*(-189)/18. Suppose -2*z = -k + u, -13 = -k - 3*z + 10. Does 5 divide k?
True
Suppose t = -3*w - t - 11, 5*w = 4*t + 11. Let q = 14 + w. Does 13 divide q?
True
Let z = 154 - 55. Is 8 a factor of z?
False
Suppose 0 = -w + 5*q + 9, 0*q = 5*w + 5*q - 105. Let d = w + 26. Does 10 divide d?
False
Does 2 divide (17/4)/((-20)/(-80))?
False
Suppose -143 = -15*v + 352. Does 11 divide v?
True
Suppose j - 3*g - 93 = -0*j, 0 = -4*j + 3*g + 354. Is j a multiple of 21?
False
Let p = 11 - 6. Suppose 4*q - 73 = -b, -q - p*b + 110 = 4*q. Does 7 divide q?
False
Suppose -x + 49 = -b, 5*b - 7 + 22 = 0. Is x a multiple of 16?
False
Let f(s) = -5*s - s**2 - 2 - 5*s - 4. Let l be f(-9). Suppose 0 = 2*n - 5*z - 9 - 24, -l*n = 2*z - 21. Is 8 a factor of n?
False
Let i(h) = -2*h + 11*h + 14 - 3*h**2 + 3*h**2 + h**2. Let n = -5 - 5. Does 10 divide i(n)?
False
Suppose 8*d = -475 + 2795. Is 58 a factor of d?
True
Suppose 0 = -t - 1 - 0. Let d be t/3 - (-29)/(-3). Let v = 25 - d. Is 12 a factor of v?
False
Let b(q) = -q**3 - 4*q**2 + 10*q + 9. Let n be b(-6). Suppose -9 + n = -3*t. Does 9 divide 15 + 1 + t/(-2)?
True
Let s(a) = 2*a**2 - 3*a + 6. Let r = 0 - -3. Suppose 4*g - 7 = -r*i, 2*i + i + 1 = -2*g. Is 13 a factor of s(g)?
True
Suppose 2*m - 3*m = 9. Does 15 divide 29 - 3*(-6)/m?
False
Is 4 a factor of ((-16)/5)/(1/(-10))?
True
Let o be (-36)/(-8) + (-1)/(-2). Suppose o*y - 317 = -97. Does 22 divide y?
True
Let h(n) = -n**2 + 14*n + 6. Let p be 2/8 + 78/8. Is 17 a factor of h(p)?
False
Suppose -10*h = -7*h + 12. Let r(y) = -1 + 3*y**2 - 2 + 0 + 5*y. Is 17 a factor of r(h)?
False
Suppose 4*n - 60 = -0*n. Let m be 3 - (-5)/(n/348). Let d = m - 80. Is d a multiple of 11?
False
Let f be (-4)/2 + 0 + 10. Suppose 0 = -i - 0*i - f. Let u = 17 + i. Is 4 a factor of u?
False
Let f be (13/(-39))/(2/(-30)). Suppose 206 = -f*j + 506. Does 12 divide j?
True
Suppose q = z + 15 + 6, -4*z = 2*q - 18. Suppose 3*m - 22 - q = 0. Is 13 a factor of m?
True
Let o = 7 - 2. Suppose o*l - 2*l = -3*v - 12, 4*v = -5*l - 23. Let n(x) = x**2 + 7*x + 5. Does 2 divide n(l)?
False
Let v = 6 + 2. Suppose v*s - 3*s - 3*b = 75, 0 = -4*s - b + 43. Is 6 a factor of s?
True
Let z(i) = i**3 + 7*i**2 + 5*i + 5. Let w(r) = r**2 + 5*r - 5. Let l(p) = -p - 9. Let x be l(-4). Let h be w(x). Does 15 divide z(h)?
True
Suppose 5*f + 5*z - 40 = 0, 2*f + 3*z + 2*z = 31. Let j(r) = 4*r**2 - 2*r. Is 15 a factor of j(f)?
True
Let m(k) = k**2 + 4*k + 2. Let j be m(-2). Is 19 a factor of (8/(-6))/(j/57)?
True
Suppose -r + 171 = 13. Let g = r - 110. Is g a multiple of 13?
False
Let m = 2 - 12. Let a = 2 - m. Does 4 divide a?
True
Let t(s) = -9*s - 10. Let a(o) = -5*o - 5. Let k(f) = -11*a(f) + 6*t(f). Let c be k(5). Does 9 divide (1 + (2 - c))*3?
True
Let n(b) = -b**3 - 3*b**2 - b + 2. Let f be n(-3). Let y = 5 - f. Suppose y = -3*u + u + 88. Is 23 a factor of u?
False
Let g(a) = -70*a + 8. Does 37 divide g(-2)?
True
Suppose 2*r + 4 = r. Is 27 a factor of 2064/28 - r/14?
False
Let b = -41 - -19. Let q(g) = g**2 - 3*g + 2. Let x be q(2). Is 20 a factor of x - (2 + 0) - b?
True
Let s(z) = -4*z - 2*z + 3*z + 2*z. Let c be s(0). Is 13 a factor of 10*(c - -3) - 2?
False
Suppose 5*i + 25 = 0, 0 = -2*s + 4*s - 4*i - 128. Suppose 3*c + 0*c - s = 0. Is 12 a factor of c?
False
Let i(q) = 3*q + 2. Let l be i(-2). Let f(m) = -m - 1. Let b be f(l). Suppose b*v = -2*v + 120. Is 12 a factor of v?
True
Let m = 54 - 38. Is 4 a factor of m?
True
Let h be (5 - 2)*4/6. Suppose 4*z + 18 = 2*u, 7*u - 33 = 2*u - h*z. Is 2 a factor of u?
False
Let g = 0 - -1. Let t be (-1 - g) + (-3 - -9). Is 2 a factor of 52/20 - t/(-10)?
False
Let g = -3 + 6. Suppose 4*q - 73 = -3*c + 23, 24 = q + 4*c. Suppose -g*m + q = -m. Is m a multiple of 9?
False
Let f(o) = -o**3 - o**2 + 5. Let z be f(0). Suppose 2*u = -r + 4 + 26, -4*r = z*u - 78. Does 12 divide u?
False
Suppose 5*o - 2*g - 42 = 0, 0*o - 2*g - 34 = -4*o. Suppose w = -w + o. Suppose 51 = w*b - 29. Is 10 a factor of b?
True
Let d be (-12)/(-30) - 27/5. Let o = 38 - d. Does 15 divide o?
False
Let v be 8/(-16)*(0 - 6). Suppose 4*j = 4*a - 3*a + 7, -v*a = 5*j - 13. Is 11 a factor of 8 + a + -1 + 3?
True
Let j(d) = -d**3 - 12*d**2 - 16*d + 4. Let r be j(-11). Suppose 4*g = r + 1. Is g a multiple of 10?
False
Suppose 4*s + 4*n - 24 = 0, -5*n = s - 1 - 1. Let k(u) = u**2 - 7*u + 5. Let q be k(s). Suppose -2*p + 6*w = 3*w - 24, q*p + w - 77 = 0. Does 10 divide p?
False
Suppose -a + 58 - 12 = 0. Does 14 divide a?
False
Let y be (3/((-9)/12))/(-1). Suppose y*w = w. Is w/(-3) - (1 + -43) a multiple of 15?
False
Let r(o) be the second derivative of o