2 - 1)*(p - 1) a multiple of 6?
True
Let o = -29 - -25. Let n be -1 - (o - (119 + -1)). Let x = n - 71. Is 10 a factor of x?
True
Suppose 49 = 3*f - 35. Is 28 a factor of f?
True
Suppose -5*m + 2*y - 4192 = -24721, 2*y - 16416 = -4*m. Does 88 divide m?
False
Let v(r) = -6 - 9*r - 6*r + 0*r - 13 + 4*r**2. Let f be v(8). Suppose 5*j = 4*a + f + 81, 0 = -j + 2*a + 42. Does 4 divide j?
False
Let v be 1/4 - (-42)/24. Let a(x) = 0*x**v - 2*x**2 + x + 4 + 2*x**3 - 3*x**3 + 2*x. Is 4 a factor of a(-4)?
True
Let o(l) = 3*l**3 + 19*l**2 - 3*l - 51. Let r(y) = y**3 + 5*y**2 - y - 13. Let t(z) = 2*o(z) - 9*r(z). Is t(-5) a multiple of 25?
True
Let f(b) = -9*b**3 + 2*b**2 + 5*b + 6. Does 12 divide f(-2)?
False
Suppose -d - p - 7 = -139, -528 = -4*d + 3*p. Suppose 0 = -3*n + 618 - d. Is 27 a factor of n?
True
Suppose 0 = 17*y - 3929 + 835. Is 5 a factor of y?
False
Let f(a) = 29*a + 1. Let c be f(-2). Let y = c - -117. Is y a multiple of 10?
True
Suppose 21*m - 125 = 211. Does 8 divide m?
True
Suppose 0 = 4*w + 3*b - 4174 - 857, -4*w + 5*b = -5055. Is w a multiple of 21?
True
Suppose -16 = 4*d - 112. Does 4 divide d?
True
Let m be (-11 - -8) + 3*1. Let t be (3/1)/(1 - m). Does 11 divide 24/t - (-6 - -3)?
True
Suppose m - 723 = 4*o, 0 = 2*o + 4 + 2. Is 64 a factor of m?
False
Let b(p) = -p**3 - 25*p**2 + 2*p + 52. Let i be b(-25). Suppose i*q = -2*q + 292. Is q a multiple of 22?
False
Let g(t) = t**3 + 5*t**2 - 6*t - 2. Let v be g(-6). Let h be -6*1*(3 + v). Does 10 divide 1/(-3) + (-200)/h?
False
Is 75 a factor of (1 + (-2 - 3))/((-12)/2250)?
True
Suppose 0*f + 10 = -2*f, -5*g = -2*f + 160. Let q = g - -68. Is 10 a factor of q?
False
Let a = 8717 - 5727. Is a a multiple of 65?
True
Let q be 24/14 - (-8)/28. Suppose -20 = 3*c + q*c. Is 21 a factor of (-174)/c + (-21)/14?
True
Let f(q) = 100*q**2 + q - 2. Let y be f(-1). Suppose 83 = 10*w - y. Is 9 a factor of w?
True
Let q = 88 + -439. Let h = -249 - q. Does 12 divide h?
False
Let v(r) = 0*r - 13*r**2 + 7*r + 2 - 2*r**3 - 8. Let z be v(5). Is (5 + 0)*z/(-35) a multiple of 13?
True
Suppose 5*h + 4229 = 4*b, -2*b + 2*h + 1759 = -355. Is 22 a factor of b?
True
Suppose -4*t - 4*q + 4 - 28 = 0, 18 = -t + 2*q. Is (t*12/8)/(-1) even?
False
Suppose -3*c + 4902 = -3*x, -8*c + 4*x - 1639 = -9*c. Is 15 a factor of c?
True
Let h(d) = d**2 + 8*d + 9. Let m(b) = b**2 + b + 1. Let p(a) = -h(a) + 5*m(a). Does 14 divide p(4)?
False
Suppose 8*a - 15 = 17. Suppose a*y - 5*b - 242 = 349, 5*y + b - 717 = 0. Does 16 divide y?
True
Is 6 a factor of (6 + -2 + 0)*648/16?
True
Suppose -77*s + 11977 + 39613 = 0. Is s a multiple of 5?
True
Let f(l) be the third derivative of l**6/120 + l**5/4 + 7*l**4/12 + 14*l**3/3 - 10*l**2. Is f(-14) a multiple of 14?
True
Let i(g) = 11*g + 5. Let p be 8 - -6*4/(-8). Does 13 divide i(p)?
False
Suppose i + 18 = 4*i. Let l(q) = 2*q + 0 + i*q + 8. Is l(3) a multiple of 7?
False
Suppose 3*r = 3*q - 3, -4*r - 13 = -1. Is q - (-522)/4 - (-2)/(-4) a multiple of 30?
False
Let g = 1 + -5. Let p = g + 8. Let w = p - -8. Is w a multiple of 12?
True
Let o be (-3)/(((-9)/6)/1). Let z be (o/6)/(12/180). Suppose 3 = m - z. Is m even?
True
Suppose -8*b + 1175 = -5*b - 5*f, -385 = -b + 3*f. Is b a multiple of 10?
True
Suppose -3*r - 182 = -g - 1389, 3*g - 6 = 0. Is 31 a factor of r?
True
Suppose -5*h = -4*o, 2*h + 3*o = o + 18. Let t be (-69)/h*(-16)/(-6). Does 11 divide (t + 0)*4/(-8)?
False
Suppose 9 = -w + 13. Suppose -w*o = -2*o + 8. Is 3/(-1) + (o - -54) a multiple of 23?
False
Does 16 divide 8361/6 + 6/(-4)?
True
Suppose r - 227 = 3*y - 5, -3*y - 12 = 0. Suppose 5*f - 10*f + r = 0. Does 7 divide f?
True
Let b be -5*(1 - 2/5). Let c be 2 - (-1 + b + 3). Suppose -c*n - 11 = -4*n. Is 4 a factor of n?
False
Let n = -271 + 723. Does 113 divide n?
True
Let t be (-300)/48 - 2*1/(-8). Is (51/(-17))/(t/52) a multiple of 26?
True
Let j(b) = -23*b + 10. Let i be j(10). Let k = 580 + i. Suppose z - 6*z + k = 0. Is z a multiple of 24?
True
Suppose 17360 = 26*j + 5*j. Does 28 divide j?
True
Let z(x) = 666*x + 17. Is 10 a factor of z(3)?
False
Suppose -1575 + 187 = -4*p - 5*i, -p + i = -356. Does 22 divide p?
True
Does 11 divide (-6 - 189/(-35)) + (-62391)/(-35)?
True
Suppose -4 = -3*d + 2. Suppose -d*o + 16 = 2*o. Suppose -3*k + 135 = o*t, t - 3*k + 4*k = 33. Does 9 divide t?
True
Does 17 divide (-14 + -2177 + -2)*(-1)/3?
True
Let g = 949 + 1099. Does 20 divide g?
False
Let j(g) = 2*g + 2. Let w be j(-1). Suppose w = 3*d - 23 - 79. Does 29 divide d?
False
Let x(k) = -2*k**3 - 4*k**2 + 8*k + 5. Let s be x(-6). Suppose 0 = 3*u - s - 7. Does 28 divide u?
True
Suppose 0*y - 14 = 3*y - 5*n, 2*y + 4*n = 20. Suppose y*t = t + 103. Is 7 a factor of t?
False
Suppose 2*q + 8*q - 1000 = 0. Is 4 a factor of q?
True
Let u(v) be the first derivative of -v**4/4 + 7*v**3/3 + 9*v**2/2 - 18*v + 23. Is u(7) a multiple of 9?
True
Let i(v) = v**3 + 16*v**2 + 30*v - 20. Is i(-13) a multiple of 7?
False
Let m = 69 + 217. Is m a multiple of 18?
False
Let n = 141 + -106. Is 3 a factor of n?
False
Let w(f) = -6*f**2 + 1 + 36*f - 9*f + 0*f**2 - f**3 - 33*f + 2. Suppose -3*h - 2*h = 35. Is 30 a factor of w(h)?
False
Let g = 13 - 7. Let q(y) = y**3 - 6*y**2 - 6. Let c be q(g). Let x(n) = -6*n + 8. Is 19 a factor of x(c)?
False
Suppose 0*n + 8 = 4*n. Suppose 4*d - 77 = -3*z, 0 = -z - 5*d + n*d + 24. Suppose -3*g + 2*s = -137, -g + z = 2*s - 16. Does 14 divide g?
False
Is (315/175)/(6/220) even?
True
Suppose -4*k = 3*o - 25, -k + o + 1 = -0*o. Suppose 2*v + 0*v = -8, k*v = 3*r - 76. Does 12 divide r?
False
Let y = 31 - -144. Is y a multiple of 17?
False
Let u(j) = 3*j**3 - 82*j**2 - 34*j - 67. Is u(28) a multiple of 31?
False
Suppose -2 = -2*l + 6. Let v be ((-3)/9)/(l/(-36)). Does 16 divide (-20)/v*(-12)/1?
True
Let a(d) be the third derivative of -d**6/120 + d**5/6 - 5*d**4/24 + 5*d**3/6 + 4*d**2. Is a(9) a multiple of 18?
False
Let p(f) = -f**3 + 13*f**2 - 4*f + 18. Let v be p(12). Suppose 0 = -4*w + 2*z + 192, -5*w - 3*z + 137 + v = 0. Is w a multiple of 12?
False
Suppose 4*f - i - 18 = 0, -2*f - 6*i + i = -20. Suppose l = -3*c + 429, -c + f*l = -187 + 28. Is c a multiple of 36?
True
Let l(f) = -2*f**3 - 7*f**2 + 11*f - 4. Let i be l(-5). Suppose 0 = a - i + 2. Is 14 a factor of a?
True
Is (0 + -413)*(-18)/(-567)*-9 a multiple of 4?
False
Suppose k + 5 = 0, 5*k = -5*c + 181 + 869. Is 20 a factor of c?
False
Let b be 4*(-1)/14*-7. Suppose 6*u = u + 5*t - 10, b*u - 5*t = -10. Suppose u = 5*a - 4*d - 296, 5*a + 2*d - 371 = -69. Is a a multiple of 20?
True
Suppose 5*w - 6*u + 2*u = -14, 3*u = 5*w + 18. Let j(x) = -7*x**2 - 13*x + 3. Let f(y) = 10*y**2 + 19*y - 5. Let n(i) = 5*f(i) + 7*j(i). Does 8 divide n(w)?
True
Suppose -28*g = -27*g - 4*d - 634, 5*d = -5. Is g a multiple of 23?
False
Let y = 547 - 91. Is y a multiple of 57?
True
Suppose 37*y - 40*y + 3206 = 4*k, 4*k = -y + 3202. Is 40 a factor of k?
True
Suppose 4*o = 9*o - 5. Suppose 218 = 4*b + 2*g, -2 = 3*g + o. Suppose -3*l = 2*l - b. Is 11 a factor of l?
True
Let q = 1 - -11. Suppose 339 - 75 = q*h. Is 10 a factor of h?
False
Suppose 0 = 4*w - w + 90. Let j = 6 - w. Is 6 a factor of j?
True
Let f = -9 - -15. Suppose -y + 74 = a, f*y - 66 = -a + y. Does 11 divide a?
False
Let c = -590 - -662. Is 36 a factor of c?
True
Is 44 a factor of 40/(-30) + 12340/12?
False
Let r = 101 + -99. Suppose 2*y = 5*c + 98, -3*y - 3*c = -r*c - 147. Does 7 divide y?
True
Let d(q) be the third derivative of 11*q**6/120 - q**5/60 + q**4/6 - 2*q**3/3 + 4*q**2. Is 4 a factor of d(1)?
False
Let f(l) = 16*l + 5. Suppose -36 = 2*k - 14*k. Is f(k) a multiple of 16?
False
Let a(x) be the third derivative of x**5/30 + x**4/12 + 11*x**2. Is a(-7) a multiple of 12?
True
Let t = -2 + 3. Let q be 4/((-3 - -4)*t). Suppose q*u + 0*u = 12. Does 3 divide u?
True
Let o(m) = 2*m + 1 - 4*m - 17*m - 3*m**2. Let p(l) = 10*l**2 + 58*l - 2. Let x(s) = 7*o(s) + 2*p(s). Does 12 divide x(-11)?
False
Let c(g) = 16*g + 73*g**2 - 34*g**2 - 4 - 41*g**2. Is 10 a factor of c(7)?
True
Suppose 700 - 182 = 2*l. Suppose -5*v - 4*j = l, -v + 0*j - 71 = -4*j. Let k = v - -93. Does 19 divide k?
True
Suppose 2*v + 0*x + 5*x - 12 = 0, 0 = 4*x. Suppose -t - 3 = -v. Does 3 divide t?
True
Suppose 16*a = -6*a + 5016. Is 76 a factor of a?
True
Let y(h) = 10*h