= 5*b, 5*o - 2*b - 544 = -145. Is o prime?
True
Suppose 3*k - 3270 = -5*m, m - 654 = 2*k - 3*k. Suppose 0 = t + 169 - m. Is t a composite number?
True
Suppose -3*b + 6*b - 3*y = -3, b - 3*y + 9 = 0. Suppose -6*u + b*u = -3. Suppose -f - 2*f - 53 = -4*g, f = u. Is g a composite number?
True
Suppose 2*w + 4*j = 4*w + 720, 370 = -w - 3*j. Let g = w - -761. Is g prime?
True
Let l = 12 + -8. Suppose -d - 3*s + 10 = s, 3*d = l*s + 14. Is d prime?
False
Let n(b) = b**3 + 11*b**2 - 8*b + 7. Let p be (21/(-3))/(1 + 0). Is n(p) prime?
False
Suppose -8*h = -1544 - 80. Is h prime?
False
Suppose 0 = 5*f - 428 - 1987. Let s = -278 + f. Is s prime?
False
Suppose -1265 = -5*o - f + 6*f, -4*o + 5*f = -1007. Let d(l) = -l**3 - 4*l**2 - 4*l + 1. Let q be d(-3). Suppose 2*p - i + 519 = q*p, p - i = o. Is p prime?
False
Let t = -209 - -538. Is t composite?
True
Let m(h) = h**3 + 14*h**2 + h + 17. Is m(-7) a composite number?
False
Let l(i) = 3*i**2 - i + 3. Let w(q) = -7*q**2 + q - 5. Let c(d) = -9*l(d) - 4*w(d). Suppose -7 = -x - 5*z, 1 = 2*x + z - 13. Is c(x) prime?
False
Let z = -97 + 348. Is z a prime number?
True
Let q = -3 + 18. Suppose q + 5 = 4*l, -3*p + 27 = 3*l. Let r = p + 19. Is r a composite number?
False
Let u = 1293 + 760. Is u prime?
True
Suppose -3565 = -4*k - 3*f, 3*f + 5 - 2 = 0. Let r be (-2)/4 - k/8. Let l = r + 225. Is l a composite number?
False
Let f(r) = r**2 + 6*r - 5. Let i be f(-7). Suppose -14*q + 9*q + 3175 = 0. Suppose -3*y = i*y - q. Is y a prime number?
True
Suppose 5*q - 427 = 138. Is q prime?
True
Suppose -x - 326 = -3*x. Is x a prime number?
True
Let b(w) be the second derivative of -w**3/2 - 5*w**2/2 - w. Let o be 10*(0 + (-12)/15). Is b(o) composite?
False
Let u be 3/12 + (-7)/(-4). Is (1/2)/(u/28) composite?
False
Let w(i) = 2*i**2 - i - 1. Let t(p) = p**3 - 6*p**2 - 2*p + 6. Let a be t(6). Is w(a) a prime number?
False
Let j(v) = v + 1. Let u be j(6). Is (-26)/(u/((-364)/8)) a prime number?
False
Let g(b) = 232*b**2 - 5*b + 1. Is g(2) a prime number?
True
Let o be (-10)/4*8/(-5). Let q = 5 - o. Is (q + 10/(-4))*-10 prime?
False
Let j(t) = -2*t + 2. Let a be j(-2). Suppose 3*w + 63 = a*w. Is w composite?
True
Is 2577/9 - (-2)/3 prime?
False
Suppose 0*m - 78 = -2*m. Suppose 3*s - t - 84 = 33, s - 3*t = m. Is s prime?
False
Let l be (3 + 2 - 0) + -3. Suppose -77 = l*s - y - 259, s - 3*y = 81. Suppose 2*n = -n + s. Is n a composite number?
False
Let x(m) be the third derivative of m**8/20160 - m**7/5040 + m**6/144 + m**5/60 - 2*m**2. Let k(r) be the third derivative of x(r). Is k(-9) a prime number?
False
Suppose -3 + 143 = -4*n. Is (3493/n)/((-1)/5) a prime number?
True
Suppose -4*b + 5*n + 0*n = -1424, 0 = 5*b - 4*n - 1789. Suppose 0 = 3*w - b + 106. Is w prime?
False
Suppose 0 = -x - 1, 578 = 4*d + 2*x - 64. Is d a composite number?
True
Suppose -m + 5*j - 1135 = 0, 0 = -5*m + 3*j + j - 5780. Let l(r) = -2*r + 3. Let f be l(-3). Is 2/f - m/45 a composite number?
True
Let n be (3/(-2))/(9/(-12)). Suppose -10 + n = -z. Is 54/z - 4/(-16) a composite number?
False
Is (-1)/5 - 112/(-10) a prime number?
True
Let s(r) = -104*r - 11. Is s(-6) a prime number?
True
Suppose -10*z + 2721 = -7*z. Is z a composite number?
False
Let f(z) = z**2 + 5*z - 8. Let y be f(-6). Let t be y - -2 - 0/(-3). Suppose 3*g - 39 = -t*g. Is g a composite number?
False
Suppose -13 = -4*f - 3*u, f - u - 3*u - 8 = 0. Suppose f*o - 50 = -o. Is o composite?
True
Let k(m) = m**3 - 2*m**2 + 2*m + 6. Suppose 0 = -5*j + 25 + 20. Let a = j + -4. Is k(a) a composite number?
True
Suppose 6*v = 3*v + 567. Suppose 3*f + 12 = v. Is f prime?
True
Suppose -701 = 3*m - 5*m - 3*q, -m + 334 = -4*q. Is m a composite number?
True
Let x = -3 - -5. Suppose -92 = -x*u - 0*u. Is u prime?
False
Let h = -656 - -138. Let u = h + 735. Is u a prime number?
False
Let b = 7 + -4. Suppose -4 = m, -b*g + 2*m + 17 + 48 = 0. Is g prime?
True
Let q be (-174)/(-18) + 2/6. Let l be (-2008)/(-10) - (-2)/q. Suppose 3*a = -0*a + l. Is a a prime number?
True
Let k(d) = d**3 + 4*d**2 + 4*d + 4. Let p be k(-3). Let v be 2 + (2 - 4)*p. Is 1*(21 + (v - -2)) prime?
True
Let m = -4 + 7. Let o(l) = 7*l**3 + 3*l**2 + 3*l - 4. Is o(m) prime?
False
Let b = 174 + 543. Is b prime?
False
Suppose 4*i - 565 = 5*d, 0*d + 438 = 3*i + d. Is i a prime number?
False
Suppose -3*t - 3*y = -2741 - 367, 3*t - y = 3112. Is t a prime number?
False
Suppose -3*b - 7 - 13 = 4*t, -8 = b + 2*t. Is (-10)/b*(-124)/(-10) a composite number?
False
Let s be 5 + (12/(-3))/2. Suppose 2*p - 65 = -s*p. Is p composite?
False
Suppose -41 - 27 = -2*g. Is g/(-2 - (-2 + -1)) a composite number?
True
Let l(v) = -v**2 - v**3 - 2*v - 1 + 8*v - 2*v. Suppose 0 = -m - 4*m - 25. Is l(m) prime?
True
Let m = -136 - -253. Suppose 4*n - 130 = 134. Let t = m - n. Is t prime?
False
Let h = -1 + 3. Suppose 17 + 35 = h*n. Is n prime?
False
Let g = 0 - -5. Suppose g*y + 6 - 36 = 0. Suppose -3*a - 165 = -y*a. Is a prime?
False
Suppose -2*g + 34 = 538. Is g/(-8) - 6/(-4) prime?
False
Suppose -4*g + 2*x = -9*g + 6475, -5*g + 6490 = 5*x. Is g prime?
False
Suppose 2*l + 4094 = 2*d, 0 = -2*d + l + 1244 + 2850. Is d composite?
True
Suppose -3*x + 4 = 4*a - 5, 0 = -4*x + 2*a - 10. Let p = 4 + x. Suppose 236 - 5 = p*q. Is q a composite number?
True
Is ((-2)/2)/(5/(-230)) prime?
False
Let m = -634 - -269. Let n = -246 - m. Is n a prime number?
False
Is 13 + -12 - -562*(8 - 1) composite?
True
Suppose 3*d + 0*d = 0. Suppose 2*f - r - 79 + 6 = d, -3*r - 67 = -2*f. Let h = f - 1. Is h prime?
True
Let b(n) be the second derivative of -n**5/20 + n**4/2 - 2*n**3/3 - 2*n**2 - 3*n. Let g be b(5). Is 3/(-3) + g + 53 composite?
False
Suppose -g = -6*g + 35. Suppose -5*l = -g - 3. Is l a composite number?
False
Is (2 + (-16)/12)*-3 + 1467 composite?
True
Suppose 4*u - 5*w = -2*w - 14, w - 13 = 3*u. Let q(f) = f**3 + 4*f**2 - 6*f - 5. Let m be q(u). Is 2 - (m + (-14)/2) a prime number?
False
Is ((38/(-4))/(-19))/((-1)/(-2146)) a prime number?
False
Let l be 1 + 0 + (5 - 0). Let w = l + -4. Suppose -2*u - 2*u + 3*r = -150, w*r = -u + 43. Is u a composite number?
True
Let k(s) = -6*s - 11. Let y(c) = c - 1. Let h be y(6). Suppose -7*o + h*o - 16 = 0. Is k(o) composite?
False
Let a(d) = 3*d**2 - 12*d - 3. Let y(o) = o. Let w(k) = a(k) + 12*y(k). Let b be w(-7). Suppose 2*h = -3*c + c + b, 0 = 2*c - 2*h - 124. Is c prime?
True
Is 18/(-12)*(-724)/6 composite?
False
Let c(d) = -9*d + 4. Let u(b) = 10*b - 4. Let r(s) = 5*c(s) + 4*u(s). Let y be r(-11). Let h = -40 + y. Is h prime?
True
Let s = 5974 + -4127. Is s a composite number?
False
Let z = 8555 + -6072. Is z a composite number?
True
Suppose 14 = 5*z + 5*p - 1, 5 = 5*p. Suppose 4*a = -5*l + 109, -z*a - a + l = -96. Is a prime?
True
Let k(i) = 2*i**3 - i**2 - i + 11. Let u be k(8). Suppose 2*z - u = -z. Is z composite?
True
Suppose -2*k = k - 3. Let f(i) = 5*i**3 - i**2 + 18*i**3 + 3 + 2*i + 0 - 4. Is f(k) a composite number?
False
Suppose 3*i + 4*v - 767 - 1254 = 0, -2*i - 4*v + 1354 = 0. Is i a prime number?
False
Let t be (-1 + -3)*1*-2. Suppose -f + 93 = t. Is f prime?
False
Let o(s) = -7*s**3 + s**2 - 2. Let p(f) = -7*f**3 + f**2 - 3. Suppose -y - 4*y = -3*k + 2, -5*y = -4*k + 6. Let m(t) = y*p(t) - 3*o(t). Is m(1) a prime number?
False
Let z = 873 - 566. Is z composite?
False
Let t(b) be the third derivative of b**4/24 - 5*b**3/6 + 2*b**2. Is t(8) a prime number?
True
Let x(t) = -14*t**3 + t**2 + 3*t + 1. Let h = -2 - 1. Is x(h) prime?
True
Let z be 1/(7/3 + -2). Suppose 4*q = z*q + 3. Suppose 45 = 3*c - 4*d, -c - d = -q*c + 35. Is c composite?
False
Let d = 95 - 4. Is d composite?
True
Let j be ((-7)/(-4))/(3/12). Let w be (j*3 - -2)/(-1). Let h = 44 + w. Is h a prime number?
False
Suppose 2*g + 353 = 53. Let w = g - -92. Let m = 39 - w. Is m a prime number?
True
Suppose 2*s = -5*v + 1603, -3*v - 2*s = -374 - 591. Is v a prime number?
False
Let w = 28 + 10. Is w a composite number?
True
Is (6 + -4)/(0 + (-2)/(-19)) composite?
False
Is (-177 + 7)*(-1)/2 prime?
False
Suppose 3*a - 5*i = -0*i + 1179, -4*a - 4*i + 1572 = 0. Is a a prime number?
False
Suppose 0*m + 120 = r - 2*m, -2*r + 5*m + 236 = 0. Suppose -96 = -5*l - o + 93, 4*l - 5*o - r = 0. Is l composite?
False
Let u = 16 + -10. Let z = -1 + u. Suppose 2*p + z*a - 56 - 