. Let w(f) = 28*f + 3. Is w(s) a composite number?
False
Suppose 53*c + 1146 = 59*c. Is c a prime number?
True
Suppose -x = 4*y + 185, -6*x + 2*y = -x + 969. Suppose 3*l - 3*j = -1122, -255 = l + 3*j + 135. Let s = x - l. Is s composite?
True
Let c(y) = y**3 + y**2 - y + 5. Let h be c(-8). Let g = h - -770. Is g prime?
False
Let k = -1004 + 1523. Is k a composite number?
True
Let i(s) = s**2 + 5*s + 8. Is i(-10) composite?
True
Let b(a) = -a**2 + 3. Let c be b(0). Is 2 + c + (183 - 3) prime?
False
Let j be 3/(6/(-38)) - 0. Let q = j + 11. Let p(l) = -2*l + 6. Is p(q) a composite number?
True
Suppose 2*t + 3 = 3*t. Let q(z) = -t - z + 8*z - z + 2*z. Is q(5) composite?
False
Suppose -2*z - z = -5*x + 2203, 2*x - 894 = -2*z. Is x a composite number?
False
Let a(c) = 5*c**2 + 5*c - 5. Is a(-6) composite?
True
Let v = 254 + 87. Is v prime?
False
Suppose 5*p + 584 = 6994. Is p a composite number?
True
Let d = 131 - 40. Is d composite?
True
Let b(u) = 5*u**3 - u**2 + u + 2. Let k be b(2). Let i = -19 + k. Is i a prime number?
False
Let s(h) = h**3 + 2*h**2 + 2*h + 1. Let i be s(-1). Is 2112/2 - (i + 1) prime?
False
Suppose -12*q + 159 = -9*q. Is q prime?
True
Let q = 1 + 1. Suppose -c - m + q*m + 6 = 0, 5*c - 26 = m. Suppose c*z - 28 = 27. Is z a prime number?
True
Let r(l) = -289*l - 5. Let d = -11 + 9. Is r(d) a prime number?
False
Suppose -3*c - 258 = -0*l - l, -4*l + 984 = 4*c. Is l a composite number?
True
Suppose -2*r + 20 = -0*r - 4*a, 0 = -5*r - 2*a + 26. Let b be (-3)/(r/(-16)*1). Is b/(1/((-2)/(-4))) prime?
False
Suppose 5*t = 9*t - 4436. Is t composite?
False
Suppose 8*m - 15 = 3*m. Suppose w + 102 = 2*k, 5*k + 2*w - 270 = m. Is k composite?
False
Let k(d) = d**3 - 19*d**2 + 39*d + 12. Is k(17) prime?
True
Let a = 23 - 28. Is (-1 + 2)/(a/(-745)) a prime number?
True
Suppose 2364 = 3*j + d, 0 = -4*j + 15*d - 17*d + 3154. Is j a prime number?
True
Is 254/(-3 + (-51)/(-15)) a prime number?
False
Is (9/(-18))/((-1)/586) prime?
True
Let r(j) = 2*j**2 + 88*j**2 + 38*j**2 - 1. Is r(-1) a composite number?
False
Is (-1 - (2270 - -3))/(-2) prime?
False
Let i(s) = s**2 - s + 3. Let m = -2 + 2. Let r be i(m). Is (-1)/r - (-79)/3 composite?
True
Let y be 10/(-4)*(-24)/10. Suppose -y + 26 = -5*j, o - j - 110 = 0. Is o composite?
True
Let q(l) = 17*l - 5. Let x be q(9). Suppose 131 = 3*z - 2*r + 20, 4*z + r = x. Is z prime?
True
Let a be -5*((-15)/(-3) - 1). Let m = a - -44. Suppose -m = -3*h - h. Is h a composite number?
True
Let s = -26 - -60. Let k = s + 19. Is k a composite number?
False
Suppose -3*r + 63 + 51 = 0. Suppose 3*g - r = -5. Suppose 4*t - 1 = g. Is t a composite number?
False
Suppose -5*x - 216 = -w, -3*x + 196 - 20 = w. Is w composite?
False
Let l = -64 + 126. Is l prime?
False
Suppose 3*n + 15 = 0, -3*d - d + 4*n = -8. Let x(c) = 26*c - 20*c - 43*c + 2 - 26*c. Is x(d) prime?
True
Suppose -l + 0*l + 3 = 0. Suppose 4*z - 4 = 4*u, -l*z + 3*u = -z. Is z a composite number?
False
Let j(p) = 29*p**2 - 17*p + 19. Is j(-9) a prime number?
True
Let u(j) = 8*j**2 + 9*j + 9. Let t be u(8). Is t/3 - 28/(-21) a prime number?
True
Suppose -2*g + 1114 = -h + 137, 4*g - 1957 = 3*h. Is g composite?
False
Let x(n) = n**2 + 6*n - 5. Let s be x(-7). Suppose -2*z - 16 = s*z, 0 = 4*k + 2*z - 324. Is k prime?
True
Let b(a) = 58*a - 1. Let o be b(-1). Let g = o + 138. Is g prime?
True
Let q = 356 + -51. Is q prime?
False
Is ((-3)/9)/(3/(-423)) a prime number?
True
Let k(c) = -2*c**3 + 2*c**2 + 4. Let h be k(3). Let d = h - -54. Is d prime?
False
Let u(a) = a - 6. Let g(q) = 2*q - 6. Let l(w) = 4*g(w) - 3*u(w). Is l(5) a composite number?
False
Suppose -2*q = -6*q + 4. Is 23*1/q*1 a prime number?
True
Let x = -1 + 5. Let n(o) be the first derivative of o**4/4 - o**3/3 - o**2 - 3*o - 1. Is n(x) a composite number?
False
Let v = 69 + -104. Let x = 122 - v. Is x prime?
True
Suppose -v - 2 = -2*v. Suppose 156 = v*z + 2*t - 0*t, 3*z + 2*t = 230. Is z a prime number?
False
Suppose 2*t + 50 = 7*t. Let i(m) = m**3 - 8*m**2 + 8. Let a be i(t). Suppose -4*p + 171 = -p - 2*c, 0 = 4*p + 4*c - a. Is p composite?
True
Let v be (-2)/(-5) + (-40)/(-25). Suppose -151 = -v*x + 15. Is x a composite number?
False
Suppose 230*v = 235*v - 2215. Is v composite?
False
Suppose 532 = -2*m + 2114. Is m composite?
True
Is 5/((-10)/(-896)) - 3 composite?
True
Let w = 0 + 2. Suppose 23 = w*t - t. Is t a composite number?
False
Suppose 6*m = 3427 + 5399. Is m prime?
True
Let o(n) = 2*n**2 + 2*n + 2. Let i be o(-3). Suppose -2*p - 11 = -3*t + 10, 2*t - 2*p - i = 0. Is t a prime number?
True
Suppose -7662 = -13*h + 7847. Is h prime?
True
Let h = -45383 + 78459. Is h/36 - 4/(-18) a prime number?
True
Suppose 3*c + 117 - 162 = 0. Is c composite?
True
Let d be (-6916)/(-77) + 2/11. Let s(g) = -g**3 + 6*g**2 + 4. Let o be s(6). Suppose -d = -i - o. Is i a prime number?
False
Let h = 7 + -2. Suppose 2*i + 4 = -c + 8, -c = h*i - 13. Is i composite?
False
Let h(p) be the second derivative of p**5/20 + p**4/2 - p**3/6 - 3*p**2 + 2*p. Let b be h(-6). Suppose b = -4*o - o + 105. Is o a composite number?
True
Let k(v) = 9*v + 7. Let w be k(-7). Let f = w - -130. Is f a prime number?
False
Let i(h) be the first derivative of 53*h**2/2 + 13*h + 3. Is i(6) a composite number?
False
Let z(x) = -x**3 - x**2 - x. Let i(k) = 5*k**3 - 4*k**2 + 22*k - 7. Let d(a) = i(a) + 6*z(a). Is d(-12) prime?
True
Let a = 4 + -1. Let v be 8/a - 2/(-6). Suppose -v*u - 3 = -x - 2*x, 5*x - 8 = 2*u. Is x a prime number?
True
Let q(v) = 34*v**3 - 3*v**2 + 6*v - 3. Is q(2) prime?
True
Suppose 2*g - 12 = -3*k, 2*k + 7*g - 8 = 3*g. Is 67 - 0*k/12 a composite number?
False
Suppose 5*f + 7567 = -433. Is f/(-9) - (-4)/18 a prime number?
False
Is 2661*4/(-8)*(-6)/9 a prime number?
True
Let u(a) = 64*a - 23. Is u(9) composite?
True
Let k be 31 + 2*(-3)/6. Let x be (-12)/k + (-94)/(-10). Suppose 2*q = -n + x, 0*n = -n - 3*q + 7. Is n composite?
False
Let a(t) = t**3 - t**2 - t + 6. Let v be a(0). Is (-3 + v)*24 + -1 a prime number?
True
Let d(i) be the first derivative of 7*i**3/3 - i**2 - 3*i + 2. Let g be d(6). Is (-4)/22 + g/33 a prime number?
True
Let y be 8/8 + 69/(2/(-2)). Suppose -2*b - 318 + 16 = 0. Let j = y - b. Is j a composite number?
False
Let b = 3 - 3. Let o be 1*(-1 + b + -66). Let d = 104 + o. Is d a composite number?
False
Suppose -c + 5*c = 3200. Suppose -5*y + x = -0*x - 1320, 3*y + x = c. Suppose -4*o = 3*d - y, 0*o + 5*d + 139 = 2*o. Is o a composite number?
False
Suppose -1525 - 5504 = -9*l. Is l a prime number?
False
Let s be (8/(-3))/((-2)/(-9)). Let z = -8 - s. Suppose -63 = -4*g - 5*p, 0*g + 5*g - z*p - 130 = 0. Is g composite?
True
Suppose -5*l + 5 = 0, 0 = -9*i + 4*i - 3*l + 17408. Is i a composite number?
True
Suppose -2*z + 3*t + 2 = -1, -3*z = 3*t + 3. Let y(p) = p + 24. Let l be y(z). Suppose -l + 0 = -g - 2*j, 90 = 5*g + 4*j. Is g composite?
True
Let d(v) = 4*v - 4 - v**3 - 1 + 4*v**3 - v**2 + v**3. Let g = -4 - -8. Is d(g) composite?
False
Let i = 17 - 12. Let u(a) = 0*a + a - i*a - 2. Is u(-4) a prime number?
False
Suppose g - 104 = -2*a, -4*g + 8 = -0*g. Is (4 + -2)/(2/a) a composite number?
True
Suppose -28 = -5*i - 8. Suppose -i*s = -509 + 145. Is s a composite number?
True
Suppose 19*j + 3*j - 38698 = 0. Is j a composite number?
False
Let r = 8 + -5. Suppose -w + 60 = t, 2*t = r*w - 3*t - 164. Is w prime?
False
Suppose 3*c = 4254 + 939. Suppose -5*x + c = 196. Is x composite?
False
Let d = -668 - -6. Is 12/54 - d/18 prime?
True
Suppose 0 = -2*a + 4*f + 474 + 280, 2*f = -5*a + 1897. Is a prime?
True
Suppose 0*q = -3*q + 5*j + 281, q - 99 = 3*j. Is q a composite number?
True
Let i(l) be the first derivative of 10*l**3 + l**2 - l - 5. Suppose -2*a - 2 = -4. Is i(a) a prime number?
True
Suppose 3*a - 4*o - 8 = -6*o, a + 4*o - 6 = 0. Is (2/a)/(2/66) a composite number?
True
Let s = -13 + 168. Is s a composite number?
True
Let t = -1569 + 2302. Is t prime?
True
Let g = 5 - 3. Let f be (111 + 2)/(g/4). Suppose 304 = 2*c - f. Is c a prime number?
False
Let x be ((-1 - 0) + 1)/1. Suppose -p + x*p = -14. Is p prime?
False
Let i(n) = -12*n - 3. Let j be i(-3). Suppose -3*x + j = -2*x. Is x a prime number?
False
Let z(w) = 2*w - 6. Let n be z(5). Is 284*(49/n)/7 a prime number?
False
Is (-12749)/(-4) + 3 +