127 - 112. Let q(k) = 5*k**2 - 51*k - 15. Is 15 a factor of q(w)?
True
Suppose 38*n + 5*i = 37*n + 2541, -n - 2*i = -2553. Does 84 divide n?
False
Suppose 1368 = 2*n - g, -4*g = 4*n - 5*n + 698. Is n a multiple of 31?
True
Suppose 17*n - 16*n = 4*o - 139, 0 = -o - 2*n + 46. Is o a multiple of 36?
True
Suppose x + 11*d - 15 = 14*d, 0 = -2*x + 5*d + 26. Suppose 5 = 4*s - x*s, 577 = 3*f + 5*s. Does 23 divide f?
True
Let a(x) = x**2 + x - 5. Let l(t) = t**2 + 8*t + 2. Let y(o) = o**2 + 9*o + 2. Let w(r) = 6*l(r) - 5*y(r). Let s be w(-4). Is a(s) a multiple of 17?
False
Suppose 3*t - 218 + 41 = 0. Suppose -u + 2*o = -t, o = -2*o. Let s = -42 + u. Does 3 divide s?
False
Let t = 1101 - 465. Is t a multiple of 6?
True
Let i(r) = 16*r - 20*r + 3 + 19*r**2 + 5*r**2. Let y be i(1). Let b = y + 8. Is b a multiple of 8?
False
Suppose -9 = -v - x, 4*v + 0*x - 12 = 2*x. Let m(s) = 2*s - s**2 + 1 + v*s + 0. Is 3 a factor of m(6)?
False
Suppose -5*z + 5*m + 25 = -8*z, 0 = 5*z + 5*m + 25. Suppose -2*q + 3*q - 133 = z. Is q a multiple of 22?
False
Suppose i = -5*g + 12, 3*i = -i + g + 153. Suppose 2*x + 34 = n, 3*n - 4*n + 3*x = -i. Does 8 divide n?
False
Let j be 3 - (-2 - -4 - -1). Suppose j = 8*f - 2119 + 63. Suppose -95 + f = 3*d. Is d a multiple of 17?
False
Let t(d) = -28*d + 2. Let p be t(-2). Suppose -5*w + 198 = p. Let b = w + 14. Does 11 divide b?
False
Let g = 1076 - 924. Is 5 a factor of g?
False
Let c(w) = w**3 - 2*w**2 - 5*w + 4. Let f be c(3). Suppose -4*z + 9 = 2*u - 69, 38 = 2*z + 2*u. Does 8 divide -30*(z/(-8) - f)?
False
Let m = -28 - -26. Is 1/m*(-3 + -143) a multiple of 3?
False
Let y = 213 + -171. Let i = y - -9. Is 17 a factor of i?
True
Suppose -3*u = 3*m - 1149, u - 7*m + 3*m = 373. Is 9 a factor of u?
False
Let w be (12/10)/(3/10). Let l be (w/(-3))/(20/(-90)). Is 12 a factor of (-141)/(-9) + (-4)/l?
False
Let a(j) = j**2 - j - 8. Let r = -46 + 50. Does 4 divide a(r)?
True
Let n be (4 + 2)*10/12. Suppose n*b + 4*d - 136 = 0, -4*d - 138 = -5*b - 6*d. Is 16 a factor of (-4)/14 + 1996/b?
False
Let f(s) = 2*s**3 + s**2 + 146. Let w be f(0). Suppose -3*r - 3*x + 24 = 0, -2*x = x - 15. Suppose 2*a = 5*y - r*a - 370, 2*y - 4*a - w = 0. Does 19 divide y?
False
Is 8 a factor of 234 + (-1 + 2)/1?
False
Let s = -1715 + 2554. Is 45 a factor of s?
False
Suppose -75 = -14*l + 11*l. Let c be ((-10)/4)/((-2)/4). Suppose 30 = c*v - l. Does 3 divide v?
False
Let p = 44 + 415. Does 45 divide p?
False
Suppose -5*v - 5*v = -510. Suppose -3*a - v = -291. Does 16 divide a?
True
Let x(p) = p**2 + 2*p + 5. Let a be (-2)/9 + (-200)/72. Let s be x(a). Suppose -s*r + 9*r - 5 = 0. Does 2 divide r?
False
Let u(y) = y**3 - 7*y**2 + 3*y + 13. Let l be u(9). Let j = l - 129. Suppose 0 = k + 2*o - j, 0 = -3*k + k - 3*o + 142. Is k a multiple of 13?
True
Suppose 5*l - 668 = 3*u, -5*u - 2*l = 3*l + 1140. Let v = u + 108. Is 6 a factor of v/(-5) + (-15)/25?
False
Let j = 557 - -3523. Is j a multiple of 162?
False
Let a be -2 + -273 + (-2 - -1). Does 19 divide 4 - (a/4 + 0/(-1))?
False
Let m = 148 - -121. Is 13 a factor of m?
False
Let z(k) = k**2 + 12*k + 9. Suppose -2*v = 5*n - v + 69, -3*n = 3*v + 39. Does 19 divide z(n)?
False
Let n(d) be the third derivative of d**6/120 - d**5/15 - 3*d**3/2 + 7*d**2. Does 4 divide n(6)?
False
Suppose -5*j + 6*b = b - 1560, -4*j + 1260 = -b. Suppose 61*y + 23 = 62*y + 5*o, 20 = 5*o. Suppose -i + j = y*i. Is i a multiple of 20?
False
Let y(r) be the first derivative of -5 - 16*r - 11/2*r**2 + 1/3*r**3. Is y(13) a multiple of 10?
True
Let w(m) = -m**2 + 4 + 3*m**2 + 3*m + m**2 + 2*m**2. Let r be w(5). Is 12 a factor of (1 - -1)/(8/r)?
True
Suppose -8*z + 1869 = -1051. Is 29 a factor of z?
False
Is (1*-30)/(6 + 54/(-8)) a multiple of 15?
False
Let n = -32 - -21. Let r(m) be the second derivative of m**5/20 + 11*m**4/12 - 5*m**3/6 + m**2 - 4*m. Is 20 a factor of r(n)?
False
Let a(f) = -f**2 - f + 3. Let h be a(-3). Suppose -2*b = -2*q - 6*b, 10 = 4*q - 2*b. Is 16 a factor of 351/(-6)*q/h?
False
Suppose 3*g = 2*h - 7*h + 7, -2*h + 5*g + 9 = 0. Suppose 0 = -n + h*n - 211. Suppose -2*f - 33 + 111 = 4*p, -n = -4*f + 3*p. Is 13 a factor of f?
False
Let w(k) = k**3 - 14*k**2 - 12. Let q(i) = -i**3 + 13*i**2 + i + 12. Let z(h) = 3*q(h) + 2*w(h). Is z(11) a multiple of 9?
True
Let b(j) = j**2 - 16*j - 11. Let p be b(17). Let l(r) = 2*r**2 - 8*r - 4. Is l(p) a multiple of 3?
False
Let m = 481 + 825. Suppose -251 + m = 5*d. Does 44 divide d?
False
Let k(a) = -3*a + 3. Let c be ((-2)/(-5))/((-11)/(-330)). Let f be (-4 + c/4)*5. Is k(f) a multiple of 18?
True
Let l(k) = 4*k + 195. Is 6 a factor of l(19)?
False
Let q(s) = -23*s - 26. Does 5 divide q(-5)?
False
Suppose -8*w = -14 - 10. Is (9 - (-3 + 4))/(w/6) a multiple of 16?
True
Is 30 a factor of ((-2915)/55)/((-2)/60)?
True
Suppose 17*r - 10*r = 567. Is r a multiple of 74?
False
Suppose -50*u = -52*u + 332. Does 5 divide u?
False
Suppose -r + 5*a = -1813, 6*r - 3*r - 2*a - 5452 = 0. Is 86 a factor of r?
False
Let f = 12 + -4. Suppose -f*y - 156 = -9*y. Is y a multiple of 13?
True
Let l(r) be the second derivative of -r**3 + 22*r**2 - 11*r. Is l(-19) a multiple of 26?
False
Suppose 2*n - 3*n = -8. Suppose -n = 3*c - 20. Is 17 a factor of (-138)/(-8) + c/(-16)?
True
Let x = 61 - 59. Suppose -s + x*s + d - 235 = 0, 0 = 2*d - 8. Does 11 divide s?
True
Suppose b = 4*z + 6*b + 3, -4*b + 10 = -3*z. Does 51 divide (-6)/((-11)/45 - z/10)?
False
Does 8 divide (-1087)/(-2) - (-483)/(-138)?
False
Suppose -4*t + 4*v = -6*t + 340, 0 = -5*t + v + 839. Suppose -7*i + 3*i = -t. Is i a multiple of 14?
True
Let w(p) = p**3 + 20*p**2 - 5*p - 13. Is 7 a factor of w(-6)?
False
Suppose n = -3*u + 782, -16*n + 10 = -11*n. Is 20 a factor of u?
True
Suppose 11*m = -1126 + 4426. Is 22 a factor of m?
False
Is (12/(-5))/(57018/(-11400) + 5) a multiple of 16?
True
Suppose -5*m + 3*m + 4 = 0. Is 3 a factor of m/(-5) - 648/(-45)?
False
Suppose 2145 - 6063 = -6*l. Is l a multiple of 54?
False
Let q be -2*3/(18/12) + 4. Let i = 13 - 4. Suppose q*a = -a + i. Does 3 divide a?
True
Suppose 0 = 5*f + q - 203, 4*f - 27 - 141 = 2*q. Suppose 2*a - 27 = a. Let o = f - a. Is o a multiple of 14?
True
Suppose -o + 3*r - 129 = -2*o, 590 = 5*o + 4*r. Does 29 divide o/(-513) - 1091/(-9)*1?
False
Let g(m) = -m**3 - 13*m**2 - m + 5. Does 8 divide g(-13)?
False
Suppose 146020 = 36*j + 13*j. Is 31 a factor of j?
False
Suppose 3*y + 77 = 10*y. Let m(c) = c**3 - 12*c**2 + 15*c - 13. Is 12 a factor of m(y)?
False
Let t(z) = -z**3 - 6*z**2 - 3*z + 43. Is 14 a factor of t(-7)?
False
Let t(y) = y**3 - y**2 + 1. Let c(u) = -5*u**3 - 6*u**2 + 22*u + 8. Let p(a) = c(a) + 4*t(a). Is 6 a factor of p(-12)?
True
Suppose -34*a + 4999 = 103. Does 18 divide a?
True
Let x be 1 - 1 - (-7 - -4). Suppose -4*y = 5*o + y, x*o + 5*y + 4 = 0. Does 2 divide 1/((-3)/(-12)) - o?
True
Is (-8594)/(-16) - (33/8 + -4) a multiple of 47?
False
Let s be 167/11 - 40/220. Is s/(10/(-6) - -2) a multiple of 7?
False
Suppose -2*z = -4*z + 2, -5*z = -2*w + 9. Suppose -4*y + w*y = 75. Does 2 divide y?
False
Suppose -240*i - 2926 = -254*i. Is 11 a factor of i?
True
Is 174 + (-1)/10*-10 a multiple of 30?
False
Let x(h) = -20*h - 7 + 5 - 13*h. Let j be x(-2). Let k = -37 + j. Is k a multiple of 8?
False
Is 28 a factor of (-28)/3*(-5)/((-60)/(-234))?
False
Let m(s) = s + 1. Let b be m(-2). Let j = b - 77. Is 1 - j - (-1 - -1) a multiple of 30?
False
Suppose m + 3*n = 312, 2*m + 4*n = -3*m + 1516. Does 10 divide m?
True
Let a = -244 + 855. Is 38 a factor of a?
False
Let t be 11/(-44) + 27/(-4). Let g = t + 8. Is 2 a factor of g - -1*(1 + 6)?
True
Let x = 12 + -9. Suppose -2 = x*t - 17. Suppose 0 = w - t - 1. Does 3 divide w?
True
Let x(v) = v**3 + 2*v**2 - 3*v - 7. Let l be x(6). Let c = l - 67. Suppose 4*s = 2*s + 4, -3*j + 4*s = -c. Is j a multiple of 21?
False
Let x = -17 - -23. Suppose 26 = -5*i + x*i. Suppose 4*w + z - 10 = 2*w, -3*w + i = -4*z. Is w a multiple of 2?
True
Suppose -11*c = -6*c - 50. Let p(a) = -a + 13. Let o be p(c). Suppose 5*v - 3*k = 34 + 147, o*v - 3*k - 111 = 0. Is v a multiple of 12?
False
Let v = 188 + -93. Let i = -13 + v. Is 41 a factor of i?
True
Suppose 7 = -4*t + 3*t. Let p = -3 - t. Suppose p*o - 22 - 46 = 0. Does 17 divide o?
True
Does 63 divide (-1 + 333)*