e?
False
Let z(b) = 11*b - 8. Let h be ((-3)/(9/(-24)))/2. Let l(o) = 11*o - 7. Let p(r) = h*z(r) - 5*l(r). Is p(-4) composite?
False
Let h = 56 - -1685. Is h composite?
False
Is (4479 - 1/((-4)/16)) + 4 composite?
True
Let b be ((-16)/(-20))/((-6)/(-105)). Let w = b + -7. Is w prime?
True
Let m = 5 - 3. Suppose -22 - 40 = -m*x. Is x a composite number?
False
Suppose -p = -10 + 2. Suppose -6*o - 46 = -p*o. Is o a prime number?
True
Let d = -8 + 11. Suppose 4*p = -5*j + 257, 3*j - d*p = 83 + 55. Is j composite?
True
Let a be 96 + 0 + -3 + 2. Suppose x + 4*x - a = 0. Is x composite?
False
Let v = -21 - -244. Is v composite?
False
Is (-2646)/(-8) - 5/(-20) a composite number?
False
Let w = -4 + 6. Let s(p) = 13*p**2 + 3*p - 3. Is s(w) a composite number?
True
Suppose -2*g + g + 4*f + 6 = 0, 0 = g + 2*f. Suppose -2*j = g*j + 24. Is 4/j*5*-3 a composite number?
True
Let c(n) = -5*n**3 - 4*n**2 + 4*n. Let a(y) = -y**3 + 1. Let k(q) = -3*a(q) + c(q). Is k(-5) prime?
True
Let h(n) = n**2 + 4*n - 8. Let c be h(-6). Suppose f - 675 = -2*g, -3*g + 684 = -3*f + 2664. Suppose c*t = -t + f. Is t prime?
False
Let t(p) = p**2 + 4*p - 9. Let x be t(-7). Is (-1 - 2 - -1) + x composite?
True
Suppose -3 = 4*b - 11. Suppose 0 = 2*c + k + 1 - 37, -68 = -5*c + 3*k. Suppose -b*f + c = 4. Is f a prime number?
False
Let g be (-3)/6 - 3/6. Is (g/4)/((-3)/1356) a prime number?
True
Is 614/4*(-12)/(-6) prime?
True
Let c(y) = y - 6*y + 3*y - 9*y. Is c(-1) a prime number?
True
Let l = -91 - -183. Suppose 863 = 3*q + l. Is q composite?
False
Let t = -7 - -13. Suppose -t*z + z = -20. Let a(q) = q + 3. Is a(z) a composite number?
False
Suppose -3*z + 2*t - 821 + 4061 = 0, 3*z + t = 3249. Is z prime?
False
Let f = 2 + 1. Suppose -z = -f*z - 4*b + 20, 4*b - 10 = 3*z. Is 1/(z/188*2) prime?
True
Let q = -3 + 6. Suppose -3*c = 103 - 361. Suppose -t - c = -q*t. Is t a composite number?
False
Let i(r) = -r**2 + 10*r - 7. Let a be i(9). Let b(z) = 7*z - 3*z**a + 3*z**2 - 4 - z**2. Is b(6) composite?
False
Suppose -10*d = -7*d - 1527. Is d a prime number?
True
Suppose 0 = -m - 4*m + 4690. Suppose 4*b - 290 = m. Is b composite?
False
Let w(p) = -34*p - 9. Let v be 10/1*4/(-10). Is w(v) prime?
True
Let v(t) = 16*t + 31. Is v(10) composite?
False
Let k(s) be the first derivative of s**4/4 - 7*s**3/3 + s**2 - s + 2. Is k(7) prime?
True
Suppose -7*p + 240 = -3*p. Suppose -4*i = 5*o - p, -4 = o - 3*i + 3. Is (-2)/o - (-1902)/24 composite?
False
Let c = -18 + 11. Let k(q) = q + 1. Let l(s) = -s**2 - 8*s - 5. Let b(d) = -2*k(d) - l(d). Is b(c) composite?
True
Let s = 90 + -44. Suppose 5*k = -2*d + 25, -2*d - 3*d + 28 = k. Suppose k*p = s + 23. Is p prime?
True
Suppose -2*p + 11 = 4*f - 5*p, -2*p = 2. Let t(y) = -6 - y**3 + 2*y**2 + f*y**2 - 5*y - 8*y**2. Is t(-4) a prime number?
False
Let j(o) = -o**3 + 10*o**2 - 10*o + 12. Let s be j(9). Let x(l) = 3*l**3 + l**2 - 5*l + 2. Is x(s) a composite number?
True
Let v(g) = 2*g - 9. Let n be v(7). Let d be 2/n - 28/(-5). Suppose d*m - m - 5 = 0, 2*m = 3*c - 55. Is c composite?
False
Let i(d) = 2*d + 3. Is i(6) a prime number?
False
Let s be 0 + 10*(-3)/(-6). Suppose -s*t + 9*t = 836. Is t a prime number?
False
Suppose 3*n - 3*g = 222, 4*g - 7*g = 5*n - 378. Let c = 30 - n. Is c/(-2) - (-2)/4 a composite number?
False
Suppose 4*q - 380 = -64. Is q composite?
False
Let y(d) = -84*d - 5. Is y(-6) a composite number?
False
Suppose 0 = 2*x + 3*x. Suppose x = 6*h - h + 185. Let b = h - -114. Is b a prime number?
False
Let j = 2991 + -2032. Is j composite?
True
Let y be (0/(-2))/((-1)/1). Suppose -w = -3*w - 4*c + 326, 4*w + 5*c - 649 = y. Is w a composite number?
True
Let l be (-1)/2*(-9 + -3). Let m be 30/7 - l/21. Suppose -3*y - 3*i + 121 = -116, 0 = -m*y - 3*i + 316. Is y prime?
True
Let i(m) = -m**3 + m**2 + m + 105. Let q(y) = y - 7. Let o be q(7). Let u be i(o). Suppose n - 25 = -c, -u = -5*c + 5*n + 20. Is c a composite number?
True
Is (-1)/4 + (-3015)/(-12) prime?
True
Let s(f) = -73*f + 9. Is s(-4) a composite number?
True
Suppose 2*m + 3 = -1. Is ((-1)/(-2))/(m/(-84)) composite?
True
Let b(s) be the third derivative of 149*s**5/60 - 3*s**2. Is b(-1) a composite number?
False
Let f(y) = 6*y**2 + 9*y - 19. Is f(-12) prime?
False
Suppose 0 = -u - 4*g + 759, 3*g - 5 - 4 = 0. Suppose c - 210 - 236 = -3*h, -2*c - u = -5*h. Is h a composite number?
False
Is -262*(0 + (-2)/4) a prime number?
True
Is (2/(-6))/(2/(-1758)) a prime number?
True
Let x(p) = 83*p**2 + 5*p - 9. Is x(-6) a composite number?
True
Let x(d) = 9*d**2. Let r be x(-2). Let n be ((-1544)/12)/(-2 - 8/(-6)). Let c = n - r. Is c a composite number?
False
Suppose -2*r - 225 = -5*x, -5*r - 675 + 121 = -4*x. Is (1 + 1)/((-4)/r) a prime number?
False
Is (1/2)/(((-9)/(-34326))/1) a prime number?
True
Let q = 16 - -56. Let k = q - -21. Suppose -2*a - a + k = 0. Is a composite?
False
Suppose -2*x - 15 = x. Let g(c) = -2*c**2 - 5*c - 13. Let i(j) = 3*j**2 + 10*j + 26. Let z(l) = x*g(l) - 3*i(l). Is z(11) a prime number?
True
Is 1 + (-1 - (-636 - -3)) composite?
True
Let m(c) = -35*c**3 - c**2 + 1. Let o be (-2)/6 + 5/(-3). Let a = -3 - o. Is m(a) a composite number?
True
Let b(u) = u**2. Let x(c) = 3*c**3 + 2*c**2 - 3*c - 1. Let y(l) = -6*b(l) + x(l). Suppose -q - q + 2*s + 18 = 0, s = -3*q + 7. Is y(q) a composite number?
True
Suppose -w + d = -63, 0 = 5*w + 2*d - 0*d - 322. Let n be ((-9)/6)/((-2)/4). Suppose w + n = u. Is u composite?
False
Let u be (9/6)/((-6)/(-28)). Let n = u + -3. Suppose 2*j = n*l - 2*l + 180, 0 = -4*j + 3*l + 361. Is j a prime number?
False
Suppose 62 = 2*r + 4*z, r - 4*z + 0*z - 61 = 0. Suppose -3*k + r = -145. Is k prime?
False
Suppose -3*i - 354 = -5*i. Is i prime?
False
Is 9 + -7 - 60/((-6)/2) a prime number?
False
Suppose 515 = -2*c + 1597. Is c composite?
False
Is 3/(-2)*(-1480)/12 a composite number?
True
Let x be (-1)/(-4) + (-1)/4. Let b(g) = -g**3 + g**2 + 22. Let j be b(x). Suppose 3*w = 4*n + 337, -w - 5*n = -103 - j. Is w a composite number?
True
Let w(z) = -z + 8. Let g be w(6). Suppose -g*q + 2*d + d + 119 = 0, -2*q - 3*d = -101. Suppose 5*m = -0 + q. Is m a prime number?
True
Let o = -957 + 2229. Suppose 4*w = -108 + o. Is w composite?
True
Suppose -f + 52 + 279 = 0. Is f a prime number?
True
Let l(j) = 10*j**2 - 5*j + 1. Is l(6) composite?
False
Let h be (-2)/(-1)*108/2. Let d = h + 41. Is d prime?
True
Suppose 2*q + 9 = -7. Is (3 + (-686)/q)*4 composite?
True
Let r(k) = 23*k + 2. Is r(13) composite?
True
Let d(v) = -35*v**2 + 3*v - 29. Let f(h) = 12*h**2 - h + 10. Let l(i) = -6*d(i) - 17*f(i). Is l(3) a composite number?
True
Let y = 97 - 22. Suppose h - y = -4*h. Is h prime?
False
Let l(u) be the second derivative of u**4/12 - u**2/2 - u. Let s be l(-1). Suppose 4*k - 3*a = 476, s*a = 4*a. Is k a composite number?
True
Let a(j) = 4*j**2 - 20*j + 23. Is a(19) prime?
True
Suppose d + 4 = -6*j + 3*j, -d = j - 2. Let l be 5*(172/d + 1). Suppose 2*m = h + l, -m - 2*h + 94 = -7. Is m a composite number?
True
Suppose 0 = -t - 22 - 26. Let l = -13 - t. Is l a composite number?
True
Suppose -29 + 17 = -6*n. Suppose -2*m + 22 = -0*m. Suppose 0 = -n*f + 39 + m. Is f a prime number?
False
Let y = -178 + 257. Is y prime?
True
Let b(m) be the second derivative of m**5/20 - m**2/2 + 3*m. Let k(q) = q**3 - 7*q**2 - q + 5. Let r(o) = -2*b(o) + k(o). Is r(-7) a composite number?
True
Let d(c) be the first derivative of -c**4/4 + c**3/3 - 1. Let b be d(1). Is 7 - (b + -2*1) composite?
True
Let c(z) = -z**2 - 55*z - 59. Is c(-26) composite?
True
Suppose 3*v = -v. Suppose 3*j - 7 - 2 = v. Suppose 2*z = j*z - 15. Is z prime?
False
Suppose -5*w = v + v - 953, 0 = -3*w - 4*v + 569. Is w prime?
True
Let p(y) = -y + 2. Let o be p(-2). Let g(r) be the third derivative of -r**6/120 + 7*r**5/60 - r**4/8 - r**3/6 - r**2. Is g(o) a prime number?
False
Let l = -219 - -133. Let j = l - -148. Is j a prime number?
False
Let s = 776 - 491. Suppose -5*t = -0*t - s. Is t prime?
False
Let z be (0 - -3)*(1 + 0). Suppose z*k = 2*k + 2. Is 15/12*k*22 a composite number?
True
Suppose 13*y - 8*y - 1895 = 0. Is y a prime number?
True
Let w = -504 - -1157. Is w prime?
True
Let x(t) = t**3 + 8*t**2 + 3. Let a = -20 - -12. Let i be x(a). Suppose 308 = i*l + l. Is l a prime number?
False
Let j = 