Is 7 a factor of x(d)?
True
Suppose -3*v - 15 = -3*n, n - 9 = -n + v. Suppose n*b = -5*b + 243. Suppose 2*s - b = 1. Is 14 a factor of s?
True
Let u(y) = y**2 - 2*y + 2. Let s be u(3). Suppose 0 = s*n - 31 - 59. Let p = n + -9. Is p a multiple of 2?
False
Let t(x) = 9*x - 7. Let r be t(3). Suppose r = 2*g + 2*g. Suppose -4*s + g*c = -129, 8*s - 127 = 4*s + 3*c. Does 7 divide s?
False
Suppose -28 = -2*z + 42. Suppose -3*k + z = 2*k. Suppose -3*y = -29 - k. Does 5 divide y?
False
Let i = -142 + 200. Let r = -32 + 19. Let t = r + i. Does 15 divide t?
True
Let x be 38*(-64)/(-24)*6/8. Let j = x + -68. Is j a multiple of 7?
False
Let i be -8 + -1*(1 - 0). Let g = i - -17. Suppose 0 = -5*u - 20, g*f = 3*f + 5*u + 170. Does 10 divide f?
True
Suppose -3*a + 0*a + 9 = 0. Suppose 0 = -a*y + 21 + 24. Is y a multiple of 4?
False
Suppose 5*u = 3*a + 6, -4*u = 5*a + 6 + 4. Is 14 a factor of (-6)/a - (3 - 42)?
True
Let n = -8 - -161. Does 9 divide n?
True
Suppose -4*z + 2*q + 1350 = 0, 4*z - q - 1348 = 3*q. Is z a multiple of 68?
False
Suppose -36*w - 8*w + 15796 = 0. Is 5 a factor of w?
False
Let b = -27 + 42. Suppose 2*g + b = 7*g. Suppose g*o = -5*w - 0*o + 210, 0 = -4*w + o + 185. Is w a multiple of 15?
True
Let v = 0 - -9. Suppose v*p - 220 - 1679 = 0. Is 11 a factor of p?
False
Let w(c) = 2*c + 2. Let h be w(-2). Let f = h + 4. Does 21 divide 18/f*(-112)/(-24)?
True
Let p = 17 + -14. Suppose p*u = 4*t + 125, 5*u - 217 = -5*t + 3*t. Is u a multiple of 8?
False
Is 14 a factor of ((-84)/(-5))/(15/(-825)*-2)?
True
Suppose -4*u + 4*b - 2*b = 340, 340 = -4*u + b. Does 8 divide -1 + (-2 - 2 - u)?
True
Let x = 19 + -14. Suppose 73 + 242 = x*a. Is a a multiple of 11?
False
Let w be (-1922)/8 + 3/12. Let g = w + 354. Is 19 a factor of g?
True
Let o be 139*(-3 + 16/4). Let j = 195 - o. Does 28 divide j?
True
Let j be (9/(-2) + 1)*-8. Let h(s) = -s**2 + 3*s. Let o be h(3). Suppose -4*d + j = 2*m - 2, 2*d - 4*m = o. Is 6 a factor of d?
True
Suppose 0 = -5*y + 66 + 14. Let t be (-13)/11 - 5/55*-2. Is (-3)/3 + (y - t) a multiple of 4?
True
Suppose 0 = 6*s - 5*s - 2. Let t(u) = 8*u**2 - 11*u + 21 - 9*u**s - 4. Is t(-12) a multiple of 2?
False
Suppose 3*n - 5*v - 4794 = 0, -4*v = -n - 0*n + 1605. Is n a multiple of 55?
False
Let l(b) = b**3 - 6*b**2 - 5*b + 6. Let y = -29 + 36. Let q be l(y). Suppose 4*z = q, 0 = -2*p + z + 3*z + 10. Is 3 a factor of p?
True
Suppose 2*y - 63 = g, 2*g = -0*y - 5*y + 135. Let d = y - 13. Is d a multiple of 8?
True
Suppose 5*i - 3*i = 26. Let r = -11 + i. Suppose -192 + 22 = -r*u. Is 18 a factor of u?
False
Suppose 0 = 4*i - 3 + 27. Let x(p) = 12*p + 27. Let n(m) = 4*m + 9. Let s(y) = 17*n(y) - 6*x(y). Does 4 divide s(i)?
False
Let c(v) = 97*v**2 - 2*v + 1. Let r = -29 - -18. Let i(d) = -d - 10. Let g be i(r). Is c(g) a multiple of 32?
True
Let w(m) = 16*m - 88. Is 5 a factor of w(8)?
True
Let a(z) = -13*z**3 + z - 2. Suppose 4*r - 2 = -10. Let h be a(r). Suppose 2*l + h = 2*w, -3*w + 2*l + 115 = 6*l. Does 15 divide w?
True
Suppose x - 1015 = -4*x. Let p(b) = -x*b + 191*b - 1 + 2. Does 5 divide p(-1)?
False
Suppose 9*d + 1212 = 15*d. Suppose 2*v + d = 3*g, 5*g - v - 200 = 2*g. Does 14 divide g?
False
Suppose -2*v + 494 = 5*x, -4*v - 1266 = -9*v + 3*x. Is 45 a factor of v?
False
Suppose -5*r + 61 = -2*q - 2*q, 2*r = 2. Is 3 a factor of q/35 - 28*3/(-10)?
False
Let h(a) = a**3 + 28*a**2 - 30*a + 19. Is h(-29) a multiple of 16?
True
Is 10 a factor of ((-57)/(-38))/(12/784)?
False
Let q(o) = 192*o + 458. Is q(11) a multiple of 18?
False
Let o(q) = 13*q**2 + 2*q - 5. Let p(g) = 40*g**2 + 6*g - 14. Let c be (2/(-4))/(1/16). Let h(s) = c*o(s) + 3*p(s). Is 22 a factor of h(2)?
True
Let m(o) = -45*o + 2. Let c be m(-2). Suppose 0 = 3*a - 283 - c. Is a a multiple of 22?
False
Let g(b) = 2*b**2 + 15*b + 10. Suppose 38 = -4*a + t, 0*t = 3*a + 5*t + 40. Let k be g(a). Let c = -12 + k. Is 17 a factor of c?
False
Let w = 17 - 10. Suppose -w*o + 9 = -4*o. Is 3 a factor of o?
True
Let l(j) be the third derivative of j**6/120 + j**5/15 - 9*j**4/8 - j**3/2 + 11*j**2 - 3*j. Does 8 divide l(-7)?
False
Suppose 80607 = 59*g + 16297. Does 19 divide g?
False
Suppose f - 1359 = 2*w, -2*f + 995 + 1718 = -5*w. Is 13 a factor of f?
False
Let h be (-266)/(-98) - (-4)/14. Suppose -2*f = -h*f + 13. Does 13 divide f?
True
Suppose 0 = -3*k + 2951 - 935. Is k a multiple of 28?
True
Let o = 23 + -23. Suppose 5*m + 192 - 47 = o. Is 6 a factor of (-1 - m)*(-10)/(-20)?
False
Let z be 4 + 0/(5 + -4). Suppose -z*x + 174 = -x. Is x a multiple of 14?
False
Suppose 3*q - 27 = 3*y, 2*q = 5*y - 2*q + 42. Let c(d) = 3*d**2 - 2*d - 13. Does 31 divide c(y)?
False
Let y(c) be the third derivative of -11*c**6/120 + c**5/60 - c**4/24 - c**3/6 + 5*c**2. Let t be y(-1). Let p(l) = l**2 - 10*l - 14. Is p(t) a multiple of 10?
True
Suppose 4*p - 5*y - 490 = -0*y, p - 3*y = 119. Is p a multiple of 9?
False
Suppose 230 - 8305 = -17*a. Is a a multiple of 25?
True
Let d be (-4)/1 + 11 + -1. Suppose -d*r + 4*r = -16. Is (r/2 - 0) + 80 a multiple of 21?
True
Let m(p) = p**3 + p**2 - 4*p - 4. Let l be m(-3). Let w be 5/l + 2/(-4). Is 17 a factor of (-68)/(w/((-4)/(-8)))?
True
Let f be 2513/14 - (-2)/4. Suppose -f = -2*p + 3*j, -100 = -p - 0*p - j. Suppose -20*r + 16*r = -p. Is r a multiple of 6?
True
Suppose 4*l - 5*p = -111, 4*l + p + 105 = 4*p. Let i(o) = -o**3 - 5*o**2. Let k be i(-4). Let n = k - l. Is 8 a factor of n?
True
Suppose k + 0 = 2, 4*k - 73 = -5*b. Suppose 0 = s - 4*l - b, 5*s - 94 = 2*l + 7. Let t = s + -3. Is 18 a factor of t?
True
Let a = 17 + -12. Suppose -2*y + 20 = -8. Is 1*-3 - (a - y) a multiple of 6?
True
Suppose 0 = 5*d - 4*b + 79, -4*d + 78 = -9*d + 3*b. Does 6 divide (-39)/d - 3 - (-597)/5?
False
Suppose 5*i - 17 = t, -t + 4*t + 5*i + 11 = 0. Suppose -5*s = -n + 1034, -1022 = s + 4*s + 2*n. Is t/21 - s/6 a multiple of 17?
True
Suppose 0*v = -2*b + 2*v + 6, 5*b = 2*v + 15. Let x be (-1)/(b/(-333)) - -3. Let l = -76 + x. Does 8 divide l?
False
Let h = 149 - -401. Is 50 a factor of h?
True
Suppose -3*l = -5*u - 120 - 31, 102 = 2*l - 4*u. Does 12 divide l?
False
Let k(x) = -x**3 + 15*x**2 + 22*x - 21. Let a be k(16). Suppose -3*i + 90 = -a. Is i a multiple of 11?
True
Suppose j + d - 1378 + 20 = 0, -3*d + 12 = 0. Is 15 a factor of j?
False
Let t = 635 + -627. Is t a multiple of 8?
True
Let y(o) = o**2 + 5*o - 6. Let a be y(-5). Let w = a + 109. Is w a multiple of 33?
False
Suppose 6*h - 2*h - 256 = -5*s, s - 44 = h. Is 24 a factor of s?
True
Let s(i) = -6*i**2 - 4. Let z be s(-3). Is 2 a factor of 2/(-3)*6 - z?
True
Let o(i) = 34*i + 5. Let f(c) = 68*c + 11. Let h(b) = -3*f(b) + 7*o(b). Let d be h(1). Let w = 62 - d. Is 13 a factor of w?
True
Suppose 30 = 2*j - 2. Let d = j - 4. Suppose d*n - 35 = 7*n. Is 7 a factor of n?
True
Suppose -4*r - 3740 = -9*r - 3*s, 3740 = 5*r - 5*s. Does 52 divide r?
False
Let q = -383 - -687. Is 4 a factor of (2 - 3)*3*q/(-12)?
True
Let h(d) = d**2 - 2*d - 2. Let z be h(-2). Suppose -5*s = -3*r - 11, 5*s - 35 = -3*r - z. Suppose 0 = 4*o, -f + s*o - 20 = -87. Is 22 a factor of f?
False
Let v(u) = 64*u**2 + 3*u + 2. Suppose 1 = -17*a - 16. Is v(a) a multiple of 63?
True
Let t be (-102)/(-12)*(-5)/(5/(-2)). Suppose -5*s + 4*s = -t. Does 3 divide s?
False
Let w(l) = -l**3 + 9*l**2 - 10*l + 11. Does 61 divide w(5)?
True
Suppose 0 = 6*w - 63 - 9. Suppose -3*v + 16 + 14 = 0. Does 9 divide (58 - 8)*w/v?
False
Suppose 2*s = 3*f + 1530, -2*f - 3803 = -s - 4*s. Does 69 divide s?
True
Let x(u) = -u**2 + 2*u + 61. Is x(0) a multiple of 3?
False
Let l = -840 - -3359. Is l a multiple of 106?
False
Let u(m) be the second derivative of m**5/10 - m**4 + m**3/3 - 5*m**2/2 + 5*m. Let v be u(6). Is (9 - 0)*v/3 a multiple of 5?
False
Let f(i) be the third derivative of -i**7/840 + 25*i**4/24 + i**3/3 + 2*i**2. Let u(q) be the first derivative of f(q). Is 7 a factor of u(0)?
False
Is 17 a factor of 183/(-3)*(-25)/25?
False
Let x(k) = -35*k - 12. Let i be x(-7). Let s = i + -163. Is s a multiple of 35?
True
Let h = -4 + 7. Suppose -8*b = -h*b - 120. Does 6 divide b?
True
Is 8 a factor of (1736/196)/(2/56)?
True
Let b(f) be the first derivative of -2*f**2 + 12*f + 3. Does 15 divide b(-11)?
False
Let f = -147 + 182. Does 2 divide f?
False
Let a be 4 - (-2 + -1 + 4). Sup