2 + x + 1. Let s be j(-1). Is (-13)/(-2) - s/(-2) a prime number?
True
Let b = -1228 + 2883. Is b a prime number?
False
Suppose 3*p - 3*n - 1905 = 0, 8*p + 5*n = 6*p + 1270. Is p prime?
False
Suppose 1207 = 4*y - 21. Is y composite?
False
Let p(w) = -11*w - 1. Let r be p(-2). Suppose 0 = -5*j - 2*i - r, 4*i + 0 = 8. Is j*(-1*6)/3 a prime number?
False
Suppose -44 = q + 3*q. Let s(r) = r**2 - 7*r - 7. Is s(q) a composite number?
False
Let z = -134 + 1823. Is z a composite number?
True
Let y(t) = -48*t - 1. Is y(-4) composite?
False
Suppose 3*s + 10 = -11. Let b = s - -84. Let j = b + -46. Is j composite?
False
Suppose -942 = 4*t - 2594. Is t a prime number?
False
Suppose -2*p = -5*z + 3*z - 740, 5*z + 737 = 2*p. Is p a prime number?
False
Let k be -8*(33/(-12) - -2). Suppose -k*y = -5*y - 43. Is y a prime number?
True
Let h(t) be the third derivative of -3*t**4/8 + 7*t**3/6 - 2*t**2. Is h(-3) a composite number?
True
Let c(n) = n**3 + 8*n**2 + 4*n + 8. Let t be c(-7). Let p = 86 - t. Is p a prime number?
False
Let j = -29 + -24. Let y = j - -198. Is y prime?
False
Is -3*(1743/(-9) - 0) a prime number?
False
Suppose 5 = 2*f - 17. Is f composite?
False
Suppose g = 5*l - 21 + 5, -2*g + 8 = 0. Suppose 4*b - h = 185, 0 = l*b + 3*h - 237 + 56. Is b composite?
True
Suppose 3*z - 2*t = -0*t + 211, -z + 3*t + 61 = 0. Let l = z + -50. Is l a composite number?
False
Let m(j) be the second derivative of j**4/12 - j**3/3 + 3*j**2/2 + 2*j. Is m(4) a prime number?
True
Suppose 3*d + 59 = 530. Is d prime?
True
Let q(a) = 68*a - 13. Is q(10) prime?
False
Suppose 0 = -4*u - 9*o + 5*o + 5000, u - 1254 = -5*o. Is u composite?
False
Let s(n) = 4*n + 4. Suppose -5 = 4*b - 21. Let w be s(b). Suppose 3*c = c - z + w, 2*c = -2*z + 18. Is c prime?
True
Suppose -44 = -5*f - 19. Suppose 73 + 277 = f*j. Suppose b = -b + j. Is b prime?
False
Is -1 - 3/((-12)/632) composite?
False
Let t be 4/10 + (-92)/(-20). Suppose 0 = -3*x + 2*x + t. Suppose 2*z - 41 = -f, -x*z - 66 - 3 = -f. Is f composite?
True
Suppose -2*t = 5*j - 4*t + 20, 0 = -4*t + 20. Is j/(((-4)/(-97))/(-2)) a composite number?
False
Let u(l) be the first derivative of -l**3/3 - l**2/2 - 1. Let k be u(2). Is 93*-1*2/k a prime number?
True
Suppose 0*w + 5*x + 103 = 4*w, -w + 34 = -4*x. Suppose -g + 5 = 5*i + g, 4*i = 2*g + w. Suppose -i*k + 5*k - 5*l = -13, 0 = 4*l - 20. Is k composite?
True
Let i(m) = 1. Let g(t) = -2 + 1 - 10 - 2*t. Let r(k) = g(k) + 6*i(k). Is r(-6) prime?
True
Is (0 - -1)/((-1)/(-449)) composite?
False
Let g(h) = -110*h - 1. Let y be g(-6). Suppose 5*t + 4 = y. Is t a prime number?
True
Suppose 9*g = -5*g + 10514. Is g a composite number?
False
Suppose w - 51 = 140. Is w composite?
False
Suppose 0 = 5*x + 2*k - 1909, -5*x + 1078 = -2*k - 823. Suppose -2*s + x = s. Is s a composite number?
False
Suppose 243 - 13 = 2*g. Is g prime?
False
Let s be 1*(3 - 0) - 0. Suppose -2*o + s*b = -2*b - 934, b = 4. Suppose 0 = -5*m + 328 + o. Is m a prime number?
False
Let z be (-2)/(-5) + 165/25. Let r(u) = u**2 - 3*u + 7. Is r(z) a prime number?
False
Suppose 0*z = -3*a - 5*z + 9, 0 = -2*z. Suppose a*k = -0*k. Suppose k = -j - 3*g + 209, g - 1032 = -3*j - 373. Is j a prime number?
False
Let b(a) = a**2 + 2*a + 9. Let j(p) = p**2 + 11*p + 12. Let d be j(-9). Is b(d) composite?
True
Suppose a = 3*a - 410. Is a a prime number?
False
Let y(i) = 7*i**2. Let m be y(-1). Let h(q) be the first derivative of -q**4/4 + 10*q**3/3 - 9*q**2/2 - 5*q - 2. Is h(m) composite?
False
Let i = 6720 + -2329. Is i prime?
True
Let t(l) be the third derivative of 19*l**5/20 - l**4/24 + l**3/6 - 3*l**2. Is t(1) composite?
True
Let g = 6 + 12. Let t = 21 - g. Is t prime?
True
Let u(n) = n**2 - 4*n + 3. Let h(v) be the first derivative of -5*v**3/3 - v**2/2 - 1. Let z be h(-1). Is u(z) prime?
False
Let b(v) = v**2 + 5*v + 9. Let x be b(8). Is x*2 - 15/5 composite?
False
Let m = 1711 + -572. Is m a composite number?
True
Suppose -15*w + 18*w = 633. Is w a prime number?
True
Let k = -4 + 2. Let v = 2 - k. Suppose 2*t + v*f - 42 = 0, -5*f = 4*t - 3*t - 21. Is t composite?
True
Let d = 780 + -426. Suppose -3*g - 3*g + d = 0. Is g prime?
True
Suppose -5*z - 1148 + 2833 = 0. Is z composite?
False
Let u = -809 + 1438. Is u prime?
False
Let z(w) = 22*w**2 + 1. Is z(1) a composite number?
False
Suppose 0 = -0*v - 2*v - 16. Suppose -u + 2 + 1 = 0. Is v/u*-6 - 2 a prime number?
False
Suppose 24 = 2*j - 0*j. Let k = 22 - j. Is k a composite number?
True
Suppose -5*s + 0*s = -1495. Is s a prime number?
False
Let l = -4 - -43. Is l composite?
True
Suppose -3*c + 759 = 204. Is c a composite number?
True
Is 0 + -2 - (-5 - 334) a composite number?
False
Let u be 3/6 + 9/(-2). Let g(y) = 4*y**2 - 2*y - 5. Is g(u) composite?
False
Let z(l) = l**2 - 2*l + 5. Let y be ((-8)/10)/(4/30). Let i be z(y). Suppose -2*g + g = -i. Is g composite?
False
Let y be 22/4 - 4/(-8). Is (0 + -2)/(y/(-63)) composite?
True
Suppose -h = -2*k - 2*k + 139, -2*h = 6. Is (6/6)/(1/k) a prime number?
False
Let q = -512 - -1291. Is q a composite number?
True
Let p = -24 - -26. Suppose -5*s - 4*v + 1095 = -160, -4*s + 1004 = p*v. Is s a composite number?
False
Let z(h) = 8*h**2 + 27*h - 7. Is z(-6) a composite number?
True
Let d = 28 + -42. Let w = d - -41. Is (-6)/w + 634/18 a prime number?
False
Let i be (-2)/3 + 4335/9. Let z = -218 + -106. Let t = i + z. Is t prime?
True
Let d(r) = -r - 3. Let h be d(-4). Let v = h - -1. Is v/(-3)*(-66)/4 a composite number?
False
Let m = 637 + -348. Is m composite?
True
Suppose -7*b + 158 = -5*b. Is b composite?
False
Let n = -1 - -1. Suppose n*h = h - 69. Is h a composite number?
True
Let d be (-1)/(-1)*42/6. Let c(w) = -w**2 + 11*w - 6. Let m be c(d). Is (-3)/(1*(-3)/m) composite?
True
Let o(a) = 3*a**3 - 5*a**2 - 11*a + 16. Is o(5) composite?
False
Let j(g) = -g**3 + 13*g**2 + 4. Let z be j(13). Suppose z*h = 6*h - 74. Is h a composite number?
False
Suppose -4*n = 2*h - 10148 - 6566, 0 = 2*n + 3*h - 8363. Is n a composite number?
False
Suppose -1 = 5*z - 2*c, -3*z - 2*z + 1 = -3*c. Let u = -2 + z. Is (-98)/4*(u - -1) a composite number?
True
Suppose -4*q = -21 + 1, 3*q = -5*g + 3985. Is g a prime number?
False
Let y(s) = 2*s**3 - s**2 - s + 6. Let u(f) = 5*f**3 - f**2 - 3*f + 12. Let k(z) = 3*u(z) - 7*y(z). Let o = 0 + -4. Is k(o) a composite number?
False
Let c = -2 + -1. Let w be 2/2*3/c. Is w/(1 - (-532)/(-530)) composite?
True
Is 250/(-15)*-9 - 1 a prime number?
True
Suppose v - 3*m - 806 - 2205 = 0, 0 = 4*m - 8. Is v a composite number?
True
Suppose -222 - 16 = -2*w. Is w a prime number?
False
Let r = 7 + -4. Suppose r*t - 5*i + i = 24, 5*t + 5*i - 5 = 0. Suppose -c = t*c - 245. Is c prime?
False
Suppose -41 = 5*h - 1. Let q = h - -14. Let l(u) = 3*u - 8. Is l(q) a prime number?
False
Suppose 64 = 2*o + 3*d - 21, -120 = -2*o + 4*d. Suppose 4*j = -3*x + 78, -o = 2*j - 4*j + 4*x. Is j composite?
True
Suppose -3 = -3*t + 3*x, 2*t - 3*x - 3 = -4. Is (78/t)/(1/2) prime?
False
Is (-860)/(-28) + 6/21 composite?
False
Let y(h) = -h**2 - 10*h - 2. Let a be y(-10). Is (86 - -3)*(-2)/a prime?
True
Let p(w) = -10*w + 3. Let t = 5 - 10. Is p(t) composite?
False
Let d be 5 + 6*4/(-8). Suppose -d*j = -1323 - 247. Is j composite?
True
Let n = 6 + -5. Is (2 - n)*651/7 a prime number?
False
Suppose -4*v - y = -v - 584, 3*v - 3*y = 576. Is v a prime number?
False
Suppose n = -5*w - 22, -n + 2*w - 1 + 0 = 0. Let y = -11 - n. Is 1623/21 + y/14 composite?
True
Let x(o) = 11*o**2 + 2*o - 3. Let p be x(3). Let u = p + -59. Suppose 52 + u = 5*y. Is y composite?
False
Suppose 0 = -5*b + 4*b + 36. Suppose 3*y + 112 = f + b, -y = -2*f + 157. Is f prime?
True
Let h be (-30)/(-9) - 5/15. Let x(b) = 52*b + 1. Let u be x(4). Suppose 276 = -0*f + 4*f - 2*s, -h*f = -2*s - u. Is f a prime number?
True
Let j = 757 - 1318. Let p = -370 - j. Is p a composite number?
False
Let c(k) = -k**2 - 5*k + 1. Let g be c(-4). Suppose g*z + 63 = 453. Suppose 4*y + y + 4*l - 181 = 0, -2*y = -4*l - z. Is y a composite number?
False
Suppose -3930 = -2*c + 148. Is c prime?
True
Let v = 13 - -13. Let g = v - -9. Is g composite?
True
Let d be 1 - (2 - (4 - -1)). Suppose d*j = 4, -5*j + 157 = 3*o + o. Is o prime?
False
Let f = 375 - 142. Is f prime?
True
Let s(a) be the third derivative o