se 3*x + a - 9 = -x, 3*x + 4*a + 3 = 0. Suppose 0 = -4*u + 4, 4*d - u + x*u = -22. Is s(d) a multiple of 15?
True
Suppose u - r - 2 = -30, -2*r = 3*u + 64. Let f = u + 48. Is f a multiple of 19?
False
Suppose 3*s - 763 = 5*f, -5*s + 2*s + 4*f + 761 = 0. Suppose 5*w - s + 16 = 0. Does 23 divide w?
False
Let n be (-7)/(-35) + 1623/(-15). Is (-1)/(5 + -1) + (-9423)/n a multiple of 10?
False
Let o(t) = t**2 + t - 20. Let l be o(6). Suppose l - 92 = -7*f. Does 3 divide f?
False
Let c(z) = -z. Let f be c(0). Suppose 4*d + 22 = g - 0*d, f = 2*g - 4*d - 40. Is 9 a factor of g?
True
Let k(n) = -36*n**3 + 2*n - 1. Let j be k(1). Let r = 3 + -60. Let t = j - r. Does 11 divide t?
True
Suppose -4*z - 3*w - 3 - 9 = 0, 8 = 5*z - 2*w. Suppose 2*j + 2*r = 0, -3*r - 2 = -z*j + 5*j. Let o = j + 40. Is 14 a factor of o?
False
Suppose -2*b + 5 = 1. Suppose y - b*y - 118 = 0. Let i = y - -213. Is i a multiple of 19?
True
Let u be (5/(-5)*0)/(-1). Suppose z + 10 - 21 = u. Is z a multiple of 11?
True
Let o = -357 - -156. Let w = -131 - o. Is w a multiple of 14?
True
Let a(o) = o**3 - 5*o**2 - 20*o - 8. Let u(y) = -y**3 + 5*y**2 + 19*y + 9. Let z(i) = -6*a(i) - 7*u(i). Does 13 divide z(8)?
False
Let i be (-6 - (-5 + 3))*(0 - 1). Let s(d) = 2*d**3 - d**2 + 7*d - 7. Is 19 a factor of s(i)?
True
Suppose -5*r + 5*w + 11 = -4*r, 2 = 2*r - 5*w. Does 9 divide (-271)/(-6) - r/(-54)?
True
Let v = -190 - -252. Is v a multiple of 31?
True
Let q(t) be the second derivative of t**4/4 + 5*t**3/6 - 4*t**2 + 21*t. Does 15 divide q(4)?
True
Suppose -2*b + 7 + 71 = 0. Let g = b + -9. Does 3 divide g?
True
Suppose 2*x + 5*y = 16, 3*x + 3*y = -y + 24. Suppose 0 = 13*c - x*c. Suppose -4*z = -c*z + 12, z = -2*k + 111. Is k a multiple of 16?
False
Let j = 16 - -330. Suppose 0 = q - 5*a - 92, a + j = 4*q - q. Does 13 divide q?
True
Let x(w) = w**3 - 8*w**2 - 4*w - 6. Let p = 9 + -6. Let m be p + 8 - (3 + -1). Is 8 a factor of x(m)?
False
Let a(f) = 17*f - 88. Does 24 divide a(8)?
True
Suppose 0 = t + 4*j - 533, 3*t + 224 = -3*j + 1805. Does 57 divide t?
False
Suppose -l = -6*s - 568, 5*l - 5*s - 921 - 1944 = 0. Does 5 divide l?
False
Let v(w) = -40*w - 53. Does 38 divide v(-7)?
False
Let n = -9 + 0. Let y = n + 11. Suppose -w - 2*g = -26, y*g - 28 = -5*w + 94. Is w a multiple of 6?
True
Suppose 0 = 6*g - 7220 + 902. Does 9 divide g?
True
Suppose 2*p = -0*p + 3*i - 19, 2*p = 4*i - 16. Let w = -20 - p. Is 12 a factor of 6/(-18) - 362/w?
True
Let b(q) = -2*q**2 - 13*q + 1. Let d = 38 - 42. Is 20 a factor of b(d)?
False
Let g(c) = 2*c**2 + 11*c - 6. Suppose -4*i + 128 = -0*i. Suppose 2*v = -2*v - i. Does 17 divide g(v)?
True
Suppose 0 = -2*c + 2 - 6, 4*q + 2*c = 24. Does 8 divide 1 + -4 - (-64 - (-35)/q)?
True
Let k(m) = 9*m + 12. Let a be ((-50)/30)/(1/(-6)). Let x(n) = -n + 19. Let u be x(a). Is 31 a factor of k(u)?
True
Does 15 divide 4/(5 + -4)*(-3585)/(-10)?
False
Let n(a) = a**3 + 9*a**2 + 10*a - 2. Let s be n(-7). Suppose 22*c - s*c + 20 = 0. Suppose -c*v = -8*w + 4*w - 111, 18 = v - 5*w. Is v a multiple of 13?
False
Let j(g) = 19*g - 1. Let n be j(-14). Let v = n - -503. Is v a multiple of 23?
False
Let z(g) = -18*g + 977. Does 13 divide z(52)?
False
Suppose -242 = -27*x + 8722. Is 13 a factor of x?
False
Let o(g) = 2 - 7 - 13 - 10*g - 40. Is o(-14) a multiple of 12?
False
Let q = 93 - -34. Suppose d - 35 = 2*w + 8, 3*d - q = 5*w. Is 9 a factor of d?
False
Let t(m) = 13*m - 16. Let d(l) = -14*l + 16. Let n(z) = -5*d(z) - 6*t(z). Let b be n(-14). Suppose b = 3*j + j. Does 5 divide j?
False
Let q(z) = 22*z + 5. Suppose 2*x - 4 = 2*v + 8, -x = -4*v - 6. Let d be ((-16)/x)/(6/(-9)). Is 28 a factor of q(d)?
False
Let m = 13 - 1. Suppose 0 = m*l - 17*l + 70. Is l a multiple of 14?
True
Let h(a) = 3*a + 30. Let t be h(-9). Suppose -t*v = w - 6*w + 128, 0 = 5*w + 5*v - 160. Is 5 a factor of w?
False
Let c = 7 + -10. Let z be (-10)/(-3) - 2/c. Let a = -2 + z. Is a even?
True
Let g be (7/(-2))/((-2)/4) - 2. Suppose g*n = 506 + 194. Does 28 divide n?
True
Suppose -3*y = -3*j + 4*j - 572, 4*j - 4*y - 2224 = 0. Is 20 a factor of j?
True
Let f(o) = o**3 + 13*o**2 + 7*o - 3. Does 9 divide f(-8)?
True
Let g(n) = n - 11. Let u be g(6). Let j be ((-52)/u)/(1/5). Let h = 81 - j. Does 8 divide h?
False
Let j(a) = 13*a**2 + 4*a - 4. Let m be j(-6). Suppose 176 + m = 8*r. Is r a multiple of 11?
True
Let w = 16 - 14. Let h(a) = 9*a + 0*a**2 + 2*a**w - 3*a**2. Is h(7) a multiple of 4?
False
Let u = 14 - 22. Let k(s) = -10. Let z(l) = l. Let y(b) = 2*k(b) - 10*z(b). Is y(u) a multiple of 12?
True
Let c(r) = 4*r**2 + 12*r - 12. Is 15 a factor of c(9)?
True
Suppose -5*f + 1541 = -h - 1218, -1106 = -2*f - 2*h. Is 69 a factor of f?
True
Does 71 divide (9798/115)/(1/10)?
True
Suppose o - 36 = 5*o. Let z(q) = -q**2 - 2*q + 11. Let h be z(-7). Let p = o - h. Is 15 a factor of p?
True
Let f(l) = l**3 - 5*l**2 + 3*l - 2. Let j be f(5). Let i = 21 - j. Is 16 a factor of (4 - i)*1*-8?
True
Let a be (12/(-16))/(12/(-32)). Let r be 0 + (-10)/(-2) + -2. Suppose r + 19 = a*h. Is h even?
False
Let m(z) = -z**2 + 11*z - 4. Let q be m(10). Suppose 3*b - q - 3 = 0, -2*b + 119 = w. Let i = 175 - w. Is i a multiple of 8?
False
Let o be -3*(-2 + 1/3). Let g be o - 0 - (1 - 0). Is 8 a factor of g/((-39)/(-12) - 3)?
True
Suppose 4*v - 18 = -2*h, 2*h - 2 = 6*v - 2*v. Suppose 2*x - 425 = -5*d, h*d + 375 = 3*x - x. Does 20 divide x?
True
Suppose 3492 = 6*l - 36. Is 49 a factor of l?
True
Let t be (-488)/4*6/(-4). Suppose -3*g + t = 10*y - 5*y, 2 = 2*g. Is y a multiple of 29?
False
Let t = 31 + 17. Is 3 a factor of t?
True
Let j = 3 + -42. Let n = -26 - j. Let w = -8 + n. Is 5 a factor of w?
True
Let c = -33 + 60. Let n = -13 + c. Is 3 a factor of n?
False
Suppose -6*a = -29 - 13. Let h = a - -34. Is h a multiple of 5?
False
Let s = -1821 - -3221. Is 25 a factor of s?
True
Suppose 5*m = 9*m - 12. Suppose -m*w = 121 - 517. Is w a multiple of 22?
True
Suppose -2*h = 3*h - 15. Does 9 divide 15*(1 + h + 4/(-4))?
True
Let j = 45 + -29. Let z(x) be the third derivative of x**6/120 - x**5/4 - 7*x**4/12 + 2*x**3/3 - 3*x**2. Does 6 divide z(j)?
True
Let f(q) = 21*q**2 + 19*q - 120. Is 107 a factor of f(12)?
False
Let z = -2263 - -3960. Is z a multiple of 10?
False
Let u(k) = -179*k - 319. Is u(-5) a multiple of 12?
True
Suppose q = 3*u - q - 22, -5*q = 25. Suppose -2*b = -b - r - 23, -u*r - 64 = -3*b. Is 2/((b/(-204))/(-7)) a multiple of 17?
True
Suppose -12*z + 16*z = 220. Let s = z + -12. Is s a multiple of 43?
True
Let f(s) = -5*s**2 - 14*s + 56. Let r(m) = m**2 - m - 1. Let h(a) = -f(a) - 6*r(a). Is h(15) even?
False
Suppose -4747 = -76*n + 9161. Is n a multiple of 3?
True
Let v be ((-8)/6)/(7/((-21)/2)). Let b(p) = 169*p + 10. Is b(v) a multiple of 47?
False
Suppose 11*x - 10*x = -3. Let h(p) = -3*p**2 - 9*p + 9. Let u(a) = -a**2 - 5*a + 4. Let d(z) = x*h(z) + 5*u(z). Is d(4) a multiple of 28?
False
Suppose 6*c = -25 - 83. Is (-98)/(-3) + (-6)/c a multiple of 2?
False
Is 59 a factor of (50740/129)/(2/6*2)?
True
Suppose -16 = 2*m - 3*m. Let r = m - -45. Is r a multiple of 5?
False
Let k(m) = -5*m**2 - 9*m - 1. Let w(l) = -9*l**2 - 17*l - 2. Let y(b) = 7*k(b) - 4*w(b). Let o be y(-5). Does 15 divide 2/(0 + o/14)?
False
Let x = -45 - -56. Suppose -363 = -x*z - 0*z. Is z a multiple of 11?
True
Let h(n) = -9*n - 24. Let l(s) = -143*s - 385. Let f(g) = 33*h(g) - 2*l(g). Is 11 a factor of f(-9)?
True
Let w = -261 - -527. Is 60 a factor of w?
False
Suppose 10*v = -9*v + 2223. Is v a multiple of 27?
False
Let s = 41 - 17. Let i = s + -14. Suppose -2*w + 16 = 2*v, 6*v - 2*v - i = -2*w. Does 5 divide w?
False
Let o(y) = -y**3 + y. Let n be o(1). Suppose -13*q + 1030 = -8*q. Suppose -5*i - 66 + q = n. Is 7 a factor of i?
True
Let r(y) = y**2 - 8*y - 20. Let d be r(-6). Suppose -3*w + d = -62. Is 8 a factor of w?
False
Let i = 135 - -123. Let m = i - 154. Does 26 divide m?
True
Suppose 0 = -28*h + 36*h - 520. Does 13 divide h?
True
Is 125 a factor of 8002/4 + 62/(-124)?
True
Suppose r = -r + 2*h - 16, 3*r = -h - 12. Let q(n) = -n**2 - 7*n + 11. Is 21 a factor of q(r)?
True
Suppose 19*l - 990 = -3*l. Is l a multiple of 5?
True
Let a(m) be the third derivative of m**5/30 - 13*m**4/24 + m**3/2 - 7*m**2. Is 5 a factor of a(7)?
True
Suppose -5*g = -25, -9 