osite number?
True
Let k be 24/(-5)*90/(-27). Is 27290/k - 51/(-136) prime?
False
Let i(a) = a**2 - 4*a - 23. Let x be i(7). Let d be 5/x*(-88)/(-55)*-1. Suppose -3*q + 2243 = d*j, j + 8 = -j. Is q a prime number?
False
Let c(b) = -3*b**2 - 21*b + 4. Let h(g) = 13*g**2 + 84*g - 17. Let i(d) = 9*c(d) + 2*h(d). Let n be i(-9). Suppose -109*x + n*x = 409. Is x prime?
True
Let v(f) = f**2 + 12*f - 11. Let d be v(-13). Let o(p) = -2*p**3 + 3 + 2 + p**d - 3. Is o(-3) composite?
True
Suppose -p - 5*f = -16843, p - 16835 = -22*f + 19*f. Is p prime?
True
Let i(u) = 13. Let s(y) = -8*y - 13. Let g(f) = 5*i(f) + 6*s(f). Suppose -3*z + 12 - 33 = 0. Is g(z) prime?
False
Let t be 2*-1 - (6486/6 - -5). Let x be (3/6*338)/(-1). Let s = x - t. Is s composite?
False
Suppose 0 = 3*p - 17 - 7. Let a(o) = 17*o - 13 + 21*o + 30*o + 16*o - 66*o. Is a(p) composite?
False
Suppose -30*t + 220470 = -0*t. Is t a composite number?
False
Let z = -7 - -15. Let o(p) = -p**3 + 10*p**2 - 16*p + 19. Let l be o(z). Suppose 0 = -25*j + l*j + 1086. Is j a composite number?
False
Is ((-18)/(-3) - (-10527657)/(-63))*-3 a prime number?
True
Is (-1413)/4710*3992210/(-3) composite?
False
Suppose 0*y - 5*y - 18010 = 0. Suppose 390 = 8*n + 350. Is (n/((-15)/y))/(4/6) prime?
True
Suppose -25 = -5*o - 15. Suppose 5*r - 3*r - 68238 = -o*p, 4*p - 136496 = r. Is p prime?
True
Let f(g) = -g**3 - g**2 + 9*g - 8. Let p be f(-4). Suppose -p*o + 176 + 2134 = 3*c, 2*o = -5*c + 3836. Is c a composite number?
True
Let c(g) = 64*g**3 + 5*g + 11. Is c(4) prime?
True
Suppose 2*f = -0*f - i + 38, -3*f + 71 = -2*i. Let l(r) = 354*r - 1. Is l(f) composite?
False
Suppose 0 = -2*f + 21*u - 24*u + 102212, 2*f = 3*u + 102224. Is f a composite number?
False
Let s = -63 - -70. Suppose -s*k - 2587 = -53274. Is k prime?
False
Let d(a) = 14*a - 10*a - 15 + 61*a - 23*a**2 + 32*a**2. Is d(-31) a prime number?
True
Suppose 2*b - 577 + 217 = 0. Suppose 0 = 9*m - 27*m + b. Let h(j) = 4*j**3 - 2*j**2 - 9*j - 19. Is h(m) prime?
True
Suppose -20*d = -181435 - 142905. Is d a prime number?
True
Let p(y) = y**2 + 23*y + 2. Let m(q) = q**3 - 19*q**2 + 20*q - 26. Let s be m(18). Let z be p(s). Suppose -6*l = -2*l - z. Is l prime?
True
Let c be (2775/6)/5*(5 - 3). Let u = 826 - c. Is u a prime number?
True
Let w = 757 + -403. Let i = -175 + w. Is i a prime number?
True
Suppose 227*y + 30 = 230*y. Let b = 11256 - 7836. Is y*(4 + b/8) prime?
False
Suppose 0 = 4*u - 5 - 19. Let a be 2/9 + u/(-27). Suppose s = 5*d - 33 + 1006, s - 3*d - 981 = a. Is s a composite number?
True
Let c(v) = -2*v**2 - 10*v + 14. Let n be c(-7). Let s = -45 - n. Is (-2 - 27/(-1 + 4))*s a prime number?
False
Suppose -11*n = -6*n - 80. Suppose 21*z - 970 = n*z. Suppose c = -5*f + 97, -4*f = -2*c + 4*c - z. Is c prime?
True
Let d(w) = w**3 + w**2 - w + 5. Let k be d(0). Suppose -9 = 3*i, k*a + 3*i = 6*i + 1564. Suppose 3*t + 2 = t, a = 4*g - 3*t. Is g prime?
False
Suppose 3*m - 77674 = -5*k + 165, 0 = 5*k - 3*m - 77851. Is k a prime number?
True
Suppose -8 = 4*x - 5*x, 4*a + 5*x = 757268. Is a prime?
True
Let c(n) = -2 + 0 + 447*n - 170*n. Let r(u) = -2*u**3 - 2*u**2 + u - 1. Let s be r(-2). Is c(s) composite?
True
Let n(u) = u**3 + 5*u**2 + 2*u + 5. Let g be n(-3). Suppose 0 = -13*r + g*r - 3196. Is r a prime number?
False
Let c(q) = 14*q**3 + 5*q**2 - q + 1. Let n(f) = -f**2 + f - 1. Suppose 6*u - 8 = -2*u. Let b(d) = u*c(d) + 6*n(d). Is b(3) composite?
False
Let v be (-1 - 4281/9)*(11 - -25). Is v/(-48) - 3/6*-1 a composite number?
True
Let z = 71528 + 55509. Is z composite?
False
Let y(k) = 58*k - 40. Let q be 316/20 + 2/10. Let d be y(q). Suppose -13*z + 1595 = -d. Is z composite?
False
Let x(l) = 10*l**2 - 22*l - 43. Let c(n) = 11*n**2 - 22*n - 43. Let z = 3 - -4. Let q(m) = z*x(m) - 6*c(m). Is q(30) prime?
True
Let x(l) = 54*l**3 + l**2 + 4*l - 17. Let r be (-97)/(-19) - (7 + 655/(-95)). Is x(r) prime?
False
Let r be 1 - 0 - ((5 - 802) + -3). Let a be r*2 - (-5 - (-4 - 4)). Suppose 7*n - 10*n + a = 0. Is n prime?
False
Suppose 0 = -5*s - 3*w - 0*w + 589, s = -5*w + 109. Suppose -s = f - 18*f. Suppose f*j = -2*x + 2*j + 584, -2*j = -4. Is x prime?
False
Let h(i) = i**3 - 3*i**2 - 2*i + 15. Let r be h(0). Suppose -r*c + 8*c + 29407 = 0. Is c a prime number?
True
Let o = -81 - -87. Is o/(12/(-3433))*(1 - 3) composite?
False
Let g(o) = -6*o**3 - 10*o**2 - 20*o + 5. Is g(-18) a prime number?
True
Let q(c) = -c**3 - 8*c**2 - c - 8. Let t be q(-8). Let j be 7506 + 0/4 + t. Is 1 + j/(-45)*20/(-6) composite?
False
Let l(w) = -w**3 - 28*w**2 + 250*w - 62. Is l(-49) composite?
True
Suppose g + 5*s - 135 = 6*g, -5*g - 180 = 4*s. Let k be (1 - g/(-6))*-3. Suppose 374 = -11*t + k*t. Is t a composite number?
True
Suppose -3*q - 493934 = -152*j + 150*j, 3*j = 2*q + 740881. Is j a composite number?
True
Suppose 384*k = 394*k - 638530. Is k composite?
False
Let c(g) = -2*g**2 - 2*g - 10. Let d(t) = -4*t**2 - 3*t - 21. Let o(a) = 5*c(a) - 3*d(a). Suppose -2*k = -5 + 25. Is o(k) a composite number?
False
Suppose 2*u = g + 15, -5*u = -u - g - 25. Suppose u*w = k - 678, -5*w - 2064 = -0*k - 3*k. Suppose -4*x - 57 + k = 0. Is x prime?
False
Let l(h) be the first derivative of -33*h**2/2 - 95*h - 11. Is l(-20) a composite number?
True
Suppose 2*r = -2*r + 2*z + 808, -5*r + 1012 = -2*z. Let q(g) = -g**3 + 7*g**2 - 14*g + 21. Let x be q(5). Let h = x + r. Is h a prime number?
False
Is (-1708 + -1)/(47/(-1739)) prime?
False
Let l(h) = h**3 + h**2 + h - 97. Let b be (1 - 1)*(-20)/60. Let x be l(b). Let c = 164 + x. Is c prime?
True
Suppose -7*p = -13*p + 338046. Let t = -37600 + p. Is t a prime number?
False
Let y = 508 + -460. Is (-8)/y + (-530321)/(-66) a composite number?
True
Let x(y) = y**2 - 30*y + 7. Let b be x(-22). Suppose 3874 = 5*k + o - b, -1005 = -k - 5*o. Suppose 3163 = 8*q - k. Is q composite?
False
Let f = -28 + 32. Let s(g) = -8*g + 31. Let c be s(f). Is ((-7 - -2)/c)/((-5)/(-55)) a prime number?
False
Is 317176 - -6*40/(-48) a composite number?
False
Suppose 4*i - 2*k = 48658, -i = -5*k - 3975 - 8194. Suppose 7*z - 7205 = i. Is z a composite number?
False
Let m(d) be the second derivative of 37*d**4/4 + 2*d**3/3 + 37*d**2 + 92*d. Is m(9) composite?
True
Let i be (-404 + 0 + 2)*(-8)/6. Let q = -278 + i. Suppose -4*h = 2*h - q. Is h a prime number?
True
Let w(s) = 33*s**3 - 7 - 8*s**2 - 22*s + 7*s - 10*s**2 + 12*s. Is w(7) a prime number?
False
Let z = 320116 + 360175. Is z a composite number?
False
Suppose 0 = w - 5, -5*t + 4*w - 724 + 11419 = 0. Suppose 8*b = 10153 + t. Is b prime?
False
Suppose 48*o - 59*o = 29788. Let u = o - -6501. Is u prime?
True
Let h(b) = 2*b - 19. Let v be h(14). Suppose 23 = 8*m - v. Suppose j - 694 = 5*s, -4*j + 0*s = -m*s - 2760. Is j a composite number?
True
Suppose 0 = 4*v + 66*s - 70*s - 5962144, 4*v - 5962151 = -3*s. Is v prime?
False
Let n(o) = -13*o**2 + 2*o + 12. Let g be n(5). Let u = -73 - g. Suppose 365 = 7*a - u. Is a prime?
False
Suppose 4*f - 362654 = 3*p, 4*f + 3*p - 453277 = -f. Is f prime?
True
Suppose -979451 = -42*r - 12*r + 43*r. Is r prime?
True
Let v be (((-28)/(-21))/2)/(1/3). Suppose -c - 4*q = -25, -22 = -v*c + c - 3*q. Suppose 5*j = 92 + c. Is j a composite number?
True
Let c be -2*(-358)/8*(-1292)/2. Let z = 11770 - c. Is z a prime number?
False
Is (-1648164)/(-36) - -2 - (-2)/3 a prime number?
False
Suppose 162*j + 13044026 = 20317965 + 19576427. Is j a prime number?
False
Suppose -3*q + k = -3987473, 2*q + 2*k + 5316630 = 6*q. Suppose 21*x - q = -269729. Is x prime?
False
Let m(q) = -976*q + 7. Let j be m(-6). Let u = 774 + j. Is u prime?
True
Is ((-50766)/(-9))/(-5 - (-37334)/7458) a composite number?
True
Suppose -n + 3*f - 2 = 1, -5*n = -4*f - 29. Is 1/3*n + 4313 + -1 composite?
True
Let t(a) = 2*a - 1. Let i be t(2). Suppose 5*v = 4*m + 6275, -i*v + 0*v + 3765 = -5*m. Is v prime?
False
Let k(i) = 515*i**2 - 47*i + 1249. Is k(-32) composite?
True
Let d(v) = -2036*v + 79. Is d(-2) prime?
False
Let t(i) = 23404*i**2 + 9*i + 16. Is t(-2) composite?
True
Let w(i) = -7*i**3 + 8*i**2 - i - 23. Let o(z) = 4*z**3 - 4*z**2 + 11. Let f(s) = 13*o(s) + 6*w(s). Let p be (72/(-27))/((-2)/3). Is f(p) a prime number?
True
Suppose -2*s + 2 = 0, -2*s + 33845 + 45952 = 5*i. Is i composite?
False
Let z be 23386/(-7) - 