2 a factor of n(g)?
True
Let r(p) = -2*p**2 + 10*p - 7. Let x be r(6). Let y = -6 - x. Suppose -y*h - 60 = -18*h. Is h a multiple of 12?
True
Suppose -4*w + 23 = 5*u, 4*w - u - 4*u = -7. Suppose 106 = -w*n + 4*n. Is 8 a factor of n?
False
Suppose 3125 - 401 = 6*b. Let i = -300 + b. Does 22 divide i?
True
Let q(n) = 7*n**3 - 7*n**2 - 11*n - 6. Suppose 0 = -5*d + 4*d + 6. Let k(z) = -20*z**3 + 21*z**2 + 33*z + 17. Let s(c) = d*k(c) + 17*q(c). Does 8 divide s(8)?
True
Let y be -2 - (3 - 313)/5. Let f be -4*(y/16)/5. Does 15 divide ((-219)/f - 3) + 4?
False
Let v = -97 - -160. Does 50 divide v?
False
Let u = -396 - -839. Is 31 a factor of u?
False
Suppose 8*f - 12*f = 0. Suppose -4*r + 91 - 11 = f. Is r a multiple of 20?
True
Suppose -282 = -l - 46. Is 10 a factor of l?
False
Let i be (-4)/(-2) + -1 + 2. Suppose 0 = 163*b - 165*b - 2. Is -3 + (b - (-96)/i) a multiple of 7?
True
Suppose -22*g + 43027 = -5*g. Is 25 a factor of g?
False
Suppose 2*y - 12 = -5*n, -3*y - 4*n + 8 = -10. Let k(i) = 56*i**3 + i**2 - 2*i - 1. Let r be k(1). Let u = r + y. Does 24 divide u?
False
Let k(c) = -154*c**2 + 10*c + 7. Let x(p) = 77*p**2 - 5*p - 3. Let f(l) = -3*k(l) - 5*x(l). Is 52 a factor of f(-2)?
True
Let b(r) = -33*r - 50. Let p(j) = -65*j - 101. Let t(v) = 15*b(v) - 6*p(v). Let z(g) = -13*g - 18. Let m(x) = 4*t(x) - 33*z(x). Is 15 a factor of m(8)?
True
Suppose 4*g - 12*g = -536. Is g a multiple of 24?
False
Let m = 164 + -127. Suppose -95 - m = -3*t. Is t a multiple of 11?
True
Let a(x) = 38*x + 563. Is 9 a factor of a(0)?
False
Is (14 + -17)/(2 - 15/6) a multiple of 6?
True
Let i be (-21 - -18) + 13 + (-1)/1. Suppose 88 = i*n + 7. Is n even?
False
Suppose -4*o + q - 5*q = -8, 3*o - q - 6 = 0. Suppose -3*f - 4*m = 2*f - 519, 2*f - 204 = o*m. Does 19 divide (-2)/(-3)*-3 + f?
False
Let k be 1 + 0 - (-13)/((-91)/924). Let t = 52 - k. Is t a multiple of 26?
False
Is 1 + -40*(-18)/(-12)*-1 a multiple of 5?
False
Let b(f) = -f**3 + 7*f**2 + 7*f - 3. Let v be b(9). Let z be ((-760)/25)/((-2)/10). Let q = v + z. Is q a multiple of 26?
False
Suppose 3*f - 2*x = 2, -x + 7 - 19 = 4*f. Is f + 15*(100/12 + 1) a multiple of 31?
False
Does 5 divide (84/8)/((-4)/(-184)) + 6?
False
Let y(u) = -u**2 - 12*u - 29. Let j be y(-8). Let l(z) = 2*z**3 - 8*z**2 + 7*z - 2. Let n be l(5). Suppose 0 = j*c - n - 70. Is 32 a factor of c?
False
Suppose -n = 3*n - 132. Let t = n - -71. Suppose -3*o + o + t = 0. Is 13 a factor of o?
True
Let h be ((-26)/(-5))/(8/20). Let n = h + -13. Suppose 5*z + n*z = 115. Is z a multiple of 5?
False
Suppose 0 = -k + 63 + 396. Is k a multiple of 32?
False
Let o(t) = -3 + 18*t**2 + 2 - 11*t**2 + t. Let a be o(1). Let d(g) = 7*g - 4. Does 15 divide d(a)?
True
Suppose -6*l + 1430 = -640. Is 9 a factor of l?
False
Let b be 2/18*-3 - 520/15. Does 8 divide (-5)/(b/14) - 75/(-1)?
False
Let k = 47 + -56. Let m(r) be the third derivative of -r**6/120 - r**5/6 - 11*r**4/24 - 3*r**3/2 + 2*r**2. Is m(k) even?
False
Suppose 4*k - 2*h = -7*h + 735, 2*k + h - 363 = 0. Suppose k = 3*y - 5*p, -4*y - 174 + 414 = -3*p. Does 15 divide y?
True
Let m be (-11)/(-33) + 1/(-3). Suppose -s + m = -3. Suppose 4*v + 218 = s*w, 3*v - 89 = -2*w + 28. Is 15 a factor of w?
False
Suppose -8*h + 9*h - 4 = 0. Suppose -2 = -h*z + 6. Suppose -9 = -3*l + z*l. Is 3 a factor of l?
True
Let o = 18 + -18. Suppose 4*v - 8*v - 4*n = 0, 2*v + 3*n = o. Suppose -f - 14 + 68 = v. Is f a multiple of 27?
True
Let c(m) = -2*m**3 - 8*m**2 + 6*m + 6. Let h be c(-4). Let s be (-231)/h - 2/(-12). Let u(j) = j**2 - 10*j - 18. Is u(s) a multiple of 5?
False
Is 6 a factor of -324*6/(-12)*(1 + 0)?
True
Let j(c) be the first derivative of -c**6/120 - c**5/12 + c**4/12 + c**3 + 4*c**2 + 1. Let z(d) be the second derivative of j(d). Is 10 a factor of z(-6)?
True
Let g(q) = -34*q - 163. Is g(-6) a multiple of 2?
False
Suppose 7*t - 1 = 13. Suppose -3*c - t*g = -131, -2*c = -6*c + g + 171. Is 6 a factor of c?
False
Let u = 15 + -12. Suppose -2*q - 11 = -1, 2*q = -u*w - 1. Is w a multiple of 3?
True
Suppose 13*m = 710 + 1058. Does 34 divide m?
True
Let i = -749 + 1901. Is i a multiple of 32?
True
Let z(w) = -4*w + 8. Let o be z(14). Let f = -16 - o. Does 8 divide f?
True
Let l = 687 - -1622. Is 99 a factor of l?
False
Suppose -17*h + 12929 = -15393. Does 14 divide h?
True
Let t(g) = -2*g + 25. Let a be t(13). Let x(o) = -161*o**3 - 1. Is x(a) a multiple of 32?
True
Suppose -2*l - 5*q + 118 + 1 = 0, 208 = 4*l + 4*q. Let x = -29 + l. Is 18 a factor of x?
True
Is 29 a factor of (-29)/((-3)/(-8) + 74/(-176))?
True
Let t be 1/(-1*4/(-412)). Suppose 0 = 3*f - 5*h - 5, -4*f - 10 = 3*h - 36. Suppose 0 = z + 5, f*j = -z + t + 12. Does 24 divide j?
True
Suppose 4*w - 2*k - 1351 = 883, -3*w - 3*k + 1698 = 0. Does 6 divide w?
False
Suppose -18*x = -3051 - 6345. Suppose 9*s - x = 1908. Is 20 a factor of s?
False
Let u be -5 + 0 - (-20)/4. Suppose u = -3*b - 6*f + 5*f + 80, -4*b - 5*f = -92. Does 14 divide b?
True
Let x = -465 + 535. Is 35 a factor of x?
True
Suppose -5*s + 3*m = -4, 2*m - 1 = -3*s + 9. Suppose 8*n - 9*n = -s. Suppose -22 = -n*p + 12. Is 10 a factor of p?
False
Is 67 a factor of (-4 - (-11)/(11/536)) + 4?
True
Is 5 a factor of (-48 + -1)/((-22)/44)?
False
Let q be 167 + 5/(15/9). Let k = -120 + q. Suppose k - 8 = 2*m. Is 7 a factor of m?
True
Suppose 14*g + 2*k = 11*g + 6882, g = -3*k + 2294. Is 62 a factor of g?
True
Let h be (33/(-12))/((-1)/4). Let i = 13 - h. Suppose -2*x + 3*s = -7 - 6, -5*s + 5 = i*x. Is 5 a factor of x?
True
Let m = 712 + -520. Is m a multiple of 48?
True
Is 911/4 - (-9 + 245/28) a multiple of 5?
False
Let m(t) = t**2 + 14*t - 76. Is 7 a factor of m(-25)?
False
Suppose 0 = 2*d - 6. Let t(f) = -f**2 + 4*f - 3. Let i be t(d). Suppose i*j - 2*j + 88 = -5*u, -2*j - 5*u + 88 = 0. Is 11 a factor of j?
True
Is (0 + 8 - 4)*(-840)/(-5) a multiple of 96?
True
Does 8 divide ((-12)/(-10))/(0 + (-2)/(-170))?
False
Let l(w) = -w**2 + 15*w - 13. Suppose -b = 3*b - v - 54, -5*b - 2*v = -61. Is 13 a factor of l(b)?
True
Suppose 37*o + 33934 = 56*o. Is 38 a factor of o?
True
Let l(d) = -d**3 + 12*d**2 - 8*d - 8. Let t be l(11). Let v = 11 - 4. Let r = t + v. Is r a multiple of 16?
True
Suppose -2176 + 628 = -4*g. Suppose g = 3*y - 90. Does 40 divide y?
False
Let p(l) = l**2 + 5*l + 15. Let k be 1/(((-10)/(-2))/(-30)). Does 10 divide p(k)?
False
Does 103 divide (515/15)/(12/72)?
True
Let y = 1584 - 1352. Is y even?
True
Suppose 4*t = -4*a + 24, 4*t = a - t. Suppose -2*x + 22 = 5*m - a*x, 0 = -5*m + 4*x + 21. Suppose -4*n - 108 = -m*n + 4*h, -2*n - h = -198. Does 25 divide n?
True
Let v(t) be the first derivative of -t**4/4 - 2*t**3 + 7*t**2/2 + 7*t - 5. Let x be v(-7). Let q = 33 + x. Does 10 divide q?
True
Suppose 45318 = 22*v + 56*v. Is v a multiple of 14?
False
Let d(k) = k**3 + 4*k**2 - 6*k - 6. Let f be d(-6). Let x = -38 - f. Does 4 divide x?
True
Suppose -13775 = -31*v + 36352. Is 21 a factor of v?
True
Is 21 a factor of ((-12)/(-15))/((-2)/5) + 101?
False
Let r = 1671 + -1236. Does 21 divide r?
False
Suppose -z - 163 = -2*z. Let v(k) = k**3 - 2*k**2 + 3*k - 75. Let m be v(0). Let b = z + m. Is b a multiple of 15?
False
Let z be (8/3)/(2/3). Suppose -z*x - x = -190. Suppose -w - 3*n + 2*n = -x, -3*n - 30 = -w. Does 16 divide w?
False
Let u(g) = -1. Let a(s) = -3*s + 39. Let r(j) = -a(j) + 2*u(j). Is 6 a factor of r(20)?
False
Let q(n) = n**3 + 11*n**2 - 2*n - 22. Let j be q(-11). Suppose 0 = -2*w + 3*x + 547, j = -3*w - x + 670 + 123. Is 38 a factor of w?
True
Let c = 93 - 84. Suppose 0*i + i - 329 = -4*m, -c = 3*i. Does 31 divide m?
False
Let v(g) be the first derivative of -g**3/3 + 9*g**2/2 - g - 1. Let i(c) = c**2 - c - 48. Let o be i(8). Does 2 divide v(o)?
False
Let m(c) = -122*c + 30. Let q be m(-3). Suppose -11*l = -9*l - q. Is 14 a factor of l?
False
Let o(z) = -2*z - 2. Let u = -7 - -5. Let h be o(u). Is 10 a factor of (h*-2)/((-6)/15)?
True
Suppose 2*c - 4097 = -n, 4258 + 3901 = 4*c - 5*n. Is c a multiple of 116?
False
Let d = 7 + -13. Let w = 6 - d. Let h = 36 - w. Is h a multiple of 12?
True
Suppose -6*p = -2*p - 536. Does 9 divide p?
False
Suppose -b - s = -66, 3*s + 62 = b + 4. Is b/1 - 0 - (-39)/13 a multiple of 4?
False
Suppose -5*x + 888 = -4*k, -2*k = -2*x - 0*x + 356. Is x a mult