s l a prime number?
False
Suppose 517 + 379 = 4*v. Let k = -96 + 5. Let z = k + v. Is z a prime number?
False
Suppose -7*k + 3*k - 3*m = -53, -m = -2*k + 39. Suppose 3*a + 4*g - 36 = k, g = 3*a - 73. Is a composite?
False
Let l be (-4)/(-6) + (-182)/(-6). Suppose -2*s + 403 + l = 0. Is s a prime number?
False
Suppose 4*a - 2*i - 12 = 0, 5*a - 2*i - 16 = -0*i. Suppose -4*t - 117 = -g, 254 = 5*g + a*t - 427. Is g composite?
True
Suppose 0 = 3*j + 2*t - 85, -j + 2*t = j - 40. Suppose -127 = -2*f + 3*i, 6*i - 3*i = -3*f + 228. Let k = f - j. Is k a composite number?
True
Let l = -2438 + 5989. Is l a prime number?
False
Let r(b) = -b - 3. Let j be r(-7). Let c be j/(1/2*-4). Let t(u) = -6*u**3 + 2*u**2 + 2*u + 3. Is t(c) a prime number?
False
Let a(s) = s**3 - 4*s**2 + 4*s - 3. Let z be a(2). Let g be (-7)/(2 + (-15)/9). Is g*z/6*2 prime?
False
Let t = 8 + -12. Let u be 1*54 - t/2. Let x = 115 - u. Is x a composite number?
False
Suppose -11*b + 32973 + 4306 = 0. Is b composite?
False
Suppose -7129 = -4*y - 3*s, 1068 + 6067 = 4*y - 3*s. Is y prime?
True
Suppose -11*o + 7299 = -984. Is o composite?
True
Suppose -3*j + 11 = -13. Is ((-314)/j)/((-9)/36) a composite number?
False
Let v(o) = -5*o - 2. Let n(x) = x**2 + 9*x + 4. Let y(h) = 3*n(h) + 5*v(h). Is y(-2) prime?
False
Let g = 2 - 2. Let a be (-1 + g - -2)*-3. Is (-284)/(-12) - (-2)/a a composite number?
False
Let w(p) = 10*p - 2. Let b be w(-3). Is -1 - -4 - 4 - b composite?
False
Suppose 17*l - 18*l + 13517 = 0. Is l a prime number?
False
Let k(r) = 2*r**2 - 26*r - 29. Let i(p) = -p**2 + 13*p + 14. Let h(z) = -7*i(z) - 3*k(z). Let d = 15 - 23. Is h(d) prime?
True
Suppose -35 = 5*k + 40. Let g = -21 - k. Is 2/g + 192/9 prime?
False
Let i be (3 - 1)/(4/(-38)). Let r = 41 + i. Is r a prime number?
False
Let i = -30 + 72. Suppose p + w + 0*w - 2 = 0, p - 2*w = 11. Suppose b = i + p. Is b a prime number?
True
Let h be -1 + 3 + -2 + 0. Suppose h = -2*u + 170 + 8. Is u a composite number?
False
Suppose -8*q + 4*q = 0. Suppose -2*t = -q*t - 382. Is t composite?
False
Suppose -5 + 3 = -n. Suppose -3*y = -n*z + 11, -5*z - 4*y - 2 = -18. Suppose 5*o - z*b - 241 = 0, -2*o + 37 = 2*b - 63. Is o a prime number?
False
Let l be (81/(-3) - -1)*6. Let z = 289 + l. Is z composite?
True
Suppose 4*y - 717 = 2*g + 3009, -2*y = 5*g - 1893. Is y a composite number?
True
Suppose -2*b - 5*z - 2915 = 3*b, 593 = -b + 4*z. Let r = b + 850. Suppose d + 4*d - 5*o - r = 0, 4*d - 196 = -4*o. Is d composite?
True
Let k(a) = 69*a**2 - 2*a + 1. Let q be k(1). Is (-1 - -2)*(q - 1) a prime number?
True
Let k(q) be the third derivative of q**5/60 + q**4/4 + 3*q**3/2 - 2*q**2. Is k(-8) prime?
False
Let w = -6 - -9. Suppose -w*t = t - 20. Suppose 0 = -i - 2*p + 6*p + 46, -t*i + 182 = -4*p. Is i prime?
False
Let i = 23 + -9. Let n be 12/(-42) + 550/i. Let f = 172 + n. Is f prime?
True
Let l(a) = -a**3 + 7*a**2 - 6*a. Let k be l(6). Suppose -4*h + z + 517 = k, -6*h + 513 = -2*h + 3*z. Is h a prime number?
False
Let y(n) = -36*n + 1. Is y(-11) a composite number?
False
Suppose -3*c + 8*c - 395 = 0. Is c a composite number?
False
Suppose -8*z = -2*z - 36. Suppose z*j - 9*j = -1143. Is j composite?
True
Let o be (-3)/3 + (-6)/(-2). Let j = 5 - o. Is j a composite number?
False
Is 2/(-6 + 4)*(-583)/1 prime?
False
Let r = -491 + 751. Suppose -s + r = 3*s. Is s prime?
False
Suppose 4*y + p = 2*y + 5, 2*y + 2*p = 6. Suppose 237 = y*t + t. Is t a composite number?
False
Let y(r) = -3*r**3. Let s be y(1). Let u = s + 4. Is (-3 - -189)/1 - u composite?
True
Suppose 3*s - 28 + 4 = 0. Suppose 2*d = 4 + 8. Let i = s + d. Is i a prime number?
False
Let m be ((-3 - -5) + -7)/(-1). Suppose 2*f - 2*q + m*q = 89, 0 = -3*q + 3. Is f a composite number?
False
Let d be (-90)/(-75)*70/(-3). Is 8/28 - 4500/d composite?
True
Suppose 3*d + 2*z - 2463 = 0, -5*d = -d - z - 3284. Is d a composite number?
False
Let b = -2235 + 3304. Is b prime?
True
Let x be 2/(-1 - 1 - -1). Let i = x + 7. Suppose -i*m + 315 + 400 = 0. Is m a composite number?
True
Let t = -11 + 64. Suppose -5*j + 1308 = t. Is j a composite number?
False
Let h(g) = -2*g + 9. Let l(z) = z - 1. Let u(n) = -h(n) - 6*l(n). Is u(-10) prime?
True
Let m(o) = o**3 - 8*o**2 + 9*o + 7. Let b = 3 - -4. Is m(b) composite?
True
Let u be 31/11 + (-2)/(-11). Suppose -3*j + 0*n + 483 = -n, u*j = -5*n + 483. Is j prime?
False
Is (-2080)/(-14) + 144/(-56) + 3 a prime number?
True
Let f(p) be the first derivative of -p**3/3 + 5*p**2 + 22*p + 4. Is f(9) a composite number?
False
Let j = -5 + 20. Suppose -5*c - y = -17, 0 = 3*c - y - 0*y - j. Suppose 0 = -4*r - q + 41, 2*q - 5 = -c*r + 3*r. Is r a composite number?
False
Is 394*4/(-8)*(-6)/2 composite?
True
Let y(v) = v**3 - 15*v**2 + 3*v + 20. Is y(15) a prime number?
False
Suppose 3*d - 1050 = 288. Is d a prime number?
False
Suppose -2*d - 56 = -3*d. Let j = d - 21. Is j a prime number?
False
Let g be (-2034)/(-24)*(-8)/(-3). Let j be ((-1)/2)/((-1)/g). Suppose 3*s = j - 20. Is s a prime number?
True
Let q = 2 + 0. Let p be ((-668)/3)/((-2)/6). Is q/10 + p/10 a composite number?
False
Let z(i) = -7*i**2 - 26*i - 7. Let h(y) = -11*y**2 - 39*y - 11. Let t(q) = -5*h(q) + 8*z(q). Is t(-8) a prime number?
False
Let o(b) = 16*b**2 + 6. Is o(-4) a prime number?
False
Let p = -70 - -723. Is p composite?
False
Let f(p) = p + 33. Is f(0) a composite number?
True
Let m = -198 - -80. Let v = m - -249. Is v composite?
False
Suppose -3*z = -4 - 2. Suppose 0 = -4*j + 2*i + 72, -j - j = z*i - 42. Is j a composite number?
False
Let l = 12 + -7. Let q be l*3/(3/2). Let u(n) = -n + 13. Is u(q) composite?
False
Let t(z) = -6*z - 3. Let w be t(-9). Suppose -n = -4, -v = -n + 2*n - w. Is v a composite number?
False
Suppose -117 = -h - 2*h. Let b be (-29)/(-2)*(h - 1). Suppose 5*f - b = 44. Is f a composite number?
True
Suppose 4*i - 6 = 6. Let t(d) = -4 + 3*d + 13*d + 3*d. Is t(i) a prime number?
True
Suppose -f + 73 = 3*f - g, 0 = -f - 5*g + 13. Is (0 - f)/(-3) - -1 a composite number?
False
Suppose 2*l - 134 = -0*l. Is l composite?
False
Suppose 0 = 6*c - 4*c - 20. Let i be c/14 + 2/7. Let n(r) = 12*r**3 - r. Is n(i) a composite number?
False
Suppose 5*n - 11 = 2*f, -2*n = -4*f - 3*n + 11. Suppose -5*q = -b + 1995, 0*q + b + 791 = -f*q. Let d = q + 561. Is d a composite number?
False
Let j be 6/(-4)*2032/(-24). Is 3 + j + 6/(-2) composite?
False
Let g be (0 - (-5)/(-3))*-3. Suppose 5*f - 60 = -g*j, 0 = 3*f - j - 1 - 15. Is f a prime number?
True
Suppose 5*u - 199 = -9. Suppose u = -4*x + 98. Is x a composite number?
True
Let y(w) = 11*w - 5. Let p(m) = -7*m + 3. Let g(h) = -8*p(h) - 5*y(h). Let n be g(12). Let r(z) = z - 6. Is r(n) composite?
False
Let i be 97 + (1 - (0 - 0)). Let w = -39 + i. Is w a composite number?
False
Let p = -8 - -14. Suppose 0 = -4*x - 10 - p, -5*t + 5*x = -4625. Is t composite?
True
Let o(j) = -j + 2. Let z be o(6). Is 6/z - 5577/(-26) a composite number?
True
Let v(u) = u**3 + 10*u**2 + 9*u + 7. Let t be v(-8). Let a be (t*1)/(3 - 2). Suppose -3*z = -0*z - a. Is z a composite number?
True
Suppose -3*h = -2*h - 2. Suppose -h*b = -0*b - 36. Suppose -4*j + b = 2*m, 0 = 3*m - j - 3 - 3. Is m prime?
True
Suppose -4*f = -2*o + 442, -3*f + 1118 = 5*o - 0*f. Is o a prime number?
True
Let o(d) = d**2 - 6*d + 3. Suppose 2*x + 8 = -5*y, -x - 18 = 5*y - 4. Let p be o(x). Suppose 0 = -p*b + 173 + 88. Is b prime?
False
Let q(k) = 5*k**2 - 9*k - 7. Is q(-13) a prime number?
False
Let n(p) = -p**3 - 4*p**2 + 2*p + 1. Let l be n(-4). Let k(u) = 2*u**2 + 7*u + 4. Is k(l) composite?
False
Is (-1 + 1128)*2 + -10 + 9 a prime number?
False
Is (48/96)/((-1983)/(-1982) - 1) a composite number?
False
Let a(t) = 3 - 120*t**3 - t**2 + 3 - 5 + t. Is a(-1) prime?
False
Suppose 143 = 3*l + 4*s, -53 - 102 = -3*l - s. Suppose 10 = 3*t - l. Is t a composite number?
True
Let c be (-19096)/49 - (-4)/(-14). Let a be c/(-14) - 1/(-7). Suppose 5*l = v - 25 - a, 3*v + 2*l = 125. Is v a composite number?
False
Let o = -98 + 195. Is o composite?
False
Let p = -52 + 91. Suppose 0 = 10*y - 13*y + p. Is y a composite number?
False
Let u = 49 - 12. Is u a prime number?
True
Let f = 656 + -25. Is f a prime number?
True
Suppose -3*w + 1516 + 1558 = 2*m, 2*w + 4585 = 3*m. Is m a prime number?
True
Supp