et m be o(6). Let y = m + g. Is y a composite number?
False
Let g(t) = -1 + 48*t + 3 + 33*t. Let r(j) = -j - 1. Let i(c) = -g(c) - 4*r(c). Is i(-3) a prime number?
True
Suppose -5*b - 5*u + 777 = -2*b, -b + 259 = 5*u. Is b composite?
True
Let w(o) = 8*o + 1 + 21*o**3 - 8*o. Is w(1) composite?
True
Let g(p) = 4*p**2 - 9*p - 4. Let m be (-3 + 4)*51/3. Let w(t) = 11*t**2 - 26*t - 12. Let c(b) = m*g(b) - 6*w(b). Is c(3) a composite number?
False
Let c = 8 + -5. Let z be 3 - 3 - -121 - c. Suppose -4*p + 2*m + z = -2*p, p + 5*m = 59. Is p a prime number?
True
Suppose -4*w - 16 = -2*q, -5*w - 11 = -0*q + 2*q. Let c = -5 + 6. Is c/q*4 + 1 a composite number?
False
Let c be (-1)/5 - (-1479)/(-5). Is (c/32)/((-2)/8) a prime number?
True
Is (12/(-8))/(9/(-786)) prime?
True
Suppose 2*n + 3 = -3. Let g = n - -3. Suppose -6*v = -i - 4*v + 17, g = i + 5*v - 10. Is i a composite number?
True
Suppose -4*s = 4, -5*m = -4*m + 2*s - 6. Suppose -4*j + m = -0. Suppose 0*o = -j*o + 158. Is o prime?
True
Let f(k) = k - 3. Let p be f(5). Is (p + -1)/((-7)/(-154)) prime?
False
Let l = 39 + 7. Suppose d - 23 = -0*n - 2*n, 2*n = -2*d + l. Is d a composite number?
False
Is -1*(1 + 2) - (-1213 - -3) prime?
False
Suppose 2*l - 3*l = -92. Suppose 6*w + 10 = 8*w. Let i = l - w. Is i prime?
False
Suppose -4*d + 4*s = -404, -2*d - 8 = 3*s - 220. Is d composite?
False
Let k be (-4)/16 - (-789)/(-12). Is (-44)/6*k/4 a prime number?
False
Let p(g) = 5*g**2 + 7*g - 17. Is p(-25) prime?
False
Let g(i) = 144*i**2 - 4*i - 1. Is g(3) a prime number?
True
Let r(s) = -s**3 - s**2 - s. Let u(p) = -4*p**2 + 2*p - 1. Let g(m) = -2*r(m) + u(m). Is g(4) prime?
False
Let c = 15 - 15. Suppose o - 2*o = -3*p + 1462, c = 4*p + 3*o - 1945. Is p a composite number?
False
Suppose -75 = -3*t + 8*t. Let n = 38 + t. Is n a composite number?
False
Let y(o) be the second derivative of -o**3/2 - 11*o**2/2 - 4*o. Let t be y(-11). Suppose w - t = -1. Is w a composite number?
True
Suppose 4*p = 3*g - 1495, -g + 0*g + 489 = p. Is g composite?
True
Let x = 14 - 4. Suppose -3*w = 2*w. Suppose 5*r - x = 0, w = 3*n + 2*r + 2*r - 17. Is n composite?
False
Is 2 - 6 - (-190)/2 prime?
False
Suppose z + 4*n + 1542 = 3*z, -4*z - 2*n + 3044 = 0. Is z prime?
False
Suppose 2 = -7*i + 8*i, i = -3*r + 491. Is r a prime number?
True
Let p(t) be the third derivative of -t**6/120 - t**5/60 - t**4/24 + t**3/6 - 2*t**2. Is p(-4) composite?
False
Suppose -5*g = 4*d + 7, 2*g - 4*d = 7 + 7. Suppose 2*w + 2*h = 8, -8 = -4*h + 8. Is g - (-58*1 + w) a prime number?
True
Let p be 6 + -2 + (-2)/1. Let l = -1 - p. Is 33/9 - (-2)/l a prime number?
True
Let g = -1290 - -813. Is (-12)/(-24) - g/2 prime?
True
Let r(b) = b**3 + 10*b**2 - 4*b - 3. Is r(-10) prime?
True
Let r = 210 + 49. Is r prime?
False
Let h be (0 + -2 + 1)*5. Let a be ((-32)/h)/((-1)/(-5)). Suppose a = 4*w - 284. Is w a prime number?
True
Is ((-1)/3)/((-3)/6255) prime?
False
Let p be (-109)/(-2)*(-4 + 2). Let c = -50 - p. Is c a composite number?
False
Let x = 1142 + 1075. Is x a composite number?
True
Let h = 33 + 17. Let w = h + -28. Is w prime?
False
Let u(v) = v**3 - 8*v**2 - 16*v + 13. Is u(12) a prime number?
True
Suppose -2*x = -1 - 1. Let z = 6 - x. Suppose 269 = z*p - 6. Is p a prime number?
False
Suppose 0 = 2*g - 3*g + 155. Is g a composite number?
True
Suppose -18*i + 16*i = -938. Is i a prime number?
False
Is (116/(-7))/(2/(-7)) a prime number?
False
Let z(g) = -g**3 - 6*g**2 + 6*g - 4. Let q be z(-7). Suppose 5*l + q*p - 5610 + 1180 = 0, 0 = 4*p + 20. Is l prime?
False
Is (-4)/(-14) + (-21693)/(-49) a prime number?
True
Let l(w) = w**2 - w - 1. Let r be l(-2). Suppose 5*o - r*g - 110 = 0, -o + 8 = -5*g - 2. Is o a composite number?
True
Let m(p) = 69*p**2 - 5*p + 3. Is m(4) a prime number?
True
Let y(x) be the first derivative of 103*x**2/2 - 3*x - 4. Is y(2) composite?
True
Suppose 4*c = y + 16, 5*y + 17 = -c - 0. Is c a composite number?
False
Suppose -4*n = -2*w + 3548, -3*w - 2*w + n + 8852 = 0. Let v be (-4)/22 - w/66. Is (-18)/v + (-974)/(-6) a prime number?
True
Is (-1 + 2)/(2/66) a composite number?
True
Let q(y) be the third derivative of -y**5/6 - y**4/8 - 2*y**2. Let c be q(-2). Let l = 53 + c. Is l a composite number?
False
Suppose 0 = -4*n - 4 + 20, 0 = 3*t + 2*n + 169. Is (5 + -3)/((-2)/t) composite?
False
Suppose 0 = -f - 5, 5*t + 4*f - 84 = 291. Is t a composite number?
False
Let h(v) = 4*v**2 - 13*v - 21. Is h(8) prime?
True
Let m(w) = -w**3 + 11*w**2 - w + 16. Let x be m(11). Suppose -5*u = -x*f + 480, -13 + 3 = 5*f. Let s = -67 - u. Is s a composite number?
False
Let t(o) = 2*o**2 + 7*o + 0 + 1 - 3*o + 0*o. Is t(-10) prime?
False
Let r(d) = d**3 - 12*d**2 - 6*d + 33. Is r(16) a composite number?
True
Suppose -3*s = 4*w - 852 - 7069, -4*s = 4*w - 10568. Is s a prime number?
True
Suppose 2*w + 4*l = 2162, -6*l + 3*l = 4*w - 4304. Is w a prime number?
False
Let c(b) = b**3 + 4*b**2 + b - 1. Suppose j - m = -4, -8 = j + 2*m - 7*m. Let v be c(j). Suppose -d - 92 = -v*d. Is d a composite number?
False
Let x(k) = k + 21. Is x(-10) a prime number?
True
Let j be (-8)/(2 + -4) - 2. Suppose 2*l - 639 = -5*y, 3*l = -j*y + 4*y + 911. Is l a prime number?
True
Let i(a) = 10*a**2 + 28*a + 1. Is i(-19) a composite number?
False
Let r(v) = -2*v**3 - 3*v**2 + 2*v + 5. Let c(m) = -m**2 - 7*m - 5. Let o be c(-5). Suppose 2*i - 2*u = 5*i + 8, -o*i + 3*u - 26 = 0. Is r(i) prime?
False
Let m(q) = 88*q**2 - 2*q - 3. Let c be m(-3). Suppose -l - c = o - 4*o, l = -o + 265. Is o a composite number?
True
Let f(i) be the third derivative of -i**6/120 - i**5/12 - i**4/6 + i**3/3 - 5*i**2. Is f(-5) a prime number?
False
Let s(r) = r**3 + r**2 - r + 3. Let h be s(0). Is (1/h)/(5/555) a composite number?
False
Let m = 16 - 11. Suppose -g - 64 = -3*l, 0*g = -m*l - g + 112. Is l composite?
True
Let s = -353 - -890. Is s a prime number?
False
Let f be (-1)/((-4)/16) - -208. Suppose 2*u + 2*u = f. Is u prime?
True
Let p(r) = -193*r**3 + 7 + 194*r**3 + 2*r**2 + 9*r + 6*r**2. Suppose 5*f = 3*f - 12. Is p(f) prime?
False
Suppose 0 = -y + 3*y. Suppose 2*b = 5*g + 15, y - 15 = 2*b + g. Let n(a) = -19*a + 2. Is n(b) composite?
False
Suppose s + 41 = 189. Let i = s + -89. Suppose -5*w - 5*t + 295 = 0, 2*w - w - i = 2*t. Is w a composite number?
False
Let f(h) = -h**3 + 4*h**2 - 3*h + 3. Let m(o) = -2*o - 7. Suppose 4*i = -3*l - 0*l - 5, -20 = 3*i - l. Let u be m(i). Is f(u) a composite number?
False
Let j(g) = 6*g**2. Let c be j(2). Suppose -5*t + 19 = 3*v - 2*v, 4*t = -3*v + c. Is 712/(-12)*(-6)/v a prime number?
True
Is (995/(-10) + 3)/(3/(-30)) a prime number?
False
Let c = 60 - 16. Suppose -c = 2*d - 1000. Is d prime?
False
Let f(s) = -41*s + 3. Let i(k) = 205*k - 16. Let x(a) = 11*f(a) + 2*i(a). Is x(-6) a composite number?
True
Let z be -12*-1*(-10)/(-4). Let x = z - 8. Is 6*(3 + x/4) prime?
False
Let l(r) = 6*r + 2. Let v = 11 + -9. Is l(v) a prime number?
False
Suppose 4*p + 0*p - 1100 = 0. Suppose 3*f - 396 = -2*l + p, -3*l + 2*f = -1013. Is l a prime number?
True
Let r(q) = 17*q + 6. Let p be r(-4). Let g = -29 - p. Is g a composite number?
True
Suppose 3*m + 0*i = -i + 403, -m + 2*i + 125 = 0. Let f = m - 62. Is f prime?
True
Let g be 5/((-3)/9*-3). Suppose 3*m - 5*m = -2*z + 10, g = 2*z + 3*m. Suppose w - 49 - z = 0. Is w a prime number?
True
Let k = 478 + -287. Is k a composite number?
False
Let p = -3 - 1. Let r be p/(-10) - (-3596)/10. Suppose 5*l - r = -25. Is l prime?
True
Let s(g) = g**3 + 4*g**2 - 5*g - 4. Let a be s(-6). Let n = a + 65. Is n a composite number?
False
Let n be ((-2)/(-4))/(1/(-40)). Let a be (-515)/2*16/n. Suppose -5*u - 51 + a = 0. Is u a prime number?
True
Is (0 - 2)/((-6)/993) a composite number?
False
Let h = 10 + -7. Suppose -2*y = 3*y - h*u - 83, 2*y - 28 = -4*u. Is (4/(-6))/(y/(-3048)) prime?
True
Let y(c) = c**2 + 2. Let o = -6 - -6. Let v be y(o). Suppose -v*l = 3*l - 265. Is l a composite number?
False
Is (-2*4/16)/(1/(-1642)) a composite number?
False
Let t = -9 + -11. Let j = t + 115. Is j a prime number?
False
Let i be 153/(-68)*1784/(-3). Suppose -3*s + i = 3*m, 5*m + 3*s = 3472 - 1248. Is m prime?
True
Suppose 4*h + 2*p - 3305 + 1151 = 0, 3*h = 3*p + 1638. Is h prime?
True
Suppose -5*z + 364 + 681 = 0. Is z a composite number?
Tr