e
Let v(y) = 5*y + 4. Let h be v(-5). Let g(f) = -f**3 - 7*f**2 - 5*f - 10. Let z be g(-6). Let o = z - h. Does 3 divide o?
False
Let k(p) be the second derivative of -219*p**3/2 + p**2/2 - p. Let z be k(-2). Does 13 divide z/25 - 2/(-5)?
False
Is ((-562)/10)/(10/(-50)) a multiple of 14?
False
Let r be (-5550)/(-20)*(-1 + 1/5). Let n = -114 - r. Does 36 divide n?
True
Suppose 69 = -5*q + 119. Let m be 48/1*(-1 - -2). Let k = q + m. Is 11 a factor of k?
False
Let f be -1 + 2/(0 - -2). Suppose f = 5*l + 2*k + 36, 4*l + 21 = k - 13. Let n(b) = -b**3 - 8*b**2 - b + 9. Is 6 a factor of n(l)?
False
Let m(o) = -189*o - 62. Does 17 divide m(-14)?
True
Let r = 16 - -14. Let a = 29 - r. Is (-1)/((4/44)/a) a multiple of 5?
False
Is 22 a factor of (-2)/(11 + -5 - (-1202)/(-200))?
False
Suppose -j + 90 = -97. Let x = 328 - j. Is 22 a factor of x?
False
Let o(v) = 23*v**2 + 3*v - 278. Is o(-16) a multiple of 39?
False
Suppose 4*z - 17 = 11. Let c = 391 + -389. Suppose c*m - 3 - z = 0. Is m even?
False
Let f(m) = 430*m**3 - 3*m**2. Does 61 divide f(1)?
True
Suppose 3*d = 4*d + 107. Let z = d - -200. Is 15 a factor of z?
False
Let h = 2118 - 1203. Suppose 186 - h = -3*w. Is w a multiple of 21?
False
Let n(s) = -8*s**3 - 8*s**2 - 38*s - 6. Is n(-3) a multiple of 12?
True
Suppose 2*b - 3960 - 216 = 0. Is 18 a factor of b?
True
Let g(k) = -k - 8. Let n(b) = -b - 8. Let i(q) = -2*g(q) + 3*n(q). Let l be i(-4). Does 5 divide 2*10/(-4)*l?
True
Let f = -517 - -1004. Is f a multiple of 21?
False
Let z = -106 + 98. Does 3 divide (-12)/z*-7*-2?
True
Suppose -13*o + 767 + 1027 = 0. Does 26 divide o?
False
Let m be (21 - 4)/(3/(-3)). Let d(u) = -6*u - 47. Does 7 divide d(m)?
False
Suppose n - 3 - 5 = 0. Suppose 0 = n*q - 3*q - 25. Suppose -22 = -b + y + 29, q*b = -3*y + 247. Does 25 divide b?
True
Is 56/(-2)*((-45)/(-10) + -8) a multiple of 48?
False
Let c be (-3486)/35 + (-4)/10. Let z = 8 - c. Does 27 divide z?
True
Suppose 13 = 8*c + 141. Let p = -12 - c. Suppose -2*k + 60 = 4*r, -6*k + 2*k = p*r - 100. Does 10 divide k?
True
Let u = 207 - 112. Is u a multiple of 19?
True
Let n be 2/(-10) + (-1)/(-5). Let a = 344 - 220. Suppose 5*f + 20 = n, 4*m = f - 4*f + a. Does 24 divide m?
False
Suppose -h - 168 = -3*h. Let b = h + -28. Does 14 divide b?
True
Suppose 52 = -3*o + 316. Suppose -3*j = j + o. Is (3 - 4)/2*j a multiple of 11?
True
Is (1/2)/(4734/(-948) - -5) a multiple of 28?
False
Suppose -6*o = 4*o - 90. Does 14 divide (-126)/(-4)*12/o?
True
Suppose -o + 5 = -6*o. Let l(p) = -48*p**3 - p**2. Does 16 divide l(o)?
False
Let q(a) = a**2 - 10*a - 8. Let d = -2 + 15. Let f be q(d). Let s = -16 + f. Is s a multiple of 15?
True
Suppose -2*m + 4*s - s + 24 = 0, -m + 15 = -3*s. Let r(i) = -8*i + 11. Let g(v) = 4*v - 6. Let b(j) = 7*g(j) + 3*r(j). Is 5 a factor of b(m)?
False
Let g(w) = -w + 1. Let d be (-11)/6 - (-2)/(-12). Let h be g(d). Suppose 3*t - 76 = -4*o, h*t - 92 = 2*o + 2*o. Is 9 a factor of t?
False
Let o(p) be the second derivative of -p**5/20 + p**4/6 + p**3/2 + 3*p**2/2 - 29*p. Suppose 5*h + 5*r = -0*h - 45, -h - 24 = 4*r. Is o(h) a multiple of 29?
True
Let x = 3110 - 2218. Is x a multiple of 21?
False
Let a(v) = -9*v + 8. Let f = 25 - 0. Suppose 21*o - f*o - 28 = 0. Is a(o) a multiple of 33?
False
Let w = 13 - 10. Let l(x) = 3*x**2. Let o be l(-1). Suppose o*a + 43 = 3*k - 71, 66 = 2*k + w*a. Is k a multiple of 8?
False
Let p(l) = -4*l + 44. Let x be p(-22). Suppose -2*w + x = -178. Is w a multiple of 20?
False
Suppose -28 = -z - 6*z. Suppose k - 2*f = -z*f + 27, -5*f = k - 24. Is k a multiple of 4?
False
Let i(k) = -119*k**3 + k**2 + 10*k + 9. Is 7 a factor of i(-1)?
True
Suppose 18*m = -64*m + 186796. Is 34 a factor of m?
True
Let c = 1430 - 1235. Does 21 divide c?
False
Let p be (-3)/(6/20)*12/24. Let q = p - -77. Is q a multiple of 18?
True
Suppose -4*y + 1530 = -2*t, 2*y + 5*t - 551 = 184. Does 26 divide y?
False
Suppose 3*p - 4*c = 9, -5*p + 4*c + 14 + 1 = 0. Let x be 175/10*(-6)/p. Let l = 128 + x. Does 24 divide l?
False
Let p be (-2740)/(-12) - 6/(-9). Does 21 divide p/11 + 58/319?
True
Does 3 divide (91 + -96)*(19 - 2)*-1?
False
Let u(o) = o**2 + 7*o - 42. Does 23 divide u(14)?
False
Let f(l) = 2*l**2 + 2*l + 4. Let m be f(-5). Let y = m + -10. Let n = y + -9. Is 4 a factor of n?
False
Suppose 3 = -6*f + 5*f. Let j be (41 - 0) + f + 6. Suppose 5*i + 9 = j. Is i a multiple of 5?
False
Suppose 80*m - 77*m - 1008 = 0. Is 84 a factor of m?
True
Let v(g) = -g**2 - 30*g + 282. Let y be v(10). Let z = 227 + -397. Let b = y - z. Is b a multiple of 13?
True
Let q(n) = 24*n**2 - 30*n. Is q(4) a multiple of 22?
True
Suppose 22*a = 18*a - 4*v + 7908, 2*v = a - 1968. Is a a multiple of 37?
False
Suppose 4*o - 120 = 3*t - 5*t, -o - 204 = -4*t. Let v = t - 45. Is v a multiple of 7?
True
Suppose 5*p - 548 = 6*q - 8*q, 3*q - 808 = -4*p. Is 11 a factor of q?
True
Let k(i) = -i**3 + i**2 - 11*i + 11. Is k(-7) a multiple of 5?
True
Let h(o) = 20*o**2 + 15*o - 29. Let x(k) = 7*k**2 + 5*k - 10. Let z(f) = -6*h(f) + 17*x(f). Let p be z(-6). Is (p/4)/(2/(-24)) a multiple of 5?
False
Suppose -o = 4*z - 411 - 383, 5*z - 3*o - 984 = 0. Is 68 a factor of z?
False
Let b be 30/(-12)*(-2 - (-2)/5). Suppose 1218 = b*x - 3*h, 3*x = -x + h + 1222. Is x a multiple of 44?
False
Let h be -52 - -9 - (1 - (2 + -3)). Let f = 75 + h. Does 30 divide f?
True
Is (-1)/((-47430)/11856 - -4) a multiple of 43?
False
Suppose 3*n = 3*m + 279, -3*n + 42*m + 282 = 40*m. Is n a multiple of 11?
False
Suppose -96 = 11*m - 327. Let g = 1 + m. Is g a multiple of 4?
False
Let b(h) = -h**2 - 12*h - 25. Let c be b(-9). Suppose 2*n - 131 = n + 3*r, -c*n - 2*r = -286. Does 5 divide n?
True
Let j(u) = 173*u**3 + 2*u**2 - u. Suppose -5*p + 9*p - 4 = 0. Is 24 a factor of j(p)?
False
Suppose -9890 = -18*y + 4564. Is 11 a factor of y?
True
Suppose -60*o = -51*o - 207. Suppose 0 = 3*y - 60 + 6. Let i = o - y. Is i a multiple of 2?
False
Suppose -1225 = -p + 2*m, -1217 = -p - m - m. Is p a multiple of 37?
True
Suppose -15 - 21 = -o. Is 36 a factor of o?
True
Suppose 43*m - 47*m = -196. Let r = 71 + m. Is r a multiple of 8?
True
Let x(o) = 37*o**2 + 2*o + 10. Does 10 divide x(4)?
True
Let d(v) = v**2 - v - 397. Let b be d(0). Let j = -223 - b. Suppose -4*k - k = -4*q - j, q = -k + 33. Does 23 divide k?
False
Let a be (-8 + 3)/(10/(-12)). Suppose 40 = -2*o + a*o. Is 3 a factor of o?
False
Suppose -5*n + 0*n = -180. Is n a multiple of 7?
False
Suppose -2*a - 7 = 25. Let u be (3/6)/((-2)/a). Suppose -2*p + 5*f = -159, u*f + 79 = p + 2*f. Does 14 divide p?
False
Let b be (-26)/4*(15 + -9). Let x = b - -69. Suppose -x = -5*k + 200. Is 11 a factor of k?
False
Let f be (-50)/(-4) + (-7)/14. Suppose -3*x = -f - 3. Suppose -3*h + x*k + 24 = -82, -4*h = -5*k - 133. Is h a multiple of 9?
True
Let b(i) be the first derivative of 31*i**3/3 - 5*i**2/2 + 5*i - 21. Is 23 a factor of b(1)?
False
Let i = 34 - 3. Suppose -2*s = -u + i, -s - 3*u - 27 = s. Is 15 a factor of (-1)/(-1*(-1)/s)?
True
Suppose 0 = -4*f + 217 + 423. Does 8 divide f?
True
Suppose -5*n - 5*w = -1335, 2*n - 6*n - 3*w + 1073 = 0. Does 3 divide n?
False
Let c(q) = q**3 + 3*q**2 + 3*q - 1. Let x be c(4). Let n = 228 + -145. Let a = x - n. Is 20 a factor of a?
True
Let u(h) = h**3 - 6*h**2 - 2*h + 14. Let p be u(6). Suppose 4*w - 474 = -p*w. Is w a multiple of 12?
False
Let n(k) = -17*k**3 - 3*k + 1. Let f(z) = -67*z**3 - 13*z + 4. Let w(l) = 2*f(l) - 9*n(l). Is w(1) a multiple of 2?
False
Let b = 7 - -5. Suppose 8 = n - b. Let l = n + 11. Does 5 divide l?
False
Let l = 982 + -251. Is l a multiple of 43?
True
Let h be 9 + -5 - 4/1. Suppose h*n = n - 3. Suppose 3*k = -3*r + 66, -k = n*r - 55 - 21. Is r a multiple of 21?
False
Suppose 2*b + 6*b = 16. Suppose -1 = -2*i - 3, u = -b*i + 43. Suppose u + 184 = 5*x - 2*o, 4*x - 178 = -o. Is 15 a factor of x?
True
Suppose -7*x - 543 = -8*x - 2*i, -5*x + 2771 = -4*i. Does 43 divide x?
False
Let s(g) = -g**2 - 8*g - 8. Let i be s(-6). Suppose -18 = -i*n + 2. Suppose -69 = 2*v - 3*v - n*h, -2*v = 4*h - 108. Is 19 a factor of v?
False
Does 73 divide (-149 - 0)/((-132)/1188)?
False
Suppose 0 = 2*c + 3*c - 20. Let k(t) = -5*t - 68. Let r be k(-22). Suppose w - 15 = -2*j, -c*j - w = j - r. Does 9 divide j?
True
Suppose -56*a + 49*