 - 12 = 0, -2*i - 194697 = -f*y. Is y a prime number?
False
Suppose 5*g + b = 10, 0*b - 5 = b. Let q be (-21)/g*(-30)/(-35). Is (-8730)/(-22) + (q - 136/(-22)) prime?
True
Suppose -3*y = 5*k - 0*k - 15, 0 = -2*k + 4*y - 20. Suppose -2*u - 2*x - x + 7940 = k, 4*u + 5*x - 15878 = 0. Is u a composite number?
False
Let r(b) = 7561*b - 72. Is r(15) a composite number?
True
Suppose -3*c + 265408 = w, -4*c + 1326941 = 36*w - 31*w. Is w prime?
True
Let t = -45 + 38. Let r = 10 + t. Suppose -r*d + 147 = -1860. Is d composite?
True
Let a(d) be the second derivative of -129*d**5 - d**3/2 - 3*d**2/2 - 26*d. Let p be a(-1). Let i = p - 185. Is i composite?
True
Let o(w) = w**3 + 9*w**2 - 20*w + 26. Let m be o(-11). Suppose m*p - 602 - 427 = -z, 3122 = 3*z + 5*p. Suppose -z = 5*h - 3454. Is h prime?
False
Suppose 4*y = -5*p + 23, 6*y - 49 = 4*y + 5*p. Let a(f) = 155*f + 47. Is a(y) a prime number?
True
Let r be ((-42)/(-9))/(2/78). Suppose -2*o + 5*b = -57, o - 4*b - 23 = 13. Suppose o*x = 18*x - r. Is x a composite number?
True
Suppose -w + 7*s = 6*s, -4*w = s. Suppose w = -31*p - 25357 + 210768. Is p a composite number?
False
Let m = 33567 + -19933. Suppose -3*a + 5*t + 17045 = 2*a, -4*a + 3*t = -m. Is a prime?
True
Suppose -4*o - 485016 = -4*b, 2*b - 74*o = -71*o + 242507. Is b a prime number?
False
Let h be 185/20 + (-1)/4. Suppose -h*f + 33877 = 12817. Suppose 4*y + 0*y = v - 590, -f = -4*v - 4*y. Is v composite?
True
Let w be (-2)/(-7) - 960/(-168). Let d be w/9*5*-9. Let c = d + 109. Is c prime?
True
Let r be (-4)/(1 - 5) + -3 + -2. Let d(y) = -5*y - 15. Let t be d(r). Suppose -5*b - 9 = -4, -5930 = -t*q - 5*b. Is q a prime number?
True
Suppose -139*l - 896887 = -5*i - 142*l, 2*l = -4*i + 717512. Is i a composite number?
False
Suppose -10*n = -7*n - 18. Is 24294/3*-1*(-3)/n a prime number?
True
Let p be (7343/21)/(-3 - (-50)/15). Suppose 0 = -3*q - 4*c + 3147, q - p = -0*q + c. Is q composite?
False
Let i = -87 - -86. Let a be i/3 - (-16)/3. Suppose -3*t - a*n + 13528 = 0, -2*t + 7*n - 4*n = -8987. Is t composite?
True
Suppose -3*i - 66005 = -5*d, -5*i - 10083 - 42734 = -4*d. Is d prime?
False
Is ((-7)/((-630)/(-9848103)) - 4/30)*-2 a prime number?
False
Let x(p) = -8*p**2 - 9*p - 4. Let m be x(-8). Let a = -4118 + 2337. Let y = m - a. Is y a prime number?
False
Let q(b) = -318*b**2 + 57*b - 8. Let d be q(-10). Is d/(-8) + 301/172 a composite number?
False
Let l(o) be the third derivative of -647*o**4/4 - 71*o**3/6 - o**2 - 19*o. Is l(-6) a prime number?
False
Is 7/(-4 + 2921316/730308) a prime number?
True
Let j be (8/(-3))/((-40)/(-30540)). Let r = j - -4267. Is r a composite number?
True
Is 1/(-4) + (-22946)/(-56)*3 prime?
True
Let c(z) = z**2 + 34*z - 146. Let t be c(-38). Is 1/(-1 + t) - (-146888)/35 prime?
False
Suppose -57*k + 53*k + 3284 = 0. Suppose 3*u - 1861 - k = 0. Let b = u + -451. Is b a prime number?
True
Let n = 226 + -196. Suppose -75972 = 18*j - n*j. Is j composite?
True
Let j = -10 + 11. Let t be j - 4 - (-5 - -1). Is 3885/7 + -4*t a prime number?
False
Let x(m) = 43*m**2 + 91*m + 71. Is x(-33) a composite number?
True
Let a(k) = -2*k**2 + 3*k**2 + 4 + 5076*k**3 - 4686*k**3. Is a(3) prime?
False
Let l(h) = -1095*h + 253. Is l(-36) composite?
True
Let v(y) = y**2 + 4*y - 9. Let r be v(-7). Is (60/(-8))/(r/(-14648)) a composite number?
True
Let z(o) = 1002*o**2 + 7. Let c(j) = 3005*j**2 + 4*j + 22. Let x(r) = -2*c(r) + 7*z(r). Is x(3) a prime number?
False
Let d(f) = 2208*f**3 - 10*f**2 - 17*f + 98. Is d(5) a prime number?
False
Is (8 + -5 - 4)*-26963 prime?
False
Suppose 0 = 5*q + 3*x - 7643, -4*q - 5*x + 1466 = -4638. Is q prime?
True
Suppose 442310 = 5*k - 5*u, -2527*k = -2529*k - 5*u + 176931. Is k a prime number?
True
Let h(p) = 85*p**2 - 49*p + 383. Is h(20) a prime number?
True
Suppose 4*o = 4*l + 16, 4*l - 5*l = 2*o - 5. Suppose 0 = 2*y - 3*q + 15, y - q + 18 = -o*q. Is 764/(-6)*9/y*2 prime?
True
Let l be 1 - -30 - (0 + 1). Let o = 40 - l. Suppose o*p - 7*p = 993. Is p a prime number?
True
Suppose 18*g = 78*g - 238680 - 5355060. Is g composite?
False
Let s(n) = 231*n + 3. Let w be s(5). Let f = w - -127. Is f a composite number?
True
Suppose 320 + 363 = g. Suppose 0 = v - 1324 - 215. Suppose n - 4*z - g = 0, 173 = -2*n - 2*z + v. Is n composite?
False
Let r(k) = -10*k**3 + 7*k**2 + 91*k + 21. Is r(-8) a composite number?
False
Is (2/3 - ((-33110)/(-21))/10)*-797 prime?
False
Let a(h) = 21*h - 102. Let r be a(5). Suppose -3*d = -15, -r*p + 0*d = 3*d - 3702. Is p a prime number?
True
Let t(h) = -h. Let z(k) = 156*k**2 - 5*k - 8. Suppose 3*s + 4 = 7*s. Let w(v) = s*z(v) - 6*t(v). Is w(3) composite?
False
Suppose 0 = 3*t + 3*c - 9, -5*t + 6*t + 2*c - 4 = 0. Let i(n) = -168*n - t - 8 + 6 - 1. Is i(-2) a prime number?
True
Let m(i) = 100*i**2 - i - 10. Let v be m(17). Suppose -17*y + 30*y - v = 0. Is y composite?
False
Let g(c) = -21264*c**3 + 31*c**2 - 42*c - 164. Is g(-5) prime?
False
Let g = -119029 - -307782. Is g a composite number?
False
Let v = 264048 + -184481. Is v a prime number?
False
Is (26 + 3030 + 37)*521/3 composite?
True
Let v be 7*1 + (-24 - -19). Let n be v/(3 + 1) + 1268/8. Suppose n = 24*o - 21*o. Is o composite?
False
Let x(i) = i**3 - 16*i**2 + 34*i + 13. Let k(a) be the second derivative of a**3/2 + 35*a**2/2 + 11*a. Let c be k(-7). Is x(c) a prime number?
True
Suppose 154367 = 371*j - 342*j. Is j composite?
False
Let q(p) = 2*p**2 + 10. Let n = -36 + 41. Let z be q(n). Suppose 2*i + i + 107 = 2*t, 5*i = -t + z. Is t prime?
False
Let r = -103 - -101. Let t(d) = -1230*d - 10. Let x be t(r). Let y = -247 + x. Is y composite?
False
Let g = -151636 + 382287. Is g a composite number?
True
Suppose -207*b + 8214027 = -8*b - 42682. Is b prime?
True
Suppose 0 = -3*d + 6*d. Suppose -11*t + 11 + 11 = d. Is 9 + -5 - t*-77 prime?
False
Suppose -40*h + 794041 = -773599. Is h a composite number?
False
Suppose 4*x = 3*k - k + 16, 0 = -x + 4. Suppose -c - 3*i = -k*i - 6236, -3*i + 31144 = 5*c. Is c a prime number?
False
Let m(x) = 22*x**3 + x**2 - 2*x + 1. Let i be 1/(3 - (6 - 4)). Let d be m(i). Suppose n - d = -4*a + a, n - 28 = -a. Is n composite?
False
Let s(y) = -386*y - 5657. Is s(-41) prime?
True
Let c = 23003 + 192312. Is c a composite number?
True
Let d = -5 + 13. Suppose d*u = 5 + 3. Is u/2*(973 + -11) a composite number?
True
Is (-26)/884*-85*(-3314)/(-5) composite?
False
Suppose 0 = d - 9*d + 1424. Is ((-119)/34)/((-1)/d) a composite number?
True
Let r(w) = 1741*w**2 + 49*w + 17. Is r(-8) a composite number?
False
Let x = 21 + -6. Let u = x - -132. Suppose -u = -y + 16. Is y prime?
True
Suppose 2*a - 4*m - 112146 = 0, 5*m + 70367 = 3*a - 97856. Is a prime?
True
Let c(s) = -s**3 + 2*s**2 + 4*s + 2. Let m be c(4). Let q(h) be the third derivative of h**5/20 + 11*h**4/24 - 25*h**3/6 - 311*h**2. Is q(m) a prime number?
True
Suppose -28 = 2*w + 3*x - x, 0 = 5*x. Let u = 11 + w. Let j(p) = -8*p**3 + 6*p**2 + 2*p + 1. Is j(u) a prime number?
False
Suppose 4*k + 5*n = -12520, 19*k - 3130 = 20*k + 3*n. Let d = k + 5151. Is d a prime number?
False
Suppose -5*n + 105297 = 3*b - 444488, 219914 = 2*n - 3*b. Is n a prime number?
False
Let y(r) = 61*r**3 + 11*r**2 + 24*r - 55. Let j(i) = -20*i**3 - 4*i**2 - 8*i + 19. Let u(w) = 8*j(w) + 3*y(w). Is u(5) prime?
True
Let w(z) = -4*z**2 - 6. Let b be w(3). Let t = b - -47. Suppose -724 = -t*k - m + 4*m, 301 = 2*k - 5*m. Is k a prime number?
False
Let o = -4126 - -5627. Is o prime?
False
Let t(x) = x**3 + 12*x**2 + 9*x - 26. Let w be t(-11). Let c be (w/(-8)*20)/(2/(-12)). Is (6/(-8))/(c/16880) a composite number?
False
Let s(k) be the first derivative of 9895*k**3/3 - 72. Is s(1) prime?
False
Let q(k) be the first derivative of -28*k**3/3 - 3*k**2/2 + 7*k + 16. Let o(a) = 113*a**2 + 12*a - 28. Let w(n) = -2*o(n) - 9*q(n). Is w(-4) prime?
True
Let t(n) = 295*n**2 + 6. Let d = -48 + 51. Let z be t(d). Suppose 0 = 5*k - s - z, 4*s + 1570 + 546 = 4*k. Is k a composite number?
True
Let i(r) be the second derivative of 190*r**3/3 + 191*r**2/2 + r - 29. Is i(9) a composite number?
True
Suppose -4*o - o + 33805 = 0. Is o composite?
False
Suppose -5*m - 5*o + 80 = 0, -9*o = -3*m - 14*o + 52. Suppose 6*n + m - 26 = 0. Suppose 0 = n*b - 8*b + 23094. Is b a prime number?
False
Suppose -a 