/4. Let y be (-3 - 2) + 78/s. Let k = y + 70. Is k a multiple of 17?
False
Let q = 650 - 683. Is 26 a factor of (25 - 32) + (0 - q)?
True
Suppose -2*t = -7*t + 800. Suppose -4*r + 4 = 32. Is t/28 + (-2)/r a multiple of 6?
True
Let i = 397 + -442. Does 38 divide 6/(-45) + 129/i + 1827?
True
Is (-771)/(-9*6/468) a multiple of 8?
False
Let v(j) = 4*j**2 - j. Let h be v(1). Suppose 3*m = -h*m + 546. Let b = m - 47. Is 11 a factor of b?
True
Let a(q) = 19*q**3 + 11*q**2 + 83*q - 1160. Is a(12) a multiple of 232?
False
Let c = 36 + -32. Suppose -c*n = 5*s - 85, 0 = 2*s - 4*n - 34. Suppose 0 = -3*q - 5 + s, -85 = -y - 4*q. Is y a multiple of 16?
False
Let v be 69688/93 + (-6)/(-9). Let g = -478 + v. Is 15 a factor of g?
False
Let n(q) = -48*q**3 - 4*q**2 - 3*q + 6. Suppose 3 = 2*d - 3*d. Let c be n(d). Suppose -6*s + c - 105 = 0. Is 12 a factor of s?
False
Let a = -3010 - -40648. Is 17 a factor of a?
True
Let y(f) = 3481*f - 4746. Is 58 a factor of y(23)?
False
Let p(j) = 88*j - 276. Let x(z) = 2*z**2 + 64*z + 186. Let u be x(-3). Is 70 a factor of p(u)?
False
Let u be 0 + -1 - 4/(-6 + 2). Suppose u = 2*z - z - 672. Is z a multiple of 52?
False
Is 48 a factor of 7199 - ((-12)/24)/((-3)/(-6))?
True
Let x(i) = -2*i**3 + 2*i**2 + 41*i + 7094. Is 9 a factor of x(0)?
False
Let x = -79 + 83. Suppose -o - x*o - 5*a = -2615, -a - 2117 = -4*o. Suppose 4*n - 135 = -t, n = -3*t - 134 + o. Does 18 divide t?
False
Let z(i) = -4*i + 13. Let y be z(3). Suppose 5*x - 9 = y. Suppose 9*l = x*l + 1393. Is 19 a factor of l?
False
Let y(f) = 106*f**2 + 164*f + 84. Is y(-14) a multiple of 51?
True
Let t = -22 - -24. Suppose 4*w = 3*x + x + 104, 4*w = -t*x + 74. Is 439/7 + (54/w)/9 a multiple of 9?
True
Let x(j) = 8*j**2 + 4*j - 18. Let o(k) = 9*k**2 + 3*k - 18. Let y(i) = 3*o(i) - 2*x(i). Does 26 divide y(-7)?
False
Let m = -147 - -147. Suppose 6*i - 141 - 93 = m. Does 39 divide i?
True
Let b be (-12)/16*2/6*-20. Is 17 a factor of (-316 - -1)*-1 + b?
False
Suppose 0 = -5*v + 4*j - 149, -3*j = -v - v - 61. Is (-1*4)/(1/v) a multiple of 2?
True
Suppose -5*p + 15 = 5. Suppose -3*d = p*o - 1907, 0 = 4*o + 5*d + 1373 - 5182. Is o a multiple of 13?
False
Suppose -37244 = -5*t - 2*l - 6768, l + 24373 = 4*t. Is 59 a factor of t?
False
Let u(z) = 134*z + 3. Let d(j) be the third derivative of 269*j**4/24 + 5*j**3/6 + 25*j**2. Let q(y) = 3*d(y) - 5*u(y). Is 41 a factor of q(2)?
False
Suppose -113*w = -108*w - 35. Suppose m + 2*m - 72 = 0. Let r = w + m. Is 12 a factor of r?
False
Let g(f) = -f**2 - 735*f + 282. Is g(0) a multiple of 6?
True
Suppose 31*j + 197*j = 4876692. Is j a multiple of 13?
False
Suppose 0 = 21*l - 18*l - 3*t - 19596, 0 = 2*t. Does 71 divide l?
True
Let k = 152 - 76. Let r = k + -43. Let g = -23 + r. Does 5 divide g?
True
Suppose 2*p - 98302 = -5*h, 745*p + h = 740*p + 245801. Does 17 divide p?
False
Let f(n) = -4*n**2 - 678*n + 450. Is f(-139) a multiple of 11?
False
Suppose -14640 - 789 = -3*c. Suppose -5*j + 2044 = 2*v, 0 = -3*v + 8*v - 4*j - c. Is 13 a factor of v?
True
Let t = 64 + -71. Let f(c) = -8 - 18*c + 7*c**2 - c**3 - 14*c**2 - 1 + 0*c**3. Is 13 a factor of f(t)?
True
Suppose 0 = r - 43*f + 39*f - 142, 5*f = 5*r - 650. Suppose 9*s + 5*y = 6*s + 293, s - r = 4*y. Is s a multiple of 53?
True
Let c = 12064 - 7072. Does 12 divide c?
True
Suppose 11*g = 84 + 37. Let h(n) = 5*n + 5. Is h(g) a multiple of 27?
False
Let k = -2697 + 3937. Is k a multiple of 10?
True
Suppose -466*t + 451*t = -2970. Is t a multiple of 66?
True
Suppose 68*d + 29745 = 5*q + 69*d, 0 = -q + d + 5955. Does 12 divide q?
False
Let p be (-180)/36 + (-35)/(-1). Suppose 29*j + 570 = p*j. Is 38 a factor of j?
True
Let d(t) be the third derivative of t**5/60 - 31*t**4/24 - 22*t**3/3 + 29*t**2. Does 11 divide d(33)?
True
Let j = -22 + 25. Let u(i) = -5 + 3 - j*i - i**2 - 36*i**3 - 41*i**3. Is u(-1) a multiple of 14?
False
Suppose 0 = 3*o - 7*o + 4. Let y(v) = -2*v**2 - 6*v - 7. Let n(w) = -w**2 - 1. Let b(j) = o*y(j) - 4*n(j). Is 8 a factor of b(-3)?
False
Suppose 5*q = -2*m + 3, -5*m = 4*q + 2 - 18. Let x be (-432)/(-60) - (4/(-5) - q). Suppose -x*y - 164 = -11*y. Is y a multiple of 21?
False
Let q be -7 + 8 + 3 - -2354. Suppose 2*b + 3120 + 1590 = 4*c, 2*c - q = 2*b. Is c a multiple of 14?
True
Let z(i) = -88*i + 307. Does 84 divide z(-4)?
False
Suppose 3*s - 12 = -0*s, 3*c - 31 = 5*s. Let k = 19 - c. Is (10 + -6)*6/k a multiple of 2?
True
Suppose -2*h = -3*p - 0*h + 115, -20 = 4*h. Let g = p + -36. Does 26 divide (25*-1)/g + (7 - 6)?
True
Suppose -4*x = 3*g - 30385, -x + 7765 - 140 = -5*g. Is 40 a factor of x?
True
Is 15 a factor of (-6 + (3 - 1))*11727/(-12)?
False
Let j(d) = 1399*d - 4799. Does 12 divide j(8)?
False
Suppose 3973 = 183*v - 176*v - 5323. Is 83 a factor of v?
True
Does 5 divide 6695*1*(-25 - -31)*(-6)/(-36)?
True
Let g(k) = 115*k - 4. Let m(b) = -29*b + 1. Let t(d) = -2*g(d) - 9*m(d). Let u be t(-2). Let q = 80 + u. Does 3 divide q?
False
Suppose -3 = 3*p + 6, 2*p - 5021 = b. Let f = b - -9777. Is f/60 + (-3)/18 a multiple of 15?
False
Suppose 0 = -l + 3*n + 14880, l + 36*n - 46*n - 14824 = 0. Is 6 a factor of l?
True
Suppose 0 = 12*v - 4692 - 9888. Suppose -285 = -5*x + v. Does 25 divide x?
True
Let b(k) be the first derivative of -22*k**2 - 76*k - 66. Does 54 divide b(-9)?
False
Let k(t) = -13*t + 25. Let q be k(16). Let r be q/(-4) + (-42)/56. Let m = r + -38. Is m even?
False
Let t = 6111 + -3595. Does 34 divide t?
True
Suppose 35642 - 1427 = 3*p + 3*l, 5*l - 22786 = -2*p. Is p a multiple of 113?
True
Suppose 12 = 43*q - 39*q. Suppose -n + 5*v = -771, -2*n + q*n = -2*v + 792. Is 20 a factor of n?
False
Let a(m) = -39*m**3 + 1. Suppose -5 = 5*n - 0. Let q be a(n). Suppose 2*s - q = g + 31, 0 = -2*s - 4*g + 76. Does 6 divide s?
True
Let y = -4855 - -13122. Does 21 divide y?
False
Let x be (-1)/1 + -1 - -4. Suppose 0 = -2*q + 3*d + 12, -2*q - x*q = 2*d + 8. Does 21 divide q/1 - (-26 - (1 - 6))?
True
Suppose 0 = 47*k - 50*k + 1197. Suppose 2*v = -5*v + k. Is v a multiple of 15?
False
Let c = -3189 + 3891. Is c a multiple of 13?
True
Suppose -606 = 10*c - 646. Suppose 10*k - 2392 = -2*p + 8*k, -c*p + 3*k = -4812. Is 25 a factor of p?
True
Let i be (2 - 0)*(-24)/12. Does 14 divide (i/(-8))/((-7)/(-2548))?
True
Suppose 56*q - 550 - 1151 = 53*q. Is 104 a factor of q?
False
Is 54 a factor of 18/(2 - -160) + 18880/18?
False
Let i be (-4)/(-8)*-2 + 4. Suppose -5*g - i*g = -8. Is (g/3)/((-13)/(-1443)) a multiple of 37?
True
Suppose -2*x + 2*j = -2566, -17*x + 6*x + 3*j = -14081. Does 15 divide x?
False
Let m = 22 + -397. Let s = 1926 + m. Is 15 a factor of s?
False
Let z(i) = 12*i - 79. Let x be z(7). Does 4 divide 134/(-6)*-3 - x?
False
Let s = 14290 - 5012. Does 19 divide s?
False
Let y(o) = 10*o + 12. Suppose 6*w - w - 160 = 0. Let v = 38 - w. Is y(v) a multiple of 10?
False
Suppose -465*a = -361*a - 16016. Does 76 divide a?
False
Let b(x) = -x - 4. Let u be b(-6). Suppose 4*p + q + 16 = 0, -q + 2 = -u*p - 0*q. Is p/15 - (-846)/5 a multiple of 13?
True
Suppose -34*s - 252961 = -402326 - 286685. Is s a multiple of 135?
True
Let j(s) = -839*s + 3247. Is j(-6) a multiple of 30?
False
Suppose 11*s + 15 = 16*s. Suppose -3*f + 101 = -s*l - l, -2*f + 69 = -l. Suppose -33*m = -f*m + 480. Is m a multiple of 20?
True
Suppose -r + 4*p - 6 = p, 5*r + 5*p + 30 = 0. Let q be -1*(r - 1/((-2)/6)). Suppose 0 = t + 5*k - 61, k + q*k + 52 = t. Is t a multiple of 16?
False
Suppose -13*v + 73238 = 12957. Does 44 divide v?
False
Does 13 divide (-558656)/(-280) - (-27)/15?
False
Let c = -97 + 99. Suppose 0 = -4*u - c*s + 712, 2*s - 340 = -2*u - 3*s. Does 18 divide u?
True
Suppose -35*x = -9*x - 78. Suppose 0 = 2*b + x*y - 80, -2*b + 2*y - 11 = -111. Is 4 a factor of b?
False
Let a = 28 - 23. Suppose -4*m - a*f + 27 = -9, 3*m + 2*f = 20. Suppose -m*t = 109 - 489. Is 8 a factor of t?
False
Suppose -4*o - 520 = 2*a - 0*a, 260 = -2*o - 2*a. Let x = o - -53. Let r = x + 125. Does 5 divide r?
False
Let f(i) = -9*i**2 - 59*i - 74. Let y(b) = -4*b**2 - 28*b - 36. Let a(u) = 3*f(u) - 7*y(u). Is 14 a factor of a(-25)?
False
Let z(w) = -w**3 + 9*w**2 + w + 13. Suppose -7*o = -o - 60. Suppose 0 = 5*i + o - 45. Is 20 a factor of z(i)?
False
Suppose -12*a + 8*a = -44. Suppose -4 = 7*l - a. Suppose -7*j = -7