tor of v?
False
Suppose 2*h + 115 = 5*z, -z - 2*h - 2*h + 23 = 0. Is z a multiple of 4?
False
Let a be 13 + (3 - 4) + 0. Is 2 a factor of (0 - -1)/(6/a)?
True
Suppose -2*p + 24 = -2*i + 6*i, 0 = -4*p - i + 62. Is p a multiple of 12?
False
Let x(a) = 64*a + 3. Is 22 a factor of x(2)?
False
Let z = 114 + -62. Is 13 a factor of z?
True
Suppose -u - 82 = v - 2*v, u = 3*v - 246. Is v a multiple of 8?
False
Let p(x) = x**2 + x - 1. Let z(q) = -6*q**2 - 4*q + 3. Let y(v) = -5*p(v) - z(v). Let r be y(0). Suppose 0 = f + 3*j + r*j - 14, j = 2. Is 4 a factor of f?
True
Suppose 4*i = -f + 3 + 4, 4*f = -4*i - 20. Is (f/6)/(1/(-4)) even?
True
Does 2 divide 52/14 + 5/((-35)/(-2))?
True
Suppose 0 = -5*c - 3*h - 0*h + 322, c + 5*h = 60. Is 5 a factor of c?
True
Let i be 52/6 - (-2)/(-3). Suppose 5*k - 6*p - 108 = -2*p, -4*p = i. Does 10 divide k?
True
Let s = -5 + 8. Suppose 2*x - 5 - s = 0. Is 156/7 + x/(-14) a multiple of 11?
True
Suppose 0 = 27*p - 26*p - 136. Does 21 divide p?
False
Let s(o) = -4*o + 3. Let b be s(2). Let j = 8 + b. Is j a multiple of 2?
False
Suppose 0 = -x - 2*a + 52, -3*x - a = -6*a - 167. Is x a multiple of 25?
False
Suppose h = 2*d + 2*d - 129, -127 = -4*d - h. Does 18 divide d?
False
Suppose -128 = -3*n - 2*h, -4*n - 5*h = -0*h - 173. Is 14 a factor of n?
True
Suppose 668 = 4*r + 5*m, 4*m + 470 = 4*r - r. Is 17 a factor of r/(-12)*(-2 - 0)?
False
Let p(c) = 15*c - 10 + 4*c**2 + 0 - 7*c - 3*c**2. Is p(-10) a multiple of 10?
True
Let y(l) = l**2 - 8*l - 5. Let s be y(8). Let c = s - -13. Is c a multiple of 4?
True
Let g(z) = -5*z + 4*z - 3*z - z - z**2 + 6. Let m be g(-5). Suppose -m*u + 24 = -2*u. Does 5 divide u?
False
Is 19 a factor of (1 + 0/(-2))*114?
True
Let m(x) = 59*x. Let p be (6/18)/((-2)/(-6)). Is m(p) a multiple of 18?
False
Let h(a) = -3*a**3 + 6*a**2 - 2. Let c(k) = -k**3 - k. Let l(w) = -4*c(w) + h(w). Is 14 a factor of l(-4)?
True
Let a(h) = -17*h - 56. Let q(d) = 4*d + 14. Let p(g) = -2*a(g) - 9*q(g). Does 5 divide p(-14)?
False
Let z be ((-6)/7)/(4/(-28)). Suppose 4*y + 2 = z*c - c, -3*y = -2*c - 2. Does 13 divide 14 - 1*(0 - c)?
False
Suppose -3*l = -b + 5*b - 48, 0 = 3*b. Let j = l - 6. Suppose -30 = -5*w - 4*o, -j + 40 = w - 4*o. Is 5 a factor of w?
True
Let z = -2 - -10. Suppose 4*y - 8*j + 3*j = 58, y = -2*j + z. Does 12 divide y?
True
Is 21 a factor of -1 + 46 + (-1 - 2)?
True
Suppose 0 = -3*k - 2 + 14. Let b be k - 3/3*-2. Suppose 4*w + 16 = b*w. Does 3 divide w?
False
Let u(o) = o + 8. Let m be -2*((-2)/(-4) + -2). Suppose m*l = p - 0*l - 3, -3*l = -5*p + 27. Is u(p) a multiple of 7?
True
Let k be (325/(-10))/(1/(-6)). Is (-10)/15 - k/(-9) a multiple of 7?
True
Let d(n) = n**2 - 5*n - 66. Does 28 divide d(-10)?
True
Is 32 a factor of (-58)/4*36/(-6)?
False
Let b(u) = u**2 - u - 8. Is 5 a factor of b(6)?
False
Let b(x) = -11*x - 4. Let v(m) = -98*m - 35. Let t(o) = 35*b(o) - 4*v(o). Suppose 0*g - 5*q + 15 = -5*g, 5*q - 19 = 3*g. Does 6 divide t(g)?
False
Let n = -22 - -43. Suppose n = 5*v - 24. Is 6 a factor of v?
False
Suppose -4*t - 5 = -17. Suppose -44 = -g + 5*n, -3*g = -g + 2*n - 28. Suppose 0 = 2*b - t*d - 51, b - 2*d - g = 9. Does 13 divide b?
False
Suppose 11*v = 12*v - 112. Does 16 divide v?
True
Let w = -48 - -138. Is 30 a factor of w?
True
Suppose 312 = 14*f - 1312. Is f a multiple of 8?
False
Let w be (7 - (-1)/(-1)) + -2. Suppose 0 = -5*t - b + 38 + 148, -w*t + 3*b = -145. Is t a multiple of 14?
False
Let c(o) = o**2 + 2*o + 2. Suppose 3*g - 2*y + 8 = -4*y, -5*y + 5 = -5*g. Let f be c(g). Suppose 3*d + 20 = 2*j, -f*j + 10 = -j + 3*d. Is j a multiple of 5?
True
Let y = 6 - -5. Let r = 16 - y. Suppose -r*n + 56 = -104. Is 16 a factor of n?
True
Let u = 4 - -1. Is 4 a factor of 15*(1 - 1/u)?
True
Let t be (-1 - 0)*(2 + -2). Let x = -3 - t. Let i(o) = -4*o. Is i(x) a multiple of 6?
True
Let p = -15 - -6. Let s = -5 - p. Is 2 a factor of s?
True
Suppose -2*a + a = -1. Suppose m - 1 = a. Suppose -m*i + 2*s + 42 = 0, 2*s = 2*i + 3*s - 45. Is 11 a factor of i?
True
Let f(n) = 13*n + 11. Is 17 a factor of f(7)?
True
Let p(z) = -98*z - 17. Is p(-1) a multiple of 9?
True
Does 3 divide (-3)/18 + -2 + (-388)/(-24)?
False
Let m = 7 + -12. Let a(d) be the third derivative of -d**6/120 - d**5/12 - d**4/12 + d**2. Does 10 divide a(m)?
True
Let d(i) = i**3 + 6*i**2 + 3*i + 1. Let p be d(-2). Let s(y) = -5*y + 2*y - p + 0*y - 4. Is s(-10) a multiple of 5?
True
Let b(x) = x**3 - 3*x**2 + 3*x - 2. Let f be b(2). Suppose -j + f*j + 20 = 0. Suppose 0 = -5*k + j, -k + 12 + 6 = y. Is 7 a factor of y?
True
Let p(z) = z - 1 + 0 + 2 + 6*z**2. Let v = -9 + 8. Is 3 a factor of p(v)?
True
Let v(h) = 2*h - 4. Let b be v(3). Let p be (b + (1 - 0))/1. Suppose -j + 128 = p*x, -2*j - 210 = -5*x - 3*j. Is x a multiple of 16?
False
Suppose -27 - 6 = -3*h - 3*b, h - 3 = b. Suppose -h*l + 50 = -104. Is 22 a factor of l?
True
Suppose -3*p + 9 = -0*p. Suppose -2*b - p*g + 2*g = 1, 10 = 5*b + 5*g. Is 13 a factor of b/5 - 166/(-10)?
False
Let t(u) = 7*u + 2. Let h be t(5). Let c = h + 4. Is c a multiple of 14?
False
Let j = -17 - -67. Let i be 6/27 - j/(-18). Suppose -b = -i*b + 50. Is b a multiple of 11?
False
Let u = 127 - 82. Is u a multiple of 15?
True
Let x(p) = 5*p**2 - 8*p + 2. Is x(3) a multiple of 4?
False
Let l(a) be the third derivative of -a**4/8 + a**3/3 - a**2. Let m(p) = -p**2 + 24*p - 46. Let z be m(22). Is 4 a factor of l(z)?
True
Let h(v) be the first derivative of -v**5/24 - v**4/12 - v**3 - 3. Let b(y) be the third derivative of h(y). Does 7 divide b(-2)?
False
Suppose -5*x - 33 = -288. Is x a multiple of 9?
False
Let t be (-2)/9 + 418/18. Let f = t - -103. Is 8 a factor of 2/8 - f/(-8)?
True
Suppose 18 = 3*o + 3. Let s(c) = -c**3 + 6*c**2 + 5*c + 5. Does 14 divide s(o)?
False
Suppose 0*r + 3*r = 3*m - 45, -4*r = -5*m + 80. Suppose 0 = 5*x - m, -3*i + 160 = -x - x. Is i a multiple of 14?
True
Suppose c + 4*c = 10. Does 17 divide (-1)/2 - (-57)/c?
False
Let k be 12/((-2)/(-3) + 0). Let c = 34 - k. Is c a multiple of 5?
False
Suppose 4*b - 16 - 8 = 0. Suppose m + 3 = b, -4*m = 3*g. Does 3 divide (3 - 0)*g/(-3)?
False
Let r(p) = -19*p - 9. Does 23 divide r(-6)?
False
Suppose -r - 16 = 3*r. Let f = -7 - r. Let v = 1 - f. Is v a multiple of 3?
False
Let k be (14/4)/((-2)/4). Let c = -3 - k. Is 4 a factor of c?
True
Suppose -2*j - j - 6 = 0. Suppose -4*t - 1 + 5 = -4*l, 5*t - 2*l = 11. Let s = t - j. Is 2 a factor of s?
False
Suppose r + 0 = -3*b - 8, 2*b - 4*r + 10 = 0. Does 7 divide 2/(b + (-231)/(-75))?
False
Suppose -3*n = 3*p - n + 2, -4*n = 16. Suppose 5*s - 1 = 9. Suppose -1 = -p*y + 5*h, 4 = -4*y + s*h + 30. Is y a multiple of 4?
True
Suppose 115 - 7 = 2*z. Is 16 a factor of z?
False
Suppose 5*i + 3*m = 193, 3*i - 35 = 2*i + 3*m. Does 11 divide i?
False
Let p(s) = 4*s + 123. Does 7 divide p(0)?
False
Suppose -2*v - 8 = -4*h, -2*v - 5*h = v - 21. Suppose v*c + 5*i - 184 = -2*c, 0 = -3*i - 12. Does 17 divide c?
True
Suppose 0 = -3*u - u, 4*r - 2*u - 3416 = 0. Let d = 126 + r. Is d/45 + (-2)/(-9) a multiple of 11?
True
Suppose 0 = -7*a + 4*a + 6. Suppose -h - 15 = -i, 2*h + 28 = a*i - 2*h. Is 16 a factor of i?
True
Suppose 11 + 4 = 5*g. Suppose -3*o = -y - 173, 3*o - g*y = 4*o - 51. Let t = o + 4. Does 19 divide t?
False
Let t = 101 - 10. Does 49 divide t?
False
Is 0/(-2) + 3 + 52 a multiple of 11?
True
Let m(d) = d**2 - 6*d - 1. Let u be m(7). Let b = 8 - u. Suppose -b*f + 19 = 3*l, -2*l + 7 + 1 = f. Is 14 a factor of f?
True
Let m(p) = 72*p**2 + 12*p + 12. Let n(y) = 29*y**2 + 5*y + 5. Let o(a) = 5*m(a) - 12*n(a). Is o(-2) a multiple of 16?
True
Let o = -48 - -82. Suppose -5*z = -o - 116. Is 15 a factor of z?
True
Is 20 a factor of (8/5)/((-2)/(-125))?
True
Let z(d) be the first derivative of d**3/3 - d**2 + 6*d + 1. Let j be z(6). Suppose 5*c - j - 55 = 0. Is c a multiple of 17?
True
Suppose 5*r = -25, 4*w + r + 34 = -23. Let b = w - -23. Does 14 divide (-4)/10 - (-144)/b?
True
Let x(v) = -v**3 + 5*v**2 - v - 1. Let h = -4 - -7. Let u be h/9*4*3. Is 11 a factor of x(u)?
True
Is 3 a factor of 155/17 + (-10)/85?
True
Suppose -t + 31 = -7. Is t a multiple of 30?
False
Let k = 4 - 0. Let r be 63/2 - 2/k. Let f = -18 + r. Is f a multiple of 13?
True
Suppose 0*v = -4*v - z + 132, -4*v + 4*z + 152 = 0. Is v a multiple o