e of 16?
True
Let b(i) = i**2 - 5*i - 2. Is b(-4) a multiple of 17?
True
Let g = 7 - -1. Does 8 divide g?
True
Suppose -21*i = -16*i - 200. Does 5 divide i?
True
Let c(b) = 33*b + 15. Is c(4) a multiple of 15?
False
Suppose 2 = -k, 5*k = -5*j + 2*k - 141. Let n = -14 - j. Does 8 divide n?
False
Let m(f) = f**3 - 8*f**2 + 4*f - 4. Let x be m(7). Suppose -5*n + 6 = -199. Let b = x + n. Is b a multiple of 16?
True
Suppose -12*u + 93 = -9*u. Does 5 divide u?
False
Let p = 8 + 3. Is p a multiple of 6?
False
Suppose 3*f + 6 = 0, -5*v = 3*f - 4*f - 427. Is v a multiple of 17?
True
Suppose 4*a = 6*a - 234. Suppose 3*l + 12 = a. Does 5 divide l?
True
Let q = 1 + 0. Suppose q = -4*c + 13. Is c a multiple of 2?
False
Suppose 0 = -5*p - 4*r + 1217, 2*p + 4*r = 2*r + 488. Does 37 divide p?
False
Let u(n) = n**3 + 3*n**2 - n. Let d be u(-2). Let p = d + -3. Suppose 0 = -p*r + 11 + 1. Is 2 a factor of r?
True
Let u = -4 - -33. Is u a multiple of 15?
False
Let r = 15 - 9. Suppose r*q + 31 = 2*q + i, 0 = -3*q - 2*i - 37. Does 10 divide (46/(-6))/(3/q)?
False
Let x = -7 + 11. Let j = 18 + x. Does 11 divide j?
True
Let d = 4 + -2. Suppose 4 = 2*x - 3*l + l, -4*l + 2 = -d*x. Suppose -x*z + 0*s + 151 = 3*s, -2*z = s - 61. Is 16 a factor of z?
True
Let u be ((-10)/3)/((-4)/(-6)). Let m = u - -30. Is 7 a factor of m?
False
Suppose -3*h = 2*j - 6*j - 24, 2*h + 5*j = -7. Suppose 2*w + 5 = 5*x, -x = 3*w + h - 5. Suppose 3*c + m - 98 = w, -m = -1 - 1. Does 13 divide c?
False
Suppose v = 4*y - 18, -6 = -3*y + 9. Suppose v*g + 8 + 1 = 3*c, 2 = 2*c. Is 6 a factor of 13/g*-3 + -1?
True
Suppose 141 + 64 = 2*k + 5*h, -4*h - 424 = -4*k. Is 30 a factor of k?
False
Let x(a) = -6*a + 7. Let r(q) = -5*q + 7. Let j(n) = 5*r(n) - 4*x(n). Does 9 divide j(-8)?
False
Let j(z) = -z**2 - 6*z + 5. Let i be j(-5). Suppose -3*m + 2*v = 2, 2*m - m = v. Does 13 divide (i/25)/(m/(-80))?
False
Let a = 118 + -68. Does 9 divide a?
False
Let h be 1*-1 - (-24)/4. Suppose h*s = 18 + 7. Suppose -f + s*f - 3*p - 52 = 0, 2*p + 48 = 4*f. Is 5 a factor of f?
True
Suppose -8*k = -18*k + 3800. Does 38 divide k?
True
Let x be 2/((-6)/201) - 3. Let w = x + 134. Suppose -w = -4*h - 12. Does 4 divide h?
False
Suppose b + 5*x = 23, -2*b + 4*b - 32 = -3*x. Let q = 51 - b. Is q a multiple of 19?
True
Let i(r) = -r**3 - 6*r**2 + 4*r - 1. Let s = 0 - -25. Suppose -2*t - s = 3*q, -5*q - 16 = 2*t + 23. Is 10 a factor of i(q)?
True
Let c(i) = -i - 12. Let q be c(-12). Let m(n) = n. Let g be m(1). Is 18 a factor of (q + (-3)/g)*-16?
False
Is 42 a factor of (8 + -4)*(-321)/(-12)?
False
Let w(x) = -2*x - 17. Is w(-12) a multiple of 7?
True
Let z be ((-3)/(-2))/((-3)/(-4)). Let k be (z - -103) + (1 - 1). Is 14 a factor of k*(-7)/(70/(-4))?
True
Let k(n) be the third derivative of 13*n**5/120 - n**4/12 - n**3/3 + 2*n**2. Let i(v) be the first derivative of k(v). Does 24 divide i(2)?
True
Let u(a) = -3*a + 51. Does 17 divide u(-17)?
True
Suppose -5*w - 89 = -4*i + 275, -3*i = w - 292. Is 16 a factor of i?
True
Let t be -2 - (-21)/3 - 1. Suppose t*v - 50 = 22. Is v a multiple of 9?
True
Suppose -16 = -w - 3*w. Suppose -1 = w*y - 13. Suppose -y*d + 6*d = 72. Is 14 a factor of d?
False
Let g be -1*2/6*3. Is 25 a factor of (14/21)/(g/(-75))?
True
Let p(h) be the first derivative of -4*h**2 - 6*h - 1 - 1/3*h**3. Is p(-5) a multiple of 6?
False
Let u = -113 - -169. Is 14 a factor of u?
True
Let z = 84 + -36. Let p = z - 34. Let j = p - 1. Is 4 a factor of j?
False
Let q = -8 - -16. Let u(k) = -3*k + 5*k - k**2 - 4 + q*k. Is u(6) a multiple of 10?
True
Let z = -22 - -39. Let i = z + 18. Is 9 a factor of i?
False
Let t(b) = b**3 + 8*b**2 + b + 7. Let j be t(-8). Let w = 5 - j. Is w a multiple of 3?
True
Is 13 a factor of (1 - (-1 - 0))*(-5 - -42)?
False
Suppose 17 + 3 = 4*u - n, 0 = -3*u + 4*n + 15. Suppose -5*b + 44 = -2*y - 2*y, -3*b - 18 = u*y. Does 20 divide (-158)/(-6) - y/(-18)?
False
Does 24 divide (-6)/4*(-56 - (4 - 2))?
False
Let f be 1/(0 + (-1)/(-1)). Let v be 3 - 5 - (f - 3). Suppose -62 = -3*g + 2*p, 3*g - 3*p - 14 - 49 = v. Is g a multiple of 13?
False
Let k(w) = w**3 - 4*w**2 - 4. Let s be k(4). Does 11 divide ((-66)/s)/((-3)/(-6))?
True
Let h = -7 + 11. Suppose 0 = h*b + 4*f - 44, 3*b + 4*f = -f + 27. Does 14 divide b?
True
Is 34 a factor of ((-112)/40)/((-1)/15)?
False
Let j(m) = m**2 - 4*m - 3. Let b be 3/(-6)*0 - 2. Does 9 divide j(b)?
True
Let g(z) = z**3 + 10*z**2 + 6*z + 2. Does 22 divide g(-6)?
True
Suppose 2*x = -2*x. Let r(t) = -t**2 - 3. Let h be r(x). Is (h*1)/(18/(-24)) a multiple of 3?
False
Suppose l = -11*l + 168. Does 7 divide l?
True
Suppose -m + 2*m - o - 58 = 0, -2*o - 10 = 0. Is m a multiple of 8?
False
Let v(f) = -f - 9. Let l be v(-13). Is 17 a factor of 34/(-4)*l/(-1)?
True
Let y(b) = -15*b**2 - 2 + 14*b**2 + 4*b + 2*b + 7. Is 3 a factor of y(6)?
False
Let a be 0 + 2 - (5 - 5). Let v(w) = -4*w**2 + 13*w**2 + a*w + w - 4*w + 1. Is 13 a factor of v(2)?
False
Suppose 0*p + p - 135 = 5*h, 69 = -3*h + 3*p. Let t = -20 - h. Is 5 a factor of t?
False
Let r(z) = -11*z**3 + 3*z**2 + 3*z - 1. Let m(x) = -12*x**3 + 4*x**2 + 4*x - 1. Let w(h) = 3*m(h) - 4*r(h). Is 9 a factor of w(1)?
True
Let k = -3 - -7. Suppose -3*y + 5*t - 109 = 0, 0*t - k*t = 2*y + 80. Let g = y - -72. Is g a multiple of 17?
True
Let w(m) = 5*m**2 + 2*m + 10. Let h be w(7). Suppose 2*c + v = h, -v - 329 - 200 = -4*c. Suppose -5*u = -c + 28. Is u a multiple of 15?
False
Let d be 23/2 - 21/(-14). Is 3 a factor of 0 + d + 3/(-3)?
True
Let j(s) = -s**3 - 5*s**2 + 18*s - 5. Does 3 divide j(-8)?
False
Let s be (-4)/(-6) - 176/(-6). Let q = 10 + -10. Suppose q*h = 3*h - s. Does 10 divide h?
True
Let m be (-174)/10 - (-4)/10. Suppose -5*n + 2*b = -185, -2*n = 2*b - 4*b - 80. Let o = n + m. Is 12 a factor of o?
False
Let b be (-1)/(3*1/3). Let z = 15 - b. Suppose -4*n = -z, -3*k + 6*k - 4*n - 8 = 0. Is 8 a factor of k?
True
Suppose -5*z - 3*r + 25 = 0, -3*r = 3*z + z - 20. Let f(u) = -2 + u**3 + 0*u - 4*u - z*u**2 + u. Is f(6) a multiple of 11?
False
Let q(u) = 2*u**2 + 8*u - 10. Suppose -2*s + 21 = -3*m, -2*m + 3*s - 20 + 6 = 0. Does 6 divide q(m)?
False
Suppose -d - 2 + 12 = 0. Suppose -2*t = 2 - d. Does 2 divide t?
True
Let y(v) = v**3 + 4*v**2 + 2*v - 1. Let d be y(-2). Suppose b - 56 = -d*b. Is 6 a factor of b?
False
Is (-3*2)/(66/(-1408)) a multiple of 32?
True
Let a(j) = -j**2 + j - 4*j**3 + 2*j**3 + j**3. Let i be a(1). Is (-2)/(-4)*(21 - i) a multiple of 5?
False
Let m(b) = -b + 13. Let u be m(9). Does 8 divide u*2/(4/11)?
False
Suppose 0*w - 2 = -w, 94 = 2*s + 5*w. Is 21 a factor of s?
True
Let l be ((-2)/6)/(-5 + (-128)/(-24)). Let g(i) = -15*i**2 + 7*i + 1. Let y(x) = 31*x**2 - 13*x - 2. Let h(d) = 11*g(d) + 6*y(d). Does 7 divide h(l)?
True
Suppose 5*d - 153 = -z, -5*z - 84 = -5*d + 51. Suppose -3*i - d = -6*i. Is 5 a factor of i?
True
Suppose 4*v + 3*z - 468 = 0, v + 4*z - 585 = -4*v. Is 3 a factor of v?
True
Suppose 7*u - 168 = -0*u. Does 4 divide u?
True
Let j be 33 + -3 + (-2 - -3). Let c = j + -17. Is 14 a factor of c?
True
Let b be 6/(-2) + (27 - -19). Let z = b - 15. Is 14 a factor of z?
True
Suppose 0 = 2*w - 103 - 25. Does 8 divide w?
True
Let x = 1 - 0. Let d(o) = 18*o + 2. Let t be d(-3). Let w = x - t. Does 22 divide w?
False
Let j(a) = 4*a**3 + 6*a**2 + 3*a - 2. Let y(d) = 3*d**3 + 7*d**2 + 4*d - 3. Let v(l) = -5*j(l) + 4*y(l). Is v(-2) a multiple of 17?
False
Let u be -8*(2/4)/(-1). Suppose u*g - 5*p + 2 - 24 = 0, 0 = 2*g - 5*p - 16. Is 2 a factor of g?
False
Suppose 2*g - 4*g = -16. Let h = 10 - g. Suppose -17 - 29 = -h*q. Does 23 divide q?
True
Let i(w) = w**2 + 7. Let h be i(5). Let r be (6/(-1))/(6/h). Does 17 divide 4/(3 + r/11)?
False
Let z = -15 + 10. Let b = z - -23. Suppose -12 = -3*i + b. Does 5 divide i?
True
Let j = -24 - 5. Let p = -9 - j. Suppose 3*w - 2*w = p. Does 10 divide w?
True
Suppose -z + 8 = -x - 6*z, 0 = x + z. Suppose x = -d + 19. Does 6 divide d?
False
Let m = -64 + 191. Does 17 divide m?
False
Let v be (-2)/(-3) - 5/3. Does 3 divide ((-40)/(v - 3))/2?
False
Let g be 3 - (-16*4 - 3). Suppose a - 3*a = -g. Is 10 a factor of a?
False
Suppose 2*q + 181 = 6*q + 5*s, 0 = -4*s + 20. Is 13 a factor of q?
True
Suppose 0 = -4*w + 16 + 8. Does 10 divide (-2)/(w/111)*-1?
False
Suppose 19 = 2*x + 7.