?
True
Is 12 a factor of (-8)/3*63/(-14)?
True
Let p(v) = 2*v**2 + 8*v + 1. Let d(k) = -k. Let m(x) = 3*d(x) + p(x). Is m(-4) a multiple of 5?
False
Let z(v) = -v**3 + 5*v**2 - v + 6. Let a be z(5). Let y(x) = -3*x - 2*x - 5 + a. Is 10 a factor of y(-6)?
False
Suppose 3 + 23 = 5*g + 4*s, -10 = -g - 2*s. Is g even?
True
Let k(v) = 105*v - 4. Let a be k(3). Suppose -5*n - 31 = -a. Is 28 a factor of n?
True
Suppose -15 = 2*h - 5*b, 3*h + 2*b - 9 = -b. Suppose -5*z + 2*p = -h*p - 408, -p - 81 = -z. Does 18 divide z?
False
Let z(r) be the first derivative of r**3/3 - 5*r**2/2 + 2*r - 1. Does 8 divide z(6)?
True
Suppose -4*h - 3*v = -v - 8, 4*v + 8 = 0. Suppose -h = 4*j - 43. Does 3 divide j?
False
Let g be (-3)/(-9) - (-8)/3. Suppose -d = 5*k + 23, -4*d - g*k - 10 = -3. Suppose 53 = d*a + 13. Does 9 divide a?
False
Does 8 divide (1 + 14/(-10))/((-11)/330)?
False
Let g be (1/(-1))/(3/27). Let s = g - -14. Suppose -8*z + 4*z = -2*b + 88, s*z + 200 = 5*b. Is b a multiple of 18?
True
Let i(n) = -3*n - 1. Suppose -8 = 4*g - 0*g. Let w be i(g). Suppose -w*u = -u - 8. Does 2 divide u?
True
Suppose 3*z - 28 = g, 5*z + 4*g - 17 = 7. Is 15 a factor of -6*((-44)/z + 2)?
False
Let d(j) = -j**3 + 7*j**2 + 5*j + 8. Let f be (-336)/(-54) - (-2)/(-9). Is 37 a factor of d(f)?
True
Suppose -2*c + n - 4 = -n, 4 = n. Suppose c*q - 14 = 6. Is q a multiple of 10?
True
Let j be (6 + -5)*(-1 + -40). Let a = -7 + -3. Let d = a - j. Does 8 divide d?
False
Is (-248)/(-6) - (-3)/(-9) a multiple of 12?
False
Let q(b) = 52*b**3 + 2*b - 1. Is q(1) a multiple of 14?
False
Let g be (-94)/(-2)*(-1)/(-1). Suppose -68 = -5*s + g. Does 22 divide s?
False
Suppose -2*s - b - b = -10, 3*s + b - 5 = 0. Suppose s*t - 4*t = -400. Is t a multiple of 27?
False
Is ((-4)/5)/(2/(-100)) a multiple of 24?
False
Does 19 divide 1506/27 - 2/(-9)?
False
Does 17 divide (-68)/3*(-1 - 2)?
True
Suppose 4*z = 8*z - 20. Suppose 0 = 3*m - 2*c - 58, z*m + 0*c = c + 92. Does 18 divide m?
True
Let v(b) = -b - 5. Let f be v(-7). Does 10 divide (-3 - -6)/(f/14)?
False
Let l(j) = 2*j - 60. Let d(u) = u - 30. Let b(h) = 5*d(h) - 3*l(h). Let i = 1 - 1. Does 15 divide b(i)?
True
Suppose 0 = -4*b - 0*b + 16. Suppose 3*z + b*i = -1 - 2, 3 = -2*z - 3*i. Suppose -4*n - z*o + 31 = 0, 7*o - 2*o = 2*n - 9. Does 4 divide n?
False
Let y(w) = w + 31. Suppose 7*p - 2*p = 0. Is 8 a factor of y(p)?
False
Let o = -7 + 17. Let q = 24 - o. Is q a multiple of 7?
True
Suppose 0*n + l = -4*n + 20, 20 = 4*n - 3*l. Suppose o - 19 = -5*y - o, -n*o = 5*y - 25. Suppose -y*a = 2*a - 20. Does 2 divide a?
True
Let f be (-4)/(-6) + (-1070)/3. Let j(k) = -2*k**2 - 7*k - 3. Let b be j(-5). Does 14 divide 6/27 + f/b?
False
Let m = 17 - 2. Suppose d - 3*y = 18 + m, 60 = 2*d - 3*y. Does 13 divide d?
False
Let n(i) = -i**3 - 7*i**2 - 6*i + 3. Suppose -27 - 3 = 5*j. Is n(j) a multiple of 2?
False
Let g be (-6)/(((-45)/(-6))/(-5)). Suppose -25 = 5*k, 0 = i - 5*k + g*k - 41. Is i a multiple of 12?
True
Let a(i) = i**3 + 6*i**2 - 9*i - 2. Suppose -21 = 2*q + q. Is a(q) a multiple of 4?
True
Suppose -3*c + 3*u + 402 = 2*c, -4*u = -3*c + 250. Is 15 a factor of c?
False
Let r(v) = v**3 - 3*v**2 - 3*v - 2. Let b be r(3). Let a = b + 25. Does 7 divide a?
True
Let f(s) = s**3 + 9*s**2 + 11*s + 5. Let r be f(-8). Let d = r - -31. Does 12 divide d?
True
Suppose -4*q = -246 + 10. Is 13 a factor of q?
False
Let v(p) = p**3 + 6*p**2 + 2*p + 6. Let r be v(-6). Let k be (-34)/r + (-4)/6. Suppose -4*f + 25 + 20 = k*a, -4*a = -20. Does 2 divide f?
False
Suppose -4*u - 20 = -5*v, 0*v - 4 = -v. Suppose -4*b - 18 = 2*p + p, -3*b + 3*p - 3 = u. Let k(n) = -6*n + 3. Is k(b) a multiple of 15?
False
Let v(o) = -o**3 + o**2 + 4*o - 7. Let h be v(-5). Let f = -37 + h. Is 7 a factor of f/6 - 2/6?
True
Let j = 16 + 4. Is j a multiple of 20?
True
Let g be -3 + 1 - (5 - 6). Let w be 22/6*(7 + g). Let u = -7 + w. Is 7 a factor of u?
False
Let d be ((-20)/(-15))/((-1)/(-75)). Suppose -2*u + d = 3*u. Is 10 a factor of u?
True
Let k be (-20)/(-1)*(3 - 0). Let w be k/27 + (-6)/27. Let s = 1 + w. Is s a multiple of 3?
True
Suppose 3 - 193 = -5*b. Is b a multiple of 19?
True
Suppose -b = -2*b + 12. Is b a multiple of 3?
True
Suppose -115 = -l - 15. Suppose -l = -3*d - 28. Is d a multiple of 6?
True
Let i = 19 + -5. Does 14 divide i?
True
Let r(a) = -6*a + 1. Let l be r(1). Let w = l + 8. Does 2 divide w?
False
Let x(k) = -20*k + 1. Is x(-1) a multiple of 10?
False
Let j be (-4)/(-6) - 20/12. Let v = j + 6. Suppose -30 = -v*a + 2*a. Does 10 divide a?
True
Suppose v + l - 187 + 24 = 0, -319 = -2*v + 5*l. Is 51 a factor of v?
False
Does 12 divide 1 - (-335 + 1)*9/18?
True
Let m(d) = -d - 1 - 4 + 7*d. Is m(4) a multiple of 17?
False
Suppose 5*w + 22 = 4*q, 2*q + 4*w + 4 = 2. Let k be 88/(-6) - q/9. Let p = -10 - k. Does 5 divide p?
True
Let i(p) be the first derivative of -5/2*p**2 - 5/3*p**3 + 8*p - 2 + 1/4*p**4. Does 14 divide i(6)?
True
Suppose -5*w + 2*s + 10 = -700, 0 = 2*w - 2*s - 290. Is 28 a factor of w?
True
Let g = 3 + 3. Suppose -q = -2*q + g. Is 6 a factor of q?
True
Let r be (-2)/8 - (-17)/4. Let s = 7 - r. Is s + (1 - 1/1) even?
False
Suppose -14*s + 264 = -12*s. Does 22 divide s?
True
Let b(f) = -f**3 - 18*f**2 - 2*f - 18. Is b(-18) a multiple of 9?
True
Suppose 5*x - 9 = 2*h + 21, -x = 2*h + 6. Suppose -15 = -x*m - 63. Is (58/8)/((-3)/m) a multiple of 14?
False
Suppose 936 = 7*i + 131. Is i a multiple of 5?
True
Suppose -o + 6*o + 25 = 0, 5*d - 2300 = 2*o. Is 8 a factor of d/22 + (-10)/(-55)?
False
Let b(p) = p**3 + 5*p**2 - 7*p + 2. Let n(f) be the first derivative of -f**4/4 + 5*f**3/3 - 3*f**2 + 3*f + 2. Let s be n(4). Is 16 a factor of b(s)?
False
Let v be 4 + (-4)/(-16)*0. Suppose v*i - 3*i = 20. Is i a multiple of 7?
False
Suppose 4*g = -g + 25, 4*g - 20 = -4*v. Suppose -5*x + 5 + 10 = v. Suppose -z + 31 + 71 = 4*b, 32 = b - x*z. Is 13 a factor of b?
True
Let c = -5 + 8. Let k = c - 1. Is (25/k)/(4/8) a multiple of 12?
False
Let g(c) = -c**3 - c**2 + 6*c + 2. Does 13 divide g(-4)?
True
Suppose -6*k = -12*k + 432. Does 13 divide k?
False
Let m(b) = 5*b**3 + 11 - 11 + 4*b**3 - 2*b**2. Let d be m(2). Suppose -2*t + s = -d, 0*s = 2*s. Is t a multiple of 11?
False
Suppose -1 = 5*w - 11. Let y(v) = v**3 - 5*v**2 - 5*v - 2. Let u be y(6). Suppose -w*q - 5*m = -27 + 1, u*q - 3*m = 0. Is 3 a factor of q?
True
Let v(a) be the first derivative of a**6/120 - a**5/60 - a**4/12 + a**3/6 - a**2 + 2. Let k(b) be the second derivative of v(b). Does 13 divide k(3)?
True
Suppose -2*q - 81 + 227 = 0. Does 12 divide q?
False
Suppose -2*y = l - 8, -7*y - 4 = -3*y. Is l a multiple of 9?
False
Suppose -3*o - 2*o + 270 = 0. Let s be -2 - 2/(-2 + 4). Is o/s*(-2)/4 a multiple of 8?
False
Let k be -1*(3 - 2) + 3. Suppose 3*p - 4*q = 119, k*p - 58 = 3*q + 23. Is p a multiple of 14?
False
Let r(k) = -113*k - 3. Let z be r(-1). Is (-11)/(z/96)*-10 a multiple of 32?
True
Suppose 0 = -0*a + 3*a + 3*j - 132, -2*a = 5*j - 103. Is a a multiple of 13?
True
Let t(i) = 11*i - 2. Does 5 divide t(2)?
True
Suppose 0 = s + 1 + 1. Let d be 6*(1 + (-37)/s). Suppose -6*u = -o - u + 9, -u = -5*o + d. Does 12 divide o?
True
Suppose 4*o + 200 = 5*t + o, 121 = 3*t - 2*o. Does 11 divide t?
False
Let g be 4/(-10) + (-24)/(-10). Is (4/g)/(2/3) a multiple of 3?
True
Let q = -5 + 5. Suppose -v + 3 + 6 = q. Is 9 a factor of v?
True
Suppose 0 = p - 2, -5*g + 3*p = -2 + 8. Suppose 2*k + k - 6 = g. Suppose -5*m + 4*r = k*r - 86, 3*r = -5*m + 71. Is 16 a factor of m?
True
Let k = 61 + -31. Does 8 divide k?
False
Suppose 0 = 5*d - 11 + 1. Suppose -s + 10 = -d. Does 12 divide s?
True
Suppose 4*c + 3*h - 84 = 86, 0 = -c - 4*h + 36. Is c a multiple of 14?
False
Let c(m) be the second derivative of -m**3/2 + 4*m**2 + m. Does 8 divide c(-4)?
False
Let v(j) = 2*j**2 - 3. Suppose 1 = w - 4*q + 7, 0 = 4*w - 5*q + 2. Suppose -10 = w*t - 4*t. Does 17 divide v(t)?
False
Suppose 2*o - 5*a + 304 = 0, -o - 2*a + a = 166. Let u = -114 - o. Does 10 divide u?
False
Is 15 a factor of (-33)/22 + 66/4?
True
Suppose 5*w - 669 = -2*j, 144 = 4*w - 3*w - 3*j. Is 27 a factor of w?
True
Let v = -134 + 234. Suppose 0 = -2*r + 2*f + v, 2*f + 98 = 4*r - 98. Is r a multiple of 8?
True
Let q be ((-62)/8)/((-3)/12). Suppose -9 = -5*p + q. Is 7 a factor of p