- 4*s + 49565. Is s a composite number?
True
Let w(j) be the first derivative of 5*j**2 + j**2 + j**2 + 15*j - 4. Is w(8) prime?
True
Let o(m) = -58*m**3 - 7*m**2 + 15*m - 227. Is o(-13) composite?
False
Let f(u) = 77*u**2 - 5*u + 5. Is f(-3) a composite number?
True
Suppose 1248 + 1922 = -5*q. Is 1 + 0/(-1) - q prime?
False
Let h(z) = -6*z + 7. Let v(d) = -d - 1. Let m(b) = -h(b) + 2*v(b). Let a(x) = x**2 + x - 1. Let y(f) = 5*a(f) - m(f). Is y(-3) a prime number?
False
Let b(o) = 3916*o + 19. Is b(1) composite?
True
Let u = -46 + 82. Suppose -u*r + 34*r + 166 = 0. Is r a composite number?
False
Let y = -18210 + 25579. Is y prime?
True
Let v be 1 + -2 - (1 + 0)/(-1). Suppose v = 4*w - 6924 - 9064. Is w a composite number?
True
Let z = -14 - -5. Let r be ((-48)/z)/((-3)/9). Let j = 26 + r. Is j prime?
False
Let s = -15 + 17. Let d be (-2 - -888) + 1 + s. Let g = 1632 - d. Is g a prime number?
True
Let p(a) = 2*a**2 + 23*a - 4. Is p(17) prime?
False
Let f(k) = 10*k - 5. Let u be f(-4). Let w = u - -75. Let q = w - -9. Is q prime?
False
Let t(r) = 59*r**2 + 14*r + 21. Is t(8) a prime number?
False
Let r(j) = -j - 22. Suppose 6*u = 4*u + 5*f + 35, 3*f = 2*u - 33. Let v be r(u). Let n = v - -96. Is n a prime number?
True
Let z be 8/(-36) - 58/(-18)*1. Suppose -v - 3*y = z*v - 4856, -5*v + 6063 = 2*y. Is v composite?
True
Let s(f) = -15*f - 1. Let i be s(-1). Suppose -4*w = w. Suppose 0*x - x + i = w. Is x composite?
True
Let j = 1438 + 3720. Is j a prime number?
False
Let w(f) = 16*f**2 - 6*f + 16. Suppose 0 = 4*q - 3*m - 1 - 10, -3*q + 6 = -3*m. Is w(q) prime?
False
Let y be (-21)/7*10/(-6). Suppose 4*j = -3*s - 112, -4*s - 29 = -y*j + 110. Let d = 67 + s. Is d composite?
False
Let m be -3 + (1 - (2 - 5)). Let h be 28 - ((3 - m) + 1). Let w = h - -28. Is w composite?
False
Suppose 3*v = 16613 - 1526. Is v prime?
False
Suppose -4897 - 892 = -5*y - p, 2*y - 5*p - 2321 = 0. Suppose 1070 + y = 4*c. Is c a prime number?
True
Suppose p - 2 - 14 = 0. Let k = 19 - p. Suppose k*m - 222 = 897. Is m a composite number?
False
Suppose -4*z + z + 4 = -2*d, 2*d = z + 4. Suppose -2*k - k + 6737 = z*t, 2*t + 3*k - 3367 = 0. Is t a composite number?
True
Suppose -8 + 5 = -i. Let q(k) = 2*k**3 + 10*k**2 - 10*k - 11. Let x(b) = 3*b**3 + 21*b**2 - 21*b - 21. Let w(c) = i*x(c) - 5*q(c). Is w(11) a prime number?
False
Let d = -8033 + 26424. Is d prime?
False
Let h = -224 - -1326. Suppose -13*v + 24*v = 0. Is (-3)/3 + h + v prime?
False
Let j = 15 - 33. Let q = j + 24. Is (-446)/(-12) - 1/q prime?
True
Let h(z) = z**2 + 494. Let s be h(0). Let l = s - 84. Let w = l - -275. Is w composite?
True
Let x(q) be the second derivative of q**5/20 + 5*q**4/3 + 11*q**3/3 + 17*q**2/2 + 20*q. Is x(-16) a prime number?
False
Let g = 6017 - 4284. Is g prime?
True
Let l be -2*(-1 - -3 - 0). Let y be (l/1)/4*-941. Suppose -227 + y = 6*c. Is c a prime number?
False
Suppose -7*y = -795625 - 300148. Is y prime?
True
Suppose 8*c + 2696 = 16*c. Is c composite?
False
Suppose 0 = 6*p - 2322 - 1482. Let h(v) = 112*v**2 + v. Let u be h(-3). Let t = u - p. Is t a prime number?
False
Let x(c) = 20*c**2 - 9*c - 7. Is x(-22) a composite number?
False
Suppose 4*i - 2*i + 12 = 0. Let m(w) be the third derivative of -19*w**4/24 + 13*w**3/6 - 2*w**2. Is m(i) a prime number?
True
Let p(i) = 158*i**2 - 46*i + 101. Is p(2) prime?
True
Let z = -5 - -10. Suppose -3*a - 5*q + 1261 = 0, -a = -z*a + 4*q + 1724. Is a composite?
True
Let u = 718 - 1101. Let p = u + 798. Is p a prime number?
False
Suppose -3*f + 2*r = -7901, -14*f + 10504 = -10*f + 5*r. Is f composite?
True
Suppose 19*u = 22*u - 42. Suppose -3*o + 1091 - u = 0. Is o composite?
False
Suppose -3*j = -8*j + 30. Is (0 + (-45)/j)*26/(-3) a composite number?
True
Let a = 4353 - -952. Is a composite?
True
Is (-5)/25*(-5)/2*41122 prime?
False
Suppose 5*f - 20 = -5*d, 5*d - 3*f - 4 = -4*f. Suppose -3*a = 5*w - 197, -a + d*w + 59 = 3*w. Is a prime?
False
Suppose -4*p = -2 + 14. Let h(u) = u**3 - 4*u**2 - 1. Let f be h(p). Let d = 110 + f. Is d a prime number?
False
Let m(r) = 241*r**2 - 5*r - 5. Let j be m(-2). Suppose -4*u - j = -7*u. Is u prime?
False
Suppose -32275 = -18*a + 61127. Is a a composite number?
False
Suppose g = 1183 + 378. Is g prime?
False
Let v(o) = -o**2 - 9*o + 14. Let n be v(-11). Let f(y) = -53*y + 3. Is f(n) composite?
True
Suppose 3*q - 1979 = -n, 13*q - 14*q + 1975 = n. Is n a prime number?
True
Let r = -7221 + 12740. Is r composite?
False
Suppose 35 = 5*d - 4*f, f = 3*d + 4*f - 21. Suppose 0 = -3*z + 8 + d. Suppose 0*r + 419 = 3*r + 2*o, 5*r - z*o - 740 = 0. Is r prime?
False
Let i(s) = -3846*s - 109. Is i(-5) prime?
True
Suppose -5*w = -g - 0*g - 11, 0 = -w - 2*g. Let x be w/10 - 13/65. Suppose -7*n + 2*n + 545 = x. Is n a prime number?
True
Let v = -2174 - -4333. Is v composite?
True
Let z = -404 - -1677. Is z prime?
False
Let s(j) = -22*j**3 + 48*j - 1. Let i be s(-6). Suppose -q + 4 + 0 = 0. Suppose -q*m - 715 = -i. Is m a prime number?
True
Suppose -2*y + 512 - 32 = 0. Suppose -3*u + 18 = -0*u. Suppose 108 = u*n - y. Is n composite?
True
Let l = -14604 - -40154. Is l/16 - 7/(-56) a prime number?
True
Suppose 0 = 2*n + n. Suppose n = o + 6 - 2. Is 1 + 20 - 8/o a prime number?
True
Let j(h) = -1148*h + 37. Is j(-2) a prime number?
True
Let s(m) = 64*m - 31*m + 91*m - 39. Is s(8) prime?
True
Let w(l) = -11*l**3 + 3*l**2 - 2*l + 1. Let h = -29 - -12. Let s = h - -14. Is w(s) composite?
False
Let b be (6 - 10)*2/(-8). Suppose -j + 4*c + 5 = 1, -2*j + c + b = 0. Suppose j = -4*n + 5*w - 4 + 244, -5*n + 271 = w. Is n a composite number?
True
Suppose 7*x - 2*x + 3*t + 44 = 0, 3*x + 22 = -4*t. Let u be 2/(-10) - (-388)/x. Let z = u - -60. Is z a prime number?
False
Let a(j) = j - 5. Let y be a(9). Suppose -5*r = -y*u - 8 + 21, r + 1 = 0. Suppose 228 = -u*d + 6*d. Is d prime?
False
Let h(l) = 731*l**2 + 10*l + 23. Is h(-2) prime?
True
Suppose 29*u + 745516 = 2735235. Is u a prime number?
True
Let f(y) = -y**3 - 8*y**2 + 2*y + 12. Let d be f(-8). Let j(k) be the first derivative of -k**4/4 - k**3/3 - k**2 + 3*k - 9. Is j(d) a prime number?
True
Let o(u) be the first derivative of -11*u**4/2 + u**3 + 2*u**2 + 5*u - 18. Is o(-2) a prime number?
False
Suppose -w = -5 - 8. Suppose -15*k = -w*k - 8. Suppose k*z - 341 = 5*s, -z - 5*s - 74 = -2*z. Is z a composite number?
False
Let c = -85 + 54. Let k = c + 192. Suppose -k = -y + 38. Is y a composite number?
False
Let l = -5844 + 10481. Is l a composite number?
False
Suppose -16 - 20 = -i. Suppose n = -2*n - i. Let z(j) = -43*j - 7. Is z(n) a prime number?
True
Suppose 20 = -0*u + 4*u. Suppose u*o = 3*o + 226. Is o a prime number?
True
Let n = -5187 + 3365. Let l = 3023 + n. Is l a prime number?
True
Let z(c) = 6*c**3 - 3*c**2 + c. Let f be z(1). Is 194/f*8 + -1 + 4 a composite number?
True
Let l = 3782 + 1757. Is l composite?
True
Is ((-5)/(130/(-403)))/((-1)/(-526)) composite?
True
Suppose 0 = w + 4, -17 = b + 4*w + w. Suppose -4219 = -6*s + 569. Suppose b*r = -3 + s. Is r prime?
False
Is ((-55)/(-110))/((-1)/(-76346)) prime?
False
Let g be ((-30)/(-4))/((-23)/5980). Let n = -911 - g. Is n prime?
True
Is (-63278)/(-12) + (-6)/36 a composite number?
False
Let s(a) = 3*a - 20. Let q(t) = 15*t**2 + 2*t + 1. Let m be q(-1). Let h be s(m). Suppose 3*w = g - 46, 0*g + h = g + 5*w. Is g prime?
True
Let u(x) = -x**3 + 8*x**2 + 2. Suppose h = -0*h + 2, 2*h - 36 = -4*v. Let f be u(v). Suppose -g + 369 = f*g. Is g a prime number?
False
Let b(k) = 70*k**3 + 3 - 2 + k**2 - k + 0. Is b(1) a composite number?
False
Suppose -4*y + 7722 = -7*l + 5*l, -y + 1934 = 3*l. Is y a composite number?
False
Let p be 2/(-3)*(-18)/12. Let v be p/(-3 - 7/(-2)). Is 3 + (0 - -56)/v a composite number?
False
Let m(k) = 6*k**2 - k + 7. Let j = 24 - 33. Let a be m(j). Suppose 2*r = a - 80. Is r composite?
False
Suppose 5*m - 9*m + 4*y = -30632, 0 = 4*m - y - 30647. Is m composite?
True
Suppose 14*d - 8*d = 99894. Is d composite?
False
Let x be (-3)/(-6)*(-3 + 27). Let f be x/9*3 - 1. Suppose 3*u = -f*l + 669, -892 = -0*u - 4*u + 3*l. Is u composite?
False
Let s(a) = -3*a**3 + 3*a**2 + 4*a + 7. Let f be s(-6). Let v = f - 468. Let r = v - 182. Is r a prime number?
True
Suppose -10*m + 4*m + 11544 = 0. Let p = 2831 - m. Is 