 a prime number?
False
Let r = 392 + 1893. Is r a prime number?
False
Let i = 588 + 271. Is i composite?
False
Let v = 1037 + 97. Suppose 5*x - v = 761. Is x composite?
False
Let v(s) = s - 22. Let z be v(-7). Let c = 24 - z. Is c prime?
True
Suppose 2*z + 15 = k, -2*k = -k - 4*z - 25. Suppose 2*a + 4*y = 442, 3*a - 608 = k*y - 0*y. Is a a prime number?
True
Let p(t) = -t**3 - 5*t**2 + t + 4. Let d be p(-5). Let z be (84/24)/(d/(-2)). Let v(u) = 16*u - 6. Is v(z) a prime number?
False
Let v be -404*-1*2/4. Suppose 780 = 2*w + 2*w + 4*n, -n + 4 = 0. Suppose -u - 2*k = -w, -v = -u + k - 11. Is u composite?
False
Suppose 0 = 8*f + 2109 - 7013. Is f a prime number?
True
Let w(v) = -466*v - 1. Is w(-3) composite?
True
Suppose -9*y + 8 = -5*y. Suppose 4*h = -4*w + 18 + 6, h = y*w. Suppose 4*x - 3572 = -h*c, -5*c = -4*x - 696 - 3733. Is c a composite number?
True
Let s be 1 + 4394 + (-11 - -13). Suppose s - 23164 = -7*q. Is q a composite number?
True
Suppose 3*t + 9784 = -5*t. Let b = t - -1894. Is b a composite number?
True
Let l be 3*3/9*-6. Let w be 6*(-2)/4 - l. Suppose 5*t = -2*p - w*p + 560, -312 = -3*p + 5*t. Is p prime?
True
Let z = 49 - 47. Suppose -804 = -2*b - 2*t, z*b - 5*t + 816 = 4*b. Is b a composite number?
True
Let j(f) = 6*f**2 - 9*f - 16. Let r = 60 - 67. Is j(r) prime?
False
Suppose 545 = 2*b - 139. Let q = b + -182. Suppose -l - 33 = -q. Is l prime?
True
Let d = 253 - -596. Suppose 3*y = 15, -d = -4*s + 5*y - 2*y. Let g = s + -107. Is g a composite number?
False
Suppose -3*j = 2*z + 530766 + 29000, -4*j + 1119512 = -4*z. Is ((-3)/15)/(8/z) composite?
False
Suppose 3*g + 2*d + 253 - 3896 = 0, -3*d = -4*g + 4880. Is g prime?
True
Let v be 3/(-9)*0*(2 + -1). Let j(w) = -w**2 - w + 679. Is j(v) a composite number?
True
Let q(c) = -c**3 + 6*c**2 - 6*c + 1. Let h be q(4). Let b = -9 + h. Suppose b = 2*r - 22 - 40. Is r composite?
False
Let t be ((-1622)/6)/(12/(-36)). Is t - (16/2)/(-2) composite?
True
Suppose -2*f + 5*f - 21 = 0. Suppose 0 = f*h - 9*h. Suppose 301 = o - 2*w - h*w, w - 1516 = -5*o. Is o composite?
True
Let o(p) = p - 68*p**3 + 122*p**3 + 82*p**3 - 7 + 4*p - p**2. Is o(2) a prime number?
True
Suppose -5*c = 2*w - 630, -5*c = 3*w + 34 - 974. Let p = w + -214. Suppose -z + 7 + p = 0. Is z composite?
False
Let o(g) = g + 2. Let j be o(2). Suppose j*c - 1 = 7. Suppose -c*l = h - 115, 10*l - 310 = 5*l + 5*h. Is l prime?
True
Let i be ((-5)/(-2))/(2/4) - 2. Suppose 3*h + 5*w - 197 = -h, 0 = i*h - 2*w - 165. Is h composite?
False
Let q(m) = -9*m**3 + 14*m + 18*m**2 + 5 + 4*m**3 - 7*m**2. Is q(-7) composite?
False
Let q(u) be the second derivative of u**4/12 - u**3/6 - 3*u**2 - 3*u. Let o be q(4). Is (o - 5)*262/2 a prime number?
True
Suppose -3*k - 2*n + 27368 = 0, 36*n - 34*n = 2*k - 18242. Is k prime?
False
Suppose i + 1 = -0*i. Is 2879/((2 - 4)/(-1) + i) a composite number?
False
Is 5/(-6)*36/(-60)*45266 a prime number?
False
Let b(j) = -298*j + 64. Is b(-15) a prime number?
False
Let l be ((-4)/6)/((-16)/(-696)). Let q = 33 + l. Suppose 1726 = q*g - 2*f, -g - 4*f + 427 = -0*g. Is g prime?
True
Is ((-1)/(-3))/(4/329748) prime?
True
Let o be (-1 + -5)/(3/(-33)). Let h = 28 + o. Suppose -2*k + 0 = -h. Is k a composite number?
False
Suppose 87*t - 5*v + 106790 = 92*t, 0 = -4*v + 20. Is t a composite number?
True
Is 487/(-3)*(-7 + 1) composite?
True
Let v(j) = -j**3 + 9*j**2 - 9*j + 12. Let a be v(8). Suppose 0*m + 5*m - x = -2, x = a*m + 1. Is (-633)/(-3)*(-1)/m composite?
False
Let z be 138/(-16)*10*-8. Let i = -297 + z. Is i prime?
False
Suppose 19*n - 1117 = -x + 16*n, 0 = 5*x - 3*n - 5585. Is x a composite number?
False
Let c(v) = 815*v**2 + 9*v - 1. Is c(3) prime?
False
Suppose 5*m + 22 = 5*w - 3, -2*m + 5*w - 25 = 0. Suppose 0 = 5*b - 5*j - 50, 3*b - 4 = -b - 5*j. Suppose -l + b*l - 1255 = m. Is l composite?
False
Let t = 1153 - -2154. Is t prime?
True
Let l = 103 - 101. Suppose -l*c + 2305 = -513. Is c composite?
False
Suppose 0 = -60*x + 53*x + 2597. Is x prime?
False
Let k be (2915/3 + 0)/(4/12). Is (-1)/((-5835)/k + 2) a prime number?
False
Let z be 9756/(-14) - (-6)/(-42). Is (2 + z/(-2))*(7 + -5) prime?
True
Let z be 265/(8 + -3 + -4). Suppose 7*k - 6*k = z. Is k a composite number?
True
Let q(g) = -g**3 - 2*g**2 - g - 5. Suppose o + 5*y + 29 = 0, 0*y - 5*y - 17 = -2*o. Is q(o) composite?
False
Let l(y) be the second derivative of 7*y**4/12 - 35*y**3/6 + 4*y**2 + 6*y. Let k(s) be the first derivative of l(s). Is k(14) a prime number?
False
Let q = 64660 - 43527. Is q composite?
True
Let h(t) = 113178*t**3 + 9*t**2 - 8*t - 2. Is h(1) composite?
False
Is 56/168*(-1 + 211612) composite?
False
Suppose t - 4*n = 172 - 59, 105 = t - 2*n. Is t a composite number?
False
Let v(n) = 104*n**2 - 2*n - 3. Is v(7) composite?
True
Let s(p) = -5*p**3 + 9*p**2 + 16*p + 29. Is s(-8) a prime number?
True
Suppose c = w + 3, -3*w = 2*c + 3*c - 23. Suppose 3*v - 13 = 3*h - 2*h, h + 19 = c*v. Is 6/18 - (-760)/v a composite number?
False
Suppose 3*w + 429 + 593 = -f, 4*f - 4*w + 4040 = 0. Is f/(-1) + (-16)/4 a prime number?
True
Suppose w - 10079 - 4027 = 2*a, -3*w = 4*a - 42358. Is w composite?
True
Let h(n) = 3*n**3 - 6*n**2 + 2*n + 10. Let b(y) = -2*y**3 + 5*y**2 - 2*y - 9. Let z(w) = 7*b(w) + 6*h(w). Let j be z(3). Let q = -55 + j. Is q a prime number?
False
Suppose 0 = -m + 7 + 4. Suppose -15*c = -m*c - 48. Is -9*(1780/c)/(-5) a composite number?
True
Let x(w) = -w**3 - w**2. Let d be x(-2). Suppose 0 = -4*q + q + 3*n + 993, -3*q - d*n + 979 = 0. Is q composite?
True
Let g = 254 + -84. Suppose 5*a - a - 5*f = 169, -2*f = 5*a - g. Suppose -a = -2*u + 154. Is u prime?
False
Is ((-8372466)/816)/(2/(-16)) a prime number?
False
Let h(y) be the first derivative of y**3/3 - y**2/2 + 127*y - 2. Let r(o) = o + 18. Let z be r(-18). Is h(z) a prime number?
True
Let g(w) = -w**2 + 38*w + 106. Is g(29) prime?
True
Let v be (9/15)/((-230)/(-75) - 3). Suppose 0 = 3*a - v, c + 2*a - 41 = -0*c. Is c composite?
True
Suppose 0 = -8*v - 14*v + 67034. Is v prime?
False
Is (-9 - 16636/8)/((-2)/4) a composite number?
False
Let i(r) = -3*r**2 + 1188. Let w be i(0). Suppose -4975 = -7*g - w. Is g a prime number?
True
Suppose j = 4*f - 10088, -6*f + 3*j = -3*f - 7575. Is f a composite number?
False
Let o = 2619 + -1862. Is o prime?
True
Let c = 1 - 4. Let s be 1 - -9*1/c. Is (-6224)/(-4)*s/(-8) prime?
True
Suppose -17*a + 1721 = -8258. Is a composite?
False
Suppose -1 = g + 2, -2*z + 3*g + 9 = 0. Suppose 2*f + 5*j - 677 = z, -24 = -f - j + 316. Is f a prime number?
False
Let w be (-3)/(-4)*41*12. Let m = -238 + w. Is m a prime number?
True
Let y be 108*29 + 0 + -3. Suppose -6*w = w - y. Suppose -o - 3*z = 2*o - w, 447 = 3*o - 4*z. Is o composite?
False
Let z(r) = 46*r**2 + r - 18. Let c be z(8). Is 2/(c/(-5884) + 5/10) a prime number?
True
Let h = -18306 + 33959. Is h a composite number?
True
Suppose 2*y - 4710 = -3*j + 3095, 3*y + 5*j = 11709. Is y composite?
True
Is (2036/8)/(1/2) a composite number?
False
Let b = -17565 + 29452. Is b prime?
True
Let a(n) = 2952*n + 181. Is a(28) a prime number?
True
Suppose -q + 7 = w, 0*w + 1 = q - 2*w. Suppose 6*m - 301 = q*m. Is m prime?
False
Suppose 3*g = -w + 103 + 35, -3*w = 0. Suppose 0 = -3*a - g + 2911. Is a composite?
True
Let n(o) = -6*o + 32. Let u be n(6). Is (471*u/(-12))/1 a composite number?
False
Let r = 1137 + -268. Let b = r + -576. Is b prime?
True
Let u be 2/(-3)*((-36)/(-2) + 3). Is (u/18 - -1) + 48005/45 prime?
False
Let f(w) = -175*w + 112. Let y(p) = 11*p - 7. Let i(v) = 3*f(v) + 49*y(v). Is i(6) a prime number?
False
Let p = 3414 - 1619. Is p prime?
False
Let a = -3742 - -6389. Is a prime?
True
Let c = -3 + 7. Let y be c + 147 + 1 + 1. Suppose -f + 1094 = j, f - 1262 = 2*j - y. Is f composite?
True
Suppose 3*z - 2*u - 234 = 343, 770 = 4*z - 3*u. Is z prime?
True
Suppose 4*m - 60 = -24. Is (-15474)/m*6/(-4) composite?
False
Suppose -k - 2*w = -8515, 3355 = -k - 3*w + 11871. Is k a prime number?
True
Suppose 2 = -0*n + n. Let q(y) = 186*y**2 + y - 1. Is q(n) composite?
True
Let o = 23029 + -9440. Is o prime?
False
Suppose 4*n - 395 = -15. Suppose 0 = a + 3*d + 8 + 2, 6 = -3*a - 3*d. Suppose -n = -3*y - a*y. Is y a composite number?
False
Let z(u) be the third derivative of 13*u**8/20160 + u**7