 composite number?
False
Let w(q) = -161*q - 11. Let b(h) = 1. Let r(s) = -2*b(s) - w(s). Is r(4) a prime number?
True
Let n(d) = 8*d**2 - 2*d + 3. Suppose 0 = -2*u + 1 + 1. Suppose -3*s - u = v - 0*v, -6 = -2*v + 2*s. Is n(v) a prime number?
True
Let h(a) = -119*a - 1. Suppose 2*p - 3 = 4*t + p, 5*p = 5*t. Let k be h(t). Suppose -i - 4*s = -27, 5*i - s = -4*s + k. Is i a prime number?
True
Suppose -21 = 5*r - 3*r - 5*o, -15 = -5*r - o. Suppose 0 = r*z + x, 0*z = -z + 3*x. Let k(y) = y**3 - y**2 - y + 119. Is k(z) a prime number?
False
Let g = -186 - -122. Let p = g - -279. Is p prime?
False
Let g(k) = 2*k**2 + 3*k + 31. Is g(0) composite?
False
Let s be ((-4)/3)/((-20)/30). Suppose -i = s*j - 5*i - 4, j - 10 = -2*i. Is j composite?
True
Let j = 45 - 14. Suppose -3*z - j = -76. Is z a composite number?
True
Let r(h) = -h**3 + h**2 + h + 152. Let j be r(0). Let c be (j/12)/((-1)/(-3)). Is c/(-3)*(-3)/2 prime?
True
Let u = -1 - -5. Suppose -4*k = 3*v - 265, -3*v - 2*k + 295 = -u*k. Suppose v = x + 4*x. Is x a composite number?
False
Let h be (8/(-10))/(4/(-20)). Suppose -j + 0*j = -10. Let b = j - h. Is b a composite number?
True
Suppose 16 = -5*u + 4*n, -2*n + 7*n = 20. Let a = u - -83. Is a a prime number?
True
Let t(p) = p**3 + 5*p**2 - 1. Suppose 4*w + 3 = 5*w. Suppose w*v + 0*v + 12 = 0. Is t(v) a composite number?
True
Is (958/4)/((-3)/(2 - 8)) a composite number?
False
Suppose -6 = 4*z - 1606. Let b = z - 189. Is b prime?
True
Suppose 415 + 221 = 4*d. Let u = -62 + d. Is u a prime number?
True
Let d(r) = r**2 + 8*r - 8. Let f = -13 + 3. Let b be d(f). Suppose -3*o - 2*o + v = -668, 4*v + b = 0. Is o prime?
False
Let m(v) = 93*v**3 + 4*v**2 - 6*v + 13. Is m(4) a composite number?
True
Suppose 5*t = 10*t - 7795. Is t prime?
True
Let b be ((-348)/8)/((-2)/4). Suppose -3*u - i = -236, -u + 2*u = -2*i + b. Is u a prime number?
False
Let r be ((-4)/(-5))/(1/5). Let b be 528/r*(-18)/(-8). Is b/12 - 1/(-4) prime?
False
Let c(x) = -x - 1. Let n be c(2). Let z(p) = 13*p**2 - 2*p - 4. Is z(n) prime?
False
Let p(i) = i**2 + 83. Is p(0) a prime number?
True
Suppose -s + 5*k + 117 + 7 = 0, -k = -5. Is s a composite number?
False
Suppose -5*p + 7*p - 254 = 0. Is p prime?
True
Let p(g) = 78*g + 7. Is p(5) prime?
True
Is -4 + 3 + 1 - -59 prime?
True
Let o(t) be the second derivative of -t**5/20 - 2*t**4/3 - t**2 + 2*t. Let s be o(-8). Is s/(-2 + 1824/915) a composite number?
True
Let b(h) = 2*h**3 + 1. Let c be b(1). Suppose 79 - 10 = c*k. Let v = k - 12. Is v a composite number?
False
Suppose -2*k = -7 + 1. Let t = k + 0. Is t a composite number?
False
Let o(p) = p + 4. Let y be o(4). Let t = y + -5. Suppose 3*s - i - t*i - 131 = 0, 0 = -2*s - 5*i + 49. Is s composite?
False
Let n(a) = -a**3 - a**2 + 85. Let m be n(0). Let k = 5 + -3. Suppose k*g = g + m. Is g a composite number?
True
Suppose -5*c + 385 = -3*s, 25 = 2*s - 7*s. Is c prime?
False
Let s = 3579 - 2294. Is s a composite number?
True
Let i = -59 - -96. Suppose -s = -2*s. Suppose s*m - m + i = 0. Is m composite?
False
Let n be 4/6 - 302/(-6). Suppose -n - 99 = 3*x. Let l = 83 + x. Is l a prime number?
False
Suppose -k + 26 = -5*d - 52, -d = 5. Is k composite?
False
Suppose 0 = 3*z - 6*z - 345. Let u = -18 - z. Is u a prime number?
True
Let n be (1 - 1) + -3 + 2. Suppose -5*h - 2*g + 4 = -g, 4*g + 7 = 3*h. Is h/n - (-252 + -6) a composite number?
False
Is 6/(-27) - (1 + (-10810)/45) a composite number?
False
Is 6/(-8) + (-16161)/(-12) a prime number?
False
Let i(s) = -s + 7. Let k be i(5). Suppose 4*n = -r + 314, 160 = k*n - 0*r - r. Is n composite?
False
Let z be 2/(-4)*(1 - -69). Let l = -120 - -192. Let p = l + z. Is p a prime number?
True
Let u be (1/(-2))/(7/84). Let q = u - -6. Suppose q = -i - i + 226. Is i a prime number?
True
Let t = -44 - -65. Is t a composite number?
True
Let n(b) = 4*b**3 - 4*b**2 + 2*b. Let u be n(2). Suppose 4*j = -t + 439, t = -3*t - u. Is j a prime number?
False
Let x(w) = -w - 6. Let q be x(-6). Let z(f) = f**3 + 10 + 6*f**2 - 1 - 8 - f + q*f**3. Is z(-4) a prime number?
True
Let a = 184 - -79. Is a composite?
False
Let w(a) = -a**3 - 6*a**2 - 1. Let z be w(-6). Is z*(-2)/4*94 composite?
False
Suppose -3*s = -h - 1192, 2*s = 3*h + 956 - 159. Is s composite?
False
Let w(t) = -t**2 + 2*t - 1. Let o be w(3). Let p be (2 + 34/o)*-8. Is 0/3 - (-1 - p) composite?
False
Is (-502)/4*(-2)/1 a composite number?
False
Suppose 514 = -2*x + 4*x. Is x a composite number?
False
Let t(w) = 30*w**2 + w - 3. Is t(2) prime?
False
Let v = 7 + -1. Suppose z - v*z = -895. Is z composite?
False
Is (-3445)/(-10)*(0 - -2) a prime number?
False
Suppose -1491 = -21*x + 14*x. Is x a prime number?
False
Let z(f) = -f**3 + 6*f**2 - 5*f - 3. Let g be z(5). Let v be 1 - -3 - g/(-3). Is ((-38)/6)/((-1)/v) prime?
True
Let w(u) = u**3 + 8*u**2 + u + 7. Let v be w(-6). Suppose -s + 4*l + v = 2*s, 65 = 3*s + 4*l. Is s composite?
False
Let n be (24/(-15))/(4/(-10)). Is 14/n*(3 + 1) prime?
False
Let y = -7 - -19. Is y/42 + 887/7 composite?
False
Let i(d) be the second derivative of 23*d**4/12 - d**2/2 - d. Is i(2) prime?
False
Let z = -6 - -6. Suppose -i = 4*i - 90. Suppose z = -5*f + 2*f + i. Is f a composite number?
True
Suppose 5*z - 736 = -2*y, 4*y - 5*z - 1500 = -z. Is y composite?
False
Let l(m) = -m**2 + 447. Is l(0) a prime number?
False
Let z be -12*3/(4 - 1). Let a = -8 - z. Suppose -75 = -a*o + 305. Is o a composite number?
True
Let z be (3/2)/(-1)*-2. Suppose -66 = -d + 60. Suppose 21 = -z*l + d. Is l composite?
True
Let h = -235 + 56. Let c = -138 + 444. Let a = h + c. Is a a prime number?
True
Suppose 6*o = 3*o + 3561. Is o a composite number?
False
Let i be 0 - 0*(-3)/6. Let w be 14/(-7)*(i + -1). Suppose 2*b = -4*l + 188, 0 = -w*l - 0*b + 3*b + 110. Is l prime?
False
Let s(d) = 14*d. Let i be s(2). Let g = 0 - 0. Suppose 3*j - j - i = g. Is j prime?
False
Suppose 2 = 4*b - 10. Let s(j) = j**3 - 3*j**2 + j - 2. Let o be s(4). Suppose 3*c - o = 4*x, -5*c + 6*x + 41 = b*x. Is c a prime number?
False
Is (2 - 223/5)*-5 prime?
False
Suppose 5*q - q = x - 75, -3*x + 2*q + 245 = 0. Is x composite?
False
Let j(l) = l**3 + 6*l**2 - l - 4. Let q be j(-6). Suppose q*p - 3*y - 40 = 0, 41 = 2*p + y - 15. Is p composite?
True
Suppose 2*o + l - 24 = 0, o + 5*l - 3*l - 12 = 0. Let d be (-399)/(-6)*o/7. Suppose -4*y + d = -4*g - 66, 6 = 3*g. Is y a composite number?
False
Let u be -8*(-3)/12*37. Suppose 0 = -2*a + 252 - u. Is a composite?
False
Let j be (-4)/12 + 7/3. Suppose -5*w + j*w = -5*f + 70, -4 = -2*f. Is (-2)/5 + (-508)/w a prime number?
False
Let o(u) = -1 + 14 + 0*u + u. Is o(0) a composite number?
False
Suppose 0*r - 2*r = -8. Suppose -r*q + 4*y = -824, -3*y = -5*q + y + 1027. Is q a prime number?
False
Suppose -v = h - 12, 2*h = 2*v - v + 12. Let q = 61 - h. Is q a prime number?
True
Let o be (-46)/14 + 2/7. Let b(s) = s. Let y(z) = 18*z + 2. Let g(m) = b(m) - y(m). Is g(o) a composite number?
True
Suppose -3 = j - c, 0 = 6*j - 2*j + 4*c - 20. Let w be j - -1 - (-1 + 0). Suppose -4*p - 2*l + 19 = -27, w*p - 3*l = 21. Is p composite?
True
Let o(l) = -l + 1. Let v be o(2). Let k be (-1 + (v - -4))*2. Suppose -469 = -3*d - k*b, -3*b - 11 - 4 = 0. Is d a prime number?
True
Let d be (-1)/3 + (-16)/(-3). Suppose t + 4*v = 26, -d*v = -t + 53 - 9. Is t prime?
False
Suppose 10*q = -413 + 1283. Is q a prime number?
False
Let p(m) = 10*m + 3. Let w be p(4). Let z = 276 + 62. Suppose -z = -3*u + w. Is u prime?
True
Is (-14 - -13)/(1/(-55)) composite?
True
Let w(y) = -7*y + 4*y + 3*y**2 - 8*y - 6 - y**2. Is w(11) composite?
True
Suppose 552 = -2*f - 2*f. Let n = f + 281. Is n a prime number?
False
Let n(r) = 9*r**2 + 39*r + 1. Is n(10) a prime number?
True
Let v(j) = 4*j**2 - 2*j. Let p be v(3). Let r = -18 + p. Let s = r + -2. Is s composite?
True
Let q(n) = -n**2 + 8*n + 1. Let z be 6 + -3 + (-9)/(-3). Is q(z) prime?
True
Let m be 0 + -1 - (-1)/1. Let u(k) = k**2 + k + 123. Is u(m) prime?
False
Suppose 2*x + 5*o = x + 285, 3*x - 887 = o. Is x a composite number?
True
Let i = 0 - 0. Suppose -4*x - 218 + 678 = i. Let o = x + -62. Is o a composite number?
False
Let b be (-1)/(4 - 27/6). Suppose 4*c - 226 = b*c. Is c a composite number?
False
Let w be (-2)/(-4) + 197/2. Suppose -5*u + 251 = -w. Supp