-2818 prime?
True
Suppose -3*f = 9, 5*v - 11966 - 114741 = 4*f. Is v a composite number?
False
Let c be 3758/(-2*(-2 + 3)). Suppose 5*r + 20 = -0*r. Is c/r - (-21)/(-28) a composite number?
True
Is 1/((8/20316)/(2/3)) a prime number?
True
Let p(w) = 75373*w**2 - 5*w + 5. Is p(1) prime?
False
Let i = -24 - -27. Suppose 3735 = 5*h + 5*f, -5*h + i*f + 5750 - 1983 = 0. Is h composite?
False
Suppose 47*u = -9*u + 2302328. Is u composite?
False
Is ((5975/(-15))/(-5))/(1/33) prime?
False
Let h = 22 - 39. Let t = h - -18. Is (-1)/t - 0 - -122 a composite number?
True
Let m = 32131 + -18960. Is m a prime number?
True
Suppose j + 4 = 6*i - 3*i, -i + 3*j + 12 = 0. Suppose i*h - 2*h + 538 = 0. Is h a composite number?
False
Let y = 886 + 5145. Is y a prime number?
False
Let z = -7 + 4. Let o(y) = -281*y + 1. Let h be o(z). Suppose 18*x - 22*x + h = 0. Is x a prime number?
True
Let s(k) = -11*k**3 + 21*k**2 - k - 65. Is s(-10) prime?
False
Let b(m) = 5 + 3813*m**3 - 4 - 3790*m**3. Let q be (6/15)/(1/5). Is b(q) prime?
False
Suppose -10*j = -2*j - 1304. Suppose j = -6*k + 5*k. Is 2 + k/(-1) + -2 a prime number?
True
Let q(j) = j**3 + 5*j**2 - 7*j - 4. Let x be q(-6). Suppose -4*i + 5*c - x + 11 = 0, -2*i - 3 = -5*c. Suppose 0 = 5*v - i*v + 69. Is v a composite number?
True
Let t(o) = -257*o + 2. Let f be t(-2). Suppose 4*s - 2*s = 5*v - 1291, s + f = 2*v. Is v prime?
False
Suppose -2*i = 5*p + 25, p - 6 - 1 = 2*i. Let w be 13/5 - (-3)/i. Let l = 12 - w. Is l prime?
False
Suppose v - 3*f - 4 = -8*f, 2*f - 12 = -3*v. Suppose -v*r + 8*r - 28 = 0. Suppose 5*j - 3*p = 757, 2*j - r*j = -p - 749. Is j prime?
True
Let p(u) = -356*u - 3. Let m = 30 - 31. Is p(m) a composite number?
False
Let m(q) = q**2 - 14*q - 18. Let s be m(10). Let f = s + 101. Is f composite?
False
Suppose 0 = -5*b - 3*c - 0*c - 90, 0 = 5*c + 25. Is (-20)/50 - 9621/b prime?
True
Suppose 4*t - 5*s = 12, 0 = -t - 4*t - s - 14. Let b(y) = -19*y**3 + y**2 + 8*y + 3. Is b(t) composite?
True
Let v(o) = o**2 + 5*o - 15. Let b be 136/12 - 1/3. Is v(b) prime?
False
Is (2 - (-6 + 8))/2 + 16078 prime?
False
Suppose 3497 = 7*r - 4560. Is r a composite number?
False
Let q = 3894 + -12168. Let x be 4/(-6) - q/18. Let c = -254 + x. Is c composite?
True
Suppose 3*s + 2 + 7 = 2*y, -5*y = s - 14. Is s*((0 - -542) + -1)*-1 a composite number?
False
Suppose 0*z - j + 7 = -5*z, -z - 5*j = -9. Is ((-6)/33)/z - (-49422)/66 composite?
True
Let x = -274 + 118. Let j = 269 + x. Is j prime?
True
Suppose 5*u - 47835 = 12410. Is u prime?
True
Let c(x) = -2 + 3 + 0 + 51*x - 313*x. Suppose 0*d - 9 = 5*m + 4*d, 0 = 3*m + 2*d + 5. Is c(m) prime?
True
Suppose -4*k + 7 = -9. Is k/((-12)/(-759)) + 4 composite?
False
Let m = -7710 - -20559. Is m prime?
False
Suppose -2*w = -3*q + 6, -12 = -0*q + q + 4*w. Suppose 0*i + 3*i = q. Is 97*(i - 2/(-2)) a prime number?
True
Let k = -11 + -264. Let x = k + 420. Is x a prime number?
False
Suppose 35557 = 3*m - 2*a, 0 = 4*a + 7 + 1. Is m composite?
True
Suppose 7*y - 3*y - 16 = 0. Let t be (y + -3)/(-2)*-2. Let w(d) = 653*d. Is w(t) a prime number?
True
Suppose 4*n = -4, -164 = -b - 3*n + 375. Suppose 5*f - 6997 = -b. Is f prime?
True
Let c = -208 - -230. Let k be -32 - (-2)/(0 + 2). Let q = c - k. Is q a composite number?
False
Let n be (2785 + 1 + -1)*-1. Let p = n + 4722. Is p prime?
False
Suppose 4 = -d, -4*d = 4*i - 6*d - 1296. Suppose -5*n = -i - 383. Is n a composite number?
True
Let k = 491 - 186. Is 2 - (k/2)/(3/(-6)) prime?
True
Suppose -k - 23*j + 3877 = -21*j, 7739 = 2*k + j. Is k a prime number?
False
Is (177 + -1253)*-2*7/8 a composite number?
True
Let u(b) = 907*b + 723. Is u(74) a composite number?
True
Let m = 31604 - 18207. Is m a prime number?
True
Let i(z) = -z**3 - 11*z**2 + 14*z + 12. Let m be i(-12). Let v = 18 + m. Is 2*v/(-4) - -680 a composite number?
False
Let u(i) be the third derivative of i**6/15 + i**5/10 + i**4/12 - 5*i**3/6 - 14*i**2. Is u(7) prime?
False
Let x = -147 - -790. Suppose -5*g + 5*r = -773 - 2362, -g - 3*r + x = 0. Is g composite?
False
Let r(n) = -48*n**3 + n. Let q = -32 + 30. Is r(q) a composite number?
True
Let q = -12 - -14. Suppose 9 = s + 3*n, -q*s - 5*n + 6 + 9 = 0. Is s - -2 - (0 + -765) a prime number?
False
Let m(y) = 9*y**2 + 4*y - 1. Let f be m(-4). Let t = -4 + f. Is t prime?
False
Let o(c) = -c**2 - c + 3. Let m be o(-3). Let a be 3 - (4 - -9) - m. Let p(d) = 11*d**2 + d + 3. Is p(a) a prime number?
False
Let f = 24489 - 11396. Is f a composite number?
False
Let c(n) = -5*n**3 - n**2 - 10*n - 17. Is c(-9) a composite number?
False
Suppose -2 = u + 4. Let i = u + 9. Suppose -3*p + 47 = -i*v + 251, 0 = p - 1. Is v a composite number?
True
Let d be 19 + (8/(-4) - -3). Let f be (3 - d/6)*-1311. Suppose -q + f = -3*a, -1019 - 270 = -3*q - 2*a. Is q a prime number?
True
Suppose 3*d = -12, -5*o = 2*d - 0*d - 17. Is (-4)/6 - (35975/(-15))/o prime?
True
Suppose 0 = -m - 5*k + 44361, 13*k = m + 8*k - 44341. Is m composite?
False
Let z be 14 + -9 + (669 - 1). Let k = z - 308. Is k a prime number?
False
Let v = 45 - 43. Suppose 2804 = 3*p - 3*b - 5986, -5890 = -v*p - 4*b. Is p a composite number?
True
Suppose -y + 4*y + 2*c - 72 = 0, 5*y + 5*c = 120. Let i = -33 + y. Is (-2)/4*2034/i a composite number?
False
Suppose -2*l + 4*t + 18 = 0, 4*l + 0*t = -t. Let y(r) = 195*r**3 - 2*r**2 + 1. Is y(l) a composite number?
True
Let y(f) be the first derivative of 639*f**2/2 - 2*f + 6. Let j be y(2). Suppose 5*n + 3*z - j = 0, -2*z - 1291 = 2*n - 7*n. Is n a prime number?
True
Suppose 9 = 2*r - 2*l + 1, -4*r + l + 28 = 0. Let b = r + 11. Is b composite?
False
Is (-51447)/(-12) + 1/(-4) a prime number?
False
Let v(r) = -r**3 - 44*r**2 + 118*r - 93. Is v(-56) prime?
True
Let a(j) = j**3 + 3*j**2 - 8*j - 5. Let z be a(-5). Let v = -10 - z. Suppose -c = c + v*d - 563, -d = c - 274. Is c a prime number?
True
Let s(r) = -r. Let m be s(-2). Let u be -1*(-1 - m) + 107. Suppose -u = -5*y + 60. Is y prime?
False
Let n = 2877 + 5014. Is n prime?
False
Let o(h) = -h**2 + 9*h - 13. Let d be o(6). Suppose 0 = 5*a + d*i - 7015, 4276 = 3*a + 5*i + 59. Is a a composite number?
False
Let r(n) = 211*n - 9. Let l be r(-2). Suppose -3*c - 2*o - 5478 = -6*c, 5*o - 1809 = -c. Let m = c + l. Is m a composite number?
True
Suppose -5*b = 0, 0*v + 5*b = -v + 173. Suppose -3*m + 7*m + v = 3*o, -m + 178 = 3*o. Is o a composite number?
False
Let t = 6175 + 2562. Is t a composite number?
False
Suppose 0 = 5*f + n - 20189, 4*f + 4*n + 20169 = 9*f. Is f prime?
False
Is 264/(-330) + (-29958)/(-10) a composite number?
True
Let d(q) = 71*q + 20. Suppose 3*m + 0*m + 27 = 0. Let u be d(m). Let v = u + 1136. Is v composite?
True
Is 54116/6*(-153)/(-102) prime?
False
Let r(d) = d**2 - 16*d + 3. Let n be r(16). Let z be (0 + (3 - n))*1. Suppose z = -x - 3*x + 580. Is x a composite number?
True
Suppose 0 = -5*o - 3*d - 70, 5*d = -7*o + 3*o - 69. Let k = 22 + o. Suppose -7*s - 5588 = -k*s. Is s a composite number?
True
Let x(j) be the first derivative of -67*j**2/2 + 4*j - 2. Let m be x(-5). Let b = -136 + m. Is b prime?
False
Let k = -3499 + 2095. Let w = k + 3047. Is w a composite number?
True
Let z be (-1)/(-4) + (-33)/132. Let v(q) = -4*q**3 + 4*q**2 - 5*q + 20. Let d(p) = 3*p**3 - 3*p**2 + 4*p - 21. Let k(o) = -5*d(o) - 4*v(o). Is k(z) composite?
True
Suppose -4*n + 1198 = -758. Suppose 3*b = -2*o - n, o + b - 21 = -264. Let u = o - -491. Is u prime?
True
Let n(y) = -y**3 + y - 1. Let s be n(-2). Suppose s*k - 20 = 0, 5*u + 4*k + 0*k - 66 = 0. Is u composite?
True
Let p(t) = 24*t**2 - 12*t + 5. Let x be p(8). Suppose 7*v - x = 2*v. Is v a prime number?
False
Let j = 3214 - 1479. Is j a prime number?
False
Let i(k) = 2*k**3 - k**2 - k + 2. Let u be i(1). Suppose -5*x + 603 = -u*h + 6*h, -x - h + 121 = 0. Is x a prime number?
False
Let y(z) = 267*z + 7. Let u be y(16). Let q = u - 2522. Is q composite?
True
Let o(a) = 1641*a + 4. Let h(q) = -1640*q - 3. Let j(g) = -5*h(g) - 6*o(g). Is j(-1) composite?
False
Suppose -q = 2*i - 19464, -5*i + 4*q - 6*q + 48659 = 0. Is i a composite number?
True
Let r(f) = 489*f + 8. Let i = -69 + 74. Is r(i) prime?
False
Let r be 2 + (-2)/(-7) + 13548/14. Suppose -23*a + 28*a = r. Is a prime?
False
Let k = 34 + -32. Let i(r) = 7*r - 4. Let x be i(k). Suppose