- 4777, -k - 1 = c. Is d composite?
True
Suppose -5*j - 12 = -2*j. Is -13*(-131)/(3/(-12)*j) composite?
True
Let j(q) = 24*q**3 + 5*q**2 - 4*q - 17. Let d be j(5). Suppose d = 2*l + 698. Is l prime?
False
Let u(j) = j**2 - 4*j - 6. Let q be u(7). Suppose -m = -3*i, -4*m + q = -3*i + 6. Suppose -m*y + 183 = -618. Is y composite?
True
Let a(y) = 2*y**3 - 25*y**2 + 61*y - 149. Is a(24) a prime number?
True
Suppose 3*g - 4*v = 24711 + 69814, -2*g + 63014 = -4*v. Is g prime?
True
Is 127206/(-45)*(-10)/4 a composite number?
True
Let w be (20/25)/(1/(-10)). Is ((-1639)/2)/(w/16) a composite number?
True
Let t = -13 - -15. Suppose 5*b + 4*w = -w - 10, 5*b - 3*w = -t. Is -3 - (332/(-4) - b) composite?
False
Let q be (-8)/20 - 27/(-5). Suppose 3*l - 1945 = 2*g, 0*l - q*g = l - 637. Is l prime?
True
Let d = 183 - 105. Let t = d + -43. Is t composite?
True
Suppose 0*m = -m + 5. Suppose 5*w = w - t + 14, -13 = -m*w + t. Suppose 0 = w*i - 0*i - 633. Is i prime?
True
Let q = 16209 + -4264. Is q composite?
True
Let q be (-9)/6*4/(-3). Suppose 0 = -4*a - q*i - 2*i, 2*i = 3*a - 15. Is a + -1 + (-4 - -49) prime?
True
Let j be 3*(4 - (-2 - -5)). Suppose j*a = 8*a - 655. Is a prime?
True
Suppose 5*j + 147 + 492 = d, 0 = 3*d - 3*j - 1929. Let s = d - -717. Is s a composite number?
False
Suppose -3*i + 9717 = -24081. Suppose 4*p - i = -3054. Is p a composite number?
False
Suppose -261 = -m + b - 2*b, 5*b = 4*m - 1008. Is (-2 - 10)/3 - -9*m prime?
True
Suppose -2*g = 2*f - 1436, 8*f - 3*f = g + 3584. Let s = f + -506. Is s a composite number?
False
Let x(m) be the first derivative of 157*m**2/2 + m - 4. Let k be x(5). Is (3/(-6))/((-3)/k) a prime number?
True
Let i(b) = -5352*b - 163. Is i(-3) prime?
False
Let l = 36 + -39. Is (6 + 2576/12)/((-2)/l) a prime number?
True
Suppose -5*x + 16609 = 4*n - 24834, -5*x - 2*n + 41439 = 0. Is x prime?
True
Suppose -q + 4855 = -5*x + 3*q, -2*q + 977 = -x. Let n = 1382 + x. Is n a composite number?
True
Let i(d) = -d**3 + 3*d**2 - 40*d - 19. Is i(-25) a prime number?
True
Suppose -73444 = -0*y - 3*y - h, 15 = -3*h. Suppose -y = -11*u + 2302. Is u prime?
False
Let r(q) be the third derivative of -q**6/40 - 7*q**5/60 - 5*q**4/24 - 4*q**3/3 - 34*q**2. Is r(-7) a prime number?
False
Let a = 66830 + -37011. Is a a composite number?
False
Let b(x) = -928*x - 101. Is b(-8) prime?
False
Let x(n) = -n**3 - 16*n**2 - 15*n + 3. Let o be x(-15). Is -4 + -1 + 383 + o prime?
False
Let a be 6/15 + (-158)/(-5). Let q = a - -62. Suppose 0 = -3*l + s + q, -4*l + 20 = -s - 107. Is l a prime number?
False
Suppose -16740 = -5*f + 6325. Is f composite?
True
Suppose -5*h - 4*b = -928 - 304, -3*h - 3*b = -741. Is -1 + h - 24/6 prime?
True
Suppose 3*k + 14*t = 12*t + 88229, t = -2*k + 58818. Is k prime?
False
Let b be (-6)/42 - 41/7. Let t = b - -6. Is 510 + (t - (-1 + 2)) a composite number?
False
Let v be ((-1)/(-1))/((-10)/(-40)). Is 1774/v - 2/4 prime?
True
Suppose 556065 = 17*h + 33536. Is h a prime number?
False
Let a = -27 - -19. Is 704 - (a/(-24))/((-1)/(-9)) prime?
True
Suppose 0 = 5*a + 5, 5*a - 110 = -k + 798. Is k a composite number?
True
Let b = 8 - -299. Suppose a + c - 838 = b, -3*a + c = -3419. Is a prime?
False
Let m(j) be the second derivative of j**4/6 + j**3/6 + 2*j**2 + 2*j. Let b = 16 - 9. Is m(b) prime?
True
Suppose -10 = w + w. Let n be 3/(w/(25/(-3))). Suppose n*c + 20 = 0, c - 6*c = -5*u + 975. Is u prime?
True
Suppose 3*s - 2730 = -4*p - 29983, -4*p = 5*s + 45411. Let j = s + 16874. Suppose 3*t = -d - 2*t + 1559, j = 5*d + 5*t. Is d prime?
True
Suppose -3*p - 5*h + 57522 = -46834, 3*h + 34790 = p. Is p prime?
False
Let f be 7/(3*(-4)/(-24)). Suppose 4*v = 2 + f. Suppose -9*k + v*k = -3175. Is k a prime number?
False
Let j(o) be the third derivative of 53*o**6/12 - o**5/60 - o**4/12 + o**3/3 - 18*o**2. Is j(1) prime?
False
Let h be ((-131)/2)/(-1)*-2. Let z = 732 + -490. Let w = z + h. Is w a composite number?
True
Suppose -858 = -2*j - j. Suppose -85 = -i + j. Let z = i - 150. Is z a composite number?
True
Suppose 0 = -14*j + 9*j + 65. Suppose 9*p - j*p = -188. Is p prime?
True
Let c(v) be the second derivative of -61*v**3/3 + 33*v**2/2 + 12*v. Is c(-7) composite?
False
Is ((-6306)/(-4) - (-8 - -3))*2 composite?
False
Is 2559/(-2)*2*35/(-15) a prime number?
False
Suppose -3*l = -0*l - 4*j, l - 3*j = 0. Let y be l/((-2)/2*1). Suppose -s - 61 = -3*m - y*m, -5*s - 1 = m. Is m a prime number?
True
Let q = -43 - -48. Suppose -j - 169 - 472 = -2*m, 621 = 2*m - q*j. Is m a composite number?
True
Suppose 5*n = 31941 + 98914. Is n composite?
False
Is ((-78)/24 - -3)*6236/(-1) a composite number?
False
Suppose 5*u = -4*g + 25311, 4*g = -2*u - 354 + 10476. Is u a composite number?
True
Let m be (36935/10)/(18/4 - 4). Let r = m - 1426. Is r prime?
False
Let w(q) = -7 - 10 + q**2 + 15. Let n be w(2). Suppose -4*v = -16, 0 = -3*j + 4*j + n*v - 59. Is j prime?
False
Let p = 3 + 3. Let y be 1/((3/p)/1). Suppose y*r = -r + 357. Is r a composite number?
True
Let n = 13 - 29. Is (-27)/(-72) - 298/n prime?
True
Suppose -546*r = -553*r + 152033. Is r a prime number?
False
Suppose 26*a - 4*a - 88 = 0. Is (-2)/a + (-7)/((-28)/6298) a prime number?
False
Suppose 50149 = 8*p - 19827. Is p prime?
True
Let u(k) = 26*k**2 + 17*k - 17. Is u(-8) a composite number?
False
Let o(v) = v**3 - 7*v**2 + 78*v - 31. Is o(24) composite?
False
Let q(v) = 8*v**2 + 9*v + 4. Let j(r) = -15*r**2 - 19*r - 8. Let d(p) = -4*j(p) - 7*q(p). Is d(9) a composite number?
True
Let f(j) = -184*j - 9. Is f(-16) a prime number?
False
Let j(r) = -r**3 - 11*r**2 + 11*r - 9. Let k be j(-12). Suppose -2707 = -k*p + 5*s - 618, 0 = -2*p + 5*s + 1386. Let g = p + -62. Is g composite?
False
Let u(c) = -c**3 + 2*c**2. Let b be u(2). Suppose s - 4*d + 3*d - 194 = b, -d = -5*s + 958. Is s prime?
True
Let n(s) = -454*s**3 - 14*s**2 + 3. Let b(p) = -151*p**3 - 5*p**2 + 1. Let g(k) = 11*b(k) - 4*n(k). Is g(1) a prime number?
False
Let t(c) = -7*c**3 - c**2 - 14*c. Let j(g) = 13*g**3 + g**2 + 27*g. Let b(z) = -6*j(z) - 11*t(z). Let w be b(7). Let i = -39 - w. Is i a prime number?
False
Suppose -4860 = -8*v + 13*v. Let g = 2887 + v. Is g composite?
True
Let w(p) = 2*p**3 - 2*p**2 + 3. Let d(v) = -4*v + 8. Let t be d(-7). Let a be 1/((-4)/t*-3). Is w(a) a prime number?
False
Suppose 2*w + 6*w = 9872. Is w a prime number?
False
Let i(a) = 29*a**2 - 3*a + 5. Suppose 0 = -8*k + 9*k - 7. Is i(k) a prime number?
False
Suppose -4*b + 2*r + 40846 = 0, -2*r + 40858 = 2*b + 2*b. Is b composite?
True
Suppose -k + 2*k + 272 = o, -5*o = 5*k - 1370. Is o - 1/(5/(-20)) composite?
False
Let q(o) = -623*o**2 - o + 2. Let m be q(1). Let u = m - -1565. Is u a prime number?
False
Suppose -533 = -n - n + y, n - 2*y = 271. Is n prime?
False
Suppose 4*n + 3*w + 2*w = 30, -2*w + 19 = 3*n. Suppose -674 = -n*a + 1011. Is a composite?
False
Suppose 6*o - 11*o = -1145. Suppose 1 + 3 = 2*f. Suppose -f*y = -2*k - k + o, -2*k - 3*y + 157 = 0. Is k prime?
False
Suppose -r + 0 = -4. Suppose 2*n = n + 5, r*g + n = 1. Is (1 + 700)*g/(-1) a composite number?
False
Let j(u) = u**2 + 3*u + 2. Let d(y) = y**3 - 9*y**2 + 9*y - 11. Let v be d(8). Let l be j(v). Is 219/(2/4*l) prime?
False
Let c(p) = p**3 + 4*p**2 + 4*p. Let w be c(-11). Let o = 470 - w. Is o composite?
False
Let a(b) = -146*b - 57. Is a(-5) a prime number?
True
Let t(v) = -v**2 + 3*v + 2. Let b be t(3). Suppose -3*j - x + 9 = 0, b*j = 3*x - 3 + 20. Is 367/j - (-6)/(-8) prime?
False
Let q = 14612 + -4057. Is q composite?
True
Suppose 4*n + n - 50 = -5*i, -i + 18 = -3*n. Suppose -r = -5*v + i, -2*v = -3*v + r. Suppose z = 5, 15 = v*g - 2*z - 32. Is g a composite number?
False
Suppose 10393 = 6*g - 161. Is g prime?
True
Let t be (-1 - (-12)/(-10))*-5. Let z = 14 - t. Suppose 68 = k + z*f - 158, 3*k - 2*f = 711. Is k composite?
True
Suppose -5588 = -47*g + 43*g. Is g prime?
False
Is -2 + -2 - (-710 - 3) a prime number?
True
Let c(v) = -v**2 - 4*v + 31. Let h be c(5). Is 2/(-7) - 25106/h composite?
True
Let v(t) = 133*t + 12. Let p(d) = 2*d**2 + 3*d + 3. Let l be p(-2). Is v(l) a composite number?
False
Suppose 4*x - w = 57603, -14406 = -x - 20*w + 15*w. Is x a composite number?
False
Let n(k) = 8*k**3 - 2*k**2 + 10*k + 5. Let i(c) = -c**3 + c**2 - 1. Let p(j) = -4*i(j) -