. Is h a multiple of 9?
False
Suppose j = -5 - 0. Let b be (j/15)/((-2)/6). Let q(o) = 36*o**2 - 2*o + 1. Is q(b) a multiple of 12?
False
Let k(f) = 2*f**3 - 5*f**2 + f + 2. Suppose 2*x = -x + 6. Suppose -9 = -x*y - 3. Is 7 a factor of k(y)?
True
Suppose -3*y + n = 2*n + 11, -y = 4*n. Does 2 divide 8/(-32) - 9/y?
True
Let n(m) = -2*m**2 + 3 + 0*m**2 - 1 - 2*m. Let v be n(-2). Is (v - -1)*-1*19 a multiple of 19?
True
Let q(u) = -u**3 + 8*u**2 - 2. Let p be q(8). Is 3 a factor of (-40)/(-6)*(-3)/p?
False
Suppose -86 = -3*b + 2*r, 0 = -2*b + 5*b - 5*r - 98. Let m = 8 + 25. Suppose 3*d - m = -3*y, 3*d - 3*y = -5 + b. Is 4 a factor of d?
False
Is 18 a factor of 174/8*64/24?
False
Suppose 2*g = 5*v + 344, -3*g + 4*v + 358 + 158 = 0. Is g a multiple of 43?
True
Let o = -51 - -101. Let h = -15 + o. Is 8 a factor of h?
False
Let p(x) = 55*x**2 - x. Is 6 a factor of p(1)?
True
Suppose d - 5*q + 10 = -4*d, 3*d = -q + 10. Suppose 4*g + 5*p - 92 = 0, 5*p + 26 - 6 = 0. Suppose 0 = d*o - 2, -2*a + 2*o + g = a. Does 9 divide a?
False
Is 10 a factor of (-79)/(-2) - 5/10*-1?
True
Let p(g) = -g + 1. Suppose -2*c + s + 3 = 0, 3*c + s + 0*s = -8. Let x be p(c). Suppose -x*y - y + 27 = 0. Does 6 divide y?
False
Let b be 0 + 3 + (-18)/3. Is (-134)/(-6) + 1/b a multiple of 6?
False
Let q = 37 - 27. Does 5 divide q?
True
Let j(n) = -3*n - 2. Let z be j(-2). Let x(u) = u - 4. Let w be x(z). Suppose 5*v - 21 - 4 = w. Does 2 divide v?
False
Let p(k) be the second derivative of k**5/20 + 5*k**4/12 - k**3 - 7*k**2/2 - 4*k. Does 17 divide p(-5)?
False
Let a be (-102)/(-5) - (-24)/40. Suppose -81 = -2*c - a. Is c a multiple of 14?
False
Let m = -6 - -9. Does 2 divide m?
False
Is 2 - (-31 + (6 - 4)) a multiple of 15?
False
Suppose -288 = -3*f - 4*y, -3*f - 2*f + 494 = 2*y. Let k = -48 + f. Is 17 a factor of k?
False
Suppose 0 = -2*t + 4*t - 130. Is t a multiple of 8?
False
Let x = -182 + 278. Is 4 a factor of x?
True
Suppose v + 0 = 3. Does 2 divide v?
False
Let u(f) = f**3 - 4*f**2. Let c be u(3). Let h = 15 + c. Is h a multiple of 5?
False
Let u = 35 - -11. Is u a multiple of 27?
False
Suppose 3*h + n = -7 + 23, 5*h + 5*n - 20 = 0. Suppose h*t - 3*t + g = 2, -4*g - 16 = 0. Suppose 0 = 2*m - 5*u - 3 - 16, -t*m - 3*u = -27. Is 12 a factor of m?
True
Suppose -7*i - 30 = -2*i. Is 5 a factor of (-15)/4*16/i?
True
Let x(f) = 2*f - 2. Let j be x(2). Suppose 0 = -j*t - 5*b + 136, -3*t + 0*t = -b - 204. Is 19 a factor of t?
False
Let b(i) = i**2 - 4*i + 2. Let j be b(3). Is (15/(-6))/(j/2) even?
False
Suppose 2*h + 3*h = 0. Suppose h = 3*w + d - 50, -31 = -2*w - 3*d + 7. Is 8 a factor of w?
True
Let g(d) = -d + 1. Let s(l) = -4. Let q(b) = -10*g(b) - 2*s(b). Suppose -9 = 3*k, -2*n + 0*k - 11 = 5*k. Does 18 divide q(n)?
True
Suppose -31 = -3*x + 50. Is x a multiple of 2?
False
Let t be (-60)/(-16)*(-24)/(-9). Suppose t = -0*y + 2*y. Is 5 a factor of y?
True
Let y be 3/1*(0 - -1). Suppose y*k + 54 = 6*k. Does 10 divide k?
False
Is (68/(-2))/((-6)/12) a multiple of 17?
True
Let j be (-2 - -5)*(1 - 0). Suppose -3*q + 147 = -3*t, -t = j*q + q - 191. Is q a multiple of 16?
True
Let w(o) = o**3 + 7*o**2 + 7*o + 5. Let f be ((-8)/(-10))/(2/5). Let t be 2*f/(-4)*5. Is 9 a factor of w(t)?
False
Is 34 a factor of 12*(-9)/((-108)/136)?
True
Suppose -2*v = -0*v + 56. Let t be (3/(-6))/(1/v). Suppose -q = -2*q + t. Does 7 divide q?
True
Suppose -3*t - 2*t + 75 = 0. Is 8 a factor of (-864)/(-30) + 3/t?
False
Suppose -6*q = -q - w + 23, -4*q - 2*w - 10 = 0. Let j be (2/q)/((-1)/4). Suppose -i + 21 - j = 0. Is 19 a factor of i?
True
Let r = 13 - -5. Suppose 3*o = 4*o - r. Is o a multiple of 8?
False
Let s(l) = -l**2 + l + 1. Let c(j) = -7*j**2 + 13*j + 14. Let d(w) = -c(w) + 6*s(w). Let m = -8 + 18. Is d(m) a multiple of 11?
True
Let x(s) = 10*s + 2. Let i be x(-2). Does 9 divide i*(0 + -2)/4?
True
Suppose -2*u + 4*g + 49 = -121, 4*u - 340 = 2*g. Is u a multiple of 29?
False
Let u(z) = z**3 + 6*z**2 + 4. Is u(-6) a multiple of 4?
True
Suppose 5*p = -2*l + 3*l + 75, -p + 24 = -2*l. Suppose -14 = -2*d + p. Is 4 a factor of d?
False
Let h be ((-2)/(-2))/((-1)/3). Let o(q) = -2*q + 2. Does 3 divide o(h)?
False
Let s(d) = 2*d**2 + 10*d + 11. Let q be s(-8). Suppose -2*x + 3*x + 13 = i, 5*i - 2*x - q = 0. Is i a multiple of 11?
True
Suppose -4*u + u = 12. Let x(l) = -l**3 - 2*l**2 - 2*l - 2. Is 19 a factor of x(u)?
True
Let j(x) = 2*x**3 - 4*x**2 + 4*x - 3. Let y be j(2). Suppose y*i - 280 = 5*l, 2*i = -i - 4*l + 189. Is i a multiple of 16?
False
Let v = 15 + 41. Suppose -2*i = -i - v. Is 19 a factor of i?
False
Let t be ((-8)/(-20))/(1/85). Suppose -2*a - 6*q + 20 = -2*q, -3*q = -6. Is 10 a factor of (1 - 3/a)*t?
False
Suppose 0 = 2*l + 2*l - 36. Suppose -u - 2*u + l = 0. Suppose u + 5 = k. Is 4 a factor of k?
True
Suppose -163 + 15 = -4*s + 4*i, -4*s - 3*i = -113. Suppose -5*g - q - 6 = -s, 2*g - 3*q = 24. Does 18 divide g/(-2)*(-6 - 0)?
True
Let h(t) = 4*t**2 + 8*t - 8. Let q be h(-8). Suppose -3*n = n - q. Does 12 divide n?
False
Let w be 364/(-10) + 6/15. Let h = w + 61. Is h a multiple of 14?
False
Is (-3)/(-2) + (-2724)/(-24) a multiple of 23?
True
Is (1 - (-14)/(-3))/((-1)/9) a multiple of 9?
False
Let i be (-9*1 - -1)/(-1). Let b(p) = p**3 - 9*p**2 + 5*p + 10. Let d be b(i). Let s = 16 - d. Is s a multiple of 18?
False
Let q = -50 + 158. Is 27 a factor of q?
True
Let t = -2 - -5. Suppose 3*h - 19 = h - k, 0 = -5*h - t*k + 49. Is 4 a factor of (h/20)/(1/10)?
True
Suppose 0 = 5*t + 2*a - 280, 5*t + 2*a = -a + 285. Does 27 divide t?
True
Let g(b) = 39*b - 3. Suppose 5*y = 20, 4*t - 5*y = -y - 8. Let h be g(t). Let f = 107 - h. Is 16 a factor of f?
True
Is 21 a factor of (-82)/(2/1*-1)?
False
Let n be (4 - -10)*(-1)/2. Let r = n - -4. Let b = r - -15. Does 5 divide b?
False
Suppose -5*h + 123 = -157. Is 8 a factor of h?
True
Let d(r) = 11*r + 1. Let h be d(2). Let u = h - 12. Is u a multiple of 4?
False
Suppose 3*n = -2*n + 25. Suppose -95 - 180 = -n*k. Suppose 3*p = 15, -2*s - 3*p + 0*p + k = 0. Is 6 a factor of s?
False
Suppose 2*i - 83 = -17. Is 7 a factor of i?
False
Let q be (-844)/10 - (-8)/20. Let y = 55 + q. Is -1 + (-3)/(3/y) a multiple of 19?
False
Let w be (2/6)/(3/9). Is 2 a factor of w/(0 + 1/3)?
False
Let a(i) be the first derivative of -i**4/4 + 7*i**3/3 - 5*i**2/2 - 2*i - 3. Let s = 5 + 1. Is a(s) even?
True
Suppose 0 = 6*z - z - 150. Let d be (-1)/6 + 95/z. Suppose -2*u - b = -25, -3*u - d*b + 63 = 2*u. Is u a multiple of 12?
True
Suppose -33 = 2*y + 4*w - 145, 2*w = -3*y + 176. Does 30 divide y?
True
Does 3 divide (-27 - -28)*(-2 + 27 - 2)?
False
Let g = 32 - 73. Let a = -29 - g. Is a a multiple of 12?
True
Let g(l) be the third derivative of l**4/12 - 5*l**3/2 + 3*l**2. Does 3 divide g(10)?
False
Let z = 86 - 58. Is 792/z + 4/(-14) a multiple of 7?
True
Let d(h) = h**2 - 4*h - 4. Let c be d(5). Is 12 a factor of c/2*0 - -12?
True
Suppose 0 = -0*z + z + 52. Let x = z + 105. Is x a multiple of 24?
False
Suppose 5*r = 3*x + 124, -5*x = 4*r - 8*r + 94. Is r a multiple of 13?
True
Let o = -35 - -65. Is o a multiple of 5?
True
Let t(x) be the second derivative of -x**5/20 - 11*x**4/12 - 2*x**3 - 3*x**2 + x. Let c be (-1)/(3/3) + -9. Does 11 divide t(c)?
False
Let f be (7/3 - 3)*-3. Suppose 0 = -a - f, -4*a = -0*m - 4*m + 52. Is 3 a factor of m?
False
Suppose -i + 5 - 3 = 0. Suppose 42 = -c - i*c. Let f = -3 - c. Is 4 a factor of f?
False
Let l = -134 + 261. Let i = l - 203. Is (i/(-6))/((-6)/(-9)) a multiple of 19?
True
Is 72/9*(51/12 + -1) a multiple of 13?
True
Let p(v) = v + 1. Let k = 1 - -2. Let o be p(k). Suppose 0 = -2*u + o*s + 16, -u + 4 = -4*s + 2. Is u a multiple of 14?
True
Is 10 a factor of (-531)/(-5) - 10/50?
False
Let y(u) = 5*u**2 + 2*u + 2. Let g(c) = 4*c**2 + 2*c + 1. Let h(a) = 4*g(a) - 3*y(a). Does 13 divide h(-5)?
True
Suppose 5*n = u - 3*u + 3, 0 = -4*u - n + 15. Suppose q = -v + 110, u*v + v - 20 = 0. Suppose 0 = 5*d - q + 11. Is d a multiple of 8?
False
Suppose 0 + 51 = -3*v. Suppose -4*i + 96 = -0*i. Let y = i + v. Does 7 divide y?
True
Suppose 36 = -2*q + 5*q. Let n = 7 + q. Is n a multiple of 19?
True
Let x(p) = 8*p - 3. Let l = 13 + -21. Let v = l + 15. Does 18 divide x(v)?
False
Let g(v) be the third derivative of 5/6*v**3 + v**2 + 1/6*v**4 + 0 + 0*v. I