uppose -10*s + 6198 = -4*s. Suppose -5*y + 4*g + s = 0, 0*y + 2*g - 424 = -2*y. Is y prime?
False
Let w be 19 - -2*3/2. Suppose 0 = 2*p - a - 1, -4*p + 0*p + w = 2*a. Suppose p*j - 154 = -49. Is j prime?
False
Let i be (-217)/(-2 + -1 + 2). Let r = -72 + i. Is r a prime number?
False
Is 7401/12*(-20)/(-5) composite?
False
Let x(k) = 14*k - 27*k - 44*k - 2. Let z be x(-2). Let g = z - 47. Is g a composite number?
True
Suppose 3*z = -z. Suppose z*d - 2*m - 119 = -d, -1 = -m. Is d composite?
True
Let c(y) = y - 1. Let b be c(5). Let o(w) = 5*w - 1. Let x be o(b). Suppose 25 = 5*l - p, -2*l - 2*p + 3 + x = 0. Is l a composite number?
True
Let d(v) = -v - 1. Let x be d(-2). Let i = -5 + 8. Is (2/i)/(x/21) a prime number?
False
Let u(i) = -i - 5. Let v be u(-9). Suppose -3*g + 3 = -3*y, -v*g - 2 = -y - 3. Let s = 3 - y. Is s prime?
False
Is ((-2)/3)/(1 - 3450/3438) a composite number?
False
Suppose -132 + 0 = -4*q. Let d = 68 - q. Is d a composite number?
True
Let a be (-116)/(-14) - 4/14. Suppose 2*b - a = -2*b. Suppose 3*x - 79 = -x - 3*g, -b*x + g + 37 = 0. Is x a prime number?
True
Suppose -1861 = -7*r - 20. Is r composite?
False
Suppose s = -2*w + 26, -3*w + 2*s + 67 = 21. Is w composite?
True
Suppose -4*j = -5*k + 9107, 2*k + 3*j - 3636 = 8*j. Is k prime?
True
Let v = 1521 + -928. Is v a composite number?
False
Let k = -804 - -1757. Is k a prime number?
True
Let h = 9 - 6. Suppose x - 69 = -2*r, 5*x = -h*r + 5*r + 393. Is x a prime number?
False
Let x = 577 - 323. Is x composite?
True
Let y(r) be the third derivative of -r**6/120 - r**5/12 - r**4/24 - r**3 + 2*r**2. Let u be y(-5). Is 14*(u + 3/2) a prime number?
True
Suppose -2*p - 28 = u - 131, -5*p + 277 = -4*u. Is p a prime number?
True
Let u = 6 + -6. Let c = u - 2. Is (4 - -44) + (-2)/c a prime number?
False
Let s(b) = b - 5. Let n be s(8). Suppose 5*x - n*x - 22 = 0. Let c = x - 5. Is c a prime number?
False
Suppose 0 = -4*r - 0*p + p + 1907, -3*p = -3*r + 1419. Is r composite?
True
Suppose -2*r - h = -650, 2*r + 325 = 3*r - 3*h. Suppose -7*t + 3*d = -2*t - r, 0 = -5*t - 2*d + 325. Is t prime?
False
Let m = 0 - 34. Let l = 147 + m. Is l composite?
False
Let t be 8/12 - 7/(-3). Suppose 0 = -4*p - 5*b + 455, -5*b = t*p - 4*b - 344. Is p a prime number?
False
Suppose 343 = 2*y - 271. Is y composite?
False
Suppose a - 14 = -3*l, 8*l = 3*l - a + 26. Let j be 1 - 1/(2/(-6)). Suppose -175 = -5*f - 3*m + l*m, -j*m = 0. Is f composite?
True
Let k = 6 + 37. Suppose 5*z - 75 = 5*f, 39 = -4*f + 2*f - z. Let h = f + k. Is h composite?
True
Let c(t) = t**3 - 8*t**2 + 2. Let n be c(8). Is 0 + -10*(-37)/n a composite number?
True
Let i(d) = 2*d**2 - 3*d - 4. Let y be i(-2). Let s = y - -49. Is s a composite number?
False
Suppose -3*c - 5*l + 2711 = 0, 2*l - 2943 + 226 = -3*c. Is c prime?
True
Let z = 2494 + -1445. Is z prime?
True
Suppose 2*m - 2 = -0*m. Is -1*(-2 - 109)*m prime?
False
Let o(g) = g**2 - 5*g + 689. Is o(0) composite?
True
Suppose 0*p - 4*p = -32. Suppose -36 = a - p. Let z = a + 77. Is z prime?
False
Let p(g) = -3*g**3 - 6*g**2 + 6*g - 3. Let z be p(-7). Let s be (z/9)/((-1)/(-3)). Suppose -v + 129 = -d, 4*v - d = 298 + s. Is v a prime number?
False
Let t(z) = z**2 - 5*z. Let u be t(5). Let q(o) = -o - 6. Let w be q(u). Let l = w - -13. Is l a composite number?
False
Let s = -1368 + 2630. Is s prime?
False
Suppose 0 = -0*r + 2*r - 974. Is r prime?
True
Suppose 5*v + 96 = -5*l + 26, -5*v - 91 = -2*l. Let n = v - 94. Let b = 188 + n. Is b a composite number?
True
Let n = 5 - 2. Suppose 5*c = -5*a + 210, 0*a = -n*a + 15. Is c composite?
False
Is 22*((-135)/(-10) + 1) prime?
False
Let u(y) = 128*y**3 + y**2 - y - 1. Let g be u(-1). Let a = g + 214. Suppose 3*o + 3*m - 242 = -5, -5*m = o - a. Is o composite?
True
Suppose -3*d + 2*b + 22 = 6*b, d + 10 = 3*b. Suppose 2*g - d = 6. Suppose 0 = -w - 3*w - 5*x + 36, 3*w - 26 = -g*x. Is w a composite number?
True
Let k = 1156 - 595. Let h = k - 225. Suppose -3*i - n = -200, i - 6*i + n = -h. Is i composite?
False
Let j(n) = n**3 + 2*n**2 - n + 635. Is j(0) a composite number?
True
Suppose -8*k - 6 = -3*m - 3*k, 3*m - 2*k = 6. Let x be (m/4)/(2/4). Is x/(-4) + 1524/16 composite?
True
Suppose -5*t + 2*q = -617, -t - 5*q - 28 = -146. Is t prime?
False
Let k = 28 - 11. Let s be (-2)/(-3)*(5 - -1). Suppose -339 - k = -s*f. Is f prime?
True
Let w be 6*(-1 - 712/(-6)). Is 14/(-63) + w/18 composite?
True
Suppose -5*q = 10, -4*z - 66 = -0*z + 5*q. Let y = z - -39. Suppose -b + y = -0*b. Is b prime?
False
Suppose -4*j + 14 = l, 3*l - 2*j + j - 3 = 0. Is 4/l*(-7)/(-7) prime?
True
Let j = -267 + 758. Is j a composite number?
False
Let g be 1*-14*9/(-6). Suppose -s = k + 3*k - g, 2*k - 105 = -5*s. Is s prime?
False
Let b = 2989 - 1628. Is b a composite number?
False
Let t(a) = -5*a**2 + 3*a + 141. Let h(u) = -4*u**2 + 2*u + 141. Let f(s) = 3*h(s) - 2*t(s). Is f(0) a prime number?
False
Let v(i) = -i + 3. Let g be v(3). Is (g - 3/(-6))*226 a composite number?
False
Suppose 0 + 2 = 2*p. Is ((-121)/(-3))/(p/3) a composite number?
True
Let s be 160/(-12)*-15 - -3. Let w = -94 + s. Is w prime?
True
Let z(g) = 4*g**3 - 8*g**2 - 5*g + 7. Is z(6) a prime number?
False
Let y(f) = -f**2 + 38*f + 24. Is y(17) prime?
False
Let g = 19 + -8. Let t(i) be the first derivative of i**4/4 - 10*i**3/3 - 9*i**2/2 + i + 1. Is t(g) a composite number?
False
Let l = -54 + 77. Is l composite?
False
Let k(x) = -x**2 - 6*x + 7. Let g be k(-7). Let f(o) = -o + 7. Is f(g) a composite number?
False
Let u = -1 + -1. Let q be (-1)/(-2)*u - -5. Let b = q - -9. Is b a prime number?
True
Let i(c) = c + 12. Let d be i(-6). Let w(m) = m**3 - 6*m**2 - m + 8. Let s be w(d). Suppose -264 - 4 = -4*n - 5*p, s*n = -4*p + 134. Is n a composite number?
False
Suppose 0 = 5*i + 2*k - 3061, 0 = -3*i - k - k + 1835. Is i a prime number?
True
Is (-8392)/(-20) + 6/(-10) prime?
True
Let b be ((-1)/3)/((-2)/1614). Suppose -t = -0*t - b. Suppose -5*i = 2*o - t, -4*o - 253 = -3*i - 76. Is i composite?
True
Let s(t) = 3*t - 2*t - 3*t + 6 + 3*t. Is s(7) prime?
True
Let n(a) = 3107*a**2 + 4*a + 3. Is n(-1) composite?
True
Suppose 282 = b + 2*r, 5*r = 3*b - 349 - 497. Let w = b + -80. Is w a composite number?
True
Let l(v) = 354*v**3 + 2*v**2 + 2*v - 3. Is l(1) a prime number?
False
Let i(f) = 5*f**3 - 7*f**2 + 5*f - 10. Is i(7) a prime number?
False
Let z(q) = -q**2 + 10*q + 6. Let m be z(11). Let y(s) = 12*s**2 - 7*s + 2. Is y(m) a composite number?
False
Let f(w) = 932*w**3 + 2*w - 1. Is f(1) a composite number?
True
Let n(m) be the first derivative of -5*m**2 - m - 1. Suppose 6 = -5*w + 2*w. Is n(w) a prime number?
True
Let a(p) = 127*p**2 + 2*p - 1. Is a(2) prime?
False
Let m(n) = -34 + 38 - n**3 + 63 + n**2 + n. Is m(0) prime?
True
Let m = -3 + -1. Let d(t) = -t**2 - t**3 + 2*t - 3 + t - 5*t. Is d(m) composite?
False
Is 2 + (4462 + -2)/4 prime?
True
Suppose 2*s + 4*u = -10, s - 5*u - 8 = 2*s. Is s/5 + (-73)/(-5) composite?
True
Let u be ((-2)/(-3))/(3/9). Let c(n) = 278*n + 1. Is c(u) a composite number?
False
Let u(w) = -w**3 + 4*w**2 + 5*w + 9. Let v be u(7). Let x = v + 145. Suppose 566 = 4*t + x. Is t prime?
True
Let r be 22/5 - 2/5. Suppose -f - r*f = -745. Is f prime?
True
Let h(p) = p**3 - 7*p**2 + 4*p + 1. Let o be h(6). Let a = 15 + o. Suppose x - 97 = a*w, 0 = 5*x - 3*w - w - 405. Is x composite?
True
Let b(t) = 19*t + 52. Is b(15) a composite number?
False
Suppose 4*n + 4 + 8 = 0, -3*n + 895 = 4*i. Suppose -2*k = -4*k + i. Suppose 0*f + k = f. Is f a prime number?
True
Let g = 2963 - 99. Suppose 4*j - g = 348. Is j composite?
True
Let j = -78 + 42. Let v be ((-67)/3)/((-1)/3). Let r = v + j. Is r prime?
True
Suppose 0 = l - 870 - 449. Is l prime?
True
Let z be (-99)/(-27) - 1/(-3). Suppose -6 = 2*d - z*d. Suppose -d*p + 0*p = r - 62, 0 = 4*r + p - 237. Is r a prime number?
True
Suppose -3*y - 2 = -u + 2*y, 2*y = -3*u + 40. Is (-370)/(-4)*u/10 composite?
True
Let k(c) = 115*c**3 + c**2 - c. Is k(1) prime?
False
Suppose 6*r - r - 16 = -h, 2*r + 4 = -3*h. Suppose -r*z + 7 + 25 = 0. Is (-84)/z*(-8)/6 a prime number?
False
Let p(y) = -y**2 + 6*y - 2. Let l be (36/(-9))/(-1*1). Let g be p(l). Suppose -a = -g*a + 475. Is a composite?
True
Let a(n) = 37*n + 3. Let j be a(-2). Let x = j + 166. Is x a prime