 b a multiple of 17?
False
Let n be -2 + 2*(56 - -3). Let k(f) = 68*f**2 - f + 1. Let a be k(1). Let o = n - a. Is o a multiple of 13?
False
Suppose 68 = 5*o - 72. Suppose 0*k + o = 4*k. Is k a multiple of 7?
True
Let p(c) = -2*c**3 + c**2 - 6. Does 8 divide p(-3)?
False
Suppose 2*v - 3*v = -49. Suppose 5*t + 53 = 3*f, f + v = 4*f - t. Does 16 divide f?
True
Suppose 3*a = -0 + 42. Is 14 a factor of a?
True
Suppose -15 = -5*c + 5*j, 3 - 12 = -3*c + 4*j. Suppose 3 = c*t - 4*d, 0*d + 2 = 2*t + 4*d. Suppose 53 = 4*k + t. Is 12 a factor of k?
False
Suppose 3*z - 39 + 15 = 0. Let o(b) = b**3 - 7*b**2 - 6*b + 12. Is o(z) a multiple of 8?
False
Let l(x) = x**2 + 4*x + 5. Let u be l(-4). Let f = 40 - u. Is 11 a factor of (-75)/(-7) + 10/f?
True
Let i(c) = -18*c - 1. Is 17 a factor of i(-1)?
True
Let i(n) = 2*n**2 - n. Let y be i(1). Let w = 18 - y. Does 6 divide w?
False
Let i(g) = g**3 + 4*g**2 + g + 2. Let m be -2 - (2 - -1) - -3. Is i(m) a multiple of 7?
False
Let y be 1 + -4 + (5 - 2). Suppose y*p = -3*p - 36. Let x = 17 + p. Does 5 divide x?
True
Let b = 91 + -42. Is 7 a factor of b?
True
Let v = 61 + -14. Let x = 7 + v. Is 18 a factor of x?
True
Suppose 8*q = -210 + 714. Is 5 a factor of q?
False
Let o(m) = 2*m**2 + 3*m + 3. Let h(t) = -2*t**3 - t**2 - t + 1. Let x be h(1). Is 4 a factor of o(x)?
True
Let z(h) = -h. Let b be z(-1). Suppose g - 35 = b. Is g a multiple of 14?
False
Let o = 147 - 89. Suppose b - 3*r = o, 109 = 2*b + r - 0*r. Is 11 a factor of b?
True
Let x = 40 - 24. Is 6 a factor of x?
False
Let u(d) = 3*d**2 - 2*d**2 + 10*d + 2*d + 7. Is u(-13) a multiple of 11?
False
Suppose 2*b + 5 - 13 = 4*h, 2*b + 4*h = 0. Suppose 4*s + 22 = b*o - 38, 3*s + 136 = 5*o. Is 13 a factor of o?
True
Suppose -5*o - 2*u = -153, o - 54 = -o + u. Let r = o + -6. Does 23 divide r?
True
Suppose -2 = 2*k, -3*r + 2*k + 23 = 3*k. Let j be (-6 + r)*(-10)/(-4). Does 13 divide 20 - 0/(j - 2)?
False
Let y(f) = f + 12. Let h be y(-14). Let r(x) be the third derivative of -5*x**4/24 - x**3/3 - 2*x**2. Is r(h) a multiple of 4?
True
Suppose y + 4*y = -2*t - 55, 2*y + 22 = t. Let z = -8 - y. Suppose z*f = -2*f - 2*r + 28, 4 = r. Is f a multiple of 4?
True
Suppose 5*u - 634 = -94. Does 12 divide u?
True
Let h(p) = -37*p**3 - 2*p - 1. Is 10 a factor of h(-1)?
False
Suppose 5*s + f = -2*f + 212, 5*f + 91 = 2*s. Does 10 divide s?
False
Suppose -i = -h - 3 - 6, -5*i = -5. Let z = h + 20. Let x = 22 - z. Is 8 a factor of x?
False
Suppose 5*n + 3*z + 20 = 5*z, -2*z + 18 = -4*n. Let s be (-590)/(-8) - n/8. Suppose s = 2*j + 26. Is j a multiple of 12?
True
Let f(l) = 13*l. Let x be -5*-8*3/15. Suppose -5*u + x = -u. Is 13 a factor of f(u)?
True
Let h(s) be the second derivative of s**5/20 - 5*s**4/6 - s**3 - s**2 - s. Is h(11) a multiple of 17?
False
Let u = -10 - -5. Let t(w) = 6*w + 5. Let s(x) = x + 1. Let v(c) = 5*s(c) - t(c). Is 5 a factor of v(u)?
True
Let y(w) = w**3 + 8*w**2 - 2*w - 2. Let g be y(-6). Suppose 4*m + 2*z = 26 - g, -3*m - 5*z = 56. Is 6 a factor of 4/(m/(-9)) + 9?
True
Let k = 204 + -68. Is k a multiple of 34?
True
Let r(o) be the second derivative of o**4/12 + 5*o**3/6 - 4*o. Does 17 divide r(-9)?
False
Suppose 10 = 4*s - 2*s - 2*a, -5*s + a + 5 = 0. Suppose s = -0*u + 3*u. Suppose -2*t + u*t + 4 = 0. Does 2 divide t?
True
Let d(g) = -g**3 - 3*g**2 + 7*g + 9. Let b be d(-5). Is (-3)/(-12)*2*b a multiple of 11?
False
Let c = -28 + 37. Does 5 divide (-70)/(-6) - 6/c?
False
Let n = 8 - 8. Suppose 25 = -4*x - 4*r + 3*r, n = -3*r - 3. Does 18 divide 4/x - (-168)/9?
True
Suppose -3*v + 2 = -2*z, 10 = 4*v + z - 0*z. Suppose 7*d = v*d + 65. Is d a multiple of 13?
True
Let v be (-2)/(-9) - 4/18. Let b be 0/(-2)*(v + -1). Suppose 2*t = -3*d + 56, -5*t - 11 - 14 = b. Is d a multiple of 11?
True
Let f = -115 - -165. Is f a multiple of 8?
False
Suppose 15 = 3*f + 4*o - o, 2*o + 14 = 2*f. Suppose -6*h - f = -3*h. Let n = h + 4. Is 2 a factor of n?
True
Suppose -3 - 13 = -2*j. Let b be 5*(-15)/(-25)*5. Let q = j + b. Is q a multiple of 8?
False
Does 36 divide (-38 + 11)/((-2)/8)?
True
Let l(d) = -d**3 + 6*d**2 - d + 5. Suppose -9 = 4*t - 33. Let m be l(t). Is (-5)/(1 + (m - 1)) a multiple of 2?
False
Suppose 0 = -3*l + 305 - 1832. Is (-2)/13 - l/13 a multiple of 22?
False
Let a be (-35)/(-3) - (-4)/12. Is 5 a factor of ((-192)/a)/(-1*1)?
False
Suppose m - 3*m = -194. Is m a multiple of 34?
False
Suppose y + 4*g = 70, -265 = -4*y - 4*g - 33. Does 9 divide y?
True
Let d(n) = -n**3 - 4*n**2 + 6*n + 2. Let i be d(-6). Suppose -v + 127 = 5*c, -4*c - 5*v + i = -51. Is c a multiple of 13?
True
Is 3 a factor of 24 - 6*(-3)/(-6)?
True
Suppose 0 = -r + 37 + 11. Does 16 divide r?
True
Let a(l) = 2*l**3 + l**2 - 4*l - 1. Does 11 divide a(3)?
False
Let j be (36/30)/(6/40). Suppose j = -3*v + 77. Is v a multiple of 9?
False
Let h(o) = 2*o**2 - 3*o - 4. Let x(v) = v**2 - 2*v - 1. Let g be x(-2). Suppose g = 2*p + 1. Is h(p) a multiple of 2?
False
Let v = 5 - 5. Is -2 + v - (-17 + 0) a multiple of 15?
True
Let g(s) be the third derivative of s**6/120 - s**5/30 - s**4/24 - s**3/6 - s**2. Let h be g(2). Let i(l) = -6*l + 2. Is 20 a factor of i(h)?
True
Let a(f) = f**3 - f**2 - f. Let n be a(2). Suppose n*d = 5*r + 96, 0 = -4*d + 5*r + 34 + 138. Is 14 a factor of d?
False
Let t(c) = c. Let o(u) = 0*u + 2*u + 6 + 0*u - 7*u. Let n(x) = -o(x) + t(x). Does 9 divide n(4)?
True
Suppose 7*y = 5*k + 4*y - 97, 0 = 2*k - 5*y - 35. Is k a multiple of 20?
True
Let n(q) = -2*q**2 - 36*q - 20. Does 55 divide n(-13)?
True
Suppose -5*c - 4 - 1 = 0. Does 28 divide (2/4)/(c/(-148))?
False
Let z be 9/3 + 81 + -4. Suppose 2*f + 2*f = -4*r + z, -70 = -5*r + 5*f. Is r a multiple of 8?
False
Suppose 3*i + 16 = -0*a + 2*a, -22 = -3*a + 4*i. Suppose -y + 15 = -a*p, -4*p + 15 = -4*y + 7*y. Does 5 divide y?
False
Is 35 a factor of -4*(-75)/(-20)*-7?
True
Suppose 336 = d + 3*d + 3*r, -2*r - 420 = -5*d. Is 28 a factor of d?
True
Suppose 0*n - 3*n = -207. Is 23 a factor of n?
True
Let o be -1 + (-19 - (-3)/(-3)). Let p(h) = 3*h - 4. Let m be p(-3). Let n = m - o. Does 3 divide n?
False
Suppose 2*g = -5*b - 177, 5*b - 2*g + g = -189. Let p = 16 + -32. Let u = p - b. Does 8 divide u?
False
Let u(v) = -5*v. Suppose 0 = z + 4*z + 5. Let x be u(z). Suppose -y + s + 18 = 0, x*y - 41 = 3*y + 3*s. Is 13 a factor of y?
True
Let f(n) = -n**3 + 6*n**2 - 6*n + 2. Is 6 a factor of f(4)?
False
Suppose 0 = -4*u - 4*z + 12, -3 = 2*u + u - z. Suppose u*j = 2*j - 36. Is (j - 1) + (-2 - -1) a multiple of 8?
True
Suppose 0 = 3*s + s - 2*t - 48, 2*s - 2*t = 28. Does 3 divide s?
False
Suppose -a + n = -8, -7*n = -2*a - 3*n + 6. Is a a multiple of 9?
False
Let z(l) = -l - 10. Let i be z(-12). Suppose i*o + 5*b = 73, -123 = -3*o - 3*b - 0*b. Is o a multiple of 10?
False
Let w(c) be the second derivative of c**4/12 - 2*c**3/3 - c**2 + c. Is 15 a factor of w(-4)?
True
Suppose 2*x = -d - 3*d + 20, -15 = -3*d + 2*x. Is (2/d)/(1/10) a multiple of 3?
False
Let v be (5/2)/5*0. Suppose 5*q = s + 153, v*s = -2*q - s + 57. Does 15 divide q?
True
Let x(m) = -m + 10. Let u be x(6). Suppose 0*t - 4*o = t - 9, 11 = 3*t + u*o. Suppose -f + t = -a - 17, -2*a = -f + 21. Is f a multiple of 15?
True
Let a(z) = 6*z + 11. Let h(q) = -12*q - 21. Let n(k) = 5*a(k) + 3*h(k). Let r(d) = 3*d + 4. Let j(b) = -3*n(b) - 7*r(b). Is 13 a factor of j(-10)?
True
Let g be 1/4 + 3/4. Let q = g + 2. Suppose c - 86 = -q*x, -2*x + 106 = 2*x - 3*c. Does 14 divide x?
True
Let u(o) = o**2 + 2*o - 20. Is u(-12) a multiple of 24?
False
Suppose -10 = -6*n + n. Suppose -n*m + 0*m + 42 = 0. Is m a multiple of 12?
False
Suppose -g + 60 = 4*g. Is g a multiple of 4?
True
Does 15 divide (-2)/(-1 - (-116)/124)?
False
Let v(k) = 15*k. Let i be v(1). Let s = i - -1. Is 13 a factor of s?
False
Let k be (1/(-2))/(3/(-6)). Suppose -10 = w - k. Let v(y) = -y - 2. Is v(w) a multiple of 7?
True
Let l(c) = c**3 + 8*c**2 - 6*c - 5. Let s be l(-8). Suppose 2*n - n - 3*j = 9, -2*n + j + s = 0. Is 12 a factor of n?
True
Let x(j) = -2*j - 7. Let v be x(-6). Suppose o - 56 = 2*z, 4*z + 166 = -2*o + v*o. Is 14 a factor of o?
False
Suppose -42 = -3*y - 0*y. Is y a multiple of 8?
False
Suppose 2 + 6 = 2*m. Suppose -10 = -n + m*f, n + 4*f = -n + 8. Let w(l) = l**2 - 4*l - 2. Does 5 divide w(n)?
True
Let