115*l - 3. Does 49 divide 3742/5 - (-4)/(-10) - l?
False
Let l be (-5)/10*(-2 + -8)/1. Suppose -3*k = -l*h - 0*k + 982, 780 = 4*h - k. Is h a multiple of 63?
False
Let x = -29 + 94. Suppose 0 = 3*u + b + 312, 0 = 2*u + 2*b + 273 - x. Let s = 146 + u. Is 5 a factor of s?
False
Let c(i) be the third derivative of -37*i**4/24 + 40*i**3/3 + 257*i**2 - i. Does 41 divide c(-20)?
True
Let z = 22 + 14. Let k be 14/(112/z - 3). Suppose -7*f - 2*f = -k. Is f a multiple of 7?
True
Let a = 117 - 115. Suppose -15 = 5*o, -a*t - o = 2*t - 301. Is t a multiple of 7?
False
Let i(b) = 8*b - 90. Let q be i(27). Is 11872/q + 6/(-27) a multiple of 8?
False
Let p = 40 + -34. Does 19 divide 171/(150/90 + (-1)/p)?
True
Suppose 2*j + 2*j = -2*k - 34, 0 = 4*j + 4*k + 40. Let p be ((-105)/(-10))/j*-2. Suppose 4*g - 38 = p*g - 4*o, 0 = -5*g - o + 133. Is g a multiple of 12?
False
Suppose 110*n - 35090 = 99*n. Does 24 divide n?
False
Suppose 26 = 5*h + 4*c, 3*h + 10 = -2*h + 5*c. Suppose 5*y + 3*n - h*n - 417 = 0, 4*y - 330 = -2*n. Let j = y - 8. Is 15 a factor of j?
False
Let i(g) = g**3 + 41*g**2 + 71*g - 62. Does 53 divide i(-33)?
True
Let a(d) = -d**2 + 48*d - 37. Let v be a(25). Suppose -5*g - 4*i = -v, -3*g = 2*g - 4*i - 562. Suppose -100 = -4*z + 4*j, 4*j - 2*j + g = 5*z. Does 2 divide z?
True
Suppose 2*m - 2*p - 20504 = 0, 0 = -2*m + 3*p + 1498 + 19013. Is 146 a factor of m?
False
Suppose 0 = -z + 73 - 119. Let q = 41 + z. Is 27 a factor of q - 1/(4/(-260))?
False
Let x(b) = -9729*b - 12 + 3 + 16 + 9714*b + 25. Let g be 6*-1 - (-2 - -2). Is x(g) a multiple of 15?
False
Let i(v) = v**2 - 9*v - 3. Let l = -74 - -79. Let d be (-6)/4*(l - 1). Is i(d) a multiple of 25?
False
Let d = 10822 - 5518. Is 24 a factor of d?
True
Let t(g) = 47*g**2 + 25. Let a be t(-5). Suppose 562*m - a = 559*m. Is 50 a factor of m?
True
Suppose 3*v - 2282 = 5*h, -5*v + 3*h - 784 = -6*v. Is v a multiple of 2?
False
Let y = 7478 - 7002. Does 28 divide y?
True
Is (-16)/(-14) + (-153000)/(-140) + 19 a multiple of 12?
False
Let a(f) be the first derivative of -4*f**3/3 + f**2 + 8*f + 34. Let k(z) = -4*z**2 + z + 9. Let l(q) = -3*a(q) + 2*k(q). Is 6 a factor of l(-3)?
True
Let k = 57 - 75. Let u = -13 - k. Suppose u*h = -3*w + 49, 0*w + 62 = 4*w + 5*h. Is 13 a factor of w?
True
Suppose -4*i = 3*q - 287176, 14*i - 359008 = 9*i + q. Does 20 divide i?
True
Let j(g) = -29*g + 217. Is j(7) a multiple of 8?
False
Let s = -1670 - -6977. Is s a multiple of 61?
True
Suppose 5*z - 14250 = -5*m, 21*z - 4*m - 17100 = 15*z. Is z a multiple of 8?
False
Suppose 30021*s = 30072*s - 50592. Let f be 4/(1 + 1 - 1). Suppose 0 = -u + c + 4*c + 248, -4*c - s = -f*u. Is u a multiple of 49?
False
Let w = -160 + 227. Suppose -69*q + w*q = -118. Does 14 divide q?
False
Let h(v) = 1623*v**2 + 15*v - 27. Is h(3) a multiple of 39?
True
Let l = 6295 + 1052. Is l a multiple of 166?
False
Suppose f + s - 6027 = -4*f, f - 1209 = s. Suppose 11*v - f = 8*v. Suppose -v - 57 = -9*b. Is 6 a factor of b?
False
Let s(t) = t**3 - 2*t**2 + t + 1. Let x(z) = -4*z**3 + 3*z**2 - 8*z + 10. Let f(g) = 3*s(g) + x(g). Does 34 divide f(-9)?
True
Suppose -2*z + 3*j + 7 = 1, 5*z + 5*j = -10. Suppose z = 3*d - n - 334, -2*d + 110 + 116 = -4*n. Is 7 a factor of d?
False
Let a(k) = -38*k. Let w(d) = -2*d + 5. Let f = 21 + -18. Let s be w(f). Does 5 divide a(s)?
False
Let k be ((-3)/(63/238))/((-2)/(-24)). Let t = 553 - k. Does 13 divide t?
True
Suppose -269*j = -280*j + 44. Let p(v) = 378*v - 45. Is p(j) a multiple of 65?
False
Suppose -89 = m - 96. Let a(w) be the second derivative of w**5/20 - w**4/2 - 2*w**3/3 - 5*w**2/2 + w. Does 8 divide a(m)?
True
Let x(f) = 4*f + 30. Let b = -22 + 11. Let w be x(b). Is (-1 - -13)/(w/(-28)) a multiple of 13?
False
Suppose 2*q + 5*q + 35 = 0. Let n(x) = -9*x - 2. Let y(l) = -18*l - 5. Let t(g) = q*n(g) + 3*y(g). Is 10 a factor of t(-5)?
True
Suppose -126*t + 122*t = -3*i + 13105, 4*i = 4*t + 17476. Is i a multiple of 10?
False
Suppose 0 = -4*x - 5*i + 15695, 0 = -4*i - 34 + 14. Is x a multiple of 69?
False
Let x be 39*(-8)/6*-1. Let f(p) = p**3 - 48 + 102 - 6*p - x. Does 2 divide f(3)?
False
Suppose 71 = f - 3*z - 24, -f - 2*z + 75 = 0. Suppose -3*s + f = 11. Let a = 61 - s. Does 20 divide a?
False
Let v = -7397 - -14030. Is v a multiple of 11?
True
Let u be 0*((-6)/(-2) - (-30)/(-12)). Suppose u = -84*a + 82*a + 624. Is 39 a factor of a?
True
Is 2 a factor of 197 + (-5)/45*-18?
False
Let p(k) be the second derivative of 2*k**4/3 - 7*k**3/6 + 37*k**2/2 + 6*k. Let h be p(5). Let j = h + 92. Is 21 a factor of j?
True
Suppose 7564 = -32*o + 167052. Is o a multiple of 33?
False
Let p(h) = 6963*h + 1993. Is 17 a factor of p(3)?
True
Let x(v) = -296*v + 134. Is x(-2) a multiple of 66?
True
Suppose 21*x - 1818 = -348. Is 10 a factor of (10/7)/(x/9800)?
True
Let f(d) = -41*d + 2*d - 23*d - 184 - 6*d - 8. Does 48 divide f(-24)?
True
Suppose 45*d - 38*d = 175. Suppose 0 = 8*b - 3*b - d. Suppose -p + 133 = 3*a, b*a + 7*p = 4*p + 219. Is 3 a factor of a?
True
Suppose 0 = -4*w + 22 + 162. Let s(o) = o**3 - o**2 - 12*o - 32. Let c be s(5). Let k = c + w. Does 9 divide k?
True
Suppose 4*z + d = 35, -2*d = -5*z - 3*d + 45. Let j = z + -11. Does 3 divide (2 + j)*-4*-5?
False
Let g = 14081 - -8682. Is g a multiple of 171?
False
Is 8460 + 1 + (-15)/(-60)*8 a multiple of 160?
False
Let q(o) = 2013*o**2 - 8*o + 7. Let s be q(1). Suppose 0 = t + 4, -4*v - 3*t + s = -2*t. Does 56 divide v?
True
Let j(g) = 144 + 34 - 3*g**2 - 4*g - 22. Is j(0) a multiple of 12?
True
Suppose 3*w - 1350 = 5*l, 0 = -6*w + 2*w - 20. Let u = l + 363. Is u a multiple of 30?
True
Let q(g) be the second derivative of -g**5/20 + 19*g**4/12 + 9*g**3/2 + 14*g**2 - g + 26. Does 3 divide q(20)?
True
Let s(v) = -v**3 - 12*v**2 + 28*v + 9. Let t be s(-14). Let z = t + -15. Is 9 a factor of (67/2 - -2) + z/(-12)?
True
Suppose -81*i = 81*i - 152*i - 11820. Is 26 a factor of i?
False
Let n = -5774 - -5861. Does 48 divide n?
False
Let z = -2358 - 2122. Does 6 divide ((-6)/(-5))/((-28)/z)?
True
Is 65 a factor of (9541126/(-295))/(7/(-10))?
False
Let v = 118 + -113. Suppose -4*y = -r - 68, v*r + 5*y + 364 = y. Let x = r - -99. Is 27 a factor of x?
True
Let f be 99 - (1/(-4) + 36/(-48)). Suppose -f = 20*x - 25*x. Is (2610/(-116))/(2/(0 - x)) a multiple of 15?
True
Suppose -3*g + 4*d + 1309 = 0, 2*g + 3*d + 2*d - 911 = 0. Let j = g - 260. Is j a multiple of 12?
False
Let h(j) = j**2 + 23*j + 25. Let n be h(-22). Suppose -n*x + 0*g + 1130 = -g, -x = 3*g - 360. Suppose 0 = -4*w - l + x, -5 = 2*l - l. Does 20 divide w?
False
Let l = -3635 + 6835. Is 20 a factor of l?
True
Is 6 a factor of (-6)/45 - (-2785076)/420?
False
Let h be (1*120 - 3)*-1. Let j = 120 + h. Suppose -5*o - 775 = -5*n, -o - 2 - j = 0. Is n a multiple of 15?
True
Let j(g) = -5*g**3 - 18*g**2 + 6*g + 29. Let c(u) = -2*u - 714*u**2 - 2*u**3 - 10 + 720*u**2 + 4*u**3. Let b(k) = 8*c(k) + 3*j(k). Is b(6) a multiple of 2?
False
Suppose -15*t + 480175 + 834379 = 68*t. Does 28 divide t?
False
Suppose 25*h + 264 = 26*h. Let m = h - 99. Is m a multiple of 5?
True
Let p(s) = -38*s - 27*s - 8 - 86*s - 37*s. Let y be p(4). Does 27 divide (0 + 3)*y/(-19)?
False
Suppose -2*i + 1770 = 5*c, -4*i + i = -15. Suppose 4*x - 2*v - 898 + c = 0, -x = 4*v - 159. Does 3 divide x?
False
Let q(h) = -h**3 + 17*h**2 - 14*h - 16. Let o be q(16). Suppose -2*l - o = 2*a - 0*a, 0 = -2*l - 6. Let x(y) = 5*y**2 - 11*y - 37. Is x(a) a multiple of 8?
False
Suppose -j + 70 = 6*j. Suppose j = 2*k, -4*k + 44 = 5*d - 2*d. Suppose -4*l + 479 = 3*q, 560 = -3*l + d*l - 4*q. Is l a multiple of 13?
False
Suppose 8 = -21*i + 25*i. Suppose 3 + 13 = 5*j - 2*k, -3*k - 5 = i*j. Suppose j*w = -3 - 3, -2*s - w = -333. Is s a multiple of 28?
True
Let i(u) = -59*u**3 + 7*u - 6. Is 184 a factor of i(-6)?
True
Let s = 14460 - 1916. Is 49 a factor of s?
True
Let g = -429 - -1737. Suppose 5*z + g = -3*o + 4043, z - 570 = 4*o. Is z a multiple of 25?
True
Let s = -16466 + 17703. Is 2 a factor of s?
False
Let t = 30782 + -20864. Does 21 divide t?
False
Suppose 2328 = -16*i - 16280. Let a = i - -2555. Does 58 divide a?
True
Let t(c) = 3654*c - 567. Is t(2) a multiple of 9?
True
Let i = 36 + -34. Let l be 1/(i/11 + (-100)/308). Is 12 a factor of ((-36)/l)/(6/56)?
True
L