 - 3)*l/9?
False
Suppose 11*l + 70 = 16*l. Does 6 divide l?
False
Let b(u) = -u**3 - 8*u**2 - 9*u - 9. Is b(-8) a multiple of 13?
False
Suppose -7*u + 4*u = -12. Suppose o + 2*i + 35 = 4*o, -u*i + 7 = o. Does 11 divide o?
True
Let m = -91 + 127. Is 18 a factor of m?
True
Let w(t) = t**2 + 2*t + 2. Let k(c) = c - 1. Let x be k(-3). Let d be w(x). Is d/(0 + 3/6) a multiple of 20?
True
Let y(o) = 12 - 4*o - 1 + 3*o + 21. Let u = 2 - 2. Does 14 divide y(u)?
False
Let z(v) = -v**3 + 12*v**2 + 12*v - 9. Let d be z(12). Suppose 0 = -0*a - 3*a + d. Is a a multiple of 15?
True
Let l = -13 - -17. Let i(d) = 4*d + 6. Is i(l) a multiple of 22?
True
Let n = -62 - -87. Does 4 divide n?
False
Let j(b) = 3*b - 2. Let h be j(2). Let a(x) = 8*x**2 - x + 2. Let l(d) = d**2 + d. Let g(z) = a(z) - 5*l(z). Is 11 a factor of g(h)?
False
Let k = 8 - 27. Let a be -1 + k/(-1 + 0). Is ((-8)/(-6))/(4/a) a multiple of 6?
True
Let c(v) be the third derivative of v**4/8 - 7*v**3/6 - v**2. Suppose 4*u - 4 - 20 = 0. Is 9 a factor of c(u)?
False
Is 27 a factor of 1524/12 - (1 + 1)?
False
Suppose 3*v - 30 = 5*o, 0*o + 28 = 5*v - o. Suppose h - 14 = -f + 33, 5*h - 275 = v*f. Is h a multiple of 10?
False
Let h(t) = -19*t**3 - 6 - 6*t + 5*t + 1 + 4. Does 10 divide h(-1)?
False
Let x(l) = -136*l - 1. Let k be x(-3). Suppose -162 + k = 5*t. Let f = 77 - t. Is 19 a factor of f?
False
Is 13 a factor of 119/7 - (-5 + 1 + 1)?
False
Does 7 divide 2/4*1120/20?
True
Let s(k) = 2*k**2 + 5*k + 2. Let c(w) = w**3 + w + 1. Let i be c(-1). Let p be (-4)/3*(i - -4). Does 14 divide s(p)?
True
Let w be (-420)/25 + 2/(-10). Suppose 5*x = 2*x + 6. Is 20 a factor of x - (w + 1 + -2)?
True
Let b be -3 + 4 - (1 - 45). Suppose 4*v = -v + b. Is v a multiple of 5?
False
Let m(g) = g**3 + 7*g**2 + 6*g + 1. Let p be m(-6). Let o be (4 - 3)*(4 + p). Suppose o + 4 = 3*n. Does 3 divide n?
True
Let t be 0/(6/3 - 1). Suppose 4*r + 19 = 2*c + 3, 4*r + c + 4 = t. Let d(v) = -3*v**3 - 4*v**2 - 3*v - 1. Is 12 a factor of d(r)?
False
Let s(y) = y**2 - y - 18. Does 2 divide s(5)?
True
Suppose -57 - 33 = -5*i. Let r = i - -27. Is 15 a factor of r?
True
Let j be 5 + 1 - (-2)/(-2). Let f = -132 + 187. Does 14 divide (2*1)/(j/f)?
False
Suppose 0 = -0*c + 5*c - 375. Is 25 a factor of c?
True
Suppose -2*g + 304 = -0*g. Suppose -3*s = s - g. Let w = s - 18. Does 9 divide w?
False
Suppose -2*m + 0*k + 23 = k, 39 = 3*m - 3*k. Let p(d) = -d**3 - 6*d**2 + 8. Let i be p(-6). Suppose m + i = 4*q. Is 3 a factor of q?
False
Is ((-11)/2)/(4/(-8)) a multiple of 11?
True
Let n(d) be the second derivative of -7*d**3/3 - 4*d**2 - d. Let y be n(-6). Suppose 5*t = l + 95, l = -0*t - 4*t + y. Is 10 a factor of t?
False
Suppose -3*s - 3 + 0 = -t, -4*t = s + 1. Suppose t = 5*c - m - 199, c - 47 = -0*c + 2*m. Suppose -3*u + 3*l = -c, 0*u + 4*l + 19 = u. Is u a multiple of 9?
False
Let p be (1*(-1 + -3))/(-2). Is (-45)/p*(-24)/30 a multiple of 18?
True
Suppose -2*z + 4*q = -14, 0 = 4*q - 3*q + 2. Suppose -4*s + k = -65, 5*s + 2*k - z*k - 81 = 0. Is s a multiple of 16?
True
Let w(l) = l**2 + l + 13. Suppose -3*d - 4 = d. Let f be (0 + 0)/((-1)/d). Is w(f) a multiple of 12?
False
Let v(o) = 76*o**3 - o**2 + 2*o - 1. Does 19 divide v(1)?
True
Let r be -4 + 0*3/(-9). Is (57/r)/(6/(-16)) a multiple of 16?
False
Let u(r) = r**2 + 15*r - 15. Let o be u(-14). Let c = 70 + o. Is c a multiple of 15?
False
Let z be 1 - 1/(2 - 1). Let f = 0 + z. Suppose -4*y = -5*o + 142, f = 6*o - o + 4*y - 158. Is 15 a factor of o?
True
Suppose 4*m - 5*z = -32, -4*m + 6*m = -z - 2. Let l be 3 + m*3/(-9). Suppose -5*g + 2*b + 20 = 0, 2*b - 2 = l*g + 4*b. Does 2 divide g?
True
Suppose -2*v + v = 2*f - 1, -25 = 5*f. Let c(u) = u**2 + 3*u - 4. Let x be c(-6). Let b = v + x. Is 7 a factor of b?
False
Let q(d) = -d + 11. Let p(g) = g - 12. Let m(n) = 4*p(n) + 5*q(n). Is 2 a factor of m(0)?
False
Let i = -57 - -153. Is i a multiple of 32?
True
Let g(m) = m**2 + 8*m + 15. Suppose -5*h + h + a = 44, -h + 3*a = 22. Is 9 a factor of g(h)?
False
Let k(w) = 3*w**2 + 4*w**2 - 2*w - 5*w**2 - 8. Is k(4) a multiple of 7?
False
Let j be (-3)/(-3)*-1*-3. Suppose -t + 18 = -j*t. Is t*(3 - (6 + -1)) a multiple of 18?
True
Let g(h) = 3*h. Let x be g(4). Suppose -2*o + 12 = -f, -2*o + 0*o + 3*f = -x. Is 5 a factor of o?
False
Is 5 a factor of (-13 - -8) + -2 + 29?
False
Let o = -7 - -3. Does 17 divide 1915/35 + o/(-14)?
False
Suppose 0 = -4*t + f + 24, 2*t - 2*f - 3 = 15. Is t a multiple of 4?
False
Suppose -21 = -0*j - j - t, t = 5*j - 87. Is 5 a factor of (8/6)/(j/81)?
False
Let z(m) = -90*m**3 - m**2 - m + 1. Let s be z(1). Let w = s + 128. Is 13 a factor of w?
False
Let z be 17 + (-7 - -1)/(-3). Suppose -5*v + 11 + z = 0. Does 3 divide v?
True
Let r = 18 + 31. Suppose -y + 0 + 2 = 0, s + 5*y - r = 0. Does 6 divide s?
False
Is (5 - 8 - 117)*2/(-4) a multiple of 20?
True
Suppose 24 - 136 = 2*o. Let n = -36 - o. Let b = n - 2. Does 8 divide b?
False
Let b be 14/(-6) - (-2)/(-3). Is 12 a factor of (2 + -5 - b) + 14?
False
Let f be (1 - (-12)/(-9))*-12. Suppose v + 99 = 5*v - 5*r, -f*v - r + 105 = 0. Is 7 a factor of v?
False
Suppose i - 96 = 5*o, -i - o - 165 = -3*i. Is i a multiple of 22?
False
Let l = 132 - 61. Is l a multiple of 11?
False
Let y be (-4)/6 - 1780/(-15). Suppose -2*s + y = 5*g - 3*s, -127 = -5*g + 4*s. Does 12 divide g?
False
Does 22 divide (-4)/1 + 74 + (1 - 4)?
False
Let r(g) = -g**2 + 13*g - 12. Let y be r(12). Suppose 2*q + 3*q - 225 = y. Is 12 a factor of q?
False
Let g = 2 + 1. Suppose 4*y - 5*h - 8 = 0, -2 = y - g*h - 4. Does 6 divide -3*(y + (-23)/3)?
False
Does 11 divide (11/(-3))/(6 + (-2058)/342)?
True
Let v = -2 - -5. Let s be 1 + 1/(v/6). Suppose o = -3*w + 15, w + w - s = -3*o. Is w a multiple of 6?
True
Let g(x) = 4*x + 1. Let u be g(1). Suppose 3*o = -2*c - 37, 0*o + c = u*o + 53. Let l = o + 25. Is 14 a factor of l?
True
Let q(x) be the third derivative of -x**5/60 + 5*x**4/8 + 7*x**3/3 + 2*x**2. Is q(12) a multiple of 13?
False
Let o = 206 + -52. Is 34 a factor of o?
False
Let o(w) = w**3 - 11*w**2 + 6*w - 6. Does 14 divide o(11)?
False
Let c(i) = i**2 - 7*i - 6. Does 7 divide c(10)?
False
Let b be ((-6)/(-2) - 1)*-1. Let j(n) = -9*n**3 + 2*n + 1. Let h be j(-1). Let y = h + b. Is 6 a factor of y?
True
Suppose -3*v + 108 = -2*p - 23, -5*v - 2*p + 245 = 0. Is v a multiple of 9?
False
Let h(c) = -18*c + 4. Let z be h(-3). Let x = 9 - z. Is 2/7 + (-231)/x a multiple of 2?
False
Let n be 28/(-6)*(-3)/2. Let g = n + 0. Is g a multiple of 6?
False
Suppose -z = 1 + 9. Let b = z + 17. Is b a multiple of 4?
False
Suppose 0 = -2*k - 4*k + 828. Is 3/(-1)*k/(-9) a multiple of 13?
False
Let o = 49 + 32. Is 12 a factor of o?
False
Let t = -8 + 11. Let f(w) = 2*w**3 - 3*w**2 - 4*w - 1. Let v be f(t). Let x(c) = -c**2 + 16*c + 11. Is x(v) a multiple of 10?
False
Let s(x) = -2*x**2 - 5*x - 6. Let n be s(-4). Let h = -12 - n. Suppose 0*m - m = -h. Is m a multiple of 6?
True
Let w(v) = -v**3 + 6*v**2 + 3*v - 9. Let r be 1 + 1 - (2 - 2). Let s be 6 - (0/r)/3. Is 5 a factor of w(s)?
False
Suppose 5*c = 3*a + 12, -2*a = -a - 5*c + 4. Let q = a + 4. Suppose o - 28 = -q*o. Is 18 a factor of o?
False
Let s = 544 - 258. Is s a multiple of 16?
False
Suppose -9 = 2*v + 1, 4*r = v + 257. Is 7 a factor of r?
True
Let z(g) = -g**2 - 7*g - 3. Let b be z(-7). Let q be ((-1)/b)/((-1)/(-9)). Suppose -60 = q*a - 8*a. Does 6 divide a?
True
Let f(x) = 71*x**3 - 2*x**2 + 1. Does 5 divide f(1)?
True
Suppose -30 = -4*m + 3*m. Is 22 a factor of m?
False
Suppose 28*t = 25*t + 768. Is 16 a factor of t?
True
Suppose 0 = -4*i + 4*r - 84, 0 = 3*r + 12 - 3. Is 7 a factor of (-21)/(-2)*(-32)/i?
True
Is (-996)/(-9)*39/26 a multiple of 13?
False
Suppose 605 - 60 = 5*i. Let j = i + -73. Does 12 divide j?
True
Let q(p) = p**2 + 7*p - 7. Let i be ((-14)/8)/((-4)/(-16)). Let l be q(i). Does 16 divide (-226)/l - 2/7?
True
Suppose -25 = -0*p - 5*p. Is 2 a factor of p - (0/1 + 2)?
False
Suppose 0*t + 2*o = t - 11, 0 = -4*t + 3*o + 29. Suppose 0 = -0*v + 3*v. Suppose w - t*w + 32 = v. Is 8 a factor of w?
True
Suppose -5*g + 20 = -2*s - 0, g + 4*s + 18 = 0. Let p(f) = -1 + 3 + f + 16*f**g - 2*f**2 - 3. Is p(1) a multiple of 14?
True
Suppose -4*j = -7*j + 3. Let k(c) be the third derivative of 11*c**6/120 + c**5/6