s a a prime number?
False
Let p = 3 + -13. Is p/35 + (-436)/(-7) prime?
False
Let a(k) = k**2 + 11*k - 7. Let m be a(-12). Let d(b) = 11*b + 2. Is d(m) prime?
False
Let a(b) = -10*b**3 - 2*b**2 - 1. Let g be a(-2). Let o = 102 - g. Is o prime?
True
Let g(o) = -o**2. Let y be g(5). Is ((-1115)/y)/(1/5) prime?
True
Is (-5035)/(-4) - (-9)/36 a prime number?
True
Let k be 1 + (-3 - -7 - 3). Suppose -k*j - j = -141. Is j composite?
False
Let a(f) = 22*f**2 + 2*f - 3. Is a(2) prime?
True
Suppose 4*c - 15 = -5*g + 1, 0 = -3*g - 5*c + 20. Suppose g = -0*w - 3*w + 267. Is w a composite number?
False
Let n = 9 + 1. Is n composite?
True
Let j = 69 - -134. Is j a prime number?
False
Is ((-1)/(-3))/((-18)/54)*-2179 a composite number?
False
Suppose -4*n + 207 = -n. Is n composite?
True
Let w = 1972 - 1109. Is w composite?
False
Suppose -o + 3*b + 0*b - 10 = 0, -3*o = -3*b. Suppose 2*q + 3*q = x + 262, -68 = -q - o*x. Is q a composite number?
False
Suppose -g = -4*a + 2*g + 12, -3*g + 6 = 2*a. Suppose -4*m - a*u = -731, -2*m + 0*u + u = -373. Suppose -5*p = -0*p - m. Is p a composite number?
False
Let o = 246 + -167. Is o prime?
True
Let i = 3 - 7. Let f be 66/i*(-10)/3. Suppose -r = -36 - f. Is r composite?
True
Suppose 0*g + 9 = -3*g, 5*g = 3*f - 393. Is f/(-4)*2/(-3) composite?
True
Suppose 0 = x + 2*j - 3453, x + 4*j - 3792 + 349 = 0. Is x a prime number?
True
Let j(a) = a**2 - a + 3. Is j(-7) prime?
True
Let l(y) = -16*y - 7. Let r be l(-12). Suppose -6*a + 5*a + r = 0. Is a composite?
True
Suppose 4*l - 2208 = 4*n, 0*l + l + 2*n = 555. Is l prime?
False
Let l be (-3058)/12 + (-2)/12. Let j = l - -368. Is j composite?
False
Suppose -2*b = -8, -81 = 2*z - 5*b - 633. Suppose -2*c + 5*k = -94, k - 3 = -5*c + z. Is c composite?
True
Let u = 88 - 42. Let o = u + 5. Is o prime?
False
Let g be (-4)/14 - (-23)/7. Suppose t - 7 = -t - g*o, 3*o = 15. Is 4*4 - (-4)/t a composite number?
True
Suppose 11*t - 9*t = 10. Suppose -t*l - j + 371 = 0, -4*j - 131 = -2*l + 13. Is l a composite number?
True
Suppose 3 + 15 = 2*k. Let f be -1*2*k/(-2). Let i = -6 + f. Is i prime?
True
Let f(d) = 16*d + 3. Suppose -4*z + 0*k + 120 = 3*k, 2*z = 2*k + 74. Suppose -4*q + 3*l + 14 = 0, 5*q + 2*l + 4 = z. Is f(q) a prime number?
True
Let k(l) = -89*l - 6. Let s be k(6). Let x = 1 - s. Is x composite?
False
Suppose -7*y + 5*y + 226 = 0. Is y a prime number?
True
Let o(a) = -a**3 + 15*a**2 + 6. Let m be o(15). Is (5*-2)/(m/(-177)) a composite number?
True
Let j(x) be the first derivative of -10*x**2 + 5*x + 1. Is j(-4) a composite number?
True
Suppose 0 = a + 4*b - 4 - 11, 2*a + 3*b - 40 = 0. Suppose -4*h + 5*g = -2*h - 46, -h = -g - a. Is h a composite number?
False
Let j(s) = -s**3 + 24*s**2 + 26*s - 4. Is j(23) a prime number?
True
Let i = 67 - 46. Is i composite?
True
Suppose 4*p + 4*x - 124 = -20, -p = 5*x - 42. Let i = p + -7. Is i composite?
True
Suppose 0 = -7*k + 3338 + 4544. Is k prime?
False
Suppose -2*g + 593 + 69 = 0. Is g prime?
True
Let n(z) = 40*z**2 - 10*z - 13. Is n(9) composite?
False
Let j = -428 + 875. Suppose 5*u - 2*u - j = 0. Is u a prime number?
True
Let k(r) = 350*r**2 - 4*r + 7. Is k(2) composite?
False
Suppose -5*l - 574 = -j, 3*l + l - 4*j + 456 = 0. Let y = 378 + l. Is y a prime number?
True
Let z(f) = 99*f**2 - 2. Let q be z(2). Suppose -5*a + 1119 = q. Is a a composite number?
True
Let c(y) = 5*y + 0*y**2 - 4 + 0 - 5*y**2 - y**3. Let f = -2 + -4. Is c(f) prime?
True
Is (-6)/(-4) + -1 - 2370/(-4) a prime number?
True
Let m(n) = -n**3 + 3*n**2 + 4*n - 2. Let h be m(3). Is 17/2*(h + -6) prime?
False
Let p = 402 - 191. Is p prime?
True
Let o = 135 - 68. Is o a prime number?
True
Let q(h) = 355*h - 9. Is q(2) a prime number?
True
Let z(v) = v**2 - 4*v - 9. Suppose -3*j + j = -16. Is z(j) a prime number?
True
Suppose -2*i + 54 = 4*p, -3*p + 43 = -2*i + 13. Suppose 3*k = -k + p. Let x(c) = 10*c**2 - c - 2. Is x(k) composite?
True
Let z = 0 - 1. Let m be (34 - z)*(58 - 5). Is 2/3 + m/21 a composite number?
False
Let t(q) = -q**2 - 2*q + 2. Let i be 2/(-5) - 48/30. Let r be t(i). Suppose -2*x + 99 = 2*n - 53, -2*n = -r*x - 164. Is n prime?
True
Let u = 463 + -315. Suppose 0 = 4*r - 3*q - q - u, q = 5. Suppose 0*c - c - 4*j + r = 0, -52 = -c - 2*j. Is c prime?
False
Suppose -5*r - 24 = -4*x, -4*r + x = -4*x + 21. Is (r/5)/(14/(-385)) a composite number?
True
Is (-3)/4 + 5637/12 composite?
True
Let w = 736 + -317. Is w a prime number?
True
Let t = -294 - -613. Is t composite?
True
Suppose 3*w - 2*h - 3*h = -105, -3*w = -4*h + 102. Let p = -15 - w. Is p a prime number?
False
Is (-3298)/(-26) - 4/(-26) a prime number?
True
Suppose -y - 5*y = -948. Let s = y - -95. Is s composite?
True
Let b(x) = 1. Let w(v) = -2*v**2 - 8*v + 7. Let p(z) = 6*b(z) - w(z). Let m be p(6). Let y = m - 84. Is y a prime number?
False
Let v = -26 - -237. Is v a prime number?
True
Suppose -r - 5 = -0*g - 4*g, -5*r + 23 = 4*g. Is -1 + 4/g + 6 prime?
True
Let i(o) = 2*o**3 - 9*o**2 - 2*o - 2. Let v(t) = 5*t**3 - 19*t**2 - 3*t - 5. Let w(f) = 7*i(f) - 3*v(f). Is w(-7) a prime number?
False
Suppose 5*s = h + 11, 0*s = s - 3. Suppose -h + 1 = -3*a. Let o = a - -5. Is o composite?
True
Let j(h) = 3*h - 6. Let q be j(4). Suppose 1025 = -n + q*n. Is n prime?
False
Suppose 0 = -4*i - 3*g + 144 + 1583, -2*g = 5*i - 2157. Is i a prime number?
True
Let w(m) = -m**3 + 5*m**2 + m - 3. Let t be w(5). Suppose j = t*j - 97. Is j a composite number?
False
Suppose 6*n - n = 40. Suppose -2*t = -n, 3*b - 2*b = 2*t + 153. Is b prime?
False
Let n(v) = -30*v - 5. Let r be ((-6)/(-4))/((-6)/16). Is n(r) a prime number?
False
Let j(v) = 84*v**3 + 6*v**2 - 1. Is j(3) prime?
False
Let r(x) = -x**2 + x + 1. Let l(q) = q**3 + 9*q. Let j(v) = -l(v) + 3*r(v). Let k be j(-6). Suppose 2*y - k = -y. Is y a prime number?
False
Let d = 77 - 234. Let s = -74 - d. Is s composite?
False
Suppose -w - 5*l + 4 = 0, -3*w - w = 4*l. Let r be (w/2)/(4/8). Is 1 - -1 - -1 - r prime?
False
Suppose 0 - 39 = -5*w - 3*j, 0 = 3*j - 9. Let b be 4/w + 2/(-3). Suppose b*x + x = 7. Is x a prime number?
True
Let r(b) = -b - 16. Let i be r(-11). Let j(f) = -f**3 + 3*f**2 - 5*f - 4. Let s be j(i). Suppose 4*k - s = 2*d + 167, 3*k + 3*d = 291. Is k a composite number?
False
Let i = 16 - 12. Suppose -i*z + 6*z = 574. Is z a prime number?
False
Suppose -4*d = 5*j - 10589, -4*j = j - 5*d - 10580. Is j composite?
True
Suppose -8565 = -6*v + 1869. Is v a prime number?
False
Let i be (-21)/(-15) + (-2)/5. Is ((-62)/(-6))/(i/21) a prime number?
False
Suppose -5*z + 3*k - 865 = 0, 2*k + 3*k + 825 = -5*z. Suppose -2*t - 4*b = 8, 0 = 6*b - 2*b + 12. Is (z/(-6))/(t/6) prime?
False
Let c(u) = -u + 3. Let h be c(0). Suppose -3*x - 520 = -2*o, -5*o + h*o = x - 512. Is o a composite number?
False
Let k = -123 - -218. Is k prime?
False
Let h(f) = -f**3 + f**2 + 1. Let x be 19/5 - 4/(-20). Let y = x - 7. Is h(y) composite?
False
Let t(b) = b. Let u be t(4). Suppose -3*w = f - 279, -u*f - 79 = -2*w + 121. Is (-4)/6 + w/6 composite?
True
Let z be 2/(-3 + 1 + 0). Let x(y) = 5*y**2. Let r be x(z). Let f(a) = 3*a**2 - 4*a - 2. Is f(r) prime?
True
Let l = -1165 - -1936. Is l composite?
True
Suppose y = w - 304, 0 = -6*w + 5*w - y + 294. Is w composite?
True
Let u be 1 + (0 - 3 - -2). Let t(f) = u*f + f + f. Is t(7) a composite number?
True
Suppose -76 = 3*s - 4*s. Suppose 2*x - 5 = 3. Suppose -i = -2*q - 19, -x*i + s = 2*q - 6*q. Is i prime?
True
Let m(w) = w + 1. Let a be m(-9). Is -838*-1*(-4)/a composite?
False
Let g = 505 + -356. Is g composite?
False
Let g = -38 + 253. Is g a prime number?
False
Let a be 1/(2*3/12). Is (1119/(-9))/(a/(-6)) prime?
True
Let q(w) = 171*w + 8. Is q(3) composite?
False
Is 3155/1*3/3 a composite number?
True
Suppose 0 = -p - 3*f + f + 229, -3*f = -5*p + 1093. Is p a prime number?
False
Is (644/2)/2 - 0 a composite number?
True
Let v(k) = k**3 - 5*k**2 - 4*k - 7. Let j be v(6). Let q(n) = n**2 - n - 7. Is q(j) a prime number?
True
Suppose 4*k = 5*g - 18817, 0*k - 4*k = 12. Is g composite?
False
Let k = -80 - -7. Let a = -367 + 260. Let b = k - a. Is b a prime number?
False
Suppose -15 = -3*o - 2*o. Suppose b = o*b - 2086. Is b a prime number?
False
Suppose 15126 = 3*c + 3*c. Is c prime?
True
Suppose -10 = -2*o - 2*p, 2 = 4*o - p - 3. Su