 n?
True
Suppose 63 = -5*f + 5*t + 1368, f + 2*t = 270. Is 19 a factor of f?
False
Let z = 474 - 425. Does 5 divide z?
False
Let i(k) = -17*k + 33. Let w be i(4). Let l = 95 + w. Does 15 divide l?
True
Suppose 4*f + 3*o - 660 = 0, 0 = 5*f + 3*o - o - 818. Is 9 a factor of f?
True
Suppose -3*v - 20 = -0*v + 4*q, -3 = -3*q. Let c = v - -27. Suppose 5*h - c = 71. Is 6 a factor of h?
True
Let v = -139 - -104. Is 4 a factor of v/28*-8*1?
False
Is (7 + -10)*(-418)/3 a multiple of 20?
False
Suppose -78 = -4*i + 2*i. Suppose -x + i = -41. Is x a multiple of 20?
True
Let x = -20 + 28. Suppose 4*c = -n - 8, 2*c + 2*c + x = 5*n. Does 9 divide c/3 - 56/(-3)?
True
Suppose -2*c - t = -6*t - 75, 60 = 2*c - 2*t. Suppose 4*v - 83 = -j - 11, -v - 2*j + c = 0. Is 7 a factor of v?
False
Let t be 6 + -6 - 2*3. Let j(l) = 3*l**2 + 10*l - 5. Let z(y) = y**2 + y + 1. Let i(g) = -j(g) + 2*z(g). Is 19 a factor of i(t)?
True
Suppose 9156 = 18*k - 4*k. Suppose -2*a + 4*a = k. Is 20 a factor of a?
False
Let r = 27 - 25. Suppose -w - r*w + 3*o = -27, 13 = 5*w + 3*o. Is w a multiple of 4?
False
Let t(q) = 0*q**3 - 2*q - 2*q - 5*q**2 + 3 - q**3. Let j be (1/(-2))/((-2)/(-24)). Does 21 divide t(j)?
True
Suppose 4*u - 11 = 1. Let n = 89 - 86. Suppose -n*z + 252 = u*z. Does 21 divide z?
True
Let y(x) be the second derivative of -x**4/12 + 2*x**3 - 11*x**2/2 + 10*x. Is 7 a factor of y(8)?
True
Let i = -1238 - -2836. Does 34 divide i?
True
Let k be (-2 + 2)/(-1 + 3). Let a be (0 - k)/(0 + -1). Suppose 5*f + 4*j - 276 = a, 0 = -3*j - 2 + 14. Is 13 a factor of f?
True
Suppose -5*o - 4*p = -2071, -4*o + 4*p + 882 = -782. Does 32 divide o?
False
Let z = 18 + -12. Suppose 3*m = -z*m + 315. Does 7 divide m?
True
Let k(r) be the first derivative of -r**3/3 + 4*r**2 - 8*r + 1. Let u be k(7). Let b(a) = -10*a**3 - 2*a**2 - a. Is 3 a factor of b(u)?
True
Suppose -5*u - 49 = 151. Suppose 4*p + 14 = -50. Is 4 a factor of (8/5)/(p/u)?
True
Let h(l) = 2*l**2 + 3*l - 3. Let m be h(1). Suppose -r - 4 = 0, m*o - 2*r - 4 - 10 = 0. Is (2 - o) + 3 + 4 a multiple of 3?
True
Let u = -69 + 145. Suppose 7*t + u = 3*t. Let q = -1 - t. Is 7 a factor of q?
False
Let z(s) = -s**3 + 10*s**2 - 4*s - 3. Let j be z(9). Suppose 5*l - 129 = 5*i + 81, 5*i - j = -l. Is 14 a factor of l?
True
Suppose 4*b + 50 = j, -3*j + 4*b + 92 = -90. Is 16 a factor of j?
False
Does 37 divide (-1)/4 - 40272/(-64)?
True
Let i(t) be the third derivative of t**4/3 - 11*t**3/2 + 24*t**2. Is 4 a factor of i(13)?
False
Suppose 2*c + c - 33 = 0. Let q be 1 - 3 - (5 + -4). Does 4 divide (c + q)/(0 - -1)?
True
Let p = -991 - -1080. Let a(j) = 47*j**2 - j + 2. Let l be a(2). Let z = l - p. Does 37 divide z?
False
Suppose 3*s = 6*t - t + 54, 0 = 4*t. Does 46 divide (((-46)/4)/1)/(s/(-432))?
True
Let l(h) be the first derivative of 197*h**3/3 - 2*h**2 - 3*h + 4. Is l(-1) a multiple of 22?
True
Let p(s) = s - 1. Let q be p(-1). Let h be (-4)/((-4)/4) + q. Suppose h*d - 48 = -2*d. Is 6 a factor of d?
True
Let f = 89 + 106. Is 3 a factor of 4/(-14) + f/21?
True
Let n(l) = -3*l**2 + 6*l - 2. Let d(r) = -r + 1. Let u(c) = -3*d(c) - n(c). Does 25 divide u(6)?
False
Let s(o) = -o**2 - 5*o + 2. Let u be s(-8). Let n = 5 - u. Is n a multiple of 8?
False
Let t be (42/(-14))/((1 - -1)/118). Let z = 250 + t. Is 7 a factor of z?
False
Let j be 6/(-4)*(-2)/(-3). Let f = j + 25. Does 7 divide f?
False
Is 60 a factor of (944 - -7) + -10 - 3/(-1)?
False
Let o(x) = x**3 - 13*x**2 - 15*x + 18. Let f be o(14). Suppose -3*t = f*t - 126. Is t a multiple of 6?
True
Let m(z) = -z**3 - z**2 - z + 26. Suppose 5*y - 18 = 57. Suppose -3*o = -5*o + 3*w - y, -3*w = -5*o - 15. Does 13 divide m(o)?
True
Let d = -1904 - -2474. Is 5 a factor of d?
True
Let f = 177 + -262. Let a = f + 157. Is a a multiple of 18?
True
Suppose 0 = -3*n - u + 2311, -3*n + 3*u - 1066 = -3373. Suppose -5*r = -n - 1080. Is 61 a factor of r?
False
Suppose -d + 168 = -2*k, d - 12*k - 174 = -13*k. Does 35 divide d?
False
Let n be (-5 + 9)*(1 - 5). Let m(a) = -2*a + 8. Does 4 divide m(n)?
True
Let u be (-2107)/91 - 4/(-26). Let a = 11 + u. Does 12 divide 3 - a/(-3) - -37?
True
Let y(o) = 9*o**3 + 17*o**2 + 19*o + 17. Let c(b) = 5*b**3 + 8*b**2 + 10*b + 9. Let d(q) = -7*c(q) + 4*y(q). Does 29 divide d(-10)?
True
Let u be -3 - (-6 - (-5 + 2 + 0)). Suppose -6*d = -u*d - 420. Is 10 a factor of d?
True
Let g be (-7326)/42 - (-2 + (-11)/(-7)). Let n = 343 + g. Is n a multiple of 10?
False
Suppose -6 - 30 = -3*y. Suppose 0*w = -2*w + y. Suppose -3*s + w = -15. Is 5 a factor of s?
False
Suppose -1500 = -9*r - 6*r. Let g = 406 - r. Is 34 a factor of g?
True
Suppose 91*r + 23270 = 104*r. Does 45 divide r?
False
Suppose 4*r + 3*s - 10 - 4 = 0, 5*s - 8 = r. Suppose -3*a + 46 = -r*a. Is a even?
True
Let y = 2096 + -1046. Is 10 a factor of y?
True
Let b(d) = -d**2 - 19*d - 4. Let n be b(-14). Let v = 158 - n. Is 23 a factor of v?
True
Suppose -6098 = -12*t + 31198. Does 64 divide t?
False
Suppose -26 = -3*j + 34. Suppose -j = 44*s - 48*s. Does 2 divide s?
False
Suppose -54*y + 46*y + 9488 = 0. Does 33 divide y?
False
Let l = -19 + 26. Suppose l - 51 = -2*v. Is v a multiple of 8?
False
Let l(d) = -5*d**2 - 3*d - 2. Let f be l(9). Let h = -146 - f. Does 36 divide h?
True
Let h(y) = 3*y**3 - y**2 + 2. Let t(j) = 4*j**3 + j + 3. Let g(b) = 3*h(b) - 2*t(b). Is 3 a factor of g(5)?
False
Let s(n) = n**2 + 8*n + 9. Let w be s(9). Suppose -3*r - 158 = -c - c, -3*r - w = -3*c. Let h = r + 73. Does 12 divide h?
False
Let x be (3 + -2)/((-2)/((-4752)/2)). Suppose -3*s = -7*s + x. Does 15 divide s?
False
Let r(c) = -16*c + 4. Let d(u) = -33*u + 9. Let q(w) = 2*d(w) - 5*r(w). Let i(t) = 14*t - 3. Let x(h) = 2*i(h) - 3*q(h). Is 21 a factor of x(-2)?
False
Let v(y) = y - 3. Let t be v(7). Let n(p) = 34*p**2 - 3*p + 4. Let k(f) = -f**2 + f - 1. Let c(i) = t*k(i) + n(i). Is 5 a factor of c(-1)?
False
Let g = 1989 - 1756. Is g a multiple of 7?
False
Let o = 39 + -34. Suppose -o*i = -0*u + 2*u - 874, 5*i + u = 877. Does 22 divide i?
True
Let y = 994 - 707. Is 7 a factor of y?
True
Let k be 0/(-6) + 4 - 12/(-1). Let x(b) = 4*b - 24. Is 10 a factor of x(k)?
True
Suppose -5*a + r - 20 = 0, -3*a - 3 = -2*r + 2. Is 35 a factor of 104 + a/(-3 - 2)?
True
Suppose 0 = 3*i - 6*i. Suppose 5*h - 9*h + 72 = i. Does 6 divide h?
True
Suppose -8015 = -5*n + 5*r, 2*n = 5*n + r - 4789. Is n a multiple of 77?
False
Suppose -2*p + 3 = -3*p - j, -15 = -2*p + 5*j. Is 7 a factor of p + -1 + 14*4?
False
Suppose 124*r + 2*o + 931 = 125*r, 3*r + 3*o = 2838. Does 28 divide r?
False
Let v(i) be the second derivative of i**4/2 + i**3/6 + 3*i**2 + 5*i. Is 14 a factor of v(-2)?
True
Let s be (-1)/(-3) - (-135)/81. Suppose 5*z + g = 287, 6*g = 2*g - 12. Suppose -2*t = t - l - 51, s*l - z = -4*t. Does 5 divide t?
False
Let r(l) = -2*l**3 + l**2 + l + 108. Suppose -2*b = b. Is 36 a factor of r(b)?
True
Suppose -2*c = 4*v - 8*v - 772, -3*c + 3*v + 1155 = 0. Is c a multiple of 4?
True
Let a be 1/(1*1/(-69)). Let i(u) = -u**2 - 5*u - 13. Let g be i(-4). Let f = g - a. Does 20 divide f?
True
Suppose -5*a + 4*q - 68 = -549, 5*a + 5*q - 445 = 0. Does 7 divide a?
False
Let l(x) = -x + 9. Let s be l(5). Suppose 390 = k + s*k. Is k a multiple of 10?
False
Does 109 divide ((-56)/(-4) - -1)*(-2071)/(-57)?
True
Let l(p) be the second derivative of -p**5/20 + 7*p**4/12 + 4*p**3/3 + 5*p**2/2 - 21*p. Is 10 a factor of l(6)?
False
Let p = 33 - 21. Suppose -p*s + 940 = -116. Is 22 a factor of s?
True
Suppose -2*k = -2*t - 70, 3*k - 3*t - 81 = -6*t. Let j = k - 8. Does 18 divide j?
False
Suppose 5*f = 2*f - 60. Suppose 3*k + 0*z = -z - 46, 0 = -4*k - 4*z - 64. Is 13 a factor of f/k*42 + -4?
True
Is 6 + 75 + 1 + 0 a multiple of 9?
False
Suppose 0 = y - 1176 - 758. Does 12 divide y?
False
Let v(d) = -115*d + 1823. Does 6 divide v(0)?
False
Let x(d) = 9*d - 261. Is 3 a factor of x(35)?
True
Let w(h) = h - 17. Let t be w(11). Let p be (t/(-10))/(3/135). Suppose 26 = 2*s - 0*j + 3*j, s - p = -5*j. Is s a multiple of 4?
False
Let k = 1823 + -1225. Is 13 a factor of k?
True
Suppose -4*a - 1740 = -4*g, g - 19*a - 426 = -21*a. Does 20 divide g?
False
Is 11 a factor of 6780/36 + (7/(-3) - -2)?
False
Let i = 6 - 12. Let c(r) = -5*r + 5. Let a be c(i). Suppose 4*m + 5*q - a = 3*m, 2*q = -2*m + 