 Suppose -x*h + s + 122 = 0, -4*s + 3*s - 98 = -4*h. Is 16 a factor of h?
False
Let p = -89 - -47. Let s = p - -144. Is 12/(-9)*s/(-4) a multiple of 17?
True
Let j(a) = -2*a - 12. Suppose -5*l - 5 = 20. Let v = l - 4. Is j(v) a multiple of 4?
False
Let t = -89 + 106. Is t even?
False
Suppose 0 = -4*t + 3*f + 10, -3*t - 2*f = -3*f - 5. Let j be (4*t)/(-3 + 5). Suppose j*q = -q + 63. Is 18 a factor of q?
False
Suppose 126 = 4*x + 10. Is x a multiple of 15?
False
Suppose 0*p = -4*p + 164. Is 13 a factor of p?
False
Let m be 1/3 - 85/(-15). Suppose 3*s = -2*v + 21 - m, 2*s - 6 = 0. Suppose -5*t + 4*i + 138 = 0, -v*i = 3*t - 0*i - 72. Is 13 a factor of t?
True
Suppose -2*p = 2*p - 12. Suppose p*n - 16 = 8. Let w = -1 + n. Is w a multiple of 3?
False
Let p(x) = 2*x**2 - 3*x + 0 - x**2 - 1. Let l = -29 - -27. Is p(l) a multiple of 7?
False
Suppose 23 = 4*r - 5. Suppose -2*l + r*l = 200. Is l a multiple of 8?
True
Let t(n) = 5*n**3 - n**2 - n + 1. Let x be -2 - 2/(2/(-3)). Let v be t(x). Suppose g = v - 0. Is g a multiple of 4?
True
Let z(n) = -n**3 - 9*n**2 - 4*n + 12. Let y be z(-9). Let s = y + -26. Is 22 a factor of s?
True
Suppose 5*j - 5*f + f = 36, f = -4. Suppose -j*k + 4 = -8. Suppose -2*i + 6*i = g + 48, k*g + 36 = 3*i. Does 6 divide i?
True
Let l(a) = 1. Let c(i) = -3*i + 10. Suppose -4*t = 5 - 1. Let h(p) = t*c(p) + 6*l(p). Is h(6) a multiple of 6?
False
Suppose 3*u - 5*k = 108 + 30, 2*k = -6. Let r be 1 + 1/1 + 1. Suppose r*l - u = 49. Does 23 divide l?
False
Suppose 5*u + 3*a - 204 = 0, u - 4*a = -4*u + 183. Does 5 divide u?
False
Suppose 0 = -r + 4*m + 43, -4*m + 132 = -3*r + 7*r. Is r a multiple of 35?
True
Let u(x) = -2*x**3 - x**2 + x + 1. Let h = -5 - -4. Let o be u(h). Let l(m) = 7*m**3 - m**2. Does 3 divide l(o)?
True
Suppose o + u - 2 = 0, 0 = u + 2 - 0. Is 32/12*30/o a multiple of 19?
False
Let i(z) = -z**3 + 2*z**2 + 2*z - 2. Let r be i(2). Is 13 a factor of -1 + 3 - (-21 + r)?
False
Suppose 0 = 2*p - 7 - 15. Suppose 112 = -7*j + p*j. Does 16 divide j?
False
Suppose x = -3*x + 516. Suppose 28 = -u + x. Let w = u - 63. Is w a multiple of 13?
False
Is 3 a factor of 1/(((-4)/(-2))/10)?
False
Suppose -9 = -3*n - 3. Is 19 a factor of 33 - 0/n - -4?
False
Let x be (-20)/(-6)*(-9)/2. Is (-6)/(-15) + (-324)/x a multiple of 9?
False
Let i(c) = -c**3 - c**2. Let j(g) = 2*g**3 + 8*g**2 - 12*g + 3. Let r(u) = -i(u) - j(u). Is 19 a factor of r(-9)?
False
Let n = -94 + 139. Suppose 2*b + n = -29. Let m = 64 + b. Does 11 divide m?
False
Suppose -4*t + 51 = -329. Does 9 divide t?
False
Suppose 0 = 2*c - 4 - 8. Let w = 5 - 8. Is 3 a factor of 2/(-1*w/c)?
False
Suppose 3 = 4*m - 9. Suppose 97 = 5*d - m. Is d a multiple of 15?
False
Let k(q) = 8 + 0*q - q + 19. Let a be k(0). Suppose -a - 1 = -4*t. Is t a multiple of 6?
False
Suppose i = -0*i + 5*v + 19, -v - 29 = -2*i. Suppose 3*d + i = 5*d. Is d a multiple of 3?
False
Does 8 divide -6*6*2/(-9)?
True
Is 2 a factor of -9*((-1 - 1) + 1)?
False
Does 12 divide (32/24)/((-2)/(-54))?
True
Does 5 divide (-8)/24 + (-572)/(-6)?
True
Suppose y + q + 29 = 2*y, 4*y + q - 111 = 0. Is 18 a factor of 1 - 7/(y/(-228))?
False
Suppose 0*r + 3*r - 57 = 0. Let b = -9 + r. Let s = 1 + b. Does 11 divide s?
True
Let k(d) = d**2 - d - 15. Let j be k(0). Let r = 36 - j. Is r a multiple of 18?
False
Let n(u) = u**2 + u - 1. Let v be n(1). Let b(z) = 44*z**3 + 2*z**2 - z. Is b(v) a multiple of 15?
True
Let t(x) = x**2 + 8. Let b be t(-7). Suppose -3*c + b = -0*j + 3*j, 0 = c + 5*j - 35. Suppose c + 25 = 4*i. Is i a multiple of 5?
True
Let n = 0 + -7. Let g(r) = -4*r + 8. Is g(n) a multiple of 18?
True
Let m be (-1)/3 - (-169)/3. Let c = m - 12. Suppose 3*s - 73 - c = 0. Does 15 divide s?
False
Let i be (-396)/6*8/6. Does 10 divide i/10*(-25)/10?
False
Let w(f) = 23*f - 1. Let c = 4 - 3. Is 14 a factor of w(c)?
False
Let x(l) = -l**2 + 6*l + 2. Suppose 0*b = b - 5*v + 1, -4 = -4*v. Is x(b) a multiple of 5?
True
Let r = 143 + -122. Is r a multiple of 21?
True
Suppose -5*i + 3*d + 296 = 0, -i - 3*d + 25 = -27. Suppose i = -0*f + f. Does 15 divide f?
False
Let h = -11 + 18. Let o = -2 + h. Is o even?
False
Let v(s) be the second derivative of 1/2*s**3 + 0 - s + 1/12*s**4 - 1/2*s**2. Does 3 divide v(-4)?
True
Suppose -5*t + 4*j = -28, -24 = -4*t + 3*j + j. Suppose -t*y + 3*y = -35. Does 9 divide y?
False
Suppose 4*i + 3 - 99 = 0. Does 3 divide i?
True
Is 3/4 + (-690)/(-8) a multiple of 10?
False
Let w(u) = 2*u + 4. Let i be w(4). Let z be -24*(-4 + (6 - 3)). Let o = z - i. Is 6 a factor of o?
True
Suppose -2*v = v - 6. Suppose 5*d + v*p - 5*p - 232 = 0, -p = 5*d - 216. Let n = -28 + d. Is 13 a factor of n?
False
Let a(d) = -d**2. Let w be a(-1). Is 5 a factor of (2 - 3)/(w/6)?
False
Suppose 3*r + 2*r - 3*q = 27, -4*r + 5*q + 32 = 0. Suppose r*w - 24 = w. Is 26/6 - 4/w a multiple of 4?
True
Suppose 18 + 2 = 5*s + 2*l, 0 = 2*s + 5*l - 8. Let o be (16/12)/(s/6). Suppose -m + o = -4*k, -6*k + 5 = -k. Does 4 divide m?
False
Let k(n) = -n + 29. Is k(5) a multiple of 12?
True
Let c(i) = 4 + i**3 + 1 + 3. Does 6 divide c(0)?
False
Suppose -20 = -6*l + 16. Is l a multiple of 3?
True
Suppose -63 = -n - l, -5*l + 83 - 16 = n. Let q = n + -42. Let p = q + -13. Is 3 a factor of p?
False
Suppose v = -2*v + 69. Suppose 2*d - v = d. Is d a multiple of 9?
False
Let g be ((-1)/2)/((-2)/(-24)). Is (-10)/g*(17 + 1) a multiple of 15?
True
Suppose j = -3*k + 17, -2*j - 5 = -3*k - 3. Suppose k*m = -0*m - 28. Does 17 divide 2/m + 994/49?
False
Let y(o) = 8*o - 34. Is 9 a factor of y(11)?
True
Let y(s) = -s**3 - 6*s**2 + s - 9. Does 8 divide y(-7)?
False
Let m = 264 - 12. Is 36 a factor of m?
True
Let u(z) = 4*z - 25. Is u(15) a multiple of 7?
True
Let y = -2 + 8. Let f(x) be the second derivative of x**4/6 - x**3 + x**2/2 - x. Does 14 divide f(y)?
False
Is 11 a factor of (0 - 1 - -2) + 21?
True
Let l be -15*(4/12)/(-1). Suppose 0 = 4*o - l*x - 48, 4*o - x + 20 = 68. Does 12 divide o?
True
Suppose 5*l = -5*d + d + 240, 3*l + 4*d = 136. Does 13 divide l?
True
Let k be -98 - ((6 - 1) + -3). Does 9 divide k/(-3) - 3/9?
False
Let r(u) = u**3 + 9*u**2 + 7*u + 10. Suppose 5 = 5*v - k, -7*k = -2*k + 25. Let n be (-4 + v)/(1/2). Is r(n) a multiple of 16?
False
Suppose -8*w + 5 = 2*b - 3*w, -4*b + 21 = -w. Suppose 3*q - 9 = -3*p + 3, 0 = -b*p + 3*q - 4. Suppose 2*r + 2 = 0, -t + 4*r + 15 - p = 0. Is t a multiple of 10?
True
Let j be 2/(-8) - (-18)/8. Let t(q) = 5*q**2 - 1. Let a be t(-1). Is ((-4)/a)/(j/(-14)) a multiple of 7?
True
Let g(u) = u**2 - u + 2. Let m be g(2). Suppose -m - 8 = -3*s, 0 = -n + s - 6. Is 20 a factor of 1 - n/(2/39)?
True
Let f be -1 + 1 + 11/1. Suppose t + 1 = f. Suppose -d - d = -t. Is d a multiple of 5?
True
Suppose g - 3*g = -54. Is g a multiple of 3?
True
Let d(s) be the second derivative of -s**4/12 - 3*s**3/2 - 3*s**2/2 - 3*s. Is d(-8) a multiple of 5?
True
Let u(z) = 7*z**2 + 9*z + 2. Let q be u(-9). Does 10 divide q/20 + 6/(-15)?
False
Suppose t + 4 + 1 = 0. Let k(n) = 3*n**2 + 3. Let h(g) = -2*g**2 - 3. Let f(x) = 4*h(x) + 3*k(x). Does 11 divide f(t)?
True
Is (-3978)/(-72) + 3/4 a multiple of 13?
False
Suppose k - 5*k = -20. Suppose 5*z - 5*r - 10 = 0, z - 3*z - 2 = -k*r. Suppose 0 = z*j - 16, 4*b + j = 3*j + 108. Is 11 a factor of b?
False
Suppose v + 4 = 0, 2*v + 17 = 4*o - 11. Suppose 0 = -o*z + 2*z + 24. Is z a multiple of 8?
True
Suppose 3 = -5*d + 23. Suppose -o = -14 + d. Does 3 divide o?
False
Let p be 3 - (-106)/(2/1). Let v = -19 + p. Is 15 a factor of v?
False
Let m be 3/(-3) + 2 + 4. Suppose 4*n + 24 = 4*x, -3*n + m + 25 = 3*x. Is x a multiple of 8?
True
Let u(z) be the third derivative of 1/2*z**3 - 5/24*z**4 + 0 + 0*z + 1/15*z**5 - 2*z**2. Is u(3) a multiple of 12?
True
Suppose 2*l - 23 = 3*f, 0*l + l - f = 9. Suppose -h - h - 4*k = -32, 2*h - l*k = 40. Does 9 divide h?
True
Let c = -8 + 18. Let p = c + 24. Suppose -x - 12 = -p. Is 11 a factor of x?
True
Suppose -2*u + 7 = -1. Suppose 7 - 15 = -3*x + 2*l, -x + u*l + 6 = 0. Is (-1)/2 - (-5)/x a multiple of 2?
True
Let q(i) be the first derivative of i**2/2 + 13*i - 1. Let y be q(0). Suppose -8 = -z + y. Is 15 a factor of z?
False
Let w be 57/12 - 1/(-4). Suppose -w*s = -138 - 132. Is s a multiple of 17?
False
Suppose g + 12 - 3 = 3*b, 0 = -4*b - 2*g + 12. Sup