-n = -m - 3. Is l(m) prime?
True
Let x be (-8)/4 + (-2 - -1041). Let b(z) = z**3 + 9*z**2 - 6*z - 8. Let i be b(-8). Let n = x + i. Is n composite?
True
Let x be (-6)/(-30) - 11/5. Is -2110*x/12*3 a composite number?
True
Let p(t) = -2 - t + t**3 - 15*t**2 + 4*t + 5*t. Is p(16) composite?
True
Let r(t) = -225*t - 44. Let a be r(-7). Let s = 3048 - a. Is s composite?
True
Suppose -3 = 4*y - 19. Suppose -y*x - 490 = -6*x. Let a = x - 126. Is a a composite number?
True
Let k = 36 + -14. Suppose 2*z - 3*s - 40 = -0*s, -3*z + k = 5*s. Is (-3)/7 - (-8168)/z a composite number?
True
Suppose 0*x + 15 = -5*x + 4*n, 4*x + 3*n - 19 = 0. Let j(v) = 5*v**3 - v**2. Let r be j(x). Suppose r*q + 80 = 264. Is q prime?
False
Suppose 3*v - 23574 = 3195. Is v a composite number?
False
Let i(o) = -33*o - 32. Let n(v) = -17*v - 17. Let x(q) = 6*i(q) - 11*n(q). Let r = 16 + -28. Is x(r) prime?
True
Let r = -94 + -131. Let w be -3 + -8 + -5 + 2. Let m = w - r. Is m a composite number?
False
Suppose -5*i - 4*l + 84090 = -3*i, -3*i + 3*l + 126099 = 0. Is i a prime number?
False
Let o(y) = -2590*y + 19. Is o(-3) a prime number?
True
Suppose 138*d = 136*d - 252. Suppose 4*u + 696 = -7*r + 3*r, 5*r + 3*u + 876 = 0. Let q = d - r. Is q composite?
True
Suppose -4*d + 2*q = -28, 4*q - 7*q - 7 = -d. Suppose -4*s + 12 = 0, -w + d*s - 3*s = -661. Is w prime?
True
Let y(m) = m**2 + 6*m + 2. Let z be y(-3). Let k(r) be the third derivative of -3*r**4 - 5*r**3/6 + 8*r**2 + 4. Is k(z) a composite number?
False
Let y(j) be the second derivative of j**4/12 - 5*j**3/2 + 7*j**2/2 - 17*j. Suppose 0 = -4*c + c - 39. Is y(c) prime?
False
Let u be 1*0/(-3) - 14. Let x be (-2500)/(-40) + 2/4. Is 1829/9 + u/x a prime number?
False
Is 46/(-368) + 159369/8 a prime number?
False
Let v(s) = -s**3 - 5*s**2 + 5*s - 3. Let x be v(-6). Suppose -6*k + 11331 = x*k. Is k a composite number?
False
Suppose -150*v + 156*v = 53778. Is v composite?
False
Let j = 7 - -26. Let w(u) = -27*u + 24. Let y be w(-6). Suppose -3*c - 2*c + y = -p, -c = 4*p - j. Is c composite?
False
Let w(q) = 2*q + 2. Let c be w(-1). Suppose c = 7*f - 0*f - 4746. Let x = f + -175. Is x composite?
False
Let o = -98 + 100. Suppose -2458 = -o*x - 2*x - 3*s, x = 4*s + 605. Is x composite?
False
Let x(t) = -2123*t - 354. Is x(-17) prime?
False
Let k be 2/6 + 33/9. Let l = -70 + 144. Suppose 1738 = k*m - l. Is m composite?
True
Suppose -5*s + 1 = 3*x - 32, -3*x + 2*s = -12. Let u(t) = 172*t - 65. Is u(x) a composite number?
False
Suppose -y + 23 = -w, 0*y + 2*y + 2*w = 30. Let z = y - 16. Suppose -z*u + 243 + 744 = 0. Is u a prime number?
False
Let k = -309 - -1207. Is k composite?
True
Let p(a) = -14*a**3 + 2*a**2 + 3*a + 25. Is p(-8) a prime number?
True
Let q = -135 - -138. Let y = 0 - -3. Suppose g = -4*g + y*l + 421, g + q*l = 77. Is g a prime number?
True
Suppose -w - 129752 = 3*w. Is ((-1)/(-2))/(0 + (-7)/w) a composite number?
True
Suppose -3*o = -0*j - 2*j + 8, 2*j - 2*o - 12 = 0. Suppose 2*c + 40 = j*c. Suppose -c*f = 2*r - 445, -f + r - 177 = -3*f. Is f prime?
False
Let f(k) = -384*k + 143. Is f(-5) prime?
True
Let j(d) = 5*d**3 + 2*d**2 - 3*d + 1. Is j(12) composite?
False
Let n = -122 - -122. Suppose 2*x + 2*w - 4312 = n, -w = 3*x - 0*w - 6474. Is x a composite number?
True
Let n = -7618 - -11210. Suppose -x - 5*s - 1785 = -2*x, -s + n = 2*x. Is x a composite number?
True
Let s be 4/1*(0 + -263 + -4). Let u = -445 - s. Is u a prime number?
False
Suppose 3 + 25 = 7*n. Suppose 2*a = -g + 3718, n*a - 7424 = -3*g - 2*g. Is a a composite number?
False
Let g be 7/(-42) + 53/(-6). Let h(m) = -m**2 - 9*m - 2. Let d be h(g). Is 744/36*(-3)/d a composite number?
False
Let l = -3724 - -6875. Is l a composite number?
True
Let q(b) = -5*b**3 - 14*b**2 - 21*b - 13. Is q(-20) a prime number?
True
Suppose -s - 641919 = -4*m, -5*s = 2*m + 92603 - 413590. Is m composite?
False
Suppose 2*n = -3*j + 7*j + 6308, 2*j = 3*n - 9470. Is n prime?
False
Suppose -280 = -3*s + 11*s. Is (-4602)/(-14) + (-2)/s*5 composite?
True
Suppose -5*d - 15 = 30. Is 132/(-8)*186/d a composite number?
True
Suppose 7*p - 9*p = -10, x - 1629 = 2*p. Is x composite?
True
Suppose 4*l + 6*l - 27330 = 0. Let o = -760 + l. Is o a composite number?
False
Let a be -3 + 24 + 2 + -2. Suppose -4*x + a = n - 0*x, 3*n + 3*x - 27 = 0. Suppose 0*b + 64 = 2*b + 2*k, 4*b - n*k = 137. Is b a prime number?
False
Suppose -18*c = 29*c - 127793. Is c prime?
True
Suppose -3*j - 1365 + 3810 = 0. Let g be (-5 - 2)*26/(-7). Suppose -21*l - j = -g*l. Is l prime?
True
Let w(q) = 1 - q + 5*q + 4 + 7*q + 2*q**2. Is w(-12) composite?
True
Suppose -6*j = -0*j + 6. Is (-820 + 1*j)*20/(-20) composite?
False
Suppose 0 = 5*b + 7 + 13. Let h(p) = p**3 + 4*p**2 - 3. Let l be h(b). Is (1477/(-21))/(1/l) a composite number?
False
Let t be ((-3)/4)/(-1) + (-141)/188. Is 2477 + 6/3 - t/1 a prime number?
False
Let f = -39322 + 91109. Is f composite?
False
Let k(g) = -g - 8. Let p(v) = -7*v**2 - 2*v + 1. Let q be p(1). Let i be k(q). Suppose 0 = -4*u - u - 2*h + 625, 2*u + 4*h - 234 = i. Is u a prime number?
True
Let r(i) = 16*i + 7. Let v = 1 + 3. Let j be (-189)/(-28) - (-1)/v. Is r(j) a prime number?
False
Suppose -5*z + 15 = -b, 5*z - 48 = -4*b + 17. Suppose -9*n - 563 = -b*n. Is n composite?
False
Let n(v) = -250*v - 19. Is n(-6) a composite number?
False
Let u = 39093 - 24394. Is u prime?
True
Is (-30417)/(-5)*(-370)/(-111) prime?
False
Is 42272/14 + 216/(-504) composite?
False
Is ((-35474)/3)/(396/(-27) + 14) composite?
False
Let t(x) = x**3 + x**2 - 5*x + 4. Let v be t(9). Is (v/5)/((-16)/(-5) + -3) composite?
False
Let r(t) = -2*t**3 - 77*t**2 - 51*t + 57. Is r(-38) a prime number?
False
Let p = 122 - 116. Is ((-63)/p + 7)/((-2)/4) composite?
False
Suppose 56*a - 53*a = 12. Is 299 - (-3 + 12/a) a prime number?
False
Suppose 6 = -0*f + 2*f, 2*b - f - 3 = 0. Suppose -2*x = b*x. Let w(r) = r**3 + 2*r + 443. Is w(x) a composite number?
False
Suppose -5*x - 4*l = -17957, -4*l - 17971 = -5*x - l. Is x a prime number?
True
Is -3*(12310*12/(-18) + -1) a prime number?
True
Suppose 13*w = 4*w + 144. Suppose 4*i + w = 0, -1339 = -5*t + 2*t - 2*i. Is t composite?
False
Suppose 2*r + 0*r - 80 = 0. Suppose 6*n = 4*n + r. Let d = 35 - n. Is d a prime number?
False
Let u(k) be the first derivative of -2*k**3/3 + 8*k**2 + k + 2. Let p(f) = -f**2 + 15*f. Let a(m) = 6*p(m) - 5*u(m). Is a(8) a composite number?
False
Let s(x) = 48*x - 14. Suppose 21*n - 3*n - 216 = 0. Is s(n) a composite number?
True
Let h = -1733 + 5910. Is h a prime number?
True
Let k(f) = -f**3 + 5*f**2 - 6*f - 1. Let l be k(3). Let p be (-20)/(-12) + l/(-3). Suppose 2*v + 4*y = 188, 3*v + 3*y = -p*y + 282. Is v a composite number?
True
Let f(n) = 3*n**2 + 2*n + 2. Let s be f(-1). Suppose r - 12 = -s*r. Suppose -85 - 296 = -r*h. Is h prime?
True
Let h(r) = 101*r**2 + 3*r + 69. Is h(11) a prime number?
True
Let v be -7 + 8 + (0 - -2) + 0. Suppose 3*l - 317 = -2*i, -3*i + 161 = v*l - 160. Is l a prime number?
True
Let n(f) be the third derivative of 17*f**7/840 + f**6/144 + f**5/40 + f**4/12 + f**2. Let m(i) be the second derivative of n(i). Is m(4) prime?
True
Let g be (-63)/3*8/24. Let n(u) be the second derivative of -13*u**3/6 + 3*u**2 - u. Is n(g) a composite number?
False
Let t = 137 + -60. Suppose 3*u - t - 130 = 0. Suppose -2*k + 179 - u = 0. Is k a prime number?
False
Let u(b) = 7*b**2 - 5*b + 3. Let r be u(1). Let q be 2*10*3/4. Is 2 - r/(q/(-99)) a prime number?
False
Let f(q) = 6764*q - 799. Is f(9) a composite number?
False
Suppose -2*l - 16 = -6*l. Suppose -l*h + 4 = -2*h. Suppose -h*u + 4*u = 148. Is u a prime number?
False
Let d = 755 - 124. Is d composite?
False
Suppose 5*m - 5684 = -4*z - 1691, 2997 = 3*z + 3*m. Suppose -2*c - z = -4*b, 4*c + 749 = -0*b + 3*b. Is b composite?
False
Let k(j) = j**3 - 7*j**2 + 17*j - 13. Let h(z) = z + 28. Let l be h(-14). Is k(l) prime?
True
Let y(v) = v**3 + 10*v**2 - 2*v - 12. Let x be y(-10). Let n = x + 401. Is n a composite number?
False
Let m be 3428/6 - 5/15. Suppose -5*w - 4*x - 1860 = 0, 5*w - 4*w = x - 363. Let p = w + m. Is p prime?
False
Suppose -4*q - 12 = m, -3*q = -6*q - 2*m - 4. Let w be q/18 + (-220)/(-99). Is w - 3/3 - -252 composite?
True
Let m(z) be the third derivative of -155*z**4