 - 12*g**2. Is v(11) a multiple of 2?
True
Suppose 8*g - 136 = 4*g. Let t = g - 20. Let i = t + -6. Does 8 divide i?
True
Let k be 150/24 + (-2)/8. Suppose 0 = -4*u + 2*z + k + 18, 0 = 5*u - z - 24. Suppose -u*w + a - 12 + 315 = 0, a - 297 = -4*w. Is w a multiple of 25?
True
Suppose 8*u = -9*u + 44489. Is 18 a factor of u?
False
Let h(z) = z**2 - 21*z - 84. Does 24 divide h(-15)?
True
Let y = 1 + 14. Let l be (-1 + 4)*(-25)/y. Let z = 24 - l. Is z a multiple of 11?
False
Let v(c) = c + 8. Let b(t) = -t. Let y be b(8). Let q be v(y). Does 11 divide (q + 51/(-4))*-4?
False
Suppose 0 = -5*r + 2*d + 176, -4*r = -4*d + 6*d - 148. Does 4 divide r?
True
Suppose 0 = 5*o - 6*o - 1149. Let r be (-4)/22 - o/(-33). Let t = -11 - r. Is 8 a factor of t?
True
Let b be -22*(2 - 2/4). Let q = b + 50. Is 3 a factor of q?
False
Suppose -80*a = 3*r - 81*a - 815, -8 = 4*a. Is 6 a factor of r?
False
Suppose 0 = -21*l + 8147 + 3823. Is 10 a factor of l?
True
Let s be ((-1)/(-2))/((-3)/24). Let w(t) = t**3 - 5*t**2 - 3*t + 14. Let n be w(4). Does 14 divide -1*n/s*-20?
True
Let i be -15 - (2/(-6) - (-60)/18). Let t = i + 48. Is t a multiple of 5?
True
Suppose d + 3*y - 546 = 0, -y - 13 = -12. Is 9 a factor of d?
True
Is (-5 - -3)*(-161)/14 a multiple of 3?
False
Suppose -16 = -t - 3*t. Is t/26 - 1285/(-13) a multiple of 33?
True
Suppose 0 = -z + 3*z - 16. Let j = z + 6. Is 14 a factor of j?
True
Let r be (6/15)/(2/25). Let s(b) = 4*b**2 - 4*b - 5. Let n be s(-4). Suppose r*p = 5 + n. Is p a multiple of 9?
False
Let x(n) = -3*n**2 - 12*n + 5. Let a(d) be the second derivative of -d**4/12 - d**3/6 + 8*d. Let o(c) = -6*a(c) + x(c). Is o(5) a multiple of 13?
False
Let q(g) = g**3 - 8*g + 887. Is q(0) a multiple of 29?
False
Suppose -5*f - 2*d - 295 = -7*d, -4*f - 4*d - 212 = 0. Let u = 117 + f. Is u a multiple of 15?
False
Let t be (3/2)/(60/(-160)). Let m be 48/(-3 + 4) + t. Suppose -61 = -3*u + m. Is u a multiple of 5?
True
Let y(s) = -17*s**2 - 34*s - 67. Let b(h) = -6*h**2 - 11*h - 22. Let l(k) = 11*b(k) - 4*y(k). Does 26 divide l(-12)?
False
Let k(u) = -5*u**2 - 69*u + 45. Let l(s) = s**2 + 17*s - 11. Let b(n) = -4*n - 7. Let c be b(-4). Let t(a) = c*l(a) + 2*k(a). Is 15 a factor of t(6)?
True
Let c(f) = -f**2 + 5*f - 1. Let r be c(4). Suppose -v + 75 = 2*u, 2*u = -r*u. Suppose -w + v = 4*b - 0*b, 0 = -5*w - 4*b + 295. Is w a multiple of 22?
False
Suppose 5 - 3 = -r, -i - 5*r + 1909 = 0. Is 52 a factor of i?
False
Let a(f) = -4*f - 27. Let y be a(-9). Suppose -y*w = 4*w - 910. Is w a multiple of 14?
True
Let y be (10/(-75)*-5)/((-4)/(-78)). Let d = 3 + y. Does 14 divide d?
False
Let w(u) = -u**3 + 3*u**2 - 5*u + 4. Let s(o) = 3*o**3 - 5*o**2 + 9*o - 8. Let b(h) = 2*s(h) + 5*w(h). Is 6 a factor of b(3)?
False
Let y(k) = 21*k**3 - 3*k**2 + k. Let p(g) = -g - 11. Let x be p(-13). Is 24 a factor of y(x)?
False
Let u(w) = w**2 - 17*w - 15. Let a be u(18). Suppose -5*l - y = -2*y - 4, -a*l - 2*y - 8 = 0. Suppose 38 = m + c, -2*c + 8 = -l*c. Is m a multiple of 9?
False
Suppose -6907 = -4*a + k, -3*a + 2*k = -0*a - 5174. Is 92 a factor of a?
False
Let u(m) = 3*m + 57. Let n(q) = q**2 + 6*q. Suppose 3*l = -l - 24. Let y be n(l). Is u(y) a multiple of 19?
True
Let x(p) = -8*p**2 - 2*p - 2. Let s be x(-1). Let h be ((-1)/2)/(4/s). Is (-4 + 2)*h*-20 a multiple of 15?
False
Suppose 3*h + h - 4270 = 2*g, 4276 = 4*h - 4*g. Suppose 4*n = -10 + h. Suppose 456 = 5*q + 2*l, 3*q - 2*l = -0*l + n. Is 18 a factor of q?
True
Let u = -6616 + 10913. Is 12 a factor of u?
False
Let g = 1838 + -953. Does 139 divide g?
False
Let x be 48 + 2*2/4. Suppose -x + 205 = 2*f. Is f a multiple of 13?
True
Let d = 164 + -95. Let b = 24 + d. Does 12 divide b?
False
Let z = 4315 + -1914. Is 86 a factor of z?
False
Let d(n) = 2*n**3 - 7*n**2 + 3*n + 1. Let v be d(3). Is 0/(-21) + (1 - (-95)/v) a multiple of 12?
True
Let q(j) = j**3 + 8*j**2 - 10*j. Let w be q(-9). Suppose -2*i + w = -79. Is i a multiple of 11?
True
Let p(a) = 2*a**2 - 110*a + 189. Does 53 divide p(61)?
False
Suppose -w - 533 = -3*x + 229, 0 = 4*x + 5*w - 1016. Is x a multiple of 5?
False
Let r(q) be the first derivative of 3*q**2 - 34*q - 8. Is 5 a factor of r(14)?
True
Let n = 494 - -297. Is (2 - n)*8/(-24) a multiple of 38?
False
Suppose -3*h - 3*v = -72, 2*h = 6*h - 5*v - 132. Suppose 5*y + 9 - 21 = -k, -k - y + h = 0. Does 4 divide k?
True
Let y = 373 - 224. Is 4 a factor of y?
False
Is 2 a factor of (3 + 3 - 10)*-36?
True
Let p be ((-1)/(-5))/(1/15). Is (136/(-6))/((-2)/p) a multiple of 32?
False
Let c(m) = 5*m + 0*m + 0 - 2*m + 17. Is c(5) a multiple of 8?
True
Let c = -2342 + 4472. Does 142 divide c?
True
Let y(z) be the third derivative of -z**4/12 - 4*z**2. Let k be y(-1). Suppose k*a - 2*v = -6*v + 44, 3*v + 12 = a. Is a a multiple of 18?
True
Let f(a) = -a**3 + 8*a**2 + 3*a + 12. Let x = -12 - -17. Let w(q) = -q**3 + 7*q**2 + 3*q + 11. Let m(n) = x*f(n) - 6*w(n). Is m(5) a multiple of 31?
False
Suppose 20*n + 33 = 353. Is n a multiple of 2?
True
Let r(p) = 3*p**3 - 8*p**2 - 10*p + 45. Is 5 a factor of r(6)?
True
Does 23 divide 1 + (-51)/45 - 95228/(-60)?
True
Suppose -3440 = 10*x - 15*x. Does 43 divide x?
True
Suppose 0 = -y + 4*p, -6 = -y - y + 2*p. Suppose -4*w - 8 = -4*d, w - 2*w + 2*d = y. Suppose -4*x + 3*x + 46 = w. Is x a multiple of 23?
True
Suppose 5*m + 3*w = 5*w + 279, 3*m - 4*w = 173. Does 5 divide m?
True
Suppose -2*b = -0*b - 26. Suppose 62 = 5*f - b. Let c = f - 0. Is c a multiple of 13?
False
Let b(r) be the second derivative of -r**5/20 - 19*r**4/12 - 7*r**3/2 - 9*r**2 - 3*r. Is 12 a factor of b(-18)?
True
Suppose -4*i + 0*f = 2*f - 4692, -2*f = 0. Does 69 divide i?
True
Suppose s - 6*s = -100. Suppose 5*c + 70 = -5*y - s, -3*y - 4*c - 58 = 0. Is (21/y)/(1/(-2)) a multiple of 3?
True
Let h = 1437 + -1335. Is 6 a factor of h?
True
Suppose -3*j + 11154 = 3*f, -106*f + 108*f - 5*j - 7471 = 0. Is f a multiple of 17?
True
Let c be (72/21)/(2/14). Suppose -n - x + 8 = 0, 36 + c = 4*n - 3*x. Let w(b) = b**3 - 13*b**2 + 14*b - 7. Is 17 a factor of w(n)?
True
Does 7 divide (-1 - 3/(-15)) + (-1268)/(-10)?
True
Suppose 0 = -6*k + 7*k + 2. Is 6 a factor of (k/7)/((-21)/441)?
True
Suppose 7*j = 3*j. Suppose -3*a - 16 = -j*u - u, 3*u = -2*a + 92. Is 11 a factor of u?
False
Let r(a) = 5*a - 25. Let c be r(10). Let t = -154 + 85. Let z = c - t. Is z a multiple of 19?
False
Let k(g) be the second derivative of -1/20*g**5 + g + 11/2*g**2 + g**3 - 7/12*g**4 + 0. Is 9 a factor of k(-8)?
True
Let u = 12 - -34. Let h = 102 - u. Is 3 a factor of h?
False
Let p be (-4)/(-5)*(-45)/(-18). Suppose 0 = -4*d + 3*f + 273, d - f = p*d - 77. Does 12 divide d?
True
Is 31 a factor of (-11494)/(-14) + (3 - (2 + -4))?
False
Suppose -f + 3*b = -11, 0 = 4*f + 4*b + 19 + 17. Let p(n) = -n**2 + 3*n + 3. Let o be p(-2). Let g = f - o. Is g a multiple of 3?
True
Let k be ((-3)/(-3))/(2/(-8)). Does 32 divide k/14 + (-2692)/(-14)?
True
Suppose 16*x - 3742 - 2786 = 0. Is 16 a factor of x?
False
Let m(b) = -b**2 + 7*b - 6. Let f be m(6). Suppose 2*w - 20 - 36 = f. Is 3 a factor of w?
False
Let p = -249 - -476. Does 19 divide p - (3 - 4 - 0)?
True
Suppose o + 30 = -2*o. Let f = o + 18. Let h = f + 17. Is 11 a factor of h?
False
Let u(p) = 121*p**2 - 11*p - 14. Is 19 a factor of u(-2)?
False
Let t be 1 + 1 + 28*-1. Suppose -2*r = 2*r + 156. Let f = t - r. Is 4 a factor of f?
False
Let o = 519 - 338. Is 6 a factor of o?
False
Suppose -3*s = 984 + 456. Does 32 divide s/9*-2*(-6)/(-4)?
True
Let y(g) = -4*g - 14. Let p = 15 - 21. Is 4 a factor of y(p)?
False
Let k(z) be the first derivative of -8*z**2 - 21*z - 39. Is 5 a factor of k(-2)?
False
Let k be 2/3*-1*3. Let z(w) = -w**3 - 2*w**2 - 2*w - 2. Let f(d) = 3*d**3 + 9*d**2 + 8*d + 9. Let a(m) = 2*f(m) + 9*z(m). Is 6 a factor of a(k)?
False
Let n = -1036 + 1852. Does 37 divide n?
False
Let q = -3 + 8. Suppose -809 = -q*s - 3*f, -2*s + 318 = -0*s + 4*f. Is s a multiple of 14?
False
Let z = -125 + 329. Is 102 a factor of z?
True
Let k(r) = r**3 + 17*r**2 + 8*r + 62. Is k(-15) a multiple of 7?
True
Let y be 428/5 + 0 + (-120)/200. Let l = -4 + y. Is 27 a factor of l?
True
Let q = 3986 - 2839. Is 54 a factor of q?
False
Let i = 39 + -30. Does 9 divide i?
True
Is (-13270)/(-12) + 19/114 a multiple of 73?
False
Let