0 = -24*t - 3*t + 7614. Let r = t + 869. Is r composite?
False
Suppose -16 = m - 19. Let w be ((-6)/(-5))/(((-144)/(-10770))/12). Suppose 3*i - w + 324 = -m*l, -3*l - 259 = -i. Is i prime?
False
Suppose 4010153 = 3*m + 2*f + 967060, -4*m - 3*f = -4057456. Is m prime?
False
Let b be (-3)/(-21) + (-4092)/28. Let h = 1405 + b. Is h a composite number?
False
Let j(f) = 1589*f + 18 + 17*f**2 + 7 + 54*f**2 - 1601*f. Is j(-16) composite?
True
Let s(i) = 3*i**2 - 25*i + 12. Let j be s(8). Suppose 0 = j*a + 7*t - 4*t - 505, -640 = -5*a + 5*t. Is a composite?
False
Let g(m) be the first derivative of -m**3/3 - 23*m**2/2 + 1861*m - 186. Is g(0) composite?
False
Is 4*(2 - 11086160/(-64)) prime?
True
Let m(j) = 73*j - 59. Let c be m(-19). Let b = 4535 + c. Is b prime?
True
Suppose 3*h + 14 = 23, -2*w = 4*h - 132686. Is w a composite number?
False
Suppose -72207108 = 105*v - 166782573 - 146125590. Is v prime?
True
Suppose -8*r = -6111 - 4993. Let t = r + 1133. Is t composite?
False
Suppose t = -5*q - t - 637, -q - 5*t - 109 = 0. Let w = 290 - q. Is w a composite number?
False
Let p be (-2)/(-9) - (2 - 80/45). Let y(f) = -f**3 - 12*f**2 - 22*f. Let l be y(-3). Is 690 - -1 - p/l prime?
True
Suppose 2*q = -2*s + 1236759 + 5129, 2*s - 3104729 = -5*q. Is q prime?
True
Let z(b) = -1216*b - 113. Let r = 124 - 128. Is z(r) composite?
False
Let l = 343 + -343. Suppose 9*d + l*d - 50013 = 0. Is d a prime number?
True
Let f be (2/(-1) - 6)*15/(-10). Suppose -f = -0*o + o. Is -502*(-2 - o/8) prime?
True
Is (8390/30)/(5/1335) composite?
True
Is ((-96)/120)/(6/10 - 1) + 200169 a prime number?
True
Suppose -65 = 2*b + c - 597, -2*b - 4*c + 520 = 0. Suppose -3*l + 4*x + 770 = -1191, l - 675 = -4*x. Let o = l - b. Is o a composite number?
True
Suppose -5*h - 2*m + 7965 = 0, 2*h - 3*m - 3167 = -0*h. Let v = h - 494. Is (1 + (v - 1))/1 a composite number?
False
Let p(d) be the first derivative of 5*d**3 + 13*d**2/2 - 25*d - 44. Is p(-10) a composite number?
True
Let d(p) = 2*p**3 - 2*p**2 - 14*p - 7. Suppose 3*a - 3*f + 0*f - 39 = 0, 5 = -f. Let b be d(a). Suppose z - 4*g - b = 168, 0 = -g - 1. Is z composite?
False
Suppose 6315345 = 50*s - 1892405. Is s prime?
False
Suppose 10*g + 29435 + 21185 = 0. Let y = 7709 + g. Is y prime?
True
Suppose -70*g = 1662523 - 37463253. Is g a composite number?
False
Let c be 2853/63 - 2/7. Let m be 4598/(-16) - c/(-120). Let z = 798 + m. Is z composite?
True
Let m(a) = 7232*a - 13. Suppose 0 = -8*y + 53 - 5. Let j be m(y). Suppose -w = 6*w - j. Is w a composite number?
False
Suppose 75 + 249 = 9*p. Let r be 1212/p - (-10)/(-6). Is (1245/(-20) + 0)/((-12)/r) composite?
True
Suppose -3*h = j - 192310, 4*j + 2*h - 722294 = 47016. Is j a prime number?
False
Suppose 4*d - 13 = -2*u - 3*u, -d - 28 = -5*u. Suppose -u*v = 505 - 1950. Let c = v - -342. Is c prime?
True
Suppose 3*n + 3*v - 33 = 0, 4*v + 37 = 5*n - 0*v. Let o(u) = 2*u**3 - 4*u**2 - 7*u + 26. Is o(n) a prime number?
True
Let k(c) be the first derivative of 5*c**4/4 + 2*c**3/3 + 11*c + 1. Suppose -5*u = 4*o - 7*u - 20, 5*o - u - 28 = 0. Is k(o) a composite number?
False
Let z = 25096 + 110863. Is z composite?
True
Let w = -906 - -213. Suppose -415 = -4*k + m, 5*k - 3*k = -3*m + 211. Let f = k - w. Is f prime?
True
Let o(c) = -3*c - 21*c**2 + 3*c**2 - c**3 + 2*c**3 + 27 - 6*c. Let i be o(20). Is (i/(-1))/(-7 + 1 - -5) a composite number?
False
Suppose -19*b - 23*b + 3830778 = 0. Is b composite?
True
Suppose 17 - 4865 = -24*c. Let p = c + -83. Is p a composite number?
True
Is -100371*(-6)/(-45)*(-110)/4 a prime number?
False
Suppose -3*g + 9 = 0, 10 = -3*m + m + 2*g. Is (-8233 - 14)*m/6 prime?
True
Let s(k) = -k**3 + 31*k**2 - 32*k - 39. Let n be s(29). Suppose 183*q - 170*q - n = 0. Is q a composite number?
True
Let l(v) = 54*v**2 - 6*v**2 - 7 + 63*v**2. Is l(6) a prime number?
True
Is 5/(-2)*(-45)/(3375/13110) a composite number?
True
Suppose -3*k + t + 60656 = 0, 0 = 43*t - 41*t - 2. Is k a composite number?
False
Suppose -7*p = -4*f - 282957, -4*p + 86796 = -3*f - 74893. Is p a composite number?
False
Suppose -1601*b + 1606*b = 2222045. Is b prime?
False
Let t = -427 - -427. Is t + (-18)/(-45) - 2583/(-5) composite?
True
Let c be (3 - 0 - 2) + 11 + 0. Suppose -4*t + t = -c. Suppose -7*i = -t*i - 1689. Is i composite?
False
Let d = 140 + -218. Let m be (-104)/d - (-1 - (-8)/6). Suppose a = m, v - a + 3*a = 3276. Is v prime?
False
Let w(j) = 1330*j**2 + 14*j + 26. Let k be w(-7). Is 2/(-12) - (k/(-12))/11 a prime number?
False
Let s(y) = y**3 + 14*y**2 + 23*y - 10. Let d be s(-12). Suppose -5*t = 5, d*t = -5*l + l + 31338. Is l a prime number?
False
Suppose -4*f - r - 60439 = 74221, -f - 2*r - 33672 = 0. Let y be (-16 - -21)*f/(-10). Suppose -4*l = 2*a + 2*a - y, -l + 5*a + 4226 = 0. Is l a prime number?
True
Let g = -970 - -565. Let r = g - -724. Suppose -3*u = -5*c + u + r, 0 = 4*c + 3*u - 280. Is c prime?
True
Let q = 77 - 14. Suppose -4*g - q = -31. Let c(n) = -2*n**3 - 6*n**2 + 19*n + 9. Is c(g) prime?
False
Suppose 0 = 7*w - 9*w + 2*n + 1715698, -1715690 = -2*w - 2*n. Is w a prime number?
False
Suppose -5*n = -411*v + 413*v - 4019397, -4019427 = -2*v + n. Is v prime?
False
Let m(d) = 227474*d**2 + 39*d + 32. Is m(-1) a composite number?
False
Let s(v) = -v + 2. Let z(j) = -115*j - 49. Let r(x) = s(x) + z(x). Is r(-6) a composite number?
True
Let z(u) = 9*u**3 + 376*u**2 + 32*u - 15. Is z(-40) a prime number?
False
Is 14491 - ((-24)/8 + 5) a prime number?
True
Let g = -2395 + 2179. Let v be (-2 + 5)*1786/6. Let x = v + g. Is x composite?
False
Let b(s) = -771*s - 59. Let j(v) = -386*v - 29. Let c(p) = 4*b(p) - 9*j(p). Let z(h) = -1. Let o(t) = c(t) + 6*z(t). Is o(5) a composite number?
True
Let p = 108 + -109. Let a(w) = -w. Let d(v) = 25*v**3 - 6*v**2 + v - 4. Let k(l) = p*d(l) - 3*a(l). Is k(-5) composite?
True
Let p(h) = h**3 - 3*h**2. Let n be p(3). Suppose -16*f + n*f + 5552 = 0. Is f a prime number?
True
Is (-27 + 6)/3 - (-20871 - -3) a composite number?
True
Suppose 12 = m - 3*m. Is 47096/35 + m/(-15) a prime number?
False
Let a(v) be the second derivative of 59*v**5/60 - v**4/8 + 5*v**3/6 - 23*v**2/2 + 24*v. Let l(t) be the first derivative of a(t). Is l(-4) a composite number?
True
Is (-613252)/2*(-4)/(10 + -2) prime?
True
Suppose -5*f = -6*f - 1. Let u(x) = -75*x**3 + 4*x**2 + x - 1. Is u(f) prime?
False
Let d = 5604 - -17153. Is d a composite number?
True
Let c = -1887361 + 3202812. Is c a composite number?
False
Let n(l) = -16*l - 16134 + 16101 - 141*l**2 + 2423*l**2. Is n(-2) a prime number?
True
Suppose 24*o = 23*o + 4. Suppose -y = o*x - 3602, y = -x + 616 + 283. Is x a composite number?
True
Suppose 53*u + 20808194 + 19203 = 70*u. Is u prime?
False
Let o(n) = -9*n - 4. Let x be o(-2). Let l be 2/7 + 4476/x. Suppose -169 - l = -m. Is m a composite number?
True
Let f(o) = 139*o**2 - 2*o + 12. Let k be f(4). Suppose -4*z = -5*z - 3*c + k, -3*c - 11050 = -5*z. Is z prime?
True
Let w = 692 + -701. Is w/(-6)*((-69078)/(-18) - -7) composite?
True
Let m be 4 - 2/5*5. Suppose y + 4*t = 4539, 7*t = m*y + 2*t - 9065. Suppose 0 = -9*i + y + 24346. Is i a prime number?
True
Is ((-6)/(-50) - (-7)/(-35)) + (-42688432)/(-400) a prime number?
True
Is ((-32436015)/(-2))/(4 - 1)*384/960 composite?
False
Is ((-130983)/21)/(189/(-1323)) a prime number?
True
Is (-3397575)/(-15) + 0 - -6 prime?
True
Let k(d) = -201*d + 238. Let n(a) = -a**2 - 11*a + 157. Let q be n(9). Is k(q) composite?
False
Suppose m = -4*y + 16753, -2*y - 12*m + 8359 = -15*m. Is y a prime number?
False
Suppose 14*y - 61753 = 16*y + v, -3*v = 3*y + 92634. Let t = y + 43896. Is t composite?
True
Suppose 10218 = -52*c - 65286. Let p = c - -3071. Is p a composite number?
False
Suppose 3*s - o + 1228 + 5023 = 0, -5*s = -2*o + 10418. Let l = -7325 - -3598. Let v = s - l. Is v prime?
False
Let a(x) be the first derivative of 99*x**2 + 53*x - 51. Is a(5) a composite number?
True
Let b = 29 + -18. Let s(q) = 268*q**2 + 11*q + 20. Let u be s(b). Suppose -12*d = -u + 6133. Is d composite?
False
Let m(l) = -2892*l + 396. Let s be m(-7). Suppose -s = -33*h + 28*h - 5*w, -3*h - 2*w = -12383. Is h a prime number?
True
Let t be 6*(-16)/12 + 16809. Let d = -7784 + t. Is d composite?
True
Let y(m) = 5000*m + 3019. Is y(26) prime?
F