e t - 3*m - 23 = 0, -4 = -5*m + m. Suppose 0 = 4*b - k - t - 30, 0 = 4*b + 5*k - 80. Is b a prime number?
False
Let k = -3977 - -7366. Is k composite?
False
Let w(d) = 5*d**3 - d**2 - 3*d - 5. Let h be w(5). Suppose -h = -4*u - 0*u. Suppose -91 = -4*j + i + 50, 5*i = 4*j - u. Is j composite?
True
Suppose -2*b = -v - 4 - 4, -4*v = 5*b + 19. Is 894/21 - v/14 prime?
True
Suppose -w = -4*w - 57. Let v = 148 - w. Is v a composite number?
False
Suppose -2*v = 4*m - 132, 2*m + v = -3*v + 78. Is m a composite number?
False
Let j be 3 + -43 + 2 + 0. Let r = -25 - j. Is r a composite number?
False
Suppose 4*o + 0*o - 632 = 0. Is o a prime number?
False
Suppose 0*a + 4*a = 1516. Is a composite?
False
Let g(v) = v**2 + 5*v - 13. Let t be g(-7). Is (-1)/(t/(-328)) + 1 prime?
False
Suppose 2*q - 3*z - 1868 = -5*z, -4*q + 3751 = -z. Is q a prime number?
True
Suppose 4*c - 3*g = 1725, -1603 = -5*c + 3*g + 557. Let m = c + -142. Is m composite?
False
Suppose -3*v - 861 = -2754. Is v prime?
True
Let m = 234 - -485. Is m composite?
False
Let y(o) be the second derivative of -o**4/12 + 5*o**3/6 + o**2/2 + 3*o. Let b be y(4). Suppose q - b*l - 16 = 0, 135 = 4*q + 3*l + 2. Is q a prime number?
True
Let r(f) = -f + 2. Let w(q) = -q**3 + 6*q**2 + 2*q. Let a be w(3). Let u be 6/(-14) + a/(-21). Is r(u) prime?
False
Let h = 264 + -152. Suppose -j + 163 = 3*c - 0*j, j + h = 2*c. Let k = c + -36. Is k a composite number?
False
Let c(h) = 14*h**2 - 4*h - 9. Is c(7) a composite number?
True
Let l(t) = -4*t + 4. Let i(o) = -17*o + 17. Let q(k) = 6*i(k) - 26*l(k). Suppose f - 21 = -2*f + 5*u, -u = 2*f - 1. Is q(f) a composite number?
False
Let v(c) = -c**3 + 501. Is v(0) composite?
True
Let s(o) = o**2 - 4*o + 4. Let l be s(3). Let d(x) = x**2 + x**2 + x**2 + 3*x**2. Is d(l) prime?
False
Suppose 1 + 14 = 3*f. Suppose f*p - 140 = 95. Is p a prime number?
True
Let k(o) = 13*o + 3 - 6*o**2 + 0*o**2 + 5*o**2. Is k(10) prime?
False
Is (5 + -6)/(1/(-314)) a composite number?
True
Suppose -5*w + 66 + 319 = 0. Is w a composite number?
True
Let m(c) = -1 + c + 4*c + 3. Let n be m(8). Is (-7)/3*n/(-2) composite?
True
Suppose 0 = 3*x - 6 - 3. Is (x + 14/(-4))*-154 a prime number?
False
Let f be (6 - 0) + (-3 - -1). Suppose -f*w - 4*v = -2*v - 308, 3*v + 396 = 5*w. Suppose w - 265 = -u. Is u a composite number?
True
Suppose -2*w = -5*w + 237. Is w prime?
True
Suppose 2*m + 4*x + x - 441 = 0, -5*m + x = -1170. Is m prime?
True
Let j be -5 + 2 + 2 + 4. Is 3 - 3 - j - -54 composite?
True
Suppose -2*v = -5*v + 195. Is 4/(4/v)*1 a prime number?
False
Suppose 3 = -m + 1, -3*t + 4 = -2*m. Suppose 0 = -n - t*n + 2. Suppose 0 = -z + 2*q + 101 - 20, -263 = -3*z + n*q. Is z prime?
False
Let a be (10/(-6))/((-1)/9). Suppose 3*u - a = -u + 5*b, -u + b = -3. Is (-62)/(-2 + u) - -3 composite?
True
Suppose 0 = -3*v - 5*o + 96, 0 = -4*v - 5*o + 111 + 22. Is v a prime number?
True
Let y(t) = -t**3 - 3*t**2 - t + 3. Let f be y(-3). Let n be 3 + ((-39)/52)/((-1)/(-4)). Is f/(-4)*-10 - n a prime number?
False
Suppose 3*h - 6 = 3. Let k = h - -3. Let v(g) = 10*g + 5. Is v(k) composite?
True
Suppose -5 = -3*k - s, -k - 3*k - 8 = 5*s. Let p be -5*k/15*-14. Let y = 7 + p. Is y a prime number?
False
Suppose 0*k = 2*k - 6. Suppose -4*j = 5*c - 1431, c = 2*j + k*j + 263. Suppose -4*s + c + 65 = 0. Is s prime?
False
Suppose 0 = -3*y + 25 + 11. Let x be 27/y*8/(-3). Let m(g) = -g**3 - 5*g**2 - 3*g - 1. Is m(x) prime?
True
Let n = 2297 - 1564. Is n prime?
True
Let r(b) = -4*b + 3. Suppose -6 = 3*d - d. Is r(d) composite?
True
Let j(r) = r**3 + 7*r**2 - 6*r + 5. Suppose 5*p = 2*p + 9. Suppose p*a + 4*o + 33 = 0, 4*a - 2*o - 1 + 23 = 0. Is j(a) composite?
False
Let k(f) = f + 18. Let w be k(-14). Suppose -71 = w*l - 259. Is l a composite number?
False
Let w(c) = -3*c**3 - 10*c**2 + 6*c. Let h(f) = -2*f**3 - 10*f**2 + 5*f + 1. Let y(a) = -4*h(a) + 3*w(a). Is y(9) a prime number?
True
Let p(s) = 81*s**2 + 3*s - 3. Is p(2) a prime number?
False
Let t(v) = -2*v. Let s be t(3). Let g(j) = j**2 + 6*j - 4. Let b be g(s). Let y(d) = -41*d - 3. Is y(b) a composite number?
True
Let t(o) = -o**2 + o + 4. Let q be t(5). Suppose 4*k - 91 = -3*c, 4 + 0 = 4*k. Let j = q + c. Is j prime?
True
Let b(s) = 198*s**2 + 12*s - 1. Is b(-4) composite?
False
Suppose 151 = 3*n + 55. Let r = n - 9. Is r a prime number?
True
Suppose 0*c - 6 = 2*c. Is (-32)/(-48) + (-157)/c composite?
False
Let j(g) = -2*g + 4. Let p(s) = 5*s - 7. Let f(m) = -5*j(m) - 3*p(m). Let t = 5 + -7. Is f(t) prime?
True
Suppose -3*l + 144 = 2*t - 0*l, 2*l + 203 = 3*t. Suppose 5*r + 3*o - 225 = 0, 2*r = -0*r + 3*o + t. Suppose -3*w - r + 141 = 0. Is w a prime number?
False
Suppose 2*c = c + 65. Let r = c - 139. Let u = r - -129. Is u a composite number?
True
Suppose -1570 = -2*h - 72. Is h composite?
True
Suppose -1 = 2*k - 7. Let d = k - 3. Suppose d = 5*u + t - 108, -3*u + 3*t + 33 = -u. Is u a prime number?
False
Let h(o) = -6*o - 2. Let v be h(1). Let u(q) = q**2 + 3*q - 3. Let m be u(-6). Let t = v + m. Is t a prime number?
True
Let d = 86 - -251. Is d a composite number?
False
Let k(g) = g**2 - 10*g + 13. Let i be k(9). Suppose -4*u + 900 = 3*j + u, -293 = -j - i*u. Let s = j - 192. Is s a composite number?
False
Suppose 0*r = -2*f - 2*r + 2304, -9 = -3*r. Is f composite?
True
Suppose -5*w - 3*t - 10 = 0, -2*w + 3*t - 10 + 27 = 0. Is (-1 - (1 - w))*-253 a prime number?
False
Let o(k) = 77*k**2 + k + 3. Is o(-1) a prime number?
True
Let q(s) = 15*s**2 + 5*s + 3. Let h(w) = w**2 + w. Let o(f) = -3*h(f) + q(f). Is o(-2) prime?
True
Let i(r) = -r**2 - 6*r - 2. Let s be i(-5). Suppose c - s*y - 683 = 0, 2*y = 3*c - 1578 - 457. Is c a composite number?
False
Suppose 5*a + 25 = -3*o, 5*o + 4 = -21. Let j be (a/6)/((-2)/354). Suppose 0 = 3*z - j - 136. Is z prime?
False
Let l be (-5)/15 + (-7)/(-3). Suppose -2*q - l*q + 212 = 0. Is q a prime number?
True
Is (37/4)/(2/56) a prime number?
False
Let p be 5/((-5)/2) + 7. Suppose w - 5*w - 32 = -4*g, 3*w = p*g - 36. Is g prime?
False
Let t = 311 - 187. Let a = 217 + t. Is a prime?
False
Is 3/(-4) - -634*6/16 prime?
False
Suppose -t = 3*s - 882, 0*t + t + 1183 = 4*s. Is s prime?
False
Let u(g) = 141*g**3 + 2*g + 4. Is u(3) prime?
False
Suppose -2*z = 2*l - 440, -5*l = -z - l + 225. Is z composite?
True
Suppose 30 + 70 = -4*m. Let d = 120 - m. Suppose 85 = 2*c - d. Is c a composite number?
True
Suppose 5 = -g + 3. Is 2/g - -1 - -127 a composite number?
False
Let u be 6/(-3) + 14*-2. Let b = 135 - 86. Let n = b + u. Is n a prime number?
True
Let d = 24 + 353. Is d composite?
True
Let c(z) = z**3 - 10*z**2 - 15*z + 5. Is c(13) a prime number?
True
Is 0/(-12) + (-379)/(-1) a prime number?
True
Let j(a) = -11*a**3 + a**2 - a + 1. Let b(r) be the first derivative of -r**2/2 + 5*r - 2. Let s be b(7). Is j(s) prime?
False
Suppose r - 38 = 29. Is r composite?
False
Let u = -407 - -592. Is u composite?
True
Let k be (-10)/10*211/(-1). Let l = -108 + k. Is l a composite number?
False
Suppose 0 = -5*r + 1 + 9. Suppose 7 = r*z - 13. Is z prime?
False
Let y(k) = -5*k + 1. Let g be y(-1). Is (-1)/((-2)/g) + 56 composite?
False
Let o(z) = z - 2. Let h be o(4). Suppose 99 = 2*q - i - 0*i, h*q - 79 = -3*i. Is q a composite number?
False
Is 3*((-1460)/(-15) - -5) prime?
True
Let v(x) = 5*x + 2. Let q be v(-2). Let u(r) = 6*r - 10. Let c(h) = 12*h - 20. Let w(m) = -3*c(m) + 5*u(m). Is w(q) a composite number?
True
Let u = 338 + -103. Is u prime?
False
Let c be (-3 - 1)*(-6)/8. Let z(b) = b**3 + 5*b**2 + 4. Let u be z(-5). Suppose u*d - 99 = -3*h, 6*h - c*h + d - 99 = 0. Is h a prime number?
False
Let a(r) = r**2 - 3*r + 3. Let i = 3 - 0. Let u be ((-2)/i - 0)*-9. Is a(u) composite?
True
Let y(q) = q + 3. Let l(t) = t**3 + 4*t**2 - 6*t - 5. Let d be l(-5). Is y(d) prime?
True
Let g = 46 + 33. Is g prime?
True
Let x(a) = 2*a**2 + 6*a - 3. Let r be ((-108)/21)/(-2)*7. Let z be -3*(-2)/(r/(-21)). Is x(z) prime?
True
Let g(f) = -f**3 + 5*f**2 + 4*f. Let n be g(6). Let w be (-38)/(-1) - n/(-6). Let j = w + -3. Is j a prime number?
False
Suppose 9 = 4*v + m, 2*v + 3*v = -4*m + 3. Let h(w) = w + 2. Let q be h(v). Suppose q*o = -0*o - 3*f + 47, -3*o - 3*f = -33. Is o a prime number?
True
Let p be (10/(-3))/((-6)/297). Is (-1 - -3)*p/6 a composite number?
