 o = b + -2. Is -1*(o - 2)*-53 a composite number?
False
Let q be 6/(-2) - (-1 - 384). Suppose h = 3*h - q. Is h a composite number?
False
Let a be 3/2*(-10)/(-3). Let m = 8 - a. Suppose c - 92 = -m*c. Is c composite?
False
Let q be (-2)/9 - (-58)/18. Suppose -6*y + 89 = q*d - y, -d - 2*y + 28 = 0. Suppose -2*v = 3*u - 175, 4*u = v - d - 33. Is v prime?
True
Let n be -9*1/(3/(-4)). Let m = n + 101. Is m composite?
False
Let q be (-2)/4 + (-75)/(-10). Suppose -4*d - 2*r = -3*r - 19, 0 = -d - 2*r + q. Suppose -m - 40 = -d*m. Is m prime?
False
Is -1*298*(-63)/18 a composite number?
True
Suppose -2*b + 1050 = -4*c, b + 2*c - 517 = -0*c. Is b a prime number?
True
Suppose -2*t - 267 = -r, 5*r - t = -3*t + 1323. Is r a composite number?
True
Suppose 2*o + 3 = -1. Is (-298)/(-8) - o/(-8) a composite number?
False
Let a(r) = -56*r**3 + 25*r**2 + 397*r**3 - 26*r**2 + 1. Is a(1) prime?
False
Suppose 3*c + x - 6 = 2, c + 19 = 4*x. Let l(k) = k**2 + 2 - 2*k + k + 64*k**3 - 1. Is l(c) a prime number?
False
Is 251/1 + (-15 - -13) composite?
True
Is 2*892/(-24)*-3 prime?
True
Suppose 3*q = 2*q - 5*c + 30, -3*q - 3*c = -150. Is q a composite number?
True
Let a(z) = -z**3 - 8*z**2 - 9*z - 10. Let q be a(-7). Is ((-10)/q)/((-2)/116) a prime number?
False
Suppose -t + 3 = 0, 0 = 4*p + 3*t - 3113 - 1772. Is p prime?
False
Suppose -4*c = -11 - 13. Let y be (-48)/18*c/4. Is (-37)/y*(2 - -2) composite?
False
Let j = 20 - 11. Suppose 0 = 4*s + j + 3. Is (2 + s)*62/(-2) a prime number?
True
Suppose 5*t + h - 1494 + 405 = 0, 2*h + 1077 = 5*t. Suppose -5*m = -528 - t. Is m a composite number?
False
Let a be ((-2178)/(-6) + 0)/(2/(-4)). Let y be (2/4)/(2/(-12)). Is ((-3)/(-6))/(y/a) a prime number?
False
Let w(c) = -c**2 + 6*c. Let q be w(6). Suppose m - 2 = -q. Suppose -2*f = -4*o - o + 167, o + m*f = 43. Is o composite?
True
Let t(m) = 2*m - 1. Let f be t(2). Suppose 2*i + f*w - 28 = -w, -5*i - w + 25 = 0. Suppose -i*v = v - 655. Is v a composite number?
False
Let f(j) = -2*j - 16. Let v be f(0). Is 4/v + 525/4 a prime number?
True
Is (-4172)/(-8)*(-5 - -7) prime?
False
Suppose 4*y = 3*u + 502 + 514, 2*y - 482 = -5*u. Is y prime?
True
Let b(v) = 4*v + 3. Let u be b(10). Suppose -7 = 3*z - u. Suppose -5*c = -3*f + 253, 4*c = 4 + z. Is f prime?
False
Let q be 36/10 - 8/(-20). Suppose 5*o = q*u + 5, u + 0*o + 4*o - 25 = 0. Is (-2)/u + (-794)/(-10) a composite number?
False
Let s be (-12)/(-10)*120/9. Let v be (-56)/(-6) + 4/6. Let x = s - v. Is x composite?
True
Suppose 5*o + 70 = 5*m, -5*o = 5*m - 0*o - 110. Let z = -113 + 54. Let u = m - z. Is u a prime number?
False
Let z(u) be the first derivative of 3*u**2/2 + 4*u - 4. Let t be z(3). Suppose 0 = 3*a - 3*n + 7*n - t, -5*a + 4*n + 75 = 0. Is a prime?
True
Suppose 3*d = -3*p + 14583, -3*d - 14583 = -3*p - d. Is p composite?
False
Let k = 2207 + -1242. Suppose 1730 = 4*d + 2*p, -2*d + k - 115 = -2*p. Suppose d = 5*t - 525. Is t a composite number?
False
Let p be (1/(-3))/(3/(-18)). Suppose -5*l - 3*v + 95 = 0, -v = -p*l - 3*v + 38. Is l a prime number?
True
Let j(q) = -2*q - 14. Let k be j(-6). Is (-16 + 6)*47/k composite?
True
Suppose 2*w - 3*w = 110. Is ((-3)/(-5))/((-2)/w) a prime number?
False
Let f(o) = -o**2 + 2. Let t be f(-2). Let y = -2 - t. Let q = 35 - y. Is q prime?
False
Suppose -a = -3*a + 5878. Is a composite?
False
Let f(p) = -p**3 + 4*p**2 - 2*p. Let i be f(3). Suppose 0 = -5*q + 4*d - 5, i*q + 7*d + 3 = 3*d. Is (74/6)/(q/(-3)) a composite number?
False
Let k be (-2601)/(-27) - 2/(-3). Let t = k + -10. Is t prime?
False
Let p = 12 - 10. Suppose -133 = 4*g + 5*k - 361, p*g - 114 = 3*k. Is g a composite number?
True
Suppose 0 = -a + 269 + 92. Suppose 0 = 3*q - a + 94. Is q composite?
False
Suppose -n - 3*f + 435 = -0*f, 4*f + 1253 = 3*n. Suppose w = r + 28 - 140, 4*r + w - n = 0. Let s = r - 72. Is s composite?
True
Is 7916/(-4)*(-2 - -1) a composite number?
False
Let p(a) = -740*a + 1. Is p(-2) composite?
False
Let r(c) = -2*c**3 + 6*c**2 + 18*c + 9. Is r(-7) a composite number?
False
Let h = -151 + 448. Let v = -298 - -122. Let u = h + v. Is u composite?
True
Let f(m) = -6*m**3 - 4*m**2 - 5*m + 122. Let t(b) = 5*b**3 + 3*b**2 + 4*b - 123. Let a(g) = -4*f(g) - 5*t(g). Is a(0) prime?
True
Let o be (-666)/(-10) + (-24)/(-60). Let a = -12 + o. Is a a prime number?
False
Let u(r) = -2*r**2 - 5*r + 9. Let d be u(-10). Let t = 234 + d. Is t composite?
True
Let o(a) = -3*a**2 - 6*a - 1. Let l(y) = y**2 + y. Let s(i) = 2*l(i) + o(i). Let f be s(-5). Is ((-4)/f)/(8/516) a prime number?
True
Is -2 - (2 + (-38 - -1)) a composite number?
True
Let j = -6 + 10. Suppose j*y - 206 = -2*k, 3*y + 394 = 4*k + 5*y. Is k a composite number?
False
Suppose 6411 = 14*k - 4355. Is k prime?
True
Let w(p) = -2*p - 4. Let x be w(-3). Suppose 6*j - x*j - 12 = 0. Suppose -z - 3*z + 3*b = -139, -j*z + 96 = -5*b. Is z composite?
False
Is (1 + 184)*(0 + 1) a prime number?
False
Let y = 0 + 0. Let f be (y/(-2))/((-4)/2). Suppose f*h + 131 = 3*c - 4*h, 2*c - 54 = -4*h. Is c a composite number?
False
Suppose -3*h + 4*u - 15 = 13, -5*h - 2*u - 38 = 0. Let i = -6 - h. Suppose z = -i*z + 231. Is z composite?
True
Suppose 4*t + 0*t - 8644 = 0. Is t composite?
False
Let v be (-4)/10 - (-865)/(-25). Let a = 60 + v. Is a a composite number?
True
Let o = 6 + 2. Suppose 0 = k + 3*u + o, 3*k + 11 = 4*u + 39. Suppose 0 = k*s - 5*b - 337, 2*s = 6*s - 2*b - 334. Is s composite?
False
Let x(z) = 41*z + 3. Let t(f) = 42*f + 3. Let l(v) = 6*t(v) - 7*x(v). Is l(-2) composite?
False
Suppose 0 = 3*f + 15, -j - 3*j - 3*f = -2197. Is j prime?
False
Suppose 3*c + c - u = -45, 39 = -3*c - u. Suppose 2 - 10 = 4*i. Is i*(-2)/(c/(-111)) prime?
True
Let v = -7 - -10. Let a(c) = -5*c**2 - c**v + 4*c**2 + 47 - c + 0*c. Is a(0) composite?
False
Let y be 2 + -1 - (-13 - -7). Is 1*-2 + 3297/y prime?
False
Let n(o) = -o**2 - o + 148. Let m be n(0). Suppose a = -3*a + m. Is a composite?
False
Let o(t) be the first derivative of 17*t**3/3 - 3*t**2/2 + 3*t - 7. Is o(2) prime?
False
Is (-573)/(-2)*(-12)/(-18) composite?
False
Let p = -3 - -1. Let m be (58/(-4))/(p/4). Let y = m - 18. Is y prime?
True
Suppose -2*y + 1055 = 3*y. Is y a prime number?
True
Let i(x) = 34*x - 31*x + 34*x. Let h = 2 + -1. Is i(h) a composite number?
False
Let p be 1 - -90*(3 + -2). Suppose 5*a = p + 209. Suppose -r = -83 - a. Is r composite?
True
Let i(n) = -55*n**2 + 1. Let c be i(1). Let f = 5 - c. Is f composite?
False
Let i(p) = p**2 + 6*p + 6. Let x be 7/(-1) - (0 + 2). Is i(x) a prime number?
False
Let p(v) be the first derivative of 43*v**4 + v + 1. Let a be p(1). Suppose -a = -3*w + y - 5*y, w + y - 57 = 0. Is w prime?
False
Is (-2)/(-2)*(-41435)/(-10)*2 a composite number?
False
Let c(y) = y + 10. Let x be c(-8). Suppose 4*o - x*f = 18, -7*o + 2*o + f = -15. Is 3 - (-3 + -27 + o) prime?
True
Suppose 4*a = -4*a + 3624. Is a a prime number?
False
Let v(u) = -128*u**3 + 7*u**2 + 8*u - 4. Is v(-3) a prime number?
True
Let f(j) be the first derivative of j**3/3 + j**2 + 443*j - 1. Is f(0) a composite number?
False
Suppose -4*c + 14 = 2*x, -5*c + 44 = -c - 4*x. Is ((-21)/c + 3)*-586 prime?
True
Is 382*(-2)/8*-2 prime?
True
Let u = 1 + -4. Let q(z) = 4*z**2 - 8*z + 1. Let i(j) = -3*j**2 + 8*j. Let d(w) = -5*i(w) - 4*q(w). Is d(u) prime?
True
Let o(h) = 1043*h**3 - h**2 + h. Let k be o(1). Suppose 9*r - 10*r + k = 0. Is r a composite number?
True
Suppose -2*w = -3*w + 634. Is w a prime number?
False
Is (-12931)/(-6) - 10/60 composite?
True
Suppose -1 = 2*z - s - 5, -s = -5*z + 16. Suppose -310 = -5*l + z*i + 188, 2*l - 2*i - 200 = 0. Is -2*2*l/(-8) a prime number?
False
Let b = 6 + 25. Is b a prime number?
True
Suppose -5*b - 4*w = -26, -b + 18 = -2*b + 5*w. Suppose -364 = -3*u - r, -b*u - r = -5*r - 252. Is u a prime number?
False
Let w(v) = -115*v - 14. Is w(-3) a prime number?
True
Let f be 3/((-3)/8*-2). Suppose -n + f*n = 1119. Is n prime?
True
Suppose 2*c = -2*c. Suppose -2*q - 3*q = c. Suppose -4*w - 2*u + 2 = q, 3*u = -2*u - 25. Is w prime?
True
Let u(s) = -s + 1. Let j be u(4). Let z be (j/((-3)/(-1)))/1. Let p(g) = -21*g**3 + g**2 + 2*g + 1. Is p(z) prime?
False
Suppose 5*o + 19 = 3*y, -3 = -y - 4*o + 5*o. Let r be y/2*(-203 - -1). Suppose r = 2*n + 4*z, 3*z - 3 - 12 = 0. Is n a compos