?
False
Is (-31)/(-1 - (2 - 2)) a multiple of 8?
False
Let h(y) be the first derivative of -y**4/4 + 4*y**3/3 + 3*y**2/2 + 2*y - 3. Suppose v - 3 = a + 3, 2*v = 4*a + 16. Does 7 divide h(v)?
True
Does 15 divide 2 - 0 - (-118 - -8)?
False
Let w(p) = 10*p**2. Let l be w(-1). Suppose 3 = 2*c + 5, -3*j + c + l = 0. Suppose 7 = -2*o - 3*z + 62, j*o + z - 65 = 0. Is 16 a factor of o?
False
Is 19 a factor of (-6)/(-27) + 1360/36?
True
Let a = -29 + 16. Let d = a + 22. Does 7 divide d?
False
Let a = 111 - -41. Is a a multiple of 38?
True
Let z(s) = -2*s + 2*s - 6 + s. Let n be z(-6). Does 13 divide (-51)/(-4) - 3/n?
True
Let h = -33 - 46. Let n = -1 - h. Does 11 divide (12/(-9))/((-4)/n)?
False
Let h(v) = -51*v - 6. Let o be h(-6). Suppose 3*k = -93 + o. Is k a multiple of 24?
False
Let z(l) = 94*l**2 - 9*l - 5. Let v(i) = 47*i**2 - 5*i - 3. Let u(s) = -7*v(s) + 4*z(s). Let d be u(1). Suppose -5*a + 127 = d. Is 8 a factor of a?
True
Let h(t) = 2*t + 1. Let j be h(1). Suppose -2*c + 9 = -j. Is 2 a factor of c?
True
Let w(p) be the third derivative of p**6/180 - p**5/15 + p**4/24 - 4*p**2. Let a(l) be the second derivative of w(l). Is 8 a factor of a(6)?
True
Let v(o) = -o**2 + 27*o - 27. Does 14 divide v(24)?
False
Suppose -4*x + 0*x - 207 = -3*t, 4*t + 2*x - 276 = 0. Is t a multiple of 23?
True
Let k(p) = -p + 3. Let h be k(0). Is 19 a factor of 22 + h*(-4 - -3)?
True
Suppose -2*o + j = -63, -j = -0*o - o + 31. Is o a multiple of 32?
True
Suppose -1 = -4*w + 7. Suppose -6 = -4*p + 6. Suppose -p*m + 18 = -w*m. Is m a multiple of 9?
True
Let b(o) = -o**3 - 7*o**2 - 7*o + 8. Is b(-7) a multiple of 13?
False
Let c = -16 - -25. Is c a multiple of 3?
True
Let j(u) = -3*u + 1. Is 16 a factor of j(-5)?
True
Let i(j) = 5*j**2 - 2*j - 13. Let k(x) = 2*x**2 - x - 6. Let b(v) = 6*i(v) - 13*k(v). Let f be b(-1). Suppose -n + 9 = 3*u, f*u + 9 = n - u. Is 9 a factor of n?
True
Suppose -20 = 5*g - 0. Let w be 2 + -3 - (1 - 1). Does 2 divide (g/(-1))/(w - -2)?
True
Suppose -2*j + 12 = -22. Is j a multiple of 6?
False
Suppose 2*j + 2*j - 12 = 0. Suppose 3*p - 26 = -2*a - 9, -33 = -3*a + j*p. Is 5 a factor of a?
True
Let b(v) = 63*v + 1. Let h be b(3). Suppose 0 = 6*y - y - h. Is y a multiple of 13?
False
Let m be 4*(0 - 5/2). Does 2 divide (-12)/m*(-5)/(-2)?
False
Let q(k) = k**2 - 8*k + 7. Let c be q(7). Suppose -2*j - 8 = c, -t - 2*j + 23 = -3*j. Is 7 a factor of t?
False
Let n be (-25)/(-2)*4/5. Let d be 4/(-10) - (-474)/n. Suppose 66 = 5*t + 4*m, 0 = 4*t - m - d - 10. Is 9 a factor of t?
False
Let f be (-2)/3 - 208/12. Let h be (-27)/f*(-8)/(-3). Let v(q) = -q**2 + 6*q. Does 6 divide v(h)?
False
Let f(s) = -s**2 + 6*s - 5. Let i be f(5). Suppose 0 = -i*v - 3*v + 36. Is 12 a factor of v?
True
Suppose -2*p + 146 + 36 = 0. Does 22 divide p?
False
Suppose 297 = 4*n + 73. Is 14 a factor of n?
True
Let q(d) = -d**3 - 6*d**2 - 4*d + 20. Does 11 divide q(-6)?
True
Let i be 2/(-6)*(0 + 0). Suppose i*k = 2*k - 3*d - 86, 2*k - d - 82 = 0. Is k a multiple of 12?
False
Let y(j) = j**3 - 4*j - 8 + 3*j - j + 7*j**2. Let d be y(-7). Let g = 11 - d. Is g a multiple of 5?
True
Let y = 5 - 9. Let r = y - -19. Is r a multiple of 15?
True
Suppose -4*y = k - 166, -2*y + 183 = 2*k - 125. Suppose 5*t - 15 - k = 0. Is t a multiple of 11?
True
Let f = -25 - -54. Is f a multiple of 9?
False
Let m = -3 - -10. Suppose g + 0*g = m. Is 4 a factor of g?
False
Let j(x) = -x**2 - 5*x - 4. Let n be j(-3). Suppose 8 = n*l - 4. Is l a multiple of 2?
True
Let z be 0 + (-2)/2 + -1. Let i be (-62)/(-8) - (-1)/4. Does 5 divide 38/i - z/8?
True
Let h(t) = 11*t - 3. Let g(f) = 3*f**2 - f. Let w be g(1). Let j be h(w). Let b = j + -2. Does 5 divide b?
False
Suppose -3*g - 12 = -3*x - 90, 6 = 3*x. Is 14 a factor of g?
True
Let d(q) = q**3 - 16*q**2 + 19*q + 4. Let j be d(15). Let l = 128 - j. Is l a multiple of 21?
False
Suppose 0 = -5*h + 50 + 10. Is h a multiple of 6?
True
Let c(q) = -2*q**3 - 3*q**2 + 3*q + 1. Let j be c(-3). Suppose j - 4 = 3*g. Suppose 239 = 5*y - 3*n + n, -g*y = 4*n - 227. Is 17 a factor of y?
False
Let p(w) = 3 + 4*w + 4*w**2 + 0 + 0. Does 10 divide p(-3)?
False
Let q be -45*((-8)/10)/2. Let t be 3204/10 - 2/5. Is 17 a factor of t/q - 6/(-27)?
False
Suppose -3*n + 4*n - 3*p = 96, 5*p + 15 = 0. Does 28 divide n?
False
Suppose 3*b + 0*b - 2*j + 4 = 0, -21 = -3*b - 3*j. Let h be (-29)/(b*2/(-4)). Suppose 0*s = -s + h. Is s a multiple of 13?
False
Let z be (-10)/((-4)/((-8)/(-1))). Let s be (1 + 0)/(5/75). Suppose -f = -z - s. Is f a multiple of 22?
False
Suppose -3*d - 3 = 0, -5*d + 109 = 3*r - r. Is r a multiple of 4?
False
Suppose 0 = -2*d + 2*v + 228, 4*v = -5 - 11. Suppose 3*q = 8*q - d. Suppose -5 = -p, -w = -0*p + 2*p - q. Is w a multiple of 8?
False
Let z(p) = p**3 + 12*p**2 - 16*p - 19. Is 15 a factor of z(-12)?
False
Let n(f) = 5*f - 5. Let d be n(5). Suppose 8*y = 7*y + d. Does 5 divide y?
True
Suppose -3*k - 164 = -0*k + l, -4*l - 96 = 2*k. Suppose b + 10 = -24. Let w = b - k. Does 11 divide w?
True
Let r = 11 + -7. Let x(h) = h**3 + 6*h**2 - 2*h - 8. Let v be x(-6). Suppose 68 = 5*o - n + r*n, -v*o + 54 = 2*n. Is o a multiple of 5?
False
Let o = -74 + 122. Is o a multiple of 8?
True
Let p(u) = u**3 + 6*u**2 - 8*u + 4. Let q = -12 + 5. Is p(q) a multiple of 3?
False
Let l be -2 + (-3 - -2) + -3. Let w(f) = -12*f + 12. Is w(l) a multiple of 13?
False
Let i = 222 + -155. Is 11 a factor of i?
False
Suppose 1 = t - 9. Does 2 divide t?
True
Let r(w) = 3*w + 9. Let a be r(-6). Let o(i) = i**2 + 5*i - 5. Does 11 divide o(a)?
False
Let l(p) = 7*p - 13. Let y = 12 + -3. Is l(y) a multiple of 25?
True
Let l be ((-1)/2)/(2/(-32)). Suppose 2*o = -p - 5, -4*o + 3 + 8 = -p. Let c = l - p. Does 15 divide c?
True
Let n(x) = 16*x**3 + x**2 + 21. Let f(z) = -3*z**3 - 4. Let u = -4 + -7. Let k(y) = u*f(y) - 2*n(y). Does 4 divide k(3)?
False
Let i(b) = -b**2 - 11*b - 7. Let d be i(-10). Suppose y + d*y = 24. Does 3 divide y?
True
Let g(u) = -u - 4. Let h be g(-6). Suppose -116 = -h*l - 2*l. Is l a multiple of 9?
False
Suppose -4*p - 16 + 307 = 5*l, -p - 3*l + 64 = 0. Does 18 divide p?
False
Let w(s) = s**3 - 3*s + 6*s - 4*s - s**2. Let r be w(2). Suppose -32 = r*t - 6*t. Does 5 divide t?
False
Let m(a) = 0*a - 2*a**3 + a**3 - a + 2*a. Let w be m(1). Suppose 4*k - k - 72 = w. Is 8 a factor of k?
True
Suppose 3*i = 18 + 60. Is 13 a factor of i?
True
Let k be (0 + 0)*(-1 + 0). Suppose 0 = 4*f - 2*x - 252, 0 = 3*f - k*f - 3*x - 195. Suppose 0*h - r = 2*h - f, -2*h - 2*r = -60. Is h a multiple of 14?
False
Let m(j) = j**2 - 2*j - 6. Let t = -1 + 7. Suppose 14 = -2*b + t. Does 18 divide m(b)?
True
Let m(x) = -4*x**3 + 2*x + 1. Let s be m(-1). Suppose -k - 8 = k, -k = -s*a + 70. Does 9 divide a?
False
Suppose 2*m - 4*m + 5*x + 93 = 0, 3*x - 3 = 0. Does 36 divide m?
False
Suppose 4*h - 25 = -h. Suppose -324 = -h*t + t. Suppose t + 43 = 4*z. Is 15 a factor of z?
False
Is 27 a factor of (-420)/(-6) + 4/(-2)?
False
Let o(g) be the second derivative of g**3/6 + 16*g**2 - 3*g. Is 20 a factor of o(0)?
False
Suppose 12 + 58 = 5*n. Does 14 divide n?
True
Suppose 3*s + 0*s = 12. Suppose -3*w = 5*t - 2*w - 52, -2 = -t + s*w. Is 5 a factor of t?
True
Let a = 11 + -11. Suppose p = 5*h - 70, 4*h + 3*p + 2*p - 27 = a. Is 13 a factor of h?
True
Let t(h) = -h + 1. Let x be t(-3). Suppose -4*l = -x + 20. Is 8 a factor of (3/l)/((-1)/12)?
False
Let q = 5 + 0. Let t(z) = z**3 - 6*z**2 + 6*z + 1. Let u be t(q). Suppose 5*y - u = 3*y. Does 3 divide y?
True
Let z(p) = -9*p - 5. Let v(f) = -10*f - 4. Let t(k) = 4*v(k) - 3*z(k). Suppose 3*m + 4 = 1. Does 8 divide t(m)?
False
Let w be ((-4)/(-6))/((-2)/(-18)). Let l = -1 + w. Is 5 a factor of l?
True
Suppose -2*h + 20 = -358. Suppose -81 - h = -6*u. Does 8 divide u?
False
Suppose 3*n - 4*n = -204. Let s = -145 + n. Let x = -34 + s. Is 15 a factor of x?
False
Let z(w) = -w**3 + 7*w**2 + 3*w - 8. Let y be z(7). Suppose -y = -9*p + 8*p. Is p a multiple of 10?
False
Let l be (10/4 + -3)*-10. Suppose h = y + 27, -l*h + 3*y = -0*h - 139. Is h a multiple of 10?
False
Let l = -2 + 2. Suppose -r + 16 = -l*r. Does 8 divide r?
True
Let x(o) = -o**3 + 3*o**2 + 6*o - 3. Suppose 5*a = -14 - 6. Let p = 0 - a. Is 2 a factor of x(p)?
False
Let n(v) be the first derivative of 19*v**2/2 + 2*v 