**2 + 16*r + 16. Let b(u) = -16*m(u) - 5*w(u). Does 11 divide b(1)?
True
Suppose -4*h = 5*s - 130 + 29, 4*h + 4 = 0. Let p = s + 24. Is p a multiple of 15?
True
Let z(x) = x**3 - 5*x**2 - 7*x + 5. Suppose -y + 3*y = 14. Is 14 a factor of z(y)?
False
Suppose -5*h - 3*l = -4*l - 95, 75 = 5*h + 3*l. Is 15 a factor of h?
False
Let a = -3 - -6. Suppose -2*p + 5*v = -24, a*p + 4*v - 9*v = 36. Does 3 divide p?
True
Suppose -25*z + 1316 = -11*z. Does 8 divide z?
False
Suppose 0 = -5*m + 15, -5*n + 5*m = -n + 47. Is 2 a factor of (-54)/n + (-6)/8?
True
Let j be 2 + 57/(-2 - -1). Let b = j + 136. Is 27 a factor of b?
True
Suppose 2*m = q, -m = -0*q + 4*q - 36. Does 8 divide q?
True
Let c(i) = i**2 - 3*i. Let g be c(4). Suppose -2*o + 4*u + 0 = -10, 0 = g*o - 3*u - 20. Suppose -52 = -o*z + 58. Is 13 a factor of z?
False
Suppose 0 = b - 5*b, -2*b = -p + 2. Is p even?
True
Suppose -5*s = 5*g - 33 - 27, 5*g = 3*s + 60. Let b = 1 + -1. Suppose h - 3*h + g = b. Is 6 a factor of h?
True
Let d be (-12)/(-4) + 6/(-2). Suppose d*n - 168 = -4*n - 2*u, 5*n + 2*u = 208. Does 12 divide n?
False
Let b(a) = a**3 - 2*a**2 - 2*a. Let l be b(3). Let s be (-10)/8*(-12)/l. Suppose r + 80 = s*r. Is r a multiple of 13?
False
Let s(v) = -v**2 - 7*v + 2. Is s(-7) a multiple of 2?
True
Let h(w) = 4*w**2 - 2*w. Let t be h(2). Suppose 0 = -4*o + 4*c - t, 0 = 2*o + 2*c - 13 - 1. Suppose -22 = -0*v - o*v. Is 4 a factor of v?
False
Suppose -215 = -5*x + 3*q + 2*q, -4*x + 144 = 3*q. Does 13 divide x?
True
Let p be 3/(-21) - 81/21. Let z(n) = -11*n - 8. Is 8 a factor of z(p)?
False
Let w be 0 - (-4)/(-6)*-3. Suppose 2*d - w = -2*h, 2*d + h = -4 + 2. Does 16 divide ((-64)/6)/(1/d)?
True
Let r = -1 + 1. Let p be 0/(-3 + r/(-1)). Suppose -8 = -p*l - 2*l. Is 4 a factor of l?
True
Let r(a) = -a - 2. Let o be r(2). Suppose 0*z = -z + 6. Does 6 divide (z/o)/((-3)/30)?
False
Let a(y) = 2 + 2*y + 4*y + 2*y. Is 21 a factor of a(5)?
True
Let d(o) = -o**3 + 4*o + 3. Suppose -3*m = -h + 7, -h + 1 = 4*m - 5*m. Let j be d(h). Suppose 38 = j*u - 40. Is u a multiple of 13?
True
Is -1*(1 - (21 - 0)) a multiple of 10?
True
Let s(g) = -g**2 - 11*g - 3. Let l be s(-6). Let q be (-2 + 0)*l/(-6). Is 3 a factor of 2/q - 136/(-36)?
False
Suppose -2*d + 8 = 0, 2*r - r = -2*d + 44. Is r a multiple of 9?
True
Suppose 5*x - 51 = 4*x. Suppose -5*p + x + 54 = 0. Is p a multiple of 14?
False
Let c(x) be the third derivative of x**4/12 + 4*x**2. Let l be c(3). Let r = l + 42. Does 24 divide r?
True
Does 19 divide 76*(-1)/(-8)*6?
True
Suppose 1506 = -4*y - 1478. Is 14 a factor of (-8)/(-44) - y/11?
False
Suppose 0 = 3*l - 0*l - 30. Is 8/20*l*1 a multiple of 2?
True
Suppose -4*w = -4*f + 524, 3*w - 545 = -6*f + 2*f. Is 16 a factor of f?
False
Suppose 6*q - 264 + 54 = 0. Does 30 divide q?
False
Does 4 divide 3*(6/9 - -1)?
False
Let m be (-58)/(-7) - (-2)/(-7). Let n = m + -1. Is 3 a factor of n?
False
Suppose 162 = -3*o + o. Let x = o - -145. Suppose 3*l + l + 96 = 5*f, 3*f - x = 4*l. Does 8 divide f?
True
Let w(h) = h**2 - 6. Is 8 a factor of w(5)?
False
Suppose 105 = 3*g + x, -5*g + 2*x + 174 = -1. Suppose -2*l + 64 = 4*t, 4*t + 21 = l - g. Does 14 divide l?
False
Suppose 0 = 5*v - 10, 0 = 2*i + 4*v - 3 - 15. Suppose -2*k = -3*k - 3, -i*w - k + 167 = 0. Is w a multiple of 12?
False
Suppose 3*o + 28 = 4*q - o, 3*q + 2*o = 1. Suppose 225 = 3*v - q*j, -2*j + 0 = -2. Does 19 divide v?
True
Let f(u) be the first derivative of u**4/4 + 4*u**3/3 + 3*u + 2. Suppose -2*x = -5*p + 18, -5*x = 3*p + 8 + 6. Is 3 a factor of f(x)?
True
Let f(c) = c**2 + 6*c - 3. Let d = 2 + -8. Let k be f(d). Is (11/(-3) + 2)*k a multiple of 3?
False
Let x be 4*(-4)/(-48)*-3. Is 38 + (8/4)/x a multiple of 12?
True
Let n = 24 + 29. Is 23 a factor of n?
False
Let u = 12 + -7. Suppose -4*b + 5*h + 84 = u, -b + 2*h + 19 = 0. Is 7 a factor of b?
True
Let b = 42 + -21. Let l = b + -2. Does 10 divide l?
False
Let o = 5 + -4. Suppose -39 = -d + o. Suppose -2*j + d = -4*r - 38, -5*r + 195 = 4*j. Is 18 a factor of j?
False
Suppose -158 + 8 = -3*l. Let y(i) = -i**3 + 15*i**2 + 17*i - 12. Let u be y(16). Suppose 0 = -u*k - 0*t + 2*t + 64, 5*k - l = -5*t. Is k a multiple of 6?
False
Suppose -4*y + 2*r = -r - 108, 3*y = 4*r + 88. Is y a multiple of 12?
True
Suppose -4*d - 182 = -6*d. Is d a multiple of 8?
False
Suppose i - 400 = -3*w, -9 = 3*i + 6. Suppose 0*g + g - 6 = -5*n, -5*g - 4*n + w = 0. Does 21 divide g?
False
Let t be -1 - (10 + -1)/(-3). Suppose t*c - 765 = -3*c. Suppose -5*d + b - 4*b = -c, -2*b - 107 = -3*d. Does 12 divide d?
False
Does 3 divide (66/55)/((-1)/(-5))?
True
Let y = 18 - 15. Suppose c - w + 29 = y*c, -4*c + 55 = w. Is 6 a factor of c?
False
Let r = -97 - -172. Is 11 a factor of r?
False
Suppose 5*b - 1549 + 339 = -g, 0 = 5*g. Is b a multiple of 16?
False
Let x(l) = 3*l**2 - 15*l + 1. Does 8 divide x(7)?
False
Let d be 0/(2 + -1) - -38. Suppose r - d = 2. Is r a multiple of 13?
False
Is 32 a factor of ((-24)/40)/3 - 1082/(-10)?
False
Suppose 33 - 233 = -4*q. Is q a multiple of 50?
True
Suppose -4*g = -2*x + 9 - 23, -3*x - g + 14 = 0. Suppose 4*p - 60 - 16 = -2*h, -x*h = p - 94. Does 10 divide h?
True
Let u(j) = -j - 1. Let g(f) = f**3 + 7*f**2 - 8*f - 5. Let a be g(-8). Let b be u(a). Suppose -b*s + 80 = -0*s. Does 15 divide s?
False
Suppose 3*g - 2*g = -4*j + 108, g - 90 = 5*j. Suppose -7*o = -2*o + g. Let b = o - -43. Is 11 a factor of b?
False
Suppose 0*y + y = 2*z, -5*y + 39 = 3*z. Let t be ((-22)/y)/((-4)/(-48)). Is 11 a factor of 0 - (0 - t/(-2))?
True
Let v = -9 - -11. Is 10 + 1 + v + -3 a multiple of 9?
False
Let n = 41 - 25. Suppose -5*v = -4*v - n. Does 8 divide v?
True
Let x = 5 + -1. Suppose 3*n + b + 10 = -0*n, -4*n + 8 = -x*b. Is 2/(-1) - 6*n a multiple of 7?
False
Let y = -21 + 23. Suppose 4*i - 28 = -3*h, -1 - y = -3*i. Is h a multiple of 5?
False
Let z(s) = -s**2 + 18*s + 18. Is 6 a factor of z(18)?
True
Let v be 0 - (-2 + -1 - 1). Suppose -4*t + 3*p + 35 = 0, 4*t + 2*p = -0*p + 30. Suppose -v*a - t = -2*d, 15 = 5*a + 5. Is d a multiple of 4?
True
Let l(t) = t**3 - 3*t**2 - 5*t + 1. Let g be l(5). Suppose 0 = -3*c - 3*s + 30, 2*s + 12 + 0 = 2*c. Is c*g*2/16 a multiple of 11?
False
Let q(s) = -s + 6. Let c be q(3). Let v = 15 + -7. Let h = c + v. Is h a multiple of 6?
False
Let h be 187/3 + (-4)/(-6). Suppose -37 = -5*s + h. Is 10 a factor of s?
True
Suppose -2*x + 10 = -5*z, -4*x + 16 = 2*z - 4. Suppose z*c + 90 = 2*c. Is c a multiple of 17?
False
Does 8 divide (-4 - -3)*-4 - -31?
False
Suppose 2*q = -0*q + 18. Let r(w) = w - 5. Is r(q) even?
True
Let t(y) be the third derivative of y**4/24 - y**3/3 - 2*y**2. Let u be t(4). Suppose -37 = -4*o + 3*o - 2*i, 0 = o - u*i - 53. Does 15 divide o?
True
Let r be (3 - 0)*(-52)/(-4). Suppose 12 = -k + r. Does 13 divide k?
False
Let j = 42 + -14. Is j a multiple of 5?
False
Let d(r) = -r**2 + r. Let p(x) = 4*x**2 + 4*x - 2. Let s(j) = -6*d(j) + p(j). Is 14 a factor of s(-2)?
True
Let h be 0 + 3 + -4 + -5. Does 10 divide 2 - 1 - 102/h?
False
Suppose 0 = 3*n + 12, 2*q - 24 = 4*n + n. Let c = 16 + -11. Suppose q*z + 139 = c*f, -5*f = -2*f + 3*z - 96. Is f a multiple of 12?
False
Let x be (2 - (2 - 1))*58. Suppose 3*n = -n - 4*a + 64, 0 = 4*n + 2*a - x. Is n a multiple of 3?
False
Suppose -3*p - v - 18 = 2*v, v = -4. Let l = 2 + p. Suppose -2*h + 3*i = -l*h - 48, -4*h - 3*i = -96. Is h a multiple of 12?
True
Let w = -335 - -489. Is 11 a factor of w?
True
Let n be (-1)/2 - (-10)/4. Suppose n*r = 17 + 33. Suppose 5 = -a - j + r, 3*a - 3*j = 30. Is a a multiple of 12?
False
Suppose 0*w + 5*z - 69 = -4*w, -20 = -4*z. Is w a multiple of 4?
False
Let b be 4 + -7 - -4*2. Let k(x) = 2*x**2 - 8*x + 5. Does 15 divide k(b)?
True
Let r be (8/(-10))/((-2)/10). Let p = 26 + -1. Suppose 2*m = -3*l + p, 7*l - r*l - 28 = m. Does 7 divide l?
False
Let w = 3 - -25. Does 14 divide w?
True
Suppose -89 = -5*b + 6. Is 2 a factor of b?
False
Let t = -13 - -24. Let o = t - -17. Is 14 a factor of o?
True
Let i(z) = 2*z**2 + 12*z + 17. Is 6 a factor of i(-9)?
False
Suppose 2*j = -3*j + 15. Suppose 10 = -2*y, -j*y - 35 - 60 = 4*b. Let q = 30 + b. Is 7 a factor of q?
False
Let l(h) = h**2 - h - 4. Suppose -2 + 14 = 4*f. Let v be l(f). Suppose v = 4*g + 3*w - 78, -4*g = -5*w - 48. Does 8 divide g?
False
Is (16 