w = i + -16088. Is w prime?
True
Let o be 42/(-28) + 222370/4. Suppose -15*f + o = 8*f. Is f prime?
True
Let r(y) = 60*y + 353. Let g be r(-6). Suppose 0 = t - 13 - 0. Is (t + g)*(-6)/(-4) prime?
False
Suppose -114 = 5*m - 309. Suppose 29*a = m*a - 155030. Is a a prime number?
False
Suppose 5*v + 3*z = -27, -6 = 2*v + 3*z + 12. Is (-6)/21 + (v - (-10506)/21) composite?
True
Let l(n) = 9*n + 10. Suppose 14 = -5*y - u, -2*u = -0*u - 2. Let m be l(y). Let j = 36 - m. Is j a prime number?
True
Suppose 0 = -21*v - 9*v + 9266190. Is v composite?
True
Suppose -691*c = -696*c + 220. Suppose 38*n - c*n + 48054 = 0. Is n a prime number?
True
Suppose u - 8*u - 5705 = 0. Let g = 1201 + u. Suppose 5679 = 5*w - g. Is w composite?
False
Let i = -67 + 89. Let n(c) be the third derivative of -c**5/60 + 2*c**4 - 5*c**3/2 - 2*c**2. Is n(i) composite?
False
Let z(l) = -39951*l + 2671. Is z(-8) a prime number?
False
Suppose -37*g = 2*w - 36*g - 223641, 0 = -2*w - 4*g + 223650. Is w a composite number?
True
Suppose -3 - 7 = -5*x, 0 = 5*s + 5*x - 10385. Let d = s - 296. Is d a composite number?
True
Is 82585 - (-4 + 12 + -21 + 7) a composite number?
False
Is (-12)/78 + -8 + (-68499)/(-13) composite?
False
Let v(q) = -790*q - 3. Suppose -5*j = 5*m - 90, 4*m - 90 = j - 6*j. Let a = -19 + j. Is v(a) a prime number?
True
Let b(a) be the third derivative of a**6/720 + 239*a**5/120 - 7*a**4/8 + 12*a**2. Let t(j) be the second derivative of b(j). Is t(0) a prime number?
True
Suppose -4*q - 44 = -2*z - 12, q = -5. Suppose -3*s + 8807 = t, 3*t - z*s = -2*s + 26447. Is t a prime number?
False
Suppose -69*m + 65*m + 32 = 0. Is m/(-12)*(-36570)/20 composite?
True
Let a(s) = -2*s**2 + 46*s + 1. Let f be a(-24). Let w = 7924 + f. Is w composite?
False
Let l(j) = -j**2 + 8*j - 8. Let o be l(5). Suppose -10*c = -o*c - 2916. Suppose 6*t - 4*t - 5*a = 1909, a - c = -t. Is t composite?
False
Suppose 3*h + 5*s - 5094 = 0, -h + 547 + 1144 = 4*s. Is h prime?
False
Let v be 54/(-63) - (-1001799)/(-7). Is (v/(-60) + (-6)/3)*4 a prime number?
True
Let n be (-1 + -12723)*(-60)/48. Suppose -2*s + n = 3*s. Is s a composite number?
False
Let m = -67 + 21. Let s = -590 + 1001. Let v = m + s. Is v a prime number?
False
Let d = 2751751 - 1804529. Is d composite?
True
Suppose 0 = 2*k + 98 - 1108. Suppose k = 2*v + y, 0 = -2*v + 4*v + 5*y - 517. Is v a composite number?
False
Is (-2)/(((-252)/1054791)/14) a prime number?
False
Let n be 93/(-6)*(-1 - 9). Suppose n = i + 4*i. Suppose a = -4*j + i, -4*j - 115 + 31 = -4*a. Is a prime?
True
Let c = 55292 + -44277. Is c a composite number?
True
Suppose -54*t - 54547 - 49691 = -63*t. Is t prime?
False
Is 714341/(3*9/108*4) a composite number?
False
Suppose -4*v + 1301 = b - 47, 4*b = 16. Suppose -7*f + 46417 + v = 0. Is f prime?
True
Suppose -5*y + 227098 + 44433 = 4*q, 3*y - 162963 = 5*q. Is y composite?
False
Let h(u) = -10*u + 5*u - 6 + 0*u**2 + u**2. Let t be h(6). Let d(x) = 3*x**2 + 177. Is d(t) composite?
True
Let z(v) = v**3 - 3*v**2 + 2*v - 5. Let b be z(3). Is 577 - (3 + (-6 - b)) prime?
False
Let o = -69456 + 115759. Is o composite?
True
Let u(j) = 9*j**3 + 17*j**2 - 33*j - 8. Let z(f) = f**3 - 2*f**2 + f + 1. Let t(n) = u(n) + 4*z(n). Is t(9) a composite number?
False
Suppose 4*v - 300686 = 2*n, -2*v + 107744 = 5*n - 42593. Is v composite?
True
Let z be (-14)/42 - ((-8206)/3 + -2). Suppose -2*k + z = -3045. Let c = k + -1984. Is c a prime number?
True
Let q = -139379 - -532258. Is q a prime number?
True
Let n = -56 - -58. Suppose t = 5*l + 187, -3*t + n*l - 3*l + 545 = 0. Suppose 0*b = 2*b - t. Is b composite?
True
Let d(m) be the third derivative of 13/6*m**3 + 0*m + 5/8*m**4 - 21*m**2 - 2/15*m**5 + 1/120*m**6 + 0. Is d(11) a composite number?
False
Suppose -4*q + 244 = -2*q + 4*t, -4*q - 2*t = -488. Let y = q + 4857. Is y a composite number?
True
Let y(f) = -252*f**3 + 2*f + 1. Let s be 5 + 8/(-4) - 6 - -16. Let p = s - 14. Is y(p) a composite number?
False
Let o(t) = -23*t**2 + 15 + 144*t**2 - 20 - t. Suppose -3*q = 2*u + 21, -4*u = -2*q + 6*q + 32. Is o(u) composite?
False
Suppose w - 2*h = 135200 + 9399, 5*w - 723061 = -h. Is w a prime number?
True
Let z be -8*2*115 + -4. Let a = z + 3325. Is a a composite number?
False
Let f(a) be the third derivative of 64*a**5/15 + 3*a**4/8 + 25*a**3/6 + 138*a**2. Is f(-3) a composite number?
True
Suppose -9*i - 10749 = 5892. Let g = 2679 + i. Suppose -2*r + 1188 + g = 0. Is r prime?
True
Let i = 13322 - -257435. Is i a composite number?
True
Let y(w) be the first derivative of 512*w**3/3 - 12*w**2 + 9*w - 170. Is y(-4) composite?
False
Let f(y) = -y**3 - 7*y**2 + 3*y + 50. Let d be f(-5). Is (-24313)/d - 60/(-450) a composite number?
False
Let t be 5/(-20) + (-75)/(-12). Suppose 2*r + 121745 = 5*j, -r + j + 121751 = -3*r. Is ((-3)/t)/(-4 - r/15220) a composite number?
True
Let t = -26 + 30. Suppose 0 = -w - 2*n + 511, t*w - 2080 + 60 = -2*n. Is w prime?
True
Let f(v) = 66800*v - 117. Is f(1) a prime number?
True
Let p(v) = -5*v**2 + 6*v - 7. Let j(d) = 9*d**2 - 13*d + 12. Let q(z) = 3*j(z) + 5*p(z). Is q(30) composite?
False
Suppose -2*v = -5*a + 4, v - 11 + 6 = -a. Suppose 11*f = -v*f + 19642. Is f composite?
True
Let c be 6/15*4/(-6)*-15. Suppose 3*q = -c*d + 219, 4*d - 4 + 16 = 0. Is q a composite number?
True
Suppose 12*d - d = -35838. Let f = 6707 + d. Is f a prime number?
True
Let d be -1 + 3 + -5 + 12. Let w(b) = -31*b**2 - b + 5. Let k be w(d). Let g = k - -3678. Is g a composite number?
False
Is (29 + 130)/((-3)/(-263)) prime?
False
Suppose 3*b = -6, -g - 2*g + b + 5 = 0. Let y(s) = -g - 33*s**2 + 3 - 3*s + 7*s**3 + 34*s**2. Is y(3) composite?
False
Suppose 5*n + 22*n + 52812 = 0. Let y = n + 2935. Is y a prime number?
False
Let z(x) be the third derivative of -169*x**7/2520 - x**6/144 - 7*x**5/60 - 14*x**2. Let a(b) be the third derivative of z(b). Is a(-3) prime?
True
Suppose 3*h - 6782 = 6457. Suppose 5*n + 417 - 432 = 0. Suppose h = n*w + 186. Is w a composite number?
False
Let t(j) = -297*j + 172. Let k(v) = -594*v + 345. Let n(f) = -2*k(f) + 5*t(f). Is n(-7) prime?
False
Let c = 481 + -478. Suppose 0 = 3*w + c*b - 15582, 6*w - 5*w - 5174 = 3*b. Is w a prime number?
True
Suppose -45*c = 174*c - 1409343 - 10406364. Is c a prime number?
False
Suppose 6*k = 2*g - g - 241555, -3*g = 5*k - 724757. Is g a prime number?
False
Let h = 368476 + -165605. Is h prime?
False
Suppose 4*q - 14556 = -4*k, 0 = 5*q - 4*k + 180 - 18312. Let p be (-61)/(-3) + 4/6. Suppose 0 = p*z + 314 - q. Is z a composite number?
True
Let u(m) = 80*m + 228. Let v be u(32). Let a = v + 3193. Is a a composite number?
False
Let j be 3/3*2*(-4)/(-1). Suppose 10*g = j*g - 2. Is (-24)/6 + g + 231 prime?
False
Let s(l) = -l**3 + l**2 + l. Let u be s(0). Suppose 13*r - 11*r - 36 = u. Suppose r*w = 23*w - 1705. Is w a prime number?
False
Suppose 60665820 + 50034275 = 151*n - 12057318. Is n composite?
False
Let y be (-654)/10 - (-1 - (-6)/10). Let s = -57 - y. Suppose -s*a + 3921 = -535. Is a composite?
False
Let n be 1/3 + 20427/9. Suppose 0 = -5*r + 995 + n. Suppose r = 3*p - 1294. Is p prime?
False
Let s(i) = -i**3 - 13*i**2 - 23*i + 5. Let x be s(-16). Suppose -290*p - x = -291*p. Is p composite?
True
Suppose -5*i - 462392 = -3*k + 19490, 5*k - 803080 = -3*i. Is k composite?
False
Let h = 3689 - 14155. Let t = -6837 - h. Is t a composite number?
True
Let k be -1*(3/(-15) - (-2)/10). Suppose k = -2*g - 0*r + 4*r + 4798, 0 = 3*g - 2*r - 7181. Is g a composite number?
True
Let u = 4485103 + -1842872. Is u a composite number?
False
Suppose 157166 - 529297 = -9*x + 423847. Is x a composite number?
True
Let z(r) = 3*r - 5. Let s be z(3). Suppose -q + 5381 = -5*m - 10167, s*q - m - 62249 = 0. Is q prime?
False
Let i be (-42)/(-9)*(-66)/(-77). Suppose -2*z - 3*u + 11995 = -0*u, i*u + 30045 = 5*z. Is z a composite number?
True
Let q = 1034 - 1029. Suppose 0 = -2*n - 3*n + 4*j - 44, 5*n + 64 = -j. Is 6663*(q + 56/n) composite?
False
Let v = -154723 + 285350. Is v prime?
False
Let g(b) = 1201*b**3 - 26*b**2 + 126*b - 2. Is g(5) composite?
True
Suppose 0 = 11*t - 237055 - 956500. Is t prime?
False
Suppose -49 = 6*m - 13. Let n(k) = 8*k**2 + 23*k + 13. Is n(m) a prime number?
True
Let t = -6381489 - -9029908. Is t composite?
False
Suppo