 of 4?
False
Let q(o) = 50*o**2 + 2*o - 4. Let p be q(-3). Suppose 15 = -5*r, 0*r = -4*j - 4*r + p. Is j a multiple of 44?
False
Suppose 19550 = 20*m - 17250. Is 20 a factor of m?
True
Does 7 divide 26682/10 + 136/170?
False
Let y = -32 - -19. Let c = y - -17. Suppose 68 = 4*r + c*k, -r - 26 = -3*r + 2*k. Is r a multiple of 5?
True
Is 29 a factor of (-6)/2 - -64 - 3?
True
Let r(z) = z**3 - 16*z**2 + 7*z - 98. Is 13 a factor of r(18)?
True
Suppose -5*j = -0*j - 685. Let k = 233 - j. Is k a multiple of 32?
True
Suppose 4 = 4*y + 16. Let l = -5 - 1. Let d = y - l. Does 2 divide d?
False
Suppose -705 - 693 = -3*f. Let w = f - 330. Is 17 a factor of w?
True
Let o(m) = m**3 + 16*m**2 + 11*m - 1. Let c be o(-9). Suppose 615 = 5*t - 5*s, s - c = -t - 3*t. Does 38 divide t?
False
Let u(i) = i**3 + 6*i**2 - 8*i - 9. Suppose -v + 5 - 12 = 0. Let a be u(v). Is 15 a factor of ((-2)/2)/(a/58)?
False
Suppose -15*t + 10*t = -2*h - 3318, -2*t - 4*h = -1332. Is 24 a factor of t?
False
Let n = -6 + 20. Let r = -5 + n. Does 6 divide r?
False
Suppose 56*n - 1459 - 11757 = 0. Does 13 divide n?
False
Suppose -3*o - 2*o = -15. Let g be (-2)/6 + 46/3. Let u = g - o. Is u a multiple of 8?
False
Let u(w) = 2*w + 15. Let l(f) = -3*f - 16. Let n(i) = 3*l(i) + 4*u(i). Let g be n(10). Suppose -p - g*k = -52, 2*k - k = -p + 51. Is 10 a factor of p?
True
Let s(g) = -g + 1. Let j be s(-1). Let m be -4 - (-95 + j - 2). Suppose x + 11 = m. Is 22 a factor of x?
False
Let t(u) = -2*u**2 + 16*u - 10. Let f(x) = x**2 - 1. Let z(m) = f(m) + t(m). Let l be z(13). Does 34 divide (14/l)/((-1)/(-82))?
False
Let p be ((-5)/(-2) + -2)*6. Let a(y) = 3. Let x(b) = b - 1. Let m(w) = a(w) + 4*x(w). Is m(p) a multiple of 9?
False
Let k be (-3)/(-2)*(-56)/21. Let r be ((-6)/(-9))/(k/(-6)). Does 2 divide 0 - (-6 + r - -3)?
True
Suppose 5*o + 53 = 63, 0 = 5*z + 5*o - 2195. Is 19 a factor of z?
True
Let u(q) = 53*q + 9. Let x = -16 - -21. Let m(d) = 27*d + 5. Let g(l) = x*m(l) - 3*u(l). Does 17 divide g(-1)?
False
Suppose 5*m = -0*q - 3*q - 6, 2*q - 9 = m. Suppose -4*t - q*y = -2*t - 54, -t - 2*y + 28 = 0. Is 6 a factor of t?
True
Suppose -s + 5 = 2. Suppose g - 383 = -y, -g + 6*y + 387 = s*y. Is 48 a factor of g?
True
Let r be 10/(-2)*21/(-5). Suppose -t + 6 = -4*t, 4*t = -d - 6. Suppose -d*x + x + r = 3*w, w - 4*x - 20 = 0. Is 8 a factor of w?
True
Let y(h) be the third derivative of 7*h**4/24 - 7*h**3/6 + 23*h**2. Does 12 divide y(9)?
False
Let c(x) = x**2 + x**2 - 5*x**2 + 15 + 4*x**2 - 9*x. Let w be c(6). Is 16 a factor of 2/(-5)*(-62 + w)?
False
Does 27 divide (-3025)/(-4) - (-15)/600*-10?
True
Let q = 7530 + -5300. Does 44 divide q?
False
Suppose -8*q + 3*q = -10. Let m(n) = 58*n - 10. Does 24 divide m(q)?
False
Let i be 1 + (-96 - 0 - 0). Let j = -15 - i. Is j a multiple of 40?
True
Let m be 0 - (0 - -1 - -11). Let w be (2/(-6) + 0)*m. Let v(k) = 4*k**2 - 5*k + 4. Is v(w) a multiple of 14?
False
Suppose 0 = -2*p - 4*u, 0 = 3*u - 1 + 7. Suppose 0 = -3*f + 9, p*r - 2*f = 2*f + 40. Does 4 divide r?
False
Let b be (-633)/(-6) + (-5)/10 - -4. Let j = -60 + b. Does 8 divide j?
False
Let t = 995 + -766. Is t a multiple of 33?
False
Let q = 307 + -161. Is 40 a factor of q?
False
Suppose -4*r = -4, -2*c + r = -7*c + 1681. Is c a multiple of 8?
True
Suppose 844 = 16*w - 33828. Is w a multiple of 8?
False
Suppose -4*z + 1936 = 5*v, 4*v + 5*z - 1262 - 294 = 0. Does 32 divide v?
True
Suppose 5*y = 2*k - 734, 4*k - 19*y = -15*y + 1468. Is 24 a factor of k?
False
Let t = 11 - -164. Is t a multiple of 25?
True
Suppose -5*r + 3*v = -43 + 170, -r - 15 = 2*v. Let s = -8 - r. Let b = s + 36. Is 17 a factor of b?
True
Let t(o) = -66*o - 305. Does 32 divide t(-45)?
False
Let v(f) = f**2 - 2*f - 25. Is 10 a factor of v(15)?
True
Let a(y) = 8*y**2 + 83*y - 12. Is a(8) a multiple of 12?
True
Let f(x) = x**3 + 7*x**2 - 2*x - 12. Let q be f(-7). Suppose -2*z + 239 = z + v, q*v = z - 68. Does 13 divide z?
True
Let z(c) = 8*c + 4. Let v be z(7). Suppose -v = 4*u + u. Let w(n) = -n**2 - 13*n + 3. Does 6 divide w(u)?
False
Let o(h) be the second derivative of -h**6/36 + h**4/12 - 11*h. Let m(w) be the third derivative of o(w). Is m(-2) a multiple of 12?
False
Let w = -45 + 49. Suppose 14 = -2*x - g + 49, 5*g = -w*x + 85. Is x a multiple of 11?
False
Suppose 0 = -4*c - c + 325. Does 65 divide c?
True
Let j = 290 - 122. Suppose 4*f - 4*x - 73 = 95, 4*f - j = -2*x. Does 14 divide f?
True
Let n(x) = -x**2 + 5*x - 2. Let l be n(3). Suppose -l*a + f = 19 + 6, -2*f - 10 = 2*a. Let c = a - -18. Is c a multiple of 4?
True
Let o(s) be the third derivative of s**6/120 + s**5/6 + s**4/6 - 2*s**3/3 + s**2. Is o(-6) a multiple of 5?
False
Let d be (17 - 1)*(42/(-12) - -4). Is 17 a factor of 204 - (d/(-4) - -7)?
False
Let k(q) = 15*q + 2. Let t be k(-2). Let g = t + -11. Does 8 divide (-1332)/g + 8/(-52)?
False
Suppose -2*i - m + 29 = 0, -4*i + 4*m + 76 = -0*i. Suppose -7*c - t = -10*c - 20, t + 44 = -5*c. Let f = i + c. Does 2 divide f?
True
Let g(y) = -25*y - 3. Let h be g(-6). Suppose 0 = -13*w + 16*w + h. Let u = -28 - w. Is u a multiple of 8?
False
Suppose -1 = 2*x - 7. Let l = x - -6. Let r(b) = b**2 + b - 12. Does 24 divide r(l)?
False
Suppose 5*w = -w - 264. Let g = 96 + w. Is 13 a factor of g?
True
Let c = -3667 + 6235. Does 107 divide c?
True
Suppose -3*z - 2*z + 45 = 0. Let k = 19 + -12. Suppose z*r - 16 = k*r. Is r a multiple of 3?
False
Is 2/(-3)*(-2999 - 10) a multiple of 63?
False
Is 4185/35 + 7 + 8/(-14) a multiple of 18?
True
Let q be 892/(-14) - 10/35. Let u = q + 154. Does 30 divide u?
True
Let c be (-385)/40 + (-6)/16. Is (5/(-3))/(c/24) a multiple of 2?
True
Let n be (-4)/14 + (-37)/(-7). Let v(p) = -4*p**3 - 5*p**2 - 11*p + 8. Let g(d) = d**3 + d - 1. Let j(t) = -5*g(t) - v(t). Does 9 divide j(n)?
True
Let c be (4 + -8 - 292) + (-2 - -1). Let d = -197 - c. Is 12 a factor of d?
False
Let b(x) be the first derivative of -x**3/3 + 11*x**2/2 + 5*x - 7. Does 3 divide b(10)?
True
Let j(a) = a**2 + 2*a + 2. Let v be j(-2). Suppose v*d - 7*d + 3*p = -44, 3*d - 30 = 3*p. Let y = d + 0. Does 3 divide y?
False
Let d(m) = -122*m**3 - m**2 - 5*m - 6. Is d(-1) a multiple of 8?
True
Suppose -65 = -y + k, 0 = 2*y - 7*y - 2*k + 311. Let d = y - -5. Is d a multiple of 30?
False
Let g = 496 - 76. Does 14 divide g?
True
Suppose f - 25 = -5*c, -3*c - f + 5*f = -15. Suppose -c*i = -124 - 276. Does 10 divide i?
True
Suppose -17 = 5*b - 687. Is 2 a factor of b?
True
Let l(z) = -z**3 - 29*z**2 - 29*z + 41. Is 12 a factor of l(-28)?
False
Let d(u) = -u**2 + 10*u + 3. Let c be (-1)/3 + 93/9. Let f be d(c). Suppose -f*k = k + 12, 2*l + 2*k - 182 = 0. Does 21 divide l?
False
Let w(a) = 2 + 3*a**3 + a - 4*a**3 + 2 + 9*a**2 - 9*a. Let j be w(8). Suppose 5*s = j*h + 47 - 165, 3*h - 77 = -2*s. Is 15 a factor of h?
False
Suppose 0 = -15*h - 5*h + 15580. Is 41 a factor of h?
True
Let s(u) = -u**3 + 2 + 4*u + 0*u**3 - 15*u - 12*u**2. Let n be s(-11). Suppose 2*q - 24 = 2*b + n*b, 0 = -5*q - 3*b + 34. Does 3 divide q?
False
Let h be (1/(-2))/((-1)/8). Let u be (-5)/(-1) - (1 + -1). Suppose -u*b = -h*b - 33. Is b a multiple of 11?
True
Let g = 73 + 59. Suppose -g = -3*z + m, -5*m = -z - 2*m + 44. Is 9 a factor of z?
False
Let x(y) = 4*y**2 - 19*y - 2. Let l be x(5). Let i(r) be the third derivative of r**5/12 - r**4/4 + 5*r**3/6 + r**2. Is i(l) a multiple of 16?
True
Suppose -2760 = 18*i - 26*i. Is i a multiple of 29?
False
Let p = -275 - -442. Suppose 2*y - 375 = 5*k, -2*k - p = -y + 23. Is y a multiple of 40?
True
Let q(n) = -n**2 + 18*n + 9. Let d be q(18). Suppose d*p - 259 - 821 = 0. Is 33 a factor of p?
False
Let g(o) = -o**2 + 6*o + 5. Let z be (2 - -4)*(2 + -1). Let t be g(z). Suppose -t = -5*h + 25. Is 6 a factor of h?
True
Suppose 0*d + 6 = -6*d. Is (-94)/(-4)*(3 + d) a multiple of 17?
False
Let l be 2 + 1 - (2 + 16). Is (138/15)/((-6)/l) a multiple of 5?
False
Suppose -3 = -0*c - c. Suppose -c*i + 15 = -99. Is i a multiple of 19?
True
Let r = -14 - -33. Let u = 5 + r. Is u a multiple of 8?
True
Let a(r) = -r**3 + 18*r**2 + 13*r + 51. Is 17 a factor of a(17)?
True
Suppose 2*f = -3*a + 666, 2*f - 373 = a + 285. Does 66 divide f?
True
Suppose -k + 5*x = -148, 5*x - 9*x = -20. Does 5 divide k?
False
Let f(o) = -o**3 + 20*o**2 + 68*o - 6. I