 be 4/(12/(-9)) - c. Does 24 divide (-7)/21 + (-145)/a?
True
Suppose -m = 3*m + 24. Is (7/m)/(2/(-12)) a multiple of 2?
False
Let v be 3/12 + 323/4. Let g = 116 - v. Does 7 divide g?
True
Let j be -2*3/18*-15. Suppose 908 = 3*p + j*q, 5*p - 3*q = q + 1464. Does 32 divide p?
False
Let d be ((-108)/(-10))/(33/110). Let o be 1/(-3) + (-24)/d. Is 7 a factor of 81/4 + o/4?
False
Let l(f) = 2*f**2 + 7*f - 13. Suppose 4*a + a + 25 = 4*w, 0 = 2*a + 2. Is 9 a factor of l(w)?
True
Let i(f) be the second derivative of -f**8/6720 - f**7/2520 + 11*f**5/40 - f**4/2 + 6*f. Let l(x) be the third derivative of i(x). Is 10 a factor of l(0)?
False
Suppose 11*n - 5065 - 325 = 0. Is n a multiple of 12?
False
Let j = -287 - -578. Is 13 a factor of j?
False
Let f(j) be the third derivative of j**5/40 - 23*j**4/24 + 3*j**3/2 + 3*j**2. Let w(t) be the first derivative of f(t). Is w(13) a multiple of 8?
True
Let i(z) = 3*z**2 + 49*z + 84. Is i(-18) a multiple of 4?
False
Let v(n) = -n**2 + 11*n - 24. Let a be v(8). Suppose -4*y + 77 + 327 = a. Is 10 a factor of y?
False
Let o = 45 + -41. Suppose -o*d = 6*d - 180. Is 5 a factor of d?
False
Let m = -157 - -352. Suppose -m = -i - 46. Is i a multiple of 34?
False
Let n(r) = 5*r**2 + 2*r + 1. Let c = 9 + -10. Is 2 a factor of n(c)?
True
Let r(m) = -m**3 - 10*m**2 - 9*m + 8. Suppose -t + 3*g = -2*t - 11, 4*t = -5*g - 65. Let d = t - -11. Is r(d) a multiple of 2?
True
Suppose 5*o + 5 = 0, -3*j + 2 - 10 = -o. Let q(r) = -r**2 + 3*r + 9. Let b be q(j). Does 8 divide (b + -1 + 2)/(-1)?
True
Does 4 divide (-1605)/(-20) - 9/36?
True
Let r = 74 - -418. Is 12 a factor of r?
True
Does 12 divide (-89 - 0)/((-57)/684)?
True
Suppose -18*w + 212 = -130. Is 19 a factor of w?
True
Suppose -3*w = 3*b - 4 - 14, -4*b + 21 = 3*w. Suppose 3*t - 378 = 5*k - 1464, -b*k = -2*t - 652. Does 9 divide k?
True
Let r = -531 + 1064. Is r a multiple of 28?
False
Let u = 142 - -342. Is u a multiple of 20?
False
Let a(d) = d**3 + 42*d**2 - 234*d + 65. Does 9 divide a(-47)?
True
Let l = -162 + -69. Let j = -135 - l. Is j a multiple of 12?
True
Suppose 2*n = f + 7, 2*f + 2*n = f + 13. Suppose m - 12 = -f*m. Suppose 357 = 5*x + 2*w + w, m*w - 213 = -3*x. Is x a multiple of 24?
True
Suppose -29*r + 9072 = -2*r. Is 84 a factor of r?
True
Suppose y - 4*f = 15, -3*y - 3*f + 7*f = -13. Is 7 a factor of ((-41)/(-2))/(y/(-2))?
False
Let l(d) = d**3 - 33*d**2 + 47*d - 81. Does 3 divide l(32)?
True
Suppose -83 = 12*w - 1679. Does 19 divide w?
True
Let o = -45 + 48. Is 16 a factor of (1 + (-4)/o)/(1/(-81))?
False
Suppose q - 4*w = 199, 22*w = -3*q + 21*w + 558. Is q a multiple of 17?
True
Let d(c) = 1046*c**2 - 2. Does 87 divide d(-1)?
True
Let x(k) = 3*k - 14. Let w be x(6). Suppose 0 = -2*v + w + 6. Does 5 divide v?
True
Suppose -2*z + 147 = 2*x - 257, 187 = x + 4*z. Suppose 921 = 7*y + x. Is y a multiple of 21?
False
Is 31 a factor of 1 + 558 - (5 - 0) - -4?
True
Let o(b) = -b**3 - 5*b**2 + 3*b + 9. Suppose -4*t + 8 = 0, -14 = 4*i + 5*t - 4. Let p be o(i). Let y = p + 13. Is 7 a factor of y?
True
Let c(w) = 203*w**2 - w - 9. Does 66 divide c(2)?
False
Let c = 169 - 6. Suppose -2*m - c - 101 = -2*l, -4*l = 2*m - 546. Is l a multiple of 27?
True
Suppose -4*m = 226 - 918. Is m a multiple of 34?
False
Let b(d) = 5*d + 8. Let g(q) = -q + 9. Let i be g(15). Let o be (i/(-9))/(2/12). Is 18 a factor of b(o)?
False
Suppose -7*x = -2*x - 140. Suppose 26*w = x*w. Suppose -4*n - 5*y + 224 = w, 5*n - 297 = -0*n - 2*y. Is 14 a factor of n?
False
Let a = -1705 + 2827. Is 34 a factor of a?
True
Let u = 32 + -49. Let n = u - -117. Does 25 divide n?
True
Let o be 2/4*6 - 3. Suppose j - 2*j + 3 = o. Suppose -p + j*a = -39, -p + a = 2*p - 157. Is 18 a factor of p?
True
Let o(w) = -w - 7. Let z be o(-7). Suppose z = 5*h - 3*u - u + 387, -5*u = -3*h - 240. Let j = 136 + h. Is j a multiple of 10?
False
Suppose -3*l - 12 = -87. Suppose l = x + 5*w + 6, 2*x - 2*w = 26. Suppose -3*t + 4*t = x. Is t a multiple of 8?
False
Let j(s) be the first derivative of s**4/12 + 7*s**3/6 + s**2 - 7. Let d(h) be the second derivative of j(h). Is d(8) a multiple of 6?
False
Suppose 5*l = 5*w - 355, -2*w + w - l = -79. Suppose 3*f + 19 = -62. Let g = f + w. Is 16 a factor of g?
True
Let f be -2 + 0 - (15 - -6). Let j = 11 + -23. Let n = j - f. Is n a multiple of 11?
True
Is 184*1*(-7 - (-125)/10) a multiple of 76?
False
Suppose 5 = -4*g + 21. Suppose -2*h = -2, 2*y = g*y + h + 3. Is 9 a factor of (4 + y)*2 - -20?
False
Let f(w) = 1160*w**3 + 2*w**2 - 4*w + 2. Is f(1) a multiple of 8?
True
Let w = 5102 + -2894. Suppose 0 = -5*c + 2*c - w. Does 9 divide (c/80)/(2/(-10))?
False
Let m be (-1)/(-2*(-4)/(-128)). Does 9 divide (-1)/(-1)*(-45)/(-10)*m?
True
Let o be 0 + (44/(-1))/(-1). Suppose 2*q - o = -194. Let d = q - -129. Is 25 a factor of d?
False
Suppose 12*g - 34*g + 7348 = 0. Is g a multiple of 17?
False
Suppose 0 = 3*h - 0 - 9. Let w be (4/3 + -1)*0. Suppose -233 = -5*x + h*g - w*g, -4*g = x - 42. Is x a multiple of 23?
True
Suppose -4*v + 5*t = -52, t + 39 = 5*v - 2*v. Let b(k) = k**2 - 15*k + 32. Is b(v) a multiple of 3?
True
Let z(s) = -2*s**2 + 18*s + 4. Let b be z(8). Is 27 a factor of 2692/b + 4/10?
True
Let h = 223 - 205. Is h a multiple of 6?
True
Let x(q) = -5*q**3 + 29*q**2 + 4*q - 5. Let b be (2 - 11/(-1)) + -4. Let k(v) = -v**3 + 7*v**2 + v - 1. Let h(d) = b*k(d) - 2*x(d). Is h(-4) a multiple of 13?
True
Let v(f) = -f + 7. Let h be v(-7). Let j = 8 - h. Let c = j - -70. Is 20 a factor of c?
False
Let h(w) = w**3 - 6*w**2 + 5. Let f be h(6). Suppose -f*s + 29 = -16. Let a(j) = 3*j + 18. Is a(s) a multiple of 15?
True
Let f(k) = 62*k - 43. Is 41 a factor of f(4)?
True
Let v(i) = -i**2 - 9*i - 8. Let z be v(-8). Suppose z = -3*w - m + 134, -w = m - 3*m - 47. Suppose 4*u - 3 = w. Does 6 divide u?
True
Let d(g) = g**3 - 14*g**2 - 3*g + 45. Let s be (-1)/(-3 - (-41)/14). Is d(s) even?
False
Let t be -1 + 8*(-3 + 2). Let b = t - -19. Does 8 divide b?
False
Let l(r) = 3*r**2 - 3*r - 4. Let w be l(6). Let t(o) = 38*o**2 - o + 2. Let m be t(2). Let p = m - w. Is 16 a factor of p?
False
Suppose -5*i + 3263 = 1258. Is i a multiple of 22?
False
Is -408*(-2 + 1)*20/40 a multiple of 17?
True
Suppose 16 = -2*s - 5*k - 15, -k = s + 20. Let i = 7 - s. Is 3 a factor of i?
True
Suppose -5*o + 692 + 1108 = 0. Is 15 a factor of o?
True
Suppose -15*d - 14764 = -19*d. Is 146 a factor of d?
False
Let w(s) = -s**3 - 4*s**2 - 3*s + 2. Let t be w(-3). Suppose 654 = 8*b - t*b. Is b a multiple of 31?
False
Suppose 5*g + 180 = 5*a, -202 = -3*a - 5*g - 54. Is a a multiple of 41?
True
Suppose 2*w - 5478 = -3*s, 0 = -4*s - 2*w - 4007 + 11313. Is 32 a factor of s?
False
Suppose h - y - 22 = 3*y, -4*h - 17 = 5*y. Suppose -z - 405 = 2*c, 5*c - 3*z + 825 = c. Is 4 a factor of (c/(-4))/3 - h?
False
Let q be -2 + (-8)/(-12)*9. Suppose -q*f = -n - 122, 44 - 10 = f - 2*n. Does 5 divide (25/f)/((-2)/(-12))?
True
Let z(u) = 4 + 5 + 5*u**2 - 6. Suppose 3*p - 7*q - 16 = -2*q, -40 = 5*p + 5*q. Is z(p) a multiple of 16?
True
Let g = 136 + -134. Let i(p) = -23*p**2 + 17*p - 14. Let t(j) = 8*j**2 - 6*j + 5. Let y(s) = -6*i(s) - 17*t(s). Is 7 a factor of y(g)?
True
Suppose -3*b = -2*y + 120, 5*y + 5*b = -32 + 282. Is y a multiple of 13?
False
Suppose 2*b - t - 9 = 0, 5*t = 4*b + t - 28. Suppose -3*v + 166 = -b*v. Let j = -115 + v. Is 17 a factor of j?
True
Let y(n) = 6*n**2 + 22*n + 209. Is y(19) a multiple of 19?
True
Let w = -35 + 12. Let x(k) = -k + 89. Is 12 a factor of x(w)?
False
Let j be (7/(-14))/(0 - 1/124). Suppose 0 = 10*n - 8*n - j. Is n a multiple of 4?
False
Let z be 58/4*(-23 - 5). Let b be 1/4 - z/8. Let w = b + -33. Is 5 a factor of w?
False
Let j be (2*-3)/(-3) + 2. Let v(o) = -o + j*o**2 - 3*o**2 + o + 3*o. Does 12 divide v(-9)?
False
Let d = -7 - -12. Suppose -c + 6 = d*g + 2*c, 0 = c + 3. Does 15 divide -15*(-1 + g + -5)?
True
Let n = 8 + -4. Let q be -1 + -2*(0 + -38). Suppose -3*f - q - 19 = -2*s, f + 168 = n*s. Is 12 a factor of s?
False
Suppose -18*c = -39*c + 27867. Is 13 a factor of c?
False
Let b be (3 + (-6 - -4))*(-2 + 1). Is (-20 - -2)*19/2*b a multiple of 7?
False
Suppose 3*z - 312 = -3*z. Let j = z + -18. Is j a multiple of 4?
False
Let p(u) = -19*u**2 + 139*u**3 - 140*u**3 - 2 - 6*u + u. Does 14 divide p(-