 2*o + 4. Is n(-7) a multiple of 16?
False
Let h = 65 + -44. Is 7 a factor of h?
True
Let s(m) = 5*m**2 - 5*m + 1. Let c be s(-2). Let g = 53 - c. Does 11 divide g?
True
Let z = -204 + 141. Is (-4)/(-14) + (-1494)/z a multiple of 13?
False
Let r = -19 - -29. Let g be (r/(-6))/((-1)/3). Suppose 3*m = -3*y + 69, -g*y + 15 = -2*y. Is m a multiple of 9?
True
Suppose -w = 2*w - 129. Let a = -74 + 43. Let v = a + w. Is 5 a factor of v?
False
Does 4 divide 13/((-78)/(-36))*4?
True
Suppose 0*n + 8 = -2*n, -4*n = 4*z + 8. Let s(b) = -1 + 3*b - 4*b**z + 7*b**3 + 5 - 4. Is 14 a factor of s(2)?
False
Let q(o) = o**2 - o + 16. Suppose 5*u + 5*i + 5 = 0, 4*u - 3*u = -2*i + 1. Let k be (1 - u - 2) + -2. Is 8 a factor of q(k)?
True
Let i be ((-106)/(-8))/(1/4). Let j = -128 - -208. Suppose -4*a = -m - j + 6, 0 = -3*a + 2*m + i. Is a a multiple of 19?
True
Let z(r) = -r + 3. Let u be (-94)/7 - 18/(-42). Does 8 divide z(u)?
True
Let a(d) = d**2 + 9*d + 7. Let b be a(-8). Is 3 a factor of b/(-2)*(-22)/(-1)?
False
Suppose 6*g - 114 = 4*g. Does 17 divide g?
False
Let h = 4 - -45. Suppose -5*u - 8 = -4*w + 46, 3*u - h = -5*w. Does 4 divide w?
False
Let z(v) = 5*v**3 + 3*v**2 + 3*v. Let y be z(-2). Let m = y - -72. Is m a multiple of 10?
False
Does 17 divide (-4 + 3 - 1) + 0 + 82?
False
Let q(w) be the second derivative of 1/3*w**3 + 1/12*w**4 - 1/2*w**2 - 3*w + 0. Is 7 a factor of q(2)?
True
Let b be 6/(-21) + 46/14. Let y(q) = 2*q**3 - 4*q**2 + 3*q. Let x be y(b). Suppose 5 = -5*t, -2*j + t + x = -0*t. Does 11 divide j?
False
Let l = 8 - 5. Suppose 0 = t + l*t - 8. Let a = 20 - t. Is a a multiple of 18?
True
Let k(q) be the first derivative of -q**4/4 + 3*q**3 + 11*q**2/2 + 14*q - 8. Does 12 divide k(10)?
True
Let x = 17 - -73. Let c = 172 - x. Is 17 a factor of c?
False
Let o(i) = -2*i**3 - 7*i**2 - 4*i + 4. Suppose -3*m = -0*m + 12. Is 13 a factor of o(m)?
False
Suppose 4*a - 109 + 37 = 0. Does 6 divide a?
True
Let a(o) = o**2 + 4*o - 10. Is a(-7) a multiple of 11?
True
Let g = 797 + -541. Is 19 a factor of g?
False
Let y(h) = -h**2 + 3*h + 130. Is y(0) a multiple of 10?
True
Let n(b) = -2*b + 4*b - 7 + 0 + 0*b. Let h = -26 - -37. Does 15 divide n(h)?
True
Let f = -444 - -840. Does 12 divide f?
True
Suppose 5*h = 3*w + 2*w + 25, 0 = 5*h - 2*w - 31. Let p(m) = m + 7. Does 12 divide p(h)?
False
Suppose 3*z - l - 11 = 0, -3*z + 2*l + 4 = -9. Suppose 0*x - 60 = -z*x. Is x a multiple of 8?
False
Suppose -7*o = -3*o - 20. Suppose 2*k - 6*t + 3*t - 24 = 0, -o*t = 3*k - 55. Does 5 divide k?
True
Let h(i) = i**2 + 6*i - 19. Does 22 divide h(9)?
False
Let t(h) = -h - 6. Let c be t(-5). Does 14 divide c + -2 + 0 - -38?
False
Let p(d) = 2*d**2 - 2*d - 8. Does 16 divide p(-4)?
True
Let b(z) = -z**3 + 6*z**2 + 11*z - 2. Does 4 divide b(7)?
False
Let i(g) = 2*g**2 + g - 3. Does 23 divide i(-4)?
False
Let c be ((-4)/6)/((-4)/(-12)). Let h be c/5*(-20)/4. Suppose -2*v = h*v - 256. Is v a multiple of 22?
False
Suppose z - 6 = 3*a, -z - 4*a + 6 = -0. Suppose 3*d + 5 = -7. Is 6 a factor of (-3 - 1)/(d/z)?
True
Let n be ((-12)/(-48))/((-2)/(-16)). Let z = 15 - n. Is z a multiple of 5?
False
Suppose -10*z + 30 = -8*z. Is z a multiple of 3?
True
Does 12 divide (-17 - 1)*(-91)/39?
False
Let y = -104 + 271. Suppose -4*x + o + y = 0, -4*x + 2*o + o = -165. Does 24 divide x?
False
Suppose 4*l + 2*r = 16, -2*r + 11 = 3*l - 0*r. Let c = -5 + l. Suppose -2*n = -d - 45, 25 = 5*d - c*d. Is n a multiple of 8?
False
Let f be (-12)/5 - 18/30. Let o = -12 - f. Does 20 divide (3/o)/((-3)/315)?
False
Let n be 20 - (0 + 4)/(-2). Let c = n - 2. Let o = -12 + c. Is o a multiple of 6?
False
Suppose 3*i - 147 - 42 = 0. Is 21 a factor of i?
True
Let w = -3 + 8. Suppose -5*n = 0, 3*l = 2*l + w*n + 4. Does 3 divide l?
False
Let k = 2 + -4. Let a be (k/3)/((-2)/9). Let m(n) = 4*n - 4. Is 8 a factor of m(a)?
True
Let g be 7 - (-6)/(-4 - -1). Suppose -5*l + 5*w = -25 - 45, 0 = -l - g*w - 10. Does 6 divide l?
False
Suppose 38 + 42 = m. Does 20 divide m?
True
Let k be 2/(2/1)*3. Suppose 2 = k*r - 1. Suppose -c + 8 + r = 0. Is c a multiple of 8?
False
Let m(i) = 1. Let o(t) = -5*t - 10. Let u(v) = 10*m(v) + o(v). Let g be u(-1). Suppose g*p - 31 - 4 = 0. Is 6 a factor of p?
False
Let b = 6 + -4. Let u(l) = 5*l + b + 3*l - 5*l. Does 10 divide u(6)?
True
Let p(f) = -6*f + 30. Let a be p(5). Let t be (-9)/6*(-1 - 43). Suppose 5*q = -5*s - a*s + 50, 3*q = 5*s - t. Is 12 a factor of s?
True
Let q be (18/(-6))/(3/(-2)). Suppose 31 = -2*m + 141. Suppose -7*k + m = -q*k. Is k a multiple of 11?
True
Let c = -7 - -11. Suppose 7*m = 2*m - c*j + 141, -4*j + 83 = 3*m. Is 9 a factor of m?
False
Let x(v) = 8*v**2 - 5*v - 4. Let z(o) = -o**2 + o. Let i(c) = x(c) + 6*z(c). Let w(y) = -y - 19. Let g be w(-15). Is 12 a factor of i(g)?
True
Suppose -6*z = -17*z + 891. Is z a multiple of 9?
True
Let k(x) = x + 8. Suppose -4*i + 3 = -13. Let a = i - 4. Is 8 a factor of k(a)?
True
Let f(r) = -r**3 + 5*r**2 - 2*r. Suppose 4*a + 4*m - 20 = 0, -m - 7 = -2*a - 0*a. Is 8 a factor of f(a)?
True
Let h = 20 + 22. Suppose -4*l + 7*l = h. Does 5 divide l?
False
Let a = -11 - -16. Suppose 3*l - 18 = z - 53, -z = a*l - 19. Is 13 a factor of z?
False
Does 12 divide (-4)/10 - 868/(-70)?
True
Suppose -5 = 3*t - 17. Suppose -v = 2*p + 2*v - 57, 0 = p - t*v - 12. Suppose -p = -j - 3*j. Is 3 a factor of j?
True
Let i(t) = 3*t**2 - 4*t - 22. Is i(-7) a multiple of 53?
False
Suppose -10 = 2*z, 8*s + 3*z - 103 = 6*s. Is 5 a factor of s?
False
Does 4 divide 4/((-4)/3) + 7?
True
Suppose 0 = 4*s - 127 + 35. Is 23 a factor of s?
True
Let v = 18 - 16. Suppose 0*z - 2*z + 8 = -v*a, -5*z = -2*a - 35. Is z a multiple of 3?
True
Is 3/((-165)/(-81) - (-3 + 5)) a multiple of 7?
False
Let m(d) = -d**2 + d - 1. Let z(o) = -2*o**2 + 4*o - 2. Let j(s) = -4*m(s) + z(s). Does 3 divide j(-2)?
False
Suppose -5*u = 5*c - 131 - 9, -5*c - u = -132. Is c a multiple of 9?
False
Let a(m) = -m**3 + 7*m**2 - 5*m - 1. Let p be a(6). Suppose 7*l - p*l - 34 = 0. Does 13 divide l?
False
Suppose -4*m = -3*m + 6. Let r = 8 + m. Suppose -3*s = r*c - 48, 4*c - c - 9 = 0. Is 8 a factor of s?
False
Suppose -1464 = -9*z + 246. Does 38 divide z?
True
Let y(f) = -3*f + 6 - 5*f + 3*f + f**2 + 2. Is y(7) a multiple of 11?
True
Let l be 2/(2 - (1 + 0)). Let v = 7 - 5. Suppose 2*p + 0*p + 4*g + v = 0, l*p - 4 = -g. Is p a multiple of 3?
True
Let i = -10 - -32. Suppose 4*p - 58 = 2*g, 111 = 5*p + 3*g + i. Is p a multiple of 6?
False
Let x = -1 - -10. Let v be (2 + (-15)/x)*9. Suppose -t + 0 + v = 0. Does 3 divide t?
True
Suppose -4*x + 4 = 0, -l = 5*x + 9 - 41. Is 9 a factor of l?
True
Let u(q) = -q**2 + 4*q - 1. Suppose 3*v - 2 - 7 = 0. Let s be u(v). Suppose 3*d = -s*d + 80. Does 8 divide d?
True
Suppose -598 + 198 = -2*t. Let r be (6/8)/((-2)/t). Is 3 a factor of r/(-6)*4/5?
False
Suppose 255 - 117 = 3*m. Is 3 a factor of m?
False
Suppose 4*y - 123 - 45 = -3*t, 5*y = -3*t + 165. Is 6 a factor of t?
True
Let x(y) = y**2 + 1. Let g(u) = -u**2 + 7*u + 1. Let f(s) = g(s) + 2*x(s). Let b be f(-5). Let c(o) = o**3 + 8*o**2 + 4*o - 1. Is 12 a factor of c(b)?
False
Let r be 4 + -1 + -2 + 2. Suppose -r*k + 19 = -26. Suppose k = u - 0. Is 8 a factor of u?
False
Let x = 23 + -14. Is (-4)/(-18) + 214/x a multiple of 10?
False
Let w(q) = 5*q + 2. Let z be w(-1). Is 10 a factor of (-7)/(28/(-64)) - z?
False
Suppose -6*d = -211 - 23. Does 12 divide d?
False
Suppose 0 = 2*z + 6, r = 2*r - 2*z - 11. Let g = -4 + r. Does 11 divide 29/((0 + 1)/g)?
False
Let q(f) = -f**3 - 3*f**2 - 8*f - 6. Let o(c) = 2*c**3 + 5*c**2 + 17*c + 12. Let j(s) = 2*o(s) + 5*q(s). Is j(-5) a multiple of 12?
True
Let z = -4 - -6. Suppose t + 2*i - 1 = 0, t = z*t + 4*i + 7. Is t a multiple of 3?
True
Suppose 4*n = 4*y - 40, -2*n + 0*n + 50 = 3*y. Is y even?
True
Let u = -66 - -93. Does 9 divide u?
True
Suppose 4*h + 2 = 10. Suppose i = h*i - 30. Is 12 a factor of i?
False
Let n(d) = d**3 + 9*d**2 - 9*d + 13. Let k be n(-10). Suppose -f - 3*y = -21, 7*f + k*y = 3*f + 93. Is 24 a factor of f?
True
Is 2586/27 + (4/9)/2 a multiple of 24?
True
Suppose -2*d + 0*d + 298 = 0. Is 34 a factor of d?
False
Suppose z = 5*w + 16, 0 = -5*z + z + 3*w + 132. Is 12 a factor of z?
True
Let q be 6/(-4)*(-8)/6. Let h be 8/(1/q*4). Suppose -r + 17 = a, h*r + 