o = 1727 + -1030. Is o prime?
False
Let r(p) be the second derivative of 1/2*p**2 - p + 0 - 1/6*p**3 - 1/6*p**4 + 2/5*p**5. Is r(2) a prime number?
False
Suppose j + 2*u + 4 = 0, 5*j = -4*u - 1 - 1. Suppose 4*w - 2*x = 320, -150 = -j*w - 0*w - 4*x. Is w prime?
True
Suppose 2*t - 3*j + 6 = 0, -2*t - 8 = -0*j - 4*j. Suppose 4*r + v = 2*r + 196, 4*r + v - 390 = t. Is r a composite number?
False
Is 8/20 + (-2493)/(-5) a prime number?
True
Let k be (-7)/(-1) - (3 + -4). Is -1*2*(-140)/k composite?
True
Let z(k) = 17*k + 1. Let x(n) = -16*n - 1. Let f(j) = -2*x(j) - 3*z(j). Let u be f(-6). Suppose u + 94 = 3*t + g, 0 = 5*g. Is t composite?
True
Suppose -2*x + 24 = -x + 2*t, 0 = -5*t - 20. Let w = 85 - x. Is w a composite number?
False
Suppose 2*y = -5*d + 425, d + 4*y - 69 = 34. Is d composite?
False
Suppose -2*p + 3*p = 0. Suppose 4 = -3*z + m + 2, -5*z + 5*m - 10 = p. Suppose 4*y - 40 = -z*y. Is y a composite number?
True
Suppose 64 = 2*f - 5*h - 94, 3*h = -5*f + 395. Is f a composite number?
False
Suppose 0*o = -o + 25. Suppose 0*g + o = 5*g. Suppose -x = -g*m - 5*x + 15, 43 = 4*m - 3*x. Is m a composite number?
False
Is (-26808)/16*(-1)/3*2 composite?
False
Let v = 7 + -1. Let b be v/(-9) - (-11)/3. Suppose b*f + 4*i - 9*i - 5 = 0, -4*f - 4*i + 60 = 0. Is f a prime number?
False
Let i = 2 - 11. Is (-318)/(-9)*i/(-6) prime?
True
Suppose 0 = 4*r + 3*j - 133 - 98, 61 = r + 4*j. Is r a prime number?
False
Let w = -49 - -176. Is w a prime number?
True
Suppose -3651 = -3*m + 2652. Is m a composite number?
True
Let c be (-12)/27*3*-3. Suppose -5*u + c*u - 4*x - 16 = 0, -5*x - 7 = -2*u. Is (-268)/u + 0/1 composite?
False
Suppose q + 1 = 0, -y + 3730 = -q + 134. Is y a composite number?
True
Suppose -3*v + 3 = 4*l - 11, v - 2 = 0. Suppose l*c - 3*d - 174 = -c, 3*d + 64 = c. Is c a composite number?
True
Suppose 3*a + 0*a - 18 = 0. Suppose -2*x + a*x - 88 = 0. Is x a composite number?
True
Suppose -4*n + 3*a = 24, 2*a = 2*n + a + 10. Is (5/n)/(2/(-474)) a composite number?
True
Let f = -218 - -733. Is f prime?
False
Let y(f) = 3*f**3 + f**2 + 12*f + 25. Is y(11) composite?
False
Let k = -19 - -1. Let y = k - -37. Is y composite?
False
Let n(f) = -4*f - 2. Let u(w) = w + 5. Let j be u(-7). Let m be n(j). Suppose -3*z - 19 = -m*z + 5*h, 3*z - 7 = -h. Is z a composite number?
False
Is 2/((16/(-20))/((-2738)/5)) composite?
True
Suppose t - 553 = -4*g, 532 = t + 2*g - 5*g. Is t a prime number?
True
Let a = 3 - 7. Suppose -15 = 5*g, 4*x + 2*g - 7 = 3*g. Is x*a*(-111)/12 a prime number?
True
Let r(n) = -n**3 - n**2 + 3*n + 2. Let b be r(-3). Let d = b - -43. Suppose 5*f - 4*l - 34 = 0, l - 2*l + d = 5*f. Is f prime?
False
Let w = -1832 + 2676. Suppose 3*g - w = -g. Is g a composite number?
False
Is (18381/(-22))/(6/(-4)) composite?
False
Suppose -5485 = -5*d - 2*f + 2, 0 = -2*f - 8. Is d prime?
False
Let m be ((-4)/(-2))/((-3)/(-12)). Let h be (-3)/((-11)/m - -1). Let a(x) = x + 7. Is a(h) prime?
False
Let k be -4 + 1 + 691 + 3. Suppose -5*u + k - 143 = 2*a, 0 = 5*a + 5*u - 1355. Is a a composite number?
False
Suppose 4*w + 31 = -85. Let y = w - -138. Is y a composite number?
False
Suppose 3*x + 642 = 2*a - 533, 4*a - 2341 = 3*x. Is a prime?
False
Let n be (5/(-3))/((-2)/198). Let d = n + -72. Is d a composite number?
True
Let l(j) = j**2 - 7*j + 6. Let u be l(4). Let i(g) be the third derivative of g**6/120 + g**5/10 - 5*g**4/24 - 3*g**3/2 + 9*g**2. Is i(u) a composite number?
True
Let v(u) = -5*u**2 - 4*u + 1. Let i(m) = -9*m**2 - 7*m + 1. Let l(s) = -3*i(s) + 5*v(s). Let y = 14 + -10. Is l(y) a prime number?
False
Let u(f) = 56*f**2 + 2*f. Let v be u(-2). Suppose v = 4*q - 0*q. Is q prime?
False
Is (-20538)/(-30) - 4/(-10) prime?
False
Let k(q) = q**2 + 3*q + 4. Let r be k(-3). Let y = 6 - r. Suppose -h + 2*h + 5*f = 67, -4*h = y*f - 304. Is h a composite number?
True
Let u(i) = -20*i - 3. Let q = 2 + -6. Is u(q) a composite number?
True
Suppose -2*w + 8464 = -3738. Is w composite?
False
Suppose -g - 3*g - 444 = 0. Suppose -104 = -2*u + 120. Let r = u - g. Is r a prime number?
True
Let z(m) = m**2 + 6*m - 1. Let r be z(-6). Let b(l) = -2*l. Let u be b(r). Suppose 13 = u*k - 29. Is k prime?
False
Suppose 2*a + 28 = -2*a. Let f(j) = j**3 + 7*j**2 + 2. Let h be f(a). Suppose 12 + 32 = h*i. Is i prime?
False
Let o = -26 + 55. Let x = 40 + o. Is x a prime number?
False
Let q be (-11)/(11/(-156)) - 1. Is q + (8/2)/2 composite?
False
Let u(h) = h**3 - 7*h**2 + h - 3. Let o be u(7). Suppose -n = o*x - 1955, 4*x - 1954 = -n - n. Suppose 2*w + w = x. Is w composite?
False
Let y = 994 - 495. Is y a prime number?
True
Suppose 5*k - 2 - 3 = 0. Let v be k/(-2)*(1 + -23). Let x = -4 + v. Is x composite?
False
Suppose -3 = -v + 4. Suppose 2*r + v = 3*g - 3, 2*r - 5*g = -14. Is 2*17*(-3)/r composite?
True
Let u be (1 - 0 - -2) + -1. Suppose -3*r = -u*r - 2. Suppose 1 = g - r. Is g a composite number?
False
Is (6/9)/(15468/7731 - 2) a composite number?
False
Is ((-4)/10 - (-68)/20) + 2456 a prime number?
True
Let q be (2/(-4))/(2/1232). Is (-7)/(-35) + q/(-10) a composite number?
False
Let j = -21 - 25. Let u(k) = 2*k - 9. Let s be u(6). Is (j/4)/(s/(-6)) a prime number?
True
Let z = 8 + -2. Is z/9*237 - 1 a prime number?
True
Let r be (464/(-6))/((-1)/3). Suppose 7*h = 4*h - 5*j + r, j = -5*h + 394. Is h a prime number?
True
Let g be 2/(-8) + 27/12. Suppose g*p - 15 = 11. Is p prime?
True
Let b(y) = -y - 5. Let g be b(-11). Let q be (52/(-6))/(2/g). Let f = 63 + q. Is f a composite number?
False
Let l(j) = j + 1. Let q be l(1). Suppose 0 = -5*x + v - 5*v + 1055, -205 = -x - q*v. Is x prime?
False
Let r = 101 + -14. Is r prime?
False
Suppose -3*d + 24217 = -2*c + 4*c, -d + 5*c = -8044. Is d composite?
False
Let f(x) = 1895*x**2 - 12*x + 12. Is f(1) composite?
True
Let b be 120/(-54) + (-4)/(-18). Is 445/b*-2 - 0 prime?
False
Suppose -5*b = -3*v - 4 - 0, -4*v + 4*b = 0. Suppose -v = 3*g + 1. Is g - -2 - (-264)/3 composite?
False
Let g(z) = z - 3. Let u be g(7). Suppose -4*j = 2*a, -4*a - 6 = u*j + j. Suppose -b - 3*b + 150 = 2*h, 2*h + 72 = j*b. Is b composite?
False
Is 5/(1 + 8/(-12)) composite?
True
Suppose -2*u = -c - 5178, -4977 = -2*u + 4*c + 189. Is u a composite number?
False
Suppose -4*s + 399 = -21. Suppose -2*y = 3*y - s. Is (0 + 11)/(3/y) prime?
False
Let n = 6 - 1. Let b(x) = 5*x**2 + x - 6. Let m be b(n). Let a = 245 - m. Is a prime?
False
Let a(t) = 30*t + 1. Is a(7) a prime number?
True
Let x = -4736 - -6655. Is x prime?
False
Let q(p) = -16*p + 3*p + 5 - 4 - p. Let x be q(-5). Let f = x + 50. Is f a composite number?
True
Let o(l) = 340*l**2 - l. Let i be o(1). Suppose 4*c + i = 7*c. Is (0 + 1)/(1/c) a prime number?
True
Let v = 1 + 3. Suppose 9 = 4*h + 1. Suppose h = -2*y, y - 27 + 176 = v*b. Is b prime?
True
Let c = -3 - -3. Suppose 5*l - 110 - 165 = c. Is l composite?
True
Let q be (-2)/5 + (-73854)/(-10). Suppose 8*a = 3*a + q. Is a a prime number?
False
Let y be (-16)/12 - 1903/(-3). Suppose -16*a + 19*a = y. Is a composite?
False
Let g(m) = 61*m - 6. Is g(9) prime?
False
Suppose -638 = 3*t - 2543. Is t composite?
True
Suppose -i - n + 4236 = 3*i, 0 = 2*i + 5*n - 2100. Suppose i = 5*m - m. Is m a prime number?
False
Let d(y) = -2*y**3 + 5*y**3 - 3*y - 3*y**2 + 1 - 3. Is d(3) a prime number?
True
Is ((-2)/(-3))/(4/2274) a composite number?
False
Suppose 0 = -2*g + y + 2021, 2*y = -4*g + 4189 - 159. Is g prime?
True
Let z(k) = -5*k**3 - 7*k**2 + k + 8. Let q(p) = -4*p**3 - 7*p**2 + 7. Let t(b) = -4*q(b) + 3*z(b). Is t(-6) a composite number?
True
Let c(m) be the third derivative of -m**5/60 + m**4/3 - 7*m**3/6 + 2*m**2. Let q be c(6). Is (-2)/(-5) + 323/q a prime number?
False
Let a = -595 + 974. Is a prime?
True
Suppose 0 = 2*z - 3*z - 5*b + 23, -3*z + 13 = b. Suppose 2*c + 105 = -z*c. Let v = c + 34. Is v a composite number?
False
Let y = 4 - 2. Let l = 1 - -4. Suppose -l*j + 44 = -3*j + 5*r, -3*r - 44 = -y*j. Is j a prime number?
False
Let p(v) = -1894*v + 5. Is p(-2) prime?
True
Suppose -5*u = -5*v - 20, 4*u = -u + 2*v + 14. Suppose -5*i + 37 = n - u*i, -185 = -5*n - 3*i. Is n prime?
True
Suppose -1829 = -5*l + 1311. Suppose 0 = -5*o + o + l. Is o composite?
False
Let z(h) = 32*h**2 + h + 2. Let d be z(-3). Suppose -19 + d = 4*s. Is s a prime number?