of 6?
True
Suppose -3*a + 12 = -q, 0*a + 3*a + 4*q = -3. Suppose -123 = -3*x - a*w, 0 = -4*x - 5*w + 69 + 94. Is 10 a factor of x?
False
Suppose -40 = -3*m + 2*i, 4*m + 0*m + i = 46. Suppose -22 = -2*x - m. Suppose 4*k = -4*f + 472, -3*f = -x*f + 10. Is 29 a factor of k?
False
Is 1651 - (4/8 + (-55)/22) a multiple of 57?
True
Suppose i - 2*d - 999 = -3*d, -5*i + d = -4995. Does 9 divide i?
True
Suppose -12 = -a - 0*a. Does 3 divide 10/(11/(1386/a))?
True
Let t(w) = 3*w**3 - 2*w**2 - 2*w + 6. Let h be t(0). Suppose 0 = -h*r + 269 + 529. Does 17 divide r?
False
Suppose 2*r + 11*r - 1040 = 0. Is r a multiple of 20?
True
Is 54*(-8)/60*-10 a multiple of 9?
True
Suppose 5 = -3*s + 23. Let z(p) = p**3 - p - 1. Let h(v) = -5*v**3 + 5*v**2 - 7*v + 16. Let g(x) = -h(x) - 4*z(x). Is g(s) a multiple of 19?
False
Let k = -29 + 39. Suppose k*g - 813 + 113 = 0. Does 7 divide g?
True
Suppose 0 = -0*c - c. Suppose c = -x - 0 - 3. Is (-6)/x + 1 + 2 a multiple of 2?
False
Suppose -3*r + r + 26 = 0. Let g(d) = 11*d + 37. Let i(c) = -7*c - 18. Let p(z) = -4*g(z) - 7*i(z). Is 18 a factor of p(r)?
False
Let l = 394 - -80. Let v = l + -271. Is 25 a factor of v?
False
Let g(h) = h**2 - 11*h - 4. Let r be g(12). Suppose 73 = r*y - 127. Is 5 a factor of y?
True
Suppose -33358 = -16*v + 3*v. Does 14 divide v?
False
Let i be (-1 + 11)*(-6)/(-12). Suppose i*y - 2*y = 6. Suppose -2*p - 42 = -y*s - 0*s, 3*p = -s + 9. Does 18 divide s?
True
Is 15 a factor of (6 + 54)*(0 + (-77)/(-2))?
True
Suppose 3*k - 3*q - 30 = 0, -5*q - 12 = 4*k - 70. Let b = 2 + -1. Is (-52)/k*-3 - b a multiple of 12?
True
Let b(v) = 181*v**2 + 74*v + 281. Is 43 a factor of b(-4)?
True
Let i(z) = -z**3 + 22*z**2 + 25*z - 28. Let t = 6 - -17. Is 6 a factor of i(t)?
True
Let l = 53 + -19. Suppose c + 14 - l = 0. Is 10 a factor of c?
True
Let y = 103 - 39. Let h = -22 + y. Is 17 a factor of h?
False
Suppose 0 = -4*r + 648 + 252. Suppose 4*u = -u + r. Does 9 divide u?
True
Suppose -5*c = 0, 5*y - 2*y - 5*c = 732. Does 4 divide y?
True
Let k = 30 + -30. Does 5 divide k + (3 - 43)/(-4)?
True
Suppose -9*z + 5*z + 40 = 0. Suppose 25 = -5*g, 0 = -4*o - z*g + 5*g + 15. Is o even?
True
Let f(i) = 10 - i**3 - 5 + 8*i**2 - 12 + 2*i. Is f(7) a multiple of 14?
True
Let g(d) = -12*d + 86. Is 28 a factor of g(-17)?
False
Suppose 0 = -2*c + 19*c - 5185. Does 5 divide c?
True
Suppose -14*j + 1015 = -9*j. Let h(v) = v**2 - 25*v + 7. Let l be h(10). Let w = j + l. Does 12 divide w?
True
Let u = -229 + 1172. Is 41 a factor of u?
True
Suppose 1573 = 8*o - 2771. Is 61 a factor of o?
False
Let m = 1427 + -1175. Does 2 divide m?
True
Is 2/(-6*1/(-192)) a multiple of 8?
True
Let l(r) = r**3 + 6*r**2 + r - 4. Let z be l(-6). Is 11 a factor of (8/z)/(11/(-385))?
False
Let m(x) be the second derivative of x**5/20 + 7*x**4/6 - x**3 - 17*x**2 - 9*x. Does 4 divide m(-14)?
False
Let w(c) = c**2 - 9*c + 4. Let j be w(9). Suppose 0 = -3*y + 308 + j. Is y a multiple of 13?
True
Let j = 22 - 13. Suppose q + j = 4*q. Suppose 0 = k - 3*u - 8, 0 = 3*k - q*u - 62 + 14. Does 5 divide k?
True
Let t(b) be the third derivative of b**6/120 + 4*b**5/15 - 5*b**4/24 + 10*b**3/3 - 39*b**2. Is 25 a factor of t(-16)?
True
Suppose 5*b - 649 = 331. Let o be (-2)/(12/(-15))*2. Suppose -o*n + b = -n. Does 11 divide n?
False
Let w = -8 - -10. Let j be (1116/(-3))/(w + -3). Is 14 a factor of (-4)/(-6) + j/9?
True
Let r = 141 + -137. Is 5 a factor of ((-33)/(-12)*r)/1?
False
Let s be 1/(-3*2/(-102)). Let x(p) = -p**2 + 22*p - 20. Does 13 divide x(s)?
True
Let b(p) = p**3 + 6*p**2 + 4*p + 3. Does 2 divide b(-4)?
False
Let m be (-14)/21 - (-611)/3. Suppose -6*v - v = -m. Is v a multiple of 5?
False
Let f(n) = -11*n**2 - 7*n. Let u be f(-17). Is u/(-110) + 2/11 a multiple of 14?
True
Suppose -2*j + 3*y = -4, -2*j + 3*j = y + 4. Suppose -a = j*a - 2421. Is 12 a factor of a?
False
Let i = 2238 + -847. Is 107 a factor of i?
True
Let h(v) = v**2 - 8*v + 1. Let j be h(8). Let w be (-45)/(-20) + j/(-4). Suppose -4*u - 10 = -w*m, -2*u + 6 - 16 = -2*m. Is m even?
False
Let i(u) = u**3 + 7*u**2 - 2*u + 11. Is i(-5) a multiple of 13?
False
Suppose 4*m - 6 = -3*x, x + m + 9 = -4*m. Suppose -x*q + 600 = -q. Does 36 divide q?
False
Suppose 60 = -u + 108. Is u a multiple of 24?
True
Let v(s) = -2*s**2 - s**2 + 2*s**2 - 7 + 6*s**2 - 6*s. Is v(5) a multiple of 11?
True
Let n = 26 - 27. Let p(a) = 8*a**2 + 4*a + 4. Is 5 a factor of p(n)?
False
Suppose -40 = -5*g - 2*k, 4*g + 0*k - 39 = -3*k. Let f(y) = -2*y + 14. Let z be f(g). Suppose -b + 51 = z*b. Is 9 a factor of b?
False
Suppose 32*j = 70347 - 2731. Is 116 a factor of j?
False
Let j(k) = 6*k**3 - 21*k**2 - 7*k + 58. Is 27 a factor of j(10)?
True
Let q(n) = -27*n + 1. Let p = -15 + 4. Let l = 10 + p. Does 7 divide q(l)?
True
Let u(a) = -44*a**3 + 3*a**2 + 3*a + 1. Is u(-1) a multiple of 18?
False
Let m be (10/6)/((-4)/36). Let a = -1 - m. Suppose -6 = -4*g + a. Is g a multiple of 2?
False
Let x(t) = t**3 + 21*t**2 + 29*t + 36. Is x(-14) a multiple of 39?
False
Let n(t) = -8*t**2 + 2*t**2 + 7*t**2 + 16 + 3*t. Is n(9) a multiple of 31?
True
Suppose m + 10*m = 66. Suppose -24 - 30 = -m*b. Does 9 divide b?
True
Let t = -67 - -236. Suppose -4*j + k = -t, j + 4*k - 41 = -3. Is 14 a factor of j?
True
Suppose 3*t = -j - 13, j + 2*t = -2*t - 17. Let h = 396 - 416. Is (17 - j) + h + 16 a multiple of 7?
True
Let t be 200/(-9) + (-10)/(-45) + 2. Let i = 71 + t. Does 17 divide i?
True
Let q(v) = 5*v**3 + 2*v**2 + 5*v - 4. Let t be q(4). Suppose -a - t - 70 = 0. Does 16 divide (-4)/18 - a/27?
True
Let r(v) = -2*v - 8. Let f be r(-5). Suppose m - f*z = 2*m - 15, 0 = -5*m + 4*z + 103. Suppose -64 = -3*c - m. Does 5 divide c?
True
Suppose 5*h - 625 = 8*r - 5*r, 3*h - 2*r - 376 = 0. Is h a multiple of 27?
False
Is (-8048)/(-4)*(-17)/(-34) a multiple of 107?
False
Let n(o) be the first derivative of 13*o**2/2 + 4*o + 5. Is 4 a factor of n(1)?
False
Suppose -8*g + 1979 = -981. Is 19 a factor of g?
False
Let h be (-11760)/(-50) - 1/5. Suppose -2*s = 3*x - 37 - h, x + 4 = 0. Is s a multiple of 8?
False
Let n = 179 - 107. Is 11 a factor of n?
False
Let m(g) = 2*g**2 + 17*g + 10. Let j be m(-8). Suppose -7*x = -j*x. Suppose x*r + 19 = r. Is r a multiple of 17?
False
Let i = -13 + 29. Let v be (-12)/(-15) - (-8)/(-10). Suppose -2*g = -n - 0*n - i, v = -g - 5*n - 14. Does 6 divide g?
True
Suppose 0*x + x + 156 = 0. Let f = x + 254. Let w = f - 68. Is w a multiple of 10?
True
Let v(u) = u**3 + 4*u**2 + 4. Let x be v(-4). Let m(i) = 46*i + 1. Let y be m(x). Suppose -31 = -6*t + y. Does 12 divide t?
True
Let v(u) = -2*u**3 - 3*u**2 - 7*u - 4. Let i be v(-4). Let t = i - 71. Is t a multiple of 11?
True
Let c(t) be the second derivative of t**4/12 + 2*t**3/3 - 2*t**2 - 30*t. Is c(-8) even?
True
Let n be 3*(-2 + 12/4). Suppose n*k - 3 = 3. Suppose -k*c + 26 + 96 = 0. Does 21 divide c?
False
Does 15 divide -2 + -5 + 197 - -5?
True
Let o(a) = a - 7. Let c be o(9). Let m be (-1 + c)*(63 + -10). Let d = -20 + m. Is d a multiple of 12?
False
Let x be -1*2/(-8) - (-1482)/312. Let a be 26/6 - 2/6. Suppose -x*v - o = -40, -a*v + v - o + 22 = 0. Is 9 a factor of v?
True
Let f be (0 - 3)*13/3. Let z = f - -60. Is 4 a factor of z?
False
Let z be 6/10 - (-432)/30. Is 21 a factor of (-4*47)/(-2) - 30/z?
False
Suppose 7 = f + g - 5, 0 = -4*f + 4*g + 72. Let a = f - 11. Suppose a*p - 28 = 3*p. Does 14 divide p?
True
Let a be -4*1/(-1)*4. Suppose a + 17 = -3*z. Let q = z - -17. Does 3 divide q?
True
Let i(b) = 2*b - 10. Let r be i(7). Suppose -r*z = 13 - 33. Suppose -z*p + 162 = p. Is 27 a factor of p?
True
Suppose -2*p + 199 + 64 = n, -114 = -p + 3*n. Does 15 divide p?
False
Let m = 22 + -18. Suppose 125 = -m*d + 9*d. Is 5 a factor of d?
True
Suppose 0 = -2*w - 477 - 23. Is 10 a factor of 28/35*w/(-4)?
True
Let n(z) = -2*z - 10. Let k be n(-6). Suppose 0 = -3*r - g + 9 + 28, -k*g = 4*r - 46. Is 14 a factor of r?
True
Let d(t) = -t**2 + 5*t + 18. Let s be d(6). Suppose -s*i = -6*i - 972. Is 31 a factor of i?
False
Let y(a) = a**3 + 8*a**2 - 10*a - 6. Let k be y(-9). Let l(i) = i**3 - 4*i**2 + 2*i + 1. Let z be l(k). Let v(t) = 3*t**2 + 2*t - 1. Is v(z) even?
False
Suppose 12 = 4*z + 2*h - 8, -5*z - 2*h + 23 = 0. Is 9 a factor of (-272)/(-10)*(4 + z/(-2))?
False
Let p(h) 