128. Let b be a/(-12) + (-1)/(-3). Suppose -b*t = t - 155. Is t a multiple of 12?
False
Suppose 2*m + 2*l - 4*l - 44 = 0, 5*l - 115 = -4*m. Suppose -s = -2*n + 34, -n + m = 2*n + 5*s. Does 13 divide n?
False
Let u = 51 - -96. Is u a multiple of 21?
True
Let h = 2 + 2. Suppose -2*b + 212 = -h*u + 2*b, 0 = u - 4*b + 59. Is 21 a factor of (0 - 1)*(u - 4)?
False
Let f = -4 - -4. Suppose 5*g + 137 + 128 = f. Let l = g - -87. Is 16 a factor of l?
False
Let t be -3 - -1 - -4 - -2. Is 11 a factor of -22*(6/t)/(-1)?
True
Let b = -15 + 167. Let o = b - 80. Is 18 a factor of o?
True
Let w be (-3)/(-12) + (-42)/8. Let m(a) = -a - 5. Let i be m(w). Suppose i*h - h = -25. Does 11 divide h?
False
Let d(j) be the first derivative of -33*j**2/2 + j + 1. Is 11 a factor of d(-1)?
False
Let n(w) = w**2 - 6*w + 9. Let r be n(6). Suppose 10*p - 5*p = -5*y + 20, 4*y = -3*p + r. Is p a multiple of 2?
False
Let p(j) = -j**2 - 10*j + 7. Let m be p(-10). Suppose -5*i + 35 = 3*r, -2*i + 8 = r - m. Is i a multiple of 5?
True
Let l(b) = -7*b**3 - b**2 - 3*b - 3. Is 9 a factor of l(-2)?
False
Let s(d) = -2*d - 6. Let g be s(-4). Suppose -5*l = -3*b - 0*l + 6, -5*b = g*l + 21. Let j(q) = 2*q**2 - 3*q + 3. Is j(b) a multiple of 19?
False
Let w be (6 - 8) + -2 + 2. Does 28 divide (-237)/(-3) - w - 0?
False
Let j(n) = n - 4. Let o be j(7). Suppose 2 + 4 = o*c. Is 1/c - 7/(-2) even?
True
Let t(o) = 5*o + 4. Suppose q + 4*q - 35 = 0. Let d be t(q). Suppose -3*j = -15 - d. Does 9 divide j?
True
Does 7 divide 4 + (-5)/((-10)/6)?
True
Suppose -2*m = -3*n + 127, -m - 131 = -0*n - 3*n. Is n a multiple of 18?
False
Suppose -558 = -p - 8*p. Does 8 divide p?
False
Let x(q) = -2*q + 1. Is x(-10) a multiple of 21?
True
Let c(j) = -j**3 + 13*j**2 - 6. Let m(f) = f**2 - f. Let u(q) = c(q) - 6*m(q). Is 6 a factor of u(7)?
True
Suppose 4*s + 54 = 5*f - 51, 2*s + 55 = 5*f. Let b = s - -41. Is 8 a factor of b?
True
Let i = 126 + -57. Is 3 a factor of i?
True
Let y(d) = d + 1. Let n(b) = 6. Let m(z) = -2*n(z) + 6*y(z). Is m(4) a multiple of 9?
True
Let z(s) = s**2 - 11*s + 7. Let n be z(12). Let q = n - 4. Is q a multiple of 5?
True
Let d(n) = -9. Let p(u) = -u. Let k(y) = -d(y) + 5*p(y). Is 18 a factor of k(-11)?
False
Let l(k) = -k - 6. Let x be l(-9). Suppose x*z - 4 = -1. Let w(j) = 28*j**2 - 2*j + 1. Is w(z) a multiple of 10?
False
Suppose 0 = -3*d + 8*d - 5. Let o be 0 + (2 - d) + 12. Let n = 25 - o. Is 6 a factor of n?
True
Let p be 12/15*(-1 - -6). Suppose 4*c + 5*n = 168, -p*c + n = -0*c - 144. Does 19 divide c?
False
Let a be (156/(-10))/(2/(-5)). Suppose -2*i = -27 - a. Suppose 0 = -q + m + i - 3, -2*m = 0. Is 15 a factor of q?
True
Let d be (-26)/(-14) - 2/(-14). Let f(p) = 9*p**2 - 3*p + 1. Does 16 divide f(d)?
False
Let s(m) be the first derivative of 7*m**4 + m**2 - m - 3. Does 13 divide s(1)?
False
Suppose -1 = -g + 1. Let j(v) = 3*v + 7*v**2 + 19*v**3 - 4*v - 6*v**g + 26*v**3. Does 20 divide j(1)?
False
Let j be (-76)/(2 - 3) - 3. Let m = j + -44. Does 13 divide m?
False
Let z(j) = 2*j**2 + 1. Let l be z(-1). Let h(n) = -l*n**2 + 2*n - 11*n**3 - 2 + 3 + 4*n**2. Is 4 a factor of h(-1)?
False
Let t(x) = 45*x**2. Suppose 4 = -3*h - h. Is t(h) a multiple of 15?
True
Is (30 - 2) + -1 + 0 a multiple of 9?
True
Suppose 4*y - 43 = -423. Let z = 170 + y. Is z a multiple of 15?
True
Let w(c) = -c**2 - 8*c - 2. Let y = -28 - -20. Let m be w(y). Is 9 a factor of 190/(-15)*3/m?
False
Let u = -8 - -21. Is 4 a factor of (u - 15)/((-2)/4)?
True
Suppose -o - k = 2*o - 7, -2*k + 5 = 3*o. Suppose -n + 32 = o*j - 50, -2*j + 50 = -4*n. Is 15 a factor of j?
False
Suppose 0 = 2*f - 2, -3*m + 5*f = -1 - 0. Suppose -m*a = -7 + 1. Suppose -35 = -a*w - 11. Is w a multiple of 7?
False
Suppose 9*b - 265 = 455. Is 10 a factor of b?
True
Suppose 3*i + 4*f - 6 + 32 = 0, -2*f = 2*i + 16. Let b(x) = -x**3 - 6*x**2 - 2*x + 4. Let r be b(i). Suppose -2*z - r = -54. Does 13 divide z?
False
Let g(i) = -i**3 - 5*i**2 + 5*i + 9. Suppose 0 = a - 4*a - 9. Let z be (a - (0 + 0))*2. Is 10 a factor of g(z)?
False
Suppose -y - 16 = 3*y, 4*y = 4*d - 688. Is 28 a factor of d?
True
Let v(r) = r - 10. Let h be v(5). Let m(l) = 2*l**2 + 8*l + 4. Is 6 a factor of m(h)?
False
Let u = 9 + -9. Suppose u = -3*i - 4 - 8. Let h = 11 - i. Is 5 a factor of h?
True
Let w be 3/(-6*2/(-448)). Suppose -5*g = 25, 3*f - 6*g - w = -g. Suppose -2*q + 23 = 4*p - f, -3*q = 4*p - 50. Is p a multiple of 11?
False
Let y = 227 - 155. Is y a multiple of 23?
False
Let i(g) = -g**2 + 5*g - 3. Let s be i(5). Does 20 divide (-4)/12*s + 59?
True
Let j = -4 + 8. Suppose 40 = 4*s + j*c, 0*s + 3*s - 2*c = 30. Suppose -3 = q, s + 23 = 2*l + q. Is 9 a factor of l?
True
Suppose 184 = -6*g + 3*g - 4*n, -2*g - 119 = -n. Is 3/((-9)/g) + 0 a multiple of 9?
False
Let l be -1 - (-8 - (3 + -2)). Let k = 71 + -64. Let p = k + l. Is p a multiple of 6?
False
Let q be (-276)/15 - (-12)/(-20). Let s = 0 - q. Is 6 a factor of s?
False
Let l = -256 + 422. Is l a multiple of 12?
False
Let l(w) = 2*w**3 + w**2 - 3*w - 1. Let v be l(-2). Let f(i) = 6*i + i**3 + 0*i**3 + 2*i + 9*i**2 - 6 + 0*i**3. Is 18 a factor of f(v)?
True
Suppose -r + 12 = -2*z, 2*r + z + 11 = -2*z. Suppose -3*i = -2*h + r*i + 135, i = -2*h + 129. Is h a multiple of 18?
False
Let m(z) = -3*z**3 + z**2 - z + 1. Let v be m(1). Let h be v/9 - (-94)/18. Suppose 4*t = h + 3. Is t a multiple of 2?
True
Let u = -44 - -83. Does 13 divide u?
True
Let q(g) = -g**2 + 14*g + 21. Does 11 divide q(12)?
False
Does 18 divide 54 - 0/(3/3)?
True
Let q be 1/(2/100) + -1. Suppose -3*s + q = -86. Is 15 a factor of s?
True
Suppose 6*i - 4*i = 18. Is 9 a factor of i?
True
Let g = -18 + 25. Suppose -654 = j - g*j. Is j a multiple of 33?
False
Let s be -10*(-1)/((-15)/6). Let v(d) = -2*d**3 - 4*d**2 + 4*d - 3*d + 5 + 2*d. Is 21 a factor of v(s)?
False
Let m(g) = -g**3 - 11*g**2 - 14*g - 4. Is 12 a factor of m(-10)?
True
Suppose 0 = 5*x - 2*x + 99. Let j be 2/(-1 - -3)*x. Let t = -18 - j. Does 7 divide t?
False
Let l = 178 - 100. Is 16 a factor of l?
False
Let c = 8 - 8. Is 3 a factor of c/2 - (-13 + 5)?
False
Let s = 1 + 5. Does 7 divide (s/(-12))/(1/(-14))?
True
Suppose -6*n + 2*n + 408 = 0. Is 23 a factor of n?
False
Suppose 0 = -y - 2*y - 5*h - 37, 4*y = -h - 72. Let a = 4 - y. Let w = 47 - a. Is w a multiple of 12?
True
Suppose -163 = 5*r - 478. Is 21 a factor of r?
True
Let c(s) = s**2 + 10. Let l be c(0). Let d be 23/5 - (-4)/l. Suppose -d*f + 10 = -0. Is f a multiple of 2?
True
Suppose o + 3 = 3*s, -s + 4 = -5*s. Let m be ((-100)/o)/((-1)/3). Let h = 70 + m. Is h a multiple of 10?
True
Is 5 a factor of 931/63 + 2/9?
True
Let u(b) = -b**2 + 3*b + 3. Let q be u(3). Suppose -40 = -5*n + 2*v, -q*v + 8 = -3*n + 32. Is 3 a factor of n?
False
Let m(d) = -5*d**2 - 4*d - 13. Let s(p) = 4*p**2 + 5*p + 12. Let q(h) = 3*m(h) + 4*s(h). Let a be q(-6). Is 8 a factor of (-3)/(5/(80/a))?
True
Suppose -5*t - 28 = -313. Does 19 divide t?
True
Let f(t) = 10*t - 3. Let y be f(2). Let z be (-1 - 3) + 1 + -5. Let g = z + y. Is 4 a factor of g?
False
Suppose 0*j - 5*h + 37 = 4*j, -5*j + 20 = h. Suppose -4*y + 48 = 2*f - 2*y, -j*f = y - 74. Does 25 divide f?
True
Suppose -3*l = -5*v + 302, -5*v + l + 300 = -4*l. Is v a multiple of 14?
False
Let z(u) = -2*u**3 - 4*u**2 + 7*u - 1. Let a be z(-6). Is 9 a factor of (-6)/27 - a/(-9)?
True
Suppose -2*p + 80 = 4*w - 3*w, -64 = -2*p + 3*w. Let i = -27 + p. Is 11 a factor of i?
True
Suppose 2*g - 4*c = 104, 2*g - 50 = g + 3*c. Let d be 6/15 + g/10. Suppose -k + d + 6 = 0. Is k a multiple of 12?
True
Suppose -6*i + 5*u + 40 = -i, 0 = 3*i - u - 18. Let b = i - 4. Is 10 a factor of (21 - 1)/(b - 0)?
True
Let h(q) = q**2 - 5*q - 3. Is 33 a factor of h(-4)?
True
Suppose -4*p - 184 = -4*i, -i + 5*p - 8*p = -30. Does 14 divide i?
True
Suppose 0 = 9*i - 4*i - 360. Is i a multiple of 6?
True
Let w(a) = -a**3 - 7*a**2 - 7*a - 4. Let z be w(-6). Let o(l) = -12*l + l + l - z - 1. Does 9 divide o(-3)?
True
Suppose 26 = 5*k + 1. Let x(t) = -4*t**3 - 8*t**2 - 3*t - 9. Let w(u) = -u**3 - u**2 - 1. Let v(r) = -5*w(r) + x(r). Is v(k) a multiple of 18?
False
Let f = 71 - 23. Is 9 a factor of f?
False
Let n(v) be the second derivative of 2*v**3/3 + 2*v**2 + 3*v. Suppose -g = -3*g + 8. Is 9 a factor of n(g)?
False
Suppose -5*d