**2 - 5*i - 3. Let y be t(4). Let r = y + -54. Is r a prime number?
False
Let t be (155 - 5) + (1 - 2). Let x = t - 55. Is x composite?
True
Let k be 2*2*(-1)/(-2). Suppose 0 = g - 3*q - 471, -k*g + 2*q - 1391 = -5*g. Is g/(-10)*2/(-3) composite?
False
Is -1 - (1 + 1) - -800 composite?
False
Suppose g = 3*n - g - 2113, -3*n + 4*g + 2123 = 0. Is n a composite number?
False
Let i(y) = 13*y**2 + 10*y + 4. Is i(-7) prime?
True
Is (-570)/(-12) - (-2)/(-4) a prime number?
True
Let f(z) be the second derivative of 0 - 1/20*z**5 - 5*z**2 + 2/3*z**4 + 1/6*z**3 + z. Is f(7) a composite number?
True
Is (-1)/(-6) - 1721/(-6) composite?
True
Let r(h) = h + 4. Let i be r(-4). Suppose -g = -i*g + 4. Is g/(-10) - (-168)/5 a composite number?
True
Suppose 3*t = -t + 436. Suppose -7*g + 3*g = 5*z - 15, -3*z = 3. Suppose 5*i = -4*c - 82 + 325, 2*c = -g*i + t. Is c a composite number?
False
Let q(v) = v**2 - 5*v - 10. Let x be q(7). Suppose 5*a - 12 = -x*r + 7, r - 3*a + 8 = 0. Is (-1*5)/r*-5 prime?
False
Suppose -2*l - l + 646 = -2*t, -t = 4*l - 865. Let q = l + -147. Is q a prime number?
False
Suppose 2*v - 3*u - 213 - 1510 = 0, -v - u + 859 = 0. Suppose 4*y = 4*r + v, -5*r + 9*r + 230 = y. Let s = y - 133. Is s composite?
True
Let o = -21 + 25. Suppose 15 = -3*x, -4*a - o*x + 7*x = -907. Is a a prime number?
True
Suppose -c + 1 = 5. Is ((-2)/c)/(1/74) prime?
True
Let i be 0 + 3 + (207 - -4). Is (2 + -1)*(-3 + i) prime?
True
Let x(j) = -37*j + 4. Let g be x(-4). Suppose -18 + 59 = v - 2*s, -g = -4*v + 2*s. Is v a composite number?
False
Let g be 22*(-1 + (-6)/4). Let k = -91 - g. Let q = k + 62. Is q a composite number?
True
Let k(g) = g**2 - 4*g - 5. Let s = 8 - 6. Suppose -s*o = -3*o + 10. Is k(o) prime?
False
Let w(r) = r + 6. Let k = 4 - 8. Let a be w(k). Suppose 0*s - 190 = -a*s. Is s a prime number?
False
Let j(s) = 369*s + 2. Is j(1) a prime number?
False
Let k = 287 - -84. Is k prime?
False
Let b = -31 + 69. Suppose -52 - b = c. Let w = -21 - c. Is w a prime number?
False
Let v = -29 - 47. Let w be 6/(-4)*v/6. Suppose 5*c - 166 = w. Is c prime?
True
Let f(c) = c**2 - 8*c + 5. Let s be f(8). Suppose -2*w - l + 8 = 0, -2*w + w + 13 = s*l. Is (-310)/(-4) + w/(-6) composite?
True
Let h(p) = -5*p - 5*p + 2*p + 5 + 2*p**2 - 18. Is h(9) prime?
False
Suppose 0 = -2*g + 4*g - 8. Suppose 111 = 3*d - 2*d + 4*r, -g*d = -2*r - 516. Is d composite?
False
Let u(w) = 3*w + 2 - 2*w + 3 + 4*w + 42*w**2. Is u(-2) composite?
False
Let i = 887 - -1892. Is i composite?
True
Suppose -46 = -0*h - h. Let x = 81 - h. Is x prime?
False
Suppose w + 4*z - 4264 = -z, -3*z = -5*w + 21236. Is w a composite number?
True
Let l(y) = -y**2 - 7*y + 2. Let x be l(-6). Let c be (-10)/(-8) + 6/x. Suppose 0 = c*w - w - 39. Is w a prime number?
False
Let y be 1 + 6 + 15/(-5). Suppose y*a - 148 = -0*a. Is a composite?
False
Let r = 17 - 14. Is (-21)/2*(-4)/r a composite number?
True
Let s = 6 - 1. Suppose -3*t - s*g + 28 = -0*t, -5*t + 4*g - 15 = 0. Is (1/(-2))/(t/(-38)) a prime number?
True
Let a = 67 + -39. Suppose -2*r - 58 = a. Let p = r - -92. Is p prime?
False
Suppose -5*x + h = -0*h, 3*h = 15. Let w(s) = -39*s**2 + 1. Let i be w(x). Let l = i + 69. Is l a prime number?
True
Suppose 3*k + 0*k + 69 = 2*s, -4*k = 4. Is s a composite number?
True
Suppose -s + 0*s + 24 = 5*m, -3*m + 2*s = -4. Is ((-17)/m - -1)*-20 a composite number?
True
Is ((-4)/(-2))/(26/14937) a composite number?
True
Suppose -4*u - 3*f + 770 + 458 = 0, 1535 = 5*u - 4*f. Is u composite?
False
Is (1/(-2))/(17/(-17578)) a composite number?
True
Let l = -222 + 543. Is l a prime number?
False
Let p(m) = -m**3 - 6*m**2 + 5*m + 13. Let i(o) = -o**3 + o - 9. Let k be i(0). Is p(k) a prime number?
True
Let n = 2 + -817. Let q = -436 - n. Is q a prime number?
True
Suppose -622 = -2*c - 26. Suppose -3*w - c = -5*w. Is w prime?
True
Is 2/(-3 - -2) + 99 a composite number?
False
Suppose 2*w - 5*w + 81 = 0. Let v be (w/(-1))/(-3) - 1. Let m(o) = o**3 - 8*o**2 + 11*o - 9. Is m(v) a composite number?
False
Suppose y - 3*p = p + 23, -5*y - 5*p - 10 = 0. Is -83*y/(1*-3) prime?
True
Let r(x) be the third derivative of -x**6/120 + x**5/10 + 3*x**4/8 + 5*x**3/6 - 3*x**2. Suppose 0 = -3*z + 23 - 2. Is r(z) composite?
False
Let m(r) = 5*r**2 - 28*r + 5. Is m(-12) prime?
True
Suppose -2*p + t = -1627, -3*t + 6*t = 3*p - 2436. Is p a prime number?
False
Let t(g) = 60*g**2 - 17. Is t(-7) a prime number?
False
Let s be 3 + -5 + -2 + 1. Let a(i) = -2*i**3 + 3*i**2 + 2*i + 2. Is a(s) prime?
False
Suppose -i = -4*i + 609. Is i a prime number?
False
Suppose 0 = -0*i - i. Let q be (-2 - 232)/(-2) - i. Let j = q - 40. Is j a composite number?
True
Let n(q) = q**3 + 6*q**2 + 5*q. Let u be n(-5). Let x be 2/2 - 3 - u. Is ((-2)/x)/1 - -6 a prime number?
True
Suppose 0 = -4*t - 3*s + 4*s + 320, -5*t = 3*s - 417. Let m = t + -47. Is m composite?
True
Suppose 62 = -5*o - r, -8*o + 3*r - 54 = -3*o. Let y be 7/(14/o) + 3. Is (-29 + 3 - y)/(-1) composite?
False
Let k be (-78)/18 - (-2)/6. Let i = k + -4. Is -1 + 3 - 1240/i prime?
True
Suppose -8 - 60 = -4*z. Suppose m - z = 16. Is m a prime number?
False
Let v(z) = 605*z**2 + 5*z + 3. Is v(-2) prime?
False
Suppose -s + 5*q = -20, -q - 4 = -5*s + 24. Suppose -4*a = a - s. Is 51 - 3 - (1 + a) composite?
True
Let n(l) = 6 - 3 - 2*l**3 - 2 + 3*l + 2*l**2. Is n(-2) composite?
False
Suppose -d + 985 = 2*k - 4*k, 4*k = 3*d - 2947. Is d prime?
True
Let w = 371 + -148. Let a = w - 119. Let m = -51 + a. Is m a prime number?
True
Suppose 3*w = -3, a + 5*w = -a + 1833. Is a prime?
True
Let l = 199 + -8. Is l composite?
False
Is (-1)/((-2)/(-178))*-1 a prime number?
True
Let d be (-6 - -8)*141/2. Let k = d - -106. Is k a prime number?
False
Suppose 4*k + 0*k = 8. Let n(q) be the first derivative of 14*q**3/3 - 2*q**2 + 3*q - 2. Is n(k) prime?
False
Let h(p) = 11*p**2 + 4*p + 2. Let s(d) = -32*d**2 - 12*d - 5. Let n(t) = -11*h(t) - 4*s(t). Let r be n(4). Let w = r + -73. Is w prime?
True
Let c(s) = 3*s**3 - 2*s**2 + 2*s - 6. Let q be c(3). Let j = -2 - 26. Let p = j + q. Is p a composite number?
True
Let f(d) = 35*d + 11. Is f(6) prime?
False
Let d = -2 - -3. Let c be ((-1 - 0) + d)*-1. Suppose -5*q = -j - 2*j - 416, -5*q + j + 422 = c. Is q composite?
True
Is 99988/52 + 10/65 a prime number?
False
Let c(i) = i. Let k(v) = -46*v - 4. Let w(o) = 93*o + 8. Let j(g) = 5*k(g) + 3*w(g). Let n(y) = -6*c(y) - j(y). Is n(-3) a prime number?
False
Let k be (12/8 + -2)*-2. Is ((-1)/(-2))/(k/282) a composite number?
True
Let u = 77 + -80. Suppose 2*s + 6 = 5*s. Is (-37)/((-5 - u)/s) a prime number?
True
Let r = -12 + 33. Is r a prime number?
False
Suppose -578 = -2*q + 212. Is q a prime number?
False
Suppose 44*s - 47*s = -6645. Is s prime?
False
Suppose o - 1008 = 649. Is o a prime number?
True
Let o = 0 - -6. Let w be ((-4)/(-6))/(o/27). Is (0 - -7)/(w/39) prime?
False
Suppose 3*b = 4*z + 4961, -2 + 4 = 2*z. Is b a prime number?
False
Let h(a) be the third derivative of 59*a**4/24 + a**3/6 + a**2. Is h(2) prime?
False
Let l = -3 + 188. Is l composite?
True
Suppose -3*q - 506 = -5*q. Is q composite?
True
Let b(a) = 125*a. Let c(f) = f. Let s(v) = -b(v) - 6*c(v). Is s(-1) composite?
False
Suppose -i = -3*l + 1140, i = -l - 0*l + 384. Suppose -2*x + l = x. Is x prime?
True
Let x(f) = -32*f + 103. Is x(-27) prime?
True
Is 1*(4 - (-127 - -4)) composite?
False
Suppose -5*x - 20 = 0, 2*m - 617 = -m + 2*x. Is m a prime number?
False
Let u(o) be the first derivative of 220*o**3/3 - o - 3. Let l be u(-1). Let p = -28 + l. Is p prime?
True
Let c be (1/3)/(4/12). Suppose -5 = -2*d + c. Suppose -d*s = -5*a - 10 - 18, s = 5*a + 16. Is s a composite number?
True
Suppose -732 = -6*h + 1434. Is h a prime number?
False
Suppose 2*z + 8 = 6*z. Is (z + -129)/(-1) + 2 a composite number?
True
Let b(r) = r - 2. Let d be b(-3). Let q(f) = 3*f**2 - 3*f - f - 2*f**2 + 3*f + 1. Is q(d) composite?
False
Let k be (-2 + 0 + 1)*3. Let s = 4 - 3. Is -326*(s - k/(-2)) a composite number?
False
Suppose 3*l + 3*o = 63792, 33181 = 3*l - 5*o - 30651. Is l a composite number?
False
Let c be 0 + -5 + 0 + 0. Let i(l) = -2*l. Let p be i(c). Suppose -p - 1 = -x. Is x composite?
False
Let i be 33/7 + 4/14. Suppose 4*p + i*x - 227 = 0, p + x - 68 = -4*x. Is p a prime number