ose -4*l + 3 + 4 = a, -2*a + 2 = 4*l. Let m = 14 + a. Let y(j) = -j**3 + 16*j**2 + 2*j + 1. Is y(m) a composite number?
True
Let m = -84 - -85. Is -1574*(m/(-6))/(8/24) a composite number?
False
Suppose -3*i = 3*h - 10794, -3*i + 7231 = -i - 5*h. Is i a composite number?
True
Is 26506/14 - -4*(-4)/56 a prime number?
False
Let b = -3169 - -7370. Is b prime?
True
Let a = 2058 - 884. Let z = a + -543. Is z composite?
False
Suppose 2770 = -4*i + 6*i. Is i a composite number?
True
Suppose 0 = 2*i - 4*f - 2 - 0, -2*i + f + 2 = 0. Is (210 + 5)/(i/1) composite?
True
Let r(d) = 290*d - 80. Let s(x) = 96*x - 27. Let k(f) = 4*r(f) - 11*s(f). Is k(21) prime?
True
Let b(w) = 23*w**2 + 73*w + 31. Is b(36) composite?
False
Suppose 4*c + 5*d - 53748 = c, 2*c + 2*d - 35836 = 0. Is c a composite number?
False
Suppose 0 = 3*q + 2*q. Suppose -4*m - 4*n + 861 + 1111 = 0, m - 2*n - 487 = q. Is m a composite number?
False
Let a be (4 - -1) + -1 + -2. Let t be (0 - -1) + a - 5. Is (-5 - -3) + t + 101 a prime number?
True
Let u = -462 + 909. Let g(r) = r**2 - 4*r + 46. Let a be g(19). Suppose -u = -3*o - o - 3*t, 3*o = 2*t + a. Is o a composite number?
True
Let x be 6/5*(-500)/(-15). Let w(o) = x + 175 + 54 + o**2. Is w(0) a composite number?
False
Let q be 30/(10/(-2))*(-2)/6. Suppose 10 - 96 = -q*d. Is d a composite number?
False
Suppose -u - 3*u + 16 = 0. Suppose -u*t = -77 - 183. Let x = -46 + t. Is x prime?
True
Let x(u) = 2*u - 45. Let k be x(22). Is (-41 + -12)*(-29)/(k - -2) prime?
False
Is -6687*(-40)/15 - (2 + 3) a composite number?
False
Let v(n) = 2*n - 25. Let r be v(15). Suppose -y + 1542 = r*y. Is y a prime number?
True
Suppose 12*v - 9108 = 27336. Is v prime?
True
Let s(w) be the third derivative of 67*w**4/24 + 4*w**3/3 - 2*w**2. Is s(9) a prime number?
False
Suppose 0 = -2*j + 4*c - 10, -j = -0*j + 3*c - 20. Let q = j - 3. Suppose -q*w + 5*w = 147. Is w a composite number?
True
Let a = 160 - 292. Is (a/10)/3*-5 a prime number?
False
Let j(x) = 30*x**3 - 2*x**2 - x - 4. Suppose -4 = -3*k + 5*v, v + 3*v - 19 = -5*k. Is j(k) prime?
False
Suppose 4*t - 32 = 104. Let m = 65 - t. Is m a prime number?
True
Suppose -1 = -4*c - 4*r - 33, 0 = 2*c - 3*r + 11. Let y = 13 + c. Let p(i) = 2*i**3 - 8*i**2 - i - 11. Is p(y) prime?
True
Let a(d) = 4*d**2 + 23*d - 2. Let j be a(-6). Suppose j*y - 6794 = g - 3*g, y - 3399 = -g. Is g prime?
False
Let m(j) = -j + 17. Let l be m(13). Let k(d) = 7*d**2 + 9*d + 1. Is k(l) a prime number?
True
Let i(r) be the first derivative of -7*r**2/2 + 1. Suppose -d - 2*y = -11 + 26, -d + y = 0. Is i(d) a prime number?
False
Let p(n) be the third derivative of 19/2*n**3 + 1/60*n**5 + 0*n + 1/24*n**4 + 0 - 5*n**2. Is p(0) prime?
False
Suppose 0 = -77*t + 71*t + 12462. Is t a composite number?
True
Let w(n) be the first derivative of -5*n**4/8 + n**3/6 + 2*n**2 + 2. Let h(t) be the second derivative of w(t). Is h(-7) prime?
False
Let q(s) = 65*s - 1123. Is q(34) prime?
True
Let u(g) be the third derivative of -53*g**6/40 + g**5/60 - g**4/12 + 3*g**2. Let s be u(-2). Suppose 4*n - 2*o = s, 0*n + 1601 = 5*n - 3*o. Is n prime?
False
Let f(g) = -2*g**3 - 3*g**2 + 5*g + 14. Let c be f(-6). Suppose -5*r + c = -r. Is -6*(r/(-2))/7 a composite number?
True
Suppose 2993 = 4*g - 2707. Suppose -2*w = -g + 139. Suppose 5*d = 3*f + 556, -197 = 4*d - 2*f - w. Is d a composite number?
False
Suppose -4*l = 5*h - 50, l = 3*h - 2*l - 3. Let k(u) = -1 + 5 - h + 2*u - u + 124*u**2. Is k(1) composite?
True
Let f(d) = 675*d - 3. Let n be f(1). Let o = -355 + n. Is o a prime number?
True
Let x(g) = 231*g**2 - 1. Let i be x(-2). Let a = i + -592. Is a a composite number?
False
Let v = -14104 - -25343. Is v composite?
False
Let f(c) = 11*c - 113. Let h be f(10). Let d be (1 + 3/(-5))*20. Let k = d - h. Is k prime?
True
Let k be (-8 + 9)*(4 + -1). Suppose 2*b + 0*b - 12 = -4*a, 12 = 3*b + 4*a. Suppose b = i + 3*v - 177, i + 5*v = -k*i + 708. Is i a prime number?
False
Let q(g) be the first derivative of -15*g**2 + 31*g - 10. Is q(-6) prime?
True
Let i(f) = 52658*f**2 - 12*f - 3. Is i(-1) a composite number?
False
Let r be ((-12)/36)/((-2)/(-78)). Let i = -14 - r. Is (i - 733)*3/(-6) prime?
True
Let k(x) = -3*x - 1. Let q(w) = 16*w + 6. Let r be 84/8 + (-1)/(-2). Let y(m) = r*k(m) + 2*q(m). Is y(-1) a composite number?
False
Suppose -2*v = 13*v - 1484835. Is v a prime number?
False
Suppose 0 = w + 14*w - 156405. Is w prime?
True
Suppose p = -4*h - 105, -5*h - 3*p + p = 129. Is 3*-3*4101/h a composite number?
False
Suppose -j - 1 = 2, -5*t = -j - 40953. Suppose 3*v - n - 6298 = 0, 3*v - 4*n = t - 1889. Is v composite?
False
Suppose -905 = -5*w + 3*u, 0*w = -4*w + 3*u + 721. Suppose 3*y = 682 - w. Is y a composite number?
True
Let q = 7077 - -3553. Suppose 2*w - q = 3*w. Is w/(-26) + 8/52 a prime number?
True
Suppose 0 = -2*l + 2*t + t + 11, 3*l = 3*t + 15. Is (-6 - 320/(-24))/(l/6) a composite number?
False
Let h be -3 - (-24)/((-16)/(-4)). Suppose -t + 46 = 6*c - c, h*t - 21 = -2*c. Is 340/c - (-4)/18 a composite number?
True
Suppose 0 = 12*y - 93868 - 8144. Is y a prime number?
True
Let t = -39 - -38. Let i = 30 - 143. Is ((2 + i)/3)/t prime?
True
Let z = -7 - -11. Suppose 713 = -4*m - 2*n + 2469, n = z*m - 1744. Is m a prime number?
False
Suppose -4088 = -0*o - 2*o. Suppose 16*z + o = 20*z. Is z a prime number?
False
Suppose 0*j + 23164 = 4*j + 4*h, 23179 = 4*j - h. Is j composite?
True
Let m(c) = 63*c**3 - 21*c**2 + 10*c - 23. Is m(7) a composite number?
False
Is (-42)/(-273) - 14961/(-13) composite?
False
Suppose -3*y + 383996 = 11*k - 4*y, 5*k + 5*y - 174560 = 0. Is k prime?
False
Let p = -11038 - -27983. Is p a composite number?
True
Suppose 0 = -0*d - 3*d + 420. Let i = 219 + d. Is i composite?
False
Suppose 831 = 5*w - 784. Is w prime?
False
Let f be (-32)/24*18/4. Let b(z) = 6*z**2 - 13*z + 4. Is b(f) composite?
True
Let k(q) = 2 + q**3 + 1 - 2*q**2 + 0 + 3. Let m be 3*2 + (-1 - -2). Is k(m) composite?
False
Is (-1431)/54*1/((-3)/474) composite?
True
Let y = -51 - -57. Let l = 2 + 1. Is (-262)/l*y/(-4) a composite number?
False
Suppose 5*z - 20 = 5*x, 2*x = 6*x. Is 382/(-8)*-5*z prime?
False
Is (88 + 13)/(2/10) composite?
True
Let c be 15124/(-10) - 12/(-30). Let x be (-10 + c)*(-3)/(-2). Is (3 - 0)*x/(-9) a composite number?
False
Let s = 23 - 19. Suppose 2*t - 54 = 4*o, 20 + 0 = s*o. Is t a prime number?
True
Let n(x) = -206*x - 1. Let s(y) = y**2 - 5*y + 4. Let h be s(4). Suppose 2*p - 5 = -5*k - h, 0 = -k - 5*p + 24. Is n(k) prime?
False
Let w(y) = -y**3 + y. Let k(t) = 188*t**3 - 2*t - 1. Let i(u) = k(u) + 2*w(u). Is i(1) a composite number?
True
Suppose 2*t - 645259 = -17*t. Is t prime?
True
Let j = 612 - -1561. Is j prime?
False
Suppose 3*r + 2*r = 4*s + 6781, -4*s = -4. Is r a composite number?
True
Let i = 158 + 89. Suppose -m + 48 = w - 2*w, i = 5*m + 2*w. Let n = 248 - m. Is n a composite number?
False
Suppose 6*l - 2*l - 16 = 0. Suppose -l*y = 0, 3*y = 4*w - w + 6. Is 3 + 46 - -2 - w a prime number?
True
Let i be (2653/28)/(51/24 - 2). Suppose 2*g - i = -0*g. Is g composite?
False
Let r(j) = -j + 15. Let o be r(21). Let k(x) = -103*x + 15. Let u(q) = -1. Let c(d) = k(d) - 2*u(d). Is c(o) composite?
True
Let r(u) be the third derivative of -29*u**4/8 - u**3/6 + 9*u**2. Is r(-4) a composite number?
False
Suppose -4*q - 11 = 3*c, 4*q + c + 2 = 1. Let z be q/3 - 10/(-6). Suppose -5*a = 0, s = -z*s - 2*a + 2127. Is s composite?
False
Suppose -5*x + 19 = -3*h, x + 3*x - 3*h - 17 = 0. Suppose -4*m = -2*c + 2, x*c - 3*m - 2 = 1. Suppose -c*z + 6*z = 345. Is z composite?
True
Let s = -70 - -69. Is (s - -2)*1*(-6 - -155) a prime number?
True
Let y be (0 + -6)/(12 - 14). Suppose -2*t + y*t = 118. Is t prime?
False
Let h be 1*(-3 - -1 - 9). Let p(t) = t + 15. Let u be p(h). Is u/5*1290/12 prime?
False
Let h(l) = l**2 - 2*l - 17. Suppose 7*s - 18 = -67. Is h(s) a composite number?
True
Let s = 0 + 0. Suppose 0 = -5*x - 3*b, s = 4*x + x - 3*b. Suppose x = -4*y + 301 - 73. Is y prime?
False
Let u = 26289 + -11128. Is u a prime number?
True
Suppose -3*v = -5*y - 27, -v = 2*v - 3*y - 21. Suppose 5*d - v*k - 331 = 0, 2*k = -7*d + 4*d + 203. Is d prime?
True
Let d(s) = -s**2 - 3*s. Let y be d(-5). Let g(f) be the third derivative of -5*f**4/24 + f**3/6 + 10*