*x**2 + 0*x**2. Does 15 divide z(h)?
False
Let l(h) = h - 1. Let t(u) = 2*u + 4. Let o(b) = -2*l(b) - t(b). Is o(-3) a multiple of 10?
True
Let p(n) = 16*n + 1. Let d be p(2). Does 27 divide d - (-9)/(-3) - 3?
True
Let m(a) = 6*a**2 - 2*a + 2. Is m(2) a multiple of 11?
True
Let m = -64 - -100. Does 19 divide m/6*38/4?
True
Let l(u) = -7*u - 3. Is l(-5) a multiple of 8?
True
Let i(z) = 75*z. Is i(1) a multiple of 25?
True
Let w(c) = 3*c + 5. Let z be w(5). Suppose 2*u - 52 = z. Is u a multiple of 18?
True
Suppose 0 = 7*g - 410 - 241. Is 10 a factor of g?
False
Let h(p) = p**2 - 7*p + 2. Let j(i) = i. Let f be j(8). Let s be h(f). Suppose -31 - 25 = -4*v - 4*k, -3*v + 5*k + s = 0. Is 10 a factor of v?
True
Let p be 114 - (4 - 1)/(-3). Let a = p - 66. Is 23 a factor of a?
False
Suppose 18*o + 90 = 24*o. Is 3 a factor of o?
True
Let a(g) = 49*g**2 - 1. Is 25 a factor of a(1)?
False
Let m(n) = -51*n + 2. Suppose -3*t + 2 = -4*t. Let a be m(t). Suppose -58 = -2*k + d + d, -4*k + a = 2*d. Is 13 a factor of k?
False
Let s(z) = -z + 10. Does 16 divide s(-7)?
False
Suppose 5*s + 2*y = 7 - 1, 3*y - 9 = -3*s. Let c(w) = -4*w - w - 4 + s. Is c(-3) a multiple of 9?
False
Suppose 0 = 2*v - 4*v + 5*a + 37, 4*v = 3*a + 67. Is v a multiple of 8?
True
Is (-211)/(-3) - (-30)/18 a multiple of 3?
True
Let s(u) = 6*u**2 + 2*u. Let z be s(4). Suppose -t - z = -5*t. Does 14 divide t?
False
Let u(t) = t**2 - 8*t + 5. Let r be u(8). Does 9 divide -2 + r + -2 + 31?
False
Suppose 3*p + p - 4*c = -44, 3*p + 29 = c. Is (-122)/(-5) + p/(-15) a multiple of 25?
True
Suppose 0 = -2*u + 5*u - 21. Is 4 a factor of u?
False
Let t = -156 + 209. Is 22 a factor of t?
False
Suppose 0 = 3*j + 5*t - 14, 4*j - 18 + 2 = -4*t. Suppose j*g = -5 + 26. Is g even?
False
Suppose 3*m + 2*m = 265. Is m a multiple of 13?
False
Let b = 3 + -3. Suppose b = x - 5*x + 112. Is 22 a factor of x?
False
Let f = 119 - 46. Is 15 a factor of f?
False
Let a be 2/2 + -4 + -1. Let c = 14 - a. Is 6 a factor of c?
True
Let j(y) = 26*y - 3. Let c be j(-3). Let r = -26 - c. Is r a multiple of 10?
False
Let v(t) = -t**2 + t + 39. Let l(b) = -2*b**2 + 2*b + 77. Let z(o) = -2*l(o) + 5*v(o). Let y be z(0). Suppose -4*r + y = -23. Does 16 divide r?
True
Let g = 63 - 42. Is 7 a factor of g?
True
Let m(r) = -r**3 + 4*r**2 + 8*r - 10. Let l be m(5). Let i(x) = -x**3 + 4*x**2 + 8*x - 3. Is i(l) even?
True
Let n(g) = 6*g + 45. Does 3 divide n(-6)?
True
Let n(k) = -k**2 + 7*k - 4. Let a be n(6). Suppose a*y = 4 - 0. Suppose -4*b + y*p = -94, -b + 36 = -0*p - 3*p. Does 10 divide b?
False
Is 40 a factor of (281 - 2) + (-7 - -8)?
True
Let k(g) be the third derivative of g**4/24 - 2*g**3/3 - 4*g**2. Let t be k(7). Suppose 5 = 2*u + 3*s - 23, 0 = -5*u + t*s + 91. Does 7 divide u?
False
Let f be (-1 - 11)*(-3)/2. Let h be f/5*(49 - 4). Suppose -50 + h = 4*b. Does 16 divide b?
False
Suppose -k + 2*k - 18 = 0. Is k/(-117) - 1902/(-26) a multiple of 13?
False
Let i = 8 + 1. Does 3 divide i?
True
Let q be ((-24)/10)/(15/350). Let b = 181 - 95. Let w = q + b. Is w a multiple of 15?
True
Suppose 5*a = 4*t + t - 200, 4*t + 4*a - 200 = 0. Does 15 divide t?
True
Let o(b) be the first derivative of 3*b**2 + 2*b + 1. Suppose 4*z - 8*z + 16 = 0. Is 13 a factor of o(z)?
True
Let d = -6 + 0. Let a be (15/6)/(-5)*d. Is 15 - (-1*3)/a a multiple of 16?
True
Let y(r) = -r**2 + 10*r - 10. Let w be y(8). Let v = w - -7. Does 13 divide v?
True
Let v(i) = -23*i - 3 + 3 - 2. Suppose -5*p + 4*u + u = 0, 0 = 3*p - u + 4. Is 16 a factor of v(p)?
False
Is 9 a factor of ((-62)/5)/(2/(-5))?
False
Suppose 2*j + 26 = 5*j - 2*u, 5*j = -u + 65. Is 3 a factor of (-2 - 1) + j/2?
True
Let p(g) = 2*g - 63. Let k(a) = -a - 1. Let f(z) = -k(z) - p(z). Let j be f(0). Suppose 4*u + 4 - j = 0. Does 5 divide u?
True
Suppose 3*r - 69 - 39 = 0. Is 9 a factor of r?
True
Let o be 0/(-1) + (5 - -2). Let h be -1 + 0/(-2)*-1. Let u = o + h. Is u a multiple of 5?
False
Does 48 divide (5/(-2))/5 + (-97)/(-2)?
True
Let b = 1 - -2. Suppose -32 + 12 = -n + b*i, 0 = -2*n - i + 33. Is 7 a factor of n?
False
Suppose -3*p = -6*p + 393. Is p a multiple of 21?
False
Let n(j) = -12*j - 8. Is n(-4) a multiple of 17?
False
Suppose -5*f + f + 124 = 0. Suppose 0 = 5*i - 91 + f. Is i a multiple of 6?
True
Let t(b) = -b**2 - 9*b - 7. Let i be t(-7). Let m(h) = -h**2 + 9*h + 10. Let d be m(i). Does 11 divide d + (-1)/(-1)*-2?
True
Suppose 4*v + 16 = -2*y + 116, -4*y + 4*v + 224 = 0. Is y a multiple of 9?
True
Suppose 5*a = -2*z + 128, -3*z - a - 4*a + 187 = 0. Is 6 a factor of z?
False
Suppose 17*h - 18*h = -171. Does 19 divide h?
True
Let k(f) = f**3 - f - 6. Is k(3) a multiple of 3?
True
Is 468/(-65)*(-10)/3 a multiple of 10?
False
Let t = 7 - 4. Let p(x) be the second derivative of x**5/20 + x**4/12 - 2*x**3/3 + 2*x**2 + x. Is 13 a factor of p(t)?
False
Let j(t) be the first derivative of -t**3/3 + 7*t**2/2 - 5*t + 2. Let c be j(5). Let p = c - -4. Is 9 a factor of p?
True
Is 45 a factor of (75/10)/((-3)/(-72))?
True
Suppose 0 = -0*q + 4*q - 4*t - 80, t - 49 = -2*q. Let y = q + 1. Is y a multiple of 10?
False
Suppose -2*j - 3*r = -30, -3*j + 92 = r + 33. Is j a multiple of 7?
True
Let g = 46 - 11. Does 7 divide g?
True
Suppose -q = -3*h - 8, -3*q + 3*h + 4 = -h. Let d = -3 - q. Is -1 - (d - -22)*-1 a multiple of 22?
True
Let k be (-2)/9 - (-170)/(-45). Is 2/(-4)*(-24 + k) a multiple of 7?
True
Let p = -15 - -21. Suppose j + p = -b + 5*b, -3*j + 2*b = -12. Does 20 divide (j/(-9))/((-2)/60)?
True
Let v(l) = l + 10. Let n be v(-8). Let z(k) = k**3 - 4*k**2 - 4*k - 5. Let c be z(5). Suppose 0 = -c*a + n*a - 22. Is a a multiple of 5?
False
Let k be (-7)/(-2) - 8/16. Suppose 2*i + 72 = k*i. Suppose -y + 5*y - i = 0. Is 6 a factor of y?
True
Let j = 16 - 60. Let o = j + 74. Is o a multiple of 15?
True
Let w = 0 - 0. Is 18 - w - (0 - 2) a multiple of 11?
False
Let l(j) = j - 6. Let w be l(2). Is 52/(-10)*(-14 - w) a multiple of 13?
True
Let f be 114/18 + (-4)/(-6). Let x = -9 + f. Is 15 a factor of (-3 + 9)/(x/(-15))?
True
Let y(h) = h**2 + 9*h + 4. Let x be y(-8). Let b(n) = n + 7. Let f be b(x). Suppose -34 = -f*v + 20. Is v a multiple of 9?
True
Suppose i = 4*i. Let p = 4 + i. Suppose -4 - 24 = -p*k. Is k a multiple of 4?
False
Let i be (-164)/(-14) - 2/(-7). Let a(s) = s**2 - 11*s - 4. Is 3 a factor of a(i)?
False
Suppose 0*z + 15 = 5*z. Suppose l = z*l. Suppose l = 4*d - 31 - 65. Is d a multiple of 12?
True
Let y = 50 - 35. Is (-226)/(-10) - y/25 a multiple of 6?
False
Let n = 11 - -4. Let q(v) = -v**2 + 21*v - 20. Is q(n) a multiple of 16?
False
Suppose 2*g + 6 = 14. Let k(r) = r**3 - 4*r**2 + 2*r - 5. Let s be k(g). Suppose x = 5*t + 29, -5*x + 0*t + 173 = s*t. Is x a multiple of 14?
False
Suppose 0*y = 2*y - 6. Suppose -4*f - 2*h - 3*h = -16, -2*f = -y*h - 8. Is 3 a factor of f?
False
Let t(i) = 0 + 3*i - 7 + i. Is 14 a factor of t(7)?
False
Let f(y) = -y**3 + 10*y**2 - 9*y + 7. Let g be f(6). Let c = g + -68. Is c a multiple of 10?
False
Let r(w) be the second derivative of 5*w**4/12 - w**3/3 - 2*w**2 + 6*w. Is r(3) a multiple of 7?
True
Let i(o) = -o**2 + 5*o + 2. Let c be i(5). Is 2 a factor of (-2)/(c/(-5 - 1))?
True
Let m = 1 - 1. Suppose 3*o - 5*o - 34 = m. Let k = o + 27. Is 5 a factor of k?
True
Suppose -5*v = -56 - 74. Does 13 divide v?
True
Suppose r = -1 + 3. Is 2 a factor of r?
True
Let g(z) = -z**2 + 8*z - 5. Let i be g(6). Suppose 0 = 4*d + i - 23. Does 3 divide d?
False
Suppose 0 = 5*h - 8 - 12. Does 19 divide (-1491)/(-33) + h/(-22)?
False
Let a = 76 + -37. Is 13 a factor of a?
True
Suppose 3*q - 252 = -q. Suppose -14*x - q = -17*x. Is 7 a factor of x?
True
Suppose 5*q - 30 = -5. Let o = q + -2. Suppose -o*m + 15 = 2*m. Is m a multiple of 3?
True
Does 7 divide 1602/24 - 2/(-8)?
False
Let o(h) = -19*h - 4. Is 19 a factor of o(-4)?
False
Suppose 0 = -4*s - w, s + 5*w + 1 = 20. Is 20 a factor of (-1 - 38 - 1)*s?
True
Let p(x) = -x**2. Let v(s) = 2*s**2 - s - 1. Let h(q) = 3*p(q) + 2*v(q). Let r be h(3). Does 11 divide 3/(-1) - (-26 + r)?
True
Suppose y - 42 = -v, 5*v + 2*y = 98 + 109. Does 16 divide v?
False
Let w(s) = s**2 + 2*s - 19. Is 20 a factor of w(11)?
False
Let u(q) = 32*q**2 + 2*q - 1. Does 19 divide u(1)?
False
Suppose 4*k + 41 = 4*s + 17, s = 4*k. Is 3 a factor of s?