?
False
Let g = -3863 - -2568. Let r = -916 - g. Is r a prime number?
True
Let p = -6293 - -19810. Is p a prime number?
False
Suppose -2*l = r + l - 32, 260 = 5*r - 5*l. Let w = r - 14. Let n = 58 + w. Is n a composite number?
True
Suppose 4*a = -4*d + 8, -2*a - 5*d = 3 + 2. Suppose -683 = -j - 5*f, 2*f + 0*f = a*j - 3361. Is j prime?
True
Let z(o) = 42*o**2 - o + 11. Is z(10) a prime number?
True
Let x(f) = -f**3 + 3*f**2 + f**2 - 2*f + f + 4. Let r be x(4). Suppose r = 4*u + j - 6752, 4*u - 6736 = 3*j - 0*j. Is u a composite number?
True
Suppose 2*m = h + 4151, 2*h = -3*m + 2801 + 3422. Suppose -k + m = 3*n - 2*k, -n + 695 = -2*k. Is n composite?
False
Let x(y) = 69*y + 56. Is x(13) composite?
False
Suppose -3*x + 3704 = x + 5*s, -s = 3*x - 2789. Let d = x - 308. Is d a composite number?
True
Let a = 134 + -129. Suppose a*y - 2*d - 1647 = 0, 3*y = -d - d + 985. Is y prime?
False
Let v(a) = -13*a**2 - 5*a - 4. Let u be v(-1). Is 1/(-3) + (-28)/u - -3269 prime?
True
Let n be 3 - (-21)/(-27) - 2/9. Suppose -2*v = 4*m - 486, 1012 = -0*v + 4*v - n*m. Is v composite?
False
Let b(s) = -s**3 - 2*s**2 + 30*s + 3. Suppose -7*z - 70 = -0*z. Is b(z) a prime number?
True
Let l = 10698 + -6257. Is l prime?
True
Let p(v) = -v**3 + 28*v**2 - 35*v + 15. Suppose 3*x - x - 52 = 0. Is p(x) a prime number?
True
Let k(f) = -f**3 - 12*f**2 - 28*f - 19. Suppose 3*c + 10 = -29. Is k(c) a prime number?
False
Suppose -5*m = 5*a - m - 24, -2*m = 5*a - 22. Is (-1249)/a*3/((-21)/28) prime?
True
Suppose -4*y + 7*y + 3*t = 576, -963 = -5*y - 4*t. Suppose 5*d - y = 2*d. Let l = 0 + d. Is l prime?
False
Suppose 0 = 4*m + 4*q - 16, -9*m = -5*m - 3*q - 23. Suppose m*y - k = 7407, 5*y - 7485 = -4*k - 88. Is y composite?
False
Let j = 5 + -17. Is ((-52)/j + -4)*435 a composite number?
True
Is (-42)/399 + 553989/57 a composite number?
False
Let s be 4*(-3)/(-3) - 9. Let b be ((-6)/s)/(12/30). Suppose -b*n + 402 = 3*n. Is n composite?
False
Let k(d) = 50*d - 21. Let j(l) be the second derivative of l**3/2 - 8*l**2 - 6*l. Let s be j(10). Is k(s) a composite number?
True
Suppose -4*x + 6 = 5*k, 2*x + 3*k - 5 = -1. Let l be (2 + x)/((-4)/(-24)). Suppose t + i - 216 = 0, -5*t - 3*i = -l*i - 1040. Is t a composite number?
False
Let m be 1/4 - (4 + (-4875)/20). Suppose 4*f - 160 - 185 = -y, 0 = -3*f + 3*y + m. Is f prime?
False
Suppose -12*r = -23*r + 224587. Is r prime?
False
Let j(a) be the first derivative of 3*a**4/2 - 10*a**3/3 + 7*a**2/2 + a + 43. Is j(6) a prime number?
False
Let b(h) = h**2 - 8*h + 28. Let q be b(4). Is (6381/36)/(1/q) prime?
False
Suppose 0 = 4*k - b - 50, -2*k - 3*k + 63 = -b. Let m = 18 - k. Suppose m*z - 15 = 2*z, 455 = 4*y - z. Is y a prime number?
False
Let l(g) = -g**3 + 5*g**2 + 6*g + 4. Let a be l(6). Suppose -5*r - 76 + 1296 = 0. Suppose -a*t + 132 = -r. Is t a prime number?
False
Is (1 + 0/(-7))*2789 prime?
True
Suppose 24 = -2*b - 6. Let s be b/(-10) - 14/(-4). Suppose -3*r - 2*u = -166, -s*u + 147 - 51 = 2*r. Is r a prime number?
False
Let q(n) = 188*n - 194. Is q(11) prime?
False
Suppose 4*b = -c + 11689, b = 4 - 1. Is c composite?
False
Let c(w) = -w + 8. Let m be c(6). Suppose 847 = m*d + 165. Is d prime?
False
Suppose 2*p = 6*p - 344. Let n be (3 - 1)/((-1)/(-20)). Let s = p - n. Is s a composite number?
True
Is (1365969/(-484))/(6/(-8)) a composite number?
True
Suppose 0 = -55*f + 53*f - 8. Let w(t) = -224*t - 9. Is w(f) composite?
False
Let x(o) = -11*o**3 - 3*o**2 + 7*o - 11. Let c(f) = -f + 1. Let v(i) = 6*c(i) + x(i). Let a(y) = -y**2 + 2*y + 4. Let d be a(4). Is v(d) a composite number?
False
Suppose 6*o - 3*o = -2112. Let q = o + 52. Is (2 - 6)*q/16 a composite number?
False
Let y(s) = 20*s**3 - s**2 - s + 1. Let m be y(2). Let j(r) = 14*r**2 + 31*r**2 - 1 + m*r**2 + 2. Is j(-1) a prime number?
False
Suppose -5*p - 4*v = -p - 16, -2*p + 8 = -4*v. Suppose 5*m - 3*m = -5*g + 685, 0 = p*g - m - 561. Is g composite?
False
Let u(o) = o**2 + 3*o + 1. Let g be u(-3). Let w = g - 5. Is w + 525*4/6 prime?
False
Let h(u) = 64*u. Let v be h(5). Let k = -85 + v. Is k composite?
True
Suppose -6*l = -3*o - 4*l - 3, 0 = 3*l - 9. Suppose -u + 2*w + 5 = 0, -4*u - 3*w + 2*w - 16 = 0. Is (u - -5)*o + 201 composite?
True
Let w = 36845 + -21847. Is w a composite number?
True
Suppose 6*f + 4*i = 2*f - 152, 3*f - i = -134. Let k = 9 + f. Let v = -11 - k. Is v prime?
True
Let g(y) = -93*y**3 - y + 4. Let h be g(-3). Is 5*(h/(-8))/(5/(-4)) composite?
False
Suppose -i + 7*i = 96. Suppose i*d = 9126 + 5386. Is d prime?
True
Suppose 6*z = -2*z + 352. Is (2266/88)/(1/z) a prime number?
False
Suppose -19273 = -6*j - 3013. Suppose -j = -5*x - 5*l, 3*x = 5*l - 6*l + 1624. Is x composite?
False
Suppose -9 = j - 3*w, 3*j - j - 3*w = -9. Suppose j = -t - 161 + 583. Is t prime?
False
Suppose 0 = 5*r - 3*f - 3208, f + 0*f = -5*r + 3204. Is r a prime number?
True
Let j = -16 - -20. Suppose j*l - 10805 = -l. Is l composite?
False
Suppose -42*j - 106538 = -679796. Is j composite?
False
Suppose g - 9 = -c, -5*g + 2 = -3*c - 3. Suppose 0*d + g*d - 12 = 0. Suppose -f + 82 = 6*p - d*p, 2*p = -2*f + 60. Is p a prime number?
False
Let g(p) = -3*p - 16*p**3 - 3*p**2 - 5 - 27*p**3 + 13*p**3. Is g(-3) composite?
False
Let o(d) = 25*d**2 + 60*d - 11. Is o(14) a composite number?
True
Let o be ((-75)/35 - -2) + 105618/14. Suppose -7*r - r = -o. Is r a composite number?
True
Let b(w) = -9*w**2 + 7*w - 8 + w**3 + 4*w - 2*w. Let q be b(8). Suppose -o + 0*i = -i - 62, i + 4 = q. Is o prime?
False
Let q(b) = -b**3 + 9*b**2 + 5*b - 12. Let p be q(9). Let l = p + -27. Is 426/8 - l/24 prime?
True
Is -2*381*(-2)/4 a composite number?
True
Suppose -4 = v - 0. Let h be v - -2 - 0 - -3. Is -4 + 114*h + -1 a composite number?
False
Let h = -6432 + 9099. Suppose -6651 = -5*v - 2*f, v + v - h = -3*f. Suppose -4*p + 2*i = -0*i - 1052, -5*p - i = -v. Is p a composite number?
True
Suppose -2*g = 3*q - 26885, -60678 = -4*g - 4*q - 6910. Is g a prime number?
True
Suppose h = -h + 8. Suppose -3*t - h*d + 447 = 0, -5*t + 4*d + 452 = -293. Is t composite?
False
Let m be -5*((-337)/(-4))/((-55)/924). Suppose 123*h - 120*h - m = 0. Is h prime?
False
Let l(j) = -535*j + 47. Is l(-8) composite?
False
Is 6/(-9) + (-172670)/(-30) composite?
True
Suppose 2*f - 145744 - 198978 = 0. Is f a composite number?
True
Let r(i) = i**2 + i + 1. Let d be -2 + 1 - (-7 + 21). Let u = d + 9. Is r(u) a composite number?
False
Let q(w) = 102*w**2 - 6*w + 1. Is q(5) prime?
True
Let d = -3358 + 5684. Is d composite?
True
Let b(o) = -205*o. Let k = -6 - -2. Let h be b(k). Suppose a - 5*a + h = 0. Is a a prime number?
False
Suppose -n - 3*z - 81 = 0, 0*n - 255 = 3*n - 3*z. Is ((-857)/(-4) - 0) + 21/n prime?
False
Suppose 2*y - 2439 = 3*r, -40 = 2*y - r - 2469. Let m = y - -2425. Is m a composite number?
False
Let z = 4 + -1. Suppose -z*u = 2*f - 16, -2*u = u - 3*f - 36. Suppose -388 = -u*a + 4*a. Is a prime?
True
Suppose 207 - 4 = -7*r. Let x = -31 - r. Is (x - 1) + 78 + 7 a prime number?
False
Let b(n) = -n**2 + 6*n + 8. Let s be b(7). Is s/(-3) - 0 - 1192/(-3) composite?
False
Suppose -2*u = 2, -2*o + o + 2272 = -u. Is o a prime number?
False
Let o be (-83)/(-4) - (-23)/92. Is (958/(-6))/((-7)/o) a composite number?
False
Suppose 10 = 5*y + 2*o - 0*o, 0 = 4*y - 2*o - 8. Suppose -y*n - 795 = n. Let g = -142 - n. Is g composite?
True
Let u(r) = 43*r**2 + 3*r + 24. Let z be u(8). Suppose -315 = -5*y + z. Is y a prime number?
False
Let z(o) = 2*o**2 - 10*o - 15. Is z(-11) a prime number?
True
Suppose 2*d - 247 = -c, 5*c = -d + 2*d + 1191. Is c a prime number?
True
Let u = 30 + -28. Suppose 0 = -0*c - c + q + 2, -5*q - 10 = -u*c. Suppose 7*g = -c*g + 2471. Is g prime?
True
Suppose 0*m = 8*m - 96. Suppose -8*b + m*b = 4396. Is b composite?
True
Is ((-97288)/36)/((-27)/243) a prime number?
False
Suppose g - 8838 - 22409 = 0. Is g composite?
False
Is -3 - (-15082 - -9 - (1 - 0)) a composite number?
True
Is (20455/(-3))/(25/(-30)) composite?
True
Is ((-580264)/(-20))/(63/(-35) - -2) a prime number?
False
Let r = 36 + -22. Suppose 4*w - 266 - r = 0. Suppose -z - 19 = -w. Is z a prime number?
False
Suppose 0 = -0*z - z + 4. Suppose 2*q = 4*h - 7*h + 1709, -z = 2*q. Suppose h = r + 2*w + w, -3*r + 5*w = -1769. Is r a composite number?
True
Le