k(u) = u + 16. Let w be k(-8). Let m be (-2)/(-1)*348/w. Is 2 + (m - 0)/3 a multiple of 31?
True
Suppose 33*b + 700 = 34*b. Let s = b - 474. Suppose -34 = 4*p - s. Is 24 a factor of p?
True
Let b(u) = u**3 + 10*u**2 + 7*u - 8. Suppose 9*g = 7*g - 18. Does 10 divide b(g)?
True
Let y(f) = f**2 - 4*f + 1. Let d be y(5). Suppose 33 - 105 = -d*c. Is 3 a factor of c?
True
Let t(v) = -16*v - 11. Let z be t(-2). Suppose 20*n = z*n - 6. Does 3 divide n?
True
Let u = 17 - 10. Let f(o) be the second derivative of -o**5/20 + 7*o**4/12 + o**3/6 - 5*o**2/2 + 4*o. Is 2 a factor of f(u)?
True
Suppose 0 = -5*z + 12 + 23. Let s(t) = z*t - 2*t - 2 - 7. Is s(8) a multiple of 14?
False
Let h(i) = i + 11. Let u be h(-11). Let v(z) = z + u*z + z - z. Does 4 divide v(5)?
False
Let j be (2 - -286)*4/6. Let p = -77 - -63. Is (-12)/(-42) - j/p a multiple of 14?
True
Let m(b) = 4*b**2 + b + 2. Let x be m(-1). Suppose -x*f = -5*i + 105, -5*i + f + 110 = -3*f. Is i a multiple of 7?
False
Suppose -7*w = -36*w + 2088. Is w a multiple of 4?
True
Suppose -2*x = 4, x + 266 = 47*g - 46*g. Is g a multiple of 8?
True
Let s = 43 - -101. Is 12 a factor of s?
True
Let p = 46 - 37. Suppose p*c - 35 - 226 = 0. Does 9 divide c?
False
Suppose 56*u = 62*u - 1074. Suppose -4*g + 1199 = -5*x + u, 0 = -3*g - 3*x + 765. Does 27 divide g?
False
Let k(j) = j**2 - 2*j - 1. Let z(v) = -v**2 - 7*v + 3. Let n be z(-7). Let i be k(n). Does 8 divide (-2)/((-2)/16*i)?
True
Suppose -2*c = -2*m - 6, -3*m + 3*c = 2*m + 15. Let v(a) = -a**2 - 3*a - 3. Let g be v(m). Is (-3 - (g - -3)) + 39 a multiple of 24?
False
Let u = 235 - 11. Is u a multiple of 32?
True
Suppose -l - 6413 = -5*g + 6862, 4*l + 13290 = 5*g. Is g a multiple of 8?
False
Let f be (-2)/(-1*6/9). Does 24 divide f + 4 + -3 - -20?
True
Suppose q = -2*k + 9, 4*q - 2*q + 2 = k. Suppose -4*w - k*w + 792 = 0. Is 13 a factor of w?
False
Let f(m) = 4*m**3 - 2*m**2 - 5*m - 5. Let t(g) = g**3 - 6*g**2 + 3*g - 15. Let k be t(6). Is 10 a factor of f(k)?
True
Let b be (-40)/(-15) - (-2)/6. Is b + -8*(-19)/2 a multiple of 11?
False
Does 4 divide (3 + (-75)/(-6))*2 + 3?
False
Let k be 24/(-14)*28/(-6). Suppose -k = 4*f - 16. Suppose -5*q = 3*s - 77 + 13, 3*q - 27 = f*s. Is q a multiple of 4?
False
Let q(k) = -k**2 + 18*k - 1. Let b be q(18). Let n(p) = 16*p + 5. Let y(x) = -1. Let m(i) = b*n(i) - 2*y(i). Is 19 a factor of m(-5)?
False
Let m(u) = -u - 2. Let j be m(-2). Suppose j = -p - 3*p + 612. Suppose 3*o - p = -3*x, -5*o + 2*x = 4*x - 246. Is 24 a factor of o?
True
Suppose 15*k - 7*k = 1008. Is 18 a factor of k?
True
Suppose 80 = -3*j - 3*v - v, -3*j = 2*v + 76. Let q = j + 41. Does 10 divide q?
False
Let q(d) = -d**3 - 12*d**2 - 12*d - 49. Is 7 a factor of q(-13)?
False
Let h(p) = 45*p**2 - 3*p - 42. Is h(-5) a multiple of 9?
True
Let y = 270 + -130. Suppose s + 34 - y = 0. Suppose 1 - s = -3*z. Is z a multiple of 15?
False
Let g be (12 - (1 - 0)) + 0. Suppose -3*j + 145 = -g. Is 13 a factor of j?
True
Suppose 0 = -4*m + 2*z - 371 + 1277, 4 = 4*z. Let a = -125 + m. Is a a multiple of 38?
False
Let z = -120 - -195. Suppose -v - 4*n = -z, -4*n - 138 = -v - v. Does 14 divide v?
False
Let o(n) = -n**2 + 2*n + 2. Let t be o(2). Let k(l) = -l**3 - 5*l**t + 21*l + 2*l**3 + 4 - 17*l. Is k(4) a multiple of 3?
False
Suppose -1 = -q - 0. Suppose q = v - 6. Suppose v*w = 4*w + 21. Does 2 divide w?
False
Let y(v) = -5*v - 50. Is 11 a factor of y(-31)?
False
Let a = -211 - -299. Suppose -5*l + 11 = 1, 3*f = -2*l + a. Is f a multiple of 14?
True
Let d(x) = 2*x**2 - 2*x + 7. Let h be d(-4). Let y = h - -10. Let j = y + -31. Does 6 divide j?
False
Suppose -y - 3 = 4*g, g + y = -g + 1. Let b be (51 - g - 0)*2. Suppose -m - l = -6*l - b, 3*l = m - 102. Is 15 a factor of m?
False
Let v(l) = l**2 + 6*l - 3. Let y be v(-7). Suppose -2*f = 2*g - 380, y*g - 3*f - 396 - 364 = 0. Is 38 a factor of g?
True
Let t be 23/(-3) - 2/6. Let r(b) = -b**2 - 8*b + 3. Let h be r(t). Suppose -h*d + 7*d = 40. Is 9 a factor of d?
False
Let x(j) = j**3 + 8*j**2 + 7*j + 3. Let d be x(-7). Suppose 524 = 7*z - d*z. Is 37 a factor of z?
False
Let o(r) = -r**3 + 10*r**2 + 12*r + 17. Suppose -65 + 10 = -5*g. Does 8 divide o(g)?
False
Suppose n + 0 - 4 = -5*h, 0 = -2*n + 2*h + 44. Suppose 0 = 15*q - n*q + 24. Does 3 divide q?
True
Suppose -5*o + 305 - 85 = 0. Does 5 divide (-5 + o/12)*-6?
False
Let g(t) = t**3 + 27*t**2 + 13*t + 55. Is g(-26) a multiple of 7?
False
Let u(j) = j**2 - j - 209. Let y be u(0). Let x be 0 - y - (4 + -2). Let o = x + -137. Does 19 divide o?
False
Let p = -1163 - -2166. Is 17 a factor of p?
True
Let t = 115 - 119. Is 17 a factor of (-2)/(t/(-51))*72/(-54)?
True
Let i = -146 - -109. Let y = 24 - i. Does 5 divide y?
False
Let p(t) = t**3 - t**2 + 2*t - 3. Let d(y) = y. Let a(h) = 3*d(h) - p(h). Let z be a(0). Let l(c) = c**3 + 4*c**2 + c - 4. Is l(z) a multiple of 20?
False
Suppose 4*d - 4*a + 12 = 0, 5*a = -d - 0*a + 27. Suppose -2*y + 4*y - 84 = d*u, 3*u - 15 = 0. Does 13 divide y?
False
Suppose -7*i - 138 = -411. Is i a multiple of 13?
True
Let l = 756 - 538. Let a = l - 46. Suppose -4*p = -8*p + a. Is 16 a factor of p?
False
Suppose -17 = 4*s - 1. Let v = s - -12. Does 4 divide v?
True
Let t(b) = b + 7. Let z be t(10). Let d = -14 + z. Suppose 160 = 7*f - d*f. Is 10 a factor of f?
True
Is 14 a factor of 9581/66 + 4 + 100/(-24)?
False
Let q(v) = 3*v + 18. Let s be q(-6). Suppose r - 3*z - 191 = s, 220 + 722 = 5*r - 2*z. Does 35 divide r?
False
Let d = -429 - -965. Is 20 a factor of d?
False
Let y be 37 + 3 + -4 - 0. Is 8 a factor of 1 - (2 + y/(-2))?
False
Let b = -18 - -18. Suppose b = -0*h - 4*h + 20. Is h a multiple of 2?
False
Let d(a) = -12*a**2 + 3*a**3 - 6*a**3 - 12*a + 2*a**3. Let c be 4/(-5) - (-969)/(-95). Is 11 a factor of d(c)?
True
Suppose 0 = -4*n - 2*j + 1852, n = 3*j + 131 + 325. Does 42 divide n?
True
Let i be 4/(-8)*0/(-1). Suppose i = s + 11. Let g = s - -56. Is g a multiple of 15?
True
Let u = 1234 + -874. Is u a multiple of 13?
False
Let c(i) = 6*i**2 - 17*i. Let s(j) = j**3 - 3*j**2 - 2*j - 3. Let z be s(4). Is 6 a factor of c(z)?
False
Let v = 155 - -60. Let q = v - 107. Suppose -3 = 5*a - q. Is 18 a factor of a?
False
Let i = -19 + 19. Suppose j + 4*j - 30 = i. Let h(z) = 16*z + 1. Is 26 a factor of h(j)?
False
Suppose 3*v - 6 + 0 = 0. Let k(c) be the first derivative of 7*c**3 - c**2 - 31. Does 19 divide k(v)?
False
Suppose -5*u - 3*k + 1695 = 0, 16*u = 13*u + k + 1031. Does 57 divide u?
True
Suppose 4*t - 3 = 7*t. Let u be ((1 - 1)/t)/(-1). Suppose 2*q = -u*q + 96. Is q a multiple of 12?
True
Let v = -12 - -16. Suppose x - 15 = -v*x. Suppose x*c + 9 = 42. Does 11 divide c?
True
Suppose -o = -3*t + 4*o + 1028, t = -4*o + 371. Suppose 10*c - t = 69. Does 6 divide c?
True
Suppose 0 = -2*z + 8 - 4. Suppose y + 37 = q - 14, -y - z*q = 54. Let k = -16 - y. Does 18 divide k?
True
Let a(u) = -u**3 + u**2 - 9*u + 900. Is 48 a factor of a(0)?
False
Let p(j) = -9*j + 5. Let r(o) = 9*o - 5. Let t(x) = 4*p(x) + 3*r(x). Let g(q) = 28*q - 16. Let s(n) = -6*g(n) - 20*t(n). Does 14 divide s(7)?
False
Suppose 9*w + 52 = 88. Let x(f) = -f + 8. Let d be x(5). Suppose -69 = d*b - w*b. Does 16 divide b?
False
Let h = 1446 - 1556. Suppose 740 + 255 = -5*j. Let o = h - j. Does 34 divide o?
False
Let g(k) = k**3 + k**2 + 6*k - 2. Let f be g(4). Is f/(-4)*7/(63/(-48)) a multiple of 21?
False
Let b = 907 - 253. Does 18 divide b?
False
Let y = 3139 - 724. Is y a multiple of 12?
False
Let b(i) = -i**3 + i**2 - 4. Let r be b(0). Let k be (-150)/(-40) + (-1)/r. Suppose 0 = k*d + 45 - 265. Is d a multiple of 14?
False
Let f = 2018 - 737. Is 34 a factor of f?
False
Let y be ((-2)/(-6))/(267/(-54) + 5). Does 27 divide 165/y + 2/(-5 - -1)?
True
Let m(t) = 4 - 1344*t**2 + 1345*t**2 - 17 - 4*t. Is 14 a factor of m(-8)?
False
Let m = 9 + -6. Is (m - (0 - 1)) + 66 a multiple of 5?
True
Let v(d) = -d**3 + 17*d**2 - 3*d - 51. Is v(12) a multiple of 20?
False
Let n(v) = -v**3 - 11*v**2 - 10*v + 11. Let h(l) = 3*l - 10. Let d be h(4). Suppose -d*k - 5 = -5*s, 5*k - 3 = 4*s - 41. Is n(k) a multiple of 4?
False
Suppose 0 = -6*r + 28 - 10. Suppose 88 - r = 5*z. Does 5 divide z?
False
Let p = -151 - -154. Suppose 1710 = 18*y - p*y. Is y a multiple of 6?
True
Suppose 3*h - 4*z - 1259 = 0,