x**2 - 8 - 2*x**3 + 4*x. Is g(9) a multiple of 7?
True
Let p(n) = -n**3 + n - 10. Let g(y) = -y**3 + y**2 + 2*y - 11. Let t(k) = 5*g(k) - 6*p(k). Is 2 a factor of t(-4)?
False
Does 25 divide (8*5)/(2/5)?
True
Let x(j) = j**2 - 8*j - 7. Let n be x(9). Suppose 2*v + 5*p + 19 = 0, -n*v + 3*p - 29 = 6*p. Is 4 a factor of (-3)/1*v/6?
False
Let s(w) be the second derivative of w**4/12 + 10*w**2 - w. Suppose 3*l - l = -3*g + 6, 0 = 2*g + l - 3. Is s(g) a multiple of 7?
False
Suppose -77 - 47 = -4*q + 4*l, q - 4*l = 40. Is q a multiple of 7?
True
Suppose 0 = -r + g - 2*g + 10, -34 = -5*r + 3*g. Is r even?
True
Suppose 399 = -0*t + 7*t. Does 19 divide t?
True
Does 3 divide 1 - -14 - (19 + -21)?
False
Suppose -2*j + b = -2, 0 = 5*b - 2*b + 12. Let c be 2/(6/3) + j. Suppose -7*n + 2*n + 220 = c. Does 16 divide n?
False
Let w be 18/4*-2 + 0. Let u = 4 + w. Does 5 divide (-68)/u - (-2)/5?
False
Let s be (-4)/18 + (-52)/9. Let d = s + 5. Is 8 - d/3*0 a multiple of 7?
False
Suppose 2*d = 3*j - 0 + 2, d = 2*j. Is 8 a factor of ((-42)/(-4))/(2/d)?
False
Let s(g) = -6*g - 7. Let v(l) = -3*l - 3. Let a(y) = 2*s(y) - 5*v(y). Is 16 a factor of a(5)?
True
Is -36*(156/(-18) + 5) a multiple of 33?
True
Let n(j) = j**2 + 12*j + 1. Let w be n(-10). Let f = w + 37. Is f a multiple of 6?
True
Let j(q) = q**3 + 4*q**2 - 3*q + 5. Let o(k) = k + 15. Let p be o(-12). Suppose -p*s + 3*u + 2*u - 7 = 0, -4*s + 4*u = 12. Does 6 divide j(s)?
False
Suppose 1 = 2*n - 5*g + 2, -g = 5*n - 38. Let u = n - 4. Suppose -w - 68 = -u*w. Is 17 a factor of w?
True
Let r(i) = -i**3 + i - 1. Let a(w) = -5*w**3 + w**2 + 5*w - 6. Let t(c) = a(c) - 6*r(c). Suppose -3*v + 5 = -1. Is 10 a factor of t(v)?
True
Let t be (-2)/8 + (-183)/4. Let c = -4 - t. Does 17 divide c?
False
Let w = -208 + 296. Suppose 0 = -2*k - 2*k + w. Does 5 divide k?
False
Let v be 3*(-3)/((-27)/105). Let n = v - 24. Is n a multiple of 11?
True
Let n be (-243)/(-6) - (-1)/(-2). Suppose 0 = -4*y - 36 + 156. Suppose y + n = 5*r. Does 9 divide r?
False
Let s = 224 + -160. Is 16 a factor of s?
True
Let s(y) = -y**3 + 6*y**2 - y + 3. Let h be s(5). Let g = 50 - h. Is g a multiple of 7?
False
Let p = 125 - 38. Does 29 divide p?
True
Let u = -3 + 0. Let p = 7 + u. Suppose p*k = 80 + 80. Does 20 divide k?
True
Let t be 2/(-6)*-3 + 3. Suppose n - 5*p + 6 = 2, 0 = -t*n + 4*p. Let v = n + 11. Is 6 a factor of v?
True
Suppose 5*q + 48 = 9*q. Is q a multiple of 12?
True
Let k = -8 + 6. Is (-140)/(-15) + k/6 a multiple of 9?
True
Let y(q) = -q**3 + 6*q**2 + 5*q - 15. Does 13 divide y(6)?
False
Is 7 a factor of (-228 - -2)/(((-8)/4)/1)?
False
Let k(t) = -2*t**2 - 17*t - 20. Let i(d) = -d**2 - d. Let q(w) = -3*i(w) + k(w). Is 6 a factor of q(16)?
True
Does 16 divide (-13)/((-39)/108) + -4?
True
Let s = -5 + 7. Let g be (-4 + 3)*2/s. Let t = g - -6. Is 2 a factor of t?
False
Does 7 divide 125/4 - 9/36?
False
Let t = 0 + 6. Let o be (9/6 + 0)*t. Let n = o - 6. Is n a multiple of 2?
False
Let l be 3/2 + (-44)/8. Let r be 22/2 - 0/1. Let w = r - l. Is 10 a factor of w?
False
Let j = 22 + -13. Is 7 a factor of j?
False
Let i = 45 - -13. Is i a multiple of 18?
False
Let u(o) = 2*o**2 + 5*o + 5. Let n(c) = -c**3 + c**2 + c + 1. Let v be n(0). Let q be 1 - 2 - 4/v. Is 15 a factor of u(q)?
True
Let d = -3 - -7. Let g(w) = -6*w**2 + 8*w - 8. Let p(z) = 2*z**2 - 3*z + 3. Let v(b) = 2*g(b) + 7*p(b). Is 15 a factor of v(d)?
False
Let q = -360 - -548. Does 7 divide q?
False
Suppose 4*z - w - 28 = -4*w, 4*w = -16. Suppose -30 = -2*v + z. Is v a multiple of 6?
False
Is 8 a factor of ((-26)/(-10) + -3)*-100?
True
Let q be (-2)/(-3) + 10/3. Let p be q*1*10/8. Suppose p*k = -i + 36, -5*i - 5*k = -0*k - 120. Is 6 a factor of i?
False
Suppose 3*k = u + 15, 2*u - 21 = -k - 3*u. Is k a multiple of 2?
True
Let v = -94 - -135. Let l(j) = j**3 - 6*j**2 + 2*j + 5. Let q be l(4). Let w = v + q. Is w a multiple of 12?
False
Let j = -7 + 19. Suppose j - 2 = 5*l. Suppose l*h - 56 = -2*h. Is h a multiple of 7?
True
Let b = 80 + -56. Does 6 divide b?
True
Let d be (-60)/5*9/(-2). Let b = d + -23. Does 19 divide b?
False
Suppose 8*i = 6*i. Suppose -w + 35 = -i*w. Is w a multiple of 6?
False
Suppose 503 = 9*d + 8. Is d a multiple of 6?
False
Suppose -2*s = -s - 5*u + 5, -5*s - 3*u = -87. Does 15 divide s?
True
Let t be (8/(-2))/(-3 - -2). Let v(a) = -a + a - 1 + 10*a. Is 13 a factor of v(t)?
True
Suppose -5*x + 4*b = 2*b - 1489, -3*b + 291 = x. Does 33 divide x?
True
Suppose -m - 2*m = -12. Suppose m*t + 156 = -4*s, 5*s - 2*s = -t - 45. Is 9 a factor of ((-1)/(-2))/((-1)/t)?
True
Let y(q) = q**2 - 6*q + 5. Let b be y(-8). Suppose 27 = 3*p - b. Is 24 a factor of p?
True
Suppose -2*d - 2*x - 23 = -5*d, -2*x + 2 = 2*d. Does 5 divide d?
True
Let o(y) = -y**3 + 4*y**2 + 9*y - 12. Is o(4) a multiple of 12?
True
Let h = -51 + 25. Is 14 a factor of 1/(-2)*h + 2?
False
Suppose 3*h - 4*s - 81 = -s, 5*h - 141 = -s. Let k = 13 + h. Is k a multiple of 17?
False
Let t(p) = -p**3 - 5*p**2 - 7*p - 9. Let k be t(-4). Suppose -20 = -d + k*j, 2*j + 2*j - 100 = -5*d. Is 5 a factor of d?
True
Let i = -72 - -100. Is i a multiple of 14?
True
Suppose 4*i - 860 = -4*v, -4*i - i - 395 = -2*v. Let z be -1*1*v/(-2). Let r = z + -67. Is r a multiple of 19?
True
Suppose 3*x = 77 + 154. Is x a multiple of 11?
True
Let j(h) = 3*h + 10. Let k be j(-5). Is 7 a factor of (-106)/k - 1/5?
True
Let c(p) = -31*p**3 + 1. Is 16 a factor of c(-1)?
True
Let g = -185 - -208. Is g a multiple of 3?
False
Let n = 94 + -64. Suppose 0 = -2*d + 4*q + n, -4*d - 5 = 2*q - 35. Is d a multiple of 3?
True
Let j(b) = 44*b**2 - 1 + 33*b**2 - 2*b - 26*b**2. Let m be j(-1). Suppose -3*f + m = f. Is 6 a factor of f?
False
Let d(o) = 12*o - 4. Let b(w) = 6*w - 5 + 7*w + 0. Let l(j) = 3*b(j) - 4*d(j). Is l(-2) a multiple of 8?
False
Is 20/5 + 34 + 3 a multiple of 10?
False
Let w(n) = n**2 - 7*n + 7. Let g be w(5). Let r be (g/(-2))/((-21)/(-392)). Suppose 4*u = 36 + r. Is u a multiple of 9?
False
Let o = -13 + 10. Is 2 a factor of (1/o)/((-6)/126)?
False
Does 7 divide -3*4/12*-7?
True
Suppose -4*l + 24 = 4. Suppose -l*g + 18 = -2*g. Is g a multiple of 6?
True
Let s(p) = -p**3 + p**2 - p + 3. Suppose 0*c = 3*c. Is s(c) even?
False
Let p(y) be the second derivative of y**4/12 + 4*y**3/3 - y**2 - 2*y. Does 15 divide p(-10)?
False
Let z be ((-8)/(-6))/(6/(-81)). Let x = 39 - -4. Let s = x + z. Is 22 a factor of s?
False
Let p = -9 + 16. Suppose p*z = 12*z - 480. Is z a multiple of 32?
True
Suppose -3*n + 491 = -13. Is 21 a factor of n?
True
Suppose 2*z - 10 = -5*n + 43, 3*n = 5*z - 117. Suppose -z = -y - 3*y. Is 3 a factor of y?
True
Suppose -g = 5*w - 59, 5*w - 26 = 3*g + 17. Suppose 2*b - 1 = w. Suppose 60 = -2*s + b*s. Is 5 a factor of s?
True
Let l(s) = 4*s. Let v be l(-1). Let w = v + 2. Is 3 a factor of -7*((-4)/w)/(-2)?
False
Suppose -2*h + 28 = -h. Does 14 divide h?
True
Let k(j) be the first derivative of -j**4/4 - 4*j**3/3 - 3*j**2 - 3*j - 1. Is 7 a factor of k(-4)?
True
Let o be (-12)/9*(-6)/4. Suppose -o*x - 4*d + 50 = -d, 4*x - 90 = -d. Let i = x + -3. Does 19 divide i?
True
Let h(k) = -8*k + 1. Does 6 divide h(-2)?
False
Let o be 24 + 1/(-1) + -2. Let z = o - -36. Does 19 divide z?
True
Suppose 38*h = 42*h - 1060. Is 53 a factor of h?
True
Let h(z) = 2*z**2. Let v be h(-1). Is 13 a factor of (v + -1)/1 - -12?
True
Let w be -15*((-4)/(-2))/(-6). Suppose 0 = -2*a - w*d - 10, -5*d + 2 = -a + 12. Suppose 2*f - 53 + 7 = a. Is f a multiple of 14?
False
Suppose 3*p = -4*h + 385, 5*h - 429 = -p + 44. Is h a multiple of 15?
False
Let z(a) = -a**3 + 3*a**2 - 3*a + 2. Let p be z(2). Is p + (-3 - -20) - 2 a multiple of 9?
False
Suppose 0 = -3*x + 156 + 78. Is x a multiple of 21?
False
Let w = 10 - 17. Suppose -4*y + 14 + 5 = -i, -4*i = 4*y - 44. Let b = y - w. Does 13 divide b?
True
Suppose 70 = 3*g - 35. Suppose g + 4 = u. Does 13 divide u?
True
Let o = 12 + -10. Suppose -4*q = -2 - 14, p - o*q - 27 = 0. Does 16 divide p?
False
Suppose o - 5*j = 60, 4*o - 145 = -4*j + 95. Is 9 a factor of o?
False
Let c = 2 + 1. Suppose -c*x - 3*h + 18 = -0*h, -2*x + 5*h - 23 = 0. Is (-2)/(x - (-49)/(-47)) a multiple of 13?
False
Let r be -3*(0 + -2 + 1). Suppose 0 = 4*n - r*n. Suppose n = -3*d + 2*m + 8 + 1, -d = 4*m - 17. Is 5 a factor of d?
True
