 = 4*v**2 + 5*v**3 - v**3 - 4*v + 0*v**3 + 2. Is q(2) a multiple of 19?
False
Suppose 2*v + 5*n - 8 + 2 = 0, -4*v = -5*n - 12. Suppose v*m + 16 = 88. Does 10 divide m?
False
Is 28/8*14/7 even?
False
Let a(p) = -p**2 + 7*p + 5. Let q be a(6). Let b = q + -32. Let t = 39 + b. Is 7 a factor of t?
False
Let x(n) = n**2 + 10*n - 18. Does 15 divide x(9)?
False
Let g be 30/3*-1*-6. Suppose -9*u + g = -3*u. Does 7 divide u?
False
Let w(o) = o**3 + 9*o**2 - 2*o - 12. Let i(y) = y + 14. Let j be i(-11). Suppose 2*m - 9 = j*m. Does 5 divide w(m)?
False
Let j be 8*9/(-2) + 1. Let y be j/2 + (-1)/2. Let n = -9 - y. Is n a multiple of 5?
False
Let a(c) = c**2 - 4*c**2 + 5*c**2 + 5*c - 2. Is a(-4) a multiple of 5?
True
Let p(f) = -f**3 + 5*f**2 + 7*f - 4. Is p(5) a multiple of 11?
False
Let q be 127/4 + 2/8. Suppose 4*o + 4*y - 10 = -o, -2*o = -4*y - q. Does 20 divide o/(-9) - (-276)/9?
False
Let r be (3 - (0 - -2)) + -1. Suppose -2*n - 3*n + 390 = r. Suppose -5*l + n = 4*b, -b + 19 = 4*l - 3*l. Is b a multiple of 13?
False
Suppose -2*r = -3*r - 7. Let y be r/(-3) - (-1)/(-3). Suppose -y*b + 6 = 4*q, -5*b = -5*q - 10 - 65. Does 4 divide b?
False
Let o(v) be the first derivative of 2*v**3/3 + v**2 - 2*v + 1. Let i be (-39)/9 + (-1)/(-3). Is 10 a factor of o(i)?
False
Suppose 0 = 4*x + x - 195. Suppose -4*p - x - 1 = 0. Is (-4)/p - 624/(-15) a multiple of 18?
False
Let l(q) = -q**2 - 8*q + 1. Let v be l(-6). Suppose -c + v - 5 = 0. Is 6 a factor of c?
False
Suppose -3*d - 2*d + 25 = 0. Suppose -5*z - 12 = 5*s + 33, 2*s = d*z + 10. Is (6 + s)/((-2)/(-34)) a multiple of 9?
False
Suppose 3*x - 17 = -2. Suppose -x*b - 3*s = -0*s - 24, -b = -5*s + 12. Let h(l) = l. Is h(b) a multiple of 2?
False
Let u = -9 + 18. Is u a multiple of 7?
False
Let k = 8 + -8. Suppose 2*x + 2*a - 64 = 0, k*a - 134 = -4*x - 2*a. Is x a multiple of 15?
False
Suppose 0 = -3*c + 3*n - 8*n + 87, 2*c - 36 = 4*n. Does 3 divide c?
True
Let n = 2 + 2. Suppose -3*p = n*i - 18, -2*p + 3 = -2*i + 19. Let g = i - -6. Is g a multiple of 6?
True
Suppose 0*w = w - 32. Let y be ((-20)/(-6))/(1/3). Let l = w + y. Is 22 a factor of l?
False
Let g(d) be the first derivative of -d**5/60 + d**4/3 - 2*d**3/3 + 3*d**2/2 - 1. Let w(p) be the second derivative of g(p). Does 11 divide w(3)?
True
Is 2/15*921 - (-11)/55 a multiple of 8?
False
Let i = 60 + -119. Let s = i + 92. Does 17 divide s?
False
Suppose -8 = 2*o, w + 3 + 1 = -3*o. Suppose 0 = -3*v - 2 + w. Suppose -4*l + 3*p + 15 = -2*l, 3*l = -v*p + 29. Is 6 a factor of l?
False
Let o be 2/(3/(-3) + 2). Let b be o/(-6) + 254/6. Suppose 152 = 5*w + b. Is w a multiple of 11?
True
Let k be (2/(-2))/((-1)/12). Suppose -4*l = -27 - 9. Let b = k - l. Is b a multiple of 3?
True
Let a be (27/(-2))/(9/(-24)). Suppose 0 = -0*s - 4*s - a. Does 8 divide (-2)/s + (-399)/(-27)?
False
Let l = -14 + 51. Is l a multiple of 37?
True
Let t(j) be the third derivative of j**4/24 + 13*j**3/3 - j**2. Let f(o) = -o**2 - 4*o + 12. Let y be f(-6). Does 9 divide t(y)?
False
Does 7 divide (-6)/33 + 864/33?
False
Let n(q) = q**2 - q. Let v(p) = 7*p - 7. Let j(x) = -n(x) + v(x). Let t be j(6). Suppose -t*u = 2*k - 3, 4*k = 3*u + 2*u + 81. Does 7 divide k?
True
Suppose 2*g - 3*v + 117 = 405, 0 = 4*v. Suppose g = 3*m + m. Suppose -4*f - 4*r + m = 0, 7*r - 2*r = 5*f + 5. Is f a multiple of 2?
True
Suppose -3*b + 24 = -24. Does 3 divide b?
False
Let u(z) = 3*z. Let t(d) = 9*d. Let x(w) = -4*t(w) + 11*u(w). Let j be x(1). Let c = 7 + j. Does 3 divide c?
False
Does 18 divide (1 + 0 + 0)/1 - -117?
False
Suppose -9*r + 98 + 172 = 0. Is r a multiple of 15?
True
Let q be 32/(-6)*(3 + 0). Let n = -30 - q. Let z = n - -55. Does 14 divide z?
False
Suppose 4*s + 33 - 189 = 0. Is 8 a factor of s?
False
Suppose -2*o - 9 = -3*o. Let v = 10 + -5. Let k = o - v. Is 4 a factor of k?
True
Let h(u) = -u**2 - 10*u + 5. Is h(-6) a multiple of 7?
False
Let s = 13 + -8. Suppose -9 - 6 = -s*y. Suppose 0 = -3*t - a + 102, 4*t - 2*a - 135 = -y*a. Is 12 a factor of t?
False
Let s(n) = 2*n**2 + n + 2. Let q be 2/5 - (-138)/30. Is 11 a factor of s(q)?
False
Suppose 0 = -4*j + 4. Let q = 13 + j. Is 12 a factor of q?
False
Let u be 60 - 1 - (1 - -1). Suppose f = t + 12, t - 2*t = -5*f + 76. Suppose -d + f = b, -d - u - 2 = -4*b. Is 4 a factor of b?
False
Suppose -2*d + 7 = 3*t, 5 = 4*t + 3*d - 4. Suppose 0*a + 3*a = -t*w + 126, -213 = -5*w - 2*a. Is 18 a factor of w?
False
Suppose -a = -3 - 19. Does 4 divide a?
False
Suppose -4*w = 0, -2*d + 4*w - 50 = -0*d. Suppose 21 = -2*u - 81. Let m = d - u. Is 13 a factor of m?
True
Let i = -289 - -492. Is 15 a factor of i?
False
Suppose -2*m + 39 = -3*g - 3, -2*m + 74 = 5*g. Suppose -2*v = -s + 4*s + m, -39 = 4*v + 3*s. Does 23 divide 1/3 + (-136)/v?
True
Let r = 185 + -126. Let h = 84 - r. Suppose h = 5*l, 2*d - 4*l - 57 = -l. Is d a multiple of 18?
True
Let a(q) = -q - 5. Let p be 2*-1 - (9 - 1). Is a(p) a multiple of 2?
False
Let t(f) = -f**3 + 14*f**2 - 14*f + 19. Suppose -36 = -2*x - 10. Is t(x) a multiple of 6?
True
Let t(z) = 3*z**2 + 3*z - 3. Let h be t(3). Let n = -16 + h. Does 10 divide n?
False
Let f(t) = 92*t - 16. Is 13 a factor of f(3)?
True
Let r be (-1 + (-70)/8)*-4. Let x = 16 - r. Let y = x - -41. Does 9 divide y?
True
Is 88/2 + (7 - 4) a multiple of 19?
False
Is 11 a factor of (5/(-5))/(1/(-17))?
False
Let b be 3/((-6)/(-4)) + 79. Let c = b + -51. Is c a multiple of 16?
False
Is 14 a factor of (-20)/70 + (-20)/(-7)*5?
True
Let v be 1 + 0 + 1 + 2. Suppose -v*t + 13 = 3*r, 0*t - t + 4 = r. Is 6 a factor of t/(3/(41 - 2))?
False
Suppose 6*f + 2 = 4*f. Let g(u) = u**2. Let t(i) = 2*i**2 + i - 39. Let o(z) = f*t(z) + 3*g(z). Is 13 a factor of o(0)?
True
Let d = -1 - -1. Suppose -r + 181 = 3*p + 4*r, d = -3*r + 15. Suppose -n = n - p. Is 15 a factor of n?
False
Suppose 2*m = z + 4, 3 = -5*z - 3*m - 30. Does 25 divide ((-152)/10)/(z/15)?
False
Suppose 6*t + 66 = 3*t. Let k be ((-6)/(-9) + -3)*-18. Let f = k + t. Is 10 a factor of f?
True
Suppose 0*n = 7*n - 1071. Is 51 a factor of n?
True
Suppose -4*o = 1 - 141. Does 6 divide o?
False
Suppose 26 = 3*u - 31. Suppose -u = -l + 2*f, 4*f - 1 = -3*l + 6. Is l a multiple of 9?
True
Suppose -6 = -s + 21. Is s a multiple of 10?
False
Suppose 0 = -5*v + 2*v + 18. Suppose -24 = -10*g + v*g. Is 2 a factor of g?
True
Suppose -4 + 14 = -b. Suppose -5*p - 5*q + 135 = 0, p + 3*q = -q + 42. Let v = p + b. Is 10 a factor of v?
False
Let o = 5 - 3. Suppose o*z + 15 = -17. Is 10 a factor of (-78)/(-8) - 4/z?
True
Suppose 2*g + 6*z - 8*z = 212, 2*z - 112 = -g. Is g a multiple of 18?
True
Let f = -6 + 10. Suppose -3*s = o - 17, -5*s = f*o - 7*o - 47. Is s a multiple of 3?
False
Let o(r) = -r**3 - 13*r**2 - 13*r - 7. Let z be o(-12). Suppose v + 2*u = 58, z*v - 3*v + u = 119. Does 18 divide v?
False
Let y(b) = b**3 + b**2 - 2. Is 2 a factor of y(2)?
True
Does 4 divide (9/(-12))/(2 + (-105)/52)?
False
Suppose 0 = 4*w + 5*a - 31, -5*w = 4*a - 30 - 2. Suppose w*c = -r + 20, -2*r + 3*r - 11 = -c. Is r a multiple of 8?
True
Let f(i) = 6*i - 5. Does 5 divide f(8)?
False
Let d(l) = l**3 - 3*l - 2. Let f be d(-2). Let x = 1 - f. Suppose x*z - 36 = 2*z. Is 11 a factor of z?
False
Let d = 53 - 25. Suppose 0 = -g + 3*l + 24, -36 = -5*g + l + d. Is g a multiple of 12?
True
Let u = -13 - -22. Does 3 divide u?
True
Let w(g) be the second derivative of 0 + 3*g + g**3 - 5/2*g**2. Does 11 divide w(4)?
False
Let w(z) = -46*z**3 + z**2 + z. Let f = 3 - 4. Does 23 divide w(f)?
True
Let z(r) = -4*r - 3. Let d be z(-2). Suppose -3*w = y - 292, 3*w - 151 = y + 139. Suppose -297 + w = -d*j. Does 11 divide j?
False
Let r(d) = -8*d - 2*d**2 + 2*d**2 + 4 + 4*d + 5*d**2 - d**3. Let x be r(4). Suppose h = -x*h + 180. Is 15 a factor of h?
False
Let c(a) = 23*a + 10. Let i be c(-5). Let j = -74 - i. Is j a multiple of 8?
False
Let f(t) = 230*t + 7. Is 41 a factor of f(1)?
False
Let v(u) = 7*u**2 - u. Let c be v(1). Let h be 4 - (0/2 - -2). Suppose -c = h*b - 4*b. Does 3 divide b?
True
Suppose 30 + 6 = 4*d. Suppose h = d - 2. Suppose -5 = -2*l + h. Does 3 divide l?
True
Suppose g - 5 = -r - 0*g, -4*r - 2*g = -30. Is r a multiple of 10?
True
Suppose -s - 4*y + 30 + 14 = 0, 2*s - 52 = y. Suppose -2*b = 2*u - 5*u - s, 60 = 4*b - 5*u. Is 6 a factor of b?
False
Is ((-80)/(