Let i(y) = -y**3 - 4*y**2 - y + 4. Let s be i(-4). Let j(b) = b**2 - 10*b - 5. Let x be j(s). Let l = 14 - x. Is l composite?
True
Let p be 2/(1 - 6/10). Is (-2)/(1/p*-1) a prime number?
False
Suppose -5*x = -5*g - 775, 0 = g - 2*x + 67 + 92. Let w = g + 284. Is w composite?
True
Suppose 6*z = 2911 + 2261. Is z a prime number?
False
Let p(v) = v + 8. Let n(k) = -k - 6. Let g be n(0). Let i be p(g). Is i/11 - (-20)/11 prime?
True
Suppose 3*k = 461 + 2146. Is k prime?
False
Let h = -756 + 320. Let v = h + 851. Is v composite?
True
Let z = 38 + -19. Let d be (-3)/(-15) - z/(-5). Suppose -i = 2*j - 10, -2*j + d*j - 26 = 3*i. Is j composite?
False
Let m(n) = n**3 + 9*n**2 - 14*n - 14. Let h(r) = 5*r. Let a be h(-2). Is m(a) prime?
False
Is (1067/(-33))/(((-1)/(-39))/(-1)) a prime number?
False
Suppose -f + 0*o = 2*o - 149, -4*f = 3*o - 571. Is f a composite number?
False
Let h be (-1 - -1)/(-2) - -2. Suppose -3*o - k + 445 = 0, -h*k = 4*o + 3*k - 586. Is o a prime number?
True
Let f be -18*-4*(-1)/6. Let m = f - 11. Let b = 37 + m. Is b a prime number?
False
Let h(w) = -2*w**2 + 3*w - 2. Let k be h(2). Let y = k - -7. Is ((-18)/7)/y*-7 a prime number?
False
Let j(v) be the third derivative of 2*v**5/5 - v**3/6 - 2*v**2. Suppose -l - 1 = -2*l. Is j(l) a composite number?
False
Let k be ((-4)/(-8))/((-3)/(-102)). Suppose -5*l + 82 + 42 = 2*a, -l = 3*a - k. Is l composite?
True
Let q(u) = 1478*u + 17. Is q(2) composite?
True
Suppose -15*h - 830 = -17*h. Is h composite?
True
Is 2 + 2 + (1678*-3)/(-2) a prime number?
True
Let c(h) be the first derivative of 3/2*h**2 + h + 2. Is c(12) a composite number?
False
Let r(d) = 3*d**2 - 4*d. Let a be r(3). Suppose -a - 23 = -2*g. Is g prime?
True
Let q = 425 - 802. Is 2 + -1 - -3 - q prime?
False
Suppose 2*z - 6682 = -4*b, -5*b + 7136 = -2*z - 1221. Is b prime?
False
Suppose -2*o = 4*c, 0 = -5*o - 2*c - 2*c + 18. Suppose 0 = 2*q + 3*l + 875 - 253, -o = 3*l. Let s = 451 + q. Is s prime?
False
Is (23860/40)/((5/(-6))/(-5)) prime?
False
Let g(k) = 64*k**2 + 2*k - 1. Let y be 1*(-3)/9*-3. Suppose 1 + y = 2*j. Is g(j) a composite number?
True
Suppose -45 = -5*w - 0*w. Let i = w - 15. Let a(f) = -f**3 - 6*f**2 - 7*f - 9. Is a(i) composite?
True
Let w = 0 + 2. Suppose w*t + 8 = 126. Is t composite?
False
Let m(t) = -t**3 - 4*t**2 - 4*t - 5. Is m(-4) a composite number?
False
Is 269 + -2 - (7 + -5) composite?
True
Let n = -740 - -1389. Is n prime?
False
Suppose 63 = 3*d - 144. Is d composite?
True
Let q(f) be the third derivative of f**6/120 - f**5/12 - f**4/24 + 7*f**3/6 - 4*f**2. Is q(6) a prime number?
True
Suppose 4*a + 4*x - 3576 = 0, -3*a = 2*x - 0*x - 2683. Is a a composite number?
True
Suppose 12*l - 29220 = -8*l. Is l a prime number?
False
Let u be 2/3*15/10. Let j(w) = 65*w**3. Is j(u) a prime number?
False
Is (-2050 - 12/4)*-1 a prime number?
True
Let h(v) = -1073*v - 6. Is h(-1) composite?
True
Suppose 5*u + 9 + 11 = 0. Is 1*14*(-106)/u prime?
False
Let s(w) = 106*w**3 - 2*w**2 + w. Let q be s(1). Suppose -h - 2 = -3*b + 3, 0 = -2*b - h + 10. Suppose -b*o + q = -6. Is o a composite number?
False
Let n be 6*(-3)/(-12)*2. Suppose 2*h + 2*w - 10 = 0, 0*h = 3*h - n*w - 33. Suppose -5*x - 4*i + 103 = 0, 0*x + 5*i = -x + h. Is x a prime number?
True
Is (-1)/((-4 - (-1518)/381)/2) a composite number?
False
Let l = 1352 + -285. Is l composite?
True
Suppose 3*w = 1 + 11. Suppose 126 = 2*j - 5*q, -5*j + w*q + 269 = 3*q. Is j a composite number?
False
Suppose -2*z = 3*z + 45. Let r be (-3)/(z/276*-2). Is -1 + (-1*2 - r) composite?
False
Let y = 23 - 12. Suppose x = -n + 3, y = 3*n + 2*x + 2. Suppose n*t - 82 - 29 = 0. Is t a composite number?
False
Let n(m) = -22*m. Let j be n(3). Let w be (-1)/4 - j/8. Suppose 0 = -5*u + 62 + w. Is u prime?
False
Let r(v) = 12*v + 14. Let h be r(-5). Let y(p) = p**2 + p + 7. Let z be y(7). Let x = z - h. Is x a composite number?
False
Let g be 1/2 + 345/(-10). Let x = 65 + g. Is x a composite number?
False
Suppose -5*s - 8 = -33. Suppose -s*m - v + 543 = 0, -2*m + 249 = -2*v + 27. Is m composite?
False
Let j(y) be the second derivative of -y**5/20 - 5*y**4/12 - y**3/3 + 5*y**2/2 + y. Suppose 0 = 3*l - 12, 0*l - 3*l = -2*g - 24. Is j(g) a composite number?
False
Let c(s) = 3*s - 6*s + 2*s + 10. Is c(-11) prime?
False
Let n(s) = -6*s**2 + 11*s + 4. Let v(k) = 5*k**2 - 10*k - 3. Let c(w) = 3*n(w) + 4*v(w). Is c(-5) a composite number?
True
Let r = 238 + -111. Let o = r - 74. Is o composite?
False
Let g(p) = p**3 - 14*p**2 + 12*p - 16. Let a be g(13). Let u = 28 - a. Is u prime?
False
Let f(t) = t**3 - 5*t**2 - t + 4. Let d be f(5). Is 77*(1 + 1 + d) a composite number?
True
Let d = 2 + 0. Let b be 53 + -2 - (d - 3). Suppose b - 15 = f. Is f a prime number?
True
Is 923 + (-8)/4 + 0 a prime number?
False
Let b be ((-5103)/6)/(2/(-4)). Suppose -2*y + y = -4*v - 1, -3 = -3*v. Suppose y*k + 186 = b. Is k prime?
False
Suppose 50 = 4*d + 5*p - 191, 0 = -2*d + 4*p + 114. Is d composite?
False
Let p(u) = 29*u - 3. Is p(4) a prime number?
True
Suppose 8 = -4*o, -5*v + o + 1623 + 244 = 0. Suppose -v - 34 = -c. Is c a prime number?
False
Suppose 289 = -4*j + 93. Let o be (-18)/8 + (-2)/(-8). Is o - (1 + j - 1) a composite number?
False
Let r(a) = 13*a**2 + 2*a + 29. Is r(-6) prime?
False
Let g be (-12)/(-20) - (-8)/(-5). Let n be g - 2*(-69)/(-6). Let q = n + 43. Is q a prime number?
True
Suppose -541 + 95 = -2*c. Is c composite?
False
Let f(p) = -p**3 + 6*p**2 + 4. Suppose 5*d + 72 = -2*o, 3*o + 46 = -3*d - o. Let h be (-46)/d + 4/(-14). Is f(h) a composite number?
False
Suppose 0 = -0*p + 5*p - 20. Let f(v) be the third derivative of 25*v**4/24 - v**3/2 - v**2. Is f(p) a composite number?
False
Suppose -11 = -2*d - 3. Suppose -155 = -v - d*v. Is (1 - 1) + v - 0 a composite number?
False
Let s = 5 - 9. Let i = s + 11. Let o(p) = p**2 - 4*p - 8. Is o(i) a composite number?
False
Let n be (-1)/2 - 510/(-12). Let o = n + -13. Suppose 2*v - 111 = -3*g - v, g = 3*v + o. Is g composite?
True
Let v = 2 - -3. Let p be -1 - v*3*-5. Is (-1 - -2)*(p + -3) a prime number?
True
Let j(c) be the first derivative of -c**4/2 - 8*c**3/3 - 9*c**2/2 - 7*c - 2. Is j(-6) prime?
True
Let s(r) = r**2 + 6*r + 2. Let x be s(-6). Suppose a = -x*m + 2, -3*m = -a - 3 + 5. Is 36 + 2 - (1 - m) a prime number?
True
Let j = 4 - 0. Suppose -7 = j*r - 35. Is r composite?
False
Let y be 0/((-1)/3*-3). Suppose y = -n - n. Suppose -4*u + 372 + 152 = n. Is u composite?
False
Let k be ((-1)/3)/(3/(-189)). Is (-3)/(1*(-9)/k) a composite number?
False
Suppose -429 = 2*b + 171. Let f = 463 + b. Is f prime?
True
Suppose -14*m + 20*m = 4458. Is m a composite number?
False
Suppose -13397 = -4*o + 5*l - 0*l, -4*o + 13403 = -3*l. Is o composite?
True
Let x(f) be the third derivative of -2*f**6/15 - f**3/6 - f**2. Is x(-2) composite?
False
Let j = -1669 + 3638. Is j a prime number?
False
Let f(w) be the first derivative of w**3/3 - 3*w**2/2 - w + 3. Let m be f(4). Suppose -l + 3*c + 0 = -5, 2*c = m*l - 36. Is l prime?
False
Let r(c) = -c**3 - c - 1. Let k(s) = -5*s**3 - 10*s**2 - 22*s - 9. Let q(y) = k(y) - 6*r(y). Is q(12) prime?
False
Let i = 965 + 122. Is i a prime number?
True
Suppose 2*s + m - 50 = 0, -4*s + 119 = -3*m + 9. Let i(a) = 4*a**2 + 2*a + 1. Let n be i(-1). Suppose n*t = 2*t + s. Is t composite?
True
Suppose 2*x + 0 = 6, 4*h - 10 = 2*x. Let y(s) = 5*s + 2. Is y(h) composite?
True
Is 7/((-21)/(-16146)) + 0 + -1 composite?
False
Suppose 2*f - 22 = 2*r + 2*r, -2*f - 5*r + 40 = 0. Is f*(-3 + (-16)/(-4)) a prime number?
False
Let u = -101 + 178. Is u a prime number?
False
Suppose -11*v = -6*v - 445. Is v a prime number?
True
Suppose 5*q - 70 = -0*q. Is 4/(-7) + 9822/q composite?
False
Let l be (2/(-3))/((-10)/1425). Let w(z) = -z - 1. Let i be w(-1). Suppose l = 5*h - i*h. Is h composite?
False
Let c be 3/(-18) + 62/12. Suppose -185 = -4*p - r - 44, -100 = -3*p + c*r. Is p composite?
True
Let q be 245/3 - (-2)/(-3). Suppose 2*w - q = 197. Is w prime?
True
Suppose -i + 0*i + 22 = 0. Is (-2255)/i*(-6)/5 a prime number?
False
Let a be 29/5 + 5/25. Let q(y) = y**2 - 3*y - 3. Is q(a) a composite number?
True
Let t be (-32)/6*(-9)/3. Let q be 4 - 3/(9/21). Let i = t - q. Is i composite?
False
Suppose 0 = 5*h - 9 - 21. Let z be (9/h)/(6