 3*k + 2 = 0. Let i(h) be the first derivative of 56*h**2 - 236. Does 32 divide i(w)?
True
Let g(o) = 16*o - 2. Let j be g(-2). Let t(x) = x**3 + 34*x**2 - 4*x + 24. Is t(j) a multiple of 16?
True
Let b be -12*106/(-1) + -3. Let w be (14/(-6))/((-9)/b). Suppose -3*x = y + y - 233, 4*x - y - w = 0. Is x a multiple of 10?
False
Suppose 47*z - 55*z - 642138 = -29*z. Is z a multiple of 109?
False
Suppose 0 = -22*a + 20*a + 5*j + 55410, 0 = j + 8. Is 35 a factor of a?
True
Let q be 1 + 2 - (-2 - 2). Suppose 35 = -t - q. Let f = -21 - t. Is f a multiple of 7?
True
Let y(d) be the second derivative of -d**6/120 - 2*d**5/15 - 2*d**3 + 10*d**2 - 9*d. Let v(j) be the first derivative of y(j). Does 27 divide v(-9)?
False
Is 8 a factor of (-446)/(1*(-8)/128)?
True
Suppose 16 + 16 = 16*j. Suppose 2*o - j*b = 86, -b = 6*o - 3*o - 117. Is o a multiple of 8?
True
Let y be ((-1)/(10/56))/((-2)/60). Suppose -170*v + y*v = -140. Is 10 a factor of v?
True
Let r(c) = -90*c + 51. Is 89 a factor of r(-38)?
True
Suppose -5*n + 3*l + 43338 = 0, -41*n = -35*n + 2*l - 52028. Is 30 a factor of n?
True
Let h be 0 - (-1 + 0 + -230). Let n(g) = -20*g + 1214. Let v be n(53). Let z = h - v. Does 7 divide z?
True
Let f(k) = k**3 - 2*k**2 + 5*k + 4. Let t be f(5). Suppose -5*h - 31*o + 745 = -26*o, -o = 3. Let j = h - t. Does 12 divide j?
True
Suppose 0 = -4*g - 4*b + 9168 + 37276, -4*g + 4*b + 46484 = 0. Is g a multiple of 44?
True
Let p = 36 - 22. Suppose 0 = -5*l + p + 1. Suppose -3*o - 3*g = -297, l = 3*g - 6. Is 16 a factor of o?
True
Let z be (-2 + 2)/((9 - -1)/(-5)). Suppose -5*k + z*k - 150 = 0. Let a = -21 - k. Does 2 divide a?
False
Let g(o) = 705*o**2 + 1934*o + 11652. Is g(-6) a multiple of 13?
True
Suppose -2*d - 14 = -3*h, 0 = 5*h + 5*d - 4 - 11. Suppose u - 52 - 23 = -3*s, 5*u - 451 = h*s. Is u a multiple of 2?
False
Suppose 25*x - 2618 - 7157 = 0. Let i = 949 - x. Does 51 divide i?
False
Suppose 46*w - 28 = -a + 50*w, 112 = 4*a + 3*w. Suppose 4760 = -0*v + a*v. Does 27 divide v?
False
Is (-9 + 2 + 592)*(-12)/(-10) a multiple of 18?
True
Suppose 1559 = 3*k + 5*b, -k + 495 = -4*b - 36. Let f = k + -33. Is f a multiple of 35?
True
Suppose 2*p - 5 = -5*j, 4*p - 5*j + 91 - 116 = 0. Suppose 0 = -p*q + 2171 + 1354. Does 15 divide q?
True
Let g be ((-3)/4)/(-5 - 183/(-36)). Is 46 a factor of ((-69)/(-4))/3*(7 - g)?
True
Suppose -5*r + 15*r = 40. Suppose 4*m - 964 = -u, -r*m = -m - 5*u - 723. Does 38 divide m?
False
Suppose -4*g - 2*c + 9 = -9, g + 3*c = 2. Suppose 0 = 19*j - g*j - 70. Suppose j*t = 467 + 58. Is t a multiple of 21?
True
Is 5 a factor of (-9)/18 - 14943/6*-1?
True
Suppose -2*p + 25 = 3*p. Suppose -p*z = -16*z + 814. Let m = z + -39. Does 7 divide m?
True
Let i(s) = -3*s + 8. Let q be i(-1). Let x(f) = f**3 - 8*f**2 - 10*f - 9. Is x(q) a multiple of 44?
False
Is -12*8/12 + 363374/11 a multiple of 49?
True
Suppose 3*q = -2*m + 2589, q = 54 - 49. Is m a multiple of 143?
True
Let b = 143 + 5. Is 14 a factor of 9 + b/(-16) + (-337)/(-4)?
True
Let t be ((-18670)/20 - 4)/(3/4). Is (18/8)/3 - t/40 a multiple of 10?
False
Let y = -119 - 89. Suppose 855 = -12*s + 3*s. Let g = s - y. Does 15 divide g?
False
Is 7 a factor of 2*3 + (3775 - 59) + 2?
True
Suppose 0 = p + 4*y + 112, -6*y + 3*y - 594 = 5*p. Let w = 171 + p. Is 13 a factor of w?
False
Let c = 2317 - 1327. Does 45 divide c?
True
Let r be 90/1 - (-2)/(-1). Let w(p) = 4*p + 40. Let t be w(-10). Suppose q - r = -t*q. Is q a multiple of 11?
True
Let f = -340 + 343. Does 25 divide 9558/48 - f/24?
False
Let g be 12/(-54) + 1519/(-9). Let z = -25 - g. Is z a multiple of 12?
True
Let u(x) = x**3 + 28*x**2 + 6*x - 20. Let a be u(-28). Let o = a + 272. Is 15 a factor of o?
False
Does 10 divide -2 + 46239/15 - (-10)/25?
False
Let u(b) = 29*b - 91. Let i be u(4). Suppose -i*f = -21*f - 48. Does 2 divide f?
True
Suppose -4*k + 35 = 4*u - 45, -3*k - 5*u = -68. Let o(m) = -2*m**2 + 25*m - 27. Let s be o(k). Let a = 203 + s. Is 5 a factor of a?
False
Let i(s) = -s**2 + 25*s - 27. Let u be i(24). Let z(l) = -35*l - 9. Is z(u) a multiple of 23?
False
Let y = -9 + 21. Let d be (12*y)/2 + 2. Suppose -v + 77 = d. Is v a multiple of 3?
True
Is ((-6109662)/(-2405))/((-1)/(-5)) a multiple of 69?
False
Suppose 41*f + 498369 = 1187251. Is f a multiple of 80?
False
Suppose -5*u = 2*d - 26471, 25*d - 24*d + 15887 = 3*u. Is u a multiple of 72?
False
Let m = -3266 + 3323. Is 36 a factor of m?
False
Let u = -673 - -436. Let h = u - -273. Is 36 a factor of h?
True
Let d be 69/21 - 4/14. Suppose 0 = -d*n + 4*c + 341, -n + c + 50 = -65. Let f = -39 + n. Does 10 divide f?
True
Suppose -4*i - 2545 = -g, -3503 = -2*g - 3*i + 1653. Does 2 divide g?
False
Suppose -59 + 110 = 3*d. Suppose -2*r + 2128 = d*r. Does 7 divide r?
True
Let g(v) = v**2 - 9*v + 21. Let m be 220/(-16) + (-2)/8 + 3. Is 33 a factor of g(m)?
False
Let k(n) = -1168*n - 473. Does 23 divide k(-6)?
False
Let r(s) = -4*s + 11. Let m be r(-3). Let c(v) = 1 + 12*v - 11*v**2 + m + 4*v**2 + 8*v**2. Is c(-12) a multiple of 24?
True
Suppose 0 = 2*k - 3*s - 337, -19*k - 2*s = -24*k + 859. Is 10 a factor of k?
False
Suppose -209*k = -317769 - 2875494 + 394753. Does 103 divide k?
True
Suppose -2*w + 20 = -4*g, 0 = -2*g - 2 - 6. Suppose -w*l + 9*l + 7 = 0. Does 12 divide 38 + -1 - (l - 5/5)?
False
Let n(a) = -7 + 4*a + 3*a + 0*a + 2*a**2 - 4*a. Let l be (-15)/(20/(-4)) + 2. Is n(l) a multiple of 29?
True
Let g = 786 + -781. Suppose -g*c = -4*o - 67, -4*c - 15*o + 11*o + 32 = 0. Is c even?
False
Let n = -1519 - -3583. Suppose 0 = -3*h - t + n, 0 = -2*h + 3*t + 386 + 1001. Does 39 divide h?
False
Let g(a) = -4*a**3 - 2*a**2 + 31*a + 33. Let s be g(-1). Let c(t) = -2 - 2*t - 3*t + 3*t**2 + 3. Is c(s) even?
False
Let f(n) = -19113*n**3 - n**2 - 6*n - 2. Does 80 divide f(-1)?
False
Let g(r) = r**2 - 3*r + 1. Let l be g(1). Let i be (4 + -7)*((-70)/(-6) - 4). Is 16 a factor of (0 + i)*(l - 6)?
False
Let p(y) = y**3 + 9*y**2 - 12*y - 16. Let u be p(-10). Let v = u + -9. Let n(f) = -f**3 + 3*f**2 + 7*f + 2. Does 36 divide n(v)?
False
Suppose -4*o + 8 = 5*j + 6, -5*j = 10. Is 6 a factor of (234*o/24)/(3/32)?
True
Suppose -2*c + 3*f - 1 = 0, 0 = -c - f - 2 + 4. Suppose -j - 14 = 5*w + 10, -5*j - 8 = -3*w. Does 7 divide (2 - 3)*c - 88/j?
True
Let m = 44 + -40. Suppose -4*d = -4*x + 928, -m*x = -9*x + d + 1160. Suppose 4*o - x = -5*c + 46, 4*c - 75 = -o. Is 14 a factor of o?
False
Let i(s) = s**2 - 2*s - 1. Suppose 3*f = 3*w + 63, -5*f - 9*w = -11*w - 99. Suppose -3*k - f = -o, 21 = -3*k + 6. Does 2 divide i(o)?
False
Let o = -9 + 14. Suppose p = -5*s + 26 + 15, -o*s = -4*p - 61. Is 9 a factor of s?
True
Let t(w) be the third derivative of w**5/20 - 17*w**4/24 - 14*w**3/3 - 239*w**2. Is 7 a factor of t(14)?
True
Let r(y) = -y**3 + 8*y**2 + 2*y + 17. Let l be r(8). Suppose 2*k + l = 5*h, 2*h - 3 = -4*k - 9. Suppose -524 = -h*f + 376. Does 15 divide f?
True
Let d = -98223 + 142570. Does 18 divide d?
False
Suppose -8*l = -10*l + n + 11427, -2*l + 11433 = -3*n. Is l a multiple of 17?
True
Suppose 0 = -y + 2*f + 38846, -294*y - 3*f - 194230 = -299*y. Is 229 a factor of y?
False
Does 41 divide (-249 - -3)*(-638)/33?
True
Let k = 697 + -643. Suppose 58*z = k*z + 5300. Does 17 divide z?
False
Let z = 449 + -254. Suppose -5*m + 3*f = f + 462, 3*m + 280 = 4*f. Let s = z + m. Does 33 divide s?
False
Let b(n) = n**3 + 7*n**2 + 23*n - 7. Let q be b(-8). Let s = q - -723. Is 12 a factor of s?
True
Suppose 8 = -2*o + i + 11, 4*o = 5*i + 9. Is 13 a factor of (o + 2)/(33/1001)?
True
Let c be (-1)/(1/(-4)) - 4. Suppose c = 4*z + 4, 5*b + 7*z = 12*z + 310. Is 4 a factor of b?
False
Suppose 5*r + 7569 = 2*r. Let n = -1629 - r. Does 51 divide n?
False
Let u(b) = 2*b - 48. Let t be u(27). Is 5 a factor of 684/(-190)*(-140)/t?
False
Let j be 24/9*(-18)/(-12). Suppose -23 - 177 = j*b. Let t = b + 182. Does 12 divide t?
True
Suppose -3803*w - 8119 = -3826*w. Is 2 a factor of w?
False
Let n = -16679 - -11009. Is (0 + 8/6)/((-28)/n) a multiple of 6?
True
Let d(q) be the third derivative of q**6/120 + q**5/20 - q**4/6 + 445*q**2. Let j be 1*((-3)/(-3) - -3). Is d(j) a multiple of 48?
True
Let q(f) = 613*f + 933. Is 13 a factor of q(4)?
False
Does 16 divide (-4)/(-3)*(-14164749)/(-732)?
False
Let n(f) = f**3 - 9*f**2 + 7*f + 