*a + 209 = -o. Is a a prime number?
True
Let v(o) = 449*o**2 + 2*o + 1. Let y be v(-1). Suppose 4*q - 445 = 3*p, 4*q - 6*p - y = -2*p. Is q composite?
False
Suppose 6*f - 256 = 2*f. Suppose -2*q = -0*q - 2*c - 78, 2*q + 5*c - f = 0. Is q composite?
False
Let n = 5 - 4. Suppose a - 5 = 2*y + n, 3*a - 2*y = 6. Suppose a = 2*x + d - 54, 2*d = -4*x + 4*d + 92. Is x a composite number?
True
Suppose 3337 = j + 2*j + 5*h, -j + 1113 = 2*h. Is j composite?
False
Let j = -63 + 608. Is j a composite number?
True
Suppose 4 = j + 2. Suppose -2*n - 3*v = -18, 3*v - 59 = -5*n + 4. Suppose -23 - n = -j*w. Is w prime?
True
Is (6/9)/((-12)/(-3654)) a prime number?
False
Is 5875/10 - (-2)/(-4) a composite number?
False
Let h(u) = -u**2 + 7*u + 3. Let q be h(7). Let d(r) = 14*r**2 - 5*r + 2. Is d(q) a composite number?
False
Let f = 615 - -130. Is f a composite number?
True
Suppose -h - 2 = -3. Let a be 0 + (h - -1) + 3. Suppose 4*u - 55 = a. Is u prime?
False
Let p be (-2)/(3/((-3)/2)). Is 130*(p - 2/4) composite?
True
Suppose -5*h + 4*o = -569, -3*h + 561 = 2*h + 4*o. Is h composite?
False
Let p be (-3168)/(-30) - 4/(-10). Suppose p = t - 7. Let v = 196 - t. Is v a composite number?
False
Let y = -263 + 1024. Is y a composite number?
False
Let d(i) = 78*i**3 - i**2 + 2*i - 1. Let m be d(1). Suppose -2*j + 49 = n, 5*j - m = -5*n + 37. Is j composite?
True
Suppose -2*w - 7*w + 2034 = 0. Is w a composite number?
True
Let c be (-11)/(-3) + 1/3. Suppose -3*m - 34 = -c*m. Is m a composite number?
True
Suppose 4*y - 7 - 5 = 0. Suppose 3*s - y = 2*s. Is ((-235)/1)/(2 - s) a composite number?
True
Let j = -315 - -183. Let l = -79 - j. Is l a composite number?
False
Let i(u) = 6*u + 10. Let x be i(11). Suppose 5*w - x - 19 = 0. Is w composite?
False
Let o(c) = -53*c + 1. Let l be o(2). Let f = 15 + l. Let k = f - -205. Is k a composite number?
True
Suppose 0 = -4*b + 2*v + 822, 4*b + b = v + 1026. Let a = -48 + b. Is a a composite number?
False
Suppose 5*o - 5*s = -2*s - 9, 4*o = 3*s - 9. Let x be o - (2 - 6/3). Suppose -6*j + 2*j + 340 = x. Is j composite?
True
Let c = -12 - -18. Suppose -4*q = -c*p + 2*p + 40, -q - 70 = -5*p. Is p a prime number?
False
Let x = 18 + -28. Let j(f) = 0*f - 13 - 2*f - 4*f. Is j(x) a composite number?
False
Let j(g) = -7*g**3 - 2*g**2 - 4*g - 3. Let s = -7 + 5. Is j(s) prime?
True
Let o(x) = -8*x - 1. Let d be 4/10*(3 + 2). Let y = d - 5. Is o(y) a prime number?
True
Let l(i) = i**2 + 4*i + 5. Let u(x) = -x**2 - 6*x - 4. Let j be u(-6). Let r be l(j). Suppose 2*a + 4*f - 122 = 0, -2*f = -r*a + 136 + 121. Is a prime?
True
Let w(x) = 1 + 3*x**3 - 2*x - 2*x**3 - 3 - 3 - 3*x**2. Let h be w(4). Suppose -4*n = 4, 0 = -3*y + h*n - n + 35. Is y a prime number?
True
Suppose 0 = 3*n + 4*c - 26, -2*n - 22 = -5*n - 5*c. Let u be 4/14 - (-1438)/n. Suppose 0 = 3*a - 5*i - u, -2*a + 7*a - 163 = 4*i. Is a composite?
False
Is (0 - -347)/((-1)/(-1)) prime?
True
Let p(o) = 72*o + 1. Let v(k) = -71*k - 1. Let q(a) = -2*p(a) - 3*v(a). Let w be q(1). Suppose -4*h = -w - 438. Is h a composite number?
False
Let z(q) = 478*q**2 - 2*q + 3. Is z(1) prime?
True
Let q(r) = -r - 2. Let j(z) = -z**3 + 6*z**2 - 6*z + 1. Let u be j(5). Is q(u) a composite number?
False
Suppose -6*d + 8*d - 10 = 0. Let m = -3 + 5. Suppose g + 44 = 4*x, -4*x + d*x = -m*g + 2. Is x composite?
True
Let k(z) = -z - 7. Let d be k(-7). Suppose d = 3*g - 164 - 463. Let w = g - 112. Is w a composite number?
False
Let f(b) = 4*b - 1. Let n(a) = -a**2 + 6*a + 10. Let o be n(7). Is f(o) composite?
False
Let s be -3 + (-4 - -1 - -10). Is ((-2)/s)/(2/(-356)) prime?
True
Let x be (48 + 6)*2/6. Suppose -a - 5 = 3. Let f = a + x. Is f a composite number?
True
Let g(d) = -31*d + 4. Is g(-5) composite?
True
Suppose 8*q = 5*q + 4971. Is q a prime number?
True
Let h(p) be the second derivative of 2*p**4/3 + p**3/6 - p. Suppose o + 2 = -0, 5*m + 4*o + 13 = 0. Is h(m) prime?
True
Let l(k) be the first derivative of 41*k**2 - 2*k - 2. Let m be l(-8). Is (-1)/4 + m/(-8) a prime number?
False
Let x = 506 - 65. Is 0 + (1 - 3) + x a composite number?
False
Suppose -3*n + 6*t = 2*t + 18, -n + 3*t - 11 = 0. Let v = n + 7. Suppose -503 = -4*r - v*q, 2*r - q - 20 = 235. Is r a prime number?
True
Suppose -3*k + 633 = -1128. Is k prime?
True
Suppose -c + 2*t + t + 22 = 0, -5*c + 4*t = -66. Let r = c - 10. Suppose r = x - 5*x + 388. Is x a composite number?
False
Is -4 + 11 + -3 + 2 composite?
True
Suppose 0 = -x - s + 74, 4*x - s + 2*s = 311. Is x a composite number?
False
Suppose n = 5*n - 1808. Suppose -18 = -2*m + n. Is m a composite number?
True
Let m = 2994 + -941. Is m prime?
True
Let b be 2 + -2 + -1 + 3. Suppose 2 = -5*x + 22. Suppose -4*m + 93 = -s, -x*m + b*s = -s - 95. Is m a prime number?
True
Suppose 2701 = 6*c + 571. Is c a prime number?
False
Let u(d) = 2*d - 3. Let k be u(2). Let p be 130 + (3 - (1 + k)). Suppose 0 = c - 2*c + p. Is c composite?
False
Suppose -z + 3*x + 251 = -0*z, 0 = -5*z - 4*x + 1274. Suppose v - z = -v. Is v prime?
True
Suppose -4*m = -1084 + 92. Suppose -5*c = 2*n - 252, 2*n + 0*n + 3*c = m. Is n a composite number?
True
Let r = 1985 - 1086. Is r prime?
False
Suppose -s + 3*q + 10 = 0, 0 = -s + 4*s - q - 30. Suppose s - 30 = 5*u. Is (37/u)/(2/(-8)) a composite number?
False
Suppose 4*i = 5*i + 2*p - 731, -5*i = -5*p - 3700. Is i a composite number?
True
Let w = -23 - -90. Suppose -3*g - w = -5*g + f, -3*g + 3*f = -96. Is g a composite number?
True
Suppose 0 = 4*d - 229 - 151. Is d prime?
False
Suppose k + 0*k + 28 = 0. Let r = 5 - k. Is r a prime number?
False
Suppose 5*o - 12 = -2. Let b(v) = -5*v**3 + 6*v**2 + 10*v - 3. Let n(y) = y**3 + y**2 + y. Let m(c) = -b(c) + 6*n(c). Is m(o) composite?
False
Suppose 0 = 5*k - 3*k - 188. Is k prime?
False
Suppose -56 = 2*y + 2*j - 336, y - 130 = -3*j. Is y composite?
True
Is (-16)/(-40) + (-96)/(-10) prime?
False
Suppose -2*j = 4*f - 148, -4*j = -j. Is f composite?
False
Let w(n) = 24*n**2 - 8*n - 5. Is w(-6) composite?
False
Let w be 2/((-6)/33) - -3. Let v(l) = -l**2 - 12*l + 6. Is v(w) composite?
True
Suppose 0*o = o - 12. Let p = -6 + o. Is p a composite number?
True
Suppose 3*c - 3*b = 75, -35 - 40 = -4*c - b. Is c + -3 + 3 - 1 composite?
False
Let q(b) = 13*b - 2. Suppose -2*t - 9 = -5*t. Is q(t) prime?
True
Let r be (0 - 1)*-2*1. Suppose u + r*u - 15 = 0. Suppose -u*f + 99 = 34. Is f a composite number?
False
Suppose -3*x = j - 728, -4*j + x + x = -2954. Is j a composite number?
True
Let s(c) = 76*c**3 - 2*c**2 + 4*c + 3. Is s(3) a prime number?
False
Suppose -4*p + 3041 + 318 = 3*n, 2*n = p - 837. Is p a composite number?
False
Suppose 1856 = b - 3*j, 0 = 2*b + 3*j + 1299 - 4984. Is b prime?
True
Let c(t) = -t**2 + 9*t + 2. Let s be c(9). Suppose -3*v + s*m = -319, 0 = -v - 2*v - m + 331. Is v prime?
True
Let n(s) = s**3 + 7*s**2 + 2*s + 2. Let c be -1 + 1 - (-18)/3. Suppose 4*o - 3*o + c = 0. Is n(o) a composite number?
True
Is 1 + -5 + 8 - -2 a composite number?
True
Let a be (-383)/(-3) - 24/36. Let i = 314 - a. Is i a prime number?
False
Suppose -5*c + 8265 = -4*j, -j + 923 = c - 739. Is c a composite number?
False
Suppose 98 = 5*x - h, -3*x = -5*h - 67 - 5. Is x a prime number?
True
Let z be (-4 + 1)/(6/(-4)). Let p(k) = 15*k - 3*k + 6 + 3*k**2 - 4*k**z. Is p(10) composite?
True
Is -4*(-2 + (-7455)/20) prime?
True
Let f = -18 + 65. Suppose m = b - 98, 2*m - 48 = -b + f. Is b prime?
True
Suppose -83*n = -91*n + 35336. Is n prime?
False
Suppose 3*n - 60 = -2*n. Is 674 - 0 - n/(-4) composite?
False
Let r be (-6)/(-8) - 7542/8. Is r/(-30) - (-2)/(-5) a prime number?
True
Suppose -5*j + 5 = -5. Suppose j*b - 6 = b. Suppose -2 + b = y, c - 3*y - 43 = 0. Is c a prime number?
False
Let b be (-2)/(-11) - 8/44. Let y(p) = p**3 - p + 97. Is y(b) composite?
False
Is 1/(-4) + 5025/20 prime?
True
Let g(d) = -2 + 2*d - 10 + 0*d. Let r be g(8). Suppose 0*z + r*z - 852 = 0. Is z prime?
False
Let h(z) = 4*z**2 + 13*z + 4. Is h(11) a composite number?
False
Let i(n) = 121*n**2 + 4*n - 7. Is i(2) a prime number?
False
Let p(v) = 56*v - 6. Let z be p(5). Is -3*(z/(-6) - 4) a composite number?
False
Suppose 2*o - 2*z = -3*z + 380, 4*z = 5*o - 924. Let t = o - -60. Suppose 7*a = 3*a + t. Is a composite?
True
Let a(k) = k**3 + 9*k**2 + 2*k - 2. Let c