 - (-2)/(-5). Suppose -3*y + n = -12. Is y a multiple of 18?
True
Is 2 a factor of ((-48)/36)/(1/(-9))?
True
Let p be (3 + -3)/(0 - -2). Suppose 4*n + 12 = p, 2*n + 60 = f - 57. Is f a multiple of 30?
False
Let g(z) = -z**3 + 4*z**2 - 4*z + 4. Let l be g(3). Let h be (l + -3)/((-2)/5). Suppose 0 = -4*v + p + 35, h*v - 3*p = p + 52. Does 7 divide v?
False
Suppose -3*h = -5*b + 44, 2*b + 5*h - 2 + 3 = 0. Let l(f) = f**3 - 5*f**2 - 8*f + 10. Let u be l(b). Let s = u - 16. Is s a multiple of 14?
False
Let h = -3 + 3. Let x = 0 + h. Suppose -31 = -2*m - 3*o, -m + o - 2*o + 18 = x. Is 9 a factor of m?
False
Let l(m) = -m - 8. Let t be l(-8). Suppose 2*x + t = 8. Suppose -x*h = -2*d + 7 - 23, 3*d = 4*h - 12. Is h a multiple of 6?
True
Let o = 5 - 2. Is (-70)/(-4) + o/(-6) a multiple of 17?
True
Suppose 3 = a + 5. Let u(b) = -8*b**3 + b**2 + 2*b + 2. Is 15 a factor of u(a)?
False
Suppose 2*k - 4 = k, 2*p + 20 = -2*k. Does 5 divide (4 + 0)*(-91)/p?
False
Suppose -4*f = 3*r - 640, -805 = -4*f + 2*r - 165. Suppose 5*j - f = -0*j. Does 21 divide j?
False
Suppose -5*f + 7 = 32. Is 2/(-4)*(f - 13) a multiple of 3?
True
Suppose -k + 5*m - 8 = 0, -3*k = 3*m - 0*m - 12. Suppose -2*a - 4 = -a + 3*s, 0 = -4*a + k*s + 54. Is a a multiple of 8?
False
Let y = 52 + -30. Is 8 a factor of y?
False
Suppose -2*v + 0 = 2*s + 6, -v - 3 = -s. Let i be (1 + -2 + 2)*3. Suppose s = -x + 2*x - i. Is x even?
False
Let j be (-1 + 3/2)*10. Suppose j*f - 2*a = 217, -f - 4*f = -4*a - 219. Is 18 a factor of f?
False
Let t(m) = m + 42. Is t(-6) a multiple of 9?
True
Let h = 3 - -28. Is h a multiple of 31?
True
Suppose 4*d - 18 = 270. Let u = d + -40. Suppose -g - 48 = -3*s, s + s + 3*g - u = 0. Is s a multiple of 8?
True
Let z(o) = -2*o + 7. Let b be z(5). Is 16 a factor of -3*((-78)/9 - b)?
False
Let b(q) = 2*q**3 - 3*q**2 + q - 1. Suppose j = 3*s + 17, 4*j - 5*s + 2*s = 23. Let w be b(j). Suppose w*r + 90 = 7*r. Does 13 divide r?
False
Let p(f) = f**2 + 2*f - 3. Let r(d) = -2*d**2 - 3*d + 4. Let c(a) = -3*p(a) - 2*r(a). Is c(5) a multiple of 13?
True
Let q(k) = -k**3 - 6*k**2 + 9*k + 9. Let t be q(-7). Let b = t + 11. Suppose -3*v = -b*v + 21. Is 4 a factor of v?
False
Let t(i) = -i**3 - 9*i**2 - 9*i - 9. Let b be t(-8). Is b + -1 + 87 + -4 a multiple of 27?
True
Let o be (-1 - -3) + 1 + 1. Suppose -f + 3 = 2*g - o, -2*f + 9 = 3*g. Suppose -g*h + 160 = -h. Is 15 a factor of h?
False
Let w = 232 - 111. Is 11 a factor of w?
True
Suppose -3*m - 160 = -7*m. Is m a multiple of 8?
True
Let j = 206 - 153. Is 6 a factor of j?
False
Let r = 59 - 17. Let c = r - 29. Is c a multiple of 3?
False
Let i(d) = d**3 - 5*d**2 + 4*d + 16. Is 18 a factor of i(5)?
True
Let w = -4 - -7. Suppose 3*h = -h - b - 46, 2*h = w*b - 30. Does 5 divide 15*(2 - h/(-9))?
True
Let d(r) = r**2 - r + 8. Suppose 3*k = -2*k + 25. Suppose u + k*a + 10 = 2*u, a = -4*u - 2. Is d(u) a multiple of 3?
False
Let p be (-4)/(-14) - (-47)/7. Let w be 4/14 - 2/p. Let u = 11 - w. Is u a multiple of 9?
False
Let o(d) be the second derivative of -d**4/12 + 7*d**3/6 - d**2 + d. Let n be o(6). Suppose -n*j = j - 60. Is 4 a factor of j?
True
Does 9 divide 2 - -135 - (2 - 0)?
True
Suppose 3*f + f - 456 = 0. Suppose 4*l + 3*n + 19 - 219 = 0, 0 = 2*l - 2*n - f. Is 21 a factor of l?
False
Let r(x) = x**3 + 3. Let n be r(0). Suppose -k - 212 = -5*m + 43, -n*m + 153 = 5*k. Does 17 divide m?
True
Is (45/(-2))/1*-2 a multiple of 29?
False
Let v(f) = -2 + 5*f - f**2 + 2. Let r(n) = 4*n**2 - n - 1. Let z be r(-1). Is v(z) a multiple of 4?
True
Let x be 21/(-7)*4/(-3). Is 11 a factor of ((-3)/x)/(2/(-48))?
False
Let s be 6/1 - (-4 - -7). Suppose q - 31 = -6. Let r = s + q. Is r a multiple of 12?
False
Suppose 0 = 6*f - f - 440. Does 11 divide f?
True
Suppose 0 = -0*c - 4*c + 32. Is c a multiple of 2?
True
Let c be (1 + -4 + 1)*4. Let p = 43 + c. Is 19 a factor of p?
False
Suppose 5*z = -3 + 8. Let j(g) = 5*g. Let p be j(z). Suppose -2*c = -3*c + p. Does 3 divide c?
False
Is (-6)/(-10) + (-228)/(-20) even?
True
Let d(t) = -2*t**3 - 3*t + 72. Is 18 a factor of d(0)?
True
Let c(i) = -2*i**2 - 12*i - 7. Let l be c(-8). Is 11 a factor of l/6*(1 + -3)?
False
Suppose 0 = 5*d + 26 - 111. Suppose -p - 2*c + 6 = -0*c, c + d = 2*p. Is p a multiple of 8?
True
Suppose 0 = -0*k + 4*k - u + 84, 84 = -4*k + 2*u. Let o be k/2*6/(-9). Suppose 0 = 2*m - o*m + 30. Is 4 a factor of m?
False
Let z = -18 - -30. Is z a multiple of 12?
True
Is 21 a factor of (1/(-3))/(-1) + (-1131)/(-9)?
True
Suppose 2*g = -g + 264. Let m = g + -63. Does 12 divide m?
False
Let s be (1/(-1) - -1)/2. Suppose s = -5*q + 217 + 23. Does 24 divide q?
True
Let q(a) = a**2 + 9*a + 2. Does 24 divide q(-11)?
True
Suppose 3*t + 3*a - 198 = 0, -5*t - 6*a + 3*a + 326 = 0. Is 32 a factor of t?
True
Suppose 11*l + 32 = 15*l. Let u(d) = -d**2 + 7*d + 12. Is u(l) even?
True
Let t = 10 - 46. Suppose 0*o - o = 1. Let h = o - t. Is h a multiple of 18?
False
Let s = -5 + 5. Let z(d) = -d**3 - d**2 - d + 11. Does 11 divide z(s)?
True
Suppose 0 = 2*j + 2*g - 70, -j - 4*j + 172 = 2*g. Let q = j - 1. Is 9 a factor of q?
False
Let s = -13 - -37. Is 12 a factor of s?
True
Does 15 divide -1*(-5 + 3)*17?
False
Suppose 0 = k + 4*k - 10. Suppose 0 = -5*r - 0*r, -k*q = -2*r - 110. Suppose -8*c = -3*c - q. Does 11 divide c?
True
Let r(o) = -o. Let w(p) = p**3 - 6*p**2 + 9*p + 5. Let b(a) = -6*r(a) - w(a). Is 4 a factor of b(4)?
False
Let g(r) be the third derivative of r**9/6720 - r**8/20160 + r**6/720 + r**5/30 + r**2. Let x(m) be the third derivative of g(m). Does 9 divide x(1)?
True
Suppose 0 = -a + 6*a - 30. Let r = a + -4. Suppose 2*t = -3*u + 16, -r*t + 40 = 3*u - 6*u. Is t a multiple of 6?
False
Let r(m) = m**3 - 7*m**2 + 10*m - 13. Suppose q = 5, 2*x + q = 7*x - 25. Does 11 divide r(x)?
True
Let s(d) = -13*d + 9. Let i(n) = 32*n - 22. Let h(g) = -5*i(g) - 12*s(g). Does 15 divide h(-6)?
False
Suppose 0 = m + 6 - 3. Does 10 divide -1 - (15*-2 - m)?
False
Let t(n) = 12*n**2 - 7*n - 10. Is 12 a factor of t(-4)?
False
Let j(b) = -3*b - 8. Let r be j(-6). Suppose -159 = -3*s + 3*c, -c + r = c. Does 20 divide s?
False
Let l(x) = x + 2. Let j be l(-2). Suppose 4*z + 5*d - 30 = 18, j = z + 3*d - 12. Does 3 divide z?
True
Let f(n) = -5*n + 5. Let d be f(-5). Suppose 0 = b - 2*b + d. Does 15 divide b?
True
Is (2/(-3))/(2/(-51)) a multiple of 13?
False
Let n(v) = -v + 9 - 2*v - 3*v + v**2 + 0*v**2. Let p be n(7). Suppose z - 5*z = -p. Is z a multiple of 3?
False
Let s be (-8)/(-6)*-3*-2. Is 6/s - (-73)/4 a multiple of 19?
True
Suppose 4*k + 8 = 0, 0 = 5*p + k + 52 - 410. Does 12 divide p?
True
Let o = -58 + 61. Is o a multiple of 2?
False
Suppose -600 = 3*j + p - 163, 0 = -3*p + 3. Is 9 a factor of 2/(-8) + j/(-8)?
True
Let t be 3 + 6*12/8. Let m = t - -4. Does 14 divide m?
False
Is (0 - 1/4) + 820/16 a multiple of 19?
False
Let y(r) = 5*r**3 - 19*r**2 - 5*r - 40. Let m(l) = -l**3 + 4*l**2 + l + 8. Let w(c) = -11*m(c) - 2*y(c). Let a be w(6). Let q = -9 - a. Does 3 divide q?
False
Let z = 29 + 28. Does 20 divide z?
False
Let i be (40/(-6))/((-3)/9). Suppose -i = -7*s + 3*s. Suppose s*l + 53 = 233. Is l a multiple of 14?
False
Let l = -2 - 11. Let w = 21 + l. Does 11 divide (-66)/w*(5 - 9)?
True
Let q(m) be the second derivative of m**6/180 - m**5/60 - m**4/24 + m**3/3 + 2*m. Let o(s) be the second derivative of q(s). Is 4 a factor of o(3)?
False
Let z(q) = -q**2 + q + 1. Let j(x) = -5*x**2 + 11*x + 4. Let w(v) = -j(v) + 3*z(v). Suppose 5*f + 3*u = -0*u + 42, 3*f = -3*u + 30. Is 19 a factor of w(f)?
False
Let z be (14/4)/(1/18). Let v = z + -13. Suppose 2*b + 5*j = -7, -v = -5*b - 0*j + j. Is b a multiple of 9?
True
Suppose -10 = -5*j + 2*b, -2*b = -3*j + 3*b + 6. Let c(u) = 2*u + 0*u**2 + 1 + u**j - 6 - 3. Is c(-6) a multiple of 16?
True
Let q(n) = -n**2 + 5*n + 1. Let z(w) = -1 + 2*w - 3*w + 8. Let h be z(3). Does 2 divide q(h)?
False
Let z(w) = 14*w**2 + 1. Is 5 a factor of z(-1)?
True
Let t(c) = 3*c + 2. Let z be t(-3). Let q = z + 4. Does 10 divide 19 + (-1)/(q/9)?
False
Suppose 0 = 2*n - 5*t + 15, 2*t + 0*t + 10 = 4*n. Suppose -2*r = -4*a - 12, n*r + 3*a - 4*a - 75 = 0. Does 16 divide r?
True
Let g(i) = 3 - 4 + 2 + 98*i**2. Let n be g(1). Let z = -66 + n. Does 13 divide z?
False
Let v(q) = 13*q - 6. Let f be v(6). 