 Let s(h) = 2*q(h) + 18*z(h). Is s(-15) composite?
True
Let n be (-4)/16*2*8. Let v be 8502 - n - 0 - 0. Suppose -2*o = 692 - v. Is o prime?
True
Suppose -u + 65114 = -3*n + 3967, 4*u + 3*n = 244558. Is u a composite number?
False
Let c(b) = 659*b. Let t = -38 + 87. Let m = t - 48. Is c(m) composite?
False
Let s(f) = 25824*f - 241. Is s(2) a prime number?
True
Let x = 2544 - -4263. Suppose -3*c - 6 = 0, -5*v - c + x = -2*c. Is v prime?
True
Let t(x) = 7*x - 30. Let j = -62 - -67. Let q be t(j). Suppose q*v = -1394 + 9649. Is v a composite number?
True
Suppose -60*b = -58*b - 3*l - 550526, 4*b + 4*l = 1101012. Is b a prime number?
False
Let p(d) = 252*d**3 - 167*d - 89. Is p(12) a prime number?
False
Let u(j) = 100*j**2 + 108*j + 171. Is u(25) a prime number?
True
Suppose 4*n - 698 = -c, -7*n = c - 9*n - 728. Suppose -q + 4*s + 1351 = -c, 3*q = 4*s + 6207. Is q a prime number?
True
Suppose -o - 3*n = 5, -4*o + 4*n = -29 - 31. Let j(b) be the second derivative of b**4/4 + 11*b**3/6 - 17*b**2/2 - 123*b. Is j(o) prime?
False
Suppose -5547 = -3*l + 10599. Suppose 3*g + l - 15513 = 0. Is g prime?
False
Let l be (0 + (-1)/2)*0. Let b = 1529 + -1525. Suppose 3*f = -6, -b*s + 1580 = 4*f - l*f. Is s a composite number?
False
Let v(s) = -2*s + 22. Let r be v(9). Suppose 4 = r*w - 4*z, 6*w - 5*w - 5*z + 11 = 0. Suppose -d + w*x = -485, 4*d - 6*d + 970 = 3*x. Is d a composite number?
True
Let x = 26 + -24. Suppose 0 = -3*t + 11 - x. Suppose 1045 = b + t*s, 5*b = 8*b + s - 3119. Is b prime?
True
Let r = 139 + -139. Suppose -4*n + 12972 = 4*p - r*p, 2*p + 5*n = 6492. Is p composite?
True
Suppose -25*u + 7836953 = 124*u. Is u a composite number?
True
Let a(i) = -i**3 + 3*i**2 + 3*i + 4. Let j be a(4). Suppose 0 = 4*c - s - 0*s - 7063, -3*c - 5*s + 5280 = j. Is c prime?
False
Suppose 15*r = 7*r + 152. Suppose 15 = -4*m + r. Is m/(((-4)/(-118))/2) composite?
False
Let r = -693 + 2910. Is r prime?
False
Let p(a) = 1229*a**3 + 33*a - 103. Is p(3) a prime number?
True
Suppose 202*n = 207*n - 25, -4*v + 36046 = -2*n. Is v a composite number?
True
Suppose 0 = -2*o, -7*d + 22*d - 877665 = 2*o. Is d a prime number?
True
Let k = 3677 + 5810. Is k a prime number?
False
Suppose -4*r + 5*z = -30730, 0 = 4*z - 17 + 9. Suppose 3*t - 6148 = -5*k + k, -5*t - r = -5*k. Is k a composite number?
True
Suppose 0 = 2*r - 39 - 19. Let x(u) = 5*u**2 - 5*u + 23. Is x(r) a prime number?
False
Let d be (-7694918)/(-348) - (14/(-12) + 1). Suppose -k - 17353 + 2620 = -2*x, -k = 3*x - d. Is x prime?
True
Let c(o) be the first derivative of 21*o**3 - o**2/2 - 3*o + 2091. Let i(p) = p**2 + 2*p + 2. Let y be i(-3). Is c(y) a composite number?
False
Let m(s) = -295011*s - 308. Is m(-1) a composite number?
False
Let u = 85 - 81. Let n(m) be the second derivative of 269*m**3/6 + 11*m**2/2 - 23*m. Is n(u) prime?
True
Let m = -15 + 47. Suppose 23*t + 4509 = m*t. Is t prime?
False
Suppose 16*u - 2536 = 7592. Is (3 + -1)*6/(36/u) a prime number?
True
Suppose 3*d = 2*a - 2649 + 490, 4*d - 3247 = -3*a. Suppose 13*g - a = 1402. Is g composite?
False
Let k = 114 + -117. Is (-1)/(8/300264*k) composite?
False
Let w(n) = -n**3 - 2*n**2 + n - 2. Let f be w(-3). Suppose f*z - 9 = -1, -d = -z - 12299. Is d a prime number?
True
Let w(u) = -u**2 + 6*u + 14. Let i be w(10). Let k be i/(-3 + 1445/485). Suppose -8*h - 213 + k = 0. Is h a composite number?
False
Let k(a) be the second derivative of -a**4/12 + 3*a**3/2 + 10*a. Let j be k(9). Let l(g) = g**2 + g + 51. Is l(j) prime?
False
Suppose 4*u = 5*h - 135958, 0 = -5*u + 9 + 6. Suppose -f = 5*b - 9048, h = -11*f + 14*f + 5*b. Is f a prime number?
False
Let r(b) = 1613*b**2 - 3*b + 11. Let k(t) = -t**2 + 29*t + 299. Let c be k(37). Is r(c) a composite number?
False
Let s = 17774 + -28039. Let q = -1552 - s. Suppose -5*h = q - 35078. Is h composite?
False
Let y(m) = 9*m**2 + 13*m + 17. Let c(k) = 9*k**2 + 13*k + 16. Let r(i) = 4*c(i) - 3*y(i). Let s(v) = 1. Let o(t) = r(t) - 2*s(t). Is o(-9) composite?
True
Suppose -5*u - 2*v = -3465101, 1046*v - 9 = 1043*v. Is u a prime number?
True
Suppose 10668580 = 6*o - 43*o. Is (-24)/9 - o/78 prime?
False
Suppose -5*o = 5*m - 4*o + 3, 5*o + 15 = 5*m. Is -1*(-5 - -6)*-3071 + m a composite number?
True
Suppose -275610 + 1012222 + 587199 = 23*l. Is l a composite number?
False
Suppose 20 = 5*j, 4*j - 16 = -p - 4*p. Let v(k) = k + 4752. Let n be v(p). Suppose 3*l = -1605 + n. Is l composite?
False
Let l(v) = -v**2 - v + 46. Let i be l(-7). Suppose 16 = -i*j, 0*o + 5*j = -4*o + 15152. Is o a prime number?
True
Let w(u) = -18609*u - 1546. Is w(-13) a composite number?
False
Let n be 36169/9 + (-28)/(-126). Suppose -5441 = -10*y + n. Suppose 3*h + j - y = 0, 0*h - 4*j = 2*h - 614. Is h prime?
True
Let r(f) be the second derivative of -f**3/2 - 2*f**2 - 15*f. Let o be r(-3). Suppose 0 = -o*t - 2*s + 393, -t - 2*t + 3*s + 219 = 0. Is t prime?
False
Let u(i) = -9*i + 62. Let b be u(7). Let v(c) = -19872*c + 41. Is v(b) a composite number?
False
Suppose -1273651 - 814450 = -16*c - 7*c. Is c prime?
True
Let k = 3556 + -1440. Suppose 4*b + k = 3*n - 14155, 3*n - 3 = 0. Let i = -846 - b. Is i a composite number?
False
Let v = 191761 - 102024. Is v a prime number?
False
Is (728/(-78))/(16/(-326148)) composite?
True
Let h be (0/(-2)*(7 + -6))/2. Suppose 5*j + 2*j + 56 = h. Is 820 + (-2)/j*4 prime?
True
Let a be (-1)/((-8 + 3)/1965). Suppose -5*y - 202 - a = 0. Let r = 186 + y. Is r prime?
True
Let b(o) = -326*o + 138. Let f be b(-18). Suppose -f = -6*i + 8568. Is i prime?
False
Let k(s) = -4*s - 11. Suppose -5*r - 28 = -8. Let a be k(r). Suppose -2*n + 777 = a*n. Is n a composite number?
True
Let f be (-5)/2*(-2682804)/255. Suppose -12*h + f = -8462. Is h composite?
False
Let s(v) = -273*v**3 + 86*v**2 + 1018*v - 64. Is s(-15) composite?
False
Let j(z) = 15355*z + 276. Let p be j(29). Suppose -14*a + p = 39*a. Is a a prime number?
False
Let z = -5239 + 8544. Is z a prime number?
False
Suppose 2*u + 18*t - 678682 = 8*t, -3*t = -3*u + 1018023. Is u a prime number?
True
Let d = -564 - -684. Let r = 421 + d. Is r prime?
True
Let v(t) = 5*t**3 - 8*t**2 - 11*t - 24. Let l(g) = -4*g**3 + 9*g**2 + 12*g + 22. Let y(c) = 6*l(c) + 5*v(c). Is y(10) composite?
True
Suppose 8*r - 27*r - 23*r = -15187998. Is r composite?
True
Suppose -3*h - 28 = -2*b - 12, 3*b - 24 = 2*h. Suppose 2567 = b*f - 19921. Is f a prime number?
False
Let d(g) = 903*g**3 + 3*g**2 + 157*g - 904. Is d(5) a composite number?
False
Let o(d) = -d**3 - 10*d**2 - 13*d - 17. Let i be o(-10). Suppose -118*n + 7185 = -i*n. Is n composite?
True
Suppose -2*s + 16*y = 8*y - 419532, -4*s = 4*y - 839144. Is s a prime number?
False
Suppose -5*q + h + 5833 = 0, -6 = 3*h - 6*h. Let f be (-15)/(30/6100*5). Let a = q + f. Is a prime?
True
Suppose -3*n - 3787 = -o, 0 = 2*o - 0*n + 4*n - 7624. Suppose -3*k + o = y, 0*y = 3*y - 4*k - 11367. Is y a composite number?
False
Let g = 17010 + -273. Suppose g = -5*o + 71177. Suppose -7*p - p = -o. Is p a prime number?
True
Let u(f) = -2*f**2 + f + 32402. Let z be u(0). Suppose 8902 + z = 8*w. Is w prime?
False
Let f(a) = -a**3 - 17*a**2 - 51*a - 67. Is f(-14) a prime number?
True
Let l = -3358 + 5249. Suppose 3*v - 2*c = l, -4*c + 4083 - 924 = 5*v. Is v composite?
False
Let n(o) = -o**3 - 3*o**2. Let r be n(-3). Suppose -3351*s = -3313*s - 722. Suppose r = -s*j - 0*j + 8531. Is j a composite number?
False
Suppose 4*g = v + 1018566, 3*v - 396500 + 141865 = -g. Is g composite?
True
Suppose 24 = 3*w - 9. Suppose -13*a = -w*a - 1266. Let p = a - -334. Is p a prime number?
True
Let r be ((-33)/(-6))/(3 + 13162/(-4388)). Suppose 5*j - 4816 = -2*k, -j = -3*k - 2*k + r. Is k prime?
False
Let d = 275 + -273. Is ((-5)/d)/(55/(-4972)) composite?
True
Let l(c) = 288*c**2 - 81*c + 190. Is l(21) composite?
False
Suppose -p = 3*d - 236071, -2*p - 348590 = -4*d - 33822. Is d prime?
True
Let i = -10039 - -29426. Is i a prime number?
True
Is ((-45)/(-3) + -18)/(6*(-1)/930814) a prime number?
True
Let b(k) = 124405*k**3 + 2*k**2 + 9*k + 7. Is b(2) a composite number?
False
Let d(j) = j**3 - 9*j**2 - 5*j + 27. Let n be d(9). Is (22131/n)/((-39)/18 + 2) prime?
False
Let v = 216697 - 42370. Is v prime?
False
Suppose -40*u = -44*u + 3256. Let k be (u/4 + 5)*(-16)/(-3). Suppose 