. Is v a composite number?
True
Let a be -1 - -2 - 6/(-6). Is -4 + 0 + -3 + a + 748 composite?
False
Let l(h) = -2*h**3 - 11*h**2 - 10*h - 14. Let n = 58 + -25. Suppose 5*r + 2 = -n. Is l(r) a prime number?
False
Let a(f) be the first derivative of 187*f**2/2 - 3*f + 13. Is a(2) a composite number?
True
Let l(k) = -2*k - 18. Let t be l(-16). Suppose -1256 = -t*q + 10*q. Is 3 - (-2 - 0 - q) prime?
False
Suppose 0 = 4*t - y - 20, 3*t - 5*y + 0*y + 2 = 0. Suppose -25 = t*w - 4543. Is w a prime number?
False
Suppose -1134 = 2*g - 3*q - 3406, q + 1137 = g. Is g a prime number?
False
Is 9712 + 9 + 0 + -2 a prime number?
True
Let g be 1 + 3 - 882/(-7). Let x = -129 - -76. Let q = x + g. Is q composite?
True
Let z be ((-1)/(-2))/((-15)/90). Is (45/(-18))/(z + (-442)/(-148)) composite?
True
Suppose y + 2228 = 2*y + r, 0 = 2*y - 5*r - 4456. Is (0 - y/4)*-1 a composite number?
False
Let m(u) = u + 19. Let a be m(-14). Suppose -a*z + 4234 = -1981. Let t = z - 876. Is t prime?
True
Let v = -20 + 23. Let b be (1/(-3))/(1/v). Is b/(1/202)*-1 composite?
True
Let i(t) be the second derivative of 3*t**4/4 - 5*t**3/3 - 21*t**2/2 + 21*t. Is i(-8) a prime number?
False
Let v be (-8)/(12/(-3)) + -139. Let k = 374 + -606. Let t = v - k. Is t a composite number?
True
Is 3/(3*(-6)/(-29778)) a composite number?
True
Let f = -2028 + 4655. Is f prime?
False
Let w = 31 + -28. Suppose 0 = w*y + s - 958, 5*y + 2*s + s = 1598. Is y a composite number?
True
Suppose -4*z + 241 + 642 = m, 0 = 5*z - 5. Is m prime?
False
Is 1/6 + 453690/108 a composite number?
False
Let p(r) = -28*r + 1. Let l be (-22)/132 + 130/(-12). Is p(l) a composite number?
True
Let j = 61772 - 43531. Suppose -3*o + j = 2092. Is o a prime number?
False
Suppose 2*l - 4 = 4*j + 38, 3*l - 27 = 2*j. Let v be (-1)/(28/j - -3). Is ((-1072)/24)/((-2)/v) a composite number?
True
Let u(w) = -152*w + 6. Let k be u(5). Let m = -515 - k. Is m a prime number?
True
Let m = -22391 + 31390. Is m prime?
True
Let r be 40357 - (64/(-30) - (-8)/60). Suppose -r = -4*y - 7*y. Is y a composite number?
True
Let g = -3 + 7. Let p(k) = -k**2 + 5*k - 1. Let r be p(g). Suppose 3*o - o + u - 221 = 0, r*o = 3*u + 336. Is o a composite number?
True
Let p = 7 + -3. Suppose -1 + p = h. Suppose 0 = h*z - 6*z + 573. Is z a composite number?
False
Suppose 4*g - 6*g + 3*h + 28889 = 0, 0 = 5*h + 25. Is g prime?
True
Suppose -2*z - 1158 = -66. Suppose 2*d - d + 2*a = -13, -a + 67 = -3*d. Is z/(-4)*(-14)/d a composite number?
True
Let y = 40644 + -12275. Is y composite?
True
Suppose 6*c - 7*c + 9 = g, 4*c + 34 = 3*g. Suppose 11*m = g*m + 37. Is m a composite number?
False
Let w = 3856 - 1554. Is w a prime number?
False
Let r(g) = 9*g**2 - 1. Let j = 21 - 14. Let h(a) = a - 9. Let u be h(j). Is r(u) a composite number?
True
Suppose 29*o + 1305 = 34*o. Suppose 0 = -k - o + 1072. Is k a prime number?
True
Let w be (6/4)/((-3)/2012). Let z = -539 - w. Is z composite?
False
Let r = 10068 + -4921. Is r composite?
False
Let f = -70979 + 140518. Is f a prime number?
True
Suppose 4 + 2 = 2*k. Suppose 0*y + 2*y = -k*c + 509, 5*c = -5*y + 850. Is c a prime number?
False
Let x be 100/60 - (-2)/6. Suppose 4*l + l + 3*z = 49, -4*l - x*z + 40 = 0. Is l a composite number?
False
Let c(b) = -22 + 152 - 2*b + 39. Let p be ((3 - 5) + 2)/1. Is c(p) prime?
False
Let w = 6 - 6. Suppose 4*r = -3*f + 9793, f - 3296 = -w*f + 5*r. Is f composite?
False
Let b = 21 - 2. Is b a composite number?
False
Let l(v) = v**3 - 4*v**2 - 2*v + 6. Let w be l(4). Let u be (0 - (w + -1)) + 0. Is (-443)/(0 - (-2 + u)) a composite number?
False
Is 4611 + -2 - 0/(-21) a composite number?
True
Let g = 21894 - 7933. Is g a prime number?
False
Suppose -7*y - 24482 = -2*z - 3*y, 3*z = -5*y + 36756. Is z prime?
False
Let p = 15 - 8. Suppose -2*v + p*v - 20 = 0. Suppose v*n - 620 = 2544. Is n a prime number?
False
Let x be (-14)/4*(-248)/(-4). Let w = x - -366. Is w a prime number?
True
Let b = 78 - 76. Suppose -3*l + 1532 = b*s + 3*s, -l = -2*s + 615. Is s composite?
False
Let v = -122 - -212. Let r be (335/10)/(3/(-12)*-2). Suppose -v - r = -d. Is d a prime number?
True
Let l(t) = 2670*t**2 + 1. Is l(-2) a composite number?
True
Let n = 13 + -11. Suppose 29 = n*u - 17. Is u prime?
True
Let j = -25038 + 36235. Is j prime?
True
Let b be -2 + (8 - (-1 + 5)). Is 1761/27 - b/9 a composite number?
True
Let o(g) = -2*g**2 + 9*g + 1. Let x be o(7). Let k be 5285/17 - 4/x. Suppose k = -4*w + 2899. Is w a composite number?
False
Is (-11)/(((-5)/15)/(1151/3)) a prime number?
False
Let r be 27639/108 - (15/36)/(-5). Suppose -5*a - 185 = 3*s + 356, s - 212 = 2*a. Let b = a + r. Is b a composite number?
False
Suppose 1179*x + 725780 = 1199*x. Is x a composite number?
True
Suppose 0 = 4*x - 2*f - 430, -3*f + 78 = -3*x + 405. Let y = 153 - x. Is y a composite number?
False
Is (-22 - -24)/((-27843)/(-9279) - 3) composite?
True
Let x(y) = -y + 0*y - 12 + 2*y. Let z be x(12). Suppose p = -z*p + 23. Is p a prime number?
True
Let i(v) = 233*v**2 - 45*v - 31. Is i(-10) prime?
True
Let y = -1291 + 2442. Is y a composite number?
False
Suppose 4*c = 8 + 4. Let k(z) = 3 - z + c*z + z - 2*z**3. Is k(-4) composite?
True
Let q = 4157 - -125122. Is q a prime number?
False
Let q(h) = 561*h**2 + 2*h - 7. Let v(g) = 1122*g**2 + 4*g - 15. Let p(t) = -13*q(t) + 6*v(t). Let l be p(1). Is (-2)/9 + l/(-18) a prime number?
True
Is ((-32)/(-16))/(4/29942) composite?
True
Is (4706569/42)/17*6 prime?
True
Let y be ((-3688)/(-10))/((-6)/(-645)). Is (-8)/12 + y/6 a composite number?
False
Suppose 0 = 5*g + 2*u - 2467, 0 = 2*g - 0*g - 3*u - 1002. Let v = g + -1250. Is (-3)/2 + v/(-10) a prime number?
False
Let n(o) = -o**3 - 17*o**2 + 11*o + 16. Let a = -42 + 23. Is n(a) composite?
True
Let t = -7152 + 11855. Is t a composite number?
False
Let w(s) = 62*s + 2. Suppose 0 = -0*g + 3*g - 27. Let p be w(g). Suppose 3*m - 1439 = -p. Is m composite?
False
Suppose -3*v = -4*g + 2176 - 247, -v + 484 = g. Suppose 0 = -7*f + 994 + g. Is f a composite number?
False
Let a be 1/(3/(-4 - -10)). Suppose a*b = -3*b + 395. Is b prime?
True
Let r(n) = -4*n - 2*n + 64*n**2 + n + 2 + 3. Let k = -8 + 10. Is r(k) a prime number?
True
Let z = -559 + 2198. Is z composite?
True
Let w = -714 + 1355. Is w prime?
True
Let f = -217 - -663. Suppose 8*u - f = 40602. Is u a composite number?
True
Suppose -a + 4115 = 3*x, -2*x = 2*a - 4598 - 3620. Is a composite?
True
Let v(r) = -4 + 0*r**3 - 2 + r**3 - r - 5*r. Let q = 9 - 4. Is v(q) prime?
True
Let y(c) = 172*c + 10. Suppose 2 = -0*g + 3*g - 4*i, g + 4*i = 22. Let p be y(g). Is p/3*(-6)/(-4) a composite number?
False
Let r(y) = -127*y**3 + y**2 - 8*y + 1. Let f(m) = m. Let x(h) = -6*f(h) - r(h). Let c be -1 - (-4)/(-6)*-3. Is x(c) a prime number?
True
Let d(s) be the first derivative of 65*s**2/2 - 11*s + 7. Is d(12) composite?
False
Let v(s) = 5*s**3 + 24*s - 2*s**3 - 2 - 20*s**2 - 4*s**3 + 2*s**3. Is v(20) composite?
True
Suppose 14*m + 2789 = 15*m. Is m prime?
True
Is (-3 - (3 + -5))/((-1)/53399) a prime number?
False
Let j(z) = z**3 + 3*z**2 - 3*z + 4. Let p be j(-4). Suppose 0 = 5*k + 4*a - 1970, -2*k - a + 866 - 75 = 0. Suppose -4*c + k + 414 = p. Is c prime?
False
Let d(k) = -6 + 1 + 5*k + 13*k**2 - 2 + 6. Is d(-8) prime?
False
Let t(v) = -2*v + 16. Let c be t(7). Let l be 1 + (-80)/(-3)*6. Suppose l = 3*p - c*p. Is p prime?
False
Let a(c) be the third derivative of c**5/20 + 7*c**4/12 - 2*c**3/3 - 2*c**2 + 8. Let j(p) = -p**2 - 6*p - 9. Let i be j(-6). Is a(i) prime?
True
Suppose 5*x - 11388 = -x. Is (x/(-6) + -2)*-3 prime?
False
Suppose -7*v + 5307 = -202. Is v a prime number?
True
Let y = 14 + -9. Suppose y*c = 5 + 5. Suppose 2*g - h = -2*h + 116, -c*h + 55 = g. Is g composite?
False
Let g = -1374 + 7273. Is g a prime number?
False
Suppose 3*s - 4793 = -3*l + s, -5*l - 5*s + 7980 = 0. Let h = l + -960. Is h a composite number?
False
Let o = 23 + -17. Suppose 3085 = 11*f - o*f. Suppose -c - 3*n + f = 76, 2*c = 5*n + 1082. Is c a prime number?
True
Suppose -5*o + 4*l = 9764, 3*l + 1296 = 5*o + 11059. Let q = o + 3299. Is q a composite number?
True
Is 2/(6 + ((-2192)/1097 - 4)) a prime number?
True
Suppose 0 = -5*s - 4*v + 454 - 6, -5*s + 4*v = -472. Suppose 5*r - 862 = -s. Suppose 3 = 3*a, t + 4*a = 3*t - 