1. Let d be b(-3). Suppose -2*v - z + 14 = v, -5*v + 20 = d*z. Suppose v*r - 35 = -10. Is r a multiple of 5?
True
Let q(k) = -k**3 - 2*k**2 + 5*k + 7. Suppose -z = -3*z - 10. Let h be q(z). Suppose h = 3*d + 18. Is d a multiple of 11?
False
Is 5 a factor of (4 + -24)*1/(-4)?
True
Let g(b) = -15*b - 23. Let c(w) = 7*w + 11. Let o(m) = -13*c(m) - 6*g(m). Let x be o(-5). Suppose 2*v + x*v - 26 = 0. Is 10 a factor of v?
False
Let s be 0*((-20)/(-12) + -2). Suppose 0*a = 3*h + 5*a - 213, s = -3*h + a + 195. Is 22 a factor of h?
True
Let o(b) = 20*b - 9. Let c(s) = s - 1. Let n(x) = -6*c(x) + o(x). Does 12 divide n(3)?
False
Suppose -2*f - 102 = -334. Does 23 divide f?
False
Let u(d) = 33*d**2 - d - 2. Is u(2) a multiple of 14?
False
Suppose -3*r = -y + 77, -r - 3 = 5*y - 4. Is (10/8)/((-1)/r) a multiple of 15?
True
Suppose -45 = -y + 5*f - f, 3*y = -2*f + 135. Is y a multiple of 8?
False
Let o(c) = 60*c**2 + c - 1. Is o(1) a multiple of 10?
True
Let q be (6/(-9))/(1/(-27)). Let m = q + 24. Does 14 divide m?
True
Let y = 6 + -3. Suppose 6 = y*r - 0*r, -5*o = -r - 558. Suppose -w + o = 3*w. Is 14 a factor of w?
True
Let b be (-156)/36 + 2/(-3). Let h = 13 + b. Is 4 a factor of h?
True
Let t = 7 + 1. Suppose -5*g + t = -g. Does 10 divide 19/g + 1/2?
True
Suppose -11*a + 638 = -1331. Is a a multiple of 11?
False
Suppose -2*p - 130 = -4*x, -3*x + 4*p + 87 = 2. Does 4 divide x?
False
Let o(j) = -j**3 + 6*j**2 - 4*j + 13. Is 6 a factor of o(5)?
True
Suppose -21 = -3*l - 0. Let j be (1/(-1)*l)/1. Is 1775/35 - 2/j a multiple of 21?
False
Let p(w) = w**3 + 4*w**2 - 4*w + 7. Let t be p(-5). Let k(f) = f**2 - 2*f + 3. Let m be k(t). Suppose m*i - i + 58 = 4*b, -5 = i. Is 12 a factor of b?
True
Let f(j) = 9*j**2 - 5*j + 9. Does 15 divide f(3)?
True
Let u(c) = 4*c**2 + 29*c - 29. Is 48 a factor of u(-13)?
False
Let m(z) = z - 1. Let x be m(1). Suppose x = 5*g - 2*g - 15. Is g/((-10)/(-4)) + 11 a multiple of 13?
True
Suppose 6*c - 36 = 60. Is 16 a factor of c?
True
Let j(o) = -3*o + 4. Let w be j(4). Let v(k) = -k**2 - 10*k + 8. Is 6 a factor of v(w)?
True
Let a = -17 + 18. Is (-9)/(a - (-15)/(-6)) a multiple of 5?
False
Let j(c) = -c**2 + c. Let t be j(1). Let v = t + -1. Does 23 divide (-49)/v - (1 + 2)?
True
Suppose -p + 0*s - 12 = 5*s, -4*p = -4*s - 24. Suppose 4*m - p*m - 5 = 0. Is 5 a factor of m?
True
Let i be (-28)/4*4/(-14). Suppose i*o = o - 2. Let t(y) = -y. Is t(o) a multiple of 2?
True
Let p(y) = y**3 - 3*y**2 - 2*y + 2. Let u be p(3). Let t = u - -14. Is 10 a factor of t?
True
Let c be (-16)/12*(-6)/4. Suppose 0 = y + c*y + j - 37, 2*y - j - 33 = 0. Does 14 divide y?
True
Suppose -3*p + 55 = -4*f, -3*p + 4 + 11 = 0. Is f/(0 - (4 + -2)) a multiple of 5?
True
Let j = -7 - -4. Does 3 divide (j - (-21)/5)*10?
True
Let g(d) = d**3 - 7*d**2 - d + 5. Let q be g(7). Is 22*(0 + q)*-1 a multiple of 11?
True
Does 5 divide 16/(-4) - (-35 + 3)?
False
Let g(l) = 60*l**2. Is 20 a factor of g(-1)?
True
Suppose 0*m - m = 4*r - 23, -5*r - 140 = -5*m. Does 5 divide m?
False
Let b(s) be the third derivative of -1/6*s**4 + 0*s - 3/2*s**3 + 0 - 3*s**2. Does 15 divide b(-8)?
False
Let x = -12 + 15. Is 3 a factor of x?
True
Let g be 8/4*5/(-2). Let p = g + 10. Is 5 a factor of p?
True
Is 4 a factor of (-10)/3*12/(-8)?
False
Does 13 divide 4 + -4 - -7*11?
False
Let g(j) be the second derivative of -j**3/2 + j**2/2 + 4*j. Let b be (-15)/(3/1) + 2. Is 5 a factor of g(b)?
True
Suppose -4*k + 607 = a, a + 8 = 3. Is k a multiple of 9?
True
Suppose 0 = -3*b + 2*x + 1, x - 27 = -5*b - 2*x. Let h(y) = y - 3. Let o be h(b). Suppose 0 = 3*m, o*p = 2*p - 4*m - 82. Is p a multiple of 11?
False
Is 22 a factor of (-18)/(-9)*(1 - -43)?
True
Let k = -5 - -5. Suppose 13 + 4 = 4*t + p, -5*t + 5*p + 40 = k. Suppose -9 - 21 = -t*o. Does 4 divide o?
False
Suppose 5*t - 18 = 7. Suppose 200 = -0*m + t*m. Is m a multiple of 14?
False
Suppose 23 = l + 3*l + 3*h, 7 = l + h. Suppose 0 = 4*i - 3*j - 2 + 21, 4*i = -3*j + 11. Is 4 a factor of (-3 - 7)*i/l?
False
Suppose -8*j + 128 = -224. Is 44 a factor of j?
True
Suppose -21 = 5*c - 426. Suppose 4*n - c = 39. Is n a multiple of 6?
True
Let o be ((-1)/(-1))/((-1)/(-3)). Suppose o*c - 63 - 21 = 0. Is 14 a factor of c?
True
Suppose 3*b + 4*w - 860 = 0, 2*b - 3*w + 216 = 761. Is 20 a factor of b?
True
Is (-11 - -83)*(-2)/(-4) a multiple of 8?
False
Let m(q) = -q - 1. Suppose 4*h + i + 18 = 0, h + h - 3*i = -16. Let c = h - 4. Is m(c) a multiple of 5?
False
Let m = 549 - 378. Suppose 0 = -5*x + 4*t + m, t = -5*x + 26 + 150. Suppose 18 = 4*h - 6*n + 8*n, 0 = -5*h - 5*n + x. Is 2 a factor of h?
True
Let k(b) = b**3 - 2*b - 1. Let v be k(2). Is ((-45)/(-12) - v)*8 a multiple of 4?
False
Let i(c) = c + 52. Let a be i(0). Suppose 5*h - 3*h - a = 0. Is 11 a factor of h?
False
Let a(y) = -y + 4. Suppose 5*b - 2*b = -3. Let u be b*(-2 - (-24)/3). Is 9 a factor of a(u)?
False
Suppose -5*n + 2*n + 510 = 0. Suppose -2*t - 21 = -3*v + 3*t, 0 = 5*v - 5*t - 25. Is (3/v)/(15/n) a multiple of 8?
False
Let q be (-40)/(-18) + (-2)/9. Suppose 18 = q*r - 3*d - 6, -r = -4*d - 2. Is 18 a factor of r?
True
Let t(o) = o**2 + 7*o - 7. Let l be t(-8). Let j = l + 53. Does 20 divide j?
False
Suppose -2*b - 1 + 12 = y, -5*b = 5*y - 40. Let a = 81 + -33. Suppose 4*r = l + 28, b*l + 13 - a = -5*r. Does 3 divide r?
False
Let z = 7 - 3. Suppose 0 = z*g - 2*j - 18, 5*g - 4*j - j = 15. Is (9/6)/3*g a multiple of 3?
True
Suppose -3*h - 95 = 2*h. Let l be 30/(0 + (-3 - -2)). Let u = h - l. Is u a multiple of 11?
True
Let y be 3/(-5) - 579/(-15). Let v = 37 - 57. Does 4 divide y/8 + 15/v?
True
Suppose 5 = 5*a - 15. Suppose g - 595 = -a*g. Let o = g - 83. Is 12 a factor of o?
True
Does 11 divide (11 + (3 - 3))*3?
True
Suppose 0 = 7*i - 859 + 103. Is i a multiple of 12?
True
Let k(m) = 4*m**2 - m. Let r be k(1). Let s(v) = 4*v - 1. Does 8 divide s(r)?
False
Let s(u) be the first derivative of -6*u**2 + u + 3. Does 16 divide s(-3)?
False
Let f be 20/8 - 1/2. Suppose -3*l = -f - 13. Does 3 divide l?
False
Suppose 5*y = 32 + 328. Suppose -w + y = 3*w. Is w a multiple of 18?
True
Let q = 75 - 35. Is q a multiple of 10?
True
Let g(b) = -b**3 - 5*b**2 + 8*b - 9. Does 22 divide g(-7)?
False
Suppose -31 - 17 = -4*s. Suppose 0 = k - 5 - s. Does 17 divide k?
True
Let s(a) = a**3 - 5*a**2 + a + 1. Let k be s(6). Let x = -6 + k. Suppose -x = -2*h - 11. Is h a multiple of 5?
False
Let a(j) be the first derivative of -7*j**2/2 + 2*j + 2. Is 9 a factor of a(-5)?
False
Let n(v) = 3*v - 3. Let l be n(6). Suppose 4*g + g + 25 = -2*w, -3*g - l = -2*w. Suppose w = 2*q + q + x - 84, 0 = q + 2*x - 33. Does 9 divide q?
True
Let k(t) = t - 5. Let x be k(7). Let c be ((-3)/(-2))/((-2)/(-4)). Suppose x*v + c*v = 60. Does 12 divide v?
True
Suppose -3*s = 2*a - 12, 2*a + a = 4*s - 16. Suppose a*u - 92 = -4*u. Is 23 a factor of u?
True
Let d(w) = w + 1. Let u be d(4). Suppose -93 = -y - u. Suppose -2*b + y = 2*b. Is 11 a factor of b?
True
Suppose -3*x + 9 = -18. Is 9 a factor of x?
True
Suppose -4*r + x = -74, 2*r - 4*x + 103 = 7*r. Let s = -6 + r. Is 11 a factor of s?
False
Let v(s) = s - 2. Let l be v(1). Let q be (-1 - (0 + l))/(-2). Suppose -2*t + 4*t - 40 = q. Is 10 a factor of t?
True
Let n(u) = u**2 + 7*u - 12. Is n(5) a multiple of 11?
False
Suppose 2*b = -3*w - 15, b + 3*w = -2*b - 18. Let f = 10 - b. Is f a multiple of 3?
False
Suppose -4*s + 48 = -0*s. Suppose -x + s = -3*x. Is x/(-21) + (-276)/(-14) a multiple of 20?
True
Let f(v) = -2*v**2 - 39*v + 45. Is 3 a factor of f(-20)?
False
Let l(o) = 14*o**2 - 2*o + 1. Let n be l(1). Suppose 4*i - 2 = 2*t - 12, 0 = -5*t + 3*i + 25. Suppose t*g - n = 117. Is 13 a factor of g?
True
Let r = -18 - -21. Suppose 2*t + 2*u - 69 = r*u, 5*u + 5 = 0. Is t a multiple of 14?
False
Let w = -21 - -14. Let f = 17 + w. Does 3 divide f?
False
Let n(a) = -6*a. Suppose 3*s - 13 = -4*b, -2*s + 4*b - 4 = 14. Does 3 divide n(s)?
True
Let q(a) = -13*a**2 - 4*a - 7. Let l(w) = -7*w**2 - 2*w - 3. Let t(v) = -9*l(v) + 4*q(v). Is 12 a factor of t(1)?
True
Suppose -2*h - k = -128, -2*h + 3*k + 24 + 96 = 0. Suppose 0 = 2*n + 2*b - 26, -5*n - 6*b + h = -3*b. Let a = 23 - n. Is 11 a factor of a?
True
Let o = -56 - -81. Suppose 0 = -4*j - j + o. Suppose 2*x + 92 = j*x - 4*t, 0 = -5*t - 25. Does