, 4 = 4*w + 3*q. Suppose -w*k + 62 = 46. Is 2 a factor of k?
True
Suppose 10 = -5*z, -1820 = -285*s + 283*s + 2*z. Is 7 a factor of s?
False
Suppose 4*j - 4702 = m, 0*j + 5*m - 4714 = -4*j. Is 49 a factor of j?
True
Let x = -11 + 17. Let k be 3*(x - 1 - 4). Suppose -3*i = 2*v - 6*v - 160, -k*v + 84 = 2*i. Does 9 divide i?
False
Suppose -3*g = -3*h - 24, 13 = 2*g + 5*h - 38. Let w = g + 88. Does 15 divide w?
False
Suppose -91*c + 94*c - 2*y - 3878 = 0, 0 = 4*c + y - 5189. Does 57 divide c?
False
Let h(a) = -2*a**3 + a**3 + 24 + 4*a - 19*a + 17*a**2. Is h(16) a multiple of 7?
False
Is (-4)/(-6) - 7332/(-18) a multiple of 4?
True
Suppose 0 = -4*s + 64 + 36. Let c = 41 + s. Does 14 divide c?
False
Let j = -1767 + 1774. Let v = 22 + -11. Let y = v + j. Is y a multiple of 18?
True
Does 63 divide 126/(-210) + (-33084)/(-15)?
True
Let b(n) = n**3 + 2*n**2 + 3*n - 4. Let m be b(8). Suppose -m = -3*z - 2*z. Does 30 divide z?
False
Suppose 10 + 5 = 5*r, d + 4*r = 278. Is d a multiple of 7?
True
Let f = 3498 - 1050. Is 36 a factor of f?
True
Let t = -241 - -346. Does 3 divide t?
True
Suppose 3*a - 5*v - 1955 = 0, -a - 2*a + v + 1975 = 0. Suppose -4*d - 176 + a = 0. Is d a multiple of 11?
True
Let a(m) = 7*m + 9. Let l be a(3). Let n = l - 10. Is n even?
True
Let n(w) = 74*w**2 + 4*w + 2. Let a be (-6)/(-8) + (-80)/(-64). Does 18 divide n(a)?
True
Suppose 8 = -2*d - 2*d. Suppose -22 = -5*c + 43. Does 9 divide 5 + -2 + c + d?
False
Suppose 4*c - 2*l = 24, 2*c + 18 = 5*c + 2*l. Suppose 222 = 3*q + 3*o, 3*q - c*q - 5*o + 226 = 0. Is q a multiple of 8?
True
Suppose -4*q + 681 = 73. Suppose -q = -3*v + 142. Is 14 a factor of v?
True
Suppose 0 = -8*t + 563 + 157. Is 15 a factor of t?
True
Let b(t) = -50*t**3 - 2*t - 2. Let a be b(-1). Let v = a - -4. Is v a multiple of 18?
True
Suppose 4*k = -5*o + 8137, -4*o - 2*k + 6488 = -6*k. Does 25 divide o?
True
Let d be 246*((-7)/6 + (-9)/(-6)). Let g = d + -41. Is g a multiple of 3?
False
Let a(l) = 31*l + 28. Is a(6) a multiple of 7?
False
Suppose -5*w + o = -o - 85, 0 = 5*w + 3*o - 60. Let a(x) = x**2 - 12*x + 15. Does 20 divide a(w)?
True
Let d = 508 - 506. Let t be 2/(-6) - 34/6. Let g = d - t. Is g even?
True
Is 42 a factor of 20058/78 + -3*4/78?
False
Let f = 10 - 10. Suppose 0 = -z - f + 1. Let o(n) = 20*n**3 + n - 1. Is 17 a factor of o(z)?
False
Suppose -70 - 14 = -6*d. Let n = 36 - d. Is 23 a factor of 1*(n + 1)*2?
True
Suppose 9240 = 3*w + 4*w. Suppose -8*v - 4*v + w = 0. Does 31 divide v?
False
Let k(u) = 0*u**3 + 3 - 7*u - 3*u**2 + u**3 - u**2. Let d(q) = -q**3 - 2*q**2 + 6. Let x be d(-2). Is k(x) a multiple of 10?
False
Suppose 0 = 5*f + d - 4786, 4780 = 5*f - 74*d + 69*d. Is f a multiple of 87?
True
Let y = 22 + -17. Suppose 2334 = y*k - 331. Suppose -5*i - 4*f - 43 + k = 0, 294 = 3*i - 3*f. Is 28 a factor of i?
False
Let x = 264 + 10. Is 22 a factor of x?
False
Let l = -1074 + 1624. Does 22 divide l?
True
Let s be ((-3)/(-2 + 1))/1. Suppose 2*c = s*c - 5. Suppose 3*z = 3*l + 174, c*z + 2*l - 49 - 206 = 0. Is z a multiple of 15?
False
Let w = 116 - 62. Is 2 a factor of (-68)/(-5) - (w/15 + -4)?
True
Suppose 5*d - 498 = 1142. Does 41 divide d?
True
Suppose 2891 = 10*c - 7489. Is c a multiple of 6?
True
Let k be 1/(-4) - (-63)/12. Let c(n) = -n**3 - 5*n**2 - 3*n - 12. Let t be c(-7). Suppose -4*g = -3*o + 94, 0 = k*o + 3*g - 40 - t. Does 15 divide o?
True
Let i = -29 + 13. Does 11 divide (i/48)/((-1)/57)?
False
Let j(h) = -14*h**3 - h**2 - 2*h - 2. Let s be j(-1). Let k(d) = -11 - 11*d + d**2 - 1 + 3*d. Is 24 a factor of k(s)?
False
Let b(z) = 58*z**2 + 112*z - 7. Is b(-7) a multiple of 7?
True
Suppose -2420 = 5*n - 10*n. Suppose -5*h - z + n = 0, 0*z - z - 1 = 0. Is h a multiple of 36?
False
Suppose 5*w - 5 = 0, -3*w + 45 = 4*h - 50. Suppose 169 - h = 2*g. Is g a multiple of 21?
False
Let u(q) be the third derivative of -1/6*q**4 + 0*q + 0*q**3 + 1/20*q**5 + q**2 + 0. Does 10 divide u(4)?
False
Let f = 95 - 152. Let k = 4 - f. Does 11 divide k?
False
Suppose 4*v = -2*w + 6, -2*v - w - 13 = -4*v. Suppose 3*h - h = 3*c + 3, -5*c = -v*h + 7. Let g = 39 - c. Is g a multiple of 13?
False
Let j = 134 + -12. Suppose 0 = 2*k + 2*w - j, 0 = k + 3*w - 6*w - 57. Is 11 a factor of k?
False
Suppose 2*x - 24 = -10*x. Is 8 a factor of ((-2)/(-8)*x)/((-13)/(-1144))?
False
Let c(d) = -25*d + 188. Is 42 a factor of c(-24)?
False
Let q(m) = 356*m + 41. Is q(6) a multiple of 29?
False
Suppose 3 = 3*s - 45. Does 4 divide s?
True
Suppose -2*y = -8, 5*p - 3*y - 389 = 319. Suppose 0*w - p = -8*w. Suppose 0 = 5*c - 3*c - w. Is c a multiple of 3?
True
Is (-20)/(-4)*(-2184)/(-15) a multiple of 13?
True
Let m(x) = 243*x**2 - 21*x - 67. Is m(-3) a multiple of 37?
True
Suppose -g + 6*g - 875 = 0. Suppose 0*v = 7*v - g. Does 4 divide v?
False
Suppose 0*f - 4*f - 20 = 0. Let a be 2/f + (-11304)/(-60). Suppose -2*n + 4*s + 124 = 0, -3*n - 5*s = 35 - a. Is n a multiple of 14?
True
Let x(o) = o**3 - 7*o**2 - 2*o - 22. Let r be x(9). Let i = r + -101. Is 2 a factor of i?
False
Suppose -3*w = -5*i + 3891, -6*i + 9*i - 2325 = 5*w. Is i a multiple of 12?
True
Let z(p) = -4*p - 1. Let r(c) = 7*c**2 + 2*c + 1. Let n be r(-1). Suppose -n*f - 28 = -2*f. Is 7 a factor of z(f)?
False
Suppose 5*q - 5 - 40 = 0. Suppose -x - q = 2*x, 5*p - 3*x - 29 = 0. Suppose -p = -2*g + 20. Does 3 divide g?
True
Let u(a) = -a**2 + 20. Let k be u(4). Suppose 3*z = 2*i + 1127, i - 369 = -5*z + k*z. Is z a multiple of 17?
False
Suppose -j + 6*j - 2800 = 0. Suppose 368 = 4*o + 4*z, 5*o - j + 92 = 3*z. Is 12 a factor of o?
False
Suppose -n = 2*n - 6. Suppose -6*f + n*f = 0. Suppose 5*p + f*p = 70. Is 4 a factor of p?
False
Let w(u) be the first derivative of u**3/3 - u**2/2 + 63*u + 1. Let m be w(0). Suppose -y = 2*y - m. Is y a multiple of 13?
False
Suppose u + 27*n - 177 = 28*n, -8 = 4*n. Is u a multiple of 2?
False
Let i(p) = -2*p**3 - 21*p**2 + 9*p + 19. Is 9 a factor of i(-11)?
False
Let z(a) = -a**3 + 3*a**2 + 3*a - 8. Is z(-4) a multiple of 8?
False
Let h = 49 - 76. Let q be 88/3 + 36/h. Does 16 divide (q - -2)*(-20)/(-15)?
False
Let b(q) = -96*q - 272. Is 21 a factor of b(-18)?
False
Let u be 6*(-4)/20*-5. Suppose s + 25 = u*s. Suppose 0*y = -3*y - q + 58, -s*y = -4*q - 108. Is y a multiple of 10?
True
Suppose -2*l + 7 = -3*p - l, 4*l = p - 5. Let r be p + (-1 - -13)/2. Is r/3*(43 + -1) a multiple of 14?
True
Suppose 0 = -2*q + 4*j + 1472, -1130 = 5*q + 5*j - 4840. Suppose -2*f = -6*f + q. Is 11 a factor of f?
False
Let j be 1*5*64/(-20). Let i be (-3)/(j/(-4) - 5). Is -2 + (72 - (3 - i)) a multiple of 14?
True
Is 41 a factor of 3/2*(-53696)/(-96)?
False
Suppose -z = -4*n + 10, z - n = 3*z - 16. Does 3 divide z?
True
Let c(y) = y**2 - 13*y + 14. Let u be c(12). Suppose 5*n + 81 = u*n. Is 18 a factor of n/(-12)*(11 + -3)?
True
Suppose z - 20 = -10. Is 11 a factor of (z + -2)/((-4)/(-18))?
False
Let q(n) = 2*n**2 + 9*n + 13. Let u = 43 + -47. Does 5 divide q(u)?
False
Does 38 divide 19/152 + (-29061)/(-24)?
False
Suppose 3*b - 16 = -1. Let i = b - 1. Suppose 5*a = -i*j + 114, a = 4*j + 10 + 8. Does 16 divide a?
False
Suppose -5*w - 5*u = -1510, 4*u + 1310 = 4*w + 118. Is w a multiple of 4?
True
Let s = -13 - 10. Let r = s + 39. Suppose 0 = i - 3*i + r. Is 7 a factor of i?
False
Let p(n) be the second derivative of -n**5/20 - n**4/12 - n**3/6 + 23*n**2 - 13*n + 1. Does 18 divide p(0)?
False
Let v(u) = -2*u - 5. Let o be v(-5). Suppose -o*c = -c. Suppose c = 7*x - 12*x + 120. Is x a multiple of 8?
True
Suppose -13*q = -2735 - 1971. Let o = 723 - q. Is 16 a factor of o?
False
Let r(g) = 7*g - 10*g - 1 - 2 - 3. Let l be (0 - (1 - 2))*-10. Is 12 a factor of r(l)?
True
Let z be (-28)/(-6) + 14/(-21). Suppose -3*l = -z*m - 51, 3*m - 4*m = 0. Is 9 a factor of (l/34)/((-2)/(-36))?
True
Suppose -6*v = -5*v - 17. Suppose 4*c - v = 879. Suppose -3*j + c = 59. Is j a multiple of 19?
False
Let t(q) = q**3 + 13*q**2 - 13*q + 3. Does 15 divide t(-11)?
False
Let t = 815 + -729. Does 5 divide t?
False
Let g(u) = u + 5. Let b(r) = -r - 6. Let k(s) = 2*b(s) + 3*g(s). Let d be k(2). Suppose -w + 9 = -d. Is w a multiple of 3?
False
Suppose 0*c - 243 = -3*c. Does 4 divide c?
False
Let x = -96 - -25. Let z = 10 - x. Is 23 a factor of z?
False
Let t be (-4 - 5)/(9/(-6)). Suppose t = 3