pose 0 = 3*l + 5*x - 14, -x + 3 = 2*l - 4. Let s(w) = 15 - 9*w + 10*w + 13*w + 21*w. Is s(l) a multiple of 10?
True
Suppose -309*f - 930986 = -6621613 - 7225573. Does 40 divide f?
True
Let g be 2 + (3 + -2 - 3). Let b be g + -1 - (-2 - -1). Suppose b = o - 4*o + 2*p + 352, 5*o + 5*p - 570 = 0. Is 16 a factor of o?
False
Let f be (-2 + 5 - 0) + 93/3. Suppose 0 = -8*b - 2 + f. Suppose 0 = p + b*p - 45. Is p a multiple of 2?
False
Suppose -16*t = -14*t + 4*n - 23246, 5*t - 58101 = 4*n. Does 76 divide t?
False
Suppose 3*t - 556 = 19*d - 18*d, 2*d + t + 1077 = 0. Let r = 22 - d. Is 75 a factor of r?
False
Let l(f) = 2*f + 29. Let g be l(-7). Suppose 4*v = g*v - 660. Is 4 a factor of v?
True
Suppose -4*x - 57 = -3*f - 17, -4*f = 0. Let b be ((-2334)/x - 0) + 6/10. Suppose -54 = 3*p - b. Does 6 divide p?
True
Let r(b) = 3*b**3 - b**2 - 5*b + 4. Let i be r(2). Is 57*(1 - (7 - i)) a multiple of 19?
True
Let p = 2248 - 1808. Suppose 4*j = 6 + 14. Suppose p = j*w - 165. Is 11 a factor of w?
True
Let x(t) = -7*t + 131. Let h be x(18). Suppose -5*w - 325 = -3*n - 0*w, h*w - 410 = -4*n. Is 15 a factor of n?
True
Suppose -2*m - 10 = -24. Suppose 4*o = m*o - 78. Let k = 58 - o. Is 16 a factor of k?
True
Suppose -5*f + 63420 = 2*r, -r + 10620 + 2067 = f. Is 22 a factor of f?
False
Suppose 211*r - 226*r + 5775 = 0. Does 35 divide r?
True
Is 36 a factor of (-3 - (-1854)/42)/((-3)/(-28))?
False
Does 29 divide (1 + -59)*(55 + -97)?
True
Suppose -75 = -5*m - 0*m - v, -60 = -4*m - 5*v. Let a(s) = -3 - 16*s**2 + 10 + m*s**2 + 13*s. Is a(12) a multiple of 12?
False
Let n(l) = -17*l**3 - 43*l**2 - 11*l - 22. Does 137 divide n(-6)?
False
Let c = 2442 - -12376. Is 17 a factor of c?
False
Let n(f) = -f + 34. Let b be n(9). Suppose b = -8*g + 297. Let r = g + -24. Does 10 divide r?
True
Suppose -258*t = -234*t + 1992. Let p be (1 - 0) + -13*13. Let s = t - p. Is s a multiple of 8?
False
Let t(z) = -z**3 - 6*z**2 - 3*z. Let b be t(0). Suppose w - 226 = -w - p, -4*p + 16 = b. Is w a multiple of 5?
False
Let t = -329 - -309. Is 33 a factor of (-8)/t - 2143/(-15)*3?
True
Let a(g) = 540*g**2 + 7*g + 11. Let j be a(-2). Suppose 12*c - 11*c - 545 = -5*u, -3*u - j = -4*c. Does 15 divide c?
True
Let h(n) = -n**3 + 4*n**2 - 2*n - 3. Let q be h(3). Suppose x - 69 + 15 = q. Let s = x + -32. Is s a multiple of 12?
False
Let h be (-1 + -1 + 3)*(1 + 0). Is h/(-8)*58*-60 a multiple of 15?
True
Suppose 0 = 5*i - 3*g - 32930, -22*i + 18*i + g = -26351. Is i a multiple of 11?
True
Let c = 2 + 107. Let f = 155 - c. Does 17 divide f?
False
Suppose -8*i + 2*i + 1890 = 0. Suppose i = -71*x + 74*x. Suppose -t = 2*t - x. Is 6 a factor of t?
False
Suppose -266346 = -50*u + 1000654. Is 20 a factor of u?
True
Let g be 3/(-45)*-3 - 19/95. Suppose 5*r - 3*d - 207 - 132 = g, 3*d - 255 = -4*r. Is r a multiple of 33?
True
Suppose 0 = -10*l + 606 + 474. Does 6 divide ((-6)/9)/((-6)/l)?
True
Let y be (-78)/(-21) - (-2)/7. Suppose 5*b - 5*u = 2045, 3*u + y = -11. Suppose z = -4*c + 2*z + b, 3*c - 3*z = 312. Is c a multiple of 20?
True
Let h = 5061 + -2446. Is h a multiple of 11?
False
Let w = -933 - -2147. Does 12 divide w?
False
Suppose 0 = -3*r - 9. Let w be (-1 + r)*1/(-2). Suppose -w*h + 95 = -h. Is h a multiple of 13?
False
Let j(s) = 15*s**2 + 12*s + 29. Let d be j(-10). Suppose 0 = -3*i - 4*g + 855 + d, -5*i + 3778 = 2*g. Is i a multiple of 28?
True
Let w = 4935 + 8111. Suppose 16*x + 694 - w = 0. Is 65 a factor of x?
False
Suppose 17*l - 18*l = 0. Suppose -45*p - 3955 + 11335 = l. Is 5 a factor of p?
False
Let x = -37 - -40. Suppose -2*b - x = 3*u + 3, 5*b - 6 = 3*u. Suppose 1204 = -b*a + 7*a. Is a a multiple of 43?
True
Suppose 4*l + 2*o = 1784, 603 + 293 = 2*l + 2*o. Let h = 652 - l. Is h a multiple of 26?
True
Let l = 14 + 2. Let z = l - 12. Suppose 2*r - 690 = -4*f, r - 5*r + z = 0. Is 43 a factor of f?
True
Suppose 59 = -l - 3*o - 58, -2*l + 2*o - 258 = 0. Let d be -107 - -43 - (5 - 1). Let u = d - l. Is u a multiple of 23?
False
Let x(n) = 7*n**3 + 0*n**3 + 2 + 8*n**2 - 7*n**3 - 12*n - n**3. Let a be x(6). Is 9 a factor of 6*2*3/a?
True
Suppose 5*x + 10 = 10*x. Suppose 0*a - x*a + 2 = 0. Is 4 a factor of -3 - (-15 + a/2*0)?
True
Does 9 divide -10 - 26/(-2) - (0 - 1295)?
False
Let u = 64 + -61. Suppose 1 = u*c - 74. Is 35 a factor of (178 - 1) + c + -21?
False
Suppose 3*t + 67 = -5*a, 5*a - 6*t + t + 35 = 0. Let g(i) = -2*i**3 - 10*i**2 + 41*i + 45. Does 30 divide g(a)?
False
Suppose 33886 - 69539 = -21*i + 113027. Is 20 a factor of i?
True
Let x be (-64)/(-6)*12/(-8). Let q = -11 - x. Suppose -q*c = -4*d - 862, -4*c + 4*d + d = -695. Is 34 a factor of c?
True
Let t(p) = -p**3 + 12*p**2 - 16*p + 20. Suppose -12*z - 12 = -8*z. Let o be (-30)/(-27)*-3*z. Is t(o) a multiple of 30?
True
Suppose 2*r + 24 = 4*v, -3*r = 5*v - 20 - 10. Suppose 3*l - v*l = -1077. Let i = -254 + l. Is 10 a factor of i?
False
Suppose 0 = -4*u + 3*u + 7. Suppose 0 = u*r - 3*r. Suppose -5*s + 379 + 61 = r. Is 33 a factor of s?
False
Suppose -7*q + 4*q + 5*l - 37 = 0, -3*q + 4*l = 32. Is 19 a factor of (19/14*q)/((-1)/7)?
True
Let c(j) = j**3 - 21*j**2 + 20*j + 6. Let o be c(20). Suppose 600 = o*i - 2*i. Is i a multiple of 7?
False
Suppose 5*w = 3*c + 271789, -5*w - 126*c = -119*c - 271809. Is w a multiple of 19?
True
Let a be 8*-3*8/(-24). Let y be -4 - (-126)/24 - 2/a. Is 29 a factor of 116/(3 + y)*1?
True
Let u(d) = d - 3. Suppose -s + 4*q - 3 = 0, s + 2*q + 1 = 2*s. Let a be u(s). Suppose 4*j + 2*x - 194 = 0, -86 - 31 = -a*j - 5*x. Is j a multiple of 11?
False
Let f(w) = -w**3 + 48*w**2 - 42*w - 208. Is f(45) a multiple of 41?
True
Let x(g) = -g**3 - 34*g**2 - 5*g - 104. Is x(-39) a multiple of 26?
True
Let d = 75 + -37. Let t = -33 + d. Suppose 4*h - 92 = -t*z, z + 65 = 6*z - 5*h. Is z a multiple of 16?
True
Suppose z + 12 = 20. Let q be z + -6 - (-1 - (-1 - -1)). Suppose 91 = q*u - 2*u. Is u a multiple of 19?
False
Suppose -26*k = -22*k + 17*k - 15498. Is k a multiple of 41?
True
Let k = 3429 + -1023. Suppose 0 = -16*m + k + 1114. Does 70 divide m?
False
Let c(s) = s**2 - 10*s - 2. Let w be c(11). Let h be (-1)/((-2)/w) + 1/2. Suppose -5*b = -5*d - 507 - 448, h*d = -5*b + 1005. Is b a multiple of 28?
True
Suppose -2711 = -4*z + o, 3*z - o - 1060 = 974. Let d = z - 574. Is 4 a factor of d?
False
Suppose 0 = 9*u - 2*u - 35. Suppose -4*m + 5*m = -u*r - 1, m = 2*r + 34. Does 6 divide m?
True
Let d = -17 - -53. Let i = d + -33. Suppose -7*m = -i*m - 108. Is 3 a factor of m?
True
Let h(o) = o**2 - 14*o - 5. Let m(s) = -65*s + 55*s - s**2 + 15 - 43. Let b be m(-7). Is h(b) a multiple of 20?
False
Let g = 186 + -452. Is 0/((-1)/((-4)/(-8))) - g a multiple of 5?
False
Let b(a) = -21*a - 5. Let u be b(-12). Let s = 10 + -5. Suppose s*d - 68 = u. Is 21 a factor of d?
True
Suppose 5*y = -5 - 0, 2*y - 508 = -l. Suppose -l - 218 = -4*a. Is 16 a factor of a?
False
Let o = -109 + 101. Let q be ((-6)/10)/(o/80). Suppose -9*p = -q*p - 444. Is 18 a factor of p?
False
Suppose 2*a + 4*t - t = 2, -a = -4*t - 1. Let w(z) = 9*z**3 + 4*z**2 - 4*z + 1. Let n be w(a). Is 3 + (-4)/n + 685/25 a multiple of 7?
False
Suppose -4*r - 380 = -16. Let v(z) = -325*z + 91. Let u(j) = 18*j - 5. Let s(q) = r*u(q) - 5*v(q). Is s(-6) a multiple of 26?
True
Suppose -4*u + 8 = 0, -24 = 3*w - 7*w - 4*u. Suppose 6 = w*s - 14. Suppose 5*b - b = 3*g - 312, -s*g + 3*b + 520 = 0. Is 13 a factor of g?
True
Let b(g) = 28*g - 268. Let r be b(40). Let t = r - 83. Does 25 divide t?
False
Let x = -94 - -805. Suppose -3870*o = -3867*o - x. Does 24 divide o?
False
Suppose 3*p - 2221 = -4*z + 10917, 4*p - 13144 = -4*z. Is z a multiple of 40?
True
Suppose 3*t = 2*z - 6, z = 3*t + 7 - 1. Is -2*(z - 1) + 3 + 271 a multiple of 12?
True
Let y = 213 - 209. Suppose -4*l + 32 + 72 = -y*s, l + 4 = -5*s. Does 21 divide l?
True
Suppose 0 = -28*h + 723 + 425. Is 10 a factor of -37 + h + 151 + -1?
False
Suppose 99*z + 46959 - 63773 - 147526 = 0. Does 109 divide z?
False
Let s(l) = l**3 - 6*l**2 + 8*l + 2. Let n be s(5). Let c = 24 - n. Suppose 4 = -4*m, c*k + m - 323 = 5*k. Is 13 a factor of k?
False
Let f(z) = 3*z - 67. Let j be f(21). Let a(q) = 3*q - q**3 - 5*q - 8*q - q - 10 + 2*q**2. Is a(j) a multiple of 26?
True
Suppose 887040 = 5053*b - 5009*b. Does 126 divide b?
True
Let t(o) 