-1259. Is g prime?
True
Let u be (-2)/3 - -1 - 952/(-42). Suppose -26*n + u*n + 6 = 0. Suppose -3*p = -0*l - n*l - 5057, -8430 = -5*p + 5*l. Is p a composite number?
True
Let g(s) = 9*s - 2. Let t be g(4). Let p = -44 + t. Is (-4 + 5975/p)*-2 a prime number?
False
Let a be 95/25 - (12/15 + -1). Suppose -3*s - a*q = -2*s - 3298, -13135 = -4*s + 3*q. Let r = s + -2213. Is r a prime number?
False
Suppose 120*d = 116*d + 18784. Suppose 15*q - 7109 - d = 0. Is q prime?
True
Let y(i) = i**3 - 4*i**2 - 2*i - 54. Let f = 162 - 143. Is y(f) a prime number?
True
Let a = -918 + 925. Let p be 2/2 - (2 - -14). Is p/(-3)*a + -4 a prime number?
True
Let x(m) = -2809*m - 1049. Is x(-10) composite?
True
Let f(x) = 423702*x**2 + 5*x - 10. Is f(1) a composite number?
False
Let n = 28142 + 34749. Is n a prime number?
False
Suppose 2*i + l = -2*l + 34, 3*i - 51 = -5*l. Suppose 154 = i*t - 15*t. Is 7917/t + (-2)/(-11) a composite number?
False
Suppose 5*l - 70 + 20 = 0. Suppose -2*y - q + 767 = 0, l*y - 396 = 9*y - 3*q. Is y composite?
True
Let x = 14 + -7. Suppose 10*v = x*v. Suppose v = -2*a + 2185 + 1125. Is a a composite number?
True
Let t = 77 - 69. Suppose -4*j = -t*j + 3*z + 45541, -4*j - 3*z = -45571. Is j a composite number?
True
Suppose 82 = 4*v + g, 5*v + g - 40 = 3*v. Suppose v = x - 18. Is x prime?
False
Suppose -16639 - 30173 = -2*l. Suppose -14*i = -109468 - l. Is i a prime number?
True
Let d(w) = w**2 - 8*w + 34. Let b be d(4). Let v be (-2)/(4/3*(-27)/b). Is ((-4 - v)/25)/(1/(-5435)) composite?
False
Suppose 147*s = 145*s + 2. Suppose 5*k - 5*f + f - 4 = 0, -5*f + 16 = -k. Is s*6999/(12/k) prime?
True
Let b(d) = 16092*d**2 - 61*d + 194. Is b(3) a prime number?
True
Suppose 5*z + 2 - 17 = 0, 4*p + 2*z + 29810 = 0. Let l = p + 11161. Is l/11*(2 + -1) a composite number?
False
Suppose 22608 + 52519 = 3811*w - 3798*w. Is w a composite number?
False
Suppose l = 6*l + 3*w - 27, 3*l + 3*w - 21 = 0. Suppose p + 2*s - l = 0, 2*s = 6*s. Suppose 2*a - 7813 - 16996 = -3*m, 2*m + p*a - 16541 = 0. Is m composite?
False
Suppose -2321998 - 2344480 = -51*f + 2199601. Is f prime?
False
Let i be (-22 + 21)*(-2 - -1). Suppose 0*x = -x - i. Is 5*(x + 1056) - 2 prime?
True
Let i = 27 - 24. Let b be 0*i/3 + -1. Is 92/22 - (39/33 + b) prime?
False
Let i(j) = j**2 + 13*j + 43. Let l be i(-11). Let w = 24 - l. Suppose 2439 = -w*h + 4*h + 4*v, -1 = v. Is h a composite number?
True
Is 944873/2*342/171 prime?
True
Let c = 77538 + -45449. Is c prime?
True
Let l(x) be the second derivative of 3679*x**5/10 - 5*x**4/12 + x**3/3 + x**2 + 3*x - 26. Is l(1) composite?
True
Let r = -103 - -108. Suppose -1155 = -4*i + 296105. Is i/(-50)*-2 + 2/r a prime number?
False
Let i be 32/(48/(-6)) + -431. Let w = 497 + i. Is w a composite number?
True
Let c(i) = 8*i**2 - 2*i + 4271. Is c(0) composite?
False
Suppose -5*j = -5*l - 821620, -2*l + 298778 = 2*j - 29890. Is j a prime number?
False
Is -4 - (1 + -15903)/(23/((-3036)/(-24))) prime?
False
Let d = 2358676 - 1645987. Is d composite?
True
Let w(s) = -s**2 - 19*s + 1. Let r(h) = 39*h - 18*h**2 + 1 - 37*h + 6*h**2. Let z be r(-1). Is w(z) a prime number?
True
Suppose -4*v = 3*r + 2718 + 2793, 4*v = -2*r - 5510. Let a = 2672 - v. Is a composite?
False
Suppose 325 = 3*d - 2*p, -3*p + 115 = d - 7*p. Let h = d + 578. Is h prime?
False
Suppose -5*z - 451 = -1731. Let u = z - -421. Is u composite?
False
Let p(c) = 12*c**2 + 25*c + 1154. Is p(105) prime?
False
Suppose 0 = 2*m - r - 17851 - 77068, 2*r = -2*m + 94916. Is m prime?
True
Let i = -1203747 + 2869897. Is 1*i/60 - 1/6 prime?
False
Suppose 4*q + 12 = -0*q. Let z = 98165 + -54590. Is (z/12)/7 + q/(-12) composite?
True
Let c(j) = -j**2 - 4*j. Let y be c(-6). Let p(v) = -v**3 - 11*v**2 + 12*v + 2. Let k be p(y). Is (k/(12/(-10)))/(36/(-54972)) composite?
True
Let s(v) = -2*v + 37. Let k be s(20). Let u be 0/k + -8 + 24. Is (-456)/u*66/(-9) a prime number?
False
Let y(w) = -88*w + 1. Let b be 2/(4*1/16). Let q be y(b). Is 2*q*(-1)/(1 + 1) a prime number?
False
Suppose -4*y + 5*p = -786628, 127*y - 129*y + 393314 = 5*p. Is y a prime number?
True
Let l(s) = -38*s - 7. Let g be l(1). Let t = 1350 + g. Let f = t + -164. Is f a prime number?
False
Suppose 20*z - 23*z = -918. Suppose -40 = -t + z. Let w = t + 357. Is w a composite number?
True
Let y(m) = -535*m - 23. Let i(n) = 1605*n + 68. Let a(k) = 6*i(k) + 17*y(k). Is a(2) a prime number?
True
Suppose -226281 = 94*u - 193*u + 96*u. Is u a composite number?
True
Suppose -133*r = -129*r - 24908. Is r composite?
True
Let f(s) = -5528*s + 1203. Is f(-19) composite?
True
Let h = 470827 + -172350. Is h a composite number?
False
Let f be 2 + -3 - (-10 - -1). Let v be f*4/(17 + -1). Let b(j) = j**3 - 2*j + 3. Is b(v) prime?
True
Let n be 66/14 - 1 - (-6)/21. Is n/(-18) - 3*(-150078)/162 prime?
False
Let q(l) = -5006*l + 25. Let h(y) = 2503*y - 12. Let j(f) = 5*h(f) + 2*q(f). Is j(3) a composite number?
False
Let a be -1 + 404/(-24) + (-5)/30. Is 3/a - (-95020)/24 composite?
True
Let d(n) be the second derivative of -n**5/20 + n**4/3 - 3*n**3/2 + 5*n**2/2 - 30*n. Let l be d(6). Let h = 908 + l. Is h prime?
True
Let i = -42698 - -134851. Is i a composite number?
False
Let d(j) = j**3 + j**2 + j + 3. Let i be d(0). Let s(x) = x + 1. Let l(w) = -4*w**3 + 4*w**2 - 3. Let m(p) = -l(p) + 4*s(p). Is m(i) prime?
False
Suppose -p - 88 = -5*z, 60 = 3*z - 0*z + 3*p. Let s(n) = 2*n**3 - 25*n**2 - 4*n + 19. Is s(z) prime?
True
Let n(k) = k**3 + 12*k - 12. Suppose 0 = 5*o + 3*m - 31, -6*m + m + 10 = 0. Let p be n(o). Suppose -5*j = -a + p, -5*a + 0*a = j - 891. Is a a composite number?
True
Suppose -2*n - 10*v + 38574 = -11*v, -5*v + 38598 = 2*n. Is n composite?
False
Let g be (20 - 6)/7*766. Suppose -b + 905 = -g. Is b prime?
True
Let j(v) = 17*v**2 + v + 91. Suppose 50*t = 41*t + 153. Is j(t) prime?
True
Let u be -2 + (1 - -1)*2. Let q be 10/8*(u + -1 + 3). Suppose v = -q*z + 2407, -4*z + v = -4*v - 1943. Is z prime?
False
Suppose 1285 = 5*m - 3*h, 2*m - 1845 = -2*h - 1331. Is m a prime number?
True
Let s(n) = -7*n**2 + 3*n + 13. Let p be s(-4). Let v = p - -180. Suppose -u + 28 = -v. Is u a prime number?
True
Suppose -6*b + 27 - 9 = 0. Let c(u) = 390*u - 7. Is c(b) a prime number?
True
Let i(j) = 12558*j + 295. Is i(1) composite?
False
Suppose -10 = -o - 6. Suppose -o*l = z - 147, 4*z = -0*z + 3*l + 607. Suppose 1868 = -147*c + z*c. Is c a composite number?
False
Let h be (-4)/26 - 1760/(-286). Suppose -h*z + 1963 = -5*z. Let l = z + -1022. Is l prime?
True
Let q(x) = -207*x + 145. Suppose -l - 8 = -0*l. Is q(l) a prime number?
True
Suppose -20 = -5*c - t - 0, 0 = -5*c - 4*t + 20. Suppose -995 = -3*b - 2*h + 544, 5*h + 2029 = c*b. Is b a composite number?
True
Let w = -6430 - -1647. Let r = w + 13070. Is r prime?
True
Suppose -32*q - 19080 = -50*q. Suppose -q = -4*r - 2*l, 9*l = -5*r + 11*l + 1343. Is r a composite number?
True
Is 136895 + 9/((-36)/(-56)) composite?
True
Suppose -k + 232198 = 5*b + 2*k, 4*b - 185758 = -2*k. Is b a composite number?
False
Suppose 14*v = -3*v + 391544. Suppose 17*u = 9*u + v. Is u a prime number?
True
Let a be 2 + (2 - 5)*1/(-3). Suppose r - 8 = -l - a*l, 3*l - 5 = -r. Suppose -2*i = 4*g - 842, g + l*i - 208 = -0*i. Is g composite?
False
Suppose 2*x - 6 = 8. Suppose -x*f - 1185 = -8*f. Suppose -4086 = -3*z + f. Is z a prime number?
False
Let k(v) be the third derivative of 7*v**5/60 + 41*v**4/24 + 73*v**3/6 + 128*v**2. Is k(-29) prime?
False
Suppose -12*u = -17*u - 2*y + 19342, -3*u + 2*y + 11602 = 0. Suppose -161*m + u = -157*m. Is m a prime number?
True
Let b = -2456 + 15812. Let p = b + -8836. Suppose -1379 = 3*a - p. Is a a prime number?
False
Let p be 5 - ((-12)/15 - 8/(-10)). Let g(x) = 97*x**2 + 11*x - 22. Is g(p) a composite number?
True
Suppose 50 = 2*q + 42. Let r(s) = 340*s**2 - 4*s + 11. Is r(q) a prime number?
False
Let i(a) = -a**2 + 3*a - 2. Let m be i(2). Suppose -9*h + 5*h + 20 = m. Suppose -h*v = -322 - 2823. Is v a composite number?
True
Let a be 126/(-15) + (-4 - 44/(-10)). Is a/(-12)*3*(-2099)/(-2) composite?
False
Let p(n) = n**3 - n. Let d(c) = -8 - 4*c**3 + 7*c**3 + 7*c**2 + 2*c**3 + 3*c. Let r(x) = d(x) - 6*p(x). Is r(-9) prime?
False
Let i = -1239 - -2674. Let k = 2102 - i. Is k a prime number?
False
Let c