se 10*z - j*z = 0. Suppose 8*y - 5024 - 2328 = z. Is y prime?
True
Suppose 0 = 4*o + 14 - 42. Let m(h) be the first derivative of 87*h**2/2 + 4*h + 15. Is m(o) a prime number?
True
Let i(f) = 16*f - 184. Let n be i(12). Is ((-4)/n)/(5/(-36230)) a composite number?
False
Let m(h) = 442*h**2 + 5*h. Let q be m(2). Suppose l = 2*l - q. Is (l/(-4))/(7/(-14)) prime?
False
Let l(f) be the third derivative of -559*f**4/8 + 11*f**3/6 - 70*f**2. Is l(-2) prime?
False
Suppose -86 = -7*y - 23. Suppose 10241 = y*m - 14500. Is m prime?
True
Let l be (-3716)/(-36) - 3 - (-4)/(-18). Is 201840/l + -1 + 8/5 composite?
True
Suppose 2*c + 5*t = -2664, 5*t + 2028 + 1978 = -3*c. Let z = c - -4490. Suppose 4*v + 5*f = z, 2*v = -2*v + f + 3148. Is v prime?
True
Suppose 3*v + 0*v = -2*v. Suppose 3*p + 17*p - 5260 = v. Is p a prime number?
True
Suppose 4*w = 3*n + 4099454, -n = 3*w - 4211167 + 1136570. Is w composite?
True
Suppose -2*t + 6*t + 176 = 0. Is (3/(30/22948))/(t/(-110)) composite?
False
Suppose 0 = -114*h + 129916658 + 50082909 + 4062895. Is h a composite number?
False
Suppose -2*l = -y + 29850, 33361 + 56183 = 3*y - 3*l. Is y a composite number?
True
Suppose 2*u + t = 8, 4*t + 3 = 3*u - 20. Let k be u/(-5*3/(-15)). Suppose -k*m + 2*m + 2271 = 0. Is m a composite number?
False
Suppose 0 = -2*a - 503 + 1497. Let p(j) = j**2 + 35*j - 50. Let c be p(-28). Let w = c + a. Is w prime?
True
Let v(i) = -i**3 + 15*i**2 + 35*i - 8. Let j be v(17). Is (-6)/j*(-2212 + -5) prime?
False
Let i = -105005 + 203248. Is i prime?
False
Let q(b) = b**2 + 1. Let j be q(-1). Suppose 3*m - 13281 = 4*g, 0*g - 6644 = 2*g + j*m. Is g/(-6) - 4/8 a composite number?
True
Let w be 618/(-4)*(2 - 4). Let u(v) = 15*v - 393. Let p be u(15). Let f = w + p. Is f composite?
True
Suppose 25*z = 23*z + 10. Suppose 6*h = -2*h + z*h. Suppose r - 1053 - 138 = h. Is r a prime number?
False
Suppose -114*g + 269*g = 11778562 - 2114777. Is g prime?
True
Let r(h) = -14357*h + 5394. Is r(-23) composite?
True
Let c(j) = -j**2 + 10*j + 174. Let l be c(-9). Is 470 + -1 + -2 + l + -1 composite?
True
Let u be -10*(9/(-3) + 8). Is ((-25)/u)/(0 + (-1)/(-3286)) a prime number?
False
Let p(h) = -h**3 + 7*h**2 - 5*h - 2. Let u be p(6). Let d(m) = 4*m**3 + 6*m**2 - 14*m + 2. Is d(u) a composite number?
True
Let b = 129 + -150. Let u(y) be the first derivative of -39*y**2/2 + 52*y + 3. Is u(b) a composite number?
True
Let d = -41033 + 58696. Is d composite?
True
Suppose -103553 = 21*h - 1060292. Is h a prime number?
False
Let p(g) = -3*g + 38. Let y be p(10). Suppose 8 = 4*j, 2*c - 14 = -y*j + 3*j. Suppose -5*d + 663 = -c*d. Is d a prime number?
False
Let q = -110787 + 194338. Is q a prime number?
False
Suppose 3*o - 3*d - 222830 = -4*d, -10*o + 742797 = -d. Is o a prime number?
True
Let d = -76 + 96. Suppose -301939 = -d*u + 55161. Is u a composite number?
True
Let m(u) = 3*u + 26*u + 34 - 51. Is m(12) prime?
True
Let f(y) be the second derivative of -y**5/10 - y**4 + 11*y**3/3 - 17*y**2/2 - 38*y. Let b be f(-13). Suppose 2442 = 5*q - b. Is q a prime number?
False
Let y(m) = -m**3 - 7*m**2 - 11*m + 2. Let l be y(-4). Is -3 - (340*l + 3) - 1 prime?
True
Let f be (-19)/((-855)/(-18)) + 43342/5. Suppose 5*n - 3*x = -5*x + 43317, 0 = n + 5*x - f. Is n a prime number?
True
Suppose -13*l = -55 + 68. Is (l*(-3)/(-18))/(11/(-397914)) prime?
True
Let m(o) = 5*o**3 + 9*o**2 + 2*o + 16. Let i = 25 - 16. Let r be m(i). Suppose -489 = -3*c - 4*y + 2824, 3*y = -4*c + r. Is c a composite number?
True
Suppose -24*o + 19*o - 5 = 0, 121284 = 5*u + o. Is u prime?
False
Is -3 - 416/(-13)*45065/20 prime?
True
Suppose -28*r = 14*r - 1720866. Is r composite?
False
Let l = 5967 - 5965. Suppose 4*a + 76 = 5*a. Suppose -l*q + a = 2*q. Is q a prime number?
True
Let x = 1338259 - 770060. Is x prime?
False
Suppose -56*c - 4815251 = -17*c - 46*c. Is c prime?
True
Let k(o) = -152232*o - 985. Is k(-15) a composite number?
True
Suppose 0 = 4*r - 5*x - 198, -x = 2*r + 3*x - 86. Let c = r + 311. Is c composite?
True
Let t = -396 + 397. Let n(b) = 4408*b**3 + 13*b - 12. Is n(t) a prime number?
True
Let c(j) be the second derivative of -2*j**3/3 - 10*j**2 - 18*j. Let u be c(-6). Suppose -2*q - q = 5*y - 97, -30 = -q - u*y. Is q composite?
True
Let u(f) be the second derivative of 2*f**4/3 - 3*f**3/2 - 27*f**2 + 61*f. Is u(-5) composite?
False
Let x = -114 - -130. Suppose x*d + 28570 = 26*d. Is d prime?
True
Let r(w) = -369*w**2 + 3*w + 6. Let l be r(-3). Let u = l + 4867. Is u a composite number?
False
Let c(k) = k**2 - 3*k - 10. Let l be c(5). Let y(h) = -3*h + 5. Let p be y(l). Suppose -2705 = -p*o - 0*o. Is o composite?
False
Let b be (2 + -6)/((-72)/36). Suppose 4*h - b*c - 2*c = 10864, 4*h - 5*c - 10859 = 0. Is h a composite number?
True
Suppose -12*k + 670992 + 149120 - 3260 = 0. Is k a composite number?
False
Suppose 15 = -d + 16, y = 4*d + 330839. Is y composite?
True
Is -2 + (-36)/(-19) + 12130767/1881 a composite number?
False
Is 29657*((-1)/12*-3)/((-41)/(-164)) composite?
True
Suppose -20*c + 155050 = -5490. Is c a composite number?
True
Let j = -562 + 564. Suppose j*i - 4776 + 674 = -g, 5*g - 2033 = -i. Is i a prime number?
True
Let o(m) = 88194*m**2 - 23*m - 18. Is o(-1) a prime number?
False
Suppose 0 = -4*r - 8 + 84. Suppose 21*f = r*f + 1356. Is f/(-10)*-23 + (-46)/115 a composite number?
False
Suppose 29*h + 23*h + 4*h = 13707736. Is h a prime number?
True
Is 1317884*1 - (-633)/(-211) composite?
False
Suppose -616*x - 271*x + 108*x + 78461659 = 0. Is x a composite number?
True
Let n(l) = 807*l**3 - 13*l**2 + 46*l - 55. Is n(9) a prime number?
False
Suppose 0 = -4*u + 3*b - 12512, -7*b - 12 = -4*b. Let c = u - -1898. Let z = c - -2590. Is z a prime number?
False
Let x(l) = l**3 - 2*l + 44. Let y be x(0). Let u = -33 + y. Is -11 + u + (0 - -1171) composite?
False
Let l(k) = -7563*k - 184. Is l(-1) composite?
True
Let w(l) = -7755*l + 1427. Is w(-10) composite?
False
Let j(n) = 111 - 1122*n - 209 + 117. Is j(-4) composite?
False
Suppose -11 = 4*c - 19. Suppose 9*j - 5*j - 2541 = 5*z, c*j = 2*z + 1268. Is j a prime number?
False
Suppose 2*f - 9 = 3*z - 1, -f + 4 = 0. Suppose -i - i - 296 = z. Let s = 309 + i. Is s prime?
False
Is 14 + -14 + 1*9277 prime?
True
Let x(p) = -63*p + 80. Let o(j) = -j**2 + 2*j - 4. Let a be o(3). Is x(a) prime?
True
Let i(h) = -61*h**3 - 21*h**2 - 60*h + 65. Is i(-14) prime?
True
Let l(b) = -8242*b**3 - 4*b**2 - 7*b - 5. Is l(-2) composite?
False
Suppose 1045 + 2765 = 3*u. Suppose -3*m + u = 7*s - 2*s, -3*m = -3*s + 762. Is s a prime number?
False
Suppose 7*s = 283 - 269. Suppose 4*t = 2*t + 8. Suppose -4*a + 0*a + 1156 = t*l, s*l - 5*a - 564 = 0. Is l prime?
False
Let v = 333 - 326. Let n(s) = 172*s**2 - 6*s - 3. Is n(v) a composite number?
True
Suppose 738*n = 559*n - 680*n + 19421131. Is n composite?
True
Suppose -39 = -271*x + 258*x. Suppose 4*r - 14336 = -2*w, -6*w + x*r = -7*w + 7171. Is w a composite number?
True
Suppose -1041262 = -4*f - 322*p + 325*p, 0 = -4*f - 2*p + 1041272. Is f prime?
True
Let r(c) = 15*c - 61. Let f be r(11). Suppose -5*w - 4*v = -14921, 5*v + f + 14781 = 5*w. Is w composite?
True
Suppose 22*b - 1851705 = 4833193. Is b a prime number?
True
Suppose -99*l + 514*l - 148529318 = -171*l. Is l prime?
False
Suppose 4*b + 4*x - 482900 = 0, 241498 = 2*b + 155*x - 159*x. Is b a prime number?
False
Let v be (688/4 + -7)*8. Let s = v + 9779. Is s prime?
False
Let d = 311 + -203. Let j be (-1296)/(-34) - 12/102. Is -1*j/4*(2 - d) a composite number?
True
Let c be ((-1)/1 - (-21)/7) + -2. Suppose -4*f = -3*f - 8404. Suppose 4*a + 5*n - f = c, n = -a + 5*a - 8404. Is a a prime number?
False
Let o(u) = 592*u**2 - 50*u + 147. Is o(19) prime?
True
Let m = -1067 - 134. Is m/3*(5 - 8) a prime number?
True
Is (147993/12)/((4/(-10))/((-104)/65)) a prime number?
True
Suppose -5*f + 751669 = 3*t, 4*t + 24*f = 20*f + 1002204. Is t a prime number?
True
Suppose -3*m + 5289 = 3*k, -4*k - 65*m + 68*m = -7024. Is k a prime number?
True
Let k(j) = -j + 7. Let u be k(-8). Suppose 353369 + 108951 = 20*i. Suppose -u*f = -11*f - i. Is f prime?
True
Let u = 27616 - -48301. Is u composite?
True
Let v = 16 + -22. Let f be -1 + 8350 - 7/((-14)/v). Suppose f = 7*h - h. Is h a prime number?
False
Suppose -5*n - q = 