ple of 17?
True
Let h(k) = -k**3 - k**2 + k - 15. Let m be h(0). Is 133/5 + 9/m a multiple of 9?
False
Suppose 4*q = -0*q - 4. Let v be (-24)/2*(q - -2). Let t = v - -50. Does 19 divide t?
True
Is (-4)/(-6) + (-338)/(-6) a multiple of 10?
False
Let k(j) = -8*j + 4. Does 13 divide k(-6)?
True
Let d(g) be the second derivative of g**4/12 - g**3/2 - 3*g**2/2 + g. Is d(6) a multiple of 15?
True
Let h be (-256)/(-18) - (-18)/(-81). Suppose 13*f - h = 11*f. Is f a multiple of 3?
False
Let i(r) = r**3 + 8*r**2 + 2*r - 10. Suppose -5 = 2*b + 9. Is i(b) a multiple of 8?
False
Let g be (6*3)/(12/8). Suppose 2*d + g = 3*d. Suppose 2*i - a - 22 = d, 3*i - 48 = 3*a. Is i a multiple of 6?
True
Suppose 0 = p - 4*p + 66. Does 5 divide p?
False
Suppose 5*a = a + 20. Suppose 24 = p + a*k, 4*k + 72 = 7*p - 3*p. Is 13 a factor of p?
False
Suppose -8 = 2*d, 2*z + 2*d + d = 42. Is 9 a factor of z?
True
Suppose s - 35 = -0*s. Suppose 2*i + 86 = 2*z, -i + 81 + 5 = 2*z. Suppose -3*y - 3*b = -z - s, b + 2 = 0. Does 12 divide y?
False
Let o = 354 - 218. Is 17 a factor of o?
True
Let n = 10 + -23. Let i = 14 - n. Is i a multiple of 26?
False
Suppose 5*m - 9 - 6 = 0, 0 = -d - 2*m + 9. Suppose -42 = -d*w - 0. Is w a multiple of 7?
True
Let f(p) = -p**2 - 4*p**3 + 5*p**3 + 2 + 3*p**2. Let y be f(-2). Suppose -y*s + 0*h = -h - 8, -14 = s - 5*h. Is s a multiple of 2?
True
Suppose 5*c + 4*o = 160 + 158, -2*c = -4*o - 144. Is c a multiple of 22?
True
Let v(w) = -10*w**3 + w**2. Let j be v(1). Is 10 a factor of 137/7 + j/(-21)?
True
Suppose -a = 5*n - 50, 3*a + 38 + 12 = 5*n. Does 3 divide n?
False
Let l(z) = 4*z. Let v be l(-1). Let x(n) = -2*n**3 - 4*n**2 + 5*n - 3. Let j be x(v). Suppose -4*f + 19 + 1 = 0, -4*i = 5*f - j. Is i a multiple of 3?
False
Suppose 290 = 4*j + k, -2*k + 5 = -j + 73. Does 21 divide j?
False
Suppose 3*w = q - 65, -4*q + 92 + 198 = 3*w. Does 19 divide q?
False
Suppose 0 = -c + 6*c + 90. Let y = c + 32. Is 14 a factor of y?
True
Let x(k) = 3*k + 12. Let t be x(-15). Suppose d + 3 = 0, 2*w - d = d - 28. Let r = w - t. Is r a multiple of 8?
True
Suppose -3*j + 194 = j - 2*y, j - y = 47. Is j a multiple of 10?
True
Let s(f) = -f. Let b be s(0). Suppose -d + l + 0*l + 45 = b, 2*l = 5*d - 240. Is d a multiple of 13?
False
Suppose 2*r = 4 + 6. Is 3 a factor of r?
False
Let u = -3 - -3. Suppose 300 = 3*k - u*k. Suppose k = 2*z - 2*f, 3*z - 109 - 47 = 5*f. Is 17 a factor of z?
False
Let f = 0 - -4. Suppose -f*n - 74 - 142 = -4*t, -n = 4*t - 196. Is 25 a factor of t?
True
Suppose y + 39 = 4*y. Is 10 a factor of y?
False
Let f = 14 + 10. Is 8 a factor of f?
True
Suppose -l - 6 = -4*l. Suppose -13 - l = 3*b. Let j(u) = -4*u - 5. Is j(b) a multiple of 9?
False
Suppose -4*d + 466 = 3*a, -a + 2*d = -6*a + 800. Suppose o + a = -0*o. Is o/(-8) - 3/12 a multiple of 10?
True
Let f(q) = -5*q**2 - q**2 + 8*q + 5 + 5*q**2. Let r be f(9). Let j = 6 - r. Is j a multiple of 5?
True
Let k(c) = -3*c + 2. Does 4 divide k(-2)?
True
Suppose 2*n = -z - 7, 2*n + 4*z = 6*n - 16. Let s = n - -11. Does 3 divide s?
False
Suppose -140 = -6*k + k. Is k a multiple of 10?
False
Let r(j) = -j**2 - 11*j - 13. Suppose -h + 6*h = -2*w - 47, -w = 1. Is r(h) a multiple of 2?
False
Is 2 a factor of (-4)/16 - (-61)/4?
False
Let s be 9/4 - 5/20. Suppose s*q = -2*q + 136. Suppose -4*b - 2 = 4*u - q, 4*b + u - 20 = 0. Is 3 a factor of b?
False
Suppose -24 - 1 = -5*o. Suppose -25 = o*z, 0 = 3*a + 2*z - 7*z + 44. Let i = 35 + a. Is i a multiple of 5?
False
Is (-50 + 12)/((-4)/10) a multiple of 7?
False
Let y(k) = -k + 7. Let h be y(3). Suppose -18 = -h*u + u. Does 3 divide u?
True
Let a(f) = f**2 - 6*f + 4. Let h be a(6). Let k be (5 + 0)*h/10. Suppose 2*y - 26 = -u, -k*y - 3*u = 2*u - 42. Is y a multiple of 9?
False
Suppose -3*l = -78 - 6. Suppose -82 + 12 = -5*k - 4*n, -2*k = 2*n - l. Does 8 divide k?
False
Suppose -3*t - 2 = -5*q - 0, q = 4. Is 15 a factor of 276/9 - 4/t?
True
Let y(m) = m**2 + 4*m + 6. Is 17 a factor of y(5)?
True
Suppose 3*a + 3*l - 51 = 0, 5*a + 18 = 3*l + 63. Is 2 a factor of a?
True
Suppose -4*b - b = -30. Let y(k) = -b*k - 7 + 2 + k. Is 7 a factor of y(-5)?
False
Let p = -1 - -5. Suppose 0 = p*t - 9*t + 215. Is 17 a factor of t?
False
Let j = 158 + -102. Is 24 a factor of j?
False
Does 13 divide (-546)/(-8) - (-8)/(-32)?
False
Suppose -8 + 0 = 4*s, 4*s = 2*g - 240. Is g a multiple of 29?
True
Suppose -4*l = -2*l - 210. Suppose 41 - l = -4*t + 2*w, 3*t = 3*w + 51. Is t a multiple of 4?
False
Let h(w) = -2*w. Let k be h(-4). Let l be (-2)/(-3)*(-12)/k. Is 5 a factor of (-12)/(-3) + l/(-1)?
True
Does 18 divide 7/((-21)/(-45)) - -3?
True
Let f = 238 - 174. Is f a multiple of 16?
True
Suppose 5 = u + 5*z, -2*z + 2 = -0*z. Suppose u*p = -5*b - 2*p + 45, 3*b - 4*p - 53 = 0. Is b a multiple of 11?
True
Let z(o) = -o - 5. Let p be z(-8). Suppose -4*v = -5*m - p*v + 55, 4*m - 55 = 3*v. Is m a multiple of 10?
True
Let c = 6 + -1. Suppose x + 4*x - 5*b = 60, 2*b = c*x - 48. Let q = 24 - x. Is q a multiple of 12?
False
Let o = 8 - 5. Suppose -48 + 294 = o*w. Does 21 divide w?
False
Let w(n) = -n**3 + 23*n**2 + 61*n - 11. Does 9 divide w(25)?
False
Let n(g) = g**3 + g**2 - g - 1. Let d be n(-2). Let p = 14 - d. Is p a multiple of 6?
False
Suppose b - 91 = -16. Is 5 a factor of b?
True
Let z(t) = -t**3 + 6*t**2 + t - 3. Let c be z(6). Suppose 13 = 2*d + c. Suppose -24 = -d*w + 3*w. Is w a multiple of 12?
True
Is 1 - ((-742)/12 - 10/60) a multiple of 7?
True
Suppose h - 54 = -j, 2*j - 182 = -j + 2*h. Suppose j + 35 = d. Is 31 a factor of d?
True
Suppose -2*m - 17 = -4*c + 5, 26 = 2*c + 2*m. Does 3 divide c?
False
Let i(h) = -h**2 + 2*h + 17. Suppose 0*a - 3*a = 0. Does 15 divide i(a)?
False
Let b = 1 - -1. Let x(d) = -15*d**3 - 4*d**2 + 4*d - 2. Let z be x(b). Does 8 divide (-1 - 4)*z/25?
False
Suppose -5*l = 10*l - 495. Does 11 divide l?
True
Let z = -15 + 15. Let s = 5 + z. Does 5 divide s?
True
Suppose -2*u + f - 2*f = -2, 3*u = -5*f + 10. Suppose u = 6*j - 79 - 29. Is j a multiple of 5?
False
Does 14 divide (-224)/(-40)*(-25)/(-2)?
True
Let q(w) = w + 3. Is q(4) a multiple of 5?
False
Let g = 18 - 7. Let j = g - 8. Suppose 0 = b + 4*q - 25, -j*b = -2*q + 7*q - 89. Is 10 a factor of b?
False
Let w be 4/((-2)/3*-3). Suppose 0 = 4*h, 5*s - h - 10 = w*h. Suppose -4*x + s*x + 70 = 0. Does 15 divide x?
False
Let b be (0 + 1 - 1) + 12. Is (b/(-10))/((-2)/10) a multiple of 3?
True
Suppose 0 = -3*w + 15 - 75. Let b = w - -57. Suppose -43 = -4*z + b. Is z a multiple of 10?
True
Let t(m) = -m**3 + 14*m**2 + 2*m - 8. Suppose 5*q - 29 = -a, -4*a + 6*q = 3*q - 47. Is 9 a factor of t(a)?
False
Let z = 6 - 4. Let r(p) = p**3 - 5*p + p**2 + p**z - 5*p**2 - 3*p**2 - 5. Does 9 divide r(7)?
True
Let c = -88 + 25. Let v = c - -109. Does 15 divide (v + -2)/1 - 1?
False
Let w(m) = m + 9. Let j be w(7). Suppose -q + 0 + j = 0. Is 8 a factor of q?
True
Let k(f) = -9 + 2 + f**2 + f - 4 + 3*f. Let z = 0 - 8. Is k(z) a multiple of 11?
False
Suppose -o + 4 = -3*o. Let t(d) = 9*d**2 + 9*d + 3. Let q(k) = -4*k**2 - 5*k - 2. Let c(s) = o*t(s) - 5*q(s). Is c(-6) a multiple of 17?
True
Let g(d) = -d**3 + 14*d**2 + 16*d - 2. Does 13 divide g(15)?
True
Let t(i) be the first derivative of -i**3/3 - 7*i**2/2 + 4*i - 3. Does 10 divide t(-6)?
True
Let a = -5 - -20. Is 4 a factor of a?
False
Does 15 divide -8*(1 - 17/2)?
True
Suppose -2*k = 2*w - 5*k - 887, 4*k = 2*w - 888. Is w a multiple of 17?
True
Let b = -17 - -26. Let v = 23 - b. Is 7 a factor of v?
True
Suppose 2*j + 8 = -2*t - 4, -5*t = -2*j + 2. Let o = t + 4. Does 13 divide (1 - -36) + (o - 1)?
False
Let j = 70 + -7. Is 16 a factor of j?
False
Suppose -3*z - 2*k + 14 = 3*k, -k = -5*z + 42. Is 8 a factor of z?
True
Let p = -33 - -53. Suppose 6*i = i + p. Let f(c) = 3*c**2 - 6*c + 2. Is f(i) a multiple of 13?
True
Let s be (-8)/(-10) + (-2)/(-10). Let y be (-2)/(-1) - (-2 + s). Suppose 4*i - y*q - 159 = 0, -2*i = i - q - 113. Does 18 divide i?
True
Let t(g) be the first derivative of g**4/4 - 3*g**3 + g**2/2 + 4*g - 1. Is 13 a factor of t(9)?
True
Let p be 3/(-6) + (-3)/(-6). Suppose p = -0*t + 4*t - 200. Is 18 a factor of 0 + 0/3 + t?
False
Let a = -5 + 7. Suppose -p - 4*l - 35 = -4*p, 10 = -a*l. Let j = p - -12. Is j a multiple of 6?
False
Suppose 0 = 2*s, 3*a - 73 -