+ 125. Does 8 divide c?
False
Let s(k) = -3*k**3 + 5*k + 6. Let w(o) = o**3 - 6*o**2 - 5*o - 8. Let i be w(7). Let f be -5 + 2/i*6. Is 18 a factor of s(f)?
True
Suppose 0 = -5*x - 25, -2*y - 4*x = 3*y - 1170. Is y a multiple of 14?
True
Suppose -9*o + 252 = -7*o. Let y = o + -34. Let n = -48 + y. Is 11 a factor of n?
True
Suppose -2*f + 7 = 3*o - 1, -10 = -3*o - f. Suppose o*x = -5*z + 198 - 47, 5*x - 197 = 2*z. Is x a multiple of 13?
True
Let o(q) = 12*q + 8. Let l be o(4). Suppose u = -3*u + l. Suppose -d - u = -20. Is 4 a factor of d?
False
Suppose -309*i + 308*i = -340. Is 26 a factor of i?
False
Suppose -3*m + 1863 + 750 = 0. Is 19 a factor of m?
False
Let h = 545 + -305. Suppose h = 2*n + 5*i, 0*i + i + 216 = 2*n. Is n a multiple of 11?
True
Suppose -g = 22 - 24. Suppose -4*r + 54 = -2*v, 0 = -2*r - g*r + 4*v + 44. Is 13 a factor of r?
False
Let g(t) = t**3 + t**2 + 1. Let y be g(-1). Suppose 2*d - y = 3. Suppose -3*r - d*j + 0*j = -81, 2*j = 0. Is r a multiple of 10?
False
Let l = 188 + -413. Let u = 439 + l. Does 48 divide u?
False
Suppose -3*l = 2*r - r - 7, 4*r + 2*l = 18. Let a be (r + -4)*-1 + 4. Suppose t + 27 = a*h - 37, -5*h + 71 = t. Is h a multiple of 5?
True
Let k(v) = -v - 22. Is k(-65) a multiple of 23?
False
Let s(k) = -6*k**2 + 95*k + 16. Is s(14) a multiple of 17?
True
Let i(v) = v**3 + v + 2. Suppose -3*t - 1 - 2 = 0. Let h be i(t). Suppose 0*s - s + 43 = h. Is 7 a factor of s?
False
Is 13 a factor of (-28)/(-12)*3 + 175?
True
Let l(g) = -g + 3. Let z be l(-11). Suppose 0 = 5*r - 7*r - z. Let j(o) = -2*o - 4. Is 3 a factor of j(r)?
False
Let a(m) = -6*m**2 - 44*m - 25. Let o(w) = w**2 + 9*w + 5. Let z(i) = 2*a(i) + 11*o(i). Is 33 a factor of z(7)?
True
Let h = 14 - -2. Suppose 3*w - 60 = w. Suppose 2*q - h = w. Does 9 divide q?
False
Suppose -5*q = -5*f - 25, -2*q - 5*f = -4*q + 16. Suppose -3*a + q*d = -123, -123 = -3*a - 2*d + 3*d. Does 9 divide a?
False
Let t be (9/(-2) + -1)*(32 - 34). Suppose -b - t*b = -2484. Is b a multiple of 24?
False
Let u be (-235)/(-45) + 2/(-9). Suppose -u*b = j - 13, 3*j - 4*b + 1 = b. Is 2 a factor of j?
False
Suppose -3*y = 3, -4 = -0*m - m + 4*y. Let d(b) = m*b**2 - 2*b**3 + 2*b - 3*b + 0*b - 2*b**2. Is 6 a factor of d(-2)?
False
Let b(x) = 3*x**3 - x**2 + x. Let k be b(1). Let t be (-2 + -2 + k)/1. Let r = t + 8. Is 7 a factor of r?
True
Let u(f) be the third derivative of -7*f**4/8 - f**3/6 - 31*f**2. Suppose -2 = -j - 3. Does 3 divide u(j)?
False
Suppose -19*u = 3*u. Let a(p) = 11*p + 132. Is a(u) a multiple of 33?
True
Let u = 5 + -5. Let k = 4 - -3. Suppose u*v - k = -v. Is 2 a factor of v?
False
Let p(o) = -55*o**2 - 2*o + 4. Let u(t) = t**2 - 6*t - 13. Let j be u(8). Let x(r) = -r**2 - r + 1. Let m(f) = j*x(f) - p(f). Does 13 divide m(-1)?
True
Let n = -4681 + 3004. Does 18 divide (-4)/24 - n/18?
False
Does 17 divide 2/(-8)*-538 - (-207)/138?
True
Suppose -6 = -h + 7. Suppose 5*y - 30 = -5*j, -5*y - j + 13 + h = 0. Is 2 a factor of y?
False
Let m(r) = 47*r + 144. Is m(10) a multiple of 19?
False
Suppose 18*b - 16*b = 20. Suppose b*y - 511 = 959. Does 32 divide y?
False
Suppose 4*z - 7*z = 5*a + 1002, a - 2*z = -203. Let x = a + 350. Is 12 a factor of x?
False
Let x(d) be the third derivative of -1/12*d**4 + 0 + 0*d - 6*d**2 + d**3. Is 6 a factor of x(-6)?
True
Let g(k) be the first derivative of k**3/2 - k**2/2 - 5*k - 13. Let y(c) be the first derivative of g(c). Does 14 divide y(5)?
True
Suppose -66 = 2*q - 0*q. Let s = 4 - q. Is s a multiple of 7?
False
Let v = 1716 - 196. Is 40 a factor of v?
True
Let g = 1987 - 1203. Does 56 divide g?
True
Let y(n) = -n**2 + 16*n - 6. Let l be (-15)/(-25) + 16/(-10). Let j = l + 16. Does 9 divide y(j)?
True
Let t(r) = 2*r**3 - 3*r**2 - 3*r - 2. Does 33 divide t(4)?
True
Let d = 1150 + -610. Is d a multiple of 18?
True
Suppose -62 = -k - t, 4*k + t = -4*t + 253. Is 19 a factor of k?
True
Suppose 0 = 18*r - 29*r - 1056. Let q = 258 + r. Is q a multiple of 18?
True
Suppose 3*v = 5*d + 1374, -v + 599 = d + 133. Suppose -3*u + w + 356 = -0*w, 4*u = -w + v. Does 13 divide u?
True
Suppose 39000 = 47*f + 3*f. Is f a multiple of 15?
True
Let w(m) = 8*m**2 - 3*m - 7. Is w(-2) a multiple of 31?
True
Suppose -5*h - 1350 = -8*h. Is h a multiple of 45?
True
Let y = 394 + -311. Does 11 divide y?
False
Let v(m) = m**3 + 16*m**2 - 8*m. Let j = 58 - 74. Is 32 a factor of v(j)?
True
Suppose -4 = -2*s - 0. Let h be 1 + (-1)/(s/6). Is 50 - (0 + h)*1 a multiple of 13?
True
Suppose -3*x + 21 = 3*a, 0 = 5*a - 4*x - 5 - 12. Suppose 5*v + 4*t - 10 = 0, -3*t = a*v - t - 10. Suppose 0 = -v*u - 22 + 58. Is u a multiple of 6?
True
Let f = -376 - -590. Is 89 a factor of f?
False
Let w(s) be the first derivative of 35*s**4/2 + 3. Does 35 divide w(1)?
True
Suppose 0 = 4*f - u + 8*u - 4568, -u = 4. Does 31 divide f?
False
Suppose 0 = -a + 23. Let l be (-10)/((-5)/(-1))*-71. Suppose -u + 3 = 0, 0 = -4*d + u + l + a. Is d a multiple of 14?
True
Let h(d) = -d**2 + 15*d + 2. Let g be h(15). Suppose 5*c = g*c - 57. Let a = 31 + c. Does 3 divide a?
True
Let m be 6/(-4) + (-180)/(-24). Suppose -3*j - 6 - m = -3*f, -4*j = -3*f + 9. Is 4/f - 2252/(-28) a multiple of 22?
False
Does 3 divide (-21)/(-12) + 157*(-5)/(-4)?
True
Does 51 divide (-6580)/(-6) + (572/33 - 17)?
False
Let r(y) = 4*y**2 - 13*y - 124. Let h(o) = 7*o**2 - 24*o - 249. Let u(w) = -6*h(w) + 11*r(w). Is u(0) a multiple of 21?
False
Let y(f) = -7*f**3 + 10*f**2 + 22*f - 1. Let i(q) = -8*q**3 + 11*q**2 + 23*q - 2. Let a(k) = 6*i(k) - 7*y(k). Does 30 divide a(7)?
True
Let b be ((-6)/(0 - -3))/1. Let r be (1 - -3) + 3 + b. Suppose -4*q = 4*a - 212, q = r*a - 30 - 241. Does 18 divide a?
True
Let r(i) = i**3 + 8*i**2 + i - 1. Let k(f) = -f**3 - 9*f**2 + 2*f + 2. Let m(g) = -6*k(g) - 5*r(g). Let d = 37 + -52. Is 11 a factor of m(d)?
False
Let f = 84 - 48. Let z = -15 + f. Let y = 41 - z. Is 5 a factor of y?
True
Let w(n) = n**3 + 2*n - 24. Let j be w(0). Let z be 9*6*(-2)/(-3). Let r = j + z. Is r a multiple of 3?
True
Let k(d) = 311*d**2 + 3*d + 3. Let p(a) = -2*a**3 + a**2 - 3*a + 3. Let h be p(1). Is 31 a factor of k(h)?
False
Does 29 divide (1 + 2/4)*2188/3?
False
Suppose 7*t - 13*t = -486. Suppose t*v = 80*v + 204. Is 13 a factor of v?
False
Suppose 2*o = -4*d + 70 - 24, 5*d = -o + 26. Suppose -6*l = l - o. Suppose 2*a + 48 = l*a. Is 24 a factor of a?
True
Let g(s) = 4*s**2 - 19*s + 29. Does 17 divide g(-13)?
True
Suppose 4*a = 2055 + 57. Is 44 a factor of a?
True
Suppose -3*q = b - 696, -4*q = 4*b - 2696 - 56. Is b a multiple of 18?
True
Let s(v) = -5*v - 93. Let a be s(0). Let u = 162 + a. Is 4 a factor of u?
False
Suppose 35 + 1 = -2*w. Let d = w + 269. Is d a multiple of 12?
False
Let x(o) = -o**3 - 6*o**2 - 6*o - 8. Does 6 divide x(-8)?
True
Suppose -97*t = -103*t + 5670. Is t a multiple of 17?
False
Let x = 13 - 24. Let w be (-6)/(-33) - 603/x. Does 4 divide (w/10)/(2/4)?
False
Suppose h - 45 = -3*w, 3*h = 2*h - 4*w + 46. Suppose 0*q - 4*t + 80 = 4*q, 2*t - 4 = 0. Let n = h + q. Is 15 a factor of n?
True
Let c = 77 + -6. Is 4 a factor of c?
False
Let g = 25 - 15. Let u = g + 7. Let y = 36 - u. Does 14 divide y?
False
Let x(s) = 690*s - 177. Is x(2) a multiple of 13?
False
Suppose 0 = -14*k + 3981 + 1577. Does 8 divide k?
False
Let y be ((-2)/3)/(-5 + 52/12). Let p(n) = -75*n + 7. Let i(s) = -74*s + 6. Let c(j) = -6*i(j) + 5*p(j). Does 17 divide c(y)?
True
Suppose -8*x + 125 = -3*x. Suppose 0 = 3*c - x + 1. Suppose -8*i = -10*i + c. Is i a multiple of 2?
True
Suppose -3*f + 3 = -6. Let k = f - -12. Is 11 a factor of (k/(-45))/((-1)/60)?
False
Let n = 0 - -2. Let i = -6 + n. Is 7 a factor of (-3 - -29) + 1 + i?
False
Let o = -857 - -1245. Suppose 6*z - o = 92. Does 10 divide z?
True
Suppose 4*o = v + 256, 3*o + 1256 = -5*v - o. Let s = v - -378. Is s a multiple of 21?
True
Let o(x) = -x**3 + 16*x**2 - 39*x - 6. Is o(12) a multiple of 6?
True
Suppose -2*n - 2*i + 224 = 36, 2*i = 4*n - 388. Let r = n + -46. Suppose -5*a = -2*g - r - 7, 2*a - 30 = -g. Is 7 a factor of a?
False
Suppose -o + 25 = -3*k + 6*k, 2*k + 5*o - 34 = 0. Suppose -k*b - 36 = -4*l - 3*b, 4*b - 24 = -l. Is 11 a factor of -3*(-1 - 104/l)?
False
Let h = -24 - -13. Let l be (-12)/(-66) + (-1329)/h. Suppose 14 + l = 3*q. Does 15 divide q?
True
Suppos