 16*c - 92. Let x be m(0). Is ((-1)/(-4))/(-1)*x a multiple of 6?
False
Let f = -103 - -135. Does 4 divide f?
True
Let r = -3 - -17. Let b(h) = -h + 26*h**2 - 5 + r - 8. Does 9 divide b(1)?
False
Suppose -s + 7 = -4*n, 2*s + s = -2*n + 77. Let u = -19 + s. Suppose -u*g + 84 = 3*p, -2*g - 4*p + 20 = -22. Is 4 a factor of g?
False
Let n(o) = -5*o**3 + 7*o**2 - o - 2. Let x(a) = -a + 5*a**3 + 2*a**3 + a**3 - a**2 - 7*a**3 + 1. Let k(l) = -n(l) - 4*x(l). Is 4 a factor of k(3)?
False
Let j(y) = 2*y**2 - 17*y + 7. Let z be j(8). Suppose -l + 2*o + 2 = 3*l, 0 = 2*l + 5*o - 19. Is 13 a factor of 31/2 - z/l?
False
Is (33*9)/((-45)/(-240)) a multiple of 33?
True
Is (12 - 30)*3/(-2) a multiple of 9?
True
Suppose p + 4*z = -0*p - 8, z + 19 = 4*p. Suppose -5*f - 58 = -4*m, -p*m + 64 = m - 2*f. Does 5 divide m?
False
Let k be (0 - (-4 + 3)) + 4. Suppose -8*l + k*l = 42. Does 23 divide 497/5 + l/35?
False
Let q(g) be the third derivative of g**4/24 - 7*g**3/3 - 5*g**2. Let j be q(18). Suppose j*i + 0 = -4*h + 4, 11 = h - 4*i. Is h a multiple of 3?
True
Suppose 0 = -3*f - 2*f. Let k be (0 + f)/(0 + 1). Suppose -5*w + 274 - 79 = k. Is w a multiple of 13?
True
Suppose 762 = -13*o + 16*o. Is o a multiple of 29?
False
Suppose 5*g - 2*c - 30 = -0*g, 0 = 3*g + 5*c + 13. Suppose -2*m + 80 + 140 = -g*v, -5*m - v = -605. Is m a multiple of 20?
True
Suppose -5*j - 25 = 0, -3*r + 2*j = -2*r - 12. Suppose 0 = f - 2*a - 125, 3*f + r*a = f + 220. Suppose 3*p - f = 2. Is 13 a factor of p?
True
Let r(q) = -q**3 + 13*q**2 - 15*q - 7. Let i be r(11). Suppose 2 = -g + 3*v, -v + 23 = -4*g + i. Let a = g + -9. Is 4 a factor of a?
True
Suppose 3*z - 2 - 4 = 0. Suppose m + z*m = 324. Suppose -x = -3*s + 58, -m = 2*s - 7*s - 4*x. Is 5 a factor of s?
True
Let i(l) = -l - 8. Let p be i(-4). Let c be 1/p + (-52)/(-16). Suppose -2*a = -2*r - 12, -c*a = 5*r - 0*r - 10. Does 2 divide a?
False
Suppose 3*g = -3*u + 525, -4*g + 20 = 40. Is u a multiple of 12?
True
Let q = -8 + 19. Let y(o) = -o + 15. Let l be y(q). Suppose a + l*a = 90. Is a a multiple of 3?
True
Suppose 3*f - 472 = -1483. Let d = f + 493. Is d a multiple of 12?
True
Is (-2)/(-1 + 399/405) a multiple of 10?
False
Suppose -4 = 2*a, 5*w + 4*a = 821 + 196. Suppose -5*r + 3*x + 229 = 0, -3*r = 2*r + 5*x - w. Does 3 divide r?
False
Suppose -15*k - 9100 = -41*k. Is 25 a factor of k?
True
Let q(b) = b**2 + 20*b - 100. Is 2 a factor of q(-25)?
False
Let a(c) = 4*c**2 - 47*c - 2 + 30*c + 21*c - 1. Is 5 a factor of a(-4)?
True
Suppose 3*h = -8*h - 55. Is 12 a factor of (10/2)/h - -102?
False
Let s(w) = -w**2 - w - 14. Let b be s(-5). Let c = b + 115. Is 27 a factor of c?
True
Suppose 2*c = -3*i + 4, -5 = c - i + 6*i. Let z = 9 - c. Suppose 0 = -z*d + 2*d + 38. Is 19 a factor of d?
True
Let q(p) = p**2 + 2*p - 16. Let y be q(9). Suppose 6*l - y - 43 = 0. Does 2 divide l?
False
Let o(s) = -s**3 - 11*s**2 + 5*s + 15. Suppose -60 = 8*g - 3*g. Is 11 a factor of o(g)?
True
Suppose -6*i = -i - 120. Let u(g) = g**2 - 5*g - 6. Let d be u(6). Suppose d = -2*p + q + i, -6 = -4*p - 3*q + 22. Does 5 divide p?
True
Does 50 divide (-10)/(-70) - 16902/(-21)?
False
Let p be (6 - 0)/((-3)/(-288)). Suppose -3*w = -11*w + p. Is 18 a factor of w?
True
Let l(y) = 8 - 14 - 3*y - 12 + 19*y. Is 39 a factor of l(6)?
True
Suppose -4*a - 2*r + 1670 = 0, 2*a - 805 = 11*r - 6*r. Does 23 divide a?
False
Let q be (10 + -3)*4/14. Suppose 0 = q*r + 5*f - 48, 0 = -0*r + 3*r + f - 72. Does 6 divide r?
True
Let b be (-16)/(-40) + (-18)/(-5). Suppose -b*h + 51 = -61. Is 28 a factor of h?
True
Let x(z) = 33*z**3 + 3*z**2 - 9*z + 5. Is x(3) a multiple of 16?
True
Let q(r) = -6*r + r + 2 + 1 + 3. Let o be q(4). Let k = o - -21. Does 3 divide k?
False
Suppose 62 = 3*c + 2*q, 2*q = -3*c + 5*q + 72. Suppose -2*w = -5*a - 61, -5*a - 129 = -4*w - c. Does 23 divide w?
True
Let p(k) = 8*k**2 + 22*k + 30. Is 13 a factor of p(-11)?
False
Suppose 4*q = -5*r + 33, 0*r + r = q + 3. Let c be (2/(-4))/(q/(-12)). Suppose c*y - 14 - 25 = 0. Is 13 a factor of y?
True
Let m(c) = 4*c**3 + 2*c**2 - 12*c + 10. Does 29 divide m(4)?
False
Suppose 0 = -5*n + 2*t + 302, -2*n + 3*t = -38 - 85. Is n a multiple of 6?
True
Suppose 5*r + 2*b - 15525 = 0, 0 = 5*r - 6*b + 5*b - 15525. Is r a multiple of 45?
True
Suppose 5*x - 5*p - 3925 = 0, -5*x + 3910 = -0*p - 2*p. Does 10 divide x?
True
Suppose 2*j + 5 = 3*c + 212, -5*c + 447 = 4*j. Does 36 divide j?
True
Let k(l) = 2*l + 25. Let x be k(-10). Suppose 20 = -x*z + 495. Is 35 a factor of z?
False
Let n(p) = 2*p + 2. Let r be n(2). Let z be (-1)/r + 277/6. Suppose 3*w - z = -5*k, w - 14 = -k - 0. Is 12 a factor of w?
True
Let t = 1654 + -1519. Is t a multiple of 7?
False
Suppose 5*b - 3*b + 10 = 4*q, -2*b = -5*q + 14. Suppose 0 = -3*s - 3*j + 561, s - 162 = b*j + j. Is s a multiple of 8?
False
Let t = 2 + 0. Is 9 a factor of 2/(-3) - t/(6/(-29))?
True
Let i(y) be the third derivative of y**7/840 + y**6/180 - y**5/30 - 5*y**4/12 - 5*y**2. Let b(z) be the second derivative of i(z). Is 12 a factor of b(4)?
True
Let m be (15/(-3))/((-2)/4). Let n be (-9)/45 + 22/m. Is n/9 + 1184/18 a multiple of 22?
True
Let b be ((-4)/(-6))/(4/(-6)). Let z be (-17)/153 - (-46)/9. Let m = z + b. Is m even?
True
Is (-2171)/(-5) - (-4)/(-120)*6 a multiple of 23?
False
Suppose -22*h + 19*h = -6. Suppose 9*w - 7*w = -b + 307, 0 = 5*w - h*b - 772. Does 20 divide w?
False
Suppose 0*v + v + 136 = j, 0 = j + 3*v - 128. Is 16 a factor of j?
False
Let g = 1075 + -212. Is g a multiple of 13?
False
Suppose -5*l + 1293 = -2*l + 3*g, 3*l = -g + 1293. Is 38 a factor of l?
False
Suppose -19*i = 4*i - 42504. Does 88 divide i?
True
Let h(k) = 2*k**2 + 25*k - 25. Let d(v) = -v**2 + 2 + 7*v + 6*v + 11 - 26*v. Let b(f) = 11*d(f) + 6*h(f). Is 27 a factor of b(6)?
False
Suppose -1895 = -8*g + 1865. Is 6 a factor of g?
False
Let w(v) = -5*v + 17. Let r(g) = -g + 1. Let i(a) = 4*r(a) - w(a). Let k be i(14). Does 14 divide (1 - k) + (-90)/(-3)?
False
Suppose -98 = -5*j + 777. Suppose 0 = -4*v - 2*v + 18. Suppose 3*n - j = -0*r + 4*r, v*n + 5*r = 139. Is n a multiple of 11?
False
Suppose 0 = -d + 2 - 4. Let r be (-24)/16*8/(-6). Is 42 a factor of d + r/(4/218)?
False
Let c(m) = -2*m**3 + m + 16. Suppose 4*o - 2*w + 18 = 0, -4*o - 5*w = 11 - 0. Is c(o) a multiple of 28?
True
Let t be 486 - (5 - 4) - 0. Suppose 0*y + 5*y + c - t = 0, 111 = y + 3*c. Is 12 a factor of y?
True
Suppose -4*a - 12 = g, -g - 143 = 3*g - 3*a. Let q be (28/(-6))/(2/(-36)). Let m = g + q. Does 26 divide m?
True
Suppose 0*w - 55 = 3*z - 5*w, 41 = -3*z - 2*w. Is 13 a factor of (-1 + 11)*(-10 - z)?
False
Let r(a) = -a**3 + 3*a**2 + 2*a + 5. Let d be r(4). Is 18 a factor of d - -3 - 1 - -136?
False
Suppose 4*b = 12, -3*v + 3*b = -3225 - 381. Is 29 a factor of v?
False
Let x be (-2 + 1 + 2)*192. Suppose -12*n - 20 = -16*n. Suppose 25 = b - 2*q - 16, -n*b + x = 3*q. Does 13 divide b?
True
Suppose -2*u = -17 - 343. Is u a multiple of 15?
True
Let w(a) = -4*a - 35. Let x be w(-9). Is ((-462)/(-88))/(-2*x/(-24)) a multiple of 32?
False
Suppose 7 = -3*s - 29. Let g be 0 + (1 - 2) + s. Let q(z) = z**2 + 13*z + 12. Is 6 a factor of q(g)?
True
Suppose -6*m = -4*m - 30. Let x = m - -9. Is 6 a factor of x?
True
Let r(i) = 8*i**2 + 2*i - 12. Let v be r(3). Let s = 77 - v. Does 5 divide s?
False
Suppose 0 = 16*f - 12*f + 60. Let n be 5/(f/(-4))*54. Suppose -3*q + 96 + n = 0. Is 12 a factor of q?
False
Suppose 5*x = -3*y + 8*y - 385, 3*x - 243 = -3*y. Does 13 divide y?
False
Let m = -380 + 377. Let w = -344 - -1252. Is 19 a factor of m/(-15) - w/(-10)?
False
Let b(i) = i**2 - 3*i + 1. Let w be b(3). Let k be w*8/(-3)*-18. Suppose 0 = 4*x, 5*l = 3*l - 4*x + k. Is l a multiple of 8?
True
Let x be (-1 - (-75)/(-10))/((-1)/2). Suppose -22*a + x*a = -275. Is a a multiple of 8?
False
Let b = 4 + 6. Let n(v) = v**3 - 9*v**2 - 5*v + 14. Does 10 divide n(b)?
False
Suppose -18 = -p + 4*p. Let f = p + 9. Is 27 a factor of f*(260/12 - -1)?
False
Suppose -2*i - 5*c - 10 = 3*i, c + 4 = 0. Does 3 divide i*(-3)/((-9)/12)?
False
Suppose 150*w - 176 = 146*w. Does 14 divide w?
False
Let n(w) be the first derivative of -2*w**2 + 9*w - 6. Let i be n(-12). Let c = 105 - i. Does 24 divide c?
True
Suppose 16 = 4*d, 2*d + 2 = -3*g + 19. Let q(m) = m**2. Let s(a) = 2*a**