r of h?
True
Let s(t) be the third derivative of -t**4/2 - 2*t**3 + 8*t**2. Is s(-6) a multiple of 6?
True
Suppose -4*y + 9*y + 15 = 0. Let o = 1 - y. Suppose 0 = -3*s - o*r + 69, 3*s - 86 = -r - 8. Is s a multiple of 27?
True
Suppose 0 = -6*z + 5*z + 4*p + 360, -4*z - p + 1491 = 0. Is 8 a factor of z?
False
Suppose 0 = -2*f - 2*f - 28. Let g(u) = -u**2 - 6*u - 6. Let v be g(f). Let s = v - -85. Does 23 divide s?
False
Let a(k) = -k**3 - 5*k**2 - 9*k - 15. Let t be a(-4). Let c = 0 - -1. Is (t/c)/((-3)/(-27)) a multiple of 15?
True
Let o(n) = 3 + 9*n - 11*n + 3*n. Let m be o(-7). Does 9 divide (m/3)/((-12)/144)?
False
Let s be 1 - (-7)/((-21)/(-9)). Suppose w - 40 = s*q, 60 = 5*w + q - 140. Is w a multiple of 5?
True
Is 39111/51 - 8/(-68) a multiple of 18?
False
Let s(a) = 10*a - 11. Let h(x) = -x + 1. Let z(y) = 3*h(y) + s(y). Let j = -12 - -16. Is z(j) a multiple of 5?
True
Suppose -5*z + 5*q + 3 = 33, -2 = -z + 5*q. Is -15 + 69 - (z/2)/(-2) a multiple of 13?
True
Is 11 a factor of (2/((-42)/1771))/((-1)/9)?
True
Let i be ((-3)/(-6))/(9/198). Let v = i - -28. Is v a multiple of 11?
False
Let l(m) = 2*m**2 + m + 9 + 11*m**3 - 9 - 2*m. Is 5 a factor of l(1)?
False
Let a(z) = -8*z**2 - z - 1. Let i be a(-1). Suppose 2*j = 5*j + 18. Is 5 a factor of i/j*(19 + -1)?
False
Let a = 50 + -42. Let z = a - -25. Does 8 divide z?
False
Suppose r = -4*r + 100. Is 4 a factor of ((-64)/40)/(2/r*-1)?
True
Let y(l) = 2*l**3 - 8*l**2 - 4*l - 12. Let p(r) = -r**3 - r**2. Let m(g) = 3*p(g) + y(g). Is m(-11) a multiple of 4?
True
Let z(n) = 2*n + 2 + n**3 - 4 + 2*n**2 - 4*n. Let w be z(-2). Suppose -5*i + 21 = -w*i. Is i a multiple of 7?
True
Let q(b) = b**2 + 5*b + 2. Let u be q(-5). Let m(w) = -15*w - 12. Let c be m(-1). Suppose u*y - c*y = -11. Is y a multiple of 4?
False
Suppose -u + 2 = -6. Is u even?
True
Let l(z) = z - 12. Let c be l(11). Let s be (-7)/(-42) + c/6. Suppose -5*t + 7*f + 145 = 2*f, -3*t - 2*f + 102 = s. Is 16 a factor of t?
True
Let i(j) = 2*j**2 - 2*j + 4. Let u be i(-4). Suppose -14*v - 357 = 3*v. Let d = v + u. Is 18 a factor of d?
False
Let d(r) = r - 11. Let o(i) = i + 25. Let l be o(-13). Let x be d(l). Is 23*((-1)/(-1))/x a multiple of 23?
True
Let w = -3 + 4. Is 28 a factor of -36*w*(-22)/6?
False
Let g = -14 + 0. Let j(w) = w**3 + 13*w**2 - 15*w + 20. Is 17 a factor of j(g)?
True
Let z = 25 + -29. Is 5 a factor of z - (-9 - (0 - -1))?
False
Let p(t) = t**2 + 5. Let k be p(0). Suppose 5*h + 2*v - 321 = 74, 0 = 4*h - k*v - 316. Does 13 divide h?
False
Let v(x) = x**3 + 11*x**2 + 6*x + 9. Let g be v(-11). Let k = g - -27. Let l = -10 - k. Is 20 a factor of l?
True
Let y(l) = l**3 - 4*l**2 - l - 1. Let q be y(3). Suppose -14*n = 3 - 269. Let b = q + n. Is 6 a factor of b?
True
Suppose 2*f = 7 - 1. Let o be (4 - (0 + f)) + -2. Does 20 divide (-21 - o)*-1 + 0?
True
Suppose 95*o - o - 285102 = 0. Is 9 a factor of o?
True
Let o(w) be the first derivative of -w**4/4 - 2*w**3/3 - 2*w**2 - 3*w - 3. Let y be o(-2). Suppose 4*n - y*g + 91 = 267, 0 = n + 4*g - 23. Does 9 divide n?
False
Suppose q = -q. Let l be q - (-4)/((-4)/(-13)). Suppose -9*j - 72 = -l*j. Is j a multiple of 9?
True
Let v = 20 - 18. Let y be (-5 - -4)/((-2)/v). Is 14 a factor of (0 + -14)/(y/(-2))?
True
Let g(a) = -a**3 + 6*a**2 + 13*a - 28. Is 2 a factor of g(6)?
True
Let l(q) = -q**2 + 15*q - 34. Let h be l(12). Suppose h*x = 2*f - 194, 9*f + 5*x = 6*f + 291. Is 9 a factor of f?
False
Let r(m) = m**3 + 7*m**2 + 6*m + 5. Let o be r(-6). Suppose 3 + o = 2*s. Suppose -x + 3 = 3*a, 0 = x + 4*x + s*a - 59. Is x a multiple of 6?
False
Suppose 0 = 5*z + s + 285 - 1037, 4*z + 5*s - 610 = 0. Suppose z = -15*a + 20*a. Let c = a - 18. Is 4 a factor of c?
True
Suppose 4*p + o = -5, -3*p + p + 3 = -5*o. Let n be 14/7 - (-10 + p). Is 10 a factor of n - -1*(-4 - -1)?
True
Suppose -w + 4*h = 15, -2*w - 3*w - 29 = 3*h. Let m = 27 + w. Is m a multiple of 4?
True
Let n(f) = f**2 + 9*f + 6. Let i be n(-14). Suppose -i = -q - 22. Is q a multiple of 26?
False
Suppose -3*z = 5*p - 687, 15*p - 11*p = 5*z + 520. Does 15 divide p?
True
Let o(n) = 23*n**2 + 17*n + 2. Is o(2) a multiple of 19?
False
Let x(z) = z**2 - 25*z - 66. Does 7 divide x(29)?
False
Suppose 78 = -k + 7*k. Is (-6)/39 + 1042/k a multiple of 20?
True
Let v(i) = -5*i + 1. Let t be v(-1). Suppose 4*r = 5*y + 16, 3*y + 2 = 2*r - t. Is 14 a factor of 700/42 + r/(-6)?
False
Let c(g) = g**3 + 17*g**2 + 19. Let a(s) = -1 + 1 + 2*s - s**2 - 3 + 1. Let n be a(-3). Is 19 a factor of c(n)?
True
Let f(z) = 11*z - 6. Let t(b) = b - 1. Let s(h) = -f(h) + 3*t(h). Let k be s(9). Let o = -26 - k. Is 8 a factor of o?
False
Suppose 3*h - 799 = -106. Let k = h - -41. Suppose -52 + k = 5*n. Is n a multiple of 9?
False
Let h be (-14)/4*18/(-21). Let s be 1 - (2 - (h + 0)). Suppose s*w + 3*w = 90. Does 6 divide w?
True
Let r = -36 + 447. Suppose -6*v + 345 + r = 0. Is v a multiple of 39?
False
Let t(h) = -3*h**3 - 4*h**2 - 3*h + 2. Suppose 0*k + 4*n + 14 = k, 0 = 2*k + 4*n + 8. Suppose 5*w = k*p - 21, 3*w - 2*p = w - 12. Does 18 divide t(w)?
False
Let x(q) = -q**3 + 10*q**2 - 2*q + 14. Let g be x(10). Let l be (-2 + (-16)/g)*45. Suppose 0 = -k + 2*i + 50, -2*i + l = k - 0*i. Is k a multiple of 20?
True
Let p = -40 + 147. Suppose p - 295 = -2*m. Is 14 a factor of m?
False
Let a = -5 - -3. Is a + 2 + 0 - -4 a multiple of 4?
True
Let b(q) = q**2 + 4*q - 3. Let g be b(-5). Suppose w - 46 = -g*z, 0 = -0*z + z - 1. Is w a multiple of 7?
False
Let j = -9 - -227. Suppose 3*t = j + 286. Is t a multiple of 28?
True
Suppose 3*n - k - 34 = -n, k = -5*n + 38. Suppose -n = -4*c, -5*q + c = -2*c - 814. Is 13 a factor of q?
False
Let t(z) = -z**2 - 7*z - 3. Let u be t(-6). Does 12 divide (u + -7)/(-12)*86*3?
False
Suppose 2*h + 2*v + 122 = 6*h, v - 99 = -3*h. Is h/(-6)*(-117)/3 a multiple of 52?
True
Let h(u) = -5*u - 20. Suppose -3*w - 2*g = -33, w - 3*g + 6 = 2*g. Let d = w + -16. Is 3 a factor of h(d)?
True
Suppose 8*t - 4*t = -4, -3*t - 1599 = -4*l. Does 13 divide l?
False
Suppose 0 = -2*f - 12. Let g be f/(-10) + (-188)/(-20). Suppose -64 = 8*p - g*p. Is p a multiple of 16?
True
Let m = -5 - -25. Let r = m + 100. Does 40 divide r?
True
Suppose 0 = 5*g - 10, d - 3*g - 16 = -18. Is 3 a factor of d?
False
Let y = 310 - 301. Does 5 divide y?
False
Is (-15 - 0)*(-417)/9 a multiple of 52?
False
Does 14 divide (12/(-6) - -3)*(77 - 2)?
False
Is 722 - 1/(-1)*10/10 a multiple of 30?
False
Let y = -4 + 7. Let l(g) = 4*g - 3*g + y*g + 12. Does 22 divide l(14)?
False
Let x(j) = j**2 + 10. Let p be x(0). Suppose -5*w = -p - 1110. Is 16 a factor of w?
True
Suppose 3*n + 160 = 11*n. Does 8 divide -14*6*(-10)/n?
False
Let a(c) = -c**3 + 39*c**2 + 9*c - 43. Does 59 divide a(12)?
True
Suppose 0 = 2*a - 2*d - 10, 0*a = -4*a + 5*d + 23. Does 10 divide 1/a*(178 + -24)?
False
Let i be (-96 - 1)/((-12)/24). Suppose -i = -4*o + 150. Does 22 divide o - 1*(-4 + 2)?
True
Let y(i) = -i + 2. Let w be y(4). Let a(g) = -g**2 - 8*g - 3. Is 2 a factor of a(w)?
False
Let v = 15 - 3. Let o be (11 + -19)/((-1)/59). Is o/v - (-2)/3 a multiple of 12?
False
Does 14 divide 0/(-2) + (-128)/12*-51?
False
Let a(h) = h**2 - h - 1. Let s(z) = z**3 + 16*z**2 - 18*z - 13. Let q(w) = 3*a(w) - s(w). Let y be q(-14). Let j = y + 18. Is j a multiple of 14?
True
Suppose 0 = -2*j - 0 - 26. Let w = 2 - j. Does 20 divide (-1)/(-2)*8*w?
True
Let s be 2 + 16/(-6) - 80/(-30). Is 10 a factor of 148/3 - s*(-2)/6?
True
Let f = 252 + -180. Let g = 102 - f. Is g a multiple of 6?
True
Let w be 43/(-2) + (-9)/(-6). Let o = 37 + w. Let m = 26 - o. Does 9 divide m?
True
Does 17 divide 6 - -253 - (-3)/((-3)/(-4))?
False
Let d(m) = 9*m + 40*m**2 + 67*m**2 - 2 - 12*m. Is d(-1) a multiple of 53?
False
Let x(y) = -y**2 - 14*y + 4. Let q be x(-14). Suppose -150 = -5*m - 3*o, -4*m + q*o - 31 = -151. Is m a multiple of 5?
True
Let r = 0 + 10. Suppose -80 = -5*h - 3*l, 3*l = l - r. Suppose -3 = -2*b + h. Is 5 a factor of b?
False
Let x = -774 - -901. Suppose -2*n + 3*i = 3, -4*n - 3*i + 14 = -7. Suppose -3*c = 2*d - x, -n*c - 44 = -d + 6. Is d a multiple of 12?
False
Let l(k) = 41*k + 737. Is 9 a factor of l(-16)?
True
Let p(s) = 19*s**2 + 3*s + 2. Let i be p(-2). Let q = i - -10. Is 13/39 - q/(-6) a multiple of 8?
False
Let v be (-2)/4 