 number?
False
Let z = 128 - 51. Is z prime?
False
Let u = 877 - 1330. Let p = u - -708. Suppose 0*n - 3*n + c + 263 = 0, 3*c = 3*n - p. Is n a prime number?
True
Let t(o) = o**2 + 3*o - 4. Let p be t(-5). Suppose 3*c = -r + p, 5*r - 4*r + 5*c = 8. Suppose 5 = 5*q, -w + q = -r*w + 75. Is w a prime number?
True
Suppose 2 = -3*m - 2*p, 4*p = -0*m + 2*m - 20. Is (19 + 2)*m/3 composite?
True
Suppose 7223 = 11*i + 2482. Is i prime?
True
Let s(t) = t**2 + 3*t + 1. Suppose 0 = 4*d + q + 12, -1 = 3*d - 3*q - 7. Let k be s(d). Let h = k + 39. Is h a prime number?
False
Let u be 4/(-16)*(-4 + 0). Let d be u - 0 - (16 - -2). Let v = d + 54. Is v composite?
False
Suppose -5*f + d + 1862 = -3*d, -2*d = 6. Let h = f + -251. Is h a composite number?
True
Suppose -3*u = 2*d - 18, -u = 2*u + 5*d - 27. Suppose x + 330 = u*x. Is x/15 + (-1)/3 composite?
False
Let g = 14 + 50. Let x be 27/(2/(-1 - 1)). Let l = g + x. Is l a prime number?
True
Let q = 739 + -336. Is q prime?
False
Let h = -726 + 1663. Is h a composite number?
False
Is (371 - 3) + 4 + -1 a prime number?
False
Suppose 10 = 5*f, 0 = -2*g + 2*f - 3*f + 2572. Is g a prime number?
False
Is (-1)/(-2) - (-581)/2 a prime number?
False
Suppose 5*d = -3*t + 692, 3*t - 78 = -3*d + 624. Is t prime?
True
Let c(n) = -n**2 + 19. Let s be 0/((-2)/(3 + -2)). Is c(s) prime?
True
Suppose 3*t = n - 136, 0*n + 178 = -4*t + 2*n. Let w(u) = u**3 - 5*u**2 + u + 4. Let k be w(4). Let x = k - t. Is x a prime number?
False
Let i(x) = -x**3 - 5*x**2 + 6*x + 9. Let o be i(-6). Let t = -6 + o. Suppose -4 = -3*b - t*a + 50, -b - 2 = -3*a. Is b prime?
True
Let y(x) = -x**3 + 5*x**2 + 2*x - 1. Let g be y(5). Suppose -j - 4*j + 828 = -i, 2*i + 660 = 4*j. Suppose 0 = -3*v + o + 232, 2*v - 3*o - j = -g. Is v prime?
False
Suppose 71 = 5*n - 4*n. Is n composite?
False
Suppose 2*f = -4*b + 108, 2*b - 5*f - 48 + 18 = 0. Is 5/b - 687/(-15) composite?
True
Let p(s) = -s - 9*s - s**2 - 5*s - 13. Let a(x) = x**3 - 5*x**2 - 7*x - 4. Let d be a(6). Is p(d) composite?
False
Let s(z) = z**2 + 4*z + 2. Suppose 3*l - 10 - 8 = 0. Is s(l) prime?
False
Let f(c) = 2*c + 10. Is f(0) composite?
True
Is 0 - 1/(4/(-2492)) a prime number?
False
Let p(v) = 4*v + 1. Let m be p(1). Let h be 9/3*(-2)/(-3). Suppose 32 + 78 = m*d - y, -d = h*y - 11. Is d prime?
False
Suppose -3*p = -87 - 279. Suppose -3*f + p = 5*g, 4*g - 2 = 14. Is f a prime number?
False
Let q(s) = -s. Let z(x) = x**2 - 3*x - 37. Let r(a) = 2*q(a) - z(a). Is r(0) composite?
False
Let h(w) = -6 + 16*w + 1 + 3. Is h(3) prime?
False
Suppose -2913 = -5*p - d, -2*p + 2*d - d + 1168 = 0. Is p prime?
False
Let f = -9 + 7. Is 44*((-9)/6 - f) a composite number?
True
Let f = 4 + -1. Suppose f*w - 5 - 31 = -5*m, -4*m = -2*w - 20. Suppose 5*s - 2*z = 6 + 9, m = 2*s + 5*z. Is s a composite number?
False
Let s(j) = -12*j**3 - 2*j - 2. Let g be s(-2). Let z = 36 + g. Suppose 2*y = -0*y + z. Is y prime?
True
Let k = -866 + 1408. Is k a prime number?
False
Let n be (8 - 6)/((-1)/(-1)). Suppose 0 = -n*k - k + 345. Is k composite?
True
Let z = -188 + 441. Is z a prime number?
False
Let d(b) = -b**3 + 6*b**2 - 2*b + 2. Let u(a) = -a**2 + a + 1. Let s(f) = -d(f) - 3*u(f). Is s(4) a prime number?
True
Let d(m) = -m**2 + 7*m + 7. Suppose f + f + 20 = 0. Let k(q) = q + 16. Let r be k(f). Is d(r) a prime number?
True
Suppose 2*d + 0*j - 1412 = -2*j, j = 4*d - 2809. Is d a prime number?
False
Let j(a) = -a**3 - 2*a**2 - a - 1. Let v(d) = d - 5. Let b be v(6). Let g be -2 - (0 + 1)/b. Is j(g) a prime number?
True
Let k(c) = -2*c**3 + 2*c**2 + 2*c + 3. Let j be k(-2). Suppose 2*z - 3*s = j, -s - 1 + 6 = 0. Suppose 0*h - z = -h. Is h a composite number?
False
Suppose 4 = -3*o - 2. Let v(z) = z**2 - 2. Let d be v(o). Suppose u + 127 = d*u. Is u a prime number?
True
Suppose -5*j + j = -232. Let m = -39 + j. Let l = -8 + m. Is l a prime number?
True
Let b be ((-6)/4)/(3/(-10)). Suppose 0 = 2*j - 4*j. Suppose 5*y - b*n - 60 = j, y - 3*n + n - 17 = 0. Is y composite?
False
Suppose -w + 12 = -4*w. Let u = -1 - w. Is u a prime number?
True
Suppose -3*d + 5*d - 96 = 4*w, 0 = -4*d - 2*w + 182. Is d a prime number?
False
Let y(v) = -1892*v + 3. Is y(-2) prime?
False
Is (-124)/(-93)*2931/2 a prime number?
False
Let c(u) = u. Let z be c(2). Is (-1150)/(-6) - z/3 prime?
True
Suppose 6*a - 3*h = 2*a + 1775, -2*h - 2 = 0. Is a a prime number?
True
Suppose 2*z + 2*p = -0*p + 994, -4*p = -3*z + 1505. Is z prime?
True
Suppose -3*l + 91 = -2*l. Is l prime?
False
Let u = -50 + 90. Suppose -2*j = 5*k - 0 - 4, 2*k = -4*j + u. Let h = -5 + j. Is h prime?
True
Suppose 0 = -3*l - 3*g + 1107, g + 735 = 2*l - 0*g. Let q = 625 - l. Is q composite?
False
Let i(g) = -g**3 - 7*g**2 - 4*g + 2. Let k be i(-6). Is (715/k)/((-1)/2) prime?
False
Suppose -4*c + c + 2*j - 28 = 0, -2*c - 22 = 2*j. Is (-1494)/c - (-6)/(-15) composite?
False
Let i(x) = 44*x + 13. Is i(11) a composite number?
True
Suppose 0 = -5*r + g + 3*g + 7030, -r + 1406 = -5*g. Suppose -2*l = -4*o - 5*l + 1403, 0 = -4*o - 2*l + r. Is o a prime number?
True
Suppose -659 = -w + d, 2*w + w = -2*d + 1957. Is w a composite number?
True
Let h = -173 + 5002. Is h prime?
False
Is (-2)/9 - (-13652)/36 prime?
True
Let r = 5 + -2. Suppose r*c = -3*g + 15 + 3, 2*g - 2*c = 12. Is g prime?
False
Suppose -20 = t - 5*u, 0 = 3*t + u - 4. Let j = 4 + 1. Suppose t*o - 175 = -j*o. Is o a composite number?
True
Let o be (22/(-4))/((-4)/8). Let b(h) = h**2 + 12*h - 6. Is b(o) a prime number?
False
Let f(w) = 4*w**2 - w - 2. Is f(-3) prime?
True
Is 0 - ((-5)/((-15)/(-873)) + -2) a prime number?
True
Let m be (-10)/15 - (-364)/6. Suppose -4*j + 8 = 3*x, 3*x = -0*j - j + 2. Suppose -j*o + m = 2*o. Is o a composite number?
True
Let i(c) = 3*c**2 - c + 1. Is i(-3) a composite number?
False
Is (-2)/6 - ((-28462)/21 - -1) a prime number?
False
Let a be (-3 + 2 - -2)*125. Suppose -5*j + 780 = 5*y, -5*j + 3*y + 679 = -a. Is j a prime number?
False
Let q = 19 + 111. Suppose q = 4*j - 2*j. Is j prime?
False
Let j = -2 + 1. Is (j/1)/((-3)/1893) a prime number?
True
Suppose -2*t + 2*c + 662 = c, -662 = -2*t - 3*c. Is t a prime number?
True
Let k = -12 + 19. Is k a prime number?
True
Suppose -i - 4*l + 456 = 0, -2*i - 1862 = -6*i + 3*l. Is (i/20 - 1)*5 prime?
False
Let s(k) = k**3 - k**2 - k + 1. Let i(b) = -2*b**3 - 5*b**2 - 3*b - 8. Let g(o) = i(o) + 3*s(o). Is g(9) composite?
True
Suppose 0 = 27*d - 23*d - 4804. Is d a composite number?
False
Suppose 7*i = 745 - 136. Is i a prime number?
False
Let f = -4 - -3. Let s(x) = -48*x**3 - x**2 + x + 1. Is s(f) a prime number?
True
Let u be 9*(-9)/(-3) + -2. Suppose 5 - u = -2*v - 4*n, v - n = -2. Suppose w + v*c = 2*w - 31, 5*w = -3*c + 103. Is w a composite number?
False
Is (2 + 0)/(4/1438) a composite number?
False
Suppose 5*z = 2*y - 18, -z - 2*y = -1 - 5. Let h(o) = 48*o**2 - o. Is h(z) prime?
False
Is 0 + (108 - (1 + -2)) composite?
False
Let y(w) = w**2 + 6*w + 4. Let x = -12 + 6. Let l be y(x). Suppose 5*d - 17 = -l*p + 48, 2*p + 52 = 4*d. Is d prime?
True
Let m(h) = 11*h**3 + 3*h + 2. Let o be m(-1). Is ((-7)/1)/(o/996) composite?
True
Let v be 0 - 1 - 28/2. Let c be (444/v)/(2/(-15)). Is c/9*3/2 prime?
True
Suppose -20 = 3*d + 2*d. Let f = -4 - d. Suppose f = -3*p - 0*p + 573. Is p prime?
True
Is (-38571)/(-104) - 2/(-16) a prime number?
False
Is 10130/6 - (-28)/(-21) a composite number?
True
Suppose h = 6 - 3. Let o(u) = 121*u + 2. Is o(h) composite?
True
Let x be -8*(-5)/(15/(-24)). Let t = -45 - x. Is t composite?
False
Let k(u) = u**3 + 3*u**2 - 1. Let m(n) = -n**3 - 4*n**2. Let v(w) = -3*k(w) - 4*m(w). Let b be v(-7). Suppose -27 = b*g - 138. Is g a prime number?
True
Suppose -51 = -3*x + 3. Suppose 5*l = 997 + x. Is l a prime number?
False
Let u(k) = -5*k**2 - 8*k + 4. Let j(f) = -9*f**2 - 16*f + 8. Let x(p) = 4*j(p) - 7*u(p). Suppose 5*c - 3*r + 31 = -6*r, 17 = -5*c + 4*r. Is x(c) prime?
True
Let z = 8 + -2. Let p be z/(-6)*(1 + -1). Suppose p = -5*n + 2*n + 45. Is n a prime number?
False
Let o(n) = n + 1. Let p be o(7). Is p/36 + (-277)/(-9) a prime number?
True
Let y(x) = -29*x. Suppose -12 = 2*f - 4. Let z = -7 - f. Is y(z) composite?
True
Suppose -k = -5*c + 25, -3*c = 4*k - 0*k + 8. Suppose 5*a - a - 5*h = 296, c*h + 300 = 4*a. Is a prime?
True
Let v(g) 