Let j(l) = 14*l**2 + 60*l + 755. Is j(62) composite?
True
Let l(y) = -6*y**2 + 25*y - 5. Let x be l(4). Is 1/(x/(-4337))*(5 - 4) a composite number?
False
Let n = 52 + -52. Let u be 272/4*(n + -1 + 7). Let s = u + -53. Is s prime?
False
Suppose 5*q - 1365239 = -5*o + 382121, -4*o = 5*q - 1747359. Is q prime?
True
Suppose 5*l = -5, 25 = 5*p + 6*l - 11*l. Suppose 3*j = -h - 873 - 2350, -p*j = -2*h + 4284. Let u = 1720 + j. Is u a prime number?
True
Let o = 38797 - -26946. Is o a composite number?
True
Suppose -19024*o + 18997*o + 18590337 = 0. Is o a prime number?
True
Let z(q) = -846*q + 1. Suppose -2*o = -3*b - 384, 0 = 5*b - o + 835 - 195. Let n = b - -126. Is z(n) a composite number?
False
Suppose -3*v + 8*v - 17 = -4*k, 4*v = 2*k - 2. Let b(p) = 3*p**2 - 5*p + 2. Let o be b(2). Is (-14)/v*(-254)/o*1 a composite number?
True
Let q(w) = 4691*w**2 + 107*w - 631. Is q(6) prime?
True
Let f = 182 - 192. Is 4/f - 3301970/(-50) a composite number?
True
Let h = 225 - 222. Suppose h*p - 2*o = -7*o + 58615, 5*p = -4*o + 97683. Is p prime?
False
Let w = 4622 + 1977. Is w composite?
False
Let g be (-1 - -2)/((-7)/(-21)) - 4. Is (-5 - -6)/(g/(-587)) composite?
False
Let z = -203 + 209. Suppose -15645 = -9*r - z*r. Is r composite?
True
Let n(l) = -1262*l - 7. Let d(q) = 841*q + 4. Let y(i) = 8*d(i) + 5*n(i). Let z = 2 + -1. Is y(z) a composite number?
True
Let k be 19/38*20*1. Suppose -2*r = -k, 6*r - 1499 = -4*j + 3*r. Is j composite?
True
Let t(s) = -10*s**3 + 3*s**2 + s + 5. Let d be t(3). Let o = 252 - d. Is o a prime number?
True
Let j = 20180 + -9475. Let i = j + -5628. Is i composite?
False
Let j(x) = 713*x**2 - 347*x + 1045. Is j(3) prime?
True
Let l(n) be the second derivative of -459*n**5/10 - n**4/4 - 2*n**3/3 - n**2 + 34*n. Is l(-1) composite?
True
Let k = 8672 - 1037. Is 2 - k/(-9) - 14/(-21) a prime number?
False
Let v(i) = -i**2 - 3*i + 6. Let n be v(7). Let d = -60 - n. Suppose -t - d*p = -4*t + 973, 2*p + 1314 = 4*t. Is t a composite number?
False
Let d(s) = -9262*s + 1445. Is d(-9) a composite number?
True
Let x(f) = 3*f + f**3 + 42 + 4*f + 20 - 39*f**2 + 0*f - 11. Is x(40) a composite number?
False
Let x(u) = -2*u**3 - 17*u**2 - 8*u + 2. Let i be x(-8). Suppose -3207 = -o - 4*h, -i*h - 6374 = -7*o + 5*o. Is o a prime number?
True
Suppose r = 0, 3*r + 1080 = 3*j + 4*r. Let f = -249 + j. Is f a prime number?
False
Suppose -3*x - o = -x + 77, -x = -o + 40. Let u = 42 + x. Suppose u*k = 6*k - 4911. Is k prime?
True
Let c be ((-75)/(-50))/((-2)/4) - -5. Is (-17844 - c)/(-5 - -3)*1 a prime number?
True
Let v(x) = 8*x**3 - 8*x**2 - x - 2. Suppose -8*n - 11 = -83. Is v(n) a composite number?
True
Let p(t) = -596*t + 13 + 89 + 4 + 17. Is p(-5) a composite number?
True
Suppose 2*w + 2*w - 24 = -4*k, -4*w = 3*k - 19. Let r be k/(45/(-6)) + (-239710)/(-6). Is r/13 + 2/(-13) - 0 composite?
True
Let s = 36228 - 22435. Is s composite?
True
Is 0 + -4417*(-296)/56 composite?
True
Suppose -29*l + 10*l = -4188691 - 3407680. Is l a prime number?
False
Let k = -58924 - -235515. Is k prime?
True
Let f(k) = -1244*k - 1733. Is f(-21) prime?
True
Suppose 3*k - k = 26. Let m(t) be the first derivative of -t**3/3 + 37*t**2/2 + 5*t + 123. Is m(k) composite?
False
Suppose -1 = 3*f - 13. Suppose 3*i = -5*u + 613, -u + 794 = f*i - 6*u. Is i a composite number?
True
Let n be ((-292)/(-2 - 0))/((-27)/(-81)). Let o = 3095 - n. Is o a composite number?
False
Suppose 0 = 4*h - 4*a - 0*a + 54792, 2*h + 27381 = 5*a. Let z = h + 41644. Is z prime?
True
Let z(w) = -w**3 - 13*w**2 - 23*w + 4. Let y be z(-11). Is 103911/9 + -5*2/y prime?
False
Let q(s) = 1161*s**2 + 35*s - 82. Let c be q(-21). Suppose c = 20*u - 124196. Is u a prime number?
True
Suppose 4*o = 2*t - 786062, 181*t + 393007 = 182*t + 2*o. Is t a composite number?
True
Let c(t) = t**3 + 6*t**2 + 5*t + 5. Let y be c(-5). Suppose -4*u + 11*g + 35266 = 6*g, -3*g = y*u - 44101. Is u composite?
False
Suppose -15 = -5*h + 2*h. Suppose 7091 = -0*u + h*u + 3*g, 4*g - 4248 = -3*u. Suppose b + 3988 + u = 3*j, 5 = -b. Is j composite?
False
Suppose -21265 = -3*m - 4*u - 6925, -2*u = 5*m - 23914. Let q = m + -762. Is q a composite number?
True
Is (2167363/(-2))/((-4)/(-32)*352/(-88)) a composite number?
True
Suppose -7*n + 11*n = -3*d - 218173, -4*d = 3*n + 163628. Is (38/(-8))/(28/n) prime?
False
Let r(o) = 73*o**2 + 24*o + 37. Let i be r(-17). Suppose 20708 = 2*c + 2*c - 4*n, -4*c - 5*n = -i. Is c composite?
False
Let m(k) = -13*k**3 + k**2 + k - 1. Let z = 26 - 27. Let u be m(z). Suppose 0 = u*x - 13*x + 3037. Is x a composite number?
False
Let m(l) = -2*l**2 - 8*l - 4. Let w be m(-3). Suppose -3*k + 16485 = 2*t, w*k + 4*t + t = 10979. Is k a composite number?
True
Suppose -2*x = 3*h + 481, -28 - 147 = h - 3*x. Suppose -4*r = 2*r - 7404. Let z = r - h. Is z a prime number?
False
Let r = 975 + -630. Let p be r/((-6)/14*42/(-12)). Let x = p - -743. Is x a composite number?
True
Let j = -27627 - -49066. Is j a prime number?
False
Is (-3)/21 - (16 + (-6209318)/119) composite?
False
Suppose 0 = -2*m + 5 + 1. Let h(w) = w + 2. Let x be h(m). Suppose -x*u + 7825 = 3*v + 2*v, -7817 = -5*u - v. Is u a composite number?
True
Suppose -3*i = -17825 - 5410. Suppose -w + i = -d, w - 26 = 4*d + 7731. Is w composite?
False
Let r = -733 + -113. Let c = r - -2615. Is c a prime number?
False
Suppose 0 = -5*i + i + 4*n + 9508, i - 2379 = 3*n. Let o = i - 427. Is o a prime number?
True
Let o(b) = -8532*b - 1 + 8519*b + 7*b**3 - 7*b**2 + 2*b**2 + b**2. Is o(4) a prime number?
True
Let p(v) = 22*v**3 - 23*v**2 + 12*v + 20. Is p(11) a composite number?
True
Let z = 95 - 97. Let c(p) = -5*p**3 - 2*p**2 - 2*p + 3. Let q be c(z). Let o = 118 - q. Is o prime?
True
Let p(s) = 61*s**2 + 117*s + 7. Is p(19) a composite number?
False
Suppose -21*f + 118227 = -302256. Let q = 36012 - f. Is q composite?
True
Let o(x) = 2822*x**2 - 9*x - 68. Is o(-7) a composite number?
True
Let o = -236 + 249. Suppose -o*s + 55134 = 14*s. Is s a composite number?
True
Is (-4 - (-2353184)/6) + (-35)/105 + 8 a composite number?
False
Let r(k) = -3*k**2 - 27*k - 20. Let u be r(-8). Is (u/2 - 1)/(52/189020) prime?
False
Let j(f) = 19*f + 33257. Let p be j(0). Is 1/(199549/p + -6) a prime number?
True
Let g(j) = 10*j**2 + 8*j + 3. Let p be g(9). Let u be (4 - -1) + 20 + -521. Let y = u + p. Is y composite?
False
Let h(t) = 4*t + 9. Let q(l) = 3*l + 10. Let d(b) = -2*h(b) + 3*q(b). Let a be d(-10). Suppose 2*m - a*n - 10055 = -m, 0 = -3*n + 6. Is m a prime number?
False
Let s(j) be the first derivative of j**6/45 - j**5/8 + 11*j**4/24 - 2*j**3 - 9. Let o(f) be the third derivative of s(f). Is o(6) prime?
False
Is (1656/(-1288))/(15/(-7)) + (-344812)/(-5) composite?
False
Let w be ((-28)/49)/((-6)/21). Is w/((-2)/(-5271)*7) prime?
False
Is 90919 - -2 - 0/(-1) prime?
False
Let a(x) = 155*x**2 - 2*x - 52. Let s = 169 - 162. Is a(s) prime?
True
Suppose -3*r + 20 = -7*r, -5*s - 185 = 4*r. Is (s/(-12))/(3 - (-1211)/(-404)) composite?
True
Let y be 12/(2 + (-35)/10). Is (((-1958)/3)/(-2))/(y/(-24)) a composite number?
True
Let w = -40 + 37. Let p be 4/18 + ((-44)/36 - w). Suppose -4*i = p*v - 390, -i = -4*v - 52 - 23. Is i composite?
True
Let d = -494 - -497. Suppose -d*f - 4*x = -10379, f - 3448 = -4*x + 5*x. Is f prime?
False
Let m = 31 - 27. Suppose -14954 = -m*w + 11730. Is w a composite number?
True
Let l be 9545 + (486/9)/9. Let c = 2946 + l. Is c a composite number?
False
Let z = 10 + -22. Let p be z/(-54) - 7756/(-9). Let c = p - 371. Is c composite?
False
Suppose 3615 + 37750 = 3*z - u, 0 = -3*z + 4*u + 41359. Let f = z - 7796. Is f prime?
False
Let s = -277882 - -601095. Is s a composite number?
True
Let r be (1593/(-18))/((-3)/4). Let d = -143 + r. Is (d/5)/5 + 614*1 a prime number?
True
Let r(i) = -428*i**2 + 11*i - 12. Let d be r(4). Is d/(-10) + (-24)/160*4 prime?
False
Let m be (-1188)/8*4180/30. Is 1/((-15)/m) - (-2)/(-5) a composite number?
True
Let m = -58442 + 222808. Is m a prime number?
False
Let u = 192 + 3383. Let h = 6738 - u. Is h prime?
True
Suppose 16*b - 20*b = 4*t + 1044, -4*b - t - 1041 = 0. Let x be (-2)/(-4)*(923 - 1). Let q = x + b. Is q a prime number?
False
Let i be (3/(-6))/(11/66). Is (24/(-9) - i) + (-76186)/(-33) composite?
False
Suppose -50*d 