e -3 + 0 + 6 + l. Suppose -2*c = 3*z - 84, 6*z = z + o*c + 140. Does 7 divide z?
True
Let c be (-4)/20 - (-42)/10. Suppose 5*l = -u + 8, -l + c*l = u. Suppose -5*h + u*i = -150, -4*h - 65 + 222 = 5*i. Is h a multiple of 9?
False
Let a be (-2)/4*(-888)/6. Let h = a + -42. Does 9 divide h?
False
Suppose 30*t + 526 = 32*t. Is t a multiple of 10?
False
Suppose 4*z + 11 = -s + 4, -19 = -5*s - 2*z. Suppose -5*i + 5*a - 8 = 17, -s*i = 3*a + 25. Does 7 divide (42/15)/((-2)/i)?
True
Let v be (-9)/3 - (-1224)/4. Suppose 0 = 2*i + 27 - v. Suppose i = 2*n + 4*q, -3*n + 4*q + 227 = -0*n. Does 15 divide n?
False
Suppose -5*n = -4*g - 600, 0*g + 4*g = 4*n - 480. Is n a multiple of 15?
True
Let s = 768 - 453. Let d = s - 171. Is d a multiple of 16?
True
Suppose 4*z + 3*s + 73 = 3*z, 0 = -4*z + 4*s - 308. Let v = z - -226. Is 14 a factor of v?
False
Let i(v) = -3*v + 8. Let y be i(4). Let g = 0 - y. Is g even?
True
Let j be (-5)/((-2)/(4/5)). Suppose -p + 99 = -5*b - 93, 0 = -j*b - 3*p - 87. Let d = 26 - b. Is d a multiple of 12?
False
Suppose -4*y = -2*u + 32, -2*u + 2*y = -7*u + 140. Let m = -219 + 219. Suppose 4*x + 10 - u = m. Is x even?
True
Suppose 10*j - 5*j = -3*v + 15, -2*v + 10 = j. Suppose 360 - 55 = v*i. Does 4 divide i?
False
Suppose 11*o - 2 - 31 = 0. Let k = -3 + 3. Suppose -o*t - i + 48 = k, 4*t + i - 2*i = 57. Is t a multiple of 5?
True
Let a(i) = 94*i**3 - 2*i**2 + 2*i - 1. Suppose -4*y - 2 + 3 = -3*v, 5*y - 2 = 3*v. Let k be a(v). Suppose -171 - k = -4*d. Is 22 a factor of d?
True
Suppose 0*u = 2*u - 6. Let d(n) = 0*n**2 + n**u + 7*n + n**2 + 1 - 9*n. Is d(2) even?
False
Suppose -12 + 2 = 4*x - c, 5*c - 10 = 0. Let d be x/8 - 14/(-56). Suppose 2*u - 36 - 60 = d. Is u a multiple of 16?
True
Suppose 10*b = 5*b + 20. Let s(c) = -c - 4*c + c**2 + 2*c - 4 + 4*c**2. Is s(b) a multiple of 32?
True
Is 4 a factor of (-2 - (-229 + -5))/1?
True
Let i(g) be the first derivative of 0*g**2 + 6 + 12*g - 1/3*g**3. Does 6 divide i(0)?
True
Let v = 4 - 2. Suppose -5*x - i = v*i - 41, -18 = -3*x - 4*i. Is x a multiple of 5?
True
Suppose 18*m - 8*m - 9*m = 0. Suppose m = -0*s + 5*s - 260. Does 7 divide s?
False
Let q(w) = -5*w - 2. Let g be q(-1). Suppose -3*a - 5*x + 84 = -g, -a + 5*x + 9 = 0. Suppose -a = -b + 5. Does 17 divide b?
False
Let h(y) be the first derivative of 3/2*y**2 - 10*y + 12 - 5/3*y**3 + 3/4*y**4. Does 40 divide h(4)?
False
Let o(t) = 114*t - 752. Does 3 divide o(15)?
False
Suppose -2*a - 141 - 135 = 0. Let b = a - -248. Does 16 divide b?
False
Let w(u) be the third derivative of -u**4/4 + 25*u**3/2 - 8*u**2. Is 42 a factor of w(0)?
False
Let k be 16/(-24)*(-759)/(-22). Suppose 4*b + b + 17 = 2*x, 0 = -4*x - 2*b - 26. Is (-2 - k)/((-3)/x) a multiple of 7?
True
Let j(z) = -260*z - 523. Is 11 a factor of j(-6)?
False
Is 13 a factor of 1630/6 + (800/30)/20?
True
Suppose 0 = -2*u + g - 9, 3*u - 2*u = -2*g + 8. Is 12 a factor of -5 + 203 + u/(6/9)?
False
Suppose 3*a + 5*m - 588 = 0, 0 = -3*a + 4*m - 5*m + 576. Is 19 a factor of a?
False
Let u(h) = h**2 - 4*h + 2. Let r be u(4). Suppose 0 = 20*a - 18*a. Does 24 divide a - 42*(-3)/r?
False
Does 31 divide 70*(7 - (-51)/6)?
True
Suppose -153 = -x + 262. Let p = x + -293. Does 18 divide p?
False
Suppose -8*b + 6*b = 2*r - 292, 2*r = 4*b + 262. Suppose 3*g - r = 69. Is g a multiple of 29?
False
Is ((-30)/45)/((-1)/1722) a multiple of 7?
True
Suppose 5*i = -0*i + 10. Suppose 0*l + 4*l = 4*s - 592, -448 = -3*s + i*l. Is s a multiple of 38?
True
Let u = -1312 + 1436. Is u a multiple of 35?
False
Let i(l) = -l**3 + 7*l**2 + l - 3. Suppose 3*z - 6*z - 5*u = -57, 2*z - u - 38 = 0. Suppose -4*r + z = 7. Is 6 a factor of i(r)?
True
Let v = -4 - -100. Does 2 divide v?
True
Suppose 9 = -k + 12. Is k - 1/1*-8 even?
False
Suppose 2*y = 5*n - 2404, -5*n + 2*n + 1434 = 3*y. Is 15 a factor of n?
True
Suppose -33 = -5*b + m, -3*m - 22 = -3*b + 5. Suppose 11*u = b*u + 15. Suppose u*l - 149 - 136 = 0. Is l a multiple of 19?
True
Let f = -41 - -37. Is 20 a factor of 3 - 300/(12/f)?
False
Suppose -o = o + 18. Let g = 32 + o. Is 4 a factor of g?
False
Let m = 1 + -13. Let w be (-374)/(-18) - (-4)/18. Let j = m + w. Does 4 divide j?
False
Let o(m) = m**3 - m + 111. Let i be 6/2 + 27/(-9). Does 29 divide o(i)?
False
Let u(y) be the first derivative of 5*y**3/3 + y**2/2 - 3*y - 2. Let s be u(5). Suppose 4*o = 5*w - 226, -s = -4*w - 2*o + 33. Does 14 divide w?
True
Let i(x) = x**2 - 3*x - 7. Let a be i(5). Suppose -c + a*c - 238 = 0. Does 18 divide c?
False
Let n(v) = 4*v**3 - 6*v**2 + 5 - 9 - 3*v**3 - 6*v. Let b be n(7). Is 3 a factor of 2 + (0 - (-5 + b))?
False
Suppose k + 224 = h, 4*h - 216 = k + h. Let m = k + 340. Is 28 a factor of m?
True
Let k = 212 + -32. Suppose 2*p - 4*c = 114, 4*p + 3*c - k = -c. Does 14 divide p?
False
Is 39 a factor of -14*12/(-42)*61?
False
Let r(o) = -o**2 - 2*o + 66. Let u = 18 - 18. Does 19 divide r(u)?
False
Let t(m) = -2*m**3 + 57*m**2 - 50*m + 76. Does 28 divide t(26)?
True
Let v = 592 - 262. Does 33 divide v?
True
Suppose -3*z + 2 = -1. Let p be (-320)/(-24) + z/(-3). Let g = 24 - p. Is g a multiple of 6?
False
Let p be (-176)/(-77) - 4/14. Suppose 3*o - p*o = 19. Suppose -3*v + 2*v = -o. Does 19 divide v?
True
Suppose -45*u - 66627 = -210492. Does 23 divide u?
True
Let c(o) = 5*o**2 + o - 4. Let f be (-62)/(-22) - 2/(-11). Let d be c(f). Suppose -136 + d = -2*x. Is 9 a factor of x?
False
Suppose -777*p = -774*p - 894. Is p a multiple of 15?
False
Suppose -4*k = -9 - 3. Suppose -m - 6 = -o, -k*o = m - 3*m - 14. Suppose -l - 279 = -4*f + 2*l, 0 = -f + o*l + 66. Does 24 divide f?
True
Suppose 3*a = 3*i - 327, 12 = a - 4*a. Is 22 a factor of i?
False
Let c(u) = -u**2 + 4*u + 5. Let k be c(6). Let j be 498/21 - 2/k. Is 17 a factor of 2/(-12) + 412/j?
True
Does 24 divide (-6)/5*((-799)/2 + 7)?
False
Let y(z) = -z**2 + 5. Let v be y(-5). Let a = v - -40. Suppose 11 = 2*t - 4*q + 1, 0 = -4*q + a. Is 7 a factor of t?
False
Suppose 0 = c + 3*a - 2, 5 = 4*c + a - 3. Let x(s) = 5*s**2 + s - 2. Let k be x(c). Does 12 divide (-7)/(35/(-12))*k?
True
Let j be 12/3 - (0 - 1). Let s(i) = -i**2 + 0*i - i**3 + 0*i**2 + 3 + j*i. Does 5 divide s(-3)?
False
Is (5 - -12)/(4/264*3) a multiple of 19?
False
Let r be (-8)/6*18/(-4). Suppose -4*n = -r*n + 8. Suppose n*o - 13 = 39. Is 11 a factor of o?
False
Suppose 4*a + o - 4189 = 0, -5235 = -5*a - 3*o + 2*o. Is 14 a factor of a?
False
Suppose 3*h - q - q - 34 = 0, 0 = q - 4. Let a(l) be the third derivative of l**4/24 + l**3/3 - 13*l**2. Does 16 divide a(h)?
True
Let z be 1/(-4*(-4)/48672). Suppose 4*k = -9*k + z. Is k a multiple of 18?
True
Let s = 9 - 5. Suppose -3*h - 5*w = -10, -s*h + 4*w - 35 = w. Let v(y) = y**2 + 5*y + 11. Is v(h) a multiple of 5?
False
Let f(h) = -h**2 - 9*h + 4. Let k be (-1)/5 - 196/20. Let x be f(k). Is 2 a factor of 14/6 + x/18?
True
Let f = 133 + -87. Let c = 161 - f. Does 26 divide c?
False
Suppose 306 = -13*a + 10*a. Let s be a/(-5) + (-4)/10. Suppose -k = 2 - s. Does 9 divide k?
True
Let v(s) = 5*s**3 - 8*s**2 - 7*s. Let j(d) = -d**3 + d**2 + d - 1. Let w(u) = 6*j(u) + v(u). Is 2 a factor of w(-3)?
True
Suppose -2*d + 3*d - p = 47, -5*p + 25 = 0. Let m = -24 + d. Does 8 divide m?
False
Let q be ((-5 + 6)*-2)/(-1). Let s(j) = -4 + 5 + 2*j + 10*j**2 - 5*j**2. Is 25 a factor of s(q)?
True
Let x(z) = 57*z**2 - 3*z - 2. Does 40 divide x(-4)?
False
Suppose -1 = 2*q - 3. Suppose 0 = 2*b - 5*k - 11, -b - 4*k - q = -0*b. Suppose -3*x - 3*j = -6*x + 120, 4*x + b*j - 181 = 0. Does 13 divide x?
False
Let h(j) = -j + 6. Let t be h(4). Let z(f) = -f**2 + 2*f + 5. Let q be z(t). Suppose 4 = n + 2*g - 4*g, q*g - 17 = -2*n. Does 3 divide n?
True
Let m(r) = r**2 + 4*r + 4. Let j be m(-6). Let c = j + -13. Suppose 3*p - p - 26 = -4*y, 4*y = c*p - 29. Is p a multiple of 6?
False
Let k = 319 + 125. Let x = k + -312. Is x a multiple of 18?
False
Let x(n) = n**2 + 6*n - 41. Let m be x(-11). Is 1282/m + 92/(-161) a multiple of 17?
False
Suppose g - 71 = -2*r, -4*r - 4*g + g = -143. Suppose 38*y - r*y = 72. Is 19 a factor of y?
False
Let d(y) = 34 + 35*y - 9*y - 9*y - 6 - y**2. Is 18 a factor of d(14)?
False
Let m(w) = 4*w**2 + 4*w - 5. Let r(q) = 5*q**2 + 5*q - 6. Let x(y) = -6*m(y) + 5*r(y). Let u be x(-1). Suppose s + 3*s - 80 = u. Is s a multiple 