 t = 1499 + z. Is t composite?
True
Suppose -2*h + 29 = -9. Suppose 0 = 5*l - 3*v + 5, -2*l + h = -0*l + 3*v. Suppose l*b - 4*b - 3*g + 145 = 0, 2*g - 225 = -3*b. Is b prime?
False
Is ((8 - 463/(-3)) + -8)/(1/4413) a composite number?
True
Let y(s) = -9*s - 30. Let v(u) = 4*u + 15. Let p(d) = -7*v(d) - 3*y(d). Let l be p(-15). Suppose j - 3*m - 1556 = -l*m, 4*j - m - 6257 = 0. Is j a prime number?
False
Suppose -2*h = 5*h - 168. Suppose 0 = -23*x + h*x. Suppose 5*z + 2504 = 4*s, 2*s + x*z - 4*z - 1246 = 0. Is s prime?
True
Let q(z) = 77*z**2 + 4 + 3*z - 174*z**2 + 97*z**2 - 28788*z**3. Is q(-1) a prime number?
True
Let w = 1921 - 814. Let q(z) = -67*z + 3. Let m be q(11). Let p = w + m. Is p a prime number?
True
Let q = 169 - 169. Suppose 2*d - 14147 = -3*d - 2*f, -2*d - 2*f + 5654 = q. Is d a composite number?
True
Let j = -272 + 269. Let d(n) = -982*n + 5. Is d(j) prime?
False
Let f = 905 - 4022. Is f*(0 + (-25)/15) composite?
True
Let j(a) = 17*a + 100. Let q be j(-5). Is -3*(-61150)/q + 0 + -3 a composite number?
False
Let p = 500269 + -246164. Is p a prime number?
False
Suppose 12 = -h - 5*s + 2, 2*h = 2*s + 28. Let c = 8 - h. Is (-211)/(c - (0 + -1)) prime?
True
Let v = 50 - 46. Let z = v + 2. Suppose -z*s + 668 = -8542. Is s prime?
False
Let m(v) = -15 + 7*v**2 + 2*v - 7*v - 4*v**2. Let n be (-39)/(-2)*(-4)/6. Is m(n) prime?
True
Let w be 4/(-18) + (-28456)/9 + 3. Let h = -1328 - w. Is h a prime number?
True
Let r be (-860)/(-15)*117/(-13). Let m be ((-3)/6)/(1/1654). Let a = r - m. Is a composite?
False
Is (2166/(-1083))/((-2)/240749) composite?
True
Suppose 6*y = -y - 21. Let o be 152 + ((-12)/(-4))/y. Let l = o + -84. Is l a composite number?
False
Let r(t) = 13*t**3 + 5*t**2 - 10*t + 12. Let p be r(7). Let u = 8145 - p. Is u a prime number?
True
Suppose 3*m - 166571 = 2*q, -5*q + 10*q = 3*m - 166574. Is m a composite number?
True
Suppose 5*r - 2*v + 84 = 0, 5*r = 3*v + v - 78. Let c = -25 - r. Is (c/(-3))/((-15)/(-45)) a prime number?
True
Let i(j) = j**3 - 8*j**2 + j - 3. Let f be i(8). Suppose -f*r - 10 = -35. Suppose 5*l - 291 = 5*k + 2404, -r*l + 3*k + 2687 = 0. Is l a prime number?
False
Let z be (-14)/133 + (-160)/76*-1. Suppose 0 = -z*v + 2*q - 6*q + 24134, 3*q = -6. Is v a composite number?
False
Let g(d) = -13724*d - 1163. Is g(-19) a composite number?
True
Is (-6)/(-10) + 9132606/315 composite?
True
Let t = 228 + -225. Suppose 0 = t*s + v - 3767, v = -11*s + 10*s + 1257. Is s a prime number?
False
Let h be (25/10)/(25/20). Let l(s) = 2265*s**3 + s**2 + 2*s - 1. Is l(h) a prime number?
True
Let d(q) = q**2 - q - 1. Let t(j) = -j**2 + 2*j + 2. Let o(n) = 15*d(n) + 6*t(n). Suppose 5 = -3*k - 4. Is o(k) composite?
True
Let n = 101799 + -35072. Is n a composite number?
True
Let l = -202 + 199. Is 60180/(-40)*2/l composite?
True
Let r(s) = s**3 + 7*s**2 + 8*s + 4. Let b(z) = -2*z**3 - 11*z**2 - 3*z + 5. Let t be b(-5). Let x be r(t). Is x/56 - 5238/(-8) composite?
True
Suppose 7423887 = 17*f - 4970014. Is f prime?
False
Let v = -544248 + 1046546. Is v a composite number?
True
Is 11999 + 72/(-40)*10/3 prime?
False
Let q(r) = -87*r**3 - 7*r**2 - r - 9. Let j(v) = -87*v**3 - 9*v**2 - 2*v - 10. Let l(a) = 6*j(a) - 7*q(a). Is l(4) a prime number?
True
Let j(n) = 259*n + 8. Let k be j(5). Suppose i + 4*a - 1301 = 0, -i = -a - k + 22. Suppose -6*o + o + i = 0. Is o composite?
False
Let k(q) = -64771*q + 972. Is k(-2) composite?
True
Let s(p) = 581*p - 369. Is s(8) composite?
True
Let w(v) = -2*v**3 - 34*v**2 + 37*v + 21. Let z be w(-18). Suppose 3*x - o = -1435 + 4362, z*x = -3*o + 2943. Is x a composite number?
False
Is 144162 + ((-80)/24*(-24)/(-20))/4 a composite number?
False
Let t(f) = 399*f**2 - f + 1. Let k be t(1). Let m = 808 - k. Is m a composite number?
False
Let z = 4 + -4. Suppose 4*t + o - 3*o + 82 = z, 0 = 2*t + 5*o + 47. Is 3271*((-18)/(-14) + 6/t) a prime number?
True
Let q(y) = 1235*y**2 + 20*y + 23. Is q(8) a composite number?
True
Let m(d) = 41*d**2 - 17*d - 53. Suppose -3*j + 92 = 149. Is m(j) a composite number?
True
Let d = 29 + -11. Suppose -d*y = -75315 - 34287. Is y a prime number?
True
Let u(n) = 2700*n + 1837. Is u(9) composite?
True
Let y(x) = -7517*x - 6606. Is y(-17) a prime number?
False
Let m(b) = 32*b + 227 - 5*b**3 - 12*b + 10 + 4*b**3. Is m(-10) a composite number?
True
Suppose -203*v + 198*v + 5685 = 0. Suppose -x = -4*s - v, -4*s - 1100 = -5*x + 4665. Is x prime?
False
Suppose 2*l + 61*a - 13257 = 62*a, -3*l - 2*a = -19903. Is l a composite number?
True
Let h(a) = 19*a + 1. Let o be h(1). Let c be (2 + -16)/(-6 + 4) + -2. Is c/(o/588) + 2 a prime number?
True
Let p(w) = 2*w**2 + 28*w + 3. Let t be p(-14). Suppose -t*s - 154 + 18087 = -2*f, s - 5986 = -f. Is s a prime number?
True
Suppose -4*f - 450 + 114 = 0. Let t = -79 - f. Suppose 0 = 2*w - t*v - 863, -3*w + 2192 = 2*w - v. Is w prime?
True
Let d = -127 + 366. Let k = 1111 - d. Let o = 527 + k. Is o a prime number?
True
Let r = -197 + 231. Is 1*(r*221 - 5) prime?
False
Let f(j) = 3*j + 7. Let w(p) = 9*p + 22. Let l(i) = -8*f(i) + 3*w(i). Let o be l(-5). Is 241 - (5 + o/5) composite?
True
Is ((2 - -3) + -4)/(-20 + 19) + 256295 a prime number?
False
Let q = 516 + 3864. Suppose 0 = -246*k + 252*k - 24. Suppose 5*u - q = -k*r + 7*r, 0 = 4*u + 4*r - 3536. Is u a prime number?
False
Suppose 0 = -5*b + 2*x + 42, 0 = -5*b + 4*b - 5*x + 3. Suppose 10*r - b*r = 410. Is r prime?
False
Let f(r) be the second derivative of 19*r**4/12 + r**3/3 + 5*r**2/2 + r + 6. Is f(-2) prime?
False
Let g(q) = q**3 - 12*q**2 - 12*q + 80. Let l be g(13). Suppose -7685 = -k + l. Is k prime?
False
Suppose 0 = 4448*f - 4433*f - 10081455. Is f a composite number?
False
Suppose -6080478 = -19*z + 2622985. Is z a prime number?
False
Let h(p) = -1130*p**3 - 4*p**2 + 5. Suppose 0 = 2*l - 4*l - 4. Is h(l) a composite number?
False
Let l = -22979 - -37315. Suppose -4*m + l = -0*m. Suppose -2*a + j = -m, -2*j = -2*a - 0*j + 3582. Is a a composite number?
True
Let i(p) = 158*p**2 + 21*p - 30. Is i(-35) composite?
True
Suppose -1656 = -s + 443. Suppose -x + 3*l + l = -s, 8291 = 4*x + 5*l. Suppose 9876 = 15*a - x. Is a a prime number?
True
Suppose 0 = -p - 162 + 197. Suppose -29*b - 57066 = -p*b. Is b a composite number?
False
Suppose -12*d + 825 = -37*d. Suppose 2*v + 90 = t, 0*v - 188 = -2*t + 2*v. Let u = d + t. Is u prime?
False
Is (-1788)/(-1192) + 845662/4 composite?
True
Is (-2)/((-22)/295009) - 12 a prime number?
False
Suppose 0 = -5*u - 36152 + 113152. Suppose 0 = -5*k + 8415 + u. Suppose 2*s + 2*d = -3*s + k, -d = s - 952. Is s a composite number?
False
Let a = 1284 - -624. Let q = 5957 - a. Is q a composite number?
False
Let t = -24 + 37. Suppose -t*b + 23046 = -7*b. Suppose -n + 7654 = 2*m, 2*n + n = m - b. Is m prime?
False
Suppose 0 = 5*o - 6 - 4. Let t be -1 + 6 + o + -5 + 1. Suppose l - 180 = -3*k, -159 - 30 = -t*k - 4*l. Is k a prime number?
True
Let t be (-2)/13 + 3074/377. Suppose t*y = 116417 - 37945. Is y prime?
False
Let k = -186696 + 320615. Is k a composite number?
False
Let p(k) = 5942*k**2 - 141*k - 251. Is p(12) composite?
True
Let r = -60 - -68. Let h(n) = -4*n + 37. Let y be h(r). Suppose 1 - 2 = -j, 4*j + 13531 = y*u. Is u a composite number?
False
Let w = 324 + -166. Let y(c) = w*c**2 - 43 + 41 + 9*c + 0*c. Is y(-3) a composite number?
True
Suppose 8*b - 14 - 26 = 0. Let m(v) = -v - 1. Let u(c) = -4*c**2 + 3*c + 8. Let n(s) = -2*m(s) - u(s). Is n(b) a prime number?
True
Suppose -2*r - 58 = -4*r. Let i = 19776 - 19776. Suppose i = -r*l + 33*l - 7340. Is l composite?
True
Let w(l) = -l + 8. Suppose 0 = 2*j - 22 + 6. Let d be w(j). Suppose z - 3 = -0*z + 5*f, 2*z - 2*f - 6 = d. Is z a composite number?
False
Suppose -4*p - 64 = 4*p. Is (3906/p - 4)*-4 a prime number?
False
Suppose -3*t - 3*y = -67203, 4*y + 23606 = -3*t + 90805. Suppose 4*p + t = h, -h - 8043 = 3*p - 30455. Is h composite?
False
Suppose -3*w + 40*r - 42*r = -18081, 2*r = -6. Is w a composite number?
False
Let k be (-33 + 4533)*(-2)/(-3). Let g = -419 + k. Is g prime?
False
Let a be 4/(-4) - (-29 + -1). Suppose -7*x = -a - 6. Suppose 4*p + 3*w - 6852 = -601, 3*w = -x*p + 7810. Is p prime?
True
Suppose 32*b - 1655389 - 1624042 = -438183. Is b composite?
False
Let l be 33/2*(-4848)/(-18). Sup