ue
Let a(w) = 103*w**2 + 57*w + 281. Is 25 a factor of a(-5)?
False
Let w(m) = -40*m**3. Let z be w(-1). Suppose 3*b + z = 10. Is b/(-65) + (-2022)/(-39) a multiple of 26?
True
Let i(p) = 20*p**3 - 4*p**2 - 2*p + 3. Is 17 a factor of i(2)?
False
Let f be 4 - -3*(-4)/12. Suppose -a = -6*a - f*n + 244, 2*a + 3*n = 94. Is a a multiple of 7?
False
Suppose -j - 4*x = -1857, 5*x + 1455 + 2311 = 2*j. Does 107 divide j?
False
Suppose -476 = -3*w - 89. Suppose -4*y + 243 = -w. Is y a multiple of 13?
False
Suppose -2*v + 460 = -4*s - 1044, -3*v + 2288 = 2*s. Does 38 divide v?
True
Suppose -3*x + 35 = -5*g, -2*x = -0*g - 4*g - 22. Let f = 18 - x. Suppose 5*y - 2*b + f*b = 80, 2*y - 5 = 5*b. Does 5 divide y?
True
Suppose 6373 = 18*v - 6335. Is v a multiple of 15?
False
Let g(o) = -13*o**3 - 11*o**2 - 2*o + 119. Is 19 a factor of g(-7)?
False
Let t(r) = -r**3 - 5*r**2 - 7*r - 6. Let k be t(-5). Let l = -14 + k. Is 9 a factor of 178/10 + 3/l?
True
Let m(o) = 1006*o**3 - o**2 + 2*o - 2. Let a be m(1). Let b = a + -587. Is 38 a factor of b?
True
Let m(c) = 61*c**2 - 21*c + 74. Is 46 a factor of m(4)?
True
Let d(w) = -6*w**3 - 2*w**2 - 2*w - 1. Let a be d(-2). Let o be 36/10 + 3*(-4)/(-30). Suppose 0 = -o*h - a + 171. Does 16 divide h?
True
Suppose -5*f - 2*x + 3 = -12, x - 2 = 3*f. Let j be 51 - ((-3)/f + 3). Let d = -33 + j. Is d a multiple of 9?
True
Let u = 130 - -5. Does 10 divide u?
False
Let x(a) = -55*a - 110. Is x(-6) a multiple of 22?
True
Suppose 192 + 8 = 5*q. Does 5 divide q?
True
Does 2 divide 8/52 + 386/26 - -1?
True
Suppose -4*r + 0*m + m = -1344, 672 = 2*r - 4*m. Is r a multiple of 16?
True
Suppose 3*m - 4*m = 1. Let x(j) = -107*j**3. Is 12 a factor of x(m)?
False
Let w = -106 + -147. Let q = -158 - w. Does 19 divide q?
True
Let u be (-1 - 106)*9/(-9). Let r = u - 43. Suppose 3*t = 4*c - 247 + r, -4*t = -c + 62. Does 21 divide c?
True
Suppose -11*t + 28*t - 952 = 0. Is t a multiple of 7?
True
Suppose 50*k - 3432 = 46*k. Is k a multiple of 39?
True
Let u = -32 + 29. Does 22 divide (-1)/u*21*8?
False
Suppose 6*f + 1009 = 3499. Is 63 a factor of f?
False
Let g(f) = 198*f**3 + 0*f + 0*f - f. Let n be g(1). Let m = -107 + n. Is 30 a factor of m?
True
Let p = -39 + 45. Let y = 22 - p. Is 3 a factor of y?
False
Does 22 divide ((-115)/(-69))/(10/37476)?
False
Let m(l) be the first derivative of 3*l**2 - 10*l + 1. Does 5 divide m(10)?
True
Let j = 8885 - 6184. Does 37 divide j?
True
Let d(p) = p**3 + 10*p**2 + 5*p - 6. Let u(t) = 7*t - 3. Let i be u(1). Suppose -l = 2*l, c - i*l = -9. Is d(c) a multiple of 14?
False
Let w = -163 - -519. Does 30 divide w?
False
Is 15 a factor of -4 + (6 + 0 - -171)?
False
Let p(j) = -2*j. Let i be p(-1). Suppose 0 = -n + i. Does 16 divide (-2)/4 - (-97)/n?
True
Does 13 divide (240/36)/(4/234)?
True
Let x(w) = 4*w + 9. Let u(d) = -d**3 + 6*d**2 + 6*d + 7. Let j be u(7). Suppose -2*b + 3*l + 0 = -1, 5*b + l - 28 = j. Does 16 divide x(b)?
False
Let a(v) = 39*v - 32. Is a(15) a multiple of 19?
False
Let w be (-2)/(0 - -2) - -43. Suppose 0 = -5*h - g + w, -13 = -3*h - g + 13. Suppose 62 = -6*b + h*b. Is 13 a factor of b?
False
Suppose 10*k + 5810 = 14670. Is k a multiple of 12?
False
Let n(j) be the second derivative of 2*j**3 + 9*j**2/2 - 7*j. Let o be n(13). Suppose -3*g + o = -4*z, 0 = -3*g - 5*z - 40 + 178. Is g a multiple of 14?
False
Let j(m) be the second derivative of 3*m**3 + 27*m**2 + 34*m. Does 18 divide j(8)?
True
Let o(n) = 7*n**3 + n**2 - n + 1. Let f be o(1). Suppose -a - a + f = 0. Does 3 divide a?
False
Let b(t) = -t**3 - 6*t**2 - 6*t + 10. Let m be b(-4). Is 4 a factor of m/(-8)*-4 + 3?
True
Let u be 8/(-2)*5/(-4). Suppose d - u*d + 144 = 0. Suppose d = -s + 3*s. Does 18 divide s?
True
Suppose -3*d + 12 = 0, 0 = -a + 5*d - 12 - 10. Let z be a/(2181/1092 + -2). Is (-9)/(-6)*z/21 a multiple of 8?
False
Is 69 a factor of 28/(-77) + (-361340)/(-154)?
True
Let f = 923 - 742. Is f a multiple of 20?
False
Suppose -518 = -10*o - 68. Does 9 divide o?
True
Let w be 4/10 - 196/(-35). Let x = 3 - w. Does 8 divide 18 - -1*(2 + x)?
False
Let s(a) = -9 - a**2 + 2*a - 11*a - a. Let v be s(-9). Suppose h = -3*o + 3, -h = -v*h + 2*o - 5. Is h a multiple of 9?
True
Let t(x) = 3*x**2 + 8*x - 12. Is 31 a factor of t(6)?
False
Let q be (1 + -2 + 16)*3. Let t = q + -38. Is t a multiple of 3?
False
Let z(v) be the second derivative of -v**5/20 + 2*v**4/3 + v**3/6 - 3*v**2/2 - 3*v. Let g be z(8). Let m = g - 1. Is 4 a factor of m?
True
Let w(d) = -29*d**2 + 5*d. Let k be w(2). Is (3*k)/(-3) - 4 a multiple of 13?
False
Let p = 154 + 231. Is p a multiple of 5?
True
Let g be 0 + 17 + (-11)/(-11). Suppose 132 = 5*i - g. Does 10 divide i?
True
Suppose -3*o - 25 = -8*o + 5*h, -4*o = 5*h - 47. Suppose -2*f - 5*y - o = -f, -2*f + 8 = 2*y. Let r(z) = 3*z**2 - 5*z - 7. Does 23 divide r(f)?
False
Suppose b - 2*b = -4. Let a be ((-8)/10)/(b/10). Is 2 a factor of (-8)/a - 5/(-5)?
False
Suppose 5*o - 4*p + 5 = -2, 5*p - 20 = -5*o. Let w(n) = -14*n**2 - 7*n - 5. Let j(c) = 7*c**2 + 4*c + 3. Let z(q) = -5*j(q) - 3*w(q). Does 8 divide z(o)?
True
Let k(s) = 7*s**3 - 18*s - 9. Is k(4) a multiple of 36?
False
Suppose 41*a = -56*a + 297596. Is a a multiple of 13?
True
Suppose -4*y = -12, 0 = -m + 3*m - 2*y + 48. Let o = -27 - m. Is 25 a factor of ((-300)/(-9))/(o/(-9))?
True
Let o = 15 + -10. Let t(h) = h**3 + 4*h**2 - 10*h - 10. Let j be t(-5). Suppose -o*w + j = -40. Is w a multiple of 8?
False
Let x = -4695 + 8067. Is x a multiple of 8?
False
Let z = 233 - 33. Is z a multiple of 40?
True
Suppose -5*i + 19 = 2*q, -4*q = 5*i - 14 - 29. Let j = 853 - 836. Suppose -t + q = -j. Is t a multiple of 11?
False
Let v(m) = 7*m**2 + 28*m + 30. Is v(-9) a multiple of 15?
True
Suppose -3*u = -18 - 12. Suppose q - u = -q - 3*n, q + 5*n = 5. Suppose q*j - 45 - 220 = 0. Is j a multiple of 20?
False
Suppose -116*i = -124*i + 9032. Is 5 a factor of i?
False
Let o be 1/((-44)/(-9) - 5). Let z(q) = q**2 - 2*q + 39. Is 46 a factor of z(o)?
True
Let v = 27 - -373. Does 10 divide v?
True
Is 91 a factor of 4/((-28)/3) + 18560/203?
True
Suppose 0 = 56*j - 57092 + 16436. Does 66 divide j?
True
Let t(z) = 29*z**2 - 23*z + 12. Does 17 divide t(6)?
True
Let v(f) be the first derivative of 2*f**3/3 + 3*f**2 + 5*f + 9. Does 13 divide v(-4)?
True
Suppose -5*z + 13 = 3*w, 5*z - 2*w - w = 7. Suppose 4*t - 16 = 0, z*i + 4 = 2*t + 2*t. Suppose 2*p - 2*o = 62, 2*o + 100 = 3*p + i*o. Is p a multiple of 8?
True
Is (8/100 - (-7646)/50) + 8 a multiple of 7?
True
Suppose -5*d + 1587 = 5*f - 1358, 0 = -f + 5*d + 583. Is 8 a factor of f?
False
Suppose 0 = -4*z + t + 613, 3*t - 625 = z - 5*z. Does 80 divide z?
False
Let q(r) = 22 + 0*r**2 - 24 - 15*r + r**2 + 24. Does 2 divide q(14)?
True
Suppose -m + 26*m = 50325. Does 11 divide m?
True
Suppose 3*r - 8*r - 10 = 0, -5*b = 2*r - 51. Let f(q) = b + 6*q + 5 - 7*q. Does 3 divide f(7)?
True
Let j(z) = -z**2 - 13*z + 186. Let n be j(-18). Suppose -5*x + 73 = -162. Let b = n - x. Is b a multiple of 25?
False
Suppose 5*p - 3*p - 22 = 0. Let j = p + 13. Let d = -8 + j. Is 16 a factor of d?
True
Suppose -20*l + 16*l + 3*r = -6532, 5*r = -5*l + 8200. Is l a multiple of 7?
False
Let g(a) = 7*a - 9. Let u be g(7). Suppose -2*h - 3*s = 3*h - 135, -2*h + u = 4*s. Is h a multiple of 7?
False
Let v(m) = m**2 - 5*m + 2. Let u be v(5). Suppose 0 = -0*x + u*x - 132. Let l = -38 + x. Is l a multiple of 28?
True
Let r(z) = 15*z**2 + 2*z - 2. Let m be r(-2). Suppose -m = -5*f + w, -16 = -3*f - 4*w + 21. Is f a multiple of 3?
False
Suppose -13 + 5 = -2*m, 2*m - 13 = 5*j. Let v(l) = -34*l + 1. Let k(q) = -67*q + 2. Let z(c) = 3*k(c) - 5*v(c). Is z(j) a multiple of 20?
False
Suppose 18*g - 21*g = p - 869, -25 = 5*g. Does 17 divide p?
True
Let u(p) = -p**3 - 3*p**2 + 2*p + 3. Let g be u(-4). Let m = -6 + g. Suppose 0 = a + m, 0 = -j - 5*a - 6 - 16. Is 2 a factor of j?
False
Suppose 0 = -5*o - 1 + 31. Suppose o*t = t + 4*c + 172, -5*c - 47 = -t. Is 16 a factor of t?
True
Let u = -325 + 129. Let n = -86 - u. Does 22 divide n?
True
Let w = 20 + -30. Is 22 a factor of 1538/10 + 0 - 2/w?
True
Suppose 7*h = 4*h + 378. Suppose -8*z + 768 = 56. Let j = h - z. Does 15 divide j?
False
Suppose -70 = z - 5*u, z + 2*z - 2*u = -197. Let p = 94 + z. Is 14 a factor of p?
False
Supp