e?
True
Suppose 3*w + 3*n = 20567 + 24529, -1 = -n. Is w composite?
False
Let s = -55 - 986. Is (-1)/(-3)*s*(3 + -5) prime?
False
Let d be 4*(15/6 - 2). Is 2/(-4) - d/4*-1229 prime?
False
Let v(f) = -752*f - 234. Is v(-14) a composite number?
True
Suppose 4*b - 35 = -3*b. Suppose 61 = b*k - 3*f, -4*k - 3*f + 92 - 27 = 0. Is k a prime number?
False
Suppose -26*n + 22*n + 4664 = 0. Suppose 5*m - n = -l, -7*l + 2*l + 238 = m. Let r = -106 + m. Is r prime?
True
Suppose -4*q = -2*d + 1190, 2*q - 1749 = -3*d - q. Let t be 0/4 - d/(-1). Suppose 3*s + t = v - 0*s, 0 = -4*s. Is v composite?
False
Suppose 0 = 2*u - u + 4, -m = 3*u + 40. Let k = m + 25. Is 129 + 4*k/6 composite?
False
Let j(y) = 971*y**2 + 2*y + 43. Let a be j(-5). Suppose -l - 14586 = -3*p, -a = 4*p - 9*p + l. Is p a prime number?
True
Let z = -40 - 17. Let s = z - -154. Is s a composite number?
False
Let b(k) = -560*k + 171. Is b(-4) a composite number?
False
Let p(k) = k**3 + 13*k**2 - 14*k + 2. Let w be p(-14). Let y be (w + -3 - -1) + 6. Suppose y*n - 262 = -5*c + 3*n, -5*c = -2*n - 267. Is c composite?
False
Let i(g) = -268*g - 279. Is i(-7) prime?
True
Let p = 2880 + -311. Is p prime?
False
Let n(l) be the second derivative of -13*l**3/3 - l**2/2 + 20*l. Is n(-4) a prime number?
True
Is 2030/(-20)*4/(-2) composite?
True
Let s(g) = g**3 + 4*g**2 + g - 3. Let b be s(-3). Suppose -4*p - h = p - 31, -p + 19 = -b*h. Suppose -16 + 44 = p*x. Is x a composite number?
True
Let q = -2639 + 8802. Is q a prime number?
True
Let u = -93420 + 131183. Is u prime?
False
Let n be 86775/9 - 4/(-12). Suppose -2*r = 13738 + n. Is 2/(-4) + r/(-28) a composite number?
True
Let f(c) = -c**3 - 2*c**2 + c - 6. Let u be f(-3). Let t(h) = -h + 2. Let p be t(-3). Suppose u = 7*s - p*s - 134. Is s a prime number?
True
Let z(u) = 50*u**3 - 23*u**2 - 5*u - 23. Is z(9) a composite number?
False
Let s = -365 + 7724. Suppose -5*q + n + n + s = 0, 4*n = 3*q - 4421. Is q prime?
True
Is (41336/(-20))/((-6)/15) composite?
False
Let g = 246 - -1165. Suppose 4*x = -x - 5*v + 2310, -3*x + 2*v = -g. Is x composite?
False
Let t(u) = -4*u - 13. Suppose -12 = 3*r - 0*r. Let f be t(r). Is (2/f)/((-10)/(-2175)) a prime number?
False
Let i(v) be the third derivative of v**5/60 + v**4/3 + 5*v**3/6 - 2*v**2. Let n be i(-6). Let s = 17 + n. Is s composite?
True
Let u(y) = 62*y + 4. Suppose 7 = 2*z - 1. Let s be u(z). Let d = s - 163. Is d prime?
True
Let u be (3788/6 + 0)/((-42)/(-63)). Let j = -368 + u. Is j prime?
False
Suppose 17*a - 3514 = 60423. Is a composite?
False
Let f(s) = 2*s**3 - 9*s**2 - 6*s - 7. Let c be f(5). Is ((-69)/6)/(1 + 15/c) composite?
True
Let m be 3 - (-2 + 1)/(-1). Suppose -3*w + 670 = 3*z + z, -5*w + m*z = -1082. Let j = w + -91. Is j a prime number?
True
Let i(a) = a**3 - 4*a**2 - 6*a + 7. Let y be i(5). Suppose 3715 = y*k - 6951. Is k a composite number?
False
Suppose 0 = 13*u - 526208 - 416383. Is u prime?
False
Let p(j) = 605*j**3 + 4*j**2 - 5*j + 5. Let u be p(2). Let k = -1688 + u. Is k a composite number?
False
Suppose 5*i - 2*a + 0*a + 10457 = 0, 3*i + 3*a + 6270 = 0. Let b = i + 3679. Suppose 4*t + 3*f = b, -5*f + 3*f - 794 = -2*t. Is t a composite number?
False
Suppose -6 = -24*i + 21*i, -26375 = -3*m - i. Is m a composite number?
True
Suppose -263299 - 296687 = -42*q. Is q composite?
True
Let k(m) be the first derivative of m**3/3 - m**2 - m - 6. Let z be k(3). Is 2282/(-21)*(-3)/z composite?
False
Let c(d) = -d**3 - 6*d**2 - 2*d - 7. Let v be c(-6). Let f be (-16 - -10)*((-2)/(-3))/(-1). Suppose -v*h - 2*o + 731 = o, -2*o + f = 0. Is h a prime number?
False
Let j = -94 - -459. Let s = j + 138. Is s a prime number?
True
Let v(h) = 7*h - 4. Suppose -s = 4*s - 5. Let r = 10 - s. Is v(r) a prime number?
True
Let j(t) = -4*t**2 - 153*t - 47. Is j(-32) a prime number?
False
Suppose -6 = -2*d - 0. Suppose 0 = m + d, 6*f - 3*m = 3*f + 102. Is f prime?
True
Let g be 318*(1/2 + -1 + 2). Is ((-5)/15)/((2/g)/(-2)) a prime number?
False
Suppose -17*f = -8*f - 37071. Is f a prime number?
False
Let s(u) = -2 + 129*u**2 - 132*u + 132*u. Is s(-1) prime?
True
Let c be 2/(-2) - 4 - -8. Suppose c*x + 4*t - 7972 = -x, t + 9953 = 5*x. Is x a prime number?
False
Let n(j) = -2*j - 6. Let a be n(-4). Suppose 4*t - 6092 = i - 5*i, 3*t = -a*i + 4574. Suppose 12*x - t = 4*x. Is x prime?
True
Suppose 173268 = 13*n - 222517. Is n a prime number?
False
Suppose -3*n + 5*l = -1644, -5*n - l + 593 = -2175. Is n a prime number?
False
Suppose -3*r + 30 = -r + 5*a, 0 = -5*r - a + 29. Let o(h) = -h**2 + 3*h + 3. Let w be o(r). Is (-2)/(w/((-6188)/(-8))) a composite number?
True
Is 38314/(-5 - -9 - 2) composite?
False
Suppose -10*n + 4569 = y - 13*n, 3*y - 4*n = 13707. Is y prime?
False
Suppose 0*p = p - 796. Let l = p + -353. Is l a composite number?
False
Let c(h) = -h**3 + 11*h**2 + 6*h + 7. Let d be c(10). Suppose 0 = -3*a + d + 193. Let f = a - 81. Is f a composite number?
True
Let c(l) = -l**2 - 1. Let z(o) = 3*o**3 + 5*o**2 - 8*o + 4. Let m(q) = -3*c(q) - z(q). Is m(-4) composite?
False
Suppose -30*o + 10 = -25*o. Suppose 5414 = 2*u - 3*l, u + o*l + 493 = 3186. Is u prime?
False
Suppose 3*p - o - 2327 = 4103, 5*p - 10716 = o. Suppose -5*b + 10*b + 3*g - p = 0, 5*g = -b + 411. Is b prime?
True
Let z be -2 - ((-6)/3 - -27). Is (z/(-9))/(6/1486) prime?
True
Suppose -7 - 5 = -2*i. Suppose 0 = -7*b + i*b + 3. Suppose 0*v = b*v - 3, -5*z + 3*v = -172. Is z a composite number?
True
Is (-72594)/(-21) - 21/(-147) composite?
False
Let d = 32 - 32. Suppose 0 = -3*j - 5*i - 6, d = j - i - 2*i - 12. Suppose -2*n - 2*n + 171 = -y, 46 = n + j*y. Is n a prime number?
True
Let n be 50154/14 + 64/112. Suppose -498 = -7*p + n. Is p a prime number?
False
Suppose -503 = u + 372. Let p = u + 1489. Is p a prime number?
False
Is 356098/(-152)*(-32)/4 prime?
False
Suppose 2*s - 4*r - 52 = 0, 2*s + 0*s + r - 32 = 0. Let f(o) = -17*o + s*o**2 - 1 + 15*o - 8. Is f(-7) prime?
True
Let k = 78 + -1092. Let g = 2021 + k. Is g a composite number?
True
Let o = -2849 + 5286. Is o a prime number?
True
Let n(a) be the first derivative of 3*a**5/20 - a**4/12 - 3*a**3/2 + 5*a**2/2 + 5*a - 10. Let h(i) be the first derivative of n(i). Is h(6) a prime number?
True
Suppose 71*m = -20*m + 1267721. Is m prime?
True
Let o = -60 - -64. Let p(m) = 236*m**2 + 11. Is p(o) prime?
False
Suppose 15*g = 4*g + 123211. Is g a composite number?
True
Let r(k) = 56*k**2 - 1. Suppose 18*q - 12 = 16*q. Suppose -5*o - 9 = q. Is r(o) a prime number?
True
Suppose 4*s + 4*o = 52, -4*o + 3*o = 2*s - 31. Is 6134/3 - -2*3/s composite?
True
Suppose -5*b = -2*b + 3. Let m(l) = -8*l**3 - l**2. Let n be m(b). Is (1/3)/(n/651) composite?
False
Let x = 13 + -8. Suppose -2*v - 5 = 3*v, x*k - 3*v = -7057. Let m = -753 - k. Is m prime?
True
Let w be ((-4)/7)/(12/(-42)). Suppose 3*i = 2*i + w. Suppose 0 = 4*p - 5*t - 618, 113 = -i*p + 3*t + 421. Is p a composite number?
False
Is (-10)/(-105) + 381384/189 a prime number?
False
Suppose 0 = 3*q - 5*t - 22, -11 = -q - 3*q + 3*t. Is (4/8)/((q/1)/(-254)) a prime number?
True
Suppose 2*w - 3*w = 5, s + w = 2. Suppose 8 = -t + s. Is -4 + (-2)/t - -133 prime?
True
Let y(v) = -4*v. Let u be y(2). Let k be (u/12)/(-2)*762. Suppose -3*p + k = 5*o, -2*o - 2*p + 113 = 3*p. Is o prime?
False
Let d = 2207 + 11736. Is d composite?
True
Let v(f) = f**3 + 3*f**2 - 4. Let d be v(-3). Is (0 + d/32*-4)*6134 composite?
False
Let t(b) = -3*b. Let h be t(-1). Suppose -2*u - h = -11. Suppose -2*l + 0*z + 416 = -z, -4*z = -u*l + 828. Is l composite?
True
Let g be (2 + 1)/1 - 249. Suppose 0 = 10*a - 14*a - 1628. Let k = g - a. Is k composite?
True
Suppose 0 = -o + 2 + 2. Let f be (-1 - (-724)/8)*o. Let q = -197 + f. Is q prime?
False
Let y(b) be the second derivative of -b**4/12 + b**2 - 4*b. Let h be y(2). Let t(p) = -59*p**3 + p**2 + 5*p + 1. Is t(h) a composite number?
False
Let y(a) = -22*a**2 + 3*a + 1. Let t be 6/(-4)*4/1. Let h(o) = -22*o**2 + 4*o + 1. Let p(u) = t*y(u) + 5*h(u). Is p(-3) prime?
True
Suppose 3*r = -f - 78 + 10, 115 = -5*r - 2*f. Let b be r/((-10)/8 - -2). Is 2063/7 - b/98 a prime number?
False
Is ((-8)/40)/((-4)/914140) a prime number?
True
Let h be 65/4 - 6/24. Suppose -18*n + 2174 = -h*n. Is n a composite number?
False
Let o(y) = y**3 - 12*y**2 + 