6?
True
Let f(h) = 2*h**2 - 21*h + 66. Let b be f(15). Suppose 0 = z - 2*l - b, -5*z = 5*l - 746 - 184. Does 46 divide z?
False
Let l(k) be the second derivative of 0 + 11/12*k**4 - 13/2*k**2 - 1/2*k**3 + 1/20*k**5 + 13*k. Is 4 a factor of l(-11)?
True
Let z(p) = 4*p**2 - 6*p - 11. Does 75 divide z(12)?
False
Let a(d) = 10*d - 2. Let k be a(4). Suppose -m + 3*m = k. Does 13 divide m?
False
Suppose -5*d = -10, -9 - 7 = 5*z - 3*d. Is 20 a factor of z/(324/(-80) - -4)?
True
Let v(h) = h**2 + h - 1. Let s(i) = 18*i**2 - 3. Let j(p) = s(p) - v(p). Is 17 a factor of j(-2)?
True
Suppose 6*y + 5*u - 148 = 3*y, 0 = -5*y + 4*u + 296. Suppose 0*d - y = -4*d. Is d a multiple of 14?
True
Let l(b) = 4*b - 25 + 5 - 10*b. Is 12 a factor of l(-10)?
False
Is 7 a factor of (14 - 7)/(7/2)*412?
False
Let x(m) = m**3 - 4*m**2 - 3*m - 6. Suppose -20 = u - 5*u. Let w be x(u). Suppose -5*z = w*d - 210, -3*z + 119 = 2*d - d. Does 10 divide z?
False
Suppose 4*k - 5*k + 28 = 0. Let a = 14 + -14. Suppose -2*j + j + k = a. Does 7 divide j?
True
Let a(l) be the third derivative of 0 + 2*l**3 - 3*l**2 + 3/8*l**4 + 0*l. Is 19 a factor of a(5)?
True
Suppose 4*d - 456 = v, 0 = -4*d - 2*v + 452 - 8. Is d a multiple of 22?
False
Let c = -15 + -15. Let b = 41 + c. Let t = b - -5. Is t a multiple of 8?
True
Let h(j) = j**2 - 1. Let n be h(1). Suppose n = -5*p + 4*p. Suppose p = 5*d + 34 - 314. Is 11 a factor of d?
False
Let f(y) = -6*y + 4. Suppose -8*k - 4 = 12. Is f(k) a multiple of 4?
True
Let i(v) = 2*v**3 - 108*v**2 - 57*v + 11. Is i(55) a multiple of 11?
True
Suppose -3*c + 96 = 3*i - 24, 4*c + 182 = 5*i. Suppose -3*h + 2*g = -5*h - 2, -2*h + 2 = g. Suppose 142 + i = h*t. Is t a multiple of 12?
True
Let q(u) = -u**2 - 6*u - 8. Let g be q(-5). Is 3 a factor of (g - -2) + 0 + 2 + 3?
False
Suppose -448*h - 696 = -450*h. Is 9 a factor of h?
False
Let t = 1618 + -1562. Is t a multiple of 56?
True
Suppose 826 = -12*w + 3058. Is w a multiple of 31?
True
Let l(q) = -114*q + 162. Does 31 divide l(-6)?
False
Suppose 61*m - 62*m + 106 = 0. Suppose -3*b + 5*b - m = -4*i, 0 = -i - 5*b + 13. Is 4 a factor of i?
True
Let w(z) = z - 1. Let m be w(3). Is 10 a factor of ((-2)/4 + m)/(3/20)?
True
Let b(o) = -31*o**3 + 2*o**2 + o + 1. Let d be b(-2). Suppose 6*f = 3*f + d. Does 20 divide f?
False
Suppose g = 5*z + 86, 4*g - 3*z = -0*z + 344. Is 47 a factor of g?
False
Let h = -849 + 1324. Does 7 divide h?
False
Let n(b) = b**2 + 8*b + 12. Let p be n(-6). Suppose 7*q - 4*q - r - 11 = p, -r - 17 = -5*q. Is 3 a factor of q?
True
Suppose -s + 43 + 52 = 3*d, -3*d = 3*s - 93. Let u = d + 11. Suppose -2*y + 0*y + 25 = -k, 5*k = -2*y + u. Is 9 a factor of y?
False
Suppose 0 = f - 3*l + 3, f - 5 = -5*l - 0*l. Let n(d) = -2*d**3 - 2*d**2 - 4*d - 12. Let x be n(-4). Suppose b + 28 - x = f. Is 18 a factor of b?
True
Let c(y) = -y - 7. Let i be c(-12). Let o be (-64)/(-40) - (-2)/i. Suppose -5*u + 2*v = -30 - 21, o*u - 15 = -v. Does 7 divide u?
False
Let b = -9 - -12. Suppose q - b*q = 5*w + 145, -w - 29 = 5*q. Let i = 50 + w. Does 6 divide i?
False
Let i(g) = -g + 12. Let x be ((-3)/9)/((-3)/45). Let q be i(x). Suppose -4*y = q - 59. Is y a multiple of 8?
False
Suppose 43 = 4*l + 35. Suppose 13*q - 165 = l*q. Does 3 divide q?
True
Suppose 2*r + 17 + 37 = 0. Let j = -47 - r. Let g = -14 - j. Does 2 divide g?
True
Suppose 950 + 133 = 19*n. Is n a multiple of 2?
False
Suppose 0 = 3*s - 5*m - 80, 0 = 4*m + 21 - 5. Let w be (8/10)/(s/50). Suppose 3*b + w*b = 220. Does 22 divide b?
True
Suppose 48 = -0*y + 4*y. Is 13 a factor of 4/(y/897) + 0?
True
Suppose -3*v + 40 = 4*m - 4*v, -4*m + 3*v = -40. Suppose m*r - 481 - 79 = 0. Is r a multiple of 14?
True
Is (-18 - 80/(-8))/(2/(-69)) a multiple of 12?
True
Let p(u) = u**3 - 8*u**2 - 9*u + 5. Let o be p(9). Suppose -5*v + 5*s - 118 = -523, -o*s + 297 = 4*v. Does 13 divide v?
True
Let b(s) = -13*s + 11. Suppose 6 = -t - 5*h, -2*t - 4*h = 17 + 1. Is 28 a factor of b(t)?
False
Let y(v) = -154*v + 63. Is 17 a factor of y(-5)?
True
Let a be (3 + 16/(-6))/(5/(-45)). Is 7 a factor of 20 - (a + -2 + 1)?
False
Let m(f) = 10*f**2 + 3*f + 3. Let g be m(-2). Suppose g = 2*s + 3*i, -5*s + 116 = i + 4. Let p = s - 0. Is p a multiple of 6?
False
Let l(h) = 5*h**3 - 20*h**2 + 12. Let s(b) = -2*b**3 + 7*b**2 - 4. Let c(p) = 4*l(p) + 11*s(p). Let a be c(-4). Suppose -g - 2*g = -a. Does 26 divide g?
False
Let z = -13 + 26. Suppose j - z = 53. Is (3 - 21/9)*j a multiple of 22?
True
Let w(g) = 3*g**2 - g - 17. Let s(o) = -2*o**2 - 16*o + 4. Let p be s(-8). Does 5 divide w(p)?
False
Is 3*(-9)/(54/(-760)) a multiple of 38?
True
Let r(m) = -m**2 - 4*m + 11. Let c be r(-5). Suppose 3*g - c - 9 = 0. Suppose g*t = 4*l - 163, -2*t - 82 = -3*l + l. Is 14 a factor of l?
True
Does 35 divide -1 + (-213)/2*32/(-24)?
False
Let b(n) = 17*n**2 + 12*n + 12. Suppose -8*m = 3 + 29. Is 11 a factor of b(m)?
False
Suppose 0 = -s + 6*s + 5*z - 30, 21 = 3*s + 4*z. Let m(p) = p**3 + 2*p**2. Does 14 divide m(s)?
False
Let t(r) = r**3 - 10*r**2 + 9*r + 15. Let x be t(9). Suppose 18*h - 174 = x*h. Is h a multiple of 21?
False
Suppose -3*q + 7650 = -2*q. Suppose -2*a + q = 5*l + 3*a, l = 5*a + 1554. Is 18 a factor of l/65 - (-2)/5?
False
Let f(a) = -a**2 - 9*a - 8. Let o be 66/(-9) - (-6)/(-9). Let j be f(o). Suppose j = -r + 2*r - 12. Is 4 a factor of r?
True
Let f = -12 + 111. Is 9 a factor of f?
True
Let v be (-3)/12 + 99/12. Is v/(-14) + 1770/35 a multiple of 17?
False
Suppose -n - k - 74 = 0, 10*n - 5*n + 398 = 2*k. Let b = n + 88. Is 5 a factor of b?
True
Let c(l) = 60*l**2 - 11*l - 9. Is 56 a factor of c(5)?
False
Let s be (6 - 8) + (-10)/(-2). Suppose -1 = -s*m + 2*y + 7, -5*m + y = -25. Let b = 21 - m. Is b a multiple of 7?
False
Let j(o) = 4*o - 4. Let n be j(5). Suppose k + 12 = 5*c - 2, n = -3*k + 2*c. Let a(s) = -s**2 - 5*s + 5. Is 8 a factor of a(k)?
False
Let y = 18 + -18. Let h = y - -4. Suppose h*p - 12 = 92. Is 13 a factor of p?
True
Let l = 17 + -15. Suppose -5*n + 112 = -4*n + 3*w, -3*n - l*w = -308. Is 25 a factor of n?
True
Does 14 divide (-1 - -2)*10 + 260?
False
Let u(k) = 21*k**2 + 6*k + 1. Let f be u(-4). Let s = f - 109. Is 14 a factor of s?
False
Let d = 60 - 60. Suppose d = 8*z + 3*z - 440. Is 8 a factor of z?
True
Let x(b) = -b**2 - 9*b - 2. Let p be x(-9). Let v be 1/(-2)*(p - -2). Let m(t) = -t + 28. Does 13 divide m(v)?
False
Let o(b) = 2*b + 3. Let v be o(2). Let z(g) = 9 - 2*g**2 - 8 - 2*g + 3*g**2. Is z(v) a multiple of 15?
False
Let k(j) = j**2 - 5*j - 2. Let c be k(5). Let d be 0 + c + 20 + -15. Suppose y = -4*b + 41, -b - d*y + 14 = y. Does 10 divide b?
True
Let q(f) = 37*f**2 + f - 1. Let u be q(1). Suppose -v = -0*v - 7. Let w = u + v. Is w a multiple of 11?
True
Suppose -51 = -4*f + 17. Let b = f + 11. Let a = 49 - b. Is a a multiple of 21?
True
Suppose 5*s + 60 = -4*a, 5*s + a = -a - 50. Let f(m) = -m**2 - 10*m - 4. Let q be f(s). Suppose 4*v - q = 2*v. Is v even?
True
Let d = -10 - -11. Let n be d/3*6 - 81. Let o = n - -145. Does 8 divide o?
False
Suppose 12*p = 9*p - 99. Let u = -1 - p. Is 7 a factor of u?
False
Let c(d) = 16*d + 17. Let x be 62/10 + (-9)/45. Let v be c(x). Let u = -73 + v. Is u a multiple of 20?
True
Let y be 25 - (-1 + (-8)/4). Let b = 49 - y. Is b a multiple of 7?
True
Let o(p) = -p**3 + 7*p**2 + 3*p + 2. Let d be o(6). Suppose -d = -x - x. Is 18 a factor of x?
False
Suppose -h - 7 = -3*u, h - 2*h = -5*u + 1. Let f = 20 - h. Is f a multiple of 11?
False
Let o be (4/10)/(3/30). Suppose 51*t - 49*t = 8. Does 2 divide (t - o)/(-3) - -5?
False
Let d(j) = 37*j - 11. Let z(w) = -74*w + 22. Let m(o) = 5*d(o) + 2*z(o). Is 66 a factor of m(11)?
True
Suppose -26 + 6 = -5*f. Let h be f - 0/((-2)/1). Suppose -5 = -u + h. Is 7 a factor of u?
False
Suppose 4*h = -4*k + 8, 6*k - 7*k + 2*h = -5. Suppose 28 = k*q + t, -4*q - 4*t = -2 - 22. Does 2 divide q?
False
Let n = -29 + 328. Does 13 divide n?
True
Let y = 509 + -545. Let t be 8/6*54/(-4). Let d = t - y. Does 9 divide d?
True
Let g = 53 - 49. Is 15 a factor of g*(-4)/24 - (-364)/6?
True
Let f(q) = 2*q**3 + 3*q**2 - 10*q - 2. Is 13 a factor of f(5)?
True
Suppose 16 = 4*h + x, -5*x + 6*x - 6 = -2*h. Suppose -4*g + h*y + 141 = -26, 5*y + 23 = g. Does 14 divide g?
False
Let h(m) = 66*m + 21. Let v(t) = -4*t - 9*t