pose b*y + 80 = y. Let r = y + 27. Is r a multiple of 6?
False
Let w(n) = n**2 + 8*n - 6. Let y be w(-9). Suppose y*z - 25 = -10. Suppose 0 = t + z*g - 1, -3*g + 55 = 6*t - 2*t. Does 8 divide t?
True
Let g(d) = d**2 - d + 4. Let y be g(0). Suppose y*q = -5*o - 0*q - 5, 2*q = 3*o - 19. Suppose -7*x + 2*x = 3*c - 97, o*x = 5*c + 31. Is x a multiple of 17?
True
Let k = -21 + 59. Suppose -2*n = 4*z - 94, 2*z - n + 5*n - k = 0. Is 6 a factor of z?
False
Suppose -2*v = 2*v. Suppose 4*r - 3*j - 109 = -2*j, -3*r + 73 = j. Suppose u + v*u = r. Does 13 divide u?
True
Let w(x) = x**2 - x + 46. Let s be w(0). Suppose s = h - 5*b, -2*b = -2*h + 10 + 58. Let o = h - 4. Does 9 divide o?
True
Let p = 749 - 452. Does 22 divide p?
False
Let j(d) = -d + 7. Let a be j(7). Suppose -q + 7 + 33 = a. Does 17 divide q?
False
Let k(v) = 2*v**3 + 3*v**3 + 0*v**3. Let q be k(1). Suppose -5*r + 0 = -2*h - 8, 0 = -q*h + 2*r + 22. Is h a multiple of 6?
True
Let q(x) be the third derivative of x**4/24 + 14*x**3/3 - x**2. Does 14 divide q(0)?
True
Suppose -11 = -2*h - 1, -2*h - 5 = 3*d. Let u = 7 + d. Suppose -3*x + u = z, 0*x = -4*z + 4*x + 24. Is 3 a factor of z?
False
Let y = -6 - -29. Suppose 3*s - y = 82. Does 9 divide s?
False
Suppose 5 = z, o + 8*z = 3*z + 31. Does 3 divide 2*(1 + 33/o)?
False
Let b = -7 + 10. Suppose b*q - 2 - 7 = 0. Does 6 divide 20/5*q/2?
True
Let h be (-6)/18 + (-2)/(-6). Suppose h = -j + 11 - 4. Is j a multiple of 7?
True
Let r(t) = -3*t**2 - 11*t - 4. Let p be (-8)/(2/(-2 - 0)). Let f(x) = 2*x**2 + 7*x + 3. Let y(w) = p*f(w) + 5*r(w). Does 23 divide y(-7)?
True
Suppose 3*c + 13 = -29. Let g be ((-3)/(-5))/(1/45). Let d = g + c. Is d a multiple of 13?
True
Let l = 8 + -8. Suppose 5*a - 55 = -l*a. Is a a multiple of 3?
False
Suppose 6 = -4*b + b, 2*n - 2*b = 24. Is n a multiple of 6?
False
Suppose 3*c = -2*j + 7 + 3, 3*j + 3 = 0. Let n(s) = 0 - c + 12*s + 5. Does 8 divide n(1)?
False
Let u be 2/((-4)/(-6)) + 0. Let n(r) = 2*r - 2 + u*r**3 + 4 - 1. Is 11 a factor of n(2)?
False
Let l = 1 - 1. Suppose 0*n + 3*n - 12 = l. Does 3 divide n?
False
Suppose 3*g + 72 = 7*g. Is g a multiple of 7?
False
Is 4 a factor of 1*(10/2)/1?
False
Suppose 2*f = v - 99 + 33, 5*f = 5*v - 330. Is v a multiple of 6?
True
Suppose -3*c + 4 = -c. Let f(g) = -c*g + 13 + 3 + 3*g. Is 8 a factor of f(0)?
True
Let g = 7 + -11. Let z be 12/9*(-18)/g. Suppose 0 = 8*f - z*f - 50. Is f a multiple of 8?
False
Suppose -104 = 7*g - 1133. Is g a multiple of 24?
False
Is 14/((-9)/3 - -4) even?
True
Does 18 divide (0 + 1 - -35)/(37/37)?
True
Let n = 15 + -9. Suppose -5*x + n*x = 18. Is x a multiple of 6?
True
Let y(d) = -3*d**2 - 5*d + 2. Let i be y(-6). Let b = 112 + i. Is 28 a factor of b?
False
Let l(z) = -13*z**3 + z**2 - 2*z - 4. Does 15 divide l(-2)?
False
Suppose r + 2*r + t = 10, -t + 1 = 0. Suppose 3 = 3*u, 0*w + r*u + 7 = 2*w. Suppose -2 = w*d - 27. Does 2 divide d?
False
Let v(j) = 13*j**2 - 2*j - 1. Is 8 a factor of v(-1)?
False
Let d(z) be the first derivative of -z**2 + 4*z + 1. Let m = -5 + -1. Is d(m) a multiple of 8?
True
Let k = 1 - -26. Let n = k - 19. Is 4 a factor of n?
True
Let d = -30 + 162. Is d a multiple of 21?
False
Let i(r) = 8*r + 1. Let g be i(8). Suppose -w = 4*w - 5*u - g, -5*u = -w + 33. Does 4 divide w?
True
Let h = -9 + 11. Suppose -j + 21 = h*j. Does 4 divide j?
False
Let a(b) = -b**3 - 16*b**2 - 31*b - 11. Does 10 divide a(-14)?
False
Suppose 2*z = 3*z. Suppose z = -2*j - 2*j + 20. Is j a multiple of 2?
False
Suppose -2*u + 2*j - j = -8, -u + 5*j + 4 = 0. Is 124/9 - u/(-18) a multiple of 7?
True
Suppose 3*q + 2*q = 365. Let g = 22 - 56. Let b = g + q. Does 20 divide b?
False
Suppose 2*m + 3*h = 15, 5*m - 10 - 5 = -3*h. Suppose m = -0*p - 2*p. Suppose -2*a - 2*a + 48 = p. Is a a multiple of 12?
True
Let d(m) = m - 7. Let s be d(9). Let w(u) = 5 + 5*u**s - 3*u - u**2 + u**2 + u**3. Does 10 divide w(-5)?
True
Let w be (-2)/((-21)/15 - -1). Suppose p = 7 + w. Does 6 divide p?
True
Suppose 0*n + 40 = 2*n. Let c(p) = p + 1. Let t be c(7). Let h = n + t. Is 10 a factor of h?
False
Let c(q) = -q**2 + 6*q - 2. Let i be c(5). Suppose i*y = 2*y + 27. Is 9 a factor of y?
True
Suppose 5*i - 3*q - 17 = -2, 2*q + 3 = i. Suppose i*t = 107 - 17. Is 10 a factor of t?
True
Let a be (-1)/6 + 319/6. Suppose 6*o = o + 20, -5*o = 3*s - a. Is s a multiple of 10?
False
Is 12540/36 + (-4)/(-6) a multiple of 13?
False
Suppose -189 = k - 4*k - 3*a, 4*k - 264 = 2*a. Is k a multiple of 13?
True
Let x(q) = 5*q + 5 - q + 0*q - 5*q. Is x(-12) a multiple of 17?
True
Let l(h) = h**3 + 4*h**2 + h + 3. Let n be l(-4). Let m be (-6)/3 - (-1 + -9). Let x = m + n. Is 3 a factor of x?
False
Let f be 14/2 - (0 - -2). Let i(s) = s**3 - 6*s**2 + 6*s - 3. Let h be i(f). Suppose 24 = -h*c + 5*c. Does 6 divide c?
False
Is (3/(-5))/(-6 + 2303/385) a multiple of 3?
True
Let u(h) = -h**2 - 13*h + 1. Let l be u(-13). Suppose -3*y + l = -23. Is 4 a factor of y?
True
Suppose -3*z + 4*t + 106 = 0, 0*t - 3*t + 196 = 5*z. Is z a multiple of 9?
False
Suppose -11 - 10 = -3*v. Does 7 divide v?
True
Suppose -2*x + 73 = -3*r - 7*x, -5*x = 2*r + 57. Let v be r/3 - (-8)/(-12). Is 18 a factor of v - -5 - (-37)/1?
True
Let r(u) = 45*u - 15. Let h(l) be the first derivative of -11*l**2/2 + 4*l - 1. Let y(a) = 9*h(a) + 2*r(a). Does 30 divide y(-6)?
True
Suppose -2*a - 151 = -5*a + 2*k, -5*k = -2*a + 86. Let m = -19 + a. Does 12 divide m?
False
Suppose -4*f + 3*q + 148 = 0, 0 = -2*f - 3*f + 4*q + 184. Let u = -21 + f. Does 8 divide u?
False
Let j be (-2)/(-4) + 1/(-2). Let p = 13 - j. Is 6 a factor of p?
False
Let k(g) = g - g - g + 0. Let h(o) = -2*o - 7. Let z(d) = h(d) - 6*k(d). Does 9 divide z(7)?
False
Let a be (5 - 1)*78/(-8). Let q = a - -65. Is q a multiple of 13?
True
Let n be 6*3/6 + -3. Does 6 divide 6 - (3 - (3 - n))?
True
Suppose -6 = -3*q + q. Suppose q*d - 68 = d. Is 17 a factor of d?
True
Suppose 3*w = 2*u + 24, -u + 2*w = -5*u - 16. Let o be (u/(-3) - 62) + -1. Let z = 86 + o. Does 23 divide z?
False
Suppose 5*u + 4 = n + 2*u, 0 = -3*u. Is n even?
True
Let n(u) = 2*u**2 + 3*u + 10. Is n(-5) a multiple of 9?
True
Let v = 73 + -52. Does 7 divide v?
True
Suppose -4*n + 15 = 63. Is ((-27)/2)/(3/n) a multiple of 27?
True
Suppose -5*p - 1 = 2*r, 5*r + 21 = 5*p + 1. Let k(w) be the second derivative of w**4/12 - w**3/2 - 3*w**2/2 - 2*w. Does 9 divide k(r)?
False
Let f(u) = -u**3 + 0*u**3 + 2*u**3 - 7*u**2 - 7*u. Is 8 a factor of f(8)?
True
Suppose -5 = -2*y + x, -y + 4*x + 3 = -3. Is 4 a factor of 3/y*(1 - -3)?
False
Suppose -5*j = -5, -2*q - 3*q = 3*j - 53. Is 15 a factor of 15/(-5)*q/(-1)?
True
Let g(y) = 37*y - 1. Is 2 a factor of g(1)?
True
Let w be (4/(-8))/(2/(-92)). Suppose 3*i - w = 7. Is i a multiple of 3?
False
Suppose -2 = -l - 2*j + 5, -l - j + 9 = 0. Is l a multiple of 7?
False
Let b = -2 + 5. Suppose 3*o + 112 = 4*n, b*n - 4*o - 112 = -n. Is 14 a factor of n?
True
Is 25 a factor of 48/18*75/4?
True
Suppose 5*b - 3*j = j + 257, -3*j = 5*b - 236. Does 10 divide b?
False
Let u be 2/(0 - (-3)/(-30)). Is 4/(-10) - 48/u even?
True
Suppose 0 = 5*i + 2*w + 13 + 100, -3*i - 75 = 3*w. Let d = 34 + i. Is 6 a factor of d?
False
Suppose -i = -0*i - 3. Suppose -94 = -i*s + 176. Suppose 0 = -4*y - 2*q + 144, -y + 3*q + s = 2*y. Is y a multiple of 13?
False
Suppose -5*j = -3*j - 4. Suppose -4*z = 4*s + s - 161, -3*s = -j*z + 97. Does 17 divide z?
False
Let s = 5 - 3. Suppose 3*a - 23 = -4*f, -4*f - 3*a + 19 = -s*f. Suppose 0 = f*i + 7*n - 2*n - 1, -5*n = i + 7. Does 7 divide i?
False
Let o(d) = 6*d + 6. Let t be 9/(-3) + (6 - 3). Suppose -4*s + 4*m + 16 = t, -3*m + 26 - 2 = 3*s. Is 18 a factor of o(s)?
False
Suppose 0 = -4*k - 0 - 8. Does 2 divide (-6)/12 - 15/k?
False
Let h be (-6)/15 - (-24)/10. Let z = h - -1. Suppose 2*a - 53 = -z*t, 5 = 4*a + 1. Is 14 a factor of t?
False
Let d = -111 - -251. Suppose 5 = -3*l + d. Is l a multiple of 14?
False
Let j = 19 + -3. Suppose -5*f + 121 = j. Is f a multiple of 12?
False
Let i(t) = -8*t - 9*t + 8*t - 15*t. Is 12 a factor of i(-2)?
True
Is 5 a factor of (-1 + -1 - 18)/(-1)?
True
Let s(g) = 4*g**3 + g - 5*g**3 - 45 + 111 + g**2. Does 22 divide s(0)?
True
Let h(p) = p**2 + 4*p + 3. Let v(q) = -2*q**2 + q - 1. Let f be v(1). Let k be h(f). Does 12 divide (-1)/(k/22) 