se
Let y be (-6)/21 - 439/7. Let l = -38 - y. Is l a multiple of 5?
True
Suppose 0 = -2*d + 4*v + 1932, -3*d - v - 4*v + 2876 = 0. Does 26 divide d?
True
Suppose 7*j - 2032 = -93. Is j a multiple of 10?
False
Suppose -3*z + 0*z = -3*c + 30, -16 = -4*z. Does 2 divide c/8 - (0 - 1)/4?
True
Let k(d) = -8*d - 1. Let t = -11 + 32. Let h = -26 + t. Is k(h) a multiple of 13?
True
Suppose 0 = o - 3*p - 776, -53*o = -52*o - 4*p - 776. Is 5 a factor of o?
False
Let w = 37 + -38. Let t be (8/(-2))/(0 + w). Suppose t*b + 3*b - 49 = 0. Is b a multiple of 2?
False
Let z(g) = -6*g**2 - 3*g + 1. Let s be z(5). Let y = 278 + -47. Let a = s + y. Is 14 a factor of a?
False
Let l = -16 + 18. Is 8 a factor of (11 - (1 - l)) + 4?
True
Let q = -3 - 83. Let y = q + 141. Is 31 a factor of y?
False
Suppose -3*u - 24 + 174 = 3*j, 0 = u - 4*j - 70. Is 6 a factor of u?
True
Suppose 4*s + 0*o + 4152 = 2*o, -o = 2*s + 2084. Is 17 a factor of s/(-12) - ((-12)/(-9))/(-4)?
False
Let b be ((-1)/(-2))/((-10)/(-140)). Suppose -b*o + 827 = -160. Suppose 183 = 3*m - o. Is 27 a factor of m?
True
Suppose 0 = 2*j - 3*u - 2, -u - 7 + 1 = 2*j. Does 22 divide (j/7 - 128/(-56)) + 108?
True
Let z = 672 + -47. Is z a multiple of 45?
False
Suppose -3*v + 32 = -2*v. Suppose -c - c = -v. Suppose c = -2*z + 6*z. Is 4 a factor of z?
True
Is 2 a factor of (7 + (-21)/28*4)*4?
True
Let n(x) = 10*x - 50. Let o be n(5). Suppose 3*y + 5*u - 89 = o, -y + 115 = 3*y + 3*u. Does 17 divide y?
False
Let u = 21 - 17. Suppose l + 107 = 3*n + 2*l, -16 = u*l. Is n a multiple of 12?
False
Let z(n) = -n**3 - 3*n**2 - 5*n - 1. Let o be z(-6). Suppose 0 = -5*t - o + 617. Is t a multiple of 16?
True
Suppose 8 = -2*f + 6*f - 4*v, 1 = -2*f + 3*v. Suppose -f*s = g - 5*s, -5*g - 5*s + 15 = 0. Is g a multiple of 3?
True
Is 3 + (455/4 - 11/(-44)) a multiple of 39?
True
Suppose -10*h - 632 = -14*h. Suppose 2*k + i - h = 0, 4*k + 3*i - 92 = 222. Is 10 a factor of k?
True
Does 10 divide ((80/(-3))/(-4))/(6/333)?
True
Suppose -c + 53 = -3*j - 334, c - 2*j - 386 = 0. Is c a multiple of 24?
True
Let n(v) = -v**2 + 16*v + 61. Does 9 divide n(14)?
False
Suppose -9*p - 4*p = -7137. Is 3 a factor of p?
True
Let f(h) = -h**3 + h**2 - h + 3. Let t be f(0). Suppose -j + 4 = -t*j. Does 13 divide 37 - (j - (-1 - -1))?
True
Let s be (2 - (2 + 0))*-1. Suppose b - 4*b - 2*i + 44 = s, -86 = -5*b + 3*i. Is b a multiple of 8?
True
Let m(v) = -2*v**3 - 5*v**2 - 5*v - 3. Let j = -2 + 7. Let a = -8 + j. Is m(a) a multiple of 10?
False
Let m = 25 + -21. Suppose 4*p - 2*i - 18 = 0, 21 = 5*p - m*i + 2*i. Let y(h) = 14*h + 4. Does 23 divide y(p)?
True
Let i(p) = -4*p**2 - 212*p + 37. Is 6 a factor of i(-48)?
False
Let l = 31 + -15. Let t = 59 - l. Is 32 a factor of t?
False
Let a = -436 + 625. Is 9 a factor of a?
True
Let u(z) = z**3 - 5*z**2 + 3*z - 7. Let w be u(5). Let k = 178 + -173. Suppose 207 = w*v - k*v. Is 23 a factor of v?
True
Let q(j) = 286*j**2 + 9*j - 302*j**2 - 21 - 23*j + j**3. Is 10 a factor of q(17)?
True
Let l be (-5 + 3)*6/(-4). Let u be -2*((-11)/(-55) - (-101)/(-5)). Suppose l*p - u = -p. Is 10 a factor of p?
True
Let q = -570 + 635. Does 7 divide q?
False
Suppose 11*d + 0*d = 594. Let k = -14 + d. Does 4 divide k?
True
Let u(g) = 3*g + 18. Let p(a) = 4*a + 19. Let b(o) = -2*p(o) + 3*u(o). Let k be b(-12). Suppose 2*w - k - 18 = 0. Is w even?
False
Let g = -5 - 0. Does 6 divide (g/2 + 2)*-60?
True
Suppose r + 10 = 6*r. Suppose -r*s = -167 + 11. Does 13 divide s?
True
Let f(a) = -3*a + 1 + 0*a + 4*a. Let h be f(4). Let m(v) = v**2 + 3*v + 5. Does 19 divide m(h)?
False
Let r(y) = -25*y + 311. Does 14 divide r(3)?
False
Let j(f) = -2*f**3 + 12*f**2 - 7. Let r be j(6). Does 18 divide (-30)/(-42) + -1 - 254/r?
True
Suppose 2*w = -6*w - 360. Does 13 divide w/(-10)*(53 + -1)?
True
Let q(j) be the second derivative of j**5/60 - j**4/3 + 3*j**3/2 - j**2 + j. Let k(n) be the first derivative of q(n). Is 18 a factor of k(9)?
True
Let t be 2 + (-1)/(1/(-3)). Let j be (2/t)/(4/140). Suppose 2*q = -j + 48. Is 6 a factor of q?
False
Let u(o) = 4*o + 13. Let w be u(-5). Does 25 divide w*9/(-3) + 4?
True
Let g be (2 - (10 - 3)) + -2. Let n(z) = -z**3 + 5*z + 16. Let p be n(g). Suppose 8*f - p = 4*f. Does 20 divide f?
False
Let q be 38*1/6 - 10/(-15). Let g(v) be the first derivative of v**3/3 - 3*v**2/2 + 4*v - 1. Is 8 a factor of g(q)?
True
Suppose -165*d - 772 = -167*d. Is 8 a factor of d?
False
Suppose -4*k = -2*p + k + 1683, -4*k - 2542 = -3*p. Is 61 a factor of p?
True
Let c(l) be the second derivative of -l**5/20 + 11*l**4/12 - 2*l**3/3 - 4*l**2 + 12*l. Is 23 a factor of c(10)?
False
Suppose -16 + 1 = -p. Suppose -3*w = -3*f + p, 0 = f - w - w. Let d(x) = -x**3 + 10*x**2 + x + 8. Does 17 divide d(f)?
False
Let y(f) be the third derivative of f**8/4032 - f**6/144 + 2*f**5/15 - 5*f**2. Let g(k) be the third derivative of y(k). Is 25 a factor of g(-4)?
True
Let l(v) = -v**3 - 6*v**2 - 2*v - 13. Let f be l(-6). Let b be f - (-11 + 4 + -4). Is 3 a factor of (6/b)/((-1)/(-5))?
True
Let x be (9/6)/((-6)/(-372)). Let w = 213 - x. Is 15 a factor of w?
True
Does 126 divide ((-368)/69)/(-16) + (-6047)/(-3)?
True
Is (16/(-8) + (9 - 5))*479 a multiple of 33?
False
Let n(p) = 8*p + 2. Let u be n(-4). Let s = u + 44. Is 7 a factor of s?
True
Suppose 69 + 251 = 2*a. Suppose 5*d - 40 - a = -4*t, -d = 2*t - 46. Does 6 divide d?
True
Let i = -3 - -9. Let t = i + -3. Suppose -5*y + 507 = -t*z + 177, y = -z + 74. Is 14 a factor of y?
False
Let o = 45 + 396. Is 7 a factor of o?
True
Let w be (-7 + 2)*-1 - 1. Let x be (-24)/(-1)*3/w. Suppose -x = -3*g + 111. Is g a multiple of 12?
False
Let r(k) = k**2 + 7*k - 16. Suppose -2*i + 8 = -0. Is 7 a factor of r(i)?
True
Suppose 17*b - 14159 = 38099. Is b a multiple of 6?
False
Suppose 2*l - 5160 = -4*l. Does 36 divide l?
False
Suppose -4*t + 112 = -2*t. Suppose -2*y + 0*y - t = 0. Is (-3)/((-80)/y - 3) a multiple of 21?
True
Let w(s) = 35*s**2 + 1. Let v be w(-1). Let y = -24 + v. Suppose q - y = -q. Is q a multiple of 6?
True
Let n(p) = -35*p - 40. Let d(q) = 18*q + 20. Let i(v) = 5*d(v) + 3*n(v). Does 15 divide i(-8)?
False
Let f = 11 + 44. Let z = f + 20. Is z a multiple of 25?
True
Let c(p) = 291*p + 54. Is 12 a factor of c(3)?
False
Suppose 14*s = 10*s + 2016. Is s a multiple of 63?
True
Suppose 0 = -4*s + 71 + 949. Does 11 divide s?
False
Let s = 16 - 11. Suppose -13*i - 701 = -2170. Suppose -2*z + 2*p + 138 = 0, -2*z - s*p + 46 + i = 0. Is 16 a factor of z?
False
Let h(j) = -j**2 - 7*j - 6. Let n be h(-5). Suppose 5*b = 2*i + 2*b - 69, n*b + 20 = 0. Does 12 divide i?
False
Let v(q) = 56*q + 600. Is v(30) a multiple of 12?
True
Suppose -15*x + 21*x - 24 = 0. Suppose 247 - x = 3*z. Does 27 divide z?
True
Let k = -656 + 858. Does 12 divide k?
False
Let p(m) = -m**2 - 5*m - 4. Let w be p(-3). Suppose 0 = -w*k + 30 + 40. Does 35 divide k?
True
Let m be (-1 - (-2)/(-4))*-18. Suppose 5*l - 3*a + 71 = -7*a, 0 = 3*l - a + 29. Let t = l + m. Is 16 a factor of t?
True
Let q(s) = -s**2 + 10*s - 11. Let p be q(9). Does 11 divide 2 + p - (-188 - -1)?
True
Suppose 4*b - 8 = 2*b. Let o be b + -7 + 4*2. Suppose m - 4*m - 140 = -4*v, -v = o*m - 58. Does 19 divide v?
True
Let v be 14*(-270)/(-4) + -2. Suppose h + 2*h - v = 2*f, 3*f - 3 = 0. Suppose 14*a + h = 19*a. Is a a multiple of 21?
True
Suppose -3*z + 9 = -3*g, 0*z + 2*g - 14 = -3*z. Suppose -3*m = z*x - 942, -3*x + 970 = 3*m + 262. Is 39 a factor of x?
True
Let j = -78 + 193. Let w = -73 + j. Is w a multiple of 11?
False
Does 18 divide 0 + (147/(-7))/(-7) - -1185?
True
Suppose -6*l - 5 = -l. Let p(d) = -38*d**3 - 2*d - 4. Let x(u) = 38*u**3 + 2*u + 5. Let h(q) = 4*p(q) + 3*x(q). Is h(l) a multiple of 20?
False
Let s(k) = -k**2 - 1 + 8*k - 5 - k. Let z be s(4). Suppose -2*x = -z - 22. Is x a multiple of 7?
True
Is 4*(-7)/56*-148 a multiple of 3?
False
Is (-7)/(-42)*33*308 a multiple of 14?
True
Let c(q) = -18*q - 1. Let x(k) = k**2 + 3*k - 11. Suppose 5*p = 2*r - 15, 2*r - 4*p - 6 = 4. Let s be x(r). Does 5 divide c(s)?
False
Let j(x) = 2*x**3 - 4*x**2 - 4. Suppose 3*z = 3*g - 39, -3*z = -g + 5 + 4. Suppose g = 5*n - 5*u, 2*u + 17 = 4*n + 3. Does 10 divide j(n)?
True
Let k be ((-3)/(-6))/((-2)/(-8)). Suppose -4*d + 33 = k*l - l, 0 = 3*d - 15. Suppose -p + l + 13 = -s,