. Let v be p(13). Let s = v + 4. Suppose 0 = -4*f - 3*t + 505, 0 = s*f + t - 581 + 74. Is f a prime number?
True
Let q = 5941 - 2328. Is q a composite number?
False
Let y(n) = -579*n - 4. Let o(u) = -4*u**2 + u. Let r be o(1). Is y(r) a prime number?
True
Let w = 12160 - 34313. Is (-5)/(450/(-12)) - w/15 prime?
False
Let x(j) = -3*j - 49. Let c be x(-17). Is (33/15 - c)*745 a prime number?
True
Is 5/(-5) + 5 - -4003 a composite number?
False
Let f = 2151 - 1250. Is f prime?
False
Let i(y) = -y - 18. Let j be i(9). Is (-1)/(j/12 - -2) a composite number?
True
Suppose -3*p + 3*j + 92352 = -2*j, 61570 = 2*p - 4*j. Is p a composite number?
True
Suppose -99*l - 17797 = -112*l. Is l prime?
False
Let w(m) = -m**3 + 10*m**2 - 9*m. Let v(f) = f**3 + 6*f**2 - f + 3. Let l be v(-6). Let u be w(l). Suppose u = 5*n - 4622 + 1507. Is n composite?
True
Let a = -4213 + 11420. Is a composite?
False
Let o(z) = 46*z**2 + 10*z - 5. Let r be (2/(-6))/(3/(-72)). Is o(r) composite?
False
Suppose k = 5*n + 21, -12 = 8*n - 4*n - 2*k. Let s(x) = -9*x**3 - 8*x**2 - 10*x - 2. Is s(n) prime?
False
Let h(a) = 3*a**3 + 10*a**2 + 9. Is h(10) a composite number?
True
Suppose 5*j + 5*k - 3760 = -0*k, j - 3*k = 736. Let w(v) = -v**2 + 6*v + 1. Let s be w(5). Suppose -j = -s*c + 2*c. Is c composite?
True
Let i = -945 - -17128. Is i prime?
True
Is (-443649)/(-6) + 10/(-4) prime?
True
Suppose 5*h - 7182 = -h. Suppose -5237 = -5*w - 5*y + 648, w = 4*y + h. Is w prime?
True
Suppose 2 + 2 = -h - 2*o, 2*h - 3*o - 27 = 0. Suppose 3*f - 3 = -3*m - 0, 3*f = -9. Is 6/m*580/h prime?
False
Let l(d) = -376*d + 31. Is l(-28) a composite number?
False
Let a = 28677 + -16598. Is a a composite number?
True
Suppose 13*f - 175038 + 18947 = 0. Is f prime?
True
Let u(f) = 7*f**3 + 2*f**2 + f. Let r be (1 - (-2 + 4))*1. Let q be u(r). Is (q - -361)*(-2)/(-5) prime?
False
Let f = 58 - 54. Suppose 0 = -f*j + 569 + 1083. Is j prime?
False
Suppose -5*q - 32136 - 93034 = 0. Let w be (-6)/(-39) - q/26. Suppose -4*c - 119 = -w. Is c a composite number?
False
Let t be (-314)/(-4) - (-2)/4. Let c = -14 - -50. Let p = t - c. Is p prime?
True
Let b(z) = -z**3 + 3*z**2 + 18*z + 55579. Is b(0) a prime number?
True
Suppose 6613 = q - 2*c + 6*c, -4*q + 26440 = 4*c. Is q composite?
True
Let j(p) = -9*p + 1. Let u be j(1). Is 1 + 1222 - (-32)/u composite?
True
Suppose -15*h + 17*h - 3790 = 0. Suppose -4*c - 89 - 1806 = -5*i, c = -5*i + h. Is i composite?
False
Suppose 3*d = 3*q - 5*q + 37, 4*q - 63 = 5*d. Let u(h) = 5*h**2 - 21*h - 21. Let y(o) = 14*o**2 - 62*o - 63. Let j(b) = -8*u(b) + 3*y(b). Is j(q) prime?
True
Let k(v) = 3*v**2 - 3*v + 145. Let w(t) = t**2. Let o(i) = k(i) - 4*w(i). Is o(0) prime?
False
Let s(u) = -6 + 7*u**2 + 3*u + 4*u**2 + 0 - 3*u**2. Is s(-3) a composite number?
True
Let n(f) = f**2 - 10*f + 5. Let k be n(9). Let q be -2*k/(-4)*-1. Suppose 7*l - q*l - 1095 = 0. Is l prime?
False
Let s = -118 + 1400. Is s a prime number?
False
Suppose n - 4*x = 2329, -5*n + 11*x = 10*x - 11607. Is n a composite number?
True
Let m(j) = -j**3 - 2*j**2 + 10*j + 6. Suppose 2*z + 2*f + 24 = -f, -4*f = 16. Let k be m(z). Suppose -l + k = -319. Is l a composite number?
False
Is (3674 - (33 + -3)/6)*1 a prime number?
False
Suppose -2*k - 2*c = 0, -4*k = 2*c - 7 + 1. Suppose k*o - 781 = -3*u + 365, 4*u - 1528 = -o. Is u a prime number?
False
Is 2449/2*(-4 - -6) prime?
False
Let r = -65 - -75. Suppose 11*i = r*i + 85. Is i a prime number?
False
Let a(v) = 622*v + 4. Let l(j) = 1866*j + 11. Let c(m) = -8*a(m) + 3*l(m). Is c(1) composite?
True
Suppose 0 = 2*t + 2*k + 10, 4*k = -k - 10. Is 751/(1/1) - 0/t a prime number?
True
Suppose 0 = 4*t - 2*t - 4. Let u(g) = 5*g + 8*g**t + 10*g - 5*g - g**3 - 9. Is u(6) a prime number?
False
Let r(g) = -4*g**2 + g + 2554. Is r(0) prime?
False
Let v(r) = 9*r + 2. Let s be v(1). Suppose j - 15 = 3*h, 2*h = -0*j + j - s. Suppose -j*q - 532 = -x - 0*q, 2043 = 4*x + 5*q. Is x a prime number?
False
Let z(v) = 2*v**2 + 12*v - 8. Let t be z(-7). Let n be ((-789)/6)/((-3)/t). Suppose 4*k + 68 - n = -j, 4*k = -5*j + 959. Is j a composite number?
False
Let v(b) be the first derivative of -2*b**2 - 2*b + 6. Suppose z + 3*z = -2*i - 44, 4*i - 4*z = -28. Is v(i) prime?
False
Suppose -4*d - 6*v = -5*v - 558, v = 4*d - 554. Let o = 196 - -297. Suppose d + o = 4*w. Is w prime?
False
Let i = -7532 - -25965. Is i a prime number?
True
Let n = -36 - -41. Suppose 0 = -4*y + 2*t + 5420, -y + n*t + 722 + 615 = 0. Is y a prime number?
False
Suppose -p - 220 = 3*z - 0*p, 0 = -5*z - p - 370. Let h = -16 - z. Is h a composite number?
False
Suppose 0*t = -2*t - m + 1542, 2*m = 4. Suppose -l - 3*g = 477, -l + 2*g - g - 485 = 0. Let v = l + t. Is v a composite number?
True
Suppose -2*z + 1 + 9 = 0. Suppose -z*i = 3*w - 7561, -2*i - 4*w + 3032 = w. Is i a prime number?
True
Suppose 0 = -2*f + 11 - 1. Let w(j) = j**2 - 5*j + 5. Let c be w(f). Let a(p) = 10*p**2 - 7*p + 2. Is a(c) prime?
False
Suppose 0 = h - 2*k - 26799, -3*h = 3*k + 2*k - 80386. Is h a prime number?
False
Suppose 15*p + 14 = -1. Let m(d) = -908*d**3 - d - 2. Is m(p) prime?
True
Let o(z) = 161*z**2 - 28*z - 73. Is o(-4) a composite number?
True
Suppose 0 = -933*h + 931*h + 3890. Is h composite?
True
Let a = 81556 - 43105. Is a/12 - (-6)/8 a composite number?
True
Let y(l) = l - 7. Let b be y(14). Suppose -b*r = -4*r - 1113. Is r composite?
True
Let o = -9 - -14. Suppose o*n - 3*d - 1061 = 3*n, 4*n = -4*d + 2112. Suppose 4*g = n - 173. Is g composite?
False
Let q = -428 - -8617. Is q composite?
True
Let t(a) = a**2 + 2*a + 6. Let j be t(6). Let x = j - 3. Is x prime?
False
Let z(b) = -b**3 + 6*b**2 + 15*b + 10. Let s be z(8). Suppose -m - 953 = -5*h, h = -s*h + m + 571. Is h composite?
False
Let n = 2082 - -281. Is n composite?
True
Let m = -10 + 15. Suppose 0 = -m*f + 10. Suppose f*j + j = 165. Is j a prime number?
False
Suppose -9*v + 324772 - 90025 = 0. Is v a composite number?
False
Is 3359 + (3 - (5 + (-4 - -2))) prime?
True
Suppose -3*a + 2*m - 6*m = -16109, -4*a - 5*m + 21478 = 0. Is 10/35 - (a/(-7))/1 a composite number?
True
Let f = 3211 + 4848. Is f prime?
True
Let m(k) = 3826*k - 109. Is m(8) a composite number?
True
Let u = 41 + -46. Is -3*5/u + (-320)/(-1) a composite number?
True
Suppose -1510467 = 1079*m - 1100*m. Is m composite?
True
Let b(t) = -22*t + 1. Let v(o) be the first derivative of -o**4/2 - o - 3. Let f be v(1). Is b(f) composite?
False
Let h(c) = 23*c**3 + c**2 - 2. Let b be h(2). Let q = b - 79. Suppose u - 82 = -t + q, 0 = 3*t - 6. Is u a composite number?
True
Let l(w) = -w**2 + 12*w - 14. Let h be l(10). Suppose -663 = -9*r + h*r. Is r prime?
False
Let t(q) be the first derivative of q**4/4 + 8*q**3 - 11*q**2 + 11*q - 16. Is t(-20) a composite number?
True
Let g = -2608 + 9099. Is g composite?
False
Suppose -4*t + 48 = -2*t. Suppose t*g - 19*g = 670. Is g composite?
True
Suppose 5*y - 5*o + 20889 = 53519, o + 13049 = 2*y. Is y a prime number?
False
Let d(y) = y**2 - 6*y + 3. Let u be d(6). Suppose 5*r + 0 = u*s - 163, -143 = -3*s - 5*r. Is s composite?
True
Suppose -k - 5*u = 15, -k + 0*u - 3*u = 7. Suppose 5*b = 25 - k. Suppose 0 = b*d - 372 + 104. Is d a prime number?
True
Let c(k) = -k + 11. Let i be c(5). Suppose i*h = 4*h + 98. Is h composite?
True
Let g(m) = m**3 + 8*m**2 + 2*m - 6. Let j be g(-8). Let y = 90 - j. Let p = 321 - y. Is p a composite number?
True
Suppose 0 = -5*a - 10, 0*m = 4*m + a + 6. Is ((-4)/m)/(14/(-7)) + 235 a prime number?
True
Suppose -4*n = h - 0*h - 304, n - 76 = 2*h. Let p(c) = -2*c - 5. Let a be p(-4). Suppose -a*y - y + n = 0. Is y prime?
True
Let w(l) be the third derivative of 0 - 1/4*l**4 + 4/3*l**3 + 0*l + 1/60*l**5 + 4*l**2. Is w(7) prime?
False
Let k = -1 + 5. Suppose 4*t = 5*y - 279, -y - t = -k*t - 58. Is y composite?
True
Let v(r) = r**3 + 4*r**2 + 2*r + 9. Let i be v(-4). Let g be (-20)/10 - (6 - i). Let k(a) = a**3 + 6*a**2 - 11*a - 9. Is k(g) a prime number?
True
Let g(p) = -p - 1211. Let d(a) = -a**2 - a. Let r(b) = -d(b) - g(b). Is r(0) a prime number?
False
Is 3 - ((2 - 14272) + 0) a composite number?
True
Is (-15 + (-705426)/(-24))/(1/4) composite?
False
Suppose 4*x = 2*k - 552, -5*k + 0*x = 4*x - 1366. Let m = -171 + k. Is m a composite number?
False
Suppose 0*u - 