. Is z(m) a prime number?
False
Let q(l) = -317*l**3 - 4*l**2 - 3*l - 2. Let x be q(-3). Let b be x*(1*(-6)/4 - -2). Suppose z = -0*z + b. Is z a prime number?
False
Let k = -57098 + 93471. Is k prime?
True
Suppose 2*f - 64132 = -4*b, 28343 = 5*b - 4*f - 51822. Is b prime?
True
Let q(h) = 2628*h - 977. Is q(18) a prime number?
True
Let p(r) = 83555*r - 592. Is p(1) prime?
True
Let j be (44/(-55))/(1/(-5)). Let y be 5*j*(-1621)/(-10). Is y*(2 + -1)*1/2 a composite number?
False
Let y be ((-364)/(-21))/(2/(-6)). Let q(u) = -u**3 - 7*u**2 - 13*u + 11. Let l be q(-5). Is ((-56658)/l + (-8)/y)*-1 prime?
True
Suppose -2*s = x - 1, -5*s = 5*x - 4 - 6. Let q = s + 3. Suppose -y - q*o = 302 - 1015, -y = -4*o - 701. Is y a prime number?
True
Let l(c) be the third derivative of -c**6/120 + c**5/20 - c**4/12 + 2383*c**3/6 + 22*c**2. Is l(0) a prime number?
True
Suppose 3*j - 238094 = -v, 31*v - 29*v + 158748 = 2*j. Is j prime?
True
Let u(v) = -283*v**3 + 2*v**2 - v + 1. Let c be u(-2). Let f = c + -1320. Suppose 3*x = f + 2702. Is x a composite number?
True
Suppose -58 = 2*m + 2*n, -2*m + 21 - 75 = -2*n. Is 24/m + 86848/7 a prime number?
False
Let b be (-6)/15 + (-746)/10. Let n = b - -72. Is n + (-3148)/(-4) - -3 a composite number?
False
Suppose 3*a - 40*a = -444. Suppose a*x - 143105 = -48293. Is x a composite number?
False
Let q(k) = 993*k**2 + 3*k - 1. Let t(i) be the third derivative of -i**4/24 + 19*i**3/6 - 15*i**2. Let j be t(18). Is q(j) composite?
True
Let z = -371820 - -600155. Is z a composite number?
True
Suppose 6*i - 5*i + 5 = 0. Is (3 - (-3 - 31))*2 - i a composite number?
False
Suppose -o + 2 = -0*o. Suppose -o*q + 0*q - i = -26, i - 12 = -q. Suppose -10*r - 24 = -q*r. Is r a composite number?
True
Let h(o) = 719*o**2 - 2*o + 6. Let c be h(2). Let l = c + 369. Is l composite?
True
Let s be 14766/92*1*-2 - 3. Let d(v) = -v**3 + v**2 + 12*v + 4. Let i be d(-9). Let w = i + s. Is w prime?
False
Let h(w) = w**2 + 10*w + 31. Let p be h(-5). Suppose -33 = p*m - 531. Is m composite?
False
Let x = 273578 - 105859. Is x a composite number?
True
Let t = 42 - 80. Is (t/(-4))/((-3)/(-6)) composite?
False
Let z(v) = 108*v + 61. Let h be z(13). Let w be ((-1)/(-1))/((-3)/(-12)) - 1. Suppose 0*g - 1465 = -5*f - g, h = 5*f + w*g. Is f prime?
True
Suppose 120*s - 208*s = -562232. Is s prime?
True
Suppose -12*y = -13*y - 2*d + 65757, -263002 = -4*y + 5*d. Is y a composite number?
True
Suppose -w - 27 = -5*v - 3*w, 0 = -3*v - 5*w + 20. Suppose 0 = -3*x - 5*n - 6, 0*n + 21 = v*x - 2*n. Is -5 + -1 + 1760 + x*1 a prime number?
False
Let g(k) be the first derivative of -k**4/4 + 10*k**3/3 + 5*k**2 - 6*k - 1. Let w be (48/56)/(-4 - 115/(-28)). Is g(w) composite?
True
Let o(q) = -26723*q + 12. Is o(-1) a composite number?
True
Let r(u) = 13226*u**2 - 83*u + 169. Is r(2) a prime number?
False
Suppose -3*r = -15, -m + 4*m = 2*r - 10. Suppose 48 = 98*p - 82*p. Suppose -w + p*k = -k - 323, 3*k - 6 = m. Is w a prime number?
True
Let f = 33014 + -23218. Let d(w) = -42*w**3 - 5*w**2 + 4*w + 6. Let h be d(-5). Let v = f - h. Is v a composite number?
True
Let m(l) be the third derivative of 119*l**6/180 - l**5/60 + 7*l**4/24 + 11*l**3/6 + 5*l**2. Let p(d) be the first derivative of m(d). Is p(2) composite?
True
Suppose 3*t + 5*r - 158 = 2*t, t - 170 = r. Is 1*3 + t*(-128)/(-12) composite?
True
Is (5599108/(-18))/(96/(-432)) a composite number?
False
Suppose -3*m = -4*o - 2, o + 24 - 1 = -3*m. Let z be 6651/(-15) + m/(-15). Let t = z - -816. Is t composite?
False
Suppose 38*b = -12*b - 80*b + 86710. Is b composite?
True
Suppose 2*o = 5*w - 16701 + 710, 0 = -2*w - 2. Let d = o - -12199. Is d composite?
False
Let c = 876 - 507. Let f = c - -4478. Is f prime?
False
Suppose -6*r = r - 35. Suppose 0 = -4*l + 2*u + 48298, -3*u + 22544 = r*l - 37801. Suppose -6*n = 6*n - l. Is n prime?
False
Let r(q) = 29*q - 19. Let z be r(2). Suppose -26 = 13*l + z. Let s(v) = -v**3 + 4*v**2 + 3*v - 7. Is s(l) a prime number?
False
Let v be (4/10)/(1/10). Let f(p) be the second derivative of 10*p**4/3 + p**3/6 - 3*p**2/2 + 140*p - 2. Is f(v) a prime number?
True
Suppose -2*q = -8, 2*u - 6*u + 8 = 2*q. Suppose i - 6*i = u. Suppose w = 4, i = -4*c + 3*w + 7831 + 2521. Is c a prime number?
True
Suppose 10 = -13*m + 8*m. Let b(f) = -f. Let v be b(m). Suppose -v*n = -136 - 182. Is n a prime number?
False
Suppose -7*j = -5*j + 6. Let w(z) = -87*z**3 + 2*z**2 + 6*z + 5. Let a be w(j). Suppose -2*s - 5*m = -1565, -a = -4*s - 4*m + 782. Is s a prime number?
False
Suppose -3*g - 21 = 21. Suppose 107*m = 143 + 285. Is m/14 - 5022/g a composite number?
False
Let o = -172 - -180. Let x = o - -389. Is x a prime number?
True
Is (-11864198)/(-42) - 546/(-5733) a composite number?
False
Let d = -12415 + 38322. Is d composite?
True
Suppose -5*f + 291631 = 3*z - 59613, -5*f = -4*z + 468337. Is z prime?
False
Let o = -311921 + 602818. Is o prime?
True
Let o = -75 + 75. Suppose 3*x - 26278 = -2*h - 8116, o = -2*x - 4*h + 12108. Suppose -5*s = -3*y - 2*s + x, 0 = -5*s. Is y composite?
True
Let o(g) = g + 13. Let f be o(-5). Is 1/((-8042)/(-24117) + f/(-24)) composite?
False
Let d(f) = 687*f**2 + 536*f + 31. Is d(24) a composite number?
False
Let z be -6*((-7)/3)/(10 - 8). Suppose -69485 = -z*m - 27618. Is m a prime number?
True
Suppose 4*h - 5*c = 472, -854 + 227 = -5*h - 3*c. Suppose 0 = 5*j - 7*z + 3*z + h, -3*j - 5*z = 96. Is (1 + j/6)*-34 a prime number?
False
Suppose 11*q = 15*q - 8288. Suppose 2*d - 1646 - q = 0. Suppose -4*r = -d + 79. Is r prime?
False
Suppose 0 = 3*n - 17 + 5. Suppose 6*a - 16 = 14. Suppose a*v + 4*g - 2094 = 3*v, -n*v + 4*g = -4140. Is v a composite number?
False
Suppose 135354 = 56*k - 54*k + 13*l, -k - 2*l = -67695. Is k prime?
False
Let f(z) = 25*z**3 + 10*z**2 + 11*z + 13. Is f(15) a composite number?
True
Let r = 932 + -920. Suppose -5*i = 4*y - 1211, 2*i - 2 = -r. Is y composite?
True
Let o(b) = b**3 + 12*b**2 + 8. Let t be o(-12). Suppose -3*w + 5 = -t*w. Is w/3 + 1760/6 composite?
False
Let b(u) = -384*u - 16. Let i(t) = 382*t + 16. Let s(w) = -6*b(w) - 7*i(w). Let h(v) = -369*v - 14. Let m(k) = -7*h(k) + 6*s(k). Is m(3) a prime number?
True
Suppose 4*r + 16 = 4*t, 0 = -4*r + 12. Suppose 0 = -17*i + t*i + 4370. Is i a prime number?
False
Let w(t) = 61*t - 346*t - 76*t - 27 - 14. Is w(-22) prime?
True
Let d = 127909 - -70836. Is d prime?
False
Let w = 76 - 66. Suppose 4*n - w = 2*n. Suppose 0 = -n*y + 86 + 259. Is y prime?
False
Suppose 17*i = 14*i - 21, 4*h - 4*i = 2578580. Is h composite?
True
Suppose 2*d - 99622 = g - 5*g, 3*g + 2*d - 74715 = 0. Is g prime?
True
Let v(s) be the first derivative of -s + 9 + s**2 + 505/2*s**4 + 0*s**3. Is v(1) a composite number?
True
Let r(c) = -c - 4. Let d be r(-9). Let y(u) = 4*u**2 + 3*u**2 + d*u**2 - 8 - 9*u - 10*u**2. Is y(-5) prime?
False
Suppose 1725543 = 30*r + 1525024 - 2090491. Is r a prime number?
True
Suppose 0 = -223*i + 208*i + 4382655. Is i composite?
True
Let b(n) = 172*n**3 + 5*n**2 - 4*n - 1. Let f be b(2). Suppose s = 5*c + 489, 3*s + 0*c + c - f = 0. Suppose 42 = -2*o + s. Is o a prime number?
True
Let r = -5831 - -8766. Let k = r - -9027. Is k composite?
True
Let f(s) be the first derivative of 8*s**2 + 14*s + 1. Let p(t) = t**2 - 86*t + 848. Let d be p(11). Is f(d) composite?
True
Suppose -163596 = -33*a + 689637 - 18300. Is a a composite number?
False
Suppose 0 = 5*s - 13*s + 32. Suppose -s*n + 4*p + 3111 - 419 = 0, -3*n + 2011 = p. Is n a composite number?
True
Let t = -399 - -399. Suppose 4*u - 2*x - 147298 = 0, t = 32*u - 30*u + 2*x - 73664. Is u prime?
False
Suppose 0 = -53*g + 51*g + 4*p + 22386, 33583 = 3*g - 4*p. Is g a composite number?
False
Suppose 7*d = 8*d - 48. Let k = -18 + d. Is ((-20)/k)/((-4)/3798) prime?
False
Suppose 129888 + 23712 = -6*y. Let h = -3069 - y. Is h a prime number?
True
Let d(i) = i**2 + 42*i + 119. Let n be d(-39). Suppose -5*x - 373 = -y - n*x, -3*x + 1522 = 4*y. Is y a composite number?
False
Let h(k) = -124*k**3 + 22*k**2 - 28*k - 73. Is h(-10) a composite number?
True
Let x(c) = -c**3 - 3*c**2 - 8*c + 12. Let f be x(-11). Let v = f - 1670. Let i = 176 - v. Is i a prime number?
False
Let p(v) = -29*v + 16. Let y(n) = 87*n - 48. Let x(c) = -17*p(c) - 6*y(c). Let u = -647 - -636. Is 