ple of 9?
True
Let g(x) = 3*x**2 - 2*x - 2. Let a be g(-1). Suppose a*i - 7*i = -20. Does 2 divide i?
False
Let i(d) = -23*d. Suppose -44 = 4*f + 5*b - 15, 5 = -b. Does 16 divide i(f)?
False
Let h(y) = 6*y - 3. Let f be h(1). Suppose 5*r = -f*w - 0*r + 112, 5*r - 151 = -4*w. Is w a multiple of 13?
True
Let r(o) = -7*o - 14. Is 10 a factor of r(-16)?
False
Let c(t) = t**3 + 12*t**2 + 9*t - 6. Let u be c(-11). Let s = u - -11. Does 13 divide s?
False
Suppose h - 4*j = 26, -5*j + 10*j = -20. Let f be 1*1/((-1)/1). Is 9 a factor of f + h + -2 + 2?
True
Let q be 2/(-1) - 0 - 0. Let h(g) be the third derivative of g**5/30 - g**4/24 - g**3/6 - g**2. Is 9 a factor of h(q)?
True
Is 11 a factor of (-4)/((-12)/165) + -3?
False
Let d = 13 + -3. Let l = d - -22. Is l a multiple of 16?
True
Let s = -112 + 196. Does 12 divide s?
True
Suppose -4*j + 142 = 2*m, -194 + 21 = -5*j - 4*m. Is 22 a factor of j?
False
Suppose -4*d = -5*y - 10, -4*y + 5*d = -0*d + 8. Let j be (y/3)/(1/(-18)). Let l = j - -8. Is l a multiple of 8?
False
Let i(a) = 264*a**2 + 375*a**2 + 251*a**2 - 320*a**2. Let g be i(1). Does 24 divide g/24 + 2/8?
True
Let w be ((-4)/12)/((-1)/(-6)). Let m be (7 + -7)/(0 - w). Suppose -l + 54 = -m*l. Is l a multiple of 19?
False
Suppose 2*f - 2*l = 150, 4*l = 7*l + 9. Does 13 divide f?
False
Suppose -4*k = k - 325. Does 21 divide k?
False
Let d(n) = -2*n + 24. Let k be d(0). Let c = 71 - k. Is c a multiple of 14?
False
Let v = 11 + -7. Suppose 0 = -3*i + v*x + 12, 2*i - 8 = x - 0*x. Is 4 a factor of i?
True
Suppose -4*k - 8 = -m - k, -k = -2*m - 4. Let i be (m/(-2))/((-3)/24). Let z = -10 - i. Is z a multiple of 6?
True
Let p = 6 + 2. Is p a multiple of 8?
True
Suppose -5*w = 5, -257 = -z - 3*z - 3*w. Is 13 a factor of z?
True
Let l be 4/(-12) - (-266)/6. Suppose -2*k = 5*v - 23, -2*k - 3*k + l = -v. Suppose -2*n + 25 = k. Does 4 divide n?
True
Let h(v) = v**2 + v + 3. Let r be h(0). Is 7 a factor of 9 + r/((-3)/2)?
True
Let y be (80/5)/(0 - 1). Let r = 27 + y. Is r a multiple of 10?
False
Let a be 750/(-26) - (-8)/(-52). Let w = a + 50. Is w a multiple of 14?
False
Suppose -f = 2*g - 301, -3*g - 592 = -2*f - 2*g. Does 35 divide f?
False
Let s = -64 - -118. Is s a multiple of 18?
True
Suppose 4 = l + 9. Let u(g) = -3*g + 6. Does 7 divide u(l)?
True
Suppose -14 = 2*y - 3*y. Is y a multiple of 14?
True
Suppose -2*a + 63 = -41. Does 13 divide a?
True
Suppose 0 = 2*b - 0*b - 14. Does 7 divide b?
True
Let s = 0 + 5. Suppose s*u - 4*u - 72 = 0. Does 14 divide u*(1 + 3/(-9))?
False
Is 7 a factor of 207/15 + (-3)/(-15)?
True
Suppose g = -w + 29 - 9, -2 = g. Is w a multiple of 13?
False
Suppose -2*k + 9 = -15. Suppose 0 = 5*n - k + 2. Is 5 a factor of (-14)/((n - 0)/(-2))?
False
Let j = 45 + -31. Is j a multiple of 14?
True
Let d(c) be the third derivative of c**8/1008 + c**7/5040 - c**6/720 + c**5/20 + c**2. Let g(m) be the third derivative of d(m). Is 10 a factor of g(1)?
True
Let p(j) = 5*j**3 - 21*j**2 + 28*j - 4. Let d(n) = n**3 - 5*n**2 + 7*n - 1. Let o(s) = 9*d(s) - 2*p(s). Does 14 divide o(-5)?
True
Let i = 32 - -32. Is 22 a factor of i?
False
Is 15 - -4*1/(-4) a multiple of 7?
True
Suppose -2*z = z - 126. Let r = z - -24. Does 14 divide r?
False
Let c(r) = 6*r - 6*r - 1 + 4*r**2 + r**2. Is 4 a factor of c(1)?
True
Let m = -199 + 299. Let u be (-2)/4*m/(-5). Does 9 divide (12/u)/((-2)/(-25))?
False
Let y(d) = -3*d**3 - 9*d**2 + 16*d - 14. Let h(z) = -z**3 + z - 1. Let j(x) = -4*h(x) + y(x). Let w be j(8). Let a = w + -2. Is 7 a factor of a?
False
Let h(f) = 6*f + 4. Suppose 3*z - 9 = 6. Is 18 a factor of h(z)?
False
Let y = -169 + 262. Does 31 divide y?
True
Let i(s) = 12*s**3 - s**2. Suppose -a - 4*a = -5. Let t be i(a). Suppose 0 = -3*j + t + 7. Is 2 a factor of j?
True
Is 12 a factor of (8/12)/(6/909)?
False
Suppose 4*y + 8 = 2*g, -2*g - 2*y = g - 20. Does 2 divide g?
True
Let h be -1 - ((0 - -3) + -75). Suppose -2*x + 0 - 44 = -3*u, -5*u + h = -x. Is u a multiple of 13?
False
Let g(d) = -3*d**3 + 17*d**2 - 20*d - 17. Let z(t) = -5*t**3 + 26*t**2 - 30*t - 26. Let p(i) = -8*g(i) + 5*z(i). Does 21 divide p(-8)?
False
Suppose -3*y = -4*f - 2*y + 16, -f + 4 = y. Let u(s) = f*s - 1 + s + 2. Does 9 divide u(5)?
False
Suppose 3*z + 0*w + 4*w + 23 = 0, 0 = -4*z - 5*w - 29. Let d(j) = -26*j. Is 13 a factor of d(z)?
True
Let l = -4 + 10. Let b be 19/(2*1/l). Let q = b + -40. Is q a multiple of 8?
False
Is (-2)/2*(-73 + 3) a multiple of 5?
True
Does 10 divide (0 + -3)*(-53)/3?
False
Let f(x) = -x - 7. Let i be f(-11). Suppose -h = -3*m + 10, 0 + i = -4*h + 3*m. Suppose 2*q + 2*n - 18 - 58 = 0, -q + 38 = -h*n. Is q a multiple of 14?
False
Suppose 4*a + 27 = 83. Suppose a = 2*h + 4. Suppose 2*j = -3*c - 2*j + 106, 142 = h*c - 2*j. Does 12 divide c?
False
Let o be (-20)/(-24)*3*-4. Let j(b) = b**3 + 9*b**2 - 13*b - 12. Does 9 divide j(o)?
True
Does 11 divide (4 + -3)*-33*6/(-9)?
True
Suppose -4*y - 3*t - 12 = 0, -29 = -5*y + 5*t - 9. Suppose 6*i - 3*i - 3 = y. Is (11*1)/(i/1) a multiple of 11?
True
Let u(f) = f**2 + 6*f + 7. Is u(-6) a multiple of 7?
True
Suppose 98 = 6*n - 46. Suppose -2*d = d - n. Is d a multiple of 5?
False
Let d = 9 + -2. Let g = 1 - d. Is 20 a factor of g/3 + 3*17?
False
Let r(i) = -2*i - 25. Let c be r(-17). Let g(s) = -s**2 + 11*s + 3. Is 13 a factor of g(c)?
False
Suppose -1 = o, -3*t + 4*o + 9 = 2. Is 2 - -1 - (t + -28) a multiple of 9?
False
Let q(c) = -3*c - 9*c - 8 + 0*c**3 - 11*c**2 - c**3. Is q(-10) a multiple of 8?
False
Let p = 2 + -2. Let m(q) = q**2 - 16*q**3 + p*q + 3*q - 3*q. Is m(-1) a multiple of 17?
True
Suppose 0*q + 64 = 4*q. Does 4 divide q?
True
Let b = 209 + -96. Suppose 4*i = -25 + b. Does 11 divide i?
True
Suppose -2*r = -3*r + 2*h - 4, 4*r + 3*h = 39. Suppose -2*a = -r*a + 160. Does 20 divide a?
True
Let o(y) = -y**2 - 10*y + 17. Let h be o(-7). Let r = 9 + -4. Suppose -4*u + 4*s = -3*u, -r*u + h = -s. Is u a multiple of 4?
True
Suppose 0 = 3*a + 5*l - 172, l = 2*a - 6*a + 235. Suppose -4*t + 145 = -a. Is t a multiple of 28?
False
Let p(g) = -g**2 - 14*g - 16. Let d be p(-11). Suppose 0 = 2*f - 6, 1 = -m + 2*f - 3. Suppose o = 5*q + d, -8 = -o + m*q - 6*q. Is o a multiple of 6?
True
Suppose -4*a - h + 96 = h, 4 = -2*h. Is 4 a factor of a?
False
Let r(o) = -6*o - 3. Let m(b) = 3*b - 6*b - 1 + b. Let w(t) = 8*m(t) - 3*r(t). Is 2 a factor of w(2)?
False
Let s(m) = m**2 + 4*m + 2. Let w be s(-2). Let z = 14 + w. Does 12 divide z?
True
Suppose -5*x - 6 = -4*l, 0*x + 2*l = 4*x. Suppose 4*m - 22 = -x. Suppose 141 = m*b - 69. Is 24 a factor of b?
False
Suppose -2*y + 1 = -h - y, 2*y = 3*h - 2. Suppose -5*v = -4*s + 200, -3*s - h*v + 195 = 14. Is s a multiple of 15?
False
Let p = 18 - 13. Suppose p*q - 43 = -8. Does 3 divide q?
False
Suppose -128*w - 612 = -132*w. Does 17 divide w?
True
Suppose 6*g - 2*g = -4*p + 160, p = 5*g - 200. Suppose 2*i - g = -3*i. Is 8 a factor of i?
True
Suppose -18 - 112 = -5*b. Let l = 48 - b. Does 11 divide l?
True
Let g = 35 - 12. Let t = 46 - g. Does 6 divide t?
False
Suppose -7*s + 34 = -2*s + 3*u, -s - 10 = -5*u. Let j = s - 2. Suppose 0 = j*o - 9, -o + 19 = 4*w - 4*o. Does 7 divide w?
True
Suppose -45 = -6*b + b. Suppose b = 5*j - 1. Suppose 5*u - 13 = -q, -6*q + 14 = u - j*q. Is 2 a factor of u?
True
Let t be (-2 - (-12)/2) + -2. Let w(m) = -2*m**3 - 7*m**2 - 3*m - 8. Let j(h) = -h**3 - h**2 - h - 1. Let z(k) = -6*j(k) + w(k). Does 13 divide z(t)?
False
Suppose a + 10 = -5*q, 6*a - 3*a = 0. Let p be 61/(2/((-24)/q)). Does 10 divide 4/(-10) + p/15?
False
Let t(i) = -2 + 4 - i - 4 + 11*i**2 + 1. Let p be t(-1). Let g = p + -8. Is 2 a factor of g?
False
Let f(v) = -v**3 - 8*v**2 - 9*v + 1. Let q be f(-9). Suppose 0 = -4*x - 16, -4*s + 2*x + 9 = -q. Suppose k = 3*g + 9 + s, -2*k = -5*g - 97. Does 16 divide k?
False
Suppose 35*x - 4620 = 24*x. Is x a multiple of 14?
True
Let v(z) = -23*z - 3 + 16*z - 2. Let g = 6 + -11. Does 15 divide v(g)?
True
Suppose 2*q - 22 = -3*r, 0 = 3*q + r + r - 33. Let j = q + -7. Is 14 a factor of 57/j + (-3)/12?
True
Let p(l) = l + 3. Let q be p(2). Suppose -2*t - 2*j - 43 + 103 = 0, 0 = q*t - 4*j - 141. Is t a multiple of 9?
False
Let l be -6*(10/(-6) - -1). Let c be (-27)/(-5) + l/(-10). Suppose 37 = 2*t + c*j, -5*t + j - 2*j = -127. Is 13 a factor of t?
True
