se -77 + 185 = 3*s - 3*v, 5*s = -5*v + 160. Is 8 a factor of s?
False
Let n = -34 + 24. Let s be n/4*(-4)/2. Does 14 divide 121/s + 1/(-5)?
False
Is -1 + 1297/5 + (-34)/85 a multiple of 43?
True
Let k be (-384)/(-72) - (-1)/(-3). Suppose -4 - 6 = -k*s, m + 12 = 4*s. Is 3 a factor of 2 + -5 + m + 20?
False
Let z = 2578 - 2162. Is 16 a factor of z?
True
Let y be ((-6)/9)/(6/(-18)). Is y + (93 - (-15)/5) a multiple of 30?
False
Let q(m) = -46*m - 50. Is 9 a factor of q(-14)?
True
Suppose -41 = 9*x - 11*x + 5*d, -67 = -4*x - 5*d. Is 2 a factor of x?
True
Suppose d = 5*g + 2301, 2*d = d + 4*g + 2304. Is d a multiple of 12?
True
Let b(u) = 169*u - 51. Does 16 divide b(11)?
True
Suppose 0 = -3*d + 276 + 237. Is d a multiple of 9?
True
Suppose -5*j - k = -5989, 3*j - 5*k - 3587 = -4*k. Is 57 a factor of j?
True
Let q = -44 - -47. Is q + 5 + -4 + 32*4 a multiple of 44?
True
Let h = 982 + -1384. Let v = h - -655. Does 40 divide v?
False
Suppose -u + 9*n + 202 = 11*n, -2*n - 198 = -u. Is 2 a factor of u?
True
Let o(g) be the third derivative of 5*g**4/4 + 4*g**3 + 7*g**2. Is 24 a factor of o(4)?
True
Let d = 860 + -416. Does 37 divide d?
True
Is 14 a factor of (-24)/(-15) - 14304/(-60)?
False
Let r(v) = -2*v**2 + 11*v - 12. Let x(n) = n**2 - n - 1. Let a(y) = -r(y) - 3*x(y). Let g be a(-8). Suppose 3*o = g + 57. Does 8 divide o?
True
Suppose -12*l + 11 = -25. Suppose -b - 2*v + 294 = 0, -b - 3*b - l*v = -1166. Does 54 divide b?
False
Suppose 5*f + 27 = 3*d, -2*d = -f + 2 - 13. Let l(w) = w**2 + 4*w**2 - w**2 - 5 - 3*w. Does 24 divide l(d)?
False
Let d(v) = v**2 + 4. Let o be d(0). Suppose -q = -o*q - 90. Is (9/(-2))/(q/40) a multiple of 6?
True
Let j be 10/45 - 50/(-18). Suppose 0 = j*n + 36 - 246. Does 14 divide n?
True
Let p(t) be the first derivative of t**4/4 + 11*t**3/3 - t**2/2 - 6*t + 3. Let y be p(-11). Suppose y*f - 126 = 2*f. Is 11 a factor of f?
False
Let f(n) = 2*n**2 - 11*n + 5. Let h be f(8). Suppose 0 = -5*l - 5*m + h, 2*l - 28 = -3*m - 7. Suppose -l = -2*p + 36. Is 10 a factor of p?
False
Let v = 894 + -601. Is 5 a factor of v?
False
Suppose 3*a = 2*a. Suppose a*h + 254 = -2*h. Let m = -82 - h. Is 15 a factor of m?
True
Suppose -29*m = -3*b - 27*m + 782, -4*b - 5*m + 1035 = 0. Is b a multiple of 26?
True
Let o(z) = 32*z**2 + 6*z - 6. Is 12 a factor of o(2)?
False
Let c = 1075 + -689. Does 23 divide c?
False
Let c(i) = -i + 4. Let j be c(-3). Suppose -2*r = -o + 60, 2*r = o + j*r - 39. Is o a multiple of 18?
True
Let s be 19/(-4) - 3/12. Suppose 34 - 120 = -a. Let m = a + s. Is m a multiple of 27?
True
Suppose 0 = 2*m + 6*m - 24. Is (m + 1)*-3*39/(-12) a multiple of 16?
False
Let t be 1272/(-7) - 4/14. Let d = t + 278. Is 13 a factor of d?
False
Let a(z) = 2*z**3 - 14*z**2 - 18*z - 4. Is a(12) a multiple of 6?
False
Suppose 0 = -4*g - 4*n - 60, 5*n = 5*g + 3*n + 54. Is 1026/g*(-4)/6 a multiple of 16?
False
Let c(h) = 10*h**2. Let r be c(-1). Suppose 3*q - r = g, -42 = 3*g + q - 4*q. Does 9 divide (g - -2)/((-8)/20)?
False
Let y = 1284 - -624. Does 36 divide y?
True
Let w be -11 + 4 + (-2)/(-1). Let s = w - -7. Suppose 0 = -s*o - 3*o - 20, 2*k + o - 74 = 0. Is k a multiple of 13?
True
Is 29 a factor of ((-170520)/(-4116))/(2/70 - 0)?
True
Suppose 5*t = -29 - 31. Let l = t - -7. Is 6 a factor of (19/l)/(2/(-10))?
False
Is 27 a factor of (1*-3)/(48/(-9936))?
True
Let p be (-9)/3*-124 - 0. Suppose -p - 20 = -2*b. Let v = b + -103. Does 31 divide v?
True
Let m(r) = -r + 1. Let f be 2*(1 + (-11)/(-2)). Suppose 49 = -4*h - i, -2*h - f = -4*i + 25. Is m(h) a multiple of 14?
True
Let r be ((-16)/(-4))/4 + 13. Let m be ((-2)/1)/((-7)/r). Suppose -33 = g - m*g. Is g a multiple of 3?
False
Let x be 8/12 - (-12)/9. Let k = x + -2. Let m(r) = 2*r + 69. Does 23 divide m(k)?
True
Let n(g) = -2*g**3 - 24*g**2 - 22*g - 4. Let m be n(-11). Let x(s) be the second derivative of -7*s**3/6 + s. Is 9 a factor of x(m)?
False
Suppose -16 = -3*u + 2*q, 4*q + 10 = u - 6*u. Is 6 a factor of (-8)/(-28) + (1296/21 - u)?
True
Let w(v) = v**2 - 5*v + 22. Suppose -3*h = -s - 32, -4*h - 5*s + 9 = -21. Is 18 a factor of w(h)?
True
Suppose 0 = -3*h + 9 - 3. Suppose 0 = v - 2*o - 16, 5*o + h + 8 = 0. Is 12 a factor of v?
True
Let v(y) = -289*y + 76. Does 6 divide v(-2)?
True
Let m(l) = -474*l**2 - 6*l - 6 - 2*l + l**3 + 481*l**2. Does 13 divide m(-7)?
False
Suppose 15*a - 3134 + 974 = 0. Is 9 a factor of a?
True
Is 5 a factor of 264/54*(-63)/(-14)?
False
Let i be (2*1)/(-4 - 15/(-3)). Suppose -i*a + 69 = a. Does 8 divide a?
False
Let c be (3/(-2))/((-15)/(-20)). Let h = c - -4. Suppose -3*d + 3 = -2*d, d + 53 = h*i. Does 12 divide i?
False
Let w be 0/(-3)*2/4. Suppose w = -2*d - b + 266, 4*d - 532 = -6*b + b. Suppose -5*r = 4*o - d, 3*o - 7*o - r + 129 = 0. Does 16 divide o?
True
Let u(d) = 2*d**2 - 2*d - 1. Let n be u(-1). Does 34 divide (-7 - -4)/(n/(-89))?
False
Suppose 2*k - 1 = k. Suppose 2*g - 4*j = 50, 3*g - 83 = 3*j + k. Does 8 divide g?
False
Let d(p) be the second derivative of -p**3/6 - p**2/2 + 3*p. Let m be d(-3). Is (m - 4) + 4 + 37 a multiple of 13?
True
Let k be (-1)/(-2) + 170/(-20). Does 19 divide 2305/25 - k/10?
False
Suppose 0 = 8*c - 18*c - 90. Is (-1 - c/6) + 290/4 a multiple of 11?
False
Let y = -194 + 272. Suppose 2*v + y = 5*v. Does 26 divide v?
True
Let n be (144/(-30))/(1/260*-2). Does 16 divide 1/4*6*n/36?
False
Let r(n) = 3*n**2 - 5*n**2 + 4*n - n**2 + 7 + 4*n**2. Let m be r(-3). Suppose 0 = -5*z + 3*v + 101, -2*v + m*v = -4. Is z a multiple of 3?
False
Suppose -11 = 7*t + 3. Let v = t - -20. Is v a multiple of 6?
True
Suppose 0 = -18*m + 2365 + 2027. Is 23 a factor of m?
False
Suppose 790 = a + h, 5*h - 1898 + 5031 = 4*a. Is 13 a factor of a?
False
Suppose 0*s - 2 = -s. Let o be -2*(1 - 4/s). Suppose -5*x = 3*p - 353, 157 = o*x - 2*p + 19. Is 13 a factor of x?
False
Suppose -n = -i + 476, 2*i - 7*i = -3*n - 2380. Does 68 divide i?
True
Suppose -7*m + 13374 - 4589 = 0. Is 24 a factor of m?
False
Suppose 2*o - 60 = -5*p + 337, 2*p - 170 = 2*o. Is 3 a factor of p?
True
Is ((-330)/(-198))/((-10)/(-13116)) a multiple of 20?
False
Let c = 690 + -506. Is 8 a factor of c?
True
Suppose -4*w = -4*r, -5*w + r = -3*r - 2. Is (-194)/(-4) + (w/(-4) - -1) a multiple of 10?
False
Let o be 870/2 + 9 + -10. Suppose -o = -6*i + 790. Suppose -4*v = -v - i. Is v a multiple of 21?
False
Let w be -4*(-3)/12 - (-12)/(-3). Is 33 a factor of (2 + 2)*w/(48/(-436))?
False
Suppose 4 = -4*i, -2*q - 3 = -4*q - 3*i. Suppose -4*l + 784 = q*l. Does 8 divide l?
True
Suppose 3*b + 5*w - 2252 = 0, -2*w + 407 = -4*b + 3401. Does 7 divide b?
True
Is 15 a factor of -3 + (-31)/(-11) + 245544/132?
True
Let i(d) = d**3 - 5*d**2 - d + 11. Let v be i(5). Let b be v/12 + 539/2. Suppose o + 4*o = b. Does 12 divide o?
False
Let u(t) = -t**2 - t - 8. Let k be u(0). Let f = -8 - k. Does 25 divide f + -2*117/(-6)?
False
Let g(t) = 6*t**2 + 54*t - 37. Let s(j) = -4*j**2 - 36*j + 25. Let p(x) = 5*g(x) + 7*s(x). Is 3 a factor of p(-11)?
False
Let j be ((-1587)/(-9) - -1) + 8/(-6). Suppose 0 = -7*v + 3*v + j. Does 22 divide v?
True
Suppose 10*v + 1925 = 15*v + z, 0 = v + z - 389. Is 32 a factor of v?
True
Suppose -s - 4 = -2, s = 5*c - 397. Suppose -j - 5 = -4*n + 8, 5*j + 27 = n. Suppose 5*l - n*l = m + c, 4*m = 3*l - 64. Does 10 divide l?
False
Let m(k) = 8*k - 62. Let a(v) = v**3 - 15*v**2 + 26. Let w be a(15). Is m(w) a multiple of 31?
False
Is 34 a factor of (-2451)/(-6) + 15/(-30)?
True
Suppose 0 = 3*y - 22 - 44. Is 4 a factor of (-488)/(-22) - 4/y?
False
Let u(m) = -10*m + 302. Is u(0) a multiple of 19?
False
Let q(a) be the third derivative of -a**5/60 + 19*a**4/24 - 7*a**3/2 + 2*a**2. Is q(17) a multiple of 11?
False
Does 2 divide 9/(-30) + (-73457)/(-290)?
False
Suppose -s - 12 = -3*s. Let m be 2/s + 1177/33. Suppose -3*a + f = -61, -3*a - 5*f + m + 1 = 0. Does 11 divide a?
False
Suppose -10 = -k - 2*v, -3*k + 5*v + 0*v - 3 = 0. Is 25 a factor of (10/6)/(((-20)/(-405))/k)?
False
Let c be 31376/30 + (-4)/(-30). Let h = -678 + c. Does 13 divide h?
False
Let y(x) be the third derivative of x**6/120 - x**5/15 - x**4/8 + x**3 - 7*x**2. Let i = -8 + 13. Is 4 a factor of y(i)?
True
Suppose 5*o + 754 = 4*m + 7*o, -3*m = -2*o - 569. Does 21 divide m?
True
Let y = -13 + 15. Suppose y*a = 0, -2*a 