Let k(g) = g + 65. Is k(-25) a multiple of 4?
True
Let w = -47 - -56. Suppose 0 = -m - 3*x + w + 2, 6 = m + 4*x. Is m a multiple of 26?
True
Let w = -10 + 14. Suppose -s - 5*g + 33 = 0, -3*g = w*s - 4*g - 195. Is 16 a factor of s?
True
Suppose -5*s - 50 = 2*j, -3*j + s - 26 = -j. Let m = 30 + j. Is m a multiple of 5?
True
Let g = -31 - -59. Suppose 5*p + g = 3*p. Let h = 24 + p. Is h a multiple of 2?
True
Let l = -171 - -203. Is l a multiple of 16?
True
Let f be 14/9 + (-36)/(-81). Suppose -930 = -8*s - f*s. Does 31 divide s?
True
Let o = 1 + 2. Suppose -2*t - 5*x + 390 = 3*t, -2*x + 316 = 4*t. Does 15 divide (45/20)/(o/t)?
True
Let t(x) be the second derivative of x**4/6 + x**3/2 - 11*x**2/2 + 9*x. Does 12 divide t(-5)?
True
Suppose a - v = 375, 2*a - 756 = -0*v - v. Is a a multiple of 29?
True
Let v be 0/((1 - 5)/2). Suppose -l - l + 16 = -a, -4*l - 2*a + 40 = v. Suppose l = 2*g - 5. Does 2 divide g?
False
Let u = -35 + 61. Suppose 22*d = u*d. Is 26 a factor of (-1 - d)/((-5)/595)?
False
Suppose n - 3 - 9 = 4*r, 5*n - 3*r + 25 = 0. Let u be ((-5)/(-4))/(n/(-32)). Suppose -2*d - 5 = u*o - 30, -4*d = -4*o + 20. Is 3 a factor of o?
False
Let o(h) = 59*h - 309. Does 10 divide o(11)?
True
Let z be (3/(-3))/((-1)/5). Let k be 6/(-10) + 3/z. Suppose k = 2*s + s - 141. Is 25 a factor of s?
False
Suppose -2475 = -49*x + 2180. Does 19 divide x?
True
Let k be 1*285 - (-20)/(-4). Suppose -2*n + 4*j + k = -j, -j = 5*n - 646. Does 18 divide n?
False
Let f be (17*1)/(-8 - -7). Does 5 divide 70/4 + f/(-34)?
False
Let q be 15/(-9) + 1 - (-16)/6. Suppose d = q*m - 6*m + 152, 0 = -4*d + 2*m + 626. Does 21 divide d?
False
Let a be (-2)/((6/9)/1). Is 19 a factor of (2*a)/((-3)/18)?
False
Let d(y) = -y + 6. Let v(a) = -a**3 + 3*a**2 + 6*a - 5. Let j be v(4). Let w be d(j). Is 23 - w/6*4 a multiple of 7?
True
Let i(c) be the second derivative of -c**4/12 - 2*c**3/3 + 5*c**2 - 7*c. Let y be i(-5). Suppose -155 = d - 6*d + y*j, 2 = -j. Does 20 divide d?
False
Suppose -2*p = -3*p + 5*g - 7, 2*p + 3*g + 14 = 0. Let n(f) be the third derivative of f**5/60 + 5*f**4/24 + 5*f**3/3 - 4*f**2. Is n(p) a multiple of 8?
True
Let h = 33 - 24. Let l(z) = z**3 - 10*z**2 + 9*z. Let f be l(h). Suppose 2*y = 3*o + 28, f = -y + o + 12 - 0. Is y a multiple of 3?
False
Suppose -61*r - 3*p + 7 = -62*r, -r - 4*p + 21 = 0. Let m = 0 - -6. Let j = m + r. Does 2 divide j?
False
Suppose -5*h + 2710 = 5*k, -8*h - 2182 = -4*k - 5*h. Does 32 divide k?
True
Suppose -30 = 42*b - 44*b. Does 5 divide b?
True
Let b(p) = -p + 5. Let t be b(5). Is -4 + 43 + 0 + t a multiple of 39?
True
Let z = 9655 - 6784. Is 83 a factor of z?
False
Let u = 5 + -50. Let t = u + 113. Is 10 a factor of t?
False
Let r = 6 + 5. Let m(b) = -8*b**2 - 2*b - 1. Let t be m(-1). Let y = r - t. Does 9 divide y?
True
Suppose 3*l + 10*v - 2224 = 9*v, -l + 746 = 5*v. Does 26 divide l?
False
Suppose 3*l = -2*x - 2*x + 106, 2*l - 69 = -x. Let d = 164 - l. Is 27 a factor of d?
False
Let l(z) = z - 9. Let g be (-4)/16 - 53/(-4). Let i be l(g). Does 18 divide i/(148/140 - 1)?
False
Let v(x) = 31*x**2 + 27*x + 135. Is 33 a factor of v(-6)?
True
Let g be ((-6)/2)/1 + -5 + 8. Suppose -w = 5*z - 91, -4*w - 5*z + 88 + 291 = g. Is 16 a factor of w?
True
Let x(g) = g**3 + 8*g**2 + 9*g + 12. Suppose 4*h = 9*h + 70. Let k be (-120)/21 + 4/h. Does 10 divide x(k)?
True
Let l(s) = -s + 1. Let b be l(2). Let h(j) = 13*j**3. Let v be h(b). Let t = 5 - v. Is 9 a factor of t?
True
Let u = 995 - 98. Does 13 divide u?
True
Let j(h) = 145*h - 478. Does 13 divide j(7)?
False
Let l(c) = 26*c**2 - 95*c + 18. Is 111 a factor of l(-8)?
True
Is 17 a factor of -1 + (24 - 11) + 1271?
False
Let x(o) be the second derivative of 167*o**5/20 + o**3/3 - o**2/2 - 2*o. Let z be x(1). Suppose 3*n = 3*l + z, -4*n - 3*l + 289 - 37 = 0. Does 23 divide n?
False
Let u be (2 + -7)/((-4)/52). Suppose z + z - 174 = 3*y, -z - 4*y + u = 0. Is z a multiple of 19?
False
Suppose -r - r - 5848 = -3*m, 0 = -5*m + 5*r + 9740. Is 108 a factor of m?
False
Let g(l) = -l**3 - 6*l**2 - 9*l - 12. Let t = 9 + -4. Suppose 6 = -t*i - 19. Does 4 divide g(i)?
True
Suppose 20*v = 5*v + 7770. Is v a multiple of 37?
True
Let p(u) = -u**3 + 7*u**2 - u + 10. Let y be p(7). Suppose y*j - 2*c - c - 15 = 0, -5*c + 10 = 2*j. Does 5 divide j?
True
Is 29 a factor of 6531/45 + 2/(-15)?
True
Let l(z) = z**2 - 24*z + 98. Does 6 divide l(22)?
True
Let f(i) be the second derivative of -i**4/12 + 2*i**3/3 + 7*i**2/2 + 7*i. Let u be f(7). Let b(j) = j**3 + 13*j**2 - 17*j + 6. Is b(u) a multiple of 16?
True
Let c(y) = y**2 - 2. Let a be c(2). Suppose -a*v + 267 = 75. Is 32 a factor of v?
True
Let c be -9 + 1*11/1. Let f be 1 - (-197 + (1 - 0)). Suppose c*m = -3*t + 215, -4*m + 160 = 5*t - f. Is 25 a factor of t?
False
Let h = -123 - -131. Is 4*13/h*2 a multiple of 2?
False
Is 22 a factor of 23 + -24 + (2 - (-1944)/4)?
False
Let j be (66/(-15) + 2)*-5. Let r = j - 10. Suppose 176 = r*y + k, 2*y - k = 15 + 157. Is y a multiple of 27?
False
Suppose 4*s = -2*j - 34, -5*s - 61 = 5*j - 3*s. Suppose 3*z + 3*o = 171, 3 = 5*o - 7. Let g = j + z. Is g a multiple of 10?
False
Suppose 20 = 4*u - 0. Suppose c - 17 = -3*s - 3*c, -u*s + 3*c + 9 = 0. Suppose s*x + 17 = y - 38, 3*y - x = 125. Is 10 a factor of y?
True
Let l(z) = 8 + z**2 + 12*z + 3 + 4. Let w be l(-10). Let o = 9 - w. Does 7 divide o?
True
Let p = -183 - -15. Let b = 292 + p. Is 30 a factor of b?
False
Suppose 3*x + 3*b + 2*b + 60 = 0, 2*x - 2*b + 56 = 0. Let o = 84 - x. Is o a multiple of 17?
False
Let k(r) be the second derivative of r + 2*r**2 + 0 - 1/3*r**3. Is k(-5) a multiple of 7?
True
Let x(w) = -322*w + 118. Is 17 a factor of x(-2)?
False
Let c(n) = 3*n**2 - 3*n - 3. Let v be c(-2). Let q be (9/v)/((-4)/(-20)). Is (-18 - 2)*q/(-12) a multiple of 2?
False
Let c be 1/(-3) - (-80)/15. Suppose c*n = -2*n + 35. Suppose -4*l - l + 50 = -n*m, 0 = -5*l - 4*m + 59. Is l a multiple of 2?
False
Let s = 80 + 8. Let z = -58 + s. Suppose -2*q - 2*a + z = 0, 3*q + 2*a - 30 = 4*a. Does 12 divide q?
True
Let y be ((-5)/(70/(-4)))/((-2)/(-14)). Suppose 5*a - 134 = -3*c, 3*c + 3*a - 234 = -y*c. Is 8 a factor of c?
True
Let b(y) = -9*y**2 - 26*y + 19. Let c(h) = -5*h**2 - 13*h + 10. Let w(p) = 6*b(p) - 11*c(p). Let s(g) = -27*g - 40. Let o be s(-2). Is w(o) a multiple of 7?
False
Let g(j) = -4*j + 21. Let c be g(-4). Let s = c + -5. Is 18 a factor of s?
False
Suppose -5*n + 22 + 263 = 0. Is 45/(-30) + n/2 a multiple of 5?
False
Let x(u) = 7*u + 14. Suppose -5*m = d - 27 + 3, d + 3*m = 16. Does 14 divide x(d)?
True
Suppose -6*v + 4*v = 2. Does 7 divide -28*(-30)/4*v/(-6)?
True
Let n(l) = l + 5. Let g be n(7). Let u(h) = h**3 + 6*h**2 - 17*h - 3. Let p be u(-8). Suppose p*w - c - 34 = g, 5 = -5*c. Is 6 a factor of w?
False
Let v(t) = t + 2. Let w be v(-2). Let z be w*(1 + (-4)/3). Suppose -2*f + 5*a + 35 = 0, -115 = -3*f - z*f - 5*a. Does 7 divide f?
False
Let f(n) = n**3 - 3*n + 3. Let k be f(2). Suppose 5*z + 162 = 2*m - 113, m - 115 = -k*z. Is 13 a factor of m?
True
Let v be -3*(-2 + 1) + 0. Let l be (42*v - -2)/1. Let w = l + -25. Is w a multiple of 23?
False
Is 17 a factor of 9790/8 + 0 + 1/4?
True
Let y be 1/1*(7 + -1). Suppose -y*z = -z - 85. Is z a multiple of 4?
False
Suppose f + 152 = 3*f. Suppose 4*c + 0*v - 562 = -2*v, c - 168 = 5*v. Let i = c - f. Is 14 a factor of i?
False
Let d(k) = -2*k + 36. Let o be d(0). Suppose -3*p = -2*p - o. Is p a multiple of 16?
False
Let y(k) = 45*k - 47. Does 4 divide y(10)?
False
Let c = -10 + 26. Let v = 58 - c. Is v a multiple of 21?
True
Suppose 11487 = 84*o - 10269. Is o a multiple of 8?
False
Let b be (-47)/(-4) - 4/(-16). Suppose -b = 6*c - 9*c. Suppose -28 = 5*q - c*r - 92, -3*r = -q + 4. Is 8 a factor of q?
True
Let o(p) = p**3 - p. Let k be o(-2). Let b(q) = -1 + 1 - 3 - 3*q - 2. Does 5 divide b(k)?
False
Let u(n) = -n**2 + 10*n + 2. Let b be u(10). Suppose -10 = -r + b*r. Does 29 divide (-145)/r*(5 - -1)?
True
Suppose 3*q - 2*z - 66 = 0, 0 = -22*q + 19*q - 3*z + 81. Does 24 divide q?
True
Let h = 176 + -81. Suppose -n - 5*o + 111 = 0, -h = -5*n + 2*o + 379. Let j = -48 + n. Does 16 divide j?
True
Suppose -q + 56 = 4*z - 35, 4*z - 116 = 4*q. Suppose 0 = 3*k + 4*s - 13 - 23, -2*k = 3*s - z. Does 4 divide k?
True
Let b = -