pose 2*q = h*d + 76, 2*q + q - 4*d - 112 = 0. Is 18 a factor of q?
True
Suppose -5*x + 174 = -4*p - 974, 4*x = -p + 931. Suppose 2*a - 96 = 3*g - 6*g, 4*a - 4*g = x. Does 15 divide a?
False
Let l = -197 + 573. Let v = l + -183. Does 12 divide v?
False
Let g(r) = 4*r**3 - r**2 + 1. Let z be g(1). Suppose x + z*v - v - 20 = 0, 157 = 5*x - 4*v. Let k = 47 - x. Is k a multiple of 9?
True
Let o(f) be the third derivative of f**4/12 + 25*f**3/6 - 2*f**2. Let b be o(-11). Suppose 7*c = b*t + 2*c - 167, 53 = t - 3*c. Is 23 a factor of t?
False
Let j(g) = 229*g - 227. Is j(5) a multiple of 6?
True
Suppose 10*j - 1963 = -213. Is 15 a factor of j?
False
Let w(i) = 2*i - 4. Let s be w(4). Suppose s = q + q. Suppose 5*l - q*z - 55 = 0, 8 + 3 = l + 2*z. Is 11 a factor of l?
True
Let s(j) = 4*j + 5. Let o(x) = x + 1. Let f(h) = 3*o(h) + s(h). Is 16 a factor of f(2)?
False
Let j(l) be the first derivative of -l**3/3 + 7*l**2 - 6*l - 2. Suppose -i - 6 + 18 = 0. Does 9 divide j(i)?
True
Suppose 82*c - 3*c - 48585 = 0. Does 22 divide c?
False
Suppose 2*f + 5*v - 22 = f, f + 2*v - 7 = 0. Is 2 a factor of (-52)/f - 44/(-66)?
True
Let j(b) = -9*b**2 + 2*b - 12. Let m be j(6). Is (-1)/((-2)/m)*52/(-78) a multiple of 26?
False
Suppose 10*l - 25 = 5*l. Suppose w + l = -58. Is -2 - (-1)/((-1)/w) a multiple of 15?
False
Is 15 a factor of 4 - ((-55125)/90 - 6/(-4))?
True
Suppose -3*x + 12*s - 13*s + 1923 = 0, 1923 = 3*x + 3*s. Is 8 a factor of x?
False
Let o be ((-3)/18)/((-3)/45)*30. Let f = o - -65. Is f a multiple of 14?
True
Suppose -2 = u - 0. Let l be u - -1 - -3 - -1. Suppose -v + 2*a = l*v - 34, 0 = -2*v - 3*a + 13. Is 2 a factor of v?
True
Let b(q) = 6*q**2 - 3*q - 26. Let l(i) = -i**2 - i + 1. Let h(n) = b(n) + 5*l(n). Does 19 divide h(-13)?
False
Let y(h) = 10*h**2 - 10*h - 45. Let m(n) = 7*n**2 - 7*n - 30. Let o(p) = 7*m(p) - 5*y(p). Does 15 divide o(0)?
True
Let o(b) = b**3 - 7*b**2 - 8*b + 3. Let s be o(8). Is 34 a factor of -7 + s + 1 + 173?
True
Suppose -3*d + 5*d - 8 = 0. Suppose -4*u - 5*p = u - 95, d*p = 2*u - 44. Suppose -l - l = -u. Is l a multiple of 10?
True
Let i be 3 - (-2 - 1/1)*-1. Does 23 divide i - 264/(-3) - (-3 + -1)?
True
Suppose 20*m - 22*m + 566 = 0. Is 27 a factor of m?
False
Let j(a) = a**3 - 6*a**2 + 8*a. Suppose 4*n + 5 = 5*n. Is 15 a factor of j(n)?
True
Suppose 5*o - 43 = -3*b, 9 = 2*o - 3*b - 4. Suppose -3*p + 3*d = 2*p - 7, -3*d + 5 = p. Let u = o + p. Does 10 divide u?
True
Suppose v + 32 = -138. Let f = 286 + v. Suppose -51 = -3*j - 2*n + 37, -4*j - 2*n = -f. Is j a multiple of 12?
False
Suppose -4*f = 7 + 17. Let w(h) = h**2 - 7*h - 9. Let p(z) = -7*z - 9. Let x(m) = -3*p(m) + 2*w(m). Is x(f) a multiple of 13?
True
Suppose 8*v - 2783 = -3*v. Is 23 a factor of v?
True
Suppose 2 = w - 1. Let g(m) = 3*m**2 + m + 2. Let j be g(w). Let h = -15 + j. Does 13 divide h?
False
Let s(i) = -92*i - 42. Let j be s(-6). Suppose 2*o = -4*o + j. Is 50 a factor of o?
False
Let v = 280 - -344. Does 13 divide v?
True
Let n(w) = -w**3 + 5*w**2 - w + 10. Let f be n(5). Let x(b) = 0 + f - b + 4*b + b**2. Is 5 a factor of x(-5)?
True
Suppose -14*p - 2249 = -7961. Is p a multiple of 34?
True
Suppose 0*d - 25 = -5*d. Is 2 a factor of (-3)/(d/(-1 - 74))?
False
Let z(o) = o**2 + 4*o - 2. Let s(f) = -f**2 - 3*f + 2. Let w(n) = 2*s(n) + 3*z(n). Is 2 a factor of w(1)?
False
Let a(m) be the third derivative of 3*m**4/8 - 11*m**3/6 + 22*m**2. Does 6 divide a(6)?
False
Let s = 58 - 49. Does 7 divide (4/(-2) + s)*1?
True
Let x(r) = r**3 + 5*r**2 - 8*r - 11. Let i be x(-6). Does 7 divide -4*(-8 + -3)*i/2?
False
Let o(w) = -2*w - 1. Let f(b) = -8*b - 3. Let m(l) = -6*f(l) + 26*o(l). Suppose k - 3*c = -11, -4*k - c - c - 16 = 0. Does 5 divide m(k)?
False
Let x = -1 + 4. Suppose -b - 126 = -x*j, 2*b - 3*j + 6*j = -234. Does 16 divide ((-6)/(-10) - 1)*b?
True
Let d(s) be the second derivative of s**4/12 - 19*s**3/6 + 13*s**2 - 10*s. Is d(18) a multiple of 8?
True
Let c be (-135)/21 + (-9)/(-21). Let q(f) = -2*f**3 - 5*f**2 + 12*f - 4. Is q(c) a multiple of 44?
True
Let a = -29 + 21. Let q = a - -11. Suppose q*k - r + 0 = 40, -4*k + r = -55. Is k a multiple of 5?
True
Let f(s) = 35*s**2 + s - 36. Is f(6) a multiple of 15?
True
Let j(r) = 8*r + 0*r - 45 - r + 5. Is 14 a factor of j(17)?
False
Suppose 0 = 2*a - 3*m - 6, -4*a - 1 + 13 = m. Let j = -2 - a. Is 32 a factor of (-48)/j*(-6 + 16)?
True
Let l(m) = -4*m - 8. Let z be l(-8). Let o = -4 - -10. Suppose o*a - z = 5*a. Is a a multiple of 12?
True
Suppose 3*y - 4*w - 929 = 0, 13*y - w + 1226 = 17*y. Does 26 divide y?
False
Let r = -1154 + 1604. Does 6 divide r?
True
Suppose -9361 = -46*f + 35*f. Does 22 divide f?
False
Suppose -4*r + 4 = -12. Suppose -z + 235 = r*z. Suppose 0 = -5*p + 4*x - 5*x + z, 2*p - 10 = 4*x. Is 2 a factor of p?
False
Let w be (-4)/(-18) + (-46)/207. Suppose f - 193 = -4*v, 0 = 2*f + v - w*v - 379. Does 63 divide f?
True
Let u(j) = 35*j - 24. Does 32 divide u(14)?
False
Let w = 30 + -23. Let o(x) = 14*x - 14. Is o(w) a multiple of 6?
True
Suppose -10*w + 5*w + 53 = 2*q, 9 = 3*w. Does 14 divide q?
False
Suppose 20 = m + 3*m. Let g be 12*(8/(-3) - -3). Suppose -m*c = p - 23, g*c + 0*p - 2*p = 24. Is c a multiple of 2?
False
Let x(s) = -5*s**3 + 1 - 2*s**3 + 0*s**3 - 5*s**2 + 8*s**3 + 4*s. Let p be x(5). Let k = p + -12. Is k even?
False
Let l = -212 + 544. Suppose 0*x = -4*x + l. Does 7 divide x?
False
Suppose 2*c + 5*l = 492, 480 = 2*c + 3*l - 4*l. Suppose -r = 5*y - 164, -579 = -5*r + 2*y + c. Does 41 divide r?
True
Suppose -m = 2*m - 369. Let j = 229 - m. Suppose 3*g - 164 - j = 0. Is 23 a factor of g?
False
Let h be 7 + (-2 - 6) - 1*-4. Suppose j = h*j - 262. Is j a multiple of 16?
False
Let a(m) = -17*m**3 + 71*m**3 + 57*m**3 - m. Is 10 a factor of a(1)?
True
Let k(q) be the first derivative of -q**4/4 - 17*q**3/3 - 2*q**2 + 56*q + 3. Does 13 divide k(-17)?
False
Suppose -3*w + 55 = 2*w. Let j(h) = -2 - 8 + w + h**2. Does 5 divide j(3)?
True
Let o = -15 + 9. Let p be 16/o*(-30)/20. Suppose -j = -20 - p. Is j a multiple of 9?
False
Let o(t) = -t**2 + 17*t - 19. Let i = -75 + 81. Does 47 divide o(i)?
True
Does 22 divide 9/(-18)*-2518 - 7?
False
Let s = -10 + 13. Suppose 33 = -s*n + 9. Does 15 divide (-18)/24 - 606/n?
True
Let f(z) = -2*z**2 + 248. Let n be f(0). Suppose 4*r + 16 = n. Is 19 a factor of r?
False
Let h(a) = -2*a**3 - 3*a**2 - 2*a - 3. Let r be h(-2). Suppose 49 = r*q - 176. Is q a multiple of 5?
True
Let h(j) = 1395*j**3 + 3*j - 4. Is h(1) a multiple of 34?
True
Let q be 5/((-195)/123) + 2/13. Is 26 a factor of (2 + -8)/(-3) - (-94 + q)?
False
Let k = 1659 + -1390. Is k a multiple of 16?
False
Suppose -13*q + 25 = -1. Suppose -q*u = k - 262, 0 = 4*u - u - 4*k - 404. Is u a multiple of 12?
True
Suppose 15 = 5*b, b - 2*b = 5*i - 3608. Does 12 divide i?
False
Suppose 0 = -4*p - 77 - 11. Is 11/p - 61*2/(-4) a multiple of 6?
True
Suppose -1 = -3*l + 4*o - 0, o - 11 = -3*l. Let j(y) = y**2 + 9*y + 12. Let d be j(-8). Suppose l*h - h = d*i - 52, -3*i + 30 = 3*h. Is 3 a factor of i?
True
Suppose 4*r - 891 = 4*u + 13, 5*r = u + 1118. Let y = r + -143. Is y a multiple of 8?
True
Suppose -3*i - i = -3*k + 5, k = 4*i - 9. Suppose -3*q + 168 = -k*q. Is (-345)/(-7) - (-12)/q a multiple of 13?
False
Suppose -s = 16 - 139. Suppose -3*z + s = 3*u + z, 0 = z. Is u a multiple of 5?
False
Let r(i) = 28*i + 4. Let f be r(-4). Let z = f + 214. Is 14 a factor of z?
False
Does 40 divide (-42)/98 - 3195/(-7)?
False
Suppose -52*b + 6 = -55*b. Does 6 divide b*(-1 - (-57)/(-6))?
False
Suppose -2*h + 21*b = 24*b - 300, -2*h + 3*b = -288. Is 2 a factor of h?
False
Suppose 2*j - 76 = -68. Suppose 4*b + 48 = 4*f, -j*f + 19 = 5*b + 7. Is 2 a factor of f?
True
Suppose -8*b + 16252 = 9*b. Is b a multiple of 23?
False
Let u(d) = 2*d**2 - 57*d + 332. Is u(33) a multiple of 57?
False
Does 3 divide (-54)/297 - (-5328)/22?
False
Suppose 2*z + 5*z = 3640. Is 52 a factor of z?
True
Is (66/(-6) - -5) + 1410 + -5 a multiple of 32?
False
Let w(i) = -2*i - 10. Let q be w(-6). Suppose 0 = q*j - j + 3*z - 85, 2*z = -6. Is j a multiple of 13?
False
Let m be 1/4 - (-46)/8. Let n(y) = 2*y**2 - 3*y + 5. Is n(m) a multiple of 15?
False
Suppose 0 = f + 30*c - 32*c - 2860, f = -c + 2854. Does 84 divide f?
True
Let o(b) = -10*b**