the first derivative of j(u). Is 13 a factor of s(-2)?
False
Suppose -3*g - 4*b - 44 = 0, -2*g - 1 = -3*b - 0. Let r be (g/(-12))/(2/(-6)). Is 5 - 2*(1 + r) a multiple of 5?
False
Does 15 divide (3/6)/(3*(-3)/(-1296))?
False
Suppose -5*p - 2*t + 855 = -3*t, 0 = -2*p + 5*t + 365. Let x = p - 121. Is 22 a factor of x?
False
Let w be 1 + (4 - 2)*-1. Let v be 4 - (-3 + 2 + w). Suppose -v*c = -c - 100. Is 14 a factor of c?
False
Let b(g) = -g + 450. Let a be b(0). Is 25 a factor of (1/3)/(3/a)?
True
Let n be -1 + (2 - (2 - 5)). Suppose 5*q = -3*b + 166, 0 = -3*q - n*b + 32 + 61. Does 13 divide q?
False
Let f(m) = 5*m**2 + 3*m + 4. Does 14 divide f(-3)?
False
Suppose -7*l = -0*l - 1148. Is 41 a factor of l?
True
Let p(n) = n**2 - n + 3. Let x be p(-4). Suppose 2*a - 27 = i, -a - 2*a + 5*i = -x. Suppose -j = 3*u + u - a, 0 = 4*u - 4. Does 6 divide j?
True
Let j be 147 + (-1)/3*-3. Suppose -4*p - 2*x + 140 = 0, -4*p - x + 3*x + j = 0. Is p a multiple of 12?
True
Let x = -29 - -61. Is 8 a factor of x?
True
Suppose -4*p - 5*f = -p - 11, 2*f - 14 = 2*p. Let b = 21 + p. Does 9 divide b?
True
Suppose -4*y + 6*y = c + 9, 19 = -3*c + 4*y. Is (-84)/(-2) + (1 - c) a multiple of 12?
False
Let t(d) = d**3 + 4*d**2 - 4*d - 1. Let f be t(-5). Let s be ((-4)/f)/(3/207). Let b = s - 23. Is 8 a factor of b?
False
Suppose -3*b = 15, -3*t + 5*b + 209 = t. Does 6 divide t?
False
Let v(z) = 5*z**2 + z - 16. Does 12 divide v(-4)?
True
Let f(m) = -m + 5. Let v be f(3). Let j be (9/v + 0)*2. Is (-2)/(-3) + 84/j a multiple of 5?
True
Suppose 4*n + 15 = 59. Does 2 divide n?
False
Suppose 546 = 2*h + 64. Does 10 divide h?
False
Suppose c - 12 = -3*k - 0*k, 9 = 3*c. Let o = 6 - k. Suppose -p + 5*j = -32, -o*j = -2*p - 4*j + 53. Does 12 divide p?
False
Suppose -4*v + 0 = -304. Does 11 divide v?
False
Let c(u) = -u**3 + 7*u**2 + 3. Suppose 4*d - 28 = 3*x, 5*x - 21 = -d - 2*d. Is c(d) even?
False
Let c(v) = 4*v + 2. Let p = 3 - 3. Suppose -2*u + p*u + 6 = 0. Is c(u) a multiple of 7?
True
Suppose j + j = 0. Let h(r) = r**3 - r**2 + 9. Does 6 divide h(j)?
False
Let o(b) = 5*b**2 - 1. Let d(z) = -4*z**2 - z + 1. Let s(j) = -4*d(j) - 3*o(j). Let c be s(-5). Let k(r) = r**2 - 2*r + 3. Is k(c) a multiple of 11?
True
Let r(u) = u**2 - 6*u - 10. Let f be r(8). Let y(o) = o**2 - 4*o - 2. Let t be y(f). Suppose 0 = -h + 6 + t. Does 15 divide h?
False
Let i = -3 + 3. Let r = 5 + i. Suppose -43 = -2*f + r*a - 13, 3*a - 45 = -3*f. Is 14 a factor of f?
False
Let f(r) = 7*r - 2. Let h(d) = d + 4*d - 4*d. Let j be h(3). Does 8 divide f(j)?
False
Let p(s) = -s. Let a be p(-1). Let w(y) be the third derivative of y**4/4 - y**3/6 + 3*y**2. Is w(a) a multiple of 3?
False
Let g be (-73)/(-5) - (-2)/5. Suppose g = -i - 4*i. Let p = i + 18. Is p a multiple of 13?
False
Let c be (-3)/(-18) + (-17)/(-6). Suppose 4*g + c*y + 69 = 0, 2*y - 36 = 3*g + 20. Is -6*3*4/g even?
True
Let w be (1 - 2)*230/(-2). Suppose r = 2*g + 10, r = 4*r + 4*g. Suppose -3*q + f = -95, r*q + 0*q - w = -f. Is 13 a factor of q?
False
Is (-170)/17*18/(-5) a multiple of 4?
True
Let g(z) be the first derivative of 11*z**2 - z + 4. Is 14 a factor of g(1)?
False
Let d(b) = -147*b + 1. Let u be d(1). Let t = u - -227. Does 31 divide t?
False
Let y be (4/5)/((-4)/50). Let k be (-46)/y - 2/(-5). Is (-4)/(k/(45/(-2))) a multiple of 7?
False
Suppose -3*q + 6 + 3 = 0. Suppose -k + 18 = 2*s, 0 = -k + 2*k - q*s - 18. Is k a multiple of 6?
True
Let u be (3/9)/(1/15). Suppose 0*c - 65 = -u*c. Is c a multiple of 8?
False
Let q(k) = -3 - 2 + 7*k + 0. Is 14 a factor of q(6)?
False
Let y = -2 - -6. Let l = 1 + y. Suppose -l*i = -22 + 2. Does 4 divide i?
True
Let q = 17 + -15. Let d = q + 26. Does 15 divide d?
False
Let p(v) = 5*v**2 - 5*v**2 - 3 + v**2 + 3*v. Let u be p(-6). Let f = -9 + u. Is f a multiple of 6?
True
Let k be (7/2)/((-2)/(-4)). Let i = k + -12. Let j = i + 18. Is j a multiple of 8?
False
Suppose 0 = 2*a + a - 15. Suppose 3*y - y - a*v = 33, y + 5*v = 9. Is 4/y - 514/(-14) a multiple of 21?
False
Let q(u) = 8 - 5*u + 2*u + 5*u + 5. Suppose 2*s + 2 = 20. Is 12 a factor of q(s)?
False
Suppose -12 = 4*x - 48. Let n be 82/(-6) - 4/(-6). Let q = x - n. Is 8 a factor of q?
False
Let z(j) = j**2 + 6*j + 6. Let f be z(-5). Is f/(-3) + (-328)/(-12) a multiple of 12?
False
Let j = -136 + 17. Let i = -85 - j. Is i a multiple of 12?
False
Suppose -4*g = 3*y, 0 = 4*y - 2*g - 25 + 3. Suppose -3*h - y*n + 64 = 0, -5*h + 68 = -2*n - 82. Is 7 a factor of h?
True
Suppose -u = -5*v + u + 18, 5*v = -3*u - 2. Suppose -v*k + 4*p = 4, 0*k + 52 = 4*k + 4*p. Is k a multiple of 3?
False
Suppose 4*i + 4*d - 52 = 0, 4*i - 3*d - 64 = -d. Suppose 0 = 3*c - 2*c - i. Is c a multiple of 5?
True
Suppose -4*k = u - 13, -5*u + 33 = 3*k + 2. Suppose -l = -k*l + 4. Suppose -l*s + 30 = -3*s. Is s a multiple of 15?
True
Let b = -147 + 255. Is b a multiple of 12?
True
Let p(u) = -u**3 + 8*u**2 + 10*u - 9. Let j be p(9). Let v = 36 - j. Is v a multiple of 17?
False
Let y(z) = 6*z. Let a be y(-1). Is 140/6 + a/18 a multiple of 6?
False
Let s(h) = -4*h + 1. Let g be s(-2). Suppose -3 = -2*z + g. Suppose 2*a - 4*u - 28 = 0, a + u + u = z. Is 4 a factor of a?
False
Suppose -f + 4*f - 183 = 0. Is 23 a factor of f?
False
Suppose -5*c = -63 - 127. Is 7 a factor of c?
False
Is 7 a factor of ((-84)/10)/(2/(-10))?
True
Let l = -54 + 73. Does 14 divide l?
False
Suppose c - 68 = 4. Is 13 a factor of c?
False
Let l(u) = 50*u**2. Let c be l(-1). Suppose 104 = 5*t - 2*a, -t - 5*a - c = -3*t. Does 10 divide t?
True
Suppose -3*b + 32 = 11. Let u be ((4 - 2) + -3)*b. Is u/(1 - 9/6) a multiple of 14?
True
Is 25 a factor of ((-2)/(-3))/((-4)/(-414))?
False
Suppose x - 5*l - 1 = -x, -l = 4*x - 35. Does 4 divide x?
True
Let t = 3 + -9. Is 22 a factor of 181/3 - 4/t?
False
Suppose 5*q + 7 = 22. Suppose k = 5*u - 125, -q*k = 3*u - 12 - 45. Is u a multiple of 8?
True
Let n(h) be the first derivative of h**4/4 + 2*h**3/3 - h**2 - 2*h - 2. Does 8 divide n(2)?
False
Let k be (-2)/(-6) - (-2)/3. Does 25 divide k/(2/62 - 0)?
False
Let n = 7 + -4. Suppose 69 + n = 2*v. Is v a multiple of 18?
True
Let v = 12 + 4. Is 8 a factor of v?
True
Let n(s) = s**3 + 8*s**2 - 7*s - 12. Is 10 a factor of n(-8)?
False
Let c = -23 - -74. Does 17 divide (-4)/3*c/(-2)?
True
Let a = 31 + 27. Is 3 a factor of a?
False
Let g(z) = z**2 - 2*z - 2. Is g(-3) a multiple of 11?
False
Suppose 5*p - w = 3*p + 18, -p + 9 = -4*w. Is 3 a factor of p?
True
Let l(o) = 3*o**2 - 7 + 6*o**2 - 5*o - 5*o**2. Does 16 divide l(-3)?
False
Let s(m) = -m**3 - 5*m**2 - 3*m - 2. Let v be s(-5). Suppose 0 = 5*y + v - 3, 4*h = 4*y + 24. Suppose h*p - 59 = 85. Does 18 divide p?
True
Let t(d) = 19*d**2 + 2*d - 2. Let m = -5 + 7. Is 27 a factor of t(m)?
False
Let a be (-12)/(-30) - (-2)/(-5). Suppose a = 7*j - 3*j - 2*x - 54, 0 = 4*j - 5*x - 39. Is j a multiple of 9?
False
Suppose -3*m - 35 = -4*s, 0*m - 15 = 3*m. Suppose -10 = -q - t, -s*t + 23 = q + q. Is 3 a factor of q?
True
Suppose u = 2*g - 79, -5*u + 0*u + 2*g - 379 = 0. Let n = u - -150. Does 25 divide n?
True
Let b(y) = y**3 + 3*y**2 - 4*y + 5. Let f be b(-4). Suppose 0 = o - f*g - 56, 5*o + g + 2*g - 168 = 0. Is 18 a factor of o?
True
Suppose 0 = -3*z + 3*d - 3, 0 = -0*z - z - 4*d - 21. Let a be -2*2/((-4)/25). Let u = a + z. Does 7 divide u?
False
Let k(h) = -h**2 - 17*h + 8. Does 17 divide k(-12)?
True
Is -1 + 0 + 7 + 10 a multiple of 9?
False
Let o(q) = 78*q**2 + q - 1. Let s be o(1). Suppose 2*z = 4*f + 36, -2*f = -5*z + 2*f + s. Is 4 a factor of z?
False
Let m = -29 - -56. Is m a multiple of 27?
True
Let v(t) be the first derivative of 3*t**2 - t - 1. Let h be v(3). Suppose 0 = -3*a + h + 13. Is 5 a factor of a?
True
Let y(m) = -m**3 - 8*m**2 + m + 8. Let v be y(-8). Suppose -q = -i - 1 - v, 0 = -3*i - 2*q + 2. Does 10 divide i - (2 - 2 - 21)?
False
Suppose 0 = -8*c - 0*c + 296. Does 37 divide c?
True
Let w(o) = o - 2. Let n be w(2). Suppose 2*z - 49 - 31 = n. Is z a multiple of 24?
False
Let l(n) = n**3 - n**2 - 2*n - 1. Let b be l(-1). Suppose 3*x + 46 = 5*x. Is x + (-3 - 2/b) a multiple of 13?
False
Let x(h) = 2*h - 1. Let w be x(2). Suppose -3*v + 9 = -w. Suppose v*d - 4*o - 16 = 0, 2*o - 3*o + 50 = 5*d. Is d a multiple of 9?
True
Let f be (24/4)/((-6)/(-4)). Suppose 4*y = 4*m + 72,