tor of v?
True
Let z(v) be the second derivative of -v**4/12 + 3*v**3/2 - 5*v**2 - 2*v. Is z(6) a multiple of 3?
False
Let v = -46 + 22. Let g = v + 41. Let w = 33 - g. Is 8 a factor of w?
True
Let h(i) = -143*i**3 - 3*i**2 - i + 4. Let u(g) = -g**3 - g**2 + 1. Let l(s) = -h(s) + 3*u(s). Is l(1) a multiple of 14?
True
Let l(k) = 4*k**2 + k + 13. Does 9 divide l(-7)?
False
Suppose -2*t + 3528 = -1072. Is 20 a factor of t?
True
Suppose 7 = k + 4. Suppose 4*n + k*z - 10 = 0, -n - 4*n = z - 18. Suppose x = -n*s - 3 + 103, -5*x = 5*s - 140. Does 8 divide s?
True
Let j(r) = 2*r**2 - 13*r - 1. Let s(m) = 5*m**2 - 38*m - 3. Let t(b) = 11*j(b) - 4*s(b). Does 9 divide t(-7)?
True
Suppose -103 = -7*k - 12. Let d(g) = -g**3 + 12*g**2 + 21*g - 32. Does 9 divide d(k)?
True
Let k(g) = 2*g - 1. Let m be k(3). Suppose 0 = l - 0*l - 3*s + 27, -77 = 3*l - m*s. Let h = l - -44. Is h a multiple of 20?
True
Let g = -40 + 42. Suppose -g*i + 5*m = -28 - 25, 3*i = -2*m + 32. Is i a multiple of 8?
False
Suppose 6969 = 2*p - z, -17415 = -5*p + 45*z - 50*z. Is p a multiple of 13?
True
Is 2 - ((-6488)/23 + (-8)/(-92)) a multiple of 6?
False
Let j(h) = -5*h + 2844. Let b be j(0). Is b/(-24)*2/(-3) a multiple of 12?
False
Let v = -14 + 16. Suppose 5*n + 4*a = 106, -v*n + n - 5*a + 17 = 0. Is 9 a factor of n?
False
Let u(f) = -2*f**3 - 8*f**2 + 3*f - 2 + 3*f**3 + 3. Let r(p) = 4*p - 11. Let s be r(5). Is u(s) a multiple of 22?
False
Let g = 23 - 14. Let t = g - -42. Is 17 a factor of t?
True
Let r be (-22)/(-99)*18/2. Suppose 3*y - 112 = -r*m + 29, -m + 63 = 4*y. Is m a multiple of 15?
True
Let t(c) = -c**2 - 7*c - 3. Let u be t(-9). Let f be (u/(-6) - 3)*10. Suppose f*p = -1 + 31. Is p a multiple of 3?
True
Suppose 0 = 40*t - 14*t - 9360. Does 36 divide t?
True
Suppose -167 = -4*n + 57. Let o = 84 - n. Does 7 divide o?
True
Let i(t) = 2*t**2 + 10*t - 3. Let f be i(-7). Let h = -22 + f. Suppose 5*x = -h*o + 65 + 116, -2*o + 39 = x. Does 10 divide x?
False
Suppose 2*r - 20 = -3*r. Suppose -4*a + r*b - 2*b + 96 = 0, -4*a + 84 = b. Does 7 divide a?
False
Suppose -2*i + 3*i = 2*t - 2, 2*t - 10 = -i. Suppose t*w - 2247 = -5*q, 3*w - 1347 = -3*q - 0*w. Suppose q = 4*n + 2*n. Is n a multiple of 15?
True
Let q = -41 - -41. Suppose 750 = 4*s - 3*t, -3*s + t + 310 + 255 = q. Suppose p = 4*p - s. Is 21 a factor of p?
True
Let h = -23 + 25. Let x be 4/2 - (-30 + h). Suppose 0 = 5*o - 90 - x. Is 8 a factor of o?
True
Let t = 210 - 36. Does 15 divide 2 + t + (4 + 1 - 4)?
False
Let g(j) = j**2 - j + 53. Let y be g(0). Let s = 61 + y. Suppose -5*m + 35 = -k + s, 2*m - 316 = -4*k. Does 15 divide k?
False
Suppose 3*h - 364 - 230 = 0. Does 33 divide h?
True
Let y(f) be the first derivative of -f**3/3 + 25*f**2/2 + 34*f + 22. Is 20 a factor of y(18)?
True
Let l(v) = 417*v + 1. Let n be l(1). Suppose 7*k + 17*k = -17*k. Suppose -3*m - 145 + n = k. Is m a multiple of 25?
False
Let n(u) = -5*u - 46. Let j be (-132)/(-18)*-1*6/4. Does 3 divide n(j)?
True
Let f = -6 + 4. Let k be 140/8 - f/4. Is 6 a factor of 0 + -1 + k - 3?
False
Is 68 a factor of 182/(((-1)/11)/((-1)/2))?
False
Let i(b) = -b - 6. Let o be i(-2). Is 10 a factor of ((-10)/o + -2)/((-4)/(-144))?
False
Suppose -7*u + 12*u = -260. Does 3 divide (-304)/u + (-2)/(-13)?
True
Let w be 0 - (0 - 0) - 57. Let y = w - -69. Is y a multiple of 5?
False
Let s be 0/(-4*(-5)/(-10)). Suppose 2*j + j = s. Suppose j = 6*h - 43 - 461. Does 19 divide h?
False
Is 10 a factor of (3 + 2)/5*30/3?
True
Suppose 0 = 24*c - 16*c - 16. Suppose 420 = c*j - 120. Does 18 divide j?
True
Let u(q) = -5*q + 19. Let l = 8 - 14. Is u(l) a multiple of 9?
False
Let f = 35 + 176. Is f a multiple of 19?
False
Suppose 0 = 9*l - 6*l - 309. Let o = -93 + l. Is 2 a factor of o?
True
Let g(q) = -q**3 + 11*q**2 - 6*q - 22. Let x = -14 - -23. Is 25 a factor of g(x)?
False
Let g be (-31 + 13)/((-4)/(-6)). Let t = g - -29. Suppose 3*p - t*f = -p + 246, -5*f - 202 = -3*p. Is 12 a factor of p?
False
Suppose -7*q = -4*q - 1536. Is 8 a factor of (2/4)/(16/q)?
True
Suppose -127 = -5*b + d, -129 = -5*b + d + d. Let q = b - -50. Is q a multiple of 19?
False
Let p = -7 - -5. Let m be ((-276)/(-9))/(p/(-6)). Let u = m - 33. Is u a multiple of 20?
False
Let f be ((-4)/(-3))/((-6)/(-27)). Let v(u) = u**2 - 5*u + 4. Let x be v(5). Suppose f*k - 8 = x*k. Is k a multiple of 2?
True
Let u = 207 - -286. Is 29 a factor of u?
True
Let t(x) = -29*x - 49. Is 2 a factor of t(-2)?
False
Suppose 8 = 7*p - 3*p. Suppose -o - p*n + 74 = 0, -o - 4*n + 83 = -5*n. Is o a multiple of 8?
True
Let v(m) = 651*m**2 + 13*m - 1. Is 52 a factor of v(1)?
False
Let v be -10 - (-4 - (0 - 0)). Let x = v + 19. Is x a multiple of 13?
True
Suppose 0 = -3*n + l + 221, 95 = 4*n - 3*l - 208. Does 3 divide n?
True
Let k = 218 + -113. Is 3 a factor of k?
True
Suppose 4*t - g = 6069, -27 = -2*g - 37. Is 18 a factor of t?
False
Suppose -2*s + 2*u + 0*u + 44 = 0, 5*s - 110 = 4*u. Does 9 divide s?
False
Suppose -63954 = 24*p - 46*p. Does 14 divide p?
False
Let k = 49 + -19. Does 3 divide k?
True
Let s(d) = -6*d. Let t be s(-1). Suppose -4*r = t*r - 180. Is 14 a factor of r?
False
Suppose 4 = -4*z - k + 16, 0 = 2*z - 2*k - 16. Suppose z*m = 33 + 123. Is m a multiple of 13?
True
Suppose 0 = 4*i - 2*m - 136934, 2*m = -0*i + 5*i - 171170. Let j be 8/(-28) - i/(-21). Does 12 divide j/40 + (-2)/(-8)?
False
Suppose 51 - 152 = -v. Is v a multiple of 4?
False
Suppose 68 = 3*c - 3*s - 469, -12 = -4*s. Is 26 a factor of c?
True
Let y(g) = 2*g. Let c be y(-1). Is 15 a factor of c/6 - (-2541)/63?
False
Is 11 a factor of (14/7)/((-6)/(-2169)) - -3?
True
Let l(x) = 638*x**2 - 12*x + 2. Is 92 a factor of l(2)?
False
Let c be 165/9 + 3/(-9). Let a = 20 - c. Suppose t = -h + 14, 3*t = a*h + 2*h + 49. Is t a multiple of 6?
False
Let f(n) = n**3 - 5*n**2 + 3*n. Let l be f(4). Let a(y) = 1. Let o(c) = c**3 + 5*c**2 - 3*c + 8. Let z(i) = -6*a(i) + o(i). Is z(l) a multiple of 9?
False
Let a = -59 + 329. Is a a multiple of 45?
True
Let c(d) = 4*d + 8. Let f(k) = 2*k**3 + 9*k**2 - 6*k - 3. Let j be f(-5). Is c(j) a multiple of 8?
True
Let t(n) be the second derivative of n**3/6 - 2*n**2 + 2*n. Let w be t(7). Suppose b = -2*y + 43, -y + 16 = w*b - 108. Is 16 a factor of b?
False
Let f(q) = -6*q**3 + 14*q**2 - 1. Let v(c) = -c**3 + c**2 + 1. Let o(s) = -f(s) + 4*v(s). Let t be o(5). Suppose t*w + 274 = 7*w. Is 30 a factor of w?
False
Let y(k) be the third derivative of 19*k**5/30 + k**4/6 + k**3/3 + 13*k**2. Does 49 divide y(-2)?
False
Suppose -442*o + 447*o - 2120 = 0. Is 8 a factor of o?
True
Suppose 4*b = 18 + 2, -5*b + 181 = 3*y. Let x = y + -17. Does 5 divide x?
True
Let p(i) = -i**2 - 10*i - 6. Let b be p(-7). Suppose 4*o + 0*o - n = b, -4*n = -2*o + 4. Suppose 4*d = -2*q - 2 + 10, 3*d + 2*q = o. Does 2 divide d?
True
Suppose -z - 3*f = -606, 4*z = 3*z + 5*f + 582. Is 17 a factor of 4/(-14) + z/(-28)*-4?
True
Let z(b) = -114*b + 27. Is 40 a factor of z(-3)?
False
Does 8 divide ((-49)/3 - -9)/((-3)/207)?
False
Does 3 divide ((-9)/(-6))/((-6)/(-460))?
False
Let q be 1/(((-12)/(-9))/4). Let g be ((-315)/20)/(q/12). Let y = 130 + g. Does 14 divide y?
False
Let c(v) = -v**2 + v + 2. Suppose 2*t = -3*f + 11 + 9, -5*f - 2*t + 32 = 0. Let q be c(f). Let m = 79 + q. Does 21 divide m?
False
Suppose -v - 1099 - 1548 = -2*k, -15 = 5*v. Is k a multiple of 15?
False
Suppose -30 = q - 29, 2*b + 2*q - 772 = 0. Does 9 divide b?
True
Let p(d) = -d**3 - 14*d**2 - 6*d - 28. Let j(b) = b**3 + 5*b**2 - 7*b - 20. Let y be j(-6). Does 11 divide p(y)?
False
Let n(d) = 1. Let z(i) = -2*i + 11. Let t(p) = -5*n(p) + z(p). Let w(y) = y. Let f(h) = t(h) - 3*w(h). Does 7 divide f(-3)?
True
Suppose -2*v + 8 + 2 = 0. Suppose 2*s - 59 = -o - 0*s, -o + 24 = -v*s. Is 7 a factor of o?
True
Suppose 92*u = 98*u - 192. Does 16 divide u?
True
Let l(x) = -x. Let g(v) be the third derivative of 3*v**4/8 - v**3/6 + 4*v**2. Let r(n) = g(n) + 4*l(n). Does 2 divide r(1)?
True
Let l = 110 - 60. Is 5 a factor of l?
True
Let g be (-116)/2 - (3 - 2). Let m = g + 115. Is m a multiple of 14?
True
Suppose -8*s - 35 = -13*s. Suppose s*l = -14 + 462. Is l a multiple of 4?
True
Suppose 19*j - 25*j + 174 = 0. Does 3 divide j?
False
Suppose 0 = f + 13 - 16. Suppose -c = 2*c - 9, -f*c = z - 13. Suppose -2*n + 