
Let s(y) = y**3 - 4*y**2 - y - 11. Let o(z) = z**2 - 6*z - 11. Let j be o(8). Let c be s(j). Is 13 a factor of 3/((-1)/(-312)*c)?
True
Let h = 44 - 44. Let m = h + 76. Is m a multiple of 38?
True
Let q be (-2)/(-4) + (-2)/4. Suppose q = -m + 152 - 4. Does 37 divide m?
True
Suppose -592*w + 601*w = 4140. Is w a multiple of 95?
False
Suppose -1619 = -4*f - 5*c, 22*f - 1220 = 19*f + 2*c. Is f a multiple of 58?
True
Let q(a) be the second derivative of a**7/2520 - a**6/360 - a**5/30 + 5*a**4/12 - a. Let i(w) be the third derivative of q(w). Is i(8) a multiple of 16?
False
Is 27 a factor of 49504/65 - (-14)/35?
False
Suppose 4 + 5 = 3*j - i, -j + 17 = -5*i. Suppose t - j*t = -17. Suppose -t - 7 = -l. Is l a multiple of 8?
True
Let v = 306 + -176. Is v a multiple of 2?
True
Suppose 11*z = 13*z - 158. Suppose d - u = 53, 0 = -5*d - 5*u + z + 136. Is 6 a factor of d?
True
Let x(u) = 2*u - 4. Let m be x(10). Let d = m + -6. Is 10 a factor of d?
True
Let z be (-1 - -1)/(0 - -1). Suppose z = -6*t + 2*t + 28. Let b = t - -2. Does 3 divide b?
True
Suppose 5*g - 29 - 1 = 0. Let q be (-3)/g + 21/(-14). Let i = q + 23. Is i a multiple of 4?
False
Let n(l) = l**2 - 2*l + 6. Let s be n(8). Suppose 96 = 5*o - s. Does 15 divide o?
True
Let t(u) be the third derivative of 3*u**5/40 - u**4/8 + 5*u**3/6 + 5*u**2. Let h(y) be the first derivative of t(y). Is 12 a factor of h(2)?
False
Is 128/96*123/2 a multiple of 20?
False
Suppose -2*h + 34 = 2*v + 2*v, -23 = -3*v - h. Suppose -26 = -4*q + 26. Suppose 4*m - v*f = -f - 8, 3*m = -f + q. Is 3 a factor of m?
True
Suppose 3*t - 3*g = 2151, -3*g - 844 = -t - 121. Does 14 divide t?
True
Let o = 8 - 6. Let g(d) = -6*d + d + 0*d + o*d + 6 + d**2. Is g(4) a multiple of 5?
True
Let h = -17 + 609. Does 13 divide h?
False
Let k(g) = g**3 + 15*g**2 + 11*g + 10. Let t be k(-14). Suppose 2*q - 29 = 21. Suppose 0 = -4*s - 0*o + 4*o + t, -5*s - 5*o + q = 0. Is s even?
False
Suppose 12*c - 9*c - 378 = 0. Suppose -3*s + 0*s + d + 126 = 0, c = 3*s + 2*d. Is 7 a factor of s?
True
Let w(k) = k**2 + 5*k. Let q be w(-5). Let o be -1 + -2 - -5 - q. Suppose 4*n = o*n + 16. Is n a multiple of 4?
True
Suppose -13*n - 440 = -d - 11*n, 5*n = 5*d - 2180. Is 48 a factor of d?
True
Let x = -24 - -53. Let a = x + -16. Let i = a + 17. Does 12 divide i?
False
Let u(h) = h**2 - 19*h + 24. Suppose t + 5*v - 32 = 0, 0 = -t + 6*t - 3*v - 104. Is 9 a factor of u(t)?
True
Suppose -3*k + 2 = -7. Suppose -y - y + g = 13, -k*y - 4*g = 36. Let n(u) = 2*u**2 + 6*u - 4. Is 22 a factor of n(y)?
False
Let l(d) = -d - 6. Let j be l(-9). Let f(p) = -15*p - 2 - 15 + 7*p + j. Does 17 divide f(-6)?
True
Let w(c) = 59*c - 50. Is w(5) a multiple of 12?
False
Let o(s) = -s**2 - 10*s - 3. Let l be o(-7). Suppose l = 4*j + 98. Let r = j - -26. Is r a multiple of 2?
True
Let b(h) = h**3 + 4*h**2 - 9*h - 10. Suppose -4*t = -19 + 35. Does 26 divide b(t)?
True
Let r = -27 - -29. Suppose 0*v + 50 = r*v. Is v a multiple of 5?
True
Suppose 20647 + 42749 = 18*q. Is q a multiple of 22?
False
Let u(q) = -4*q**3 - 34*q**2 + 35*q. Let b(r) = 3*r**3 + 23*r**2 - 23*r. Let l(t) = -7*b(t) - 5*u(t). Does 9 divide l(6)?
False
Let d = 106 - 53. Suppose 0 = -l + 312 + d. Suppose 5*s = -0*z + 2*z + l, 175 = 2*s + 5*z. Does 25 divide s?
True
Let h be -7*(7 - 3 - -10). Does 17 divide (-22)/11 - (h - (-1 - -1))?
False
Let q(d) = d - 6. Let x be q(6). Let l = 4 + -1. Suppose 4*p + u = 213, l*p + x*p - 155 = 4*u. Does 19 divide p?
False
Suppose 5*o = i + 3821, o - 8*i = -10*i + 773. Is o a multiple of 9?
True
Suppose -1 = k, 3*d + 41 = 6*d - 5*k. Suppose -y = -d - 26. Is 15 a factor of y?
False
Is 20 a factor of 56/(-3)*(91 - 121)?
True
Suppose 0 = -35*g + 38752 + 18998. Is 57 a factor of g?
False
Suppose -2 = 3*x + 16. Let o be x/(-9)*(-102)/(-4). Let d = -10 + o. Is 7 a factor of d?
True
Let c be -4 - (70 - -3)/(-1). Suppose c = 5*n - 2*n. Is n a multiple of 23?
True
Let t(y) be the first derivative of -y**4/4 - 11*y**3/3 - 15*y**2/2 - 4*y + 39. Does 6 divide t(-10)?
False
Let w(r) = -131*r + 1. Let x(g) = g - 9. Let n be x(8). Is w(n) a multiple of 22?
True
Suppose 6*g - 3 + 33 = 0. Let p be (-1)/g + (-181)/5. Is (4 + p)*3/(-2) a multiple of 13?
False
Let i be -1 + (-2)/1 + 5. Let h(d) = 7*d**i - 2*d - 5*d**2 + 15*d**2 + d. Is h(-1) a multiple of 9?
True
Let z(c) = -4*c**2 - 13*c - 5. Let y be z(-5). Let w(f) = f**3 + 8*f**2 + f - 6. Let j be w(-5). Let i = j + y. Does 8 divide i?
True
Suppose -8*p + 12 = -5*p. Suppose 4*r = -p + 20. Does 14 divide 165/12 + 1/r?
True
Let i be 214/14 + 2/(-7). Suppose 5*z + 2*v = 4, 0*z - 17 = -z + 5*v. Let u = z + i. Does 15 divide u?
False
Let b be (2 - 3) + -1 + 9. Let n be 4/(-16) + b/(-4). Is (33/(-6))/(1/n) a multiple of 4?
False
Is 757 + (8 - (13 - 4)) a multiple of 31?
False
Let z = -10 + -41. Let u = -31 - z. Is 10 a factor of u?
True
Is 2 a factor of (-17)/(1785/(-14)) + (-223)/(-15)?
False
Let y(t) = 17*t**2 - 71*t + 22. Does 85 divide y(9)?
False
Suppose -l + 2 = l. Let k be 0 + l + (-1 - -5). Let d(v) = 4*v**2 - 5*v + 6. Is d(k) a multiple of 27?
True
Let c(t) = t - 19. Let v be c(10). Let i be -63*v/((-54)/(-8)). Suppose -i = -2*g + 18. Is g a multiple of 10?
False
Let k be -6 - (-9)/1 - (-1 - 314). Suppose 0 = -2*b + 4*f + 44 - 2, -3*b - 3*f + 90 = 0. Does 11 divide k/b - (-8)/36?
False
Suppose -4*h + 3*h = -2*g + 9, 2*h - 6 = -2*g. Suppose -5*f - 2*l + 3 = -17, 2*f + g*l = -8. Is 2/f - (-228)/18 a multiple of 6?
False
Let a(z) = -28*z + 94. Is 23 a factor of a(-7)?
False
Let r = -16 - -19. Suppose r*c - 4 = 2. Is c even?
True
Is 49 a factor of (-3)/15 - (-11341)/55?
False
Let f(s) = 6*s. Let o be f(7). Suppose -t - 10 = t. Is (-6 - t)/((-3)/o) a multiple of 14?
True
Let i(s) = -2*s**2 + 2. Let d be i(-2). Suppose -4*y - 5 = 7. Does 6 divide 0 - ((d - y) + -11)?
False
Suppose 2*l - 3*l = -10. Let q(i) = -l - 6 + 10*i - 8 + 10. Is q(6) a multiple of 23?
True
Suppose 5*p + 2*s - 7224 = 0, 3*p + p - 5770 = 3*s. Let m = p - 987. Let f = m + -309. Is f a multiple of 41?
False
Suppose 59*m + 2898 = 66*m. Is 18 a factor of m?
True
Let z(a) be the first derivative of a**4 - a**3/3 + 2*a**2 - 3*a + 7. Is z(3) a multiple of 18?
True
Let x = 68 + -44. Let r be (-18)/x + 54/8. Let i = r - -10. Does 16 divide i?
True
Let w(b) = -3*b + 1. Let z be w(-1). Suppose r - z*p = 14, -2*p - 5 = 5*r + 3*p. Suppose -6*n + 176 = -r*n. Is n a multiple of 22?
True
Let v = 207 - 95. Let c be (159/(-12))/((-7)/v). Suppose 3*o = -4*q + c + 55, 4*q + o = 265. Is q a multiple of 22?
True
Let v(x) be the second derivative of -17*x**3/3 + x**2 + 6*x. Is 29 a factor of v(-2)?
False
Suppose 3*c + 273 = o - 3, -4*c - 368 = -5*o. Let x = c + 172. Let t = x - 39. Is 10 a factor of t?
False
Suppose -6*o + o - z + 22 = 0, -5*o - 2*z = -24. Suppose o*i - 13 = 3. Suppose -4 = 4*h + i*c, -5*c + 7 = -4*h + 39. Does 2 divide h?
False
Suppose -7*t = -6*t. Suppose 5*y + 71 = 3*j, -j + t*j - 2*y = -42. Is j a multiple of 7?
False
Let t = -17 - -53. Suppose -g = -3, -v - 4*g + t = -g. Does 9 divide v?
True
Let u = 1164 - 894. Is 6 a factor of u?
True
Suppose 0 = -7*n - n + 432. Suppose 0 = -n*u + 50*u + 64. Does 8 divide u?
True
Let j = 53 - -97. Suppose 5*l + 5*z - 8 = 12, 4*l - 3*z = 23. Suppose -21 + 113 = 3*b - l*o, 0 = -5*b + 5*o + j. Is 13 a factor of b?
False
Let p(n) = -98*n + 14. Does 42 divide p(-2)?
True
Suppose 2*z = 2*d - d + 19, 4*d = z + 1. Is 2 a factor of z?
False
Let s(x) be the second derivative of 4*x**3/3 - 27*x**2/2 - 50*x. Is 38 a factor of s(22)?
False
Let z(y) = 286*y + 81. Does 49 divide z(4)?
True
Suppose -l + 211 - 64 = 0. Does 49 divide l?
True
Suppose 947 = -12*l + 12179. Is l a multiple of 18?
True
Suppose 4*p - 3*v - 96 - 10799 = 0, -4*v = 5*p - 13580. Is 17 a factor of p?
True
Let g = 41 - 41. Suppose 11*m - 7*m - 84 = g. Is m a multiple of 6?
False
Let n = 389 - -1543. Does 21 divide n?
True
Let j be ((-95)/(-20) - 4)*4. Let w = j + -10. Let x(v) = v + 20. Is x(w) even?
False
Suppose 5*j = -3*g, 5*g - 9*g + 23 = -j. Suppose -g*k = -3*b - 925, 5*k - 2*b = 2*b + 920. Is 9 a factor of k?
False
Let l(a) = a**2 - 11*a + 83. Is 11 a factor of l(-15)?
True
Let o be 36/45 + (-183)/(-15). Let k = 7 - 4. Let v = k + o. Is 8 a factor of v?
True
Suppose 7*k + 14 - 147 = 0.