 3. Let w be t(3). Suppose -w = -5*x + 51. Suppose -17 = -3*g + 4*b, -4*b = -4 - x. Is 8 a factor of g?
False
Suppose 7*q - 4*q = 4*l + 50, 3*l + 35 = 2*q. Suppose 5*k - 3*k = q. Suppose -v = -k*a - 6, 0*v - v + 14 = -3*a. Is v a multiple of 13?
True
Suppose -10*b + 95 = -5*b - 2*l, -29 = -2*b - l. Is b a multiple of 17?
True
Let k(w) = -2*w**2 - 42*w + 4. Does 14 divide k(-17)?
True
Suppose 3*g - 5*c - 76 = 0, -9*c + 7*c - 48 = -2*g. Is g a multiple of 22?
True
Suppose 4*h - 11 = -v, 7 = -h + 3*h - v. Suppose -h*j + 64 = -j. Does 21 divide j?
False
Suppose -6*n + 4*n + 4 = -2*w, 4*w = -n - 8. Let p be w/(-6) + 410/3. Suppose -193 = -5*v - 0*m + m, 4*v = -5*m + p. Is 19 a factor of v?
True
Suppose -2*j + 35 = -l, 3*j + 21 = 4*j - 4*l. Is j a multiple of 14?
False
Suppose 4*n = -6 + 18. Let a(w) = 13*w**2 - w + 4. Let f be a(3). Suppose 0 = -2*k - n*q + 61, 0*k - 5*k = -4*q - f. Is k a multiple of 13?
True
Suppose 5*a + 3*b - 16 = 4, -16 = -4*a - 4*b. Suppose -3*f = -5*n - 29, -4*f + 0*f - 2*n = -a. Is 3 a factor of f?
True
Suppose -45 = -f - 4*f - 4*d, 4*f = -5*d + 45. Is f even?
False
Let r = -4 + 3. Let z(l) = 10*l - 4. Let h(c) = -1. Let d(b) = r*z(b) + 3*h(b). Does 13 divide d(-2)?
False
Does 14 divide (-15)/6*-32 + -3 + 5?
False
Let c = 54 - 37. Let i = c - -4. Does 21 divide i?
True
Suppose 2*c = -2*q + 6, -5*c - 6*q = -2*q - 12. Suppose c*k = 4*k - 96. Suppose n = -3*u + 21, 3*n + u - k = 5*u. Is n a multiple of 5?
False
Let g = 93 + -51. Suppose -4*m - 10 + g = 0. Is 4 a factor of m?
True
Suppose -5*b + 5*k + 180 = -0*b, 0 = -4*b - 4*k + 160. Suppose 0 = 5*u + 5*n - 140, 4*u + 3*n = 3*u + b. Is u a multiple of 13?
False
Suppose -p + 5 = -4. Suppose k - 3 = p. Is 3 a factor of k?
True
Let h = -103 + 186. Is h a multiple of 41?
False
Let y(h) = h**2 - 4*h + 7. Let o be y(-5). Suppose -5*r + 4*d = o - 367, 0 = 3*r + 2*d - 211. Let p = -33 + r. Is 17 a factor of p?
True
Suppose 4*i = -i + 535. Let a be 2/(-4) - i/(-2). Suppose -g - 3*x = -a, 2*x + 2 = 3*x. Is 19 a factor of g?
False
Let q = 6 - 18. Is -6*(0 - (-16)/q) a multiple of 6?
False
Suppose -p - 4 = -3. Let g be (0 - -1)*1 + p. Suppose -2*l + 16 + 10 = g. Is 12 a factor of l?
False
Let v(p) = p**2 + 3*p + 1. Let d be v(-3). Let n(s) = -d + s + 19*s**2 - 1 + 0*s + 0*s**2. Does 26 divide n(-2)?
False
Suppose -4*p + 312 = 5*v, -p = -2 - 1. Does 15 divide v?
True
Let x(j) = -28*j. Does 48 divide x(-12)?
True
Let t(r) = -r**3 - 4*r**2 + 7*r + 7. Let k be t(-5). Is (9 + k)/(1 - -1) a multiple of 3?
True
Suppose 3*u - 4 = 4*g, -18 = -g - 0*g - 4*u. Let h(m) = -6*m**2 + m - 4. Let j(f) = -f**3 - 31*f**2 + 4*f - 21. Let l(r) = 11*h(r) - 2*j(r). Does 4 divide l(g)?
True
Suppose -3*v = 4*n - 27, 3*n = -5*v + 13 - 1. Does 3 divide n?
True
Is 14 a factor of (1 + 5)*(-970)/(-30)?
False
Let t = 9 - 5. Suppose -206 = -5*l + 2*x, 5*l = 2*l + t*x + 118. Does 13 divide l?
False
Let j(a) = -3*a**3 + 4*a**2 + 7*a. Let q(k) = 16*k**3 - 21*k**2 - 36*k - 1. Let r(s) = 11*j(s) + 2*q(s). Is 7 a factor of r(-3)?
True
Is 2/(0 + (2 - 4)) + 135 a multiple of 31?
False
Let c(r) = 7*r**2 + r - 10. Does 7 divide c(3)?
True
Let s = 5 + 0. Suppose 2*c + p = 7, 0 = -s*c - 0*p - 2*p + 20. Suppose h - 1 - c = w, 4*h - 25 = w. Does 6 divide h?
True
Suppose 0 = -2*q + 14 - 4. Let n(y) = y**3 - 5*y**2 + 4*y. Is n(q) a multiple of 20?
True
Let r = 25 + 35. Suppose -4*c + r = c. Let g = -7 + c. Is 4 a factor of g?
False
Suppose 6*s = 2*s - 16. Let u(l) be the third derivative of -l**4/8 + l**3/2 - l**2. Does 15 divide u(s)?
True
Let p(n) = n**3 - 2*n**2 + 5*n - 6. Let v be p(4). Suppose 2*f - v = 2*d, -f + 2*d + 72 = 2*f. Is 13 a factor of f?
True
Let o be (-2)/(-5) + 6/(-15). Suppose o = t - 2*h - 4, 23 + 5 = -3*t - 4*h. Let a(x) = -x**2 - 10*x - 2. Does 22 divide a(t)?
True
Suppose -f = 2*y + 46, -f - y = -2*y + 46. Let g = f + 95. Is g a multiple of 16?
False
Let v(w) = -w**2 - 7*w - 5. Let p be v(-5). Suppose -2*u = -d + 5*d - 10, 0 = u + p*d + 1. Is u a multiple of 4?
False
Let w = 497 - 353. Suppose 12 = 2*r - w. Does 26 divide r?
True
Let a(y) = -3*y - 12. Does 7 divide a(-13)?
False
Let r(s) = -s + 5. Suppose -z + 10 - 2 = 0. Let t be r(z). Is 2 a factor of (3/(-3) - t) + 2?
True
Let j be 56/3 - (-12)/(-18). Is 11 a factor of 6*-2*j/(-8)?
False
Suppose -2*k - g = 2*k - 183, 2*k = -4*g + 102. Does 10 divide k?
False
Suppose -3*i + 0*i = -t + 25, 3*t - 90 = 4*i. Is t a multiple of 17?
True
Let u(w) = 4*w + 11. Let s be u(-10). Let z = s + 42. Is z a multiple of 13?
True
Is 6 a factor of (-441)/(-12) + (-12)/16?
True
Let a(o) = -o**3 + 10*o**2 + 3*o + 1. Let f be a(7). Suppose -3*t = 4*k - 72 - f, 3*t - k - 236 = 0. Is 17 a factor of t?
False
Is (-1)/(-3 + 87/30) a multiple of 10?
True
Let j(t) be the second derivative of 3*t**3 + 2*t**2 - 4*t. Is j(2) a multiple of 16?
False
Does 9 divide (-2)/(-3) - (-344)/6?
False
Suppose 2*x = 4*h - 20 - 0, -5*x + 3*h = 15. Suppose w = -p + 3, 2*p + x*p - 3*w = 11. Does 4 divide p?
True
Suppose -b + 760 = 9*b. Is b a multiple of 20?
False
Let x = 8 + 1. Let l(f) = f + 18. Does 20 divide l(x)?
False
Let v = -4 + -4. Let h(i) = i**3 + 8*i**2 - 2*i - 8. Is h(v) even?
True
Suppose -r = -2*r + 3. Suppose -2 = 5*k + r. Let s(p) = -8*p. Is s(k) a multiple of 3?
False
Let u be ((-10)/(-4))/((-1)/(-2)). Suppose u*q - 3*p - 19 = -7*p, q - 11 = p. Is 5 a factor of q?
False
Suppose -2*n + 144 = -n. Does 16 divide n?
True
Suppose r + 2*o - 57 = 0, 4*o - 238 = -4*r + o. Does 22 divide r?
False
Let h be (-57)/(-5) + 2/(-5). Suppose 5*j + h = -2*d, -46 = -0*d - 3*d + 5*j. Is 6 a factor of (1 + 6)*6/d?
True
Let o(y) = -2*y - 6. Let s be o(-5). Let n(i) = -3*i + i - s*i**3 - 3 - i + 3*i**3. Does 5 divide n(-2)?
False
Suppose 2*o + o = 3. Suppose o - 3 = -2*p. Suppose -11 = -2*l - p. Is 5 a factor of l?
True
Let j be -51*2/(-6)*1. Suppose -4*p + j = -3*p. Is 12 a factor of p?
False
Let m(g) = -g**2 + 14*g + 1. Is 49 a factor of m(6)?
True
Let k(c) = 1 + 16*c - 1 - 6*c. Is 10 a factor of k(4)?
True
Suppose -216 = -13*f + 11*f. Is 36 a factor of f?
True
Suppose -y = t - 2*t - 122, 622 = 5*y - 2*t. Is 11 a factor of y?
False
Does 42 divide (-2)/7 - (-7068)/42?
True
Let g be (2/(-4))/((-2)/8). Is 86 - (0/(-3) - g) a multiple of 25?
False
Suppose -2*c + 4*c = 40. Does 20 divide c?
True
Suppose -15 = 2*r + r, -2*r = 3*p - 53. Does 21 divide p?
True
Let z = 166 - 116. Suppose -4*b + 7*b - 259 = 5*y, 4*b - 353 = -y. Let o = b - z. Does 17 divide o?
False
Suppose -k + u = -0*u + 4, -5*k + 4*u - 17 = 0. Suppose -c = -2*c - 20. Let g = k - c. Is 7 a factor of g?
False
Let s = -277 - -508. Is s a multiple of 19?
False
Let u = 14 - -10. Suppose r + 5 = u. Is 9 a factor of r?
False
Suppose 7*l + 700 = 12*l. Let r = -77 + l. Does 27 divide r?
False
Let t(p) = -p**3 + 130. Let o be t(0). Suppose -o = -4*j + 2*q, q - 133 = -5*j + 26. Is j a multiple of 16?
True
Let l = 97 + -42. Does 8 divide l?
False
Let w(v) = -48*v - 30. Is w(-5) a multiple of 30?
True
Suppose -507 = -2*m - m. Let i = -112 + m. Suppose 0 = -2*f - 0*f + l + i, f - 23 = -5*l. Is f a multiple of 14?
True
Suppose -s + 42 = 2*s. Let x = s - 9. Suppose -2*k + x = -2*w - 57, -5*w = k - 1. Does 13 divide k?
True
Let y = 7 + 3. Let x be (120/(-100))/(3/(-10)). Suppose 50 = x*v + y. Is v a multiple of 8?
False
Suppose -33*j = -30*j - 78. Does 17 divide j?
False
Let h = 128 + -75. Does 22 divide h?
False
Suppose 0 = -2*q - 3*f + 747, -5*f - 15 = -0*f. Does 16 divide q?
False
Let w = 8 + -9. Does 4 divide 2 + w/((-4)/28)?
False
Suppose -2*p = -g + 2104, -2394 = 4*p - 5*g + 1826. Is (-2)/13 + p/(-65) a multiple of 4?
True
Is 11 a factor of (-569)/(-5) - 20/(-100)?
False
Is -4 + 90 - -4*1 a multiple of 18?
True
Let t be (-329)/4 + 5/20. Let c = -54 - t. Does 14 divide c?
True
Suppose 3*g - 5*b - 47 = 0, -2 = -2*g + b + 27. Is 11 a factor of g?
False
Suppose 4*u = -0*u + 120. Is 15 a factor of u?
True
Let h(j) = -j**2 - j - 1. Let g be h(3). Let y = -21 - g. Let b(k) = k**3 + 7*k**2 - 9*k - 5. Does 3 divide b(y)?
True
Suppose -n + 860 = 4*n + 5*k, -4*k + 517 = 3*n. Is n a multiple of 19?
True
Is 17 a factor of (-35)/(-14)*(-1 + 35)?
True
Is ((-150)/4)/((-24)/32) a multiple of 10?
True
Let q = -5 - -3. Let j be (-34)/4 + 1/q. Let x(v) = v**2 + 7*v - 12. Is x