rime?
False
Let m(n) = -2*n**3 + 24*n**2 - 13*n + 21. Let z(s) = s**3 + 4*s**2 + 8*s + 13. Let j be z(-3). Let w be 20/(1 - 0)*j/(-4). Is m(w) composite?
True
Let o(f) = 10*f + 384. Let q be o(-38). Is (q/(20/(-7815)))/(-1) composite?
True
Suppose 51*b + 2*d + 35497 = 52*b, 0 = b + d - 35488. Is b a composite number?
False
Let u = 397 - 418. Is (105511/u)/(6/(-18)) a composite number?
False
Let f(g) = 8*g**2 + 19*g - 27. Let i(s) = s**2 + s - 1. Let d(t) = f(t) - 6*i(t). Let a(m) = -13*m + 469. Let u be a(37). Is d(u) composite?
True
Is (-254593)/(-15) - (-4)/90*(3 + 0) prime?
False
Let d(p) = 0*p**3 - 37 + 13*p + 40 - 3*p**3 + 4*p**2 + 50 + 0*p**3. Is d(-14) prime?
True
Suppose -2*h + 70*o = 68*o - 81486, -h - o = -40735. Is h composite?
False
Suppose 0 = -4*t - 7*b + 5*b + 113294, -2*t = 2*b - 56652. Is t composite?
True
Let k be 8*(-7)/14 + 20*180. Let f = k - 1795. Is f prime?
True
Suppose 6 = 3*l, 0 = j + 3*j + 3*l + 20186. Let n = -307 - j. Is n prime?
False
Suppose 39*d = 38*d + 1862. Suppose 3*j + 533 - d = 0. Is j composite?
False
Let t(r) = r**3 - 17*r**2 - 21*r + 36. Let o be t(18). Let z = -96 - o. Let w = 131 + z. Is w prime?
True
Let r be -1*(-10 + 7)*11. Suppose -r*y + 2*z - 42598 = -37*y, -10648 = -y - z. Is y composite?
False
Let r be 0 - -1*6*(-1)/2. Let q(h) = 1612*h**2 + h - 4. Is q(r) a prime number?
False
Let k be 48272/15 + -2 + (-46)/345. Let o = -1675 + k. Is o composite?
True
Let x(i) be the second derivative of 41*i**4/3 - 2*i**3 + 9*i**2/2 + i - 1. Is x(-4) prime?
False
Let l(w) = -3*w**3 + 5*w**2 + 37*w - 97. Is l(-18) composite?
False
Let q be 3 + (-26)/10 + 1224/15. Let f = q - 82. Suppose f = 42*r - 49*r + 49441. Is r prime?
False
Let n = -168 + 168. Suppose 4*v = v + 2*y + 38057, n = v - 5*y - 12664. Is v a prime number?
True
Suppose 40446 = -2*z - 4*w, 2*z - 5*w = -3*z - 101130. Let b = 37262 + z. Suppose 0 = 5*o + 5*q - 21290, -8*o - 5*q + b = -4*o. Is o a prime number?
True
Let b(k) be the first derivative of -97*k**2/2 + 22*k - 96. Is b(-7) prime?
True
Let p(s) = -s**2 + 15*s + 114. Let m(v) = -3*v - 23. Let w(j) = -11*m(j) - 2*p(j). Let b = -8 + 2. Is w(b) prime?
True
Is ((-320096)/21 + -3)*-3 prime?
True
Suppose 33*f + 49*f + 598999 = 5148441. Is f a prime number?
False
Let x(n) = 2595*n**2 + 101*n + 2153. Is x(-26) composite?
False
Suppose -2*t + 20714 = 4*c - 3218, -c + 5961 = -5*t. Is (20/(-30)*c)/(2/(-3)) a prime number?
True
Let d(l) = 3*l**2 + l + 2. Let k be d(-1). Suppose 2*j - k*j = -928. Let r = 375 + j. Is r a prime number?
True
Let h(i) = 315*i**2 - 15*i - 38. Let r be h(-7). Suppose 2*l - r = 5*f - 2158, -2*f = l - 6681. Is l a prime number?
False
Let z = -143371 + 266484. Is z prime?
True
Let m(j) = -10*j - 5. Let r be m(-1). Let z be 4/(-14) + ((-34005)/(-21) - r). Suppose -7034 = -4*w - z. Is w a composite number?
True
Let c be 7755/30 + (-2)/4. Suppose -2*r + c = -1822. Let d = r + -561. Is d composite?
False
Let d(u) = -7734*u - 889. Is d(-4) prime?
True
Let o(v) = 4*v**3 + v**2 - 12*v - 12. Let i be o(12). Suppose 6573 = 9*a - i. Suppose 3*p - 6*p = -a. Is p a prime number?
True
Let m = -299 - -328. Suppose -m*o = -10*o - 262409. Is o composite?
True
Let u(r) be the second derivative of 1/4*r**4 + 11/6*r**3 + 0 - 23/2*r**2 + 17*r. Is u(12) a prime number?
True
Suppose 0 = 5*w - g - 330, -2*g + 92 = w + 3*g. Suppose w*u - 57*u - 4910 = 0. Is u a prime number?
True
Suppose -5*j = 1 - 16. Suppose c = y - 4*y + 673, 0 = j*y + 4*c - 667. Suppose 5*m + 0*m + y = q, m + 1077 = 5*q. Is q composite?
True
Let r(k) = -2605*k**3 + 4*k**2 + 13*k + 19. Is r(-2) composite?
False
Let l(t) = -3*t + 2. Let i be l(-6). Suppose 0 = x - 6*x + i. Suppose -x*o + 5919 = -o. Is o composite?
False
Suppose -a + 2*k + 12 = 0, -3*k = 2*k + 15. Suppose 0 = 6*y + a - 6. Suppose -2*q + 4*q - 962 = y. Is q a composite number?
True
Suppose 0 = 5*y + y. Suppose -4*a + 9*a + 11440 = y. Let o = 4261 + a. Is o a composite number?
False
Let c = -6 - -9. Suppose -3*g = c*f, -5 = 3*g - 2*g + 2*f. Is (674/g)/((-2)/(-10)) composite?
True
Let t(a) be the second derivative of -4*a**3 + 19*a**2/2 - a. Let f = 6726 - 6734. Is t(f) a composite number?
False
Let c(u) = -11*u**3 - 15*u**2 - 10*u + 127. Is c(-15) a composite number?
True
Suppose -3888*d + 7283191 = -3851*d. Is d prime?
False
Let t = 277 - 1143. Let l = -53 + t. Is -1*l*(-1)/(-1) prime?
True
Suppose 26 = -6*n + 14. Is 99/(-297)*(1 + n - 12602) prime?
True
Let y(r) = 5226*r**2 + 47*r + 424. Is y(-7) a composite number?
False
Suppose -1455 + 7945 = -10*m. Is m/2*(-3 - (5 + -6)) a prime number?
False
Let w be -1*(1 + 0 - 4). Let p(m) = 726*m + 1. Let s be p(w). Suppose -t = -4*n - 4*t + s, -5*n = -2*t - 2695. Is n a composite number?
False
Suppose 0 = x - 2*q - 12454, -4*x - 4*q + 8*q + 49796 = 0. Let g = x + -7663. Is g a composite number?
True
Let g be (-126)/(2 + 1) - 0. Let a(l) = 18*l**2 + l - 1. Let n be a(1). Is n/g + (-2089)/(-7) a composite number?
True
Let b(y) = 4048*y**2 - y - 19. Is b(-24) a composite number?
False
Let i(t) = -t**3 + 5*t**2 - t - 2. Let z be i(4). Suppose -j = 5*w - 42, 2*j + 0*j = 4. Suppose -z*g = -w*g - 70. Is g a composite number?
True
Let c(m) = -96*m**2 + 17*m + 5. Let i(r) = 97*r**2 - 16*r - 4. Suppose 3 = 5*h - 22. Let j(d) = h*c(d) + 6*i(d). Is j(6) a prime number?
True
Let h = -3525 + 9954. Let d = -4300 + h. Is d a composite number?
False
Let z(i) = 1504*i - 7173. Is z(25) a prime number?
True
Suppose 3*d = -5*w + 16310, -5*w = -d - 3*w + 5433. Let z = -124 + d. Is z a composite number?
True
Suppose 0 = 5*p - j - 24 - 2, 2*p = -4*j + 28. Let f be (1/2)/(p/(-12)). Is 0 + (71 - 3 - f) prime?
False
Is (96394/6)/((102/17)/18) prime?
True
Let s = 37326 - 26512. Is s prime?
False
Let v(m) = -m**3 + 11*m**2 + 26*m + 6. Let a be v(13). Suppose -a*z + 1778 = b - z, -4*b + 7187 = -5*z. Is b composite?
True
Suppose -2*h + 234367 + 275673 = 2*k, -1785239 = -7*k + 4*h. Is k a composite number?
True
Is 11/99 + 2/18 + 587678/18 composite?
True
Let g(k) be the first derivative of 0*k + 419/2*k**2 + 17. Is g(1) a prime number?
True
Let z = 355 + 371. Let t = -6636 - -6257. Let p = z + t. Is p composite?
False
Suppose 3*z = 1122 + 363. Suppose k = -z + 4045. Let m = k - -2031. Is m a composite number?
False
Let p(b) = -2363*b + 73. Let f be (12 + 4)*(-1)/(12/9). Is p(f) prime?
True
Let u(g) = 2*g - 6. Let k be u(4). Suppose -4*v - 2*f + 6 = 0, -k*v + 9 = -v - 2*f. Suppose v*y + 1087 = 5*x, 827 + 232 = 5*x + 4*y. Is x a composite number?
True
Let v = 46230 - 19603. Is v composite?
False
Let x = 245721 - 163556. Is x composite?
True
Suppose -10*x + 2066183 = -5862527. Is x a prime number?
True
Let p be (-40)/15*315/20. Let t = p - -38. Is (-2650)/(-8) + 1/t prime?
True
Suppose 111*v = 129*v - 6297246. Is v a prime number?
False
Suppose 79 - 119 = 5*u. Is (-2 - -1929)/(9 + u) a composite number?
True
Suppose -2*s = n + 144, 2*s + s + 2*n = -218. Let a be (1*-69 - -2)/(7/s). Suppose -a = p - 3*p. Is p prime?
False
Let i be -2 + (2 - (-3)/1). Suppose 0*l = -i*l, o + 3*l - 21923 = 0. Is o composite?
True
Let n(d) = 8*d - 320. Let j be n(40). Suppose -4*c = -2*p + 195 - 969, 3*c - 3*p - 588 = j. Is c a composite number?
False
Let p be 6/15 + 26/10. Suppose 10*s = -p*b + 6*s + 24421, -b + 4*s = -8167. Is b a prime number?
True
Let g(w) = -512*w + 3 - 18 + 6. Is g(-4) a composite number?
False
Let c be 3/(24/4)*0 + 8646. Suppose 2*p + 2906 = 5*q - 7899, 2*p = 4*q - c. Is q a prime number?
False
Suppose -51465 = -3*o - 5*y, 68642 = -9*o + 13*o + 3*y. Is o prime?
False
Let k(n) = 45*n**2 + 5*n + 1. Let w = 478 - 473. Is k(w) a prime number?
True
Let x = 76 + 23. Let i be -3*((-228)/24 + 8)*6/9. Suppose 0 = -6*q + i*q + x. Is q composite?
True
Let x(r) = -r**3 + 8*r**2 - 18*r. Let l be x(4). Let o be (-2)/l - (0 + 5)/20. Suppose o = 4*p + 3*q - 7027, -p + 8801 = 4*p - 2*q. Is p a prime number?
True
Let m = 2303 + -5665. Is (m/(-2))/(-15 + 16) a prime number?
False
Let n = 14715 - -59462. Is n a composite number?
False
Let o = 113446 - 80364. Suppose 2*z - 3*h = -3*z + o, 5*z + 2*h - 33087 = 0. Is z a prime number?
False
Let o = 90479 + -55787. Suppose 26*z = 46922 + o. Is z a prime number?
False
Let g(v) = 466*v**2 - 10*v - 7. Is g(10) a prime number?
False
