3*g - 185 = -3*l, -l + 135 = 3*g. Suppose g = 5*b - 36. Does 6 divide b?
False
Let b be 0 - (9/(-1) + -1). Suppose -k + 0*k = -4, 5*w = 5*k - b. Is 16 a factor of (-1)/w + 66/4?
True
Let a = -85 - -141. Is 14 a factor of a?
True
Suppose t + 4*u + 80 = -3*t, u + 38 = -2*t. Let h = 4 + -8. Does 15 divide (t/h)/((-7)/(-42))?
False
Let r be 2*-1 - (2 - -29). Let d = 16 - r. Does 17 divide d?
False
Suppose 187 + 23 = 5*t. Is t a multiple of 14?
True
Suppose i = -i + 6. Suppose -15 = -2*d - 3. Suppose r - i = d. Is 9 a factor of r?
True
Let f(b) = 3*b**2 - 5*b - 4. Let z be f(4). Suppose 0*p - p = -3, 5*g - 2*p - 9 = 0. Suppose -g*q = -4*q + z. Is q a multiple of 12?
True
Suppose 2*i + 2*s + 12 = 0, -i - 4*i - 4*s = 33. Let y = i - -17. Suppose 12 = 2*k - y. Is k a multiple of 4?
False
Suppose 2*m + r - 67 = 80, -303 = -4*m + r. Is m a multiple of 11?
False
Let i = 128 - 61. Is 13 a factor of i?
False
Let g = -3 - -18. Suppose g = 5*u - 20. Is 4 a factor of u?
False
Suppose 36 = 4*d + 2*l, d = -l + 5*l. Let c be (-8)/3 - d/(-12). Let t = c - -22. Does 10 divide t?
True
Let z be -2 + (-1)/(2 + -3). Let x be 2/(6/(-8) + 1). Let q = x - z. Does 7 divide q?
False
Let q = 49 - 4. Suppose -2*t = -q - 3. Suppose -4*x + 113 = 3*r, -3*x = -5*r - 39 - t. Is x a multiple of 13?
True
Suppose -6*g = -2*g - 28. Is 3 a factor of g?
False
Let m(o) = -o**2 - 2. Let p(k) = 5*k**2 - k + 9. Let h(j) = 9*m(j) + 2*p(j). Is h(-2) a multiple of 6?
False
Suppose 3*f - 3*r - 66 = -6*r, 5*f - 2*r - 96 = 0. Suppose -2*z - 22 = -6. Let g = f + z. Is 12 a factor of g?
True
Suppose -5*q - 4*c = 12 - 266, -3*c + 42 = q. Is 11 a factor of q?
False
Let b be (0 + -1)*(-10 + -1). Let n(f) = 12*f**2 + 16*f**2 + 6*f**2 - b*f**2. Is 14 a factor of n(-1)?
False
Suppose 0 = 4*a - 13 + 5. Let r(v) = -5*v + 4. Let x(l) = 25*l - 21. Let k(f) = -11*r(f) - 2*x(f). Is k(a) a multiple of 6?
False
Let r = 6 - 4. Suppose 5*c - 18 = -2*a + r, 20 = -4*a. Let z = 27 + c. Is 16 a factor of z?
False
Suppose 0 = -2*z - 0*z. Suppose z = -v - 3*v + 28. Suppose -2*f + v = -17. Does 6 divide f?
True
Suppose 3*g + 3*g - 84 = 0. Does 4 divide g?
False
Suppose -5*r = 0, -3*v + 54 = 5*r - 3. Suppose -3*j = -5*f + 119, -j = 2*f - f - v. Does 22 divide f?
True
Let s(y) be the third derivative of -y**6/30 + y**5/60 + y**4/12 + y**3/6 - 2*y**2. Is s(-1) even?
True
Suppose 4*a - 15 = -5*p, 0*p = -4*a + 4*p + 24. Suppose a*s = 26 + 154. Suppose 0 = -2*d + 2*y + s, d - 3*y = -d + 40. Is 14 a factor of d?
True
Suppose 3*g + 4*m - 2 = 0, -2*m + 6 = -g - 0*m. Let k = 21 + g. Is 5 a factor of k?
False
Suppose -5*a + 19 = -2*m, a + 3*m + 3 + 0 = 0. Suppose 47 = -a*g + 2*v, 3*g - 5*v = -5 - 45. Let b = g - -33. Is 8 a factor of b?
False
Suppose -16*i + 23*i = 630. Is 5 a factor of i?
True
Suppose 221 = 5*i + 1261. Does 13 divide (-9)/(-6)*i/(-12)?
True
Let x be (-2)/4*(-20)/1. Is 10 a factor of ((-18)/x)/((-2)/30)?
False
Suppose 1816 = 5*q - 3*k + 310, 2*k = -4*q + 1196. Suppose 2*m + 3*m = q. Suppose -4*f - f + m = 0. Does 5 divide f?
False
Let v = 44 + -25. Is 11 a factor of v?
False
Let n be 6/18 + 2/(-6). Suppose 0 = 2*u - 3*j - 42, n = -2*u - 2*j + 12 + 30. Is 7 a factor of u?
True
Suppose 5*n = -o - 51, -3*o + o - 74 = -4*n. Let f = 74 + o. Does 9 divide f?
False
Let x be 29/2 + 2/(-4). Suppose -4*r + 3*v = 5, 5*v - x = -r + 2*r. Let s(j) = 16*j - 1. Is s(r) a multiple of 15?
True
Let r(w) = -w**3 + 4*w**2 + 7*w + 2. Let j be r(-6). Let a = -452 + j. Does 22 divide (4 + -3)/((-3)/a)?
True
Does 16 divide 62 + ((-3)/2 - 6/(-4))?
False
Let q be (9/2)/(12/16). Suppose -q*k = -3*k - 144. Is 16 a factor of k?
True
Let p = 64 - 48. Does 16 divide p?
True
Suppose -13 = 2*w - 161. Suppose -58 = -2*f + w. Suppose -2*c - f = -5*c. Does 19 divide c?
False
Suppose 5*w - 1455 = 3*g, -6*g + 4*g = -3*w + 872. Is w a multiple of 21?
True
Let o(g) = -g - 1. Let a be o(-6). Suppose 0*n + 60 = a*n. Is n a multiple of 6?
True
Is 18 a factor of -3 - 4822/(-22) - 2/11?
True
Let f(s) be the third derivative of s**4/24 - s**3/3 + s**2. Let h be 4/(-14) - 153/(-21). Does 5 divide f(h)?
True
Let g = -3 + 3. Suppose h = 5*x - 85, 0 = -g*x - 4*x - h + 77. Is 9 a factor of x?
True
Suppose 0 = 3*a - 40 - 86. Is a a multiple of 21?
True
Suppose k + 27 = 4*x, 0 = k + 2 + 1. Let y = -11 - 1. Is x/4*y/(-9) a multiple of 2?
True
Suppose 0 = 3*r - 2*k - 207, 4*r - 3*k - k = 280. Let f = 127 - r. Let l = -30 + f. Is l a multiple of 15?
True
Suppose -2*x + 63 = -21. Suppose -5*d = -x - 48. Is d a multiple of 9?
True
Suppose 0 = b + b - 2*k - 12, -3*k = -5*b + 26. Suppose -b*m = -2*m - i + 13, -3*m = -5*i + 37. Let u(q) = -2*q. Is 4 a factor of u(m)?
True
Let y = -413 - 507. Is 22 a factor of (-2)/(-7) + y/(-14)?
True
Suppose -s - 6 = -4*s. Suppose f - s*f + 4*x + 45 = 0, f = -2*x + 69. Is 19 a factor of f?
False
Let l = 15 - -2. Does 5 divide l?
False
Suppose -5*k = 4*l - 97, -k = -5*l + 2*l + 68. Let w = 49 - l. Is 10 a factor of w?
False
Let c = 512 - 729. Is c/(-3) - (-3)/(-9) a multiple of 24?
True
Let d(j) be the third derivative of 2*j**5/15 + j**4/24 - j**2. Let f be d(3). Suppose 75 + 3 = 4*y - 2*q, f = 4*y - q. Is 13 a factor of y?
False
Let g(n) be the first derivative of n**2/2 + 9*n + 2. Let p(b) = -b**3 + 3*b**2 + 2*b + 1. Let k be p(3). Is g(k) a multiple of 16?
True
Suppose 2*s + s = 5*o + 122, -167 = -3*s - 4*o. Is 21 a factor of s?
False
Suppose 3*m - t + 28 = 0, -2*m - 2*m - t - 28 = 0. Let q(k) = -k**3 - 7*k**2 + 8*k + 5. Is 5 a factor of q(m)?
True
Let y be (-24)/8 - 31*1. Let j = y + 48. Is j a multiple of 14?
True
Is 13 a factor of (-3)/(-1) + -1 - -63?
True
Suppose 16 = 3*y - 44. Suppose 4*f = -2*g + y, 0 = -4*g + 17 - 1. Suppose 0 = f*s - 5*s + 2*a + 36, 4*s - 2*a - 76 = 0. Is s a multiple of 20?
True
Let w(n) = -n**2 - 1 - 2*n + 0*n**2 + n - n**3. Let j be w(0). Let x(f) = -4*f + 1. Is 5 a factor of x(j)?
True
Let a(o) = -3*o - 2. Let x be a(-2). Suppose -2*u - 32 = x*s, 3*s + 3*u + 0*u = -18. Is (-4)/s + (-90)/(-25) a multiple of 4?
True
Let t(m) = -20*m - 1. Let s be t(-1). Let b be (-10)/(-30) + (-11)/(-3). Let n = b + s. Is 13 a factor of n?
False
Let x(c) = -43*c + 4. Let j be x(-4). Let q be ((-375)/6)/1*-2. Let z = j - q. Is 18 a factor of z?
False
Let f = 0 + 5. Suppose -f*j = 5, -2*l - 3*j - 6 = -47. Is 21 a factor of l?
False
Suppose -3*d + 0*d = -3. Let j(v) = 69*v**3 + v**2 - 3*v + 1. Is j(d) a multiple of 17?
True
Suppose 3 = 3*y - 12. Let n(r) = -r**3 + 5*r**2 + 4. Let u be n(y). Suppose -3*x + u*d = -38, 5*d = d + 16. Does 9 divide x?
True
Suppose 3*q = -3*q + 1080. Is q a multiple of 30?
True
Let c = -20 - -23. Suppose 0*o - 18 = -c*o. Does 6 divide o?
True
Suppose -c = 3 - 13. Does 3 divide c?
False
Suppose -3*d + 12 = 0, -5*d = -5*x + 1230 - 250. Is 10 a factor of x?
True
Suppose -3*z = -3 - 3. Suppose 44 = m - 2*q, z*m + q = 7*m - 247. Does 14 divide m?
False
Let w = 1 + 23. Does 8 divide w?
True
Let r(u) = 2*u**2 - 8*u - 4. Let z(j) = -j + 2. Let a be z(-4). Is 10 a factor of r(a)?
True
Is 6 a factor of (-2)/(-8) + (-99)/(-4)?
False
Suppose n - 425 = 6*n. Let i = -46 - n. Is 16 a factor of i?
False
Does 4 divide 8/2*(4 + -3)?
True
Does 3 divide (-2)/11 + 68/11?
True
Let i = -1 - -1. Let g = 10 + 18. Suppose -4*p + g = -i*p. Is p a multiple of 7?
True
Let n = -3 - -3. Let i = n - -14. Does 7 divide i?
True
Is (1 - -40) + 12/4 a multiple of 11?
True
Let i(w) = -w**2 + 9*w. Let f(t) = 2*t**2 - t + 1. Let o = 2 + 0. Let q be f(o). Is 7 a factor of i(q)?
True
Suppose 3*i = 5*h - 0*i - 23, -5 = h - 3*i. Suppose -38 = -3*k + h. Let q = 8 + k. Does 11 divide q?
False
Suppose 8 + 7 = 3*h. Suppose -11 = -2*d - 3*x, 0 = -h*d - 4*x + 24 + 21. Is 13 a factor of d?
True
Suppose 0*f - 16 = f. Let n be ((-4)/6)/(4/66). Let p = n - f. Does 3 divide p?
False
Let y = 11 + -9. Suppose y*w = 75 - 7. Is 8 a factor of w?
False
Let i(g) = -53*g - 2. Is i(-1) a multiple of 23?
False
Let x(l) = l**3 - l**2 - l + 15. Let k(i) = i - 4. Let q be k(4). Is 15 a factor of x(q)?
True
Suppose -3*v = 3, 2*f + 19 = 4*f + v. Suppose 0 = -3*w + f + 74. Is 14 a factor of w?
True
Suppose -75 = 4*j - 9*j. Let q = 37 - j. Is 11 a factor of q?
True
Let j(m) be the second derivative of m**4/6 + 7*m**3/6 - 5*m**2/2 - 2*m. Is 13 a factor of j(-6)?
False