 -y = -k, 4*c - 120 = y + 355. Suppose 0*i = i - c. Is i a prime number?
False
Suppose -4*c - 12 = 0, -602 = -3*b + 4*c + 1249. Is b composite?
False
Let k(o) = o**3 - 2*o**2 - 8*o. Let f be k(6). Let r = f + -67. Suppose 3*p + 4*y = 127, 0 = 4*p - 4*y - 103 - r. Is p composite?
False
Let f = -16 - -35. Let v = 34 - f. Is 54/v - (-4)/10 prime?
False
Is 1 + (-15)/3 + 1251 prime?
False
Let m be -2*1 + 266/2. Let n = -94 + m. Is n a prime number?
True
Let q = -2 - -15. Let s(r) = -r**3 + r**2 + 2*r + 1. Let o be s(2). Let i = o + q. Is i a prime number?
False
Let d = 292 - 109. Is d a prime number?
False
Suppose 4*v + 4*u - 23881 = 7*u, -17909 = -3*v + 4*u. Is v a composite number?
True
Let t = -22 - -13. Let c = -4 - t. Suppose 4*g = -4*y - 0*g + 80, c*y - 112 = -g. Is y a composite number?
False
Let i(g) = 2*g**2 - 13*g - 1. Is i(12) a composite number?
False
Is 5 + (-5)/5 + 814 a prime number?
False
Let j(f) = 13*f**3 + f - 1. Let t = -6 - -7. Let i be 3 + t + -11 + 8. Is j(i) a prime number?
True
Suppose 157*z - 151*z - 52674 = 0. Is z composite?
False
Let p(r) = r**2 - 6*r - 4. Let q be p(7). Suppose q = -5*o + 278. Is o a prime number?
False
Suppose 3*d + 5*i + 5 = -0*i, 3*d - 5*i = 35. Suppose -d*u = -2*q - 28, 3*q - 31 = -4*u - 4. Suppose -u*n + 356 = -2*n. Is n a composite number?
False
Let u be (-6)/(-4)*8/(-12). Let j = -1 + u. Is 124 - (-2 - (3 + j)) a composite number?
False
Suppose 632 = 4*m + 2*c, -640 = -0*m - 4*m + 2*c. Is (0 - m/(-4))*4 composite?
True
Let t be (-9)/3 - -7 - -1. Suppose -t*x + 8*c - 3*c = -285, -4*x + 2*c + 230 = 0. Is x a composite number?
True
Let m(o) be the third derivative of 0 - 1/6*o**3 + 2*o**2 + 0*o - 61/24*o**4. Is m(-2) a composite number?
True
Suppose 10 = -0*p + 2*p. Suppose 5*d + 1263 = -4*f, 3*f - 4*d - 636 = p*f. Let q = f - -443. Is q a composite number?
False
Let y(a) = -7*a**2 - 3*a + 3. Let g(x) = x**2 + x + 1. Let n(j) = -6*g(j) - y(j). Is n(7) prime?
True
Suppose 995 = 9*c - 2056. Is c composite?
True
Let x(h) = -59*h - 9. Is x(-10) composite?
True
Let x(q) = q**3 + 11*q**2 - 6*q + 3. Is x(-10) prime?
True
Is (13 - -571) + 1*-3 prime?
False
Let x = -6 + 12. Let k(a) = -a**3 + 6*a**2 + 7*a - 9. Let m be k(7). Is (-204)/m + 2/x composite?
False
Let y(j) = -40*j - 3. Is y(-4) a prime number?
True
Let u = 10 + -7. Suppose -163 = -u*p + 68. Is p a composite number?
True
Let l = 10796 - 6097. Is l a prime number?
False
Let k = 2 + 3. Suppose -3*t + 2*p - 15 = 0, 5*p - 16 - k = 2*t. Is (33/9)/((-1)/t) a prime number?
True
Let b(u) = -u**3 + 5*u**2 + 2*u. Let r be b(5). Suppose 0 = -2*g + r + 46. Suppose g = 3*p - 17. Is p a prime number?
False
Suppose -7*f + 2*f + 25 = 0. Let g(c) = 2*c**3 - 2*c**2 + 2*c + 3. Let a be g(3). Suppose 3*n = k + a, n + f - 10 = -3*k. Is n composite?
True
Let i(q) = -59*q + 7. Is i(-6) a prime number?
False
Let h(d) = 10*d + 1. Let f be h(-1). Is 31148/36 + 2/f composite?
True
Let u be 2/(-3)*3/(-2). Let k(l) = 4*l**3 - 2*l**2 + 2*l - 1. Let b be k(u). Suppose -b*c = -5*c + 42. Is c prime?
False
Let h(m) = -41*m + 7. Let f be h(-8). Suppose -3*u + 8*u - f = 0. Is u composite?
False
Suppose -h - f = -5, -2*h + 6*f - 4*f + 30 = 0. Suppose -h = 2*m - 4*m. Suppose 3*a = 5*o - a - 1039, m*a = 2*o - 402. Is o prime?
True
Suppose -2*o - 2 = 3*y - 3, 3*o = -y + 5. Let l be -13 + (-12)/(3 + -7). Is 11/(o - (-18)/l) a prime number?
False
Let l = 118 - -368. Suppose 7*n - 4*n - l = -c, 793 = 5*n - 4*c. Is n a prime number?
False
Is (-4)/14 - (-226206)/126 composite?
True
Let j be (-1)/(-4)*2*4. Suppose 0 = -j*a + 5*a - 45. Is a prime?
False
Suppose -6*l + l = 5*c - 15, 5*l - 2*c - 15 = 0. Suppose -5*u = -0*u + 2*x - 417, -l = -3*x. Is u a prime number?
True
Suppose 2*h - 6 = 3*h. Let o = -4 - h. Suppose r + o*p + 0*p = 29, -5*p + 91 = 3*r. Is r a composite number?
False
Suppose -2*n - t = -42, 4*n - 44 = 3*t + 30. Is 1/(8/n)*86 a prime number?
False
Let s be (-33)/7 - 8/28. Let q be (-175)/s - (-1 - -1). Suppose 2*x - 59 = q. Is x a composite number?
False
Let r(o) be the first derivative of o**2 + o + 2. Is r(5) prime?
True
Let d(f) = -f**3 + 5*f**2 + f + 1. Let o be d(5). Suppose -o*w - 195 = -3*u - w, -195 = -3*u + w. Is u prime?
False
Suppose -3*w + 32 = 4*c, 0 = 2*c + w - 13 - 1. Suppose o = c*d + 286, -5*o = 5*d - d + 252. Let i = d - -95. Is i a composite number?
False
Let d(v) = 10 + 13 - 13 - v**2. Is d(0) a prime number?
False
Suppose -6*w - 3543 = -11637. Is w composite?
True
Let v be 5 - 1 - (-1 - -3). Is (-1 - 1) + (95 - v) a prime number?
False
Is 267/12*1*56/2 composite?
True
Let h be 238/(-6) + (-2)/6. Let a = 69 + h. Suppose 0 = -5*n - a + 94. Is n composite?
False
Let s = -3 - -6. Suppose 4*o - 5*x = -4, x + 4 = 5*o - 12. Let a = s + o. Is a a prime number?
True
Let c(q) be the first derivative of 55/3*q**3 - 1/2*q**2 + q + 1. Is c(1) a composite number?
True
Let d(c) be the first derivative of 0*c - 23/4*c**4 + 0*c**3 + 0*c**2 - 2. Is d(-1) a composite number?
False
Suppose 12 = -3*z - z. Let a be (2 + 2 + z)*5. Suppose -103 = -3*i + 2*k, 3*i - a*i + 2*k = -70. Is i a composite number?
True
Is (106/(-6))/(3/(-27)) a composite number?
True
Suppose 4 - 1 = -z - 5*q, 2*z + 5*q + 1 = 0. Suppose -z*g - 2*v + 240 = -98, -2*g + v = -329. Suppose -2*k = -o - g, 0*k - 344 = -4*k - o. Is k a prime number?
False
Suppose -3*d - 1 = -7. Suppose -d*s = s - 243. Suppose g - 96 = -5*t, -3*t - 5*g + s = t. Is t composite?
False
Let s be -14*((-2)/14 - -1). Let q be -1 + (-3)/(9/s). Suppose -q*t - 54 = -321. Is t prime?
True
Suppose -5*g + 5*x + 50 + 35 = 0, 37 = g + 4*x. Suppose -2*q = g - 51. Is q prime?
False
Let d(j) = -4*j - 3. Let c be d(-2). Suppose 2 = v, v + 379 = c*q - 2*v. Is q prime?
False
Let h(w) = 381*w - 2. Is h(1) a prime number?
True
Suppose -i - 363 = -4*i. Suppose -5*r + 4 = -i. Is r composite?
True
Let z(c) = -32*c + 5. Let b be z(-5). Is -2 + 0/1 + b a composite number?
False
Let w(b) = -b**2 + 4*b + 7. Let h be w(5). Is (-12)/9*(-111)/h composite?
True
Suppose -3*v + 24 = -36. Suppose 3*r + 3 - 9 = 0. Is v/(-25)*(-5)/r composite?
False
Suppose 6 = -3*a, -2 = 3*g - a - 10. Suppose 2*j + 3*x = -g*j + 84, -2*x = 0. Is j composite?
True
Suppose 2*h - 214 = h. Is h a composite number?
True
Is (-4)/18 + 2/((-90)/(-23455)) a composite number?
False
Let q(m) = -105*m**3 - 8*m**2 + 5*m - 3. Let k(x) = -35*x**3 - 3*x**2 + 2*x - 1. Let j(i) = -8*k(i) + 3*q(i). Let t = 3 + -4. Is j(t) a composite number?
True
Let v be 75/6 - (-1)/2. Let k = 15 + -9. Suppose r + k = v. Is r composite?
False
Suppose 6*i = i + 5*y + 1965, 0 = -4*i + 5*y + 1568. Is i a composite number?
False
Let d(w) = 48*w**2 - 14*w + 11. Is d(8) prime?
True
Let b(g) = -g**3 + 2*g**2 - g + 3. Let a be b(3). Let t(w) = -w**3 - 6*w**2 - 5*w + 7. Is t(a) a composite number?
True
Suppose -2*i - 4*x - 23 = 297, 4*i - 3*x = -607. Let h = i + 941. Is h prime?
True
Suppose t - 3*h = 860, 2*t + 878 = 3*t + 3*h. Is t a prime number?
False
Let n(v) = -v**2 + 10*v + 9. Let f be n(11). Let g(k) = -56*k + 1. Is g(f) a prime number?
True
Let i be 8/28 - 10/(-14). Let o be (i + -4)*(-4)/6. Is (23/2)/(1/o) a prime number?
True
Suppose -o - 4*y = 18, -3*o - o - 5*y = 17. Suppose 2*c + 0*q - o*q = 64, -3*c + 90 = -5*q. Is c a composite number?
True
Let y = 4283 + -2320. Suppose -2*m + y - 465 = 0. Is m a composite number?
True
Let j = 13 - 4. Let z(i) = i**2 - 3*i - 4. Let w be z(5). Let f = w + j. Is f composite?
True
Suppose -4*o + k + 4 = 0, k = -2*o + 3 + 5. Is o*-2*26/(-8) a composite number?
False
Suppose -4*r + 6*r - 266 = 0. Is r composite?
True
Suppose 0 = -3*i + 4*r + 2011, 0*r = -2*i - 3*r + 1352. Is i a prime number?
True
Let w = 1 - 1. Suppose 0*n - n - 4 = w. Let v(h) = -2*h**3 - 2*h**2 + h + 5. Is v(n) prime?
True
Let k be ((-8)/(-6))/(4/6). Suppose 0 = k*v + v - 15. Suppose -74 = -5*u + 3*u - v*h, -3*h + 74 = 2*u. Is u prime?
True
Suppose 0 = u + 3*a - 4*a - 5, -1 = -2*u - a. Suppose 164 = 3*j - f, 2*j - 135 = u*f - 27. Is j a composite number?
True
Let x(q) = 25*q**2 - 2*q - 2. Is x(3) a prime number?
False
Suppose 506 = 5*g - 3034. Suppose -12*s + g = -8*s. Is s prime?
False
Suppose 12526 = 4*n - 286. Is n composite?
False
Let a(u) = 13*u - 28. Is a(9) composite?
False
Suppose h - 2*h - 2*v = -38, -