 18 + f. Is 22 a factor of (-5)/(-5) + y + 20?
True
Let m(b) = -3*b - 4. Suppose q - 3*q - 3*q = 0. Suppose 2*n = -u - 6, 5*n - 2 - 3 = q. Is 8 a factor of m(u)?
False
Let w be 10*(-16)/(-40) + (0 - -17). Is -3*(-8)/84 - (-5727)/w a multiple of 13?
True
Let p(h) = h**2 - h - 6. Suppose 2*l - 20 = -3*l. Let a be p(l). Suppose -143 - 1 = -a*y. Does 6 divide y?
True
Let s be (-9)/15 + (-36586)/(-10). Suppose -s = -5*g - 183. Let j = g + -399. Is j a multiple of 28?
False
Let q(j) = 751*j + 12. Let m(s) = 501*s + 8. Let l(g) = -8*m(g) + 5*q(g). Let c be l(-4). Suppose -c = -b - 13*b. Is 7 a factor of b?
False
Let w be (11 + -3)*(-11)/22. Let d be 1 - -1*2*34. Does 33 divide w + (-3 - (-4 - d))?
True
Suppose -44*a - 390*a + 15122730 = 0. Does 69 divide a?
True
Suppose -4*l = -522 - 66. Suppose -4*b + 723 = l. Suppose -4*o - b = -10*o. Is 6 a factor of o?
True
Suppose 20*c = 525864 - 8864. Is 11 a factor of c?
True
Let c(g) = g**3 - 5*g**2 - g - 3. Let i be c(6). Let q = -24 + i. Suppose w + 278 = 4*s + 61, q*s - 5*w - 167 = 0. Is s a multiple of 27?
True
Let k(h) = 397*h + 35. Let o(r) = -199*r - 18. Let b(p) = -3*k(p) - 5*o(p). Is 51 a factor of b(-3)?
False
Suppose 3*p = -p + 8. Suppose -5*f + 1415 = 5*z, p*f + 6*z - 9*z - 576 = 0. Is 19 a factor of f?
True
Let o(v) = -v**3 - 19*v**2 - 7*v + 54. Let g be o(-21). Suppose g = 15*h - 42. Is h a multiple of 23?
False
Suppose 3*a + 5 = 4*q, a = 4*q - 3*a. Suppose 55 = -q*w - 3*j, 0 = 8*j - 3*j. Let i = 25 + w. Is i a multiple of 14?
True
Let d be (-8)/52 - 21829/(-13). Suppose -20*b + d = -2381. Is b a multiple of 11?
False
Suppose 17887 = 2*i + 8031. Does 56 divide i?
True
Is 4187/158*5046/3 a multiple of 29?
True
Let f(b) = -2*b**2 + 7*b - 4. Let h be f(4). Let r(m) = -m**3 - 4*m**2 - 6*m + 25. Is 7 a factor of r(h)?
True
Let d(x) = 2060*x - 5508. Is 23 a factor of d(15)?
True
Let v = -5 - -11. Let x(i) = i**3 - 7*i**2 + 6*i + 4. Let l be x(v). Suppose l*p - p = -3*u + 105, 2*p - 2*u = 82. Is 38 a factor of p?
True
Suppose -v = -2*v + 4*i + 42, 16 = 4*i. Suppose -9*a + v - 13 = 0. Suppose a*l - 6*l = -105. Is l a multiple of 7?
True
Let z(r) = -r**2 - r - 1. Let i(x) = -x**3 - 8*x**2 + 12*x + 23. Let c(m) = -i(m) - 5*z(m). Does 21 divide c(-11)?
False
Let v(q) = -6 - 19*q + 17*q + 22. Let h be v(6). Suppose -h*f + 500 = 2*c, -3*f - c + 372 = 2*c. Is 18 a factor of f?
True
Let n be (-462)/(-105) - (-2)/10*-2. Suppose n*b + 13 - 25 = 0. Suppose b*k = -k + 92. Does 2 divide k?
False
Let a(q) = -q**3 + 4*q**2 + 7*q - 8. Let x be a(5). Suppose x*z - 74 - 70 = 0. Suppose 5*f + z = 8*f. Is 24 a factor of f?
True
Suppose -22*q + 12833 = -59239. Is 26 a factor of q?
True
Let j = 36443 + -20430. Is 176 a factor of j?
False
Let x = 235 - 235. Suppose x = -5*r - j + 1274, -r + 323 = -3*j + 65. Does 17 divide r?
True
Suppose 8*q = 152*q - 149983 - 675857. Is q a multiple of 185?
True
Suppose -2*p + 1 = -3, -4*p = -5*g + 7. Is 20 a factor of 18/((-4)/g + 2)?
False
Let l = 189 - 187. Suppose -17*b + 4140 = -l*b. Is 34 a factor of b?
False
Let f = 790 + 3812. Is f a multiple of 13?
True
Let w(b) = -53*b - 98. Let s be w(-39). Suppose 7*x = 18*x - s. Is x a multiple of 19?
False
Let o = 1718 + 1126. Is 6 a factor of o?
True
Let j(z) = 33*z**2 - 35*z + 128. Does 50 divide j(13)?
True
Let z = -130 + 130. Is 11 a factor of 1389/3 + z + -1?
True
Let x be 9 + (-90)/5 - -14. Suppose -5*b = -10, 72*s - 69*s - 1417 = -x*b. Is 9 a factor of s?
False
Let r(i) = 65*i + 197. Let d(n) = 2*n. Let g(s) = -3*d(s) - r(s). Is 14 a factor of g(-5)?
False
Let u be 618/(-3)*(-2)/4. Let b(v) = 15*v + u + 111 - 231 + v**2. Does 5 divide b(-18)?
False
Suppose 4*p + 126 = -5*p. Is 59 a factor of (5313/p)/(7/(-14))?
False
Suppose 20*y - 22230 - 21150 = 0. Does 15 divide y?
False
Let s(x) = -x - 1. Let p be (-1 - -2)/1*-3. Let d be s(p). Suppose 12 + 3 = l - u, -d*l + 42 = 2*u. Does 6 divide l?
True
Suppose -189 - 789 = 3*l. Let y = -107 - l. Is y a multiple of 73?
True
Suppose 1656 = s + 9*g, -5*s - 14*g + 8186 = -16*g. Does 49 divide s?
False
Suppose 0 = 86*k - 87*k - 3*y + 11911, 2*y = 4*k - 47658. Is k a multiple of 161?
True
Let o(g) = 3*g**2 - 29*g + 22. Let l be o(9). Suppose -4*q = -2*u + 428, 0 = u + l*q - 9*q - 211. Is 24 a factor of u?
True
Let c(v) = 6*v**3 + 13*v**2 - 14*v - 30. Is 151 a factor of c(7)?
True
Suppose 5*s - 2*p = -461, 2*s + 0*p + 179 = -p. Let t be 4/7 - 403/s. Suppose -5*d = -2*c - 935, -3*c + 915 - 5 = t*d. Is 16 a factor of d?
False
Let r be (-15)/((-75)/10) - (-1 - -1). Suppose s + 3221 = 5*z, 18*s - 23*s = r*z - 1283. Is z a multiple of 28?
True
Suppose 7*i + 3*z + 825 = 9*i, 4*i = -z + 1629. Let g = 912 - i. Does 60 divide g?
False
Suppose -3*i - 829 = -211. Let r = i - -341. Does 11 divide r?
False
Suppose 128 = -0*s + 4*s. Suppose 34*o - s*o - 306 = 0. Does 15 divide o?
False
Suppose 0 = -9*c + 5277 + 69208 + 7415. Is c a multiple of 52?
True
Let r = 35 + -36. Let b = r + 5. Suppose 220 = 3*d - k, 3*k = -b*d - k + 272. Is 12 a factor of d?
True
Let l(d) = -d**2 - 4*d - 3. Let a be l(-3). Suppose 3*v = -a*v + 9, q - 5 = -v. Suppose -65 = -7*h + q*h. Is 13 a factor of h?
True
Let r = -26 - -31. Suppose 0 = 2*o - 3*c - 8, r*o + 4*c + 2 = -1. Is (-33 + o)*(-4 - (-42)/12) a multiple of 3?
False
Let d(p) = -2*p**2 - 39*p - 53. Let h be d(-18). Is 4 a factor of 3 - (1 + -48) - (h - 4)?
False
Suppose 7*x = 10*x + 288. Suppose -10 = -2*q + 4*m + 274, 286 = 2*q - 5*m. Let k = q + x. Does 7 divide k?
True
Suppose -z + 2*z + 5*u = 75, 2*z - 130 = -5*u. Suppose 240*r - 1863 = 213*r. Let y = r - z. Is 7 a factor of y?
True
Let f = 140 + -118. Suppose -f*g = -4*g - 4446. Is 25 a factor of g?
False
Let c(f) = f - 7. Let y = 22 - 0. Suppose b - y = 2. Is 17 a factor of c(b)?
True
Suppose -4*s = u - 12654, 2398*u - 2395*u + 2*s - 38022 = 0. Is 62 a factor of u?
False
Suppose -88*x - 166093 = -235345 - 262948. Does 9 divide x?
False
Let r(f) = 13*f. Let k be r(-9). Suppose -214 = -2*m + h - 587, 3*h + 197 = -m. Let a = k - m. Does 4 divide a?
False
Suppose a = -79 + 104. Let w(y) be the second derivative of -y**4/12 + 9*y**3/2 - 3*y**2 + 13*y. Is w(a) a multiple of 2?
True
Let k = -23 - -28. Suppose -k*o - 5*p = -790, 3*o = -0*o + p + 486. Does 5 divide o?
False
Let a = 1736 + 3635. Is a a multiple of 7?
False
Let c be ((-4)/(-10))/((-3)/(-240)). Let q(j) = -2*j**2 - 35*j - 7. Let g be q(-14). Let f = g - c. Is 15 a factor of f?
False
Let r(p) = -p**2 - 11*p - 14. Let s(a) = -a + 1. Let u(b) = r(b) - 2*s(b). Let w be u(-3). Suppose -w*y = -196 - 38. Is y a multiple of 13?
True
Suppose -133*c + 6436 = 4*s - 129*c, 0 = -3*s + c + 4831. Does 35 divide s?
True
Suppose -186510 + 81800 - 370100 = -147*h. Is 10 a factor of h?
True
Let b(m) be the first derivative of -15*m**2/2 + 22. Let p be b(10). Let n = p - -286. Does 17 divide n?
True
Suppose 36*a - 10400 = 16*a. Let m = a + -4. Is 43 a factor of m?
True
Let q = 19015 + -12234. Let n = -4765 + q. Is 29 a factor of n?
False
Let t(r) be the second derivative of -219*r**5/10 + r**4/12 - r**3/3 - 3*r**2/2 - 5*r - 2. Is t(-1) a multiple of 48?
False
Let o = 962 + -86. Suppose 7*q - o = 3*q. Suppose -y = 5*j - q, -4*j - 2*y + 7*y = -181. Is 21 a factor of j?
False
Let s be 18/90 - (-1)/(-5). Suppose -10*g + g + 36 = s. Suppose g*f - n - 162 - 173 = 0, -5 = -5*n. Is f a multiple of 37?
False
Let b = -55 + 65. Suppose -k + 2*l + b = 0, -9*l = -5*k - 10*l + 28. Is 15 a factor of 622/k - (-15)/45?
False
Is (11 - 16) + 4 + 28962/2 a multiple of 27?
False
Let v be -6 + (3/(-3) - -6 - 3). Let c be v/10 + 3/((-90)/(-7242)). Suppose 79 = 8*l - c. Is 8 a factor of l?
True
Let f(n) = -n**3 + 38. Let a be f(0). Let s = 277 + a. Is s a multiple of 15?
True
Let q be 452/6 - (-1)/(-3). Let v(b) = -b**3 + 9*b**2 + 14*b + 12. Let o be v(10). Let k = o + q. Does 44 divide k?
False
Suppose -6*q = 2101 - 7771. Suppose 0 = 3*i - 4*c - q, 5*c - 437 - 193 = -2*i. Is (15/i - (-2)/7)*375 a multiple of 19?
False
Is 2 a factor of 22/(-363) + 20992/66?
True
Let h(m) = -m**3 + 77*m**2 - 273*m - 36. Does 42 divide h(38)?
True
Suppose -3*d + 4*i = -800, 2*i + 6 = -4. Suppose -4 = -2*l, c - 6*c + 5*l + d = 0. Suppose 3*u + 24 - c = 0. Does 10 divide u?
True
Suppose 4*w - 39792 = -3*q, -48*w + 9925 = -47*w - 5*