multiple of 8?
True
Suppose -4*g - 25 = -r - 5*g, -2*g = r - 24. Suppose -r*y = -22*y - 1008. Is y a multiple of 6?
True
Let o(s) = 19*s - 26. Let p be o(2). Is p - 96708/(-102) - (-2)/(-17) a multiple of 64?
True
Let v(w) = w**2 - 5*w + 5. Let z be v(4). Suppose 0 = -6*d + 7*d + 4*a - 446, -1298 = -3*d - 2*a. Does 15 divide d/8 + z/4?
False
Let x(z) = 2*z - 16. Let f be x(13). Let d be f/(-20)*-32*2. Suppose m + 2*l = -2*l + d, 0 = 2*m - 5*l - 38. Does 6 divide m?
True
Suppose 44*b - 177*b + 107233 = -50106. Is b a multiple of 6?
False
Is 74 a factor of 1/6 - (-6025330)/1740?
False
Suppose 2*u = -u + 582. Suppose 0 = 103*x - 166 - 143. Is u*(-7)/(-42) + (-1)/x a multiple of 32?
True
Let l = 80 + -41. Suppose l*a = 42*a - 18. Let t(y) = -y**2 + 18*y - 1. Is t(a) a multiple of 12?
False
Let f = -1236 + 6949. Is f a multiple of 253?
False
Let b be (-15 + 5 - -8)*(-1 + 0). Suppose -2*x = -3*i + 286, -b*i - i + 3*x = -285. Is 24 a factor of i?
True
Suppose 0 = -3*x - 3*j + j + 2223, -6*j = -18. Let y = -506 + x. Does 29 divide y?
False
Suppose -3*t = 4*j - 4744, -2*j + 2628 + 2120 = 3*t. Is 48 a factor of t?
True
Let p(h) = -13*h + 2. Let j be p(0). Suppose j*n = -d + 247, 5*n - d = 4*d + 625. Does 31 divide n?
True
Let u be 1 - (-1 + 1 + -1). Suppose -u*z + 57 = -35. Suppose -5*h + 9 = -z. Is h even?
False
Let x(y) = 4*y + 7. Let l be x(0). Let u = 67 - l. Is u even?
True
Suppose -8 = -6*y + 46. Let k(h) = -h**2 + 2*h + 25. Let p(n) = n**2 - 3*n - 26. Let c(o) = -3*k(o) - 2*p(o). Is c(y) a multiple of 29?
True
Let m(r) = 9*r - 29. Let d be m(6). Is 3 + 13/(-5) + 2340/d even?
True
Let m(d) = -17*d + 1. Let u be m(-2). Suppose 24*o + 99 = 339. Suppose -o*h + u = -5*h. Does 7 divide h?
True
Let c(g) = -100*g + 42. Let q be c(-7). Is 8 a factor of (4/6)/(-1) + q/6?
False
Let h = -41039 + 79604. Does 14 divide h?
False
Let a = 251 - -5314. Is 21 a factor of a?
True
Let x = 150 + 93. Let k = x + -115. Is 11 a factor of k?
False
Suppose -18*l + 17551 - 2077 = 4*p, 0 = 5*p - 2*l - 19514. Does 15 divide p?
True
Suppose -13*t + 381970 - 83334 = 0. Suppose 0 = -14*y + t + 3460. Does 28 divide y?
False
Let t = -1716 - -2490. Suppose -t = -4*y - 2*z, y + z = 3*z + 196. Does 9 divide y?
False
Let a(h) = -h**3 - 4*h**2 + 4*h + 5. Suppose 5*x + 92 = -0*x + z, 5*x + 4*z + 82 = 0. Let w = -23 - x. Does 5 divide a(w)?
True
Suppose -3*y - 4*c + 142 = -y, -5*y - 3*c + 348 = 0. Suppose 2*u + 77 - y = 0. Does 55 divide u/6*-243 + (-6)/(-2)?
True
Let p be (-213)/142 + 8731/2. Suppose -5*u + p = 4*s, 3*s = 3*u + u - 3516. Is u a multiple of 12?
True
Is 57 a factor of ((-1100)/40)/(-11) + 2019/2?
False
Let s = 168 - -2306. Is 10 a factor of s?
False
Let y(b) = -2*b**3 + 26*b**2 + 12*b + 22. Let s be y(11). Suppose -11*a + s = -594. Is a a multiple of 14?
True
Let l = 70 + -64. Suppose -5*f + l*n - n = 5, -43 = 3*f + 5*n. Is 77 - (-1)/(-2)*f a multiple of 8?
True
Does 4 divide -2*(-1)/3*(280167/94 + -6)?
False
Let f = -18 + 37. Let o(h) = -h**2 + 4*h + 14. Let a be o(f). Let w = a + 424. Does 25 divide w?
False
Suppose -q - 4 = 0, -5*q + 7 = 2*t + t. Let d(s) = -12*s - 5. Let r(p) = -25*p - 9. Let x(g) = t*d(g) - 4*r(g). Is x(-2) a multiple of 7?
True
Let p be (28/2)/(35/(-280)). Let r = p + 120. Does 2 divide r?
True
Suppose -1341*t = -1328*t - 117052. Is 5 a factor of t?
False
Suppose 11*i - 68 = -6*i. Let z(q) = 5*q**3 + q**2 + 17*q + 6. Is z(i) a multiple of 10?
True
Suppose 35*b - 254688 = -61383. Is 29 a factor of b?
False
Let r(q) be the second derivative of -7*q**2 + 21*q - 2*q**3 + 0*q**2 + 6*q**3 - 4*q**2. Is r(5) a multiple of 49?
True
Suppose -5*r - b = -319 - 468, 4*b + 12 = 0. Let d = r - 67. Let a = -47 + d. Does 11 divide a?
True
Suppose -a = -5*a + 3*o + 468, -2*o = 4*a - 488. Suppose -7*k + 27 = -a. Is 7 a factor of k?
True
Suppose -3*g = 11*j + 1711 - 7196, 5*g - 3*j - 9227 = 0. Is g a multiple of 6?
False
Let h(s) = -3*s**2 + 788*s - 104. Is h(216) a multiple of 10?
False
Let m = 266 - 225. Is m a multiple of 16?
False
Suppose -2*d + w + 3 + 6 = 0, 0 = 2*d + 4*w + 16. Suppose 0 = -7*v + 2*v + d*c + 358, -5*c + 50 = v. Is v a multiple of 3?
False
Suppose -49878 = -1531*s + 1514*s. Does 17 divide s?
False
Let g = -5423 + 6558. Is g a multiple of 21?
False
Let n(t) = -t**3 - t**2 - t. Let d(o) = 4*o**3 + 11*o**2 + 3*o. Let v(z) = d(z) + 3*n(z). Let q be v(-9). Let x = 109 + q. Is x a multiple of 14?
True
Suppose 0 = -2188*b + 2179*b + 90. Suppose 8*h + 210 = b*h + 4*y, 5*y - 25 = 0. Is 2 a factor of h?
False
Suppose -4*l + 5*m = -31526, -5*l - 2*m + 49993 - 10569 = 0. Does 26 divide l?
False
Suppose 0 = 3*p + 3, -2*q + 17244 = -3*p - p. Does 30 divide q?
False
Let z = -5197 - -10097. Is 35 a factor of z?
True
Let o(j) be the first derivative of -27*j**2/2 - 40*j + 38. Is 58 a factor of o(-9)?
False
Let a(l) = l**2 + 21*l + 5. Let x be a(-18). Is 2/(-7) - (4375/x - -6) a multiple of 41?
False
Let n = 212 + -209. Suppose 0 = p - n*v - 65, 5*v - 141 = -4*p + 2*p. Does 34 divide p?
True
Let i(k) = 10438*k**3 + 5*k**2 - 8*k + 1. Is i(1) a multiple of 66?
False
Let g = -439 - -441. Suppose -4*b + 18*j = 15*j - 5500, 0 = -g*b - 2*j + 2764. Is b a multiple of 87?
False
Let x(t) = -54*t - 133. Let d be x(17). Let n = -687 - d. Is n a multiple of 8?
False
Suppose 4*g - 199 = -w, -g + w - 6*w = -45. Is 4750/g + 4 + 1 a multiple of 19?
False
Let k(x) = 764*x + 836. Is 62 a factor of k(24)?
False
Let z be 2*(0 - (-29)/(-2) - -2). Let q = 28 + z. Suppose 4*h = 5*c + 167, -h + 173 = q*h + c. Is 5 a factor of h?
False
Suppose 9*q + 500 = 34*q. Let v(x) = -x**2 + 28*x - 17. Does 18 divide v(q)?
False
Suppose u = 6*s - 68218, 19*s = 24*s + 3*u - 56833. Does 22 divide s?
False
Let f(a) = 394*a - 794. Is 45 a factor of f(8)?
False
Let x be (6 + (-10 - -3))*0. Let b(c) = 2*c**2 + c + 308. Is b(x) a multiple of 44?
True
Suppose -44*r = -2*o - 42*r + 9222, 23061 = 5*o - 4*r. Does 171 divide o?
True
Let y be -2 + (1 - (-4 - -1)). Suppose 3*m - 6*r = -2*r + 3, -y*m + 13 = r. Suppose 4*h - 816 = -4*c, -m*h - 5*c + 1012 = -2*c. Does 20 divide h?
True
Suppose -24*i = -23*i. Suppose i = -m + 2*q + 17, -2*q = -1 + 3. Suppose -526 - 59 = -m*b. Is b a multiple of 37?
False
Suppose 0 = -4*c - 6*y + 11*y + 4893, 3*c - 3*y = 3669. Suppose 2*a = b + c, 14*a = 13*a - 3*b + 597. Does 29 divide a?
True
Suppose -2*h - 2*c = 208, -3*h - 224 - 68 = -c. Let j = 101 + h. Suppose -4*u = 4, j*u - 363 = -f - 131. Does 26 divide f?
True
Let g(x) = 55*x**2 + 90*x - 717. Does 15 divide g(7)?
False
Let z be (56/(-32))/(2/8). Suppose 0 = 44*j - 46*j + 42. Let r = z + j. Is 7 a factor of r?
True
Suppose -23*m = m - 13392. Let a = m - 194. Does 14 divide a?
True
Suppose -6 = 12*q - 186. Suppose 3456 = q*i - 3*i. Does 32 divide i?
True
Suppose r + 2*r = 132. Suppose 4*l - r = 2*l + 4*y, -2*l - y = -19. Is 27 a factor of 2001/l + 0 + 6/(-8)?
False
Let v(n) = -n**2 - 20*n + 114. Let z be v(-28). Is 10 a factor of (924/z)/((-3)/25)?
True
Let g(l) = -l**3 + 11*l**2 + 9*l + 51. Let t be -8*(-5)/(-30) + 74/6. Is 50 a factor of g(t)?
True
Suppose 6*a - 36 = -6*a. Suppose -4*p + 1 - 39 = -a*q, 5*p = 5*q - 65. Suppose 8*r = q*r - 774. Does 32 divide r?
False
Suppose 244*l - 1069085 = 143*l. Is 145 a factor of l?
True
Is 14 a factor of (-37263)/(-18) - -2 - ((-65)/(-30))/13?
True
Let k = 49611 + -20109. Is 6 a factor of k?
True
Let j(p) be the first derivative of 34*p**3 - 7*p**2/2 - 5*p - 9. Does 9 divide j(-2)?
False
Let l(i) = -i**3 - 15*i**2 - 20*i - 242. Does 13 divide l(-17)?
True
Suppose -36*q - 4*t + 19720 = -31*q, 4*q - 15802 = 2*t. Is 14 a factor of q?
True
Let b(z) = -z**2 - 45*z - 150. Is 56 a factor of b(-34)?
True
Suppose 0 = 37*o - 184952 - 131028. Is 122 a factor of o?
True
Let j be (3/6)/((-3)/(-18)). Suppose -j*w - 2*u = -6*u - 59, -4*w + u + 70 = 0. Let s(f) = f**3 - 18*f**2 + 24*f + 9. Is 8 a factor of s(w)?
True
Let j be ((-10)/3)/((-8)/(-1020)). Let u = j - -509. Is 14 a factor of u?
True
Let j be 2/(-56)*-4 - (-792)/(-56). Let k(s) = -s**3 - 12*s**2 + 6*s - 32. Is 17 a factor of k(j)?
False
Suppose -4*s - 4*t + 48804 = 0, s - 9918 = -4*t + 2277. Is s a multiple of 38?
False
Suppose 621948 - 2812305 = -97*s. Is s a multiple of 9?
True
Let i(r) = 7*r - 68. Let y be i(12). Let s(a) = -a**3 + 15*