. Is n prime?
False
Let o = 2804 + 495. Is o prime?
True
Let j(q) = -146*q - 6. Let c be j(-2). Suppose a + c = 1709. Is a a composite number?
False
Is (-66)/(-44)*(-54118)/(-3) composite?
False
Let q be 6/(-42) + ((-22752)/(-21))/3. Let z = q + 858. Is z a composite number?
True
Is (-6)/27 - (-5)/((-90)/(-87178)) a composite number?
True
Is (0 - 4037)*(5 + -4 - 2) a composite number?
True
Let r(x) = -x**3 + 9*x**2 - 5*x - 20. Let f be r(8). Is f/(-12)*-9 - 1*-2284 a composite number?
False
Let z = 1349 + 12029. Is z a prime number?
False
Let n(p) be the third derivative of p**5/15 + p**4/24 - 5*p**3/6 + 6*p**2. Is n(6) composite?
True
Let b = 18 - 15. Let u(k) = 40*k + 2 - 3 - 5 + b. Is u(4) composite?
False
Let y be (-2)/8 + 39/12. Is y*(-2)/12*-142 prime?
True
Is ((-453)/2 - -2)/(63/(-126)) a prime number?
True
Let s(q) = 151*q**2 + 13*q - 1. Is s(8) prime?
True
Let n(z) = -50*z**3 + 3*z**2 - 3*z - 25. Is n(-3) a composite number?
False
Let s(j) = j**3 + 9*j**2 + 26*j - 127. Is s(27) composite?
True
Let n(s) = s**2 - 8*s. Let b be n(9). Suppose -b*v + 11*v = 6818. Is v a prime number?
False
Let a = -90 + 102. Suppose g = a*g - 25531. Is g a composite number?
True
Is 16/(-1)*-398 - 6 a composite number?
True
Let q(w) = 4*w**2 + 10*w - 17. Let a(k) = k**2 - 1. Let o(m) = 5*a(m) - q(m). Let f be o(8). Is f/(-3)*333/6 a composite number?
True
Is -2*(12/42 - 24886/28) a prime number?
True
Suppose 0*x - 60 = -4*q - x, -2*q = 3*x - 40. Is (-6)/(-21) - (1 + (-5456)/q) prime?
True
Let s(g) = 7*g. Let c be s(1). Suppose 3*b - c + 1 = 0. Suppose 0 = -l - b*w + 44 - 17, -3*l - 2*w = -97. Is l composite?
True
Suppose -2*f = -5*y + 595, -5*y + 3*y + 238 = 4*f. Is 14/(-4)*(-17)/(y/742) a prime number?
False
Suppose 20 = 3*o - 7. Suppose o - 13 = m. Is m*(-6)/8 - 0 a prime number?
True
Let u = 25 - -42. Suppose -3*m - u = -304. Is m a prime number?
True
Let p = 3885 + -2501. Suppose 12*m + p = 5692. Is m a prime number?
True
Let y = -1971 + 12572. Is y a prime number?
True
Let t = -11093 + 17980. Is t composite?
True
Let a(x) = 3*x**2 + 13*x - 31. Let k be 2/5 - (-2376)/60. Suppose -k = p - 27. Is a(p) a prime number?
True
Suppose -4076 = t + 3*t. Let o = -522 - t. Is o composite?
True
Let c(a) = -872*a + 85. Is c(-21) prime?
True
Suppose -c - 2*c + 10896 = 0. Suppose -328 = -6*t + c. Suppose 2*b = -2*f + t, 2*b + 4*f - f - 659 = 0. Is b composite?
False
Let b be ((-24)/15)/((-8)/20). Suppose w - 4*f = b*w - 3145, -4*f = -16. Is w a prime number?
False
Let z(x) = -x**2 - x - 1. Let f(n) = -27*n**2 - 7*n - 2. Let s(v) = -f(v) - z(v). Let t be s(-5). Suppose 2*l = 5*l - t. Is l a prime number?
False
Is ((-15)/20)/((-30)/561160) a prime number?
True
Let n(x) = -x**2 - 10*x + 8. Let d be n(-5). Let m = d + 46. Suppose 4*z = 5*z - m. Is z composite?
False
Let j = 6132 + 2287. Is j a prime number?
True
Suppose 19452 = 5*l + 4*a, l - 19454 = -4*l - 3*a. Suppose -13*j + 30165 = l. Is j a composite number?
True
Let u(w) = -w**3 + 15*w**2 + 3. Let b be u(15). Suppose -b*p + 637 + 2301 = -4*i, 2918 = 3*p + i. Is p prime?
False
Suppose l = -2*l + 3, -l - 423 = -2*q. Suppose -321 = -3*j + 4*b + q, 0 = 2*j - 4*b - 354. Is j a composite number?
False
Is -8 + -1 - (19 - 81915) prime?
False
Suppose -3*p = 3*q - 2 - 4, 5*p = 2*q + 45. Suppose -3*h = w + 3*w + 1, h = 2*w - p. Suppose -j + w = 0, -2*y + 3*j + 0*j + 64 = 0. Is y a prime number?
False
Suppose w - 5*c - 738 = 0, -2 = -5*c - 7. Is w composite?
False
Suppose 0 = 18*x + 17414 - 120860. Is x composite?
True
Suppose -364*j + 14307 = -361*j. Is j prime?
False
Suppose -3*v - d = -7*v + 2177, 3*v - 4*d = 1623. Suppose -v - 1015 = -5*w. Let y = w + -55. Is y a prime number?
True
Let s(y) = y**3 + 3*y**2 + 4. Let j be s(-3). Let g = 18 + -17. Is (g + 54)*4/j a prime number?
False
Let h(u) = u**2 + u - 3. Let o be h(-2). Let y(t) = -3*t - 9. Let c(i) = -i + 1. Let w(f) = o*y(f) + 6*c(f). Is w(-8) a prime number?
False
Let o = 28509 + -3796. Is o a composite number?
True
Suppose v = 2*g + 3995, -7317 = 5*v + g - 27336. Let x = -2226 + v. Is x composite?
False
Let j(k) = 15*k**2 + 5*k + 7. Let v be j(-2). Let d = v + -18. Is d composite?
True
Let k = 46974 - 17597. Is k a composite number?
True
Let c = -1756 - -2514. Suppose 5*g + 2040 = -5*o, -2*o - 4*g - 53 = 757. Let t = o + c. Is t a prime number?
True
Let p be 28/21*3*-1. Let l(h) = -102*h + 5. Is l(p) a prime number?
False
Let b = 8906 - 2607. Is b composite?
False
Suppose -104676 = -29*q - 73. Is q a prime number?
True
Let l = 167 - 85. Let q = l - 142. Let p = 23 - q. Is p a prime number?
True
Let f be 4/((-80)/(-115)) - 3/4. Suppose -f*s + 3*i = -407, 2*i = s - 52 - 35. Is s composite?
False
Let b = -3271 - -9230. Is b prime?
False
Suppose 8*f - 2*w - 4381 = 3*f, 4*f - 3506 = w. Is f a prime number?
True
Suppose 525*k + 79270 = 527*k. Is k a prime number?
False
Suppose -5*z + 3*g + 30517 = 4*g, 5*g = -3*z + 18319. Is z prime?
False
Let f = -4879 - -7880. Suppose 10*c - f - 1969 = 0. Is c a prime number?
False
Suppose 4*r = -0*r + 4*u + 12, -5*r - 5*u + 5 = 0. Suppose 5*x - 1082 = -c - 0*c, r*c - 2164 = 2*x. Is c a composite number?
True
Let r = -3 + 1. Let b = r + 4. Suppose 5*m - 2*m + 3*q - 606 = 0, 6 = b*q. Is m a composite number?
False
Let l = -193 - -90. Let o = l - -510. Is o a composite number?
True
Let u(d) be the second derivative of d**5/60 + d**4/12 + 7*d**3/6 - 2*d**2 - 6*d. Let x(i) be the first derivative of u(i). Is x(8) prime?
False
Suppose 8 = 4*n - 0*n. Let p be n/(-6)*(-18)/2. Suppose 3*a - 41 = -j - 15, -2*j = p*a - 49. Is j a prime number?
True
Suppose -4*j = -158 - 2826. Suppose 3*l - 2*f - 5413 = -2*l, 0 = f - 1. Let i = l - j. Is i prime?
True
Suppose 0 = -11*z - 0*z + 33. Is (51*z/(-27))/(1/(-39)) a prime number?
False
Let y = 28 - 17. Suppose 3*w + 31 = 2*t + 3*t, 0 = t - 3*w - y. Suppose -4*o + 2*z = -2342, 2932 = t*o + 3*z - 4*z. Is o a composite number?
False
Suppose -5*g - 25 = 0, i - 6*g + 2*g = 1909. Is i a composite number?
False
Let u = -114 + 259. Let p = u - 78. Is p a prime number?
True
Let n be (4/(-6))/(4/(-30)). Suppose -258*m = -254*m - 2456. Suppose 0 = n*o - 3*o - m. Is o prime?
True
Let p = 1372 - 824. Suppose -3*y - 432 = -4*r, 2*r + 2*r = -4*y - p. Let g = y - -327. Is g a composite number?
True
Let i = 217 - 2. Suppose -766 + i = -s. Suppose 0 = -5*k - s + 1646. Is k a composite number?
True
Suppose -5*r - 2255 - 1976 = -3*x, -5*x + 5*r + 7035 = 0. Is x a composite number?
True
Suppose -3*j - w = 9, 0 = -2*j + 5*w - 31 + 8. Let n be (3 - 4)/(-1) - j. Suppose -n*t + 6*t - 359 = 0. Is t a prime number?
True
Let i(m) = m**3 + 15*m**2 + 20*m - 118. Is i(-12) composite?
True
Is (-127750)/(-55) + 9/33 composite?
True
Suppose 2*i - 74237 = 3*o, 2*i + 0*o - 74230 = -4*o. Is i a prime number?
True
Suppose 2*d - 4572 = 2954. Is d composite?
True
Suppose 2*r = -0*q + q - 16195, -2*q + 32392 = -3*r. Is q composite?
True
Let l(b) be the first derivative of -3*b**4/4 + b**3 + b**2/2 - 4*b + 1. Is l(-7) composite?
True
Suppose 0 = -4*s + 4*v - 8, 4*s + 1 = 2*v - 7. Let r be (-1)/(3/s + 1). Is r/(-1) + (497 - -2) a composite number?
True
Let r(t) = 86*t**2 - t - 10. Let v be r(-3). Is v/1 + -1 + (2 - 1) composite?
True
Let q(s) = s**2 + 4*s + 2. Let l be q(4). Suppose -38*z + l*z + 1996 = 0. Is z composite?
False
Let y be (-4)/(3 + 44/(-12)). Suppose -3*s = -y*s + 6. Suppose 4*m - s*f - 506 = 0, 4*f + f + 376 = 3*m. Is m composite?
False
Suppose -4*f + 9*f = 185. Let q = -304 + f. Let s = q - -380. Is s prime?
True
Suppose v - 5*k + 96 = 11240, -2*v + 3*k = -22295. Is v composite?
False
Let q(f) = 55*f + 10. Let w(a) be the second derivative of -a**3/3 - 19*a**2/2 - 8*a. Let s be w(-13). Is q(s) a prime number?
False
Let r = 67 + -11. Is (-14)/r + 1*(-1018)/(-8) a prime number?
True
Suppose 0 = o - 6808 + 2366. Suppose 3*j - j - o = 0. Is j composite?
False
Is 2876/3 - 14/(-42) composite?
True
Suppose -3*y + 9 = -2*v + 31, -v - 5*y - 15 = 0. Suppose -12130 = -v*z - 5*z. Is z prime?
True
Suppose 4*j + 192 = 3*a - 96, 4*j = -a + 80. Let h(w) = w**3 - 11*w**2 + 22*w - 18. Let t be h(8). Let q = a + t. Is q a prime number?
False
Suppose n - 70 = -n + i, 175 = 5*n + 2*i. Suppose 7*m - 357 = -n. Is m composite?
True
Let j(q) = -68*q**3