**2 + 9*a + 10. Let l be q(-8). Suppose 136 = -y + 3*y - b, -3*y = b - l. Is 22 a factor of y?
True
Let c = 118 - 76. Does 17 divide c?
False
Suppose 0 = 5*b - 3*k - 309, 2*k - 3 = 3*k. Is b a multiple of 4?
True
Let u = -137 + 187. Is u even?
True
Suppose -2*p + 0 = 2*k - 8, 0 = -2*p - 4*k + 12. Let l(t) = -4*t + 3*t - p + 5*t. Is 14 a factor of l(4)?
True
Let a(i) = 2*i**2 - 12*i - 3. Let s(v) = -5*v**2 + 24*v + 6. Let j(k) = 7*a(k) + 3*s(k). Is 12 a factor of j(-5)?
False
Suppose -91 = -2*s + 149. Is s a multiple of 30?
True
Suppose 9 = -3*z + 5*v - 1, 3*z = -3*v + 6. Let a = -5 + 13. Let p = a + z. Is p a multiple of 4?
True
Suppose 4*b + 831 = 5*n, b + 249 = n + 83. Is 29 a factor of n?
False
Suppose 5*v - 25 - 125 = 0. Is 8 a factor of (-6)/5*v/(-4)?
False
Let h(o) = -o**2 - 1. Let b(x) = -x**3 + 8*x**2 - 6*x - 6. Let k be b(7). Let u be h(k). Is 8 a factor of (10 + u)/(0 + 1)?
True
Let u(y) = 2*y**2 + y - 2. Let a be u(-2). Suppose -a + 17 = -v. Does 8 divide 5*(-1 + v/(-5))?
True
Let n(u) be the second derivative of u**4/12 + u**2/2 + 4*u. Let y be n(2). Let c = y + 14. Does 12 divide c?
False
Suppose -12 = 3*i, 2*h - 4*i = 275 - 67. Is h a multiple of 32?
True
Let d = -89 + 103. Does 14 divide d?
True
Let z be (-4)/(-8) + (-10)/(-4). Let t = z - 0. Suppose -8 = -t*c + 19. Does 7 divide c?
False
Suppose 0 = -6*j - 204 + 906. Is 12 a factor of j?
False
Suppose -16 = -u - 5. Suppose v - u = -0*v. Suppose -4*i + v = -9. Is 2 a factor of i?
False
Suppose 3*w = 6*w + 3, 1 = -h - 4*w. Suppose 3*m = -h*f + 90, -f = -2*m + 2*f + 55. Is m a multiple of 28?
False
Let i = 102 - 22. Is i a multiple of 14?
False
Let r(f) = -f**3 + 9*f**2 + 11*f - 8. Let n be r(10). Suppose -6*w - 364 = -n*w - 4*m, 3*w = -5*m - 297. Let x = -46 - w. Does 18 divide x?
False
Let q(s) = 29*s + 1. Let h be q(7). Suppose 3*a - h = -5*o, -o - 2*a = 3*a - 54. Is o a multiple of 13?
True
Let m = 5 + -6. Let c be (m + 1)*(-1)/2. Suppose c = 4*z - 0*z - 80. Is 10 a factor of z?
True
Let f(j) = 10*j**3 - 2*j**2 - 2*j + 6. Is f(2) a multiple of 37?
True
Let k = 6 - 4. Let j(z) = 13*z - 5. Is 21 a factor of j(k)?
True
Let s = -3 + 4. Suppose 3*o = -4*q + 5*o + 4, -s = -3*q + 2*o. Is q a multiple of 2?
False
Suppose 0 = 4*t - m - 72, -5*m = t - 21 + 3. Let n(u) = 2*u**2 - 1. Let i be n(-1). Is 10 a factor of i + (-1)/(-1) + t?
True
Let g = -14 - -10. Let n(c) = -c**3 - 7*c**2 + 4*c - 1. Let r(v) = -v**3 - 8*v**2 + 4*v - 1. Let q(x) = g*n(x) + 3*r(x). Is q(-4) a multiple of 15?
False
Let a be -1 + 2 + 10 + 121. Let j = a + -72. Is 13 a factor of j?
False
Let q = 222 - 127. Suppose -q + 5 = -6*h. Is 7 a factor of h?
False
Is (-140)/(-21)*6/4 a multiple of 5?
True
Let g = 56 + -30. Does 13 divide g?
True
Let r = 6 - 1. Let i(q) = 6*q - 7. Let z be i(r). Suppose 5*u = -0*u + 4*k + 109, -u + 2*k + z = 0. Does 8 divide u?
False
Suppose 3*d - 42 = 3*k, -d - 5*k = 3*d - 38. Is d a multiple of 6?
True
Suppose -s + 4*s + 2 = -g, -2*g + 8 = 0. Let c be ((-1)/s)/(1/2). Let f = 12 - c. Is 6 a factor of f?
False
Let t(b) = 8*b + 4. Let o = 7 + -4. Does 13 divide t(o)?
False
Let o(p) = 8*p - 5 + 2*p**2 - 7*p**2 - p**3 - 3*p**2. Is 4 a factor of o(-9)?
True
Suppose 3*q = 5*q + 20. Is 2 a factor of (q - -6)*3/(-2)?
True
Suppose j - 1 = 7. Let u be (-36)/(-48) + 10/j. Suppose -d - 24 = -u*d. Is 24 a factor of d?
True
Suppose 2*v = v + 1. Let k be 3 - (0 + v + 18). Let t = 32 + k. Does 8 divide t?
True
Suppose 13 = 5*p - 17. Let h(u) = u - 5. Let k be h(p). Let q(b) = 14*b**2 - b + 1. Does 14 divide q(k)?
True
Let r = -13 - -33. Let s be 7 + -2 + -4 + 2. Suppose 0 = -a - s*a + r. Does 2 divide a?
False
Suppose -4*f = 3*x - 88, -x - 2*x + 5*f = -52. Let w be (-1 + 2)/(2/x). Let p = -8 + w. Is 2 a factor of p?
True
Let x = 14 - 6. Does 4 divide x?
True
Let x(y) = 7*y**3 + y. Let p be x(-1). Is 10 a factor of (-114)/p + 6/(-24)?
False
Suppose -2*p - 4 + 54 = 0. Suppose 0 = -4*l + 3 + p. Is l a multiple of 3?
False
Let i(v) = v + 5. Let s(x) = x - 6. Let d be s(6). Does 3 divide i(d)?
False
Let d(l) = 4*l - 1. Let n be d(4). Suppose 4*y = -y + n. Suppose -i + 4*i = y*t + 84, 0 = i - 3*t - 36. Does 14 divide i?
False
Is 8 a factor of ((-360)/10)/((-2)/4)?
True
Let g be 5 - (-3 - -5 - 1). Suppose -b + 13 = -3*f, -g*f + 3 = -3*b + 47. Let a = 27 - b. Is 5 a factor of a?
False
Let n = -3 - -20. Does 6 divide n?
False
Let n be (0 + (-1 - 0))*1. Let q = 4 - n. Suppose u - 43 = -2*v, -5*v - q*u + 110 = -2*u. Is v a multiple of 14?
False
Let s(l) = -19*l + 14. Does 29 divide s(-9)?
False
Let b(f) = 6*f**2 + 2*f - 4. Let s be b(3). Suppose 0*l = -4*l + s. Suppose -18 - l = -4*g. Does 8 divide g?
True
Let t(q) = 4*q + 1. Let b be t(1). Suppose 2*v - 34 = -4*i - 10, -b*v + 2*i = -24. Is v a multiple of 3?
True
Let i(m) = -2*m - 10. Suppose 2*u + 3*u + 35 = 0. Let v be i(u). Suppose -3*f - 38 = -v*f. Is 19 a factor of f?
True
Does 19 divide 6/12*4 - (1 - 152)?
False
Let b be ((-8)/12)/(6/(-459)). Suppose -4*q + b = -q. Is q a multiple of 17?
True
Let m be (3 + -3)*(-1)/(-2). Suppose m = 12*b - 7*b - 70. Is b a multiple of 8?
False
Let g(t) = -14*t - 10. Is g(-5) a multiple of 12?
True
Suppose -2*m - 124 = -0*l - 3*l, -4*l - 3*m + 171 = 0. Does 14 divide l?
True
Let c be (0 - (-2 - 1)) + 6. Suppose 0 = -3*b + c + 63. Is b a multiple of 24?
True
Suppose -4*p + 108 = 4*b, -4*p = 5*b - 0*p - 140. Does 6 divide b?
False
Let l be (-3)/((-12)/(-3) - 3). Let o be ((-4)/l)/((-4)/(-12)). Suppose -2*n = 3*y - 54, -o*n - n = -15. Is y a multiple of 8?
True
Suppose -53 = 3*z + 205. Let b = 146 + z. Is 30 a factor of b?
True
Let h = 0 + -6. Is 10 a factor of (4/h)/(1/(-42))?
False
Suppose -p - 13 + 97 = 0. Suppose -246 - p = -5*b. Is b a multiple of 19?
False
Suppose 3*t - 2*h - 147 = -2*t, -5*h + 20 = 0. Suppose -2*v = -t - 9. Does 12 divide (-8)/v + 381/15?
False
Let g(c) = -c**3 - 6*c**2 - 4*c. Let y be g(-6). Let x be (6 + -3 - 2)*7. Let s = x + y. Does 14 divide s?
False
Let i be ((-5)/3)/((-4)/84). Suppose 3*r - i = -5*p, 5 = -r - 0*r. Is p a multiple of 5?
True
Let x(j) = j**2 - 2*j - 18. Does 5 divide x(-9)?
False
Suppose -5*m + 4*q = -18, 4*m + 3*q = 36 - 3. Does 9 divide (-495)/(-54) + (-1)/m?
True
Suppose 26 = 2*w - y, 2*w = 5*y + 14 - 4. Is 3 a factor of w?
True
Suppose -3*w + 60 = -3*m, -m - 44 - 68 = -5*w. Does 12 divide w?
False
Let d be (-2 - (-1 - 0)) + 5. Suppose 0*l = -d*l + x - 322, -4*x = -4*l - 316. Let o = l + 126. Is 16 a factor of o?
False
Let n = 19 + -9. Suppose 5*v + 5*t = -n, -12 = 5*t + 8. Is 5 a factor of v - -3 - (-1 - -1)?
True
Suppose -366 = -2*w - s, -5*w = -2*w - 4*s - 549. Suppose 4*f - w = -3. Is f a multiple of 11?
False
Suppose -7 - 1 = -2*x. Suppose l + 8 = 3*t, 5*t - x*l + 0 = 11. Suppose j = t*j - 12. Does 6 divide j?
True
Suppose -j - 2 = -3. Let h(q) = 30*q**3 + 2*q**2 - 1. Is h(j) a multiple of 17?
False
Suppose 0 = o + o - 4. Let y(x) = -3*x + 1 - x**2 - 2*x**o + 4*x**2. Does 14 divide y(6)?
False
Suppose 5*l + 5*g + 5 = 0, -5*g + 9 = -2*l - 0. Let b(q) = -q**3 + 2*q**2 + q - 2. Is b(l) a multiple of 6?
True
Let k = 123 + -50. Is 10 a factor of k?
False
Let n be (-6)/(-10) - 88/(-20). Suppose 0 = -0*t - n*t. Suppose b - 1 - 7 = t. Is 8 a factor of b?
True
Let y(h) = h**2 + 5*h + 2. Suppose -n + 4*g + 4 = -2*n, -5*n = 5*g + 35. Is 9 a factor of y(n)?
False
Let b be 0 + 1 + (-4)/(-1). Suppose -81 = b*t - 2*t. Is 4/(-1 - t/25) a multiple of 25?
True
Let o(v) = v**3 - 4*v**2 - 6*v + 6. Let u be o(6). Suppose 4*t + 3*r + 30 = 5*t, -2*t + u = 3*r. Suppose f = -0*f + t. Is 10 a factor of f?
False
Let w be 54 + 0*3/3. Is 8 a factor of (0 - -3)/(3/w)?
False
Let u be -5*2/(-20)*-16. Let t(v) = -6*v - 9. Is 15 a factor of t(u)?
False
Let d(r) = 7*r - 7. Let k(i) = 2*i**3 - i**3 - 2 - 3 + 6*i**2 + 3*i. Let q be k(-5). Does 12 divide d(q)?
False
Let m(u) = 5*u + 3. Is m(3) a multiple of 6?
True
Suppose 6 = -0*j + 2*j. Suppose 5*g = 4*c - 9 + 358, -j*c + 135 = 2*g. Is 26 a factor of g?
False
Let k(z) = 2*z + 8. Suppose m - 6 = -2*p - 0*p, m - 4*p - 6 = 0. Is 10 a factor of k(m)?
True
Suppose 5*n + 64 + 13 = -4*y, -3 = -n. Let b = 36 + y. Is 13 a factor of b?
True
Let x(y) = -2*y - 3*y - 4 + 3*y. Is x(-12) a multiple of 5?
True
Is (3/4)/(((-25)/(-560))/5) a multiple of 21?
True
Is (-120)/(-2