-6*q - 1388735, 5*n + 4*q = 1388681. Is n prime?
True
Suppose 6*t = 8426 + 112. Is t prime?
True
Is (5 - (1 + 2))*2 + (8 - -8566) composite?
True
Let a = -230 - -122. Let g = a + 561. Is g prime?
False
Is 1*(8924 - 3 - (-4)/2) a prime number?
True
Let c(l) = -l**3 - 9*l**2 - 11*l - 1. Let t be c(-8). Suppose -t*d + 19*d + 26760 = 0. Suppose 4*x - d = 2*n, 4*x - 3*x - 1669 = 4*n. Is x a composite number?
True
Let a = -192 - -282. Suppose a = r + r - 5*z, -135 = -3*r - 5*z. Let u = 8 + r. Is u a prime number?
True
Let f = 486 - 492. Let i(c) = -c**3 + 2*c**2 + 10*c + 43. Is i(f) composite?
False
Let p(i) = 2*i**2 + 67*i + 392. Is p(-75) composite?
True
Is (-256740)/(-27) + -1*(-16)/144 a composite number?
True
Let s(l) = 2*l**3 + 25*l**2 + 13*l + 3. Let t(m) = 2*m**3 + 21*m**2 + 12*m + 4. Let p(z) = 5*s(z) - 6*t(z). Let x be (5/(-2))/((-3)/(-6)). Is p(x) composite?
False
Let i be -29*(-2)/2 + 28/(-7). Suppose 0 = -i*y + 11*y + 364. Is y prime?
False
Suppose q = -4*l + 10030, 3*l - 10961 = -q - 929. Suppose h + 5*h = q. Is h a composite number?
True
Suppose 0 = 7*u - 481 + 194. Suppose o + 44 = -4*l - 3*o, 5*o = -3*l - u. Is (-91)/26*524/l composite?
True
Let i(z) = -z**3 + z + 2128. Let f be i(0). Suppose -2*p + 234 = f. Let k = p - -2062. Is k composite?
True
Let m(t) = 143*t**3 - 13*t**2 + 27*t + 155. Is m(12) a composite number?
False
Let g(v) = -v**3 + 6*v**2 - 4*v + 4. Let x be g(4). Suppose 0 = -24*c + x*c - 3132. Let r = -290 - c. Is r a composite number?
True
Suppose 5*m - 3*w = 1225, 1225 = -3*m + 8*m - 5*w. Let z = -641 + 645. Suppose 2*d = -9*c + z*c + 510, d = -5*c + m. Is d prime?
False
Let n(g) = 22065*g - 10187. Is n(36) prime?
True
Suppose 1 = 4*n + 21. Let m(u) be the second derivative of -u**5/5 + u**4/6 + 3*u**2/2 + 8*u + 3. Is m(n) a prime number?
False
Let g(k) = -20*k + 30. Let z be g(5). Let r = z - -76. Suppose -5*v - 293 = -r*v. Is v a composite number?
False
Is 125876/10 - (-1001)/715 prime?
True
Suppose 0 = -3*k - 30 + 192. Let t be (-4 + 9)/((-1)/29). Is (k/(-30))/(3/t) prime?
False
Let i(p) = p**2 + 5*p + 5. Let v be i(-5). Suppose 1464 = -v*y - 4*l + 5055, -2*y = -5*l - 1443. Suppose y - 25 = 2*x. Is x prime?
True
Let s = -8 + 13. Let o(i) be the third derivative of 31*i**4/6 + 11*i**3/6 - 2*i**2 - 127. Is o(s) prime?
True
Let t(s) = -104*s - 11. Let r(i) = -i + 1. Let z(u) = -6*r(u) + t(u). Is z(-5) prime?
False
Let u = -58 + 66. Let j(m) = m**3 - 9*m**2 + 9*m - 16. Let s be j(u). Is (-11)/(-44) - ((-12030)/s)/(-5) a prime number?
False
Let v = -399217 - -813720. Is v a composite number?
False
Let h = 6071 + -8928. Let a = -1056 - h. Is a prime?
True
Is 370/296 + (-91743)/(-4) prime?
True
Let j(i) = -17*i + 1257. Is j(-40) a composite number?
True
Suppose 102 - 22 = 20*g. Is g - (-4 + 7 - 2706) a composite number?
False
Let s = 69 - 71. Let c(j) = -410*j + 18. Is c(s) composite?
True
Suppose -5*s + 1324415 = 2*w, -2*s - 6*w + 529772 = -4*w. Is s prime?
True
Suppose 6602340 = 13*f + 822206 - 3560743. Is f a prime number?
False
Suppose 4*g - 7 - 9 = 2*t, 0 = 3*t - 5*g + 19. Let v(w) = 3*w - 1. Let d be v(t). Suppose -d*a = -96 - 74. Is a a composite number?
True
Let v(g) = -2*g**2 - 23*g - 9. Let s be v(-11). Suppose -s*o + 197 = -201. Suppose -o = -10*r + 1471. Is r a composite number?
False
Suppose -2034660 = -422*n + 392*n. Is n prime?
False
Suppose -1 = -2*i + 5. Suppose -3*n - n = -8, 6 = i*w - 3*n. Suppose -5*b + w*p = p - 575, 2*b - 221 = 3*p. Is b prime?
False
Let w = 375768 + -101665. Is w a composite number?
False
Suppose 0 = -2*t - 0 + 10. Suppose 4*i - 5*v = 450, t*i - 4*i - 3*v = 109. Is i composite?
True
Let i = 3218 - 2239. Let l(k) = 153*k + 4. Let h be l(-4). Let t = h + i. Is t a prime number?
False
Let k = 625267 + -137406. Is k composite?
True
Let j = -3438 - -2373. Let v = 2152 + j. Is v prime?
True
Let l(k) = -4843*k + 134. Let j be l(-12). Suppose 58242 = 2*m + 4*s, 0 = 5*m - 7*m + 4*s + j. Is m a composite number?
False
Suppose 976*v = 981*v - 40. Suppose -v*p + 15912 = -34144. Is p composite?
False
Let v = -456 - -451. Is 5 + 6456 - (v + -1) a prime number?
False
Suppose -28*y + 768726 + 892591 = -126511. Is y a composite number?
True
Suppose -y = -531 - 3566. Let w = -108 + y. Is w prime?
True
Let o = 444 + -425. Suppose -39137 = -o*p + 12*p. Is p composite?
False
Is (-119 - -114)*725636/10*5/(-10) composite?
False
Suppose -15*t - 14*t + 13196465 = 12*t. Is t composite?
True
Let g = -158 + 369. Suppose q - 2*q + 3*a = -g, 4*q = 4*a + 876. Let p = 462 + q. Is p composite?
True
Let q(v) = v**3 - 7*v**2 + 4*v + 14. Let m be q(6). Let l be m/5 - (-18564)/(-85). Let j = -129 - l. Is j a composite number?
False
Suppose 2*q - 5*g + 16 = 0, 5*g + 2 = 13*q - 17*q. Is (q - -10)*997 + (5 - 5) a prime number?
False
Let z(f) be the first derivative of -f**2/2 - 13*f + 9. Let b be z(-15). Suppose 49 = v + 3*w - 2, -b*v = -2*w - 70. Is v prime?
False
Let z(l) = 102*l**2 - 7*l - 3. Let w be z(-5). Let f = w + -1199. Is f a composite number?
True
Suppose 3*k - 82 = -5*n, 44 = -k + 3*k - 2*n. Let z = k - -71. Is z a prime number?
False
Let l be 1/(-1 - (-27)/26). Suppose 0 = 4*g - 2 - l. Suppose 6*v = g*v - 47. Is v a composite number?
False
Suppose -s - 5*h = -2*s, -h = 0. Suppose 0 = 4*k + 3*n - 2565, 203*k = 195*k - 4*n + 5124. Suppose -3*u + 492 + k = s. Is u a composite number?
True
Let c be 7*1 - (-11 + 14). Suppose -c - 14 = -9*v. Suppose -b - 794 = -3*y, -v*y = 2*b - b - 521. Is y a composite number?
False
Let j = 3 - -1. Suppose -6*s - 5*s + 5544 = 0. Suppose 2*x - s = -4*z, -x - 2*x - 514 = -j*z. Is z composite?
False
Let c = -6 + 6. Suppose -18*l + 32*l - 2086 = c. Is l a composite number?
False
Let c be -2 - (4 + (-3027)/3 + -1). Let g = -331 + c. Is g a composite number?
False
Suppose 5*a + 25 = 0, 8*a + 15 = -2*f + 3*a. Suppose 0*s + f*s - 4*v - 39953 = 0, 3*s = -4*v + 23991. Is s a prime number?
True
Let w(g) = 5351*g - 59. Is w(2) prime?
False
Suppose 0 = 8*q - 10*q + 123634. Suppose -2*t = 4*b - 466 - 30426, -4*t + q = -3*b. Suppose -7*j = -13353 - t. Is j a prime number?
False
Let o be (-86430)/(-35) - (-3)/(-7). Suppose 19*t - 16*t = -o. Let x = -8 - t. Is x composite?
True
Let b = 1415 + -1443. Let x(q) = 4*q**2 - 3*q + 1. Let g be x(3). Is 2*((-8)/b - (-8154)/g) composite?
True
Suppose -3*d + 4*v + 331 = 0, -3*d - 8*v + 4*v + 299 = 0. Is 35/d + 706/(-3)*-41 a prime number?
True
Let p be (-1)/(-4) + (-1053)/(-108). Let i(w) = -8*w + p*w**2 + 2 + 4*w**2 - w**2. Is i(4) prime?
False
Let i(m) = -m**3 + 8*m**2 - 5*m - 9. Suppose 0 = 6*o - 27 - 15. Let q be i(o). Is 2 - 965/(-5)*q a composite number?
False
Is (-1865446)/(-154) + (-4)/14 composite?
False
Suppose 14*g = 13*g. Suppose 4*n + g*n = -4*y, 4*n + 2*y = 4. Suppose 7*q - 3*q = -4*k + 236, 0 = n*k + 3*q - 118. Is k composite?
False
Is (-11)/(-3)*(-41 + 135398) prime?
False
Suppose 0 = -0*d - 2*d + 974. Suppose -2*f = -i - 499, 2*f - 9*i = -4*i + d. Is f composite?
False
Let c = -53 - -56. Suppose 0 = -c*b + 1486 - 328. Is b prime?
False
Suppose 227440 = 74*z - 1495206. Is z composite?
False
Suppose -28*b + 870860 = -1044879 + 282387. Is b a prime number?
False
Suppose 0 = 9*h - 3395 - 2959. Let u = 3539 - h. Is u a prime number?
True
Let n be ((-18)/12)/(2/(-1388)). Suppose 9*y - 11*y + 688 = 0. Let i = y + n. Is i composite?
True
Let g(m) = 202*m**2 - 192*m - 363. Is g(18) a prime number?
False
Let q = 561 + -557. Suppose -q*g = -5*a - 231, -3*g + 5*a + 113 = -g. Is g a composite number?
False
Let f(d) = 3*d - 18. Let w be f(12). Suppose 2*t + w*t = 118380. Is t a prime number?
False
Let u be (-4 - (-1874)/8)/(1/36). Suppose 5*t - 8301 = u. Let c = t - 2117. Is c a prime number?
True
Let w = 450772 + -256533. Is w a prime number?
True
Let j(w) = w**2 - 25*w + 101. Is j(24) composite?
True
Let q be 1/(3/(-9)) + 6 + -1. Let m(s) = 1709*s + 15. Is m(q) a prime number?
True
Suppose 2*g + 6477 = 3*n, -4*n - 4*g + 4832 = -3824. Is n composite?
False
Is 4/12*-15 + (-2 - -8) + 1172890 prime?
False
Let q(r) = -23*r**3 - 35*r**2 - 18*r - 49. Is q(-16) a composite number?
False
Suppose 446993 + 897302 = s - 3*c, 5*c + 20 = 0. Is s a composite number?
False
Let f(p) = 832*p**2 - 18*p + 51. Let z be 8/(6 + -2) + 2. Is f(z) a composite number?
Fa