11 + -8. Suppose s*b - 4 = 2. Suppose -2*c - b = -18. Does 8 divide c?
True
Let n be ((-2)/(-1) - 29)*-5. Let b = n + -98. Is 18 a factor of b?
False
Suppose -5 + 32 = m. Suppose 0 = -3*j + m + 9. Is j even?
True
Suppose 0 = 5*r + 2*k + k + 24, 12 = -2*r - 2*k. Let f be r - 8/(2 + 2). Does 4 divide -14*((-60)/(-14))/f?
True
Is 42 a factor of 103 - 2 - (-12)/8*2?
False
Let a = 66 - -336. Is 14 a factor of a?
False
Suppose 0 = -2*w + 92 + 32. Does 15 divide w/2 + -4 + 3?
True
Let s = -25 + 15. Is 6 a factor of (-186)/s - 12/20?
True
Let m = 39 - 39. Suppose -4*p + 5*g + 237 = m, 0 = -4*p + g - 0*g + 217. Does 14 divide p?
False
Suppose 4*a = -3*a + 3192. Does 32 divide a?
False
Let t(w) = w - 9. Let q be t(5). Is 23 a factor of ((-715)/25 + 1)*10/q?
True
Let g(t) = -121*t**2 - 3*t - 2. Let p = 3 + -4. Let q be g(p). Is ((-12)/(-10))/((-12)/q) a multiple of 4?
True
Let d = -26 + 29. Let a(q) = 39*q. Is 29 a factor of a(d)?
False
Let x(a) = 3*a + 3. Suppose 0 = -5*c + 20, 4 = -3*l + 5*l - c. Suppose -n + 39 = l*n + 2*t, -3*n + 25 = 2*t. Does 6 divide x(n)?
True
Let c(z) = -106*z - 2. Let s be c(2). Let i be 24/(-6)*142/4. Let a = i - s. Is a a multiple of 24?
True
Suppose 3*o = -4*t + 228, -t - t = 5*o - 366. Does 6 divide o?
True
Let n(l) = 3*l**2 + 3 - l**2 + 3 - 2*l. Is n(-8) a multiple of 41?
False
Suppose 77 + 13 = 5*r. Suppose -2*n + r = n. Suppose 4*d - 9 = -3*c + 6*d, -d = 2*c - n. Is 3 a factor of c?
True
Suppose -4 + 19 = 5*x. Suppose 0 = -x*u + z - 182, 198 = -3*u - 4*z + z. Let h = u + 125. Does 16 divide h?
False
Let g = -50 - -122. Is 9 a factor of g?
True
Let w = 199 - 95. Does 15 divide w?
False
Suppose -2*l - 38 = -5*p + l, -5*p - 5*l + 70 = 0. Let a(c) = 7*c - 28*c - p*c + 6*c. Is a(-1) a multiple of 7?
False
Suppose -2*n + 0 - 16 = 0. Let u(i) be the second derivative of -i**5/20 - 7*i**4/12 + 5*i**3/6 - i**2/2 + 2*i. Is 12 a factor of u(n)?
False
Suppose 3*u - 105 = 5*i, -5*u - 32*i = -28*i - 138. Is 30 a factor of u?
True
Let d be (-172)/(-10) + -1 + (-4)/(-5). Suppose 20*m = d*m + 156. Is 3 a factor of m?
False
Let c be (-2)/12 - (7 - (-110)/(-12)). Suppose c*h + u = 114, -8*u = -5*u - 6. Does 28 divide h?
True
Let w be -6 - -4*(1 - 0). Let j(u) = 2*u**2 + u - 2. Let h be j(w). Suppose -2*z - 92 = -h*z. Does 6 divide z?
False
Let p = 91 + -88. Suppose u + p*u = 88. Is 11 a factor of u?
True
Let y(x) = 5*x**2 - 6*x**2 + x**3 + 1 + 54*x**3. Is y(1) a multiple of 19?
False
Suppose -2*a + 24 = 2*a - j, -2*j = -3*a + 23. Suppose a*l + 189 = 729. Is l a multiple of 18?
True
Suppose 4*h - 1669 = 5*b, 5*h - 886 - 1198 = 4*b. Does 16 divide h?
True
Suppose s = -2*z + 76 + 608, -3*z = 2*s - 1025. Is z a multiple of 19?
False
Let m(b) = 58*b + 4. Let h be m(3). Let z be (-2)/8 + h/8. Let x = z - -3. Does 7 divide x?
False
Let f = -425 - -850. Is 8 a factor of f?
False
Let w = 141 - 138. Suppose 10 = 2*x, 3*x + 284 + 67 = w*z. Is z a multiple of 11?
False
Let n be -1 + (-1 - 0)*-5. Suppose 0 = 5*o - 10, 0 = 2*r + n*o - 10 - 2. Suppose -3*a - 79 = -4*l, 0*l = r*l - a - 37. Does 16 divide l?
True
Let l = 202 - 33. Suppose -487 = -n - 2*n + 2*w, -2*w = -n + l. Is 9 a factor of n?
False
Let s(a) = 7*a - 23. Let z be s(5). Suppose 4*i = -z, -i = 2*h + 115 - 390. Is h a multiple of 11?
False
Let w = -158 - -262. Is w a multiple of 3?
False
Suppose 0 = -3*i + 3, -5*i + 8 = -0*t + 3*t. Suppose -y - s = -t, 0*s = 3*y + 5*s + 5. Suppose y*a - a - 40 = 0. Is a a multiple of 3?
False
Let o be (1 + 1 + -1)*2. Suppose -4*m = -5*n + 8, o*n + 35 = 5*m + 7*n. Suppose -m*k - 13 = -49. Does 4 divide k?
True
Suppose 4*w - 2486 = -p, 4*w - 1204 - 1270 = 5*p. Does 9 divide w?
True
Let c(o) = 275*o - 402. Is c(9) a multiple of 19?
False
Let q = 8 - 17. Let u be q - (-17 - -1)/4. Does 13 divide u/30*-58*3?
False
Let u = -46 - -63. Suppose -15 = -2*x + u. Is x a multiple of 8?
True
Let m(v) = -v**3 + 6*v**2 - 7*v - 1. Let f be m(-5). Suppose n + c - f = -3*n, 0 = n - 2*c - 84. Does 26 divide n?
True
Suppose 0 = -67*t + 58*t + 6183. Does 15 divide t?
False
Does 19 divide 6 + (0 - 6) + 2490?
False
Let k(f) = -f - 7. Let c be k(-7). Suppose c = -6*o - 20 + 86. Is 3 a factor of o?
False
Let j = -59 + 115. Suppose 2*c = -2*z + 3*z - j, -5*z + 2*c + 272 = 0. Is 18 a factor of z?
True
Let t = -70 + 241. Let o = 316 - t. Is o a multiple of 29?
True
Suppose 0 = 4*x - 2*t + 24, x + 9*t - 4*t + 28 = 0. Let j be (-1006)/(-12) + x/(-48). Is 14 a factor of j + (-4)/(-16)*0?
True
Suppose -4*t + 12 = 4*r - 7*r, -2*t + 3*r = -6. Suppose -3*z - 3*b = -22 - 350, -612 = -5*z + t*b. Does 41 divide z?
True
Let p(o) = o - 16. Let c be p(21). Suppose 0 = -2*s - 5*d + 107, 0*s + c*d + 173 = 3*s. Is 7 a factor of s?
True
Suppose -21*o = -13*o - 2328. Does 5 divide o?
False
Suppose -4*q + 46 = -18. Suppose -11*j - 250 = -q*j. Is 12 a factor of j?
False
Let m = 216 - -296. Is m a multiple of 13?
False
Suppose 4*s + 0*v - 3*v = 191, -v = 2*s - 103. Is s even?
True
Suppose 2*x = -2*x. Suppose -3*o - 2*o - 15 = x. Does 7 divide 1/o - (-82)/3?
False
Suppose 0 = -4*c - 26 + 2. Let w = -12 - c. Does 9 divide ((-4)/6)/(w/387)?
False
Suppose 4*x = 3*u + 609, -19*x + 138 = -18*x + 4*u. Is x a multiple of 50?
True
Let v = -25 + 30. Let m(s) = -5 - 6*s + v + s**2. Does 7 divide m(7)?
True
Let l(m) = m - 15. Let w be l(-6). Let u = 15 - w. Does 9 divide u?
True
Suppose 3 = 3*i + 4*s, -i = 5*s - 0 - 1. Let v(q) = q**3 - q. Let h be v(i). Suppose h*r - 30 = -3*r. Does 8 divide r?
False
Let x = 96 + -56. Does 5 divide 10*(-5)/x*-12?
True
Let k(f) = 16*f**3 + 3*f - 2. Let p be k(1). Let j = p + 23. Does 8 divide j?
True
Let h(a) = -3*a + 10. Let n be h(4). Is 5 a factor of (-150)/(-5) + n + 2?
True
Let q(z) be the first derivative of z**2/2 - 15*z + 4. Let l be q(17). Suppose -h + 36 = -l*s, -5*s - 57 - 47 = -3*h. Does 28 divide h?
True
Let l(n) = 4*n - 1. Let v be l(1). Suppose -2*j - j + 9 = 0, v*r - 2*j = 54. Suppose -8*b - r = -13*b. Is b a multiple of 2?
True
Let g = -127 + 130. Suppose 4*u - 688 = q - g*q, 3*q = -3*u + 510. Does 29 divide u?
True
Let k be (985/(-15) + -3)*-3. Suppose -11*f = -13*f + k. Is 13 a factor of f?
False
Suppose 19 = 3*j + 4. Suppose 0 = j*a - c - 4*c - 10, -10 = -4*a + 5*c. Suppose a = -l + 5*l - 140. Does 7 divide l?
True
Let k = 18 - 16. Suppose 2*i - 11 = 2*t + 15, -k*t = i + 32. Let s = t - -50. Is s a multiple of 7?
True
Let s = -1771 + 1957. Is s a multiple of 10?
False
Suppose -3*q = -4*g + 1583, 5*q + 784 = 2*g + q. Is 14 a factor of g?
False
Let n = -4 + 9. Suppose -2*v + 1 = -3*b - 0, -15 = -5*v - n*b. Suppose -2*z + 5*p = v*p - 19, -p = -5. Is z a multiple of 8?
False
Suppose -u + 3*r - 27 = -5*u, 3*u - 3*r + 6 = 0. Suppose 17 = 3*i + a + a, -3*i - 5*a = -2. Suppose -2*t + 40 = -3*o, 0 = -u*t + 4*o - i + 69. Does 4 divide t?
True
Let k = -270 + 406. Suppose -7*t + 193 + k = 0. Is t a multiple of 8?
False
Let m be -1 + 9 - (-6 - -6). Suppose -2*o + m + 106 = 0. Is 10 a factor of o?
False
Suppose o + 3*b = -0*o + 6, -4*o - 2*b + 44 = 0. Let c(l) = -2 + 9 + l**2 + o + 1. Does 5 divide c(0)?
True
Let p = 42 + -39. Suppose p*i - 207 = -6*i. Is 10 a factor of i?
False
Let i be (-339)/11 - 2/11. Let w = 115 + i. Does 12 divide w?
True
Let p(f) = -f**2 + 2*f + 50*f**3 - 10 + 7 + 2. Is 10 a factor of p(1)?
True
Suppose 4*t + 8 = 0, 4*l - 5*t = -l + 1570. Is l a multiple of 31?
False
Suppose 8*r - 14 - 34 = 0. Let u(n) = -n**3 + 7*n**2 + 9*n + 12. Does 18 divide u(r)?
False
Let r = -1127 + 1811. Is r a multiple of 12?
True
Let f(v) = 7*v + 5. Let j be f(2). Suppose 2*s - j - 77 = 0. Is s a multiple of 12?
True
Let y(z) = 14*z**2 - z**2 - 8*z**2 - 8*z - 6 - 3*z**2. Is y(7) a multiple of 18?
True
Let c(j) = -328*j - 26. Is c(-1) a multiple of 6?
False
Let j(d) = -3*d**3 - 2*d**2 - 3*d - 2. Let a(m) = m + 6. Let v be a(-11). Let b be j(v). Is 19 a factor of 4/6 - b/(-6)?
True
Let n(m) = -m + 1. Let k be (5 - 7)*(-2)/(-4). Let v be n(k). Suppose -v*a + 6*a = 144. Is 12 a factor of a?
True
Suppose -2467*o + 4455 = -2458*o. Is o a multiple of 23?
False
Let r(c) = -c**2 + 2*c + 9. Let m be r(-4). Does 12 divide (-135)/m*4/3*5?
True
Let i = -67 + 172. Suppose -a + 30 = -2*q, -5*a + 5*q + i = 4*q. Let l = -16 + a. Does 4 divide l?
True
Let x(f) = f**2 + 6. Suppose -6*k - 16 = 