
Let j = 7 + -2. Suppose 116 = j*x - x. Is 24 a factor of x?
False
Suppose -7*v = 9*v - 1728. Does 15 divide v?
False
Let o(m) = -m**3 - 9*m**2 + 10*m + 5. Let u be o(-10). Let p(x) = -x**3 + x**2 + 6*x. Let g be p(-5). Suppose 0*w + u*w = g. Does 9 divide w?
False
Let m(w) = 2*w**2 - 5*w + 4. Let n be m(4). Does 4 divide n/3 + (-3)/9?
False
Let c = 21 + -12. Suppose 0 = -m - 5*a + 23, 2*m + 1 + c = 4*a. Suppose m*k = w + 147, 4 + 45 = k - 5*w. Does 17 divide k?
False
Suppose 2 = -3*y + 8, -2*h + 22 = -3*y. Is 5 a factor of h?
False
Suppose 5*q + 15 - 335 = 0. Does 8 divide q?
True
Is 16 a factor of (-30)/2*(2 - 7)?
False
Let k = -5 - -5. Suppose 5*t = -0*s - 3*s + 227, 4*s + 4 = k. Does 17 divide t?
False
Suppose -2*f - 33 = -x, x + 0*x = f + 36. Does 9 divide x?
False
Suppose -18 = -6*q + 3*q. Let t = q - 4. Is t even?
True
Suppose -10 = -3*q - 1. Suppose -m = -q*m + 12. Suppose -4*j - 2*i + 4 = 0, -4*i - m = 2*j - 2. Is j a multiple of 2?
True
Let s(i) = -i + 3. Let b be s(9). Let t(g) = -g. Is t(b) a multiple of 3?
True
Let a(h) = -h + 12. Let y be a(6). Suppose -5*j - 1 = -y. Let f(g) = 5*g**2 - 2*g + 1. Is 4 a factor of f(j)?
True
Is 7 a factor of ((-39)/12)/(2/(-24))?
False
Let w(l) = l**2 + 8*l. Let j be w(-7). Let u = 5 - j. Does 12 divide u?
True
Suppose 0 = 3*d + 72 - 204. Suppose -d = -3*a + 40. Is a a multiple of 14?
True
Let u(v) = -8*v + 8. Let j be u(-9). Suppose -5*p + j = 20. Is p a multiple of 12?
True
Let u(w) = -6*w**3 + 12*w**2 + 10*w - 4. Let l(g) = 4*g**3 - 8*g**2 - 7*g + 3. Let o(j) = -8*l(j) - 5*u(j). Let a be o(4). Let r = a - -62. Is 11 a factor of r?
False
Let n(b) be the third derivative of b**8/20160 + 11*b**6/720 - b**5/60 + b**2. Let v(f) be the third derivative of n(f). Is v(0) a multiple of 6?
False
Suppose 31 = 5*k + 6. Suppose -2*y + 36 = 2*n, -k*n - 2*y = y - 80. Is n a multiple of 8?
False
Suppose 9 = 3*w + 3*o - 6, -12 = -2*w - o. Suppose 4*g - 300 = -g. Suppose -v + 0*v + w = s, -4*v = -4*s + g. Is 7 a factor of s?
False
Let i = -19 + 19. Let m = 2 - -1. Suppose i = m*b - b - 34. Does 8 divide b?
False
Let b = -12 - -6. Let r(q) = -9*q - 4. Is 25 a factor of r(b)?
True
Let g(b) = -b + 12. Let l be g(9). Suppose 0*o + 2*m = l*o - 14, 5*o - m = 14. Does 2 divide (-8)/6*(-3)/o?
True
Let x = -1 + 0. Let c be ((-2)/x)/(2/18). Suppose -4*v + v = -c. Is 6 a factor of v?
True
Let w(i) = -i**3 - 14*i**2 + 19. Is w(-14) a multiple of 5?
False
Let g(o) = -o**3 - 5*o**2 + 2*o - 6. Let i be g(-6). Let z be -1*0/1 + i. Suppose 4*y - 174 - z = 0. Is 19 a factor of y?
False
Suppose -v - 1 + 3 = 0. Suppose -i - 5*n + 2*n + 47 = 0, 2*i - v*n - 94 = 0. Suppose 39 = 4*o + d, -2*d - i = -5*o - 5*d. Is o a multiple of 5?
True
Let r = -40 + 50. Is 5 a factor of r?
True
Let a(m) = -m**3 + 9*m**2 - 10*m + 7. Let o be a(8). Is 10 a factor of (-2 + 32)*(-6)/o?
True
Let g be 33/3 + (-2 - -3). Suppose 4*w = 5*v + 31, -3*v + 3 = -g. Does 14 divide w?
True
Let l = 6 - 4. Suppose 0 = -0*t + l*t - 32. Does 4 divide t?
True
Is 24 a factor of (1425/170 + 2/17)*32?
False
Let c = 101 - 61. Is 10 a factor of c?
True
Suppose 2184 + 1148 = 14*i. Is 34 a factor of i?
True
Let j = -1 - -4. Suppose 2*l - 2*v - 27 + j = 0, -l + 5*v + 8 = 0. Does 7 divide l?
False
Let q(h) = -h**3 + 6*h**2 + 7*h + 9. Let f(w) = w + 16. Let c be f(-9). Let d be q(c). Let g(a) = -a**2 + 11*a - 6. Is 6 a factor of g(d)?
True
Suppose 40 = -10*s + 540. Does 25 divide s?
True
Let q(h) be the first derivative of h**3/3 + h**2 - 9*h - 1. Suppose -4 = -2*g, 24 = -3*f + f + 5*g. Is q(f) a multiple of 15?
False
Let v(z) = -5*z - 1. Let f be v(-7). Suppose -f = 4*q - 114. Does 14 divide q?
False
Suppose 3*j - y - 9 = -0*j, 4*j + 4*y = -4. Suppose 3*o - 42 = 4*i, 5*o = 5*i + 3*o + 56. Does 6 divide ((-3)/j + 1)*i?
True
Let f(o) = -3*o + 49. Suppose h + 0*h - 2 = 0. Let w(d) = d - 12. Let x(p) = h*f(p) + 9*w(p). Is x(7) a multiple of 11?
True
Let d(z) be the third derivative of -z**6/120 + z**5/30 + z**4/8 + z**3/2 + z**2. Let x be d(3). Does 5 divide (-1)/x - 48/(-9)?
True
Let y(w) = w**3 + 12*w**2 + 14*w + 12. Is y(-10) a multiple of 36?
True
Suppose -5*i = -139 - 21. Is i a multiple of 8?
True
Let z(u) = u**2 + 156. Is z(0) a multiple of 39?
True
Suppose 4*m + 0*u = -u + 15, 3*u = -2*m + 15. Suppose -3*i + 1 = -5*z, 0*z + i = z + 1. Is 19*(m + -3 + z) a multiple of 6?
False
Suppose -5*s = -s. Suppose -q - 2*l = -s*l - 17, -3*q - 5*l + 48 = 0. Suppose -o + q - 2 = 0. Does 4 divide o?
False
Does 16 divide 23*(-2 + 6)/4?
False
Suppose 3*k - 3*g = -k + 21, -k + 5*g = -18. Suppose -4*n + 23 = -o, 2*o - 7*o - 19 = -4*n. Suppose n*s = k*s + 39. Is 5 a factor of s?
False
Let p(v) be the second derivative of v**5/20 + 2*v**4/3 + 5*v**3/3 + 3*v**2 + v. Let s(y) = -y**3 + 2. Let u be s(2). Is 18 a factor of p(u)?
True
Let k be (-3)/(-2)*(-4)/(-3). Suppose 0 = 5*t + 2*o - 82 - 81, 0 = -k*t + o + 67. Is 11 a factor of t?
True
Let m(u) = -24*u + 5. Is 26 a factor of m(-8)?
False
Suppose -19*z + 231 = -8*z. Is z a multiple of 21?
True
Is 18 a factor of 8*(0 + 36/16)?
True
Let x be 4/12*(34 - 1). Suppose 15*s - 36 = x*s. Does 3 divide s?
True
Is 1/((-34)/(-11) + -3) a multiple of 11?
True
Suppose -4*z + 5*c + 463 = 0, 5*z - 3*c = 3*z + 229. Is 42 a factor of z?
False
Let u = -571 - -921. Is 50 a factor of u?
True
Suppose -21*h + 462 = -7*h. Does 11 divide h?
True
Let o(r) = -r**2 - 10*r - 14. Let m be o(-8). Suppose -4*v - m*v = -102. Does 16 divide v?
False
Let p = 7 - 3. Let x = p - 1. Is 11 a factor of (-33)/2*(-4)/x?
True
Suppose 0*s - 2*s + 6640 = 0. Does 18 divide s/110 + (-2)/11?
False
Suppose -5*d - 26 = -m - 0, -2*m + 42 = -5*d. Suppose 0 = j + 5 - m. Is j a multiple of 11?
True
Suppose q = 4*q. Suppose q = -4*t + 20, 0 = d + 2*t - 5*t + 8. Does 2 divide d?
False
Suppose -13 + 1 = i. Is 32/3 - 4/i a multiple of 11?
True
Suppose -2*h - 3*h - f = -14, -3*h + 22 = 4*f. Suppose -4*l + 5*l = h*t + 15, -5*t = -l + 30. Let r = 13 - t. Is r a multiple of 6?
True
Let f be 12/28 - 1254/(-14). Suppose 0 = o - 4*s + 5*s - f, 260 = 3*o - 2*s. Is o a multiple of 18?
False
Let t = -54 - -91. Is 18 a factor of t?
False
Let l(n) = 0*n - 3 + 4 - 3*n. Let q be l(3). Does 19 divide (-1)/4 - 266/q?
False
Suppose 2*f = -0*f - 10. Let g = 11 + f. Does 3 divide g?
True
Let o = -177 + 331. Does 22 divide o?
True
Suppose -6 = -2*x - x. Let y = x + 7. Is y a multiple of 5?
False
Suppose 38 = 3*y - 64. Let r = y - -5. Is 13 a factor of r?
True
Suppose 3 + 51 = 4*s + 3*u, 2*s - 2*u = 20. Does 5 divide s?
False
Suppose -4*q + 376 = 2*j, -4*j + 285 + 99 = 4*q. Does 23 divide q?
True
Let d = 7 - -2. Let l = 22 - 13. Let k = l + d. Does 7 divide k?
False
Suppose -2*n - 2*o = 7 - 89, -162 = -4*n - 3*o. Is 6 a factor of n?
False
Let w be 452/(-7 - -3) - -2. Is 15 a factor of w*-2*4/24?
False
Let x(j) = -73*j - 1. Let c(q) = -3*q**2 + 5*q + 1. Let n be c(2). Is x(n) a multiple of 20?
False
Suppose -716 = r - 2*b, -r = 3*r - 3*b + 2889. Is 22 a factor of (-1)/(-3 + r/(-243))?
False
Suppose 0*z = -z - 8. Let t(n) = 2*n - n - 3*n + 3. Is 15 a factor of t(z)?
False
Suppose -2*w + 84 = -40. Is w a multiple of 27?
False
Let g = -15 + 22. Suppose -g*j + 2*j = -75. Is j a multiple of 15?
True
Suppose 0 = -3*j + 19 - 7. Let q be (j + 0)*98/4. Suppose -2 = -o - 4*w, -5*o = -0*o - 2*w - q. Is 9 a factor of o?
True
Let r be (18/(-8))/((-3)/32). Suppose 8 = -2*q + r. Does 8 divide q?
True
Let n(s) = -s**3 - 8*s**2 - 8*s + 1. Is 3 a factor of n(-7)?
False
Let y(v) = 7*v + 6. Let p be y(6). Suppose -l + 12 = c, 5*l + 4*c - p = 10. Is 8 a factor of l?
False
Let s = 8 - 8. Let j(k) = -k**3 - k**2 + k + 12. Does 4 divide j(s)?
True
Suppose 0 = -2*p + 8*p - 624. Is p a multiple of 6?
False
Let z = 18 + -11. Let x be (8/(-14))/((-2)/z). Suppose 0 = -x*s - 0*s - 4*g + 20, -2*s + 21 = 5*g. Is s a multiple of 8?
True
Let u(j) = 86*j + 1. Is u(1) a multiple of 18?
False
Let w = -1 - -51. Is 17 a factor of w?
False
Suppose i - 3*i = 5*m - 66, -m = 0. Is i a multiple of 11?
True
Let o(g) = g**3 - g**2 - 4*g - 2. Suppose 3*d - 20 = 8*d, 5*d + 36 = 4*l. Let x be o(l). Does 4 divide (-2)/(-3*4/x)?
False
Let h(n) be the second derivative of -19*n**3/6 + 3*n**2/2 - 3*n. Is h(-3) a multiple of 12?
True
Let l(k) = -k - 2. Let h be l(-4). Suppos