 l = 99 + -95. Suppose -l*f = f - 575. Is f prime?
False
Suppose 0 = 3*h + 2*s + 6, -6 + 3 = 3*h + s. Suppose h = -2*j - 0*j. Suppose -2*r + 138 = -j*r. Is r a composite number?
True
Let l be 490/60 - 1/6. Let v(x) = -x**3 + 15*x**2 - 9*x + 2. Let i be v(l). Suppose -6*k = -i - 1020. Is k prime?
True
Is (30/(-18))/(3 + (-18112)/6036) prime?
False
Is (-8)/28 - (-315032)/14 composite?
True
Let u = -8 + -47. Is 1769/11 - (230/u - -4) a prime number?
False
Let o(k) = -k**3 + 11*k**2 + 19*k + 3. Let g be o(13). Let b = g + 245. Is b a composite number?
False
Let f(k) = 4*k**2 + 2*k - 13. Let t(z) = z**2 - 2*z - 1. Let a(i) = -f(i) + 6*t(i). Suppose -3*g - 4*h = g - 32, -7 = -g - 2*h. Is a(g) a prime number?
True
Let j = -883 - -2841. Suppose 6*o - 1888 = j. Is o a prime number?
True
Let d(x) = 1090*x**2. Let r be d(-1). Suppose -9*j + 1673 = -r. Is j a composite number?
False
Let q(o) = 1060*o - 293. Is q(10) a prime number?
False
Suppose -4*k - 12286 = -0*b - 2*b, -18429 = -3*b + 4*k. Is b a composite number?
False
Suppose -8*f - 2*d = -3*f - 15, 0 = -3*d. Suppose -o - 876 = -3*x, -x - f*o = -0*x - 302. Is x composite?
False
Let q(s) = 2542*s - 555. Is q(7) a composite number?
False
Let w(z) = z**3 + 8*z**2 + 6*z - 9. Let d be w(-7). Suppose 4 + 1 = -5*q. Is ((-2)/d)/(q/(-38)) a prime number?
False
Let y(o) = 5213*o - 88. Is y(3) a composite number?
False
Let b(u) = 2*u**2 + u - 8. Let a be b(10). Suppose a = 5*l + z, 3*l - 122 = 2*z - 3*z. Suppose -4*i + l - 13 = q, 0 = q + 5*i - 29. Is q a prime number?
True
Let r(y) = y**3 + 8*y**2 + 19*y - 31. Is r(9) prime?
False
Let p be -4*3/(-12)*2. Let u be 3 - p - (-70 + -1). Let h = 2 + u. Is h a prime number?
False
Is (-22228)/6*(-11)/((-264)/(-36)) a composite number?
False
Let y = 18460 + -9461. Is y prime?
True
Suppose 4*c - 13036 = 3*v - 34865, 0 = 2*c - 10. Is v a prime number?
True
Suppose 4*a = 5*u - 4*u - 121165, 3*a + 484634 = 4*u. Is u a prime number?
True
Suppose 5*v = 2*p + 91587, v = -p + 28655 - 10332. Is v a prime number?
False
Let d = -26582 + 18666. Let p = d + 14365. Is p composite?
False
Let g(s) = 5*s + 166. Is g(0) a prime number?
False
Suppose 0 = 4*m - 12, 0*x + 5*m - 304 = -x. Suppose 0 = -k - 4*u + x, -5*u = 6*k - 3*k - 874. Is k a composite number?
False
Suppose 3*b - y - 18 = 0, -4*b - 2*y = -5*y - 19. Suppose 16843 = 5*j - 3*c, -3*j + 5*c - 13504 = -b*j. Is j composite?
False
Suppose j + 2*m - 8 = 0, -2*m + 12 = j + 2*j. Let k(t) = 13*t - 11. Let f(p) = 14*p - 12. Let r(z) = j*f(z) - 3*k(z). Is r(-10) prime?
False
Suppose -2*b + 0*b - 6 = 0, -5*b = -4*l + 53251. Is l a prime number?
True
Let q(b) = -3*b**3 - 32*b**2 - 16. Is q(-15) composite?
False
Let m = 7698 + -4207. Is m composite?
False
Let i(y) be the first derivative of -y**4/4 - 13*y**3/3 - y**2 - y - 6. Let j be i(-13). Suppose -j = 4*v + v, 3*p + 2*v - 437 = 0. Is p composite?
False
Suppose 2585 = 9*o - 4*o. Let z = -99 + o. Suppose 0 = p + 3*y + y - z, 0 = -2*p - y + 843. Is p a composite number?
True
Suppose -5*w = r - 378280, -4*w = 13*r - 9*r - 302640. Is w a prime number?
False
Suppose -5*f = 4*x - 772, -193 = 4*x - 5*x - 3*f. Let q = 404 - x. Is q a composite number?
False
Let d(y) = -y**3 + 12*y - 15. Let a be d(-10). Suppose -7*m + 794 = -a. Is m composite?
True
Let n(w) = -148*w - 73. Is n(-8) composite?
True
Suppose 3*j - 12 + 87 = 0. Let w = 80 + j. Is w prime?
False
Let k(y) = -2*y**3 + y**2 + 8. Let p be k(0). Suppose -5*a - 6693 = -p*a. Is a a prime number?
False
Is (4 - 12)/(-4) - -1655 composite?
False
Let k(s) = -35*s + 24. Is k(-11) a composite number?
False
Suppose 21 = 4*o + 53. Is 8088/6*(-2)/o composite?
False
Let v = 3460 + -713. Is v composite?
True
Let p(s) = 135*s - 4. Let d be p(13). Let i = -929 + d. Let z = i - 515. Is z a prime number?
True
Let q = 8 + -10. Let z = -4 + q. Is (2/(-6))/(z/882) a prime number?
False
Suppose 4*f = -20, 5*w = -0*w + 2*f + 12220. Suppose 0 = -8*q + 2*q + w. Is q a composite number?
True
Suppose -5*s - o + 10 = -5, -5*s + 2*o = 0. Suppose -s*y + 4 = w, 4*y = -0*y - 16. Let p(d) = -d**3 + 12*d**2 + 12*d - 3. Is p(w) prime?
False
Let b = -1139 + 2037. Let x be 326 - (-2)/(-4)*2. Suppose -b = -3*q - x. Is q prime?
True
Suppose -14*o - 168312 + 646034 = 0. Is o prime?
True
Let k(d) = 10006*d**3 + 4*d - 3. Is k(1) prime?
True
Let j be 4 + -3 + (11965 - 3). Suppose j = 4*w + 3*w. Is w prime?
True
Let r be 4/(-12) - 7/(-3). Suppose -r*p = -p - 9. Is (-6)/(-4)*978/p prime?
True
Let v(j) = -5*j**2 - 4*j - 1. Let n be 12/(-10)*10/4. Let w(h) = -4*h**2 - 3*h. Let i(t) = n*w(t) + 2*v(t). Is i(11) a prime number?
True
Let c(b) = 11*b + 1. Let k be c(1). Let v(j) = j**2 - 14*j + 20. Let d be v(k). Is 2/(d/(-6) + 0) composite?
False
Suppose 5*p + 0*p - 25 = 0. Suppose z + 0*z - 70 = -i, -3*z - p*i = -216. Is z a composite number?
False
Is 23245 + ((-74)/(-18) - (-21)/(-189)) a prime number?
False
Let o(g) = 5*g + 2. Let l(f) = -f + 1. Let s(i) = -6*l(i) - o(i). Let v be s(6). Is -29*(v - 0 - 5) a prime number?
False
Let q = 8464 + -5095. Is q prime?
False
Is (-214731)/(-9) + (-5 - -7) a composite number?
True
Suppose -15 = -9*p + 4*p, -2*o + 124236 = -2*p. Is o a composite number?
True
Let k = 89 - -727. Suppose -t - 2 = 0, -4*t - 28 = 2*o - 6*o. Suppose -1033 = -o*d - 4*i, -4*d - 2*i = -8*d + k. Is d a composite number?
True
Suppose 0 = -r + 2*r + 1. Is (274/6)/(r/(-15)) prime?
False
Suppose 0 = -5*h - 5*m + 15, 13 = -0*h + 5*h + 3*m. Let z(d) be the third derivative of 19*d**6/120 - d**5/30 + d**4/12 + d**3/6 + 2*d**2. Is z(h) composite?
False
Let o(a) = -a**3 - 5*a**2 + 8*a + 16. Let m be o(-6). Let r be (-1)/(2 + 0)*-124. Is (r/m)/(11/286) prime?
False
Is -1762*(60/(-8) + 4) composite?
True
Let v(n) be the second derivative of n**5/20 - 7*n**4/6 + 5*n**3/3 + 6*n**2 - 8*n. Is v(17) composite?
False
Let m(l) = 8*l - 1 + 11*l**2 + 3*l - 9 - 13. Is m(8) prime?
True
Let x(b) be the third derivative of 7*b**4/3 - 23*b**3/6 - 19*b**2. Is x(10) a composite number?
True
Suppose 5*j - 1336 - 8669 = 0. Let i = 3560 - j. Is i composite?
False
Let r(j) = j**3 + 13*j**2 + 8*j - 2. Let w = -12 - -17. Suppose -1 = 2*d - 5*q - 0, -55 = 5*d + w*q. Is r(d) composite?
True
Let a be -1 + 4 - (-6 + -250). Suppose -2*n + 13 = 5*l + 4, l - n - 6 = 0. Is l*a/(-3)*-1 composite?
True
Let b = -166 - 675. Let t = 2464 + b. Is t a composite number?
True
Is -2 - -1 - -2661 - (-14 - -17) composite?
False
Suppose -52*d - 489 = -53*d. Let i be (-326)/(-4)*2*-2. Let q = d + i. Is q prime?
True
Suppose 0 = -5*k - 4 - 1. Let z(p) = 41*p**2 + 3*p - 4. Let g(o) = -42*o**2 - 2*o + 3. Let h(n) = -3*g(n) - 2*z(n). Is h(k) a prime number?
True
Suppose 8*m + 28 = 12*m. Suppose 0 = -m*d - 2*d + 135. Is d a composite number?
True
Suppose 0 = -r + 282 - 64. Let b = 103 - r. Let w = 161 + b. Is w a composite number?
True
Let l be ((-64)/10)/(20/(-250)). Suppose -6*p = -34 - l. Is p a prime number?
True
Suppose -2*a = -21 + 1. Suppose -4*h + a = h. Suppose y = 0, 2*o = -h*o + 4*y + 148. Is o prime?
True
Suppose 9*v - 5*v = 100. Is 565/v + (-3)/5 a composite number?
True
Let l(m) = 5*m**2 + 19. Let a be l(-7). Suppose 2*j - j + 155 = 4*s, 4*j + 2*s = -566. Let t = a + j. Is t composite?
True
Suppose 0 = b - 4*m - 15145, 3*b - 4*m = m + 45463. Is b prime?
True
Is ((-5)/(475/(-19)))/((-2)/(-32510)) composite?
False
Let w be 5 + -4 + -1 - -4. Suppose w*j - 1383 - 5389 = 0. Is j a prime number?
True
Let h = 1 + 3. Suppose -3*x - 45 = -156. Suppose h*u = 175 + x. Is u a prime number?
True
Suppose -15 = -w - 2*s, -w = 3*w + 5*s - 45. Let h be 1/(89/(-44) + 2). Let l = w - h. Is l a prime number?
False
Let p(u) = -384*u**2 + 7*u - 5. Let n(b) = 383*b**2 - 8*b + 6. Let g(f) = -5*n(f) - 6*p(f). Is g(-1) composite?
True
Let o(v) = -24*v**3 + 15*v**2 - 17*v - 9. Let b(h) = -12*h**3 + 8*h**2 - 9*h - 5. Let w(m) = -7*b(m) + 4*o(m). Is w(-4) a composite number?
True
Suppose -3*t + 5 = g, -5*g - 1 = 5*t - 3*t. Suppose -2*f + 1536 = t*z, -5*z + 6*z + 1 = 0. Is f a composite number?
False
Let t(z) = 695*z + 2. Let m(k) = 347*k + 1. Let s(j) = -9*m(j) + 4*t(j). Is s(-2) a composite number?
True
Let k(v) = -5*v + 19. Let q be k(-4). Let t = 7 + q. Is t prime?
False
Suppose -5454 = -27*u + 8991. Is u prime?
False
Let f(v) = -55*v - 