 a factor of n(-9)?
False
Is 4 a factor of (-12)/(-42) + (-80)/(-14)?
False
Let g = -3 - -9. Let n(s) = -s**3 + 7*s**2 - 4*s + 5. Is n(g) a multiple of 5?
False
Suppose 2 = 3*v - 7. Suppose -v*d - 15 = -39. Is d a multiple of 8?
True
Is (-2 - -1) + 218 + (-2 - -4) a multiple of 38?
False
Let a(x) be the first derivative of -x**4/4 - 5*x**3/3 - 3*x**2/2 - 5*x - 1. Suppose -5*n + 15 = 0, -2*k - n = k + 12. Is a(k) a multiple of 5?
True
Let b(a) = 21*a - 2. Is b(2) a multiple of 20?
True
Suppose 2*i + 0*i + 3*w - 37 = 0, w = -i + 18. Suppose 3*g + u = 8, g + 3*g - 5*u = i. Does 3 divide (g/(-3) - 0) + 4?
True
Suppose 8*a - a - 182 = 0. Is 26 a factor of a?
True
Let r(c) = -c - 2. Let k be r(4). Is (k/4)/(3/(-54)) a multiple of 12?
False
Let f(l) = 15*l**2. Does 5 divide f(-1)?
True
Suppose 81 = v - s, 0 = -0*v - 5*v - 4*s + 360. Suppose 4*u - 128 = 68. Let a = v - u. Is a a multiple of 10?
False
Suppose 5*x - 22 = j, x + 132 = -4*j - x. Suppose r = 61 - 16. Let v = j + r. Is 5 a factor of v?
False
Let s(b) = 4*b - 20. Is 16 a factor of s(13)?
True
Suppose j - 2 - 2 = 2*p, -3*p - 16 = -4*j. Suppose 13 + 2 = 5*r - j*s, 4 = 2*r - 2*s. Is 2 a factor of r?
False
Let s(l) be the third derivative of l**6/20 + l**5/60 - l**4/12 + l**3/6 - l**2. Let k be s(1). Let o = 17 - k. Is 11 a factor of o?
True
Let k(i) = i + 3. Let s be k(-3). Let r be (s - 4)*20/(-16). Suppose 2*n - 58 = -3*p, -r*p = -0*n + n - 99. Is p a multiple of 10?
True
Let j(c) = 3*c**2 + 13*c - 3. Does 17 divide j(-8)?
True
Let a be 3 - (0 + 0 + -1). Suppose -6*m + a*m = -12. Is m even?
True
Let f(w) = -w**3 - 4*w**2 - w - 4. Let d be f(-5). Let o = d - 20. Is o a multiple of 2?
True
Does 13 divide (-2)/(-1*(-8)/(-156))?
True
Suppose 4*u - y + 136 = -28, -3*y + 12 = 0. Let k be 2*-2*(4 + 1). Let q = k - u. Is 10 a factor of q?
True
Suppose 5*m - 231 = 54. Is 2 a factor of m?
False
Let m be 4/((-12)/(-5))*3. Suppose -2*y + 54 = y - m*f, -4*y + 72 = -5*f. Does 14 divide y?
False
Let i be (-2)/(-3)*(-6)/4. Let b be 0 + (-2)/i + 2. Does 11 divide (-86)/(-4) + 2/b?
True
Suppose -3*c = -5*v + 214 + 499, -c = -v + 141. Suppose 4*l + 179 = -v. Let y = -40 - l. Is y a multiple of 14?
False
Suppose -5*b + 28 = 3*j - 17, b - 32 = 4*j. Does 9 divide b?
False
Is -2*29/(-2) - -3 a multiple of 20?
False
Let q(n) = -n**2 + 4*n + 4. Let x be q(6). Suppose -3*o + 5 = 2. Let d = o - x. Is d a multiple of 5?
False
Let u = 36 + 17. Is u a multiple of 15?
False
Is (-8)/(-20) + 148/5 a multiple of 15?
True
Suppose -3*r - 75 = -3*u, -5*u + 84 + 34 = 2*r. Is 5 a factor of u?
False
Let v(k) = k**3 - 6*k**2 + 4*k + 5. Let n be v(5). Suppose n*c + 4*x = c - 47, 5*c = -4*x + 187. Does 13 divide c?
True
Let s = -4 + 5. Is 18 a factor of s/(-2) + (-47)/(-2)?
False
Let k = 196 + -107. Does 13 divide k?
False
Suppose 0 = l - 3*q + 1 - 9, -l - 2*q = -18. Is l a multiple of 7?
True
Suppose -4*a + 126 = -a. Does 14 divide a?
True
Let b(z) = 7*z**3 - 2*z**2 + 2*z - 1. Is b(1) even?
True
Suppose 0*t + 69 = 3*t. Is t a multiple of 6?
False
Let p be -20*(-5)/(100/96). Suppose -j + 4*j + 204 = 0. Let t = p + j. Is 22 a factor of t?
False
Suppose 0 = -q + 8*l - 4*l - 8, 0 = 2*q - 4*l + 4. Let g = -4 + q. Suppose g*o = 4*o - 96. Does 12 divide o?
True
Let w(g) = 9*g**2 + 3*g + 1. Suppose 4*m = -4*v - 8, 4*m + v + 8 = 3*v. Does 10 divide w(m)?
False
Suppose -3*o - 2*o - 4*u = -50, 2*u = -2*o + 20. Does 9 divide o?
False
Suppose -a - 1 = -0. Let z be (-2)/(((-4)/(-6))/a). Suppose z*h + j = 66, 0 = -2*h - 3*j - 0*j + 37. Is h a multiple of 21?
False
Suppose -10 = -r + 15. Let g be 30/r + (-1)/5. Let o = g - -9. Is o a multiple of 10?
True
Let t = 13 + -11. Suppose -4*k + 131 = 3*v, k - t*v - 94 = -2*k. Is 19 a factor of k?
False
Suppose -5*z - g + 16 = 0, -z - 3*g = 2 - 8. Suppose -12 = 2*k - 4*h, -h + 3 = -z*k + 10. Is k a multiple of 2?
True
Suppose 0 = -4*x - 2*c + 415 + 457, -3*c = 4*x - 876. Is x a multiple of 36?
True
Let a = 144 - 207. Let x be -1*(0/(-2) + -2). Does 4 divide a/(-14) - (-1)/x?
False
Let o = 5 + -4. Let k = o - -4. Suppose 0 = -3*z + k*g - 0*g + 49, 2*z - 38 = -2*g. Is 14 a factor of z?
False
Let g(h) = 3*h**2 + h + 14. Let d be g(-11). Suppose d = -f - f. Is (-1)/6 + f/(-18) a multiple of 9?
False
Let j be -4*(2 - 1) + 52. Let z = j - 3. Is z a multiple of 9?
True
Let m be ((-2)/4)/((-3)/30). Suppose 21 = -m*n + 96. Is (n/(-6))/(2/(-4)) a multiple of 2?
False
Suppose -4*m + 4 = 0, y - 5*m - 11 - 27 = 0. Is y a multiple of 7?
False
Let n(u) = 7*u - 1. Let i(r) = r - 1. Let z(t) = 3*i(t) - n(t). Suppose -20 = 5*f - f - 2*h, -5*f + 1 = 4*h. Does 4 divide z(f)?
False
Let i be 80/(-24)*(-24)/2. Suppose 3*h - 2*u - i = 0, 2*u - 4 = -2*u. Is 11 a factor of h?
False
Suppose 2*b - 2 = -6. Let o be 3/(b*(-1)/(-68)). Is o/(-9)*(-9)/(-6) a multiple of 9?
False
Let a = 124 - 53. Is 8 a factor of a?
False
Let z = 6 - 2. Let y(b) be the third derivative of -b**6/120 + b**5/10 - b**4/4 + b**3 - b**2. Is 7 a factor of y(z)?
True
Suppose 0 = 4*n + 128. Suppose -4*b - 62 = -246. Let s = n + b. Is s a multiple of 7?
True
Let a = -24 - -56. Is 15 a factor of a?
False
Let p(t) be the second derivative of 5*t**4/4 - t**3/3 - t**2/2 - t. Is p(-1) a multiple of 16?
True
Let c = -3 + 6. Suppose z - 339 = -p + c*z, -1009 = -3*p + 4*z. Is 26 a factor of 14/63 + p/9?
False
Suppose 0 = 2*m - 7 + 3. Let i = m - -4. Does 3 divide i?
True
Let n = -27 - -26. Is ((-135)/(-6))/(n/(-2)) a multiple of 16?
False
Let i = 36 - 24. Is i a multiple of 6?
True
Let v = 199 - 132. Does 12 divide v?
False
Let w(r) = 171*r - 10. Does 14 divide w(1)?
False
Suppose 9 = -2*g - 2*d + 173, -2*g - d + 165 = 0. Does 21 divide g?
False
Let v = 21 - -7. Suppose -4*s + 5*i - v = 0, -s + 2*i - 7 = 6*i. Let p = s + 25. Does 6 divide p?
True
Let m be 2 - -4*1/(-2). Suppose m = 6*u - 137 - 253. Does 15 divide u?
False
Let p be 21/12 + (-2)/(-8). Suppose -f - f + 4 = s, -4 = p*f. Suppose s = -b + 17. Is b a multiple of 7?
False
Is 16 a factor of (-900)/(-14) - (-9)/((-252)/8)?
True
Suppose 0 = 8*h - 2601 - 591. Does 21 divide h?
True
Suppose -3*y = 4*a - 5*a - 7, -2*y + 5*a - 17 = 0. Suppose 35 = -y*d - 13. Is (-261)/d - (-3)/12 a multiple of 8?
False
Let m be (-18)/(-4)*16/12. Let n = 3 + m. Is 3 a factor of n?
True
Let c(b) = -b**3 + b**2. Let i(d) = -2*d**3 + 8*d**2 + 4*d + 6. Let j(t) = -3*c(t) + i(t). Let q = -7 + 3. Is j(q) a multiple of 6?
True
Does 29 divide 3/(-2)*1160/(-12)?
True
Let x(q) = -3*q + 3*q + 8 + q. Let i be x(-5). Suppose 2 = -l - 0, -i*p + 80 = -4*l. Is 10 a factor of p?
False
Let m(p) = -p**2 + 10. Let w be m(0). Suppose -11*o = -13*o + w. Is o a multiple of 5?
True
Suppose 0*q = -2*q + 30. Let k be q/3*1/1. Is 89/k + 7/35 a multiple of 5?
False
Suppose 5*l + 10 = 30. Suppose l*p - 25 = -p. Is p a multiple of 3?
False
Let d be (159/4)/(6/16). Let o = d - 67. Is o a multiple of 10?
False
Let q = -174 + 243. Is 23 a factor of q?
True
Is 31 a factor of 740/3 + (-28)/(-21)?
True
Suppose -2*g + 3 = 3*g + 4*n, 3*n = -5*g + 6. Let p = 6 - g. Suppose p*i - 53 = 34. Is 11 a factor of i?
False
Suppose 4*w + 2*b = -56, 2*w - 6*w + 5*b - 56 = 0. Let l = -11 - w. Is l a multiple of 2?
False
Let s(o) = -o**3 - 3*o**2 + 1. Let g be s(-2). Is 6 a factor of (-18)/(g + 2 + 0)?
True
Let n be (4 + -5)/((-3)/1203). Suppose 4*p + 234 = 3*l - 0*p, -5*l + 3*p = -n. Is 20 a factor of l?
False
Let k = -39 + 63. Suppose -k = -3*w + 36. Does 20 divide w?
True
Let x = 190 - 10. Is 18 a factor of x?
True
Suppose 5 = -o - 2*p, -6*o + 4*p = -2*o - 4. Is 7 a factor of (10 - -2 - o) + 1?
True
Let w(q) = -q**2 + 7*q - 6. Is w(4) a multiple of 3?
True
Let a(p) = 6*p - 41. Is 3 a factor of a(12)?
False
Let v(j) = -4*j**3 - 5*j - 2. Let b be v(-3). Let g = b - 53. Is 29 a factor of g?
False
Suppose -4*o - 35 = 1. Let q = o - -294. Suppose 5*a - 4*w - q = -w, -3*w + 255 = 4*a. Does 23 divide a?
False
Let r = -13 - -10. Let c(k) = 2*k**2 - 4*k + 2. Let b be c(2). Is -10*1/b*r a multiple of 6?
False
Is 2/(-7) + (8784/28)/6 a multiple of 6?
False
Let p be ((-20)/(-8))/(-5)*0. Suppose p = -3*m + 3 + 18. Is 4 a factor of m?
False
Let c = -13 + 8. Let l = c + 25. Does 10 divide l?
True
Suppose -12 - 3 = -v. Let n = 29 - v. Is 9 a factor of n?
False
Let f be 0/((-4 + 3)*-1). Let q = 10 + 