. Let x = g - 16. Is x a multiple of 9?
False
Suppose 260*m - 9090 = 230*m. Is m even?
False
Let d(y) = 7*y**2 - 19*y - 12. Does 14 divide d(6)?
True
Suppose g + 0*g = -5*n - 17, -16 = 4*n. Let i be (g + (-68)/20)*-5. Suppose 2*k + 0*k = 3*q - 9, -k - 7 = -i*q. Is 2 a factor of k?
False
Let a(b) = -7*b**2 + 7 + 3*b**2 + 5 + 5*b**2. Does 8 divide a(6)?
True
Suppose 26*x + 6476 = 28316. Is x a multiple of 40?
True
Is 39 a factor of (-96)/(-5)*(-2015)/(-62)?
True
Let i = 15 - 15. Suppose -5*q + 106 = -2*s, 2*q - 42 = -i*s + s. Is 5 a factor of q?
False
Let g(f) = -f**2 - 16*f. Suppose -3*l + 65 = -5*a, 3*l + 11 = -4*a + 67. Let y = -33 + l. Does 12 divide g(y)?
False
Is 24 a factor of (76 + -112)*(-3)/(9/2)?
True
Let n(w) be the third derivative of -w**8/192 + w**7/2520 + w**4/8 + w**2. Let x(l) be the second derivative of n(l). Does 12 divide x(-1)?
True
Let h = -194 + 273. Suppose 277 = 3*a + o, -a + 0*a + 3*o + h = 0. Suppose 0 = 5*t - 3*f - a - 1, 3*t = 5*f + 52. Is t a multiple of 8?
False
Let x be -6 + 1 + 42/(-5)*-35. Let d = -1 - -1. Suppose d = 5*y - 3*v - 477, -2*y + v - x = -5*y. Is y a multiple of 24?
True
Let b = -97 - -412. Does 8 divide b?
False
Suppose 0 = -7*s - 7*s + 4046. Is 17 a factor of s?
True
Let v = -11 - 16. Is (v/2)/(-3)*12 a multiple of 19?
False
Let z(f) = 2*f + 12. Let k be z(-8). Let h(i) = i**2 + 6*i + 2. Let q be h(k). Is 19 a factor of q/15 + (-97)/(-5)?
True
Let u(r) = 20*r**2 - 7*r - 7. Is u(-5) a multiple of 12?
True
Suppose -k + 0*k = -35. Suppose -t - 3*t - k = -3*a, -17 = -3*a - 5*t. Is a a multiple of 4?
False
Let y(w) = 4*w - 11*w - 5 + 10*w. Let l(b) = b**2 + b + 8. Let i be l(0). Is y(i) a multiple of 19?
True
Let j = 169 + -20. Suppose 534 - j = 5*v. Is 8 a factor of v?
False
Suppose -2*p - 9 - 1 = 0. Let f(j) = -2*j - 5. Let y be f(p). Suppose 29 = 2*n - y*r - 46, 0 = n - 2*r - 37. Is 6 a factor of n?
False
Let s(f) = 11*f**2 + 6*f + f**2 + f**3 - 4*f**2 + 6. Is 17 a factor of s(-5)?
True
Suppose -6*g + 2 = -82. Let x = g + 49. Is 9 a factor of x?
True
Suppose t - 15 = -4*t. Suppose -1 = -t*a + 35. Suppose -5*l - 9 = -o, -3*l - l = 4*o - a. Is o a multiple of 4?
True
Suppose -6*y - 6894 = -5*s - 3*y, -y = -s + 1378. Is 115 a factor of s?
True
Let x(t) = 2*t**3 - 17*t**2 - 52. Does 16 divide x(13)?
False
Does 5 divide 6610/22 - 6/(-55)*5?
False
Let g(k) = -63*k**2 + 2*k - 1. Let s be g(-1). Let m = s + 85. Is m a multiple of 7?
False
Suppose 0 = -3*r - u + 972, -2422 = -5*r - 4*u - 802. Is r a multiple of 4?
True
Suppose -m - 30 = -4*m + 3*c, -25 = 5*c. Suppose 0 = -3*g - b + 5*b + 202, 5*g = m*b + 330. Let q = g - 34. Does 28 divide q?
True
Suppose -11 = -5*j + 14. Suppose -m + 2*m = -v + 5, j*m = 5. Suppose 69 = v*q + 5. Is 16 a factor of q?
True
Suppose 11*q + 3*i - 100 = 6*q, 2*q + 4*i - 26 = 0. Does 11 divide q?
False
Suppose 0 = -57*l + 59*l + 36. Is (-3)/(-9)*3 - l a multiple of 4?
False
Let n be 1/(3/((-24)/4)). Let i(s) be the third derivative of 4*s**5/15 + s**4/6 + s**3/2 - 10*s**2. Is i(n) a multiple of 11?
False
Suppose -5*b = -4*r - 8*b + 1813, 0 = 2*r + 5*b - 903. Is 39 a factor of r?
False
Let o(w) = -2*w**2 - 4*w - 5. Let x be o(-4). Let i = -275 + 257. Does 24 divide i/(-3 + x/(-8))?
True
Suppose -3*m - 19 = -2*m. Suppose 0*g = -g + 3*p + 32, -3*p = -3. Let b = m + g. Is 8 a factor of b?
True
Let x(r) = 2*r**3 + 3*r**2 - r - 1. Suppose -66 = -5*s + 79. Suppose s*h - 33*h + 8 = 0. Is x(h) a multiple of 8?
False
Suppose -4*d + 5*m + 10628 + 1179 = 0, 0 = 5*d + m - 14737. Is 22 a factor of d?
True
Let o be ((-10)/(-4))/(16/32). Suppose o*z = 2*j - 108, j + 2*z - 54 = 6*z. Is 6 a factor of j?
True
Is 32 a factor of 4*(-1 - 95)*(-37 + 36)?
True
Let j be (-12)/36 + (-7958)/(-6). Suppose -4*r + j = 9*r. Does 17 divide r?
True
Suppose -4*d + 6*n + 360 = 4*n, -85 = -d + 3*n. Is 7 a factor of d?
True
Let d(p) = -22*p + 162. Is d(2) a multiple of 13?
False
Suppose -2*c - 28 = 4*d + 372, 3*c = d + 93. Let g = d - -116. Is g a multiple of 4?
False
Let x(u) = -u**3 + 18*u**2 - 29*u + 30. Is 20 a factor of x(10)?
True
Let j = 83 + -23. Let f = 162 - j. Is 34 a factor of f?
True
Suppose t + 3*t = -44. Let v be 2364/(-66) + 2/t. Is 14 a factor of (-1972)/v + (-6)/(-27)?
False
Let i(b) = 2*b**2 - 9. Let a(c) = -c**2 - c + 9. Let u(w) = 4*a(w) + 3*i(w). Let f(o) be the first derivative of u(o). Is 20 a factor of f(11)?
True
Let w(y) = 13*y**2 - 6*y + 2. Let h = 20 - 16. Does 31 divide w(h)?
True
Let h(m) = 6*m**3 + 5 - 5*m**2 + m + 3 - 7*m**3. Let g be h(-5). Suppose 2*z + 82 = s + g*z, -2*z = s - 79. Is s a multiple of 17?
True
Does 50 divide (86/(-129))/(2/(-2550))?
True
Suppose -5*c + 34 = 4*i, -1 - 5 = -3*c. Let s(m) = -m**3 + 8*m**2 - 2*m - 6. Is 9 a factor of s(i)?
True
Let q(s) = -18*s**2 - 3*s + 2. Let g be q(1). Is ((-1)/(-3))/(g/(-2679)) a multiple of 7?
False
Suppose -15*b + 17*b = 16. Suppose -5*l + j = -b*l + 3, 2*j = l - 1. Is (1/(-3))/(l/(-12)) a multiple of 4?
True
Let k(y) = y**3 - 12*y**2 - 57*y - 46. Is k(16) a multiple of 11?
True
Suppose 4*f + 12 = 0, 4*y - 3*y - 5*f = 1042. Does 79 divide y?
True
Let r(d) = d + 19. Let m be r(-14). Suppose 0 = m*j - 2*j - 162. Is j a multiple of 18?
True
Let j(v) = v**3 + 2*v**2 + 1. Let z(a) = a**3 + 6*a**2 + 5*a - 3. Let s be z(-5). Let h be j(s). Is (-2)/(-2*(-1)/h) a multiple of 3?
False
Let h be 6/(-4)*(-746)/(-3). Let n = -73 - h. Suppose -5*z + z + n = 0. Is 28 a factor of z?
False
Let v(c) = -149*c + 23. Is v(-11) a multiple of 60?
False
Suppose 3*q + 2*z + 0*z = 41, -4*q - 3*z = -54. Let i = q + -3. Does 17 divide 165*(i/(-3))/(-12)?
False
Let r(f) = 5*f - 29. Suppose -5*d - p = -108, -3*d + 60 = -p - 0*p. Does 19 divide r(d)?
True
Does 15 divide (-45)/(11/(-5) + 2)?
True
Let r(k) = k + 2. Let i(u) = -u. Let f(o) = 15*i(o) + 3*r(o). Does 6 divide f(-3)?
True
Let i = 849 + -132. Is 9 a factor of i?
False
Let b(j) = -j - 3. Let x be b(-9). Let g = 1 + x. Is 106 - (g - (2 - -1)) a multiple of 34?
True
Let u = -58 - -60. Is 9 a factor of 7*u/7*(-81)/(-2)?
True
Let b(i) = 4*i - 2. Let u be -6 + 2 + 2 - -3. Let h be b(u). Let o = h - -5. Is 7 a factor of o?
True
Let l(u) = 11*u**2 + 5*u + 26. Is l(-9) a multiple of 19?
False
Suppose 0 = 88*b - 102*b + 20384. Is 14 a factor of b?
True
Let o(x) = 8*x + 550. Is o(-4) a multiple of 7?
True
Let j(u) = 2*u - 12*u - u - 9. Let g be j(3). Does 10 divide g/6*(-72)/14?
False
Let n(q) = -56 - 24*q - 63 + 114. Is 20 a factor of n(-5)?
False
Let q = 22 - -9. Let x = -35 + q. Does 9 divide (-81)/x*56/21?
True
Is 73 a factor of (-78)/(3/(-1))*(-162)/(-4)?
False
Suppose 8 = -5*i + 28. Does 3 divide i + 17 + (-4 - -1)?
True
Let d(w) = 2*w - 1. Suppose 2*r = -2*r - 16. Let g be d(r). Is 4 a factor of (-3 + -1)/(3/g)?
True
Let r(x) be the second derivative of -x**5/20 + x**4/6 - x**3/6 + 3*x**2/2 - 10*x. Let j be r(2). Does 19 divide -2 + (3 - j) + 38?
True
Suppose 3*b = 3*x - 0*x - 9, 5*x - 15 = 0. Let a be (-2)/(-6)*b/1. Suppose 2*s - 15 - 9 = a. Is s a multiple of 12?
True
Let m(n) = -68*n - 166. Is m(-16) a multiple of 78?
False
Suppose -d + 5*z + 214 = -0*z, 0 = 3*d - 4*z - 642. Is d a multiple of 28?
False
Let n(w) = -9*w + w - w - 3*w. Does 9 divide n(-3)?
True
Let z be (-376)/3*36/(-24). Let i = z + -96. Does 23 divide i?
True
Does 11 divide 4/5*2215 - (-12)/3?
False
Let i = -43 - -57. Does 2 divide i?
True
Suppose 5*t = 5*r + 11200, 4*r - 14014 = -5*t - 2796. Does 75 divide t?
False
Let r(p) be the first derivative of -p**4/4 + 8*p**3/3 + 5*p**2/2 + 3*p - 2. Let g be r(8). Let n = g - 19. Is 12 a factor of n?
True
Suppose -g + 17*x - 13*x + 369 = 0, 5*g - 1740 = -x. Is g a multiple of 37?
False
Let a = -1035 - -1715. Does 40 divide a?
True
Let u be (-7)/(-14) - 43/(-2). Let i(k) = u*k + 5 - 7 - 6*k - 4. Does 17 divide i(3)?
False
Suppose 34*a - 36612 = -2*a. Is 15 a factor of a?
False
Let p(k) = 2*k + 20. Let l be p(-7). Suppose -5*x + 4*f = -0*x - 53, l = 2*f. Does 13 divide x?
True
Let c(o) = -28*o + 116. Does 99 divide c(-10)?
True
Let u = 23 - 23. Suppose -2*s - 4 + 6 = u. Let y(x) = 17*x**3 - x**2. Is 16 a factor of y(s)?
True
Does 14 divide 8899/44 - (-7)/(-28)?
False
Let f = -83 + 118. Suppose -h + f = -0*h. Does 7 divide h?
True
Let r(p) = 3*p + 34. Let q be r(-8). Suppose -q*b - 324 = -22*b.