f = 356 + o. Let g = f + -222. Is g prime?
False
Let u = 51 + -319. Is 14/(1/(u/(-8))) a composite number?
True
Let a(p) = p - 4. Let j = 16 + -11. Let v be a(j). Suppose 12 = b - v. Is b prime?
True
Suppose -4*b + 5 = d - 3*b, -3*d - 5*b = -23. Suppose -d - 11 = s. Is (-3)/(-1)*(-308)/s composite?
True
Let l(p) = 14*p**3 - 5*p**2 + 6*p + 2. Is l(5) composite?
False
Let c = -108 + 695. Is c a prime number?
True
Suppose 4*f - 23920 = 5988. Is f a prime number?
True
Suppose 0 = -4*b + 2*b. Is (b - (-1 - 0)) + 34 composite?
True
Let l(j) = -7*j - 9. Let y be l(-6). Let h = y + -14. Is h a prime number?
True
Let x(h) = -39*h - 1. Let t(l) = -19*l. Let d(k) = 5*t(k) - 2*x(k). Is d(-3) composite?
False
Let b(r) = -r - 1 - 3 + 1 + 56*r**2 - 15*r**2. Is b(2) a prime number?
False
Suppose 7*m = 12*m - 18295. Is m a prime number?
True
Is (-6)/(-8) + -1 + (-7119)/(-12) a prime number?
True
Let n be (2 + (-3)/(-3))*-3. Let b be 1/(12/n + 1). Is 2/b + 1041/9 composite?
True
Let m be (54/(-45))/(6/(-20)). Suppose -2*h + m*t + 704 = 0, -3*t = 5*h - 0*t - 1799. Is h a composite number?
True
Suppose 2*b = -4 - 16. Let u(w) = -w**3 - 11*w**2 - 12*w + 5. Is u(b) a composite number?
True
Suppose -5*f - 1765 = -10*f. Is f prime?
True
Suppose -2046 = -5*x - x. Is x a composite number?
True
Let r = -5 + 8. Let i(p) be the first derivative of -p**4/4 + 4*p**3/3 + 4*p - 2. Is i(r) prime?
True
Suppose -18 = -p - 2*p. Let b(f) = 98*f - 7. Is b(p) a composite number?
True
Let m(j) = -j**3 - 7*j**2 - 8*j + 3. Let b be (-8)/(2/1 + -1). Is m(b) a composite number?
False
Let m(y) = 7*y**3 + 6*y**2 - y - 7. Is m(4) prime?
False
Suppose -7*s + 2*s = 20, -3*o + s = -52. Let l = 17 + o. Is l prime?
False
Let j(o) = 2*o**2 + 21*o - 9. Is j(14) composite?
False
Let q be 17/(1/(93/3)). Suppose 2*d + 487 = 3*t - 2*d, 3*t = -4*d + q. Is t prime?
False
Let r(n) = -n**3 - 6*n**2 + 2*n + 8. Let f be r(-6). Let h = f + 5. Is ((-385)/20)/(h/(-4)) prime?
False
Suppose -h + 4*h - 24 = 0. Let t(a) = a**3 + 1 - h*a + 6*a**2 - 1 - 4. Is t(-7) composite?
False
Is (-1)/((-3)/12)*(-5492)/(-16) a composite number?
False
Let z = 247 + -120. Is z a prime number?
True
Let l(s) = s**2 - 9*s + 12. Let v be l(8). Suppose 9 + 7 = v*x + 3*c, -3*c - 40 = -4*x. Is x prime?
True
Let c(s) = -s**2 + 4*s - 1. Let h be c(5). Is 49 + 1*(h + 3) a composite number?
True
Suppose 2*b = 5*u - 7, -4 = 3*u - 13. Suppose 5*n = b*k + 485 + 124, 1 = -k. Is n a prime number?
False
Let s be ((-32)/(-12))/(2/(-417)). Let i = -221 - s. Is i a composite number?
True
Let i(b) = b**3 - 4*b**2 - b - 7. Let z(f) = f. Let c be z(-7). Let s = c - -12. Is i(s) a composite number?
False
Suppose -3*p + 385 = b, 3*b + 3*p - 1949 = -2*b. Is b a composite number?
True
Suppose 540 + 438 = 2*i. Is i composite?
True
Suppose 79 + 11 = 5*l - 3*p, -4*l + 4*p = -64. Suppose -3 = 3*c - 3*y, -c - 2*y = -4*c + 2. Is (c - 3)/(1/l) a composite number?
True
Let w(z) = -53*z**3 - z**2 + 1. Is w(-1) composite?
False
Suppose -15*q + 2692 + 3053 = 0. Is q a composite number?
False
Let f(o) = -2*o - 12. Let g be f(-6). Suppose 4*d + 0*d - 236 = g. Is d a composite number?
False
Suppose 8*m - 2065 = m. Is m prime?
False
Let a(x) = 17*x + 15. Is a(7) a composite number?
True
Suppose -2*x - 2*i + 72 + 76 = 0, 5*i = 4*x - 323. Is x composite?
True
Let q = -81 - -115. Suppose 2*l + q = 3*l. Is l a composite number?
True
Let p be (-4)/(-6) - 322/(-3). Let g = p - 53. Is g/4 + (-1)/(-4) a prime number?
False
Let c(k) = 2*k**2 - 11*k - 8. Suppose 4 + 41 = 5*t. Is c(t) prime?
False
Let v(r) = -46*r - 20*r + 0 + 7. Is v(-3) composite?
True
Let u(z) = 2180*z**3 - 3*z**2 + z + 1. Is u(1) a composite number?
False
Let n(y) = 94*y**2 - 17*y**2 + 2*y**2. Is n(-1) prime?
True
Let n be (2*-1)/((-6)/(-12)). Is (-1)/n - (-87)/4 a prime number?
False
Suppose 0 = -3*j + 5*j - 826. Is j prime?
False
Let h(q) = q**2 + 9*q - 6. Let y be 4 - (3 - 0)/(-1). Is h(y) prime?
False
Suppose 3*d + 4 = 4*d. Let j(u) = -3*u**2 - 4*u - 2. Let f(l) = -l**2 - 1. Let w(m) = -5*f(m) + j(m). Is w(d) a prime number?
True
Suppose -63*k + 59*k + 460 = 0. Is k a composite number?
True
Let f(y) = 9*y + 7. Let s(w) = 1. Let p(z) = f(z) - 6*s(z). Let n(o) = -o**2 + o + 2. Let d be n(0). Is p(d) prime?
True
Let q be (-114)/3 + 2 - 0. Is (-5805)/q - 1/4 prime?
False
Let k(g) = 50*g + 1. Let z be k(-5). Is (2/(-6))/(1/z) composite?
False
Let y be -6 + 1 - (0 + 1). Let r(x) = 2*x**3 - 7*x**2 - 3*x. Let b be r(y). Is (-4)/(-10) + b/(-10) a prime number?
True
Let x = -7 + 12. Suppose 0 = -q + 1 + 1. Is 342/30 - q/x a prime number?
True
Suppose 3400 = -0*k + 5*k - 5*m, 0 = -2*k + 5*m + 1345. Is k a composite number?
True
Suppose 0 = -5*j + 3*x + 1178, 4*x = -3*j + 7*j - 944. Is j prime?
False
Suppose -n + 1663 = 5*b - 3*n, 4*b - 4*n = 1340. Is b prime?
True
Let j be 2/6*(4 - 4). Suppose 5*f + 2*t - 425 = j, -3*f = 2*f + 3*t - 420. Is f a prime number?
False
Suppose -j + 92 = j. Is j composite?
True
Let n = 7 + -17. Is n*(-2 + (-9)/6) a composite number?
True
Is (1 + -10 + 19)/((-2)/(-191)) a composite number?
True
Let i(w) = 21*w**2 - w - 3. Let r be i(-3). Let y = r - 110. Is y a prime number?
True
Let x be -6*(-3 - 180/8). Is -4 - (-2)/(2/x) a prime number?
True
Suppose 611 + 1169 = 10*x. Is x prime?
False
Let q = -66 - -119. Is q a prime number?
True
Suppose -b = 4*b + 3*r - 2924, -3*r = b - 592. Is b composite?
True
Suppose 2*d + g - 7 = -0*d, 0 = -2*d + 3*g + 3. Suppose -177 - 60 = -d*s. Is s a prime number?
True
Suppose -w = 3*w + 3*q - 790, 0 = 4*w + q - 794. Is w a prime number?
True
Let b(r) be the second derivative of r**5/20 - 7*r**4/12 + 7*r**3/6 + 3*r. Suppose 0 = 2*c - 4*a, 2*c - 19 = -3*a + 2. Is b(c) a prime number?
False
Suppose -l = 2*l - 15. Let a(q) = 3 + q**2 + 5*q**2 - l*q**2. Is a(0) a prime number?
True
Suppose -52 - 333 = -5*s. Is s a prime number?
False
Let d(j) = 2*j - 1. Let x be d(1). Is 1 - (-154 + (1 - x)) a composite number?
True
Let b(y) = -9*y - 1. Let a be b(-2). Let w = a + 2. Is w composite?
False
Suppose 4*r - 122 = 3*n - 409, -5*n = -5*r - 470. Is n prime?
True
Let z(i) be the second derivative of -i**6/90 - i**5/120 + i**4/6 + 2*i. Let l(d) be the third derivative of z(d). Is l(-2) a prime number?
False
Suppose 2*m + 2 = 324. Is m prime?
False
Suppose -4*k = -9*k + 10. Suppose -4*c = -2*c + k. Is (c + 2)*(76 + 3) a composite number?
False
Let c(f) = -53*f + 4. Is c(-3) composite?
False
Suppose 9 = o + 2*o. Suppose v = 3*v - 400. Is 2/6 + v/o composite?
False
Suppose -67 - 120 = -p. Is p a composite number?
True
Let t(u) = 241*u**2 + 3. Is t(2) a prime number?
True
Suppose 0*a + 2*a = 18. Suppose -734 = -a*w + 7*w. Is w prime?
True
Let d(p) = p**3 + 6*p**2 + 7. Let a(c) = -c**3 + 4*c**2 - 3*c + 6. Let l be a(4). Is d(l) prime?
True
Is -3 - (-262 - (-16)/(-4)) composite?
False
Suppose 0 = -0*j + 2*j - 1132. Is j composite?
True
Let x(u) = 252*u**2 + 7*u - 2. Is x(3) a prime number?
True
Let v(r) = -r**3 - 5*r**2 - 8*r + 5. Is v(-6) a composite number?
False
Suppose -m + 211 = -0*x + 3*x, -4*m + 2*x = -816. Is m a composite number?
True
Let p(b) = 23*b + 2. Is p(1) a prime number?
False
Let d = 326 - -5085. Is d prime?
False
Let u(w) = -w**2 - 16*w - 7. Is u(-14) a prime number?
False
Let a(q) be the first derivative of 76*q**3/3 - q**2 - q + 1. Is a(-1) a composite number?
True
Let x(p) = 16*p**2 + 10*p - 1. Is x(-8) a composite number?
True
Suppose -298 = -2*y + 348. Is y a composite number?
True
Let n = 13 + -13. Suppose -2*u - 297 = -3*l, 3*l + 2*u - 12 = 273. Suppose 3*k - 104 - l = n. Is k a prime number?
True
Suppose z - 968 + 211 = -3*p, -15 = 3*z. Is p composite?
True
Let i = 2103 + -1360. Is i a prime number?
True
Suppose q + 0*l = l + 6, 2*q + 5*l + 9 = 0. Suppose 0 = i + q*i - 172. Let w = 122 - i. Is w a composite number?
False
Let q(h) = -5 + 45*h + 39*h - 15*h + 15*h. Is q(4) a prime number?
True
Suppose 0 = -8*g + 3*g + 20. Suppose g*v - 4*s - 179 = 3*v, 622 = 3*v + 5*s. Is v a composite number?
False
Let d = -1247 - -551. Let n = -197 - d. Is n a composite number?
False
Let g = -55 + 200. Is g prime?
False
Let f be 6 - 2*(2 - 3). Suppose s - f = -s. Is (1 - -13)*14/s a prime number?
False
Let h = -14 + 14. Suppose -4*x = -h*x - 1516. Is x a composite nu