x(9). Let q(b) = 2*b - 3. Does 5 divide q(w)?
True
Suppose 0 = 5*q + 5*l + 250, 3*q - l + 10 = -132. Suppose -61 = 4*y + 35. Let b = y - q. Is 12 a factor of b?
True
Suppose -4*v + 445 = 5*g, 215 = -0*v + 2*v + g. Is 13 a factor of v?
False
Let u(z) be the first derivative of z**4/4 + 7*z**3/3 + 3*z**2 - 6*z + 2. Is u(-5) a multiple of 13?
False
Let d be (-7)/(-2) - (-2)/4. Suppose 4*j - 10 = -i, -d*j + 2 = 3*i - 28. Is 10 a factor of i?
True
Suppose 215 = 5*b + 4*a, -4*b = -a - 118 - 75. Let d = b + -32. Does 10 divide d?
False
Let j be 1/(-3) - 44/(-6). Suppose -h + j*z + 13 = 3*z, -4*z = -4*h + 40. Does 6 divide h?
False
Suppose -5*a - 2*g - g + 9 = 0, -5*g = 10. Let u be 2/4*(1 + -3). Let r = a - u. Is 4 a factor of r?
True
Suppose 0 = 5*d - 4*l - 2, -4*d + 0*d = 2*l - 12. Is (-246)/(-8) + d/8 a multiple of 8?
False
Let j(u) = -22*u. Let g(h) = 32901*h. Let y(b) = -1316*b. Let a(r) = 4*g(r) + 99*y(r). Let c(q) = -2*a(q) - 121*j(q). Is c(1) a multiple of 11?
True
Let b = 37 + -15. Let c = -14 + b. Does 4 divide c?
True
Suppose 0 = -x - 4 - 4. Let g = x + 22. Does 7 divide g?
True
Suppose -n - 12 = -t + 3, 3*t - 2*n - 50 = 0. Is 3 + -5 + t + -1 a multiple of 4?
False
Let i(g) be the first derivative of g**2 - 2*g + 1/4*g**4 + 4 + 2*g**3. Is 10 a factor of i(-4)?
False
Suppose 0 = 5*l - 0*i - 2*i - 94, -2*i + 86 = 5*l. Does 17 divide 338/l - 4/(-18)?
False
Let s be (-1 + -17)/(1 + -3). Let t = s - 9. Suppose -5*z + t*z = -70. Is 13 a factor of z?
False
Let h = 45 - -45. Is h a multiple of 15?
True
Let a be 22 + 2 + (0 - 0). Suppose d + 5 = 0, -206 + a = -3*x + 4*d. Does 26 divide x?
False
Let d(q) be the first derivative of q**3/3 + 2*q - 1. Does 9 divide d(4)?
True
Suppose 94 = 2*j - j - 5*p, 5*j + 3*p - 358 = 0. Is 9 a factor of j?
False
Suppose 0 = -3*p - 0*p + 93. Suppose 5 + p = 3*o. Does 6 divide o?
True
Suppose 3*w = 5*f - 746, 5*f + 0*w - 4*w - 743 = 0. Is f a multiple of 23?
False
Let w = -151 - -250. Let f be -1*(1 - w/3). Does 8 divide (-15)/(-10)*f/6?
True
Suppose 3*t + 10 = 94. Let p = 52 - t. Does 12 divide p?
True
Let l(j) = -j**2 + 9*j + 10. Let s(n) = n**2 - 5*n + 2. Let u be (-1 - 5)*(-4 + 3). Let b be s(u). Does 9 divide l(b)?
True
Suppose -2*v - 302 = -2*q - 3*v, 4*q - 4*v = 628. Does 17 divide q?
True
Suppose -4*f + 194 = -62. Let s = 136 - 40. Let n = s - f. Is 16 a factor of n?
True
Let v = 42 + -28. Does 21 divide (v/21)/((-2)/(-69))?
False
Let c(y) = -y**2 + 11*y - 10. Suppose -6*j = -7*j + 8. Does 14 divide c(j)?
True
Let w(p) = 3*p**3 - 4*p**2 - 3*p. Let y be w(-2). Let h be 3*(-1 - 15/(-9)). Is 6 a factor of h/6 + y/(-6)?
True
Suppose 2*g + 2*g + 144 = 0. Let x = 66 + g. Does 10 divide x?
True
Let j(k) = 7*k**2 + 5*k + 3. Let s be j(-3). Suppose -5*z - s = 3*r, 4*z + 52 = -5*r - 46. Let f = r + 36. Is 7 a factor of f?
True
Is 6*((-176)/(-6) - 4) a multiple of 38?
True
Let h(y) = -y**3 - 7*y**2 - y + 5. Let x be h(-7). Let n(c) = 2*c**2 - 3*c + 3. Let i be n(2). Suppose -f + i*f = x. Is 2 a factor of f?
False
Let k(h) = -h**3 + 14*h**2 + 3*h - 25. Is 43 a factor of k(10)?
False
Let n(z) = -z**3 - 14*z**2 - 15*z + 10. Is 9 a factor of n(-13)?
True
Let u = -2 + 44. Does 14 divide u?
True
Let c(r) = r**2 + 5*r - 7. Let f be c(-6). Is 13 a factor of (-16)/f - (-3)/(-1)?
True
Suppose 0 = -2*m + 5 + 1. Does 2 divide m?
False
Let x be (-2 + (81 - -1))/1. Suppose -n = 3*n - x. Does 6 divide n?
False
Suppose h + 2*h - 63 = 0. Let g = 26 - h. Does 3 divide g?
False
Let h(o) = o**2 + 7*o + 2. Let s be h(-7). Suppose -2*t + t = 2, -10 = 3*c + 5*t. Suppose -s*v + c + 14 = u, -33 = -3*u + 3*v. Does 12 divide u?
True
Let o = 201 - 95. Is 17 a factor of o?
False
Let s = -56 - -23. Let k = -22 - s. Is k a multiple of 6?
False
Suppose 3*b - 4 + 1 = 0, -3*b - 447 = -5*l. Does 31 divide l?
False
Let c(j) = -4*j - 1. Let m(r) = 5*r. Let h(f) = 3*c(f) + 2*m(f). Let g be h(-4). Suppose -4*p + 27 = -g. Does 3 divide p?
False
Let b(h) = 7*h - 59. Let s(c) = -20*c + 176. Let m(t) = 7*t**2 - 2*t + 1. Let a be m(1). Let r(i) = a*s(i) + 17*b(i). Is 20 a factor of r(0)?
False
Suppose r = 3*r + 4. Is 23 a factor of -2 - (-3 + -20 + r)?
True
Let w = 113 + -8. Does 15 divide w?
True
Let l(b) = -15*b + 1. Let f be -3 - 0 - -3 - 1. Does 12 divide l(f)?
False
Let w(c) = c**2 + 6. Let b be w(0). Let p(z) = 8*z - 6. Does 21 divide p(b)?
True
Let j(v) = v**3 + 7*v**2 - 7*v + 8. Let r be j(-8). Suppose r*i + 144 = 3*i. Is i a multiple of 29?
False
Let d(f) = -f - 9. Let k be d(-9). Suppose 5 = -k*h + h. Suppose 3 + h = 2*m, -76 = -2*x - m. Does 12 divide x?
True
Let u = -114 - -196. Is u a multiple of 9?
False
Suppose 21 = 3*i - 3*h + 3, -i + 18 = 5*h. Suppose -i - 2 = -2*p. Is 3 a factor of p?
False
Suppose 4*r + 2*h - 50 = -14, -2*h = r - 15. Let s(y) = y - 3. Let z be s(r). Let f = 20 - z. Is 5 a factor of f?
False
Let t(x) be the second derivative of x**3/2 + 2*x**2 - x. Is t(4) a multiple of 8?
True
Let q(r) = -r + 4. Let n be q(-6). Let z = n + -17. Is 21 a factor of (0 - (-1 - -4))*z?
True
Suppose -t = 3*t + 2*o - 16, -18 = -t - 4*o. Suppose m = -3*f - t*m + 96, 0 = 4*f - 3*m - 163. Does 10 divide f?
False
Let f = 560 + -392. Is 28 a factor of f?
True
Let i = 88 - 55. Is i a multiple of 3?
True
Suppose 5*c - 378 = -c. Is c a multiple of 25?
False
Let w(z) = 3*z - 3. Does 6 divide w(3)?
True
Let f = 292 + -172. Is f a multiple of 24?
True
Let i = 7 + -8. Let p be (-1 + i - -2)/2. Suppose -w = -2*f + 40, 5*f + p*w - 93 = -w. Is f a multiple of 8?
False
Let y(a) = a**2 - 3*a - 4. Let d be y(3). Let w be ((-2)/d)/((-2)/(-56)). Let r = w - -10. Is 12 a factor of r?
True
Let r(x) = -2*x**3 - 9*x**2 - 4*x - 12. Is r(-6) a multiple of 20?
True
Suppose 0 = 6*p - 7*p + 195. Is 29 a factor of p?
False
Suppose 26*f = 27*f - 45. Is f a multiple of 8?
False
Let h = -254 + 401. Does 49 divide h?
True
Suppose 0 = -2*y - 8, -3*y - 321 = -5*i + y. Does 15 divide i?
False
Let n = -64 - -7. Is 2/(-2) + n/(-3) a multiple of 9?
True
Let c(f) = -3*f**3 + 3*f**2 + 2*f - 2. Let h be c(3). Let s = -32 - h. Is 9 a factor of s?
True
Suppose 0*j + 5*j = -3*x + 134, 4*x - 3*j - 227 = 0. Let c = x + -13. Is 18 a factor of c?
False
Let f = 15 + 15. Is 7 a factor of f?
False
Let n(q) = 8*q**2 + q - 1. Let m = -8 + 5. Let t be n(m). Suppose s + 3*s = t. Is s a multiple of 17?
True
Let w = 11 - 11. Suppose w*d + 4*d - 148 = 0. Is 12 a factor of d?
False
Let r = 125 - 77. Does 6 divide r?
True
Let c = -298 + 422. Is c a multiple of 20?
False
Let t(l) = 2*l**2 - 9*l + 1. Let a be t(6). Let y = a - 5. Does 7 divide y?
True
Let j(u) = -u**2 - 10*u. Let v be 60/(-9) - 2/(-3). Does 13 divide j(v)?
False
Suppose 18*k - 14*k - 352 = 0. Suppose -l = 2*t - 4*l - k, -2*t = 4*l - 88. Does 23 divide t?
False
Let u be (-15)/(-2)*(-8)/(-12). Let x(v) = v**3 - 3*v**2 + 2*v + 3. Let j be x(3). Suppose u = s - j. Does 10 divide s?
False
Let h = -128 - -216. Is h a multiple of 22?
True
Let b be (3/(-2))/(6/(-80)). Suppose n + 2*v = 5*n - 24, 0 = 5*n - 5*v - b. Does 3 divide n?
False
Let y = -84 + 269. Is y a multiple of 37?
True
Let l(m) = 46*m**2 - 8*m - 3. Is l(3) a multiple of 43?
True
Let r be (-2 - -2 - -6)*1. Suppose -2*c + r*c + 2*j - 92 = 0, 0 = 5*c - 2*j - 106. Does 22 divide c?
True
Let n(z) = z**2 + 4*z - 7. Let q be n(-6). Let a = 403 - 235. Suppose 3*h + 0*r = r + 92, q*h = -2*r + a. Is h a multiple of 16?
True
Is 2*(-1 + -1)*(-50)/5 a multiple of 20?
True
Let r = -8 + 11. Suppose 2*f - 4 = r*f. Is ((-8)/(-2))/(f/(-8)) a multiple of 4?
True
Suppose q + 3*q = 24. Let p(c) = 2*c**2 - 6*c + 5. Let a be p(q). Is 13 a factor of -1*(-2 + 3) + a?
False
Suppose 4*i = -10 + 130. Does 30 divide i?
True
Let a(d) = 3*d**3 - 2*d - 1. Let z be a(-1). Let c be (-2 - z - 1)*-2. Suppose -2*u = -2*o + 58, -c*o - u = 4*u - 51. Is o a multiple of 14?
True
Let y = 124 - 13. Is y a multiple of 37?
True
Let g(j) = 3*j**2 - j - 2. Is g(-2) a multiple of 3?
True
Let y = 687 + -482. Is y a multiple of 34?
False
Let i(r) = -7*r**3 + 9*r**2 + 2*r + 8. Let g(j) = -8*j**3 + 10*j**2 + 2*j + 9. Let v(c) = -6*g(c) + 7*i(c). Suppose 0*d + 12 = 4*d. Does 4 divide v(d)?
True
Suppose -3*a = -8*a + 520. Is 17 a factor of a/6 - (-2)/(-6)?
True
Let x(j) = j**3 - 7*j**2 + 8*j + 2. Let l(p) = p**3 - 2*p**2 + 3*p. Let z be l(