 + 4. Suppose -r = -2*f + f + 14, -5*f + 2*r + 82 = y. Suppose -116 = -2*g + f. Is 23 a factor of g?
False
Let l(j) = -j**3 - 6*j**2 + 6*j + 1. Let c be l(-7). Suppose c*h = 4*h + 32. Is 3 a factor of h?
False
Is 17 a factor of 140/(-25)*15/(-6) - -3?
True
Suppose -n + 14 = -3*i, 0 = n - 2*n - 3*i + 20. Is n a multiple of 13?
False
Suppose -3*m + 60 = -2*m. Suppose -o + m = o. Is o a multiple of 10?
True
Let m = -13 + 30. Let r(x) = -m*x**3 - x**2 - 13*x**3 + 9*x**3. Is 14 a factor of r(-1)?
False
Let v be (150/(6/2))/(-1). Let o = 98 + v. Is o a multiple of 18?
False
Suppose 2*x + x = 5*t - 374, 0 = -5*t + x + 368. Suppose 0 = -5*g + 17 + t. Is g a multiple of 6?
True
Let f be (2/3)/(3/9). Suppose 3*m - 5 = f*m. Suppose -m = -k + 51. Is k a multiple of 15?
False
Does 32 divide (-6 - (-133)/21) + (-191)/(-3)?
True
Let i(d) be the second derivative of 1/12*d**4 + 3/2*d**2 - 2/3*d**3 - 2*d + 0 + 1/5*d**5. Is 21 a factor of i(2)?
False
Suppose -3*a + 0*a = 3*u - 9, -2*u - 30 = -4*a. Is 2 a factor of a?
True
Does 5 divide 2/(-5) + -2 + 891/15?
False
Let g(d) = 11*d**2 + d + 2. Suppose 2*k = 2*c - 12, 2*c - 6*k + k - 24 = 0. Is g(c) a multiple of 16?
True
Let y(v) = -4*v. Suppose 5*r - 40 = 3*t, 2*r + 2*t + 1 = 3*r. Suppose 4*u + r = 3. Does 4 divide y(u)?
True
Suppose 135 - 5 = t. Suppose x - 3*x + t = 5*j, -5*x + 5*j = -290. Is 20 a factor of x?
True
Let a(r) = r - 1. Let z be a(-8). Let d = 5 + z. Does 8 divide (-2)/d + 141/6?
True
Let f(s) = s + 6. Let x be f(-5). Is 19 a factor of (-58)/(-3) + x/(-3)?
True
Let q(j) be the first derivative of 4*j**2 + 6*j - 1. Is q(7) a multiple of 23?
False
Suppose -4*h + 2 = -6. Is 17 - -4*h/(-4) a multiple of 8?
False
Suppose 4*h + 12 = 0, 0*a = a + 4*h + 52. Suppose -3*t = -2*t + 4. Does 19 divide -2 - ((-2 - t) + a)?
False
Suppose 0 = -3*x - 6, -a + 5*x + 16 - 4 = 0. Suppose -4*s + s - 4*c = -81, a*s - 68 = 2*c. Let t = s + -17. Does 9 divide t?
False
Let z = 140 - 93. Is z a multiple of 11?
False
Let a be (-138)/8 + 2/8. Let f(q) = -q**3 + 8*q**2 - 6*q - 2. Let p be f(6). Let v = p + a. Does 14 divide v?
False
Let p(j) = 1 + 0*j**3 + 1 + 3*j**2 + j + 1 - j**3. Let x be p(3). Suppose n - 4*k - x = 0, -2*k - 21 = -2*n + 3*k. Is n a multiple of 9?
True
Suppose -3*u - 16 + 1 = 0. Let i(z) be the second derivative of z**5/20 + z**4/2 - 7*z**3/6 - 3*z**2 - 9*z. Is 21 a factor of i(u)?
False
Let t(j) = -j**2 - 9*j - 2. Suppose -5*m - 3 = 7. Let l = m + -4. Is 8 a factor of t(l)?
True
Is 27 a factor of 1/5 + (-268)/(-10)?
True
Let m = 18 + -11. Suppose m = -p + 35. Does 13 divide p?
False
Let f(s) = -s**3 + 9*s**2 - 10*s - 2. Let w be f(8). Let q be (-42)/w - (-2)/3. Is 5 a factor of ((-11)/(-3))/(1/q)?
False
Suppose h = 3*h - 86. Is 11 a factor of h?
False
Let w be 0/(-1) - (-2 + 2). Suppose -2*x = y - w*x + 8, -y + 5*x = -20. Suppose -m - 3*p + 4 + 13 = y, 0 = -m - 2*p + 18. Is 9 a factor of m?
False
Let m(p) = -2 - 4*p**3 - 7*p + 5*p**3 - 2*p**2 + 7. Let x = 11 - 7. Is m(x) a multiple of 5?
False
Let h(i) = 25*i + 9. Is 7 a factor of h(3)?
True
Let l(g) = 5*g - 3. Let y be l(6). Suppose r = 2*r - y. Is r a multiple of 15?
False
Let q(c) = 13*c**2 - c + 30. Is 35 a factor of q(5)?
True
Suppose -2*u = -5*d + 28, 3*u + 23 = -4*d + 2*d. Let t = u + 14. Suppose -23 = -t*l - 2*y, 4*l - 4*y - 25 = y. Is l a multiple of 4?
False
Suppose -5*h - 414 - 31 = -2*a, -5*a = -3*h - 1084. Is a a multiple of 34?
False
Suppose 958 = 4*c + 2*t, 0*c + c = 5*t + 245. Suppose 4*w + w + 3*m - c = 0, -96 = -2*w - 5*m. Does 14 divide w?
False
Let c(a) = -123*a - 2. Let z be c(-3). Let t = 719 - z. Does 14 divide (-2)/(-3) + t/12?
False
Suppose -5*c + 36 = 3*n, -4*n = c - 5*c + 48. Let x be 2/6 + 42/c. Suppose p - x = 8. Does 8 divide p?
False
Let u(f) = f**3 - 8*f**2 + 8*f - 7. Let p be u(7). Suppose p = 5*l - 25 - 5. Does 3 divide l?
True
Suppose -2*j + 0 + 2 = -3*f, f + 6 = 2*j. Suppose -4*b + 7*v = 3*v - 28, f*b - 4*v - 12 = 0. Let x = 22 - b. Does 7 divide x?
True
Let i be ((-10)/6)/(3/(-9)). Is 8 a factor of (i/(-5))/((-3)/42)?
False
Let r be (12/(-14))/(2/14). Let x(n) = -n**3 - 5*n**2 + 7*n + 8. Let p be x(r). Suppose -3*k - p*k = -265. Is k a multiple of 19?
False
Suppose -4*h + 256 = -0*h. Is h a multiple of 11?
False
Let n(r) be the third derivative of r**4/4 - r**3/6 + 4*r**2. Let b be n(-2). Does 15 divide 2/b + (-1408)/(-26)?
False
Let w(i) = 6*i**2 + 4*i + 4. Let t be w(-3). Let o = -94 + t. Let s = -28 - o. Does 8 divide s?
False
Let r be (-2)/((-2)/(-5)*-1). Suppose -d + r*d - 60 = 0. Does 15 divide d?
True
Let t(u) be the first derivative of 4*u**3/3 - u**2/2 - u + 3. Does 4 divide t(-1)?
True
Let k(q) = -q - 9. Let j(a) = 2*a + 17. Let z(v) = -3*j(v) - 7*k(v). Let n be z(-7). Suppose -n*x + 84 = -21. Is x a multiple of 7?
True
Let w(u) be the third derivative of u**7/1680 - u**5/60 - 3*u**2. Let k(l) be the third derivative of w(l). Is k(2) a multiple of 3?
True
Let j(i) = -i + 3. Let c be j(3). Let m(w) = -3 - 2*w + c + 2*w**2 + 4. Is m(-2) a multiple of 13?
True
Let v = -227 - -330. Is v a multiple of 10?
False
Suppose -5*v = 2*w - 146 - 43, -5*v - w + 192 = 0. Does 6 divide v?
False
Let q(w) = 50*w**2 - w - 2. Let u(p) = 25*p**2 - 1. Let r(d) = -2*q(d) + 5*u(d). Suppose -i + 3*i - o = -2, 0 = -5*i + 5*o - 15. Does 15 divide r(i)?
False
Let t be ((5 - 1)*-3)/1. Let o = t - -20. Let b = o + -5. Is 2 a factor of b?
False
Suppose -2*g + 6 = -138. Is g a multiple of 9?
True
Let p = -57 + 123. Is p a multiple of 29?
False
Suppose 4 = -4*s + 6*s. Let n be 34*(0 - (-3 + s)). Suppose u - n = 7. Is 14 a factor of u?
False
Let d = 41 + -27. Suppose d - 65 = -3*f. Does 5 divide f?
False
Let b(u) = 34*u. Let l be b(-2). Let g = 95 + l. Does 8 divide g?
False
Let m(f) = 1. Let t(b) = -b + 31. Let x(j) = -6*m(j) + t(j). Suppose 23*k = 20*k. Is x(k) a multiple of 13?
False
Let v(u) = u**2 - 9*u - 3. Is 5 a factor of v(10)?
False
Suppose r + 0*r = -10. Suppose 3*u = 1 + 5. Let i = u - r. Is i a multiple of 6?
True
Let l(w) = w**2 - 7*w - 10. Let k be l(7). Is (0 + 4)/(-4) - k a multiple of 4?
False
Let o(y) = 36*y - 32. Does 57 divide o(5)?
False
Let y(g) = -g**3 + 9*g**2 + 10*g - 2. Let j(p) = -2*p**3 + 8*p**2 + 9*p - 1. Let c(r) = 2*j(r) - 3*y(r). Is 24 a factor of c(-10)?
True
Is 18 a factor of -5*((-216)/15)/4?
True
Suppose 84 = -4*q + 10*q. Is q a multiple of 7?
True
Let h = 18 + -9. Does 5 divide h?
False
Suppose 0 = -4*u - 2*r + 10, -5*u + 3*r = 7 + 8. Let s = 2 - u. Suppose -4*h - 5*g + 42 = 0, -h + s + 4 = -g. Does 3 divide h?
False
Let m(s) = -4*s - 8. Is 18 a factor of m(-11)?
True
Suppose 0 = 2*n + 1 + 5, -2*n - 102 = -3*h. Is 16 a factor of h?
True
Let i be (-8)/24*(0 + -93). Let f = -52 + 84. Suppose -f - i = -3*x. Does 7 divide x?
True
Let p(f) be the third derivative of -47*f**6/40 - f**3/6 + 2*f**2. Let t be p(-1). Suppose -z - t = -6*z. Is 14 a factor of z?
True
Let u(d) = 9*d + 26. Is 10 a factor of u(16)?
True
Let z be (2/(-5))/((-1)/10). Suppose 2*w + 5*u + 427 + 123 = 0, z*w + 1128 = 4*u. Is 12/10*w/(-16) a multiple of 19?
False
Let h = -21 + 38. Let j = 43 + h. Is 20 a factor of j?
True
Let i = 260 - 85. Does 7 divide i?
True
Suppose 0 = -3*t + 4*j + 7, 5*t - 38 = -j - 11. Let r = 7 - t. Suppose 7*w - 70 = r*w. Is w a multiple of 7?
True
Suppose 33 = 5*k - 7. Suppose 10 = 3*x - u, 0 = -4*x - 4*u - 0*u + k. Suppose -2*h = x*h - 130. Is 10 a factor of h?
False
Suppose -2*f - f = -4*m + 98, -2*m + 50 = -f. Let u = m - 18. Does 4 divide u?
True
Let b = -97 + 48. Let a = b - -71. Does 22 divide a?
True
Let v(q) = -q**2 + 2*q - 4. Let o be v(4). Let p = 6 - o. Is p a multiple of 18?
True
Let p(z) = 13*z**3 - 8*z**2 - z + 21. Let r(m) = 7*m**3 - 4*m**2 - m + 11. Let s(v) = 6*p(v) - 11*r(v). Is 11 a factor of s(5)?
True
Suppose 2*a - 287 = 3*m + 7, 2 = -m. Is a a multiple of 36?
True
Suppose -m + 2 = k - 5, 0 = -4*k + 2*m - 2. Suppose 13*u + 480 = 9*u. Is 8 a factor of (6/(-15))/(k/u)?
True
Let k(v) = v**3 - 8*v**2 - v + 10. Let z be k(8). Suppose z*c + 164 = 4*p, -3*p + c - 9 = -131. Does 18 divide p?
False
Let j(t) = -2 - 21*t - 2 + 0 + 3. Is j(-1) a multiple of 17?
False
Suppose -4*m = -4*p - 1012, -3*m - p + 6*p + 769 = 0. Does 16 divide m?
False
Suppose 0 = -2*h - 5*h + 84. Is h even?
True
Suppose -s + d - 