03. Is t a prime number?
True
Suppose 4*t - 28464 = -4*x, 32*x - 14217 = -2*t + 27*x. Is t a composite number?
False
Let n(h) = 1755*h**2 - 13*h - 37. Let v be n(-3). Suppose 2*a + 35970 = 2*i + 4388, -2*a + v = i. Is i prime?
False
Is 3843 + 3/(2*(-12)/32) composite?
True
Let q(s) = -7763*s + 970. Is q(-23) a composite number?
False
Suppose 0 = -3*u - 2517 + 4041. Let z(j) = j. Let f be z(5). Suppose 3*s = f*s - u. Is s prime?
False
Is (-2501224)/(-396) - (-4)/6 - 1/(-9) a prime number?
True
Is (-4 - 252/(-70))/(2 + (-2198744)/1099370) composite?
False
Let w(u) = u**3 + 6*u**2 + 2. Let v be w(0). Is 22312 + (-6 - v/((-2)/9)) composite?
True
Suppose 4 - 18 = 2*u, u + 598522 = 3*p. Is p a composite number?
True
Is 30220/(-12)*(-26)/6 - 2/(-9) a prime number?
False
Let i(m) = m**2 + 16*m + 58. Let o be i(-5). Let y(x) = -7*x**3 - 6*x**2 + 5*x + 1. Let v be y(-6). Suppose c - 307 + v = 5*d, -176 = -d - o*c. Is d composite?
False
Suppose -v - 368 = 4*i, -5*i + 14*v = 9*v + 435. Let y = 572 + i. Is y a composite number?
True
Suppose -131*i - 198021 = -135*i + 5*s, -99008 = -2*i + 2*s. Is i composite?
False
Let k(s) be the first derivative of s**4 + 16*s**3/3 - s**2 + 15*s + 49. Is k(11) prime?
True
Let j(b) = 28*b**2 - 2*b - 39. Let m be j(0). Suppose 4*r + 28 = 5*r. Let y = r - m. Is y a composite number?
False
Let o(w) = 6*w**2 + 64*w - 26. Let c be o(-11). Let u(s) = -s**3 - 6*s**2 - 6*s - 1. Let r be u(-5). Is 1*(-583)/c*r composite?
True
Suppose -11*m = -33669 - 2345. Is m a composite number?
True
Suppose -3*s + 6 = 2*j, -4*s - 3*j + 4 + 5 = 0. Suppose s = -9*b + 15092 + 3079. Is b a composite number?
True
Suppose 5*d - 6 - 4 = 0. Suppose d*f - 26784 = -4*f. Is 2/(f/2228 - 2) a composite number?
False
Let x be 5 + (5 - 13) - -106. Let n = x - -538. Is n prime?
True
Let x be (0 - 3/9)/((-1)/(-39)). Let h(l) = -2*l**3 - 4*l**2 + 11*l + 20. Is h(x) a prime number?
False
Suppose -12012 = 12*v - v. Let j = 5306 + v. Suppose 2*y = 3*s + 4194, 3*s - 5*s = 2*y - j. Is y composite?
True
Let g(r) = -r**3 + 4*r**2 + 6*r - 3. Let t be g(5). Let l(s) = 5*s**3 + t*s**2 + 4*s + 11*s**3 - 11*s**3 - 10. Is l(2) prime?
False
Let j(m) = 479*m**3 - 2*m**2 + 6*m - 9. Let h be j(3). Suppose 3*p - 2*x - 47917 + h = 0, 0 = 4*p + 5*x - 46665. Is p composite?
True
Let o(d) = -24*d**3 - 9*d**2 + 14*d + 6. Is o(-13) composite?
False
Suppose 0 = 5*v - 5*j - 153750, -5*v + 4*v = 4*j - 30785. Is v prime?
True
Let v(p) = -1732*p + 13. Let h = -218 - -215. Is v(h) a composite number?
False
Let a(r) = -128*r - 6. Let l(q) = -q. Let u(v) = -2*a(v) - 4*l(v). Let b be u(18). Suppose -t = -s + 839, -4*s - 1316 = t - b. Is s a prime number?
False
Let b(z) = -z - 3. Let j(w) = -40*w**2 - 27*w - 42. Let h(a) = 5*b(a) - j(a). Is h(-14) prime?
True
Let b(f) = f**2 - 3*f - 10. Let t be b(7). Is ((-2203)/4)/(t/(-72)) prime?
True
Let w = 133003 - 47366. Is w composite?
True
Let y = 133034 - 66585. Is y composite?
False
Let p(i) = 141*i**2 - 303*i + 673. Is p(-60) composite?
False
Suppose -3*g = -3*d, 3*g - 5*d + 18 = 7*g. Suppose 2*k = -5*b + 18289, -g*b + 0*b + 2*k + 7324 = 0. Is b composite?
False
Is 4 + (6 - -4350345)/17 a prime number?
True
Let h(x) = -30792*x + 12217. Is h(-28) composite?
True
Let f(k) = -10*k - 6. Let w(b) = b + 6. Let t be w(0). Let x be f(t). Let s = x + 247. Is s a prime number?
True
Suppose 3*s - 4*f = 3396189, -s + 96*f + 1132063 = 95*f. Is s a composite number?
False
Let i(d) = -6*d - 1769 + 54*d**2 + 1778 + 2*d. Is i(5) composite?
True
Let x(c) = 73*c - 1402. Let p be x(8). Let n(j) = -2*j**3 + 4*j**2 - 8*j - 9. Let i be n(7). Let d = i - p. Is d prime?
True
Suppose 32*u + 75*u - 5761203 = 19593196. Is u a prime number?
False
Let n be (1 + -2)*(3 - -10). Is n + 25/5 + 2379 composite?
False
Suppose 40*w + 111 = 43*w. Let g = w + -17. Is (103 - -3)/(g/(-11) + 2) a prime number?
False
Let m = 44660 + -25041. Is m prime?
False
Let m(a) = 3*a**3 + 23*a**2 + 86*a - 215. Is m(24) a prime number?
True
Let b = -1343312 - -2527783. Is b a prime number?
True
Suppose -5*z = 3*u - z - 2141, 2*u - 1399 = 3*z. Let s(v) = -81*v - 8. Let w be s(-8). Let n = u + w. Is n composite?
True
Let t(b) = 5762*b + 48. Let w be t(11). Suppose 12*s + w = 17*s. Is s a composite number?
True
Let g be 10/4*402/(-15). Is g*((-134)/(-2))/(-1) composite?
True
Let i(x) = 4*x**2 + 89*x + 12. Let u be i(-22). Is 6/u - 690940/(-25) a composite number?
True
Is 3/1 + (-87692)/(-22) composite?
False
Suppose 0 = 3*u - 6*m - 23391, 3*u - 8*m + 4*m = 23383. Is u a prime number?
True
Suppose 0 = 2*r + 12*t - 14*t + 10, 0 = 2*t - 2. Let n(q) = 27*q**2 - 14*q - 37. Is n(r) a composite number?
True
Suppose -16 = 3*z + 5*d, 12*z - 5*d - 13 = 16*z. Suppose 5*i + z*l + 15706 = 6*i, 2*l - 15701 = -i. Is i composite?
True
Let y(o) = -2*o**3 - 37*o**2 + 14*o + 28. Let f be 2 - (-21)/7 - (2 + 24). Is y(f) a prime number?
False
Is 566263 - ((-2)/(-6))/(26/(-780)) a composite number?
False
Let q(y) = 2*y - 21. Let c be q(12). Suppose -2*p = 3*s - 2053, 0 = 2*s - 7*s + c*p + 3390. Is s prime?
False
Suppose 0 = 12*k - 936817 + 527110 - 1021641. Is k a prime number?
False
Suppose 5*h - 2*z - 403571 = 0, 963*h = 958*h - 3*z + 403556. Is h a composite number?
False
Let i(j) = -349*j**3 + 12*j**2 + 49*j + 7. Is i(-8) composite?
True
Let p(u) = 26*u**3 + 11*u**2 + 485*u + 182. Is p(36) a prime number?
False
Let c(r) = r**2 - 3*r + 8. Let t be c(6). Let k(n) = -8 + 4 + 21 + 16*n + t*n. Is k(15) a composite number?
False
Suppose -r - 5*g + 2132 = 0, -5*r - 2*g = -10682 + 68. Suppose -12*z = -13*z + r. Is z a composite number?
True
Suppose 16*m - 21*m + b + 229712 = 0, -4*b = 5*m - 229727. Is m a composite number?
False
Let x be (24/42)/(6/651). Suppose -66*w + 588 = -x*w. Is (-44)/6*w/(-14) a prime number?
False
Is ((1305387/(-3))/(-3))/(55 + -54) composite?
False
Let m = 172 - 164. Let s(j) = 27*j**2 - 8*j - 7. Is s(m) a prime number?
True
Suppose -151*w = -47*w - 6184568. Is w a composite number?
False
Let o(r) = 56*r**2 - 24*r - 2. Let c be o(6). Let f be (-99)/(-21) - (-2)/7. Suppose 2*n - 528 = 2*v - c, f*n - 10 = 0. Is v a composite number?
False
Is 12/576*-18 + 5160428/32 a prime number?
True
Let a = 90682 + -45332. Suppose -a = 2*w - 12*w. Is w a composite number?
True
Let f be (0 + -3)/(1/(-191)). Let b = f - 242. Is b a prime number?
True
Suppose 5*q - 5 = 5*p, p - 3*q = -7*q + 24. Suppose 2*m + 8 = 0, -p*i - m = 15 + 5. Is 380 + (6/i - 9/6) composite?
True
Let d(v) = -220*v - 18. Let q be d(-7). Suppose -q = -x + 4*r, 5*r = 3*x - 7*x + 6172. Is x prime?
False
Let t(w) = 43*w**2 + 1472*w - 67. Is t(-46) prime?
True
Suppose 0 = -5*k - 5891 - 33299. Let i = 629 - k. Is i a composite number?
False
Suppose -5*b + 190494 = s, -76194 = -2*b + 14*s - 18*s. Suppose 4*x + t = -2*t + b, 4*x - 5*t = 38123. Is x a composite number?
True
Let v = -1956 - -2966. Let n = v - 327. Is n a prime number?
True
Suppose 0 = -66*j + 65*j + 3. Let q = -2 + 5. Is j/18*q + 2346/4 composite?
False
Let p = 72371 - 1632. Is p a composite number?
True
Let r be (-147)/(-9) - 1/3. Suppose -8 = -3*h + r. Suppose 19641 + 14975 = h*v. Is v prime?
True
Let x be 0*(3/((-6)/8) + 3). Suppose x = 3*o - 9942 + 909. Is o a prime number?
True
Let c be (-1)/(-3) - (-70)/42. Suppose -4*o - 13 = -g, -3*g = -c*o + 4*o - 11. Suppose -2*m + 7707 = g*m. Is m prime?
False
Let z(p) = -130177*p + 76. Let o be z(3). Is o/(-91) + (-2)/(-7) a composite number?
True
Let r(i) = -i**3 - i**2 - 2*i - 2. Let s be r(-2). Let o(w) = -7 + 4*w**3 + 3*w**2 + 4*w + 2 - 1 - 5. Is o(s) composite?
True
Suppose -64 = -3*c + 5*z, c - 11 = z + 9. Suppose 13*o - 4*o = c. Is ((-995)/2 + o)*-2 prime?
True
Let a = 648749 - 383542. Is a composite?
False
Suppose n - 3*n = 4*v + 8, 3*v + 6 = 3*n. Suppose 0 = 3*s + 15, -p + n*s + 2723 = 5*s. Let u = p - 1631. Is u a prime number?
True
Suppose 3*m + 2*w = 3083 + 10632, 0 = -5*w - 25. Let r = m - 2024. Is r a prime number?
True
Let y(d) = 11736*d + 8749. Is y(9) a composite number?
True
Suppose 46*u = 48*u - 3*d - 287212, -5*u + d = -718043. Is u prime?
True
Let p(s) = 2*s + 1. Let i(d) = 113*d + 182. Let k(o) = -i(o) + p(o). Is k(-28) prime?
True
Let y(v) = -v**2 - 2*v. Let s be y(-3). Let u = -1809 + 1789. Is ((468/u)/s)/(4/20) composite?
T