20, 2*r + a = 2*a - 332. Let n = r - -240. Is (1/(-2))/((-2)/n) a prime number?
True
Suppose 0*m = -2*m + 5*l - 240, 0 = 5*m + l + 627. Let a = m - -244. Is a composite?
True
Let x be 1/(2 + 10/(-6)). Suppose -4*v = -2*l - l + 277, 0 = 4*l + x*v - 361. Is l a prime number?
False
Let j(t) = 19*t**3 + t. Let g be j(1). Suppose 2*b = -5*f + 27, -3*b - g = 2*b - 5*f. Is (-148)/(-8)*b*2 composite?
False
Let k be (-3)/6*-46*2. Let t(w) = -w - 1. Let z be t(-3). Suppose 4*n - k = z*n. Is n prime?
True
Let n(c) = 128*c - 6. Let i be n(4). Suppose -6*r = -2*r + 2*v - i, 0 = 5*r - v - 636. Is r a prime number?
True
Let o = -134 - -63. Suppose -496 = -2*z + 6*z. Let q = o - z. Is q a composite number?
False
Let d = -205 - -552. Is d a prime number?
True
Let d = 7 + -3. Let x = -6 + d. Is (x - -4)*70/4 composite?
True
Suppose 2*g - 4*l - 128 + 34 = 0, 2*l = 4*g - 188. Let s(h) = 3*h**2 - 1. Let n be s(-2). Suppose 2*p - g = b, 14 = -5*b - n. Is p prime?
False
Let c be 4/1*(-1)/1. Let k(x) = -6*x**2 - 7*x - 14. Let v(p) = 2*p**2 + 2*p + 5. Let u(n) = c*k(n) - 11*v(n). Is u(-6) composite?
False
Let f be (-3)/(3 + (-45)/12). Suppose f*s - 2*r - 1164 = 0, -4*s + r - 297 = -5*s. Is s a prime number?
True
Suppose 2*m = -3*m - 3*q + 1, 19 = 2*m - 5*q. Suppose 2*o - 260 = -m*o. Is o a prime number?
False
Suppose -1 = -3*m + 380. Is m prime?
True
Let a = 214 - 87. Is a a prime number?
True
Suppose k + 2*k = 9. Suppose -2*j - 217 = -k*j. Is j a composite number?
True
Let p(q) = -q**2 + 14*q + 3. Is p(10) a prime number?
True
Let l be (-3)/(-12) - 642/8. Let m = 133 + l. Is m prime?
True
Let p = 377 - -210. Is p composite?
False
Let x be 128 - 0*1/(-2). Let z(r) = -2*r**2 - r - 7. Let j be z(-6). Let d = j + x. Is d a composite number?
True
Let i(w) = 4*w**3 - 5*w**2 + 2*w + 1. Let h(a) = 4*a**3 - 6*a**2 + 3*a. Let q(k) = 3*h(k) - 4*i(k). Let b be q(-3). Suppose -4*g = -3*g - b. Is g composite?
True
Suppose 0*d = -2*d - 52. Let b = -4 - d. Let h = b - -15. Is h composite?
False
Suppose -4*s - 2*q - 52 = -182, 3*q - 9 = 0. Is s a prime number?
True
Suppose u - 4*p - 227 = 0, 2*u - 5*p - 231 = u. Is u a composite number?
False
Let i(n) = -5*n**2 - 15*n + 4. Let b(p) = -p**2 - p + 1. Let h(l) = -4*b(l) + i(l). Is h(-10) composite?
True
Let k(d) = 6*d**2 - 5*d - d**3 + 4 + 4*d + 4*d - 5*d. Is k(5) a prime number?
True
Let c(k) = -k**2 - k + 1. Let i be c(-2). Is (-37)/(-1 - (i + 1)) a composite number?
False
Let d = 4 + -6. Let n be 2 + 3/(-3)*d. Suppose -5*q + k = -389, 47 = 2*q + n*k - 91. Is q a prime number?
False
Suppose 5*r = 10*r - 310. Is r a composite number?
True
Suppose 4*y - 131 = -23. Suppose -85 = -5*t + 5*k, 4*t - y - 59 = -5*k. Is t composite?
False
Let j = 865 + 174. Is j composite?
False
Suppose 710 = g + z, 0*g + 4*z + 2832 = 4*g. Is g composite?
False
Let c = 28 + -20. Let d = 31 - c. Is d a composite number?
False
Let n(k) = -k**2 + 1945. Is n(0) composite?
True
Let b = -1 - -3. Let u(d) = -108*d - 3. Let i be u(-4). Suppose b*o + o = i. Is o composite?
True
Suppose 0 = -4*f - 5*u + 6054, 3*u = f - 204 - 1301. Is f a prime number?
True
Suppose 10*c - 9063 = c. Is c composite?
True
Suppose 0 = -3*n + 570 + 927. Is n prime?
True
Let j(g) = -g**2 + 4*g. Let l be j(2). Suppose 77 + 3 = -l*x. Is 1/(-4) + (-385)/x prime?
True
Let i(z) be the third derivative of 0 - 1/24*z**4 + 2*z**2 + 13/60*z**5 + 0*z - 1/6*z**3. Is i(-2) composite?
False
Suppose 2*n = -d - 6, -5*n - 28 = d - 5*d. Suppose -172 = -3*v - 0*v - 5*m, 5*v - 293 = -d*m. Is v a composite number?
False
Let n be (1/(-3))/(1/(-21)). Suppose -m - 2*y + 5 + n = 0, m - 24 = -5*y. Suppose 0 = k + 2*k - m*v - 143, 1 = v. Is k a prime number?
False
Let v = -96 + -35. Let h = v + 272. Is h composite?
True
Let u = 23 + -11. Let g(x) = 3*x**2 - 13*x - 13. Is g(u) a prime number?
True
Let j(p) = -p + 2. Let i be j(-7). Suppose -2*n = -0 - 6. Suppose -4*g + 355 = 3*z, -n*z = -0*z + i. Is g a composite number?
True
Let n be 0 + 0 + (-141)/3. Let i = -79 - n. Let w = i - -69. Is w a composite number?
False
Suppose 8*p - 9094 - 466 = 0. Is p a composite number?
True
Is ((-7)/(-21))/((-1)/(-417)) a composite number?
False
Let a(m) = -m**2 + m + 3. Let u be a(0). Suppose 0*f - 291 = -u*f. Is f prime?
True
Let m be (-5 - -3) + (1 - -114). Let k(a) = a + 5. Let o be k(-5). Suppose 5*r - 5*z - 145 = o, 3*r + 3*z + 14 = m. Is r prime?
True
Let c = 13 + -7. Suppose -4*o - 4 = 0, -2*a + 3*o - 25 = -c*a. Is a composite?
False
Let o = 30 - 17. Suppose 0 = -0*q - 5*q + 2*u + 7, -q = -4*u + o. Suppose -q*s + 78 = -s. Is s prime?
False
Is 2/10*50835/3 - 0 prime?
True
Let x be 5/((-10)/(-956)) - 2. Let y = -256 + x. Suppose y = 5*c - c. Is c a composite number?
True
Let j = 269 + -90. Suppose 5*k = 306 + j. Is k prime?
True
Let i be (-1*115)/(5/(-5)). Let f = -4 + i. Suppose -3*b + 378 = -f. Is b prime?
True
Let m(h) = h**3 - 9*h**2 + 5*h - 6. Let a be m(5). Let w = a + 128. Suppose -d = -0*d - w. Is d a prime number?
True
Let u = 229 - 155. Is u a prime number?
False
Is 866/6 + (-16)/(-24) a prime number?
False
Let g be 3/(-3)*3 - 0. Is 2*(219/6 + g) a prime number?
True
Is (0/(-2) - -1)*1931 a prime number?
True
Suppose c = 5, -3*c = -p + 1 - 12. Suppose -2105 = -p*d - 505. Suppose -4*j = -4*o + 544, 3*o = -j - 0*j + d. Is o a composite number?
True
Let o(r) be the third derivative of -3*r**4/8 - r**3/6 + 3*r**2. Is o(-7) composite?
True
Let w(c) = 631*c**3 - c**2 - c + 2. Is w(1) a composite number?
False
Suppose -2*a + 251 + 223 = 0. Is a composite?
True
Suppose 459 = l - 84. Let u = -286 + l. Is u composite?
False
Suppose 4*c + 2*g = -0*c + 8, 5*c + 2*g = 10. Let a be (-15)/c*8/10. Let p(v) = 2*v**2 + 7*v + 5. Is p(a) prime?
False
Let m = 1741 + -974. Is m a prime number?
False
Let b(m) = m**2 + 7*m - 4. Let i be b(-8). Let a be (i/6)/(4/18). Suppose 10*z = a*j + 5*z - 90, -4*j - z = -143. Is j composite?
True
Suppose -5*h - 496 = 944. Let v = h - -437. Is v a composite number?
False
Let x(b) = 9*b**2 + 3. Suppose 0 = 3*i + 3 + 6. Let o be x(i). Let m = 197 - o. Is m prime?
True
Suppose 2*d = 5*b + 779, -5*d + 7*b + 1900 = 4*b. Is d a prime number?
False
Suppose -27 = -2*d + 75. Let w = 257 + -172. Let s = w - d. Is s composite?
True
Let u(t) = 4*t**2 - t - 13. Let o(m) = -5*m**2 + 2*m + 14. Let y(w) = 3*o(w) + 4*u(w). Is y(-9) composite?
False
Let x(k) = 339*k - 9. Let p be x(-4). Let f = -914 - p. Is f composite?
True
Let g(m) = -m**2 + 10*m - 1. Let q be g(8). Suppose -q = -2*a - a. Suppose a*b - 1245 - 190 = 0. Is b prime?
False
Let x(q) = q - 8. Let a be x(8). Suppose -4*d = -3*d - 3*o - 21, 3*d + 2*o - 19 = a. Let z = -5 + d. Is z prime?
False
Let n be (9/(-3))/(1/1). Let q be n/15 - 78/(-15). Suppose l + 3*l - q*y = 206, 3*l - 143 = -2*y. Is l prime?
False
Suppose -4*d + 74 + 10 = 0. Let m be (-2 - d/(-9))*-3. Is 2 + (m - 1) - -4 prime?
False
Let q(v) = 7*v**3 + 4*v**2 - v - 3. Is q(4) a prime number?
False
Suppose 3 = 3*i, 4*f + f - 4*i = 6. Suppose -5*p + g + 15 = 0, -2*p - f*g = p - 22. Suppose -p*t - t + 95 = 0. Is t prime?
True
Suppose -4*h - 48 = -3*n, h + 3*h - 16 = -n. Let x(s) = -4*s**3 + s + 1. Let t be x(-1). Suppose t*d = -0 + n. Is d composite?
True
Suppose 0 = 5*x - 8 - 2. Let y = 0 + x. Suppose -3*a = -y*t + t + 140, 0 = -4*t - 5*a + 509. Is t a prime number?
True
Let t be (-220)/(-14) - 2/(-7). Suppose -t = -4*l, 4*x + 4 = 2*l - 4. Suppose -3*s + 54 + 147 = x. Is s a prime number?
True
Suppose 3*w - 15 = -2*w. Suppose -40 = w*r + 2*r. Is 185/4 - (-2)/r composite?
True
Is (-14)/(-21) + 4204/3 prime?
False
Let a(w) = -2*w. Let m be a(-2). Suppose -m*d = -29 - 23. Is d composite?
False
Suppose 2*i = w - 4*w + 1462, 0 = -w + 2*i + 482. Suppose f - 793 = -2*z, -f + w = 3*z - 704. Is z a prime number?
True
Suppose -3*o = -3*f - 24, 0*f = -2*f - 8. Is -1*2/(o/(-22)) prime?
True
Let c(b) = 156*b**2 + 4*b + 19. Is c(-5) a composite number?
True
Suppose 3*f - 175 = 3287. Is f composite?
True
Let p(h) = -h - 14. Let d be p(-14). Suppose -3*z + d*z = -801. Is z prime?
False
Suppose h - 490 = 5*k + 165, -4*h = -3*k - 376. Let o = k + 197. Is o prime?
False
Suppose -4*z + 1537 = 213. Is z a composite number?
False
Let q(c) = -c**3 + 7*c**2 + 2*c - 9. Let a be q(7). Suppose 143 = a*g - 327. Is g a composite