-12*v**2 - v - 1. Let x be s(-1). Let c = 27 + x. Is 5 a factor of (-20)/(-15)*c/2?
True
Let l(t) = 9*t**3 - 3*t**2 - 3*t - 2. Let f be l(-2). Is 9 a factor of 24/16*f/(-6)?
False
Let i(g) = g**2 + 9*g + 7. Let p = -1 + -8. Let d be i(p). Does 10 divide (36/d)/(4/28)?
False
Let n(z) = -z**2 + z + 3. Let w be n(0). Suppose -50 = -d - 2*m, -5*m + 10*m + 139 = w*d. Does 17 divide d?
False
Suppose t - 36 = 6. Is 2 a factor of t?
True
Suppose 0 = 5*u - 501 + 41. Suppose 3*b + 6*o = 2*o + u, -184 = -5*b + o. Is b a multiple of 18?
True
Suppose -4*h = l - 6*l - 319, -h = -l - 81. Let b = h + -6. Let g = b + -48. Is g a multiple of 16?
True
Suppose 0 = -2*r + k - 2*k + 7, -r - k = -3. Suppose 0 = -r*l + t + 2*t + 147, 5*l - t - 192 = 0. Is 13 a factor of l?
True
Let z be -2*(3 + (-7)/2). Suppose -k + 5 - z = 0. Suppose -k*l + 0*l + 20 = 0. Is 2 a factor of l?
False
Let v(d) = -d**3 + 6*d**2 + 6*d + 6. Suppose -r - r = -10. Is v(r) a multiple of 21?
False
Suppose 5*h - 51 = 2*h. Suppose -c = 4*a - h, 5*a - 1 = -5*c + 24. Suppose 4*b - 4*x - 48 = 0, -4*b - 3*x + 63 = -a*x. Does 17 divide b?
True
Suppose -26 = -6*k + 4. Let j = 3 + k. Is j a multiple of 2?
True
Let l = 119 + -16. Is 17 a factor of l?
False
Suppose i - 9 = 37. Let l be 4/(-3)*3/(-1). Suppose w + 4*a - 13 = 20, 2*w + l*a - i = 0. Is w a multiple of 6?
False
Let u(k) = 5*k**2 + 2*k + 1. Does 3 divide u(-1)?
False
Let d(l) = 40*l - 9. Does 13 divide d(2)?
False
Does 15 divide (-6)/3 - (1 + -18)?
True
Suppose 0 = 3*a - 6 - 3, 2*m = -3*a + 2965. Suppose -m = -3*b + 520. Is (-1)/5 - b/(-30) a multiple of 12?
False
Let v = 48 - 0. Is 24 a factor of v?
True
Suppose 4*l - l = 264. Is l a multiple of 13?
False
Suppose 4*c = m + c + 24, c = -m - 4. Let b be 7/m - 4/18. Is (-2)/(99/(-93) - b) a multiple of 14?
False
Suppose -2*w - 5*i = -111 - 54, -5*i = 4*w - 315. Is 15 a factor of w?
True
Let i(w) be the third derivative of 0 + 0*w + 1/6*w**4 + 2/3*w**3 + w**2. Is i(3) a multiple of 8?
True
Let n = 4 - -7. Suppose 0 = d + 3, x + 3*d = d + n. Does 9 divide x?
False
Suppose 7 = 4*t - 45. Suppose 5*v = 4*u - t, -38 = -5*u + 4*v - 5*v. Let d = 5 + u. Is 12 a factor of d?
True
Suppose -100 = -3*g - g. Suppose s + g = 2*v, 2*s - 4*s = 4*v - 62. Does 7 divide v?
True
Let b(n) = n + 22 - 5*n**2 + 4*n**2 + 0. Let x be (-14)/(-77) + (-2)/11. Is b(x) a multiple of 9?
False
Let n = -197 - -344. Does 20 divide n?
False
Let o be (-3)/6*1*0. Suppose o = -5*c - 2*t + 190, 9*c - 4*c - t = 190. Let q = c + -20. Is 9 a factor of q?
True
Let g be 3 - 0/((-3)/1). Suppose 0 = -b + 5*f + 18, -2*b + g*f = 16 - 52. Does 18 divide b?
True
Suppose 35 = 4*d + 2*t - 1, 5*d - 2*t = 45. Is d even?
False
Let c(b) = -20*b**3 - b - 1. Let u be c(-1). Suppose 4*s = -g + u + 82, 3*s - 67 = 4*g. Suppose -4*p = -3*p - s. Does 20 divide p?
False
Suppose 10*j - 6*j = -252. Is (48/(-7))/(9/j) a multiple of 12?
True
Let w(p) be the third derivative of -p**5/60 - 5*p**4/12 - 7*p**3/6 + 4*p**2. Does 5 divide w(-5)?
False
Suppose 78 = -5*x + 7*x. Does 9 divide x?
False
Suppose 329 + 79 = 2*c. Is c a multiple of 51?
True
Let z(o) = -o**2 - 3*o. Let n(x) = 3*x**2 + 9*x - 1. Let c(f) = -2*n(f) - 7*z(f). Is c(-7) a multiple of 21?
False
Let n(g) = 17*g - 22. Is n(5) a multiple of 9?
True
Let n(c) = -c**3 + c**2 + c + 4. Let y be n(0). Suppose -2*d + 3*h - 19 = 0, d - 5 + y = -2*h. Let l(f) = f**3 + 6*f**2 + f. Is 13 a factor of l(d)?
False
Suppose -5*o - 18 + 403 = 0. Is o a multiple of 19?
False
Let j(d) = d**3 + 18*d**2 - 24*d - 12. Is j(-19) a multiple of 19?
False
Let g(o) = -o**2 - o - 1. Let f(x) = 5*x**2 - 3*x - 3. Let l(b) = f(b) + 4*g(b). Let t be l(6). Let j = -6 - t. Is j a multiple of 4?
False
Is 49 a factor of 1 - 0 - 3/(3/(-175))?
False
Let f be (106/2 - 1) + -2. Let b be f/15*(-3)/(-2). Suppose 2*j + 175 = b*y, 2*j = 2*y - 34 - 36. Is 12 a factor of y?
False
Suppose 0 = 3*c - y - 51, 0*c - 47 = -2*c + 5*y. Is 10 a factor of c?
False
Let c(z) = -5*z - 57. Is c(-25) a multiple of 6?
False
Let y(c) be the second derivative of c**4/6 - 11*c**3/6 + 2*c. Let l(j) = -j**2 + 6*j. Let n(u) = 5*l(u) + 3*y(u). Does 4 divide n(4)?
True
Suppose 6*o - 5*o = 9. Does 2 divide o?
False
Let k = 38 + -19. Suppose k = 5*r - 36. Is r a multiple of 4?
False
Let g be (-69)/15 + 2/(-5). Is g/(-10)*(10 + 0) a multiple of 5?
True
Is 16 a factor of -2*(-4 + 2) + 44?
True
Suppose -6 = m + m. Let z = m + 1. Does 6 divide 1/(z/(-22)) - -2?
False
Suppose -4*p - 53 = -485. Is 36 a factor of p?
True
Let t(f) = -f**3 - 4*f**2 + 3*f - 1. Let b be t(-5). Suppose -4*u + u = -6. Suppose -u*z - b = -5*z. Is z even?
False
Let h(c) = c**3 - c - 1. Let u(a) = 3*a**3 - 6*a**2 - 2*a - 7. Let n(q) = 4*h(q) - u(q). Does 9 divide n(-6)?
False
Let h be -21 - -2 - (1 + -3). Let q = h + 33. Is q a multiple of 4?
True
Suppose 0 = m + 2*q - 43 + 7, 4*q - 20 = 0. Does 13 divide m?
True
Let j = -197 + 240. Is 6 a factor of j?
False
Let g = 8 + -8. Suppose g*n - 75 = -5*n. Is 14 a factor of n?
False
Suppose 5*b = -2*w - 6, -2*b - 2*b = 4*w + 12. Let f be (w - -8)/(2/22). Let d = f + -27. Is 14 a factor of d?
True
Let x(o) = o + 2. Let h be x(2). Suppose 0 = 3*f - 0*f + 3*p - 57, -h*f = -2*p - 88. Is f a multiple of 7?
True
Suppose 2*b + 0*b = 10. Suppose 0 = -b*m + 2*v + 133, 0 = -5*v + 5. Does 7 divide m?
False
Let b(c) = 2*c**2 - 2*c. Let x be b(2). Suppose 1 - 25 = x*d. Does 11 divide (44/d)/((-1)/3)?
True
Let m(g) = 5*g - 6. Let x be m(6). Suppose x = -4*f - 0*f. Is 24/16*(-20)/f a multiple of 4?
False
Let z(m) = m**2 + 8*m - 6. Let c be z(-9). Suppose c = -x + 9. Does 6 divide x?
True
Suppose 0 = 2*a - 7*a + 20, 2*a - 48 = -4*c. Let s be (0 + 10/(-4))*2. Let q = s + c. Is 2 a factor of q?
False
Suppose 0 = -2*r - 4*g - 2 - 2, 4*g + 4 = -4*r. Suppose r = j - 6*j + 645. Suppose n - 21 = 5*s, -5*n = 4*s - 5*s - j. Is n a multiple of 12?
False
Is 13 a factor of 2/10 + 0 - (-7771)/95?
False
Suppose -84 = -2*r - 4*q, 4*q = 3*r - 0*q - 166. Let v = r - 2. Is 24 a factor of v?
True
Let p be -38 - ((-6)/(-3) + -4). Let c = 52 + p. Is c a multiple of 10?
False
Does 15 divide (12/(-16))/((-2)/160 + 0)?
True
Suppose 3*k - 132 = -5*u + 155, -5*u + k = -271. Is u a multiple of 8?
False
Let i be 3*(22/(-6) + 2). Let l be 1*-10*(2 - 3). Let n = l + i. Is n a multiple of 5?
True
Is (-108)/(-7) - 12/(-21) a multiple of 4?
True
Let o = 12 + 4. Let w be o/((-38)/40 + 1). Is 20 a factor of (-3)/(-2)*w/12?
True
Let g(h) = -27*h - 4. Let r be g(3). Let o = -56 - r. Suppose t = -t - 3*k + o, -5*t = 5*k - 75. Does 8 divide t?
True
Is 20 a factor of (-447)/(-2) - (-60)/(-24)?
False
Let p = -1 - 2. Let q = 16 + p. Does 10 divide q?
False
Let v(t) = -3*t - 4. Does 20 divide v(-18)?
False
Suppose 2*t = -8, 8*v = 4*v + 5*t - 92. Let q = v - -41. Is 10 a factor of q?
False
Let b be 6/(-24) - 1165/(-4). Suppose 3*r = -5*h + 180, 5*r - 5*h - 9 - b = 0. Does 30 divide r?
True
Let p(q) = 11*q. Let i(f) = -f**3 - 5*f**2 - 5*f - 3. Let w be (-16)/(-6)*(-6)/4. Let d be i(w). Is 5 a factor of p(d)?
False
Suppose -83 = -2*f + 97. Does 30 divide f?
True
Let v(k) = 2*k - 1. Is v(9) a multiple of 17?
True
Let n(m) be the first derivative of m**7/840 - m**6/90 - m**4/4 - m**3/3 + 2. Let z(c) be the third derivative of n(c). Is 19 a factor of z(5)?
True
Let z be -1*(4/2 + 1). Let s = z - -2. Is 14 a factor of 35 - (0 - 1) - s?
False
Suppose 4*y - 4*p - 541 = -y, 2*y + 2*p = 202. Is 21 a factor of y?
True
Suppose -2*w + 412 = 2*k, 6*k - 9*k = 12. Is w a multiple of 35?
True
Let q be -3*3/(-2 - 1). Suppose q*v - 6*v = -48. Suppose 2*y = -0*y + v. Does 6 divide y?
False
Let g = 6 + -3. Suppose 2*k + 1 = r, 5*k + 0*k = g*r - 5. Suppose 96 = k*z + z. Is z a multiple of 16?
True
Let a = -12 + 21. Is 4/(-6) - (-366)/a a multiple of 14?
False
Let o(h) be the second derivative of -17*h**5/20 + h**3/2 + h**2 + 5*h. Is 16 a factor of o(-1)?
True
Does 10 divide 15/25 + 127/5?
False
Suppose o - 171 = -5*h, -h - 4*o = -2*h + 30. Suppose v - h = -g, 3*g - g = 4*v + 50. Is 11 a factor of g?
False
Suppose -5*t + 361 + 99 = 0. Is 30 a factor of t?
False
Let x(p) = -p**3 - 10*p**2 - 8*p + 11. Let z be x(-9). Suppose 0 = 3*g - u - 63, g - z*u = 3*g - 50. Is g a multiple of 11?
True
Let n = -24 + 50. Suppose n = 3*f - 22. Is f a multiple of