prime number?
True
Let x(l) = 71*l**2 - 12*l - 6. Let f = -181 + 188. Is x(f) prime?
True
Let g(d) = -d**3 + 25*d**2 + 3*d - 10. Let h be (-136)/(-8) + 0/(-1). Let f be g(h). Let z = f + -696. Is z a prime number?
True
Suppose 5*w + 10*i - 149635 = 0, -2*w + 4*i = -41270 - 18592. Is w composite?
True
Is (54/(-180))/((-9)/(-15))*-474086 prime?
True
Is 21525772/145 + (-3)/5 a composite number?
True
Is 8035/(16 - 14 - 1) a prime number?
False
Let s = 46920 - 20583. Is s a prime number?
False
Suppose 648*i + 13965 = 3*y + 646*i, 0 = -y + i + 4654. Is y prime?
True
Is (1/13)/(337/3668557399) prime?
True
Let y = -12479 + 21420. Is y a composite number?
False
Let v(c) = -c**2 + 2*c + 2. Let l = -63 + 52. Let r(h) = h**3 - 6*h**2 + 10*h + 10. Let q(u) = l*v(u) + 2*r(u). Is q(6) prime?
False
Let a be (-40)/(-5)*-1 + -1. Is 138/(-8)*6*58/a a prime number?
False
Let w = -47 + 49. Let l(d) = -4 + 3 - w - 82*d - 4. Is l(-3) a prime number?
True
Let i = -78 - -80. Let r(c) = 20*c + 23*c + 81*c**2 + i - 44*c + 11. Is r(5) a composite number?
True
Let l(x) = -1475*x + 451. Is l(-8) a composite number?
False
Let z(j) = -7*j**3 - 55*j**2 - 354*j + 17. Is z(-31) a composite number?
True
Let r(m) = 58*m**3 - 5*m**2 + 5. Let j be r(-2). Let k = j + 1368. Is k prime?
False
Suppose 0 = -3*l - q + 184034, 71*q - 184049 = -3*l + 67*q. Is l a prime number?
True
Let t = -170791 + 385112. Is t a composite number?
True
Suppose 0 = 4*o + 4*y - 69868, 4*y - 5 = -21. Is o prime?
True
Let z be (421/2)/(10/80*-2). Is 37*2/(-4)*z prime?
False
Suppose 0 = -2*z - 5*r + 36375 + 79883, 0 = 5*z - 5*r - 290715. Is z prime?
False
Suppose -a = -0*a + 3*n - 89, a = 4*n + 68. Let x be -66 + (-3 - -6) + -1. Is x/a - 11218/(-10) a composite number?
True
Is 2 + -1 + (-17 - -8) + 354975 a composite number?
True
Is (-5 - -3)*(-8)/4 - -244953 a composite number?
False
Is (5 + -6 + -744)*(-955)/25 a composite number?
True
Suppose 5*s + 4*c = 3*c + 2670, 3*c = 5*s - 2690. Let q = -54 + s. Is q composite?
True
Suppose 0 = -112*h + 117*h - 2*o - 2470127, 988058 = 2*h - 2*o. Is h a composite number?
False
Is (-251272230)/(-1694) - (-2)/7 a prime number?
True
Is 7500 + -1 - (-20 - -26) prime?
False
Let h = -46 + 50. Suppose h*k = k + b + 7796, k + 2*b - 2601 = 0. Is k composite?
True
Suppose 13*p + 15*p - 86092 = 17256. Is p prime?
True
Let p(g) = 583*g**2 + 19*g + 39. Is p(-5) composite?
False
Let g(o) = -5*o**3 + 28 - 17 - 8*o**2 - 16. Let y(s) = 5*s**3 + 7*s**2 + 5. Let k(l) = 3*g(l) + 4*y(l). Is k(4) composite?
False
Suppose -25*b + 20*b = -5*t - 929380, 0 = -t - 7. Is b a composite number?
False
Suppose i = 4*y - 225147 - 3736, 3*y - 171658 = 5*i. Is y a prime number?
True
Suppose 0 = -2*z + c + 17761, 2*z + 5*c - 17771 = 4*c. Let j = z - 6098. Is j prime?
False
Let r = 207239 + -147017. Is ((-115)/10)/23 - r/(-4) prime?
False
Suppose 98208 = -182*z + 190*z. Let s = z - 4141. Is s a prime number?
False
Suppose -5*j = -d + 203 - 67, 0 = 2*d + j - 217. Suppose -2*i - 132 + 28 = 0. Let m = d + i. Is m a prime number?
True
Let h(x) be the second derivative of x**4/12 + x**3 + 25*x**2/2 - x + 952. Let g be -4*6*2/(-3). Is h(g) a prime number?
False
Let h(s) = 0*s - s + 3*s**2 - 6*s**2 + 1 + 13*s**2 - 9*s. Let c(l) = -l**3 - 3*l**2 + l - 2. Let d be c(-4). Is h(d) a composite number?
True
Let u(d) = 745*d**3 - 12*d**2 + 100*d - 868. Is u(13) prime?
True
Suppose 2*f = -5*g - 7, -f - 4 = 3*g + 1. Suppose f*h + 5*z + 390 = 2*h, 0 = -5*h - 4*z - 941. Let n = 270 + h. Is n a prime number?
False
Let r be (1 - -1)/((259/42)/37). Suppose -r*f - 4384 + 120244 = 0. Is f a prime number?
False
Let m(f) = -6*f**2 - 25*f - 48. Let q be m(-10). Let o = 2105 - q. Is o composite?
False
Suppose -24 = 10*x - 6*x - 4*z, 5*x - z = -2. Suppose 4 = -2*n + 2. Is (-1)/(n/x) - (-1532 - 2) a prime number?
False
Is (-2)/(-21) - 140741/(-84)*92 composite?
True
Let k(q) = -q**3 + 4*q**2 + q + 1. Let t be 4/(-16) - 52/(-16). Let i be k(t). Suppose 639 = 4*x - i. Is x a composite number?
False
Let l = -316692 + 519613. Is l a prime number?
True
Suppose 33*u - 65*u - 3552 = 0. Suppose 3*b + c = 620, 2*b - 5*b = -4*c - 640. Let q = b + u. Is q a composite number?
False
Let z(h) = h - 6. Let c be z(7). Let k(g) be the third derivative of 19*g**4/6 - 5*g**3/6 - 2*g**2 - 10*g. Is k(c) a prime number?
True
Suppose 108*x = 238*x - 1963130. Is x a prime number?
True
Let h = -312080 - -761987. Is h prime?
False
Suppose -w - 2 = -5, 3*g = 2*w + 6. Let j(n) = -n**2 + 3*n + 6. Let b be j(g). Suppose -f + b*k - 6208 = -5*f, 0 = -5*f - 3*k + 7759. Is f a prime number?
True
Let o be 9/(-21) - (-1353)/21. Let j = o + 309. Suppose 0 = 2*i - i - j. Is i a composite number?
False
Suppose -5*l - 1818657 = -4*z, 0 = -4*z + 19*l - 155793 + 1974352. Is z prime?
True
Let g be 2/(-13) - (440784/(-52))/4. Let m = g + -1073. Is m a composite number?
True
Is 1/(-6) - (30384508/(-24))/49 a prime number?
False
Let s be 13*7909 + 0/3. Suppose -6*r - s = -17*r. Suppose -3*z - r = -4*d - 0*z, -4671 = -2*d + z. Is d composite?
False
Suppose -2*g = 1078 + 694. Let l = g - -1246. Let w = l + 987. Is w a prime number?
False
Let t(v) = -v**3 - 22*v**2 + 24*v + 27. Let h be t(-23). Suppose -2*m = -2 - h. Suppose 8*p - m*p - 5755 = 0. Is p composite?
False
Let q(j) = -j**3 + 117*j**2 + 44*j - 27. Is q(31) a composite number?
False
Suppose -44*c - 47*c = -1093001. Is c composite?
False
Let x = -6 + 8. Suppose -2*g - x = -0*g, -4*w = 4*g + 112. Is -4 + (-3694)/(-3)*w/(-18) prime?
False
Suppose -5*j + 7*j - 19938 = -4*p, -5*p + 4*j = -24890. Suppose -f + p = -8901. Is f prime?
True
Suppose -96*p - 28442 = -94*p - 206520. Is p a prime number?
False
Let z(d) = 12*d**2 - 14*d + 23. Suppose 3*r - 38 = -4*w, -r + 4*r + 10 = 2*w. Is z(w) prime?
False
Is (-345)/276 - (-8953)/4 prime?
True
Suppose -3*k - 5*u + 60 = 0, 5*k + u - 128 = 2*u. Let c = 21 - k. Is 2098/((-4)/c - -1) a composite number?
False
Suppose -8351 = -2*g + 5*u, 0 = 2*g - 3*g + 3*u + 4178. Let d = g - 2892. Suppose 4*m + 2*f - 2256 = 0, 2*m + 2*f + 145 = d. Is m a prime number?
False
Let u(b) = -b**2 - 34*b - 70. Let z be u(-31). Suppose -24*w = -z*w - 41435. Is w composite?
True
Suppose 2*x - 44 = 5*v, 5*x = v - 22 + 86. Let t be (-21)/(-2)*(-40)/15. Is 1352/14 - x/t composite?
False
Is (8 + 0 - 9)/((-244157)/(-40693) - 6) a composite number?
False
Suppose 0 = -24*d - 22*d + 1737926. Is d composite?
False
Let f(l) = l**3 - 21*l**2 + 22*l - 38. Suppose 5*n = -2*x + 50, n + 5 - 7 = 0. Let o be f(x). Suppose 0 = -16*j + o*j + 21854. Is j prime?
False
Let d(x) be the third derivative of -x**6/120 + x**5/12 - 5*x**4/24 + x**3/6 + 34*x**2. Let k be d(4). Is k/6 + (-2)/((-20)/5875) a composite number?
False
Let b(v) = -7441*v - 7243. Is b(-72) a composite number?
False
Let b = -97 - -220. Let h = b + 2774. Suppose 5*r - h = 438. Is r prime?
False
Let w be (2 - -5950)/3 - (-3 - -5). Suppose -4*y = -5*q - 2754, -4*y + 4*q + 774 + w = 0. Is y prime?
True
Let g(b) = -59*b + 13. Let n be (-110)/25*5/2. Is g(n) prime?
False
Suppose 73*l - 78*l + 4*t + 119891 = 0, -2*t = -2*l + 47956. Is l composite?
True
Let k(v) = 1941*v**2 + 55*v + 161. Is k(-9) composite?
False
Let w = 982483 - 670740. Is w a composite number?
False
Let t be (-20)/3*((-1560)/16)/(-13). Let s = t - -691. Is s prime?
True
Let h(j) = -5*j**2 + 20 - 435*j**3 - 8*j + 548*j**3 + 5*j**2. Is h(3) prime?
False
Let r(s) = -s**3 - 20*s**2 - 38*s - 2. Let v be r(-18). Suppose v*x - 1588 = 30*x. Is x prime?
True
Suppose -5*r + 2*b = -139699, 11*r = 9*r + 2*b + 55876. Is r*(-1)/(-7 - -6) a prime number?
True
Let p(c) = -3494*c**2 + 2*c - 1. Let w be (-1)/(-5)*(10 + -5). Let r be p(w). Let t = 5150 + r. Is t a prime number?
True
Suppose -2*x + 0*x = -6, 6*x = -n + 1899397. Is n a composite number?
True
Let y = -812896 + 1465103. Is y a composite number?
False
Suppose 4475 - 34454 = 5*m + 2*z, -4*m - 2*z = 23982. Is (-24)/(-9) + -2 - m/9 a prime number?
False
Let i(u) = 4*u**3 - 2*u**2 + 2*u + 1. Let x be i(1). Suppose -8*o + 45253 = x*o. Is o a composite number?
True
Suppose 4*u = 5*t - 176029, -115*t - 35189 = -116*t - 2*u. Is t a prime number?
True
Is (-25195)/2*2/(-4)*(25 + -21) composite?
True
Suppose -34*z + 42*z = 378280. Suppose z + 37482 = 29*c. Is c prime?
F