4 - 12 - 13 - 6. Is s(l) a multiple of 31?
True
Suppose v + 12 = 5*d, 3*v - 3*d - 32 = -5*d. Suppose -v = x + 8. Does 4 divide 8/x - (-29)/2?
False
Let q(l) = -l**2 + 7*l + 11. Let o = 7 - -2. Let j be q(o). Let f(w) = -w**2 - 14*w - 10. Is f(j) a multiple of 13?
True
Let t be 2/(-6)*-5*-3. Let n be 0/(t/((-15)/9)). Suppose n = -g - 4*a, 3*g + 4*a - 8 = g. Does 4 divide g?
True
Let c(j) = -2*j**2 + j + 1. Let y be c(-2). Let z = 13 + y. Suppose 0*f + 20 = f - g, -z*f - 5*g + 80 = 0. Is f a multiple of 7?
False
Let g be (-8)/36 - 76/(-18). Let j(y) = -4*y + 7. Let k be j(g). Is 4 a factor of (6/(-5))/(k/60)?
True
Suppose 5*p = 25, f - 2*p + 11 = 2*p. Suppose f*w + 471 - 2145 = 0. Is 9 a factor of w?
False
Let m(n) = 14*n - 18. Suppose -5*i - 3*b + 52 = -0*b, 2*b = -i + 9. Let q be m(i). Let p = q + -85. Is 17 a factor of p?
True
Let i be (-2)/16 - (-25)/8. Suppose -4*k = 5*f - 64, -k = i*f - 0*k - 44. Does 4 divide f?
True
Let n be 2/(1 + 120/(-116)). Suppose 5*w + z + 192 = 0, 3*z = -3*w + z - 111. Let r = w - n. Does 9 divide r?
False
Let v be 5/((-5)/(-3)) - (2 + -336). Suppose -3*g = -3, -5*g = 3*r - 4*g - v. Is r a multiple of 15?
False
Suppose -18 = 5*z + 32. Is 17 a factor of (171 - 1)*(-4)/z?
True
Let s(u) = 9*u - 5. Let k be s(-4). Let p = k + 25. Does 5 divide p/(-64) - (-198)/8?
True
Let i be (1/(-2))/(4/48). Let y(c) = -2*c**3 + 11*c**2 + 4*c - 3. Let x(h) = h**3 - 10*h**2 - 5*h + 2. Let k(v) = -3*x(v) - 2*y(v). Does 10 divide k(i)?
True
Let w(o) = 16*o - 22. Does 3 divide w(5)?
False
Does 9 divide (4454/4 + 1)*(-792)/(-297)?
False
Let s(f) be the first derivative of f**2/2 - 10*f + 1. Let d be s(14). Let m(q) = q**2 - 2*q + 6. Does 9 divide m(d)?
False
Suppose -i = -6*i + h + 840, 4*i - 5*h - 651 = 0. Suppose i = 2*p - 77. Does 15 divide p?
False
Suppose 3*n - 1530 = -4*h, -11*n + 4*h = -6*n - 2550. Is 18 a factor of n?
False
Let a = -2022 - -3407. Is 13 a factor of a?
False
Let q = -757 - -1699. Is 63 a factor of q?
False
Let p be (-2 - (0/3)/1) + 59. Let c = p - -4. Is 16 a factor of c?
False
Let i = -29 - -32. Suppose i*f = -12 + 78. Is f a multiple of 22?
True
Let g(i) = 2*i**3 - i**2 + i. Let m be g(2). Let o(l) = 12*l + 6 + m*l - 23*l. Is 8 a factor of o(3)?
False
Suppose 8*f = 17*f - 90. Suppose f = -5*n + 130. Does 6 divide n?
True
Let s(p) = -40*p - 34. Is s(-4) a multiple of 3?
True
Suppose -17*i + 22*i = 1135. Does 28 divide i?
False
Suppose 27*l - 22*l - 75 = 0. Does 15 divide (3*5/l)/(2/244)?
False
Let s(i) = i**3 - 2*i**2 - 14*i - 5. Let a(f) = f**3 - 3*f**2 - 13*f - 5. Let g(b) = -6*a(b) + 5*s(b). Does 5 divide g(7)?
True
Let y = 8 + -4. Let r be 8/(-4)*y + 3. Let x = 25 + r. Does 7 divide x?
False
Let q(d) = -d**3 - 16*d**2 - 21*d - 19. Let x = 121 + -137. Does 48 divide q(x)?
False
Let x(k) = k - 10. Let p be x(0). Let i = -9 - p. Let d = i + 28. Is 12 a factor of d?
False
Suppose 103*p - 119*p = -15024. Is p a multiple of 15?
False
Let r(n) = 5*n**3 - 3*n**2 + 6*n - 9. Is r(3) a multiple of 9?
True
Let y(c) = -81*c - 97. Is y(-16) a multiple of 109?
True
Let y be 1 - (2 + 0) - -136. Let l = -67 + y. Does 17 divide l?
True
Does 6 divide 3 - (-8 - (261 + -8))?
True
Suppose -7106 = -5*m - 371. Suppose 465 = -7*q + m. Does 24 divide q?
False
Suppose -15 = 5*p, -3*i + 3*p = -4334 + 191. Is i a multiple of 94?
False
Suppose -39220 = -9*r - 28*r. Is r a multiple of 10?
True
Let s(a) be the third derivative of -11/6*a**3 - 10*a**2 + 0*a + 0 - 5/24*a**4. Is s(-17) a multiple of 19?
False
Let q(u) = -u**3 + 9*u**2 - 8*u + 3. Let h = 9 - 5. Suppose -h*p + 0*p + 32 = -5*l, l = 0. Is q(p) even?
False
Let l(s) = s**3 - 8*s**2 + 2*s - 2. Let n(u) = -u + 3. Let p be n(-5). Let y be l(p). Let w(v) = -v**3 + 15*v**2 - 11*v + 9. Does 11 divide w(y)?
False
Let z = -20 - 48. Let k = -49 - z. Does 9 divide k?
False
Suppose -2*q + 14 = 8. Suppose -2*m + m - 18 = 0. Does 11 divide -55*(m/10)/q?
True
Let l = -18 - -164. Suppose 3*g + c - 81 = l, -5*g + 379 = c. Does 13 divide g?
False
Suppose -27 + 183 = -6*g. Let w = g - -49. Does 7 divide w?
False
Suppose 3*o = 5*a - 3615, 5*o = a + o - 740. Does 36 divide a?
True
Suppose -2*a + 6 = a. Suppose a*i - 128 = -2*i. Suppose 0 = -3*x + i + 28. Is 10 a factor of x?
True
Suppose -l - 1 = -4. Suppose 0 = 2*w - 2*b + 8, -5*w + 4 = -l*b + 4*b. Suppose w = 2*h - 4*z - 32, 0*z - 2*z - 8 = 0. Does 2 divide h?
True
Let r(i) = -5*i**3 - 3*i**2 - i + 4. Let g be r(-3). Suppose 0 = -4*z + 463 - g. Does 25 divide z?
False
Let b(h) = h**2 + 14*h + 7. Let a be b(-9). Let r = 37 + a. Is -4 + 81 + 4 + r a multiple of 16?
True
Suppose 43*f = 14*f + 6148. Is 38 a factor of f?
False
Let w = -1445 + 4583. Is w a multiple of 15?
False
Let u(p) = 2*p**2 - 3*p**3 + 1 + 2*p**2 + 42*p - 41*p - 2*p**2. Let b be (2/3)/(2/(-6)). Is u(b) a multiple of 31?
True
Let w(t) = -9*t**2 + 314*t - 34. Does 8 divide w(31)?
False
Let j = -829 + 1220. Is 24 a factor of j?
False
Let d = -13 - -13. Suppose d*c + 51 = 5*k + c, -49 = -5*k + c. Suppose 14*g - 13*g - k = 0. Is 10 a factor of g?
True
Let m(t) = -t**3 + 22*t**2 + 50*t - 45. Is m(23) a multiple of 36?
True
Suppose -31 - 49 = -4*q. Let l be 2/(4*-1)*-164. Does 4 divide (-4)/q - l/(-10)?
True
Suppose 0 = -5*d + 5*k - 1020, -2*d = -6*d - 3*k - 830. Let g = d + 296. Is 21 a factor of g?
False
Let y(a) = a + 5. Let n(p) = 3*p + 9. Let i(q) = 4*n(q) - 9*y(q). Suppose -11 - 13 = -4*t. Is i(t) even?
False
Suppose 0 = 2*c - 48 + 40. Let h(y) = -y**2 + 0*y + 2*y**2 + 5 + 3*y. Is h(c) a multiple of 11?
True
Suppose 81*p = 90*p - 3870. Is 23 a factor of p?
False
Suppose -2*j = -5*j - 66. Let o = -38 - j. Let i = o - -25. Does 9 divide i?
True
Suppose 0 = 5*k + 5*t + 1 - 6, 5*t + 25 = 5*k. Let m be (-2)/(-7) - (-99)/21. Suppose -m*i + i + 72 = -3*f, -k*i + 54 = -4*f. Does 9 divide i?
True
Is 14 a factor of -2 - (4 + -4) - 4848/(-8)?
False
Let w be 1/(-1 + 2/3). Let c = w + 5. Is 15 a factor of 18 + c*9/(-6)?
True
Suppose -2*k - i + 0*i + 778 = 0, 4*i - 1942 = -5*k. Suppose 7*t = t + k. Suppose 4*y - t = -5*d, 2*y - 15 - 31 = 2*d. Is y a multiple of 5?
True
Let f be (16/14)/(2/7). Suppose -f*m = -o - 165, 20 + 20 = m + o. Is m a multiple of 8?
False
Let n(v) be the first derivative of -14*v**2 - 11*v + 5. Is n(-5) a multiple of 15?
False
Suppose 2*h - 25 = -5*l, -h + 10 = 2*l - 0*l. Suppose h*w - 12 = -4*w. Is 4 a factor of (3 - (w + -2)) + 22?
True
Let i be (-4)/(20/(-25)) - -9. Does 16 divide i/((-20)/8 - -3)?
False
Let o = -671 + 1441. Does 55 divide o?
True
Let h(n) = 10*n + 21. Let t be h(9). Suppose 2*f - 21 = t. Is 3 a factor of f?
True
Let j be 2*(54/(-2) - -1). Let y = -29 - j. Is 9 a factor of y?
False
Suppose 4*a = -p + 648 + 130, -4*a + 3*p = -786. Is 7 a factor of a?
False
Suppose 4*v - 196 = 2308. Let a = 965 - v. Is 49 a factor of a?
False
Let w(a) = -a**2 + 32*a - 102. Does 8 divide w(21)?
False
Suppose -n = 12*a - 11*a - 340, -a = -n + 340. Is n a multiple of 34?
True
Let f(w) be the third derivative of -w**5/20 - w**4/6 + 5*w**3/6 + 7*w**2. Let x be f(-4). Is 8 a factor of (-1290)/x - 4/(-18)?
True
Suppose 4*g - 156 = o, 2*o + 0*o = -2*g - 282. Let h = o + 202. Does 11 divide h?
False
Let v be (-1)/(4 + 30/(-8)). Let o(s) = -s**2 - s + 8. Let y be o(v). Is 5 a factor of y/(-6)*(-81)/(-6)?
False
Suppose 0 = n - 5*u - 139 - 625, -4*n + 2*u = -3002. Is 14 a factor of n?
False
Let a(u) = 8*u**3 + u**2 - 2*u + 1. Let h be a(1). Is 23 a factor of -1*1*(h - 169)?
True
Is 33 a factor of (-10 + 6 + 7)*11*11?
True
Let c(s) = 167*s**3 - 2*s + 1. Let w be c(1). Suppose -w - 18 = -4*n. Suppose 3*y - 29 = n. Is 25 a factor of y?
True
Suppose 5*y + 4*w - 66 = 0, 0 = 4*y + y + w - 54. Suppose -5*g = -5*v + y, -5*v = -g - 38 + 12. Is v a multiple of 2?
True
Let h = -122 + 178. Suppose 3*x = h + 265. Is 9 a factor of x?
False
Let x(a) = 55*a**2 - 9*a - 18. Does 11 divide x(-2)?
True
Let a = -5082 - -7611. Does 133 divide a?
False
Let g be 1/4 - 40/32. Let j = -3 + g. Does 30 divide (8/4)/(j/(-122))?
False
Let g(c) = 4*c - 38. Let p be (18/(-30))/((-3)/90). Is 5 a factor of g(p)?
False
Let o = 10 - 4. Suppose -1 = -5*y - o, 5*s + 4*y = 1. Is (s - 11)/(1/(-1)) a multiple of 5?
True
Let l be (2/5)/(1/25). Suppose -5*v = -3*v + l. Let n(b) = -6*b - 8. Is n(v) a multiple of 11?
True
Let p 