 Let x(b) = -168*b. Let y(t) = -20*w(t) - 3*x(t). Let o(d) = -d + 3. Let r be o(2). Is y(r) a multiple of 8?
True
Let s(j) = -2*j - 21. Let u be s(-18). Suppose 0 = 13*z - u*z + 2. Is (2/(-6))/(z/(-81)) a multiple of 6?
False
Suppose 4*k = -4*u + 78564, -10*u = k - 14*u - 19596. Is 12 a factor of k?
True
Suppose 0 = 3*o - 5*d + 2*d - 14775, -3*o = d - 14775. Is o a multiple of 28?
False
Suppose 4*t - 11 = -7, 2*p - 12815 = 5*t. Suppose 30*a - p = 4840. Does 9 divide a?
False
Suppose -36 = -b + 2*r + 34, 0 = -b - 2*r + 90. Let d = 113 - b. Suppose -d - 3 = -k. Is k a multiple of 12?
True
Let b = -12169 - -27937. Is 108 a factor of b?
True
Let k(j) = j**2 - 9*j - 17. Let x be k(23). Suppose l - x = w, -3*l + 2*w + 2*w = -911. Is l a multiple of 9?
False
Suppose 0 = 4*f - 56149 + 30148 - 172823. Is f a multiple of 58?
True
Let w(d) = -d**2 + d + 1. Let l(x) = -159*x**2 + 17*x + 42. Let j(r) = -l(r) - 4*w(r). Is j(-2) a multiple of 43?
False
Let l(b) = 2097*b - 273. Does 23 divide l(1)?
False
Let k = 2588 + -1198. Suppose -48*x + 46*x = -4*i + 8, -4 = 3*i - 4*x. Suppose 0*f + 5*f + 2*q = k, 5*f + i*q - 1380 = 0. Is 35 a factor of f?
True
Let i = -21442 + 33706. Is i a multiple of 105?
False
Suppose -8*t + 12 = -11*t. Let m be (1*(-142)/t)/((-6)/(-60)). Suppose -m = -7*v - 19. Is v a multiple of 6?
True
Is (-8352)/(-116)*(19/(-4))/(-1) a multiple of 57?
True
Let x be (11/(-4))/(12/144). Let z = x + 41. Suppose -2*p + 6*s = 4*s - 40, -2*s = p - z. Does 3 divide p?
False
Suppose 4*d - 6 = 2. Let z = -861 - -861. Suppose d*o + z*x = -3*x + 37, -2*o + 33 = -x. Does 17 divide o?
True
Let n(x) = -41*x - 95. Let u be n(-13). Let q = u - -175. Does 29 divide q?
False
Let y = -30 - -32. Suppose k - 6*k + 21 = -y*i, k - 2*i - 1 = 0. Suppose -6*n = -k*n - 59. Is 18 a factor of n?
False
Suppose -5*b - 409 + 9 = 0. Let g = -9 - b. Does 21 divide g?
False
Let l = -2610 - -5019. Is l a multiple of 11?
True
Suppose -2*m + 8 = i, -40 + 6 = -3*m + 4*i. Let y be (-3)/m*-908 - 0. Suppose 3*k - 2*v = 2*k + 153, 0 = 3*k - 5*v - y. Is k a multiple of 26?
False
Suppose 4*j = 2*n - 12, -2*n - 2*n - 5*j - 15 = 0. Suppose -3*g + 2*f = -26, -f - 2 = -g - 2*f. Suppose n*y + 732 = g*y. Is 51 a factor of y?
False
Suppose -1 + 13 = -3*i, -n + 6856 = 2*i. Suppose -2*y + 13*y - n = 0. Is y a multiple of 39?
True
Let r(q) = -77*q + 13. Let u be r(-6). Suppose -k - 2*k = 2*h - u, 4*h - 3*k - 941 = 0. Does 12 divide h?
False
Suppose -12*w - 92*w = 21*w - 1381875. Does 55 divide w?
True
Let o = -159 + 160. Is o/5*0/13 - -180 a multiple of 3?
True
Let j be (6/(-7))/((-156)/728). Suppose 2*w + j*a = 948, 8*w + 5*a - 1423 = 5*w. Is 42 a factor of w?
False
Let p(d) = -2*d**2 - 20*d - 3 + 21 + 4*d**2. Is p(14) a multiple of 13?
True
Let k be (7*-1)/(41/(-82)). Let m(x) = 24*x + 16. Is m(k) a multiple of 8?
True
Let m(w) = -w**3 + 4*w + 4. Suppose -12 = -5*c - 2*x, 4*x + 20 = -x. Let f(a) = 2*a**3 - a**2 - 8*a - 7. Let t(r) = c*f(r) + 9*m(r). Is 8 a factor of t(-6)?
True
Let d(p) = -98*p - 1076. Is 95 a factor of d(-20)?
False
Suppose x + 338 = 1029. Is 69 a factor of x?
False
Let p = -6715 - -7771. Is 33 a factor of p?
True
Let p(q) = q**2 - 13*q - 42. Let w be (2/3)/(-4 - (-3048)/756). Is p(w) a multiple of 42?
True
Let d be 65/8 + (-5)/40. Is 2 a factor of 4 - d/(8/(-33))?
False
Let a(q) = 394*q + 1305. Is a(4) a multiple of 18?
False
Let r(i) = 82*i - 16. Let z(v) = v + 1. Let d(a) = -r(a) + z(a). Let m be d(13). Is 23 a factor of m/(-5) + (-10)/50?
True
Let q = 8688 - 5118. Does 70 divide q?
True
Let s be 4*(-8)/(4 - 13/3). Let j = 91 - s. Does 47 divide -21*230/(-75) - 3/j?
False
Let c(a) = 117 + 22*a - 19*a - 49. Is c(-5) a multiple of 18?
False
Let l(o) = 12*o**2 - 84*o + 1195. Does 3 divide l(11)?
False
Let z be 74 + (-2)/((-10)/5). Let a = z - 72. Suppose a*i - 939 - 98 = -5*v, -3*i = -2*v + 398. Is v a multiple of 41?
True
Let b(v) = -v**2 - 5*v + 20. Let l(w) = -w + 2. Let q(p) = -b(p) - 2*l(p). Let i(k) = 8*k**2. Let a be i(-1). Is 24 a factor of q(a)?
True
Is 12 a factor of (-29476)/(-2)*1*-8*11/(-88)?
False
Let m(a) = 23*a + 2. Let p be m(-2). Let w = p - -34. Is (2/5)/(w/(-1950)) a multiple of 26?
True
Suppose 32 = -4*z - 0*z. Let h be ((-5)/10)/(1/z). Suppose 5*d - y - 275 = h*y, 5*y = -5*d + 305. Is 29 a factor of d?
True
Let b(x) = -27 + 5*x - 21 - x**2 + 8 + 18*x. Suppose 11*c - 128 = 3*c. Is 16 a factor of b(c)?
False
Suppose 63504 = 5*h + 22*h. Suppose 21*i - 14*i = h. Does 56 divide i?
True
Let m(d) = d**3 + 13*d**2 - 16*d - 20. Let p(q) = q - 2. Let j be p(-8). Let c be m(j). Suppose 3*h = -f + 220, 5*h = -2*f - 0*h + c. Does 26 divide f?
False
Suppose 0*l = 5*l + i - 30, 4*l - 3*i = 5. Suppose l*z - 230 = -4*x, -x + 3 = -2. Let s = 126 - z. Is 7 a factor of s?
True
Suppose -3*o - 2*b + 10716 = 0, -17844 = -5*o + 8*b - 6*b. Is 51 a factor of o?
True
Suppose 3 = -f - 9. Does 11 divide 5278/6 + (-4)/f*1?
True
Let y(b) be the third derivative of -b**4/8 + b**3/2 + b**2. Suppose 5493*o - 5496*o = 27. Is 6 a factor of y(o)?
True
Suppose -27*d + 29*d = 3*w - 900, -2*w - 1376 = 3*d. Let z = 561 + d. Does 9 divide z?
False
Let z(d) = -20*d - 15 + 2*d**2 - 3*d**2 + 66. Let b be z(-21). Let v = 132 + b. Is v a multiple of 17?
False
Let i be (-60)/(-15)*(-25)/(-4). Suppose -i*m + 2862 = 112. Is 12 a factor of m?
False
Let s(n) = -313*n**2 + 5481*n. Is s(16) a multiple of 5?
False
Let y = 11338 - 8842. Is y a multiple of 104?
True
Let m(w) = -90*w**3 - 6*w**2 - 97*w - 341. Is 152 a factor of m(-5)?
False
Is 127 a factor of (-517028)/(-18) + ((-411)/(-27) - 15)?
False
Let y be (-156)/117*(1 - 4). Is 4 a factor of (-1678)/(-20) + 4/(y + 36)?
True
Let t(o) = -7*o**2 + 7*o + 17. Let y(l) be the second derivative of -l**4/12 - l**3/6 + l**2/2 + 5*l. Let q(s) = -t(s) + 6*y(s). Is q(14) a multiple of 3?
True
Let p(r) be the first derivative of -r**3/3 + 9*r**2/2 - 12*r - 7. Let d be p(6). Suppose -c + d*c = 4*f + 116, 2*c = -4*f + 52. Is 8 a factor of c?
True
Suppose -57*l = -516823 + 109558. Does 31 divide l?
False
Let z(g) = g**3 + 10*g**2 + 2*g + 13. Let s be z(-10). Let v(o) = 18 - 56*o + 4 + 27*o + 28*o. Is 29 a factor of v(s)?
True
Suppose 4*l - 1540 = -4*x, 2*x + 1147 = 3*l + 7*x. Suppose -l*s = -396*s + 3003. Is s a multiple of 33?
True
Let y(n) = -n. Let h(g) be the third derivative of 3*g**3/2 + g**2. Let j(w) = h(w) - y(w). Does 5 divide j(4)?
False
Suppose 22*z - 29*z = -12*z + 40390. Is z a multiple of 7?
True
Suppose 14 = -4*m - 5*f - 11, 0 = -m + 4*f + 20. Suppose m = -7*j + 304 - 52. Is j a multiple of 4?
True
Let z(g) = 2*g**2 - 6*g - 12. Let u be z(4). Is (u - -1080)*10/40 a multiple of 10?
False
Suppose 20979 = 101*g - 47095. Does 3 divide g?
False
Let o(g) = g**3 - 9*g**2 + 2*g + 45101. Is o(0) a multiple of 17?
True
Let z(s) = 3*s - 1. Let x be z(-20). Let u = x - -63. Suppose -8 = -2*w - u. Is w a multiple of 2?
False
Let w = 2327 + -2147. Does 4 divide w?
True
Suppose 4*d = 76 - 68. Does 4 divide (d + (-34)/5)/((-19)/475)?
True
Let g(z) = -3748*z + 243. Is g(-1) a multiple of 11?
False
Let m be (-1 + 0)*(-353)/((-2)/2). Let s = -240 - m. Is s even?
False
Let t be -1 + 10*(-10)/(-25). Suppose 0 = -5*l - 3*n + 223, t*l + 2*n - 134 = -0*n. Is l a multiple of 11?
True
Suppose -6*g + 4*g = -2*y + 212, -3*g + y - 324 = 0. Let j = g + 359. Is 16 a factor of j?
False
Let l = -497 - -1641. Let b = 1669 - l. Is b a multiple of 21?
True
Suppose 7 + 1 = -2*n, 0 = -5*k + 5*n + 3190. Let f = k - 338. Does 3 divide f?
False
Suppose -2*a = 4*b - 3*a - 282556, 5*b + 4*a = 353237. Is 47 a factor of b?
True
Let o(r) = -361*r**3 + r + 1. Let w be o(-1). Let s(t) = t**3 - 9*t**2 - 32*t - 56. Let l be s(11). Let d = w + l. Is 39 a factor of d?
True
Let m be (-10)/(-2)*(-3)/(-5). Let o be ((5 + -5)*(-2)/4)/(-3). Suppose -5*j + 4*k + 10 = o, -m*j - 1 - 1 = -4*k. Does 2 divide j?
True
Suppose 406*p - 414*p + 51792 = 0. Is 83 a factor of p?
True
Suppose 0*v = -18*v - 270. Let u(l) = l**3 - 1. Let y(i) = 14*i**2 - 5*i - 5. Let h(j) = -u(j) - y(j). Does 13 divide h(v)?
True
Let x be (-2)/6 - ((-488)/6 - 3). Suppose 5*y = 2*f + 3*f + 210, 0 = 2*y - 4*f - x. Suppose -5*d = -m - 0*m + y, 8 = 4*d. Is m a multiple of 13?
True
Let u(g) = g**3 - 13*g**2 - 17*g - 10. Let t = -239 - -254. Is 40 