*s - 52, -s - 2*i + 52 = 0. Does 17 divide s?
False
Suppose -2*t = -2*h + 106, h + 187 = 5*h + t. Suppose h = 3*m - m. Is 13 a factor of m?
False
Suppose -3*s = -2*n + 20, 5*n + 3*s - 2 - 6 = 0. Suppose 9 - 25 = -n*b. Suppose 0 = -b*r + r + 33. Is 5 a factor of r?
False
Let z = 5 + -12. Let t = z + 44. Does 24 divide t?
False
Does 13 divide 6/(-21) + (-732)/(-14)?
True
Suppose -q = 2*n - 7, 3*n = -2*q - 0*q + 10. Let y be (q - 1)*17/(-2). Let d = y + -1. Does 16 divide d?
True
Let c(l) = -l + 14. Let g be c(7). Let w(s) be the first derivative of 5*s**2/2 - 9*s - 1. Does 20 divide w(g)?
False
Let h = 11 - 8. Let n be (-18)/2*2/h. Let z = 30 + n. Is 12 a factor of z?
True
Let p(j) = 6*j + 6 + 4 + j + j**2. Let a(u) = u**3 + u**2 + 3*u + 2. Let n be a(-2). Is 13 a factor of p(n)?
False
Suppose 864 = 9*k - k. Is 19 a factor of k?
False
Let g = -139 - -213. Is g a multiple of 26?
False
Let x = -10 - -1. Let z = x + 43. Suppose 2*p - 34 = l, -l - 2*l = 2*p - z. Is 7 a factor of p?
False
Let o = 1 + -6. Let k = 18 + o. Is 13 a factor of k?
True
Suppose -5*v - 5 = 0, 3*h = 4*v - 7*v + 249. Is h a multiple of 28?
True
Let o be (-2 + 0)*(-1)/(-2). Does 18 divide ((-3)/6)/(o/102)?
False
Suppose 4*i = 0, 4*g - 5*i - 180 = g. Suppose -4*n + 8*n = g. Is 15 a factor of n?
True
Let p(r) = 6*r**2 - 5. Is p(2) a multiple of 19?
True
Let d = 3 - 2. Let h be -51*(8/(-6) - -1). Let t = d + h. Is t a multiple of 9?
True
Let p(j) = j**3 + 4*j**2 - 7*j - 6. Let v be p(-5). Suppose -4*l = -0*w + 2*w - 18, v*w = 2*l + 16. Suppose 0 = -a + 3, -41 = -4*d + l*a + 3*a. Does 6 divide d?
False
Is (-608)/(-18) + (-28)/(-126) a multiple of 9?
False
Suppose -6*w + 4*w + 140 = 0. Is 10 a factor of w?
True
Let s(t) = t**2 + 7*t. Let l be s(-7). Suppose l = a + a + 2. Is 23 a factor of (0 - (-1 + a)) + 66?
False
Suppose -110 = -2*z - 3*c, 5*c = 2*z - 4*z + 110. Suppose -g + 34 = g + 2*m, -5*g + z = -m. Is 6 a factor of g?
True
Suppose 0 = -4*r - 3 + 47. Suppose 0 = -5*g - t + 25, -g = -2*g + t + r. Suppose 0 = g*l - 2*l - 152. Does 18 divide l?
False
Let k = -21 - -74. Suppose 2*j - 61 - 21 = -2*t, 5*t - k = -j. Is 12 a factor of j?
False
Let q(h) = -h + 8. Let k be q(6). Suppose -4*v = -k*v - 60. Is 15 a factor of v?
True
Is (148/(-8) + 5)*(-2)/3 a multiple of 3?
True
Let u(s) = s - 2. Let k be u(6). Let j(h) = h + h - h + 3 + k*h. Is j(4) a multiple of 23?
True
Suppose 5*i - i = 92. Is 23 a factor of i*-6*1/(-2)?
True
Suppose -3*k - 12 = k. Let m be (30/(-18))/(1/k). Suppose -m*o - 104 + 284 = 0. Is o a multiple of 18?
True
Let w(g) = -90*g. Is 18 a factor of w(-1)?
True
Is -2 - (-6 + -2 + -1) a multiple of 3?
False
Let d(c) = -53*c**3 - 2*c**2 - 2*c - 1. Suppose -3*u + 5*y = -0*u - 12, 5*u + 5*y + 20 = 0. Let n be d(u). Suppose -2*w + 0*w = -n. Is 13 a factor of w?
True
Let o = 7 + -4. Let n(m) = -m**2 + m + 8. Let d be n(0). Let b = d + o. Does 8 divide b?
False
Suppose 3*f = -4*p + 66, 10 + 73 = 5*p + 4*f. Does 2 divide p?
False
Suppose 0*t + 4*t - 4 = 0, 4*i = 2*t + 6. Let a = 2 - i. Suppose r + 3*r - 64 = a. Is r a multiple of 7?
False
Does 8 divide 14/77 + (-1162)/(-22)?
False
Suppose 2*u = -0*u - 4. Let y = u + 6. Does 2 divide y?
True
Suppose 7*t - 4*t = -177. Suppose 0*w + 67 = -2*p + 3*w, 4*p = -2*w - 126. Let k = p - t. Is 9 a factor of k?
True
Suppose -3*h - h = -8. Suppose 5*r + 2*y = 15, -1 = r - h*y - 4. Suppose l - 3 = r. Is l a multiple of 3?
True
Suppose -13 = -3*s - 4. Suppose -s*x + 6 = -2*x. Is 2 a factor of x?
True
Let i be (1*-2)/(2/(-3)). Suppose i*h - 91 = 2*u, -31 = -2*h - 4*u + 35. Is h a multiple of 10?
False
Let u(l) = l. Suppose n + 3*w = 7 + 8, -n - 3 = -3*w. Is u(n) even?
True
Let m = 1 + -4. Is 9 a factor of (10/m)/(2/(-6))?
False
Does 19 divide -6 - -2 - (-220 + 2)?
False
Suppose -129 + 39 = 2*m. Let o = m + 88. Does 15 divide o?
False
Let j be (-1)/((-1)/(-2)) - -7. Suppose 12 - 47 = -j*o. Is o a multiple of 4?
False
Let r(v) = 7*v**2 + 4. Is 8 a factor of r(-2)?
True
Suppose 2*v - 196 = -0*v. Is v a multiple of 4?
False
Let x(c) = -2 + 2*c**2 + 6 - 4*c - 3. Is x(3) a multiple of 7?
True
Suppose -60 = -5*y - 0*y + d, -2*y - d = -24. Let q(p) = p**3 - 11*p**2 - 12*p + 6. Is q(y) a multiple of 3?
True
Suppose -8 = 5*l - c + 5, 5*l + 5*c = 5. Let k = l + 4. Suppose -7 = 2*u - 5*a, u = k*a + 1 - 2. Does 4 divide u?
False
Suppose -2*h = -0*h - 18. Suppose 7*i - 4*i - h = 0. Suppose -i*t + 27 + 63 = 0. Is 15 a factor of t?
True
Let j = 243 - 117. Is 13 a factor of j?
False
Let k = 6 + -3. Suppose 5 = k*s + 29. Let j = -6 - s. Is 2 a factor of j?
True
Suppose -b - 5 = 3*u - 66, -4*b = 5*u - 258. Suppose -3*n + 5*r + b = 0, r + 93 = 4*n - 2*r. Is n a multiple of 24?
True
Let l = 6 - 1. Suppose 27 = l*j - t - 3*t, -5*t - 27 = -4*j. Suppose 3*r - 5*f - 6 = 80, 78 = 3*r - j*f. Does 11 divide r?
True
Suppose 3*u + u = 1192. Is 52 a factor of u?
False
Let q = 39 + -11. Suppose 3*g - g = q. Is 7 a factor of g?
True
Let i = 80 - 2. Is 2 a factor of i?
True
Let b be 3 - (-6 + 3 + 4). Is 2 a factor of 2*b/12*18?
True
Suppose 4*b + b = g + 82, -5*b + 3*g + 86 = 0. Does 4 divide b?
True
Let v(j) = 8*j**2 - 2 + j**3 - 3*j**2 + 2*j + 0*j**3. Is 5 a factor of v(-3)?
True
Suppose 2*c - 3*c + 69 = 0. Is c a multiple of 23?
True
Let l be (-18)/(-3) - 2/2. Suppose l*w = 2*w + 54. Does 9 divide w?
True
Suppose f + 3*f - 68 = 0. Let k = f - -5. Is 10 a factor of k?
False
Let i(u) = 4*u**2 + 2*u + 3. Is i(-3) a multiple of 9?
False
Is 48 a factor of ((-12)/18)/1 + (-1010)/(-3)?
True
Is 7 a factor of 1/(2/((-5)/(20/(-784))))?
True
Suppose 19 + 76 = 5*p. Let l be p/7 + 4/14. Let j(w) = 5*w - 3. Does 6 divide j(l)?
True
Let g = -11 + -1. Is 11 a factor of (0 - g) + (0 - -1)?
False
Let f = 9 - -51. Does 12 divide f?
True
Let n be -2 - -43 - (-5 - -3). Suppose -46 = -4*l + 2*z, -2*l + 0*z = -5*z - n. Is (l/6)/((-3)/(-4)) a multiple of 2?
True
Suppose 3*q - 32 = -q. Suppose -j - q = -3. Is 17 a factor of (-182)/j - 10/25?
False
Suppose -m = -6*m. Is 5 a factor of 13 + m*(-1 - 0)?
False
Let y(s) = -s**2 + 11*s - 6. Let m be y(10). Let x(c) = 5*c - 3. Does 17 divide x(m)?
True
Suppose -3*f = -2497 + 127. Does 19 divide f/15 + (-1)/(-3)?
False
Let d = 46 + -149. Let j = d + 183. Suppose -4*a + j = a. Does 8 divide a?
True
Suppose 25 = 5*p, 4*n + 4*p - 183 = p. Does 24 divide n?
False
Let z(b) = 3*b - 4. Does 4 divide z(4)?
True
Suppose -5*h = -342 + 27. Is h a multiple of 6?
False
Suppose 0 = 5*a + 23 - 8. Let d = -37 - -21. Let s = a - d. Is s a multiple of 13?
True
Let n(f) = 2*f - 7. Let o be (-1 + (-21)/9)*-6. Suppose -3*r + 3*u + 31 = 1, -o = -3*r + u. Does 2 divide n(r)?
False
Suppose -2*r + 392 = -3*o, 0*o - 4*o - 792 = -4*r. Is r a multiple of 23?
False
Let p = 0 + 0. Suppose k = 4*w - 0*w + 1, p = -5*k - w + 26. Suppose -3*n + 111 = k*d, -d + 4*d + 4*n = 71. Is 8 a factor of d?
False
Let d(y) = 20*y - 24. Does 34 divide d(8)?
True
Let p(n) = -n + 40. Does 29 divide p(0)?
False
Suppose -5*a - 2*a + 105 = 0. Does 3 divide a?
True
Let r be (-1)/((-3)/(-6)) + 2. Suppose r*k + 48 = -3*k. Is 2 a factor of (1/2)/((-2)/k)?
True
Let r(a) = -a + 7. Let t be r(5). Suppose h - b = -21 + 93, 0 = -t*h - 5*b + 144. Does 24 divide h?
True
Let g be ((-9)/6)/(6/(-32)). Let h be 1*(-3 - -6) + -1. Suppose -3*z - 35 = -h*u, -u + 3*z + g = -5. Is 11 a factor of u?
True
Let p(n) = 7*n**2 + n. Let y be p(-2). Let q = y + -14. Is q a multiple of 12?
True
Let c be (12/8)/(2/4). Suppose -8*o + 30 = -c*o. Does 7 divide (32/o + 0)*3?
False
Let n(t) = -t**2 + 1. Let z(d) = 5*d**2 + 7*d - 6. Let o(l) = -4*n(l) - z(l). Does 12 divide o(-5)?
True
Let k(x) = x - 1. Let f be k(3). Let t = 4 - f. Does 4 divide (2*4)/(-1 + t)?
True
Let k = 10 + -1. Let q(h) be the second derivative of h**4/12 - 3*h**3/2 + 6*h**2 + 2*h. Does 6 divide q(k)?
True
Suppose -n = 2*g - 9, -g + 90 = n + 4*n. Is 5 a factor of n?
False
Suppose 10 = 2*z - 0*z. Suppose -139 = -3*x + t, 2*t - 3*t + 221 = z*x. Is 15 a factor of x?
True
Let a(p) = 2*p**2. Let f be a(-1). Let y = -26 - -31. Let d = f + y. Is d even?
False
Suppose 5*p + 16 = 1. Is 3 a factor of 18/(-24)*(p + -1)?
True
Let y(h) = 16*h**2 - 7*h - 5. Is 20 a factor of y(-5)?
False
Let x = -5 - -83. Suppose -4*w - 22 = -x. Is 14 a factor of w?
True
Let z be (-1)/(-4) - 262/